arxiv: 2605.09379 · v1 · submitted 2026-05-10 · 🧮 math.DG · math.AP

Recognition: no theorem link

On the generalised ideal flow of closed planar curves

Glen Wheeler, James McCoy

Pith reviewed 2026-05-12 03:27 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords m-ideal energyplanar curvesgradient flowcritical pointscurvature oscillationmultiply-covered circlesturning numbercanonical relaxed flow

0 comments

The pith

The m-ideal energy on closed planar curves has round multiply-covered circles as its only smooth critical points, and its gradient flow converges to them when curvature oscillation stays below a turning-number threshold.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines a one-parameter family of energies E_m on closed immersed planar curves, each penalizing the square of the m-th arclength derivative of curvature. It proves that for every m at least 1 the only smooth critical points are round circles that wind around themselves a fixed number of times. The authors then study the associated L2 gradient flow and establish that, for each nonzero total turning, there is a bound on how much the curvature can oscillate such that any flow begun below that bound exists for all time and approaches the circle exponentially fast in every derivative. The same conclusion holds for initial curves that are merely twice weakly differentiable by replacing the flow with a canonical relaxed version that instantly becomes smooth. A reader cares because the result gives an explicit description of how these energies force any sufficiently tame curve toward the simplest closed shape while keeping the turning number fixed.

Core claim

We completely classify the closed smooth critical points of E_m for all m≥1: they are precisely the round multiply-covered circles. For each nonzero turning number there is a curvature-oscillation threshold such that every canonical relaxed flow starting from W^{2,2} initial data below this threshold is immortal and exponentially asymptotic in the smooth topology to a round multiply-covered circle. We also prove that every immortal canonical relaxed trajectory with bounded unnormalised length converges to the corresponding circle, and we construct unique canonical relaxed length-normalised flows for rough W^{2,2} data that are smooth for positive time and converge smoothly to the circle.

What carries the argument

The m-ideal energy E_m[γ] = ½ ∫_γ (k_{s^m})² ds whose L²(ds) gradient flow is the m-ideal flow, together with its canonical relaxation that makes sense for W^{2,2} initial data and instantly regularizes it.

If this is right

All smooth critical points of E_m for m≥1 are round multiply-covered circles.
The m-ideal flow exists forever and converges exponentially in the smooth topology whenever initial curvature oscillation lies below the turning-number threshold.
Every immortal trajectory with bounded length also converges to the corresponding circle.
Rough W^{2,2} initial data generates a unique smooth positive-time flow that depends continuously on the data and converges to the circle.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The classification implies that no other closed immersed shapes can be stationary for these energies.
The existence of an explicit oscillation threshold supplies a quantitative basin of attraction around each circle.
The instant smoothing property for rough data suggests the flow can be used as a regularizing procedure that preserves turning number.

Load-bearing premise

There exists a curvature-oscillation threshold that depends only on turning number such that every canonical relaxed flow begun below the threshold remains immortal and converges.

What would settle it

A single W^{2,2} closed curve whose curvature oscillation lies below the threshold for its turning number yet whose m-ideal flow either stops existing after finite time or converges to a non-circular shape would falsify the claim.

read the original abstract

For each integer $m\ge0$ we study the $m$-ideal energy \[ E_m[\gamma]:=\frac12\int_\gamma k_{s^m}^2\,ds \] on closed immersed planar curves, where $k$ is signed curvature and $s$ is arclength; $k^2_{s^m} := (k_{s^m})^2$. The $m$-ideal energies contain Euler's elastic energy and the Dirichlet energy for the curvature scalar as special cases ($m=0,1$). We completely classify the closed smooth critical points of $E_m$ for all $m\ge1$: they are precisely the round multiply-covered circles. For the steepest descent $L^2(ds)$-gradient flow of $E_m$, the \emph{$m$-ideal flow}, we prove that for each nonzero turning number there is a curvature-oscillation threshold such that every canonical relaxed flow starting from $W^{2,2}$ initial data below this threshold is immortal and exponentially asymptotic in the smooth topology to a round multiply-covered circle. We also prove that every immortal canonical relaxed trajectory with bounded unnormalised length converges to the corresponding circle. We furthermore treat rough initial data of class $W^{2,2}$; such data typically has infinite $E_m$ energy when $m\ge1$. In the small-curvature-oscillation basin, every such curve generates a unique canonical relaxed length-normalised flow, smooth for every positive time, continuously dependent on the initial data, and smoothly convergent to the multiply-covered circle. These results are known in the $m=0$ case, substantially strengthen existing work in the $m=1$ case, and are new for $m>1$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

