MCF-stack: Special Solutions of Mean Curvature Flow

§ 5.3 Rotating and expanding curve solitons (Halldórsson, 2010; D. J. Altschuler–S. J. Altschuler–Angenent–Wu, 2012)E6DB29241FC5

Earliest recorded reference: (first arXiv submission).

Paper credits and chronology

Paper credits are chronological and include every author of the cited papers. They identify sources, not exclusive discovery credit. Background-only citations do not determine the date of this example. A classical example may predate the references recorded here.

  1. Halldórsson — 2010-07-09 (first arXiv submission).
  2. D. J. Altschuler–S. J. Altschuler–Angenent–Wu — 2012-07-17 (first arXiv submission).
E6DB29241FC5
23FC29A5131C

Fix $n\geq 2$, $\alpha >0$, and a nonzero skew-symmetric map $A$ on $\mathbb R^ n$. Solve the arclength initial-value problem

\[ C_ s=T,\qquad T_ s=P_ T((\alpha I+A)C),\qquad |T|=1. \]

Here $P_ Tw=w-\langle w,T\rangle T$. Each point and unit tangent determine a unique solution on all of $\mathbb R$. It gives the flow

\[ X(s,t)=\sqrt{1+2\alpha t}\, \exp \left(\frac{\log (1+2\alpha t)}{2\alpha }A\right)C(s), \qquad t>-\frac1{2\alpha }. \]

The spatial profile is defined by an ODE, while the displayed evolution law is exact. With $\alpha =1/2$, the profile is normalized at $t=0$ and the initial singular time is $t=-1$; shifting time by one puts its interval at positive times. Its curvature vector is $(C/2+AC)^\perp $, so in general this is not a pure self-expander satisfying $\mathbf H=C^\perp /2$.

These are complete proper noncompact immersed curves, of codimension $n-1$, with parameter manifold $\mathbb R$ and two ends. Their distance from the origin has exactly one minimum and tends to infinity on both ends. Orient either end outward and define $d\sigma /ds=|a|^{-1}$, where $a=(\alpha I+A)C$. For some nonzero vector $\Gamma $ depending on the end,

\[ C(\sigma )=e^{\sigma (\alpha I+A)}\Gamma +O(e^{-\alpha \sigma }), \qquad \sigma \longrightarrow +\infty . \]

Thus each end is asymptotic to a generalized logarithmic spiral, with a decaying positional error. If its $\Gamma $ lies in $\ker A$, the comparison curve is a ray. This is an asymptotic formula, not an exact parametrization of the soliton. The curvature on these ends is $O(|C|^{-1})$, by the bounded quantity $|a|^2|C_{ss}|^2$ in the low-curvature region of the source proof.

For the recorded mixed family require $P_ T(AC)$ not to vanish identically. The general construction is available in every $n\geq 2$. In dimensions at least three, embeddedness is not asserted for arbitrary initial data; the planar case is classified below. No uniqueness for a prescribed pair of asymptotic spirals is claimed. Pure dilation ($A=0$) reduces to planar corner smoothings already recorded in 4.3; those are not added again here. Source: [AAAW13], Section 4.2, Lemma 6.3, and Lemmas 7.6–7.7, PDF pp. 12–13, 19–20, and 28–30. No stability or entropy theorem is supplied by these passages. The numerical spatial illustration uses $\alpha =1/2$, $A(x,y,z)=(-y,x,0)$, $C(0)=(1,0,0)$, and $T(0)=(0,0,1)$, with a finite arclength window. Planar classification (Halldórsson). Let $A\ne 0$ and $B>0$ in the arclength system and exact time evolution of Example 5.2. For each fixed pair $(A,B)$, there is a one-parameter family, up to rotation, indexed by its minimum radius $d\geq 0$. Initial data $X(0)=id$, $T(0)=1$ give $(u(0),v(0))=(Bd,Ad)$. Positive dilation of the profile rescales both $A$ and $B$ by the inverse square of that dilation; after fixing a scale, the ratio of the two rates and the minimum radius give the two parameters in the source's description.

These are smooth complete properly embedded noncompact curves in $\mathbb R^2$, of dimension one and codimension one, with domain $\mathbb R$ and two ends. Both ends wind infinitely often around the center and tend to spatial infinity. The curvature vanishes at infinity but each end has infinite total absolute curvature. The signed curvature changes sign once; these are not convex curves. The $d=0$ member is centrally symmetric. With $r=|X|$, the source's precise directional asymptotic is

\[ \lim _{s\to \pm \infty }\frac{rT}{X} =\pm \frac{B+iA}{\sqrt{A^2+B^2}}. \]

Thus the ends have the limiting direction of logarithmic spirals; this does not identify them with exact logarithmic spirals.

