VoltV. 4 REVISTA MEXICANA DE FISICA 1955 ALGUNOS INTENTOS DE CUANTIZACION DEL CAMPO GRAVITACIONAL" + Frederick J. Belinfonte. Departamento de Fisicade la Universidad de Purdue, Lofoyette, Indiana, £. U. A. El descubrimiento de muchos nuevos tips de portfculas extrafiasen ajios recientes, ha llamado la atencién al hecho de que no comprendemos en realidod e|- porqué de la existencia de esas particulas y de las propiedades que en ellas obser- vamos. Porqué es un protén 1836 veces més pesado que un electrén? Porqué no - existen mesones | neutros de masa 200?. Porquées fic/e” igual a 137?.- Una teorfa fundamental de materia deberia. explicar todas estas cosas. Heisenberg’ piensa que tol teoria fundamental describiré todas las part fculas y todas sus interacciones por el comportamiento de un solo campo. Unateoria de campo de ese tipo seria necesariamente no lineal; de otro modo, no prodria represen- tor las interacciones. Descr ir también la gravedad. Para acostumbrarnos a estos dos aspectos de la teorfa funcamental de la materia, ha cemos bien si nos preparomos para el futuro estudindo chora la teoria no-lineal de la gravitacién, que ya poseemos. * Potrocinade por National Science Foundation. + Trabai sicay itado que s@ presenté en la Asamblea Conjunte de le Sociedad Mexicano de ja American Physical Society, en México, Agosto 31, 1955. 181Que es lo que mantiene juntos o las particulas elementales? Pais” sugirio alguna ocasién un ““ pegamento“*hecho de “‘particulas F** hipotéticas. Algunos otros” ” han sugerido que es quizes la curvatura del espacio-tiempo que, bajo inte raccién con el campo de la materia, no puede senredarse, Esto hace interesante el considerar la gravedad en el domi cuéntico, El problema fundamental se com plica por el hecho de que los métodos de perturbacién problablemente no podrén ser utilizados. Una solucién completa y rigurosa del problema de la interaccién de todos los campos cuanticos conocidos, inclusive el de !a gravedad, es inalcanzable por el mp mento. Todo lo que los cientificos pueden hacer es analizar algunos puntos enla frontera de la regién de conocimientos presentes. Tal andlisis indica metasdefinidas insuficientes en si ismas, pero, de cualquier modo, tenemos esperanzade que los p quefios resultados que podemos obtener nos ayudarén al menos, hacia el ideal que tenemos en mente. El problema que se me ha pedido discuta con ustedes hoy, ¢ s entonces, qué tanto hemes analizado y quizas, que aspectas prodriamos anal ix ar en el futuro inmediato, Por chorrar tiempo ser squemético. Los intentos de cuontizar los campos gavitacionales quisiera dividirlos en tres grupos, como sigu 1) Teorias ineales de gravitacién en el espacio plano que buscan ser com, pletas en si mismas. 2) Teorias generalmente en espacios planos, que intentan ser aproximacions= a la teoria de Einstein. 3) La teoria no lineal, pero covariante en el sentido generalizado de Einstein. Nuestra meta fundamental puede bien ser esta; tercera teoria, pero es tam bi la més dificil de todas ellas. Para un principio sencillo, uno prefiere Ia teoria del tf po (1). Estees el problema que nos ha ocupade en Purdue hasta ef afio pasado, Algo de esto se ha publicedo en un reperte sobre Ia tesis doctoral de Swihart®. Esta teorfa de gravitacién obviamente no puede ser covariante en general, de modo que postulamos la covariancia en el sentido de Lorentz solomente. Princi- ploremos por postular e! Lagrangiano més general covariante en el sentido de Lorentz para el tensor de potencial gravitacional , que es compatible con una teoria lineal y con los demés requisites usuales de teorias de campo simple. Por la razén 182lo masa pesante de la materia ha de ser igual a la masa inercial, el campo gravitato tio debe tener interaccién con el tensor de densidad de energia de otros campos; po siblemente también con su traza calculada en ausencia de! campo gravitacional. Esto nos da dos constontes de interaccién para la teoria; y el Lagrangiano del cam po gravitacional libre contiene cuatro coeficientes desconocidos. Estas seis cons tantes, o mejor dicho, sus cinco razones, son mas tarde ajustadas para que concuer den con los datos expe rimentales. Nuestra teoria es , por lo tanto, una generalizocién de la teoria de Moshinsky” de 1950, cuyo Lagrangiano tenia valores especificos para nuestras constantes. Para el campo gravitacional creado por distribucién dada de materia, el La grongiano de Moshinsky nos Ilevé a las ecuaciones de Birkhoff®, Para explicot la fuerza por medio de la cual el campo gravitacional reacciona sobre la materia, el La ‘angiano de Moshinsky nos conduce hacia un resultado diferente del postulado por Birkhoff, El! postulado de Birkhoff, de hecho, probablemente viola el principio de accién y reaccién. La interaccién del campo gravitacional. con la materia introducido por Moshinsky nos Ilevaria hacia un avance del perihelio de los planetas, qué serfa seis veces demasiado pequefio. Usamos los principios siguientes para determinar los valores de las cinco ra zones de las seis constantes en nuestro Lagrangiano. Requisites obvios son: 1) En primera aproximacién, la teoria debe predecir las érbitas para los pla netas de Kepl 2) En segunda aproximacién, los perihelios de tales érbitos deben avanzor en la forma observada®, 3) Ladeflexién de los rayos de luz que pasan a cierta distancia del sol; de! tomar el valor experimental,**"**, el cual es igual o mayor que el valor tedrico de Einstein. 4 5) Solamente por comodidad hemos postulado arbitrariamente que el tens or gravitacional para un potencial estético en un punto P, cerca de un sol estacionario en O , serd independiente de le direccién de OP. Esto simplifica considerablemente la teorfa_y nos permite poner una den ves tras constantes igual a cero, si, al mismo tiempo, introducimos una quin 183ta condicién poniendo otra de las constantes igual a cero. Y en esta forma, en el Lograngiano del campo grovitacional libre sélo nos quedan los tér mi nos en los cuales los dos operadores gradientes se contraen entre si. No podemos elegir con libertad el valor que ha de predecir nuestra teorfa pa, ra el desplazamiento hacia e! rojo debido al campo gravitacional. Nuestro valor tes tico para este desplazamiento hacia ef rojo est determinado de manera univoca por la condicién (1), de obtener aproximadamente las érbitas de Kepler para los planetos, Encontramos asi para los desplazamientos hacia el rojo el mismo valor que Einstein Predijo en su teoria. Sj la critica experimental de este valor por Freundlich fuese op recta, “*?, destruiria tonto la teoria de Einstein, como nuestra teoria lineal. De este modo obtenemos un Lagrangiano diferente de una mera aproximacién lineal a la teoria de Einstein, y también diferente del Lagrangiano de Moshinsky. EI Lagrangiono de Moshinsky deberia Ilevar @ sélo la mitad de la deflexin de los rayos de la luz observodes. La razén por la cual obtiene la deflexién observada, y \a razén porque hubiese encontrado de su interaccién con la materia con spin, un mo vimiento del perihelio solamente tres veces mas pequefio en lugar de seis, si lo hy biese calculado, es porque usé la supos! de Birkhoff de una presién dentro de | sol considerado como fldide perfecto, probablemente algunos millones de veces dema siado grande’®, El tipo de anélisis que Moshinsky utiliz6 para la interaccién entre el campo gravitacional y otros campos, es esencialmente el que hemos seguido. Una vez que el Lagrangiano ha sido determinado, uno puede cuantizar. En contramos un momentum canénicamente conjugado para cada componente del potercal gravitacional. Como mencionaré mas adelante, esto no se puede hacer para una teoria covariante general ****, y por lo tanto, parece que nuestra teorfa lineal no puede ‘ser una aproximacién a la teoria de Einstein cualesquiera que puedan ser sus otros méritos. Hemos terminado todo el programa de cuantizacién de nuestra teoria, Hemos encontrado una demostracién de la existencia de una representacién de interaccién,y de ese modo hemos comprobado Ia covoriancia de Lorentz de las relac nes de conmy tocién. Esta comprobacién resulté ser muy complicada, y nes ocupé durante muchos me 184Una de las muchas fuentes de complicacién, se encontré en el hecho de que ‘en las representaciones de Heisenberg uno no puede usar simplemente la funcién de onda wy de Dirac como una amplitud de probabilided para cuantizarse del modo. usual. Primero ha d introducirse una nueva funcién de onda. El trabajo de DeWitt © hos ha demostrado que une dificultad parecida surge en la teoria de covariancia gone= ral para la interaccién entre el campo spinorial del electrén y el campo gravitaciad de Einstein. Cuando expresamos la energia de! campo gravitacional libre en términos de operadores de numeros de ocupacién, se hizo patente que para evitar gravitones de energia negotiva, ha de usorse lo métrica indefinida de Gupta*” *°, y después imponer una condicién auxiliar sobre | vector de estado. Desgraciadamente esta condici én auxiliar no se conserva rigurosamente. Esto se debe al hecho de que la fuente del cam po gravitacional en una teoria lineal no puede conservorse, porque por un lodo, de § truiriomos lo linearidad de Ia teorio, si ineluyéaemos entre las fuentes de gravedad la energia gravitacional en si; mientras que por otro lado, una jedra que cae trans- formando energia gravitacional en energia de materia, nos muestra que sin esta incly sién de energia gravitacional, 1a energia de materia sola no se conserva, Lo mejor que pudimos hacer en nuestra teoria lineal, fué postular que la con dicién ouxilior se satisfizo cuando Dios creé al Universo, Desde entonces, su validez puede haber ido decreciendo lentamente. Esto resulta ser equivalente a postular que, desde la creacién del Universo, la materia puede haber estado radiando campos gravi 40 tocionales retardados . Por lo tanto, uno pudiera preguntarse cvanta energia ha sido perdida por materia acelerada tal como una estrella doble en rotacién en, digamos IP 6 10*° aiios de existencia del U jerso. Afortunadamente encontré que esta cantidad ‘es ton pequefia que no hay razén pora preocuparse. Mas importante es el hecho que la materia, en ausencia de campos gravitacionales incident. externos, emite siempre in poco mas de energia gravitacional negativa. Por lo tanto, no hay peligro tampoco de ‘una explosicn del Universo en ta cual la materia se descontrolara bajo la emisién de gavitones de energia negative, De este modo nuestra teoria se salva, pero convengo en que no es una solucién 185legante, Por lo tanto, consideremos ahora teorias del tipo 2); aquellas que son oproximaciones de la teoria rigurosa de Einstein. Los primeros intentos simplemente tomaron 1a primera aproximacién lineal en un desarrollo de la teoria de Einstein, en potencias de la diferencia entre la mg tricareal g,,,, y su oproximacién 74, del espacio plano invariante ante las tronsformaciones de Lorentz, Esto conduce a un adelanto del perihelio de la érbita de los plonetas, que no es sufi jente. Por lo tanto, uno no esti satisfecho amenos que sepo come tratar la segunda aproximacién. Popapetrou,*” en 1948, realiz6 algunos progress. Usé un truco matemétice Propuesto originalmente y mas tarde mal usodo por Rosen. Este truco consiste pri mero en elegir algin sistema de referencia preferido, y luego introducir en e-sis tema de referencia la métrica Y del espacio plano de Lorentz, junto con la uy ica efectiva g,,+ Bajo transformaciones generales, ,, se transforma co mo un ten sor y pierde su forma simple, excepto en la multiplicidad de sistemas de referencia de Lorentz, que incluye al sistema de referencia original. Si se vsaraun multiplicidad de Lorentz diferente como punto de pat 8 a, esto significaria une trans formacién de norma dey, + Enseguida, usando esta métrica y , Papapetrou definié un nuevo tensor de densidad energia-momentum de materia y gravitacién juntas, que tenfa las dos intere sontes propiedades siguentes: Primera, se conservaba rigurosamente debido a las ecuaciones del campo gravitacional de Einstein, y segunda, era un tensor simétrico, Esencialmente este tensor de densidad de energfa no era otra cosa que | a suma del anticuade tensor simétrico de materia, y el tensor no si de energi a de Ja grovitacién mas lo que prodriamos !lamor el “‘tensor de densidad de energia- spin‘' , Se obtiene asi un tensor mixto si el primer indice que disti ave energia de momentum se baja con ayuda de la g,,, como indice covariante, y conservando d indice que se refi re a densidad o flujo en una posicién contravariante. Entonces,si en el resultado el primer indice covariante es subido nuevamente, pero esta vez por la métrica y , se obtiene el tensor simétrico mencionado poco antes. Papapetrou reescribié entonces las ecuaciones de campo gravitacional de En stein, usando la densidad tensorial contravariante (gotica q”” )en lugar de la 186covariante ordinar' oe . Encontrs que estas ecuaciones tomabon la forma deuna ecuacién diferencial de segundo orden muy parecida a la de potenciales en la teoria covariante de Lorentz-Maxwell. Su nuevo tensor simétrico de energia figurd en ellas como fuente del campo. En el caso Maxwell, e! operador diferencial se simplifica hacia el dalambertiano, si uno impone las condiciones de Lorentz sobre los pot en ciales. En forma semejante, el operador diferencial en la ecuacién de Papapetrou- se simplifica en direccién de el dalambertiano si uno impone los condiciones de coordenadas de DeDonder vay aq /ax = 0 Estos hechos sirvieron como bases al trabajo de Gupta sobre gravitacisa*” Empieza por sugerir que la ecuacién de Papapetrou puede usarse para resolver ¢ | campo gravitacional en aproximaciones sucesivas, usando las aproximaciones infe riores del campo de la gravitacién en los tensores de energia de Popapetrou, par a calcular 1a aproximacién superior que sigue como solucién retordada de la ecuacicn de campo simplificada, Desgraciadamente tal procedimiento falla porque las apr ximaciones intermedias al tensor de fuerzas de Papapetrou no satisfacen, de es e modo, una ley de conservacién y por lo tanto, no tienen significado alguno como fuentes para un campo gravitacional. En cuanto a la cuantizacién del campo de Gupta, permitaseme advertir que Gupta no probé jamés la covariancia de Lorentz de sus relaciones de conmutacié n. Esta covoriancia de Lorentz no es completamente obvia ya que Gupta, después de desarrollar su Lagrangiano, destruyé su covoriancia general usando la condic ién ouxiliar para simplificorla de manera muy parecida a la simplificacién de! Lagrangia no introducide por Fermi en la teoria de Moxwell. Existe también una arbitrariedad ‘en el grado en que esta simplificocién puede usarse para los términos de orden s v Perior. Finalmente, la demostracién de Gupta de la conservacién de la condicié n auxiliar de DeDonder es incorrecta, ya que pasa por alto el hecho de que el carbio del Lagrangiano conduce asi mismo a un cambio en el tensor simétrico de energia 187de Papapetrou. Se podria dar una prueba mas complicada de la conservacién de la condicién de DeDonder, pero con fa interpretacién de mecénica-cuéntica de Gupta a la condicién ai Primero, reemplazar todas las derivadas ordinarias en el término agregado al Lagran jar, esa prueba falla también, Una solucién a esta dificultad os giano por Rosen, por las derivadas y -covariantes** y en seguida cuantizar e! campo %4 yel campo g#¥. Peroel resultado es una teorfa generalmente cq voriante més complicada ain que la de Einstein. Por lo tanto, procedamos mas bien a resolver el problema real. La cuont] zacién de la teoria de Einstein. El trabajo realizado por Dirac **, por Schild, Pira ni y Skinner’*, por los DeWitt™”*°, savze- 94 , pero antes que nada por Bergmann y su escuela , e5 de gran interés aGn cuando ne ha podide hasta chora dar a la teoriauna forma practicable. Lo que estos investigadores han mostrado es que en principio, ‘es posible establecer un conjunto auto-consistente y covariante de relaciones de conmutecién para la teorfa de la gravitacién de coverioncia general. Este resultado es obtenido principalmente, por un estudio cuidadoso de la feoria no-cuantizada, La dificultad fundamental con que topa la evantizacién fu 6 descubierta primero por Rosenfeld *°en un trabajo casi olvidade de 1930, y redescy bierto mas tarde por Bergmann** en 1949. Esta difilcultad consiste en el hechode que en cualquiers teoria invariante bajo un grupo de transformaciones caracterizadas por funciones &(xyzt)- arbitr necesariomente identidades que se mantienen entre las variables canénicas de tal 5, y no solo por constantes y - , deben existir teorfa, En electrodinémica todos conocemos esa relacién: debido © la invariancia de norma, el momentum P, conjugado canénicamente al potencial eléctrico desaporece de Eins Igualmente debido o la covoriancia general de ia teoria de gravitac i én in, se mantienen las cuatro Ilamadas ‘testricciones de coordenadas “‘entre las variables g,,,, de campo y sus momentums conjugados. Estos rrestricciones pueden darse explicitomente *"**, La sree Hamodas también “ ecvaciones ©" **, razon por 1a cual no aparecieron en mi trabajo con Swihart °, o en el de Gupta #8 que nosotros nunca consideramos una covariancia general, y que Gupta destré yd lo suya, Dirac ** ha mostrado que las llamadas restricciones “'primarias““deben apg 188ecer agregadas al Hamiltoniono con coeficientes arbitrarios. Las ecuaciones Ho miltonianas de movi onto expresan entonces estos coeficientes arbitrarios en tér minos de derivadas respecto al tiempo de las variables de campo, Ilamadas “‘ velod dode Un aspeéto importante de la teoria de Dirac es que,desde un principio distingue los llamadas ecuaciones “‘fuertes'* que permanecerén vélidas despue’s de la cuantizacién de las ecuaciones “‘débiles"’, que se convierten en condiciones aux, liares, Le interpretacién en la mecénica cudntica de las ultimas, y Ia regla de Dirac de que el producto de dos ecuaciones débiles seré fuerte, son puntos que necesit an to cuidado , y han sido explicados por Bergmann’ °* sobre la base de ideas usadas anteriormente por mf en electrodinémica cuéntica’” °", y las cuales esencial mente jgnifican usar solo un subespacio del espacio convencional de Hilbert. Es tipico en el trabajo de Dirac el considerar todas las ecuaciones de ¢ am po como ecuaciones débiles, y también las ecuaciones que definen momentums cand nicos en términos de las velocidades son débiles. Dirac indica que ademés de la restriccién primaria o ecuaciones $ uno 2 ' debe en t=0, también imponer un nimero finito”” de restricciones secundarias 0 ecuaciones - X“‘ entre las voriables canénicas, para conservar las restricciones pa. ra ocasiones subsiguientes. Un ejemplo de ecuaciones -X es div E= 4mp en la teoria de Maxwell; dependen estas generalmente de interacciones, cosa que no su cede con las ecuaciones ¢ . Para la gravitacién, estas restricciones -X son ex Presiones muy complicadas **. Las restricciones primarias y secundorias juntas se pueden dividir nuevaren te en restricciones de “primera y segunda clases’. Las de primera clase son aque las que tienen paréntesis Poisson iguales a 0 con cualquier otra restriecién, mie n tros que las de segunda clase tienen algunos paréntesis de Poisson quenoson ny los con otras restricciones de segunda cla: Ejemplos de restricciones de segunda clase son aquellas que dicen que las funciones de onda y de electrén de Dirac,sn el conjugado canénico de y” , mientras que es el conjugado canénico de W*® ; o también las relaciones que en la teoria del meson vectorial ** dicen que algunas de las variables de campo son las Ilamadas ‘variables derivodas"’. Mi trabajo de 1940 dice que toles variables derivadas no deben cuantizarse independien- 189temente, pero deben tratarse como funciones de las variables de las cuales son derivadas. Dirac”* llega a este mismo resultado de una manera mas elaborada . Para este propésito introduce una modificacién de los clasicos paréntesis de Po j son, que algunos han llamado " paréntesis de Dirac *****, Por favor no confun- dir estos poréntesis de Dirac *”’**, con los bra y ket de Dirac®” usados en teorfa de transfermaciones de mecénica para indicar vectores de estado e indicar los elementos de matriz. La ventaja de los paréntesis modificodos de Poisson introducides por Di rac es que, si ellos son cambiados en conmutadores de lo mecénica cuéntica, en lugar de los paréntesis convencionales de Poisson, nos Ilevarfan autométicamente hac i a lo cvantizacién adecuada de las variables derivadas. Las restricciones de segunda clase pueden entonces considerarse como ecusciones fuertes. El trabajo de Bera mann y Goldberg®* ha justificado ulteriormente esta interpretacién. _ Redefinieron el paréntesis de Dirac con independencia formal de la subdivisién de los restriecly nes en restricciones de primera y segunda clase, pero bajo la condicién de que como en operadores de Hilbert en {a teo cudntica, uno ne considera toda variable decam po, sino solo aquellas combinaciones de entre ellas que generan un mapeo del sub- espacio fisico del espacio de Hilbert en si mismo, Por “sub-espacio fisico"’ quiero indicar aquella parte del espacio de Hilbert donde todas las restricciones se satisfacen, Esto excluye de las variables de Hilbert no solo todas las restricciones, sino también lo que podriamos Ilamar sus conjugados canénicos. Permitonme dar un ejem- plo. En electrodindmica, P, es una variable de restriccién primoria, y (div E-47a #5 una restriccién secundaria. De la cvantizacién regular exclufmos por lo tant o, no solo P, y divE, sino también sus conjugades @ ydiv A, y asf sololas ondas tranversas en A yen £ son cuantizadas en la forma usual. Esto equ vale exactamente a la llamada electrodindmica cuéntica “ independi te de la norma" propuesta en mi trabajo con Lomont hace algunos afios*”. Bergmann sugirié un andlisis porecido para la cuantizacién de! campo grav i tacional **"°4 Como existen 10 pares de variables canénicas, para cuatro restrice ciones ¢, y cuatrorestricciones -X , esto deja solo dos pares de variables cq nénicas para ser cuantizadas. 190Se puede predecir fécilmente Ia consecuencia de esto para una aproximg cién lineal de la teorio en el espacio plano, Si en el desarrollo de Fourier ce los campos usamos la descomposicién de Kramer para las ondas transversas en ondas circularmente polarizadas °*.en la direccién de las monecillas del reloj ola in kd versa para cada uno de los dos indices de !a parte espacialoide del campo g*!, : fi 7 : entonces solamente deberén cucntizarse | componentes izquierda- cha-derecha, Todos los demas componentes deg” deberian considerarse fun zquierda y dere- ciones del compo de la materia, 0 elir:inarse completamente por un cambio de varia bles como © y div & en electrodinémica cudntica independiente de la norma. idodes futuras de la teoria cuéntica de la gravitacién, La dificulted reside en que los es Voy a coneluir hablande brevemente sobre el estado presente y posi tricciones son tan complicadas, que nadie ha pooido ain proponer nuevas variables que transformen las restricciones en variables canénicas,que podrian ser enton c es igualadas a cero siempre que ocurran, En los trabajos sobre !a teorfa rigurosa de Einstein, nadie porece hacer mas que escribir algunas relaciones de conmutacién y nada préctico se ha hecho con estas dltimas. EI dnico método conocido de intro dy cir operadores de mimero de ocupacién, y de chi obtener una representacién par a operadores de creacién y aniquilacién, parece ser hasta hora el usado por Gupta” gue separa del Homiltoniano total su porte mas grande que es el bilineal en el canpo. Puede ser necesario seguir tal método de aproximacién,para obtener resultados inme- diatos en la formulacién de una teoria de perturbacién para el campo cuantizade gra vitacional. Este método de aproximacién deberia aplicorse también a la discusién de las restricciones, y para definir en aproximaciones sucesivas las variables pa ra un tratamiento de la teoria independiente de la norma °””**. Durante el trabaj o uno debe estor conciente constantemente de los resultados obtenidos yo en {a teorfa rigurosa, que @ cada etapa debe ser aproximada por el método del desarrollo. Para cualquier aplicacién poco interesante, el método de desarrollo seré. sy ficiente. Una pregunta critica seré si su andloga cldsica podrd llevar el avance del porihe! interesante de la teoria de la gravitacién a la teorfa de las porticulas elementales , planetario y lo deflexién correcta de los rayos de luz. Le aplicacién mas necesitard sin embargo un tratamiento mas riguroso. 12y el opéndice on la versisn inglesa del ortfculo). 191