11.07.2015 Views

Análisis Tensorial y Geometría de Riemann

Análisis Tensorial y Geometría de Riemann

Análisis Tensorial y Geometría de Riemann

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

ley <strong>de</strong> transformación es lineal pero no homogénea, lo que implica que si nuestroarreglo <strong>de</strong> <strong>de</strong>rivadas se anula en un S.C. entonces no se anula necesariamenteen otro.Un resultado análogo se obtiene cuando uno proce<strong>de</strong> a <strong>de</strong>rivar las componentes<strong>de</strong> cualquier tensor o pseudotensor. Por ejemplo, la ley <strong>de</strong> transformación<strong>de</strong> un tensor tipo ( 0 2 ) es:luego:Ā jk = ¯∂ j x l ¯∂k x m A lm , don<strong>de</strong> ¯∂ i = ∂∂¯x i , (61)Ā jk,i = ¯∂ i Ā jk = ¯∂ j x l ¯∂k x m ¯∂i x n ¯∂n A lm + ( ¯∂i ¯∂j x l ¯∂k x m + ¯∂ j x l ¯∂i ¯∂k x m) A lm .(62)Hay dos términos restantes que son combinaciones lineales <strong>de</strong> las componentesno <strong>de</strong>rivadas, y cuyos coeficientes son segundas <strong>de</strong>rivadas <strong>de</strong> las coor<strong>de</strong>nadas.Vamos a consi<strong>de</strong>rar ahora algunas construcciones que incluyen <strong>de</strong>rivadasparciales y, sin embargo, si son tensores.(I) Sabemos que la <strong>de</strong>rivada <strong>de</strong> un campo escalar, φ, es un vector covariante,φ ,k . Calculamos ahora φ ,ki y φ ,ik y formemos lo que se llama rotor <strong>de</strong>l gradiente<strong>de</strong> φ:¯φ ,k = ¯∂ k x l ∂ l φ = ¯∂ k x l φ ,l , (63)¯φ ,i = ¯∂ i x l φ ,l , (64)¯φ ,ki = ¯∂ k x l ¯∂i x m φ ,lm + ¯∂ i ¯∂k x l φ ,l ,¯φ ,ik = ¯∂ i x l ¯∂k x m φ ,lm + ¯∂ k ¯∂i x l φ ,l = ¯∂ i x m ¯∂k x l φ ,ml + ¯∂ k ¯∂i x l φ ,l ,¯φ ,ki − ¯φ ,ik = ¯∂ k x l ¯∂i x m (φ ,lm − φ ,ml ).Notar que en la tercera línea se intercambiaron los índices mudos m y l. Asívemos que el rotor es un tensor tipo ( 0 2). Claramente el rotor <strong>de</strong>l gradiente <strong>de</strong>un campo escalar es cero (asumimos que φ es <strong>de</strong> clase C ≥ 2).(II) Del mismo modo se verifica que el rotor <strong>de</strong> un campo vectorial covariantecualquiera A k : ∂ k A i − ∂ i A k es un tensor tipo ( 0 2):Ā k = ¯∂ k x l A l =⇒ Āi = ¯∂ i x l A l , (65)¯∂ i Ā k = ¯∂ k x l ¯∂i x m ∂ m A l + ¯∂ i ¯∂k x l A l ,¯∂ k Ā i = ¯∂ i x l ¯∂k x m ∂ m A l + ¯∂ k ¯∂i x l A l ,¯∂ i Ā k − ¯∂ k Ā i = ¯∂ k x l ¯∂i x m (∂ m A l − ∂ l A m ) .De este modo, el rotor <strong>de</strong> un vector covariante es un tensor antisimétrico <strong>de</strong>tipo ( 0 2).(III) Formemos ahora lo que llamamos divergencia cíclica <strong>de</strong> un rotor:∂ l (∂ i A k − ∂ k A i ) + ∂ i (∂ k A l − ∂ l A k ) + ∂ k (∂ l A i − ∂ i A l ) = 0. (66)15

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!