Formule de Baker-Campbell-Hausdorff

En mathématiques, la formule de Baker-Modèle:Lien-Hausdorff est la solution Z de l'équation :

$e^Z=e^X{e}^Y$

où $X$, $Y$ et $Z$ sont des matrices, ou plus généralement des éléments d'une algèbre de Lie d'un groupe de Lie.

Expression

Avec les crochets de Lie, elle s'écrit :

$Z=X+Y+\frac{1}{2}[X,Y]+\frac{1}{12}([X,[X,Y]]-[Y,[X,Y]])+\dots$

Une formule reliée est la formule de Zassenhaus: $e^{X+Y}=e^X{e}^Y{e}^{-\frac{1}{2}[X,Y]}{e}^{\frac{1}{6}(2[Y,[X,Y]]+[X,[X,Y]])}{e}^{\frac{-1}{24}([[[X,Y],X],X]+3[[[X,Y],X],Y]+3[[[X,Y],Y],Y])}\cdots$

En particulier lorsque $X$et $Y$ commutent nous avons $e^{X+Y}=e^X{e}^Y$

Lorsque $X$ et $Y$ commutent avec leur commutateur (c'est-à-dire $[X,[X,Y]]=[Y,[X,Y]]=0$) le résultat se restreint à la formule dite de Glauber : $e^{X+Y}=e^X{e}^Y{e}^{-\frac{1}{2}[X,Y]}$. Elle est souvent appliquée en physique quantique avec les opérateurs position et impulsion $X$, $P$.

Voir aussi

• Algèbre de Lie
• Exponentielle d'une matrice
• Théorème d'Ado, qui permet de ramener le cas des algèbres de Lie au cas matriciel.