Gaussian curvature


Gaussian curvature

In differential geometry, the Gaussian curvature or Gauss curvature of a point on a surface is the product of the principal curvatures, "κ"1 and "κ"2, of the given point. It is an "intrinsic" measure of curvature, i.e., its value depends only on how distances are measured on the surface, not on the way it is embedded in space. This result is the content of Gauss's Theorema egregium.

Symbolically, the Gaussian curvature "Κ" is defined as: Kappa = kappa_1 kappa_2 ,!.

It is also given by: Kappa = frac{langle ( abla_2 abla_1 - abla_1 abla_2)mathbf{e}_1, mathbf{e}_2 angle}{det g},where abla_i = abla_mathbf e}_i} is the covariant derivative and "g" is the metric tensor.

At a point p on a regular surface in R"3", the Gaussian curvature is also given by: K(mathbf{p}) = det(S(mathbf{p})),where "S" is the shape operator.

A useful formula for the Gaussian curvature is Liouville's equation in terms of the Laplacian in isothermal coordinates.

Informal definition

We represent the surface by the implicit function theorem as the graph of a function f of 2 variables, and assume the point p is a critical point, i.e. the gradient of f vanishes (this can always be attained by a suitable rigid motion). Then the Gaussian curvature of the surface at p is the determinant of the Hessian matrix of f, i.e. the 2 by 2 matrix of second derivatives. This definition allows one immediately to grasp the distinction between cup/cap versus saddle point behavior in terms of second year calculus.

Total curvature

The surface integral of the Gaussian curvature over some region of a surface is called the total curvature. The total curvature of a geodesic triangle equals the deviation of the sum of its angles from pi. The sum of the angles of a triangle on a surface of positive curvature will exceed pi, while the sum of the angles of a triangle on a surface of negative curvature will be less than pi. On a surface of zero curvature, such as the Euclidean plane, the angles will sum to precisely pi.

:sum_{i=1}^3 heta_i = pi + iint_T K ,dA.

A more general result is the Gauss-Bonnet Theorem.

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 first fundamental form and expressed via the first fundamental form and its partial derivatives of first and second order. Equivalently, the determinant of the second fundamental form of a surface in R3 can be so expressed. The "remarkable", and surprising, feature of this theorem is that although the "definition" of the Gaussian curvature of a surface "S" in R3 certainly depends on the way in which the surface is located in space, the end result, the Gaussian curvature itself, is determined by the inner metric of the surface without any further reference to the ambient space: it is an intrinsic invariant. In particular, the Gaussian curvature is invariant under isometric deformations of the surface.

In contemporary differential geometry, a "surface", viewed abstractly, is a two-dimensional differentiable manifold. To connect this point of view with the classical theory of surfaces, such an abstract surface is embedded into R3 and endowed with the Riemannian metric given by the first fundamental form. Suppose that the image of the embedding is a surface "S" in R3. A "local isometry" is a diffeomorphism "f": "U" → "V" between open regions of R3 whose restriction to "S" ∩ "U" is an isometry onto its image. Theorema Egregium is then stated as follows:

: The Gaussian curvature of an embedded smooth surface in R3 is invariant under the local isometries.

For example, the Gaussian curvature of a cylindrical tube is zero, the same as for the "unrolled" tube (which is flat). [Porteous, I. R., "Geometric Differentiation". Cambridge University Press, 1994. ISBN 0-521-39063-X] On the other hand, since a sphere of radius "R" has constant positive curvature "R"−2 and a flat plane has constant curvature 0, these two surfaces are not isometric, even locally. Thus any planar representation of even a part of a sphere must distort the distances. Therefore, no cartographic projection is perfect.

Gauss–Bonnet theorem

The Gauss-Bonnet theorem links 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

*Minding's theorem (1839) states that all surfaces with the same constant curvature "K" are locally isometric. A consequence of Minding's theorem is that any surface whose curvature is identically zero can be constructed by bending some plane region. Such surfaces are called developable surfaces. Minding also raised the question whether a closed surface with constant positive curvature is necessarily rigid.

*Liebmann's theorem (1900) answered Minding's question. The only regular (of class "C"2) closed surfaces in R3 with constant positive Gaussian curvature are spheres. [cite book | last = Kühnel | first = Wolfgang | title = Differential Geometry: Curves - Surfaces - Manifolds | publisher = American Mathematical Society | date = 2006 | id = ISBN 0821839888]

