La derivación matemática de cómo evoluciona un estado físico en el tiempo bajo un generador (para sistemas cuánticos, el Hamiltoniano), dando lugar a propagadores formales como el operador de evolución temporal unitario U(t) = exp(-iHt/ħ), series de Dyson ordenadas en tiempo para generadores dependientes del tiempo y aproximaciones como descomposiciones de Trotter.

Principio

La evolución temporal está generada por un operador mediante la exponenciación (para generadores independientes del tiempo) o exponentiales ordenadas en el tiempo (para los dependientes del tiempo); las propiedades del generador (auto-adjuntidad, acotamiento, relaciones de conmutación) determinan la unitariedad, las leyes de conservación y las cuestiones de dominio.

Demostración

Derivar U(t)=exp(-iHt/ħ) para un Hamiltoniano hermítico independiente del tiempo mediante descomposición espectral: expresar H en su base de autovectores para que la exponencial actúe diagonalmente sobre los estados propios, produciendo factores de fase exp(-i E_n t/ħ). Para H(t) dependiente del tiempo, derivar la serie de Dyson y mostrar términos de perturbación de primer orden.

Aplicación incorrecta

Exponenciar de forma ingenua un Hamiltoniano dependiente del tiempo sustituyendo la exponencial de una integral por la integral de exponenciales (ignorando la no conmutatividad), lo que conduce a propagadores incorrectos; o ignorar que un Hamiltoniano no acotado requiere especificación de dominio para la exponenciación.

Consecuencia

Una derivación correcta produce el propagador que genera dinámica exacta o aproximada controlada, impone leyes de conservación implícitas en las simetrías y proporciona la base para expansiones perturbativas, teoría de dispersión y esquemas numéricos de integración temporal.

Inversión

Considerar la evolución en sentido inverso aplicando el propagador adjunto U(-t)=U(t)† o generalizar a dinámicas irreversibles descritas por semigrupos y ecuaciones maestras para sistemas abiertos donde la evolución no es unitaria.

Límite

Válido para mecánica cuántica de sistemas cerrados con generadores bien definidos y para sistemas lineales clásicos; falla sin un tratamiento funcional-analítico cuidadoso para operadores no acotados y debe modificarse para sistemas abiertos, medida o dinámicas estocásticas.

Tensión semántica

Tensión entre soluciones formales exactas proporcionadas por la exponenciación espectral y la necesidad práctica de aproximaciones cuando los generadores no conmutan o son dependientes del tiempo: series (Dyson) y esquemas de fraccionamiento (Trotter) intercambian simplicidad formal por computabilidad con error controlado.

Síntesis

Derivar la evolución temporal es el proceso que traduce las propiedades algebraicas y espectrales de un generador en un propagador — unitario cuando procede o generalizado en otro caso — proporcionando la regla explícita de cómo cambian estados y observables y constituyendo la base para el análisis, la aproximación y la simulación numérica.