Ableitungen des Exponentialoperators

Ich lese das Papier (Gl. (14) und Gl. (10)) und bin neugierig geworden, wie das Papier diese Gleichung verwendet:

C exp ( ich Δ T ( X + C Y ) ) = exp ( ich Δ T ( X + C Y ) ) ( ich Y Δ T + Δ T 2 2 [ X + C Y , Y ] + ich Δ T 3 6 [ X + C Y , [ X + C Y , Y ] ] + )

Kann mir jemand beim Herleiten der Gleichung helfen?

Antworten (2)

Die Standardidentität für die Ableitung der Exponentialkarte ist

C e M ( C ) = e M ( 1 1 2 [ M , ] + 1 6 [ M , [ M , ] ] + . . . ) C M ,
Wo leitet das Argument auf der rechten Seite weiter, falls Sie mit der adjungierten Karte nicht vertraut waren.

Also einfach einstecken M = ich Δ T ( X + C Y ) ,

C e ich Δ T ( X + C Y ) = e ich Δ T ( X + C Y ) Δ T ( ich Y + [ Δ T ( X + C Y ) , Y ] / 2 + ich [ Δ T ( X + C Y ) , [ Δ T ( X + C Y ) , Y ] ] / 6 + . . . ) ,
in Höhe Ihres Ergebnisses.

Die gesuchte Identität von OP ist

(1) e A ^ D D λ e A ^   =   0 1 D S   e S A ^ D A ^ D λ e S A ^   = ( 3 )   0 1 D S   e S   A D A ^ D A ^ D λ   =   0 1 D S N = 0 ( S   A D A ^ ) N N ! D A ^ D λ   = ( 4 )   N = 0 ( A D A ^ ) N ( N + 1 ) ! D A ^ D λ ,

wo wir die adjungierte Abbildung definiert haben

(2) A D A ^     [ A ^ ,     ] ,

die Identität verwendet

(3) e X ^ Y ^ e X ^   =   e A D X ^ Y ^ ,

und das Integral verwendet

(4) 0 1 D S   S N   =   1 N + 1 .

Die erste Gleichheit in Gl. (1) wird in meiner Phys.SE-Antwort hier bewiesen .

Das ist sehr hilfreich, danke. Wie sind Sie von der 2. zur 3. und 3. zur 4. Zeile in Gl. (1)? (Und ich nehme an, dass wir aus Gleichung (1) einfach sagen können e A auf jeder Seite und Stecker A = M, um die interessierende Gleichung da zu reproduzieren e A e A = ICH .)
(Oops, der Übergang von der 2. zur 3. Zeile ist nur eine Taylor-Entwicklung!)
Ich habe die Antwort aktualisiert.
Danke! Ich bin mit adjoint map (und Lie Algebra/Gruppe) nicht vertraut. Wie soll die nebenstehende Karte hier erscheinen? Was ist die mathematisch/physikalische Intuition, um adjungierte Karten in der Berechnung zu verbinden?
Während die adjungierte Abbildung sicherlich ein interessantes Thema ist, wird für die gesuchte Formel (1) nur die Definition (2) selbst benötigt.