Geometria Diferencial

Mtodos para la Fsica.
II. Geometra Diferencial

Antonio Hernndez Cabrera
Pilar Aceituno Cantero
Departamento de Fsica Bsica
Universidad de La Laguna
6 de febrero de 2008
2
ndice general
I Introduccin a la teora de campos 9
1. Introduccin 11
2. ESPACIOS PUNTUALES AFINES \
a
(1). 13
2.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2. Sistema de referencia cartesiano en \
a
(1). . . . . . . . . . . . 13
2.3. Ecuaciones de un o
j
. . . . . . . . . . . . . . . . . . . . . . . . 16
2.3.1. Vectorial: . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.3.2. Paramtricas: . . . . . . . . . . . . . . . . . . . . . . . 16
2.3.3. Implcitas: . . . . . . . . . . . . . . . . . . . . . . . . . 17
3. COORDENADAS CURVILNEAS EN \
a
(1) 19
3.1. Denicin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
3.2. Cambio de sistema curvilneo. . . . . . . . . . . . . . . . . . . 19
3.3. Variedades anes no lineales
en \
a
(1). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3.4. Supercies y curvas coordenadas en el EGO. . . . . . . . . . . 22
4. CAMPOS TENSORIALES EN \
a
(1). 27
4.1. Campos tensoriales en \
a
(1). . . . . . . . . . . . . . . . . . . 27
4.1.1. Denicin: . . . . . . . . . . . . . . . . . . . . . . . . . 28
4.1.2. Componentes: . . . . . . . . . . . . . . . . . . . . . . . 28
4.1.3. Propiedades de /
1
. . /
a
: . . . . . . . . . . . . . . . 28
4.2. Smbolos de Christoel. . . . . . . . . . . . . . . . . . . . . . . 29
4.3. Derivacin en \
a
(1). . . . . . . . . . . . . . . . . . . . . . . . 30
4.3.1. Campo derivada covariante 1. de 1 : . . . . . . . . . . 30
3
4 NDICE GENERAL
4.3.2. Campo diferencial de 1, d1 . . . . . . . . . . . . . . . 31
4.3.3. Campo derivada intrnseca de 1, . . . . . . . . . . . . 31
4.3.4. Campo derivada parcial de 1,
cT
cj
r
, . . . . . . . . . . . 31
4.4. Operadores diferenciales en \
a
(1). . . . . . . . . . . . . . . . 32
4.5. Curvas en \
a
(1). . . . . . . . . . . . . . . . . . . . . . . . . . 33
5. ESPACIOS PUNTUALES EUCLDEOS. CAMPOS TEN-
SORIALES 37
5.1. Denicin de c
a
. Metrizacin. . . . . . . . . . . . . . . . . . . 37
5.2. Campos tensoriales en 1
a
. . . . . . . . . . . . . . . . . . . . . 38
5.3. Smbolos de Christoel en c
a
. . . . . . . . . . . . . . . . . . 39
5.4. Volumen elemental en un c
a
. . . . . . . . . . . . . . . . . . . 40
5.5. Derivada direccional de un campo tensorial 1. . . . . . . . . . 42
6. OPERADORES DIFERENCIALES EN c
a
43
6.1. Operadores de primer orden. . . . . . . . . . . . . . . . . . . . 43
6.1.1. Campo escalar U C
1
. . . . . . . . . . . . . . . . . . 43
6.1.2. Campo vectorial , C
1
y campos tensoriales en general. 43
6.2. Operadores de segundo orden. . . . . . . . . . . . . . . . . . . 45
6.2.1. Campos escalares l C
2
. Laplaciana. . . . . . . . . . 45
6.2.2. Para campos vectoriales , C
2
. Laplaciana. . . . . . . 45
6.3. Supercies de nivel y lineas de campo. . . . . . . . . . . . . . 46
6.3.1. Supercies de nivel de l. . . . . . . . . . . . . . . . . . 47
6.3.2. Lineas de campo de un , . . . . . . . . . . . . . . . . . 47
6.4. Operadores de campos compuestos
l.\. , q. l,. , q. . . . . . . . . . . . . . . . . . . . . . . 48
6.5. Propiedades geomtricas de q:cd l. . . . . . . . . . . . . . . . 49
7. Campos especiales en c
a
. 51
7.0.1. A) Para campos escalares . . . . . . . . . . . . . . . . 51
7.0.2. B) Para campos vectoriales y, en su caso, tensoriales: . 51
8. CIRCULACIN DE UN CAMPO VECTORIAL , . FLU-
JO. 55
8.1. Circulacin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
8.2. Flujo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
NDICE GENERAL 5
9. TEOREMAS INTEGRALES 61
9.1. Teorema de Stokes en el EGO . . . . . . . . . . . . . . . . . . 61
9.1.1. Frmula matemtica de Stokes en el EGO . . . . . . . 61
9.1.2. Interpretacin vectorial. . . . . . . . . . . . . . . . . . 62
9.2. Teorema de Stokes en el plano. Frmula matemtica de Rie-
mann. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
9.2.1. Interpretacin vectorial de la frmula de Riemann. . . 63
9.3. Teorema de la divergencia en EGO. . . . . . . . . . . . . . . . 64
9.3.1. Frmula de Ostrogradsky en el EGO. . . . . . . . . . . 64
9.3.2. Teorema de la divergencia. Forma integral vectorial. . . 65
9.3.3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
9.4. Teorema de la divergencia en el plano. . . . . . . . . . . . . . 65
9.5. Frmula de Ostrogradsky en el plano. . . . . . . . . . . . . . . 65
9.5.1. Teorema de la divergencia. expresin integral de la fr-
mula de Ostrogradsky en el plano. . . . . . . . . . . . . 66
9.5.2. Teorema del gradiente.Teoremas que se deducen a par-
tir del teorema de la divergencia. . . . . . . . . . . . . 66
9.5.3. Teorema del rotacional. . . . . . . . . . . . . . . . . . . 67
9.5.4. Teorema de la laplaciana. . . . . . . . . . . . . . . . . 67
9.6. Expresin intrnseca de los operadores diferenciales. . . . . . . 67
10.CAMPOS CONSERVATIVOS 69
10.1. Denicin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 69
10.2. Circulacin de un campo irrotacional. . . . . . . . . . . . . . . 72
10.2.1. Punto sigular aislado 1. . . . . . . . . . . . . . . . . . 72
10.2.2. Linea de puntos singulares cerrada o indenida por am-
bos extremos: linea stokiana 1 . . . . . . . . . . . . . . 72
11. CAMPOS SOLENOIDALES. DISCONTINUIDADES 75
11.1. Denicin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
11.2. Propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
11.3. Potencial vectorial de un campo . . . . . . . . . . . . . . . . . 76
11.4. Flujo de un campo solenoidal. . . . . . . . . . . . . . . . . . . 78
11.5. ngulos slidos. . . . . . . . . . . . . . . . . . . . . . . . . . . 80
6 NDICE GENERAL
12.CAMPOS CENTRALES 85
12.1. Denicin. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
12.2. Expresin general para campos centrales armnicos. . . . . . . 85
12.2.1. Para un escalar l(:). . . . . . . . . . . . . . . . . . . . 85
12.2.2. Para un campo vectorial , . . . . . . . . . . . . . . . . 86
13.DESCOMPOSICIN DE HELMHOLTZ. 89
13.1. Teorema de la decomposicin de Helmholtz. . . . . . . . . . . 89
13.2. Ecuacin de Poisson . . . . . . . . . . . . . . . . . . . . . . . 89
13.3. Ecuacin de Laplace . . . . . . . . . . . . . . . . . . . . . . . 90
14.ESPACIOS DE RIEMANN 91
14.1. Variedad real :-dimensional y j-diferenciable \
j
a
. . . . . . . . 91
14.2. Espacio de Riemann 1
a
de dimensin : . . . . . . . . . . . . . 91
14.2.1. Axiomas: . . . . . . . . . . . . . . . . . . . . . . . . . 92
14.2.2. Puntos singulares: . . . . . . . . . . . . . . . . . . . . . 92
14.3. CLASIFICACIN DE 1
a
. . . . . . . . . . . . . . . . . . . . 92
14.3.1. Cambio de los coecientes de la forma cuadrtica (d:)
2
. q
co
. 93
14.4. Ejemplo fundamental de 1
a
. . . . . . . . . . . . . . . . . . . . 93
14.5. Curva y longitud de un arco de curva en 1
a
. . . . . . . . . . . 94
14.6. Smbolos de Christoel en 1
a
. . . . . . . . . . . . . . . . . . . 95
14.7. Cambio de sistema curvilneo y smbolos de Christoel. . . . . 95
a
, mtricamente aplicable sobre un c
a
. 95
14.9. Geodsicas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
15.CAMPOS TENSORIALES RC, RI y EI. 99
15.1. Campo tensorial de Riemann-Christoel. . . . . . . . . . . . . 99
15.2. Simetras y hemisimetras de 1 C. . . . . . . . . . . . . . . 100
15.3. Campo tensorial de Ricci. . . . . . . . . . . . . . . . . . . . . 101
15.4. Componentes de la curvatura escalar 1. . . . . . . . . . . . . 102
15.5. Campo tensorial de Einstein. . . . . . . . . . . . . . . . . . . . 102
15.6. Campo tensorial de Weyl. . . . . . . . . . . . . . . . . . . . . 103
15.7. Identidades de Bianchi. . . . . . . . . . . . . . . . . . . . . . . 103
15.8. Ecuacin de Einstein. . . . . . . . . . . . . . . . . . . . . . . . 103
NDICE GENERAL 7
II Teora General de la Relatividad 105
16.RELATIVIDAD GENERAL 107
16.1. Principio de equivalencia. . . . . . . . . . . . . . . . . . . . . . 107
16.2. Mtrica debida a un campo dbil: el campo gravitatorio. . . . 108
16.3. Movimiento de una partcula libre en un campo gravitatorio. . 109
16.4. Ley de Einstein de la gravitacin. . . . . . . . . . . . . . . . . 110
16.5. Aceleracin de una partcula en un campo gravitatorio dbil. . 111
16.6. Ley de gravitacin de Newton. . . . . . . . . . . . . . . . . . . 113
16.7. Nube de polvo en caida libre. . . . . . . . . . . . . . . . . . . 114
16.8. Mtricas con simetra esfrica. . . . . . . . . . . . . . . . . . . 115
16.9. La solucin de Schwarzschild. . . . . . . . . . . . . . . . . . . 117
16.10.Las rbitas planetarias. El caso de Mercurio. . . . . . . . . . . 119
16.11.Desviacin de un rayo de luz debida a la gravedad. . . . . . . 123
16.12.Agujeros negros. Ondas gravitatorias. . . . . . . . . . . . . . . 126
16.13.Principio cosmolgico. Tiempo cosmolgico. . . . . . . . . . . 131
16.14.Espacios de curvatura constante. . . . . . . . . . . . . . . . . 132
III Bibliografa 137
8 NDICE GENERAL
Parte I
Introduccin a la teora de
campos
9
Captulo 1
Introduccin
Nos ha parecido conveniente darle este nombre a la segunda entrega de la
coleccin de notas de la asignatura Mtodos para la Fsica por una sencilla
razn. Al dotar a los espacios vectoriales (eucldeos, seudoeucldeos o total-
mente arbitrarios) de estructura, la mayora de las cantidades que aparecen en
el mercado de la geometra ( y, por tanto, de la fsica) van a tomar diferentes
valores al cambiar de un punto a otro de un espacio, aunque mantengan su
forma analtica inalterada. El conjunto innito de valores posibles que puede
tomar una entidad es lo que congura un campo. El trmino es muy sug-
estivo en el mundo de la fsica. Desde un punto de vista histrico ya fu
acuado en el siglo XIX, en particular por J. C. Maxwell. En el siglo XX se
difundi por medio de la Relatividad General. Recordemos que, para Ein-
stein, el Universo tena estructura real en s mismo. Y los campos tambin.
La Mecnica Cuntica Relativista va hasta tal punto que una partcula, co-
mo pueda ser el electrn, no es ms que un paquete de energa y momento
de un campo. Claro es que no est dentro de las ambiciones de estos apuntes
el adentrarse en la Teora Cuntica de Campos, ni presentar el Modelo Es-
tndar u otras teologas contemporneas. Toda nuestra pretensin es la de
proporcionar ciertos conocimientos de las herramientas imprescindibles para
poder abordar problemas de la fsica actual, as como intentar que el estu-
diante adquiera cierta habilidad en su manejo. Desde este punto de vista el
ttulo puede ser engaoso, ya que el contenido de estos apuntes slo son una
continuacin del clculo tensorial y nada ms.
Como aplicacin de inters haremos una breve introduccin a la Relativi-
dad General, tratando de seguir el proceso intelectual que, nos gustara creer,
sigui Einstein. Pero nos servir para comprobar cmo una teora matemti-
11
12 CAPTULO 1. INTRODUCCIN
ca, en principio sin utilidad aparente alguna, encuentra mltiples aplicaciones
en el mundo de la Fsica. Es el reverso de la pedagoga, donde mltiples
teoras de aplicacin prctica inmediata no sirven absolutamente para nada
en el mejor de los casos. Los estudiantes que no sigan la especialidad de As-
trofsica tendrn la oportunidad de adquirir ciertas nociones de Cosmologa,
aunque estas sean .
ep
iteliales". Esperemos que le sean de utilidad cuando al-
gn indiscreto curioso les aborde con alguna duda encontrada en libros de
"divulgacin"tales como los de S. Hawking o de S. Weinberg. Por supuesto,
slo les servir de forma parcial, pues sospecho que, a menudo, ni los propios
autores estn seguros de lo que pretenden divulgar. Pero, con la Teora de
Grupos Contnuos, que tambin entra en el temario de esta asignatura, el
estudiante podr rellenar algn que otro vacio al respecto. Recordemos que
la Mecnica Cuntica, la Relatividad General y las Simetras son, proba-
blemente, las contribuciones ms importantes en el siglo XX a la insaciable
necesidad de una pequesima parte de la humanidad por conocer cmo fun-
ciona fsicamente este mundo ya sea material o espiritual.
As, empezaremos por dotar a esas entelquias matemticas llamadas es-
pacios vectoriales de cierta estructura que, de alguna manera, nos permita
hacer representaciones "visuales".
Captulo 2
ESPACIOS PUNTUALES
AFINES \
:
(1).
2.1. Denicin
Un espacio puntual afn \
a
(1). de un espacio vectorial asociado \
a
(1)
es un conjunto de unos elementos denominados puntos, A, de tal forma
que existe una aplicacin por la que, a cada vector r \
a
, le corresponde
biunvocamente un par de puntos A. 1 \
a
, de forma que r = A1 . Es,
por tanto, una aplicacin \
a
(1) \
a
(1) \
a
(1). Es decir, con la ayuda
de los puntos es posible construir vectores ligados, los cuales satisfacen las
relaciones siguientes:
1) \(A. 1 ) \
a
=A1 = 1 A
2) \(A. 1. 2) \
a
=A1 +1 2 = A2
3) Fijado un C \
a
, arbitario, \A \
a
=r \
a
, siendo este vector
nico, y tal que CA = r. A este punto C se le denomina origen.
Es importante observar que la construccin de los espacios puntuales nos va
a permitir representar vectores.
2.2. Sistema de referencia cartesiano en \
:
(1).
1) Se dene como sistema de referencia al conjunto de un punto arbitrario
de \
a
(1) y una base de \
a
, C. c
i
. Al punto C se le denomina origen y a
la base c
i
, base asociada.
13
14 CAPTULO 2. ESPACIOS PUNTUALES AFINES \
.
(1).
Figura 2.1: Sistema de referencia cartesiano
2) Las coordenadas cartesianas de un punto r \
a
en C. c
i
son las
coordenadas contravariantes r
1
r
a
del vector Cr en c
i
: Cr = r
i
c
i
.
3) Cambio de sistema de referencia cartesiano. Dados dos sistemas
de referencia C. c
i
y Q. c
0
i
, as como el cambio de base c
0
i
= c
c
i
c
c
y el vec-
tor CA =
c
c
c
, se trata de representar un vector r en ambos sistemas de
referencia, y poder cambiar de uno al otro.
Dado que QA =
_
r
0i
c
0
i
= r
0i
c
c
i
c
c
CA CQ = r
c
c
c
c
c
c
_
= r
0i
= /
i
c
(r
c

c
). Y
en forma matricial,
r
0
i
= (
T
)
1
r
c
c
(2.1)
Subespacio puntual afn o
j
de \
a
(1).
Es un subespacio vectorial asociado o
j
, dotado de puntos, y que ha de
pasar por un punto de \
a
(1). Es decir, o
j
= o
j
+ = A \
a
A
o
j
. Un sencillo ejemplo en el espacio geomtrico ordinario (EGO) es el de
un plano que pase por un punto predeterminado, como muestra la gura 3.
2.2. SISTEMA DE REFERENCIA CARTESIANO EN \
.
(1). 15
Figura 2.2: Cambio de sistema de referencia cartesiano
Figura 2.3: Subespacio vectorial
.
(1).
Como consecuencia de ello:
-Un o
j
es un subespacio puntual afn.

-Un \
a
es un subespacio puntual afn de s mismo.

-Si 1 o
j
+ =o
j
+ = o
j
+1.
-Una recta en \
a
es todo o
1
.
-Un hiperplano en \
a
es todo o
a1
.
- Dos subespacios anes se llaman paralelos si los subespacios vectoriales
asociados son de tal forma que uno es subespacio del otro.
2.3. Ecuaciones de un o
j
.
Sea el o
j
= + o
j
. Sea una base c
i
\
a
y
1
. .
a
una base de
o
j

c
=
i
c
c
i
. Las ecuaciones del o
j
pueden escribirse de varias formas:

2.3.1. Vectorial:
\r o
j
= r = n
c
c
= n
c
i
c
c
i
. La ecuacin de o
j
en el sistema de
referencia C. c
i
ser:
\r o
j
=A = n
c
c
. (2.2)
Como CA = C +n
c
i
c
c
i
=CA = (c
i
+n
c
i
c
)c
i
.
2.3.2. Paramtricas:
r
i
= c
i
+ n
c
i
c
, donde el nmero de parmetros es igual a dimo
j
. La
ecuacin en paramtricas se escribe eliminendo las c
i
.
Ejemplo:
Supongamos que obtenemos, el el EGO, el sistema
r
1
= 3 + 4n
1
r
2
= 1 n
1
+n
2
r
S
= n
1
, donde el nmero de parmetros n
c
es dos, es decir, esta-
mos trabajando con un plano de un espacio tridimensional. Aqu las c
i
que
denen al punto son las constantes (3,1,0). Por lo tanto, la ecuacin del
o
2
ser
_
_
_
r
1
= 4n
1
r
2
= n
1
+n
2
r
S
= n
1
2.3. ECUACIONES DE UN o
1
. 17
Es importante recordar que c 1
j
pero i 1
a
..
2.3.3. Implcitas:
En o
j
, se obtienen eliminando los parmetros n
c
en las ecuaciones paramtri-
cas, obtenindose que:
c
i
)
r
)
= 0, donde i 1
n
. , 1
a
. Aqu, : :c:qo(c
i
)
) = dimo
j
. En o
j
,
tedramos que r
i
c
i
= n
c
i
c
. Eliminando los parmetros, c
i
)
(r
)
c
)
) =
0 =c
i
)
r
)
= /
i
. La dimo
j
= : :c:qo(c
i
)
).
Ejemplo:
En el EGO, supongamos la recta (o
1
) denida por:
_
3r 7 = 1
r + 2 = 2
_
=en o
1
=
_
3r 7 = 0
r + 2 = 0
_
, o, en forma de vector,
[4. 1. 7].
.
(1).
Captulo 3
COORDENADAS
CURVILNEAS EN \
:
(1)
3.1. Denicin.
Es un conjunto de : variables
1
. .
a
de \
a
(1), tales que:

1)
1
. .
a
se pueden poner en correspondencia biunvoca con los puntos
A \
a
.
2) Fijando un sistema de referencia C. c
i
, dado que existe el punto A de
coordenadas cartesianas r
1
. . r
a
= r
i
= r
i
(
)
), relaciones que han de
cumplir las siguientes propiedades:
A: Deben ser continuas y derivables dos veces ( C
2
).
B:
0a
.
0j
,= 0. .
3.2. Cambio de sistema curvilneo.
Si tenemos dos sistemas curvilneos diferentes,
1
. .
a
e
0i
. .
0a
,
ambos capaces de representar un punto A, siempre existe una relacin entre
ambos
i
=
i
(
0)
). Si denimos la matriz jacobiana de esta relacin como
J =
_
J
)
J
0i
_
, con
i = ,i|c
, = co|n::c
=
J
1
=
_
J
0i
J
)
_
=
J
)
J
0i

