Soluciones de frecuencia positiva en un espacio-tiempo estacionario

Estoy estudiando los conceptos básicos de QFT en el espacio-tiempo curvo y, para el caso más simple de campos escalares reales, podemos definir la forma Hermitiana de Klein-Gordon por

( F , gramo ) = i Σ d 3 X h norte m ( F ¯ m gramo gramo m F ¯ )
Con Σ una hipersuperficie espacial, norte su unidad normal y h el determinante de la métrica espacial. En un espacio-tiempo estacionario, decimos que una solución F de la ecuación de Klein-Gordon es una frecuencia positiva si, para Killing field k , tenemos eso
L k F = i ω F ω > 0
Pregunta: ¿Cómo podemos probar que las soluciones de frecuencia positiva tienen una 'norma' de Klein-Gordon positiva, es decir, ( F , F ) > 0 ?

Para mí está claro que si el espacio-tiempo es estático, o de manera equivalente, la métrica no tiene términos cruzados entre el espacio y el tiempo, entonces la unidad es normal norte m es proporcional al campo de muerte k m y la norma de Klein-Gordon es positiva ya que tenemos norte m m L k . Sin embargo, si este no es el caso, entonces no hay una manera fácil de relacionar norte a k , y no puedo ver cómo proceder.

Si la estática es de hecho un requisito para que esta declaración se cumpla, ¿hay un contraejemplo obvio? Es decir, ¿hay alguna solución? F a la ecuación de Klein-Gordon en un espacio-tiempo estacionario (pero no estático) con ambos k m m F = i ω F ( ω > 0 ) y ( F , F ) < 0 ? Gracias por la ayuda.

podría ser relevante: la forma hermítica en la concha ( F , gramo ) es independiente de Σ . En otras palabras, para F , gramo soluciones de la ecuación de KG tiene la libertad de elegir cualquier superficie Σ sobre el cual integrar. Me parece que esta libertad te permite elegir norte k independientemente de si la métrica es estática o no.
Gracias por el comentario. Creo que hay alguna restricción en Σ En realidad. Creo en la prueba de que L k es antihermitiano (lo cual debemos ser el caso para hablar de frecuencia positiva en primer lugar) con respecto a la forma KG en realidad requiere que el campo Killing corresponda a las traducciones en el mismo 'tiempo' t como Σ es una superficie plana de. Entonces acepto que cualquier superficie plana de t que elegimos es intrascendente, pero esto nos impide elegir libremente Σ por lo que su normal es proporcional a k .

Respuestas (1)

Para un espacio-tiempo estacionario podemos reescribir la métrica como

gramo = α 2 d t 2 + h i j ( d X i + β i d t ) ( d X j + β j d t )
Ahora la normal de una forma a Σ leeré norte = α d t 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 positiva F es

( F , F ) = 2 ω Σ d 3 X det h α | F | 2 + I
dónde
I = i Σ d 3 X det h α ( F ¯ β , d F F β , d F ¯ ) .
Ahora necesitamos estimar I. Tenga en cuenta que dado que F es una solución a la ecuación de KG que tenemos
(1) 0 = Σ d 3 X det h [ F ¯ ( metro 2 ) F ] α .
reescritura
F = 1 det gramo m ( det gramo gramo m v v F ) = 1 α 2 t 2 F + 1 α 2 β i i t F + 1 α det h i ( β i det h α t F ) + 1 α det h i ( α det h gramo i j j F )
e integrando (1) por partes obtenemos
0 = d 3 X det h α [ ω 2 α 2 | F | 2 i ω α 2 ( F ¯ β , d F F β , d F ¯ ) gramo i j i F j F ¯ metro 2 | F | 2 ]
y por lo tanto
I = ω det h α | F | 2 + 1 ω det h α ( metro 2 | F | 2 + gramo i j i F j F ¯ ) .
Podemos sustituir esto en nuestra expresión original por ( F , F )
( F , F ) = ω d 3 X det h α | F | 2 + 1 ω d 3 X det h α ( metro 2 | F | 2 + gramo i j i F j F ¯ ) 0