Problemas 7.22 y 7.

27
Francisco Linares
Divisi on de Ciencias e Ingenieras Campus Le on, Universidad de Guanajuato
Marzo de 2012
Problema 7.22
Las ecuaciones que usaremos son
Re[()/
0
] = 1 +
1

P
_

Im[(

)/
0
]

(1)
Re[()/
0
] = 1 +
2

P
_

0

Im[(

)/
0
]

2
d

(2)
a)
Im(/
0
) = [(
1
) (
2
)] , con
2
>
1
> 0 .
Usamos la expresion (2):
Re[()/
0
] = 1 +
2

P
_

0

Im[(

)/
0
]

2
d

= 1 +
2

P
_

0

[(
1
) (
2
)]

2
d

= 1 +
2

P
_
2
1

2
d

, (3)
Figura 1: Parte Imaginaria de /
0
vs
si no esta en el intervalo [
1
,
2
] integramos directo, haciendo el cambio de variable:
u =
2

2
(4)
du = 2

, (5)
y cambiando los lmites de integracion:

=
1
u =
2
1

=
2
u =
2
2

2
,
entonces, la expresion (3) queda
Re[()/
0
] = 1 +
2

_
2
1
du
2u
= 1 +

_
ln(
2
2

2
) ln(
2
1

2
)

Re[()/
0
] = 1 +

ln
_

2
2

2
1

2
_
. (6)
Si esta en el intervalo [
1
,
2
], es decir,
1
< <
2
, debemos usar el Valor Principal de Cauchy explcitamente,
esto es:
P
_
= lm
0
__

1
+
_
2
+
_
, (7)
as, la expresion (3) es
Re[()/
0
] = 1 +
2

P
_
2
1

2
d

= 1 +
2

lm
0
__

1

2
d

+
_
2
+

2
d

_
, (8)
haciendo el mismo cambio de variable (4,5), los lmites de integracion ahora quedan

=
1
u =
2
1

2
,

= u = ( )
2

2
,

= + u = ( + )
2

2
,

=
2
u =
2
2

2
,
entonces (8) queda
Re[()/
0
] = 1 +
2

lm
0
_
_
()
2

2
1

du
2u
+
_

2
2

2
(+)
2

du
2u
_
= 1 +

lm
0
_
ln
_
( )
2

2
1

2
_
+ ln
_

2
2

2
( + )
2

2
__
= 1 +

lm
0
_
ln
_
( )
2

2
1

2
2

2
( + )
2

2
__
= 1 +

lm
0
_
ln
_

2
2

2
1

2
_
+ ln
_

( )
2

2
( + )
2

__
,
donde tomamos el valor absoluto del segundo termino logartmico para garantizar que el argumento sea positivo. Ahora
tomando solo hasta primer orden en :
Re[()/
0
] = 1 +

lm
0
_
ln
_

2
2

2
1

2
_
+ ln
_

2
2

__
= 1 +

lm
0
_
ln
_

2
2

2
1

2
_
+ ln [|1|]
_
= 1 +

lm
0
_
ln
_

2
2

2
1

2
_
+ ln [1]
_
= 1 +

ln
_

2
2

2
1

2
_

Re[()/
0
] = 1 +

ln
_

2
2

2
1

2
_
, (9)
que coincide con el resultado (6) obtenido cuando no estaba en el intervalo [
1
,
2
].
b)
Im(/
0
) =

(
2
0

2
)
2
+
2

2
Reescribamos esta expresion de la siguiente manera:
Im(/
0
) =

2i
_
1

2
0

2
i

1

2
0

2
+ i
_
(10)
para as, ver con mas claridad cuales son los polos de esta expresion. Estos son

1,+
= i

2
+
_

2
0

2
4
(11)

1,
= i

2

_

2
0

2
4
(12)
para el termino
2
0

2
+ i, y

2,+
= i

2
+
_

2
0

2
4
(13)

2,
= i

2

_

2
0

2
4
(14)
para el termino
2
0

2
i.
Tomando un contorno en el semiplano inferior, solo los polos (11,12) estaran dentro de dicho contorno. Entonces,
usando la expresion (1)
Re[()/
0
] = 1 +
1

P
_

Im[(

)/
0
]

= 1 +

2i
_
C
1

_
1

2
0

2
i

2
0

2
+ i

_
d

= 1 +

2i
_
C
1

_
1

2
0

2
i

_
d

_
C
1

_
1

2
0

2
+ i

_
d

. (15)
Usando la f ormula de la Integral de Cauchy,
f(z
0
) =
1
2i
_
C
f(z)
z z
0
dz , (16)
el primer integrando no contribuye ya que sus polos quedan fuera del contorno de integracion.
As, con z =

f(

) = 1/(
2
0

2
i

)
Re[()/
0
] = 1