J
0i
J
I
= o
)
I
=JJ
1
= 1 (3.1)
19
20 CAPTULO 3. COORDENADAS CURVILNEAS EN \
.
(1)
Figura 3.1: Coordenadas cilndricas
Esta matriz jacobiana ser la matriz de cambio de base entre los dos sistemas
curvilneos.
Ejemplo: Paso de cartesianas a cilndricas en el EGO:
Las coordenadas cilndricas habituales son (j. o. .), relacionadas con las carte-
sianas mediante:
r = j cos o
= j sin o
. = .
Vamos a ver si esta relacin es vlida en todo el EGO. Las coordenadas
cilndricas varan 0 _ j < , 0 _ o < 2: y < . < . Geomtricamente,
existe una relacin biunvoca en todo el EGO entre cartesianas y cilndricas,
excepto en el eje 2. Adems, existen unas relaciones funcionales que son
contnuas y derivables dos veces en todo el EGO. Es decir,
i
=
i
(
0)
) C
2
.
El jacobiano, donde consideramos a las coordenadas cartesianas como sistema
curvilneo original, ser:
3.3. VARIEDADES AFINES NO LINEALES EN \
.
(1). 21
J =
_
_
cos o sin o 0
j sin o j cos o 0
0 0 1
_
_
=[J[ = j (,= 0. ).
Es decir, el sistema (j. o. .) es curvilneo en todo el EGO, excepto en el eje
2.
El dominio de regularidad de un sistema curvilneo (
1
. .
a
) es el lugar
geomtrico de los puntos donde el sistema es realmente curvilneo. Para las
cilndricas en el EGO, la regin de regularidad ser 1
j0:
= 1GC c,c2.
3.3. Variedades anes no lineales
en \
:
(1).
Una variedad afn no lineal o
j
.1
es un subconjunto de puntos de \
a
(1)
tales que, jado un sistema
1
. .
a
, las coordenadas de los puntos son fun-
ciones casi contnuas de j variables reales n
1
. . n
j
, es decir,
i
=
i
(n
1
. . n
j
),
con j < :.
Ejemplo:
Retomando el sistema curvilneo, donde
1
.
2
.
S
= j. o. ., una variedad afn
no lineal de orden 2, o
2
.1
, podra ser
_
_
_
j = n
1
o = n
2
. = (n
1
)
2
que es un paraboloide de seccin circular como el representado en la gura
5. (Por cierto, la gura utiliza otra variedad afn no lineal para hacer la
representacin, y que viene prediseada por el software usado).
Una variedad afn no lineal es siempre un subespacio puntual afn. Las
ecuaciones de la variedad afn en un sistema cartesiano r
1
. . r
a
son fun-
ciones anes de j variables reales.
Ejemplo:
Tengamos en el EGO, en un sistema de referencia C. c
i
, la variedad
afn denida por
_
_
_
r = 3n
1
+n
2
1
= n
1
2
. = n
1
+n
2
, que es un plano.
.
(1)
Figura 3.2: Paraboloide circular
Dos casos particulares de variedades anes con nombres propios son los
de dimensiones : 1 y 1:
Una hipersupercie en \
a
(1) es una o
a1
.1
.
Una curva en \
a
(1) es una o
1
.1
.
3.4. Supercies y curvas coordenadas en el
EGO.
(Denicin de supercies y curvas coordenadas en el
EGO, relativas a un sistema curvilneo).
1) Se llama familia de supercies coordenadas, relativas al sistena
1
.
2
.
S
,
a las familias:
oC
1
=
_
_
_
1
= /
2
= n
S
=
; oC
2
=
_
_
_
1
= n
2
= /
S
=
; oC
S
=
_
_
_
1
= n
2
=
S
= /
, siendo
/ el parmetro que identica cada supercie, o elemento de la familia. En
dimensiones mayores existen la familias de hipersupercies coordenadas. Un
caso tpico corresponde al de los universos relativistas con simetra esfrica
en : = 4.
En el ejemplo de las coordenadas cilndricas que hemos ido analizando,
las familias de supercies coordenadas seran:
3.4. SUPERFICIES Y CURVAS COORDENADAS EN EL EGO. 23
Z
Y
X
S C
S C
S C z
Figura 3.3: Curvas coordenadas en cilndricas
oCj =
_
_
_
j = /
o = n
. =
. oCo =
_
_
_
j = n
o = /
. =
. oC. =
_
_
_
j = n
o =
. = /
.
.
oCj es una familia de hojas cilndricas concentricas. oCo es la familia de
planos que pasan por el eje 2. Por ltimo, oC. es la familia de planos
paralelos al A1 .
2) Las curvas coordenadas son las familias de curvas tales que:
CC
1
=
_
_
_
1
= n
2
= /
1
S
= /
2
;
CC
2
=
_
_
_
1
= /
1
2
= n
S
= /
2
;
.
(1)
Z
Y
X
CC
CC
CC z
Figura 3.4: Curvas coordenadas en cilndricas
CC
S
=
_
_
_
1
= /
1
2
= /
2
S
= n
; /
1
. /
2
son los parmetros que identican a cada
curva.
Para las coordenadas cilndricas tendramos:
CCj =
_
_
_
j = n
o = /
1
. = /
2
; CC
2
=
_
_
_
j = /
1
o = n
. = /
2
; CC
S
=
_
_
_
j = /
1
o = /
2
. = n
.
CCj = CC
1
son semirectas paralelas al plano A1 . CC
2
son circunfer-
encias concntricas paralelas al plano A1 . CC
S
son rectas paralelas al eje
2.
Cada familia de curvas coordenadas, relativa a una variable, es la inter-
secin de las supercies coordenadas relativas a las otras variables
TEOREMA:
3.4. SUPERFICIES Y CURVAS COORDENADAS EN EL EGO. 25
Un sistema
i
de coordenadas curvilneas en \
a
(1) es cartesiano si, y

slo si, jado un r
i
cartesiano, las relaciones r
i
= r
i
(
)
) son anes, es decir,
lineales con un trmino independiente.
.
(1)
Captulo 4
CAMPOS TENSORIALES EN
\
:
(1).
SMBOLOS DE CHRISTOFFEL.
4.1. Campos tensoriales en \
:
(1).
Es un conjunto de tensores del \
a
(1) asociado, todos de igual orden,
peso y especie, de los cuales uno, y slo uno, corresponde a cada punto de
\
a
(1). Es decir, las componentes de los tensores son funciones de los puntos.
Un ejemplo sencillo en el EGO es el tensor 1 = t
i
)
(c
i
c
)
), de componentes
t
i
)
=
_
_
r r. 4
0 0
0
2
0
_
_
=
1 = r(c
1
c
1
) +r.(c
1
c
2
) + 4(c
1
c
S
) +(c
2
c
S
) +
2
(c
S
c
2
).
Se llama campo vectorial , al campo tensorial de orden uno, contravari-
ante, homogneo.
Un campo escalar es un campo tensorial de orden cero.
El campo de vectores de posicin :, con origen en C, es el campo denido
por los vectores :(r) = CA.
Se dene como Derivada parcial de un campo tensorial 1, de \
a
en
un sistema
i
, a un nuevo campo tensorial
0T
0j
I
que, en cada base c
i
, tiene
27
28 CAPTULO 4. CAMPOS TENSORIALES EN \
.
(1).
por sistema de componentes las derivadas de las componentes de 1 en c
i
. En
general,
0T
0j
I
tiene la misma naturaleza tensorial que 1.
Campos vectoriales naturales /
1
. . /
a
, relativos a un sistema curvil-
neo
1
. ....
a
en \
a
(1).
4.1.1. Denicin:
Son los : campos vectoriales /
i
=
0v
0j
.
, donde : es el campo de vectores de
posicin con origen en C.
4.1.2. Componentes:
/
i
=
0OA
0j
.
=
0(a
.
c
.
)
0j
=
0a
.
0j
c
i
. En forma matricial,
_
/
i
_
= J c
c
(4.1)
Ejemplo:
Para las coordenadas cilndricas en el EGO,
_
_
_
/
j
/
0
/
:
_
_
_
=
_
_
cos o sin o 0
j sin o j cos o 0
0 0 1
_
_
_
_
_
c
1
c
2
c
S
_
_
_
.
4.1.3. Propiedades de /
1
. . /
n
:
a) Son independientes del origen elegido, C. Supongamos que denimos los
vectores de posicin respecto a dos orgenes diferentes C.

C, :
c
y :
b c
, respec-
tivamente, de forma que

CA = CAC
C. Los campos vectoriales naturales,

respecto a los dos orgenes, seran:
/
i
=
0vo
0j
.
=
0OA
0j
.
.
/
i
=
0v
b o
0j
.
=
0
b
OA
0j
.
=
0(OAO
b
O)
0j
.
=
0OA
0j
.
= /
i
.
b) En la regin de regularidad 1
i
, los /
1
. . /
a
son campos de la clase C
1
,
por ser r
c
= r
c
(
i
) de la clase C
2
.
4.2. SMBOLOS DE CHRISTOFFEL. 29
h
h
z
Z
Y
X
h
h
z
h
Figura 4.1: Base natural en cilndricas

c) En cualquier punto A, los vectores /
1
. . /
a
forman base del \
a
(1)
asociado. Dado que la transformacin
_
/
i
_
= J c
c
, con J ,= 0, es regular,
representa un cambio de base. A partir de ahora utilizaremos como base
a la base natural, a menos que se explicite lo contrario. Es decir, cuando
escribamos c
i
, nos estaremos reriendo a /
i
, ya que la base natural llega a
tener un signicado fsico concreto.
d) En 1
i
, los vectores /
i
son, en cada punto del espacio, tangentes a las
curvas coordenadas, con el sentido creciente de la coordenada.
4.2. Smbolos de Christoel.
Los smbolos de Christofel de primera especie se denen como las derivadas
parciales de la base natural, en forma contravariante y expresadas en la propia
base natural:
i),I
=
J
2
:
J
i
J
)
J:
J
I
=
J/
i
J
)
/
I
(4.2)
.
(1).
Los smbolos de Christoel de segunda especie seran la forma covariante de
las anteriores derivadas:
I
i)
=
J/
i
J
)
/
I
(4.3)
Los smbolos de Christoel son simtricos, por construccin, respecto a los
dos primeros subndices, tanto los de primera como los de segunda especie.
4.3. Derivacin en \
:
(1).
(Campos derivada covariante, diferencial, derivada in-
trnseca y derivada parcial de un campo tensorial denido
en \
a
(1)).
Sea un campo 1 modular de peso j, cova-contra-covariante, por ejemplo.
Lo escogemos modular para tener un caso lo ms general posible. Dicho
campo tendr por componentes:
1
_
_
en la base natural c
i
: t
)
i I
(A)
en otra base natural c
0
i
: t
0 )
i I
(A)
en cartesianas

c
i
:

t
)
i I
(A)
4.3.1. Campo derivada covariante 1. de 1 :
Es el campo que tiene por componentes, en c
i
,
t
)
iI,|
= 1
|
t
)
iI
=
Jt
i
)
I
J
|
t
)
cI
c
i|
+t
c
iI
)
c|
t
)
ic
c
I|
jt
)
i I
c
c|
(4.4)
Dado que, en cartesianas, los smbolos de Christoel son nulos, es fcil ver
que

t
)
i I,|
=
0
t

. I
0j
I
.
Si cambiramos de sistema de referencia curvilneo, se puede comprobar, de
forma bastante tediosa, que:
t
0 )
i I,|
= [J[
j 0j
o
0j
0.
0j
0
0j
c
0j
0j
0I
0j
A
0j
0I
t
o
c ,A
.
Es decir, son las componentes de un campo tensorial de anloga naturaleza
a 1, pero con una covarianza mas.
4.3. DERIVACIN EN \
.
(1). 31
4.3.2. Campo diferencial de 1, d1
Es el campo que tiene por componentes, en c
i
,
1t
)
i I
= t
)
i I,|
d
|
(4.5)
En cartesianas, 1
t
)
i I
= d
t
)
i I
. Es decir, las diferenciales absolutas coinciden
con las ordinarias en los sistemas cartesianos.
Dado que d: = d
i
c
i
= dr
i
c
i
=d1 =
= 1. d: = C
j1,j2
[1. d:], para un tensor de orden j. d1 tiene la misma
naturaleza tensorial que 1.
4.3.3. Campo derivada intrnseca de 1,
respecto de un parmetro ` de una curva denida por C =
i
=
i
(`),
cT
cA
, Es el campo que tiene por componentes, en c
i
,
ct

. I
cA
= (t
)
i I,|
)
C
oj
I
oA
, que
vienen a correspoder con las derivadas intrnsecas de las componentes t
)
i I
respecto a `. Lgicamente, en cartesianas,
c
t

. I
cA
=
_
o
t

. I
oA
_
C
.
cT
cA
tiene idntica naturaleza tensorial que 1, pero slo en los puntos de la
curva C.
4.3.4. Campo derivada parcial de 1,
T
y
m
,
respecto a una coordenada curvilnea
n
, donde : es jo, es el tensor
cT
cj
r
que tiene por componentes en una base c
i
a
t
)
i I,n
=
Jt
)
i I
J
n
t
)
c I
c
in
+t
c
i I
)
cn
t
)
i c
c
In
jt
)
i I
c
cn
. (4.6)
donde : slo toma un valor. En cartesianas,

t
)
i I,n
=
0
t

. I
0j
r
. Es fcil com-
probar que
cT
cj
r
tiene la misma naturaleza tensorial que 1.
.
(1).
4.4. Operadores diferenciales en \
:
(1).
1) Para un campo escalar l (campo tensorial de orden cero) tenemos:
( G:cd l = l. que es un campo tensorial de primer orden, homogneo,
covariante, de componentes
G:cd l = l.
i
c
i
=
Jl
J
i
c
i
(4.7)
Ejemplo:
Retomando las coordenadas cilndricas
i
, supongamos que tenemos un cam-
po escalar l = j
2
r cos o. Su gradiente sera:
G:cd l =
0l
0j
.
c
i
= 2j. cos o c
j
j
2
. sin o c
0
+j
2
cos o c
:
2) Para un campo vectorial f (tensor de primer orden, homogneo, contravari-
ante):
(G:cd , = ,. tensor de segundo orden, homogneo, contra-covariante, de
componentes:
,. = ,
i
.
)
(c
i
c
)
) =
_
J,
i
J
)
+,
c
i
c)
_
(c
i
c
)
) (4.8)
di , = C[,. ] = ,
i
.
i
=
J,
i
J
i
+,
c
i
ci
. (4.9)
que es un campo escalar.
3) Para campos de funciones lineales 1 (tensores de primer orden, homog-
neos, covariantes):
(G:cd 1 = 1. = t
i,)
(c
i
c
)
), campo tensorial de 2
c
orden, cova-covariante,
homogneo.
(1(1) = campo rotacional o de Stokes =
1
c
. 1. = (t
),i
t
i,)
)(c
i
c
)
) = (
Jt
)
J
i

Jt
i
J
)
)(c
i
c
)
) (4.10)
4.5. CURVAS EN \
.
(1). 33
4.5. Curvas en \
:
(1).
1) Campo vectorial tangente a una curva con parmetro dado `
Sea la curva C
i
=
i
(`). Se dene como tangente a dicha curva, con
parmetro `, a:
t
A
=
o:
o`
=
d
i
d`
c
i
(4.11)
(recordemos que ya c
i
= /
i
).
Si deniramos la curva por medio de otro parmetro `
0
, la tangente slo
sufre una variacin de tamao, pero no de direccin. Si `
0
= `
0
(`), entoces:
t
A
0 =
cv
cA
0
=
oj
.
oA
0
c
i
=
oj
.
oA

oA
oA
0
c
i
=
oA
oA
0
t
A
.
Ejemplo:
Tengamos, en el EGO, la curva denida por las curvas coordenadas de ciertas
coordenadas curvilneas
i
, CC
2
=
_
_
_
1
= /
1
2
=
2
= `
S
= /
2
_
_
_
=
t
2
=
oj
.
oA
c
i
=
oj
.
oj
2
c
i
= o
i
2
c
i
= c
2
.
2) Derivada de la tangente
ot
A
o`
=
o
2
:
o`
2
=
_
d
2
i
d`
2
+
d
)
d`
d/
d`
_
i
)I
_
C
_
c
i
(4.12)
En efecto,
ct
A
cA
= (t
i
.
)
)
C
oj
.
oA
c
i
=
_
ot
.
oj
+t
c
i
c)
_
C
oj
.
oA
c
i
=
_
o
2
j
.
oA
2
+
oj
o
oA
oj
oA
_
i
c)
_
C
_
c
i
.
Dado que la derivada parcial y la intrnseca son similares en forma, existe
otra forma de plantear la derivada de la tangente:
ct
A
cA
=
o
2
j
I
oA
2
c
I
+
oj
.
oA
0c
.
0j
oj
oA
.
Dado que
0c
.
0j
=
I
i)
c
I
=
ct
A
cA
=
o
2
j
I
oA
2
c
I
+
oj
.
oA

I
i)
c
I
oj
oA
=
_
o
2
j
I
oA
2
+
oj
.
oA
oj
oA

I
i)
_
c
I
.
3) Dado un mvil que se desplaza por una curva C
i
=
i
(`), con
ley horaria, y con ` = `(t), podemos representar la curva eligiendo como
parmetro al tiempo t. En tal caso podemos denir:
Velocidad:
.
(1).
= t
t
=
o:
o`
=
d
i
dt
c
i
(4.13)
Aceleracin:
c =
o
2
:
ot
2
=
_
d
2
i
dt
2
+
d
)
dt
d/
dt
_
i
)I
_
C
_
c
i
(4.14)
Ms adelante veremos las profundas implicaciones que tiene esta expresin
de la aceleracin, en particular en la Teora de Relatividad General.
Problema 33.
Dadas las coordenadas esfricas en el EGO, buscar las relaciones fun-
cionales de estas coordenadas con las cilndricas y las cartesianas. Buscar la
regin de regularidad de las esfricas. Buscar la base natural de las coorde-
nadas esfricas en funcin de las bases naturales de cilndricas y cartesianas.
Calcular los smbolos de Christoel de segunda especie.
Problema 34.
Se dan las coordenadas cilndricas en el EGO, y un campo tensorial de
segundo orden, cova-contravariante, de componentes en cilndricas
t
)
i
=
_
_
0 j 0
0 0 0
0 0 0
_
_
.
1) Componentes del tensor en cartesianas.
2) Componentes de 1. en cilndricas y cartesianas.
3) Componentes de
0T
0j
en cilndricas y cartesianas.
4) Componentes de
0T
00
5) Componentes de
0T
0:
6) Componentes de d1 en cilndricas y cartesianas.
7) Dada la curva C =
_
_
_
j = c
o = `
. = `
2
, calcular las componentes de
cT
cA
en ciln-
dricas y cartesianas.
Problema 35.
Obtener, para un espacio \
a
(1)
1)
i
1

in
.
I
2) o
)
1
,)n
i
1
in
.
I
Problema 36.
4.5. CURVAS EN \
.
(1). 35
En un plano del EGO se establecen las coordenadas polares (C. j. o).
En l se dene el tensor 1 = t
i)I
(c
i
c
)
c
I
) de componentes t
i)I
=
_
0 j
j 0
__
0 1
1 0
_
.
1) Calcular 1. en polares. 2) Calcular 1 en cartesianas.
.
(1).
Captulo 5
ESPACIOS PUNTUALES
EUCLDEOS. CAMPOS
TENSORIALES
5.1. Denicin de c
:
. Metrizacin.
Un espacio puntual eucldeo c
a
es un \
a
en el que el espacio vectorial aso-

ciado es un espacio eucldeo c
a
.
Metrizacin
Es una aplicacin d : c
a
c
a
1, llamada distancia. Para un par de puntos

A. 1 c
a
, d(A. 1 ) =
A1
cumple las siguientes propiedades:
A1
_ 0
A1
= 0 =A = 1
A1
1 2
A2
A1
1 A
Distancia nita en un sistema de referencia C.
c
i
d(A. 1 ) =

