Une représentation en série pour la solution d'une équation différentielle linéaire dépendante du temps (notamment l'équation de Schrödinger) qui écrit le propagateur ordonné dans le temps comme l'exponentielle d'une somme Ω(t) composée d'intégrales temporelles et de commutateurs imbriqués de l'opérateur dépendant du temps (la série de Magnus) : U(t)=exp[Ω(t)].

Principe

L'idée organisatrice est de préserver des propriétés structurelles (unitarité, composition de groupe) en exprimant le propagateur comme une unique exponentielle ; la série pour Ω se construit à partir d'intégrales itérées de l'Hamiltonien et de ses commutateurs, capturant de manière systématique les effets de non‑commutativité.

Démonstration

Pour un Hamiltonien à valeur constante par morceaux ou de petite norme, le premier terme de Magnus est l'intégrale temporelle de H(t), le second est la moitié de la double intégrale du commutateur [H(t1),H(t2)], et la troncature à faible ordre donne une approximation exponentielle qui respecte l'unitarité.

Mauvaise application

Tronquer la série sans vérifier la convergence lorsque la norme de l'opérateur ou le temps d'évolution est grand, conduisant à des approximations inexactes ou des artefacts ; ou utiliser abusivement un terme de Magnus d'ordre faible comme substitut d'effets non perturbatifs lorsque les commutateurs sont grands.

Conséquence

Lorsqu'elle converge et s'applique dans son rayon, l'expansion de Magnus donne des approximations qui préservent la structure qualitative exacte (par ex. l'unitarité) à chaque troncature, et fournit des corrections contrôlées capturant la non‑commutation temporelle.

Inversion

L'approche inverse est la série de Dyson (ordonnancement temporel) qui développe le propagateur en une somme d'intégrales ordonnées sans exponentiation ; les termes de Dyson sont plus simples en apparence mais ne fournissent pas une unique exponentielle préservant les propriétés de groupe à troncature finie.

Limite

La convergence exige que les normes et intervalles de temps satisfassent des conditions de petitesse suffisantes (par ex. l'intégrale de la norme de l'opérateur en dessous d'un seuil) ; elle est surtout utile pour des générateurs bornés ou à norme par morceaux et peut échouer dans des cas à variation rapide ou non bornés.

Tension sémantique

Tension entre les expansions de Magnus et de Dyson : Magnus met l'accent sur la préservation structurelle via l'exponentiation et les commutateurs imbriqués, tandis que Dyson propose une expansion perturbative directe en ordonnancement temporel ; le choix dépend de la convergence, de la préservation souhaitée de la structure et de la commodité numérique.

Synthèse

L'expansion de Magnus est une série systématique de commutateurs imbriqués qui représente un propagateur ordonné en temps comme une unique exponentielle, fournissant des approximations unitaires et fidèles à la structure lorsque les critères de convergence sont respectés et capturant la non‑commutativité des générateurs dépendants du temps.