The paper classifies all smooth critical points of the m-ideal energies for m≥1 as round multiply-covered circles and proves convergence of the flows from W^{2,2} data below a turning-number-dependent curvature oscillation threshold.

read the letter

The main takeaway is that this paper gives a complete classification of the smooth closed critical points for the family of m-ideal energies when m is at least 1, showing they are exactly the round multiply-covered circles. It also establishes convergence results for the m-ideal gradient flows, including from W^{2,2} initial data with small curvature oscillation, and this holds for the new cases m>1.

Referee Report

2 major / 2 minor

Summary. The paper defines the m-ideal energy E_m[γ] = (1/2) ∫_γ k_{s^m}^2 ds on closed immersed planar curves for integer m ≥ 0, recovering Euler elastica (m=0) and the curvature Dirichlet energy (m=1). It classifies all smooth critical points of E_m for m ≥ 1 as precisely the round multiply-covered circles. For the L²-gradient flow of E_m, it proves that for each nonzero turning number there exists a curvature-oscillation threshold such that every canonical relaxed flow starting from W^{2,2} data below the threshold is immortal and converges exponentially in the smooth topology to a round multiply-covered circle; immortal trajectories with bounded length also converge. The results extend to rough W^{2,2} initial data (typically infinite energy for m ≥ 1) via a unique canonical relaxed length-normalised flow that is smooth for t > 0 and converges to the circle.

Significance. If the estimates hold, the classification and global convergence theorems unify and extend the m=0,1 cases to arbitrary m ≥ 1 using higher-order parabolic techniques and a relaxed-flow construction for low-regularity data. The turning-number-dependent threshold and exponential convergence in smooth topology are notable advances for variational curve flows; the handling of infinite-energy initial data via canonical relaxation is a technically useful device.

major comments (2)

[§5] §5 (or the section containing the threshold construction): the existence and positivity of the curvature-oscillation threshold (depending only on turning number) is central to the immortality and convergence statements, yet the a-priori estimates controlling the oscillation under the relaxed flow are not fully detailed in the provided abstract; without explicit verification that the threshold remains positive and independent of m for m > 1, the basin-of-attraction claim cannot be confirmed.
[§6] The definition and well-posedness of the canonical relaxed flow for W^{2,2} data with infinite E_m energy (m ≥ 1) is load-bearing for all statements involving rough initial data; the approximation scheme and passage to the limit require explicit control on the length-normalisation to ensure uniqueness and continuous dependence.

minor comments (2)

[§2] The notation k_{s^m} is introduced in the abstract but would benefit from an explicit recursive or inductive definition in §2 to avoid ambiguity for readers unfamiliar with higher-order derivatives along the curve.
[Introduction] The introduction should more clearly distinguish the ideal flow from the canonical relaxed flow at the outset, as the latter is the main object for the convergence theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive assessment of the results, and the recommendation for minor revision. We address each major comment below with clarifications drawn from the full manuscript and indicate the revisions we will make to improve explicitness.

read point-by-point responses

Referee: [§5] §5 (or the section containing the threshold construction): the existence and positivity of the curvature-oscillation threshold (depending only on turning number) is central to the immortality and convergence statements, yet the a-priori estimates controlling the oscillation under the relaxed flow are not fully detailed in the provided abstract; without explicit verification that the threshold remains positive and independent of m for m > 1, the basin-of-attraction claim cannot be confirmed.

Authors: Section 5 contains the explicit construction of the curvature-oscillation threshold, which depends only on the turning number. The a-priori estimates controlling oscillation under the relaxed flow are derived via parabolic regularity for the higher-order equation and apply uniformly for all m ≥ 1, yielding a positive threshold independent of m. While the abstract is necessarily concise, the full details appear in the body. To make the independence of m and positivity more immediately verifiable, we will add a short summary paragraph in the introduction outlining the key uniform estimates. revision: yes
Referee: [§6] The definition and well-posedness of the canonical relaxed flow for W^{2,2} data with infinite E_m energy (m ≥ 1) is load-bearing for all statements involving rough initial data; the approximation scheme and passage to the limit require explicit control on the length-normalisation to ensure uniqueness and continuous dependence.

Authors: Section 6 defines the canonical relaxed flow via approximation by smooth curves and passage to the limit in the length-normalized m-ideal flow. Uniqueness and continuous dependence follow from uniform bounds on curvature oscillation (from the smallness assumption) together with compactness in parabolic Hölder spaces; length-normalization is enforced at each approximating step by rescaling to unit length, which is preserved in the limit and yields the required continuous dependence. We will revise the exposition in Section 6 to highlight the explicit length-normalization control in the approximation scheme and limit passage. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained via variational and parabolic analysis

