curvature (plane curve)

curvature (plane curve)

1

Basic Intuition

The

curvature

of a

plane curve

is a quantity which measures the amount by which the curve differs from being a

straight line

. It measures the rate at which the direction of a

tangent

to the curve changes.

2

Arclength Parameterization

The simplest way to introduce the curvature is by first parameterizing the curve with respect to arclength. Suppose that

s

denotes arclength and that the curve is specified by two

functions

f

and

g

of this parameter. In other words, a typical point of the curve is

(

f

⁢

(

s

)

,

g

⁢

(

s

)

)

, where

s

must lie in some specified range. Recall that the condition that

s

be the arclength is that

(

f

′

)

2

+

(

g

′

)

2

=

1

.

Let

θ

denote the angle which the

tangent vector

makes with the

x

axis. Because of the arclength condition mentioned above, we have

f

′

⁢

(

s

)

=

cos

⁡

θ

g

′

⁢

(

s

)

=

sin

⁡

θ

.

The curvature is simply the

derivative

of this angle with respect to arclength:

κ

=

d

⁢

θ

d

⁢

s

It is convenient to re-express the curvature in terms of

f

and

g

. To do this, we differentiate the previous equation:

f

′′

=

d

d

⁢

s

⁢

cos

⁡

θ

=

-

sin

⁡

θ

⁢

d

⁢

θ

d

⁢

s

=

-

κ

⁢

sin

⁡

θ

g

′′

=

d

d

⁢

s

⁢

sin

⁡

θ

=

cos

⁡

θ

⁢

d

⁢

θ

d

⁢

s

=

κ

⁢

cos

⁡

θ

By eliminating

θ

, we obtain the following formulae for the curvature:

κ

=

-

f

′′

/

g

′

κ

=

g

′′

/

f

′

Because of the condition

(

f

′

)

2

+

(

g

′

)

2

=

1

, both

f

′

and

g

′

cannot simultaneously be zero, so at least one of the above formulae must be valid at any point on the curve.

At first, it may seem odd that we have obtained two different formulae for the same quantity. The reason for this is simple. Differentiating the arclength condition

(

f

′

)

2

+

(

g

′

)

2

=

1

gives

f

′′

⁢

f

′

+

g

′′

⁢

g

′

=

0

or, dividing out,

g

′′

/

f

′

=

-

f

′′

/

g

′

.

which explains why the two formulae for the curvature must agree. In fact, one can easily derive several other formulae for the curvature by using this

identity

.

3

Rotation-Invariant Formula

For

instance

, one might want to obtain a

formula

which is explicitly

invariant

under

rotation

. Consider the following determinant:

|

f

′

g

′

f

′′

g

′′

|

=

f

′

⁢

g

′′

-

f

′′

⁢

g

′

On the one hand, this is clearly invariant under rotation. On the other hand, we have

f

′

⁢

g

′′

-

f

′′

⁢

g

′

=

κ

⁢

(

f

′

)

2

+

κ

⁢

(

g

′

)

2

=

κ

⁢

(

(

f

′

)

2

+

(

g

′

)

2

)

=

κ

,

hence we have the explicitly rotation-invariant formula

κ

=

|

f

′

g

′

f

′′

g

′′

|

4

Arbitrary Parameterization

Typically, when one is given a curve, it is not specified in terms of a parameterization by arclength. Since reparameterizing a curve by arclength is not always easy, it is useful to have a formula for curvature which is invariant under

reparameterization

since one could use such a formula with any parameterization. Such a formula can be obtained by a slight modification of the rotation-invariant formula given above.

To obtain this formula, first let us inquire into how the determinant transforms under change of parameterization. If we apply a change of parameter

σ

=

ϕ

⁢

(

s

)

then, by the chain rule,

d

⁢

f

d

⁢

s

=

d

⁢

f

d

⁢

σ

⁢

d

⁢

σ

d

⁢

s

=

ϕ

′

⁢

(

s

)

⁢

d

⁢

f

d

⁢

σ

d

⁢

g

d

⁢

s

=

ϕ

′

⁢

(

s

)

⁢

d

