Darboux derivative

Darboux derivative

The Darboux derivative of a map between a manifold and a Lie group is a variant of the standard derivative. In a certain sense, it is arguably a more natural generalization of the single-variable derivative. It allows a generalization of the single-variable fundamental theorem of calculus to higher dimensions, in a different vein than the generalization that is Stokes' theorem.

Contents

Formal definition

Let G be a Lie group, and let \mathfrak{g} be its Lie algebra. The Maurer-Cartan form, ωG, is the smooth \mathfrak{g}-valued 1-form on G (cf. Lie algebra valued form) defined by

ωG(Xg) = (TgLg) − 1Xg

for all g \in G and X_g \in T_g G. Here Lg denotes left multiplication by the element g \in G and TgLg is its derivative at g.

Let f:M \to G be a smooth function between a smooth manifold M and G. Then the Darboux derivative of f is the smooth \mathfrak{g}-valued 1-form

ωf: = f * ωG,

the pullback of ωG by f. The map f is called an integral or primitive of ωf.

More natural?

The reason that one might call the Darboux derivative a more natural generalization of the derivative of single-variable calculus is this. In single-variable calculus, the derivative f' of a function f: \mathbb{R} \to \mathbb{R} assigns to each point in the domain a single number. According to the more general manifold ideas of derivatives, the derivative assigns to each point in the domain a linear map from the tangent space at the domain point to the tangent space at the image point. This derivative encapsulates two pieces of data: the image of the domain point and the linear map. In single-variable calculus, we drop some information. We retain only the linear map, in the form of a scalar multiplying agent (i.e. a number).

One way to justify this convention of retaining only the linear map aspect of the derivative is to appeal to the (very simple) Lie group structure of \mathbb{R} under addition. The tangent bundle of any Lie group can be trivialized via left (or right) multiplication. This means that every tangent space in \mathbb{R} may be identified with the tangent space at the identity, 0, which is the Lie algebra of \mathbb{R}. In this case, left and right multiplication are simply translation. By post-composing the manifold-type derivative with the tangent space trivialization, for each point in the domain we obtain a linear map from the tangent space at the domain point to the Lie algebra of \mathbb{R}. In symbols, for each x \in \mathbb{R} we look at the map

v \in T_x \mathbb{R} \mapsto (T_{f(x)} L_{f(x)})^{-1} \circ (T_x f) v \in T_0 \mathbb{R}.

Since the tangent spaces involved are one-dimensional, this linear map is just multiplication by some scalar. (This scalar can change depending on what basis we use for the vector spaces, but the canonical unit vector field \frac{\partial}{\partial t} on \mathbb{R} gives a canonical choice of basis, and hence a canonical choice of scalar.) This scalar is what we usually denote by f'(x).

Uniqueness of primitives

If the manifold M is connected, and f,g: M \to G are both primitives of ωf, i.e. ωf = ωg, then there exists some constant C \in G such that

f(x) = C \cdot g(x) for all x \in M.

This constant C is of course the analogue of the constant that appears when taking an indefinite integral.

The fundamental theorem of calculus

Recall the structural equation for the Maurer-Cartan form:

d \omega + \frac{1}{2} [\omega, \omega] = 0.

This means that for all vector fields X and Y on G and all x \in G, we have

(dω)x(Xx,Yx) + [ωx(Xx),ωx(Yx)] = 0.

For any Lie algebra-valued 1-form on any smooth manifold, all the terms in this equation make sense, so for any such form we can ask whether or not it satisfies this structural equation.

The usual fundamental theorem of calculus for single-variable calculus has the following local generalization.

If a \mathfrak{g}-valued 1-form ω on M satisfies the structural equation, then every point p \in M has an open neighborhood U and a smooth map f: U \to G such that

ωf = ω | U,

i.e. ω has a primitive defined in a neighborhood of every point of M.

For a global generalization of the fundamental theorem, one needs to study certain monodromy questions in M and G.

References

  • R. W. Sharpe (1996). Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Springer-Verlag, Berlin. ISBN 0-387-94732-9. 
  • Shlomo Sternberg (1964). "Chapter V, Lie Groups. Section 2, Invariant forms and the Lie algebra.". Lectures in differential geometry. Prentice-Hall. LCCN 64-7993. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Darboux frame — In the differential geometry of surfaces, a Darboux frame is a natural moving frame constructed on a surface. It is the analog of the Frenet–Serret frame as applied to surface geometry. A Darboux frame exists at any non umbilic point of a surface …   Wikipedia

  • Darboux's theorem (analysis) — Darboux s theorem is a theorem in real analysis, named after Jean Gaston Darboux. It states that all functions that result from the differentiation of other functions have the intermediate value property: the image of an interval is also an… …   Wikipedia

  • Darboux function — In mathematics, a Darboux function, named for Gaston Darboux (1842 1917), is a real valued function f which has the intermediate value property : on the interval between a and b , f assumes every real value between f ( a ) and f ( b ). Formally,… …   Wikipedia

  • Darboux's theorem — This article is about Darboux s theorem in symplectic geometry. For Darboux s theorem related to the intermediate value theorem, see Darboux s theorem (analysis). Darboux s theorem is a theorem in the mathematical field of differential geometry… …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • 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… …   Wikipedia

  • Maurer–Cartan form — In mathematics, the Maurer–Cartan form for a Lie group G is a distinguished differential one form on G that carries the basic infinitesimal information about the structure of G. It was much used by Élie Cartan as a basic ingredient of his method… …   Wikipedia

  • Logarithmic differentiation — Logarithmic derivative is a separate article. Topics in Calculus Fundamental theorem Limits of functions Continuity Mean value theorem Differential calculus  Derivative Change of variables Implicit differentiation …   Wikipedia

  • 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… …   Wikipedia

  • List of Lie group topics — This is a list of Lie group topics, by Wikipedia page. Examples See Table of Lie groups for a list *General linear group, special linear group **SL2(R) **SL2(C) *Unitary group, special unitary group **SU(2) **SU(3) *Orthogonal group, special… …   Wikipedia

Share the article and excerpts

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