Track new results across pure and applied mathematics.
Search papers, labs, and topics across Lattice.
We establish $C^1$-stability of geodesic spheres under volume-preserving mean curvature flow in simply connected space forms, requiring only that the initial hypersurface be in a thin annulus around a geodesic sphere with a small angle between its outward normal and the radial direction. This is achieved via a quantitative Alexandrov reflection argument that ensures a strong reflection property is preserved by the flow, leading to long-time existence and smooth exponential convergence to a geodesic sphere. For Lipschitz initial data, a separate curvature estimate yields instantaneous smoothing and the same eventual convergence.
Geodesic spheres are $C^1$-stable under volume-preserving mean curvature flow even without convexity or curvature bounds, thanks to a novel quantitative Alexandrov reflection argument.
We prove stability of geodesic spheres under volume-preserving mean curvature flow in the simply connected space forms under genuinely first-order geometric assumptions. The initial hypersurface is required to lie in a sufficiently thin annulus around a geodesic sphere and to have outward normal making a small angle with the radial direction. No convexity, mean convexity, initial curvature bound, or Hölder control of the normal is assumed. The main ingredient is a quantitative Alexandrov reflection argument that converts these initial assumptions into a strong reflection property preserved by the flow. The resulting radial and angular control allows us to derive estimates for the mean curvature and the full second fundamental form, and hence long-time existence, eventual convexity, and smooth exponential convergence to a geodesic sphere. In hyperbolic space, the eventual convexity can be strengthened to horospherical convexity. The reflection threshold also yields a quantitative estimate for the displacement of the limiting centre. For Lipschitz initial hypersurfaces, we develop a separate positive-time curvature estimate that is uniform along smooth approximations. This produces an instantaneously smooth evolution with the same eventual convexity and smooth exponential convergence.