In briefPlane curves moving by their curvature. Convex curves shrink to round points (Gage–Hamilton), and every embedded curve becomes convex first (Grayson). It is the one-dimensional model for everything Ricci flow does, and the animation on this site's home page.
The one-dimensional model, and the animation on the home page. Move a plane curve along its normal with speed equal to its curvature:
∂tγ=κN.
Gage–Hamilton (1986) showed convex curves shrink to round points. Grayson (1987) showed every embedded curve becomes convex first. The pattern is the same one you see in Ricci flow: the flow smooths, rounds out, and then becomes extinct.
Where the concept cards came from: they were drafted by an AI at the site owner's request. The owner, who is still learning this material, chose which concepts to include but cannot vouch for every detail, so treat them as a well-drawn map and check the cited papers. Corrections are welcome: see how this site works.
Guide
In depth
What it is
A closed curve γ in the plane evolves with velocity equal to its curvature times the inward normal. This is the gradient flow of length, and mean curvature flow in its lowest dimension. For an embedded closed curve the enclosed area drops at the constant rate 2π, so the flow lasts exactly A0/2π.
Gage and Hamilton (1986) proved that convex curves stay convex and shrink to a point, becoming round in the limit. Grayson (1987) proved that any embedded curve becomes convex before it becomes singular. So every simple closed curve ends as a round point. Grayson (1989) also showed that on a surface an embedded curve either shrinks to a point or converges to a closed geodesic. Immersed curves behave differently: small loops can pinch off, producing cusp-like singularities.
Why it matters
Hamilton's proof for Ricci flow on the 2-sphere follows the same arc as Gage–Hamilton: a monotone quantity controls the shape, and rescaled solutions become round. The tools also transfer. Huisken's distance-comparison proof of Grayson's theorem, and Andrews–Bryan's sharp version, are early examples of the "noncollapsing" estimates that are central to Perelman's work. The self-similar solutions, such as the shrinking circle, the grim reaper translator and Angenent's ovals, are low-dimensional versions of Ricci solitons and ancient solutions.
Where it stands
The planar theory is essentially complete, including a classification of compact convex ancient solutions (Daskalopoulos–Hamilton–Šešum: shrinking circles and Angenent ovals). Research continues on networks of curves with junctions, curves on surfaces and in higher codimension, and the fine behaviour of limits. For example, whether a curve on a surface converges to a unique geodesic is a question of Grayson and Gage that recent papers in the feed address.
If you are new to this
Foundational papers
The papers the rest of the topic builds on, in reading order. Titles open the paper.
Perelman III §§2–3 and Morgan–Tian §§18.3–18.7: π₃ as spheres of loops, minimal disks and the −2π estimate, curve shrinking, ramps in M × S¹ and the estimates that make the argument rigorous.
We study ancient solutions to curve shortening flow on a class of warped product surfaces. For closed embedded ancient solutions whose curves are not null-homotopic, we prove that graphicality at every time is equivalent to a uniform length bound as t→−∞, and that these properties hold whenever the length is o(−t). Under an additional positivity condition on the linearized height equation, every such solution with bounded length is a family of slices. We derive backward convergence to a limiting circle from the length bound and prove slice rigidity by an L2 estimate for the height perturbation.
We provide an alternative and independent proof of the analogue of the Gage-Hamilton-Grayson Theorem for embedded free boundarycurve shortening flows in a convex planar domain established by Langford-Zhu. Our proof is based on blowup arguments introduced by B. White in his work on mean-convex mean curvature flow.
We study the regularity of the arrival time function associated with mean curvature flow, formulated as a degenerate elliptic equation encoding the singular structure of the flow. We identify a systematic mechanism obstructing higher regularity, arising from higher-order asymptotic expansions near spherical singularities. We construct uncountably many low-regularity arrival time functions in all dimensions. In particular, we settle the question of smoothness in the planar case by showing that even for convex curve shortening flow the arrival time need not be C25. Our companion paper proves that every such arrival time is C24,α for any 0<α<1. Hence the obstruction at order 25 gives the optimal regularity threshold. Our approach introduces new analytic ingredients, including a precise correspondence between elliptic asymptotic expansions and parabolic long-time asymptotics of the associated rescaled mean curvature flow, a complexification of the arrival time equation, and a method for prescribing higher-order asymptotic expansions.
The focus of this paper is the curve shortening flow for closed spacelike curves in pseudo-Euclidean spaces, which has very few results so far. Will they produce singularities where certain tangent line tends to light cone? If not, will such a curve shrink to a circular point? To answer these questions, we establish a dichotomy for planar weighted normalized curve shortening flow with uniformly positive and bounded weights. Applying to closed smooth spacelike curves in pseudo-Euclidean spaces that admit a one-to-one convex projection onto a spacelike plane, at their finite maximal time we will see: either the curve shrinks to a point and becomes asymptotically circular, or the tangent directions subsequentially approach the null cone. Both alternatives occur. In the first case, this proves our previous conjecture that a strong spacelike curve in R2,q with index 1 will converge to a circular point under the usual CSF. In the latter case, a monotone area-bivector defect is found in R2,1, which gives a quantitative obstruction to point collapse. Explicit examples of spacelike curves with lightlike tangent limit are given.
We prove that Lagrangian mean curvature flow starting from a closed, embedded, cohomogeneity-one Lagrangian in a closed, positive Kähler–Einstein manifold exists for all time, remains embedded, and converges smoothly and graphically to a minimal Lagrangian, under natural exactness and regularity assumptions. We also study the generalised Lagrangian mean curvature flow of Behrndt in Kähler manifolds which are almost-Einstein in the sense that the Ricci form satisfies ρ=Cω+nddcf, and which satisfy C>0. With analogous assumptions on the flow, we obtain subconvergence to an f-minimal Lagrangian submanifold, with an upgrade to smooth graphical convergence in the case that (M,g,f) is analytic. The proof proceeds by first reducing the flow to a weighted curve shortening flow on a compact two-dimensional orbifold. We then establish both a Grayson-type description of finite-time singularities and a long-time subconvergence theorem for weighted curve shortening flow in the orbifold setting. Finally, we use a Łojasiewicz–Simon inequality argument to upgrade to smooth convergence of the full flow.
We show that on any closed orientable real-analytic Riemannian surface, any smoothly immersed closed immortalcurve-shortening flow converges to a unique non-constant closed geodesic.
We show that the spacelike solutions to the curvature flow for curves on the De Sitter space are in correspondence with the solutions to the inverse curvature flow on the 2-dimensional hyperbolic space, that on the De Sitter space, the timelike solutions to the curvature flow are in correspondence with the timelike solutions to the inverse curvature flow, and that the solutions curve shortening flow on the 2-dimensional hyperbolic space are in correspondence with the solutions to the spacelike solutions to the inverse curvature flow on the De Sitter space. We prove that, for spacelike curves on the De Sitter space, the curvature flow is a gradient-type flow for the arc-length functional. We observe that a spacelike or timelike curve on the De Sitter space is a soliton solution to the curvature flow (resp. inverse curvature flow) if and only if its curvature (resp. inverse of its curvature) can be written as the inner product between its tangent vector field and a fixed vector v of the 3-dimensional Minkowski space. We prove that for each vector v, there exists a 2-parameter family of timelike (spacelike) soliton solutions to the curvature flow and to the inverse curvature flow on the De Sitter space. We show that there exists no non-trivial complete timelike soliton. There exist non-trivial complete spacelike solutions. As a consequence of curvature flow, we obtain the behavior of the soliton solutions to the inverse curvature flow on the De Sitter space and hyperbolic space.
Grayson and Gage proved that an immortalcurve shortening flow of simple closed curves on a closed surface converges subsequentially to a closed geodesic, and they asked whether this limiting geodesic is unique. We answer this question negatively by constructing a smooth Riemannian metric on S2 and an immortal simple closed curve shortening flow that converges along different sequences of times to every geodesic in a one-parameter family of distinct simple closed geodesics.
We study the inverse curve shortening flow in the hyperbolic plane \h2. We classify all solitons with respect to parabolic and conformal vector fields of \h2. In the upper half-plane model of \h2, we prove that parabolic solitons are all graphs on the y-axis, whereas conformal solitons are graphs on the x-axis. We study the concavity of these solitons and when they approach the coordinate axes.
We define a new notion of translations in the hyperbolic plane and explicitly solve the equation of the curve shortening flow. Next, we consider the class of ancient convex solutions and solve the equation of the curve shortening flow when the curvature function is given by separation of variables. Lastly, we prove some area estimates for closed ancient solutions of the curve shortening flow.
The curve shortening flow is a geometric heat equation for curves and provides an accessible setting to illustrate many important concepts from nonlinear partial differential equations, including maximum principle estimates, monotonicity formulas, Harnack inequalities and blowup analysis. All these techniques will be combined to give an exposition of Huisken's proof of Grayson's beautiful theorem that the curve shortening flow shrinks any closed embedded curve in the plane to a round point.
The well-known curve shortening flow can be formulated as the gradient flow of the length functional on the space of immersed closed planar curves, where the gradient is taken with respect to a reparametrisation-invariant L2 Riemannian metric. This metric is degenerate, giving a geodesic distance of zero between any two curves. We instead consider a family of Sobolev H1 metrics depending on two parameters λ>0 and a∈R, where λ sets the weight of the first-derivative term, and a indexes a length normalisation which ensures that the metric is scale-homogeneous. For each such metric, the gradient of length can be written explicitly in terms of a convolution with respect to normalised arc length against the periodic Green's function of (λ2∂x2−1). The associated evolution is a reparametrisation invariant nonlocal ODE whose right-hand side is well-defined even on curves that are not immersed. Working in the optimal low-regularity setting W1,1(S,R2), we prove local well-posedness using the Picard–Lindelöf theorem and convergence to constant maps in finite time when a<2, and as t→∞ when a≥2. This behaviour is exhibited by round circles, which evolve self-similarly and collapse at an explicit time. We further prove that if the initial curve is an immersion, C1, C2, or bounds a strictly convex set, then each of these properties is preserved along the flow.
We prove that any ancient smooth embedded finite-entropy curve shortening flow is one of the following: a static line, a shrinking circle, a paper clip, a translating grim reaper, or a graphical ancient trombone. An ancient trombone is an immersed ancient flow, either compact or non-compact, obtained by gluing together m translating grim reaper curves. For each m, there exists a (2m−1)-parameter family of graphical ancient trombones, up to rigid motions and time shifts as constructed by Angenent-You. In particular, our result implies that any compact ancient smooth embedded finite-entropy flow is convex. Moreover, any non-compact ancient smooth embedded finite-entropy flow is either a static line or a complete graph over a fixed open interval.
We establish a sharp rate of convergence for a free-boundarycurve shortening flow in a convex domain in R2 which converges in finite time to a round half-point.
We study curve shortening flow in high codimension for arcs with free boundary meeting a fixed smooth barrier orthogonally. We prove dilation-invariant curvature and higher-derivative estimates up to the boundary using a Stahl-type localised maximum principle and an adapted cut-off. Using a reflected Gaussian entropy and blow-up analysis, Type I boundary singularities yield a shrinking semicircle model after reflection. Type II blow-ups give a Grim Reaper translator, which is ruled out under a free-boundary entropy bound <2. Hence in the low-entropy regime the flow either converges to the orthogonal chord or has only semicircle boundary singularities.
We study the spectralstability of Dirichlet eigenvalues on an embedded annulus whose boundary evolves by curve shortening flow while the ambient surface evolves under the two dimensionalRicci flow using variational formulas, Rellich–type identities, and harmonic capacity methods, we relate eigenvalue variations to geometric deficit and modulus. We establish quantitative bounds comparing the spectrum of the evolving annulus with that of a flat cylinder of equal modulus. As a consequence, we obtain geometric stability and a spectral gap estimate controlled by the deficit functional.
In 1995, Hamilton introduced a Harnack inequality for convex solutions of the mean curvature flow. In this paper we prove an alternative Harnack inequality for curve shortening flow, i.e. one-dimensional mean curvature flow, that does not require any assumption of convexity. For an initial proper curve in the plane whose ends are radial lines but which is otherwise arbitrarily wild, we use the Harnack inequality to give an explicit time by which the curve shortening flow evolution must become graphical. This gives a new instance of delayed parabolic regularity. The Harnack inequality also gives estimates describing how a polar graphical flow with radial ends settles down to an expanding solution. Finally, we relate our Harnack inequality to Hamilton's by identifying a pointwise curvature estimate implied by both Harnack inequalities in the special case of convex flows.
We show that any smooth closed immersed curve in Rn with a one-to-one convex projection onto some 2-plane develops a Type I singularity and becomes asymptotically circular under Curve Shortening flow in Rn. As an application, we prove an analog of Huisken's conjecture for Curve Shortening flow in Rn, showing that any smooth closed immersed curve in Rn can be smoothly perturbed to a closed immersed curve in Rn+2 which shrinks to a round point under Curve Shortening flow. Our proof relies on a novel contradiction argument in which Type II singularities are excluded by proving both the uniqueness and non-uniqueness of the tangent flows at the singular point.