Curvature

File:Cell-Shape-Dynamics-From-Waves-to-Migration-pcbi.1002392.s007.ogv

A migrating wild-type Dictyostelium discoideum cell whose boundary is colored by curvature. Scale bar: 5 μm.

In mathematics, curvature is any of several strongly related concepts in geometry that intuitively measure the amount by which a curve deviates from being a straight line or by which a surface deviates from being a plane. If a curve or surface is contained in a larger space, curvature can be defined extrinsically relative to the ambient space. Curvature of Riemannian manifolds of dimension at least two can be defined intrinsically without reference to a larger space.

For curves, curvature describes how sharply the curve bends. The canonical examples are circles: smaller circles bend more sharply and hence have higher curvature. For a point on a general curve, the direction of the curve is described by its tangent line. How sharply the curve is bending at that point can be measured by how much that tangent line changes direction per unit distance along the curve.

Curvature measures the angular rate of change of the direction of the tangent line, or the unit tangent vector, of the curve per unit distance along the curve. Curvature is expressed in units of radians per unit distance. For a circle, that rate of change is the same at all points on the circle and is equal to the reciprocal of the circle's radius. Straight lines don't change direction and have zero curvature. The curvature at a point on a twice differentiable curve is the magnitude of its curvature vector at that point and is also the curvature of its osculating circle, which is the circle that best approximates the curve near that point.

For surfaces (and, more generally for higher-dimensional manifolds), that are embedded in a Euclidean space, the concept of curvature is more complex, as it depends on the choice of a direction on the surface or manifold. This leads to the concepts of maximal curvature, minimal curvature, and mean curvature.

History

The history of curvature began with the ancient Greeks' basic distinction between straight and circular lines, with the concept later developed by figures like Aristotle and Apollonius. The development of calculus in the 17th century, particularly by Newton and Leibniz, provided tools to systematically calculate curvature for curves. Euler then extended the study to surfaces, followed by Gauss's crucial insight of "intrinsic" curvature, which is independent of how a surface is embedded in space, and Riemann's generalization to higher dimensions.

In Tractatus de configurationibus qualitatum et motuum, the 14th-century philosopher and mathematician Nicole Oresme introduces the concept of curvature as a measure of departure from straightness; for circles he has the curvature as being inversely proportional to the radius; and he attempts to extend this idea to other curves as a continuously varying magnitude.

The curvature of a differentiable curve was originally defined through osculating circles. In this setting, Augustin-Louis Cauchy showed that the center of curvature is the intersection point of two infinitely close normal lines to the curve.

Curves

Intuitively, curvature describes for any part of a curve how much the curve direction changes over a small distance along the curve. The direction of the curve at any point Template:Mvar is described by a unit tangent vector, Template:Mvar. A section of a curve is also called an arc, and length along the curve is arc length, Template:Mvar. So the curvature for a small section of the curve is the angle of the change of the direction of the tangent vector divided by the arc length Template:Mvar. For a general curve which might have a varying curvature along its length, the curvature at a point Template:Mvar on the curve is the limit of the curvature of sections containing Template:Mvar as the length of the sections approaches zero. For a twice differentiable curve, that limit is the magnitude of the derivative of the unit tangent vector with respect to arc length. Using the lowercase Greek letter kappa to denote curvature:

$$\kappa =\Vert \frac{\mathrm{d}\mathit{T}}{\mathrm{d}s}\Vert .$$

Curvature is a differential-geometric property of the curve; it does not depend on the parametrization of the curve. In particular, it does not depend on the orientation of the parametrized curve, i.e. which direction along the curve is associated with increasing parameter values.

Arc-length parametrization

A curve that is parametrized by arc length is a vector-valued function that is denoted by the Greek letter gamma with an overbar, Template:Mvar, that describes the position of a point on the curve, Template:Mvar, in terms of its arc-length distance, Template:Mvar along the curve from some other reference point on the curve. Thus for some interval I = [a, b] in $\mathbb{ℝ}$, Template:Overset: I → $\mathbb{ℝ}$ⁿ with

$$\mathit{P}(s)=\overline{\mathit{\gamma }}(s).$$

If Template:Mvar is a differentiable curve, then the first derivative of Template:Mvar, Template:Overset′(s) is a unit tangent vector, T(s), and

$$\Vert {\overline{\mathit{\gamma }}}^{\prime }(s)\Vert =1$$

$$\mathit{T}(s)={\overline{\mathit{\gamma }}}^{\prime }(s).$$

If Template:Mvar is twice differentiable, the second derivative of Template:Mvar is T′(s), which is also the curvature vector, K(s).

$$\mathit{K}(s)={\mathit{T}}^{\prime }(s)={\overline{\mathit{\gamma }}}^{″}(s)$$

Curvature is the magnitude of the second derivative of Template:MvarTemplate:Thinspace. $$\kappa (s)=\Vert \mathit{K}(s)\Vert =\Vert {\mathit{T}}^{\prime }(s)\Vert =\Vert {\overline{\mathit{\gamma }}}^{″}(s)\Vert$$

The parameter Template:Mvar can also be interpreted as a time parameter. Then Template:Overset(s) describes the path of a particle that moves along the curve at a constant unit speed. Curvature can then be understood as a measure of how fast the direction of the particle rotates.

General parametrization

