Constant-mean-curvature surface explained
In differential geometry, constant-mean-curvature (CMC) surfaces are surfaces with constant mean curvature.[1] [2] This includes minimal surfaces as a subset, but typically they are treated as special case.
Note that these surfaces are generally different from constant Gaussian curvature surfaces, with the important exception of the sphere.
History
In 1841 Delaunay proved that the only surfaces of revolution with constant mean curvature were the surfaces obtained by rotating the roulettes of the conics. These are the plane, cylinder, sphere, the catenoid, the unduloid and nodoid.[3]
In 1853 J. H. Jellet showed that if
is a compact star-shaped surface in
with constant mean curvature, then it is the standard sphere.
[4] Subsequently,
A. D. Alexandrov proved that a compact embedded surface in
with constant mean curvature
must be a sphere,
[5] and
H. Hopf proved that a sphere immersed in
with constant mean curvature
must be a standard sphere.
[6] Based on this
H. Hopf conjectured in 1956 that any immersed compact orientable constant mean curvature hypersurface in
must be a standard embedded
sphere. This conjecture was disproven in 1982 by Wu-Yi Hsiang using a counterexample in
. In 1984
Henry C. Wente constructed the
Wente torus, an immersion into
of a
torus with constant mean curvature.
Up until this point it had seemed that CMC surfaces were rare. Using gluing techniques, in 1987 Nikolaos Kapouleas constructed a plethora of examples of complete immersed CMC surfaces in
with most topological types and at least two ends.
[7] [8] Subsequently, Kapouleas constructed compact CMC surfaces in
with each genus bigger than one.
[9] [10] In particular gluing methods appear to allow combining CMC surfaces fairly arbitrarily.
[11] [12] [13] Delaunay surfaces can also be combined with immersed "bubbles", retaining their CMC properties.
[14] Meeks showed that there are no embedded CMC surfaces with just one end in
.
[15] Korevaar, Kusner and Solomon proved that a complete embedded CMC surface will have ends asymptotic to unduloids.
[16] Each end carries a
"force" along the asymptotic axis of the unduloid (where n is the circumference of the necks), the sum of which must be balanced for the surface to exist. Current work involves classification of families of embedded CMC surfaces in terms of their
moduli spaces.
[17] In particular, for
coplanar
k-unduloids of genus 0 satisfy
for odd
k, and
for even
k. At most
k - 2 ends can be cylindrical.
Generation methods
Representation formula
Like for minimal surfaces, there exist a close link to harmonic functions. An oriented surface
in
has constant mean curvature if and only if its
Gauss map is a
harmonic map.
[18] Kenmotsu’s representation formula
[19] is the counterpart to the
Weierstrass–Enneper parameterization of minimal surfaces:
Let
be an open simply connected subset of
and
be an arbitrary non-zero real constant. Suppose
is a harmonic function into the Riemann sphere. If
then
defined by
with
X | |
| z(z)= | -1 | H(1+\phi(z)\bar\phi(z))2 |
|
\left\{(1-\phi(z)2,i(1+\phi(z)2),2\phi(z))
}(z) \right \}
for
is a regular surface having
as Gauss map and mean curvature
.
For
and
this produces the sphere.
and
gives a cylinder where
.
Conjugate cousin method
Lawson showed in 1970 that each CMC surface in
has an isometric "cousin" minimal surface in
.
[20] [21] This allows constructions starting from geodesic polygons in
, which are spanned by a minimal patch that can be extended into a complete surface by reflection, and then turned into a CMC surface.
CMC Tori
Hitchin, Pinkall, Sterling and Bobenko showed that all constant mean curvature immersions of a 2-torus into the space forms
and
can be described in purely algebro-geometric data. This can be extended to a subset of CMC immersions of the plane which are of finite type. More precisely there is an explicit bijection between CMC immersions of
into
and
, and spectral data of the form
where
is a hyperelliptic curve called the spectral curve,
is a meromorphic function on
,
and
are points on
,
is an antiholomorphic involution and
is a line bundle on
obeying certain conditions.
[22] [23] [24] Discrete numerical methods
Discrete differential geometry can be used to produce approximations to CMC surfaces (or discrete counterparts), typically by minimizing a suitable energy functional.[25] [26]
Applications
CMC surfaces are natural for representations of soap bubbles, since they have the curvature corresponding to a nonzero pressure difference.
Besides macroscopic bubble surfaces CMC surfaces are relevant for the shape of the gas–liquid interface on a superhydrophobic surface.[27]
Like triply periodic minimal surfaces there has been interest in periodic CMC surfaces as models for block copolymers where the different components have a nonzero interfacial energy or tension. CMC analogs to the periodic minimal surfaces have been constructed, producing unequal partitions of space.[28] [29] CMC structures have been observed in ABC triblock copolymers.[30]
In architecture CMC surfaces are relevant for air-supported structures such as inflatable domes and enclosures, as well as a source of flowing organic shapes.[31]
See also
External links
Notes and References
- Nick Korevaar, Jesse Ratzkin, Nat Smale, Andrejs Treibergs, A survey of the classical theory of constant mean curvature surfaces in R3, 2002 http://www.math.utah.edu/~ratzkin/papers/minicourse.pdf
- Carl Johan Lejdfors, Surfaces of Constant Mean Curvature. Master’s thesis Lund University, Centre for Mathematical Sciences Mathematics 2003:E11 http://www.matematik.lu.se/matematiklu/personal/sigma/students/Karl-Johan-Lejdfors-MSc.pdf
- C. Delaunay, Sur la surface de révolution dont la courbure moyenne est constante, J. Math. Pures Appl., 6 (1841), 309–320.
- J. H. Jellet, Sur la Surface dont la Courbure Moyenne est Constant, J. Math. Pures Appl., 18 (1853), 163–167
- A. D. Alexandrov, Uniqueness theorem for surfaces in the large, V. Vestnik, Leningrad Univ. 13, 19 (1958), 5–8, Amer. Math. Soc. Trans. (Series 2) 21, 412–416.
- H. Hopf, Differential geometry in the large. Springer-Verlag, Berlin, 1983. vii+184 pp.
- Nikolaos Kapouleas. Constant mean curvature surfaces in Euclidean three-space. . Bull. Amer. Math. Soc. (N.S.) 17 (1987), no.2, 318–320.
- Nikolaos Kapouleas. Complete constant mean curvature surfaces in Euclidean three spaceAnn. of Math. (2) 131 (1990), no. 2, 239-330.
- Nikolaos Kapouleas. Compact constant mean curvature surfaces in Euclidean three-spaceJ. Differential Geom. 33 (1991), no. 3, 683-715.
- Nikolaos Kapouleas. Constant mean curvature surfaces constructed by fusing Wente toriInvent. Math. 119 (1995), no. 3, 443-518.
- Rafe Mazzeo, Daniel Pollack, Gluing and Moduli for Noncompact Geometric Problems. 1996 arXiv:dg-ga/9601008 https://arxiv.org/abs/dg-ga/9601008
- Karsten Grosse-Brauckmann, Robert B. Kusner, John M. Sullivan. Coplanar constant mean curvature surfaces. Comm. Anal. Geom. 15:5 (2008) pp. 985–1023. ArXiv math.DG/0509210. https://arxiv.org/abs/math.DG/0509210
- https://www.ams.org/notices/202205/rnoti-p762.pdf
- I. Sterling and H. C. Wente, Existence and classification of constant mean curvature multibubbletons of finite and infinite type, Indiana Univ. Math. J. 42 (1993), no. 4, 1239–1266.
- Meeks W. H., The topology and geometry of embedded surfaces of constant mean curvature, J. Diff. Geom. 27 (1988) 539–552.
- Korevaar N., Kusner R., Solomon B., The structure of complete embedded surfaces with constant mean curvature, J. Diff. Geom. 30 (1989) 465–503.
- [John M. Sullivan (mathematician)|John M. Sullivan]
- Shoichi Fujimori, Shimpei Kobayashi and Wayne Rossman, Loop Group Methods for Constant Mean Curvature Surfaces. Rokko Lectures in Mathematics 2005
- K. Kenmotsu, Weierstrass Formula for Surfaces of Prescribed Mean Curvature, Math. Ann., 245 (1979), 89–99
- Lawson H.B., “Complete minimal surfaces in S3”, Annals of Mathematics 92 (1970) 335–374.
- Karsten Grosse-Brauckmann, Robert B Kusner, John M Sullivan. Triunduloids: Embedded constant mean curvature surfaces with three ends and genus zero. J. Reine Angew. Math., 564, pp. 35–61 2001 arXiv:math/0102183v2 https://arxiv.org/abs/math/0102183v2
- Hitchin. Nigel. Harmonic maps from a 2-torus to the 3-sphere. Journal of Differential Geometry. 1990. 31. 3. 627–710. 10.4310/jdg/1214444631. free.
- Pinkall. U.. Sterling. I.. On the classification of constant mean curvature tori. Annals of Mathematics. 1989 . Second. 130. 2. 407–451. 1971425. 10.2307/1971425.
- Bobenko. A. I.. Surfaces of constant mean curvature and integrable equations. Russian Math. Surveys. 1991. 46. 4. 1–45. 10.1070/RM1991v046n04ABEH002826. 250883973 .
- Smith, J. 2003. Three Applications of Optimization in Computer Graphics. PhD thesis, Robotics Institute, Carnegie Mellon University, Pittsburgh, PA http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1682
- Hao Pan, Yi-King Choi, Yang Liu, Wenchao Hu, Qiang Du, Konrad Polthier, Caiming Zhang, Wenping Wang, Robust modeling of constant mean curvature surfaces. ACM Transactions on Graphics – SIGGRAPH 2012 Conference Proceedings. Volume 31 Issue 4, July 2012 Article No. 85
- E.J. Lobaton, T.R. Salamon. Computation of constant mean curvature surfaces: Application to the gas–liquid interface of a pressurized fluid on a superhydrophobic surface. Journal of Colloid and Interface Science. Volume 314, Issue 1, 1 October 2007, Pages 184–198
- D. M. Anderson, H. T. Davis, L. E. Scriven, J. C. C. Nitsche, Periodic Surfaces of Prescribed Mean Curvature in Advances in Chemical Physics vol 77, eds. I. Prigogine and S. A. Rice, John Wiley & Sons, 2007, p. 337–396
- Meinhard Wohlgemuth. Nataliya Yufa. James Hoffman. Edwin L. Thomas. Triply Periodic Bicontinuous Cubic Microdomain Morphologies by Symmetries. Macromolecules. 2001. 34. 17. 6083–6089. 10.1021/ma0019499. 2001MaMol..34.6083W. usurped. https://web.archive.org/web/20150623013609/https://secure.msri.org/about/sgp/jim/papers/morphbysymmetry/text/levelset.pdf. 2015-06-23.
- Samuel P. Gido, Dwight W. Schwark, Edwin L. Thomas, Maria do Carmo Goncalves, Observation of a non-constant mean curvature interface in an ABC triblock copolymer, Macromolecules, 1993, 26 (10), pp 2636–2640
- Helmut Pottmann, Yang Liu, Johannes Wallner, Alexander Bobenko, Wenping Wang. Geometry of Multi-layer Freeform Structures for Architecture. ACM Transactions on Graphics – Proceedings of ACM SIGGRAPH 2007 Volume 26 Issue 3, July 2007 Article No. 65 https://wayback.archive-it.org/all/20120124152810/http://dmg.tuwien.ac.at/pottmann/2007/plwbw_freeform_07/paper_docs/freeform.pdf