Universidad del Atlántico.

Facultad de Ciencias Básicas.

Programa de Física.

Sierra-Florez, Wilson D.

Introduccion a la TCC
Parcial 1
Para el Lagrangiano L dado por
∞
1 µ 1 X
L= ∂ ϕ∂u ϕ − m2 ϕ2 − λn ϕ2n+2
2 2 n=1

Muestre que la ecuacion de movimiento esta dada por

∞
X
2 2
(∂ + m )ϕ + λn (2n + 2)ϕ2n+1 = 0
n=1

Contexto
En este problema se esta trabajando con un campo escalar real (Una funcion de las coordenadas espacio-
temporales). Es una extension no lineal de la teoria libre de klein-Gordon (incluye terminos de interaccion
polinomios en ϕ
La ecuación de movimiento que se obtiene es la ecuación de Euler–Lagrange para campos, aplicada a ese lagran-
giano: es una versión no lineal de la ecuación de Klein–Gordon, a menudo llamada ecuación de Klein–Gordon
no lineal o ecuación de onda con auto-interacción.
En física de partículas, después de cuantizar este lagrangiano, los términos con potencias de ϕ generan vértices
de interacción (diagramas de Feynman) y controlan los procesos de dispersión. En teoría clásica, dan lugar a
fenómenos no lineales (ondas, solitones, etc.) según la forma del potencial.

Solución
Primero aplicamos la ecuacion de Euler-Lagrangue
 
∂L ∂L
∂µ − =0
∂(∂µ ϕ) ∂ϕ
∞
1 µ 1 X
L= ∂ ϕ∂u ϕ − m2 ϕ2 − λn ϕ2n+2
2 2 n=1

Usamos la metrica para hacer que ambas derivadas parciales sean covariantes y de esa forma garantizar que la
energia del campo se mida por igual por cualquier observador (principio de relatividad)
∞
1 µν 1 X
L= g ∂ν ϕ∂u ϕ − m2 ϕ2 − λn ϕ2n+2
2 2 n=1

Ahora:  
∂L 1 µν 1
= g ∂ν ϕ + g µν ∂u ϕδνµ
∂(∂µ ϕ) 2 2
1 µ 1 1 1
= ∂ ϕ + g µµ ∂µ = ∂ µ ϕ + ∂ µ ϕ = ∂ µ ϕ
2 2 2 2
Ahora:  
∂L
∂µ = ∂µ ∂ µ ϕ
∂(∂µ ϕ)
Y el otro termino por derivacion directa
∞
∂L X
= −m2 ϕ − λn (2n + 2)ϕ2n+1
∂ϕ n=1

Entonces la ecuacion de movimiento sera:

∞
X
∂µ ∂ µ ϕ + m2 ϕ + λn (2n + 2)ϕ2n+1 = 0
n=1

∞
X
(∂µ ∂ µ + m2 )ϕ + λn (2n + 2)ϕ2n+1 = 0
n=1
µ 2
Pero ∂µ ∂ ϕ = □ = ∂
∞
X
(∂ 2 + m2 )ϕ + λn (2n + 2)ϕ2n+1 = 0
n=1

Parcial 2
(a) Muestra que Z ∞
1
dk 0 δ(k 2 − m2 )θ(k 0 ) =
−∞ 2ωk
p
Donde θ(x) es la función escalón unitario y ωk = ⃗k 2 + m2 .
(b)Finalmente muestre que
d3 k
Z

2ωk
Es un invariante de lorentz

contexto
Existen dos convenciones principales para la signatura de la métrica ηµν :
1. Mayoría positiva:
ηµν = diag(+1, −1, −1, −1),
en cuyo caso
k 2 = kµ k µ = (k 0 )2 − ⃗k 2 .

2. Mayoría negativa:
ηµν = diag(−1, +1, +1, +1),
y por tanto
k 2 = kµ k µ = −(k 0 )2 + ⃗k 2 .

— 4. Invariancia de k 2
La condición de masa en la cáscara (on-shell ) se expresa como:

k 2 = m2 .

Con la signatura (+, −, −, −):

q
(k 0 )2 − ⃗k 2 = m2 ⇒ k 0 = ± ⃗k 2 + m2 .

Con la signatura (−, +, +, +):

−(k 0 )2 + ⃗k 2 = m2 ⇒ (k 0 )2 = ⃗k 2 + m2 .

En ambos casos, la energía física resulta: q

k = ± ⃗k 2 + m2 .
0

2
 En física de partículas, se suele usar la convención (+, −, −, −).
En relatividad general, es común la convención (−, +, +, +).
No existe contradicción: ambas son equivalentes, siempre que se mantenga la coherencia en los cálculos.
La condición de masa en la cáscara k 2 = m2 es invariante, y la energía física siempre se obtiene como
p
E = p⃗ 2 + m2 .

Solución
Si (Usando la conveccion x,- - - )
k 2 = kµ k µ = k⃗02 − ⃗k
Entonces Z ∞
1
dk 0 δ(k⃗02 − ⃗k − m2 )θ(k 0 ) =
−∞ 2ωk
Si f (x) es una función suave con ceros simples en los puntos xi tales que f (xi ) = 0, entonces la delta satisface:
X δ(x − xi )
δ(f (x)) = .
i
|f ′ (xi )|

Aplicación al caso k 2 − m2
Consideremos la delta en el ejercicio:
δ(k 2 − m2 ).

Con la convención (+, −, −, −), tenemos

k 2 − m2 = (k 0 )2 − ⃗k 2 − m2 .

Definimos q
0
f (k ) = (k ) − 0 2
ω⃗k2 , donde ω⃗k = ⃗k 2 + m2 .

Los ceros de f (k 0 ) son:

k 0 = ±ω⃗k .

Aplicando la propiedad:
  1  0
δ (k 0 )2 − ω⃗k2 = δ(k − ω⃗k ) + δ(k 0 + ω⃗k ) .

2ω⃗k
—

Resumen
La delta de Dirac de una función compuesta se reescribe en términos de las raíces de la función.
En este caso, δ(k 2 − m2 ) se descompone en dos deltas en k 0 = ±ω⃗k .
El factor de normalización es 1/|f ′ (xi )|, que aquí da 1/(2ω⃗k ).
Esto explica por qué, al integrar con θ(k 0 ), sólo sobrevive el término con k 0 > 0, y resulta finalmente
Z ∞
1
dk 0 δ(k 2 − m2 ) θ(k 0 ) = .
−∞ 2ω⃗k
 
1
Usando la propiedad de la delta de dirac δ(x2 − a2 ) = (δ(x + a) + δ(x − a)) con k02 − k 2 − m2 = (k0 +
p p 2|a|
⃗k 2 + m2 )(k0 − ⃗k 2 + m2 )
 q q 
1
δ(k02 − k 2 − m2 ) = p δ(k0 + ⃗k 2 + m2 ) + δ(k0 − ⃗k 2 + m2 )
2 k⃗2 + m2

3
 p
Como ⃗k 2 + m2 = ωk
1
δ(k02 − k 2 − m2 ) = [δ(k0 + ωk ) + δ(k0 − ωk )]
2ωk
Introducimos de vuelta en la integral
Z ∞
1
dk 0 [δ(k0 + ωk ) + δ(k0 − ωk )] θ(k 0 )
−∞ 2ωk
Repartimos la integral
Z ∞ Z ∞
1 1
dk 0 θ(k 0 )δ(k0 + ωk ) + dk 0 θ(k 0 )δ(k0 − ωk )
2ωk −∞ 2ωk −∞

Ahora, la función θ(k 0 ) es la función escalón de Heaviside (también llamada función theta de Heaviside).
(
0 1, k 0 > 0,
θ(k ) =
0, k 0 < 0

De esta forma, el factor θ(k 0 ) restringe la contribución de la delta de Dirac únicamente a las raíces positivas de
la relación de dispersión, es decir, selecciona k 0 = +ωk y descarta la solución k 0 = −ωk .
Esto refleja la convención física de considerar solamente los estados de energía positiva.

Cuando k0 = −ωk ⇒ θ(k 0 ) = 0 y la primera integral se borra

Z ∞
1 1 1
dk 0 δ(k0 − ωk ) = (1) =
2ωk −∞ 2ωk 2ωk
(b) Usando el resultado anterior, tenemos que
Z ∞
1
dk 0 δ(k0 − ωk )θ(k 0 ) =
−∞ 2ω k

Integrando con respecto dk 3 nosotros tenemos

Z ∞ Z ∞
4 0 1
dk δ(k0 − ωk )θ(k ) = dk 3
−∞ −∞ 2ωk
La función escalón impone la condición k0 > 0, y las integrales se realizan sobre todo el espacio-tiempo en el
lado izquierdo (LHS) y sobre todo el espacio en el lado derecho (RHS).
Z ∞
dk 4
−∞

1. El elemento de integración d4 k es invariante bajo transformaciones lineales con determinante +1, es decir,
bajo transformaciones de Lorentz propias.
2. La delta de masa δ(k 2 − m2 ) depende únicamente del escalar k 2 = kµ k µ , el cual es invariante de Lorentz.
3. La función escalón θ(k 0 ) selecciona la raíz de energía positiva. Dado que las transformaciones de Lorentz
propias y ortocronas preservan la dirección temporal (no cambian el signo de k 0 ), θ(k 0 ) también es
invariante.
R∞ 1
Por tanto −∞ dk 3 Es un invariante de lorentz
2ωk

Parcial 3
Si
d3 p
Z
1 h x+a† −i⃗
p·⃗
i⃗ p·⃗
x
i
ϕ(⃗x) = aβ e e
(2π)3 2ωβ
p

Con densidad hamiltoniana dada por

H = π(x)ϕ̇(x) − L(x)
Demostrar que el operador hamiltoniano es
d3 k
Z  
† 1
Ĥ = ωk ak ak +
(2π)3 2

4
Como ϕ̇(x) es la solución de la ecuación de Klein-Gordon y esta a su vez tiene que
1 µ 1 1 0
1 1 2  1
L=∂ ϕ∂µ ϕ − m2 ϕ2 = ∂ ϕ∂0 ϕ + ∂ i ϕ∂i ϕ − m2 ϕ2 = ϕ̇ − (∂ i ϕ)(∂i ϕ) − m2 ϕ2
2 2 2 2 2 2
1 2
 
L= ϕ̇ − (∇ϕ)2 − m2 ϕ2
2
∂L
Como H = π(x)ϕ̇(x) − L(§) , con π = = ϕ̇
∂ ϕ̇
 
1 2 1 1 1 1 1
H = π2 − π − (∇ϕ)2 − m2 ϕ2 = π 2 + (∇ϕ)2 + m2 ϕ2
2 2 2 2 2 2

Donde: Z
Ĥ = d3 xH

Luego: Z  
3 1 2 1 1
Ĥ = d x π + (∇ϕ)2 + m2 ϕ2
2 2 2
Ahora bien, como
d3 p
Z
1  i⃗p·⃗x
+ a†p e−i⃗p·⃗x

ϕ(⃗x) = 3
p ap e
(2π) 2ωp
(d3 p)(d3 q)
Z
1  i⃗p·⃗x
ϕ2 (⃗x) = + a†p e−i⃗p·⃗x aq ei⃗q·⃗x + a†q e−i⃗q·⃗x
 
6 √ ap e
(2π) 2 ωp ωq
y
d3 p
Z r
ωp  i⃗p·⃗x
− a†p e−i⃗p·⃗x

π(x) = 3
(−i) ap e
(2π) 2
entonces  √
(d3 p)(d3 q) ωp ωq  i⃗p·⃗x
Z 
2
− a†p e−i⃗p·⃗x aq ei⃗q·⃗x − a†q e−i⃗q·⃗x
 
π (x) = − ap e
(2π)6 2
Finalmente !
d3 p
Z
1
p ap ei⃗p·⃗x − a†p e−i⃗p·⃗x
 
(∇ϕ) = i⃗
(2π)3
p
2ωp
!
(d3 p)(d3 q)
Z
1
2
pap ei⃗p·⃗x − i⃗
pa†p e−i⃗p·⃗x i⃗qaq ei⃗q·⃗x − i⃗qa†q e−i⃗q·⃗x
  
(∇ϕ) = i⃗
(2π)6
p
2ωp ωq
Calculando todo en la integral para H, se tiene
 √
(d3 q)(d3 q) ωp ωq
Z Z 
1  i⃗p·⃗x
d3 x − a†p e−i⃗p·⃗x aq ei⃗q·⃗x − a†q e−i⃗q·⃗x +
 
H= 6
− ap e
2 (2π) 2

m2  i⃗p·⃗x
 
1
pap ei⃗p·⃗x − i⃗
pa†p e−i⃗p·⃗x i⃗qaq ei⃗q·⃗x − i⃗qa†q e−i⃗q·⃗x + √ + a†p e−i⃗p·⃗x aq ei⃗q·⃗x + a†q e−i⃗q·⃗x
    
√ i⃗ ap e
2 ωp ωq 2 ωp ωq
Utilizando el hecho de que
d3 x i(p±q)x
Z
e = δ 3 (p ± q)
(2π)3
Integrando respecto a x el primer factor

ap ei⃗p·⃗x − a†p e−i⃗p·⃗x aq ei⃗q·⃗x − a†q e−i⃗q·⃗x = ap aq ei(⃗p+⃗q)·⃗x − ap a†q ei(⃗p−⃗q)·⃗x − a†p aq ei(⃗q−⃗p)·⃗x + a†p a†q e−i(⃗p+⃗q)·⃗x

Al integrar se obtiene

= ap aq δ 3 (p + q) − ap a†q δ 3 (p − q) − a†p aq δ 3 (p − q) + a†p a†q δ 3 (p + q)

Ahora el 2do termino

pap ei⃗p·⃗x − i⃗
pa†p e−i⃗p·⃗x i⃗qaq ei⃗q·⃗x − i⃗qa†q e−i⃗q·⃗x =



i⃗

p⃗qap aq ei(⃗p+⃗q)·⃗x + p⃗⃗qap a†q ei(⃗p−⃗q)·⃗x + p⃗⃗qa†p aq ei(⃗q−⃗p)·⃗x − p⃗⃗qa†p aq ei(⃗p+⃗q)·x

−⃗

5
Integrando respecto a x

p⃗⃗q −ap aq δ(p + q) + ap a†q δ 3 (p − q) + a†p aq δ 3 (p − q) − a†p a†q δ 3 (p + q)

Ahora el tercer termino

ap ei⃗p·⃗x + a†p e−i⃗p·⃗x aq ei⃗q·⃗x + a†q e−i⃗q·⃗x = ap aq ei(⃗p+⃗q)·x + ap a†q ei(⃗p−⃗q)·x + a†p aq ei(⃗q−⃗p)·x + a†p a†q e−i(⃗q+⃗p)·⃗x

Integrando (Nota : LA DELTA DE DIRAC ES UNA FUNCION POR TANTO −δ 3 (p + q) = δ 3 (p + q) )

= ap aq δ 3 (p + q) + ap a†q δ 3 (p − q) + a†p aq δ 3 (q − p) + a†p a†q δ 3 (p + q)

Remplazando todo

(d3 p)(d3 q)
Z  
1 √ 3 † 3 † 3 † † 3

p⃗⃗q
− ωp ωq ap aq δ (p + q) − ap aq δ (p − q) − ap aq δ (p − q) + ap aq δ (p + q) + √ ....
4 (2π)3 ωp ωq

m2
 
... −ap aq δ(p + q) + ap a†q δ 3 (p − q) + a†p aq δ 3 (p − q) − a†p a†q δ 3 (p + q) + √


....
ωp ωq
...ap aq δ 3 (p + q) + ap a†q δ 3 (p − q) + a†p aq δ 3 (q − p) + a†p a†q δ 3 (p + q)
 

Luego

d3 p  m2 
Z 
1 
† † † †
 p⃗  † † † †
Ĥ = −ωp a a
p −p + a a
p −p + a a
p −p + a a
p −p + a a
p −p + a a
p −p + a a
p −p + a a
p −p + ....
4 (2π)3 ωp ωp
h i
....ap a−p + ap a†−p + a†p a−p + a†p a†−p

d3 p 1 h 2 
Z
1 † † † †
 
† † † †

2
i
Ĥ = −ω p a a
p −p + a a
p −p + a a
p p + a a
p p + p
⃗ a a
p −p + a a
p p + a a
p p + a a
p −p + m ....
4 (2π)3 ωp
h i
....ap a−p + ap a†p + a†p ap + a†p a†−p

d3 p 1 h 2 ⃗2
Z
1  
 i
Ĥ = 3
−ωp + p + m2 ap a−p + a†p a†−p + ap a†p + a†p ap m2 + p⃗2 + ωp2
4 (2π) ωp

Como ωp2 = p⃗2 + m2

d3 p 1
Z
1
2ωp ap a†p + a†p ap


H= 3
4(2π) ωp
d3 p
Z
1
ωp ap a†p + a†p ap


H= 3
4 (2π)
Ahora como
[ap , a†p ] = δ(0) ⇒ ap a†p − a†p ap = δ(0) ⇒ ap a†p = δ(0) + a†p ap
Luego
d3 q
Z
1
ωp δ(0) + ap a†p + a†p ap


H=
2 (2π)3
d3 q
Z
1
ωp δ(0) + 2ap a†p


H= 3
2 (2π)
d3 q
Z  
δ(0) †
H= ω p + a a
p p
(2π)3 2
Finalmente en el espacio
d3 k
Z  
† 1
H= ωk a a
k k + δ(0)
(2π)3 2