Zeitabhängigkeit einer Funktion eines Operators

Angenommen, ich kenne die Zeitentwicklung eines Operators, die gegeben ist durch Ö ^ ˙ = ich [ H ^ ( T ) , Ö ^ ( T ) ] . Jetzt möchte ich mir eine Funktion ansehen F ^ ( Ö ^ , und ich möchte die zeitliche Entwicklung der "Werte" dieser Funktion wissen. Ich gehe davon aus, dass ich expandieren kann F ^ in einer Taylor-Serie: Since Ö ^ hat eine einheitliche Zeitentwicklung U , Ich kann schreiben:

F ^ ( Ö ^ ( T ) ) = Σ ich C ich Ö ^ ich ( T ) = Σ ich C ich ( U ^ T , T 0 Ö ^ ( T 0 ) U ^ T 0 , T ) ich = Σ ich C ich U ^ T , T 0 Ö ^ ( T 0 ) ich U ^ T 0 , T = U ^ T , T 0 F ^ ( Ö ^ ( T 0 ) ) U ^ T 0 , T
Dann ergibt die Berechnung der zeitlichen Ableitung:
D D T F ^ ( Ö ^ ( T ) ) = ich [ H ^ , F ^ ( Ö ^ ( T ) ) ]

Ich komme jedoch nicht zu demselben Ergebnis, wenn ich versuche, die Ableitung direkt zu berechnen:

D D T F ^ ( Ö ^ ( T ) ) = Σ J = 1 C J J Ö ^ J 1 ( T ) Ö ^ ˙ = Σ J = 1 C J J Ö ^ J 1 ( T ) ich [ H ^ ( T ) , Ö ^ ( T ) ]
Um zum selben Ergebnis zu kommen, müsste ich den Hamiltonoperator permutieren H ^ durch das ganze Produkt ( Ö ^ ( T ) ) J 1 . Ich stecke hier fest. Mache ich irgendwo einen Fehler?

Antworten (2)

Ableitung des Produkts von Operatorwertfunktionen ist:

D D T ( A ( T ) B ( T ) ) = ( D D T A ( T ) ) B ( T ) + A ( T ) ( D D T B ( T ) ) .

Sie können es mit der Standarddefinition der Ableitung beweisen.

Sie haben diese Nichtkommutativität der Ableitung eines Operators mit dem Operator selbst beim Aufschreiben der Ableitung nach der Taylorentwicklung übersehen. Sobald Sie es behoben haben, können Sie sehen, dass beide Ausdrücke für die Zeitentwicklung der Funktion eines Operators übereinstimmen.

Was Benutzer Sunyam über eine nicht-kommutative Leibniz-Regel gesagt hat, ist genau richtig. Daher OP's letzter Schritt für die J 'te Macht sein sollte

D D T Ö J   = Leibniz   ich = 0 J 1 Ö ich Ö ˙ Ö J 1 ich   =   ich ich = 0 J 1 Ö ich [ H , Ö ] Ö J 1 ich   =   ich [ H , Ö J ] .