Namespaces
Variants
Actions

Campbell-Hausdorff formula

From Encyclopedia of Mathematics
Revision as of 17:25, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A formula for computing

in the algebra of formal power series in , where the latter are assumed to be associative but non-commutative. More precisely, let be a free associative algebra with unit over the field , with free generators and ; let be the Lie subalgebra of generated by these elements relative to the commutation operation ; and let and be the natural power series completions of and , i.e. is the ring of power series in the associative but non-commutative variables and is the closure of in . Then the mapping

is a continuous bijection of onto the multiplicative group , where is the set of series without constant term. The inverse of this mapping is

The restriction of to is a bijection of onto the group . One can thus introduce a group operation in the set of elements of the Lie algebra , and it can be shown that the subgroup of this group generated by and is free. The Campbell–Hausdorff formula provides an expression for as a power series in and :

(*)

( times , then times times , then times , in the general term of this series) or (in terms of the adjoint representation ):

where

Here denotes summation over , , ; and denotes summation over , , .

The first investigation of the expression is due to J.E. Campbell . F. Hausdorff [2] proved that can be expressed in terms of the commutators of and , i.e. it is an element of the Lie algebra .

If is a normed Lie algebra over a complete non-discretely normed field , the series (*), with , is convergent in a neighbourhood of zero. Near the zero of one can thus define the structure of a local Banach Lie group over (in the ultrametric case — the structure of a Banach Lie group), with Lie algebra . This yields one of the existence proofs for a local Lie group with a given Lie algebra (Lie's third theorem). Conversely, in any local Lie group multiplication can be expressed in canonical coordinates by the Campbell–Hausdorff formula.

References

[1a] J.E. Campbell, Proc. London Math. Soc. , 28 (1897) pp. 381–390
[1b] J.E. Campbell, Proc. London Math. Soc. , 29 (1898) pp. 14–32
[2] F. Hausdorff, "Die symbolische Exponential Formel in der Gruppentheorie" Leipziger Ber. , 58 (1906) pp. 19–48
[3] N. Bourbaki, "Elements of mathematics. Lie groups and Lie algebras" , Addison-Wesley (1975) (Translated from French)
[4] J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965) (Translated from French)
[5] , Theórie des algèbres de Lie. Topologie des groupes de Lie , Sem. S. Lie , Ie année 1954–1955 , Ecole Norm. Sup. (1955)
[6] W. Magnus, A. Karrass, B. Solitar, "Combinatorial group theory: presentations in terms of generators and relations" , Wiley (Interscience) (1966)


Comments

Let be the component of consisting of non-commutative polynomials of degree . Then . Similarly .

The formula for is also known as the Baker–Campbell–Hausdorff formula or Campbell–Baker–Hausdorff formula. The first few terms are:

The formula in terms of the and is known as the explicit Campbell–Hausdorff formula (in Dynkin's form).

References

[a1] H.F. Baker, "Alternants and continuous groups" Proc. London Math. Soc. (2) , 3 (1905) pp. 24–47
[a2] V.S. Varadarajan, "Lie groups, Lie algebras, and their representations" , Springer (1984) pp. Section 2.15
How to Cite This Entry:
Campbell-Hausdorff formula. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Campbell-Hausdorff_formula&oldid=18290
This article was adapted from an original article by Yu.A. Bakhturin (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article