Escolar Documentos
Profissional Documentos
Cultura Documentos
DERIVACIONES TENSORIALES
1.
INTERROGANTES CENTRALES DEL CAPITULO
2. CONTENIDOS FUNDAMENTALES DEL CAPITULO
Definimos en esta leccion lo que se entiende por una derivacion tensorial D sobre una variedad
diferenciable M , que es un conjunto de funciones R -lineales Dsr que aplica los tensores de tipo (r, s)
en los tensores del mismo tipo, y tales que satisfacen la regla de Leibnitz del producto y conmutan con
las contracciones. En el caso especial en que r = s = 0, entonces se trata de una derivacion sobre las
funciones diferenciables y, en consecuencia, proviene de un u nico campo de vectores diferenciable. Mas
precisamente:
Definicion 8.1
Una derivacion tensorial D sobre una variedad M es un conjunto de aplicaciones R -lineales
Las derivaciones tensoriales no son, en general, C (M )-lineales. Por este motivo, el valor del
tensor DA en un punto p de M no puede obtenerse solo a partir de Ap , esto es, del valor de A en p. Sin
embargo, (DA)(p) depende de los valores de A en un entorno arbitrariamente pequeno de p, lo cual nos
recuerda la conocida propiedad relativa a la diferencial de funciones diferenciables. El caracter local
de las derivaciones puede expresarse diciendo que la derivacion tensorial conmuta con la restriccion a
abiertos de la variedad.
Proposicion 8.2
Si D es una derivacion tensorial sobre M y U M es un abierto, entonces existe una u nica derivacion
tensorial DU sobre U tal que
DU (A|U ) = (DA)|U
para cualquier tensor A sobre M . DU se denomina la restriccion de D a U .
Proposicion 8.3
Sea D una derivacion tensorial sobre M y A Tsr (M ). Entonces
D(A(1 , . . . , r , X1 , . . . , Xs )) = (DA)(1 , . . . , r , X1 , . . . , Xs )
r
X
+ A(1 , . . . , Di , . . . , r , X1 , . . . , Xs )
i=1
s
X
+ A(1 , . . . , r , X1 , . . . , DXj , . . . , Xs )
j=1
Como un caso particular de la proposicion que acabamos de enunciar, si es una uno-forma sobre
M podemos deducir la siguiente expresion para su derivada tensorial:
Por tanto, basta conocer como actua D sobre las funciones y los campos de vectores. En otras palabras,
Corolario 8.4
Si dos derivaciones tensoriales D1 y D2 sobre M coinciden sobre las funciones diferenciables y sobre
los campos de vectores entonces D1 = D2 .
Una consecuencia destacable de este resultado es que nos da la pista para construir derivaciones
tensoriales:
Teorema 8.5
Sea un campo de vectores V y una funcion : X(M ) X(M ) R-lineal, satisfaciendo
(f X) = V (f )X + f (X).
Entonces existe una u nica derivacion que coincide con V actuando sobre las funciones diferenciables y
con actuando sobre los campos de vectores.
DERIVACIONES TENSORIALES 137
Como una de las aplicaciones mas importantes del resultado anterior podemos citar la construc-
cion de la derivada de Lie.
Proposicion 8.6
Sea V un campo de vectores diferenciable y consideremos la aplicacion diferenciable : X(M )
X(M ) dada por (X) = [V, X]. Entonces existe una u nica derivacion tensorial LV sobre M tal que
LV (f ) = V (f ) sobre las funciones diferenciables y LV (X) = [V, X] sobre los campos de vectores.
LV se denomina la derivada de Lie respecto de V .
Denotando por D(M ) el conjunto de todas las derivaciones tensoriales sobre M podemos, pues,
construir un operador L definido sobre X(M ) y con valores en D(M ), que a cada campo V le asigna la
derivada de Lie respecto de V , y que se denomina la derivada de Lie:
L: X(M ) D(M )
V LV
Proposicion 8.7
(1) LaV +bW = aLV + bLW , a, b R .
(2) [LV , LW ] = L[V,W ] .
(3) LV (df ) = d(V f ).
Proposicion 8.8
Dada una derivacion arbitraria D, existe un u nico campo de vectores V y un u nico tensor B de tipo (1,1)
tal que la derivacion se descompone como LV + DB .
Si en lugar de considerar los tensores arbitrarios de tipo (r, s) nos centramos en las formas dife-
renciales, entonces podemos definir dos tipos de operadores con propiedades muy especiales.
Definicion 8.9 V
Z, si satisface las
V
Un operador T : (M ) (M ) se dice que es una derivacion de grado 2k, k
siguientesVtres propiedades:
(1) T p+2k (M ) para toda p (M );
V
138 VARIEDADES DIFERENCIABLES Y TOPOLOGI A
(2) T es R-lineal;
(3) T ( ) = (T ) + (T ).
Definicion 8.10
Un operador T es una antiderivacion de grado 2k + 1, k Z, si satisface:
(1) T p+2k+1 (M ) para toda p (M );
V V
(2) T es R-lineal;
(3) T ( ) = (T ) + (1)p (T ), siendo p el grado de .
Proposicion 8.11
(1) Si D1 y D2 son derivaciones entonces [D1 , D2 ] es una derivacion de grado igual a la suma de los
grados de D1 y D2 ;
(2) Si D es una derivacion y A es una antiderivacion, entonces [D, A] es una antiderivacion;
(3) Si A1 y A2 son dos antiderivaciones, entonces A1 A2 +A2 A1 es una derivacion. Como consecuencia,
si A es una antiderivacion, entonces A2 es una derivacion.
V V
Sea T un operador sobre (M ), entonces TU es un operador V sobre (U ), siendo U un abierto de
M . Se dice que T es local si (T )|U = TU (|U ), para toda (M ). Entonces demostramos que las
derivaciones y antiderivaciones son locales, es decir:
Proposicion 8.12 V
Vsobre (M ) y U M es un abierto, entonces existe una u nica
Si D es una derivacion (antiderivacion)
derivacion (antiderivacion) DU sobre (U ) tal que
DU (|U ) = (D)|U
Este resultado permite probar que si T es una derivacion (o antiderivacion) tal que T (f ) = 0 para
toda funcion diferenciable f y T () = 0 para toda uno forma , entonces T 0. Como consecuencia,
si T1 y T2 son dos derivaciones (o antiderivaciones) que coinciden sobre las funciones diferenciables y
sobre las uno formas, entonces son iguales.
Para finalizar el captulo introducimos dos antiderivaciones que estan ntimamente relacionadas
con la derivada de Lie: la diferencial exterior y el producto interior por un campo de vectores diferen-
ciable.
Proposicion 8.13
Existe una u nica antiderivacion d de grado +1 tal que:
(1) d(f ) = df (la diferencial ordinaria) para toda funcion diferenciable f .
(2) d2 = 0.
d se denomina la diferencial exterior.
DERIVACIONES TENSORIALES 139
Proposicion 8.14
Sea X X(M ) un campo de vectores diferenciable. La aplicacion iX : (M ) (M ) dada por
V V
Entre las igualdades mas importantes que relacionan estos tres operadores estan las siguientes:
Proposicion 8.15
(1) LX = iX d + diX ;
(2) LX d = dLX = diX d;
(3) LX iX = iX LX ,
(4) LX iY iY LX = i[X,Y ] ;
donde X e Y son campos de vectores diferenciables.
3. DE LOS CONOCIMIENTOS
ACTIVIDADES DE APLICACION
A.8.1. Sea p (M ), p > 0. Para todo X1 , . . . , Xp+1 campos de vectores, definimos para p > 0:
(d)(X1 , . . . , Xp+1 ) =
p+1
X
i , . . . , Xp+1 ))
(1)i+1 Xi ((X1 , . . . , X
i=1
X
+ i, . . . , X
(1)i+j ([Xi , Xj ], X1 , . . . , X j , . . . , Xp+1 ),
i<j
y para p = 0:
(d)(X) = X().
Prueba que d p+1 (M ). d es la diferencial exterior de , y la aplicacion d : (M )
(M ) es la diferencial exterior.
A.8.2. Prueba las siguientes propiedades de la diferencial exterior, utilizando la definicion dada en el
ejercicio anterior:
(a) Si , p (M ) entonces d( + ) = d + d.
(b) d2 = 0.
(c) Para formas diferenciales p (M ), q (M ) se satisface
DEL CAPITULO
4. BIBLIOGRAFIA
5. PREGUNTAS DE EVALUACION
E.8.2. Sea : R2 \{(0, y)|y R } R2 \{(x, x)|x R } definida por (x, y) = (x3 + y, y) y sea
T =x dx dy + y dy dy.
x y
Cual es la traza del producto interior de T con +x ?
x y
E.8.3. Para todo campo de vectores X X(M ) y todo tensor covariante A Ts0 (M ) se verifica
1
LX A = lim ( (A) A) ,
t0 t t
donde {t } es el flujo de X. Probarlo para s = 2. (Si el flujo es local, la ecuacion anterior es
valida localmente).
142 VARIEDADES DIFERENCIABLES Y TOPOLOGI A
ANOTACIONES
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
...........................................................................................
DERIVACIONES TENSORIALES 143
Elie Joseph Cartan (-) nacio en Dolomieu (cerca de Chambery), en la Saboya francesa,
y murio en Pars, Francia. Trabajo en grupos continuos, a lgebras de Lie, ecuaciones diferenciales y
geometra, proporcionando sus trabajos una sntesis de estas a reas.
Cartan se sumo brillantemente a la teora de grupos continuos que haba sido iniciada por Marius
Sophus Lie (-). Su tesis doctoral () puede considerarse una contribucion de importancia
capital a las a lgebras de Lie, y en ella completa la clasificacion de las a lgebras semisimples que Killing
haba practicamente encontrado. Posteriormente se volco en la teora de las a lgebras asociativas e inves-
tigo la estructura de estas a lgebras sobre los cuerpos de los numeros reales y complejos. Wedderburn
completara el trabajo de Cartan en este a rea.
Las representaciones de los grupos de Lie semisimples tambien atrajeron su atencion. Su trabajo
es una sntesis asombrosa de teora de Lie, geometra clasica, geometra diferencial y topologa, que se
encuentra a lo largo de toda la obra de Cartan. Asimismo, Cartan aplico el a lgebra de Grassmann a la
teora de las formas diferenciales exteriores.
Cartan contribuyo a la geometra con su teora de los espacios simetricos, que tiene su origen en
los artculos publicados en , donde desarrolla las ideas estudiadas anteriormente por William K.
Clifford (-) y Arthur Cayley (-), y usa los metodos topologicos desarrollados por
Weyl en . Estos trabajos seran completados en .
Cartan examino despues varios problemas que previamente haban sido estudiados por Henri
Poincare (-). Por esta e poca, su hijo Henri Cartan realizaba contribuciones importantes a
las matematicas, y Elie Cartan utilizo muchos de sus teoremas en sus investigaciones. Cartan tambien
publico varios trabajos sobre la teora de la relatividad y de los espinores. Sin duda alguna, Cartan puede
considerarse como uno de los matematicos mas importantes e influyentes de la primera mitad del siglo
XX .
Bibliografa
Bibliografa complementaria
Libros:
S.S. Chern y C. Chevalley Elie Cartan, Bull. Amer. Math. Soc. 58 (1952).
R. Debever (ed.) Elie Cartan-Albert Einstein : letters on absolute parallelism, 1929-1932 (Princeton,
1979).
J.H.C. Whitehead Elie Cartan, Obituary Notices of Fellows of the Royal Society of London 8 (1952).
Artculos:
J. Dieudonne Les travaux de Elie Cartan sur les groupes et alg`ebres de Lie, Elie Cartan, 1869-1951
(homenaje de lAcad. Republique Socialiste de Roumanie con ocasion del centenario de su naci-
miento) (Bucharest, 1975), 29-31.
W.V.D. Hodge Obituary: Elie Cartan , J. London Math. Soc. 28 (1953), 115-119.
M. Javillier Notice necrologique sur Elie Cartan (1869-1951), C. R. Acad. Sci. Paris 232 (1951),
1735-1791.
S-S. Chern y C. Chevalley Obituary: Elie Cartan and his mathematical work, Bull. Amer. Math. Soc.
58 (1952), 217-250.
DERIVACIONES TENSORIALES 145
Levi-Civita se graduo en la Universidad de Padua, siendo uno de sus profesores Gregorio Ricci
(-), con quien Levi-Civita colaboro en diversos trabajos de investigacion.
La formacion en matematicas puras de Levi-Civita era extensa, su intuicion geometrica era parti-
cularmente excelente, e hizo buen uso de ella en diversos problemas de matematicas aplicadas. En uno
de sus trabajos de Levi-Civita mejoraba la formula integral de B. Riemann (-) para el
numero de primos pertenecientes a un intervalo dado.
20
Figura 8.2: Imagen de T. Levi-Civita en los anos
Sin embargo, Levi-Civita es mas conocido por sus trabajos en el calculo diferencial absoluto con
sus aplicaciones a la teora de la relatividad. En publico un famoso artculo en el que desarrollaba
el calculo de tensores, siguiendo el trabajo de E.B. Christoffel (-), incluyendo la diferencia-
cion covariante. En publico, conjuntamente con Ricci, la teora de tensores Methodes de calcul
differential absolu et leures applications (Metodos de calculo diferencial absoluto y sus aplicaciones),
que quince anos despues sera utilizada habilmente por A. Einstein.
Hermann Weyl (-) profundizo en las ideas de Levi-Civita y construyo una teora uni-
ficada de la gravitacion y el electromagnetismo. El trabajo de Levi-Civita es, sin duda alguna, de una
importancia capital en la teora de la relatividad, y entre su produccion cientfica merecen ser destacados
los artculos sobre los campos gravitacionales estaticos, los cuales desarrolla de una forma elegante e
ingeniosa.
Otro de los topicos estudiados por Levi-Civita es la dinamica analtica, dedicando numerosos
146 VARIEDADES DIFERENCIABLES Y TOPOLOGI A
artculos al estudio del problema de los tres cuerpos. Tambien escribio sobre hidrodinamica y sobre la
teora de sistemas de ecuaciones en derivadas parciales. Se sumo a la teora de A.L. Cauchy (-1857)
y S. Kovalevskaya (-), escribiendo un excelente libro sobre este tema en . Posteriormen-
te, en , Levi-Civita contribuyo de forma importante a la ecuaciones de P.A.M. Dirac (-)
que aparecen en la teora cuantica.
30
Figura 8.3: Imagen de T. Levi-Civita en los anos
Levi-Civita, como Volterra y muchos otros cientficos italianos, se opuso dura y activamente
al fascismo. Despues de ser apartado de su puesto en la Universidad de Roma, su salud empeoro
rapidamente, su corazon mostro sntomas de gran debilidad, muriendo finalmente de un derrame ce-
rebral.
Bibliografa
Bibliografa complementaria
E. Cartan Notice sur M Tullio Levi-Civita, C. R. Acad. Sci. Paris 215 (1942), 233-235.
L. DellAglio y G. Israel The themes of stability and qualitative analysis in the works of Levi-Civita and
Volterra (Italian),, Italian mathematics between the two world wars (Bologna, 1987), 125-141.
A. Einstein Tullio Levi-Civita, Annuario della Pontificia Accademia delle Scienze 1 (1936-37), 496-
511.
D. Galletto Tullio Levi-Civita (1873-1941), Boll. Un. Mat. Ital. (4) 8 (1973), 373-390.
W.V.D. Hodge Obituary: Tullio Levi-Civita, J. London Math. Soc. 18 (1943), 107-114.
W.V.D. Hodge Obituary: Tullio Levi-Civita. 1873-1941, Obituary Notices of Fellows of the Royal
Society of London 4 (1942), 151-165.
G. Krall Tullio Levi-Civit`a nella meccanica del suo tempo, Civilt`a delle Macchine 1 (4) (1953), 33-37.
G. Krall Tullio Levi-Civit`a e la relativit`a, Civilt`a delle Macchine 1 (6) (1953), 42-48.
B. Levi Obituary: Tullio Levi-Civita (1873-1941) (Spanish), Math. Notae 2 (1942), 155-159.
A. Masotti Bibliografie di Tullio Levi-Civita e Vito Volterra, Rend. Sem. Mat. Fis. Milano 17 (1946),
16-61.
M. Montagnana Tullio Levi-Civita nel centenario della nascita, Archimede 25 (1973), 318-322.
H.S. Ruse Obituary: Tullio Levi-Civita, Edinburgh Math. Notes 1943 33 (1943), 19-24.
C. Somigliana Obituary: Tullio Levi-Civita e Vito Volterra, Rend. Sem. Mat. Fis. Milano 17 (1946),
1-15.
148 VARIEDADES DIFERENCIABLES Y TOPOLOGI A