A1
C1 CA
= +
_
(
i
r
i
)(
)
r
)
)q
i)
, o bien, matri-
cialmente,
d(A. 1 ) =
_
|
i
r
i
| G
c
.
)
r
)
. (5.1)
Distancia elemental entre dos puntos innitamente prximos de co-
ordenadas
i
37
38CAPTULO5. ESPACIOS PUNTUALES EUCLDEOS. CAMPOS TENSORIALES
Y
3
Y
2
Y
1
X ( y
i
)
X ' ( y
i
+ d y
i
)
r + d r
d s
r
Figura 5.1: Distancia elemental
Sean los puntos A(
i
). A
0
(
i
+ d
i
) con distancia entre ambos d(AA
0
) =
d: =
AA
0
= [d:[ .
Es decir, (d:)
2
= d: d: = d
i
c
i
d
)
c
)
= q
i)
d
i
d
)
. Por tanto,
(d:)
2
= q
i)
d
i
d
)
(5.2)
Hay que tener en cuenta que, en espacios preeucldeos, pueden haber dis-
tancias negativas. La anterior expresin recibe el nombre de Primera Forma
Cuadrtica Fundamental, elemento lineal o mtrica.
Longitud de arco de curva
La longitud de un arco sobre la curva C
i
=
i
(`), entre dos puntos y 1,
puntos para los cuales el parmetro toma los valores `
. `
1
, viene dada por
d
C
(1) =
C
_
1
d: =
_
A
T
A
/
_
q
i)
(`)
oj
.
oA
oj
oA
d` =
_
A
T
A
/
1(`)d`, donde la funcin
1(`) tiene que ser contnua (1(`) C
1
).
5.2. Campos tensoriales en 1
:
.
Son los campos tensoriales tales que los tensores correspondientes a cada
punto estn denidos en 1
a
. Los campos tesoriales eucldeos tienen la par-
5.3. SMBOLOS DE CHRISTOFFEL EN c
.
39
ticularidad de ser siempre homogneos. Existen una serie de campos particu-
lares de especial inters, por tener las componentes constantes:
j
. .
_
q y
o, todos ellos relacionados con el tesor de permutaciones o la mtrica.
5.3. Smbolos de Christoel en c
:
En primer lugar, conviene recordar que estamos utilizando siempre la base

natural como base de referencia: /
i
= c
i
.
Los smbolos de Christoel de 2
o
especie se denen igual que en \
a
:
Jc
i
J
)
=
I
i)
c
I
(5.3)
Los de 1
o
especie se denen como:
Jc
i
J
)
=
i),I
c
I
(5.4)
Adems, tenemos las siguientes relaciones:
I
i)
= q
I|
i),|
i),I
=
0c
.
0j
c
I
I
i)
= q
I|
i),|
i),I
=
0c
.
0j
c
I
I
i)
=
0c
.
0j
c
I
0c
.
0j
=
i
)I
c
I
=
i
)I
=
0c
.
0j
c
I
Los smbolos de Christoel tienen la siguientes propiedades:
1)
i),I
son :
S
funciones de punto. Dado que q
i)
C
1
,
i),I
C
0
.
2)
i),I
son simtricos en los ndices primero y segundo.
3) Identidades de Ricci
Jq
i)
J
I
=
iI,)
+
)I,i
(5.5)
Jq
i)
J
I
= q
c)
i
cI
q
ic
i
cI
(5.6)
En efecto, aprovechando la denicin del tensor mtrico, tenemos:
0j
.
0j
I
=
0(c
.
c
)
0j
I
=
_
0c
.
0j
I
c
)
_
+
_
c
i
0c
0j
I
_
=
_
iI,|
c
|
c
)
_
+
_
c
i

)I,|
c
|
_
=
iI,)
+
)I,i
.
4) Cambio de sistema curvilneo para los smbolos de Christoel
Si trataramos de ver como cambian las
i)
I
al cambiar de sistema curvilneo,
tendramos:
0c
0
.
0j
0
=
0
i),I
c
0I
=
0
O
o
O
0
co
0j
0
=
0
i),I
=
0j
o
0j
0.
0j
c
0j
0
0j
0j
0I
co,
+
0
2
j
o
0j
0.
0j
0

0j
c
0j
0I
q
co
, lo cual nos indica que el sistema
de componentes
co,
no tiene naturaleza tensorial, por no cumplir con las
relaciones tensoriales.
5) Simbolos de Christoel en cartesianas:
Dado que q
i)
son constantes en cartesianas,
i),I
=
I
i)
= 0.
6) Obtencin de los smbolos de Christoel
Aprovechando la identidad de Ricci,
0j
.
0j
I
=
iI,)
+
)I,i
, permutando los
ndices y sumando, encontramos que:
iI,)
=
1
2
_
Jq
iI
J
)
+
Jq
)I
J
i

Jq
i)
J
I
_
(5.7)
7) Contraccin de los smbolos de Christoel
En espacios puntuales eucldeos slo,
c
ic
=
J ln
_
q
J
i
=
1
_
q
J
_
q
J
i
=
1
2q
Jq
J
i
(5.8)
La derivada de un determinante

c
)
i
(`
1
. . `
j
)
se hace de la siguiente
forma:
J
c
)
i
(`
1
. . `
j
)
J`
I
=
c
)
i
Jc
o
c
J`
I
c
c
o
(5.9)
Para el caso particular del determinante de la mtrica,
Jq
J
i
= 2q
c
ic
(5.10)
5.4. Volumen elemental en un c
:
.
Dado un sistema de coordenadas curvilneas
1
.
a
se dene como vol-
umen elemental a (d\ )
(j
1
,j
n
)
= \
(ov
1
, ,ovn)
.
5.4. VOLUMEN ELEMENTAL EN UN c
.
. 41
Y
3
Y
2
Y
1
d y
2
d y
1
d y
3
Figura 5.2: Volumen elemental
Dado que d: = d
i
c
i
= d
1
c
1
+ + d
a
c
a
, si incrementamos en la
direccin
1
tan slo, tendremos d
1
c
1
= d:
1
. Haciendo la misma operacin
con las otras coordenadas obtenemos los diferentes d:
i
. El volumen elemental
ser, por tanto,
\
(ov
1
, ,ovn)
= +
d:
1
.d:
1
d:
1
.d:
a
.
.
.
.
.
.
.
.
.
d:
a
.d:
1
d:
a
.d:
b
=
+
_
qd
1
d
a
=
[d:
1
. . d:
a
]
_
q
d
1
0 0
0 d
2
0
.
.
.
.
.
.
.
.
.
.
.
.
0 0 d
a
.
Si quisiramos saber cmo vara el volumen elemental al cambiar de sistema
curvilneo tendramos que:
(d\ )
j
0.
= \
(ov
1
, ,ovn)
= +
_
q
0
d
01
d
0a
, que no es relacionable en
forma tensorial con (d\ )
j
.
. Es decir, no existe ninguna relacin del tipo
(d\ )
j
0.
= [J[
.
(d\ )
j
.
, a pesar de que los volmenes parecen ser escalares. Un
ejemplo tpico es el cambio entre cartesianas y cilndricas en el EGO, donde
sabemos que (d\ )
aj:
= drdd., o que (d\ )
j0:
= jdjdod., que podemos
comprobar con las expresiones anteriores. Sin embargo, no hay forma de
relacionar tensorialmente ambas expresiones.
Figura 5.3: Vectores que intervienen en la derivada direccional
5.5. Derivada direccional de un campo tenso-
rial 1.
(segn la direccin de un campo vectorial 1
a
.)
Se dene como
_
oT
oc
_
= 1.
0
, siendo
0
el vector unitario con la direccin
de . Este campo tesorial tiene la misma naturaleza que 1.
A la derivada direccional puede drsele la siguiente interpretacin ge-
omtrica. Denamos
_
d:
_
0
= (d:)
0
.
0
, proyeccin de d: en la direccin de
, y (d1)
o
= 1.
_
d:
_
0
. Es decir, (d:)
0
= d:
0
. Entonces,
_
d1
d:
_
=
1.
0
. (d:)
0
(d:)
0
=
1.
_
d:
_
0
(d:)
0
(5.11)
Para un campo escalar en cilndricas, l = o, tendramos que:
_
ol
oc
_
Ip
= l. /
j
= l.
i
/
i
/
j
= l.
i
o
i
j
= l.
j
=
0l
0j
= 0.
Para campos escalares, e incluso vectoriales, la derivada direccional tiene
fcil interpretacin geomtrica, pero no ocurre as con los campos de orden
superior.
Captulo 6
OPERADORES
DIFERENCIALES EN c
:
6.1. Operadores de primer orden.
6.1.1. Campo escalar U C
1
Gradiente o derivada covariante \l:
G:cd l = l. =
Jl
J
i
/
i
(6.1)
6.1.2. Campo vectorial , C
1
y campos tensoriales en
general.
Gradiente \,:
G:cd , = ,. = ,
i
.
)
_
/
i
/
)
_
= ,
i
.
)
_
/
i
/
)
_
=
,
i
.
)
_
/
i
/
)
_
=
_
0)
.
0j
+,
I
)I
.
i
__
/
i
/
)
_
=
G:cd , = ,. =
J,
J
i
/
i
(6.2)
El gradiente, por ser la derivada covariante, aumenta en un orden la natu-
raleza del campo vectorial. Lo mismo ocurre con el gradiente de un tensor.
43
44 CAPTULO 6. OPERADORES DIFERENCIALES EN c
.
En general, para cualquier campo tensorial, el gradiente siempre se dene
como su derivada covariante. Es decir, q:cd 1 = 1. =
0T
0j
.
/
i
. Las distintas
formas en que puede escribirse se deben a las propiedades de los espacios
preeucldeos y eucldeos.
Divergencia de ,, \ , y de campos tensoriales 1
La divergencia de un campo vectorial de dene como la contraccin del gra-
diente. Es decir,
1i , = C [,. ] = ,
c
.
c
= ,
c
.
c
=
0)
0j
.
/
i
=
0)
o
0j
o
+,
o 1
p
j
0
p
j
0j
c
=
1i , =
1
_
q
J
J
i
_
_
q,
i
_
(6.3)
Tambin existe la divergencia de cualquier campo tensorial, que se dene
como la contraccin del gradiente. Para 1 = t
i)
(c
i
c
)
), tendramos que
existen dos divergencias posibles, segn los ndices que se contraigan:
di
2
1 = C
12
__
0t
.
0j
I
+t
o)
oI
i
+t
io
oI
.
)
_
_
c
i
c
)
c
I
_
_
=
_
0t
o
0j
o
+t
o)
oc
c
+t
co
oc
.
)
_
c
)
o di
S
1 = C
1S
[1. ]. Ambas divergencias coin-
cidirian si el tensor fuera simtrico, caso bastante comn en Fsica.
Campo rotacional o de Stokes.
1(,) = ,
C
. ,. (6.4)
1(,) = (,
)
.
i
,
i
.
)
)
_
/
i
/
)
_
=
_
0)
0j
.

0)
.
0j
__
/
i
/
)
_
=
o
co
i)
,
o
.
c
_
/
i
/
)
_
= o
co
i)
0)
c
0j
o
_
/
i
/
)
_
.
Es un tensor eucldeo hemisimtrico de segundo orden. Por ser hemisimtrico
puede escribirse en componentes estrictas como:
1(,) = o
co
(i))
,
o
.
c
_
/
(i)
. /
())
_
.
Tambin puede escribirse, como forma alternativa,
1(,) = /
i
0)
0j
.

0)
0j
.
/
i
= /
i
.
0)
0j
.
.
Para el caso particular de 1
S
existe el operador rotacional, que se dene como

el adjunto del campo de Stokes. El rotacional es, por tanto,
6.2. OPERADORES DE SEGUNDO ORDEN. 45
1ot, =
_
1
_
,
_
= o
(i))I
:
(i))
/
I
=
o
(i))I
o
co
(i))
,
o
.
c
/
I
= o
coI
,
o
.
c
/
I
=
1ot, =
1
_
q
/
1
/
2
/
S
0
0j
1
0
0j
2
0
0j
3
,
1
,
2
,
S
(6.5)
Si trataramos de construir el rotacional en un espacio de orden superior,
sera un tensor de orden : 2. Tambin el vector rotacional admite una
forma alternativa ms compacta:
1ot, = \, = /
i
J,
J
i
(6.6)
6.2. Operadores de segundo orden.
6.2.1. Campos escalares l C
2
. Laplaciana.
l = C[l. . ], que es un campo escalar de componentes
l =
__
q:cd l
_
.
= di
_
q:cd l
_
= C
_
l.
i)
_
/
i
/
)
__
=
l = q
i)
_
J
2
l
J
i
J
)

Jl
J
c
i)
.
c
_
(6.7)
Otra forma de expresar la Laplaciana es:
l =
Jq:cd l
J
i
/
i
6.2.2. Para campos vectoriales , C
2
. Laplaciana.
, = C
2S
[,. . ] = ,
i
.
c
.
c
/
i
= q
co
,
i
.
co
/
i
=
,
i
.
c
.
c
/
i
= q
co
,
i
.
co
/
i
.
Una frmula anloga es
, =
J q:cd,
J
i
/
i
(6.8)
.
En el EGO, la Laplaciana puede expresarse como , = q:cd
_
di,
_

:ot
_
:ot,
_
=
= \
_
\,
_
\
_
\,
_
.
En cuatro dimensiones, la Laplaciana suele recibir el nombre de DAlambertiana
.
Problema 37.
En el EGO, nos dan el sistema curvilneo denido por
r = cosh n
= sinh n
. = n
1) Buscar la regin de regularidad.
2) Supercies coordenadas.
3) Vectores naturales.
4) Campo tensorial mtrico.
5) Smbolos de Christoel de primera y segunda especie.
6) Si un punto se mieve sobre la curva n = /, = t
2
, n = t
2
, encontrar la
aceleracin de dicho punto.
Problema 38.
Se llama campo tensorial de deformaciones a 1 = ,. +,.
C
+C
1S
[,. ,. ]
1) Hallar el transformado

d: de d: en funcin de d: y ,..
2) Hallar

d:

d:
0
en funcin de d:, ,. y 1.
3) Hallar

d: en funcin de d: y 1. Naturaleza de 1.
4) Interpretacin geomtrica de las componentes covariantes de 1 en un
sistema curvilneo cualquiera.
Problema 39.
En un sistema curvilneo
1
. .
a
de 1
a
se dan los siguientes campos:

l =
|
; , = /
|
; q = /
|
. Calcular:
1) Derivadas covariantes.
2) Derivadas covariantes segundas.
3) Operadores diferenciales.
6.3. Supercies de nivel y lineas de campo.
(Supercies de nivel de un campo escalar l y lineas
6.3. SUPERFICIES DE NIVEL Y LINEAS DE CAMPO. 47
Figura 6.1: Lnea de campo de un campo vectorial

, , respecto de un
parmetro n.
de campo de un campo vectorial ,)
6.3.1. Supercies de nivel de l.
Son las supercies tales que, en el EGO, l(
1
.
2
.
S
) = ctc. En espacios
de mayor dimensin seran hipersupercies. Para un campo general l, con
supercies de nivel dadas 1(
1
.
2
.
S
) = /, el campo l = l(1) siempre.
6.3.2. Lineas de campo de un ,
Son la curvas tales que, en cada punto del espacio, , es tangente a dichas
curvas. Por lo tanto, , es proporcional a t
&
. Es decir, en la base natural
/
i
, donde , = ,
i
/
i
, t
&
=
0j
.
0&
/
i
. Por lo tanto, las curvas pueden calcularse
resolviendo la ecuacin diferencial
d
1
,
1
=
d
2
,
2
=
d
S
,
S
(6.9)
Para un campo , general, con lineas de campo dadas por l(
i
) = c. \ (
i
) =
/, , = j(
i
)q:cdl q:cd\ , siendo j(
i
) una funcin arbitraria.
.
Figura 6.2: Representacin del campo

, a travs de los parmetros que
denen las lneas de campo
6.4. Operadores de campos compuestos
l.\. , q. l,. , q.
1) l\
q:cd (l\ ) =
_
q:cd l
_
\ +l
_
q:cd \
_
(l\ ) = (l)\ +l(\ ) + 2q:cd l q:cd \
2) , q
q:cd (, q) =
0()j)
0j
.
/
i
=
_
0)
0j
.
q
_
/
i
+
_
,
0j
0j
.
_
/
i
=
q q:cd , +, q:cd q
3) l,
q:cd(l,) = , q:cd l +l q:cd ,
di(l,) =
_
q:cd l
_
, +l di ,
:ot(l,) =
_
q:cd l
_
, +l :ot ,
4) , q
di( , q) =
_
:ot ,
_
q
_
:ot q
_
,
:ot( , q) =
_
q:cd ,
_
q (q:cd q) ,
_
di ,
_
q + (di q) ,
6.5. PROPIEDADES GEOMTRICAS DE G11 l. 49
Figura 6.3: Direccin y sentido del gradiente de un campo escalar l.
6.5. Propiedades geomtricas de q:cd l.
5.1) Direccin:
Sea
0
el vector unitario (versor) tangente a una supercie l = /, en un
punto genrico A. La derivada direccional
_
ol
oc
_
0
= l.
0
= q:cdl
0
=
(ol)
r
0
(oc)
r
0
= 0.Es decir, q:cdl es perpendicular a la supercie.
5.2) Sentido:
Sea : el versor normal a l = /, en el sentido de l creciente. En dicho caso,
_
ol
oc
_
a
= q:cdl : =
q:cdl
0. Por lo tanto, q:cdl tiene el sentido de :.

5.3) Relacin entre las derivadas direccionales de l, segn todas
las direcciones, en un punto A.
_
ol
oc
_
0
= q:cdl
0
=
q:cdl
:
0
=
q:cdl
cos c, donde
0
es un versor
arbitrario. La mxima derivada direccional de l segn : vale

q:cdl
. La
direccin de mxima variacin de l es la del q:cdl.
.
Captulo 7
Campos especiales en c
:
.
7.0.1. A) Para campos escalares
l C
1
es armnico =l = 0
7.0.2. B) Para campos vectoriales y, en su caso, tenso-
riales:
, C
0
es conservativo =(l C
1
, = q:cdl)
, C
1
es irrotacional =1(,) = (en el EGO, :ot , = 0)
, C
1
es solenoidal =di , = 0
, C
1
es armnico =1(,) = y di , = 0
Como consecuencias inmediatas se deducen:
, C
1
es irrotacional =,. es simtrico
,. es simtrico =, es solenoidal
, C
1
es conservativo =, es irrotacional
_
l,
i
=
0l
0j
.
=
0)
0j
.
=
0)
.
0j
_
En el EGO tenemos, adems, que:
, C
1
es armnico = , = 0
Sin embargo, , = q:cd
_
di ,
_
:ot
_
:ot ,
_
= 0 ;, armnico; pero si ,
es armnico =
=
_
:ot , = 0 y di , = 0
_
= , = 0.
, C
1
es armnico=
_
l armnico , = q:cdl
_
Problema 40.
Operadores diferenciales de ambos campos.
51
52 CAPTULO 7. CAMPOS ESPECIALES EN c
.
.
Problema 41.
En el EGO y en un sistema cartesiano ortonormal nos dan los vectores
denidos por
1 =
i , /
2r c 2 2.
2r 2 / 2.
;
Q =
i , /
2r c 2 2.
2r 2 2. c
;
1 =
i , /
2r 2 / 2.
2r 2 2. c
.
donde c =
a
2
j
2
:
2
a
. / =
a
2
j
2
:
2
j
. c =
a
2
j
2
:
2
:
. Se pide encontrar
1) Las ecuaciones de ls lineas de campo de los tres vectores.
2) Las supercies ortogonales a los tres vectores.
Problema 42.
De un campo newtoniano, creado por una masa activa puntual unidad, se
sabe que su ujo a travs de la esfera r
2
+
2
+.
2
= 1 vale 4:, y que, a travs
de r
2
+
2
+.
2
2 = 0, vale 8:.
1) Calcular la constante de ujo 1
del campo newtoniano.

2) Describir la regin de regularidad ` de la posible localizacin de la masa
unidad.
3) Suponiendo una masa activa unidad uniformemente distribuida en `,
hallar el campo newtoniano en el origen de coordenadas.
Problema 43.
En el EGO nos dan los campos ,. C
1
. Estudiar la posible validez de las
frmulas:
1)
_
o)
oc
_
= ,.
c
0
+
1
2
_
:ot ,
_
0
2)
_
o)
oc
_
0
=
1
2
_
:ot ,
_
0
3)
_
o)
oc
_
= q:cd
_
,
0
_
4)
_
o)
oc
_
= :ot
_
,
0
_
Problema 44.
Nos dan, en el EGO, un campo newtoniano creado por una masa distribuida
sobre una cierta supercie o, con densidad supercial de masa proporcional
53
a
1
1
3
, siendo 1 =
_
r
2
+
2
+ (. /)
2
, con 0 < / 1.
1) Calcular el potencial generado en el punto (0. 0. /)
2) Calcular el potencial cuando o es r
2
+
2
+.
2
= 1
3) Calcular el potencial cuando o es la parte de la supercie esfrica anterior,
interior al cilindro r
2
+
2
r = 0.
54 CAPTULO 7. CAMPOS ESPECIALES EN c
.
.
Captulo 8
CIRCULACIN DE UN
CAMPO VECTORIAL , .
FLUJO.
8.1. Circulacin
1.1) Se llama circulacin elemental d
C
C
_
,
_
de un campo , , a lo
largo de un elemento de curva C, a d
C
C
_
,
_
=
_
, d:
_
C
. Dado que la curva
la describimos mediante un parmetro n, al cual han de estar ligadas las
coordenadas curvilneas, C = C
i
=
i
(n), y que d: = d
i
/
i
, tenemos que
d
C
C
_
,
_
= (,
i
d
i
)
C
= ,
i
(n)
oj
.
o&
dn = 1(n) C
0
.
1.2) La circulacin nita
C
C
1
_
,
_
de un campo ,.a lo largo de un aporcin
de curva C, se dene como
C
C
1
_
,
_
=
C
_
1
, d: =
C
_
1
,
i
d
i
=
C
C
1
_
,
_
=
_
&(1)
&()
_
,
i
(n)
d
i
dn
_
dn (8.1)
1.3) Condiciones sucientes para que exista, y se pueda denir,
C
C
1
_
,
_
:
La curva C = C
i
=
i
(n) ha de ser tal que
i
=
i
(n) C
1
. Adems,
ha de ser uniforme, es decir, lisa excepto en un nmero nito de puntos.
El campo , ha de ser uniforme y contnuo.
55
56CAPTULO8. CIRCULACINDEUNCAMPOVECTORIAL 1 . FLUJO.
8.2. Flujo
2.1) Se dene como ujo elemental d
c
_
,
_
de un campo ,, a travs de
un elemento de supercie do, a
d
c
_
,
_
= , :do = , do (8.2)
siendo : el vector unitario (versor) perpendicular al elemento de supercie.
2.2). El ujo nito
c
_
,
_
de un campo ,.a travs de una porcin de
supercie, es
c
_
,
_
=
__
, :do =
_
Y
,
c
d
c
. (8.3)
donde el ltimo trmino de la igualdad representa la generalizacin a cualquier
dimensionalidad.
2.3) Las condiciones sucientes para que exista
c
_
,
_
son:
Que , sea uniforme y , C
1
Que o = o
i
=
i
(n. ) C
1
sea una supercie lisa o descomponible en
un nmero nito de porciones donde lo sea.
2.4) Interpretacin geomtrica del ujo. d
c
_
,
_
puede interpretarse
como la cantidad de campo que atraviesa normalmente el elemento de super-
cie, o como el volumen encerrado en un cuerpo de base do y altura , :.
Es decir, con altura recta (perpendicular a do) dada por la proyeccin de ,
en la direccin de :.
Formas de calcular
c
_
,
_
. Dado que
c
_
,
_
=
__
S
, :do. =
__
c(
i
)
es una integral de supercie, podemos transformarla en una integral doble:
a) Si la supercie viene dada en paramtricas por o = o
i
=
i
(n. ),
(do)
&,
=
_
c
q
&
dnd, con lo que c(
i
) = c(n. ). En este caso,
c
_
,
_
=
_
&
1
&
0
_

1
0
c(n. )dnd. (8.4)
b) Otra forma es ms coveniente, si la supercie est dada en implcitas como
. = .(
1
.
2
). es la siguiente:
__
S
c(
i
)do =
__
S
.(
1
.
2
)
oS
0
aI
, siendo do
0
la proyeccin de do en el plano
. = 0. Entonces,
8.2. FLUJO 57
Figura 8.1: Interpretacin geomtrica del ujo
Figura 8.2: Figura auxiliar para el clculo del ujo
__
S
c(
i
)do =
_
j
1
1
j
1
0
_
j
2
1
j
2
0
c(
1
.
2
)
: /
_
q
j
1
j
2d
1
d
2
(8.5)
La normal : a la supercie puede calcularse de varias formas. Una de
ellas es til cuando la supercie viene descrita por una funcin l(
1
.
2
.
S
).
En este caso,
: =
_
q:cdl
q:cdl
_
S
. (8.6)
Si no se encontrara forma de pasar la curva a implcitas, habra que tra-
bajar con o = o
i
=
i
(n. ). En este caso : =
tutr
[tutr[
. Dado que t
&
=
oj
.
o&
/
i
, y como[r [ =
_
(r. ) y G
tutr
=
c
G
&,
, podemos escribir que
: =
1
q
s
j
u,r
0j
.
0&
0j
0

i)I
/
I
=
: =
_
q
i)
_
c
q
&,
/
1
/
2
/
S
0j
1
0&
0j
2
0&
0j
3
0&
0j
1
0
0j
2
0
0j
3
0
(8.7)
con lo que
S
(,) =
_
&
1
&
0
_
0
_
,. t
&
. t
dnd, representando los corchetes al

producto mixto de los tres vectores.
2.5) Cuando , es un campo plano, es decir, denido slo en un plano, o
que se repite en todos los planos paralelos a uno dado, estando , contenido
en l, la circulacin es idntica a la del caso general. No ocurre as con el ujo
a travs de una curva C, contenida en el mismo plano que el campo ,. En
este caso
C
_
,
_
=
C
_
1
, :do (8.8)
Dado que la curva viene denida por un slo parmetro C
i
=
i
(n), y
que, ahora,
(do)
2
= [d:[
2
= q
i)
d
i
d
)
, se obtendr que (do)
2
C
= q
i)
(n)
oj
.
o&
oj
o&
(dn)
2
.
8.2. FLUJO 59
Figura 8.3: Campo vectorial en un espacio plano
Captulo 9
TEOREMAS INTEGRALES
9.1. Teorema de Stokes en el EGO
9.1.1. Frmula matemtica de Stokes en el EGO
Por razones histricas, usaremos coordenadas cartesianas en este captu-
lo, pero lo que vamos a detallar se puede extender a cualquier tipo de coor-
denadas curvilneas. Para una curva cerrada que encierra una determinada
supercie,
_
Adr +
_
1 d +
_
2d. =
__
S
_
J2
J

J1
J.
_
cos cdo +
__
S
_
JA
J.

J2
Jr
_
cos ,do + (9.1)
__
S
_
J1
Jr

JA
J
_
cos do
donde c. ,. son los ngulos que forma la normal a la supercie con los ejes
cartesianos, y se han de cumplir las siguientes condiciones:
A. 1. 2 son funciones arbitrarias de r..., contnuas y derivables, por lo
menos una vez, tanto en C como en o.
o ha de ser lisa, orientable y simplemente conexa.
61
62 CAPTULO 9. TEOREMAS INTEGRALES
Figura 9.1: Supercie o, de normal n, cerrada por la curva C, en coordenadas
cartesianas
C ha de ser lisa y simplemente conexa.
9.1.2. Interpretacin vectorial.
Sea , = Ai+1 , +2/ C
1
un campo vectorial cualquiera. Podemos con-
struir el producto escalar ,. d: = Adr+1 d +2d., utilizando coordenadas
cartesianas, y tambin
:ot , =
i , /
0
0a
0
0j
0
0:
A 1 2
=
_
0Z
0j

0Y
0:
_
i +
_
0A
0:

0Z
0a
_
, +
_
0Y
0a

0A
0j
_
/
Luego,
_
C
,. d: =
__
S
_
:ot ,
_
: do (9.2)
9.2. Teorema de Stokes en el plano. Frmula
9.2. TEOREMADESTOKES ENEL PLANO. FRMULAMATEMTICADERIEMANN.63
Figura 9.2: Recinto plano, 1, limitado por la curva, tambin plana, C, en
cartesianas
matemtica de Riemann.
_
Adr +
_
1 d =
_
C
(Adr +1 d) =
__
1
_
0Y
0a

0A
0j
_
d1, siendo C la
curva que bordea un recinto plano 1. Las condiciones sucientes para que se
satisfaga la anterior igualdad son:
Que tanto A como 1 sean funciones de (r. ) contnuas y derivables, por
lo menos una vez en 1 y C.
Que la curva C sea lisa, simplemente conexa y cerrada.
Que 1 sea un recinto plano limitado por C.
9.2.1. Interpretacin vectorial de la frmula de Rie-
mann.
Sea , = A(r. )i +1 (r. ), C
1
en C y 1 un campo plano arbitario. Al
igual que en el caso anterior se puede construir el producto escalar , d: =
,
i
d
i
= Adr +1 d, en cartesianas. Podemos construir
_
:ot ,
_
/ =
i , /
0
0a
0
0j
0
0:
A 1 0
/ =
0Y
0a

0A
0j
.
Por lo tanto,
_
C
,. d: =
__
1
_
:ot ,
_
/ d1.
Figura 9.3: Volumen, \ , cerrado por una supercie lisa y cerrada C
9.3. Teorema de la divergencia en EGO.
Por razones histricas una vez ms, volveremos a utilizar coordenadas
cartesianas en el EGO. Sin embargo, el teorema de la divergencia es extensi-
ble a cualquier tipo de coordenadas curvilneas y a cualquier dimensin. Es
ms, como podremos comprobar ms adelante, el teorema puede aplicarse a
campos tensoriales.
9.3.1. Frmula de Ostrogradsky en el EGO.
___
\
_
JA
Jr
+
J1
J
+
J2
J.
_
d\ =
__
S
(A cos c +1 cos , +2 cos ) do.
(9.3)
donde han de cumplirse las condiciones siguientes:
A. 1. 2 C
1
en o y \ , son funciones arbitrarias de r. . ..
o ha de ser lisa y cerrada.
\ ha de ser el volumen limitado por la supercie o.
9.4. TEOREMA DE LA DIVERGENCIA EN EL PLANO. 65
9.3.2. Teorema de la divergencia. Forma integral vec-
torial.
Si , = Ai + 1 , + 2/ C
1
= di , =
0A
0a
+
0Y
0j
+
0Z
0:
. Por su parte
, : = A cos c + 1 cos , + 2 cos , siendo c. ,. los ngulos directores del
versor normal a la supercie. Es decir,
___
\
di , d\ =
__
S
, : do (9.4)
Generalizando a cualquier espacio de dimensin arbitraria,
_
U
\
c
,
c
d =
_
Y
,
c
d
c
. (9.5)
siendo la hipersuperfcie que envuelve al hipervolumen .
El teorema de Gauss es una consecuencia del teorema de la divergen-
cia. Si o es una supercie cerrada que envuelve slo a una porcin `
1
de
una distribucin ` de carga o masa (volumtrica, supercial, lineal o pun-
tual), entonces,
__
S
, do = 4:`
1
1. Ms adelante veremos el origen de esta
expresin.
9.3.3.
9.4. Teorema de la divergencia en el plano.
9.5. Frmula de Ostrogradsky en el plano.
__
1
_
0A
0a
+
0Y
0j
_
d1 =
_
C
(A cos c +1 cos ,) do, donde las condiciones su-
cientes para poderla denir son:
A. 1 C
1
en 1 y C, son funciones arbitrarias de r. .
C ha de ser continua, lisa, simplemente conexa y cerrada.
1 ha de ser el recinto limitado por la curva C.
Figura 9.4: Interseccin de una masa con una supercie cerrada. Slo la masa
interior a la supercie participa en el teorema de Gauss
9.5.1. Teorema de la divergencia. expresin integral de
la frmula de Ostrogradsky en el plano.
Si , = Ai +1 , C
1
en 1 y C =
__
1
di , d1 =
_
C
, : do
9.5.2. Teorema del gradiente.Teoremas que se deducen
a partir del teorema de la divergencia.
___
\
q:cd l d\ =
__
S
l: do (9.6)
En general, todos estos teoremas son aplicables a tensores, y a cualquier
dimensin, siempre que se pueda denir la hipersupercie e hipervolmen
correspondientes. Es decir,
_

