Cuantizaci on del Campo Electromagnetico en el Espacio

Entre Dos Placas Paralelas Conductoras Cuadradas.

Edilson A. Reyes R. (133042), Departamento de Fsica, Universidad Nacional de Colombia
Bogota, Diciembre 2 de 2011
Resumen
El interes de este articulo es estudiar en alg un detalle una teora de campo general pa-
ra partculas con masa en reposo nula que pueda usarse para cuantizar el campo electro-
magnetico, matematicamente equivalente a considerar el campo como un sistema de muchas
partculas llamadas fotones, y as derivar el operador campo correspondiente. Este operador
hara las veces de potencial vector en la electrodinamica y sera usado para tratar un problema
concreto, el de dos placas paralelas conductoras separadas una distancia signicativamente
menor a las dimensiones de la placa. Se determina el valor esperado de la energa electro-
magnetica cuantizada en el estado que representa al vaco con el n de mostrar que se hace
maniesta una fuerza entre las placas debida a esta contribucion; este efecto fue predicho por
la teora cuantica de campos y es conocido actualmente como el efecto Casimir o la fuerza
Casimir-Polder.
1. Campos de Partculas Massless
De manera an aloga a como se procede para las partculas masivas, tratemos de construir un
campo libre general para partculas massless (con masa en reposo nula) en una teora invariante de
Lorentz, como una combinaci on lineal de operadores aniquilaci on a(p, ) para partculas de mo-
mento p y helicidad , y los correspondientes operadores creacion b

(p, ) para las antipartculas:

l
(x) = (2)
3/2
_
d
3
p

_
a(p, )u
l
(p, )e
ipx
+ b

(p, )v
l
(p, )e
ipx

, (1)
donde p = (p
0
, p), |p| = p
0
y una transformacion de Lorentz Ortocrona Propia. Los coecientes
u
l
(p, ) y v
l
(p, ) son elegidos de tal forma que el campo transforme bajo transformaciones de
Lorentz homogeneas de acuerdo con
U()
l
(x)U
1
() =

l
D
l

l
(
1
)
l
(x) (2)
para alguna representaci on D() del grupo de Lorentz Homogeneo. Vale la pena aclarar que hay
muchas representaciones de este tipo, incluyendo la escalar D() = 1 para campos escalares, la
vectorial D()

y representaciones tensoriales, espinoriales entre otras.

Pero, que podemos tomar como las funciones coecientes u
l
(p, ) y v
l
(p, )?. Para ver esto
1
denamos el estado fsico para una partcula massless de momento p y helicidad bajo una
transformaci on de Lorentz homogenea como
[1]
:
U()|p, =

p
0
(p)
0
exp (i(p, )) |p

, (3)
donde p

es la parte espacial de la transformaci on p y (, p) esta denido por

L
1
(p)L(p) = S((, p), (, p))R((, p)). (4)
Aqu L(p) es un boost que lleva el cuadri-vector estandar k = (|k|, 0, 0, k) en un cudri-momento
arbitrario p = (p
0
, p). S(, ) es la translacion de un vector (, ) en dos dimensiones que tiene
la representaci on matricial en cuatro dimensiones
S(, ) =
_
_
_
_
z + 1 z
1 0
0 1
z 1 z
_
_
_
_
(5)
de la cual se verica facilmente que satisface la regla de multiplicaci on de grupo
S(, )S( ,

) = S( + , +

).
R() es una rotaci on alrededor del eje z con su representacion matricial en cuatro dimensiones
R() =
_
_
_
_
1 0 0 0
0 cos () sin () 0
0 sin () cos () 0
0 0 0 1
_
_
_
_
(6)
y por lo tanto el producto S((, p), (, p))R((, p)) = W(, , ) corresponde a un elemento
del grupo ISO(2).
Esta es la forma en la que un estado cuantico para una partcula massless transforma bajo una
transformaci on de Lorentz homogenea, su deduccion adem as de extensa no es de interes aqu, por
lo que se asume como cierta. En lugar de demostrarla, usemos esta propiedad para mostrar como
transforman los operadores aniquilaci on y destrucci on bajo transformaciones de Lorentz.
El operador creacion b

