Infinitesimal transformation

Infinitesimal transformation

In mathematics, an infinitesimal transformation is a limiting form of "small" transformation. For example one may talk about an infinitesimal rotation of a rigid body, in three-dimensional space. This is conventionally represented by a 3×3 skew-symmetric matrix "A". It is not the matrix of an actual rotation in space; but for small real values of a parameter ε we have

:I+varepsilon A

a small rotation, up to quantities of order ε2.

A comprehensive theory of infinitesimal transformations was first given by Sophus Lie. Indeed this was at the heart of his work, on what are now called Lie groups and their accompanying Lie algebras; and the identification of their role in geometry and especially the theory of differential equations. The properties of an abstract Lie algebra are exactly those definitive of infinitesimal transformations, just as the axioms of group theory embody symmetry.

For example, in the case of infinitesimal rotations, the Lie algebra structure is that provided by the cross product, once a skew-symmetric matrix has been identified with a 3-vector. This amounts to choosing an axis vector for the rotations; the defining Jacobi identity is a well-known property of cross products.

The earliest example of an infinitesimal transformation that may have been recognised as such was in Euler's theorem on homogeneous functions. Here it is stated that a function "F" of "n" variables "x"1, ..., "x""n" that is homogeneous of degree "r", satisfies

:Hcdot F=rF

with

:H=sum_i x_i{partialoverpartial x_i}.

a differential operator. That is, from the property

:F(lambda x_1,dots, lambda x_n)=lambda^r F(x_1,dots,x_n)

we can in effect differentiate with respect to λ and then set λ equal to 1. This then becomes a necessary condition on a smooth function "F" to have the homogeneity property; it is also sufficient (by using Schwartz distributions one can reduce the mathematical analysis considerations here). This setting is typical, in that we have a one-parameter group of scalings operating; and the information is in fact coded in an infinitesimal transformation that is a first-order differential operator.

The operator equation

:e^{tD}f(x)=f(x+t)

where

:D={dover dx}

is an operator version of Taylor's theorem — and is therefore only valid under "caveats" about "f" being an analytic function. Concentrating on the operator part, it shows in effect that "D" is an infinitesimal transformation, generating translations of the real line via the exponential. In Lie's theory, this is generalised a long way. Any connected Lie group can be built up by means of its infinitesimal generators (a basis for the Lie algebra of the group); with explicit if not always useful information given in the Baker-Campbell-Hausdorff formula.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Infinitesimal character — In mathematics, the infinitesimal character of an irreducible representation rho; of a semisimple Lie group G on a vector space V is, roughly speaking, a mapping to scalars that encodes the process of first differentiating and then diagonalizing… …   Wikipedia

  • Transformation (function) — In mathematics, a transformation could be any function mapping a set X on to another set or on to itself. However, often the set X has some additional algebraic or geometric structure and the term transformation refers to a function from X to… …   Wikipedia

  • Transformation (geometry) — In mathematics, a transformation could be any function from a set X to itself. However, often the set X has some additional algebraic or geometric structure and the term transformation refers to a function from X to itself which preserves this… …   Wikipedia

  • infinitésimal — infinitésimal, ale, aux [ ɛ̃finitezimal, o ] adj. • 1706; de l adj. infinitésime, lat. mod. infinitesimus 1 ♦ Sc. Relatif aux quantités infiniment petites. Calcul infinitésimal, analyse infinitésimale : partie des mathématiques comprenant le… …   Encyclopédie Universelle

  • Transformation conforme — En mathématiques, et plus précisément en géométrie et en analyse complexe, une transformation conforme est une transformation qui conserve les angles. Une France conforme, et... anticonforme Sommaire 1 Cas du plan …   Wikipédia en Français

  • Möbius transformation — Not to be confused with Möbius transform or Möbius function. In geometry, a Möbius transformation of the plane is a rational function of the form of one complex variable z; here the coefficients a, b, c, d are complex numbers satisfying ad − …   Wikipedia

  • Non-abelian gauge transformation — In theoretical physics, a non abelian gauge transformation means a gauge transformation taking values in some group G, the elements of which do not obey the commutative law when they are multiplied. The original choice of G in the physics of… …   Wikipedia

  • Path integral formulation — This article is about a formulation of quantum mechanics. For integrals along a path, also known as line or contour integrals, see line integral. The path integral formulation of quantum mechanics is a description of quantum theory which… …   Wikipedia

  • Noether's theorem — This article discusses Emmy Noether s first theorem, which derives conserved quantities from symmetries. For her related theorem on infinite dimensional Lie algebras and differential equations, see Noether s second theorem. For her unrelated… …   Wikipedia

  • Cartan connection — In the mathematical field of differential geometry, a Cartan connection is a flexible generalization of the notion of an affine connection. It may also be regarded as a specialization of the general concept of a principal connection, in which the …   Wikipedia

Share the article and excerpts

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