Índice general

1. Primera sesión 3
1.1. Presentación . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Estructura de la unidad de aprendizaje . . . . . . . . . . . . . . 3

2. Segunda sesión 7
2.0.1. Curso breve de electrodinámica . . . . . . . . . . . . . . 7

3. Tercera sesión 9
3.0.2. Ecuación de onda . . . . . . . . . . . . . . . . . . . . . . 9
3.1. Espacio de Minkowski . . . . . . . . . . . . . . . . . . . . . . . 10

4. Cuarta sesión 13
4.1. Versión covariante . . . . . . . . . . . . . . . . . . . . . . . . . . 13
4.1.1. Fuerza de Lorentz . . . . . . . . . . . . . . . . . . . . . . 16

5. Quinta sesión 19
5.1. Cosenos directores . . . . . . . . . . . . . . . . . . . . . . . . . 20

6. Sexta sesión 25
6.1. Vectores covariantes y contravariantes . . . . . . . . . . . . . . . 25
6.1.1. Vector tangente . . . . . . . . . . . . . . . . . . . . . . . 25
6.1.2. Vector gradiente . . . . . . . . . . . . . . . . . . . . . . 26

7. Séptima sesión 31

8. Octava sesión 33
8.1. La ley del cociente . . . . . . . . . . . . . . . . . . . . . . . . . 33
8.2. El tensor métrico . . . . . . . . . . . . . . . . . . . . . . . . . . 33
8.3. La métrica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

9. Novena sesión 35
9.1. Ecuación de las geodésicas . . . . . . . . . . . . . . . . . . . . . 35
9.2. Propiedades de los Símbolos de Christo¤el . . . . . . . . . . 37
9.2.1. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . 37

10.Dècima primera sesión 41

10.1. Transformación de los Símbolos de Christo¤el . . . . . . . . 41

11.Décima segunda sesión 43

12.Décima segunda sesión 47

ÍNDICE GENERAL 1
13.Décima tercera sesión 51

14.Décima tercera sesión30 53

15.Décima cuarta sesión3 55

16.Décima quinta sesión 57

16.1. Derivada covariante de un vector covariante . . . . . . . . . . . 57
16.2. Derivada covariante de un tensor dos veces covariante . . . . . . 58
16.3. Doble derivada covariante de un vector covariante . . . . . . . . 58

17.Décima sexta sesión 61

17.1. Tensor de Riemann . . . . . . . . . . . . . . . . . . . . . . . . . 61

18.Décima séptima sesión 63

18.1. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
18.2. Tensorialidad de R . . . . . . . . . . . . . . . . . . . . . . . 63
18.3. Identidades de Bianchi . . . . . . . . . . . . . . . . . . . . . . . 66
18.4. Ecuaciones de Einstein . . . . . . . . . . . . . . . . . . . . . . . 67

19.Vigésima Sesión 69
19.1. Principio de mínima acción . . . . . . . . . . . . . . . . . . . . . 69
19.2. Problemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72

20.Vigésima Segunda Sesión 75

20.1. Geodésicas sobre una esfera . . . . . . . . . . . . . . . . . . . . 75

21.Vigésima Tercera Sesión 77

21.1. Geodésicas sobre un cilíndro . . . . . . . . . . . . . . . . . . . . 77

22.Vigésima Cuarta Sesión 79

22.1. Problema Isoperimétrico . . . . . . . . . . . . . . . . . . . . . . 79

2 ÍNDICE GENERAL
1. PRIMERA SESIÓN

1.1. Presentación

1.2. Estructura de la unidad de aprendizaje

1. VERSION COVARIANTE DE LA ELECTRODINAMICA 1.1

Ecuaciones fundamentales de la electrodinámica
1.2 El espacio tiempo de Minkowski
1.3 Cuadrivectores y producto interno
1.4 Escritura cuadrivectorial de las leyes de la electrod-
inámica

2. TRANSFORMACIONES LINEALES 2.1 Transformaciones

de coordenadas
2.2 Propiedades de las transformaciones
2.3 El grupo de Lorentz

3. TENSORES COVARIANTES Y CONTRAVARIANTES 3.1 Trans-

formaciones por covariancia
3.2 Transformaciones por contravariancia
3.3 Transformaciones por invariancia
3.4 Tensores covariantes y contravariantes
3.5 Vector tangente y vector gradiente
3.6 Tensores de orden superior
PRIMERA SESIÓN 3
4. EL TENSOR METRICO 4.1 La métrica de un espacio-
tiempo
4.2 Propiedades
4.3 Transformaciones de la métrica

5. DERIVADA COVARIANTE 5.1 Símbolo de Christo¤el

5.2 Derivada de un vector covariante
5.3 Derivada de un vector contravariante
5.4 Derivadas mixtas y no conmutatividad
5.5 Tensor de Riemann.

6. CALCULO VARIACIONAL

4 PRIMERA SESIÓN
Bibliografía

[1] L. S. Sokolniko¤, Introducción al Análisis Ten-

sorial, Limusa, México,1983.
[2] G. B. Arfken, H. J.Weber, Mathematical Mehods
for Physics, 5th, Harcourt Academic Press, New
York, 2001
[3] H. Lass, Análisis vectorial y tensorial, CECSA,
México, 1983.
[4] B. Spain, Tensor Calculus, Interscience Publishers,
New Cork, 1960.
[5] P. A. M. Dirac, General Theory of Relativity,
John Wiley,USA, 1975.
[6] D. C. Kay, Cálculo Tensorial, Mc Graw Hill,
Madrid, 1990.

BIBLIOGRAFÍA 5
6 BIBLIOGRAFÍA
2. SEGUNDA SESIÓN

2.0.1. Curso breve de electrodinámica

Dos experimentos:
La ley de Coulomb.
La ley de Biot-Savart.
Ambas leyes de…nen la fuerza de Lorentz, mediante los
campos de inducción magnetica y eléctrico.

F = qE + qv B
A partir del campo eléctrico y de inducción magnética
se de…ne el potencial escalar y el potencial vectorial

@A
E= r' ;
@t

