Affine curvature

This article is about the curvature of affine plane curves, not to be confused with the curvature of an affine connection.

Special affine curvature, also known as the equi-affine curvature or affine curvature, is a particular type of curvature that is defined on a plane curve that remains unchanged under a special affine transformation (an affine transformation that preserves area). The curves of constant equi-affine curvature k are precisely all non-singular plane conics. Those with k > 0 are ellipses, those with k = 0 are parabolas, and those with k < 0 are hyperbolas.

The usual Euclidean curvature of a curve at a point is the curvature of its osculating circle, the unique circle making second order contact (having three point contact) with the curve at the point. In the same way, the special affine curvature of a curve at a point P is the special affine curvature of its hyperosculating conic, which is the unique conic making fourth order contact (having five point contact) with the curve at P. In other words it is the limiting position of the (unique) conic through P and four points P1, P2, P3, P4 on the curve, as each of the points approaches P:

In some contexts, the affine curvature refers to a differential invariant κ of the general affine group, which may readily obtained from the special affine curvature k by κ = k−3/2dk/ds, where s is the special affine arc length. Where the general affine group is not used, the special affine curvature k is sometimes also called the affine curvature (Shirokov 2001b).

Formal definition

Special affine arclength

To define the special affine curvature, it is necessary first to define the special affine arclength (also called the equi-affine arclength). Consider an affine plane curve . Choose co-ordinates for the affine plane such that the area of the parallelogram spanned by two vectors and is given by the determinant

In particular, the determinant

is a well-defined invariant of the special affine group, and gives the signed area of the parallelogram spanned by the velocity and acceleration of the curve β. Consider a reparameterization of the curve β, say with a new parameter s related to t by means of a regular reparameterization s = s(t). This determinant undergoes then a transformation of the following sort, by the chain rule:

The reparameterization can be chosen so that

provided the velocity and acceleration, dβ/dt and d2β/dt2 are linearly independent. Existence and uniqueness of such a parameterization follows by integration:

This integral is called the special affine arclength, and a curve carrying this parameterization is said to be parameterized with respect to its special affine arclength.

Special affine curvature

Suppose that β(s) is a curve parameterized with its special affine arclength. Then the special affine curvature (or equi-affine curvature) is given by

Here β′ denotes the derivative of β with respect to s.

More generally (Guggenheimer 1977, §7.3; Blaschke 1923, §5), for a plane curve with arbitrary parameterization

the special affine curvature is:

provided the first and second derivatives of the curve are linearly independent. In the special case of a graph y = y(x), these formulas reduce to

where the prime denotes differentiation with respect to x (Blaschke 1923, §5; Shirokov 2001a).

Affine curvature

Suppose as above that β(s) is a curve parameterized by special affine arclength. There are a pair of invariants of the curve that are invariant under the full general affine group (Shirokov 2001b) — the group of all affine motions of the plane, not just those that are area-preserving. The first of these is

sometimes called the affine arclength (although this risks confusion with the special affine arclength described above). The second is referred to as the affine curvature:

Conics

Suppose that β(s) is a curve parameterized by special affine arclength with constant affine curvature k. Let

Note that det Cβ, since β is assumed to carry the special affine arclength parameterization, and that

It follows from the form of Cβ that

By applying a suitable special affine transformation, we can arrange that Cβ(0) = I is the identity matrix. Since k is constant, it follows that Cβ is given by the matrix exponential

The three cases are now as follows.

k = 0

If the curvature vanishes identically, then upon passing to a limit,

so β'(s) = (1,s), and so integration gives

up to an overall constant translation, which is the special affine parameterization of the parabola y = x2/2.

k > 0

If the special affine curvature is positive, then it follows that

so that

up to a translation, which is the special affine parameterization of the ellipse kx2 + k2y2 = 1.

k < 0

If k is negative, then the trigonometric functions in Cβ give way to hyperbolic functions:

Thus

up to a translation, which is the special affine parameterization of the hyperbola

Characterization up to affine congruence

The special affine curvature of an immersed curve is the only (local) invariant of the curve in the following sense:

In fact, a slightly stronger statement holds:

This is analogous to the fundamental theorem of curves in the classical Euclidean differential geometry of curves, in which the complete classification of plane curves up to Euclidean motion depends on a single function κ, the curvature of the curve. It follows essentially by applying the Picard–Lindelöf theorem to the system

where Cβ = [β′ β′′]. An alternative approach, rooted in the theory of moving frames, is to apply the existence of a primitive for the Darboux derivative.

Derivation of the curvature by affine invariance

The special affine curvature can be derived explicitly by techniques of invariant theory. For simplicity, suppose that an affine plane curve is given in the form of a graph y = y(x). The special affine group acts on the Cartesian plane via transformations of the form

with ad  bc = 1. The following vector fields span the Lie algebra of infinitesimal generators of the special affine group:

An affine transformation not only acts on points, but also on the tangent lines to graphs of the form y = y(x). That is, there is an action of the special affine group on triples of coordinates

The group action is generated by vector fields

defined on the space of three variables (x,y,y′). These vector fields can be determined by the following two requirements:

Concretely, this means that the generators X(1) must satisfy
where L is the Lie derivative.

Similarly, the action of the group can be extended to the space of any number of derivatives

The prolonged vector fields generating the action of the special affine group must then inductively satisfy, for each generator X  {T1,T2,X1,X2,H}:

where

Carrying out the inductive construction up to order 4 gives

The special affine curvature

does not depend explicitly on x, y, or y′, and so satisfies

The vector field H acts diagonally as a modified homogeneity operator, and it is readily verified that H(4)k = 0. Finally,

The five vector fields

form an involutive distribution on (an open subset of) R6 so that, by the Frobenius integration theorem, they integrate locally to give a foliation of R6 by five-dimensional leaves. Concretely, each leaf is a local orbit of the special affine group. The function k parameterizes these leaves.

Human Motor System

Human curvilinear 2-dimensional drawing movements tend to follow the equi-affine parametrization.[1] This is more commonly known as the two thirds power law, according to which the hand's speed is proportional to the Euclidean curvature raised to the minus third power.[2] Namely,

where is the speed of the hand, is the Euclidean curvature and is a constant termed the velocity gain factor.

See also

References

  1. Flash,Tamar; Handzel,Amir A (2007). "Affine differential geometry analysis of human arm movements". Biological cybernetics. 96: 577–601. doi:10.1007/s00422-007-0145-5.
  2. Lacquaniti, Francesco and Terzuolo, Carlo and Viviani, Paolo (1983). "The law relating the kinematic and figural aspects of drawing movements". Acta psychologica. 54: 115–130. doi:10.1016/0001-6918(83)90027-6. PMID 6666647.
This article is issued from Wikipedia - version of the 3/1/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.