Catenoid
In geometry, a catenoid is a type of surface, arising by rotating a catenary curve about an axis (a surface of revolution).<ref>Template:Cite book</ref> It is a minimal surface, meaning that it occupies the least area when bounded by a closed space.<ref name=Gullberg>Template:Cite book</ref> It was formally described in 1744 by the mathematician Leonhard Euler.
Soap film attached to twin circular rings will take the shape of a catenoid.<ref name=Gullberg/> Because they are members of the same associate family of surfaces, a catenoid can be bent into a portion of a helicoid, and vice versa.
GeometryEdit
The catenoid was the first non-trivial minimal surface in 3-dimensional Euclidean space to be discovered apart from the plane. The catenoid is obtained by rotating a catenary about its directrix.<ref name=Gullberg/> It was found and proved to be minimal by Leonhard Euler in 1744.<ref>Template:Cite book</ref><ref name=Colding06>Template:Cite journal</ref>
Early work on the subject was published also by Jean Baptiste Meusnier.<ref name=salvert>Template:Cite book</ref><ref name=Colding06/>Template:Rp There are only two minimal surfaces of revolution (surfaces of revolution which are also minimal surfaces): the plane and the catenoid.<ref>{{#invoke:citation/CS1|citation |CitationClass=web }}</ref>
The catenoid may be defined by the following parametric equations: Template:NumBlk where <math>u \in [-\pi, \pi)</math> and <math>v \in \mathbb{R}</math> and <math>c</math> is a non-zero real constant.
In cylindrical coordinates: <math display=block>\rho =c \cosh \frac{z}{c},</math> where <math>c</math> is a real constant.
A physical model of a catenoid can be formed by dipping two circular rings into a soap solution and slowly drawing the circles apart.
The catenoid may be also defined approximately by the stretched grid method as a facet 3D model.
Helicoid transformationEdit
Because they are members of the same associate family of surfaces, one can bend a catenoid into a portion of a helicoid without stretching. In other words, one can make a (mostly) continuous and isometric deformation of a catenoid to a portion of the helicoid such that every member of the deformation family is minimal (having a mean curvature of zero). A parametrization of such a deformation is given by the system <math display=block>\begin{align} x(u,v) &= \sin \theta \,\cosh v \,\cos u + \cos \theta \,\sinh v \,\sin u \\ y(u,v) &= \sin \theta \,\cosh v \,\sin u - \cos \theta \,\sinh v \,\cos u \\ z(u,v) &= v \sin \theta + u \cos \theta \end{align}</math> for <math>(u,v) \in (-\pi, \pi] \times (-\infty, \infty)</math>, with deformation parameter <math>-\pi < \theta \le \pi</math>, where:
- <math>\theta = \pi</math> corresponds to a right-handed helicoid,
- <math>\theta = \pm \pi / 2</math> corresponds to a catenoid, and
- <math>\theta = 0</math> corresponds to a left-handed helicoid.
The Critical Catenoid ConjectureEdit
A critical catenoid is a catenoid in the unit ball that meets the boundary sphere orthogonally. Up to rotation about the origin, it is given by rescaling Template:EquationNote with <math> c=1</math> by a factor <math> (\rho_0\cosh\rho_0)^{-1} </math>, where <math>\rho_0\tanh\rho_0=1 </math>. It is an embedded annular solution of the free boundary problem for the area functional in the unit ball and the Critical Catenoid Conjecture states that it is the unique such annulus.
The similarity of the Critical Catenoid Conjecture to Hsiang-Lawson's conjecture on the Clifford torus in the 3-sphere, which was proven by Simon Brendle in 2012,<ref>Template:Cite journal</ref> has driven interest in the Conjecture,<ref name=Dev19>Template:Cite journal</ref><ref name="FL14"/> as has its relationship to the Steklov eigenvalue problem.<ref name=FS11>Template:Cite journal</ref>
Nitsche proved in 1985 that the only immersed minimal disk in the unit ball with free boundary is an equatorial totally geodesic disk.<ref name=Nitsche85>Template:Cite journal</ref> Nitsche also claimed without proof in the same paper that any free boundary constant mean curvature annulus in the unit ball is rotationally symmetric, and hence a catenoid or a parallel surface. Non-embedded counterexamples to Nitsche’s claim have since been constructed.<ref name=Wente93>H.C. Wente, "Tubular capillary surfaces in a convex body," p288, in P. Concus, K. Lancaster and R. Finn, Advances in Geometric Analysis and Continuum Mechanics, International Press 1993.</ref><ref name=FHM23>Template:Cite journal</ref>
The Critical Catenoid Conjecture is stated in the embedded case by Fraser and Li <ref name=FL14>Template:Cite journal</ref> and has been proven by McGrath with the extra assumption that the annulus is reflection invariant through coordinate planes,<ref name= McGrath18>Template:Cite journal</ref> and by Kusner and McGrath when the annulus has antipodal symmetry.<ref name=KM24>Template:Cite journal</ref>
As of 2025 the full Conjecture remains open.