(q) (o en mas detalle b

(p, )) se puede denir de manera general en una

teora de campo simplemente como un operador que adiciona una partcula con n umeros cu anticos
q al frente de una lista de partculas en un estado de Fock
b

(q)|q
1
....q
n
= |qq
1
....q
n
. (7)
De este modo
|p, = b

(p, )|0 (8)

y tomando en cuenta que U()|0 = |0 ya que el estado |0 representa al vaco, entonces
U()|p, = U()b

(p, )U
1
()U()|0 = U()b

(p, )U
1
()|0, (9)
2
por otro lado
U()|p, =

p
0
(p)
0
exp (i(p, )) b

(p

, )|0 (10)
de este modo el operador creaci on transforma de acuerdo con:
U()b

(p, )U
1
() =

p
0
(p)
0
exp (i(p, )) b

(p

, ). (11)
El operador aniquilacion esta denido como el adjunto del operador creacion, y por lo tanto
transforma como:
U()a(p, )U
1
() =

p
0
(p)
0
exp (i(p, )) a(p

, ). (12)
Usando estas dos ultimas relaciones en la ecuacion (2) se ve de inmediato que los coecientes
u
l
(p, ) y v
l
(p, ) deben satisfacer las relaciones
u
l
(p

, )exp(i(p, )) =

p
0
(p)
0

l
D
ll
()u
l
(p, ) (13)
y
v
l
(p

, )exp(i(p, )) =

p
0
(p)
0

l
D
ll
()v
l
(p, ) (14)
Veamos que ocurre si construimos un campo cuadri-vectorial para una partcula massless de heli-
cidad 1. En la representaci on cuadri-vectorial simplemente tenemos:
D

() =

.
Es convencional escribir las funciones coeciente u

en terminos de los vectores polarizaci one

:
u

(p, ) = (2p
0
)
1/2
e

(p, ), (15)
tal que si consideramos la transformaci on de Lorentz

= L(p)

, con L(p)

el boost de
Lorentz que lleva el cuadrivector estandar k = (|k|, 0, 0, k) en un p arbitrario, entonces la ecuacion
(13) da
e

(p, ) = L(p)

(k, ). (16)
Si consideramos ahora la transformaci on

= R()

, con R() dado por (6), entonces la

ecuaci on (13) da
e

(k, )exp(i) = R()

(k, ). (17)
Donde se toma en cuenta que k

= k
R()
= k, ya que la rotacion deja invariante el cuadrivector
est andar, por ser alrededor del eje z.
3
Por ultimo consideremos la transformacion

= S(, )

de translaciones en el plano x y,
entonces (13) queda
e

(k, ) = S(, )

(k, ). (18)
La ecuaci on (17) requiere que (hasta un factor constante el cual puede ser absorbido por los
coecientes y ),
e

(k, 1) = (0, 1, i, 0)/

2. (19)
Pero entonces la ecuaci on (18) debera requerir tambien que + i = 0, lo cual es imposible ya
que en general y son reales. Esto implica que la ecuaci on (13) no puede satisfacerse para un
elemento = W(, , ) ISO(2). En lugar de eso, tendriamos:
D

(W(, , ))e

(k, 1) = S

(, )R

()e

(k, 1) = (20)
exp(i)
_
e

(k, 1) +
( i)

2|k|
k

_
llegando a la conclusi on de que no puede construirse un campo vectorial a partir de operadores
creaci on y destrucci on para una partcula de masa cero en reposo y helicidad 1.
Obviemos por el momento esta dicultad, y usemos las ecuaciones (16) y (19) para denir el vector
polarizaci on en un momento arbitrario p. El campo puede entonces reescribirse como:
A
u
(x) =
_
d
3
p (2)
3/2
(2p
0
)
1/2

=1
_
e