full rationale

The paper derives the classification of critical points of E_m (m≥1) as round multiply-covered circles and the existence of a turning-number-dependent curvature-oscillation threshold for immortality and convergence of the canonical relaxed L²-gradient flow directly from variational first principles and higher-order parabolic estimates on the curve evolution. Prior results for m=0 and m=1 are invoked as external known inputs rather than self-referential definitions, and the treatment of W^{2,2} rough data uses standard approximation techniques without reducing any central claim to a fitted parameter or self-citation chain. No equations or statements in the abstract exhibit self-definitional loops, renamed empirical patterns, or load-bearing uniqueness theorems imported from the authors' own prior work.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard tools from differential geometry and parabolic PDE theory. No new free parameters or postulated entities are introduced; the curvature-oscillation threshold is a derived quantity whose existence is asserted rather than fitted.

axioms (2)

standard math Standard Sobolev embedding and regularity theory for parabolic flows on curves
Invoked to obtain instantaneous smoothing and smooth convergence from W^{2,2} data.
domain assumption The m-ideal flow preserves the turning number of the initial curve
Used to fix the homotopy class in which the threshold and convergence are stated.

pith-pipeline@v0.9.0 · 5614 in / 1438 out tokens · 77550 ms · 2026-05-12T03:27:12.780532+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

6 extracted references · 6 canonical work pages

[1]

Differential Equations10(2005), no

[A2] ,Quasilinear parabolic problems via maximal regularity, Adv. Differential Equations10(2005), no. 10, 1081–1110. [AMWW] Ben Andrews, James McCoy, Glen Wheeler, and Valentina-Mira Wheeler,Closed ideal planar curves, Geom. Topol.24(2020), no. 2, 1019–1049. [AW1] Ben Andrews and Glen Wheeler,On the planar free elastic flow with small oscillation of curva...

work page arXiv 2005
[2]

[DKS] Gerhard Dziuk, Ernst Kuwert, and Reiner Sch¨ atzle,Evolution of elastic curves inR n: existence and computation, SIAM J. Math. Anal.33(2002), no. 5, 1228–1245. [HT] Gur Harary and Ayellet Tal,3D Euler spirals for 3D curve completion, Proceedings of the Twenty- Sixth Annual Symposium on Computational Geometry, 2010, pp. 393–402. [H] Daniel Henry,Geom...

work page 2002
[3]

[L2] ,From Spiral to Spline: Optimal Techniques in Interactive Curve DesignUCB/EECS-2009- 162(2009)

[L1] Raphael Linus Levien,The Euler Spiral: A Mathematical HistoryUCB/EECS-2008-111(2008). [L2] ,From Spiral to Spline: Optimal Techniques in Interactive Curve DesignUCB/EECS-2009- 162(2009). [LX] D Liu and G Xu,A general sixth order geometric partial differential equation and its application in surface modeling, J. Inf. Comput. Sci.4(2007), 1–12. [L95] A...

work page 2008
[4]

J.72(2020), no

[MWW1] James McCoy, Glen Wheeler, and Yuhan Wu,A sixth order flow of plane curves with boundary conditions, Tohoku Math. J.72(2020), no. 3, 379–393. [MWW2] ,High order curvature flows of plane curves with generalised Neumann boundary conditions, Advances in Calculus of Variations15(2022), no. 3, 497–513. [MWW3] ,A Length-Constrained Ideal Curve Flow, The ...

work page doi:10.1093/qmath/haab050 2020
[5]

MCCOY, G

50 J. MCCOY, G. WHEELER [MW] Tatsuya Miura and Glen Wheeler,The free elastic flow for closed planar curves, Journal of Functional Analysis289(2025), no. 7, 111030, DOI 10.1016/j.jfa.2025.111030. [OW1] Shinya Okabe and Glen Wheeler,On ideal lemniscates and circular waves, preprint. [OW2] ,Finite-time blowup and asymptotic circularity for the length-penalis...

work page doi:10.1016/j.jfa.2025.111030 2025
[6]

[W] Yuhan Wu,Short time existence for higher order curvature flows with and without boundary condi- tions, 2019–20 MATRIX Annals, 2021, pp. 773–783. Department of Mathematical and Geospatial Sciences, School of Science, Royal Melbourne In- stitute of Technology, 124 La Trobe Street, Melbourne, Victoria 3000, Australia Email address:james.mccoy@rmit.edu.au...

work page 2019