Die mathematische Herleitung, wie sich ein physikalischer Zustand unter einem Erzeuger (bei Quantensystemen der Hamiltonoperator) in der Zeit entwickelt, wobei formale Propagatoren wie der unitäre Zeitevolutionsoperator U(t) = exp(-iHt/ħ), zeitgeordnete Dyson-Reihen für zeitabhängige Erzeuger und Approximationen wie Trotter-Zerlegungen entstehen.

Prinzip

Zeitentwicklung wird durch einen Operator erzeugt mittels Exponentiation (bei zeitunabhängigen Erzeugern) oder zeitgeordneten Exponentialen (bei zeitabhängigen); die Eigenschaften des Erzeugers (Selbstadjungiertheit, Beschränktheit, Kommutationsrelationen) bestimmen Unitarität, Erhaltungssätze und Definitionsbereichsfragen.

Demonstration

Leiten Sie U(t)=exp(-iHt/ħ) für einen zeitunabhängigen hermiteschen Hamiltonoperator über die Spektralzerlegung her: Schreiben Sie H in seiner Eigenbasis, sodass die Exponentialfunktion diagonal auf Eigenzuständen wirkt und Phasenfaktoren exp(-i E_n t/ħ) liefert. Für ein zeitabhängiges H(t) leiten Sie die Dyson-Reihe ab und zeigen Terme erster Ordnung der Störungstheorie.

Fehlanwendung

Das naive Exponentieren eines zeitabhängigen Hamiltonians durch Ersetzen der Exponentialfunktion eines Integrals durch das Integral der Exponentialfunktionen (Nichtkommutativität ignorierend), was zu falschen Propagatoren führt; oder das Ignorieren, dass ein unbeschränkter Hamiltonoperator Definitionsbereichsspezifikation für die Exponentialfunktion erfordert.

Konsequenz

Eine korrekte Herleitung liefert den Propagator, der exakte oder kontrolliert approximative Dynamik erzeugt, erzwingt Erhaltungssätze aus Symmetrien und bildet die Grundlage für perturbative Reihen, Streutheorie und numerische Zeitschrittverfahren.

Umkehrung

Betrachte die zeitumgekehrte Entwicklung durch Anwendung des adjungierten Propagators U(-t)=U(t)† oder verallgemeinere auf irreversible Dynamik, beschrieben durch Halbgruppen und Mastergleichungen für offene Systeme, wo die Entwicklung nicht unitär ist.

Abgrenzung

Gilt für geschlossene Quantensysteme mit wohldefinierten Erzeugern und für klassische lineare Systeme; bricht ohne sorgfältige funktional-analytische Behandlung bei unbeschränkten Operatoren zusammen und muss für offene Systeme, Messungen oder stochastische Dynamik modifiziert werden.

Semantische Spannung

Spannung zwischen exakten formalen Lösungen durch spektrale Exponentiation und dem praktischen Bedarf an Approximationen, wenn Erzeuger nicht kommutieren oder zeitabhängig sind: Reihenentwicklungen (Dyson) und Splitting-Verfahren (Trotter) tauschen formale Einfachheit gegen praktikable Berechenbarkeit mit kontrollierten Fehlern.

Synthese

Die Herleitung der Zeitentwicklung übersetzt die algebraischen und spektralen Eigenschaften eines Erzeugers in einen Propagator — unitär, wenn anwendbar, oder verallgemeinert sonst — und liefert somit die explizite Vorschrift, wie Zustände und Observablen sich ändern, und bildet das Fundament für Analyse, Approximation und numerische Simulation.