| |
|
| Table of contents |
|
2 Curvature of surfaces in R3 3 See also: |
 |
For a plane curve C, the curvature at a given point P has magnitude equal to the reciprocal of the radius of an osculating circle (a circle that "kisses" or closely touches the curve at the given point), and is a vector pointing in the direction of that circle's center. The magnitude of curvature at points on physical curves can be measured in diopterss (alternative spelling: dioptre); a diopter is one per meter.
The smaller the radius r of the osculating circle, the larger the magnitude of the curvature (1/r) will be; so that where a curve is "nearly" straight, the curvature will be close to zero, and where the curve undergoes a tight turn, the curvature will be large in magnitude.
A straight line has everywhere curvature 0; a circle of radius r has everywhere curvature of magnitude 1/r.
For a plane curve given parametrically as
the curvature is
For a plane curve given implicitly as
the curvature is
Local expressions
where the dots denote differentiation respect to t.
that is, the divergence of the direction of the gradient of f.
This last formula also gives the mean curvature of an hypersurface in euclidean space.
For two-dimensional surfaces embedded in R3, there are two kinds of curvature: Gaussian curvature, and Mean curvature. To compute these at a given point of the surface, consider the intersection of the surface with a plane containing a fixed normal vector at the point. This intersection is a plane curve and has a curvature; if we vary the plane, this curvature will change, and there are two extremal values - the maximal and the minimal curvature, called the principle curvatures, k1 and k2.
Here we adopt the convention that a curvature is taken to be positive if the curve turnes in the same direction as the surface's chosen normal, otherwise negative.
The Gaussian curvature is equal to the product k1k2. It has the dimension of 1/length2 and is positive for spheres, negative for one sheet hyperboloids and zero for planes. It determines whether a surface is locally convex (when it is positive) or locally saddle (when it is negative).
The above definition of Gaussian curvature is extrinsic in that it uses the surface's embedding in R3, normal vectors, external planes etc. Gaussian curvature is however in fact an intrinsic property of the surface, meaning it does not depend on the particular embedding of the surface; intuitively, this means that ants living on the surface could determine the Gaussian curvature. Formally, Gaussian curvature only depends on the Riemannian metric of the surface. This is Gauss' celebrated Theorema Egregium, which he found while concerned with geographic surveys and mapmaking.
An intrinsic definition of the Gaussian curvature at a point P is the following: imagine an ant which is tied to P with a short thread of length r. She runs around P while the thread is completely stretched and measures the length C(r) of one complete trip around P. If the surface were flat, she would find C(r) = 2πr. On curved surfaces, the formula for C(r) will be different, and the Gaussian curvature K at the point P can be computed as
Curvature of surfaces in R3
The integral of the Gaussian curvature over the whole surface is closely related to the surface's Euler characteristic; see the Gauss-Bonnet theorem.
The Mean curvature is equal to the sum of the principle curvatures k1+k2. It has the dimension of 1/length. Mean curvature is closely related to the first variation of surface area, in particular a minimal surface like a soap film has mean curvature zero and soap bubble has constant mean curvature. Unlike Gauss curvature, the mean curvature depends on the embedding, for instance, a cylinder and a plane are locally isometric but the mean curvature of a plane is zero while that of a cylinder is nonzero.
See also: