TOPICS
Search

Curvature


In general, there are two important types of curvature: extrinsic curvature and intrinsic curvature. The extrinsic curvature of curves in two- and three-space was the first type of curvature to be studied historically, culminating in the Frenet formulas, which describe a space curve entirely in terms of its "curvature," torsion, and the initial starting point and direction.

After the curvature of two- and three-dimensional curves was studied, attention turned to the curvature of surfaces in three-space. The main curvatures that emerged from this scrutiny are the mean curvature, Gaussian curvature, and the shape operator. Mean curvature was the most important for applications at the time and was the most studied, but Gauss was the first to recognize the importance of the Gaussian curvature.

Because Gaussian curvature is "intrinsic," it is detectable to two-dimensional "inhabitants" of the surface, whereas mean curvature and the shape operator are not detectable to someone who can't study the three-dimensional space surrounding the surface on which he resides. The importance of Gaussian curvature to an inhabitant is that it controls the surface area of spheres around the inhabitant.

Riemann and many others generalized the concept of curvature to sectional curvature, scalar curvature, the Riemann tensor, Ricci curvature tensor, and a host of other intrinsic and extrinsic curvatures. General curvatures no longer need to be numbers, and can take the form of a map, group, groupoid, tensor field, etc.

The simplest form of curvature and that usually first encountered in calculus is an extrinsic curvature. In two dimensions, let a plane curve be given by Cartesian parametric equations x=x(t) and y=y(t). Then the curvature kappa, sometimes also called the "first curvature" (Kreyszig 1991, p. 47), is defined by

kappa=(dphi)/(ds)
(1)
=((dphi)/(dt))/((ds)/(dt))
(2)
=((dphi)/(dt))/(sqrt(((dx)/(dt))^2+((dy)/(dt))^2))
(3)
=((dphi)/(dt))/(sqrt(x^('2)+y^('2))),
(4)

where phi is the tangential angle and s is the arc length. As can readily be seen from the definition, curvature therefore has units of inverse distance. The dphi/dt derivative in the above equation can be found using the identity

tanphi=(dy)/(dx)
(5)
=(dy/dt)/(dx/dt)
(6)
=(y^')/(x^'),
(7)

