La dérivation mathématique de la manière dont un état physique évolue dans le temps sous l'action d'un générateur (pour les systèmes quantiques, l'Hamiltonien), conduisant à des propagateurs formels tels que l'opérateur d'évolution temporelle unitaire U(t) = exp(-iHt/ħ), à la série de Dyson ordonnée en temps pour les générateurs dépendant du temps, et à des approximations comme les décompositions de Trotter.

Principe

L'évolution temporelle est engendrée par un opérateur via exponentiation (pour des générateurs indépendants du temps) ou par des exponentielles ordonnées en temps (pour des générateurs dépendant du temps) ; les propriétés du générateur (auto-adjointité, bornitude, relations de commutation) déterminent l'unité, les lois de conservation et les questions de domaine.

Démonstration

Dériver U(t)=exp(-iHt/ħ) pour un Hamiltonien hermitien indépendant du temps via la décomposition spectrale : exprimer H dans sa base propre de sorte que l'exponentielle soit diagonale sur les états propres, produisant des facteurs de phase exp(-i E_n t/ħ). Pour H(t) dépendant du temps, dériver la série de Dyson et exhiber les termes perturbatifs d'ordre un.

Mauvaise application

Exponetier naïvement un Hamiltonien dépendant du temps en remplaçant l'exponentielle d'une intégrale par l'intégrale des exponentielles (ignorant la non-commutativité), ce qui donne des propagateurs incorrects ; ou négliger qu'un Hamiltonien non borné exige une spécification du domaine pour définir l'exponentielle.

Conséquence

Une dérivation correcte fournit le propagateur qui engendre une dynamique exacte ou approximée contrôlée, impose les lois de conservation issues des symétries et sert de base aux expansions perturbatives, à la théorie de la diffusion et aux schémas numériques de pas de temps.

Inversion

Considérer l'évolution inverse dans le temps en appliquant le propagateur adjoint U(-t)=U(t)† ou généraliser aux dynamiques irréversibles décrites par des semi-groupes et équations maîtresses pour systèmes ouverts où l'évolution est non unitaire.

Limite

Valable pour la mécanique quantique de systèmes clos avec générateurs bien définis et pour systèmes linéaires classiques ; échoue sans traitement fonctionnel-analytique rigoureux pour opérateurs non bornés et doit être modifié pour systèmes ouverts, mesures ou dynamiques stochastiques.

Tension sémantique

Tension entre les solutions formelles exactes fournies par l'exponentiation spectrale et le besoin pratique d'approximer lorsque les générateurs ne commutent pas ou dépendent du temps : les séries (Dyson) et les schémas de fractionnement (Trotter) échangent simplicité formelle contre calculable avec erreur contrôlée.

Synthèse

La dérivation de l'évolution temporelle transforme les propriétés algébriques et spectrales d'un générateur en un propagateur — unitaire lorsque c'est applicable ou généralisé autrement — fournissant ainsi la règle explicite de changement des états et observables et fondant l'analyse, l'approximation et la simulation numérique.