Análisis Tensorial y GeometrÃa de Riemann
Análisis Tensorial y GeometrÃa de Riemann
Análisis Tensorial y GeometrÃa de Riemann
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