Empezamos por señalar que
∂Run segundo∂Rcd _mi fe=∂(Rc a e bgramoce _)∂Rcd _mi fe=∂(Rcd _mi feddadFbgramoce _)∂Rcd _mi fe,
sugiriendo una respuesta en la línea de
ddadFbgramoce _
. Pero por las propiedades de antisimetría del tensor de Riemann, hay más de una forma de escribir
Run segundo
como una contradicción de
Rcd _mi fe
con un tensor.
Necesitamos una antisimetría al intercambiarC
cond
, sugiriendo una respuesta en la línea de12(ddadFbgramoce _−dCadFbgramodmi)
. Pero eso tampoco puede ser del todo correcto: también necesitamos una antisimetría al intercambiarmi
conF
, sugiriendo una respuesta en la línea de14(ddadFbgramoce _−dCadFbgramodmi−ddadmibgramocf _+dCadmibgramodF)
. Pero todavía necesitamoscd _mi fe→ mi fcd _
ser una simetría, dando el resultado final
∂Run segundo∂Rcd _mi fe=Xcd _mi feun segundo: =18( (ddadFb+dFaddb)gramoce _− (dCadFb+dFadCb)gramodmi− (ddadmib+dmiaddb)gramocf _+ (dCadmib+dmiadCb)gramodF) .
Tenga en cuenta que cada término tieneun segundo
como índices más bajos ycd _mi fe
como índices superiores.
Por la regla del producto,
∂(Run segundoRun segundo)∂Rcd _mi fe=∂Run segundo∂Rcd _mi feRun segundo+Run segundo∂Run segundo∂Rcd _mi fe.
Podemos cambiar las alturas de
un ,b
en el segundo término, a saber.
∂(Run segundoRun segundo)∂Rcd _mi fe= 2Run segundoXcd _mi feun segundo.
Expresiones como
Run segundoddadFbgramoce _=gramoce _RdF
dar
∂(Run segundoRun segundo)∂Rcd _mi fe=12(gramoce _RdF−gramodmiRcf _−gramocf _Rdmi+gramodFRce _) .
Tenga en cuenta que cada término tiene
cd _mi fe
como índices superiores y
un segundo
no existen en el lado derecho, ya que son índices ficticios contraídos en el lado izquierdo.
Para la segunda derivada, imagina que en su lugar quisiéramos∂(VaVa)∂Vb
para un vector; la respuesta seria2Vb
, sugiriendo una respuesta como2Rmi fegramoh
. Esto ya tiene las propiedades correctas, así que hemos terminado.
phy_math