so

 d/(dt)(tanphi)=sec^2phi(dphi)/(dt)=(x^'y^('')-y^'x^(''))/(x^('2))
(8)

and

(dphi)/(dt)=1/(sec^2phi)d/(dt)(tanphi)
(9)
=1/(1+tan^2phi)(x^'y^('')-y^'x^(''))/(x^('2))
(10)
=1/(1+(y^('2))/(x^('2)))(x^'y^('')-y^'x^(''))/(x^('2))
(11)
=(x^'y^('')-y^'x^(''))/(x^('2)+y^('2)).
(12)

Combining equations (◇), 3), (10), and (12) then gives

 kappa=(x^'y^('')-y^'x^(''))/((x^('2)+y^('2))^(3/2)).
(13)

For a two-dimensional curve written in the form y=f(x), the equation of curvature becomes

 kappa=((d^2y)/(dx^2))/([1+((dy)/(dx))^2]^(3/2)).
(14)

If the two-dimensional curve is instead parameterized in polar coordinates, then

 kappa=(r^2+2r_theta^2-rr_(thetatheta))/((r^2+r_theta^2)^(3/2)),
(15)

where r_theta=partialr/partialtheta (Gray 1997, p. 89). In pedal coordinates, the curvature is given by

 kappa=1/r(dp)/(dr).
(16)

The curvature for a two-dimensional curve given implicitly by g(x,y)=0 is given by

 kappa=(g_(xx)g_y^2-2g_(xy)g_xg_y+g_(yy)g_x^2)/((g_x^2+g_y^2)^(3/2))
(17)

(Gray 1997).

Now consider a parameterized space curve r(t) in three dimensions for which the tangent vector T^^ is defined as

 T^^=((dr)/(dt))/(|(dr)/(dt)|)=((dr)/(dt))/((ds)/(dt)).
(18)

Therefore,

(dr)/(dt)=(ds)/(dt)T^^
(19)
(d^2r)/(dt^2)=(d^2s)/(dt^2)T^^+(ds)/(dt)(dT^^)/(dt)
(20)
=(d^2s)/(dt^2)T^^+kappaN^^((ds)/(dt))^2,
(21)

where N^^ is the normal vector. But

(dr)/(dt)x(d^2r)/(dt^2)=(ds)/(dt)(d^2s)/(dt^2)(T^^xT^^)+kappa((ds)/(dt))^3(T^^xN^^)
(22)
=kappa((ds)/(dt))^3(T^^xN^^),
(23)

so taking norms of both sides gives

 |(dr)/(dt)x(d^2r)/(dt^2)|=kappa((ds)/(dt))^3=kappa|(dr)/(dt)|^3.
(24)

Solving for kappa then gives

kappa=|(dT^^)/(ds)|
(25)
=(|(dr)/(dt)x(d^2r)/(dt^2)|)/(|(dr)/(dt)|^3)
(26)
=(|r^.xr^..|)/(|r^.|^3)
(27)

(Gray 1997, p. 192).

The curvature of a two-dimensional curve is related to the radius of curvature of the curve's osculating circle. Consider a circle specified parametrically by

 x=acost
(28)
 y=asint
(29)

which is tangent to the curve at a given point. The curvature is then

 kappa=(x^'y^('')-y^'x^(''))/((x^('2)+y^('2))^(3/2))=(a^2)/(a^3)=1/a,
(30)

or one over the radius of curvature. The curvature of a circle can also be repeated in vector notation. For the circle with 0<=t<2pi, the arc length is

s(t)=int_0^tsqrt(((dx)/(dt))^2+((dy)/(dt))^2)dt
(31)
=int_0^tsqrt(a^2cos^2t+a^2sin^2t)dt
(32)
=at,
(33)

so t=s/a and the equations of the circle can be rewritten as

 x=acos(s/a)
(34)
 y=asin(s/a).
(35)

The radius vector is then given by

 r(s)=acos(s/a)x^^+asin(s/a)y^^,
(36)

and the tangent vector is

T^^=(dr)/(ds)
(37)
=-sin(s/a)x^^+cos(s/a)y^^,
(38)

so the curvature is related to the radius of curvature a by

kappa=|(dT^^)/(ds)|
(39)
=|-1/acos(s/a)x^^-1/asin(s/a)y^^|
(40)
=sqrt((cos^2(s/a)+sin^2(s/a))/(a^2))
(41)
=1/a,
(42)

as expected.

Four very important derivative relations in differential geometry related to the Frenet formulas are

r^.=T
(43)
r^..=kappaN
(44)
r^...=kappa^.N+kappa(tauB-kappaT)
(45)
[r^.,r^..,r^...]=kappa^2tau,
(46)

where T is the tangent vector, N is the normal vector, B is the binormal vector, and tau is the torsion (Coxeter 1969, p. 322).

The curvature at a point on a surface takes on a variety of values as the plane through the normal varies. As kappa varies, it achieves a minimum and a maximum (which are in perpendicular directions) known as the principal curvatures. As shown in Coxeter (1969, pp. 352-353),

 kappa^2-sumb_i^ikappa+det(b_i^j)=0
(47)
 kappa^2-2Hkappa+K=0,
(48)

where K is the Gaussian curvature, H is the mean curvature, and det denotes the determinant.

The curvature kappa is sometimes called the first curvature and the torsion tau the second curvature. In addition, a third curvature (sometimes called total curvature)

 sqrt(ds_T^2+ds_B^2)
(49)

is also defined. A signed version of the curvature of a circle appearing in the Descartes circle theorem for the radius of the fourth of four mutually tangent circles is called the bend.


See also

Bend, Binormal Vector, Curvature Center, Extrinsic Curvature, Four-Vertex Theorem, Gaussian Curvature, Intrinsic Curvature, Lancret Equation, Line of Curvature, Mean Curvature, Multivariable Calculus, Normal Curvature, Normal Vector, Osculating Circle, Principal Curvatures, Radius of Curvature, Ricci Curvature Tensor, Riemann Tensor, Scalar Curvature, Sectional Curvature, Shape Operator, Special Affine Curvature, Soddy Circles, Tangent Vector, Third Curvature, Torsion, Total Curvature Explore this topic in the MathWorld classroom

Explore with Wolfram|Alpha

References

Casey, J. Exploring Curvature. Wiesbaden, Germany: Vieweg, 1996.Coxeter, H. S. M. Introduction to Geometry, 2nd ed. New York: Wiley, 1969.Fischer, G. (Ed.). Plates 79-85 in Mathematische Modelle aus den Sammlungen von Universitäten und Museen, Bildband. Braunschweig, Germany: Vieweg, pp. 74-81, 1986.Gray, A. "Curvature of Curves in the Plane," "Drawing Plane Curves with Assigned Curvature," and "Drawing Space Curves with Assigned Curvature." §1.5, 6.4, and 10.2 in Modern Differential Geometry of Curves and Surfaces with Mathematica, 2nd ed. Boca Raton, FL: CRC Press, pp. 14-17, 140-146, and 222-224, 1997.Kreyszig, E. "Principal Normal, Curvature, Osculating Circle." §12 in Differential Geometry. New York: Dover, pp. 34-36, 1991.Yates, R. C. "Curvature." A Handbook on Curves and Their Properties. Ann Arbor, MI: J. W. Edwards, pp. 60-64, 1952.

Referenced on Wolfram|Alpha

Curvature

Cite this as:

Weisstein, Eric W. "Curvature." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/Curvature.html

Subject classifications