⁢

g

d

⁢

σ

d

2

⁢

f

d

⁢

s

2

=

d

d

⁢

s

⁢

(

ϕ

′

⁢

(

s

)

⁢

d

⁢

f

d

⁢

σ

)

=

ϕ

′′

⁢

(

s

)

⁢

d

⁢

f

d

⁢

σ

+

ϕ

′

⁢

(

s

)

⁢

d

⁢

σ

d

⁢

s

⁢

d

2

⁢

f

d

⁢

σ

2

=

ϕ

′′

⁢

(

s

)

⁢

d

⁢

f

d

⁢

σ

+

(

ϕ

′

⁢

(

s

)

)

2

⁢

d

2

⁢

f

d

⁢

σ

2

d

2

⁢

g

d

⁢

s

2

=

ϕ

′′

⁢

(

s

)

⁢

d

⁢

g

d

⁢

σ

+

(

ϕ

′

⁢

(

s

)

)

2

⁢

d

2

⁢

g

d

⁢

σ

2

Thus, we have the following

transformation

for the determinant:

|

d

⁢

f

d

⁢

s

d

⁢

g

d

⁢

s

d

2

⁢

f

d

⁢

s

2

d

2

⁢

g

d

⁢

s

2

|

=

(

ϕ

′

⁢

(

s

)

)

3

⁢

|

d

⁢

f

d

⁢

σ

d

⁢

g

d

⁢

σ

d

2

⁢

f

d

⁢

σ

2

d

2

⁢

g

d

⁢

σ

2

|

Likewise, one has the following transform:

(

d

⁢

f

d

⁢

s

)

2

+

(

d

⁢

g

d

⁢

s

)

2

=

(

ϕ

′

⁢

(

s

)

)

2

⁢

(

(

d

⁢

f

d

⁢

σ

)

2

+

(

d

⁢

g

d

⁢

σ

)

2

)

Therefore, the following quantity is invariant under both rotation and reparameterization:

|

d

⁢

f

d

⁢

σ

d

⁢

g

d

⁢

σ

d

2

⁢

f

d

⁢

σ

2

d

2

⁢

g

d

⁢

σ

2

|

(

(

d

⁢

f

d

⁢

σ

)

2

+

(

d

⁢

g

d

⁢

σ

)

2

)

3

/

2

In the particular case where

σ

=

s

, this equals the curvature; hence, by invariance, it equals the curvature for all choices of parameterization:

κ

=

|

d

⁢

f

d

⁢

σ

d

⁢

g

d

⁢

σ

d

2

⁢

f

d

⁢

σ

2

d

2

⁢

g

d

⁢

σ

2

|

(

(

d

⁢

f

d

⁢

σ

)

2

+

(

d

⁢

g

d

⁢

σ

)

2

)

3

/

2

5

Alternative Characterizations

One special case is especially worth noting. Suppose that the curve is given as the graph of a function. That is

equivalent

to choosing one of

f

or

g

to be the

identity function

. Then the formula reduces to the following:

κ

=

f

′′

(

1

+

(

f

′

)

2

)

3

/

2

It is worth noting that, at points where

f

′

=

0

(i.e. where the tangent to the curve is horizontal) the curvature simply equals the second derivative. This observation leads to another

characterization

of the curvature — the curvature of a curve at a point can be obtained by setting up a

coordinate system

whose

abscissa

is the tangent to the curve at that point, expressing the curve as the graph of a function in this coordinate system, then taking the second derivative of this function at said point. It might also be worth pointing out the curvature of a curve at a point equals the

reciprocal

of the radius of the

osculating circle

to the curve at that point.

Title

curvature (plane curve)

Canonical name

CurvatureplaneCurve

Date of creation

2013-03-22 15:31:19

Last modified on

2013-03-22 15:31:19

Owner

rspuzio (6075)

Last modified by

rspuzio (6075)

Numerical id

15

Author

rspuzio (6075)

Entry type

Topic

Classification

msc 53A04

Related topic

CurvatureDeterminesTheCurve

Generated on Fri Feb 9 22:19:16 2018 by

LaTeXML