MCF-stack: Special Solutions of Mean Curvature Flow

§ 2.24 Immersed rotational shrinking spheres (Drugan, 2013; Drugan–Lee–X. H. Nguyen, 2017)2101D51F1E32

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. Drugan — 2013-03-29 (first arXiv submission).
  2. Drugan–Lee–X. H. Nguyen — 2017-08-30 (first arXiv submission).
2101D51F1E32

[Drugan2015], Theorem 1.1, p. 3139, proves the existence of a nonembedded immersed $S^2$ self-shrinker in $\mathbb R^3$. [DLN2018], Theorem 3, PDF pp. 14–15, gives the corresponding existence statement for $S^ n\subset \mathbb R^{n+1}$, $n\geq 2$.

FE38A115C52C

For each $n\geq 2$, there is a smooth rotational immersion $X:S^ n\to \mathbb R^{n+1}$ satisfying $\vec H=-X^\perp /2$ whose image is not embedded. The associated immersed flow is $X_ t=\sqrt{-t}\, X$, $-\infty <t<0$. In the three-dimensional construction, a graphical piece of the profile, written as axial height $z=\gamma (r)$ for $r>0$, solves

\[ \frac{\gamma ''}{1+(\gamma ')^2} =\left(\frac r2-\frac1r\right)\gamma '-\frac\gamma 2. \]

This is equation (1.2) of [Drugan2015], p. 3140; the paper's radial variable $x$ is denoted here by $r$. Equation (1.3) describes the same curve as a radius depending on height. Shooting and continuation through profile turning points produce the closed immersed sphere; a single graphical piece does not describe the whole surface.

  • The parameter domain is the compact sphere, so the induced metric is complete and the immersion is proper. The image has self-intersections and is not the round sphere.

  • The construction has rotational symmetry and reflection symmetry across a hyperplane perpendicular to the rotation axis. It has no ends. The homothetic flow contracts to the origin with Type I curvature growth.

  • The cited existence argument supplies neither an elementary parametrization nor uniqueness or an exact entropy value. Embedded classification and embedded stability theorems cannot be applied to this immersion by dropping their embeddedness hypothesis.

Numerical picture. The picture computes the rotational shooting construction in [Drugan2015], Sections 2–5, and can be compared with Figure 1 on p. 3141. It shows the two-dimensional immersed sphere in $\mathbb R^3$, not a higher-dimensional projection. Let $s$ be arc length along the meridian and let $\theta $ be its tangent angle measured from the positive radial direction. Substituting $\gamma '=\tan \theta $ into the graph equation gives

\[ \frac{dr}{ds}=\cos \theta ,\qquad \frac{dz}{ds}=\sin \theta ,\qquad \frac{d\theta }{ds} =\left(\frac r2-\frac1r\right)\sin \theta -\frac z2\cos \theta . \]

This system continues through the vertical tangents where the graph equation becomes unsuitable for numerical integration. At the upper pole $(r,z)=(0,b)$, smoothness requires $\theta =0$. The even expansion from the graph equation, consistent with Section 6 of the paper, is

\[ z(r)=b-\frac b8r^2-\frac{b(b^2+4)}{1024}r^4+O(r^6). \]

We start at $r=10^{-4}$ using this expansion and shoot in $b$ until $z=0$ at the second radial turning point, where $\theta =-3\pi /2$. This is the orthogonal reflection condition in Section 5, pp. 3154–3155. The computation gives

\[ b\simeq 0.39345656,\qquad r_{\mathrm{reflection}}\simeq 0.83684239. \]

Reflection across $z=0$, with the order of traversal reversed, completes the meridian from $(0,b)$ to $(0,-b)$. Revolving it gives

\[ X(s,\varphi )=(r(s)\cos \varphi ,r(s)\sin \varphi ,z(s)), \qquad 0\leq \varphi <2\pi , \]

with the angular circles collapsed at the two poles. This is a numerical parametrization at time $t=-1$; the corresponding flow is $X_ t=\sqrt{-t}\, X$ for $t<0$.

The meridian view shows the self-intersections directly. The revolution angle control reveals interior sheets by removing angular sectors; the resulting cut edges are display boundaries, not boundaries of the immersed sphere. The two colors distinguish the shot half from its reflected continuation. The shooting height residual is below $10^{-10}$ before rounding the exported mesh. Halving the initial radius and maximum step and tightening the integration tolerances changes the computed pole height and reflection radius by less than $10^{-9}$. These are floating-point convergence diagnostics, not certified error bounds. In particular, numerical shooting does not prove existence, uniqueness, or that this root is the supremum used in Drugan's proof.

Numerically integrated Drugan immersed shrinking sphere. A meridian with self-intersections is revolved about the z-axis; a 270-degree cutaway exposes the sheets.
Numerical ODE surface. Numerical shooting from pole height b ≈ 0.39345656, reflected at radius ≈ 0.83684239, in R3 with Hvec = −Xperp/2. Blue and orange distinguish the two reflected halves. Use Meridian to see the crossings or change the revolution angle to reveal interior sheets. Cut edges are display boundaries. Numerical diagnostics are not certified error bounds or a uniqueness proof. Open drawing · Numerical references and credits

Ambient space, topology, embeddedness and entropy

Topology refers to the parameter domain, not the self-intersecting image.

Immersed two-sphere · Euclidean space ℝ³ · Not embedded
Ambient space
Euclidean space ℝ³
Topology
Immersed sphere S²
Embeddedness
Not embedded: These rotational sphere immersions have self-intersections in every stated dimension.
Compactness
Compact
Surface genus
0
Topological ends
0 (compact)
Entropy
Finite; value not recorded: Finite; no value recorded.
Gaussian area
Finite; value not recorded: F₀,₁ = λ for the normalized shrinker. Finite; no value recorded.
Higher-dimensional immersed spheres · Euclidean space ℝ⁴; Euclidean dimension ≥ 5 · Not embedded
Ambient space
Euclidean space ℝ⁴; Euclidean dimension ≥ 5
Topology
Immersed sphere Sⁿ, n ≥ 3
Embeddedness
Not embedded: These rotational sphere immersions have self-intersections in every stated dimension.
Compactness
Compact
Surface genus
Not a surface
Topological ends
0 (compact)
Entropy
Finite; value not recorded: Finite; no value recorded.
Gaussian area
Finite; value not recorded: F₀,₁ = λ for the normalized shrinker. Finite; no value recorded.

Compare examples by these properties →

References on this page

  1. [Drugan2015] Gregory Drugan. An immersed $S^2$ self-shrinker. Transactions of the American Mathematical Society, 367(5):3139–3159, 2015. URL: https://arxiv.org/abs/1304.0032, doi:10.1090/S0002-9947-2014-06051-0.All uses in this project ↩ 1 ↩ 2 ↩ 3
  2. [DLN2018] Gregory Drugan, Hojoo Lee, and Xuan Hien Nguyen. A survey of closed self-shrinkers with symmetry. Results in Mathematics, 73(1):32, 2018. Article 32, 32 pages; locators refer to the supplied published edition. URL: https://arxiv.org/abs/1708.09113, doi:10.1007/s00025-018-0763-3.All uses in this project ↩ 1
Cite this page

Comments

Comments are not enabled yet.