Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Se presenta el lagrangiano propuesto por Born e Infeld para electrodinámica no lineal. Para mostrar su semejanza con el lagrangiano efectivo
en QED, éste se obtiene por el método más cercano a la derivación hecha por Weisskopf en 1936.
más exactas y exitosas. Es la teorı́a cuántica del campo de a los invariantes electromagnéticos que QED para la aproxi-
los electrones y positrones y de los fotones (campos elec- mación a un lazo (one-loop).
tromagnéticos y de radiación). La teorı́a también se aplica a En esta contribución se revisará la manera de obtener el
los leptones pesados (µ y τ ) y puede usarse para describir lagrangiano efectivo en QED en la aproximación a un lazo,
la interacción electromagnética de otras partı́culas elementa- o a primer orden en la constante de estructura fina, para des-
les. Sin embargo estas partı́culas están sujetas a la acción de cribir la polarización del vacı́o. El proceso no lineal en que
otras fuerzas elementales no electromagnéticas: las interac- centraremos nuestro estudio es la existencia de una corriente
ciones fuerte y débil. Las partı́culas que interactúan fuerte- de electrones-positrones en el vacı́o en presencia de un cam-
mente (hadrones) están compuestas por otras partı́culas, los po electromagnético externo. También mostraremos la seme-
cuarks, ası́ que hay que tomar en cuenta grados de libertad janza del lagrangiano efectivo en QED con el propuesto por
adicionales (color y sabor). A este nivel se cree que las inter- Born e Infeld para la electrodinámica no lineal.
acciones fuerte y débil pueden describirse por teorı́as de nor-
ma no-Abelianas, modeladas en QED, la cual es una teorı́a
Abeliana; a estas teorı́as se les han dado los nombres de cro- 2. Propuesta de Born e Infeld para la electro-
modinámica cuántica (QCD) para las interacciones fuertes y dinámica no lineal
sabordinámica para la interacción débil.
Existen dos maneras de formular QED. Una es formal y Como ya mencionamos Born e Infeld propusieron una nueva
se basa en un mecanismo general para la cuantización de los teorı́a electrodinámica, la cual no presentaba divergencias en
campos ondulatorios. La segunda es más ilustrativa y usa el la autoenergı́a del electrón. Sin embargo ésta no era su úni-
formalismo de los propagadores. Esta última se originó por ca motivación sino que también querı́an contribuir a discernir
los trabajos de Feynman [4] y Stückelberg . El interés pri- cuál es la relación entre materia y campo electromagnético
mordial de estos desarrollos es el de entender procesos de y apoyar el punto de vista según el cual el campo electro-
dispersión: para calcular probabilidades de transición y sec- magnético es una entidad fı́sica y la masa es una noción deri-
ciones eficaces de dispersión en el formalismo de la teorı́a vada del campo que se expresa como energı́a del mismo (ma-
de Dirac para electrones y positrones, i. e., partı́culas relati- sa electromagnética). Esto en contraste con la opinión según
vistas con espı́n. En el método de propagadores de Feynman la cual campo y partı́cula son dos entes diferentes; las partı́cu-
los procesos de dispersión se describen mediante ecuaciones las son las fuentes del campo y sufren su acción pero no son
integrales. La idea que guı́a esto es la interpretación de los po- parte de él, y tienen como caracterı́stica propia la inercia, me-
sitrones como electrones de energı́a negativa que viajan ha- dida como una constante que es la masa.
cia atrás en el tiempo; esta idea fue formulada primero por Además animaba a Born e Infeld un principio de fi-
Stückelberg y usada después por Feynman. nitud para una teorı́a fı́sicamente consistente. Por esta
Por otra parte, J. Schwinger y S. Tomonaga, cada uno in- razón, ellos proponen un lagrangiano que, en analogı́a
dependientemente, dieron una formulación alternativa equi- con la velocidad máxima en el lagrangiano relativista de
valente, una formulación covariante y en términos de princi- una partı́cula libre, considera una magnitud de campo
pios de mı́nima acción. En un artı́culo ya muy famoso [5] máxima. El lagrangiano relativista de una partı́cula libre,
y otros posteriores, Schwinger derivó de manera elegante L = mc2 [1 − (1 − v 2 /c2 )1/2 ], se reduce a la fórmula no
el formalismo de la electrodinámica cuántica covariante. Su relativista L = 1/2mv 2 para v ¿ c. De la misma manera
idea era que para extraer resultados invariantes de norma de que la velocidad lı́mite v = c no tiene particular importan-
una teorı́a invariante de norma se deben emplear métodos que cia en mecánica clásica, la intensidad de campo máximo b
involucren sólamente cantidades covariantes de norma. En tampoco la tiene en electrodinámica.
este trabajo, entre otras contribuciones importantes, emplea En la mecánica de Einstein existe aún una razón más
el método del tiempo propio para tratar problemas con cam- profunda que es el postulado depla relatividad. Suponien-
pos externos ası́ como para derivar la función de Green (pro- do que la expresión mc2 (1 − 1 − v 2 /c2 ) ha sido en-
pagador) del electrón. R. Feynman junto con J. Schwinger y contrada con la idea de una velocidad lı́mite máxima, ve-
S. Tomonaga recibieron el premio Nobel por su formulación mos que puede escribirse como mc2 (1 − dτ /dt), donde
de la QED en 1965. c2 dτ 2 = c2 dt2 − dx2 − dy 2 − dz 2 , y por lo tanto tiene la
En una sección del mencionado artı́culo (citado alrededor propiedad de que la integral en el tiempo de mc2 dτ /dt es
de 2200 veces), Schwinger determina el lagrangiano que des- invariante para todas las transformaciones para las que dτ 2
cribe la dinámica de un electrón en un campo externo, toman- es invariante. Este grupo de transformaciones cuadridimen-
do en cuenta la contribución de la polarización del vacı́o. Sch- sional es mayor que el grupo de transformaciones tridimen-
winger obtuvo una expresión para el Lagrangiano que coin- sional para el que la integral en el tiempo de la función
cide hasta factores numéricos del mismo orden de magnitud newtoniana 1/2mv 2 = 1/2m(ds/dt)2 es invariante, donde
con el lagrangiano de Born-Infeld para la misma aproxima- ds2 = dx2 + dy 2 + dz 2 .
ción de campos débiles. Este hecho ya habı́a sido notado por Análogamente, Born e Infeld buscaban un grupo de trans-
Heisenberg y Euler quienes demostraron que el lagrangiano formaciones para el cual el nuevo lagrangiano tuviera un in-
de Born e Infeld tiene una dependencia similar con respecto variante al integrar en el espacio-tiempo y que además dicho
grupo de transformaciones fuera más general que el corres- función de la magnitud de los campos. En sus trabajos Born
pondiente al lagrangiano de Maxwell, el grupo homogéneo e Infeld también determinaron la expresión para el tensor de
de Lorentz. De esa manera, el nuevo lagrangiano pertenece energı́a-impulso y las leyes de conservación para la energı́a y
al grupo de transformaciones generales del espacio-tiempo, el momento.
el grupo de relatividad general o grupo de Poincaré.
Dado que estas ecuaciones se pueden derivar mediante un 2.1. Solución estática de las ecuaciones de Born-Infeld
principio variacional a partir de una densidad lagrangiana L,
es natural generalizar la expresión para L. Al hacerlo hay que Consideraremos (en el sistema cartesiano) el caso elec-
~ = 0 = H
trostático con B ~ y todas las otras componentes
tomar en cuenta los siguientes aspectos:
del campo siendo independientes de t. Con esto las ecuacio-
(i) Para generar ecuaciones covariantes de Lorentz, L de- nes de campo se reducen a
be ser un escalar de Lorentz, i.e. debe ser una función
~ = 0,
∇×E ~ = 0.
∇·D (8)
construida usando invariantes de los campos.
(ii) L debe ser invariante de norma (gauge invariant), esto Resolviendo para el caso de simetrı́a esférica, de la segunda
es, no debe aparecer explı́citamente el potencial Aµ . ecuación (8) tenemos
En su teorı́a Born e Infeld tienen preferencia en interpre- 3.1. Correcciones radiativas a los campos electro-
tar la masa del electrón como de origen electromagnético, es- magnéticos
to es, que la inercia propia del electrón proviene de su carga
o de su naturaleza electromagnética. Cuando se considera el vacı́o como un mar de positrones li-
La teorı́a no lineal de Born-Infeld funciona para describir gados, en la presencia de un campo externo, los niveles de
un electrón estable con tamaño finito y autoenergı́a finita; sin energı́a asociados al sistema pueden cambiar. Esto se refle-
embargo no resuelve otros problemas de la electrodinámica ja en cambios en el lagrangiano. El lagrangiano de Maxwell,
clásica como la autoaceleración de partı́culas cargadas. LMaxwell = (B 2 − E 2 )/2, se modifica con términos que se
conocen como correcciones radiativas.
Se derivarán estas correcciones para el caso en que los
2.2. Aproximación para campos pequeños ~ yB ~ varı́an tan lentamente tanto en el espacio co-
campos E
mo en el tiempo, que se pueden considerar constantes y uni-
Se puede dar una expresión aproximada del lagrangiano de
formes; por lo anterior, se supondrá que el lagrangiano no
Born e Infeld para campos pequeños en relación al cam-
depende de las derivadas de los campos.
po máximo b; esto no quiere decir que dichos campos
Otra suposición necesaria es que el campo eléctrico no
sean pequeños en relación a los campos de nuestra expe-
sea de tal magnitud que puedan crearse pares electrón-
riencia diaria. Si las magnitudes de los campos eléctrico y
positrón reales. De hecho el sistema se puede considerar
magnético son mucho menores que la magnitud de cam-
cerrado sólo cuando la probabilidad de creación de pares es
po máxima, B/b ¿ 1, E/b ¿ 1, como b es del orden
suficientemente pequeña. Los órdenes de magnitud del cam-
de 1018 Volt/cm, un campo pequeño en relación con esta
po crı́tico son |E| ∼ m2 /|e| ≈ 1018 Volt/m. Esto, dicho en
magnitud, es grande comparado con el campo de un poten-
otras palabras, significa que el cambio en la energı́a de una
te laser, por ejemplo (500 mW de potencia, o 1015 eV/s).
carga e en una distancia del orden de la longitud de Comp-
El
√ Lagrangiano de Born-Infeld, Ec. (3), se desarrolla usando
ton ~/mc debe ser pequeña en comparación con la energı́a en
1 + x ≈ 1 + x/2 − x2 /8 + · · · , para x < 1, obteniéndose
reposo del electrón mc2 .
Supondremos que E ~ yB ~ son campos paralelos. Esta con-
B2 − E2 (B · E)2
L ≈ b2 {1 + 2
− dición en general es posible tenerla en un sistema de referen-
2b 2b4
µ 2 ¶2 cia apropiado. El lagrangiano estará dado por la diferencia
1 B − E2 (B · E)2 entre la situación con campo externo y la correspondiente a
− − + · · · − 1}
8 b2 b4 la ausencia de campo externo. También se tiene que conside-
rar que la presencia del campo externo dota a los positrones
B2 − E2 (B · E)2 1 (B 2 − E 2 )2 de una energı́a potencial, U0 = E ~ · ∂ε0 /∂ E.
~
= − − + O(b−4 )
2 2b2 8 b2 La energı́a del vacı́o, ε0 , está dada por la suma de los ei-
1 genvalores de energı́a negativa,
= LMaxwell − 2 {4(B · E)2 + (B 2 − E 2 )2 } + · · · (16)
8b X
ε0 = ε(−)
pσ , (17)
este lagrangiano se puede derivar en el contexto de la electro- p,σ
dinámica cuántica. Dicho lagrangiano en QED describe de
(−)
manera efectiva el efecto de polarización del vacı́o en pre- donde σ = ± es la proyección del espı́n y εpσ son los eige-
sencia de un campo electromagnético constante. nestados de la ecuación de Dirac para un campo externo Aµ .
El cambio en la densidad de energı́a del vacı́o debida a la en esta última expresión, el primer término corresponde a
presencia del campo externo será la energı́a en presencia del n = 0 y en la sumatoria hemos tomado en cuenta que los
campo externo menos la misma cantidad cuando E ~ =B ~ = 0, niveles con σ = −1 son doblemente degenerados: los niveles
esto es, n, σ = +1 y n + 1, σ = −1 coinciden. Esta integral es alta-
· ¸ · ¸ mente divergente y serı́a preciso regularizarla introduciendo
(1) ~ ∂ε0 ~ ∂ε0
W = ε0 − E · − ε0 − E · . (18) un término de corte. Sin embargo, trataremos esta expresión
∂E~ ~ E=
∂E ~ H=0
~
como si fuera convergente. Notemos que la integral (25) es
Ahora pasaremos a la descripción en términos del lagran- igual a la doble derivada de ε0 respecto a m2 , ası́:
giano mediante el razonamiento que sigue. En general es váli-
da la siguiente expresión que relaciona la energı́a (hamilto- Z∞
niano) con el lagrangiano de un sistema, d2 ε0 |e|B
Φ=− 2 2 = {(m2 + p2z )−3/2
X ∂L (d (m )) 8π 2
W = q˙i − L, (19) 0
i
∂ q˙i ∞
X
en el caso que nos ocupa en vez de q̇ nuestras variables son +2 (m2 + p2z + 2|e|Bn)−3/2 }dpz
n=1
las derivadas del potencial electromagnético, φ̇ y Ȧ, esto es, " #
X∞
|e|B 1 1
~ ∂L − L.
W =E (20) =− 2 +2 . (26)
~
∂E 8π m2 n=1
m2 + 2|e|Bn
Si consideramos el lagrangiano efectivo,
Leff = LM ax + L(1) , la acción, Reescribimos la integral anterior usando la relación
(1)
~ ∂LMax + E
Weff = E ~ ∂L − LMax − L(1) 1
Z∞
2
~
∂E ~
∂E = dηe−m η , (27)
m2
(1)
~ ∂L − L(1)
~ ∂LMax − LMax + E
0
=E
~
∂E ~
∂E
de esta manera,
= WMax − W (1) . (21)
Z∞ " ∞
X
#
Comparando las expresiones (21) con (18) vemos que |e|B −m2 η −(m2 +2eBn)
Φ=− 2 e +2 e dη
el cambio en la densidad lagrangiana del campo electro- 8π n=1
0
magnético está dado por la densidad de energı́a adicional ε0
Z∞ " ∞
#
con un cambio de signo, |e|B X
X −m2 η −2eBn
=− 2 e 2 e − 1 dη. (28)
L(1) = −ε0 = − ε(−)
pσ . (22) 8π n=0
0
pσ
ser función de la cantidad adimensional B/Bcrit ; recordemos Para el caso general en que se tiene no sólo un campo
que ~ paralelo al pri-
magnético sino también un campo eléctrico E
µ ¶ mero, y siempre siendo pequeño respecto a la magnitud de
m2 2c3
Bcrit = , campo máxima, la expresión (36) se puede generalizar (los
|e| ~
detalles se pueden consultar en Ref. 6),
entonces,
³ mc ´3 µ ¶
B Z∞
(1)
L (B, m) = 2
mc f (1) m4
~ Bcrit L = {−(ηa cot aη)(ηb coth bη)
µ ¶ 8π 2
³ mc ´3 |e|~B 0
= mc2 f . (31)
~ m2 c3 (a2 − b2 )η 2 −η dη
+1− }e . (37)
Hemos escrito ~ y c para tener las dimensiones correctas 3 η3
(la longitud de Compton es ~/mc); haciendo ~ = 1 = c se
tiene la forma del lagrangiano, con a = |e|E/m2 . La integral anterior tiene polos en
µ ¶ η = nπ/a, (n = 1, 2, . . . ), por esta razón sólo tiene sentido
(1) 4 |e|B para derivar los términos asintóticos en la serie de cot a. Por
L =m f . (32)
m2 otra parte, la integral (37) puede tener significado matemáti-
De acuerdo a esto las constantes C2 y C1 sólo pueden co rodeando los polos en el plano complejo de η; en este caso
tener la siguiente dependencia, tanto el lagrangiano como la densidad de energı́a correspon-
µ ¶ µ ¶2 diente, W , tienen una parte imaginaria. Si la energı́a es ima-
|e|B |e|B
C1 = C10 m2 , C 2 = C 0 4
2 m , (33) ginaria, existen estados cuasi-estacionarios. En este caso la
m2 m2 condición estacionaria del sistema es violada por la produc-
Ajustaremos las contantes C10 y C20 de tal modo que su- ción de pares, siendo −2imW la probabilidad de producción
priman las divergencias. Si utilizamos el desarrollo en serie de pares por unidad de volumen y tiempo.
de coth x en el integrando de L(1) tenemos, denotando por En particular, la probabilidad de producción de pares por
x = |e|Bη un campo eléctrico débil es w = (m4 /4π 3 )a2 e−π/a .
R∞ h 1 η 2η 3
i El lagrangiano para campos de magnitud pequeña com-
L(1) = − 8π1 2 η 3 + 1
3η − 45 + 945 + · · · e−η dη parada con la magnitud de campo máxima se obtiene des-
0
arrollando cot x y coth x en la Ec. (37) y tomando los tres
+C20 (|e|B)2 + C10 (|e|B) − C0 . (34) primeros términos en los desarrollos:
En la anterior expresión las dos primeras integrales di-
vergen, ya que son funciones Gamma de argumento negati- 1 x x3
cot x ≈ − − − ···
vo entero. Las siguientes integrales convergen (son funciones x 3 45
Gamma de argumento positivo). Por otra parte tenemos li-
y
bertad para ajustar las constantes de integración C10 y C20 y
hemos incluido también la constante C0 con el propósito de
1 x x3
cancelar las divergencias anteriores. Con este razonamiento, coth x ≈ + − + ··· .
es posible mostrar que las constantes apropiadas para cance- x 3 45
lar las divergencias son:
Recordemos que los dos primeros términos de este desarrollo
C10 = 0, cancelan los infinitos, ası́ que del tercer término del desarro-
llo se obtiene
Z∞ 2
(|e|B)4 e−(m /|e|B) 0
C0 = − dη , η4 2 7
8π 2 η 03 (a − b2 )2 + η 4 a2 b2 + · · · ;
0 45 45
Z∞ 2
(|e|B)2 e−(m /|e|B) 0 lo cual, sustituyendo en el lagrangiano nos da una integral
C20 =− dη . (35)
8π 2 3η 0 finita de una función Gamma, de la cual se obtiene,
0
donde estamos denotando b = |e|B/m2 (aquı́ b no es Una vez que el lagrangiano se expresa en términos de los
~ = 0.
parámetro de BI) y E invariantes del campo E 2 − B 2 y E~ · B,
~ el resultado puede
ser usado en cualquier sistema de referencia, no sólamente en También merece la pena mencionar que la aproximación
aquél en que E ~ k B.
~ Notemos también que en el caso de una del lagrangiano para este problema tiene interés relacionado
onda plana electromagnética, al ser nulos los dos invarian- con observaciones astrofı́sicas de situaciones que involucran
tes, entonces las correcciones al vacı́o son cero. El desarrollo campos magnéticos del orden de 1013 Gauss o un poco me-
anterior se remonta a 1936 (Heisenberg y Euler). Una deriva- nores que los campos crı́ticos, que se cree que existen en es-
ción más formal se debe a Schwinger, basada en el método trellas magnéticas. Los efectos de refracción de la radiación
del tiempo propio [5]. electromagnética en un vacı́o fuertemente magnetizado, en
Si comparamos la expresión (38) con el lagrangiano (16) los cuales se puede dar la creación de pares electrón-positrón
de la sección anterior podemos ver la misma dependencia cuando el campo alcanza valores del orden del campo crı́ti-
en los invariantes del campo electromagnético (E 2 − B 2 )2 co podrı́an ser observables. En estos casos los términos de
y (E~ · B)
~ 2 , salvo constantes del mismo orden de magnitud. corrección al lagrangiano pueden ser importantes para el es-
tudio de efectos como reflexión, refracción y desdoblamiento
de rayos X, luz u ondas de radio debidos a dichos campos
magnéticos [7].
4. Conclusiones Por último hay que indicar que la acción correspondien-
te de Born-Infeld ha resultado ser de interés en la teorı́a de
La motivación para estudiar generalizaciones de las ecuacio- cuerdas donde surge de manera natural cuando se calcula la
nes de Maxwell es hoy en dı́a distinta de la que inspiró a Born acción efectiva de la teorı́a de supercuerdas abiertas, en el
e Infeld. Actualmente el interés reside en desentrañar la es- caso de campo electromagnético abeliano constante [8]. Para
tructura del vacı́o, sondeando con un campo electromagnéti- determinar la acción efectiva para bajas energı́as para los mo-
co externo. El problema de un electrón estable no lo pode- dos sin masa de la cuerda, se calcula la función de partición
mos resolver en el marco de la electrodinámica sino que se para el modelo σ correspondiente a la cuerda propagándose
deben tomar en cuenta otros avances en el conocimiento de en un campo externo. La parte del vector abeliano en la ac-
la estructura fundamental de la materia y sus interacciones; el ción efectiva para la cuerda abierta de Bose, que no contiene
problema de la autoenergı́a no se resuelve realmente en elec- derivadas del campo electromagnético Fµν , está dada por la
trodinámica cuántica, sino que se disfraza con esquemas de acción de Born-Infeld, escrita de manera diferente a la expre-
renormalización más o menos sofisticados. sión que hemos derivado aquı́, pero equivalente.
1. M. Born y L. Infeld, Proc. Roy. Soc. Lond. A 144 (1934) 425; 5. J. Schwinger, Phys. Rev. 82 (1951) 664.
Proc. Roy. Soc. Lond. A 143 (1934) 410; Proc. Roy. Soc. Lond.
A147 (1934) 522. 6. E. M. Lifshitz y L.P. Pitaevskii, Relativistic Quantum Theory
2. J.F. Plebañski, Lecture Notes on non-linear electrodynamics Course of Theoretical Physics, (Pergamon Press, 1977).
Monograph of the Niels Bohr Institute Nordita (Copenhagen, 7. A. Shabad, Interaction of electromagnetic radiation with super-
1968). critical magnetic field, hep-th/0307214; Y.M. Cho, D.G. Pak,
3. Los trabajos de Heisenberg y Euler están en alemán, pero es M.L. Walker, Light propagation effects in QED: Effective ac-
posible consultar lo más cercano a sus desarrollos: W.S. Weiss- tion approach, Phys. Rev. D 73 (2006) 065014.
kopf, Phys. Rev. 56 (1939) 72.
4. R.P. Feynman, Space-time approach to quantum electrodyna- 8. R.R. Metsaev, M.A. Rahmanov and A.A. Tseytlin, Phys. Lett.
mics, Phys. Rev. 76 (1949) 769. B 193 (1987) 207.