Una expansión formal perturbativa del operador de evolución temporal o de la matriz S en potencias del Hamiltoniano de interacción, expresada como suma de integrales ordenadas en el tiempo; cada término es una integral iterada de H_I(t) ordenada por el operador de orden temporal y corresponde diagramáticamente a contribuciones de Feynman.

Principio

La teoría de perturbaciones ordena las contribuciones por potencias de la interacción y hace cumplir la secuencia causal mediante el orden temporal; la expansión de Dyson genera sistemáticamente todas las historias de interacción ordenadas compatibles con la separación elegida entre evolución libre e interacción.

Demostración

En la imagen de interacción el operador de evolución es U_I(t,t0) = 1 + (−i/ħ) ∫_{t0}^t dt1 H_I(t1) + (−i/ħ)^2 ∫_{t0}^t dt1 ∫_{t0}^{t1} dt2 H_I(t1)H_I(t2) + …, las integrales anidadas producen el término de orden n de Dyson utilizado para calcular elementos de la matriz S hasta ese orden.

Aplicación incorrecta

Tratar la serie como una representación convergente para acoplamientos fuertes o comportamientos no analíticos sin realizar resúmenes es incorrecto; intercambiar límites o integrales temporales sin cuidado (rompiendo el orden temporal) o ignorar divergencias UV/IR al sumar términos conduce a resultados erróneos o divergentes.

Consecuencia

Cuando procede, la serie de Dyson produce correcciones perturbativas sistemáticas, proporciona un mapeo uno a uno a diagramas de Feynman para amplitudes y organiza la renormalización; resúmenes parciales de términos de Dyson pueden captar efectos colectivos o no perturbativos.

Inversión

La inversión consiste en usar operadores de evolución exactos (no perturbativos) u otras reorganizaciones (por ejemplo, expansión de Magnus, métodos variacionales o numéricos) en lugar de una serie de potencias explícita en la interacción; estas alternativas evitan depender de la pequeñez del acoplamiento.

Límite

La serie de Dyson es formal y típicamente asintótica más que convergente; requiere un Hamiltoniano libre H0 y una interacción H_I bien definidos y es válida cuando el orden perturbativo tiene sentido — excluye regímenes intrínsecamente no perturbativos o casos sin un parámetro de expansión controlable sin técnicas adicionales.

Tensión semántica

Tensión con métodos no perturbativos o reagrupados (p. ej., diagonalización exacta, ecuaciones de Dyson–Schwinger): la serie de Dyson ofrece una construcción explícita orden por orden pero puede entrar en conflicto con enfoques que reorganizan o resumen la misma física; también existe tensión con la notación de exponencial ordenada en el tiempo como objeto compacto no desarrollado.

Síntesis

La serie de Dyson es la expansión explícita en serie, ordenada en el tiempo, del operador de evolución en la imagen de interacción o de la matriz S; enumera eventos de interacción ordenados como integrales anidadas y constituye la columna vertebral diagramática de los cálculos perturbativos cuánticos, requiriendo manejo cuidadoso cuando el comportamiento formal de la serie se vuelve delicado.