Källén-Lehmann-Darstellung

Die Källén-Lehmann-Darstellung, nach Gunnar Källén[1] und Harry Lehmann[2], oder spektrale Darstellung ist eine Darstellung von Propagatoren in der Quantenfeldtheorie. Die Källén-Lehmann-Darstellung ist exakt, beruht also nicht auf störungstheoretischen Näherungen. Sie lautet für ein skalares Feld im Ortsraum:

Ω | T { ϕ ( x ) ϕ ( y ) } | Ω = d 4 p ( 2 π ) 4 e i p ( x y ) i 0 d q 2 ρ ( q 2 ) p 2 q 2 + i ϵ {\displaystyle \langle \Omega |T\{\phi (x)\phi (y)\}|\Omega \rangle =\int {\frac {\mathrm {d} ^{4}p}{(2\pi )^{4}}}e^{-\mathrm {i} p(x-y)}\mathrm {i} \int _{0}^{\infty }\mathrm {d} q^{2}{\frac {\rho (q^{2})}{p^{2}-q^{2}+\mathrm {i} \epsilon }}}

Dabei ist

  • Ω | T { ϕ ( x ) ϕ ( y ) } | Ω {\displaystyle \langle \Omega |T\{\phi (x)\phi (y)\}|\Omega \rangle } der Propagator des Quantenfelds ϕ {\displaystyle \phi } vom Raumzeitpunkt x {\displaystyle x} nach y {\displaystyle y} und
  • ρ ( q 2 ) {\displaystyle \rho (q^{2})} die Spektraldichte.

Man definiert

Π ( p 2 ) = 0 d q 2 ρ ( q 2 ) p 2 q 2 + i ϵ {\displaystyle \Pi (p^{2})=\int _{0}^{\infty }\mathrm {d} q^{2}{\frac {\rho (q^{2})}{p^{2}-q^{2}+\mathrm {i} \epsilon }}}

als (bis auf numerische Faktoren) die Fouriertransformierte des Propagators als Propagator im Impulsraum.

Spektraldichte

Die Spektraldichte eines Feldes ρ ( p 2 ) {\displaystyle \rho (p^{2})} ist definiert über

2 π Θ ( p 0 ) ρ ( p 2 ) = X j X d 3 p j ( 2 π ) 3 1 2 p j 0 δ ( 4 ) ( p p X ) | Ω | ϕ ( 0 ) | X | 2 {\displaystyle 2\pi \Theta (p^{0})\rho (p^{2})=\sum _{X}\prod _{j\in X}\int {\frac {\mathrm {d} ^{3}{\vec {p}}_{j}}{(2\pi )^{3}}}{\frac {1}{2p_{j}^{0}}}\delta ^{(4)}(p-p_{X})\left|\langle \Omega |\phi (0)|X\rangle \right|^{2}}

mit

  • der Heaviside-Funktion Θ {\displaystyle \Theta } ,
  • physikalischen Vielteilchen-Zuständen | X {\displaystyle |X\rangle } und
  • Viererimpulsen der einzelnen Teilchen p j {\displaystyle p_{j}} im Vielteilchenzustand.

Die Spektraldichte ist ein Lorentzskalar und kann daher nur von p 2 {\displaystyle p^{2}} abhängen. Da | X {\displaystyle |X\rangle } nur physikalische Zustände mit p X 2 0 , p X 0 > 0 {\displaystyle p_{X}^{2}\geq 0,p_{X}^{0}>0} umfasst, folgt für den physikalisch sinnvollen Definitionsbereich der Spektraldichte p 2 0 , p 0 > 0 {\displaystyle p^{2}\geq 0,p^{0}>0} . Für p 2 < 0 {\displaystyle p^{2}<0} kann sie identisch Null gesetzt werden. Da die Größe auf der rechten Seite der Gleichung stets größer gleich Null ist, ist auch die Spektraldichte für p 2 0 {\displaystyle p^{2}\geq 0} nichtnegativ.

Die Spektraldichte folgt aus dem optischen Theorem zu

ρ ( p 2 ) = 1 π Im Π ( p 2 ) {\displaystyle \rho (p^{2})=-{\frac {1}{\pi }}\operatorname {Im} \Pi (p^{2})} ,

ist also proportional zum Imaginärteil des Propagators. Da der Propagator nur genau dann einen Imaginärteil hat, wenn das Feld auf der Massenschale ist oder wenn das Teilchen schwer genug ist, in leichtere Teilchen mit Massen m 1 , m 2 {\displaystyle m_{1},m_{2}} zu zerfallen, hat die Spektraldichte eine Singularität bei p 2 = m 2 {\displaystyle p^{2}=m^{2}} und einen kontinuierlichen Anteil für p 2 > ( m 1 + m 2 ) 2 {\displaystyle p^{2}>(m_{1}+m_{2})^{2}} .

Herleitung

Die Zweipunktfunktion Ω | ϕ ( x ) ϕ ( y ) | Ω {\displaystyle \langle \Omega |\phi (x)\phi (y)|\Omega \rangle } ohne Zeitordnung kann durch Einschieben einer Eins in Form von

1 = X j X d 3 p j ( 2 π ) 3 1 2 p j 0 | X X | {\displaystyle 1=\sum _{X}\prod _{j\in X}\int {\frac {\mathrm {d} ^{3}{\vec {p}}_{j}}{(2\pi )^{3}}}{\frac {1}{2p_{j}^{0}}}|X\rangle \langle X|}

