Enneper surface

Last updated March 11, 2024

In differential geometry and algebraic geometry, the Enneper surface is a self-intersecting surface that can be described parametrically by:

{\begin{aligned}x&={\tfrac {1}{3}}u\left(1-{\tfrac {1}{3}}u^{2}+v^{2}\right),\\y&={\tfrac {1}{3}}v\left(1-{\tfrac {1}{3}}v^{2}+u^{2}\right),\\z&={\tfrac {1}{3}}\left(u^{2}-v^{2}\right).\end{aligned}}

It was introduced by Alfred Enneper in 1864 in connection with minimal surface theory.^[1]^[2]^[3]^[4]

The Weierstrass–Enneper parameterization is very simple, $f(z)=1,g(z)=z$ , and the real parametric form can easily be calculated from it. The surface is conjugate to itself.

Implicitization methods of algebraic geometry can be used to find out that the points in the Enneper surface given above satisfy the degree-9 polynomial equation

{\begin{aligned}&64z^{9}-128z^{7}+64z^{5}-702x^{2}y^{2}z^{3}-18x^{2}y^{2}z+144(y^{2}z^{6}-x^{2}z^{6})\\&{}+162(y^{4}z^{2}-x^{4}z^{2})+27(y^{6}-x^{6})+9(x^{4}z+y^{4}z)+48(x^{2}z^{3}+y^{2}z^{3})\\&{}-432(x^{2}z^{5}+y^{2}z^{5})+81(x^{4}y^{2}-x^{2}y^{4})+240(y^{2}z^{4}-x^{2}z^{4})-135(x^{4}z^{3}+y^{4}z^{3})=0.\end{aligned}}

Dually, the tangent plane at the point with given parameters is $a+bx+cy+dz=0,\$ where

{\begin{aligned}a&=-\left(u^{2}-v^{2}\right)\left(1+{\tfrac {1}{3}}u^{2}+{\tfrac {1}{3}}v^{2}\right),\\b&=6u,\\c&=6v,\\d&=-3\left(1-u^{2}-v^{2}\right).\end{aligned}}

Its coefficients satisfy the implicit degree-6 polynomial equation

{\begin{aligned}&162a^{2}b^{2}c^{2}+6b^{2}c^{2}d^{2}-4(b^{6}+c^{6})+54(ab^{4}d-ac^{4}d)+81(a^{2}b^{4}+a^{2}c^{4})\\&{}+4(b^{4}c^{2}+b^{2}c^{4})-3(b^{4}d^{2}+c^{4}d^{2})+36(ab^{2}d^{3}-ac^{2}d^{3})=0.\end{aligned}}

The Jacobian, Gaussian curvature and mean curvature are

{\begin{aligned}J&={\frac {1}{81}}(1+u^{2}+v^{2})^{4},\\K&=-{\frac {4}{9}}{\frac {1}{J}},\\H&=0.\end{aligned}}

The total curvature is $-4\pi$ . Osserman proved that a complete minimal surface in $\mathbb {R} ^{3}$ with total curvature $-4\pi$ is either the catenoid or the Enneper surface.^[5]

Another property is that all bicubical minimal Bézier surfaces are, up to an affine transformation, pieces of the surface.^[6]

It can be generalized to higher order rotational symmetries by using the Weierstrass–Enneper parameterization $f(z)=1,g(z)=z^{k}$ for integer k>1.^[3] It can also be generalized to higher dimensions; Enneper-like surfaces are known to exist in $\mathbb {R} ^{n}$ for n up to 7.^[7]

See also ^[8]^[9] for higher order algebraic Enneper surfaces.

Related Research Articles

<span class="mw-page-title-main">Ellipse</span> Plane curve: conic section

In mathematics, an ellipse is a plane curve surrounding two focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special type of ellipse in which the two focal points are the same. The elongation of an ellipse is measured by its eccentricity $, a number ranging from to .$

<span class="mw-page-title-main">Imaginary unit</span> Principal square root of −1