_
U
1d =
_

_
U
t
c
.
o
(c
c
c
o
)d =
_

_
U
t
c
.
o
.
(c
c
c
o
c
)d =
_

_
Y
t
c
.
o
(c
c
c
o
) :d.
9.6. EXPRESININTRNSECADELOS OPERADORES DIFERENCIALES.67
Obviamente, el problema est en la determinacin del tensor :. La situacin
es ms simple en cartesianas, donde puede proyectarse sobre los planos
cartesianos, determinndose las : proyecciones de :.
9.5.3. Teorema del rotacional.
___
\
:ot , d\ =
___
\
\, d\ =
__
S
: , do (9.7)
Para comprobarlo basta aplicar el teorema de la divergencia a los campos
vectoriales q
1
= ,
:
, ,
a
/; q
2
= ,
a
/ ,
:
i; q
S
= ,
j
i ,
a
,.
9.5.4. Teorema de la laplaciana.
___
\
l d\ =
__
S
Jl
J:
do (9.8)
Se demuestra aplicando el teorema de la divergencia al campo , = q:cdl =
\l
9.6. Expresin intrnseca de los operadores
diferenciales.
Haciendo uso del teorema de Stokes y el de la divergencia, para volmenes
puntuales, se obtiene que, en un punto del espacio
di, = \ , = lm
\ !0
1
\
__
, : do (9.9)
:ot , = \, = lm
\ !0
1
\
__
: , do (9.10)
Captulo 10
CAMPOS CONSERVATIVOS
10.1. Denicin.
Un campo vectorial , C
0
es conservativo si l C
1
, = \l =
q:cd l. Como consecuencias de ello se deduce:
1) , C
0
es conservativo = , irrotacional
_
1(,) =
_
La equivalencia es
obvia ya que, si , =
0l
0j
1
=
_
0)
0j
.
=
0)
.
0j
_
.
2) , C
0
es conservativo =
_
,
i
d
i
= , d: es diferencial exacta
_
. Es decir,
ldl = ,
i
d
i
.
La condicin necesaria para que se cumpla la anterior equivalencia es que
, d: = \l.d: = dl.
La condicin suciente es que si l C
1
dl = , d:, como dl = \l.d: =
, = \l.
3) , C
0
es conservativo =\ curva C lisa,
C
C
1
(,) es independiente de C.
La condicin necesaria para que se cumpla es que
C
C
1
(,) =
C
_
1
,d: =
C
_
1
dl =
l
1
l
.
La condicin suciente es que si
C
_
1
,d: es independiente de C =l
C
_
a
,
d: = l(r) =dl = , d:.
4) , C
0
es conservativo = \ curva C cerrada y lisa,
C
C(,) = 0, como se
deduce de la anterior consecuencia.
5) , C
0
es conservativo = , = \l = q:cd l, con l denida y llamada
funcin potencial de , y \ = l, el potencial escalas de , .
69
70 CAPTULO 10. CAMPOS CONSERVATIVOS
Figura 10.1: Figura de apoyo para comprobar la equivalencia anterior
De las anteriores propiedades de dedude que si , C
1
admite supercies
ortogonales =,:ot , = 0 =j
1
j
1
, es irrotacional =, = c q:cd l.
Las funciones j
1
o c son arbitrarias. Es decir, l no est denida biunvoca-
mente.
La condicin necesaria para que se cumpla esta equivalencia es que se pueda
aplicar el teorema de Stokes en C y o. Es decir,
_
C
, d: = 0 =
__
S
:ot, : do = 0, para innitas o ortogonales a , =
:ot, : = 0. Ahora bien, si o son ortogonales a ,, : y , tienen la misma
direccin y son proporcionales, , :ot, = 0. La condicin suciente es que si
, :ot, = 0 =
,
1
p
j
/
1
/
2
/
S
J,J
1
J,J
2
J,J
S
,
1
,
2
,
S
=
,
1
_
0)
3
0j
2

0)
2
0j
3
_
+,
2
_
0)
1
0j
3

0)
3
0j
1
_
+,
S
_
0)
2
0j
1

0)
1
0j
2
_
= 0 =
,
1
d
1
+,
2
d
2
+,
S
d
S
= 0 es integrable =
j
1
j
1
,
i
d
i
es diferencial exacta, ya que j
1
, es irrotacional =lj
1
,
10.1. DEFINICIN. 71
d: = q:cd l d: = dl =
j
1
. l. cj
1
, = q:cd l =, = c q:cd l, con c = 1,j
1
.
Problema 45.
De un campo vectorial ,, denido en un dominio espacial \ simplemente
conexo, se conocen, en \ , los campos di , y :ot ,. Y sobre una supercie
o se conoce ,
a
= , :. Demostrar que , est unvocamente denido en \.
Problema 46.
En un sistema cartesiano ortonormal C; A. 1. 2 del EGO, se tiene un
toroide engendrado por la circunferencia ( 2)
2
+ .
2
= 1, en plano r = 0,
al girar alrededor del eje 2. Se da el campo l = arctan
j
a
. Se piden:
1) Naturaleza de l.
2) G:cd l, sus supercies equipotenciales y lneas de campo.
3)
0l
0a
=
_
0l
0c
_
a
.
Problema 47.
Las supercies equipontenciales de un campo , en el EGO son la familia
r
2
2
= `. Se piden:
1) Expresin analtica de ,.
2)
_
0)
0c
_
I
, cuando , = q:cd `.
3) Circulacin de , a lo largo de la curva
_
r
2
+
2
+.
2
= 9
+. = 3
4) Flujo de , a travs de la menor supercie intersectada por r
2
+
2
+.
2
= 9
e +. = 3.
Problema 48.
Una corriente elctrica circula por un conductor lineal creando un campo
vectorial que, segn la ley de Biot-Savat, es d, = /
0
1
ovv
v
3
, con /
0
e 1 con-
stantes.
1) Calcular el campo en un punto 1 en el caso de que el conductor sea plano,
y 1 un punto en el plano.
2) Calcular el campo en un punto 1 a distancia c, creado por un conductor
rectilneo de longitud 1.
3) Calcular el campo en un punto 1 a distancia c, creado por un conductor
rectilneo innito.
4) Calcular el campo creado por una corriente que circula por una elipse, en
uno de los focos.
5) Calcular el campo creado por una corriente que circula por una circunfer-
encia, en su centro.
10.2. Circulacin de un campo irrotacional.
(a lo largo de una curva cerrada).
Este tipo de problema es bastante corriente en Fsica. Normalmente basta
con aplicar el teorema de Stokes. Pero pueden surgir dicultades si existen
puntos singulares. Estos puntos son aquellos en los que el campo , , referido
a una base ja, deja de pertenecer a C
1
. Pueden darse diferentes casos.
10.2.1. Punto sigular aislado 1.
Si el punto 1 est fuera de la curva, aplicando el teorema de Stokes,
C
C(,) =
0. Dado que la supercie sobre la que se apoya la curva es totalmente arbi-
traria, siempre se puede escoger una supercie que no comprenda al punto y
en la que
C
C(, ) =
__
S
:ot , do = 0. Si el punto estuviera sobre la curva C
habra que aislarlo. Lo mismo ocurre con una linea de puntos singulares abier-
ta pero nita. Siempre existe alguna supercie que la aisle y donde pueda
aplicarse el teorema de Stokes.
10.2.2. Linea de puntos singulares cerrada o indenida
por ambos extremos: linea stokiana 1
Este tipo de linea es imposible de encerrar por una supercie que no la
corte. La circulacin de un campo irrotacional en la stokiana 1, a lo largo
de cualquier curva C cerrada, que rodee la stokiana, es siempre la misma,
10.2. CIRCULACIN DE UN CAMPO IRROTACIONAL. 73
Figura 10.2: Lnea de puntos singulares nita (a), y stokiana (b).
y recibe el nombre de circulacin de 1 = 1
{
1
. Su valor hay que calcularlo
integrando.
Para calcular la constante de circulacin de una stokiana se rodea a esta
mediante una curva cerrada, tal y como se representa en la gura 26. Por
tanto, C
C
1
= C
C
2
, con lo que C = C
C
1
C
C
2
= 0. Si la curva C diera :
vueltas a la Stokiana,
C
{(
, ) = :1
{
1
Figura 10.3: Forma de calcular la constante de circulacin de una stokiana.
Captulo 11
CAMPOS SOLENOIDALES.
DISCONTINUIDADES
11.1. Denicin
Un campo vectorial, , C
1
es solenoidal si di, = 0.
11.2. Propiedades
1) , C
1
es solenoidal =\o, supercie cerrada, continua, lisa y orientable,
S
(,) = 0. Para comprobarlo, basta con aplicar el teorema de la divergencia:
S
(,) =
__
S
, : do =
___
\
di , d\ = 0, siendo \ el volmen encerrado
por o. Por otra parte, para cualquier volmen \ , si
___
\
di,d\ = 0 =
di , = 0.
2) , C
1
es solenoidal = \C, curva cerrada y lisa, el ujo del campo , a
travs de cualquier casquete (o
1
. o
2
, etc.) de borde C es siempre el mismo.
Es decir, el ujo de , a travs de cualquier supercie abierta que se apoye en
la curva es el mismo. Para comprobarlo basta pensar que ambos casquetes
unidos forman una supercie cerrada. Al aplicar el teorema de la divergencia
a esta supercie hay que tener en cuenta que las normales a ambas supercies
tienen la misma direccin (Fig. 27).
A su vez, si o es una supercie cerrada, lisa y orientable, siendo C una
curva seccin de ella, podemos subdividir a la supercie en dos regiones
75
76 CAPTULO 11. CAMPOS SOLENOIDALES. DISCONTINUIDADES
apoyadas en la curva. Como el ujo del campo a travs de o es nulo, la suma
de los ujos a travs de los casquetes tambin lo ser.
3) , C
1
es solenoidal = el ujo a travs de las seciones de un tubo de
campo es siempre el mismo.
4) , C
1
es solenoidal =j(n. ), = j(n. ) q:cd nq:cd , siendo n.
los parmetros que denen las lineas de campo de ,.
En este caso, di
_
j(n. ) q:cd n q:cd
=
_
0j
0&
q:cd n +
0j
0
q:cd
_
(q:cd n
q:cd ) = 0, puesto que tanto q:cd n como q:cd son perpendiculares a
(q:cd n q:cd ).
5) , C
1
es solenoidal = l. \ , = q:cd l q:cd \ . Tomando l =
_
j(n. )dn y \ = , nos encontramos con el caso anterior.
6) , C
1
es solenoidal = q C
2
, = :ot q. Si tomamos q = l q:cd \ ,
tenemos que di , = di(:ot q) = di(l q:cd \ ) = 0. Por otra parte
:ot q = :ot
_
l q:cd \
= q:cd l q:cd \ = ,.
11.3. Potencial vectorial de un campo
Cuando el campo vectorial , es solenoidal se dene el potencial vectorial
como todo campo tal que q C
2
, = :ot q. El potencial vectorial de
un campo no est unvocamente determinado. Supongamos que exista un
potencial vectorial general /, tal que , = :ot / y que, a su vez, existe una
11.3. POTENCIAL VECTORIAL DE UN CAMPO 77
Figura 11.1: Tubo de campo
solucin particular q con lo que , = :ot q. Es evidente que :ot(/ q) = 0.
Si creamos / q = q:cdc, entonces / = q + q:cdc. Es decir, el potencial
vectorial est determinado salvo cierto vector que debe ser conservativo. Pero
todo campo solenoidal siempre admite potencial vectorial.
Existen diversos mtodos para calcular el potencial vectorial. El ms
comn es buscar q a ojo. Ms preciso es buscarlo a partir de las lneas de
campo de ,. Si estas lneas de campo vienen determinadas por l(
i
) = c y
\ (
i
) = /, hay que encontrar j(n. ), = j(n. ) q:cd n q:cd . Posteri-
ormente se calcula l =
_
j(n. )dn y \ = , con lo que q = l q:cd \.
Problema 50.
Se da un plano en el EGO y una campo , solenoidal.
1) Hallar el potencial vectorial q de , , de forma que q = (
1
.
2
)/, denido
por las ecuaciones difernciales que ha de cumplir .
2) Demostrar que el campo permanece constante a lo largo de las lneas
de campo de ,.
3) Relacionar

