Формула Бейкера-Кэмпбелла-Хаусдорфа: как сложить экспоненты

Когда числа $a$ и $b$ перестановочны, всё просто: $e^{a}e^{b}=e^{a+b}$. Но стоит заменить числа на матрицы или операторы, как равенство ломается - потому что $XY\neq YX$. Возникает закономерный вопрос: чему тогда равен логарифм произведения $e^{X}e^{Y}$? Ответ даёт формула Бейкера-Кэмпбелла-Хаусдорфа (БКХ): этот логарифм выражается через сам $X+Y$ и бесконечный ряд из вложенных коммутаторов. Ниже разберём структуру формулы, выпишем первые члены, поймём, откуда берутся коммутаторы, и где это работает - от теории групп Ли до квантовой механики.

Зачем вообще нужна формула

Экспонента матрицы определяется тем же рядом, что и обычная: $e^{X}=\sum_{k\ge 0}X^{k}/k!$. Для чисел произведение экспонент даёт сумму показателей. Для матриц это верно только если $X$ и $Y$ коммутируют, то есть $XY=YX$. В общем случае произведение $e^{X}e^{Y}$ снова является экспонентой некоторого оператора $Z$, но этот $Z$ - не $X+Y$.

Формула Бейкера-Кэмпбелла-Хаусдорфа отвечает на вопрос: как устроен этот $Z$. Она утверждает, что

$$e^{X}e^{Y}=e^{Z},\qquad Z=\log\!\left(e^{X}e^{Y}\right),$$

причём $Z$ раскладывается в ряд, все члены которого, кроме первого $X+Y$, собраны из коммутаторов $[X,Y]=XY-YX$ и их повторных вложений. Иными словами, отклонение от наивного $X+Y$ полностью определяется тем, насколько $X$ и $Y$ не перестановочны.

Рассчитать для своей задачи

Это и есть глубокая причина значимости формулы: она переводит умножение в группе (нелинейная операция) в сложение с поправками в алгебре, где живут коммутаторы. Именно так устроен мост между группой Ли и её алгеброй Ли.

Первые члены ряда

Выпишем разложение явно. Если оставлять члены по возрастанию числа множителей $X$, $Y$, то

$$\begin{aligned} Z={}&X+Y+\tfrac{1}{2}[X,Y]\\ &+\tfrac{1}{12}\bigl([X,[X,Y]]+[Y,[Y,X]]\bigr)\\ &-\tfrac{1}{24}[Y,[X,[X,Y]]]+\cdots \end{aligned}$$

Разберём по порядкам:

• Первый порядок: $X+Y$ - наивный ответ, который был бы точным для чисел.
• Второй порядок: $\tfrac{1}{2}[X,Y]$ - первая поправка. Она обращается в ноль ровно тогда, когда $X$ и $Y$ коммутируют, возвращая нас к $e^{X}e^{Y}=e^{X+Y}$.
• Третий порядок: двойные коммутаторы с коэффициентом $1/12$. Симметричная комбинация: $[X,[X,Y]]$ и $[Y,[Y,X]]$.
• Четвёртый порядок: тройной коммутатор с $-1/24$.

Ключевое наблюдение: в формуле нет ничего, кроме $X$, $Y$ и их коммутаторов. Никаких отдельных произведений вроде $XY$ без вычитания $YX$ не появляется. Это содержание теоремы Фридрихса: $Z$ всегда лежит в свободной алгебре Ли, порождённой $X$ и $Y$.

Откуда берутся коммутаторы

Интуиция такая. Перемножим ряды $e^{X}=1+X+\tfrac{X^{2}}{2}+\cdots$ и $e^{Y}=1+Y+\tfrac{Y^{2}}{2}+\cdots$ почленно, а затем возьмём логарифм $\log(1+u)=u-\tfrac{u^{2}}{2}+\cdots$. На втором порядке появляется $XY$, но логарифм даёт $-\tfrac12(X+Y)^{2}=-\tfrac12(X^{2}+XY+YX+Y^{2})$. Складывая вклады, члены $X^{2}$ и $Y^{2}$ сокращаются, а остаётся ровно $\tfrac12(XY-YX)=\tfrac12[X,Y]$.

Рассчитать для своей задачи

То, что сокращение происходит на каждом порядке и оставляет только коммутаторы, - нетривиальный факт. Есть несколько способов это доказать строго: через дифференциальное уравнение Магнуса, через рекурсию Дынкина (которая даёт явную формулу для коэффициентов) и через формальную теорию свободных алгебр Ли. Явное выражение Дынкина громоздко, но на практике почти никогда не нужно дальше третьего-четвёртого порядка.

Когда ряд сходится

Формула как формальный ряд верна всегда - над любым некоммутативным кольцом, без вопросов сходимости. Но если мы хотим, чтобы $Z$ был настоящим оператором, ряд должен сходиться.