(p, )e
ipx
a(p, ) + e

(p, )e
ipx
a

(p, )

. (21)
Donde se uso el hecho de que la ecuaci on para v es el complejo conjugado de la ecuaci on para u
y que la antipartcula es la misma partcula (como en el caso del fot on), tal que usando un ajuste
adecuado de las constantes y se pueden normalizar las funciones coecientes de la forma
v
l
(p, ) = u

l
(p, ).
Por otro lado, las transformaciones de Lorentz L(p) que llevan una partcula massless de momento
k a p, pueden ser escritas como un boost B(|p|) a lo largo del eje z el cual lleva la partcula de
energa |k| a energa |p|, seguido de una rotaci on estandar R( p) que lleva el eje z en la direccion
de p. Debido a que e

(k, 1) es un vectorpuramente espacial con solo componentes x y y,

permanece inalterado bajo el boost a lo largo del eje z, y por lo tanto
e

(p, 1) = R( p)

(k, 1). (22)

En particular e
0
(k, 1) = 0 y k e

(k, 1) = 0, as de la ecuacion (16)

e
0
(p, 1) = 0, (23)
y
p e(p, 1) = 0, (24)
por lo que de la ecuaci on (21) se sigue que
A
0
(x) = 0, (25)
4
y
A(x) = 0. (26)
Como puede observarse en cualquier texto de electrodin amica
[4]
, estas son las condiciones que
satisfacen el vector potencial en el gauge de Coulomb o gauge de radiacion para el espacio vaco.
Por ultimo notemos que A
0
se elimina en todos los sistemas de referencia, mostrando que A

no puede ser un cuadri-vector. Puede mostrarse, usando la ecuacion (20) que para un momento
general p y una transformaci on de Lorentz general , el campo transforma bajo transformaciones
de Lorentz como
U()A

(x)U
1
() =

(x) +

(x, ), (27)
donde (x, ) es una combinaci on lineal de operadores creaci on y aniquilacion. cuya forma precisa
no nos interesa aqu, pero nos sirve para mostrar que el campo evidentemente no es vectorial, que
fue la dicultad encontrada. Sin embargo es posible usar un campo como A

(x) en una teora fsica

donde el campo no solo tenga que ser formalmente invariante de Lorentz sino tambien invariante
bajo transformaciones gauge de la forma A

. Esto se cumple en una teora como la

electrodin amica.
Ahora veamos como se puede usar esta teora de campo en un ejemplo concreto de la electro-
din amica.
2. Placas Paralelas Cargadas
Consideremos la cuantizaci on del campo electromagnetico en el espacio entre dos capas para-
lelas localizadas en z = 0 y z = a. Las placas son cuadradas con longitud L y son conductoras
perfectas. Encontremos la soluci on general para el potencial electromagnetico dentro del capacitor.
El potencial vector A puede ser descompuesto en componentes paralelas y normales:
A = A

+A

. (28)
La componente normal del potencial vector es a lo largo del eje z, mientras que A

es paralelo a
las placas. En el gauge de Coulomb (A
0
= 0, divA = 0) el campo electrico es
E =
A
t
, (29)
por lo que el problema de encontrar el campo electromagnetico en el espacio entre las placas se
reduce a encontrar el vector potencial A.
Debido a que las placas son conductores ideales, las componentes paralelas del campo electrico y
las componentes normales del campo magnetico se anulan sobre las placas, i.e.
A

t
(z = 0) =
A

t
(z = a) = 0, (30)
B
z
(z = 0) = B
z
(z = a) = 0, (31)
El vector potencial A satisface la ecuaci on
[4]
_

2
t
2

_
A = 0, (32)
5
si asumimos que una solucion particular de esta ecuaci on tiene la forma
A = F(t, x, y)(Z
1
(z)e
1
+ Z
2
(z)e
2
+ Z
3
(z)e
3
) (33)
entonces tenemos que
d
2
Z
i
dz
2
+ k
2
3
Z
i
= 0 (34)
y
_