The imaginary unit or unit imaginary number is a solution to the quadratic equation $x 2 + 1 = 0.$ Although there is no real number with this property, $i$ can be used to extend the real numbers to what are called complex numbers, using addition and multiplication. A simple example of the use of $i$ in a complex number is $2 + 3 i .$

In mathematics, the Lambert $W$ function, also called the omega function or product logarithm, is a multivalued function, namely the branches of the converse relation of the function $f (w) = we w$ , where $w$ is any complex number and $e w$ is the exponential function. The function is named after Johann Lambert, who considered a related problem in 1758. Building on Lambert's work, Leonhard Euler described the $W$ function per se in 1783.

In group theory, the quaternion group Q₈ (sometimes just denoted by Q) is a non-abelian group of order eight, isomorphic to the eight-element subset $of the quaternions under multiplication. It is given by the group presentation$

In mathematics, the special unitary group of degree $n$ , denoted $SU(n)$ , is the Lie group of $n \times n$ unitary matrices with determinant 1.

In geometry, Heron's formula gives the area of a triangle in terms of the three side lengths Letting be the semiperimeter of the triangle, $the area is$

<span class="mw-page-title-main">Minimal surface</span> Surface that locally minimizes its area

In mathematics, a minimal surface is a surface that locally minimizes its area. This is equivalent to having zero mean curvature.

In elementary algebra, completing the square is a technique for converting a quadratic polynomial of the form

In differential geometry, the first fundamental form is the inner product on the tangent space of a surface in three-dimensional Euclidean space which is induced canonically from the dot product of $R 3$ . It permits the calculation of curvature and metric properties of a surface such as length and area in a manner consistent with the ambient space. The first fundamental form is denoted by the Roman numeral $I$ ,

In mathematics, the mean curvature $of a surface is an extrinsic measure of curvature that comes from differential geometry and that locally describes the curvature of an embedded surface in some ambient space such as Euclidean space.$

In algebra, a split complex number is based on a hyperbolic unit $j$ satisfying $A split-complex number has two real number components x and y, and is written The conjugate of z is Since the product of a number z with its conjugate is an isotropic quadratic form.$

In geometry, the circumscribed circle or circumcircle of a triangle is a circle that passes through all three vertices. The center of this circle is called the circumcenter of the triangle, and its radius is called the circumradius. The circumcenter is the point of intersection between the three perpendicular bisectors of the triangle's sides, and is a triangle center.

In mathematics, the Fubini–Study metric is a Kähler metric on a complex projective space CPⁿ endowed with a Hermitian form. This metric was originally described in 1904 and 1905 by Guido Fubini and Eduard Study.

<span class="mw-page-title-main">Genus of a multiplicative sequence</span> A ring homomorphism from the cobordism ring of manifolds to another ring

In mathematics, a genus of a multiplicative sequence is a ring homomorphism from the ring of smooth compact manifolds up to the equivalence of bounding a smooth manifold with boundary to another ring, usually the rational numbers, having the property that they are constructed from a sequence of polynomials in characteristic classes that arise as coefficients in formal power series with good multiplicative properties.

In the 1760s, Johann Heinrich Lambert was the first to prove that the number $π$ is irrational, meaning it cannot be expressed as a fraction $, where and are both integers. In the 19th century, Charles Hermite found a proof that requires no prerequisite knowledge beyond basic calculus. Three simplifications of Hermite's proof are due to Mary Cartwright, Ivan Niven, and Nicolas Bourbaki. Another proof, which is a simplification of Lambert's proof, is due to Miklós Laczkovich. Many of these are proofs by contradiction.$

In mathematics, the differential geometry of surfaces deals with the differential geometry of smooth surfaces with various additional structures, most often, a Riemannian metric. Surfaces have been extensively studied from various perspectives: extrinsically, relating to their embedding in Euclidean space and intrinsically, reflecting their properties determined solely by the distance within the surface as measured along curves on the surface. One of the fundamental concepts investigated is the Gaussian curvature, first studied in depth by Carl Friedrich Gauss, who showed that curvature was an intrinsic property of a surface, independent of its isometric embedding in Euclidean space.