con q:cd .
4) Si, adems, , es irrotacional, encontrar la naturaleza de y la relacin
entre el potencial escalar \ de , y . Comprobar que son parte real e imag-
inaria de una funcin compleja.
Problema 51.
Hallar la traccin que ejerce una lmina rectangular, plana y homognea
sobre una masa puntual unitaria exterior a la lmina. La situacin de la
masa exterior se puede denir por los parmetros que se deseen.
11.4. Flujo de un campo solenoidal.
(Flujo de un campo solenoidal. con puntos singulares a
travs de una supercie cerrada.)
Supongamos que tenemos un punto singular 1 aislado. En este caso,
si el punto es exterior a la regin que encierra la supercie, no afecta en
absoluto al ujo. Si se aplica el teorema de la divergencia, la integral de
volumen se extiende slamente a la regin interior a la supercie, con lo que
__
S
, :do =
___
di,d\ = 0.
11.4. FLUJO DE UN CAMPO SOLENOIDAL. 79
Figura 11.2: Punto singular aislado exterior a V
Figura 11.3: Punto singular aislado interior a V
Otro caso se presenta cuando el punto singular 1 es interior a la supercie
o. En este caso, el ujo de un campo ,, solenoidal, a travs de cualquier
supercie cerrada, lisa y orientable, que rodee a 1, es siempre el mismo y
recibe el nombre de constante de ujo del punto 1, 1
4
T
. Para comprobarlo
se encierra el punto singular con dos supercies diferentes, o
1
, con normal
:
1
, y o
2
, con normal :
2
. Si se aplica el teorema de la divergencia al volumen
entre ambas supercies, aislando al punto singular,
S
1
S
2
(,) = 0. El signo
se debe a que ambas normales se toman en la misma direccin, del punto
hacia el exterior de las supercies. Es decir,
S
1
(,) =
S
2
(,).
Si existieran varios puntos singulares, 1
1
. 1
2
, en el interior de la supercie,
las constantes de ujo son aditivas:
S
(,) = 1
4
T
1
+1
4
T
2
.
Figura 11.4: Varios puntos singulares aislados interiores a V
11.5. ngulos slidos.
Con el n de calcular determinados ujos, es interesante denir al ngulo
slido elemental como la porcin de espacio
d =
1
:
2
do
0
=
:
0
:
:
2
do. (11.1)
El ngulo slido observado desde cierto punto sera
S(O)
=
__
S
v
0
a
v
2
do,
donde :
0
= /
v
, en esfricas. As, para un semicono de revolucin de ngulo
,, si su rea es o
C
=
__
C
do =
__
1
2
cos cd`dc = 1
2
2: [sin c]
2
2,
=
2:1
2
(1 cos ,). El ngulo slido bajo el que se observara el casquete desde
el centro de la esfera que lo contiene sera =
S
C
1
2
= 2:(1 cos ,).
Ejemplos:
a) ngulo slido bajo el que se observa una supercie cerrada desde un punto
interior a ella:
S
(C) = 4:.
b) Id. desde un punto exterior:
S
(C) =
__
S
v
0
a
v
2
do =
S
_
v
0
v
2
_
= 0, por ser
solenoidal
v
0
v
2
.
c) Id. desde un punto sobre la supercie:
S
(C) = 2:.
d) ngulo slido bajo el que se observa un prisma desde un punto situado
en un diedro de dicho prisma, de ngulo ,:
S
(C) = 2,.
e) ngulo slido bajo el que se observa una pirmide desde su vrtice:
S
(C) =
dicd:o: (: 2):, siendo : el nmero de aristas que concurren

el el vrtice.
11.5. NGULOS SLIDOS. 81
Figura 11.5: ngulo slido diferencial d
Figura 11.6: ngulo slido en una supercie esfrica
Figura 11.7: Distintos tipos de ngulos slidos.
En el caso de supercies planas, el ngulo slido observado desde un punto
coincide con la semilongitud del arco de curva que bordea a la supercie
expresado en radianes. Es decir, el ngulo slido se dene como:
o
C
=
C
_
1
j
0
:
j
d|
11.5. NGULOS SLIDOS. 83
Figura 11.8: Elemento de ngulo slido
Captulo 12
CAMPOS CENTRALES
12.1. Denicin.
Un campo escalar l se llama central, de centro C, si l = l(:).
Un campo vectorial , se llama central, de centro C, si , = ,(:).
Es decir, los campos slo dependen de la distancia a partir de un punto. La
denicin es extensible a cualquier tipo de campo.
Como propiedad fundamental, , central = , conservativo . Dado que , =
,(:):
0
= , = q:cd
__
,(:)d: +C
, pues q:cd l(:) =

ol
ov
q:cd : =
ol
ov
:
0
,
donde l(:) =
_
,(:)d:. Como :
0
es irrotacional, , central C
1
= , irrotacional .
12.2. Expresin general para campos centrales
armnicos.
Para campos centrales que, adems, sean armnicos, siempre pueden econ-
trarse expresiones analticas generales.
12.2.1. Para un escalar l(:).
l(:) = 0 =di(q:cd l) = di
_
ol
ov
:
0
_
=
o
2
l
ov
2
+
ol
ov
2
v
= 0.
85
86 CAPTULO 12. CAMPOS CENTRALES
Conviene recordar que, en esfricas, di :
0
= di /
v
=
1
v
2
cos c
0
0v
(:
2
cos c) =
2
v
.
Por lo tanto, llamando l
0
v
=
ol
ov
. tenemos que
l
00
r
l
0
r
=
2
v
=ln l
0
v
= 2 ln : +
ln c
0
=l
0
v
=
o
0
v
2
=
l =
c
:
+/ (12.1)
en el EGO. Es cualquier otro espacio se sigue el mismo mtodo, teniendo en
cuenta que pueden existir complicaciones adicionales en el lgebra.
En el plano, como di :
0
= /
j
=
1
j
0
0j
(j) =
1
j
= l = di (l
0
j
j
0
) =
l
00
j
+
l
0
p
j
= 0.
12.2.2. Para un campo vectorial ,
Si , es armnico= , = q:cd l, siendo l armnico. Por lo tanto, la forma
ms general de , ser , = q:cd
_
o
v
+/
_
=
o
v
2
:
0
=
, =
/
:
2
:
0
. (12.2)
En el plano, , = q:cd (c ln j +/) =
o
j
j
0
.
Problema 52.
Sea en el EGO el campo , =
_
1
v
_
: +
v
v
3
. Calcular:
1) Naturaleza de ,, discontinuidades y potenciales.
2) Flujo de , a travs de las esferas r
2
+
2
+ (. .
0
)
2
= 25, en funcin de
.
0
.
3) Flujo de , a travs del casquete r
2
+
2
+ (. 3)
2
= 25, . _ 0.
Problema 53.
Las partes real e imaginaria de la funcin de variable compleja ,(.) =
j
1o
ln
:o
:o
(con j. c 1
) son las funciones potenciales l y \ de los campos

n y . Obtener:
1) l. \. n y .
2) Divergencias y rotacionales de n y , as como las discontinuidades.
3) Expresin de n = n .
4) Circulacin de n y a lo largo de las curvas:
4.1.
(ao)
2
o
2
+
j
2
b
2
= 1; / 0.
4.2.
(ao)
2
o
2
+
(jb)
2
o
2
b
2
= 1.
5) Si c se hace tender a 0, hallar, en el lmite:
12.2. EXPRESINGENERAL PARACAMPOS CENTRALES ARMNICOS.87
5.1. l. \. n y .
5.2. Dibujar las supercies equipotenciales y lneas de campo de n y .
88 CAPTULO 12. CAMPOS CENTRALES
Captulo 13
DESCOMPOSICIN DE
HELMHOLTZ.
(Y ECUACIONES DE INTERS)
13.1. Teorema de la decomposicin de Helmholtz.
Todo campo vectorial, conservativo y central, , C
1
, perteneciente al
EGO, puede descomponerse en la suma de un campo irrotacional y otro
solenoidal. En efecto, tenemos que, si , es conservativo y central, di , = l,
donde, en principio, l es desconocido. La anterior ecuacin es de Poisson,
que admite siempre una solucin particular l
, de tal forma que

, =
_
q:cd l
_
+
_
, q:cd l
_
. (13.1)
donde el primer sumando es irrotacional y el segundo solenoidal. Para el
primer sumando ya hemos visto hemos visto en el captulo anterior por qu
es irrotacional. En cuanto al segundo, di
_
, q:cd l
_
= di , l
=
di , di , = 0.
13.2. Ecuacin de Poisson
Para cualquier distribucin volumtrica, ya sea de carga o de masa con den-
sidad de carga o masa C
1
, en el interior de la distribucin se cumple
89
90 CAPTULO 13. DESCOMPOSICIN DE HELMHOLTZ.
que di, = l = 4:/, donde l es el potencial escalar de , y / es una
constante que depende del tipo de problema, coulombiano o newtoniano.
13.3. Ecuacin de Laplace
En cualquier tipo de distribucin, con densidad C
0
, y fuera de dicha
distribucin de carga o de masa, se cumple que di, = l = 0.
Problema 54.
Determinar qu posible distribucin de masas newtoniana produce los po-
tenciales \
1
=
1o:
v
3
. para : c y \
2
=
So
2
1o:Sv
3
o
3
, para : < c, siendo c
constante.
Problema 55.
Se da un tringulo equiltero de lado c y masa supercial de densidad o
constante. Calcular el campo y el potencial creado en un punto genrico de
la recta ortogonal a su centro, en funcin de la distancia medida sobre esa
recta.
Problema 56.
Efectuar la descomposicin de Helmholtz, dando la componente solenoidal,
denida por un potencial vectorial solenoidal, de los campos , = r. i +
r , +. / y , = r i +r
2
, +.
2
/.
Problema 57.
Dado el campo del EGO , = j
2
o. ln j /
0
, hacer un descomposicin de
Helmholtz.
Captulo 14
ESPACIOS DE RIEMANN
14.1. Variedad real :-dimensional y j-diferenciable
\
j
:
.
Es un conjunto de elementos, llamados puntos, que se pueden poner en
correspondencia biunvoca con : variables reales (n
1
. . n
a
), llamadas sis-
tema de coordenadas, y tales que si se cambia a otro sistema (n
01
. . n
0a
),
siempre existe una relacin n
c
= n
c
(n
0o
) C
j
, exigindose que j _ 2.
Se conoce como regin de regularidad de un sistema de coordenadas
(n
1
. . n
a
) al dominio de variacin en el cual existe la correspondencia bi-
unvoca con los puntos de V
j
a
.
:
de dimensin :
Es una V
j
a
en la que se introduce una mtrica elemental, jado un
(n
1
. . n
a
), mediante la forma cuadrtica dn
1
dn
a
en cada punto de la
variedad:
(d:)
2
= q
co
dn
c
dn
o
. (14.1)
donde q
co
son :
2
funciones de n
1
. . n
a
.
14.2.1. Axiomas:
91
92 CAPTULO 14. ESPACIOS DE RIEMANN
Figura 14.1: Superfcie esfrica como espacio de Riemann. El interior de la
esfera no existe en este caso.
1) q
co
(n
1
. . n
a
) C
1
2) [q
co
[ , = 0
3) (q
co
) ha de ser siempre simtrica
14.2.2. Puntos singulares:
Son aquellos en los que no se cumple alguno de los axiomas.
14.3. CLASIFICACIN DE 1
:
En un punto ` 1
a
, se llama ndice de 1
a
al rango de la matriz (q
co
)
A
.
En dicho punto,
1
a
es propiamente riemanniano o elptico si el ndice es : (el mximo
posible).
1
a
es impropiamente riemanniano o hiperblico si el ndice es menor
que :.
Para que, al pasar de un punto a otro de 1
a
cambie el ndice, se ha de pasar
por un punto singular de 1
a
.
14.4. EJEMPLO FUNDAMENTAL DE 1
.
. 93
14.3.1. Cambio de los coecientes de la forma cuadrti-
ca (d:)
2
. q
.
al cambiarse el sistema decoordenadas
Si (d:)
2
=
_
q
co
dn
c
dn
o
q
0
i)
dn
0i
dn
0)
=
(d:)
2
= q
co
o&
o
o&
0.
o&
c
o&
0
dn
0i
dn
0)
=
.
q
0
i)
=
dn
c
dn
0i
dn
o
dn
0)
q
co
.
Es decir, si denimos en V
j
a
un cambio de coordenadas n
o
n
0c
, al matriz
jacobiana ser J =
_
0&
c
0&
0o
_
=J
1
=
_
0&
0c
0&
o
_
, donde siempre se toma c como
la y , como columna, con lo que,
G
0
(&
0o
)
= J G
(&
o
)
J
T
. (14.2)
14.4. Ejemplo fundamental de 1
:
.
Es cualquier supercie del EGO. Es decir, el lugar geomtrico de los
puntos dependientes de dos mismos parmetros mediante un funcional:
_
_
_
1
=
1
(n
1
. n
2
)
2
=
2
(n
1
. n
2
)
S
=
S
(n
1
. n
2
)
_
_
_
C
2
En efecto, la supercie cumple con:
1) Es una \
j
2
, suponiendo que los cambios admitidos n
0c
= n
0c
(n
o
) C
2
, es
decir, j = :.
2) Existe (d:)
2
=
S
q
co
dn
c
dn
o
, primera forma cuadrtica fundamental de la
supercie, que es la mtrica elemental restringida de la del EGO y que cumple
los tres axiomas.
Denimos la matriz `
(j
.
,&
o
)
=
_
0j
.
0&
o
_
, matriz 2 3, con rango :(`) = 2,
que no es una matriz jacobiana. En el EGO, (d:)
2
= d:d: = (d
i
)/
i
(d
)
)/
)
=
1
q
i)
d
i
d
)
. El ndice 1 sobre el tensor mtrico hace referencia a que es el
correspondiente al espacio geomtrico ordinario completo. Si nos restringimos
a la supercie o, nos encontramos con que:
(d:)
2
=
1
q
i)
((n))d
i
d
)
=
1
q
i)
((n))
0j
.
0&
o
0j
0&
c
dn
c
dn
o
, donde
1
q
i)
((n))
0j
.
0&
o
0j
0&
c
son :
2
funciones que llamaremos
S
q
co
(n), que cumplen los axiomas y que
pueden expresarse en forma matricial como:
S
G
(&
o
)
= `
(j
.
,&
o
)
_
1
G
(j
.
)
_
`
T
(j
.
,&
o
)
. (14.3)
cumplindose:
1)
S
q
co
(n) C
1
2)

S
q
co
(n)
,= 0
3)
S
G
(&
o
)
es simtrica
En una supercie o podemos denir los vectores tangente a ella como:
t
1
=
0v
0&
1
=
0j
.
0&
1
/
i
.
t
2
=
0v
0&
2
=
0j
.
0&
2
/
i
.
por lo que t
c
=
0j
.
0&
o
/
i
=
_
t
c
_
= `
(j
.
,&
o
)
_
/
i
_
= t
c
t
o
=
0j
.
0&
o
/
i
0j
0&
c
/
)
=
0j
.
0&
o
0j
0&
c
1
q
i)
=
S
q
co
=
S
G
(&
o
)
= G
(t
1
,t
2
)
. (14.4)
14.5. Curva y longitud de un arco de curva
en 1
:
.
Una curva en 1
a
es el lugar geomtrico de los puntos de 1
a
tales que,
jado un n
1
. . n
a
, se cumple que n
i
= n
i
(n) C
1
, siendo n, en principio,
un parmetro cualquiera.
Longitud de arco de curva:
La longitud de un arco sobre una curva C = n
i
= n
i
(n), entre dos puntos
(. 1), se dene como:
d
C
(1) =
_
1
d: =
_
&(1)
&()
_
q
co
(n)
dn
c
dn
dn
o
dn
dn. (14.5)
Se ha de tener siempre presente que la distancia slo est denida a lo largo
de un arco de curva.
14.6. SMBOLOS DE CHRISTOFFEL EN 1
.
. 95
14.6. Smbolos de Christoel en 1
:
.
(relativos a un sistema curvilneo n
c
).
Se denen exactamente igual que para un espacio preeucldeo o eucldeo
y tienen la mismas propiedades. Es decir,
5.1)
i),I
=
1
2
_
0j
I
0&
.
+
0j
.I
0&

0j
.
0&
I
_
5.2)
i)
.
I
= q
I|
i),|
5.3) Propiedades:
5.3.1)
i),I
y
i)
.
I
son :
S
funciones de punto. No tienen por qu ser derivables.
5.3.2)
i),I
y
i)
.
I
son simtricas en los ndices 1
0
y 2
0
.
5.3.3) Identidades de Ricci:
5.3.3.1)
0j
.
0&
I
=
I),i
+
Ii,)
5.3.3.2)
0j
.
0&
I
= q
c)
cI
.
i
q
ic
cI
.
)
5.4)
ic
.
c
=
0 ln
p
j
0&
.
=
1
p
j
0
p
j
0&
.
=
1
2j
0j
0&
.
14.7. Cambio de sistema curvilneo y smbo-
los de Christoel.
El resultado es anlogo al producido en c
a
, pero no se puede seguir el

mismo procedimiento para demostrarlo. En resumidas cuentas, al hacer el
cambio de sistema curvilneo se demuestra que los smbolos de Christoel no
tienen carcter tensorial.
:
, mtricamente
aplicable sobre un c
:
.
Es un 1
a
en el que existe un sistema n
i
tal que las componentes del
tensor mtrico correspondiente, q
co
, son constantes. Este sistema n
i
conoce
como sistema cartesiano, por deformacin del lenguaje. Como consecuencia,
1
a
es mtricamente aplicable en c
a
=n
i
i),I
=
i)
.
I
= 0. Otra forma de
denirlos es 1
a
es mtricamente aplicable en c
a
=n
i
(d:)
2
= q
co
dn
c
dn
o
puede ser la forma cuadrtica de un c
a
.
Figura 14.2: Superfcie cnica como 1
2
mtricamente aplicable o superfcie
desarrollable.
En el caso particular de un 1
2
, es decir, una supercie o, este es mtri-
camente aplicable en c
2
= o es desarrollable. En otras palabras, se puede

encontrar un sistema curvilneo que represente a la supercie o en el que las
componentes de q
co
correspondiente son constantes. Encontrar el sistema n
i
no es obvio. Como ejemplo, podemos analizar el caso de una supercie cnica
que, a priori, sabemos que es desarrollable.
Supongamos que elegimos el sistema n
i
siguiente, relacionado con las coor-
denadas esfricas de 1
S
:
_
_
_
: = n
1
` = n
2
c = /
, donde hemos jado una coordenada. En este caso,
S
G
(&
o
)
= `
(j
.
,&
o
)
_
1
G
(j
.
)
_
`
T
(j
.
,&
o
)
=
_
1 0 0
0 1 0
_
_
_
1 0 0
0 (n
1
)
2
cos
2
/ 0
0 0 (n
1
)
2
_
_
_
_
1 0
0 1
0 0
_
_
=
_
1 0
0 (n
1
)
2
cos
2
/
_
.
Este sistema, como vemos, no nos sirve, pues las componentes del tensor
mtrico no son constantes, a pesar de que sabemos que una supercie cnica
es desarrollable. Podemos probar con las coordenadas cilndricas:
14.9. GEODSICAS. 97
_
_
_
j = n
1
o = n
2
. = n
1
tan /
, que tambin describe una supercie cnica. En este caso se
obtiene
S
G =
_
cos
2
/ 0
0 (n
1
)
2
_
, que tampoco son constantes. Como podemos
apreciar, el determinante de los tensores mtricos son iguales. El caso del
cono es bastante singular. Dejamos a la imaginacin del lector el encontrar
el sistema adecuado.
14.9. Geodsicas.
La distancia ms corta entre dos puntos sobre un espacio de Riemann
recibe el nombre de geodsica. En fsica, corresponden a las trayectorias que
sigue un mvil con aceleracin nula. Sus ecuaciones se obtienen de las de
la longitud de un arco de curva C = Cn
c
(:), ya denida, aplicando el
principio de mnima accin:
J
2
n
c
J:
2

o
.
c
Jn
o
J:
Jn
J:
= 0. (14.6)
Sus consecuencias y utilidad son notorias en la Relatividad General, como
podremos comprobar. Por ahora, baste con su denicin.
Problema 58.
En una variedad real \
j
2
se dene la distancia elemental en cada punto por la
expresin (d:)
2
=
2
cosh 2n(dn)
2
+ 2 sinh 2ndcd + cosh 2n(d)
2
, habiendo
jado previamente un sistema de coordenadas n. . Se pide:
1) Smbolos de Christoel y clasicacin del espacio de Riemann.
2) Estudiar si la mtrica dada puede ser la de un plano del EGO, obteniendo,
en caso armativo:
2.1. Expresin de los vectores naturales del sistema (n. ) respecto aun sis-
tema cartesiano ortonormal (C. i. ,), sabiendo que, en dicho sistema, (/
&
)
O
=
,, con C(n = 0. = 1).
2.2. Relaciones del sistema (n. ) con el cartesiano del apartado anterior.
Problema 59.
En una variedad real \
j
2
se dene la distancia elemental en cada punto
por la expresin (d:)
2
= (dn
1
)
2
+(n
1
)
2
(dn
2
)
2
. Estudiar si puede ser la mtrica
de un plano del EGO, hallando el sistema cartesiano correspondiente.
Figura 14.3: La distancia ms corta entre y 1 sobre la supercie alabeada
(espacio de Riemann 1
2
) no es la lnea recta de trazos, pues esta no pertenece
a dicho espacio. Sera la curva gruesa, camino que recorrera una hormiga ms
o menos inteligente.
Captulo 15
CAMPOS TENSORIALES RC,
RI y EI.
(DERIEMANN- CHRISTOFEL, RICCI YEINSTEIN).
15.1. Campo tensorial de Riemann-Christoel.
Dado un campo tensorial riemanniano 1, de primer orden, arbitrario,
covariante, en 1
a
, procedamos a calcular, en un sistema n
i
cualquiera, la
cantidad t
i
.
)I
t
i
.
I)
, es decir, la diferencia entre sus dobles derivadas covari-
antes cruzadas:
t
i
.
)
=
0t
.
0&
t
c
i)
.
c
= c
i)
.
t
i
.
)I
= c
i)
.
I
=
0o
.
0&
I
c
c)
iI
.
c
c
ic
)I
.
c
=
0
2
t
.
0&
0&
I

0to
0&
I
i)
.
c
t
c
0
.
.
o
0&
I

iI
.
c
_
0to
0&
t
o
c)
.
o
_
)I
.
c
_
0t
.
0&
o
t
o
ic
.
o
_
.
Por su parte,
t
i
.
I)
=
0
2
t
.
0&
I
0&

0to
0&
iI
.
c
t
c
0
.I
.
o
0&

i)
.
c
_
0to
0&
I
t
o
cI
.
o
_
I)
.
c
_
0t
.
0&
o
t
o
ic
.
o
_
.
Por lo tanto, tenemos que, \n
i
,
t
i
.
)I
t
i
.
I)
=
_
0
.I
.
o
0&

0
.
.
o
0&
I
+
iI
.
o
o)
.
c
i)
.
o
oI
.
c
_
t
c
.
Para que las derivadas covariantes cruzadas sean iguales, la cantidad en-
tre parntesis ha de ser nula. Precisamente, esa cantidad corresponde a las
99
100 CAPTULO 15. CAMPOS TENSORIALES RC, RI Y EI.
componentes del tensor de Riemann-Christoel 1
i) /
..
.
|
. Dado que 1 es ar-
bitrario, aplicando la primera Ley del Cociente se comprueba que 1
i) /
..
.
|
tiene naturaleza tensorial homognea, de cuarto orden, riemanniano, cova-
cova-cova-contravariante. Dada la construccin del campo tensorial, ste es
hemisimtrico en los ndices segundo y tercero, peculiaridad que se resea
en la notacin con una llave. Existen varias notaciones alternativas del ten-
sor, como 1
|
.
i)I
, donde la hemisimetra corresponde a los ndices primero y
ltimo. Por lo tanto,
1C = 1
i) /
..
.
|
=
J
iI
.
|
Jn
)

J
i)
.
|
Jn
I
+
iI
.
c
)c
.
|
i)
.
c
Ic
.
|
. (15.1)
La primera consecuencia que se desprende, como ya hemos comentado, es que
1 C = \1, riemanniano, de primer orden, 1. . es simtrico en los ndices
segundo y tercero.
Es bastante corriente el usar la forma totalmente covariante del campo
tensorial 1C. Sus componentes son:
1
i ,/
..
|
= q
|n
1
i) /
..
.
n
=
0j
Ir
.
.
r
0&