geschrieben werden. Weiteres Einfügen von Einsen in Form von exp ( i P x ) exp ( i P x ) {\displaystyle \exp(\mathrm {i} Px)\exp(-\mathrm {i} Px)} respektive dem Analogon mit y {\displaystyle y} mit dem Impulsoperator P {\displaystyle P} führt zu:

Ω | ϕ ( x ) ϕ ( y ) | Ω = X j X d 3 p j ( 2 π ) 3 1 2 p j 0 Ω | e i P x e i P x ϕ ( x ) e i P x e i P x | X X | e i P y e i P y ϕ ( y ) e i P y e i P y | Ω {\displaystyle \langle \Omega |\phi (x)\phi (y)|\Omega \rangle =\sum _{X}\prod _{j\in X}\int {\frac {\mathrm {d} ^{3}{\vec {p}}_{j}}{(2\pi )^{3}}}{\frac {1}{2p_{j}^{0}}}\langle \Omega |e^{\mathrm {i} Px}e^{-\mathrm {i} Px}\phi (x)e^{\mathrm {i} Px}e^{-\mathrm {i} Px}|X\rangle \langle X|e^{\mathrm {i} Py}e^{-\mathrm {i} Py}\phi (y)e^{\mathrm {i} Py}e^{-\mathrm {i} Py}|\Omega \rangle }

Aus der Wirkung des Impulsoperators auf die verschiedenen Objekte – das Vakuum ist invariant exp ( i P x ) | Ω = | Ω {\displaystyle \exp(\mathrm {i} Px)|\Omega \rangle =|\Omega \rangle } , der Impulsoperator auf einen Zustand gibt seinen Impuls exp ( i P x ) | X = exp ( i p X x ) | X {\displaystyle \exp(\mathrm {i} Px)|X\rangle =\exp(\mathrm {i} p_{X}x)|X\rangle } und als Generator von Translationen verschiebt er Felder exp ( i P x ) ϕ ( x ) exp ( i P x ) = ϕ ( 0 ) {\displaystyle \exp(-\mathrm {i} Px)\phi (x)\exp(\mathrm {i} Px)=\phi (0)} – sowie dem Einschieben einer Delta-Distribution folgt

Ω | ϕ ( x ) ϕ ( y ) | Ω = d 4 p ( 2 π ) 4 e i p ( x y ) [ X j X d 3 p j ( 2 π ) 3 1 2 p j 0 δ ( 4 ) ( p p X ) Ω | ϕ ( 0 ) | X X | ϕ ( 0 ) | Ω ] = d 4 p ( 2 π ) 3 e i p ( x y ) ρ ( p 2 ) {\displaystyle \langle \Omega |\phi (x)\phi (y)|\Omega \rangle =\int {\frac {\mathrm {d} ^{4}p}{(2\pi )^{4}}}e^{-\mathrm {i} p(x-y)}\left[\sum _{X}\prod _{j\in X}\int {\frac {\mathrm {d} ^{3}{\vec {p}}_{j}}{(2\pi )^{3}}}{\frac {1}{2p_{j}^{0}}}\delta ^{(4)}(p-p_{X})\langle \Omega |\phi (0)|X\rangle \langle X|\phi (0)|\Omega \rangle \right]=\int {\frac {\mathrm {d} ^{4}p}{(2\pi )^{3}}}e^{-\mathrm {i} p(x-y)}\rho (p^{2})}

Erneutes Einfügen einer Delta-Distribution ergibt:

Ω | ϕ ( x ) ϕ ( y ) | Ω = 0 d q 2 ρ ( q 2 ) d 4 p ( 2 π ) 3 e i p ( x y ) θ ( p 0 ) δ ( p 2 q 2 ) 0 d q 2 ρ ( q 2 ) D ( x , y , q 2 ) {\displaystyle \langle \Omega |\phi (x)\phi (y)|\Omega \rangle =\int _{0}^{\infty }\mathrm {d} q^{2}\rho (q^{2})\int {\frac {\mathrm {d} ^{4}p}{(2\pi )^{3}}}e^{-\mathrm {i} p(x-y)}\theta (p^{0})\delta (p^{2}-q^{2})\equiv \int _{0}^{\infty }\mathrm {d} q^{2}\rho (q^{2})D(x,y,q^{2})}

Die Anwendung des Zeitordnungsoperators auf die Zweipunktfunktion führt in Verbindung mit der mathematischen Identität

D ( x , y , q 2 ) θ ( x 0 y 0 ) + D ( y , x , q 2 ) θ ( y 0 x 0 ) = d 4 p ( 2 π ) 4 e i p ( x y ) i p 2 q 2 + i ϵ {\displaystyle D(x,y,q^{2})\theta (x^{0}-y^{0})+D(y,x,q^{2})\theta (y^{0}-x^{0})=\int {\frac {\mathrm {d} ^{4}p}{(2\pi )^{4}}}e^{\mathrm {i} p(x-y)}{\frac {\mathrm {i} }{p^{2}-q^{2}+\mathrm {i} \epsilon }}}

zur Källén-Lehmann-Darstellung.

Literatur

  • Matthew D. Schwartz: Quantum Field Theory and the Standard Model. Cambridge University Press, Cambridge 2014, ISBN 978-1-107-03473-0, S. 467–471 (englisch). 

Einzelnachweise

  1. Gunnar Källén: On the Definition of the Renormalization Constants in Quantum Electrodynamics. In: Helvetica Physica Acta. Band 25, Nr. 4, 1952, S. 417–434. 
  2. Harry Lehmann: Über Eigenschaften von Ausbreitungsfunktionen und Renormierungskonstanten quantisierter Felder. In: Il Nuovo Cimento. Band 11, Nr. 4, 1954, S. 342–357.