(2008-11-27) [Geodesic] Curvature of a Planar Curve
Along a smooth curve in the
Euclidean plane, the
curvilinear abscisssa s of a point M
can be defined
(up to a choice of origin and a choice of sign)
by the following differential relation,
which can be construed as the Pythagorean theorem
applied to infinitesimal quantities
(since, at a large enough magnification, any smooth curve looks perfectly straight).
(ds)2 = (dx)2 + (dy)2
The tangent at M is oriented along the direction of the
unit vector T :
j between the x-axis and T
is the inclination of the curve at M.
The derivative of
j (with respect to s)
is the [geodesic] curvature :
dj / ds
In this, the signed quantitity r
= ds / dj
is called the geodesic radius of curvature.
Its absolute value is the radius of curvature
(often denoted R).
Changing the orientation of the plane changes the signs of
Changing the orientation of the curve changes the signs of
is given as an explicit function of the parameter t instead of s,
the above curvature can be expressed in terms of
v = M' = dM/dt :
det ( v, v' )
x' y'' - y'x''
[ (x' ) 2 + (y' ) 2 ] 3/2
The subscript "g" (for "geodesic") is usually dropped in an introductory
context concerned with planar curves only.
However, we retain it here to avoid a conflict of notations
when we distinguish the
curvature of a spatial curve
(k, which is always nonnegative, by definition)
from the geodesic curvature of a curve
drawn on a curved surface (of which the flat plane is a
special case) which is a signed quantity,
as noted above.
To prove the above relation, we introduce
the geodesic normal vectorg which is obtained by rotating T
one quarter of a turn counterclockwise
The above definitions of
Again, the qualifier "geodesic"
is rarely used for the planar case but we shall
soon generalize to curves drawn on other surfaces.
If the parameters t and s correspond to the same
orientation of the curve, then the speed v = ds/dt
is positive and we have v = v T. Therefore:
(dv/dt) T + v [ (ds/dt) (dT/ds) ]
(dv/dt) T +
v and T are collinear, we obtain
v ´ v' =
( v T ´ g ).
The third component of that vectorial equation yields the advertised result.
(2008-11-30) Curvature and Torsion of a 3-dimensional Curve
The Frenet-Serret trihedron
(T,N,B) and formulas (1832, 1847, 1851).
In 3 dimensions, the curvilinear abcissa s
along a curve G is defined via:
(ds)2 = (dx)2 + (dy)2 + (dz)2
The tangent vector T = dM / ds
is a unit vector (T2 = 1).
So, unless its left side vanishes, the following relation
both a unit vector N perpendicular to
T and a
k, called curvature
dT / ds =
N is called the principal normal
and B = T´N
is the binormal.
The direct trihedron (T,N,B)
is the Frenet or Frenet-Serret trihedron.
The derivatives of the three vectors in a moving orthonormal trihedron
are antisymmetric linear combinations of themselves
(this is what gives rise to the three components of the
rotation vector in rigid kinematics).
For the Frenet trihedron, the above defining relation specify two
of the three coefficients involved in the derivatives with respect to s
(one is equal to the curvature, the other one vanishes).
The third component (t)
appearing in the following formulas is dubbed torsion.
Frenet Formulas :
dT / ds
dN / ds
- k T
dB / ds
- t N
Equivalently, the rotation vector with respect to s
is equal to
t T + k B
For a straight line,
the curvature k is zero.
N and B are undefined, so is
The Frenet-Serret formulas were obtained independently by
(1816-1900) and by
Serret (1819-1985; X1838) respectively in 1847 and 1851.
The Frenet-Serret trihedron itself had actually been introduced in 1832 by
the Piedmontese [or Sardinian?] political refugee
Mario Pagani (1796-1855) who was a professor of mathematics in Belgium,
at the Universities of Louvain (1826-1832, 1835-1854)
and Liège (1832-1835).
Curves of Constant Curvature and Torsion :
Putting, for convenience,
k = (cos q) / a
t = (sin q) / a
d2 N / ds2
- ( k 2 + t 2 ) N
- N / a 2
The unit vector N is thus an harmonic function of s.
With the proper choice of base vectors, we have:
-cos s/a - sin s/a 0
Integrating the rightmost equation to solve for T, we obtain:
- cos q sin s/a cos q cos s/a sin q
Adding a nonzero vectorial constant of integration would yield something that fails to
be of unit length
(except, possibly, at isolated values of s).
Another integration gives the equation of the curve,
up to an irrelevant translation:
a cos q cos s/a a cos q sin s/a s sin q
This is the equation of an helix, parametrized by s.
(2008-11-30) Curve drawn on a surface
The Darboux-Ribaucour trihedron (T,g,k).
The Darboux-Ribaucour trihedron includes the unit tangent T
to the curve G
and the unit normal k to the surface
S (respectively determining the orientation
of the curve and that of the surface).
In the picture at right, the dotted circle is in the plane orthogonal
to T and oriented by it.
The third vector
g = k ´ T
is called the geodesic normal to
G on S.
The fundamental angle
which goes around the axis of T from
N (the principal normal to the curve)
to k can be introduced via the relations:
That's just another way to state the following traditional formulas:
Darboux Formulas :
dT / ds
dg / ds
dk / ds
The three new quantities so introduced
can be expressed in terms of the curve's own
and torsion t, namely:
k cos q
k sin q
t + dq/ds
Those expressions of
kg are easily established by
deriving the first
Darboux formula from the firstFrenet formula:
dT/ds = k N
using N = cos q k + sin q g.
tg comes from a (tougher)
derivation of either remaining Darboux formula:
To obtain the second Darboux formula, we may differentiate
(with respect to s ) the above expression of
g (in terms of
q, N and B)
and substitute in the result the values given by
the Frenet formulas for dN/ds
and dB/ds :
dg / ds =
sin q dN/ds
cos q dB/ds
cos q N
sin q B )
(- k T +
t B )
cos q (- t N )
cos q N
sin q B )
(- k sin q ) T
+ ( t +
( cos q N
sin q B )
As a mere check, let's also obtain the last formula
by differentiating k :
dk / ds =
cos q dN/ds
sin q dB/ds
cos q B
sin q N )
(- k T +
t B )
sin q (- t N )
cos q B
sin q N )
(- k cos q ) T
+ ( t +
( cos q B
sin q N )
(2012-03-17) The Two Fundamental Local Quadratic Forms
Expressing the normal curvature of a curve of given tangent at point M.
At a given point M of a parametrized surface M(u,v),
all the partial derivatives of first and second order are vectorial quantities that can
be defined via the following differential relations:
dM = M'u du + M'v dv
d2M = M''uu (du)2
+ 2 M''uv du dv
+ M''vv (dv)2
The 1st and 2ndfundamental quadratic forms are traditionally
= E (du)2 + 2 F du dv + G (dv)2
F2 (du,dv) = k . d2M
= L (du)2 + 2 M du dv + N (dv)2
Clearly, the six scalar quantities
E,F,G and L,M,N are given by:
E = || M'u ||2
F = M'u . M'v
G = || M'v ||2
L = k . M''uu
M = k . M''uv
N = k . M''vv
Some authors use
P,Q,R instead of E,F,G. Others use e,f,g instead of L,M,N.
Normal curvature kk :
If dM = T ds, then
d2M = (dT/ds) (ds)2 + T d2s
and it follows (by projection on k
of the first Darboux formula) that:
k . d2M = k . (dT/ds) (ds)2
+ 0 . d2s =
kkis the ratio of the
two fundamental forms :
k . d2M
Unless it is constant, the normal curvature
kk takes on two
distinct extreme values
for two perpendicular directions
(called principal directions of curvature )
each of which corresponding to a solution in (du,dv)
of the following equation
(obtained, modulo an irrelevant factor,
by differentiating the above with respect to the ratio of du and dv).
General characterization of the two principal directions of curvature :
(EM-FL) (du)2 + (EN-GL) du dv + (FN-GM) (dv)2
In the general case, the above is a quadratic equation in x = du/dv
with two distinct solutions x1 and x2 corresponding,
as advertised, to directions that are easily checked to be perpendicular because
of a vanishing dot product.
(EM-FL) [ E x1 x2 + F (x1+x2) + G ]
= E (FN-GM) - F (EN-GL) + G (EM-FL) = 0
(extremes of kk )
Extreme normal curvatures are solutions of
k2 - 2 H k + K = 0
(2008-12-09) Lines of Curvature of a Surface (1776)
Everywhere tangent to a principal direction of curvature.
The concept was introduced by the founder of Polytechnique,
(1746-1818) in 1776. It was investigated in depth by his student
Charles Dupin (1784-1846; X1801) in 1813.
For a surface of revolution, the two sets of lines of curvature are the
meridians and the parallels.
Rodrigues's Formula :
In a parametrized surface, a curve M(u(t),v(t))
parametrized with t is a line of curvature if and only if
there is a scaling factor k(t)
[which turns out to be the relevant principal curvature]
N(u(t),v(t))' = k(t) M(u(t),v(t))'
Triply Orthogonal System of Surfaces :
Such a system is formed by three families of surfaces, each depending on
a single continuous parameter, if they verify the following condition:
At any point where three surface of the system intersect
(one from each of the three single-parameter families) their
three tangent planes are pairwise othogonal.
The theorem of Dupin says that the intersection
of two surfaces from such a system is a line of curvature of both surfaces.
(2008-12-09) Geodesics (geodesic lines)
The geodesics are curves of zero geodesic curvature.
The path of least length between two points on a surface is a geodesic.
Pictured at left is the lower half (z ≤ 0)
of a degree-4 algebraic surface (due to
Jules Tannery) of equation:
8 a2 (x2 + y2 )
(a2 - z2 ) z2
A convenient parametrization is:
(a / Ö32) sin u cos v
(a / Ö32) sin u sin v
a sin u/2
This surface has the very remarkable property that every geodesic is an
algebraic closed curve that crosses itself once.
In particular, the double point of all meridians is the conical point
(all other geodesics go around the axis of symmetry twice ).
The Gaussian curvature at a point P
appears in the Taylor series
expansion of the curvilinear hypothenuse h(s) of a small isoceles right triangle
with two sides of
length s on perpendicular geodesics intersecting at P.
h(s) = Ö2
[ 1 -
K s2 / 12 + O(s3 ) ]
Likewise, the perimeter of a small circle of radius r centered on P is:
2 p s
[ 1 -
K s2 / 6 + O(s3 ) ]
One way to check or memorize that formula is to consider the special case of a sphere of
radius R (with K = 1/R2 ) where the
exact circumference is:
2 p R sin ( s/R ) =
2 p s [ 1 -
K s2 / 3! +
K2 s4 / 5! + ... ]
(2009-07-22) Holonomic Angle around a Curve on a Surface
A parallel-transported vector may be rotated (Levi-Civita, 1917)
Around a given loop drawn on a surface,
the parallel-transport of all vectors (tangent to the surface)
rotates them through the same angle.
This angle is called the holonomic angle
of the loop; its value in radians is the integral of the
Gaussian curvature over the curved surface
bordered by the loop.
(2003-11-15) Total Curvature of a 3-dimensional Loop
Statements related to the Fary-Milnor Theorem (1949, 1950).
The integral of the curvature of a closed 3-dimensional curve is no less
This minimum is achieved for any simple convex planar curve.
The integral of the
signed curvature (geodesic curvature) of any smooth planar loop
is 2p times an integer called the "turning number"
of the curve (which is, loosely speaking, the number of times the extremity of
its tangent vector goes counterclockwise around the origin).
The turning number is either +1 or -1 for a simple loop
(i.e., a closed oriented curve which does not intersect itself).
If that loop is convex, the geodesic curvature has always the same sign, so the absolute
value of its integral (2p) is indeed the integral
of its absolute value 1/R, as advertised.
For a knotted curve, the integral of the curvature is no less
This statement is the
which was proved independently in 1949 and 1950, respectively, by
Fáry (1922-1984) and
It's natural to ask whether the integral of any combination of
curvature and torsion can remain invariant by homotopy among 3D loops, in the
same way the turning number does for 2D loops.
Let's use the 2D case as a hint...
( v ´ dv/dt )
/ ||v|| 3
where v = dM / dt
The integral of K´ds
over the whole curve G
is a vector of length 2p,
whenever G happens to be
a simple closed planar curve...
The fact that this sequence starts with 0 for
n = 1 indicates that a manifold of dimension 1
has no intrinsic curvature...
The number of scalars (i.e., tensors of rank zero)
which can be constructed from the Riemann tensor
is just 1
when n = 2.
Otherwise, it is equal to
n (n-1) (n-2) (n+3) / 12
[which is 0 for n = 1].
The whole sequence is:
For n > 2 , this differs from the previous
sequence by ½ n (n-1)
That numerical evidence suggests that the
curvature information which cannot be specified by scalars
corresponds to a single antisymmetrical tensor
of rank 2 which is not defined
at all for 2-dimensional surfaces...