Baker-Campbell-Hausdorff formula

Baker-Campbell-Hausdorff formula

In mathematics, the Baker-Campbell-Hausdorff formula is the solution to

:Z = log(e^X e^Y),

for non-commuting "X" and "Y". It is named for Henry Frederick Baker, John Edward Campbell, and Felix Hausdorff. It was first noted in print by Campbell, elaborated by Henri Poincaré and Baker, and systematized by Hausdorff. The formula below was introduced by Eugene Dynkin.

The Baker-Campbell-Hausdorff formula: existence

The Baker-Campbell-Hausdorff formula implies that if "X" and "Y" are in some Lie algebra mathfrak g, defined over any field of characteristic 0, then

: log(exp(X)exp(Y)) ,

can be written as a formal infinite sum of elements of mathfrak g. For many applications one does not need an explicit expression for this infinite sum but just its existence, and this can be seen as follows. The ring

:"S" = R⟨"X","Y"⟩

of all non-commuting formal power series in non-commuting variables "X" and "Y" has a ring homomorphism Δ from "S" to the completion of

:"S"⊗"S",

called the coproduct, such that

:"S"("X") = "X"⊗1 + 1⊗"X"

and similarly for "Y". This hasthe following properties:
*exp is an isomorphism (of sets) from the elements of "S" with constant term 0 to the elements with constant term 1, with inverse log
*"r"=exp("s") is grouplike (this means Δ("r")="r"⊗"r") if and only if "s" is primitive (this means Δ("s")="s"⊗"1"+"1"⊗"s").
*The grouplike elements form a group under multiplication.
*The primitive elements are exactly the formal infinite sums of elements of the Lie algebra generated by "X" and "Y".

The existence of the Baker-Campbell-Hausdorff formula can now be seen as follows:The elements "X" and "Y" are primitive, so exp("X") and exp("Y") are grouplike, so their product exp("X")exp("Y") is also grouplike, so its logarithm log(exp("X")exp("Y")) is primitive, and hence can be written as an infinite sum of elements of the Lie algebra generated by "X" and "Y".

The universal enveloping algebra of the free Lie algebra generated by "X" and "Y" is isomorphic to the algebra of all non-commuting polynomials in "X" and "Y". In common with all universal enveloping algebras, it has a natural structure of a Hopf algebra, with a coproduct Δ. The ring "S" used above is just a completion of this Hopf algebra.

An explicit Baker-Campbell-Hausdorff formula

Specifically, let "G" be a simply-connected Lie group with Lie algebra mathfrak g. Let

:exp : mathfrak g ightarrow G

be the exponential map.The general formula is given by:

:log(exp Xexp Y) = sum_{n>0}frac {(-1)^{n-1{n} sum_{ egin{smallmatrix} {r_i + s_i > 0} \ {1le i le n} end{smallmatrixfrac{(sum_{i=1}^n (r_i+s_i))^{-1{r_1!s_1!cdots r_n!s_n!} [ X^{r_1} Y^{s_1} X^{r_2} Y^{s_2} ldots X^{r_n} Y^{s_n} ] ,

which uses the notation

: [ X^{r_1} Y^{s_1} ldots X^{r_n} Y^{s_n} ] = [ underbrace{X, [X,ldots [X}_{r_1} , [ underbrace{Y, [Y,ldots [Y}_{s_1} ,,ldots, [ underbrace{X, [X,ldots [X}_{r_n} , [ underbrace{Y, [Y,ldots Y}_{s_n} ] ldots] .

This term is zero if s_n > 1 or if s_n = 0 and r_n > 1 (Sagle & Walde 1973, pp. 134+135).

The first few terms are well-known, with all higher-order terms involving ["X","Y"] and commutator nestings thereof (thus in the Lie algebra):

:egin{align}Z(X,Y)&{}=log(exp Xexp Y) \&{}= X + Y + frac{1}{2} [X,Y] + frac{1}{12} [X, [X,Y] - frac{1}{12} [Y, [X,Y] \&{}quad - frac {1}{24} [Y, [X, [X,Y] \&{}quad - frac{1}{720}( [X,Y] ,Y] ,Y] ,Y] + [Y,X] ,X] ,X] ,X] )\&{}quad +frac{1}{360}( [X,Y] ,Y] ,Y] ,X] + [Y,X] ,X] ,X] ,Y] )\&{}quad + frac{1}{120}( [Y,X] ,Y] ,X] ,Y] + [X,Y] ,X] ,Y] ,X] ) + cdotsend{align}Note the "X"-"Y" (anti-)/symmetry in alternating orders of the expansion, since Z(Y,X)=-Z(-X,-Y).

There is no expression in closed form for an arbitrary Lie algebra, though there are exceptional tractable cases, as well as efficient algorithms for working out the expansion in applications.

For example, note that if ["X","Y"] vanishes, then the above formula manifestly reduces to "X" + "Y". If the commutator ["X","Y"] is a constant (central), then all but the first three terms on the right-hand side of the above vanish.

If one of the Lie algebra elements "X" maps the kernel of ad "Y" into itself, other forms of the Campbell-Baker-Hausdorff formula might serve well:

:log(exp Xexp Y) = X + frac{ ext{ad} X e^{ ext{ad} X{e^{ ext{ad} X}-1} Y + O(Y^2),

as is evident from the integral formula below. So, if the commutator is ["X", "Y"] = "sY", for some non-zero "s", this formula reduces to just "Z" = "X" + "sY" / (1 − exp("-s")), which then leads to braiding identities such as

:e^{X} e^{Y} = e^{exp (s) Y} e^{X}.,

There are numerous such well-known expressions applied routinely in physics (cf. Magnus). A popular integral formula is

:log(exp Xexp Y) = X + left ( int^1_0 psi left ( e^{ ext{ad} X} e^{t , ext{ad} Y} ight ) , dt ight) , Y,

involving a generating function for the Bernoulli numbers,

: psi(x) equiv frac{x ln x}{x-1}.

For a matrix Lie group G sub mbox{GL}(n,mathbb{R}) the Lie algebra is the tangent space of the identity "I", and the commutator is simply ["X", "Y"] = "XY" − "YX"; the exponential map is the standard exponential map of matrices,

:mbox{exp} X = e^X = sum_{n=0}^{infty}{frac{X^n}{n!.

When we solve for "Z" in

:e^Z = e^X e^Y,,!

we obtain a simpler formula:

: Z = sum_{n>0}frac{(-1)^{n-1{n} sum_{egin{smallmatrix} r_i+s_i>0, \ 1le ile nend{smallmatrixfrac{X^{r_1}Y^{s_1}cdots X^{r_n}Y^{s_n{r_1!s_1!cdots r_n!s_n!}.

We note that the first, second, third and fourth order terms are:

*z_1 = X + Y,!

*z_2 = frac{1}{2} (XY - YX)

*z_3 = frac{1}{12} (X^2Y + XY^2 - 2XYX + Y^2X + YX^2 - 2YXY)

*z_4 = frac{1}{24} (X^2Y^2 - 2XYXY - Y^2X^2 + 2YXYX).

The Zassenhaus formula

A related combinatoric expansion, useful in dual applications is:e^{t(X+Y)}= e^{tX}~ e^{tY} ~e^{-frac{t^2}{2} [X,Y] } ~e^{frac{t^3}{6}(2 [Y, [X,Y] + [X, [X,Y] )} ~e^{t^4 cdots} cdots .

The Hadamard lemma

A standard combinatoric lemma utilized, among others, in the above explicit expansions is

:e^{X}Y e^{-X} =Y+left [X,Y ight] +frac{1}{2!} [X, [X,Y] +cdots ,

easily provable by parametric induction.

ee also

* Dyson series
* Versor

References

*H. Baker, Proc Lond Math Soc (1) 34 (1902) 347–360; ibid (1) 35 (1903) 333–374; ibid (Ser 2) 3 (1905) 24–47.
*springer|id=C/c020090|title=Campbell-Hausdorff formula|author=Yu.A. Bakhturin
*J. Campbell, Proc Lond Math Soc 28 (1897) 381–390; ibid 29 (1898) 14–32.
*L. Corwin & F.P Greenleaf, "Representation of nilpotent Lie groups and their applications, Part 1: Basic theory and examples", Cambridge University Press, New York, 1990, ISBN 0-521-36034-X.
*Brian C. Hall, "Lie Groups, Lie Algebras, and Representations: An Elementary Introduction", Springer, 2003. ISBN 0-387-40122-9
*F. Hausdorff, Ber Verh Saechs Akad Wiss Leipzig 58 (1906) 19–48.
*W. Miller, "Symmetry Groups and their Applications", Academic Press, New York, 1972, pp 159–161.
*W. Magnus, Comm Pur Appl Math VII (1954) 649–673.
*H. Poincaré, Compt Rend Acad Sci Paris 128 (1899) 1065–1069; Camb Philos Trans 18 (1899) 220–255.
*M.W. Reinsch, "A simple expression for the terms in the Baker-Campbell-Hausdorff series". " Journal of Mathematical Physics", 41(4):2434–2442, April 2000. doi|10.1063/1.533250 ( [http://arxiv.org/abs/math-ph/9905012 arXiv preprint] )
*W. Rossmann, "Lie Groups: An Introduction through Linear Groups". Oxford University Press, 2002.
*A.A. Sagle & R.E. Walde, "Introduction to Lie Groups and Lie Algebras", Academic Press, New York, 1973. ISBN 0-12-614550-4.
*J.-P. Serre, "Lie algebras and Lie groups" , Benjamin (1965)

External links

*C. K. Zachos, [http://www.hep.anl.gov/czachos/CBH.pdf Crib Notes on CBH expansions]
* [http://mathworld.wolfram.com/Baker-Campbell-HausdorffSeries.html MathWorld page]
* [http://planetmath.org/encyclopedia/BakerCampellHausdorffFormulae.html PlanetMath.org encyclopedia]


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Baker-Campbell-Hausdorff-Formel — In der Mathematik ist die Baker Campbell Hausdorff Formel eine nach den Mathematikern Henry Frederick Baker, John Edward Campbell und Felix Hausdorff benannte Gleichung, die ein Vertauschungsgesetz für bestimmte lineare Operatoren angibt.… …   Deutsch Wikipedia

  • Felix Hausdorff — Infobox Scientist name = Felix Hausdorff |300px image width = 300px caption = birth date = Birth date|1868|11|8 birth place = Breslau, Germany death date = death date and age|1942|1|26|1868|11|8 death place = Bonn, Germany residence = nationality …   Wikipedia

  • John Edward Campbell — (May 27, 1862, Lisburn, Ireland ndash; October 1, 1924, Oxford, Oxfordshire, England) was a British mathematician, best known for his contribution to the Baker Campbell Hausdorff formula. He studied at Queen s University Belfast, graduating in… …   Wikipedia

  • Rotation matrix — In linear algebra, a rotation matrix is a matrix that is used to perform a rotation in Euclidean space. For example the matrix rotates points in the xy Cartesian plane counterclockwise through an angle θ about the origin of the Cartesian… …   Wikipedia

  • Matrice de rotation — En mathématiques, et plus précisément en algèbre linéaire, une matrice de rotation Q est une matrice orthogonale de déterminant 1, ce qui peut s exprimer par les équations suivantes : QtQ = I = QQt et det Q = 1, où Qt est la matrice… …   Wikipédia en Français

  • Matrix exponential — In mathematics, the matrix exponential is a matrix function on square matrices analogous to the ordinary exponential function. Abstractly, the matrix exponential gives the connection between a matrix Lie algebra and the corresponding Lie group.… …   Wikipedia

  • List of mathematics articles (B) — NOTOC B B spline B* algebra B* search algorithm B,C,K,W system BA model Ba space Babuška Lax Milgram theorem Baby Monster group Baby step giant step Babylonian mathematics Babylonian numerals Bach tensor Bach s algorithm Bachmann–Howard ordinal… …   Wikipedia

  • Exponentielle d'une matrice — En mathématiques, l exponentielle d une matrice est une fonction d une matrice carrée semblable à l exponentielle. De façon abstraite, elle fait le pont entre l algèbre de Lie sur une matrice et le groupe de Lie qui lui correspond. Sommaire 1… …   Wikipédia en Français

  • Exponential function — The natural exponential function y = ex In mathematics, the exponential function is the function ex, where e is the number (approximately 2.718281828) such that the function ex is its own derivative …   Wikipedia

  • List of exponential topics — This is a list of exponential topics, by Wikipedia page. See also list of logarithm topics. *Accelerating change *Artin Hasse exponential *Bacterial growth *Baker Campbell Hausdorff formula *Cell growth *Barometric formula *Basic infection number …   Wikipedia

Share the article and excerpts

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