B=r A;
que veri…can la ley de Gauss magnética

r B=r r A = 0;
y

@r A
r E= r r'
@t
que es la Ley de Faraday, expresable como

@B
r E= :
@t
SEGUNDA SESIÓN 7
 Tambien se tiene la Ley de la conservación de la carga

@
+ r J = 0:
@t
La norma de Lorentz,

@'
" + r A = 0;
@t
que permite escribir las ecuaciones de onda para los
potenciales

2 @ 2'
r' " = ;
@t2 "

2 @ 2A
rA " = J;
@t2

8 SEGUNDA SESIÓN
3. TERCERA SESIÓN

3.0.2. Ecuación de onda

Construcciòn de la ecuación de onda electromagnètica

en el vacìo.

!
r E = 0;
!
r B = 0;
!
! @B
r E = "0 ;
@t
!
! @E
r B = 0 :
@t
! ! !
r r B = rr B r2 B
!
= r2 B
!
@r E
= 0
@t
2!
! @ B
r 2 B = 0 "0 2
@t
!
! 1 @2 B
r2 B = 0
c2 @t2

Transformación afìn para encontrar la forma canonica.

TERCERA SESIÓN 9
 = x ct
= x + ct
U = 0:
U = f( )

Solución como suma de ondas entrantes y salientes

U = f( )
Z
U = f ( )d + G( )
U = G( )

3.1. Espacio de Minkowski

A = (A1; A2; A3; A4)

Vector de posición

r = (x1; x2; x3; x4)

donde x4 = x4 = ct
Es un espacio vectorial en el que se pueden realizar
operaciones como suma y producto por k R

dr = (dx1; dx2; dx3; dx4);

y dx4 = d(ct)
Producto interno
10 TERCERA SESIÓN
 0 1
B1
B C
B B2 C
A B = (A1; A2; A3; A4) B C
@ B3 A
B
0 4 10 1
1 0 0 0 B1
B CB C
B 0 1 0 0 C B B2 C
= A 1 A2 A3 A 4 B CB C
@ 0 0 1 0 A @ B3 A
0 0 0 1 B4
= A g B = A1B1 + A2B2 + A3B3 A4 B 4
A2 = A A donde esta cantidad no es necesariamente
positiva,
8 9
< > 0 ,espacialoide =
A2 = A A = = 0; Luzoide
: ;
< 0; temporaloide

ESPACIO DE MINKOWSKI 11
12 TERCERA SESIÓN
4. CUARTA SESIÓN

4.1. Versión covariante

Ecuación de onda

2 @ 2A
rA = J ;
@(ct)2

2
A = J ; D’Alambertiano

@ @ A = J
A; ; = J

Norma de Lorentz

! 1 @'
r A+ 2 =0
c @t
'
A = (A1; A2; A3; ); J = (Jx; Jy ; Jz ; c )
c
'
@A1 @A2 @A3 @( c )
+ + + =0
@x1 @x2 @x3 @(ct)

) @ A = 0:
Ecuación de continuidad covariente
CUARTA SESIÓN 13
 ! @ ! @(c )
r J + = 0=r J +
@t @(ct)
= @ A = 0:
Ley de Ohm

J= E

@A
J= r'
@t
' @Ai
ji = c@i c ;
c @ (ct)
ji = c (@iA4 + @4Ai) ;
ji = c @iA4 @4Ai = cFi4;
Por otro lado tenemos que
! @
@ J =r J + = 0; Ecuación de continuidad.
@t
por otro lado tenemos

!
! 1 @2 A
r2 A = 0 J;
c2 @t2
2 1 @ 2'
r' = :
c2 @t2 0
Estos vectores en forma tensorial se pueden escribir
como

i 1 @ 2 Ai
@iA = "Ai
c2 @t2
@ A = "A
14 CUARTA SESIÓN
 De acuerdo a la norma de Lorentz
! !
F = q E + q!
v B
!
Tenemos que E está dado

!
! @A
E = r' c ;
@(ct)
! !
B = r A:
En general de…nimos el tensor del campo electromag-
nético

@A @A
F =
@x @x
) para ese tensor, aplicando la de…nición anterior
0 1
I
0 Bz By c Ex
B C
B Bx 0 Bx Ic Ey C
F =B I C:
@ By Bz 0 c Ez A
I I I
c Ex c Ey c Ez 0

Como es una matriz antisimétrica entonces se cumple

@A @A
F = = F :
@x @x
De la ecuaciones de Maxwell homogéneas tenemos

!
r B = 0;
!
! @B
r E+ = 0;
@t
VERSIÓN COVARIANTE 15
 donde;

1 ! 1 J4
r E = = 2 = J 4: (4.1)
c c" c "
!
! @E !
r B+ " = J; (4.2)
@t

1
@ F = J 1: (4.3)
En general

X1
@iEi = J 4;
Xc
4
@ F = J 4:

4.1.1. Fuerza de Lorentz

! ! !
F = q E + q!
v B
! !
f = ! v B+ E
!
J = ! v
!
! ! ! E
f = J B +c
c
para la componenre de la fuerza en x tenemos

Ex
fx = Jy Bz Jz By + c ;
c
utilizando subindices 1; 2; 3; 4, tenemos
16 CUARTA SESIÓN
 f1 = J1F 11 J2F 12 + J2F 13 + J 4F 14;
X
f = J F :

f =J F :
Para el cuadripotencial, la ecuación covariante de onda
es

2
A = 0:

VERSIÓN COVARIANTE 17
18 CUARTA SESIÓN
5. QUINTA SESIÓN

Ahora consideremos las ecuaciones homogéneas de Maxwell

!
r B = 0;
! !
E @B
r + = 0:
c @(ct)
Para cada componente se tiene

Ez Ey
@y @z + @4Bx = 0; componente x
c c
Ex Ez
@z @x + @4By = 0; componente y
c c
Ey Ex
@x @y + @4Bz = 0; componente z
c c
reescribiendo las ec. anteriores

@1F 23 + @2F 31 + @3F 12 = 0

