Moving frame


Moving frame
The Frenet-Serret frame on a curve is the simplest example of a moving frame.

In mathematics, a moving frame is a flexible generalization of the notion of an ordered basis of a vector space often used to study the extrinsic differential geometry of smooth manifolds embedded in a homogeneous space.

Contents

Introduction

In lay terms, a frame or reference is a system of measuring rods used by an observer to measure the surrounding space by providing coordinates. A moving frame is then a frame of reference which moves with the observer along a trajectory (a curve). The method of the moving frame, in this simple example, seeks to produce a "preferred" moving frame out of the kinematic properties of the observer. In a geometrical setting, this problem was solved in the mid 19th century by Jean Frédéric Frenet and Joseph Alfred Serret.[1] The Frenet-Serret frame is a moving frame defined on a curve which can be constructed purely from the velocity and acceleration of the curve.

The Frenet-Serret frame plays a key role in the differential geometry of curves, ultimately leading to a more or less complete classification of smooth curves in Euclidean space up to congruence.[2] The Frenet-Serret formulas show that there is a pair of functions defined on the curve, the torsion and curvature, which are obtained by differentiating the frame, and which describe completely how the frame evolves in time along the curve. A key feature of the general method is that a preferred moving frame, provided it can be found, gives a complete kinematic description of the curve.

Darboux trihedron, consisting of a point P, and a triple of orthogonal unit vectors e1, e2, and e3 which is adapted to a surface in the sense that P lies on the surface, and e3 is perpendicular to the surface.

In the late 19th century, Gaston Darboux studied the problem of construction a preferred moving frame on a surface in Euclidean space instead of a curve, the Darboux frame (or the trièdre mobile as it was then called). It turned out to be impossible in general to construct such a frame, and that there were integrability conditions which needed to be satisfied first.[1]

Later, moving frames were developed extensively by Élie Cartan and others in the study of submanifolds of more general homogeneous spaces (such as projective space). In this setting, a frame carries the geometric idea of a basis of a vector space over to other sorts of geometrical spaces (Klein geometries). Some examples of frames are:[2]

  • A linear frame is an ordered basis of a vector space.
  • An affine frame of a vector space V consists of a choice of origin for V along with an ordered basis of vectors in V.
  • An orthonormal frame of a vector space is an ordered basis consisting of orthogonal unit vectors (an orthonormal basis).
  • A Euclidean frame of a vector space is a choice of origin along with an orthonormal basis for the vector space.
  • A projective frame on n-dimensional projective space is an ordered collection of n+1 linearly independent points in the space.

In each of these examples, the collection of all frames is homogeneous in a certain sense. In the case of linear frames, for instance, any two frames are related by an element of the general linear group. Projective frames are related by the projective linear group. This homogeneity, or symmetry, of the class of frames captures the geometrical features of the linear, affine, Euclidean, or projective landscape. A moving frame, in these circumstances, is just that: a frame which varies from point to point.

Formally, a frame on a homogeneous space G/H consists of a point in the tautological bundle GG/H. A moving frame is a section of this bundle. It is moving in the sense that as the point of the base varies, the frame in the fibre changes by an element of the symmetry group G. A moving frame on a submanifold M of G/H is a section of pullback of the tautological bundle to M. Intrinsically[3] a moving frame can be defined on a principal bundle P over a manifold. In this case, a moving frame is given by a G-equivariant mapping φ : PG, thus framing the manifold by elements of the Lie group G.

Although there is a substantial formal difference between extrinsic and intrinsic moving frames, they are both alike in the sense that a moving frame is always given by a mapping into G. The strategy in Cartan's method of moving frames, as outlined briefly in Cartan's equivalence method, is to find a natural moving frame on the manifold and then to take its Darboux derivative, in other words pullback the Maurer-Cartan form of G to M (or P), and thus obtain a complete set of structural invariants for the manifold.[2]

Method of the moving frame

Cartan (1937) formulated the general definition of a moving frame and the method of the moving frame, as elaborated by Weyl (1938). The elements of the theory are

  • A Lie group G.
  • A Klein space X whose group of geometric automorphisms is G.
  • A smooth manifold Σ which serves as a space of (generalized) coordinates for X.
  • A collection of frames ƒ each of which determines a coordinate function from X to Σ (the precise nature of the frame is left vague in the general axiomatization).

The following axioms are then assumed to hold between these elements:

  • There is a free and transitive group action of G on the collection of frames: it is a principal homogeneous space for G. In particular, for any pair of frames ƒ and ƒ′, there is a unique transition of frame (ƒ→ƒ′) in G determined by the requirement (ƒ→ƒ′)ƒ = ƒ′.
  • Given a frame ƒ and a point A ∈ X, there is associated a point x = (A,ƒ) belonging to Σ. This mapping determined by the frame ƒ is a bijection from the points of X to those of Σ. This bijection is compatible with the law of composition of frames in the sense that the coordinate x′ of the point A in a different frame ƒ′ arises from (A,ƒ) by application of the transformation (ƒ→ƒ′). That is,
(A,f') = (f\to f')\circ(A,f).

Of interest to the method are parameterized submanifolds of X. The considerations are largely local, so the parameter domain is taken to be an open subset of Rλ. Slightly different techniques apply depending on whether one is interested in the submanifold along with its parameterization, or the submanifold up to reparameterization.

