Beweis einer Lösung der Klein-Gordon-Gleichung mit Killing-Vektor

Wenn$K$ein Tötungsvektor ist, erfüllt es

$$\nabla_\mu K_\nu + \nabla_\nu K_\mu = 0 \quad \implies \quad \nabla^\mu K_\mu = 0 ~.$$ Eine weitere Eigenschaft, die wir benötigen, kann bewiesen werden, indem wir auf die obige Gleichung mit eingehen $\nabla^\nu$. Wir finden $$\begin{align} \Box K_\mu &= - \nabla^\nu \nabla_\mu K_\nu \\ &= [ \nabla_\mu , \nabla_\nu ]K^\nu \\ &= R^\nu{}_{\lambda\mu\nu} K^\lambda \\ &= - R_{\mu\nu} K^\nu~. \end{align}$$ Jetzt haben wir $$( \nabla^\mu \nabla_\mu - m^2 ) K^\nu \nabla_\nu \phi = \Box K^\nu \nabla_\nu \phi + 2 \nabla^\mu K^\nu \nabla_\mu \nabla_\nu \phi + K^\nu \nabla^\mu \nabla_\mu \nabla_\nu \phi - m^2 K^\nu \nabla_\nu \phi ~.$$ Notiz $$\nabla^\mu K^\nu \nabla_\mu \nabla_\nu \phi =\frac{1}{2} ( \nabla^\mu K^\nu + \nabla^\nu K^\mu ) \nabla_\mu \nabla_\nu \phi = 0 ~,$$ Und $$\begin{align} K^\nu \nabla^\mu \nabla_\mu \nabla_\nu \phi &= K^\nu \nabla^\mu \nabla_\nu \nabla_\mu \phi \\ &= K^\nu \nabla_\nu \Box \phi + K^\nu [ \nabla^\mu , \nabla_\nu ] \nabla_\mu \phi \\ &= m^2 K^\nu \nabla_\nu \phi + K^\mu R_{\mu\nu} \nabla^\mu \phi ~. \end{align}$$ Wenn wir all dies zusammenfassen, finden wir $$\begin{align} ( \nabla^\mu \nabla_\mu - m^2 ) K^\nu \nabla_\nu \phi &= \Box K^\nu \nabla_\nu \phi + m^2 K^\nu \nabla_\nu \phi + K^\mu R_{\mu\nu} \nabla^\mu \phi - m^2 K^\nu \nabla_\nu \phi \\ &= 0 ~. \end{align}$$ QED.