Достаточное условие простое: для матриц ряд БКХ сходится, если $\lVert X\rVert+\lVert Y\rVert$ достаточно мала. Типичная оценка области сходимости - $\lVert X\rVert+\lVert Y\rVert<\log 2\approx 0{,}693$ в подходящей операторной норме. Грубо говоря, формула «локальна»: она надёжно работает рядом с единицей группы, для малых $X$, $Y$. Для больших операторов ряд может расходиться, хотя само произведение $e^{X}e^{Y}$ остаётся осмысленным.

Обратная задача: формула Цассенхауза

У БКХ есть «зеркальный» родственник - разложение Цассенхауза, которое решает обратную задачу: разбить одну экспонента суммы в произведение экспонент:

$$e^{X+Y}=e^{X}\,e^{Y}\,e^{-\frac12[X,Y]}\,e^{\frac16(2[Y,[X,Y]]+[X,[X,Y]])}\cdots$$

Здесь каждый следующий множитель содержит коммутаторы всё более высокого порядка. Цассенхауз особенно полезен в численных методах (расщепление операторов, симплектические интеграторы) и в квантовой физике, где нужно разложить эволюцию $e^{-it(H_1+H_2)}$ на отдельные шаги по $H_1$ и $H_2$. Связь прямая: БКХ собирает экспоненты, Цассенхауз - разбирает.

Где это применяют

Формула БКХ - один из рабочих инструментов сразу нескольких областей:

• Теория групп и алгебр Ли. БКХ показывает, что групповое умножение вблизи единицы полностью определяется коммутатором алгебры. Это сердцевина соответствия Ли между группой и алгеброй и доказательства третьей теоремы Ли.
• Квантовая механика. Соотношения Вейля $e^{i a\hat x}e^{i b\hat p}=e^{-i\hbar ab}e^{i(a\hat x+b\hat p)}$ - прямое следствие БКХ для центрального коммутатора $[\hat x,\hat p]=i\hbar$.
• Численные методы. Расщепление Троттера-Сузуки $e^{X+Y}\approx (e^{X/n}e^{Y/n})^{n}$ контролируется по ошибке именно через члены БКХ.
• Теория управления и робототехника. Композиция движений (винтовых перемещений) описывается коммутаторами скоростей - это снова БКХ на группе $SE(3)$.

Если нужно прочувствовать коммутаторы на более базовом уровне, полезно сперва разобрать структуру линейных операторов и понять, почему порядок применения вообще важен.

Частые ошибки

• Писать $e^{X}e^{Y}=e^{X+Y}$ для некоммутирующих операторов. Это верно только при $[X,Y]=0$. В общем случае теряется вся поправочная серия.
• Забывать знак во второй поправке. Член $\tfrac12[X,Y]$ антисимметричен: $\log(e^{Y}e^{X})$ даёт $\tfrac12[Y,X]=-\tfrac12[X,Y]$.
• Считать ряд всегда сходящимся. Для больших норм $X$, $Y$ ряд может расходиться, хотя произведение экспонент существует.
• Путать коэффициенты Цассенхауза и БКХ. Это разные разложения с разными знаками; легко перепутать $-\tfrac12[X,Y]$ (Цассенхауз) и $+\tfrac12[X,Y]$ (БКХ).
• Тянуть ряд до высоких порядков без необходимости. Коэффициенты Дынкина быстро усложняются; в учебных задачах почти всегда хватает первых двух-трёх членов.

FAQ

Чему равны первые два члена формулы БКХ? $Z=X+Y+\tfrac12[X,Y]+\dots$ - сумма операторов плюс половина их коммутатора. Если $X$ и $Y$ коммутируют, остаётся просто $X+Y$.

Почему в формуле появляются только коммутаторы, а не произвольные произведения? Это содержание теоремы Фридрихса: логарифм $\log(e^{X}e^{Y})$ всегда лежит в свободной алгебре Ли, порождённой $X$ и $Y$. Все «лишние» некоммутаторные члены сокращаются на каждом порядке.

В чём разница между формулой БКХ и разложением Цассенхауза? БКХ собирает произведение двух экспонент в одну: $e^{X}e^{Y}=e^{Z}$. Цассенхауз решает обратную задачу - раскладывает $e^{X+Y}$ в произведение экспонент с коммутаторными поправками. Это два взаимно обратных инструмента.

Коротко

Формула Бейкера-Кэмпбелла-Хаусдорфа выражает логарифм $Z=\log(e^{X}e^{Y})$ через ряд из $X+Y$ и вложенных коммутаторов: $X+Y+\tfrac12[X,Y]+\tfrac1{12}([X,[X,Y]]+[Y,[Y,X]])+\cdots$. Первая поправка $\tfrac12[X,Y]$ исчезает при коммутирующих операторах, возвращая $e^{X+Y}$. Ряд сходится для малых норм и служит мостом между групповым умножением и алгеброй Ли, а его «зеркало» - разложение Цассенхауза.