A twice differentiable curve, γ: [a, b] → $\mathbb{ℝ}$ⁿ, that is not parametrized by arc length can be re-parametrized by arc length provided that γ′(t) is everywhere not zero, so that 1/Template:Norm is always a finite positive number.

The arc-length parameter, Template:Mvar, is defined by

$$s(t)=\underset{a}{\overset{t}{\int }}\Vert {\mathit{\gamma }}^{\prime }(x)\Vert \mathrm{d}x,$$

which has an inverse function t(s). The arc-length parametrization is the function Template:Mvar which is defined as

$$\overline{\mathit{\gamma }}(s)=\mathit{\gamma }(t(s)).$$

Both Template:Mvar and Template:Mvar trace the same path in ${\mathbb{ℝ}}^n$ and so have the same curvature vector and curvature at each point Template:Mvar on the curve. For a given Template:Mvar and its corresponding t = t(s), point Template:Mvar and its unit tangent vector, Template:Mvar, curvature vector, Template:Mvar, and curvature, Template:Mvar, are:

$$\mathit{P}=\overline{\mathit{\gamma }}(s)=\mathit{\gamma }(t)$$

$$\mathit{T}={\overline{\mathit{\gamma }}}^{\prime }(s)=\frac{{\mathit{\gamma }}^{\prime }(t)}{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert }$$

$$\mathit{K}={\overline{\mathit{\gamma }}}^{″}(s)=\frac{{\mathit{\gamma }}^{″}(t)}{{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert }^2}-\mathit{T}(\mathit{T}\cdot \frac{{\mathit{\gamma }}^{″}(t)}{{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert }^2})$$

