Vol.I,No.! REVISTA MEXICANA DE PISICA l952 CAMPO GRAVITACIONAL DE BIRKHOFF DE UN PUNTO MASA BN MOVIMIENTO ARBI TRARIO EN LA TEORIA DE BIRKHOFF. Carlos Graef Ferndndez. Instituto de Fisica de la Universidad Nacional de Néxico (Recibido: Diciembre 15, 1951) RESUMEN. En este articulo se obtiene el campo gravitacional de Birkhoff generado por un punto masa en movimiento arbitrario. En el espacio~ tiempo de Hinkowski este campo es um tensor doblemente covariante Proporcional a la masa que lo genera. Fs también Proporcional a una combanacién Lineal del tensor métrico fundamental y del tensor cua- drdtico en las componentes covariantes del cuadrivector velocidad retardada. Es ademés inversamente proporcional a la distancia del acontecimsento en que se calcula al soporte del cuadrivector veloci~ dad retardade del punto masa con reshecto a ese aconteciniento. §1 campo satisface 1a ecuacién fundamental de Birkhoff ya que su DiAlembertiano es nulo, y se reduce al campo central cuando la velo- cudad es mula. 1, Bl Marco de Referencia de la Teorfa, Birkhoff' utiliza en su teorta de le gravitacién el espacio— tismpo Llano de Minkowski que es también el marco de referencia de 1a teoria de la relatividad especial de Einstein, #1 cusdrado del uelemento de arco de ese espacio-tiempo es: ds? = dt? - dx? - dy? - az? . ay Aqui t significa el tiempo medido en segundos; las literales x,y, son las coordenadas cartesianas del lugar en que ocurrié el acontecimiento, medidas en segundos-luz. Con estas unidades la velo cided de la luz es igual @ uno. El marco de referencia t,s,y,2 es un marco de referencia inercial. En muchas ocasiones es conveniente utilizar la notacién tenso— rial pera expresar el cuadrado del elemento de arco, En esta nota— cién se escribe: ee ee (2) Bl tensor métrico fundamental” se designa con 415 , sus compo nentes son: 0 es ee (3) O13 = 0 cuando i#j . #1 cuadrado del elemento de arco se expresa con esta notacién como sigue: de*= O45 dx‘ ax? (4) En oste’ trabajo los Indices latinos pueden adquirir los valo- res 1,2,3,4. Siguiendo a Einstein utilizamos la convencidén, de que una expresién con un indice latino repetido significa la suma de los cuatro valores que adquiere esa expresién al recorrer el indice la lista 1,2,3,4. 2, Las Transformaciones de la Teoria. Las transformaciones que dejan invariante la forma del cuadre~ do del elemento de arco (4) forman el grupo general de Lorentz. &: 12tas transforaaciones son del tipo: ceed, (5) Aqui les a} y les b* son constantes, Las b' son entera- mente arbitrarias, pero las a, satisfacen las ecuaciones de condi- cidn: a bas af af = Om. (6) En una transformacién (5) en que las a; satisfacen las ecua~ ciones de condicin (6), el cuadrado del elemento de arco (4) se transforma en ds? = 13 det dx, EL grupo genéral de Loronts tiene un subgrupo que se utilize de preferencis en la relatividad especial. Las transformaciones de este subgrupo son de 1a forma: _ tox? Aqui |v] <1, ba transformacidn (7) tiene un significedo fi sico muy simple! el sistema x*,%°,x* ‘ se mueve con respecto al sis— tema x7, x°,x con 1a velocidad constante v; los dos sistemes coin ciden en el instente x' = x le largo del eje de las x*; el eje x° permanece paralelo al eje x°; el eje X* permanece paralelo al eje x*. Designaremos con ; el eje de las x* se deslizs a L(v) a la transformacién definida por (7), que como se ve esté com- pletamente caracterizada por la velocidad v. Otro subgrupo del grupo general de Lorentz es el de las rote~ ciones rigides. fn las transformaciones de este subgrupo x! = x! y el sistema cartesiano %7,x°,x* se obtiene del sistema x*,x°,x*por medio de una rotacién rigide. Aqui, los dos sistemas cartesia~ nos tienen distinta orientscidén, y estén en reposo uno con respecto el otro. Llamarenos R a una rotacidn rigida. Consideraremos ahora una subfamilia del grupo general de Lorentz. Los miembros de la subfanilia se definen como sigue: R' L(y) R. (8) Aqui R7' es la rectproca de la rotacién R, y L(v) es le transformacién (7). En una transformacién del tipo (8) ol sistema x2. 53 *,¥°,3* se estd moviendo en el sistema x*,x*,x* con una velooi- dad constante; esta velocidad se caracterisa por medio del vector ¥ = (v",v’,v"). La transformacién (8) queda completamente definida por los tres parémetros v*,v’,v". Los origenes de los sistemas a o. Pare escribir explicitamente las eousciones de la transforme— 2 53 44 x?,x°x* y ® »¥* coinciden en el instante x! = x cién (8) es til hacer las siguientes convenciones: 1) Un {ndice griego adquiere los valores 2,3,4. 2) Bl simbolo v* significa v™ para a= 2; el stmbolo v® sig nifica wv” para a= 3; el simbolo v* significa v" para a = 4. 3) Uke expresién on la que aparece un indice griego repetido signi- fice 1a suma de los tres valores que adquiere esa expresién al recorrer el indice la lista 2,3,4. Con estas convenciones se obtienen para las ecuaciones® de la transformacién (8). (9) Aqui Kronecker.Si se escribe: lew’ se obtiene para la matriz de la trensformecién (9): fal = x . a tre Jog a a ) wqvt [oSb gays 2! ayy -qv7 ~qv" 3. Campo Gravitacional de un Punto Masa en Movimiento Uni forme. En la nueva formulacién de la teoria de la gravitacién de Birkhoff, debida a A.8arajas y sl autor, se postule el campo gravita cional de un punto masa en reposo en el origen de coordenadas de un sistema inercial. Sea r la distancia del punto cio ftsico,al punto de m x.y,2 del espa- M> colocado en el origen. patty a ch = A (eh es xe, (12) El tensor gravitacional de Birkhoff* que describe el campo de ese punto masa e: (13)Usendo la delta de Kronecker, (13) se puede escribir como: 4 hag = —po8ag (14) Bl tensor del campo gravitacional debido a un punto masa que se mueve con un vector velocidad constante ¥~- (v*,v7,¥") y que pasa por el origen en el instante x'=0, se calcula aplicdndole a (14) la transformacién inversa de (9) cuya matriz se obtiene de (11) cambidndoles de signo @ las componentes de la velocidad. El tensor del campo gravitacional de un punto masa tal, tiene por expresién: oo x 7 . fragt WTS -ait. -2u -2u (18) tev lev lev lev ~ Buty, Beye vey vive tev? t-v? \-v? (ov? -2vr wevT avy ve tev? lav? \-v? t-v? _ 2 yxve ee lee Conviene introducir las cuatro componentes v',v", del cuadrivector velocidad de Minkowski, que se definen como sigue: » wet, ate = (16) vw a : [-w? lev? lav? Nota: £1 sfmbolo v* significa algunas veces el cuadrado de la velocidad y otras la segunda componente del cuadrivector velocidad de Minkowski; es fAcil distinguir entre los dos significados. Las componentes covariantes del cuadrivector velocidad de Minkowski se obtienen de las componentes contravariantes siguiendo el procedimiento de bajar un indice: 16eerie an La ecuacién (17) se descompone en las cuatro siguientes: 5 heat o (18) E1 campo gravitacional de un punto masa en goviniento uniforne se puede expresar de un modo muy sencillo on términos de las compo- nentes covariantes del cuadrivector velocidad de Minkowsici: hag = # (2vavy - O49) « (19) En le féroula (19) Fr significa 1a distancia entre el punto masa M y el punto del espacio ffsico en 61 que que se calculan las componentes del tensor del campo; esta distancia r esta medida en el marco de referencia inercial en el que el punto masa M estd en reposo. Conviene expresar todas las cantidades que intervienen en (19) en el marco de referencia inercial on el que estén medidas las hij del primer miembro; esto, os en el marco inercial en que el pup to maga M se mueve con ol vector velocidad ¥ = (v%,v¥,v#), Sean ahors (x,y,z) las coordenadas del punto del espacio en el que se calculan las componentes del campo hsj en el instante t; el tiem po t y las coordenadas x,y,z pertenecen el marco de referencia inercial en el que M se mueve con el vector velocidad ¥. Aplican do ls transformacién inverse de 1a (9) a las coordenadas espacieles y al tiempo, se obtiene que la r de le férmula (19): Vvrxvyvimay)® + (ev) yea) . on y I Combinando (19) con (20) se obtiene: 17MVi-v? [2 vyvy~ O43) by) | ee (2i) / (toxv¥-yv¥-nv2)? + (1-v?) (x?4y7427-t?) La férmula (21) expresa el tensor potencial gravitacional en el instante t, en el punto x,y,# debido a un punto masa M que pasa por el origen en el instante t = 0, y que se mueve con el vec tor velocidad constante # = v%,v7,v". 4. Potenciales Gravitacionsles Retardados, Bl tensor potencial gravitacional (21) se pede escribir en una forme mds adecuada para los desarrollos ulteriores, si se utili zan algunas relaciones de la teorfa de los. potenciales retardados® que se deducen a continuacién. Supéngase una fuente puntual F que emite un efecto fisico que se transmite con la velocidad de la luz; en el sistema de unidades que usamos, esta velocidad es igual a uno. Sean ¢* = @, €° = y €* = las coordenadas de la fuente F. Sila fuente F est en movimiento en el marco de referencia iner~ cial que estamos usando, entonces sus coordenadas son funciones del tiempo: ese (ths 6 = E(t), aaa l(t), FFs (t). (22) Considérese shora el punto P(x,y,s) del espacio fisico del oat las coordenadas de la posicién de la fuente F en el instante ¢ marco de referencia inercial. Sean g*=¢, €°= 9, € 1 on el que salié el efecto fisico que llegs a P en el instante t. a. & = £ se le llama tiempo retardado de la fuente F con respec— to al punto P enel instante t; a les coordenadas ¢* = ¢, ge =, €* =, se les llama coordenadas retardadas de F con Tespecto al punto P en el instante t. Consideremos shora una fuente F que se mueve en el marco de referencia inercial con el vector velocidad constante ¥ = (v%,v¥,¥ Supongamos que F pasa por el origen del sistema de coordenadas on 18eL instante t = Las ecuaciones dei movimiento de F son entor ces: geez, zvrt, cave. (23) Para la posicién retardada de F con respecto a P en el instante t se tiene: eos, (24) La distancia entre la posicién reterdada de F y P se lle- ma distancia retardada, y se designa con r. ce (xg)? + (yon)? + (2g)? . (25) Como el efecto emitido por F se propaga con la velocidad uno, el tiempo t~ 4 que ese efecto tarda en llegar de F a P es igual a le distancia reterdada r. tober. (26) De (24), (25) y (26) se obtione: tn ka A (xvas)? + (y-vat)? + (seve)? (27) Despejando de la ecuacién (27), teniendo en cuenta que 4 < t, se obtiene: texvteywr-av8)— / (toxvtyv%—zv8) ®+(I—v®) (x? +y74n7-t?) ae + (28) tov? : De (26) y (28) se obtiene para la distancia retardada r: 7 + ¥ (toxvt-yw7—av8) 24 (lv x2y24n?-t?) | (29)Considérese el vector # que tiene por origen a la fuente F en su posicién retardads, y por extremo al punto P. B+ (x-v™b, yov¥h, aovet) (30) Férmese el producto escalar del vector = y del vector cons- tante v; se obtiene: Be = xvt + yv¥ save -v"E. (31) Substituyendo (28) en (31) resulta + (32) Celculemos ahora la expresién: n> BF = 7 (texvt-ywr-nve)? + (1-0?) (x?+y?4a7-t?) —. (33) La férmula (33) se dedujo para una fuente F que emite un efec to fisico que se propaga con la velocidad de la luz; F se musve con un vector velocidad constante ¥ = (v*,v¥,v"), y pasa por el origen del sistema de coordenadas del marco de referencia inercial en el instante t = 0. Como en la teofia de la gravitacién de Birkhoff se supone que los efectos gravitacionales se propagan con la velocidad de la luz, el punto masa de la férmula (2!) est& en las condiciones de la fuente F, Aplicando (33) a la férmula (2!),se obtiene: uJ Tav (2yv, = St5) i ee (34) n-i-# El tensor gravitacional h,, de le férmula (34) esta calcule- do en el instante t en el punto (x,y,z); se debe a un punto masa M = que se mueve con el vector velocidad constante # = vx,vy,v5; la 20distancia r es la distancia retardada del punto masa, al purto P; el vector # es el que tiene por origen la posicién retardada del punto masa, y por extremo el punto P; v,,v,,¥4,v¥, son les compo~ nentes covariantes del cuadrivector de Minkowski; se obtienen de las componentes del vector ¥ como sigue: vr vy De este oxamen se ve que la férmula (34) es independiente de que el punto masa pase o no por el origen. Como (34) se dedujo para un punto masa en movimiento uniforae, v es constante y v¥,v%,v#,v.,v,,¥,,¥, son constantes. Si se desig na con ¥ al vector velocidad retardado del punto masa, v sea el vector velocidad de este punto para el tiempo retardado +, se obtie ne: ee “ “. yt vt, y= y¥, yt v8; La formule (34) pusde escribirse entonces como: MV Inv? [aygys - O43] ee . (35) r-Er-+y” hyy = La férmula (35) es susceptible de generalizacién®, No inter- vienen en ella sino el vector velocidad ¥ retardado del punto ma- sa, y el vector £ que une la posicién retardada del punto masa, con el punto P en el que se calcula hy,. Con las seis componen- tes de esos dos vectores y la masa M se obtionen las 16 componen- tes d> Baye Todas las cantidades que se refieren al punto nasa 21aparecen retardadas. Campo Gravitacional de un Punto Masa en Movimiento Arbitrario Conviene introducir el concepto de “campo gravitacional ins- tantdneo” generado por el punto masa M al pasar por el punto F (é,7 5) dei espacio f{sico en el instante 1. Consideremos un punto P (x,y,z) del espacio fisico. £1 efecto gravitacional ges tado por M al pasar por F llega P en el instante t: tare S (xg)? + (yon)? © (enn)? (36) Si 4 se esté moviendo con el vector velocidad constante (3,E7, al pasar por F, entonces el campo gravitacional hy, caleulado en P (x,y,z) en el instante t (36), estd dado por le férmnla (35). Definimos como “campo gravitacional instantdneo” ge nerado por el punto masa M al pasar por F (¢,7,£) en el instep te 2, al que se calcula segin (35). Si se generaliza la férmula (35) al caso del campo de un pun to masa en movimiento arbitrario, se esté asentando el siguiente postulado: Postulado. 1 campo gravitacional instantdéneo generado por un punto masa es independiente de su aceleracién. El campo gravitacional para todos los tiempos, de un punto masa en movimiento arbitrario, es el conjunto de los campos gravita cionales instantdéneos generados por ese punto masa en todas sus po— siciones. £1 campo 2sté dado por la férmula (35) Esta expresién del campo es compatible con la ecuacidn funda- mental de la teorfa de Birkhoff” para el campo gravitacional en el espacio vacio, que es Dhyy=o. (37) Aqui "D" es el operador de D’Alembert. En la teorfa de los potenciales retardadas se establece el he 22cho notable que la funcién: ae) (38) E-E:2 satisface la ecuacién o £(s) =o 0 (39) ~2-% Aqui % es el tiempo retardado del punto masa con respecto a P (x,y,s) y al instante t. La funcién f os una funcidn que tie ne primera y segunda derivada continuas. Se ve claramente que las componentes de hy, en (35) son del tipo (39). Le férmula (35) admite una simplificacidn considerable. Re cordando que r= t-t segdn (26), y recordando que les componen tes del vector £ son (zg, y-7, #-t), se obtiene: uv tay? (ay, vy - 445] : Hol bys = . (49) $9 (tat) = (xg) 2% (yon) wy (2-0) 2 Introduciendo el lenguaje de cuadrivectores, se pueds escribir: (41) La expresién (40) se convierte en: 23M fay, vy - A492 hag* an (xmE8) yO ua £1 denominador de (42) tiene una interpretacién geométrics sencilla en el espacio-tiempo, Las cuatro coordenadas (x',x”,x*,x*) se refieren al acontecimiento A on el que se calcula el tensor hy + Las cuatro coordenadas (¢',¢*,¢°,€*) son del acontecimien- to retardado en la linea de universo del punto masa, con respecto a A. Las diferencias son las componentes del cuadrivector que une 6] acontedimiento retar dado del punto maga con el acontecimiento A, Como el cuadrivector velocidad es unitario en el espacio tiempo, 1s expresién den (x™ - g8) yo (43) es la proyeceidn del cuadrivector (x" - £*) sobre el onadrivector velocidad. Consideremos un aconteciniento A(x',x”,x*,x*) . Ese aconte— cimiento est& compuesto del instante x' y del punto (x, x*,x*) del espacio fisico. Hay para ese punto (x*,x*,x*) y para ese ins- tente x' un tiempo retardado ¢', y una posicién retardada (g7,€°,6*) del punto masa. Estas cuatro coordenadas (¢',¢7,¢*,¢*) definen el aconteciniento retardado g en 1a linea de universo del punto mara, con respecto al aconteciziento A. Las componentes del cuadrivector gA son: gh = (x! - & (44) las componentes del cuadrivector velocidad retardada de Minkowski del punto masa en g , son: 24Beep ep i) (45) £1 denominador de (42) es la proyeccién del cuadrivector aA sobre el cuadrivector velocidad retardada de Minkowski. Tracemos por A(x',x”,x°,x*) un biperplano perpendicular al cuadrivector velocidad retardada de Minkowski ( sw'iy°,u*) que es unitario. La ecuacién de este hiperplano es: den (K™- x") vB = 0. (4) Aqui X" son les coordenadas corrientes del hiperplano. Con- sideremos ahora la recta soporte del cuadrivector velocidad retarde— de de Minkowski. Su ecuacién paranétriva es: xi eter yt, (47) Aqui A es un pardmetro, y x4 son las coordenadas corrientes en la recta. La recta (47) corta al hiperplano (46) en un punto para el que el pardmetro A vale ban say. (4e) Las coordenadas del punto de interseccién se obtienen substitu~ yendo A de (48) en (47). Calctlese shora la distancia del punto de interseccién al aconte cimiento A(x',x7,x°,x*). £1 cvadrado de esta distancia es: bas (Kaa) (KP xd) = beg (Ett) (Edd) + BA Bay (ELEN TS A?+ (49) ba linea que une los acontecimientos a y A es la linea de universo de un rayo de luz. Por lo tanto tenemos: aay (text) (g4-x3) = 0. (50) En vista de (50) y de (48) se obtiene de (49): 25day (Ktoxt) (X8ox3) = oa? (61) 7 te del cuadrivector de la velocidad retardada de Minkowski, obtene- mos: ‘amos p & la distancia del acontecimiento A al sopor p= - (Amn (x™ - es) ya]? + (52) E1 signo menos del segundo miembro de (52) indica que p es una distancia espacialoide. Obtenemos como resultad que el deno~ inador del tensor gravitacional (42) un valor absoluto igual a le distancia del acontecimiento en el que se calcula ese tensor al soporte del cuadrivector velocidad retardada de Minkowski del punto masa, De (42) y (52) se obtien: 4 [ayy xy - 431 bay . (53) {pl La férmula (53) expresa el tensor gravitacional de Bikrhoff debido a un punto masa en movimiento arbitrario en forma extraordina riamente compacta. . Conviene interpretur la expresién (53) en el espacio-tiempo. Supéngase un punto masa M on movimiento arbitrario. Sea L le li nea de universo de ese punto masa en el espacio~tiempo, Sea A(x',x?,x°,x*) un acontecimiento para el que se quiers calcular el campo gravitacional h,, dedido a WM. B1 campo se obtiene de la si guiente manera: i) Se construye con A como vértice el cono de luz del pasado. ii) Se encuentra la interseccién F de ese cono con la linea de uni- verso L del punto masa, iii) En FP se construye el cuadrivector unitario tangente a L; este cuadrivector tiene por componentes covariantes: ¥,,s.Zqi¥ys iv) Se construye la recta apoyada en A y perpendicular al soporte del cuadrivector y¥,. 26v) La distancia de A al soporte del cusdrivector y, es p. El campo en’ A estd dado por (53). Not e que si entonces En ese caso bis = Hayy. Esto significa que en el marco de referencia inercial en el que el punto-pass en movimiento arbitrario est4 instantdneamonte cn reposo, 61 campo gravitacional se reduce al campo central de Birkhoff*, REFERENCIAS. 1, G.D,Birkhoff. Proc.Nat.Acad.Sci. 29, 232, (1943). 2, G.D.Birkhoff, Bol.Soc.Mat.Mexicana, Nums.4,5, p.10, (1944). 3. LePage y N.I.Adams, Electrodynamics. D.Van Nostrand & Co. New York (1940), p. 119. 4, G.D.Birkhoff, Bol.Soc.Mat.Mexioana. 1, Nums.4,5, p.17, (1944). 5. LePage y N.I.Adams. loc.cit. p.144. @. C.Graef Fernandes. Bol.Soc.Mat.Mexicana, 1, Nums.4,5, p.29, (1944). 7, G.D.Birkhoff. Bol.Soc.Mat.Mexicana. 1, Nums.4,5, p.13, (1944). 27