Eine formale operatorwertige Exponentialfunktion mit Zeitordnung, bezeichnet T exp(−(i/ħ) ∫ dt H(t)), die die unitäre Entwicklung erzeugt, wenn die zu verschiedenen Zeiten wirkenden Generatoren nicht kommutieren; sie ist die kompakte Darstellung, deren Entwicklung die Dyson-Reihe reproduziert.

Prinzip

Wenn Generatoren (Hamiltonoperatoren) zu verschiedenen Zeiten nicht kommutieren, ist die naive Exponentiation eines Integrals ungültig; Zeitordnung ordnet die Operatorfaktoren nach Zeitargument, sodass die Exponentialfunktion zu einem produktgeordneten Integral wird, das Nichtkommutativität und Kausalität respektiert.

Demonstration

Der Entwicklungsoperator im Wechselwirkungsbild lässt sich schreiben als U_I(t,t0) = T exp(−(i/ħ) ∫_{t0}^t dt' H_I(t')). Die Entwicklung dieser zeitgeordneten Exponentialfunktion ergibt die verschachtelten Integrale der Dyson-Reihe; für kommutierende H_I(t) reduziert sich die zeitgeordnete Exponentialfunktion auf die gewöhnliche Exponentialfunktion des Zeitintegrals.

Fehlanwendung

Die zeitgeordnete Exponentialfunktion als gewöhnliche Exponentialfunktion zu behandeln und nichtkommutierende Operatoren zu vertauschen oder Baker–Campbell–Hausdorff-Vereinfachungen ohne Prüfung der Kommutatoren anzuwenden, liefert falsche Operatorausdrücke; das Ignorieren von Kontur-/Zeitordnungen in realzeitlichen Nichtgleichgewichtsproblemen ist ein weiterer häufiger Fehler.

Konsequenz

Gibt eine prägnante Definition des Entwicklungsoperators, die Nichtkommutativität der Operatoren und Kausalität wahrt; sie rechtfertigt die Dyson-Expansion und ist Ausgangspunkt für Resummationen und alternative Expansionen (Magnus, produktgeordnete Faktorisierungen).

Umkehrung

Wenn alle zeitlichen Generatoren für verschiedene Zeiten kommutieren, kollabiert die zeitgeordnete Exponentialfunktion zu exp(−(i/ħ) ∫ H(t) dt), der gewöhnlichen Exponentialfunktion des integrierten Generators; die Umkehr ist also die kommutierende Zeitgrenze, in der Ordnung irrelevant wird.

Abgrenzung

Gilt für stückweise stetige operatorwertige Generatoren und verlangt eine Vorschrift für Gleichzeitordnungen sowie für Konturordnungen in Nichtgleichgewichts- oder Temperaturformalen; bei singulären Zeitabhängigkeiten sind Regularisierung und sorgfältige Definitionsbereichskontrolle erforderlich.

Semantische Spannung

Steht in Beziehung zu alternativen Umordnungen: Die Magnus-Expansion liefert eine einzige Exponentialfunktion einer Serie verschachtelter Kommutatoren, während die zeitgeordnete Exponentialfunktion ein produktgeordnetes Objekt ist; es besteht Spannung zwischen der kompakten formalen Notation und praktischen Serien-/Resummationsansätzen.

Synthese

Die zeitgeordnete Exponentialfunktion ist das kompakte Operatorobjekt, das kausale, nichtkommutative Zeitentwicklung kodiert; sie erzwingt zeitliche Ordnung, sodass ihre Entwicklung die Dyson-Reihe liefert, und sie verbindet zu Resummationstechniken wie Magnus und produktgeordneten Faktorisierungen.