# Lie-Produktformel

Die Lie-Produktformel oder liesche Produktformel, benannt nach Sophus Lie, ist eine Formel zur Berechnung des Wertes der Exponentialfunktion von einer Summe zweier quadratischer Matrizen. Wegen späterer Verallgemeinerungen durch Hale Trotter spricht man auch von der Trotter-Produktformel oder Lie-Trotter-Produktformel.

## Die Produktformel

Seien $A$ und $B$ zwei quadratische Matrizen gleicher Größe über $\mathbb {R}$ oder $\mathbb {C}$, etwa $n\times n$-Matrizen. Dann kann man ihre Summe $A+B$ bilden. Ferner kann man die Exponentialfunktion von quadratischen Matrizen durch Einsetzen in die Exponentialreihe definieren, das heißt
    $e^{A}:=\sum _{k=0}^{\infty }{\frac {A^{k}}{k!}}$.
Dabei wird der Grenzwert der Reihe im Raum der $n\times n$-Matrizen gebildet, das heißt komponentenweise. Mit diesen Daten gilt die Lie-Produktformel:
    $e^{A+B}=\lim _{N\to \infty }\left(e^{A/N}e^{B/N}\right)^{N}$.

## Bemerkung

Die aus der Analysis bekannte Formel für die Exponentialfunktion einer Summe gilt nur eingeschränkt:
    $e^{A+B}=e^{A}e^{B}$ falls $AB=BA$,
denn falls die Matrizen $A$ und $B$ vertauschen, kann man den aus der Analysis bekannten Beweis der Formel
    $e^{x+y}=e^{x}e^{y}$ für alle $x,y\in \mathbb {K}$ ($\mathbb {K}$ steht für $\mathbb {R}$ oder $\mathbb {C}$)
einfach kopieren. Die Lie-Produktformel verallgemeinert diese Situation, denn wenn $A$ und $B$ vertauschen, so vertauschen auch $\textstyle e^{A/N}$ und $\textstyle e^{B/N}$ und man erhält
    $\left(e^{A/N}e^{B/N}\right)^{N}=\left(e^{A/N}\right)^{N}\left(e^{B/N}\right)^{N}=e^{A}e^{B}$.

## Anwendung

Ist $G$ eine abgeschlossene Untergruppe der allgemeinen linearen Gruppe $\mathrm {GL} (n,\mathbb {K} )$, so definiert man die zugeordnete Lie-Algebra durch
    $L(G):=\{A\in \mathrm {M} _{n}(\mathbb {K} )\mid e^{tA}\in G{\text{ für alle }}t\in \mathbb {R} \}$.
Bei dieser Definition ist nicht einmal klar, dass die so definierte Menge $L(G)$ überhaupt ein Vektorraum ist. Offensichtlich ist nur, dass mit $a\in \mathbb {R} \setminus \{0\}$ und $A\in L(G)$ auch $aA\in L(G)$ ist, denn es ist $e^{tA}\in G$ für alle $t\in \mathbb {R}$ genau dann, wenn $e^{taA}\in G$ für alle $t\in \mathbb {R}$. Um zu zeigen, dass $L(G)$ auch bzgl. der Addition abgeschlossen ist, verwendet man obige Lie-Produktformel wie folgt.
Seien $A,B\in L(G)$. Dann ist definitionsgemäß $\textstyle e^{tA/N},e^{tB/N}\in G$ für alle $t\in \mathbb {R} ,N\in \mathbb {N}$. Da $G$ eine Gruppe ist, folgt auch $\textstyle \left(e^{tA/N}e^{tB/N}\right)^{N}\in G$ für alle $t\in \mathbb {R} ,N\in \mathbb {N}$. Da $G$ abgeschlossen ist, enthält $G$ auch den Grenzwert für $N\to \infty$, und das führt nach der Lie-Produktformel zu $\textstyle e^{tA+tB}\in G$ und damit auch $\textstyle e^{t(A+B)}\in G$ für alle $t\in \mathbb {R}$. Aber das bedeutet definitionsgemäß $A+B\in L(G)$.

## Verallgemeinerungen

Die Lie-Produktformel gilt allgemeiner in beliebigen Banachalgebren mit Einselement. Die Exponentialfunktion eines Elements der Banachalgebra kann wieder über die Exponentialreihe definiert werden. Sind $A$ und $B$ Elemente einer solchen Banachalgebra, so gilt:
    $e^{A+B}=\lim _{N\to \infty }\left(e^{A/N}e^{B/N}\right)^{N}$
Insbesondere gilt die Formel für alle beschränkten Operatoren auf einem Hilbertraum. Auf unendlichdimensionalen Hilberträumen sind aber auch gewisse unbeschränkte Operatoren, die dicht-definierten, selbstadjungierten Operatoren $A$ mit Definitionsbereich $D(A)$ von besonderem Interesse. Für diese können mittels des Spektralsatzes die unitären Operatoren $\textstyle e^{\mathrm {i} tA},\,t\in \mathbb {R}$ gebildet werden. Dann gilt folgende auf Hale Trotter zurückgehende Verallgemeinerung, die man die Trotter-Produktformel oder Lie-Trotter-Produktformel nennt:
    Seien $A$ und $B$ zwei selbstadjungierte Operatoren mit Definitionsbereichen $D(A)$ bzw. $D(B)$ in einem komplexen Hilbertraum, so dass $A+B$ auf $D(A)\cap D(B)$ wesentlich selbstadjungiert ist. Dann gilt
    $e^{\mathrm {i} t(A+B)}=s-\lim _{N\to \infty }\left(e^{\mathrm {i} tA/N}e^{\mathrm {i} tB/N}\right)^{N}$.
Dabei bedeutet $s-\lim$ Konvergenz bzgl. der starken Operatortopologie, das heißt, wendet man beide Seiten der Formel auf einen festen Vektor des Hilbertraums an, so liegt Normkonvergenz vor.
Da die $\textstyle e^{\mathrm {i} tA}$ unitär sind und daher als beschränkte Operatoren die Norm 1 haben, handelt es sich um den Prototyp einer kontraktiven, stark stetigen Halbgruppe auf einem Banachraum. Die Lie-Trotter-Produktformel lässt sich auf diese Situation wie folgt verallgemeinern, wobei $\textstyle e^{tA}$ den $t$-ten Halbgruppenoperator zum Erzeuger $A$ bezeichnet:
    Seien $A$, $B$ und $C$ Erzeuger kontraktiver, stetiger Halbgruppen auf einem Banachraum $X$, und es sei $Cx=Ax+Bx$ für alle $x$ aus einem wesentlichen Bereich von $C$. Dann gilt
    $e^{tC}=s-\lim _{N\to \infty }\left(e^{tA/N}e^{tB/N}\right)^{N}$ für alle $t\in \mathbb {R} _{\geq 0}$,
    das heißt
    $e^{tC}x=\lim _{N\to \infty }\left(e^{tA/N}e^{tB/N}\right)^{N}x$ für alle $x\in X$ und $t\in \mathbb {R} _{\geq 0}$