2
t
2
+

2
x
2
+

2
y
2
+ k
2
3
_
F = 0. (35)
la solucion de la primera ecuaci on es
Z
i
= a
i
sen(k
3
z) + b
i
cos(k
3
z).
Las condiciones de frontera (30-31) dan b
1
= b
2
= 0 y k
3
= n/a para n = 0, 1, 2... Una soluci on
particular para la funci on F es F = e
it+ik
1
x+ik
2
y
. Usando esto en la ecuaci on (35) se obtiene
=
k,n
=
_
k
2
1
+ k
2
2
+
_
n
a
_
2
.
De la condici on de Gauge de Coulomb se sigue que a
3
= 0 y
ia
1
k
1
+ ia
2
k
2

n
a
b
3
= 0
para n = 0; obviamente hay dos estados independientes de polarizacion, excepto para n = 0. Para
n = 0 el vector polarizaci on es e
3
, y hay unicamente un modo. As, una soluci on particular es
A = F(e

sen(nz/a) + b
3
e
3
cos(nz/a)),
entonces usando (21) la soluci on general se puede escribir como
A =

n=1
_
d
2
k
2
1
_
2
k,n
2

=1
[a

(k
1
, k
2
, n)e
i
k,n
t+ik
1
x+ik
2
y
(sen(nz/a)e

(k, n, ) + cos(nz/a)e
3
)
+ a

(k
1
, k
2
, n)e
i
k,n
tik
1
xik
2
y
(sen(nz/a)e

(k, n, ) + cos(nz/a)e
3
]
+
_
d
2
k
2
1

2
k
[a(k
1
, k
2
)e
i
k
t+ik
1
x+ik
2
y
+ a

(k
1
, k
2
)e
i
k
tik
1
xik
2
y
]e
3
(36)
donde la primera integral se reere a todos los estados con n = 0, y la segundo al estado n = 0.
Aqu
k
=
_
k
2
1
+ k
2
2
.
6
3. Energa del Vaco - Efecto Casimir
En cualquier teora de campo satisfaciendo el principio de descomposici on en cluster (las me-
didas hechas sobre dos experimentos separados causalmente no intereren) existe un teorema
fundamental el cual dice que cualquier operador O puede ser expresado como una suma de pro-
ductos de operadores creacion y aniquilacion. En particular para un operador aditivo F (tal como
el momento, la carga etc) para el cual
F|q
1
...q
n
= (f(q
1
) + ... + f(q
n
))|q
1
...q
n

el operador puede ser escrito como

F =
_
dqa

(q)a(q)f(q)
. De manera equivalente el Hamiltoniano de nuestro sistema puede escribirse como:
H =
_
d
2
k

n=1
1
2

k,n
2

=1
_
a

(k
1
, k
2
, n)a

(k
1
, k
2
, n) + a

(k
1
, k
2
, n)a

(k
1
, k
2
, n)
_
(37)
+
1
2
_
d
2
k
k
_
a

(k
1
, k
2
)a(k
1
, k
2
) + a(k
1
, k
2
)a

(k
1
, k
2
)

. La energa en el vaco |0 es
0|H|0 =
2

=1

n=1
_
d
2
k
1
2

k,n
0|a

(k
1
, k
2
, n)a

(k
1
, k
2
, n)|0 (38)
+
1
2
_
d
2
k
k
0|a(k
1
, k
2
)a

(k
1
, k
2
)|0
y por lo tanto
0|H|0 =

n=1
_
d
2
k
1
2

k,n
2
2
(0) +
_
d
2
k
1
2

k
2
2
(0). (39)
Pero la funcion delta tiene la representaci on integral

2
(k

k) =
_
dxdy
(2)
2
e
i(k
1

k
1
)x+i(k
2

k
2
)y.
Resolviendo para x primero
_
L/2
L/2
dx
2
e
i(k
1

k
1
)x
=
e
i(k
1

k
1
)L/2
e
i(k
1

k
1
)L/2
2i(k
1

k
1
)
=
sen
_
(k
1

k
1
)L/2
_
(k
1

k
1
)
Haciendo el cambio de variable k = (k
1

k
1
)L/2 y evaluando para k = 0 se tiene
(0) = lm
k0
sen(k)L
2k
=
L
2
7
de manera an aloga se puede resolver para y, por lo tanto

2
(0) =
L
2
(2)
2
. (40)
La energa en el estado |0 queda
E =
L
2
2(2)
2
_
d
2
k
_
2

n=1
_
k
2
1
+ k
2
2
_
n
a
_
2
+
_
k
2
1
+ k
2
2
_
. (41)
Por otro lado, la energa del vaco de la misma parte del espacio en ausencia de las placas esta
dada por
E
0
=
L
2
2(2)
2
_
d
2
k
_
dn
_
k
2
1
+ k
2
2
+
_
n
a
_
2
(42)
de modo que podemos denir la diferencia de las energas por unidad de area en la presencia y en
la ausencia de placas como
=
E E
0
L
2
. Entonces es
=
1
2
_

0
kdk
2
_
k + 2

n=1
_
k
2
+
_
n
a
_
2
2
_

0
dn
_
k
2
+
_
n
a
_
2
_
. (43)
Haciendo el cambio de variable u = a
2
k
2
/
2
, la ultima integral puede escribirse como
=

2
8a
3
_

0
du
_

u + 2

n=1

u + n
2
2
_

0
dn

u + n
2
_
(44)
Esta cantidad es divergente, pero puede ser regularizada introduciendo la funcion
f(k) =
_
1 si k <
0 si k >
(45)
en la integral, con un par ametro de corte. De este modo toma la forma

2
8a
3
_

0
du
_

uf
_

u
a
_
+ 2

n=1

u + n
2
f
_

u + n
2
a
_
2
_

0
dn

u + n
2
f
_

u + n
2
a
__
y resulta nita. Si denimos una nueva funcion
F(n) =
_

0
du

u + n
2
f
_

u + n
2
a
_
,
resulta
=

2
8a
3
_
F(0) + 2

n=1
F(n) 2
_

0
dnF(n)
_
. (46)
8
Para calcular esta expresi on es necesario usar la formula de Euler-Maclaurin:

n=1
F(n)
_

0
dnF(n) +
1
2
F(0) =
1
2!
B
2
F

(0)
1
4!
B
4
F

(0) + ... (47)

donde B
2
, B
4
, ..etc son los n umeros de Bernulli que estan denidos por
y
e
y
1
=

=0
B

!
. En consecuencia
=

2
4a
3
_

1
2!
B
2
F

(0)
1
4!
B
4
F

(0) + ...
_
(48)
Es f acil ver que F

(0) = 0 y F

(0) = 4. Por lo que la energa del vaco por unidad de supercie

es
=

2
24a
3
B
4
.
Pero B
4
= 0, de hecho toma el valor 1/30, as que nalmente se obtiene
=

2
720a
3
. (49)
De la expresi on anterior para la energa puede derivarse la fuerza como:
f =

a
=

2
240a
4
. (50)
Para el caso de un condensador de placas paralelas separadas una distancia a = 1m y de longitud
L = 1cm la fuerza es de 10
8
N. La energa del vaco del campo electromagnetico entre las dos
placas conductoras produce una fuerza atractiva debil entre ellas. Este efecto es medible y se conoce
actualmente como el efecto Casimir, y como pudo observarse es causado debido a que la presencia
de conductores alteran el valor esperado del vaco para la energa del campo electromagnetico
cuantizado.
Referencias
[1] Weinberg, The Quantum Theory of Fields Volume 1, University of Texas at Austin. 1996
[2] Greiner - Reinhardt, Quantum Electrodinamics. Third Edition. 1992
[3] A. Galindo P. Pascual, Quantum Mechanics Vol I. Springer-Verlag. (1989)
[4] Greiner, Classical Electrodynamics. 1998
9