0j
Ir
.
.
r
0&
I

0j
Ir
0&

iI
.
n
+
0j
Ir
0&
I

i)
.
n
+
iI
.
c
)c
.
|
i)
.
c
Ic
.
|
.
Utilizando las identidades de Ricci a las derivadas de q
|n
, las reescribimos en
funcin de las
I|
.
n
y
In
.
|
:
1
i ,/
..
|
=
J
iI,|
Jn
)

J
i),|
Jn
I
+
i)
.
c
I|,c
iI
.
c
)|,c
. (15.2)
pero tambin se usa la forma 1
|i)I
, con hemisimetra en los ndices primero
y ltimo.
15.2. Simetras y hemisimetras de 1 C.
Hemos mencionado determinada hemisimetra de construccin en el ten-
sor de Riemann-Christoel. En general,
2.1). RC es hemisimtrico en los ndices 2
c
y 3
c
2.2). RC es hemisimtrico en los ndices 1
c
y 4
c
15.3. CAMPO TENSORIAL DE RICCI. 101
2.3). RC es simtrico en los grupos de ndices 1
c
4
c
y 2
c
3
c
, es decir,
1
i ,/
..
|
= 1
) i|
..
I
2.4). 1
i ,/
..
|
+1
i /|
..
)
+1
i |,
..
I
= 0
La consecuencia inmediata es que casi todas las comoponentes de RC son
nulas o linealmente dependientes de alguna no nula. Los casos ms evidentes
son en 1
2
y 1
S
.
En 1
2
tenemos que 1
i ,/
..
|
= o
12
iI
o
12
)|
1
1 12
..
2
. La nica componente lin-
ealmente independiente es la 1
1 12
..
2
. Si hiciramos un cambio de base,
1
0
1 12
..
2
= [J[
2
1
1 12
..
2
. Tambin se tiene que 1
i ,/
..
|
= o
i|
12
o
)I
12
1
1 12
..
2
=
1
01 12
..
2
= [J[
2
1
1 12
..
2
y que 1
i
.
,/
..
.
|
=1
0
1
.
12
..
.
2
= 1
1
.
12
..
.
2
, o 1
i
.
,/
..
.
|
=
1
01
.
12
..
.
2
= 1
1
.
12
..
.
2
. Es decir, estas dos formas ltimas son de componentes
isotrpicas. Por otra parte, tambin tenemos que, \n
i
se cumple que:
1
1
.
12
..
.
2
= 1
1
.
12
..
.
2
=
1
1 12
..
2
j
= q1
1 12
..
2
.
En cualquier problema planteado en 1
2
el campo tensorial 1C puede,
por tanto, obtenerse con una sola componente. Si nos dan la forma cuadrtica
elemental (d:)
2
= q
co
dn
c
dn
o
, se calculan los smbolos de Christoel de ambas
especies y, con ellos,
1
1 12
..
2
=
0
12,2
0&
1

0
11,2
0&
2
+
11
.
c
22,c
12
.
c
12,c
, con c = 1. 2, con lo que
1
i ,/
..
|
= 1
|i)I
=
_
_
_
_
_
0 0
0 1
1122
_ _
0 1
1122
0 0
_
_
0 0
1
1122
0
_ _
1
1122
0
0 0
_
_
_
_
_
.
En 1
S
tenemos que las nicas seis componentes linealmente independi-
entes son: 1
1 12
..
2
. 1
1 13
..
2
. 1
1 23
..
2
. 1
1 13
..
S
. 1
1 23
..
S
. 1
2 23
..
S
.
15.3. Campo tensorial de Ricci.
Se dene como la contraccin en los ndices tercero y cuarto del campo
tensorial 1 C, es decir,
11 = C
S1
[1 C] . (15.3)
Si recordamos cmo se construy el tensor 1C, el tensor de Ricci est direc-
tamente relacionado con la laplaciana de cierto campo tensorial de segundo
orden, en cualquier dimensin. Ms adelante veremos las consecuencias de
ello. El tensor de Ricci, 11, es simtrico:
1
i)
= 1
i ,/
..
.
I
= q
I|
1
i ,/
..
|
y 1
)i
= q
I|
1
) i/
..
|
= q
I|
1
i ,|
..
I
= 1
i)
.
15.4. Componentes de la curvatura escalar 1.
4.1). Se dene como curvatura escalar de un espacio de Riemann 1
a
a la
contraccin del tensor de Ricci:
1 = C [11] . (15.4)
Es decir, 1 = C
S1,2S
[1 C]. Por lo tanto, la curvatura es calar es un campo
escalar de componentes 1 = 1
i
.
i
= q
i)
1
i)
.
4.2). Se dene como curvatura de Gauss o total, en un 1
2
, a la cantidad
i =
1
1122
j
. Es fcil comprobar que 1 = 2i.
15.5. Campo tensorial de Einstein.
Por denicin, el campo tensorial de Einstein 11 es:
11 = 11
1
2
1.G. (15.5)
que es un campo tensorial riemanniano de segundo orden. Tiene las siguientes
propiedades:
5.1. Es simtrico
5.2. C
1S
[11. ] = C
2S
[11. ] =
5.3. En 1
2
, 11 =
Como veremos ms adelante, el campo tensorial de Einstein no es ms que
una forma generalizada de la Laplaciana.
15.6. CAMPO TENSORIAL DE WEYL. 103
15.6. Campo tensorial de Weyl.
Se dene como C
vcna
= 1
vcna
1
2
q
vn
1
ac
+
1
2
q
va
1
nc
+
1
2
q
cn
1
av
1
2
q
ca
1
nv
1
6
q
va
q
nc
1+
1
6
q
vn
q
ac
1. En consecuencia, q
vn
C
vcna
= 0. Si C
vcna
=
0, en cualquier punto del espacio de Riemann, automticamente la mtrica de
dicho espacio es diagonalizable, correspondiendo a la de un universo plano.
15.7. Identidades de Bianchi.
En cualquier espacio de Riemann se cumplen las relaciones, de bastante
utilidad a la hora de operar con los campos tesoriales de Riemann-Christoel,
conocidas como identidades de Bianchi:
1
i ,/
..
|,n
+1
i /:
..
|,)
+1
i :,
..
|,I
= 0
1
i
.
)I
..
.
|
.
n
+1
i
.
In
..
.
|
.
)
+1
i
.
n)
..
.
|
.
I
= 0
La demostracin de las anteriores identidades es bastante laboriosa, yendo
ms all de las pretenisones de este texto, por lo que la omitiremos.
15.8. Ecuacin de Einstein.
La ecuacin de Einstein relaciona al campo tensorial de Ricci con la cur-
vatura del espacio riemanniano donde est denido:
11 = jG. (15.6)
Esta ecuacin puede vericarse o no. Caso de vericarse, se demuestra, me-
diante la segunda ley del cociente, que j es un campo escalar. Contrayendo
la ecuacin de Einstein es fcil comprobar que
j =
1
:
. (15.7)
Problema 62.
En un 1
2
, demostrar que se verica la ecuacin de Einstein. Demostrar que
11 = . Relacionar el campo escalr j co los campos tensoriales de Riemann-
Christoel y Ricci, as como con la curvatura escalar y la de Gauss.
Problema 63.
En el EGO se dan los sitemas (0. r. . .) y (0. j. o. .). Se detalla una supercie
o por [(j = n. o = . . = n
2
) o (r = n
0
. =
0
. . = n
02
+
02
)] . Calcular:
1) Campo tensorial 1 C en (n. ).
2) Campo tensorial 1 C en (n
0
.
0
).
3) Componetes de todas las especies del campo tensorial 11 en (n
0
.
0
).
4) Curvaturas escalar y total.
5) Componentes de 11. en (n. ).
6) Componentes de (1 C) .en (n. ).
Parte II
Teora General de la
Relatividad
105
Captulo 16
RELATIVIDAD GENERAL
16.1. Principio de equivalencia.
La Teora General de la Relatividad (TGR) rechaza la idea newtoniana
de la existencia de un observador privilegiado, el cual est en reposo en
el espacio absoluto (desde el punto de vista de este observador las leyes
fsicas se escribiran en su forma ms simple). La TGR supone que las leyes
son idnticas para la misma clase de observadores, en sistemas de referencia
que se desplacen con movimiento de traslacin uniforme, unos respecto a
otros. Esto implica la existencia real, en s, de los espacios, en los cuales
pueden denirse sistemas de referencia. Es decir, los espacios tienen suciente
estructura interna.
Sin embargo, la experiencia y evidencia sugieren que los espacios no
pueden denirse as sin ms, sino por medio de distancias entre cuerpos.
Un espacio fsico no es ms que un amasijo de todos los posibles (innitos)
sistemas de coordenadas. En realidad, los sistemas estn relacionados con las
distribuciones de materia existentes en el Universo, y no tienen sentido fuera
de dicha materia. En resumidas cuentas, segn la perspectiva de Einstein,
las leyes de la fsica deberan poderse expresar de forma independiente de los
sistemas de referencia. Las leyes deberan ser idnticas para todos los obser-
vadores, y no para unos privilegiados del PSOE o CC. Este es el Principio
de la Relatividad General. Por supuesto, que duda cabe de que, matemtica-
mente, unos sistemas son ms convenientes que otros a la hora de trabajar
con ellos.
El Principio de equivalencia viene a decir adems que, para un ob-
107
108 CAPTULO 16. RELATIVIDAD GENERAL
servador, es igual que su medio de transporte est siendo acelerado o que lo
est un sistema de referencia jo en dicho medio de transporte, respecto de
otro inercial. En otras palabras, un individuo en un ascensor en caida libre
(despus de que se ha roto el cable) siente lo mismo que un si estuviera en
una nave sin aceleracin. Si el ascensor estuviera parado en el suelo, el sujeto,
sometido tan slo a la atracin gravitatoria (su peso), experimentara la mis-
ma sensacin que si estuviera en una nave sometida a una aceleracin q. Esto
nos indica que su aceleracin es independiente de la masa de las partculas
sobre las que acta. Pero no ocurre as con la fuerza, como podremos compro-
bar. La equivalencia entre inercia y gravitacin fu la que indujo a Einstein
a pensar que es el espacio el que se deforma por la accin de los campos,
generados por masas u otros entes. Esto tambin le indujo a establecer que,
al igual que los campos electromagnticos (relatividad especial), la accin a
distancia de los campos gravitatorios no era instantnea.
16.2. Mtrica debida a un campo dbil: el
campo gravitatorio.
Supondremos que el universo est congurado por una distribucin con-
tinua de masa o materia, aunque no necesariamente uniforme. Si la distribu-
cin de masas no est en reposo, los sistemas cartesianos no son de utilidad.
Cada suceso viene dado por cuatro coordenadas
c
con dimensionalidad es-
pacial. En este universo cticio, en cada punto existe un reloj que no est
sincronizado con el resto de innitos relojes correspondientes a los dems
puntos. Pero dos relojes innitamente prximos tienen horas muy parecidas.
El universo es un o
1
= 1
1
.
Dos sucesos innitamente prximos se produciran en
c
e
c
+d
c
, cor-
respondindoles tiempos t y t + dt que, en tiempos propios, estn separados
por
dt
2
= dt
2
1
c
2
(d
i
)
2
. (16.1)
Como norma general, los ndices en caracteres griegos corresponden a 1
1
y
los latinos a 1
S
.
Si denimos como intervalo elemental del universo a
d:
2
= c
2
dt
2
= (d
i
)
2
c
2
dt
2
= q
co
d
c
d
o
. (16.2)
16.3. MOVIMIENTODEUNAPARTCULALIBREENUNCAMPOGRAVITATORIO.109
la mtrica de dicho universo sera
q
co
=
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 c
2
_
_
_
_
(16.3)
Este es el espacio de Minkovski, sucesor del de Lobachetsky, y que no es ms
que un espacio de Riemann. Existe la alternativa de tomar relojes normales y
corrientes (es un decir), con
oc
ic
como tiempo entre dos sucesos. Habitualmente
se trabaja con cuadrivectores de 1
1
. Es decir,
c
= (c. ), etc. Dado que ct
es una coordenada ms, el parmetro con el que es costumbre trabajar, por
ser constante, es el intervalo del Universo :. En dicho caso, denimos como
velocidad unitaria a:
n
c
=
oj
o
oc
=
oj
o
ot
ot
oc
= (
cot
oc
. n) = (c. ) = c(1. ,).
16.3. Movimiento de una partcula libre en
un campo gravitatorio.
Es el caso ms simple que se puede analizar. Vamos a partir del intervalo
elemental d: = (
2
c
2
)
12
dt, con = ctc. Es decir, estamos lejos de cualquier
distribucin de masa que pueda afectar al movimiento de la partcula (o sea,
no hay campos). En este caso,
o
2
j
.
oc
2
= 0 =
o
2
t
oc
2
. Esta ecuacin determina
una familia de lneas del universo correspondiente a las trayectorias de la
partcula libre respecto a un sistema localmente inercial. Desde cualquier
otro sistema de referencia en movimiento, la ecuacin del movimiento de la
partcula viene descrita por
d
2
c
d:
2
+
o
.
c
d
o
d:
d
d:
= 0. (16.4)
que, como ya hemos visto, es la ecuacin de una geodsica, vlida para
cualquier sistema de referencia. Para q
co
constantes, esta ecuacin coincide
con la anterior, es decir, q
11
= q
22
= q
SS
= 1; q
11
= c
2
, siendo nulas
las dems componentes cuando no hay campos. En el caso general, las q
co
vienen determinadas por los campos existentes. Cuando estos elementos de la
mtrica no pueden ponerse como constantes nos encontramos con los campos
gravitatorios irreducibles (no cartesianos). En caso contrario tendramos un
sistema reducible (cartesiano). An en ellos, en regiones innitesimales del
universo en torno a nuestra partcula, la trayectoria es casi una lnea recta,
un sistema localmente inercial. Se puede generalizar al movimiento en cada
libre de partculas en cualquier campo gravitatorio siempre que conozcamos
las q
co
. En sistemas casi reducibles en entornos muy pequeos, los movimien-
tos son casi uniformes. En este caso se dice que los sistemas coordenados son
de ada localmente libre". Este es el caso de los campos gravitatorios gener-
ados por masas como la de la Tierra, las cuales pueden considerarse bastante
pequeas.
16.4. Ley de Einstein de la gravitacin.
Segn la mecnica newtoniana, el campo gravitatorio que existe en cualquier
regin del espacio viene determinado por la distribucin de materia que haya
en dicha regin. Esto indica que el tensor mtrico del universo, que va a de-
terminar la forma del universo, y que, como hemos visto, est ntimamente
relacionado con el campo gravitatorio, podra calcularse si se conociese la dis-
tribucin de materia en todo tiempo y lugar. Es decir, cualquier tensor que
describa dicha distribucin de materia debera estar relacionado de alguna
manera con el tensor mtrico. Uno de estos tensores es el de energa-impulso,
1
co
,
1
co
= j
00
o
. (16.5)
con j
00
= j(1
2
,c
2
) = j,
2
.
En general, 1
i)
= j
i)
= j
i
)
= q
i
)
, con q
i
= j
i
densidad de momento.
As 1
i1
= 1
1i
= icj
i
; 1
11
= c
2
j y 1
i)
.
i
= di 1
i)
= 0 en sistemas aislados.
La ltima expresin encierra la ecuacin de conservacin de la densidad de
materia.
A fortiori se introduce 1
co
= `q
co
, siendo ` una constante universal
relacionada con la densidad de masa j. Si conociramos su valor, el poten-
cial gravitatorio debera poderse calcular mediante la ecuacin de Poisson
\
2
l = 4:Gj, siendo G la constante de gravitacin universal. Todo parece
indicar que, si l est relacionado con 1
co
, l ha de estar necesariamente
relacionado con el tensor mtrico q
co
. En una ecuacin general parece que
deberan aparecer las derivadas segundas de q
co
que, adems, han de tener su
16.5. ACELERACINDEUNAPARTCULAENUNCAMPOGRAVITATORIODBIL.111
divergencia nula, por paralelismo con el potencial l. Casualmente, el campo
tensorial de Einstein tiene estas caractersticas, con lo que podemos escribir:
1
co
1
2
q
co
1 = i1
co
. (16.6)
en el interior de una distribucin de materia. Esta es la Ley de Einstein de
la Gravitacin. Puede reescribirse como
1
c
.
o
1
2
q
c
.
o
1 = i1
c
.
o
. (16.7)
que podemos contraer, obtenindo 1 = i1, con 1 = 1
c
.
c
. Luego, tambin
podemos escribir:
1
co
= i(
1
2
q
co
1 1
co
). (16.8)
Adems, la divergencia de q
co
es nula: q
co
.
o
= 0. Otra forma podra ser
1
co
1
2
q
co
1q
co
= i1
co
. siendo constante. Esta ecuacin da buenos
resultados para observables en distancias galcticas. Como veremos, la con-
stante , relacionada con la constante cosmolgica, sirvi inicialmente para
satisfacer los prejuicios de Einstein.
16.5. Aceleracin de una partcula en un cam-
po gravitatorio dbil.
En campos gravitatorios como el terrestre, la geometra del espacio es no
eucldea y no existen sistemas inerciales, estrictamente hablando. Sin embar-
go, y por propsitos prcticos, se usan incluso coordenadas cartesianas en
la supercie terrestre. Podemos hacer esta aproximacin porque el campo
gravitatorio terrestre es muy dbil, y no hay serios problemas entre puntos
prximos, pudindose construir sistemas localmente inerciales..
Supongamos que, en un punto cualquiera, el espacio es eucldeo (local-
mente eucldeo) y vara poco entre puntos prximos (casi cartesiano). En ese
caso podemos considerar que la mtrica tambin lo hace, y q
co
= o
co
+/
co
o
q
co
= o
co
+/
co
, correspondiendo o
co
a los elementos de la matriz identidad
(mtrica eucldea de un universo plano) y /
co
a un incremento innitesimal.
Por otra parte sabemos que
co
.
=
1
2
_
J/
o
J
c
+
J/
c
J
o

J/
co
J
_
= o
c
co
.
c
(16.9)
en primera aproximacin, y para /
co
pequeos.
Las ecuaciones del movimiento pueden obternerse a travs de:
oj
o
oc
=
oj
o
ot
ot
oc
= (i,. 1).Si la partcula est en reposo,
oj
o
oc
= (0. 1) = (0. 1)
y las ecuaciones del movimiento se reducen a:
d
2
c
d:
2
+
11
.
c
= 0. (16.10)
Sustituyendo
11
.
c
, obtenemos,
o
2
j
o
oc
2
=
1
2
0I
44
0j
o

0I
4o
0j
4
. Como vemos, existe un
problema en la notacin, que surge de utilizar los smbolos de Christoel de
segunda especie. En realidad, el problema no es tal, ya que, para un espacio
eucldeo y en cartesianas q
co
= o
co
, con lo que /
c
.
o
= /
co
. y
co
.
c
=
o
c
co
.
=
11
.
c
= o
c
11
.
=
1
2
o
c
_
0I
4
0j
4
+
0I
4
0j
4

0I
44
0j
_
=
1
2
_
0I
o
.
4
0j
4
+
0I
4
.
o
0j
4

0I
44
0jo
_
=
o
2
j
o
oc
2
=
1
2
0I
44
0jo

0I
o
.
4
0j
4
.
Diferenciando
oj
o
oc
, obtenemos:
o
2
j
o
oc
2
= (
2
c
2
)
1
_
o
ot
. 0
_

o
ot
(
2
c
2
)
2
(. ic), que, para = 0,
o
2
j
o
oc
2
=
1
c
2
_
o
ot
. 0
_
. La componente de la aceleracin puede ponerse como c
2
_
1
2
0I
44
0j
.
+
i
c
0I
.
.
4
0t
_
.
Si el campo no vara con el tiempo, la aceleracin quedara como q:cd
_
1
2
c
2
/
11
_
.
Si el potencial l es newtoniano, la fuerza es del tipo 1 = q:cdl, luego la
aceleracin est ligada al gradiente del potencial. Es fcil identicar que
l =
1
2
c
2
/
11
=q
11
= 1 +
2l
c
2
. (16.11)
donde el 1 procede de o
11
. Hemos visto el procedimiento que se sigue para rela-
cionar los potenciales gravitatorios con la mtrica del espacio. Por supuesto,
la forma general es harto ms complicada y requiere la resolucin de la
ecuacin de Einstein.
16.6. LEY DE GRAVITACIN DE NEWTON. 113
16.6. Ley de gravitacin de Newton.
Vamos a ver ahora que se pueden deducir las leyes de gavitacin de New-
ton a partir de la de Einstein, siempre y cuando los campos gravitatorios sean
dbiles. Para ello partimos del campo tensorial de Riemann-Christoel en un
sistema de campo dbil y para coordenadas curvilneas
c
. En primera aprox-
imacin, eliminando trminos de orden superior, el campo tensorial 1 C
puede escribirse como:
1
c
.
oc
=
J
J
oc
.
c
J
J
c
o
.
c
. (16.12)
Contrayendo el primer y cuarto ndice, en esta notacin, obtenemos el campo
tensorial de Ricci:
1
o
=
J
J
oc
.
c
J
J
c
o
.
c
. (16.13)
Sustituyendo los smbolos de Christoel,
1
o
=
1
2
J
J
_
J/
oc
J
c
+
J/
cc
J
o

J/
co
J
c
_
1
2
J
J
c
_
J/
co
J
+
J/
c
J
o

J/
o
J
c
_
=
=
1
2
_
J
2
/
cc
J
o
J
+
J
2
/
o
J
c
J
c

J
2
/
co
J
c
J