@2F 34 + @3F 42 + @4F 23 = 0
@3F 14 + @1F 43 + @4F 31 = 0
En general estas combinaciones se pueden escribir

@ F +@ F +@ F = 0:
que es la generalizaci[on de la propiedad de las matrices
antisimétricas
A +A = 0
A = A :
QUINTA SESIÓN 19
5.1. Cosenos directores

Son los cosenos de los ángulos que forman el vector con

los vectores de la base canónica
f f f
A = Ax i + Ay j + A z k
tenemos las componenetes de este vector

!
Ax = A cos = A i
!
Ay = A cos = A j
donde A esta dado por

! f f f
A = A(cos i + cos j + cos k)
! f
A f f
= cos i + cos j + cos k:
jAj
Para los cuales se cumple la condición

cos2 + cos2 + cos2 =1

Si ahora tenemos 3 vectores linealmente independi-

entes como nuevo sistema de coordenadas
i) Ubicamos x; y; z mediante ; ; :
ii) x; y; z deben ser mutuamente perependiculares
f f f
0 0 0
por lo tanto i ; j ; k forman una nueva base de coor-
denadas
! P
iii) ) A = A0 e0
Para determinar los nuevos vectores unitarios
20 QUINTA SESIÓN
 f f f f
0
i = p1 i + p2 j + p3 k
f f f f
0
j = q1 i + q2 j + q3 k
f f f f
0
k = r1 i + r2 j + r3 k
en general

! f f f
V = x i + y j + zk
!0 f f f
0 0 0 0 0 0
V = xi +yj +zk
entonces

