Académique Documents
Professionnel Documents
Culture Documents
SOBRE LAS
TEORAS
por L. A. BANTAL
Rij = 0,
Rii-jRgi}=Tti,
197
^odo tensor de dos ndices Sj cuym componentes sean
Canciones del tensor simtrico fundamental gj y de sus derivadas parciales de primero y segundo orden, conteniendo a estas
ltimas linehnente, es de h forma Sf/ = iy + o/?gfy-|-Xgry
donde a y \ son constantes.
En el'caso de las ecuaciones de la gravitacin, la constante
a queda determinada por la ecuacin de conservacin S*j.i=0.
En esta determinacin de las ecuaciones del campo, que
prcticamente elimina toda arbitrariedad de eleccin entre varias
posibilidades, radica el principal atractivo de la teora de la
xelatividad general, que posee a este respecto la mxinu simplicidad conceptual.
No ocurre io mismo con l&s posteriores teoras del campo
unificado. En ellas las ecuaciones del campo se eligen entrd
varas posibilidades y se trata luego de justificar por razone^
diversas, de ndole matemtica o fsica, el porqu se han elegido unas y no otras. Este es el principal defecto de que adolescen la mayora de las teoras del cainpo unificado y tal vez
1 ello radique la razn de su poco xito.
En este trabajo vamos a considerar la ltima teora de
E i n s t e i n con sus modificaciones sucesivas desde 1950 a 1954.
Queremos ver cotmo' habra que modificar sus ecuaciones del
campo, o qu requisitos complementarios deberan cumplir, para
que tuviesen el carcter de determinacin obligada a partir de
ciertos criterios naturales de simplicidad, tal como hemos visto
ocurre en la relatividad general. Con estos agregados se obtienen
sistemas incompatibles, lo que prueba que l ideal perseguido
no es posible. Sin embargo, con estos sistemas, siempre tendremos una gua para elegir los sistemas parciales dompatibles que
parezcan ms apropiados y tener en cuenta lo que falta para
que la teora fuera completamente satisfactoria desde este punto
de vista.
Recordamos brevemente dicha teora, Su postulado fundaDental es que el/espacio tempo sigue siendo de cuatro dimensiones pero su estructura est ahora determinada por im tensor
i} no necesariamente simtrico y ima conexin afn I*'^ tampjoo necesariamente simtrica. En vez del tensor g^, d determinante g, es cmodo introducir la densidad tensorial co-
198
rrespondienfe, que en general utilizaimos en su forma contravariante
(i:3)
G-^j =
giiJ.
Gy,^=0,
Ej=0,
Sr-=0
(1.5)
''^ = 0,
Las ecuaciones (1. 4) se eligen por ciertas razones de simetra (simetra hermitiana). Las ecuaciones (1.5) resultan de un
principio variacional, con lo cual est asegurada su compatibilidad.
Distintamente de lo que ocurre en la teora, de la relatividad
general, los sistemas (1.4) y (1,5), no quedan obligatoriamente
determinados a partir de ciertas hiptesis de simplicidad. Con
iguales fundamentos se pueden sustituir por otros sistemas anlogois pero no equivalentes. Nuestro objeto, como ya hemos dicho, es mostrar esta indeterminacin y ver qu ecuaciones deberan agregarse a estos sistemas para que desapareciera.
Como bibliografa fundamental para la teora del campo unificado a que nos referimos estn los libro de E i n s t e i n [ l ] ,
H l a v a t y [ 2 ] , L i c h n e r o w i c z [ 3 ] y T o n n e l a t [ 4 ] . En los de
H l a v a t y y T o n n e l a t , ms especficamente dedicados a la
teora del campo unificajlo, se encuentra abundante bibliografa.
2. Notaciones
Notaciones y frmulas
f
utilizudas. Vamos a recopilar
las notaciones
ones y algunas frmula que utilizaremos.
Ii
199
a) D'a la conexio fundamental T"*ih se deduce la conexin simtrica
(2.1)
A'^=l-(r'{ft+rw)
y el tensor de torsin
(2.2)
S'"/.=|-(r'i;.-r')
Si^Sn^Un-
b) El tensor de 'Kcci
(2.4)
/?|Al = -|-(AVi-A'i..h)+S'ih;m(A)-
^A = % + S,;fc(A)-S,S'ifc + |-(A.i,.fc-AVi)-
200
A-,=^log/G:
siendo
(2.12),
l.(^Gih-Ghi).
Con estas notaciones, de (2.10) se deduce la relacin importante siguiente, vlida para la parte simtrica de cualquier
conexin respecto de la cual se cumpla G''>|, = 0,
(2.13)
A'/.m,,-A',.;, = 0.
201
202
Rih = 0,
A'",Wt-A'"/,m.i = 0, Si=0,
S'irS'-^q = 0.
(4.1)
con la condicin de que F'^i/, y G^ puedan variar independientemente, siendo su variacin nula en el contorno del dominio cuadrdimensional considerado. Ver L i c h n e r o w i c z [ 3 ]
o Tonnelat[4].
La eleccin en (4.1) del tensor de Ricci no est a priori
justificada. Junto con l tenemos ahora los ocho tensores (8.8).
Unas ecuaciones del campo, ms naturales, que eliminaran toda
^leccin arbitraria, seran (caso de existir) unas ecuaciones que
satisfacieran al principio variacional
(4.2)
203
K<is, = 0, Ti^ = 0
(4.4)
+o(^9Sv-ff''S9,)
+ ^ (-|-(G9',i + G'?Si)>% +
+l.(G",,
GsiSi)hi,-G'>Sr)
+ c p ( l - ( - G % + G'?Si)b^ +
+
j(G%-GisS)h<j,-G"iS,)
G9V=0,
S7,>G"-SvG'2 = 0.
Demostracin:
a) Por clculo directo se obtiene fcilmente
(4. 6)
204
F9V = 0
y como
(4.8)
[Fht] = F".i
resulta
(4.9)
F'\i = 0.
b) Las segundas ecuacionies (4. 5), escribiendo que son nulas su parte simtrica y antisimtrica respecto de los ndices
q,s SB desdoblan en
(4.10)
(4.11)
Svf' + SvF9' = 0
SiirHi>-S'irHii
= 0.
Sffw = 0
S = 0.
FirSii, = 0.
Gts^^^-Gh T'ih = 0.
205
teniendo en cuenta que como consecuencia de la primera condicin (4.5), se cumple la (2.13), debera ser
a)
(4.16)
09^ = 0
b) SvG-SvG'<? = 0.
c)
S v '/,<, = O
d) % = 0.
Consecuencias importantes de este sistema son las ecuaciones (4.9), (4.13) y (4.14), a las cuales se puede agregar la
ecuacin
(4.17)
G'<7SvSV = 0
(5-1)
1
1
+ ^ ( T + 2P)&^F9.,+ A . ( _ 2 a - h 2 p - Y ) K F ^ = 0
206
derivadas covfiriantes poralizadas indicadas (recordar (2.9)) las
(5.2)
**L.,= A V + ( 1 + v ) SV + i - ( 2 + ^ = ^ )
b^S,-
1 /b+e+y V
- - 3 ( - ^ ^ ) '^rSi.
las cuales cumplen las condiciones 'de ser nulos los vectores contrados de sus partes antisimtricas, o sea
*S, = 0,
**S.= 0
B I B L I O G R A F I A .
[1]
[2]
[3]
[4]
[6]