J
2
/
c
J
c
J
o
_
. (16.14)
Para ,. = 4, sustituyendo, obtenemos:
1
11
=
1
2
_
J
2
/
cc
J
1
J
1
+
J
2
/
11
J
c
J
c
2
J
2
/
c1
J
c
J
1
_
. (16.15)
Si /
co
es independiente del tiempo, caso de trabajar con una distribucin
de materia esttica, como ocurre en la mecnica newtoniana, las derivadas
parciales respecto a
1
son nulas, con lo que:
1
11
=
1
2
J
2
/
11
J
c
J
c
=
1
2
\
2
/
11
. (16.16)
Como l =
1
2
c
2
/
11
, tenemos que 1
11
=
1
c
2
\
2
l.
Ahora bien, recordemos que, si no hay tensiones internas en la distribucin
de materia, el campo tensorial 1
co
= j
00
\
c
\
o
, con j
00
= (1,
2
)j =
j
2
, con
lo que, para \
i
= 0 =j
00
= j. A su vez, 1 = 1
i
.
i
= 1
ii
= 1
11
= c
2
j
00
. En
dicho caso, y aproximadamente,
1
c
2
\
2
l =
1
2
{c
2
j
00
. (16.17)
con lo que
\
2
l =
1
2
{c
1
j
00
. (16.18)
que es la ecuacin clsica de Poisson si { =
SG
c
4
.
16.7. Nube de polvo en caida libre.
Si tomamos una nube de partculas (distribucin homognea y uniforme
de masa) que cae libremente en el campo gravitatorio generado por la propia
nube, el problema se cie al clculo del campo tensorial energa-impulso de la
propia nube contrayndose. En un sistema curvilneo arbitrario
c
=
c
(t),
jo en una de la partculas que mide el tiempo propio t, la cuadrivelocidad
de la partcula ser \
c
=
oj
o
ot
= ic
oj
o
oc
= icn
c
, puesto que, en el convenio que
estamos usando,
oc
ot
= ic y
ot
ot
= . As, para esta cuadrivelocidad obtenemos
que
\
2
= \
c
\
c
= q
co
\
c
\
o
= c
2
q
co
n
c
n
o
= c
2
. (16.19)
Como 1
co
= j
00
\
c
\
o
, la ecuacin de Einstein se reduce a:
_
j
00
\
c
\
o
_
.
= (j
00
\
c
) .
\
o
+j
00
\
c
\
o
.
. (+) (16.20)
Como \
c
\
c
= c
2
, si diferenciamos obtenemos que \
c
.
o
\
c
+\
c
\
c
.
o
= 0 =
\
c
.
o
\
c
= 0. Es decir, (j
00
\
c
) .
\
o
= 0. Derivando en (+) obtenemos que:
_
J\
c
J
o
+
o
.
c
\
_
\
o
= 0 =
(resultado de la aceleracin que ya conocemos)
J\
c
J
o
d
o
dt
+
o
.
c
d
dt
d
o
dt
= 0 =
16.8. MTRICAS CON SIMETRA ESFRICA. 115
d
2
c
dt
2
+
o
.
c
d
dt
d
o
dt
= 0 =
d
2
c
d:
2
+
o
.
c
d
d:
d
o
d:
. (16.21)
que es la ecuacin de una geodsica. Es decir, una partcula en una nube
de ellas satisface la ley de Einstein que, a su vez, autoincluye las leyes del
movimiento.
16.8. Mtricas con simetra esfrica.
Cuando de realiza un cambio entre sistemas de referencia espacio-temporales,
desde coordenadas
c
a
0c
, el tensor mtrico ha de cambiar como un ten-
sor totalmente covariante. Sin embargo, las expresiones analticas de q
co
(
)
son totalmente diferentes de la correspondientes a q
0
co
(
0
)
_
1 ,.:
_
, lo cual
no es paradjico, ya que el tensor mtrico que tenemos no es un invariante.
Sin embargo, en casos especiales, existe la posibilidad de que s lo sea bajo
cualquier transformacin. Vamos a estudiar estos casos.
Dentro de un campo gravitatorio la geometra slo puede ser casi eucldea,
por lo que no existen coordenadas rectangulares cartesianas. Sin embargo, no
existen dicultades para, en la prctica, denir aproximadamente este tipo
de ejes y supondremos, por tanto, que las coordenadas de un suceso en un
campo gravitatorio casi pueden considerarse e interpretarse fsicamente co-
mo cartesianas "localmenterectangulares ms el tiempo. Vamos a buscar una
mtrica que, cuando se exprese en estas coordenadas, sea invariante respecto
al grupo de transformaciones de coordenadas similar al de Lorentz, y que
interpretaremos fsicamente como rotaciones del sistema C.
c
, quedando
t inalterada. Para ser ms precisos, hay que suponer que las coordenadas
espaciales (
i
) pueden denirse de tal forma que la mtrica q
co
(
c
) sea in-
variante bajo el grupo de transformaciones ortogonales
0c
=
_
_
o
_
_
, con
|
= 1. Esta mtrica recibe el nombre de esfricamente simtrica en torno
a O.
Invariantes bajo este grupo de transformaciones, con grado inferior al
segundo en las diferenciales de las coordenadas, son
r
2
+
2
+.
2
. rdr +d +rdr. dr
2
+d
2
+d.
2
. (16.22)
que, en coordenadas esfricas, estos invariantes seran
:
2
. :d:. d:
2
+:
2
(do
2
sin
2
odc
2
). (16.23)
y tambin :. :d:. do
2
sin
2
odc
2
. La mtrica ms genrica con simetra esfrica
puede construirse como:
d:
2
= (:. t)d:
2
+1(:. t)(do
2
+sin
2
odc
2
) +C(:. t)d:dt +1(:. t)dt
2
. (16.24)
Los coecientes dependen slo de :. t por motivos de centralidad. Si se hace
el cambio :
02
= 1(:. t), tenemos que
d:
2
= 1(:
0
. t)d:
2
+:
02
(do
2
+ sin
2
odc
2
) +1(:
0
. t)d:
0
dt +G(:
0
. t)dt
2
. (16.25)
Exactamente, para coordenadas esfricas puras en un sistema verdadera-
mente inercial (sin distribuciones de masa y para campos estticos), la mtri-
ca sera la conocida:
d:
2
= d:
2
+:
2
(do
2
+ sin
2
odc
2
) c
2
dt
2
. (16.26)
Quitando las primas por comodidad, para campos estticos y para un sistema
casi-inercial, tendramos 1(:. t) = 1(:. t) = 1; G(:. t) = c
2
. En general, :
0
se comporta casi como :. Como d:
2
no varia al cambiar t por t (simetra
temporal), podemos escribir:
d:
2
= c(:)d:
2
+:
2
(do
2
+ sin
2
odc
2
) /(:)c
2
dt
2
. (16.27)
En un instante dado jo t, la mtrica del espacio en presencia de un campo
gravitatorio puede obtenerse haciendo dt = 0. La longitud de un arco elemen-
tal de circunferencia de radio :
0
entre (:
0
. c). (:
0
. c + dc) sera d: = :
0
dc,
en el plano o = :,2. La longitud total de la circunferencia sera 2::
0
. Sin
embargo, :
0
no es la longitud del radio para c = c
0
. Para un elemento de
arco entre (:. c
0
). (: +d:. c
0
) tenemos que d: = c
12
d:. El radio total sera
_
v
0
0
c
12
d:. (16.28)
Evidentemente, no sirven las expresiones eucldeas para las longitudes de
circunferencias, ni para otras magnitudes.
Si hacemos q
11
= c. q
22
= :
2
. q
SS
= :
2
sin
2
o. q
11
= /c
2
= q =
c/c
2
:
1
sin
2
o con c ~ / ~ 1. Tomando c(:) = c
c
. /(:) = c
o
, con c =
c(:). , = ,(:), los smbolos de Christoel seran:
16.9. LA SOLUCIN DE SCHWARZSCHILD. 117
co
.
=
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
1
2
c
0
0 0 0
0 :c
c
0 0
0 0 :c
c
sin
2
o 0
0 0 0
1
2
c
2
,
0
c
oc
_
_
_
_
_
_
_
_
0 1,: 0 0
1,: 0 0 0
0 0 sin o cos o 0
0 0 0 0
_
_
_
_
_
_
_
_
0 0
1
2
,
0
0
0 0 cot o 0
1
2
,
0
cot o 0 0
0 0 0 0
_
_
_
_
_
_
_
_
0 0 0 0
0 0 0 0
0 0 0 0
0 0 0 0
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
_
.
donde las primas indican derivadas respecto a :.
El campo tensorial de Ricci ser:
11 =
_
_
_
_
_
_
_
_
_
_
1
2
,
00
+
1
1
,
02
1
1
c
0
,
0
1
v
c
0
0 0 0
0
c
c
(
1
2
:,
0
1
2
:c
0
+ 1) 1
0 0
0 0 11
22
sin
2
o 0
0 0 0
c
2
c
oc
[11
11
+
1
v
(c
0
,
0
)]
_
_
_
_
_
_
_
_
_
_
.
(16.29)
16.9. La solucin de Schwarzschild.
La mtrica esttica tiene simetra esfrica, como hemos visto, y determina
el campo gravitatorio creado por una distribucin de materia esttica, tam-
bin con simetra esfrica, siempre que se satisfaga la ecuacin de Einstein.
Vamos a considerar el caso especco que se da cuando todo el espacio est
vacio de materia excepto el cuerpo esfrico, en cuyo centro est el origen y
centro de simetra O. En cualquier punto exterior al cuerpo, 1
co
= 1 = 0, y
la ecuacin de Einstein se reduce a 1
co
= 0. Es decir,
,
00
+
1
2
,
02
1
2
c
0
,
0
2
:
c
0
= 0.
1
2
:,
0
1
2
:c
0
+ 1 = c
c
.
,
00
+
1
2
,
02
1
2
c
0
,
0
+
2
:
,
0
= 0. (16.30)
Restando la ltima y la primera de estas ecuaciones, c + , = ctc. Como,
cuando : , suponemos que la mtrica se aproxima a la esfrica pura,
vlida en ausencia de campos gravitatorios, en : . c = , = 0 =c+, =
0, con lo que podemos eliminar , en las anteriores ecuaciones, llegando a que
:c
0
= 1 c
c
. (16.31)
La ecuacin es de variables separables y admite por solucin
c = c
c
= (1 2:,:)
1
. (16.32)
siendo : una constante de integracin, con lo que
/ = c
o
= 1 2:,:. (16.33)
que han de satisfacer al conjunto de ecuaciones diferenciales anteriores. Por
lo tanto, llegamos a la mtrica
d:
2
=
d:
2
1 2:,:
+:
2
(do
2
+ sin
2
odc
2
) c
2
(1 2:,:)dt
2
. (16.34)
Esta ecuacin fu obtenida por primera vez por Schwarzschild. Veremos
que la constante : es proporcional a la masa del cuerpo que genera al campo.
Tambin puede comprobarse que, para el potencial l a distancia : de un
cuerpo esfrico de masa `.
l =
G`
:
(16.35)
con lo que
q
11
= 1
2G`
c
2
:
. (16.36)
16.10. LAS RBITAS PLANETARIAS. EL CASO DE MERCURIO. 119
y, por tanto,
/ = 1
2G`
c
2
:
. (16.37)
Comparando con las anteriores ecuaciones obtenemos que
: =
G`
c
2
. (16.38)
Esta mtrica no es vlida para : = 2: = 2G`,c
2
, conocida como radio
de Schwarzschild, y que vale 9mm para la Tierra. Como la mtrica slo es
vlida fuera del cuerpo, esta cantidad no representa ningn problema. Sin
embargo, s puede ser problemtica en cuerpos muy densos, en los que su
valor puede exceder al radio del cuerpo.
16.10. Las rbitas planetarias. El caso de Mer-
curio.
(Primera comprobacin de la Relatividad General).
La atraccin que ejercen los planetas sobre el sol produce una minscula
aceleracin sobre este cuerpo, respecto a determinado inercial sin especicar.
Por lo tanto, si se construye un sistema de coordenadas que se mueva con el
sol, existir un campo gravitatorio, relativo a este sistema y corresponde a
la aceleracin mencionada, adems de los campos del sol y los planetas. Sin
embargo, para el anlisis que vamos a realizar, todos estos campos pueden
despreciarse. De este modo, y respecto a un sistema esfrico polar con su
polo en el centro del sol, el campo gravitatorio se supondr determinado por
la mtrica de Schwarzschild. Los planetas sern tratados como partculas con
campos gravitatorios despreciables, cuyas lneas del universo (trayectorias)
son geodsicas. Vamos a calcular dichas geodsicas.
Puesto que los intervalos entre puntos adyacentes de la lnea del universo
de una partcula son necesariamente de tipo temporal, : ser imaginaria pura
a lo largo de dicha curva. Por lo tanto, en el clculo de las geodsicas es ms
conveniente reemplazar : por t, trabajando con la mtrica en funcin de dt
2
.
Es decir, la mtrica de Schwarzschild quedara como
dt
2
=
1
c
2
_
d:
2
1 2:,:
+:
2
(do
2
+ sin
2
odc
2
)
_
+ (1 2:,:)dt
2
(16.39)
con lo que las geodsicas seran
d
dt
_
:
1 2:,:
d:
dt
_
+
:
(1 2:,:)
2
_
d:
dt
_
2
:
_
do
dt
_
2
: sin
2
o
_
dc
dt
_
2
+
:c
2
:
2
_
dt
dt
_
2
= 0.
d
dt
_
:
2
do
dt
_
:
2
sin o cos o
_
dc
dt
_
2
= 0.
d
dt
_
:
2
sin
2
o
dc
dt
_
= 0.
d
dt
_
: 2:
:
dt
dt
_
= 0. (16.40)
La primera de las ecuaciones puede reemplazarse por
:
: 2:
_
d:
dt
_
2
+:
2
_
_
do
dt
_
2
+ sin
2
o
_
dc
dt
_
2
_
c
2
:
(: 2:)
_
dt
dt
_
2
= c
2
. (16.41)
Vamos a elegir un sistema de coordenadas en el que un planeta est
movindose inicialmente en el plano o =

2
. Inicialmente, por tanto,
o0
ot
= 0
y la segunda geodsica se reduce a
o
2
0
ot
2
= 0 en ese instante. Volviendo a
diferenciar esta ecuacin y sustituyendo los valores iniciales encontramos que
todas las derivadas de o son nulas en el instante inicial. Aplicando el teorema
de Maclaurin, o =

2
para cualquier valor de t, demostrando que el planeta
se mueve siempre en dicho plano (eclptica).
Integrando las ecuaciones tercera y cuarta, con o =

2
,
dc
dt
=
/
:
2
.
dt
dt
=
/:
: 2:
. (16.42)
16.10. LAS RBITAS PLANETARIAS. EL CASO DE MERCURIO. 121
siendo /. / constantes de integracin. Sustituyendo estos valores, con o =

2
,
en la dos ltimas ecuaciones obtenemos
_
d:
dt
_
2
+
/
2
:
S
(: 2:) = c
2
(/
2
1) +
2:c
2
:
.
Eliminando dt =
v
2
I
dc, se llega a la ecuacin de la rbita planetaria:
_
/
:
2
d:
dc
_
2
+
/
2
:
2
= c
2
(/
2
1) +
2:c
2
:
+
2:/
2
:
S
. (16.43)
Tomando n = 1,:, la ecuacin se reduce a
_
dn
dc
_
2
+n
2
=
c
2
/
2
(/
2
1) +
2:c
2
/
2
n + 2:n
S
. (16.44)
Diferenciando respecto a c, la ecuacin toma una forma ms familiar en la
teora de rbitas:
d
2
n
dc
2
+n =
:c
2
/
2
+ 3:n
2
. (16.45)
Esta ecuacin es la anloga de la mecnica clsica
d
2
n
dc
2
+n =
G`
/
2
.
donde ` es la masa del cuerpo atractor y / es momento constante del planeta
respecto al centro de atraccin, es decir,
:
2
dc
dt
= /.
Si identicamos la variable temporal t de la teora clsica con el tiempo
propio t de la relatividad, esta ecuacin y
o
ot
=
I
v
2
son idnticas, con lo que
se justica la eleccin de la constante de integracin. dems, si tomamos
: =
GA
c
2
, la nica diferencia entre la ecuacin clsica y la relativista es el
trmino 3:n
2
. La razn entre este trmino y la ley del cuadrado inverso
nc
2
I
2
es
3/
2
n
2
c
2
=
3
c
2
:
2
c
2
.
:c es la componente transversal de la velocidad del planeta y, para los plan-
etas del sistema solar, toma su valor ms grande en el caso de Mercurio, con
4.8 10
1
:,:. Dado que c = 3 10
S
:,:, la razn entre los trminos antes
citados,
S
c
2
:
2
c
2
= 7.7 10
S
, que es despreciable. Sin embargo, el efecto del
trmino adicional ha demostrado ser acumulativo, como vamos a estudiar,
razn por la que es conveniente una comprobacin experimental.
La solucin de la ecuacin clsica conduce a
n =
j
/
2
1 +c cos(c .) . (16.46)
donde j = G` = :c
2
. c es la excentricidad de la rbita y . es la longitud
del perihelio; la cantidad j es una solucin aproximada, aunque bastante
exacta de la ecuacin relativista. El error obtenido al tomar
3:n
2
=
3:j
2
/
1
1 +c cos(c .)
2
(16.47)
es totalmente despreciable, por ser este trmino despreciable bajo cualquier
circunstancia. La ecuacin relativista puede reemplazarse por
d
2
n
dc
2
+n =
j
/
2
+
3:j
2
/
1
1 +c cos(c .)
2
. (16.48)
Esta ecuacin tiene una solucin anloga a la clsica con trminos adi-
cionales correspondientes a una solucin particular relativa a la forma rela-
tivista, y que tiene el siguiente aspecto:
3:j
2
/
1
_
1 +
1
2
c
2
1
6
c
2
cos 2(c .) +ccsin(c .)
_
. (16.49)
El trmino constante no puede aislarse en las observacione experimentales.
El trmino cos 2(c .) tiene una amplitud demasiado pequea para poder
detectarse. Sin embargo, el trmino restante tiene una amplitud que aumenta
con c y, en consecuencia, su efecto es acumulativo. La solucin general es
n =
j
/
2
_
1 +c cos(c .) +
3:jc
/
2
csin(c .)
_
j
/
2
1 +c cos(c . o .) . (16.50)
16.11. DESVIACINDEUNRAYODELUZ DEBIDAALAGRAVEDAD.123
donde o . =
Snj
I
2
c, y donde hemos despreciado trminos de orden superior en
o .. Esta magnitud representa el avance del perihelio de un planeta cualquiera.
En consecuencia, por cada revolucin dada en torno a la estrella, el perihelio
avanza o . =
6n
2
c
2
I
2
, ya que j = :c
2
. Esta magnitud puede escribirse como
o . =
6nG
c
2
o(1c
2
)
. Hacindo uso de la tercera Ley de Keppler, c
S
= G`(1,2:)
2
,
llegamos a que o . =
21
3
o
2
c
2
T
2
(1c
2
)
.
Esta ltima ecuacin indica que la longitud del perihelio puede aumentar
estacionariamente de acuerdo con
o . =
3:j
/
2
c =
3j
2
c
2
/
2
c =
3j
c
2
|
c. (16.51)
con | = /
2
,j siendo el semi-latus rectum de la rbita. Si j = 1.33 10
20
o1
para el sol y | = 5.79 10
10
para Mercurio, el avance angular previsto del
perihelio, por siglo, para Mercurio es de 43
00
.03, en acuerdo con el valor exper-
imental (41".24 2".09), inexplicable desde el punto de vista de la Mecnica
Newtoniana. En otros planetas se puede calcular dicho avance, pero difcil-
mente observar con las tcnicas actuales.
16.11. Desviacin de un rayo de luz debida a
la gravedad.
(Segunda comprobacin de la Relatividad General).
Esta fu la segundo de las pruebas utilizadas para comprobar la validez de
la Relatividad General, utilizando para ello un eclipse solar. Lstima que la
expedicin britnica de Eddington (1919) que se realiz para ello desechara
datos que no venan bien a sus nes. Expediciones posteriores (1947, 1952)
vinieron a corroborar, sin embargo, las predicciones de Einstein.
El intervalo de tiempo propio entre la emisin de una seal luminosa y
su recepcin en un punto distante es nulo. Se supone, claro est, que la seal
se propaga en un referencial inercial y que no existen campos gravitatorios.
Es decir, d: = 0, para cualquier par de puntos vecinos en la trayectoria
del universo de la seal. Evidentemente, las trayectorias (geodsicas) son
rectas en el universo, ya que las coordenadas espaciales son lineales en el
tiempo. Son las conocidas como geodsicas nulas. Y esto es cierto es cualquier
regin pequea del universo, incluso en presencia de campos gravitatorios.
Se puede generalizar diciendo que las lneas del universo de un rayo de luz
son geodsicas nulas en regiones ilimitadas del espacio.
Vamos, a continuacin a proceder a calcular el camino de un rayo de
luz sometido al campo gravitatorio de un cuerpo esfrico, partiendo de la
anterior idea. Usaremos la mtrica de Schwarzschild, pero reemplazando t
por el parmetro `, para calcular las geodsicas. La forma q
co
oj
o
oA
oj
c
oA
= 0 se
convierte en
:
: 2:
_
d:
d`
_
2
+:
2
_
_
do
d`
_
2
+ sin
2
o
_
dc
d`
_
2
_
c
2
:
(: 2:)
_
dt
d`
_
2
= 0. (16.52)
Si, una vez ms, tomamos o =

2
, sin perder la generalidad, el rayo de luz
en el plano ecuatorial sigue la trayectoria
d
2
n
dc
2
+n = 3:n
2
.
con n = 1,:. Esta es una familia de de rayos de luz en el plano ecuatorial. En
primera aproximacin y despreciando el trmino de la derecha, la solucin es
n =
1
1
cos(c +c).
siendo c. 1 constantes de integracin. Esta es la ecuacin de una linea recta
cuya distancia desde el centro de atraccin es 1. Es decir, para campos
gravitatorios dbiles, las trayectorias de los rayos de luz siguen siendo rectas,
como tambin conrman los experimentos con la luna.
Si hacemos c = 0, tambin sin prdida de generalidad, con el rayo paralelo
al eje 1 , (c = :,2), haciendo el cambio n = cos c,1, obtenemos
d
2
n
dc
2
+n =
3:
1
2
cos
2
c.
El trmino correspondiente a la solucin particular adicional es
:
1
2
(2 cos
2
c)
16.11. DESVIACINDEUNRAYODELUZ DEBIDAALAGRAVEDAD.125
Figura 16.1: Deexin de un rayo de luz causado la masa solar
y, por lo tanto, una aproximacin ms adecuada a la trayectoria del rayo de
luz es
n =
1
1
cos c +
:
1
2
(2 cos
2
c).
En cada extremo del rayo n = 0, con lo que
:
1
cos
2
c cos c
2:
1
= 0.
Suponiendo que :,1 es muy pequeo, la anterior ecuacin tiene una solucin
muy pequea y otra muy grande:
cos c =
1
_
1
_
1 +
Sn
2
1
2
_
12
_
2:
. (16.53)
La solucin pequea puede aproximarse por cos c =
2n
1
, con lo que c =
2
+
2n
1
_
en los dos extremos del rayo. En consecuencia, la desviacin an-
gular del rayo al pasar por el campo gravitatorio es
1n
1
. Para un rayo que
pase cerca del la corona solar, con 1 = 6.95 10
S
: y : = 1.5 10
10
:,
c ~ 8.62 10
6
:cd ~ 1.77
00
. Esta cantidad se ha comprobado experimen-
talmente haciendo uso de una estrella prxima al disco solar, durante un
eclipses totales.
16.12. Agujeros negros. Ondas gravitatorias.
La mtrica de Schwarzchild slo es vlida en regiones externas a un cuerpo
esfrico que haga las veces de atractor. As, si el radio de este cuerpo es
mayor que 2:, el hecho de que la componente q
11
si : = 2: no crea
ninguna dicultad. Sin embargo, si el radio del cuerpo es menor que 2:, la
esfera : = 2: queda en el espacio vacio, y el campo en su vecindad ha de
estudiarse con mucho cuidado.
A pesar de que la mtrica no es vlida en la esfera : = 2:, tiene una
solucin aceptable de la ecuacin de Einstein en la regin 0 < : < 2:.
Consideremos un mvil desplazndose radialmente en esta zona. No tiene
por qu ser en caida libre. Si tomamos o y c constantes, la mtrica puede
reducirse a
c
2
dt
2
= c
1
(d:
2
c
2
c
2
dt
2
)
donde c = 2:,:1 0, a lo largo de la lnea de universo del cuerpo. Dada la
ecuacin del movimiento : = :(t), esta ecuacin determina el tiempo propio
t marcado por un reloj anclado en el cuerpo. Como dt debe ser real, se
deduce que d:,dt cc o que d:,dt < cc. Estas desigualdades prueban que
es imposible que el cuerpo sea estacionario en nuestro sistema de coordenadas
para la regin que analizamos. Esto implica que nuestra representacin del
sistema de referencia como un conjunto de relojes midiendo t y que, a su
vez, es estacionario para el espacio (:. o. c) ya no es vlido. Es decir, las
condiciones estticas en los alrededores de una masa atractiva no existen en
esta regin.
Vamos a considerar un cuerpo en cada libre a lo largo del radio y hacia
el centro de atraccin en la regin : < 2:. Si las condiciones iniciales son
(t = 0. : = 1. d:,dt = 0), de las ecuaciones de las rbitas planetarias obten-
emos que la ecuacin del movimiento del cuerpo viene determinada por
_
d:
dt
_
2
= 2:c
2
_
1
2:
1
_
1
_
1
2:
:
_
2
_
1
:

1
1
_
16.12. AGUJEROS NEGROS. ONDAS GRAVITATORIAS. 127
con lo que
ct =
_
1
2:
1
_
12
_
1
v
:
S2
d:
(: 2:) (1 :)
12
y la integral diverge a cuando : 2:. Esto signica que, en el for-
malismo de Schwarzschild, el cuerpo requerir de una coordenada temporal
innita para alcanzar la esfera de radio : = 2:. Si un observador jo a una
considerable distancia del centro de atraccin observara al cuerpo por pro-
cedimientos pticos, tendra que esperar a que los fotones que emergen del
cuerpo lo alcanzaran. A travs de estos fotones el tiempo aparente para la
cada del cuerpo hasta el radio de Schwarzschild para un observador externo
sera innito.
Si, en vez de eliminar el tiempo propio t de las ecuaciones de la trayectoria
eliminamos la coordenada t, se obtiene que
_
d:
dt
_
2
= 2:c
2
_
1
:

1
1
_
.
Si integramos con t = 0 y : = 1, se obtiene que
ct =
_
(1
S
,2:)
_
_
:
1

_
:
1
_
2
+
1
2
cos
1
_
2
:
1
1
_
_
.
t es el tiempo registrado por un reloj que se mueve junto al cuerpo, y que es
nito para cualquier valor de : desde 2: hasta 0.
Es evidente que que el sistema de referencia que hemos usado no es vlido
si se ha de estudiar el movimiento a travs de la esfera de Schwarzschild ya
que t se hace innito para : = 2: para sucesos que pueden ser detectados
experimentalmente por determinados observadores. En principio parece un
fallo del sistema de referencia, dado que q es nito para : = 2:, y no hay
singularidades espacio-temporales en la regin en estudio.
Una posibilidad es la de sustituir el tiempo por n = t + ,(:), con ,(:)
tal que se haga innitamente negativa en : = 2:, de forma que cancele el
innito que hemos sealado. Esto es lo que se conoce como renormalizacin.
As, dt = dn ,
0
(:)d:, con lo que la mtrica de Schwarzschild se transforma
en
d:
2
= 1d:
2
+:
2
_
do
2
+ sin
2
odc
2
_
+c
2
(1 2:,:) (2,
0
d:dn dn
2
).
con
1 =
:
: 2:

c
2
:
(: 2:) ,
2
.
Si tomamos c,
0
= :,(: 2:) eliminamos la singularidad. Por tanto,
c,(:) = : + 2:log(: 2:).
quedando la mtrica como
d:
2
= :
2
_
do
2
+ sin
2
odc
2
_
+ 2cd:dn c
2
(1 2:,:)dn
2
.
que satisface las ecuaciones de Einstein en el vacio. Pero el campo en esta
mtrica ya no es esttico. El trmino que encierra a la primera potencia de dn
hace que el campo no sea simtrico con respecto al pasado y futuro. En otras
palabras, la trayectoria de una partcula en cada libre no admite inversin
temporal.
Si retomamos al cuerpo cayendo radialmente (do = dc = 0), aunque no
sea en cada libre, tenemos que, a lo largo de una lnea del universo,
d:
2
= 2cd:dn c
2
(1 2:,:)dn
2
.
Como d: ha de ser negativa para cualquier movimiento posible,
d:
dn
<
1
2
c (1 2:,:) .
Si : < 2:,
ov
o&
es negativo y el cuerpo necesariamente caer hacia el ori-
gen. Por tanto, en esta regin, cualquier cuerpo caer irremisiblemente ha-
cia el centro de atraccin, colapsando. Esta mtrica evita la posibilidad de
movimientos radiales de escape, cosa que si permita la de Schwarzschild,
pero podemos recuperar esa posibilidad cambiando el signo de n.
Para un cuerpo cayendo radialmente en cada libre desde un estado inicial
de reposo d:,dn = 0 en : = 1 2:, tendremos que q
11
= c. q
11
= c
2
(1
2:,:) y la ecuaciones del movimiento se trasforman en
d
dt
_
d:
dt
c (1 2:,:)
dn
dt
_
= 0.
que, junto a la primera integral
2c
d:
dt
dn
dt
c
2
(1 2:,:)
_
dn
dt
_
2
= c
2
.
16.12. AGUJEROS NEGROS. ONDAS GRAVITATORIAS. 129
nos llevan a que
_
d:
dn
_
2
+ 4:c
_
1
:

1
1
_
d:
dn
+ 2:c
2
(1 2:,:)
_
1
:

1
1
_
= 0.
cuyas races son
d:
dn
= 2:c
_
1
:

1
1
_
_
_
2:
_
1
:

1
1
_
(1 2:,1)
_
.
Cuando : 2: tenemos una raiz positiva y otra negativa, reales. Pero : ha
de decrecer inicialmente (para que la raiz anterior no sea imaginaria) por lo
que slo es vlida la raiz negativa. : disminuye uniformemente hasta : = 0 sin
niguna peculiriadad. Las lneas del universo para los fotones que se muevan
radialmente son las geodsicas nulas
2cd:dn c
2
(1 2:,:) dn
2
= 0.
Existen dos familias de geodsicasde este tipo. Estas son
dn
d:
= 0, y c
dn
d:
=
2:
: 2:
.
Deshacindo los cambios de variables, la primera de las familias se traduce
en que
c
dt
d:
=
:
: 2:
si : 2:. Esta solucin corresponde a un fotn que se mueve hacia el centro
de atraccin. Para la segunda familia, la solucin es
c
dt
d:
=
:
: 2:
en la misma regin, correspondiendo a un fotn que se aleja del centro atrac-
tor. En el primer caso el fotn cruza la esfera de Schwarzchild y luego cae al
origen. Dentro de la esfera los fotones pueden dividirse en dos clases: aquellos
para los que n es constante a lo largo de una lnea del universo y que pueden
tener su fuente fuera de la esfera. Y aquellos que cumplen con la segunda
ecuacin cuya solucin es
cn = 2: + 4:log(2::) +ctc.
Aqu, cuando : 2:. n , por lo que los fotones no pueden proceder
de una fuente externa. Como dn,d: < 0, estos fotones tambin caen hacia el
origen.
Por lo tanto nos encontramos conque, en el campo descrito por la ltima
mtrica, ninguna partcula (incluyendo los fotones) puede cruzar la esfera de
Schwarzschild en el sentido de : creciente. Por otra parte, las partculas y
fotones que crucen dicha esfera en direccin al origen sern atrapados por l,
no pudiendo regresar al mundo exterior. Las anteriores condiciones adjudi-
cadas a la esfera de Schwarzschild la convierten en un agujero negro. Algunas
estrellas con suciente masa pueden colapsar bajo su propio campo gravita-
torio hasta alcanzar un radio menor que el de Schwarzschild. En ese caso
una contraccin mayor hara que la estrella colapsara a un punto singular
de densidad innita crendose un sumidero de materia y luz. Puede darse
el caso de que dicho colapso requiera un tiempo innito en relojes sitos en
nuestro sistema referencia terrestre, por lo que se puede argumentar que tales
agujeros negros an no han sido creados. Sin embargo, en un universo donde
los sucesos ocurran simultneamente respecto a cierto tiempo universal, el
anterior argumento no tiene sentido. Una nave cayendo hacia uno de estos
agujeros, en la que el tiempo que midan sus relojes es nito, es posible. De
hecho se han detectado objetos en las primeras fases de colapso.
Curiosamente, cambiando el signo de n en el cambio de variables, ob-
tendramos otra mtrica que satisface las ecuaciones de Einstein y que dara
lugar a un agujero blanco. En este, la materia y los fotones slo pueden cruzar
la esfera se Schwarzschild hacia fuera, convirtindose en una fuente de mate-
ria o luz. Dado que la mtrica de Schwarzschild es invariante ante inversiones
temporales, existe la posibilidad de que agujeros negros y blancos coexistan.
Otra situacin interesante se produce cuando el tensor de Ricci toma, en
primera aproximacin, la forma
1
)I
=
1
2
/
)I,ii
==1 =
1
2
/
)),ii
.
con lo que la ecuacin de Einstein toma la forma
1
)I
1
2
q
)I
1 =
1
2
/
)I,ii
1
4
o
)I
/
vv,ii
=
1
2
/
0
)I,ii
.
con
/
0
)I
= /
)I,ii
= 2i1
)I
.
16.13. PRINCIPIO COSMOLGICO. TIEMPO COSMOLGICO. 131
por lo que podemos escribir la ecuacin de Einstein como
2
/
0
)I
= /
0
)I,ii
= 2i1
)I
.
Como la condicin de armonicidad (DAlambertiana nula) es /
0
iI,i
= 0, la
ecuacin de Einstein en el espacio vacio sera
2
/
0
)I
=
_
J
2
Jr
2
+
J
2
J
2
+
J
2
J.
2

J
2
c
2
Jt
2
_
/
0
)I
= 0.
ecuacin de ondas correspondiente a las ondas gravitacionales propagndose
en el vacio a la velocidad de la luz.
16.13. Principio cosmolgico. Tiempo cosmolgi-
co.
La cosmologa es el estudio de los fenmenos a gran escala que se producen
en el Universo, como son la distribucin y movimiento de las galaxias, la
densidad de radiacin y polvo en el espacio intergalctico, etc. Tambin est
relacionada con los tiempos en los que se producen variaciones apreciables
en la evolucin del cosmos, que es del orden de 10
9
aos. Fundamentalmente
se interesa por el principio y n del universo, caso de tenerlos como parece
sugerir la evidencia experimental. Realmente, el origen del universo se estudia
en las distintas cosmogonas, particularmente en el Gnesis, y en algunas
modernas especulaciones. Los agnsticos y no creyentes en general tienen el
inconveniente de verse obligados a estudiar situaciones fsicas ms complejas.
Dado que la galaxias son elctricamente neutras, la nica fuerza que afec-
ta su movimiento es la gravedad, razn por lo que la cosmologa se basa en
la teora de la gravitacin. Hay que sealar que la mecnica newtoniana es
bastante capaz de generar modelos cosmolgicos que explican la mayora de
los sucesos observados. Sin embargo, estos modelos suponen necesariamente
que el espacio es eucldeo, mientras que la teora de Einstein indica que, en
presencia de campos gravitatorios, el espacio pasa a ser curvo y su geometra
es Riemanniana. Esta curvatura es inapreciable si la crea el campo gravitato-
rio de una sola galaxia, por lo que puede obviarse en universos locales. Pero
sus efectos tienen consecuencias mayores cuando la extensin espacial abarca
todo el cosmos. Como veremos, una de las consecuencias es que el volumen
total del espacio es nito y, por tanto, contradice la teora newtoniana.
16.14. Espacios de curvatura constante.
En una poca determinada, el estado de nuestro modelo cosmolgico debe
ser homogneo e istropo. Por lo menos, el espacio tridimensional debe tener
esas propiedades. La supercie de una esfera es una espacio bidimensional
de este tipo, inmersa en un c
S
. Es obvio que una hiperesfera tridimensional
inmersa en un c
1
ha de tener caractersticas similares. De la misma forma
que una esfera ordinaria incluye al plano c
2
como un caso especial cuando
el radio es innito, una hiperesfera de radio innito es una caso sencillo de
espacio homogneo e istropo. Existe una tercera clase de estos espacios el
cual, siendo anlogo al c
S
, se diferencia de la hiperesfera por tener volumen
innito. Todos ellos tienen curvatura escalar constante 1. Sus mtricas estn
denidas positivas y su geometra es eucldea es regiones pequeas. Con este
tipo de mtricas no existen otros espacios de Riemann que sean homogneos
e istropos.
Tomemos unas coordenadas cartesianas rectangulares (r. . .. n) en c
1
.
Una hiperesfera de radio o ser
r
2
+
2
+.
2
+n
2
= o
2
.
Dado que n puede determinarse por r. . . mediante la ecuacin anterior,
puede construirse un sistema coordenado por los puntos de la hiperesfera una
vez que se hayan localizado las r. . . del punto de coordenadas (r. . .. n).
Siempre que r. . . sean pequeas en comparacin con o, se comportarn
aproximadamente como un sistema cartesiano rectangular de c
S
y podremos
denir un sistema cuasi esfrico polar (:. o. c), con lo que n
2
= o
2
:
2
.
Diferenciando, obtenemos
dn
2
=
:
2
n
2
d:
2
=
:
2
o
2
:
2
d:
2
.
La distancia entre dos puntos innitamente prximos sobre la hiperesfera
(r. . .. n) y (r +dr. +d. . +d.. n +dn) viene dada por
d:
2
= dr
2
+d
2
+d.
2
+dn
2
=
= d:
2
+:
2
(do
2
+ sin
2
odc
2
) +
:
2
o
2
:
2
d:
2
=
16.14. ESPACIOS DE CURVATURA CONSTANTE. 133
=
o
2
o
2
:
2
d:
2
+:
2
(do
2
+ sin
2
odc
2
). (16.54)
que es la mtrica de un
1
hiperesfrico. Si 1,o
2
= 0 recobramos a c
S
en
coordenadas esfricas. Si calcularamos la curvatura escalar con esta mtrica
encontraramos que es 6,o
2
, constante. Si sustituimos o
2
por o
2
, la cur-
vatura sigue siendo constante y el espacio homogneo e istropo. este es el
tercer tipo de espacio que antes habamos mencionado.
Por ser los espacios homogneos e istropos podemos tomar el polo : = 0
donde mejor nos convenga, y medir los ngulos en cualquier par de direcciones
perpendiculares a partir de donde nos parezca ms pertinente.Cuando : o,
las mtricas anteriores se aproximan a la esfrica ordinaria, demostrando que
el espacio es eucldeo en regiones pequeas.
Consideremos un crculo de radio constante, en el plano o =

2
, en el
espacio denido por la primera de las mtricas. La distancia entre puntos
vecinos c y c + dc en el crculo viene dada por d: = :dc. siendo 2:: la
longitud de la circunferencia que bordea al crculo. A lo largo de un radio de
este crculo do = dc = 0, y la distancia entre puntos prximos : y d: estar
dada por
d: =
od:
_
o
2
:
2
. (16.55)
Integrando desde 0 a : la longitud del radio ser
j = o arcsin(
j
o
). (16.56)
Por lo tanto, : = o sin
_
j
S
_
, y la longitud de la circunferencia, en trminos
de j, es c = 2:o sin
_
j
S
_
. Como sin
_
j
S
_
<
_
j
S
_
, c < 2:j, que es el resultado
eucldeo.
El resultado se puede interpretar fcilmente en el caso familiar de
2
,
supercie de una esfera vulgar y corriente de radio o. Las cantidades o. :. j
estn representadas en la gura. Al aumentar j, : primero aumenta hasta
alcanzar su valor mximo o, disminuyendo despus hasta j = :o, cuando
: = 0. Nuestro sistema aparenta ser ambguo, dado que dos puntos diferentes
pueden tener las mismas coordenadas. Este inconveniente puede soslayarse
sustituyendo : por j, con lo que la mtrica sera
Figura 16.2: Coordenadas curvilneas esfricas en funcin de o
d:
2
= dj
2
+o
2
sin
2
_
j
o
_
_
do
2
+ sin
2
odc
2
_
. (16.57)
De paso, esta transformacin elimina la singularidad de la anterior mtrica
en : = o. Al igual que la singularidad de Schwarzschild, esta singularidad
es consecuencia del sistema de coordenadas y no tiene nada que ver con el
espacio propiamente dicho.
Poniendo j,o = , por razones econmicas, la mtrica queda como
d:
2
= o
2
_
d
2
+ sin
2
(do
2
+ sin
2
odc
2
)
_
. (16.58)
En el segundo caso de mtrica, : puede tomar cualquier valor positivo sin
ningn tipo de ambigedad. Si escribimos : = o sinh ,
d:
2
= o
2
_
d
2
+ sinh
2
(do
2
+ sin
2
odc
2
)
_
. (16.59)
Otra forma ms para estas mtricas procede de tomar : = oo, quedando
los dos tipos de mtrica como
d:
2
= o
2
_
do
2
1 /o
2
+o
2
(do
2
+ sin
2
odc
2
)
_
. (16.60)
con / = 1. Si / = 0, tendramos la mtrica eucldea.
16.14. ESPACIOS DE CURVATURA CONSTANTE. 135
Pero no hemos includo la variable temporal. La mtrica de Robertson-
Walker se obtiene de la anterior mediante
d:
2
= q
i)
d
i
d
)
+q
11
(d
1
)
2
.
Como la distancia elemental temporal es, en el tiempo propio, c
2
dt
2
=
q
11
d
1
d
1
, donde q
11
slo pude depender del tiempo para observadores galc-
ticos, el nuevo tiempo csmico es ct =
_
_
q
11
d
1
, y la mtrica se reduce
a
d:
2
= q
i)
d
i
d
)
c
2
dt
2
.
La mtrica de Robertson-Walker, en tiempos csmicos, es
d:
2
= o
2
_
do
2
1 /o
2
+o
2
(do
2
+ sin
2
odc
2
)
_
c
2
dt
2
. (16.61)
o es una constante a un tiempo dado, pero puede variar con t. Se le conoce
como factor de escala csmica.
Parte III
Bibliografa
137
139
Anderson, James L., Principles of Relativity Physics, Academic Press
(N.Y. 1967)
Gonzlez de Posadas, Francisco, Problemas de Anlisis Tensorial, Copi-
graf, S.L:, (Madrid,1972)
Lawden, D.F., An Introduction to Tensor Calculus, Relativity and Cos-
mology, John Wiley and Sons (N.Y., 1986)
Lichnerowicz, A., Elementos de Clculo Tensorial, Aguilar (Madrid, 1972)
Wrede, Robert C., Introduction to Vector and Tensor Analysis, Dover
(N.Y., 1972)

Geometria Diferencial

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Geometria Diferencial

Cargado por

Copyright:

Formatos disponibles

Mtodos para la Fsica.

II. Geometra Diferencial

es un subespacio puntual afn.

es un subespacio puntual afn de s mismo.

pueden escribirse de varias formas:

(1), tales que:

(1) es cartesiano si, y

C. Los campos vectoriales naturales,

Figura 4.1: Base natural en cilndricas

en el que el espacio vectorial aso-

1, llamada distancia. Para un par de puntos

cumple las siguientes propiedades:

Distancia nita en un sistema de referencia C.

En primer lugar, conviene recordar que estamos utilizando siempre la base

existe el operador rotacional, que se dene como

se dan los siguientes campos:

0. Por lo tanto, q:cdl tiene el sentido de :.

del campo newtoniano.

dnd, representando los corchetes al

dicd:o: (: 2):, siendo : el nmero de aristas que concurren

, pues q:cd l(:) =

) son las funciones potenciales l y \ de los campos

, de tal forma que

, pero no se puede seguir el

= o es desarrollable. En otras palabras, se puede

También podría gustarte