In differential geometry, the two principal curvatures at a given point of a surface are the maximum and minimum values of the curvature as expressed by the eigenvalues of the shape operator at that point. They measure how the surface bends by different amounts in different directions at that point.
At each point p of a differentiable surface in 3-dimensional Euclidean space one may choose a unit normal vector . A normal plane at p is one that contains the normal vector, and will therefore also contain a unique direction tangent to the surface and cut the surface in a plane curve, called normal section. This curve will in general have different curvatures for different normal planes at p. The principal curvatures at p, denoted k1 and k2, are the maximum and minimum values of this curvature.
Here the curvature of a curve is by definition the reciprocal of the radius of the osculating circle. The curvature is taken to be positive if the curve turns in the same direction as the surface's chosen normal, and otherwise negative. The directions in the normal plane where the curvature takes its maximum and minimum values are always perpendicular, if k1 does not equal k2, a result of Euler (1760), and are called principal directions. From a modern perspective, this theorem follows from the spectral theorem because these directions are as the principal axes of a symmetric tensor —the second fundamental form. A systematic analysis of the principal curvatures and principal directions was undertaken by Gaston Darboux, using Darboux frames.
The product k1k2 of the two principal curvatures is the Gaussian curvature, K, and the average (k1 + k2)/2 is the mean curvature, H.
If at least one of the principal curvatures is zero at every point, then the Gaussian curvature will be 0 and the surface is a developable surface. For a minimal surface, the mean curvature is zero at every point.
Let M be a surface in Euclidean space with second fundamental form . Fix a point p ∈ M, and an orthonormal basis X1, X2 of tangent vectors at p. Then the principal curvatures are the eigenvalues of the symmetric matrix
If X1 and X2 are selected so that the matrix is a diagonal matrix, then they are called the principal directions. If the surface is oriented, then one often requires that the pair (X1, X2) be positively oriented with respect to the given orientation.
Without reference to a particular orthonormal basis, the principal curvatures are the eigenvalues of the shape operator, and the principal directions are its eigenvectors.
For hypersurfaces in higher-dimensional Euclidean spaces, the principal curvatures may be defined in a directly analogous fashion. The principal curvatures are the eigenvalues of the matrix of the second fundamental form in an orthonormal basis of the tangent space. The principal directions are the corresponding eigenvectors.
Similarly, if M is a hypersurface in a Riemannian manifold N, then the principal curvatures are the eigenvalues of its second-fundamental form. If k1, ..., kn are the n principal curvatures at a point p ∈ M and X1, ..., Xn are corresponding orthonormal eigenvectors (principal directions), then the sectional curvature of M at p is given by
for all with .
| k1 | ||||
|---|---|---|---|---|
| < 0 | = 0 | > 0 | ||
| k2 | < 0 | Concave ellipsoid | Concave cylinder | Hyperboloid surface |
| = 0 | Concave cylinder | Plane | Convex cylinder | |
| > 0 | Hyperboloid surface | Convex cylinder | Convex ellipsoid | |
The lines of curvature or curvature lines are curves which are always tangent to a principal direction (they are integral curves for the principal direction fields). There will be two lines of curvature through each non-umbilic point and the lines will cross at right angles.
In the vicinity of an umbilic the lines of curvature typically form one of three configurations star, lemon and monstar (derived from lemon-star). [2] These points are also called Darbouxian Umbilics (D1, D2, D3) in honor of Gaston Darboux, the first to make a systematic study in Vol. 4, p 455, of his Leçons (1896).
In these figures, the red curves are the lines of curvature for one family of principal directions, and the blue curves for the other.
When a line of curvature has a local extremum of the same principal curvature then the curve has a ridge point . These ridge points form curves on the surface called ridges. The ridge curves pass through the umbilics. For the star pattern either 3 or 1 ridge line pass through the umbilic, for the monstar and lemon only one ridge passes through. [3]
Principal curvature directions along with the surface normal, define a 3D orientation frame at a surface point. For example, in case of a cylindrical surface, by physically touching or visually observing, we know that along one specific direction the surface is flat (parallel to the axis of the cylinder) and hence take note of the orientation of the surface. The implication of such an orientation frame at each surface point means any rotation of the surfaces over time can be determined simply by considering the change in the corresponding orientation frames. This has resulted in single surface point motion estimation and segmentation algorithms in computer vision. [4]
Differential geometry is a mathematical discipline that studies the geometry of smooth shapes and smooth spaces, otherwise known as smooth manifolds. It uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra. The field has its origins in the study of spherical geometry as far back as antiquity. It also relates to astronomy, the geodesy of the Earth, and later the study of hyperbolic geometry by Lobachevsky. The simplest examples of smooth spaces are the plane and space curves and surfaces in the three-dimensional Euclidean space, and the study of these shapes formed the basis for development of modern differential geometry during the 18th and 19th centuries.
A sphere is a geometrical object that is a three-dimensional analogue to a two-dimensional circle. Formally, a sphere is the set of points that are all at the same distance r from a given point in three-dimensional space. That given point is the centre of the sphere, and r is the sphere's radius. The earliest known mentions of spheres appear in the work of the ancient Greek mathematicians.
In mathematics, curvature is any of several strongly related concepts in geometry. Intuitively, the curvature is the amount by which a curve deviates from being a straight line, or a surface deviates from being a plane.
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:
In mathematics, a moving frame is a flexible generalization of the notion of an ordered basis of a vector space often used to study the extrinsic differential geometry of smooth manifolds embedded in a homogeneous space.
In Riemannian geometry, the geodesic curvature of a curve measures how far the curve is from being a geodesic. For example, for 1D curves on a 2D surface embedded in 3D space, it is the curvature of the curve projected onto the surface's tangent plane. More generally, in a given manifold , the geodesic curvature is just the usual curvature of . However, when the curve is restricted to lie on a submanifold of , geodesic curvature refers to the curvature of in and it is different in general from the curvature of in the ambient manifold . The (ambient) curvature of depends on two factors: the curvature of the submanifold in the direction of , which depends only on the direction of the curve, and the curvature of seen in , which is a second order quantity. The relation between these is . In particular geodesics on have zero geodesic curvature, so that , which explains why they appear to be curved in ambient space whenever the submanifold is.
Differential geometry of curves is the branch of geometry that deals with smooth curves in the plane and the Euclidean space by methods of differential and integral calculus.
In mathematics, a saddle point or minimax point is a point on the surface of the graph of a function where the slopes (derivatives) in orthogonal directions are all zero, but which is not a local extremum of the function. An example of a saddle point is when there is a critical point with a relative minimum along one axial direction and at a relative maximum along the crossing axis. However, a saddle point need not be in this form. For example, the function has a critical point at that is a saddle point since it is neither a relative maximum nor relative minimum, but it does not have a relative maximum or relative minimum in the -direction.
In differential geometry, the Frenet–Serret formulas describe the kinematic properties of a particle moving along a differentiable curve in three-dimensional Euclidean space , or the geometric properties of the curve itself irrespective of any motion. More specifically, the formulas describe the derivatives of the so-called tangent, normal, and binormal unit vectors in terms of each other. The formulas are named after the two French mathematicians who independently discovered them: Jean Frédéric Frenet, in his thesis of 1847, and Joseph Alfred Serret, in 1851. Vector notation and linear algebra currently used to write these formulas were not yet available at the time of their discovery.
A parallel of a curve is the envelope of a family of congruent circles centered on the curve. It generalises the concept of parallel (straight) lines. It can also be defined as a curve whose points are at a constant normal distance from a given curve. These two definitions are not entirely equivalent as the latter assumes smoothness, whereas the former does not.
In the differential geometry of surfaces, an asymptotic curve is a curve always tangent to an asymptotic direction of the surface. It is sometimes called an asymptotic line, although it need not be a line.
A parametric surface is a surface in the Euclidean space which is defined by a parametric equation with two parameters . Parametric representation is a very general way to specify a surface, as well as implicit representation. Surfaces that occur in two of the main theorems of vector calculus, Stokes' theorem and the divergence theorem, are frequently given in a parametric form. The curvature and arc length of curves on the surface, surface area, differential geometric invariants such as the first and second fundamental forms, Gaussian, mean, and principal curvatures can all be computed from a given parametrization.
In the differential geometry of surfaces in three dimensions, umbilics or umbilical points are points on a surface that are locally spherical. At such points the normal curvatures in all directions are equal, hence, both principal curvatures are equal, and every tangent vector is a principal direction. The name "umbilic" comes from the Latin umbilicus (navel).
For a surface in three dimension the focal surface, surface of centers or evolute is formed by taking the centers of the curvature spheres, which are the tangential spheres whose radii are the reciprocals of one of the principal curvatures at the point of tangency. Equivalently it is the surface formed by the centers of the circles which osculate the curvature lines.
In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non-umbilic point of a surface embedded in Euclidean space. It is named after French mathematician Jean Gaston Darboux.
Affine differential geometry is a type of differential geometry which studies invariants of volume-preserving affine transformations. The name affine differential geometry follows from Klein's Erlangen program. The basic difference between affine and Riemannian differential geometry is that affine differential geometry studies manifolds equipped with a volume form rather than a metric.
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 the mathematical field of differential geometry, Euler's theorem is a result on the curvature of curves on a surface. The theorem establishes the existence of principal curvatures and associated principal directions which give the directions in which the surface curves the most and the least. The theorem is named for Leonhard Euler who proved the theorem in.
In mathematics, the Riemannian connection on a surface or Riemannian 2-manifold refers to several intrinsic geometric structures discovered by Tullio Levi-Civita, Élie Cartan and Hermann Weyl in the early part of the twentieth century: parallel transport, covariant derivative and connection form. These concepts were put in their current form with principal bundles only in the 1950s. The classical nineteenth century approach to the differential geometry of surfaces, due in large part to Carl Friedrich Gauss, has been reworked in this modern framework, which provides the natural setting for the classical theory of the moving frame as well as the Riemannian geometry of higher-dimensional Riemannian manifolds. This account is intended as an introduction to the theory of connections.
In mathematics, and especially affine differential geometry, the affine focal set of a smooth submanifold M embedded in a smooth manifold N is the caustic generated by the affine normal lines. It can be realised as the bifurcation set of a certain family of functions. The bifurcation set is the set of parameter values of the family which yield functions with degenerate singularities. This is not the same as the bifurcation diagram in dynamical systems.
{{cite journal}}: Cite journal requires |journal= (help)