$$\begin{array}{rl}\kappa =\Vert {\overline{\mathit{\gamma }}}^{″}(s)\Vert & =\frac{\sqrt{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert {\phantom{\text{'}}}^2\Vert {\mathit{\gamma }}^{″}(t)\Vert {\phantom{\text{'}}}^2-({\mathit{\gamma }}^{\prime }(t)\cdot {\mathit{\gamma }}^{″}(t)){\phantom{\text{'}}}^2}}{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert {\phantom{\text{'}}}^3}\\ \\ & =\frac{\Vert {\mathit{\gamma }}^{″}(t)\Vert }{{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert }^2}\sqrt{1-{(\mathit{T}\cdot \frac{{\mathit{\gamma }}^{″}(t)}{\Vert {\mathit{\gamma }}^{″}(t)\Vert })}^2}.\\ \end{array}$$

The curvature vector, Template:Mvar, is the perpendicular component of γ′′(t) / Template:Norm² relative to the tangent vector γ′(t). This is also reflected in the second expression for the curvature: the expression inside the parentheses is cos θ, where Template:Mvar is the angle between the vectors Template:Mvar and γ′′(t), so that the square root produces sin θ.

If Template:Mvar is twice continuously differentiable, then so is Template:Mvar and Template:Mvar, while T(t) is continuously differentiable, and K(t) and κ(t) are continuous.

Often it is difficult or impossible to express the arc-length parametrization, Template:Mvar, in closed form even when Template:Mvar is given in closed form. This is typically the case when it is difficult or impossible to express s(t) or its inverse t(s) in closed form. However curvature can be expressed only in terms of the first and second derivatives of Template:Mvar, without direct reference to Template:Mvar.

Curvature vector

The curvature vector, denoted with an upper-case Template:Mvar, is the derivative of the unit tangent vector, Template:Mvar, with respect to arc length, Template:Mvar:

$$\mathit{K}=\frac{\mathrm{d}\mathit{T}}{\mathrm{d}s}.$$

The curvature vector represents both the direction towards which the curve is turning as well as how sharply it turns.

The curvature vector has the following properties:

• The magnitude of the curvature vector is the curvature: $$\kappa =\Vert \mathit{K}\Vert .$$

• The curvature vector is perpendicular to the unit tangent vector Template:Mvar, or in terms of the dot product: $$\mathit{K}\cdot \mathit{T}=0.$$

• The curvature vector is the second derivative of an arc-length parametrization Template:MvarTemplate:Thinspace: $$\mathit{K}(s)={\overline{\mathit{\gamma }}}^{″}(s).$$

• The curvature vector of a general parametrization, Template:Mvar, is the perpendicular component of γ′′(t) / Template:Norm² relative to the tangent vector γ′(t): $$\mathit{K}(t)=\frac{{\mathit{\gamma }}^{″}(t)}{{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert }^2}-\mathit{T}(\mathit{T}\cdot \frac{{\mathit{\gamma }}^{″}(t)}{{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert }^2}).$$If the curve is in ${\mathbb{ℝ}}^3$, then the curvature vector can also be expressed as: $$\mathit{K}(t)=\mathit{T}\times \frac{{\mathit{\gamma }}^{″}(t)}{{\Vert {\mathit{\gamma }}^{\prime }(t)\Vert }^2}\times \mathit{T}$$ where × denotes the vector cross product.

• If the curvature vector is not zero:
  • The curvature vector points from the point on the curve, Template:Mvar, in the direction of the center of the osculating circle.
  • The curvature vector and the tangent vector are perpendicular vectors that span the osculating plane, the plane containing the osculating circle.
  • The curvature vector scaled to unit length is the unit normal vector, Template:Mvar: $$\mathit{N}=\frac{K}{\Vert K\Vert }.$$

• The curvature vector is a differential-geometric property of the curve at Template:Mvar; it does not depend on how the curve is parametrized.

Osculating circle

File:Osculating.svg

Historically, the curvature of a differentiable curve was defined through the osculating circle, which is the circle that best approximates the curve at a point. More precisely, given a point Template:Mvar on a curve, every other point Template:Mvar of the curve defines a circle (or sometimes a line) passing through Template:Mvar and tangent to the curve at Template:Mvar. The osculating circle is the limit, if it exists, of this circle when Template:Mvar tends to Template:Mvar. Then the center of curvature and the radius of curvature of the curve at Template:Mvar are the center and the radius of the osculating circle.

The radius of curvature, Template:Mvar, is the reciprocal of the curvature, provided that the curvature is not zero: $$R=\frac{1}{\kappa }.$$

For a curve Template:Mvar, since a non-zero curvature vector, K(t), points from the point P = γ(t) towards the center of curvature, but the magnitude of K(t) is the curvature, κ(t), the center of curvature, C(t) is

$$\mathit{C}(t)=\mathit{\gamma }(t)+\frac{\mathit{K}(t)}{\kappa (t{)}^2}.$$

When the curvature is zero, for example on a straight line or at a point of inflection, the radius of curvature is infinite and the center of curvature is indeterminate or "at infinity".

Curvature from arc and chord length

Given two points Template:Mvar and Template:Mvar on a curve Template:Mvar, let s(P,Q) be the arc length of the portion of the curve between Template:Mvar and Template:Mvar and let d(P,Q) denote the length of the line segment from Template:Mvar to Template:Mvar. The curvature of Template:Mvar at Template:Mvar is given by the limit

$$\kappa (\mathit{P})=\underset{\mathit{Q}\to \mathit{P}}{\lim }\sqrt{\frac{24(s(\mathit{P},\mathit{Q})-d(\mathit{P},\mathit{Q}))}{s(\mathit{P},\mathit{Q}){\phantom{Q}}^3}},$$

where the limit is taken as the point Template:Mvar approaches Template:Mvar on Template:Mvar. The denominator can equally well be taken to be d(P,Q)³. The formula is valid in any dimension. The formula follows by verifying it for the osculating circle.

Exceptional cases

There may be some situations where the preconditions for the above formulas do not apply, but where it is still appropriate to apply the concept of curvature.

It can be useful to apply the concept of curvature to a curve Template:Mvar at a point P = γ(t₀) if the one-sided derivatives for γ′(t₀) exist but are different values, or likewise for γ′′(t₀). In such a case, it could be useful to describe the curve with curvature at each side. Such might be the case of a curve that is constructed piecewise.

Another situation occurs when the limit of a ratio results in an indeterminate 0 / 0 value for the curvature, for example when both derivatives exist but are both zero. In such a case, it might be possible to evaluate the underlying limit using l'Hôpital's rule.

Examples

The following are examples of curves with application of the relevant concepts and formulas.

Circle

File:Circle-tangent-angle-over-arc-length.svg

For an arc on a circle of radius R, the ratio of the size of the angle between the arc endpoint tangents, measured in radians, divided by the arc length L is (L/R)/L = 1/R.

A geometric explanation for why the curvature of a circle of radius Template:Mvar at any point Template:Mvar is 1/R is partially illustrated by the diagram to the right.

The length of the red arc is Template:Mvar and the measure in radians of the arc's central angle, angle ACB, is L/R. The angle between the arc endpoint tangents is angle BDE, which is the same size as the central angle, because both angles are supplementary to angle BDE.

The ratio of the angle between the arc endpoint tangents, measured in radians, divided by the arc length Template:Mvar is (L/R)/L = 1/R.

Since the ratio is 1/R for any arc of the circle that is less than a half circle, for arcs containing any given point Template:Mvar on the circle, the limit of the ratio as arc length approaches zero is also 1/R. Hence the curvature of the circle at any point Template:Mvar is 1/R.

A common parametrization of a circle of radius Template:Mvar is γ(t) = (r cos t, r sin t). Then $$\begin{array}{lll}{\mathit{\gamma }}^{\prime }(t)=(-r\mathrm{s}\mathrm{i}\mathrm{n}t,r\mathrm{c}\mathrm{o}\mathrm{s}t)& & \Vert {\mathit{\gamma }}^{\prime }(t)\Vert =r\\ {\mathit{\gamma }}^{″}(t)=(-r\mathrm{c}\mathrm{o}\mathrm{s}t,-r\mathrm{s}\mathrm{i}\mathrm{n}t)& & \Vert {\mathit{\gamma }}^{″}(t)\Vert =r\\ {\mathit{\gamma }}^{\prime }(t)\cdot {\mathit{\gamma }}^{″}(t)=0.\\ \end{array}$$ The general formula for curvature gives $$\kappa (t)=\frac{\sqrt{r^2{r}^2-0^2}}{r^3}=\frac{1}{r}.$$ and the formula for a plane curve gives $$\kappa (t)=\frac{r^2{\sin }^{2}t+r^2{\cos }^{2}t}{(r^2{\cos }^{2}t+r^2{\sin }^{2}t){\phantom{\text{'}}}^{3/2}}=\frac{1}{r}.$$

It follows, as expected, that the radius of curvature is the radius of the circle, and that the center of curvature is the center of the circle.

The circle is a rare case where the arc-length parametrization is easy to compute, as it is $$\overline{\mathit{\gamma }}(s)=(r\cos \frac{s}{r},r\sin \frac{s}{r}).$$ It is an arc-length parametrization, since the norm of $${\overline{\mathit{\gamma }}}^{\prime }(s)=(-\sin \frac{s}{r},\cos \frac{s}{r})$$ is equal to one. Then $$\kappa (s)=\Vert {\overline{\mathit{\gamma }}}^{″}(s)\Vert =\Vert (-\frac{1}{r}\cos \frac{s}{r},-\frac{1}{r}\sin \frac{s}{r})\Vert =\frac{1}{r}$$ gives the same value for the curvature.

The same circle can also be defined by the implicit equation F(x, y) = 0 with F(x, y) = x² + y² – r². Then, the formula for the curvature in this case gives $$\begin{array}{rl}\kappa & =\frac{|F_y^2{F}_{xx}-2F_x{F}_y{F}_{xy}+F_x^2{F}_{yy}|}{(F_x^2+F_y^2){\phantom{\text{'}}}^{3/2}}\\ & =\frac{8y^2+8x^2}{(4x^2+4y^2){\phantom{\text{'}}}^{3/2}}\\ & =\frac{8r^2}{\left(4r^2\right){\phantom{\text{'}}}^{3/2}}=\frac{1}{r}.\end{array}$$

Parabola

File:Parabola-curvature-comb.svg

Parabola y = x², its curvature, its comb with scaling factor = 1, and the osculating circle at x = 0.

Consider the parabola y = ax² + bx + c.

It is the graph of a function, with derivative 2ax + b, and second derivative 2a. So, the signed curvature is $$k(x)=\frac{2a}{(1+{(2ax+b)}^2){\phantom{)}}^{3/2}}.$$ It has the sign of Template:Mvar for all values of Template:Mvar. This means that, if a > 0, the concavity is upward directed everywhere; if a < 0, the concavity is downward directed; for a = 0, the curvature is zero everywhere, confirming that the parabola degenerates into a line in this case.

The (unsigned) curvature is maximal for x = –Template:Sfrac, that is at the stationary point (zero derivative) of the function, which is the vertex of the parabola.

Consider the parametrization γ(t) = (t, at² + bt + c) = (x, y). The first derivative of Template:Mvar is 1, and the second derivative is zero. Substituting into the formula for general parametrizations gives exactly the same result as above, with Template:Mvar replaced by Template:Mvar and with primes referring to derivatives with respect to the parameter Template:Mvar.

The same parabola can also be defined by the implicit equation F(x, y) = 0 with F(x, y) = ax² + bx + c – y. As F_y = –1, and F_yy = F_xy = 0, one obtains exactly the same value for the (unsigned) curvature. However, the signed curvature is not defined for an implicit equation since the signed curvature depends on an orientation of the curve that is not provided by the implicit equation.

Plane curves

Let γ(t) = (x(t), y(t)) be a proper parametric representation of a twice differentiable plane curve. Here proper means that on the domain of definition of the parametrization, the derivative Template:Sfrac exists and is nowhere equal to the zero vector.

The curvature Template:Mvar of a plane curve can be expressed in ways that are specific to two dimensions, such as

$$\kappa =\frac{|x^{\prime }{y}^{″}-y^{\prime }{x}^{″}|}{({x^{\prime }}^2+{y^{\prime }}^2){\phantom{\text{'}}}^{3/2}},$$

where primes refer to derivatives with respect to Template:Mvar.

This can be expressed in a coordinate-free way as $$\kappa =\frac{|\det ({\mathit{\gamma }}^{\prime },{\mathit{\gamma }}^{″})|}{\Vert {\mathit{\gamma }}^{\prime }{\Vert }^3},$$

where the numerator is the absolute value of the determinant of the 2-by-2 matrix with Template:Mvar and Template:Mvar as the columns.

These formulas can be understood as an application of the cross product formula for curvature in three dimensions. Since the operands have zeros in the third dimension, the cross product result will have zero values for the first two dimensions, so only the value in the third dimension is relevant to calculating the magnitude of the cross product. The formula for the value of the third dimension thus appears in the numerator of the above formulas.

Signed curvature

For plane curves, it can be useful to express the curvature as a single scalar that can be positive or negative, called the signed curvature or oriented curvature and denoted with a lowercase k. The signed curvature formulas are similar to those for Template:Mvar except that they omit taking the absolute value of the numerator:

$$k=\frac{x^{\prime }{y}^{″}-y^{\prime }{x}^{″}}{({x^{\prime }}^2+{y^{\prime }}^2){\phantom{\text{'}}}^{3/2}}=\frac{\det ({\mathit{\gamma }}^{\prime },{\mathit{\gamma }}^{″})}{\Vert {\mathit{\gamma }}^{\prime }{\Vert }^3}.$$

Then k = ± κ. Whether Template:Mvar is positive or negative depends on the orientation of the curve. Whether a positive Template:Mvar corresponds to clockwise or counterclockwise turning depends on the orientation of the curve and the orientation of the coordinate axes. With a standard orientation of the coordinate axes, when moving along the curve in the direction of increasing Template:Mvar, Template:Mvar is positive if the curve turns to the left, counterclockwise, and it is negative if the curve turns to the right, clockwise. This is consistent with the convention of treating counterclockwise rotations as rotations through a positive angle. However, since the sign of Template:Mvar is dependent on the orientation of the parametrization, Template:Mvar is not differential-geometric property property of the curve.

Except for orientation issues, the signed curvature for a plane curve captures similar information as the curvature vector, which for a plane curve is constrained to just one dimension, the line that is perpendicular to the unit tangent vector.

Using a standard orientation of the coordinate axes, let Template:Mvar be the unit normal vector obtained from the unit tangent vector, Template:Mvar, by a counterclockwise rotation of Template:Sfrac. Then Template:Mvar is dependent on the orientation of the curve and points to the left when moving along the curve in the direction of increasing Template:Mvar. However the curvature vector, Template:Mvar is equal to the product of the signed curvature, Template:Mvar and Template:Mvar, because their orientation dependencies cancel:

$$\mathit{K}=k\overline{\mathit{N}}.$$

Similarly, the center of curvature can be expressed using the signed curvature and Template:Mvar: $$\mathit{C}(s)=\mathit{\gamma }(s)+\frac{\overline{\mathbf{N}}(s)}{k(s)}.$$

Graph of a function

The graph of a function y = f(x), is a special case of a parametrized curve, of the form $$\begin{array}{rl}x& =t\\ y& =f(t).\end{array}$$ As the first and second derivatives of Template:Mvar are 1 and 0, previous formulas simplify to $$\kappa =\frac{\left|y^{″}\right|}{(1+{y^{\prime }}^2){\phantom{\text{'}}}^{3/2}}$$ for the curvature and to $$k=\frac{y^{″}}{(1+{y^{\prime }}^2){\phantom{\text{'}}}^{3/2}}$$ for the signed curvature.

In the general case of a curve, the sign of the signed curvature is somewhat arbitrary, as it depends on the orientation of the curve. In the case of the graph of a function, there is a natural orientation by increasing values of Template:Mvar. This gives additional significance to the sign of the signed curvature.

The sign of the signed curvature is the same as the sign of the second derivative of Template:Mvar. If it is positive then the graph has an upward concavity, and, if it is negative the graph has a downward concavity. If it is zero, then one has an inflection point or an undulation point.

When the slope of the graph (that is the derivative of the function) is small, the signed curvature is well approximated by the second derivative. More precisely, using big O notation, one has $$k(x)=y^{″}(1+O({y^{\prime }}^2\left)\right).$$

It is common in physics and engineering to approximate the curvature with the second derivative, for example, in beam theory or for deriving the wave equation of a string under tension, and other applications where small slopes are involved. This often allows systems that are otherwise nonlinear to be treated approximately as linear.

Implicit curve

For a curve defined by an implicit equation F(x, y) = 0 with partial derivatives denoted Template:Mvar , Template:Mvar , Template:Mvar , Template:Mvar , Template:Mvar , the curvature is given by $$\kappa =\frac{|F_y^2{F}_{xx}-2F_x{F}_y{F}_{xy}+F_x^2{F}_{yy}|}{(F_x^2+F_y^2){\phantom{\text{'}}}^{3/2}}.$$

The signed curvature is not defined, as it depends on an orientation of the curve that is not provided by the implicit equation. Note that changing Template:Mvar into –F would not change the curve defined by F(x, y) = 0, but it would change the sign of the numerator if the absolute value were omitted in the preceding formula.

A point of the curve where F_x = F_y = 0 is a singular point, which means that the curve is not differentiable at this point, and thus that the curvature is not defined (most often, the point is either a crossing point or a cusp).

The above formula for the curvature can be derived from the expression of the curvature of the graph of a function by using the implicit function theorem and the fact that, on such a curve, one has $$\frac{dy}{dx}=-\frac{F_x}{F_y}.$$

Polar coordinates

If a curve is defined in polar coordinates by the radius expressed as a function of the polar angle, that is Template:Mvar is a function of Template:Mvar, then its curvature is $$\kappa (\theta )=\frac{|r^2+2{r^{\prime }}^2-r{r}^{″}|}{(r^2+{r^{\prime }}^2){\phantom{\text{'}}}^{3/2}},$$ where the prime refers to differentiation with respect to Template:Mvar.

This results from the formula for general parametrizations, by considering the parametrization $$\begin{array}{rl}x& =r\cos \theta \\ y& =r\sin \theta .\end{array}$$

Curvature comb

Curvature comb

Curvature comb

A curvature comb can be used to represent graphically the curvature of every point on a curve. If Template:Mvar is a curve parametrized Template:Mvar, its comb is defined as the parametrized curve defined by $$\mathrm{C}\mathrm{o}\mathrm{m}\mathrm{b}(t)=\mathit{\gamma }(t)-s\kappa (t)\mathit{N}(t),$$ where Template:Mvar is the curvature, Template:Mvar is the unit normal vector that points toward the center of curvature, and Template:Mvar is a scaling factor that is chosen to enhance the graphical representation.

Curvature combs are useful when combining two different curves in CAD environments. They provide a visual representation of the continuity between the curves. The continuity can be defined as being in one of four levels.

G0 : The 2 curvature combs are at an angle at the junction.

G1 : The teeth of the 2 combs are parallel at the junction but are of different length.

G2 : The teeth are parallel and of the same length. However the tangents of the 2 combs are not the same.

G3 : The teeth are parallel and of the same length and the tangents of the 2 combs are the same.

The above image shows a G2 continuity at the 2 junctions.

Frenet–Serret formulas for plane curves

File:FrenetTN.svg

The vectors T and N at two points on a plane curve, a translated version of the second frame (dotted), and δT the change in T. Here Template:Mvar is the distance between the points. In the limit Template:Sfrac will be in the direction N. The curvature describes the rate of rotation of the frame.

The first Frenet–Serret formula relates the unit tangent vector, curvature, and the normal vector of an arc-length parametrization $${\mathbf{𝐓}}^{\prime }(s)=\kappa (s)\mathbf{𝐍}(s),$$ where the primes refer to the derivatives with respect to the arc length Template:Mvar, and N(s) is the normal unit vector in the direction of Template:Prime(s).

As planar curves have zero torsion, the second Frenet–Serret formula provides the relation $$\begin{array}{rl}\frac{d\mathbf{𝐍}}{ds}& =-\kappa \mathbf{𝐓},\\ & =-\kappa \frac{d\mathit{\gamma }}{ds}.\end{array}$$

For a general parametrization by a parameter Template:Mvar, one needs expressions involving derivatives with respect to Template:Mvar. As these are obtained by multiplying by Template:Sfrac the derivatives with respect to Template:Mvar, one has, for any proper parametrization $${\mathbf{𝐍}}^{\prime }(t)=-\kappa (t){\mathit{\gamma }}^{\prime }(t).$$

Curves in three dimensions

File:Torus-Knot uebereinander animated.gif

Animation of the curvature and the acceleration vector Template:Prime(s)

For a parametrically defined curve in three dimensions given in Cartesian coordinates by γ(t) = (x(t), y(t), z(t)), the curvature is

$$\kappa =\frac{\sqrt{(z^{″}{y}^{\prime }-y^{″}{z}^{\prime }){\phantom{\text{'}}}^2+(x^{″}{z}^{\prime }-z^{″}{x}^{\prime }){\phantom{\text{'}}}^2+(y^{″}{x}^{\prime }-x^{″}{y}^{\prime }){\phantom{\text{'}}}^2}}{({x^{\prime }}^2+{y^{\prime }}^2+{z^{\prime }}^2){\phantom{\text{'}}}^{3/2}},$$

where the prime denotes differentiation with respect to the parameter Template:Mvar. Both the curvature and the curvature vector can be expressed using the vector cross product and the unit tangent vector Template:Mvar:

$$\mathit{K}=\mathit{T}\times \frac{{\mathit{\gamma }}^{″}}{{\Vert {\mathit{\gamma }}^{\prime }\Vert }^2}\times \mathit{T}$$

$$\kappa =\frac{\Vert {\mathit{\gamma }}^{\prime }\times {\mathit{\gamma }}^{″}\Vert }{\Vert {\mathit{\gamma }}^{\prime }\Vert {\phantom{\text{'}}}^3}.$$

These formulas are related to the general formulas for curvature and the curvature vector, except that they use the vector cross product instead of the scalar dot product to express the perpendicular component of γ′′ / Template:Norm^2 relative to γ′.

Surfaces

Template:Broader The curvature of curves drawn on a surface is the main tool for the defining and studying the curvature of the surface.

Curves on surfaces

For a curve drawn on a surface (embedded in three-dimensional Euclidean space), several curvatures are defined, which relates the direction of curvature to the surface's unit normal vector, including the:

• normal curvature
• geodesic curvature
• geodesic torsion

Any non-singular curve on a smooth surface has its tangent vector T contained in the tangent plane of the surface. The normal curvature, k_n, is the curvature of the curve projected onto the plane containing the curve's tangent T and the surface normal u; the geodesic curvature, k_g, is the curvature of the curve projected onto the surface's tangent plane; and the geodesic torsion (or relative torsion), τ_r, measures the rate of change of the surface normal around the curve's tangent.

Let the curve be arc-length parametrized, and let t = u × T so that T, t, u form an orthonormal basis, called the Darboux frame. The above quantities are related by:

$\left(\begin{array}{c}{\mathbf{𝐓}}^{\prime }\\ {\mathbf{𝐭}}^{\prime }\\ {\mathbf{𝐮}}^{\prime }\end{array}\right)=\left(\begin{array}{ccc}0& {\kappa }_{\mathrm{g}}& {\kappa }_{\mathrm{n}}\\ -{\kappa }_{\mathrm{g}}& 0& {\tau }_{\mathrm{r}}\\ -{\kappa }_{\mathrm{n}}& -{\tau }_{\mathrm{r}}& 0\end{array}\right)\left(\begin{array}{c}\mathbf{𝐓}\\ \mathbf{𝐭}\\ \mathbf{𝐮}\end{array}\right)$

Principal curvature

File:Minimal surface curvature planes-en.svg

Saddle surface with normal planes in directions of principal curvatures

All curves on the surface with the same tangent vector at a given point will have the same normal curvature, which is the same as the curvature of the curve obtained by intersecting the surface with the plane containing T and u. Taking all possible tangent vectors, the maximum and minimum values of the normal curvature at a point are called the principal curvatures, k₁ and k₂, and the directions of the corresponding tangent vectors are called principal normal directions.

Normal sections

Curvature can be evaluated along surface normal sections, similar to Template:Section link above (see for example the Earth radius of curvature).

Developable surfaces

Some curved surfaces, such as those made from a smooth sheet of paper, can be flattened down into the plane without distorting their intrinsic features in any way. Such developable surfaces have zero Gaussian curvature (see below).

Gaussian curvature

In contrast to curves, which do not have intrinsic curvature, but do have extrinsic curvature (they only have a curvature given an embedding), surfaces can have intrinsic curvature, independent of an embedding. The Gaussian curvature, named after Carl Friedrich Gauss, is equal to the product of the principal curvatures, k₁k₂. It has a dimension of length⁻² and is positive for spheres, negative for one-sheet hyperboloids and zero for planes and cylinders. It determines whether a surface is locally convex (when it is positive) or locally saddle-shaped (when it is negative).

Gaussian curvature is 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. For example, an ant living on a sphere could measure the sum of the interior angles of a triangle and determine that it was greater than 180 degrees, implying that the space it inhabited had positive curvature. On the other hand, an ant living on a cylinder would not detect any such departure from Euclidean geometry; in particular the ant could not detect that the two surfaces have different mean curvatures (see below), which is a purely extrinsic type of curvature.

Formally, Gaussian curvature only depends on the Riemannian metric of the surface. This is Gauss's celebrated Theorema Egregium, which he found while concerned with geographic surveys and mapmaking.

An intrinsic definition of the Gaussian curvature at a point Template:Mvar is the following: imagine an ant which is tied to Template:Mvar with a short thread of length Template:Mvar. It runs around Template:Mvar while the thread is completely stretched and measures the length C(r) of one complete trip around Template:Mvar. If the surface were flat, the ant would find C(r) = 2πr. On curved surfaces, the formula for C(r) will be different, and the Gaussian curvature Template:Mvar at the point Template:Mvar can be computed by the Bertrand–Diguet–Puiseux theorem as

$K=\underset{r\to 0^{+}}{\lim }3\left(\frac{2\pi r-C(r)}{\pi r^3}\right).$

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 discrete analog of curvature, corresponding to curvature being concentrated at a point and particularly useful for polyhedra, is the (angular) defect; the analog for the Gauss–Bonnet theorem is Descartes' theorem on total angular defect.

Because (Gaussian) curvature can be defined without reference to an embedding space, it is not necessary that a surface be embedded in a higher-dimensional space in order to be curved. Such an intrinsically curved two-dimensional surface is a simple example of a Riemannian manifold.

Mean curvature

The mean curvature is an extrinsic measure of curvature equal to half the sum of the principal curvatures, Template:Sfrac. It has a dimension of length⁻¹. Mean curvature is closely related to the first variation of surface area. In particular, a minimal surface such as a soap film has mean curvature zero and a soap bubble has constant mean curvature. Unlike Gauss curvature, the mean curvature is extrinsic and 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.

Second fundamental form

The intrinsic and extrinsic curvature of a surface can be combined in the second fundamental form. This is a quadratic form in the tangent plane to the surface at a point whose value at a particular tangent vector X to the surface is the normal component of the acceleration of a curve along the surface tangent to X; that is, it is the normal curvature to a curve tangent to X (see above). Symbolically,

$\mathrm{I}\mathrm{I}(\mathbf{𝐗},\mathbf{𝐗})=\mathbf{𝐍}\cdot ({\mathrm{\nabla }}_{\mathbf{𝐗}}\mathbf{𝐗})$

where N is the unit normal to the surface. For unit tangent vectors X, the second fundamental form assumes the maximum value k₁ and minimum value k₂, which occur in the principal directions u₁ and u₂, respectively. Thus, by the principal axis theorem, the second fundamental form is

$\mathrm{I}\mathrm{I}(\mathbf{𝐗},\mathbf{𝐗})=k_1{(\mathbf{𝐗}\cdot {\mathbf{𝐮}}_1)}^2+k_2{(\mathbf{𝐗}\cdot {\mathbf{𝐮}}_2)}^2.$

Thus the second fundamental form encodes both the intrinsic and extrinsic curvatures.

Shape operator

An encapsulation of surface curvature can be found in the shape operator, S, which is a self-adjoint linear operator from the tangent plane to itself (specifically, the differential of the Gauss map).

For a surface with tangent vectors X and normal N, the shape operator can be expressed compactly in index summation notation as

${\partial }_a\mathbf{𝐍}=-S_{ba}{\mathbf{𝐗}}_b.$

(Compare the alternative expression of curvature for a plane curve.)

The Weingarten equations give the value of S in terms of the coefficients of the first and second fundamental forms as

$S={(EG-F^2)}^{-1}\left(\begin{array}{cc}eG-fF& fG-gF\\ fE-eF& gE-fF\end{array}\right).$

The principal curvatures are the eigenvalues of the shape operator, the principal curvature directions are its eigenvectors, the Gauss curvature is its determinant, and the mean curvature is half its trace.

Curvature of space

By extension of the former argument, a space of three or more dimensions can be intrinsically curved. The curvature is intrinsic in the sense that it is a property defined at every point in the space, rather than a property defined with respect to a larger space that contains it. In general, a curved space may or may not be conceived as being embedded in a higher-dimensional ambient space; if not then its curvature can only be defined intrinsically.

After the discovery of the intrinsic definition of curvature, which is closely connected with non-Euclidean geometry, many mathematicians and scientists questioned whether ordinary physical space might be curved, although the success of Euclidean geometry up to that time meant that the radius of curvature must be astronomically large. In the theory of general relativity, which describes gravity and cosmology, the idea is slightly generalised to the "curvature of spacetime"; in relativity theory spacetime is a pseudo-Riemannian manifold. Once a time coordinate is defined, the three-dimensional space corresponding to a particular time is generally a curved Riemannian manifold; but since the time coordinate choice is largely arbitrary, it is the underlying spacetime curvature that is physically significant.

Although an arbitrarily curved space is very complex to describe, the curvature of a space which is locally isotropic and homogeneous is described by a single Gaussian curvature, as for a surface; mathematically these are strong conditions, but they correspond to reasonable physical assumptions (all points and all directions are indistinguishable). A positive curvature corresponds to the inverse square radius of curvature; an example is a sphere or hypersphere. An example of negatively curved space is hyperbolic geometry (see also: non-positive curvature). A space or space-time with zero curvature is called flat. For example, Euclidean space is an example of a flat space, and Minkowski space is an example of a flat spacetime. There are other examples of flat geometries in both settings, though. A torus or a cylinder can both be given flat metrics, but differ in their topology. Other topologies are also possible for curved space Template:Xref.

Generalizations

File:Parallel Transport.svg

Moving a vector along a curve from A → N → B → A produces another vector. The inability to return to the initial vector is measured by the holonomy of the surface. In a space with no curvature, the angle α is 0 degrees, and in a space with curvature, the angle α is greater than 0 degrees. The more space is curved, the greater the magnitude of the angle α.

The mathematical notion of curvature is also defined in much more general contexts. Many of these generalizations emphasize different aspects of the curvature as it is understood in lower dimensions.

One such generalization is kinematic. The curvature of a curve can naturally be considered as a kinematic quantity, representing the force felt by a certain observer moving along the curve; analogously, curvature in higher dimensions can be regarded as a kind of tidal force (this is one way of thinking of the sectional curvature). This generalization of curvature depends on how nearby test particles diverge or converge when they are allowed to move freely in the space; see Jacobi field.

Another broad generalization of curvature comes from the study of parallel transport on a surface. For instance, if a vector is moved around a loop on the surface of a sphere keeping parallel throughout the motion, then the final position of the vector may not be the same as the initial position of the vector. This phenomenon is known as holonomy. Various generalizations capture in an abstract form this idea of curvature as a measure of holonomy; see curvature form. A closely related notion of curvature comes from gauge theory in physics, where the curvature represents a field and a vector potential for the field is a quantity that is in general path-dependent: it may change if an observer moves around a loop.

Two more generalizations of curvature are the scalar curvature and Ricci curvature. In a curved surface such as the sphere, the area of a disc on the surface differs from the area of a disc of the same radius in flat space. This difference (in a suitable limit) is measured by the scalar curvature. The difference in area of a sector of the disc is measured by the Ricci curvature. Each of the scalar curvature and Ricci curvature are defined in analogous ways in three and higher dimensions. They are particularly important in relativity theory, where they both appear on the side of Einstein's field equations that represents the geometry of spacetime (the other side of which represents the presence of matter and energy). These generalizations of curvature underlie, for instance, the notion that curvature can be a property of a measure; see curvature of a measure.

Another generalization of curvature relies on the ability to compare a curved space with another space that has constant curvature. Often this is done with triangles in the spaces. The notion of a triangle makes senses in metric spaces, and this gives rise to CAT(k) spaces.

See also

• Curvature form for the appropriate notion of curvature for vector bundles and principal bundles with connection
• Curvature of a measure for a notion of curvature in measure theory
• Curvature of parametric surfaces
• Curvature of Riemannian manifolds for generalizations of Gauss curvature to higher-dimensional Riemannian manifolds
• Curvature vector and geodesic curvature for appropriate notions of curvature of curves in Riemannian manifolds, of any dimension
• Degree of curvature
• Differential geometry of curves for a full treatment of curves embedded in a Euclidean space of arbitrary dimension
• Dioptre, a measurement of curvature used in optics
• Evolute, the locus of the centers of curvature of a given curve
• Fundamental theorem of curves
• Gauss–Bonnet theorem for an elementary application of curvature
• Gauss map for more geometric properties of Gauss curvature
• Gauss's principle of least constraint, an expression of the Principle of Least Action
• Mean curvature at one point on a surface
• Minimum railway curve radius
• Radius of curvature
• Second fundamental form for the extrinsic curvature of hypersurfaces in general
• Sinuosity
• Torsion of a curve

References

• (Template:Trim&pg=PA457 restricted online copy, p. 457, at Google Books)
• (Template:Trim&pg=PA151 restricted online copy , p. 151, at Google Books)

External links

• The Feynman Lectures on Physics Vol. II Ch. 42: Curved Space
• The History of Curvature
• Curvature, Intrinsic and Extrinsic at MathPages