Dyson series

In scattering theory, the Dyson series is a perturbative series, and each term is represented by Feynman diagrams. This series diverges asymptotically, but in quantum electrodynamics (QED) at the second order the difference from experimental data is in the order of $10^\{-10\}$. This close agreement holds because the coupling constant (also known as the fine structure constant) of QED is much less than 1. Notice that in this article we choose our units so that ħ (the reduced Planck constant) satisfies ħ= 1.

The Dyson operator

We suppose we have a Hamiltonian H which we split into a "free" part "H₀" and an "interacting" part "V" i.e. "H=H₀+V". We will work in the interaction picture here and assume units such that the reduced Planck constant $hbar$ is 1.

In the interaction picture, the "evolution operator U" defined by the equation:

:$Psi(t)=U(t,t\_0)Psi(t\_0)$

is called Dyson operator.

We have

:$U(t,t)=I,\; U(t,t\_0)=U(t,t\_1)U(t\_1,t\_0),\; U^\{-1\}(t,t\_0)=U(t\_0,t)$

and then (Tomonaga-Schwinger equation)

:$i\{d\; over\; dt\}\; U(t,t\_0)Psi(t\_0)\; =\; V(t)\; U(t,t\_0)Psi(t\_0).$

Thus:

:$U(t,t\_0)=1\; -\; i\; int\_\{t\_0\}^t\{dt\_1\; V(t\_1)U(t\_1,t\_0)\}.$

Derivation of the Dyson series

This leads to the following Neumann series: :$U(t,t\_0)=1\; -\; i\; int\_\{t\_0\}^\{t\}\{dt\_1V(t\_1)\}+(-i)^2int\_\{t\_0\}^t\{dt\_1int\_\{t\_0\}^\{t\_1\}\{dt\_2V(t\_1)V(t\_2)+...+(-i)^nint\_\{t\_0\}^t\{dt\_1int\_\{t\_0\}^\{t\_1\}\{dt\_2...int\_\{t\_0\}^\{t\_\{n-1\{dt\_nV(t\_1)V(t\_2)...V(t\_n)\}$

Here we have $t>t\_1>t\_2>...>t\_n$, sowe can say that the fields are time ordered, and it is useful to introduce an operator $mathcal\; T$ called "time-ordering operator", defining:

:$U\_n(t,t\_0)=(-i)^nint\_\{t\_0\}^t\{dt\_1int\_\{t\_0\}^\{t\_1\}\{dt\_2...int\_\{t\_0\}^\{t\_\{n-1\{dt\_nmathcal\; TV(t\_1)V(t\_2)...V(t\_n)\}$

We can now try to make this integration simpler. in fact, by the following example::$S\_n=int\_\{t\_0\}^t\{dt\_1int\_\{t\_0\}^\{t\_1\}\{dt\_2...int\_\{t\_0\}^\{t\_\{n-1\{dt\_nK(t\_1,\; t\_2,...,t\_n)\}$

If K is symmetric in its arguments, we can define (look at integration limits):

:$K\_n=int\_\{t\_0\}^t\{dt\_1int\_\{t\_0\}^\{t\}\{dt\_2...int\_\{t\_0\}^t\{dt\_nK(t\_1,\; t\_2,...,t\_n)\}$

And so it is true that:

:$S\_n=frac\{1\}\{n!\}K\_n$

Returning to our previous integral, it holds the identity:

:$U\_n=frac\{(-i)^n\}\{n!\}int\_\{t\_0\}^t\{dt\_1int\_\{t\_0\}^t\{dt\_2...int\_\{t\_0\}^t\{dt\_nmathcal\; TV(t\_1)V(t\_2)...V(t\_n)\}$

Summing up all the terms we obtain the Dyson series:

:$U(t,t\_0)=sum\_\{n=0\}^infty\; U\_n(t,t\_0)=mathcal\; Te^\{-iint\_\{t\_0\}^t\{d\; au\; V(\; au)$

The Dyson series for wavefunctions

Then, going back to the wavefunction for t>t₀,

:$|psi(t)\; angle=sum\_\{n=0\}^infty\; \{(-i)^nover\; n!\}left(prod\_\{k=1\}^n\; int\_\{t\_0\}^t\; dt\_k\; ight)\; mathcal\{T\}left\{prod\_\{k=1\}^n\; e^\{iH\_0\; t\_k\}Ve^\{-iH\_0\; t\_k\}\; ight\; \}|psi(t\_0)\; angle$.

Returning to the Schrödinger picture, for t_f > t_i,

:.

References

*Charles J. Joachain, "Quantum collision theory", North-Holland Publishing, 1975, ISBN 0-444-86773-2 (Elsevier)