Una representación en serie para la solución de una ecuación diferencial lineal dependiente del tiempo (notablemente la ecuación de Schrödinger) que escribe el propagador ordenado en tiempo como la exponencial de una suma Ω(t) compuesta de integrales temporales y conmutadores anidados del operador dependiente del tiempo (serie de Magnus): U(t)=exp[Ω(t)].

Principio

La idea organizadora es preservar propiedades estructurales (unitariedad, composición de grupo) expresando el propagador como una única exponencial; la serie para Ω se construye a partir de integrales iteradas del Hamiltoniano y sus conmutadores, capturando sistemáticamente efectos de no conmutatividad.

Demostración

Para un Hamiltoniano por tramos constante o de norma pequeña, el primer término de Magnus es la integral temporal de H(t), el segundo es la mitad de la doble integral del conmutador [H(t1),H(t2)], y truncar en orden bajo da una aproximación exponentiada que respeta la unitariedad.

Aplicación incorrecta

Truncar la serie sin comprobar la convergencia cuando la norma del operador o el tiempo de evolución es grande, llevando a aproximaciones inexactas o artefactos; o usar indebidamente un término de Magnus de bajo orden como sustituto de efectos no perturbativos cuando los conmutadores son grandes.

Consecuencia

Cuando converge y se aplica dentro de su radio, la expansión de Magnus ofrece aproximaciones que preservan propiedades estructurales exactas (p.ej. unitariedad) en cada truncamiento y provee correcciones controladas que capturan la no conmutatividad temporal.

Inversión

El enfoque inverso es la serie de Dyson (ordenada en tiempo) que expande el propagador como suma de integrales ordenadas sin exponenciación; los términos de Dyson son más simples en apariencia pero no suministran una única exponencial que preserve propiedades de grupo en una truncación finita.

Límite

La convergencia requiere normas y intervalos de tiempo que cumplan condiciones de pequeñez suficientes (por ejemplo, que la integral de la norma del operador esté por debajo de un umbral); es más útil para generadores acotados o acotados por tramos y puede fallar en casos de variación rápida o no acotados.

Tensión semántica

Existe tensión entre las expansiones de Magnus y Dyson: Magnus enfatiza la preservación estructural mediante exponenciación y conmutadores anidados, mientras que Dyson ofrece una expansión perturbativa directa ordenada en tiempo; la elección depende de la convergencia, de la preservación de estructura deseada y de la conveniencia computacional.

Síntesis

La expansión de Magnus es una serie sistemática de conmutadores anidados que representa un propagador ordenado en tiempo como una única exponencial, proporcionando aproximaciones unitarias y fieles a la estructura cuando se cumplen los criterios de convergencia y capturando la no conmutatividad de generadores dependientes del tiempo.