f f f f f f f f f
x i + y j + z k = x (p1 i + p2 j + p3k) + y (q1 i + q2 j + q3k) + z 0(r1
0 0

f f f
0 0 0 0 0 0
= i(p1x + q1y + r1z ) + j(p2x + q2y + r2z ) + k(

por lo tanto

x = (p1x0 + q1y 0 + r1z 0)

y = (p2x0 + q2y 0 + r2z 0)
z = (p3x0 + q3y 0 + r3z 0)
entonces
x = A x0
Que se puede escribir de forma matricial como;
0 11 0 1 0 10 1
x p 1 q1 r 1 x
@ x2 A = @ p2 q2 r2 A @ x20 A
x3 p 3 q3 r 3 x30
COSENOS DIRECTORES 21
 Convension de suma de Einstein
si

A 6= 0
y
t 1
A = A
Ejemplo:
En dos dimensiones tenemos el vector

! f f
A = x i + yj
!0 f f
0 0 0 0
A = xi +yj

x = x0 cos y 0 sin
y = x0 sin + y 0 cos

x = A x0
En forma matricial esto es

x cos sin x0
=
y sin cos y0

A = 1
t
adj A = A = A
Por lo tanto
1
A =A
22 QUINTA SESIÓN
 Rotación de un angulo

A ( )
Ahora una segunda transformación

cos sin cos sin cos( + sin( +

=
sin cos sin cos sin( + ) cos( + )
Ejemplo de transformaciones inversas

cos sin cos( ) sin( )

=I
sin cos sin( ) cos( )
En tres dimensiones
0 1
cos sin 0
@ sin cos 0 A:
0 0 1

COSENOS DIRECTORES 23
24 QUINTA SESIÓN
6. SEXTA SESIÓN

6.1. Vectores covariantes y contravariantes

6.1.1. Vector tangente

Si se tiene una curva dependiente de un parámetro

f f f
!
r = x i + y j + zk ;

x = x (t); t 2 R;
las componenetes del vector

dx (t)
T =
dt
este se de…ne como vector tangente y tiene una repre-
sentacion en el sistema de coordenadas fx g
si 9 otro x0 relacionado con el anterior
entonces
x0 = x0 (x )
que depende de todas las coordenadas de x
y 9 su transformada inversa

x = x (x0 )
ahora en el sistema primado, ¿Como se observa T 0 (t)?

0 dx0
0
T (t ) =
dt0
SEXTA SESIÓN 25
 pero x0 = x0 (x ) y esta depende de t
entonces

dx0 @x0 dx
=
dt0 @x dt
si imponemos

t = t0 2 R
entonces
0 @x0 dx
T =
@x dt
y por lo tanto

0 @x0
T = T
@x
= a T
tenemos también el caso de la inversa

@x 0
T = T
@x0
la cual es la de…nición de vector covariante o tensor de
orden 1

6.1.2. Vector gradiente

'(x ) = 0; representa una super…cie

@'
(r') = G =
@x
26 SEXTA SESIÓN
 en el sistema de coordenadas fx g

'(x ) = '0(x0 )
por lo tanto

0 @'0
G = 0
@x
y dado que

x0 = x0 (x )
así
0 @'0 @x
G =
@x @x0
@x
G0 = G
@x0
G0 = a G

De…nición:
Un tensor es una función de las coordenadas que se
transforma mediante la regla covariante, contravariante

o invariante.
Un tensor se transforma mediante la siguiente regla

0 @x @x0
D = D ;
@x0 @x
a esta transformacion de tensor se le denomina tensor
mixto de orden dos
Ejercicio:

Mediante la transformación de coordenadas

VECTORES COVARIANTES Y CONTRAVARIANTES 27
 @x0 cos sin
=
@x sin cos
veri…car si A es un tensor
y2 xy
A= :
xy x2
Solución:

1. Sabemos que mediante la transformación de coorde-

nadas
@x0 cos sen
= ;
@x sen cos
podemos obtener
x0 = x cos s ysen ;
y 0 = xsen + y cos :

Con ello veri…camos que cada una de las componentes

0 @x0
A0 = @x @x @x ; preserve la forma en la que se
escribe. Veamios primero con

011 @x01 @x01

A = A ;
@x @x

011 @x01 @x01 11 @x01 @x01

A = A + A12 +
@x1 @x1 @x1 @x2
@x01 @x01 @x01 @x01
A21 + A22:
@x2 @x1 @x2 @x2
A011 = y 2 cos2 + 2xysen cos + x2sen2 :
A011 = (xsen + y cos )2 = y 02:
28 SEXTA SESIÓN
Para la componente

012 @x01 @x02

A = A ;
@x @x

012 @x01 @x02 11 @x01 @x02

A = A + A12 +
@x1 @x1 @x1 @x2
@x01 @x02 @x01 @x02
A21 + A22:
@x2 @x1 @x2 @x2
A012 = y 2sen cos xy cos2 + xysen2 + x2sen2 :
A012 = (x cos ysen ) (xsen + y cos )2 = x0 y 0 :
Análogamente con las demás componentes. Por ello se
trata de un tenspr.

VECTORES COVARIANTES Y CONTRAVARIANTES 29

30 SEXTA SESIÓN
7. SÉPTIMA SESIÓN

Ejercicio:
Determinar si B es un tensor
y 2 xy
B= :
xy x2
Solución:
Al utilizar la transformación de coordenadas
@x0 cos sin
=
@x sin cos
sabemos que
x0 = x cos s ysen ;
y 0 = xsen + y cos :
Por lo que

011 @x01 @x01

B = B ;
@x @x

011 @x01 @x01 11 @x01 @x01

B = B + B 12 +
@x1 @x1 @x1 @x2
@x01 @x01 @x01 @x01
B 21 + B 22:
@x2 @x1 @x2 @x2
B 011 = y 2 cos2 2xysen cos + x2sen2 :
B 011 = (xsen y cos )2 6= y 02:
Por lo que no se trata de un tensor.
SÉPTIMA SESIÓN 31
32 SÉPTIMA SESIÓN
8. OCTAVA SESIÓN

8.1. La ley del cociente

8.2. El tensor métrico

8.3. La métrica

Para un sistema de coordenadas fx g, se establece la

forma general del elemento de línea
ds2 = g dx dx
que nos permite escribir
ds ds
g = :
dx dx
Demostración de que la métrica es tensor
Demostraciòn de que la delta de Kronecker es tensor.
Demostrar que la ec de onda es tensor
Demostrar que el producto interno de Minkowski es
invariante.
Demostrar que las ecuaciones de Euler son un tensor.
Demostrar que la derivada de un tensor no es tensor.

OCTAVA SESIÓN 33
34 OCTAVA SESIÓN
9. NOVENA SESIÓN

9.1. Ecuación de las geodésicas

Si se tiene un espaciotiempo fx g, caracterizado por

su métrica g , entonces la trayectoria entre dos puntos
del espacio que cumple con ser la de longitud extrema se
calcula mediante las ecuaciones de Euler-Lagrange.
Los elementos de la métrica son, en general, funciones
de las coordenadas

g =g (x ) ;

y
ds2 = g dx dx ;
o
Z r
dx dx
s= g dt:
dt dt
Siendo t un parámetro real que de…ne a las trayectorias en
el espaciotiempo. Por lo que podemos de…nir a la función
lagrangiana como el invariante
r q
dx dx
L= g = g x x
dt dt
@g
y con ello, si @x =g ; , entonces

@L g ; x x
= ;
@x 2L
NOVENA SESIÓN 35
y también
@L g x +g x
= ;
@x 2L
por ello

g x +g ; x x +g x +g ; x x L
d @L
=
dt @ x 2L2
g x L
:
2L2
Siempre es posible que el parámetro que caracteriza a
una curva sea su songitud de arco s = t, por lo que
ds
L= = 1:
dt
Así
d @L @L
= 0;
dt @ x @x
se convierte en
g x +g ; x x +g x +g ; x x g ; x x
2g x + (g ; +g ; g ; ) x x = 0:
Que se puede scribir como
1
g g x + g (g ; + g ; g ; ) x x = 0:
2
1
x + g (g ; + g ; g ; ) x x = 0:
2
x + x x = 0:
Con lo que de…nimos a los Símbolos de Christo¤el
= 12 g (g ; +g ; g ; ):

36 NOVENA SESIÓN
9.2. Propiedades de los Símbolos de Christof-
fel

9.2.1. Problemas

1. Demostrar que
g g ; = g g ; :
Solución:
Por de…nición de la delta de Kronecker
g g ; = ; =0=g g ; +g ; g :
g g ; = g g ; :
2. Demostrar que
= :
Solución:
Partimos de
1
= g (g ; + g ; g ; )
2
que al permutar los índices covariantes
1
= g (g ; + g ; g ; ):
2
Al considerar que
g =g ;
e intercambiar el primero y segundo sumandos, se
tiene que
1
= g (g ; + g ; g ; )= :
2
PROPIEDADES DE LOS SíMBOLOS DE CHRISTOFFEL 37
 3. Calcular .
Solución:
De la de…nición
1
= g (g ; +g ; g ; ):
2
1
= g (g ; + g ; g ; );
2
y son mudos, por lo que los podemos renombrar
mutuamente en el tercer término
1
= [g g ; + g g ; g g ; ];
2
así
1
= g g ; :
2
4. Demostrar que

g ; =g +g :

Solución:
De la de…nición, podemos escribir

2g =g ; +g ; g ;

que al intercambiar $

2g =g ; +g ; g ;

y sumar
g ; =g +g :
g ; =g +g :
38 NOVENA SESIÓN
 Al sustituir en el resultado del problema anterior
1
= g g +g ;
2
1
= + = ;
2
5. Demostrar que las ecuaciones de Euler-Lagrange son
un tensor.
Solución:
De…nimos al vector de Euler mediante las ecuaciones
de Euler-Lagrange
d @L @L
E = ;
dt @ x @x
donde L = L x ; x ; t si suponemos que 9 fx0 g de
tal manera que
x0 = x0 x ;
y de ello establecemos que
0
dx0 0 @x
=x = x ;
dt @x
por lo que
0 0
@x @x
==
@x @x
entonces
d @L @L
E0 = ;
dt @ x0 @x0
siendo L = L0 un invariante al igual que t. Por lo
anterior !
d @L @ x @L @x
E0 = 0 ;
dt @x @x @x @x0
PROPIEDADES DE LOS SíMBOLOS DE CHRISTOFFEL 39
 d @L @x @L d @x @L @x
E0 = + ;
dt @x @x0 @ x dt @x
0 @x @x0
d @L @L @x @L @ x
E0 = + ;
dt @ x @x @x0 @x @x 0

o
d @L @L @x
E0 = ;
dt @ x @x @x0
@x
E0 = 0 E :
@x
Por lo que el vector de Euler es un tensor covariante.

40 NOVENA SESIÓN
10. DÈCIMA PRIMERA SESIÓN

10.1. Transformación de los Símbolos de Christof-

fel

En un sistema de coordenadas fx0 g,

0
dx0 0 @x
=x = x ;
dt @x
y
0
! 0 0
0 d @x @x @ 2x
x = x = x + 0 x x ;
dt @x @x @x @x

la ecuación de las geodésicas

x + x x = 0:

Tenemos que si x0 = x0 x , entonces

0 0 0
0
x + x x = 0:

Por lo que
0
@x0 @ 2x 0 @x0 @x0
x + x x + x x = 0:
@x @x @x @x @x
0
@x0 @x @ 2x @x 0 @x0 @x0 @x
x + x x + x x = 0:
@x @x0 @x @x @x0 @x @x @x0
@ 2x0 @x 0 0
0 @x @x @x
x + x x + x x = 0:
@x @x @x0 @x @x @x0
DÈCIMA PRIMERA SESIÓN 41
 @ 2x0 @x 0 0
0 @x @x @x
x + x x + x x = 0:
@x @x @x0 @x @x @x0
@ 2x0 @x 0 0
0 @x @x @x
x + + x x = 0:
@x @x @x0 @x @x @x0
Por lo que
@ 2x0 @x 0 @x0 @x0 @x
= + :
@x @x @x0 @x @x @x0

42 DÈCIMA PRIMERA SESIÓN

11. DÉCIMA SEGUNDA SESIÓN

Tenemos que el elemento de linea esta dado por la

formula

ds = g dx dx
donde g Z
p
g= dt

y además

d @L @L
=0
dt @ x @x
donde
x + x x =0
y
1
= g [g ; + g ; g ; ]
2
g es simetrico por lo que se cumple la relación

g =g
EJERCICIO
Si 9 fx0 g

x = x (x0 )
entonces
0 0
x + xx =0
DÉCIMA SEGUNDA SESIÓN 43
 0 dx0 @x0 dx @x0
x = = = x
dt @x dt @x
y

0 d @x0 @ 2 x0 @x0
x = x = x x + x
dt @x @x @x @x

@x @x0 @ 2 x0 0 @x0 @x0

x + x x + x x =0
@x0 @x @x @x @x @x
con una delta de Kronecker obtenemos

@ 2x0 @x @x @x0 @x0 0

x + + 0 x x =0
@x @x @x0 @x @x @x
para que la ecuacion de las geodesicas sea covariante
Se de…ne la regla de transformacion de los simbolos de
Cristofel como:

@ 2x0 @x @x @x0 @x0 0

+ 0 (11.1)
@x @x @x0 @x @x @x
Por otra parte y recordando

@A @ @x 0
A, = = A
@x @x @x0
@ 2x @x0 0 @x 0 @x0
= A + 0 A,
@x @x @x @x @x
0
@x @x 0 @ x @x0 0
2
= A ; + A (11.2)
@x0 @x @x @x @x
44 DÉCIMA SEGUNDA SESIÓN
 @x0 @ 2 x0
ahora multiplicamos ec.1 por @x y despejamos @x @x
entonces

@x0 @x0 @x0 0 @ 2 x0

=
@x @x @x @x @x
haciendo un cambio de coordenadas primadas a no pri-
madas obtenemos

@x 0 @x @x @ 2x
= 0 (11.3)
@x0 @x0 @x0 @x @x0
sustituyendo (ec.2) en (ec.3) obtenemos

@x @x @x0 @x0 ! @x @x0 0 @x @x0 0

A ; + 0 A = 0 A ; + 0 A0
@x @x0 @x @x! @x @x @x @x

@x0 ! @x @x0
A ; + ! A = 0 A0 ; + 0
A0
@x! @x @x
donde

A0 ; + 0
A0 es la derivada covariante

@x @x0 0
B =A ; + A = 0 B
@x @x
Problema 8 de la serie de ejercicios
Para el invariante

I=a x x =0
demostrar que los tensores a , son antisimétricos.
Solución:
DÉCIMA SEGUNDA SESIÓN 45
 @I @x @x
=0=a x +a x =0
@x @x @x

a x +a x =0
derivando nuevamente

a +a =0
lo cual muestra que es antisimetrico.

46 DÉCIMA SEGUNDA SESIÓN

12. DÉCIMA SEGUNDA SESIÓN

Solución al problema 11
Determinar las componenetes del tensor métrico para
las coordenadas esféricas

x1 = y 1 sin y 2 cos y 3
x2 = y 1 sin y 2 sin y 3
x3 = y 1 cos y 2
Tenemos que en coordenadas cartesianas el tensor met-
rico esta dado por
0 1
1 0 0
g =@0 1 0A
0 0 1
entonces
@x @x
g 01 = g
@x @x
tenemos entonces que

1 @x1 @x1 @x2 @x2 @x3 @x3

g11 = + + =1
@y 1 @y 1 @y 1 @y 1 @y 1 @y 1
1 @x1 @x1 @x2 @x2 @x3 @x3 1 2
g22 = + + = y
@y 2 @y 2 @y 2 @y 2 @y 2 @y 2
1 @x1 @x1 @x2 @x2 @x3 @x3 1 2 2
g33 = + + = y sin y
@y 3 @y 3 @y 3 @y 3 @y 3 @y 3
por lo tanto el tensor metrico en coordenadas esféricas
tiene la forma
DÉCIMA SEGUNDA SESIÓN 47
 0 1
1 0 0
B 0 (y 1)2 0 C
g =@ A
2
0 0 y 1 sin y 2
Problema 12. Determinar las componenetes del tensor
métrico para las coordenadas paraboloidales

x1 = y 1y 2 cos y 3
x2 = y 1y 2 sin y 3
3 1h 1 2 2 2
i
x = y y
2
Solución: de la misma manera que el problema anterior

2 2 2
1 @x1 @x2 @x3
g11 = + +
@y 1 @y 1 @y 1
1 2 2 2
g11 = (y 2 cos y 3)2 + y 2 sin y 3 + y 1 = y1 + y2
2 2 2 2
g22 = (y 1 cos y 3)2 + y 1 sin y 3 + y2 = y1 + y2
1 2 2 2
g33 = y 1y 2 sin y 3 + y 1y 2 cos y 3 = y1y2
entonces
0 1
1 2 2 2
y + y 0 0
B 1 2 2 C
g =@ 0 y + y2 0 A
2
0 0 y1y2
DERIVADA COVARIANTE DE UN TENSOR MIXTO
Aplicando la regla de Leibnitz
de…nimos
A B =T
48 DÉCIMA SEGUNDA SESIÓN
 (A B ); = A B ; + A; B
= A B ; B + A; + A B
= (A B ); + (A B ) (A B )
T ; = T ; + T T
Problema 4 solución:
Si A,B,C son tensores, mostrar que A B C es un
invariante
tenemos que
@x0 @x0 0 @x 0 @x 0
A B C = A B C
@x @x @x0 @x0
= A0 B 0 C 0
= A0 B 0 C 0 = S
lo cual muestra que es un invariante
DERIVADA COVARIANTE DEL TENSOR MÉTRICO

g ; =g ; g g

2g = g g [g ; +g ; g ; ]
2g = [g ; +g ; g ; ]
sumamos las ecuaciones anteriores y permutamos $
entonces obtenemos

2g =g ; g g

DÉCIMA SEGUNDA SESIÓN 49

50 DÉCIMA SEGUNDA SESIÓN
13. DÉCIMA TERCERA SESIÓN

Problemas de la "primera lista"

Tensores relativos y absolutos

DÉCIMA TERCERA SESIÓN 51

52 DÉCIMA TERCERA SESIÓN
14. DÉCIMA TERCERA SESIÓN30

Determinantes
Símbolos de Cristo¤el en términos del determinante de
la métrica
La divergencia

DÉCIMA TERCERA SESIÓN30 53

54 DÉCIMA TERCERA SESIÓN30
15. DÉCIMA CUARTA SESIÓN3

kmpioop

DÉCIMA CUARTA SESIÓN3 55

56 DÉCIMA CUARTA SESIÓN3
16. DÉCIMA QUINTA SESIÓN

16.1. Derivada covariante de un vector covari-

ante

Para el vector A tomamos la derivada pacial

@A @ @x0 0 @x0 @x0 0 @ 2 x0
= A = A ; + A0 :
@x @x @x @x @x @x @x
De la transformación de los símbolos de Christo¤el
@ 2x0 @x 0
0 @x @x @x
0
= + ;
@x @x @x0 @x @x @x0
@x0 @ 2 x0 0
0 @x @x
0
= + ;
@x @x @x @x @x
@ 2 x0 @x0 0
0 @x @x
0
= :
@x @x @x @x @x
@ 2 x0 @x0 0
0 @x @x
0
= :
@x @x @x @x @x
Con ello
@A @x0 @x0 0 @x0 0 @x @x
0 0
= A ; + A0 :
@x @x @x @x @x @x
@A @x0 0 @x0 @x0 0 0 @x @x
0 0
A = A; A0 :
@x @x @x @x @x @x
0 0
@x @x
A ; A = A0 ; 0
A0 :
@x @x
De esa manera defonimos a la derivada covariante de un
vector covariante
A ; =A ; A :

DÉCIMA QUINTA SESIÓN 57

16.2. Derivada covariante de un tensor dos veces
covariante

Suponemos que se cumple la regla de Leibniz para la

derivada covariante para el producti directo A B
(A B ); = A ; B +A B ; :
(A B ); = A ; A B +A B ; B :
(A B ); = (A B ); A B A B :
Por ello
C ; =C ; C C :

16.3. Doble derivada covariante de un vector co-

variante

Como la derivada covariante es un tensor

(A ; ); = (A ; ); A ; A ; :

(A ; ); = A ; A ;
A ; A
(A ; A ) :

A ; ; = A ; ; A ; A ; A ; +A
A ; +A :
permutando los índices de derivación
A ; ; = =A ; ; A ; A ; A ; +A
A ; +A :
58 DÉCIMA QUINTA SESIÓN
Dado que nos interesa una expresión para A ; ; A ; ; ,
sabiendo que
A ; ; A ; ; = 0;
el primer término desaparece en la diferencia, así como el
segundo, el cuarto y el sexto. Entonces
A ; ; A ; ; = A ; +A +A +
A ; A A ;

A ; ; A ; ; = ; ; A + A ;
h i
A ; ; A ; ; = ; ; + A :
Por ello de…nimos al tensor de Riemann
R = ; ; + :

DOBLE DERIVADA COVARIANTE DE UN VECTOR COVARIANTE 59

60 DÉCIMA QUINTA SESIÓN
17. DÉCIMA SEXTA SESIÓN

17.1. Tensor de Riemann

Recordemos que el tensor de Riemann surge de consid-

erar la permutación de los índices de derivación de A ; ; ,
por lo que al no ser nula la diferencia entre esas permuta-
ciones, entonces se tiene una expresión antisimétrica

R = ; ; +
= ; + ; = R :

R = R :
De…nimos
g R =R :
R =g ; g ; +g g :
g =
R = ; ; + :
Con
1
g ; +g ; = ; = [g ; +g ; g ; ];
2
1
g ; +g ; = ; = [g ; +g ; g ; ];
2
por ello
1
; ; = [g ; ; +g ; ; g ; ; g ; ; ]:
2
DÉCIMA SEXTA SESIÓN 61
 Una de…nición alternativa del tensor de Riemann es
1
R = [g ; ; + g ; ; g ;; g ; ; ]+ :
2
Permutando los primeros índices
1
R = [g ; ; +g ; ; g ; ; g ; ; ]+ :
2
y como
A B =A B ;
1
R = [g ; ; +g ; ; g ; ; g ; ; ]+ :
2
entonces
R = R :
De
1
R [g ; ; + g ; ;
= g ; ; g ; ; ]+ :
2
permutando los índices por pares
1
R = [g ; ; +g ; ; g ; ; g ; ; ]+ :
2
Por lo que
R =R :
Aplicando las tres propiedades de simetría
R =R =R :

R =R :

62 DÉCIMA SEXTA SESIÓN

18. DÉCIMA SÉPTIMA SESIÓN

18.1. Problemas

1. Determinar la relación que se tiene entre R y

R :

2. Evaluar R :

3. Establecer una expresón para el tensor de Ricci

R =R :

4. Demostrar que
R =R :

5. Demostrar que se cumple la relación

R +R +R = 0:

18.2. Tensorialidad de R

De la regla de transformación para los símbolos de

Christo¤el
@ 2 x0 @x0 0 @x0 @x0
= ;
@x @x @x @x @x
DÉCIMA SÉPTIMA SESIÓN 63
 derivamos

@ 3 x0 @ 2 x0 @x0
= + ;
@x @x @x @x @x @x
0 @x @x @x0
0 0
;
@x @x @x
0 @ 2x0 @x0 0 @x0 @ 2x0
:
@x @x @x @x @x @x

Sustituimos las segundas derivadas, mediante la regla

de transformación para los símbolos de Christo¤el

@ 3 x0 @x0 @x0 @x0

0 @x0
= + ;
@x @x @x @x @x @x @x
0 @x0 @x0 @x0
;
@x @x @x
0 @x0 0 @x
0
@x0 @x0
@x @x @x @x
0 @x0 @x0 0 @x0 @x0
:
@x @x @x @x

Intercamniando $ y restando, obtenemos

@x0 @x0
0 =
@x @x
@x0 @x0
+ ; ;
@x @x
0 @x0 @x0 @x0 0 @x0 @x0 @x0
; + ;
@x @x @x @x @x @x
0 @x0 0 @x0 @x0 0 @x0 0 @x0 @x0
+ :
@x @x @x @x @x @x
64 DÉCIMA SÉPTIMA SESIÓN
reagrupando
@x0 h i
0 = + ; ;
@x
0 @x0 @x0 @x0 0 @x0 @x0 @x0
; + ;
@x @x @x @x @x @x
0 0 0 0 0 0
0 @x 0 @x @x 0 @x 0 @x @x
+ :
@x @x @x @x @x @x
Adecuando índices mudos
@x0 h i
0 = + ; ;
@x
0 @x0 @x0 @x0 0 @x0 @x0 @x0
; + ;
@x @x @x @x @x @x
0 0 0 0 0 0
0 @x 0 @x @x 0 @x 0 @x @x
+ :
@x @x @x @x @x @x
Simpli…cando
@x0 h i
0 = + ; ;
@x
h i @x0 @x0 @x0
0 0 0 0 0 0
; ; + :
@x @x @x
@x
que al contraer con la inversa @x0

0 = + ; ;
h i @x @x0 @x0 @x0
0 0 0 0 0 0
+ ; ; :
@x0 @x @x @x
Identi…cando R , resulta que

0 @x @x0 @x0 @x0

R =R :
@x0 @x @x @x
Entonces R , es tensor.
TENSORIALIDAD DE R 65
18.3. Identidades de Bianchi

Al evaluar al tensor de Riemann en un sistema de

referencia localmente euclideano, donde los símboños de
Christo¤el se anulan, aunque no necesariamente sus derivadas
1
eR = [g ; ; +g ; ; g ; ; g ; ; ]:
2
Tomando la derivada covariante, nuevamente consideran-
do que localmente es igual a la derivada parcial
1 @
eR ; = [g ; ; +g ; ; g ; ; g ; ; ]:
2 @x
Permutando los tres últimos índices de manera cíclica
1 @
eR ; = [g ; ; +g ; ; g ; ; g ; ; ]:
2 @x

1 @
eR ; = [g ; ; +g ; ; g ; ; g ; ; ]:
2 @x
Evidentemente, al sumar, se cancelan todos los térmi-
nos
eR ; +e R ; +e R ; = 0:

Lo cual es cierto para el sistema localmente euclideano.

Pero al tener componentes nulas en un sistema, debe de
tener componentes nulas en todos los sisteman, entonces
en general

R ; +R ; +R ; = 0: :

66 DÉCIMA SÉPTIMA SESIÓN

18.4. Ecuaciones de Einstein

Como la derivada covariante del tensor métrico se an-

ula, entonces
R ; +R ; +R ; =0 :
Aplicando las propiedades algebraicas
R ; R ; +R ; = 0:
Por de…niición del tensor de Ricci
R =R
R ; R ; + R ; = 0:
R ; R ; R ; = 0:
g R ; g R ; g R ; = 0:
De…nimos al escalar de curvatura como
R=g R :
Por ello, podemos escribir
R; R ; g R ; = 0:
R; R ; R ; = 0:
R; 2R ; = 0:
1
;G R = 0: = R
2 ;
1
g G =R g R = cte::
2
1
G =R 2 g R = 8 kT
:

ECUACIONES DE EINSTEIN 67
68 DÉCIMA SÉPTIMA SESIÓN
19. VIGÉSIMA SESIÓN

19.1. Principio de mínima acción

Si se tienen varias trayectorias que unen a los puntos

(x1; y1), (x2; y2), tomando en cuenta la función y (x),

con la propiedad

y (x1) = y (x2) = 0;

siendo Z x2
s= L x; y; y dx;
x1
un extremal. Que signi…ca que se cumple el principio de
mínima acción.
Z x2
s= L x; y; y dx = 0:
x1

Suponiendo que el funcional L no depende explícitamente

de x
Z x2 " #
@L @L
s= y+ y dx = 0:
x1 @y @y
VIGÉSIMA SESIÓN 69
Para la segunda integral
Z x2 Z x2
@L @L d y
I= ydx = dx
x1 @ y x1 @ y dx
x2 Z x2 !
@L d @L
I= y ydx
@y x 1
dx @y
x1
Z x2 !
d @L
I= ydx:
x1 dx @y
Sustituyendo
Z " !#
x2
@L d @L
s= ydx = 0:
x1 @y dx @y
Lo que proporciona las ecuaciones de Euler-Lagrange,
equivalentes a la condición qur ptoporciona la trayectoria
de mínima acción
@L d @L
@y - dx = 0:
@y

Braquistócrona
Partícula en la gravedad partiendo del origen v 2 =
2g (y0 y)
q
Z Z 2
ds 1+y
t= = p
v 2g (y0 y)
s
2
1+y
L=
y0 y
70 VIGÉSIMA SESIÓN
 @L y
=r ;
@y 2
(y0 y) 1 + y
Como
d @L @L
y y = 0;
dx @ y @y
!
d @L @L @L
y y y = 0;
dx @y @y @y
! " #
@L d @L@L dy @L dy @L
+ y + + = 0;
@x dx @y @y dx @y dx @x
!
@L d @L
+ y L = 0;
@x dx @y
como L no depende de x
@L
y L = c;
@y
s
2 2
y 1+y
r = c:
2 y0 y
(y0 y) 1 + y
r
2
1=c (y0 y) 1 + y :
2
a = (y0 y) 1 + y :
r
a
1 = y:
y0 y
Z r
y0 y
dy = x:
a y0 + y
PRINCIPIO DE MíNIMA ACCIÓN 71
Si y0 y = a2 (1 + cos )
a
a y0 + y = (1 cos )
2
a
dy = sen d
2
Z s
a (1 + cos ) a
sen d = x:
a (1 cos ) 2
Z
cos 2
2a sen cos d = x:
sen 2 2 2 2
Z
2a cos2 d = x:
Z
a
(1 + cos ) d = x:
2
a
x= ( + sen ) ;
2
a
y = y0 (1 + cos )
2
y ( = 0) = 0 ) y0 = a;
a
y = (1 cos ) :
2

19.2. Problemas

1. La braquistócrona.
2. La catenaria.
3. El salvavidas.
4. La catenoide.
72 VIGÉSIMA SESIÓN
 5. Longitud mínima sobre una esfera.
6. Particula sobre una mesa con diferente potencial.

PROBLEMAS 73
74 VIGÉSIMA SESIÓN
20. VIGÉSIMA SEGUNDA SESIÓN

20.1. Geodésicas sobre una esfera

Para la distancia entre dos puntos sobre una esfera de

radio a
ds2 = a2d 2 + a2sen2 d'2;
s
2
d'
ds = a 1 + sen2 d :
d
o q
2
ds = a + sen2 d :
Que origina la ecuación de Euler. Lagrange
!
@L d @L
+ L = 0;
@' d'
@
@L
L = c;
@
q 2
2
+ sen2 q = c:
2
+ sen2
q
2
2
=
sen
Z c + sen2 :
d
' '0 = c p :
sen4 c2sen2
Z
csc2 d
' '0 = q :
1
c2
csc2

VIGÉSIMA SEGUNDA SESIÓN 75

 Z
csc2 d
' '0 = q :
1
c2
1 cot2
0 1
B cot C
' '0 = arcsen @ q A:
1
c2
1
cot
sen' cos '0 cos 'sen'0 = q :
1
c2
1
a cos
asen cos 'sen'0 asen sen' cos '0 q = 0:
1
c2
1
La trayectoria encontrada debe estar contenida en el plano

76 VIGÉSIMA SEGUNDA SESIÓN

21. VIGÉSIMA TERCERA SESIÓN

21.1. Geodésicas sobre un cilíndro

Para la distancia entre dos puntos sobre un cilíndro de

radio a
ds2 = a2d'2 + dz 2;
s
2
dz
ds = a2 + d':
d'
o s
2
d'
ds = a2 + 1dz:
dz
Que origina la ecuación de Euler. Lagrange
!
@L d @L
+ L ' = 0;
@z dz @'
@L
L ' = c;
@'
q 2
2 a2'
a2' + 1 q = c:
2
a2 ' + 1
q
2
1=c a2 '
+ 1:
1 1 2
2 c2 2
= ' :
a
p a
1 a2c2 d'
= :
ac dz
VIGÉSIMA TERCERA SESIÓN 77
 z = ' + z0:
:que es la ecuación de una espiral sobre el cilíndro

78 VIGÉSIMA TERCERA SESIÓN

22. VIGÉSIMA CUARTA SESIÓN

22.1. Problema Isoperimétrico

Si se tiene que y es una curva que hace que

Z x2
I= L x; y; y dx;
x1

sea un extremal, con la condición de que

Z x2
J= L x; y; y dx;
x1

tenga un valor …jo, para la misma curva, entonces esa

curva hará que
Z x2
I = L x; y; y dx;
x1

tenga un extremal para el funcional

L x; y; y = L x; y; y + L x; y; y ;

donde es un parámetro indeterminado que permite

uni…car las unidades de I y de J.
I = I + J:
La condición de extremal se tiene, ahora en la ecuqción
@L d @L
@y - dx = 0:
@y

Ejemplo:
VIGÉSIMA CUARTA SESIÓN 79
 R x2
Determinar la curva, de longitud …ja, l = x1 ds, que
permite generar al volumen de revolución de área máxi-
ma.El área del volumen de revolución es
Z x2
A= 2 ydx;
x1

por lo que p
L =y+ 1 + y 02;
y la ecuación de Euler-Lagrange es
d y0
1 p = 0:
dx 1 + y 02
Que al resolver
y0
x x0 = p :;
1+ y 02
(x x0)2 + (x x0)2 y 02 = 2y 02;
h i
2 2 2
(x x0 ) = (x x0) y 02;
x x0
dy = q dx;
2
(x x 0 )2
q
y y0 = 2
(x x 0 )2 ;
(x x0)2 + (y y 0 )2 = 2
:

80 VIGÉSIMA CUARTA SESIÓN