2i
_
C
1

_
1

2
0
+
2
+ i

_
d

= 1
_
1

2
0

2
+ i
_
. (17)
Multiplicando y dividiendo por el complejo conjugado el segundo termino del miembro derecho de (17)
Re[()/
0
] = 1
_
1

2
0

2
+ i
__

2
0

2
i

2
0

2
i
_
= 1
_

2
0

2
(
2
0

2
)
2
+
2

2

i
(
2
0

2
)
2
+
2

2
_
(18)
y como estamos calculando la parte real, tenemos que
Re[()/
0
] = 1
_

2
0

2
(
2
0

2
)
2
+
2

2
_
(19)
Problema 7.27
a)
Queremos escribir:

L =
1

0
c
2
_
d
3
x x (

E

B) (20)
de la forma

L =
1

0
c
2
_
d
3
x
_
_
E

A +
3

j=1
E
j
(x

)A
j
_
_
(21)
Para ello, debemos escribir

B en terminos de

A, esto es

B =

A. Usando la notacion tensorial en el integrando
de (20) tenemos:
x [

E (

A)]
ijk
x
j

klm
E
l

mpq

p
A
q
=
ijk
x
j
(
klm

pqm
)E
l

p
A
q
=
ijk
x
j
(
kp

lq

kq

lp
)E
l

p
A
q
=
ijk
x
j
[E
l

k
A
l
E
l

l
A
k
]
=
ijk
x
j
E
l

k
A
l
. .
1

ijk
x
j
E
l

l
A
k
. .
2
(22)
El termino 2 en la expresion (22) lo podemos escribir como:

ijk
x
j
E
l

l
A
k
=
ikl
x
l
E
j

j
A
k
=
ikl
x
k

kl
E
j

lj
A
j

jk
= E
j

ikl
x
k

l
A
j
=
3

j=1
E
j
(x )A
j
(23)
de manera que el termino 2 dado por (23) es el segundo termino del corchete de la expresion (21). Analicemos ahora
el termino 1:

ijk
x
j
E
l

k
A
l
=
ijk
[
k
(x
j
E
l
A
l
) A
l

k
(x
j
E
l
)
. .
()
] (24)
Veamos el termino (*):
() :
ijk
A
l

k
(x
j
E
l
) =
ijk
A
k

kl

lk
(x
j
E
l
)
=
ijk
A
k

l
(x
j
E
l
)
=
ijk
A
k
[(
l
x
j
)
. .
=
lj
E
l
+ x
j
(
l
E
l
)
. .
=0
]
El segundo termino en la expresion anterior es cero, porque los campos fueron producidos en un tiempo nito en
el pasado y por lo tanto en una region nita del espacio, por lo que al cabo de un tiempo, las fuentes que produjeron
estos campos ya no estan en la region del espacio de integracion, por lo tanto

E = 0. As que
() :
ijk
A
l

k
(x
j
E
l
) =
ijk
A
k

lj
E
l
=
ijk
A
j

jk

lj
E
l
=
ijk
A
j

kl
E
l
=
ijk
A
j
E
k

() :
ijk
A
l

k
(x
j
E
l
)

A

E =

E

A (25)
de manera que el segundo termino de (24) corresponde al primer termino en (21). Entonces, (abusando de la notacion)
el termino 1 en (22) es

ijk
x
j
E
l

k
A
l
=
ijk

k
(x
j
E
l
A
l
) +

E

A (26)
Sustituyendo las expresiones (23,26) en (22):
x [

E (

A)] =

E

A +
3

j=1
E
j
(x )A
j
+
ijk

k
(x
j
E
l
A
l
) (27)
sustituyamos ahora (27) en (20):

L =
1

0
c
2
_
d
3
x x (

E

B)
=
1

0
c
2
_
d
3
x
_
x [

E (

A)]
_
=
1

0
c
2
_
d
3
x
_
_
E

A +
3

j=1
E
j
(x )A
j
+
ijk

k
(x
j
E
l
A
l
)
_
_
=
1

0
c
2
_
d
3
x
_
_
E

A +
3

j=1
E
j
(x )A
j
_
_
+
1

0
c
2
_
d
3
x
ijk

k
(x
j
E
l
A
l
)
. .
=I
(28)
Veamos la integral I:
I =
_
d
3
x
ijk

k
(x
j
E
l
A
l
) , uso ley de Gauss
=
_
S
d
2
x
ijk
n
k
x
j
E
l
A
l

_
S
d
2
x ( n x)

E

A (29)
donde n es el vector normal a la supercie S. Dado que la supercie S esta en el innito, y los campos fueron producidos
en una region nita del espacio, esta integral de supercie es cero, as que nalmente:

L =
1

0
c
2
_
d
3
x
_
_
E

A +
3

