Derivative of the exponential map
![](/wiki/images/thumb/e/ed/Poincare.jpg/220px-Poincare.jpg)
In the theory of Lie groups, the exponential map is a map from the Lie algebra g of a Lie group G into G. In case G is a matrix Lie group, the exponential map reduces to the matrix exponential. The exponential map, denoted exp:g → G, is analytic and has as such a derivative d/dtexp(X(t)):Tg → TG, where X(t) is a C1 path in the Lie algebra, and a closely related differential dexp:Tg → TG.[2]
The formula for dexp was first proved by Friedrich Schur (1891).[3] It was later elaborated by Henri Poincaré (1899) in the context of the problem of expressing Lie group multiplication using Lie algebraic terms.[4] It is also sometimes known as Duhamel's formula.
The formula is important both in pure and applied mathematics. It enters into proofs of theorems such as the Baker–Campbell–Hausdorff formula, and it is used frequently in physics[5] for example in quantum field theory, as in the Magnus expansion in perturbation theory, and in lattice gauge theory.
Throughout, the notations exp(X) and eX will be used interchangeably to denote the exponential given an argument, except when, where as noted, the notations have dedicated distinct meanings. The calculus-style notation is preferred here for better readability in equations. On the other hand, the exp-style is sometimes more convenient for inline equations, and is necessary on the rare occasions when there is a real distinction to be made.
Statement
The derivative of the exponential map is given by[6]
[math]\displaystyle{ \frac{d}{dt}e^{X(t)} = e^{X(t)}\frac{1 - e^{-\mathrm{ad}_{X}}}{\mathrm{ad}_{X}}\frac{dX(t)}{dt}. }[/math]
- Explanation
- X = X(t) is a C1 (continuously differentiable) path in the Lie algebra with derivative X′(t) = dX(t)/dt. The argument t is omitted where not needed.
- adX is the linear transformation of the Lie algebra given by adX(Y) = [X, Y]. It is the adjoint action of a Lie algebra on itself.
- The fraction 1 − exp(−adX)/adX is given by the power series
-
[math]\displaystyle{ \frac{1 - e^{-\mathrm{ad}_{X}}}{\mathrm{ad}_{X}} = \sum_{k = 0}^\infty \frac{(-1)^k}{(k + 1)!}(\mathrm{ad}_X)^k. }[/math]
(
)
-
- When G is a matrix Lie group, all occurrences of the exponential are given by their power series expansion.
- When G is not a matrix Lie group, 1 − exp(−adX)/adX is still given by its power series (2), while the other two occurrences of exp in the formula, which now are the exponential map in Lie theory, refer to the time-one flow of the left invariant vector field X, i.e. element of the Lie algebra as defined in the general case, on the Lie group G viewed as an analytic manifold. This still amounts to exactly the same formula as in the matrix case. Left multiplication of an element of the algebra g by an element exp(X(t)) of the Lie group is interpreted as applying the differential of the left translation dLexp(X(t)).
- The formula applies to the case where exp is considered as a map on matrix space over ℝ or C, see matrix exponential. When G = GL(n, C) or GL(n, R), the notions coincide precisely.
To compute the differential dexp of exp at X, dexpX: TgX → TGexp(X), the standard recipe[2]
- [math]\displaystyle{ d\exp_XY = \left .\frac{d}{dt}e^{Z(t)}\right|_{t = 0}, Z(0) = X, Z'(0) = Y }[/math]
is employed. With Z(t) = X + tY the result[6]
-
[math]\displaystyle{ d\exp_XY = e^{X}\frac{1 - e^{-\mathrm{ad}_{X}}}{\mathrm{ad}_{X}}Y }[/math]
(
)
follows immediately from (1). In particular, dexp0:Tg0 → TGexp(0) = TGe is the identity because TgX ≃ g (since g is a vector space) and TGe ≃ g.
Proof
The proof given below assumes a matrix Lie group. This means that the exponential mapping from the Lie algebra to the matrix Lie group is given by the usual power series, i.e. matrix exponentiation. The conclusion of the proof still holds in the general case, provided each occurrence of exp is correctly interpreted. See comments on the general case below.
The outline of proof makes use of the technique of differentiation with respect to s of the parametrized expression
- [math]\displaystyle{ \Gamma(s, t) = e^{-sX(t)}\frac{\partial}{\partial t} e^{sX(t)} }[/math]
to obtain a first order differential equation for Γ which can then be solved by direct integration in s. The solution is then eX Γ(1, t).
Lemma
Let Ad denote the adjoint action of the group on its Lie algebra. The action is given by AdAX = AXA−1 for A ∈ G, X ∈ g. A frequently useful relationship between Ad and ad is given by[7][nb 1]
[math]\displaystyle{ \mathrm{Ad}_{e^X} = e^{\mathrm{ad}_X}, ~~X \in \mathfrak{g}~. }[/math]
Proof
Using the product rule twice one finds,
- [math]\displaystyle{ \frac{\partial\Gamma}{\partial s} = e^{-sX}(-X)\frac{\partial}{\partial t}e^{sX(t)} + e^{-sX}\frac{\partial}{\partial t}\left[X(t)e^{sX(t)}\right] = e^{-sX}\frac{dX}{dt}e^{sX}. }[/math]
Then one observes that
- [math]\displaystyle{ \frac{\partial\Gamma}{\partial s} = \mathrm{Ad}_{e^{-sX}}X' = e^{-\mathrm{ad}_{sX}}X', }[/math]
by (4) above. Integration yields
- [math]\displaystyle{ \Gamma(1, t) = e^{-X(t)}\frac{\partial}{\partial t}e^{X(t)} = \int_0^1 \frac{\partial\Gamma}{\partial s}ds = \int_0^1 e^{-\mathrm{ad}_{sX}}X'ds. }[/math]
Using the formal power series to expand the exponential, integrating term by term, and finally recognizing (2),
- [math]\displaystyle{ \Gamma(1, t) = \int_0^1 \sum_{k = 0}^\infty \frac{(-1)^ks^k}{k!} (\mathrm{ad}_X)^k\frac{dX}{dt}ds = \sum_{k = 0}^\infty \frac{(-1)^k}{(k + 1)!}(\mathrm{ad}_X)^k \frac{dX}{dt} = \frac{1-e^{-\mathrm{ad}_X}}{\mathrm{ad}_X}\frac{dX}{dt}, }[/math]
and the result follows. The proof, as presented here, is essentially the one given in (Rossmann 2002). A proof with a more algebraic touch can be found in (Hall 2015).[8]
Comments on the general case
The formula in the general case is given by[9]
- [math]\displaystyle{ \frac{d}{dt}\exp(C(t)) = \exp(C)\phi(-\mathrm{ad}(C))C~ ', }[/math]
where[nb 2]
- [math]\displaystyle{ \phi(z) = \frac{e^z - 1}{z} = 1 + \frac{1}{2!}z + \frac{1}{3!}z^2 + \cdots, }[/math]
which formally reduces to
- [math]\displaystyle{ \frac{d}{dt}\exp(C(t)) = \exp(C)\frac{1 - e^{-\mathrm{ad}_{C}}}{\mathrm{ad}_{C}}\frac{dC(t)}{dt}. }[/math]
Here the exp-notation is used for the exponential mapping of the Lie algebra and the calculus-style notation in the fraction indicates the usual formal series expansion. For more information and two full proofs in the general case, see the freely available (Sternberg 2004) reference.
A direct formal argument
An immediate way to see what the answer must be, provided it exists is the following. Existence needs to be proved separately in each case. By direct differentiation of the standard limit definition of the exponential, and exchanging the order of differentiation and limit,
- [math]\displaystyle{ \begin{align} \frac{d}{dt}e^{X(t)} &= \lim_{N \to \infty}\frac{d}{dt}\left(1 + \frac{X(t)}{N}\right)^N\\ &= \lim_{N \to \infty}\sum_{k=1}^N\left(1 + \frac{X(t)}{N}\right)^{N-k}\frac{1}{N}\frac{dX(t)}{dt}\left(1 + \frac{X(t)}{N}\right)^{k-1}~, \end{align} }[/math]
where each factor owes its place to the non-commutativity of X(t) and X´(t).
Dividing the unit interval into N sections Δs = Δk/N (Δk = 1 since the sum indices are integers) and letting N → ∞, Δk → dk, k/N → s, Σ → ∫ yields
- [math]\displaystyle{ \begin{align} \frac{d}{dt}e^{X(t)} &= \int_{0}^1e^{(1-s)X}X'e^{sX}ds = e^X \int_{0}^1 \mathrm{Ad}_{e^{-sX}} X' ds \\ &= e^X \int_{0}^1 e^{-\mathrm{ad}_{sX}} dsX' = e^X \frac{1-e^{-\mathrm{ad}_X}}{\mathrm{ad}_X}\frac{dX}{dt}~. \end{align} }[/math]
Applications
Local behavior of the exponential map
The inverse function theorem together with the derivative of the exponential map provides information about the local behavior of exp. Any Ck, 0 ≤ k ≤ ∞, ω map f between vector spaces (here first considering matrix Lie groups) has a Ck inverse such that f is a Ck bijection in an open set around a point x in the domain provided dfx is invertible. From (3) it follows that this will happen precisely when
- [math]\displaystyle{ \frac{1 - e^{\mathrm{ad_X}}}{\mathrm{ad}_X} }[/math]
is invertible. This, in turn, happens when the eigenvalues of this operator are all nonzero. The eigenvalues of 1 − exp(−adX)/adX are related to those of adX as follows. If g is an analytic function of a complex variable expressed in a power series such that g(U) for a matrix U converges, then the eigenvalues of g(U) will be g(λij), where λij are the eigenvalues of U, the double subscript is made clear below.[nb 3] In the present case with g(U) = 1 − exp(−U)/U and U = adX, the eigenvalues of 1 − exp(−adX)/adX are
- [math]\displaystyle{ \frac{1 - e^{-\lambda_{ij}}}{\lambda_{ij}}, }[/math]
where the λij are the eigenvalues of adX. Putting 1 − exp(−λij)/λij = 0 one sees that dexp is invertible precisely when
- [math]\displaystyle{ \lambda_{ij} \ne k2\pi i, k = \pm1, \pm2, \ldots. }[/math]
The eigenvalues of adX are, in turn, related to those of X. Let the eigenvalues of X be λi. Fix an ordered basis ei of the underlying vector space V such that X is lower triangular. Then
- [math]\displaystyle{ Xe_i = \lambda_ie_i + \cdots, }[/math]
with the remaining terms multiples of en with n > i. Let Eij be the corresponding basis for matrix space, i.e. (Eij)kl = δikδjl. Order this basis such that Eij < Enm if i − j < n − m. One checks that the action of adX is given by
- [math]\displaystyle{ \mathrm{ad}_XE_{ij} = (\lambda_i - \lambda_j)E_{ij} + \cdots \equiv \lambda_{ij}E_{ij} + \cdots, }[/math]
with the remaining terms multiples of Emn > Eij. This means that adX is lower triangular with its eigenvalues λij = λi − λj on the diagonal. The conclusion is that dexpX is invertible, hence exp is a local bianalytical bijection around X, when the eigenvalues of X satisfy[10][nb 4]
- [math]\displaystyle{ \lambda_i - \lambda_j \ne k2\pi i, \quad k = \pm1, \pm2, \ldots, \quad 1 \le i, j \le n = \dim V. }[/math]
In particular, in the case of matrix Lie groups, it follows, since dexp0 is invertible, by the inverse function theorem that exp is a bi-analytic bijection in a neighborhood of 0 ∈ g in matrix space. Furthermore, exp, is a bi-analytic bijection from a neighborhood of 0 ∈ g in g to a neighborhood of e ∈ G.[11] The same conclusion holds for general Lie groups using the manifold version of the inverse function theorem.
It also follows from the implicit function theorem that dexpξ itself is invertible for ξ sufficiently small.[12]
Derivation of a Baker–Campbell–Hausdorff formula
If Z(t) is defined such that
- [math]\displaystyle{ e^{Z(t)} = e^{X} e^{tY}, }[/math]
an expression for Z(1) = log( exp X exp Y ), the Baker–Campbell–Hausdorff formula, can be derived from the above formula,
- [math]\displaystyle{ \exp(-Z(t))\frac{d}{dt}\exp(Z(t)) = \frac{1 - e^{-\mathrm{ad}_{Z}}}{\mathrm{ad}_{Z}}Z'(t). }[/math]
Its left-hand side is easy to see to equal Y. Thus,
- [math]\displaystyle{ Y = \frac{1 - e^{-\mathrm{ad}_{Z}}}{\mathrm{ad}_{Z}}Z'(t), }[/math]
- [math]\displaystyle{ Z'(t) = \frac{\mathrm{ad}_{Z}}{1 - e^{-\mathrm{ad}_{Z}}} Y \equiv \psi\left(e^{\mathrm{ad}_{Z}}\right)Y, \quad \psi(w) = \frac{w\log w}{w - 1} = 1 + \sum_{m=1}^\infty \frac{(-1)^{m + 1}}{m(m + 1)}(w - 1)^m, \|w\| \lt 1. }[/math]
However, using the relationship between Ad and ad given by (4), it is straightforward to further see that
- [math]\displaystyle{ e^{\mathrm{ad}_{Z}} = e^{\mathrm{ad}_{X}} e^{t\mathrm{ad}_{Y}} }[/math]
and hence
- [math]\displaystyle{ Z'(t) = \psi\left(e^{\mathrm{ad}_{X}} e^{t\mathrm{ad}_{Y}}\right)Y. }[/math]
Putting this into the form of an integral in t from 0 to 1 yields,
- [math]\displaystyle{ Z(1) = \log(\exp X\exp Y) = X + \left( \int^1_0 \psi \left(e^{\operatorname{ad}_X} ~ e^{t \,\text{ad}_Y}\right) \, dt \right) \, Y, }[/math]
an integral formula for Z(1) that is more tractable in practice than the explicit Dynkin's series formula due to the simplicity of the series expansion of ψ. Note this expression consists of X+Y and nested commutators thereof with X or Y. A textbook proof along these lines can be found in (Hall 2015) and (Miller 1972).
Derivation of Dynkin's series formula
![](/wiki/images/thumb/3/3c/Eugene_Dynkin_2003.jpg/220px-Eugene_Dynkin_2003.jpg)
Dynkin's formula mentioned may also be derived analogously, starting from the parametric extension
- [math]\displaystyle{ e^{Z(t)} = e^{tX} e^{tY}, }[/math]
whence
- [math]\displaystyle{ e^{-Z(t)} \frac{de^{Z(t)}}{dt} = e^{-t \, \mathrm{ad}_{Y}}X + Y ~, }[/math]
so that, using the above general formula,
- [math]\displaystyle{ Z' = \frac{\mathrm{ad}_{Z}}{1 - e^{-\mathrm{ad}_{Z}}} ~ \left(e^{-t \, \mathrm{ad}_{Y}}X + Y\right) = \frac{\mathrm{ad}_{Z}}{e^{\mathrm{ad}_{Z}} - 1} ~ \left(X + e^{t \, \mathrm{ad}_{X}}Y\right) . }[/math]
Since, however,
- [math]\displaystyle{ \begin{align} \mathrm{ad_Z} &= \log\left(\exp\left(\mathrm{ad}_Z\right)\right) = \log\left(1 + \left(\exp\left(\mathrm{ad}_Z\right) - 1\right)\right) \\ &= \sum\limits^{\infty}_{n=1} \frac{(-)^{n+1}}{n} (\exp(\mathrm{ad}_Z) - 1)^n ~, \quad \|\mathrm{ad}_Z\| \lt \log 2 ~~, \end{align} }[/math]
the last step by virtue of the Mercator series expansion, it follows that
-
[math]\displaystyle{ Z' = \sum\limits^{\infty}_{n=1} \frac{(-)^{n-1}}{n} \left(e^{\mathrm{ad}_Z} - 1\right)^{n-1} ~ \left(X + e^{t \, \mathrm{ad}_{X}}Y\right)~, }[/math]
(
)
and, thus, integrating,
- [math]\displaystyle{ Z(1) = \int^1 _0 dt ~\frac{dZ(t)}{dt} = \sum^{\infty}_{n=1} \frac{(-)^{n-1}}{n} \int^1 _0 dt ~\left(e^{t \, \mathrm{ad}_{X}} e^{t\mathrm{ad}_{Y}} - 1\right)^{n-1} ~ \left(X + e^{t \, \mathrm{ad}_{X}}Y\right) . }[/math]
It is at this point evident that the qualitative statement of the BCH formula holds, namely Z lies in the Lie algebra generated by X, Y and is expressible as a series in repeated brackets . For each k, terms for each partition thereof are organized inside the integral ∫dt tk−1. The resulting Dynkin's formula is then
[math]\displaystyle{ Z = \sum_{k = 1}^\infty \frac{(-1)^{k-1}}{k} \sum_{s \in S_{k}} \frac{1}{i_1 + j_1 + \cdots + i_k + j_k}\frac{[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}]}{i_1!j_1!\cdots i_k!j_k!}, \quad i_r,j_r \ge 0,\quad i_r + j_r \gt 0,\quad 1 \le r \le k. }[/math]
For a similar proof with detailed series expansions, see (Rossmann 2002).
Combinatoric details
Change the summation index in (5) to k = n − 1 and expand
-
[math]\displaystyle{ \frac{dZ}{dt} = \sum_{k = 0}^\infty \frac{(-1)^{k}}{k + 1}\left\{\left(e^{\mathrm{ad}_{tX}}e^{\mathrm{ad}_{tY}} - 1\right)^kX + \left(e^{\mathrm{ad}_{tX}}e^{\mathrm{ad}_{tY}} - 1\right)^ke^{\mathrm{ad}_{tX}}Y\right\} }[/math]
(
)
in a power series. To handle the series expansions simply, consider first Z = log(eXeY). The log-series and the exp-series are given by
- [math]\displaystyle{ \log(A) = \sum_{k = 1}^\infty \frac{(-1)^{k + 1}}{k}{(A - I)}^k,\quad \text{and}\quad e^X = \sum_{k = 0}^\infty \frac{X^k}{k!} }[/math]
respectively. Combining these one obtains
-
[math]\displaystyle{ \log\left(e^X e^Y\right) = \sum_{k = 1}^\infty \frac{(-1)^{k + 1}}{k}{\left(e^Xe^Y - I\right)}^k = \sum_{k = 1}^\infty \frac{(-1)^{k + 1}}{k}\left({\sum_{i = 0}^\infty \frac{X^i}{i!}\sum_{j = 0}^\infty \frac{Y^j}{j!} - I}\right)^k = \sum_{k = 1}^\infty \frac{(-1)^{k + 1}}{k} \left(\sum_{i,j \ge 0, i + j \gt 1}^\infty \frac{X^iY^j}{i!j!} \right)^k. }[/math]
(
)
This becomes
[math]\displaystyle{ Z = \log\left(e^X e^Y\right) = \sum_{k = 1}^\infty \frac{(-1)^{k + 1}}{k} \sum_{s \in S_k} \frac{X^{i_1}Y^{j_1}\cdots X^{i_k}Y^{j_k}}{i_1!j_1!\cdots i_k!j_k!}, \quad i_r, j_r \ge 0, \quad i_r + j_r \gt 0, \quad 1 \le r \le k, }[/math]
where Sk is the set of all sequences s = (i1, j1, ..., ik, jk) of length 2k subject to the conditions in (99).
Now substitute (eXeY − 1) for (eadtXeadtY − 1) in the LHS of (98). Equation (99) then gives
- [math]\displaystyle{ \begin{align} \frac{dZ}{dt} = \sum_{k = 0}^\infty \frac{(-1)^{k}}{k + 1} \sum_{s \in S_k, i_{k+1} \ge 0} &t^{i_1 + j_1 + \cdots + i_k + j_k}\frac{{\mathrm{ad}_{X}}^{i_1}{\mathrm{ad}_{Y}}^{j_1}\cdots {\mathrm{ad}_{X}}^{i_k}{\mathrm{ad}_{Y}}^{j_k}}{i_1!j_1!\cdots i_k!j_k!}X \\ {}+{} &t^{i_1 + j_1 + \cdots + i_k + j_k + i_{k + 1}}\frac{{\mathrm{ad}_{X}}^{i_1}{\mathrm{ad}_{Y}}^{j_1}\cdots {\mathrm{ad}_{X}}^{i_k}{\mathrm{ad}_{Y}}^{j_k}X^{i_{k+1}}}{i_1!j_1!\cdots i_k!j_k!i_{k+1}!}Y, \quad i_r,j_r \ge 0, \quad i_r + j_r \gt 0,\quad 1 \le r \le k, \end{align} }[/math]
or, with a switch of notation, see An explicit Baker–Campbell–Hausdorff formula,
- [math]\displaystyle{ \begin{align} \frac{dZ}{dt} = \sum_{k = 0}^\infty \frac{(-1)^{k}}{k + 1} \sum_{s \in S_k, i_{k+1} \ge 0} &t^{i_1 + j_1 + \cdots + i_k + j_k}\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}X\right]}{i_1!j_1!\cdots i_k!j_k!}\\ {}+{} &t^{i_1 + j_1 + \cdots + i_k + j_k + i_{k+1}}\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}X^{(i_{k+1})}Y\right]}{i_1!j_1!\cdots i_k!j_k!i_{k+1}!}, \quad i_r,j_r \ge 0, \quad i_r + j_r \gt 0, \quad 1 \le r \le k \end{align}. }[/math]
Note that the summation index for the rightmost eadtX in the second term in (97) is denoted ik + 1, but is not an element of a sequence s ∈ Sk. Now integrate Z = Z(1) = ∫dZ/dtdt, using Z(0) = 0,
- [math]\displaystyle{ \begin{align} Z = \sum_{k = 0}^\infty \frac{(-1)^{k}}{k + 1} \sum_{s \in S_k, i_{k+1} \ge 0} &\frac{1}{i_1 + j_1 + \cdots + i_k + j_k + 1}\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}X\right]}{i_1!j_1!\cdots i_k!j_k!}\\ {}+{} &\frac{1}{i_1 + j_1 + \cdots + i_k + j_k + i_{k+1} + 1}\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}X^{(i_{k+1})}Y\right]}{i_1!j_1!\cdots i_k!j_k!i_{k+1}!}, \quad i_r,j_r \ge 0,\quad i_r + j_r \gt 0,\quad 1 \le r \le k \end{align}. }[/math]
Write this as
- [math]\displaystyle{ \begin{align} Z = \sum_{k = 0}^\infty \frac{(-1)^{k}}{k + 1} \sum_{s \in S_k, i_{k+1} \ge 0} &\frac{1}{i_1 + j_1 + \cdots + i_k + j_k + (i_{k + 1} = 1) + (j_{k+1} = 0)}\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}X^{(i_{k + 1} = 1)}Y^{(j_{k+1} = 0)}\right]}{i_1!j_1!\cdots i_k!j_k!(i_{k+1} = 1)!(j_{k+1} = 0)!}\\ {}+{} &\frac{1}{i_1 + j_1 + \cdots + i_k + j_k + i_{k+1} + (j_{k+1} = 1)}\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}X^{(i_{k+1})}Y^{(j_{k+1} = 1)}\right]}{i_1!j_1!\cdots i_k!j_k!i_{k+1}!(j_{k+1} = 1)!}, \\\\ & (i_r,j_r \ge 0,\quad i_r + j_r \gt 0,\quad 1 \le r \le k). \end{align} }[/math]
This amounts to
-
[math]\displaystyle{ Z = \sum_{k = 0}^\infty \frac{(-1)^{k} }{k + 1} \sum_{s \in S_{k+1} } \frac{1}{i_1 + j_1 + \cdots + i_k + j_k + i_{k + 1} + j_{k+1} }\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}X^{(i_{k + 1})}Y^{(j_{k+1})}\right]}{i_1!j_1!\cdots i_k!j_k!i_{k+1}!j_{k+1}!}, }[/math]
(
)
where [math]\displaystyle{ i_r,j_r \ge 0,\quad i_r + j_r \gt 0,\quad 1 \le r \le k + 1, }[/math] using the simple observation that [T, T] = 0 for all T. That is, in (100), the leading term vanishes unless jk + 1 equals 0 or 1, corresponding to the first and second terms in the equation before it. In case jk + 1 = 0, ik + 1 must equal 1, else the term vanishes for the same reason (ik + 1 = 0 is not allowed). Finally, shift the index, k → k − 1,
[math]\displaystyle{ Z = \log e^Xe^Y = \sum_{k = 1}^\infty \frac{(-1)^{k-1}}{k} \sum_{s \in S_{k}} \frac{1}{i_1 + j_1 + \cdots + i_k + j_k}\frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}\right]}{i_1!j_1!\cdots i_k!j_k!},~ i_r,j_r \ge 0,~ i_r + j_r \gt 0,~ 1 \le r \le k. }[/math]
This is Dynkin's formula. The striking similarity with (99) is not accidental: It reflects the Dynkin–Specht–Wever map, underpinning the original, different, derivation of the formula.[15] Namely, if
- [math]\displaystyle{ X^{i_1}Y^{j_1} \cdots X^{i_k}Y^{j_k} }[/math]
is expressible as a bracket series, then necessarily[18]
-
[math]\displaystyle{ X^{i_1}Y^{j_1} \cdots X^{i_k}Y^{j_k} = \frac{\left[X^{(i_1)}Y^{(j_1)}\cdots X^{(i_k)}Y^{(j_k)}\right]}{i_1 + j_1 + \cdots + i_k + j_k}. }[/math]
(
)
Putting observation (A) and theorem (B) together yields a concise proof of the explicit BCH formula.
See also
- Matrix logarithm
Remarks
- ↑ A proof of the identity can be found in here. The relationship is simply that between a representation of a Lie group and that of its Lie algebra according to the Lie correspondence, since both Ad and ad are representations with ad = dAd.
- ↑
It holds that
- [math]\displaystyle{ \tau(\log z)\phi(-\log z) = 1 }[/math]
- [math]\displaystyle{ \tau(w) = \frac{w}{1 - e^{-w}}. }[/math]
- [math]\displaystyle{ (-1)^k b_k, }[/math]
- ↑ This is seen by choosing a basis for the underlying vector space such that U is triangular, the eigenvalues being the diagonal elements. Then Uk is triangular with diagonal elements λik. It follows that the eigenvalues of U are f(λi). See Rossmann 2002, Lemma 6 in section 1.2.
- ↑ Matrices whose eigenvalues λ satisfy |Im λ| < π are, under the exponential, in bijection with matrices whose eigenvalues μ are not on the negative real line or zero. The λ and μ are related by the complex exponential. See (Rossmann 2002) Remark 2c section 1.2.
Notes
- ↑ Schmid 1982
- ↑ 2.0 2.1 Rossmann 2002 Appendix on analytic functions.
- ↑ Schur 1891
- ↑ Poincaré 1899
- ↑ Suzuki 1985
- ↑ 6.0 6.1 6.2 Rossmann 2002 Theorem 5 Section 1.2
- ↑ Hall 2015 Proposition 3.35
- ↑ See also Tuynman 1995 from which Hall's proof is taken.
- ↑ Sternberg 2004 This is equation (1.11).
- ↑ Rossmann 2002 Proposition 7, section 1.2.
- ↑ Hall 2015 Corollary 3.44.
- ↑ Sternberg 2004 Section 1.6.
- ↑ Hall 2015Section 5.5.
- ↑ Sternberg 2004 Section 1.2.
- ↑ 15.0 15.1 Dynkin 1947
- ↑ Rossmann 2002 Chapter 2.
- ↑ Hall 2015 Chapter 5.
- ↑ Sternberg 2004 Chapter 1.12.2.
References
- Dynkin, Eugene Borisovich (1947), "Вычисление коэффициентов в формуле Campbell–Hausdorff" (in Russian), Doklady Akademii Nauk SSSR 57: 323–326 ; translation from Google books.
- Hall, Brian C. (2015), Lie groups, Lie algebras, and representations: An elementary introduction, Graduate Texts in Mathematics, 222 (2nd ed.), Springer, ISBN 978-3319134666
- Miller, Wllard (1972), Symmetry Groups and their Applications, Academic Press, ISBN 0-12-497460-0
- Poincaré, H. (1899), "Sur les groupes continus", Cambridge Philos. Trans. 18: 220–55
- Rossmann, Wulf (2002), Lie Groups – An Introduction Through Linear Groups, Oxford Graduate Texts in Mathematics, Oxford Science Publications, ISBN 0-19-859683-9
- Schur, F. (1891), "Zur Theorie der endlichen Transformationsgruppen", Abh. Math. Sem. Univ. Hamburg 4: 15–32
- Suzuki, Masuo (1985). "Decomposition formulas of exponential operators and Lie exponentials with some applications to quantum mechanics and statistical physics". Journal of Mathematical Physics 26 (4): 601–612. doi:10.1063/1.526596. Bibcode: 1985JMP....26..601S.
- Tuynman (1995), "The derivation of the exponential map of matrices", Amer. Math. Monthly 102 (9): 818–819, doi:10.2307/2974511
- Veltman, M, 't Hooft, G & de Wit, B (2007). "Lie Groups in Physics", online lectures.
- Wilcox, R. M. (1967). "Exponential Operators and Parameter Differentiation in Quantum Physics". Journal of Mathematical Physics 8 (4): 962–982. doi:10.1063/1.1705306. Bibcode: 1967JMP.....8..962W.
External links
- Sternberg, Shlomo (2004), Lie Algebras, http://www.math.harvard.edu/~shlomo/docs/lie_algebras.pdf
- Schmid, Wilfried (1982), "Poincaré and Lie groups", Bull. Amer. Math. Soc. 6 (2): 175–186, doi:10.1090/s0273-0979-1982-14972-2, https://www.ams.org/journals/bull/1982-06-02/S0273-0979-1982-14972-2/S0273-0979-1982-14972-2.pdf
![]() | Original source: https://en.wikipedia.org/wiki/Derivative of the exponential map.
Read more |