La ecuación de onda en relatividad general, relatividad especial y coordenadas cartesianas

La ecuación de onda relativista es

φ = ρ
dónde φ es el campo, ρ es la fuente y es el operador de D'Alembert, definido por
= m m = gramo m v m v
dónde gramo m v es el tensor métrico inverso y es el operador derivado covariante. En el espacio-tiempo de Minkowski, esto se puede reducir a
= m m = η m v m v
dónde es el operador de derivada parcial. Uso de coordenadas cartesianas ( t , X , y , z ) , esto se puede reducir aún más a
= 1 C 2 2 t 2 2 X 2 2 y 2 2 z 2
¿Es correcta esta caracterización de la ecuación de onda? En particular, ¿cuál es la distinción correcta entre usar y usando , y la distinción correcta entre espacio-tiempo curvo y coordenadas curvilíneas , al manipular estas expresiones?

Solo una pequeña advertencia para agregar a las respuestas existentes: tenga en cuenta que algunos autores pueden escribir en relatividad general, cuando en realidad se refieren al operador de Lichnerowicz, que sí depende de la curvatura, no solo de los coeficientes de conexión. Por lo general, debería poder notar la diferencia según el contexto.

Respuestas (2)

No hay ninguna diferencia aquí entre usar el espacio-tiempo curvo y las coordenadas curvilíneas. Si bien uno podría decir la curvatura "verdadera" en el espacio-tiempo, digamos, calculando escalares como R α β γ d R α β γ d o R m m y viendo si desaparecen, el hecho es que a su operador diferencial no le importa. Dicho de otra manera, todo lo que te importa es si los coeficientes de conexión Γ m v σ desaparecen, no si lo hace alguna cantidad especial independiente de las coordenadas.

Debido a esto, el espacio-tiempo de Minkowski a menudo, pero no siempre, involucra implícitamente coordenadas cartesianas; de lo contrario, probablemente se podría llamar simplemente "plano". Si su espacio-tiempo es plano pero sus coordenadas no son cartesianas, habrá términos que omitió en su tercera ecuación. En cualquier espacio-tiempo y para cualquier escalar 1 φ ,

φ = gramo m v m v φ = gramo m v m ( v φ ) = gramo m v ( m v φ Γ m v σ σ φ ) (1) = ( m m gramo m v Γ m v σ σ ) φ .

Entonces si en coordenadas ( t , X , y , z ) tenemos gramo m v = d i a gramo ( 1 , 1 , 1 , 1 ) , entonces seguro, Γ m v σ = 0 y φ = m m φ . El mismo espaciotiempo plano en coordenadas esféricas ( t , r , θ , ϕ ) -- gramo m v = d i a gramo ( 1 , 1 , r 2 , r 2 pecado 2 θ ) -- tendrá sin embargo algunos coeficientes de conexión distintos de cero. De hecho, debe reconocer que el segundo término en (1) es necesario, dado que hay derivadas simples en el Laplaciano esférico:

2 φ = ( r 2 + 2 r r + 1 r 2 θ 2 + 1 r 2 broncearse θ θ + 1 r 2 pecado 2 θ ϕ 2 ) φ .

Lo que hay que recordar es que las derivadas covariantes se reducen a derivadas parciales generalmente solo en las siguientes dos circunstancias:

  1. m φ = m φ en cualquier espacio-tiempo en cualquier coordenada para un escalar φ .
  2. m T α β = m T α β en el espacio-tiempo plano en coordenadas cartesianas, donde gramo m v = η m v , para cualquier tensor T (con tantos índices como quieras).

Aparte de esas dos veces, tienes que recurrir a la regla general.

m T α β = m T α β + Γ m σ α T σ β Γ m β ρ T α ρ ,
donde los índices adicionales siguen el mismo patrón que α o β dependiendo de si están arriba o abajo.


1 Tenga en cuenta que si φ es un tensor de rango superior, la simplificación φ φ ya no aguanta. Además, en el contexto de las ecuaciones de onda, a menudo el operador diferencial que desea no es el d'Alambertiano sino el operador de Rham , que agrega un acoplamiento entre el tensor de Ricci y su tensor que se diferencia (un "acoplamiento de curvatura"). Esto se reduce al d'Alambertiano en escalares.

Solo puede promocionar a parciales en Minkowski para el caso especial de coordenadas cartesianas. En lo que respecta a estas ecuaciones simples, no existe una distinción directa entre las coordenadas curvilíneas y el espacio-tiempo curvo. Todo lo que importa es que el Γ a b C son distintos de cero.

Tenga en cuenta, sin embargo, que hay otras generalizaciones del operador D'Alembertiano para el espacio-tiempo curvo que involucran el escalar de Ricci. Estos indican explícitamente una diferencia entre el espacio-tiempo curvo y las coordenadas curvilíneas.

Entonces, el operador diferencial parcial se puede usar correctamente en lugar del operador diferencial covariante solo en el espacio de Minkowski bajo coordenadas cartesianas, ¿correcto? Además, ¿cuáles son algunos ejemplos de estas generalizaciones del operador D'Alembertiano?
@ usuario1667423 echa un vistazo a en.wikipedia.org/wiki/…