Moving tangent frames

The most commonly encountered case of a moving frame is for the bundle of tangent frames (also called the frame bundle) of a manifold. In this case, a moving tangent frame on a manifold M consists of a collection of vector fields X1, X2 , ..., Xn forming a basis of the tangent space at each point of an open set UM.

Coframes

A moving frame determines a dual frame or coframe of the cotangent bundle over U, which is sometimes also called a moving frame. This is a n-tuple of smooth 1-forms

α1, α2 , ..., αn

which are linearly independent at each point q in U. Conversely, given such a coframe, there is a unique moving frame X1, X2 , ..., Xn which is dual to it, i.e., satisfies the duality relation αi(Xj) = δij, where δij is the Kronecker delta function on U.

Uses

Moving frames are important in general relativity, where there is no privileged way of extending a choice of frame at an event p (a point in spacetime, which is a manifold of dimension four) to nearby points, and so a choice must be made. In contrast in special relativity, M is taken to be a vector space V (of dimension four). In that case a frame at a point p can be translated from p to any other point q in a well-defined way. Broadly speaking, a moving frame corresponds to an observer, and the distinguished frames in special relativity represent inertial observers.

In relativity and in Riemannian geometry, the most useful kind of moving frames are the orthogonal and orthonormal frames, that is, frames consisting of orthogonal (unit) vectors at each point. At a given point p a general frame may be made orthonormal by orthonormalization; in fact this can be done smoothly, so that the existence of a moving frame implies the existence of a moving orthonormal frame.

Further details

A moving frame always exists locally, i.e., in some neighbourhood U of any point p in M; however, the existence of a moving frame globally on M requires topological conditions. For example when M is a circle, or more generally a torus, such frames exist; but not when M is a 2-sphere. A manifold that does have a global moving frame is called parallelizable. Note for example how the unit directions of latitude and longitude on the Earth's surface break down as a moving frame at the north and south poles.

The method of moving frames of Élie Cartan is based on taking a moving frame that is adapted to the particular problem being studied. For example, given a curve in space, the first three derivative vectors of the curve can in general give a frame at a point of it (cf. torsion for this in quantitative form - it assumes the torsion is not zero). In fact, in the method of moving frames, one more often works with coframes rather than frames. More generally, moving frames may be viewed as sections of principal bundles over open sets U. The general Cartan method exploits this abstraction using the notion of a Cartan connection.

Applications

The principal axes of rotation in space

Aircraft maneuvers can be expressed in terms of the moving frame (Aircraft principal axes) when described by the pilot.

See also

Notes

  1. ^ a b Chern 1985
  2. ^ a b c Griffiths 1974
  3. ^ See Cartan (1983) 9.I; Appendix 2 (by Hermann) for the bundle of tangent frames. Fels and Olver (1998) for the case of more general fibrations. Griffiths (1974) for the case of frames on the tautological principal bundle of a homogeneous space.

References

[ru:Репер (дифференциальная геометрия)]]


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Moving magnet and conductor problem — Conductor moving in a magnetic field. The moving magnet and conductor problem is a famous thought experiment, originating in the 19th century, concerning the intersection of classical electromagnetism and special relativity. In it, the current in …   Wikipedia

  • Frame — A frame is a structural system that supports other components of a physical construction. Frame may also refer to:Engineering construction* Framing (construction), a building term known as light frame construction * Frame (vehicle), to which… …   Wikipedia

  • Frame rate — Frame rate, or frame frequency, is the measurement of the frequency (rate) at which an imaging device produces unique consecutive images called frames. The term applies equally well to computer graphics, video cameras, film cameras, and motion… …   Wikipedia

  • Frame shutter mode — Frame shutter mode, also known as progressive shutter mode is the name that Sony came up with after it developed a progressive scan CCD for video cameras. This mode allows full frame acquisition with conventional interlaced field output. In Frame …   Wikipedia

  • Frame analysis — is a multi disciplinary social science research method used to analyze how people understand situations and activities. The concept is generally attributed to the work of Erving Goffman and his 1974 book Frame analysis: An essay on the… …   Wikipedia

  • Frame of reference — Frame of reference, n. 1. an arbitrary set of spatial coordinates used to describe the position or motion of objects. The coordinates may be fixed or moving; as, a rotating frame of reference. [PJC] 2. a set of assumptions or conditions that are… …   The Collaborative International Dictionary of English

  • Frame of reference — A frame of reference in physics, may refer to a coordinate system or set of axes within which to measure the position, orientation, and other properties of objects in it, or it may refer to an observational reference frame tied to the state of… …   Wikipedia

  • Moving image formats — This article discusses moving image capture, transmission and presentation from today s technical and creative points of view; concentrating on aspects of frame rates. Contents 1 Essential parameters 1.1 Image change rate 2 Capture 3 …   Wikipedia

  • Frame-dragging — Albert Einstein s theory of general relativity predicts that rotating bodies drag spacetime around themselves in a phenomenon referred to as frame dragging. The rotational frame dragging effect was first derived from the theory of general… …   Wikipedia

  • FRAME RATE — T&F Frame rate (also known as frame frequency) is the frequency (rate) at which an imaging device produces unique consecutive images called frames. The term applies equally well to computer graphics, video cameras, film cameras, and motion… …   Audio and video glossary


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.