j=1
E
j
(x )A
j
_
_
(30)
b)
Tenemos el potencial vector en la norma de radiacion en terminos de ondas planas:

A(x, t) =

_
d
3
k
(2)
3
[

k)a

k)e
i

kxit
+ c.c] (31)
donde los vectores unitarios de polarizacion

k) son escojidos con helicidad positiva y negativa por:

=
1

2
(
1
i
2
) (32)
con los vectores
1
y
2
ortogonales, y en el plano cuya normal positiva esta en la misma direccion de

k. Queremos
mostrar que el promedio temporal del primer termino de

L en (30) el termino de spin, puede ser escrito como:

L
spin
=
2

0
c
_
d
3
k
(2)
3

k[|a
+
(

k)|
2
|a

k)|
2
] (33)
El campo eletrico viene dado en terminos del vector potencial como

E(x, t) =

A
t
, (en la norma de Coulomb)
= i

_
d
3
k
(2)
3
[

k)a

k)e
i

kxit
c.c] (34)
donde restamos el complejo conjugado debido a la derivacion. Entonces

L
spin
=
1

0
c
2
_
d
3
x

E

A
=
1

0
c
2
_
d
3
x
_

A
t


A
_
usamos (31,34) y desarrollamos
=
1

0
c
2
i
(2)
6

_ _ _
d
3
kd
3
k

d
3
x
_
[

k)

)]a

k)a

)e
i(

k+

)x
e
i(+

)t
+ [

k)

)]a

k)a

)e
i(

)x
e
i(

)t
[

k)

)]a

k)a

)e
i(

)x
e
i(

)t
[

k)

)]a

k)a

)e
i(

k+

)x
e
i(+

)t
_
,
de lo que podemos integrar en x haciendo uso de
1
(2)
3
_
d
3
xe
i(

)x
=
3
(

k

k

)
y como = kc y

= k

c nos queda solo una integral en la variable

k

L
spin
=
1

0
c
2
i
(2)
3

_
d
3
k
_
[

k)

k)]a

k)a

k)e
2it
+ [

k)

k)]a

k)a

k)
[

k)

k)]a

k)a

k)
[

k)

k)]a

k)a

k)e
2it
_
(35)
Es trivial que cuando tomamos el promedio temporal de (35) los terminos con las exponeciales (primer y cuarto
termino dentro de las llaves) desaparecen ya que se integra al seno y al coseno en un ciclo, y esto da cero. Mientras
que los otros dos terminos (segundo y tercero dentro de las llaves) no dependen del tiempo, por lo que el promedio
temporal es constante y resulta en
<

L
spin
>=
1

0
c
2
i
(2)
3

_
d
3
k
_
[

k)

k)]a

k)a

k) [

k)

k)]a

k)a

k)
_
(36)
Ahora trabajemos en los vectores que est an entre corchetes en la expresion anterior,

=
+

+
+
+

+
+

(37)
donde cada termino es

+

+
=
1
2
(
1
+ i
2
) (
1
i
2
) =
i
2
(
1

2
)
. .
=

k
+
i
2
(
2

1
)
. .
=

k
= i

k

+

=
1
2
(
1
+ i
2
) (
1
+ i
2
) =
i
2
(
1

2
)
. .
=

k
+
i
2
(
2

1
)
. .
=

k
= 0

+
=
1
2
(
1
i
2
) (
1
i
2
) =
i
2
(
1

2
)
. .
=

i
2
(
2

1
)
. .
=

k
= 0

=
1
2
(
1
i
2
) (
1
+ i
2
) =
i
2
(
1

2
)
. .
=

i
2
(
2

1
)
. .
=

k
= i

k
lo cual podemos resumir de la forma:

= i

(38)
y similarmente

= i

(39)
Insertando (38) en (36) tendremos
<

L
spin
> =
1

0
c
2
i
(2)
3

_
d
3
k
_
[i

]a

k)a

k) [i

]a

k)a

k)
_
=
1

0
c
2

_
d
3
k
(2)
3

_
[

]a

k)a

k) [

]a

k)a

k)
_
=
1

0
c
2
_
d
3
k
(2)
3

ka
+
(

k)a

+
(

k) [

k]a

+
(

k)a
+
(

k)

ka

k)a

k)

ka

k)a

k)
_
=
2

0
c
2
_
d
3
k
(2)
3

k[|a
+
(

k)|
2
|a

k)|
2
]
sustituyendo = kc tenemos nalmente
<

L
spin
>=
2

0
c
_
d
3
k
(2)
3

k[|a
+
(

k)|
2
|a

k)|
2
] (40)
De esta ultima expresion se puede ver claramente por que se denomina a este termino como el termino de spin,
ya que se ve la dependencia explcita de los dos modos o helicidades del campo, lo que corresponde a los dos estados
posibles del spin del foton.