Baker–Campbell–Hausdorff 公式

形式陈述

在有限维实或复 Lie 群中， $X,Y$ 足够接近 $0$ 时，选取单位元附近的对数分支，有收敛展开

\begin{aligned} \operatorname{BCH}(X,Y) ={}&X+Y+\frac12[X,Y]\\ &+\frac1{12}[X,[X,Y]]+\frac1{12}[Y,[Y,X]]+\cdots. \end{aligned}

每一阶都是由 $X,Y$ 的嵌套 Lie 括号组成的有理系数多项式；“阶数”按出现的 $X,Y$ 总个数计算。这里的省略号不是说高阶项为零，而是要么保留收敛级数，要么明确说明截断误差。

也可以把它解释成特征零域上的形式恒等式：在自由结合代数中引入与系数交换的形式变量 $t$ ，逐次比较 $\log(e^{tX}e^{tY})$ 的系数。形式版本不谈数值收敛。要把 $t$ 代成某个非零数，仍须另有收敛性或幂零截断等保证。

矩阵情形最容易看到 $1/2$ 的来源。保留到 $t^2$ ：

e^{tX}e^{tY} =I+t(X+Y)+t^2\left(\frac12X^2+XY+\frac12Y^2\right)+O(t^3).

设它等于 $\exp(t(X+Y)+t^2C+O(t^3))$ 。右边展开为

I+t(X+Y)+t^2\left(C+\frac12(X+Y)^2\right)+O(t^3).

比较二次项，得到

C=\frac12X^2+XY+\frac12Y^2-\frac12(X^2+XY+YX+Y^2) =\frac12(XY-YX).

所以最早出现的偏差恰是 $\frac12[X,Y]$ 。这一推导解释了公式的第一个非平凡项；它本身还不能证明所有高阶项都是 Lie 括号。完整证明可在自由结合代数中使用指数与对数：指数是群样元素，对数是本原元素，而特征零时本原元素恰来自自由 Lie 代数。

直觉

实数满足 $e^xe^y=e^{x+y}$ ，矩阵却可能因乘法次序而偏离这个公式。如果先沿 Lie 代数方向 $X$ 走，再沿 $Y$ 走，能否找出一个等效生成元？在单位元附近，指数映射有局部逆，Baker–Campbell–Hausdorff（BCH）公式回答了

\log(\exp X\exp Y)

与 $X+Y$ 的差别。

例子与边界

考虑严格上三角矩阵

X=aE_{12},\qquad Y=bE_{23},\qquad Z=E_{13}.

其中 $E_{ij}$ 只有第 $(i,j)$ 项为 $1$ 。矩阵相乘给出

[X,Y]=abZ,\qquad [X,Z]=[Y,Z]=0.

所有长度至少三的嵌套括号都为零，因此 BCH 在二阶准确停止：

\operatorname{BCH}(X,Y)=X+Y+\frac{ab}{2}Z.

不用无穷级数也能直接核验。因为 $X^2=Y^2=0$ ，

e^Xe^Y=(I+X)(I+Y)=I+X+Y+abZ.

令 $W=X+Y+\frac{ab}{2}Z$ ，则 $W^2=abZ$ 、 $W^3=0$ ，所以

e^W=I+W+\frac12W^2=I+X+Y+abZ.

例如 $a=2,b=3$ 时，乘积的 $(1,3)$ 项为 $6$ ，而其对数的 $(1,3)$ 项只有 $3$ ；指数中的 $W^2/2$ 再补上另外 $3$ 。把乘积直接换成 $e^{X+Y}$ 会只得到 $(1,3)$ 项为 $3$ 的矩阵，差异可以逐项看到。

对一般的三维 Heisenberg Lie 代数元素，记

U=aE_{12}+bE_{23}+cE_{13},\quad V=a'E_{12}+b'E_{23}+c'E_{13}.

则指数坐标中的群乘法为

(a,b,c)\star(a',b',c') =\left(a+a',b+b',c+c'+\frac12(ab'-ba')\right).

这是一套准确的非交换乘法坐标；第三坐标记录前两方向交换次序产生的差别。

推论与应用

若 $[X,Y]=0$ ，所有修正项消失，得到 $\exp X\exp Y=\exp(X+Y)$ 。若 Lie 代数幂零，高阶括号最终消失，BCH 成为有限多项式；在连通单连通幂零 Lie 群中，指数还是全局微分同胚，因此该多项式给出全局群乘法。

“幂零群中的全局坐标”不能推广到任意 Lie 群。圆群已有周期， $SL_2(\mathbb R)$ 还有不在指数像中的元素。即使某个乘积存在对数，也不能任意选分支后宣称它等于局部 BCH 值。

将 $Y$ 替换为 $-X$ 不会产生修正，符合 $e^Xe^{-X}=I$ ；交换 $X,Y$ 则把二阶修正反号。这两个检查有助于发现符号错误。数值分裂方法可以利用 BCH 分析多次短步的误差，但截断误差阶数须对步长说明，不能把形式等式当成任意大步长的误差界。

参考资料

Pavel Etingof，Lie Groups and Lie Algebras I，§14.3，Theorem 14.6 与 Example 14.7：普适 Lie 多项式结构和前三阶项。
Alexander Kirillov Jr.，An Introduction to Lie Groups and Lie Algebras，§3.7，Campbell–Hausdorff 公式。