* 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 "C"2 immersed in R3, but breaks down for "C"1-surfaces. The pseudosphere has constant negative Gaussian curvature except at its singular cusp. [ [http://eom.springer.de/h/h047410.htm "Hilbert theorem". Springer Online Reference Works.] ]

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:

:K = frac{det II}{det I} = frac{LN-M^2}{EG-F^2}.

*The Brioschi formula gives Gaussian curvature solely in terms of the first fundamental form:: K = left( egin{vmatrix} -frac{1}{2}E_{vv} + F_{uv} - frac{1}{2}G_{uu} & frac{1}{2}E_u & F_u-frac{1}{2}E_v\F_v-frac{1}{2}G_u & E & F\frac{1}{2}G_v & F & G end{vmatrix}-egin{vmatrix} 0 & frac{1}{2}E_v & frac{1}{2}G_u\frac{1}{2}E_v & E & F\frac{1}{2}G_u & F & G end{vmatrix} ight) / , (EG-F^2)^2

*For an orthogonal parametrization, Gaussian curvature is::K = -frac{1}{2sqrt{EGleft(frac{partial}{partial u}frac{G_u}{sqrt{EG + frac{partial}{partial v}frac{E_v}{sqrt{EG ight).

*Gaussian curvature is the limiting difference between the circumference of a geodesic circle and a circle in the plane::K = lim_{r arr 0} (2 pi r - mbox{C}(r)) cdot frac{3}{pi r^3}

*Gaussian curvature is the limiting difference between the area of a geodesic circle and a circle in the plane::K = lim_{r arr 0} (pi r^2 - mbox{A}(r)) cdot frac{12}{pi r^4}

*Gaussian curvature may be expressed with the Christoffel symbols: [cite book | last = Struik | first = Dirk| title = Lectures on Classical Differential Geometry | publisher = Courier DoverPublications | date = 1988 | id = ISBN 0486656098] :K = -frac{1}{E} left( frac{partial}{partial u}Gamma_{12}^2 - frac{partial}{partial v}Gamma_{11}^2 + Gamma_{12}^1Gamma_{11}^2 - Gamma_{11}^1Gamma_{12}^2 + Gamma_{12}^2Gamma_{12}^2 - Gamma_{11}^2Gamma_{22}^2 ight)

References

ee also

* sectional curvature
* Mean curvature
* Theorema egregium
* Gauss map


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • gaussian curvature — sēən noun or gauss curvature Usage: usually capitalized G Etymology: K. F. Gauss died 1855 + English ian : the reciprocal of the product of the two principal radii of curvature of a surface at any of its points …   Useful english dictionary

  • Curvature — In mathematics, curvature refers to any of a number of loosely related concepts in different areas of geometry. Intuitively, curvature is the amount by which a geometric object deviates from being flat, or straight in the case of a line, but this …   Wikipedia

  • Curvature of Riemannian manifolds — In mathematics, specifically differential geometry, the infinitesimal geometry of Riemannian manifolds with dimension at least 3 is too complicated to be described by a single number at a given point. Riemann introduced an abstract and rigorous… …   Wikipedia

  • Curvature form — In differential geometry, the curvature form describes curvature of a connection on a principal bundle. It can be considered as an alternative to or generalization of curvature tensor in Riemannian geometry. Contents 1 Definition 1.1 Curvature… …   Wikipedia

  • curvature — /kerr veuh cheuhr, choor /, n. 1. the act of curving or the state of being curved. 2. a curved condition, often abnormal: curvature of the spine. 3. the degree of curving of a line or surface. 4. Geom. a. (at a point on a curve) the derivative of …   Universalium

  • Gaussian beam — In optics, a Gaussian beam is a beam of electromagnetic radiation whose transverse electric field and intensity (irradiance) distributions are well approximated by Gaussian functions. Many lasers emit beams that approximate a Gaussian profile, in …   Wikipedia

  • Gaussian Formula — Derivation of Gaussian Formula = Carl Friedrich Gauss established a formula based on the relation between the object distance(u), image distance (v) and the focal length of a spherical mirror. That is,: frac {1}{u} + frac {1}{v} = frac {1}{f}Now… …   Wikipedia

  • Radius of curvature (applications) — The distance from the center of a sphere or ellipsoid to its surface is its radius. The equivalent surface radius that is described by radial distances at points along the body s surface is its radius of curvature (more formally, the radius of… …   Wikipedia

  • Principal curvature — Saddle surface with normal planes in directions of principal curvatures In differential geometry, the two principal curvatures at a given point of a surface are the eigenvalues of the shape operator at the point. They measure how the surface… …   Wikipedia

  • Scalar curvature — In Riemannian geometry, the scalar curvature (or Ricci scalar) is the simplest curvature invariant of a Riemannian manifold. To each point on a Riemannian manifold, it assigns a single real number determined by the intrinsic geometry of the… …   Wikipedia


We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.