In fluid dynamics, a cnoidal wave is a nonlinear and exact periodic wave solution of the Korteweg–de Vries equation. These solutions are in terms of the Jacobi elliptic function cn, which is why they are coined cnoidal waves. They are used to describe surface gravity waves of fairly long wavelength, as compared to the water depth.

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane : the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value $for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.$

In mathematics, Bour's minimal surface is a two-dimensional minimal surface, embedded with self-crossings into three-dimensional Euclidean space. It is named after Edmond Bour, whose work on minimal surfaces won him the 1861 mathematics prize of the French Academy of Sciences.

In mathematics, the Dixon elliptic functions sm and cm are two elliptic functions that map from each regular hexagon in a hexagonal tiling to the whole complex plane. Because these functions satisfy the identity $, as real functions they parametrize the cubic Fermat curve, just as the trigonometric functions sine and cosine parametrize the unit circle .$

References

↑ J.C.C. Nitsche, "Vorlesungen über Minimalflächen", Springer (1975)
↑ Francisco J. López, Francisco Martín, Complete minimal surfaces in R3
1 2 Ulrich Dierkes, Stefan Hildebrandt, Friedrich Sauvigny (2010). Minimal Surfaces. Berlin Heidelberg: Springer. ISBN 978-3-642-11697-1.
↑ Weisstein, Eric W. "Enneper's Minimal Surface". MathWorld .
↑ R. Osserman, A survey of Minimal Surfaces. Vol. 1, Cambridge Univ. Press, New York (1989).
↑ Cosín, C., Monterde, Bézier surfaces of minimal area. In Computational Science — ICCS 2002, eds. J., Sloot, Peter, Hoekstra, Alfons, Tan, C., Dongarra, Jack. Lecture Notes in Computer Science 2330, Springer Berlin / Heidelberg, 2002. pp. 72-81 ISBN 978-3-540-43593-8
↑ Jaigyoung Choe, On the existence of higher dimensional Enneper's surface, Commentarii Mathematici Helvetici 1996, Volume 71, Issue 1, pp 556-569
↑ E. Güler, Family of Enneper minimal surfaces. Mathematics. 2018; 6(12):281. https://doi.org/10.3390/math6120281
↑ E. Güler, The algebraic surfaces of the Enneper family of maximal surfaces in three dimensional Minkowski space. Axioms. 2022; 11(1):4. https://doi.org/10.3390/axioms11010004

External links

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] J.C.C. Nitsche, "Vorlesungen über Minimalflächen", Springer (1975)

[2] Francisco J. López, Francisco Martín, Complete minimal surfaces in R3

[dierkes-3] 1 2 Ulrich Dierkes, Stefan Hildebrandt, Friedrich Sauvigny (2010). Minimal Surfaces. Berlin Heidelberg: Springer. ISBN 978-3-642-11697-1.

[4] Weisstein, Eric W. "Enneper's Minimal Surface". MathWorld .

[5] R. Osserman, A survey of Minimal Surfaces. Vol. 1, Cambridge Univ. Press, New York (1989).

[6] Cosín, C., Monterde, Bézier surfaces of minimal area. In Computational Science — ICCS 2002, eds. J., Sloot, Peter, Hoekstra, Alfons, Tan, C., Dongarra, Jack. Lecture Notes in Computer Science 2330, Springer Berlin / Heidelberg, 2002. pp. 72-81 ISBN 978-3-540-43593-8

[7] Jaigyoung Choe, On the existence of higher dimensional Enneper's surface, Commentarii Mathematici Helvetici 1996, Volume 71, Issue 1, pp 556-569

[8] E. Güler, Family of Enneper minimal surfaces. Mathematics. 2018; 6(12):281. https://doi.org/10.3390/math6120281

[9] E. Güler, The algebraic surfaces of the Enneper family of maximal surfaces in three dimensional Minkowski space. Axioms. 2022; 11(1):4. https://doi.org/10.3390/axioms11010004

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]