Para un espacio-tiempo estacionario podemos reescribir la métrica como
gramo= −α2dt2+hyo j( reXi+βidt ) ( reXj+βjdt )
Ahora la normal de una forma a
Σ
leeré
norte♭= − α ret
y el campo vectorial correspondiente
norte♯=1α( k − β)
, dónde
k
es el campo del vector Killing estacionario.
La norma KG de una solución de frecuencia positivaF
es
( f, f) = 2 ω∫Σd3Xdetalle h−−−−√α| F|2+ yo
dónde
I= − yo∫Σd3Xdetalle h−−−−√α(F¯⟨ β, reF⟩ - f⟨ β, reF¯⟩ ) .
Ahora necesitamos estimar I. Tenga en cuenta que dado que
F
es una solución a la ecuación de KG que tenemos
0 =∫Σd3Xdetalle h−−−−√[F¯( □ −metro2) f] a .(1)
reescritura
□ f=1− det g−−−−−−√∂m(− det g−−−−−−√gramoμ ν∂vF)= −1α2∂2tF+1α2βi∂i∂tF+1αdetalle h−−−−√∂i(βidetalle h−−−−√α∂tF) +1αdetalle h−−−−√∂i( αdetalle h−−−−√gramoyo j∂jF)
e integrando
(1)
por partes obtenemos
0 = ∫d3Xdetalle h−−−−√α [ω2α2| F|2−yo ωα2(F¯⟨ β, reF⟩ - f⟨ β, reF¯⟩ ) −gramoyo j∂iF∂jF¯−metro2| F|2]
y por lo tanto
I= − ω ∫detalle hα| F|2+1ω∫detalle h−−−−√α (metro2| F|2+gramoyo j∂iF∂jF¯) .
Podemos sustituir esto en nuestra expresión original por
( f, f)
( f, f) = ω ∫d3Xdetalle h−−−−√α| F|2+1ω∫d3Xdetalle h−−−−√α (metro2| F|2+gramoyo j∂iF∂jF¯) ≥0
AccidentalFourierTransformar
gj255