Gaussian curvature
In differential geometry, the Gaussian curvature or Gauss curvature Κ of a smooth surface in three-dimensional space at a point is the product of the principal curvatures, κ1 and κ2, at the given point:
Gaussian curvature is an intrinsic measure of
Gaussian curvature is named after
Informal definition
At any point on a surface, we can find a
The sign of the Gaussian curvature can be used to characterise the surface.
- If both principal curvatures are of the same sign: κ1κ2 > 0, then the Gaussian curvature is positive and the surface is said to have an elliptic point. At such points, the surface will be dome like, locally lying on one side of its tangent plane. All sectional curvatures will have the same sign.
- If the principal curvatures have different signs: κ1κ2 < 0, then the Gaussian curvature is negative and the surface is said to have a hyperbolic or saddle point. At such points, the surface will be saddle shaped. Because one principal curvature is negative, one is positive, and the normal curvature varies continuously if you rotate a plane orthogonal to the surface around the normal to the surface in two directions, the normal curvatures will be zero giving the asymptotic curves for that point.
- If one of the principal curvatures is zero: κ1κ2 = 0, the Gaussian curvature is zero and the surface is said to have a parabolic point.
Most surfaces will contain regions of positive Gaussian curvature (elliptical points) and regions of negative Gaussian curvature separated by a curve of points with zero Gaussian curvature called a parabolic line.
Relation to geometries
When a surface has a constant zero Gaussian curvature, then it is a developable surface and the geometry of the surface is Euclidean geometry.
When a surface has a constant positive Gaussian curvature, then the geometry of the surface is spherical geometry. Spheres and patches of spheres have this geometry, but there exist other examples as well, such as the lemon / American football.
When a surface has a constant negative Gaussian curvature, then it is a
Relation to principal curvatures
The two principal curvatures at a given point of a
Alternative definitions
It is also given by
At a point p on a regular surface in R3, the Gaussian curvature is also given by
A useful formula for the Gaussian curvature is
Total curvature
The
Important theorems
Theorema egregium
Gauss's Theorema egregium (Latin: "remarkable theorem") states that Gaussian curvature of a surface can be determined from the measurements of length on the surface itself. In fact, it can be found given the full knowledge of the
In contemporary
The Gaussian curvature of an embedded smooth surface in R3 is invariant under the local isometries.
For example, the Gaussian curvature of a
Gauss–Bonnet theorem
The Gauss–Bonnet theorem relates the total curvature of a surface to its Euler characteristic and provides an important link between local geometric properties and global topological properties.
Surfaces of constant curvature
- closed surfacewith constant positive curvature is necessarily rigid.
- Liebmann's theorem (1900) answered Minding's question. The only regular (of class C2) closed surfaces in R3 with constant positive Gaussian curvature are spheres.[2] If a sphere is deformed, it does not remain a sphere, proving that a sphere is rigid. A standard proof uses Hilbert's lemma that non-umbilical points of extreme principal curvature have non-positive Gaussian curvature.[3]
- Hilbert's theorem (1901) states that there exists no complete analytic (class Cω) regular surface in R3 of constant negative Gaussian curvature. In fact, the conclusion also holds for surfaces of class C2 immersed in R3, but breaks down for C1-surfaces. The pseudosphere has constant negative Gaussian curvature except at its boundary circle, where the gaussian curvature is not defined.
There are other surfaces which have constant positive Gaussian curvature. Manfredo do Carmo considers surfaces of revolution where , and (an incomplete Elliptic integral of the second kind). These surfaces all have constant Gaussian curvature of 1, but, for either have a boundary or a singular point. do Carmo also gives three different examples of surface with constant negative Gaussian curvature, one of which is pseudosphere.[4]
There are many other possible bounded surfaces with constant Gaussian curvature. Whilst the sphere is rigid and can not be bent using an isometry, if a small region removed, or even a cut along a small segment, then the resulting surface can be bent. Such bending preserves Gaussian curvature so any such bending of a sphere with a region removed will also have constant Gaussian curvature.[5]
Alternative formulas
- Gaussian curvature of a surface in R3 can be expressed as the ratio of the determinants of the second and first fundamental forms II and I:
- The Brioschi formula (after Francesco Brioschi) gives Gaussian curvature solely in terms of the first fundamental form:
- For an orthogonal parametrization (F = 0), Gaussian curvature is:
- For a surface described as graph of a function z = F(x,y), Gaussian curvature is:[6]
- For an implicitly defined surface, F(x,y,z) = 0, the Gaussian curvature can be expressed in terms of the gradient ∇F and Hessian matrix H(F):[7][8]
- For a surface with metric conformal to the Euclidean one, so F = 0 and E = G = eσ, the Gauss curvature is given by (Δ being the usual Laplace operator):
- Gaussian curvature is the limiting difference between the circumference of a geodesic circle and a circle in the plane:[9]
- Gaussian curvature is the limiting difference between the geodesic disk and a disk in the plane:[9]
- Gaussian curvature may be expressed with the Christoffel symbols:[10]
See also
- Earth's Gaussian radius of curvature
- Sectional curvature
- Mean curvature
- Gauss map
- Riemann curvature tensor
- Principal curvature
References
- ISBN 0-521-39063-X.
- ISBN 0-8218-3988-8.
- ISBN 9780849371646..
- ISBN 978-0-486-80699-0– via zbMATH.
- ISBN 0-8284-1087-9.
- ^ "General investigations of curved surfaces of 1827 and 1825". [Princeton] The Princeton university library. 1902.
- .
- ^ Spivak, M. (1975). A Comprehensive Introduction to Differential Geometry. Vol. 3. Boston: Publish or Perish.
- ^ Bertrand–Diquet–Puiseux theorem
- ISBN 0-486-65609-8.
Books
- Grinfeld, P. (2014). Introduction to Tensor Analysis and the Calculus of Moving Surfaces. Springer. ISBN 978-1-4614-7866-9.
- Rovelli, Carlo (2021). General Relativity the Essentials. Cambridge University Press. ISBN 978-1-009-01369-7.
External links
- "Gaussian curvature", Encyclopedia of Mathematics, EMS Press, 2001 [1994]