Encontrar coeficientes de conexión de Christoffel de 3 esferas usando cálculo variacional, problema de Sean Carrol

Tengo A 3-Esfera con coordenadas X m = ( ψ , θ , ϕ ) y la siguiente métrica:

d s 2 = d ψ 2 + pecado 2 ψ ( d θ 2 + pecado 2 θ d ϕ 2 )

Sé cómo obtener los coeficientes de conexión usando las derivadas métricas, etc., pero estoy buscando una manera de hacerlo a través del cálculo de variaciones. Un problema en Sean Carroll (Ejercicios 3.11 pregunta 8 a) Introducción a la Relatividad General sugirió variar la siguiente integral para encontrar los coeficientes de conexión:

yo = 1 2 gramo m v d X m d τ d X v d τ d τ

Así que tengo un lagrangiano:

L = ψ ˙ 2 + ( pecado 2 ψ ) θ ˙ 2 + ( pecado 2 ψ ) ( pecado 2 θ ) ϕ ˙ 2

Que pongo en la ecuación de Euler-Lagrange:

τ ( L X ˙ m ) L X m = 0

¿Estoy en el camino correcto aquí? ¿Cuál es la estrategia para relacionar esto con los símbolos de conexión? La literatura no es demasiado clara y estoy luchando para hacer la conexión.

Respuestas (2)

Te mostraré cómo hacer esto para el plano 2 en coordenadas polares. Una vez que resuelva esto, debería ser factible resolverlo en su caso.

Empiezas con la métrica

d s 2 = d r 2 + r 2 d θ 2

Dado que las geodésicas de esta métrica (es decir, líneas rectas) minimizan la distancia, sabemos que las geodésicas son un extremo de:

yo = 1 2 d s ( r ˙ 2 + r 2 θ ˙ 2 )

Tomamos la variación de esto, y obtenemos

d yo = d s ( r ˙ d r ˙ + r θ ˙ 2 d r + r 2 θ ˙ d θ ˙ )

Según nuestro procedimiento habitual, queremos variar con respecto a las variables originales y no a su derivada temporal. También despreciamos la variación en la frontera y suponemos que d X ˙ = d d s d X . Entonces, integramos por partes y obtenemos:

d yo = d s ( ( r ¨ + r θ ˙ 2 ) d r + ( θ ¨ r 2 2 r r ˙ θ ˙ ) d θ )

Como la geodésica debe ser cero independientemente de las variaciones d r y d θ , sabemos que los términos dentro de los paréntesis deben ser independientemente cero, y obtenemos:

0 = r ¨ r θ ˙ 2 0 = θ ¨ + 1 r ( r ˙ θ ˙ + θ ˙ r ˙ )

Ahora, tenemos esto como un sistema de ecuaciones, y recordamos que la ecuación geodésica, en términos de símbolos de Christoffel, es 0 = X ¨ a + Γ b C a X ˙ b X ˙ C , y concluimos que Γ θ θ r = r , Γ r θ θ = Γ θ r θ = 1 r , y que todos los demás son cero.

Muchas gracias, eso ayudó mucho. Me confundí con la variable de integración (lo confundí con el tiempo y luego me confundí porque no tenía el tiempo como coordenada) y no me di cuenta de que podía asociarlo con el parámetro afín en la ecuación geodésica.
@KevinMurray: ¡no hay problema! Además, como bonificación que pretendía incluir arriba y olvidé, tenga en cuenta que toda la variación con respecto a θ se debe a la variación con respecto a θ ˙ . Por lo tanto, cuando integra con partes, debe quedar claro que d d s ( r 2 θ ˙ ) = 0 , Lo que significa que r 2 θ ˙ = C por algún valor constante C en su geodésica. Esto está relacionado con el hecho de que θ es un vector asesino del plano 2. Ese truco puede hacer que la tarea de resolver las geodésicas sea mucho más rápida.

La estrategia es recordar la ecuación geodésica ,

(1) d 2 X λ d t 2 + Γ m v λ d X m d t d X v d t = 0

De tu Lagrangiano, terminarás con ecuaciones de la forma

ψ ¨ = F ( ψ , θ , ϕ , ψ ˙ , θ ˙ ϕ ˙ ) θ ¨ = gramo ( ψ , θ , ϕ , ψ ˙ , θ ˙ ϕ ˙ ) ϕ ¨ = h ( ψ , θ , ϕ , ψ ˙ , θ ˙ ϕ ˙ )
con el que se relaciona (1) índice por índice.

Me encanta la concisión :D