Their maximal similarity time interval containing zero is $-1/(2B)<t<\infty $, with scale $\sqrt{1+2Bt}$ and rotation angle $A\log (1+2Bt)/(2B)$. Recentring time at $-1/(2B)$ makes this an expanding flow for positive time. Because $A\ne 0$, it is not a homothetic self-expander satisfying $\vec H=X^\perp /2$, so it belongs to Other special flows. The spatial curves are ODE constructions, with uniqueness within the fixed-rate, fixed-minimum-distance classification up to rotation. Source: [Halldorsson2012], Theorem 3.1 and Corollary 3.11, PDF pp. 5–7, Figures 10–11. No Gaussian-area value, entropy value or flow-stability result is recorded there. The drawing integrates the ODE numerically and applies the exact similarity motion to the truncated profile.

Rotating and expanding curve solitons. Dilation coefficient α = 1/2 and angular coefficient ω = 1, with C(0) = (1, 0, 0), T(0) = (0, 0, 1), and −24 ≤ s ≤ 24. The ends are truncated. Time t > −1 follows the exact rotation–dilation law; this is not a pure self-expander or an exact logarithmic spiral.
Numerical ODE curve. Dilation coefficient α = 1/2 and angular coefficient ω = 1, with C(0) = (1, 0, 0), T(0) = (0, 0, 1), and −24 ≤ s ≤ 24. The ends are truncated. Time t > −1 follows the exact rotation–dilation law; this is not a pure self-expander or an exact logarithmic spiral. Open drawing · Numerical references and credits

Explore the planar Halldórsson classification

Numerical experiment. The spatial construction and finite-window limitations are stated beside the controls. The similarity time law is exact; numerical profiles are approximations.

Open full-page visualization ↗

Explore the interactive flow
Ambient space, topology, embeddedness and entropy

α > 0; complete proper immersed curves. Generalized logarithmic spirals are end asymptotes, not exact spatial formulas. No pure-expander Gaussian identity is imposed. Planar properties are sharpened by Halldórsson (2012); the spatial and higher-dimensional cases retain their own hypotheses.

A ≠ 0, B > 0 · Euclidean plane ℝ² · Embedded
Ambient space
Euclidean plane ℝ²
Topology
Noncompact line ℝ
Embeddedness
Embedded: Properly embedded for every minimum radius by Theorem 3.1.
Compactness
Noncompact
Surface genus
Not a surface
Topological ends
2 intrinsic ends of the parameter manifold
Entropy
Not recorded: No value or bound recorded in the reviewed source passages; centered Gaussian area is not identified with entropy.
Gaussian area
Not recorded: No value or bound recorded in the reviewed source passages; centered Gaussian area is not identified with entropy.
Spatial rotating expanders · Euclidean space ℝ³ · Not recorded
Ambient space
Euclidean space ℝ³
Topology
Line R (immersed domain)
Embeddedness
Not recorded: No general embeddedness theorem for the stated initial data is recorded in the reviewed source.
Compactness
Noncompact
Surface genus
Not a surface
Topological ends
Two ends of the parameter manifold R
Entropy
Not recorded: No entropy value or finiteness theorem is recorded for this general case.
Gaussian area
Not recorded: No centered Gaussian length value is recorded; it is not identified with entropy.
Rotating expanders in R4 · Euclidean space ℝ⁴ · Not recorded
Ambient space
Euclidean space ℝ⁴
Topology
Line R (immersed domain)
Embeddedness
Not recorded: No general embeddedness theorem for the stated initial data is recorded in the reviewed source.
Compactness
Noncompact
Surface genus
Not a surface
Topological ends
Two ends of the parameter manifold R
Entropy
Not recorded: No entropy value or finiteness theorem is recorded for this general case.
Gaussian area
Not recorded: No centered Gaussian length value is recorded; it is not identified with entropy.
Rotating expanders in R^n, n ≥ 5 · Euclidean dimension ≥ 5 · Not recorded
Ambient space
Euclidean dimension ≥ 5
Topology
Line R (immersed domain)
Embeddedness
Not recorded: No general embeddedness theorem for the stated initial data is recorded in the reviewed source.
Compactness
Noncompact
Surface genus
Not a surface
Topological ends
Two ends of the parameter manifold R
Entropy
Not recorded: No entropy value or finiteness theorem is recorded for this general case.
Gaussian area
Not recorded: No centered Gaussian length value is recorded; it is not identified with entropy.

Compare examples by these properties →

References on this page

  1. [AAAW13] Dylan J. Altschuler, Steven J. Altschuler, Sigurd B. Angenent, and Lani F. Wu. The zoo of solitons for curve shortening in ℝⁿ. Nonlinearity, 26(5):1189–1226, 2013. Citations use arXiv v1, July 17, 2012, 39 pages; Sections 1–8 reviewed for the curve-soliton expansion; downloaded PDF has a later typesetting date on its title page. URL: https://arxiv.org/abs/1207.4051v1, doi:10.1088/0951-7715/26/5/1189.All uses in this project ↩ 1
  2. [Halldorsson2012] Höskuldur P. Halldórsson. Self-similar solutions to the curve shortening flow. Transactions of the American Mathematical Society, 364(10):5285–5309, 2012. URL: https://arxiv.org/abs/1007.1617v2, doi:10.1090/S0002-9947-2012-05632-7.All uses in this project ↩ 1
Cite this page

Comments

Comments are not enabled yet.