Positive-frequency solution
= Positive-frequency solution
Relative to a timelike Killing field $K$, a positive-frequency solution obeys $i\mathcal L_Ku=\omega u$ with $\omega>0$. Such solutions define the one-particle space and annihilation operators of a stationary vacuum.