Professional Documents
Culture Documents
Selectos de la Mecánica
Clásica” impartido por el
Dr. Jesús Toscano
3. Cálculo tensorial. 25
3.1. Vectores y uno-formas. . . . . . . . . . . . . . . . . . . . . . . 25
3.1.1. Vectores y espacio tangente. . . . . . . . . . . . . . . . 25
iii
iv ÍNDICE GENERAL
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis risus ante, auc-
tor et pulvinar non, posuere ac lacus. Praesent egestas nisi id metus rhoncus
ac lobortis sem hendrerit. Etiam et sapien eget lectus interdum posuere sit
amet ac urna.
1
2 ÍNDICE GENERAL
1
Definiciones de Estructuras
Algebraicas Fundamentales
“If you are receptive and humble, mathematics will lead you by the
hand.”
– Paul Adrien Maurice Dirac.
1.1. Grupo
Un grupo G es un conjunto con elementos gi , el cual ha sido dotado con una
operación “·”, la cual satisface:
3
4 1. DEFINICIONES DE ESTRUCTURAS ALGEBRAICAS FUNDAMENTALES
3. Existencia del inverso: Para todo gi ∈ G existe gi−1 ∈ G tal que gi−1 ·gi =
gi · gi−1 = e.
∀gi , gj ∈ G : gi · gj = gj · gi ,
1.2. Campo.
Un campo F es un conjunto con elementos fi , junto con dos operaciones:
+: F × F → F ∗ : F × F → F;
fi ∗ (fj + fk ) = fi ∗ fj + fi ∗ fk ,
(fi + fj ) ∗ fk = fi ∗ fk + fj ∗ fk .
Los números reales y complejos, con las operaciones usuales de suma y pro-
ducto, son ejemplos importantes de campos.
1.3. ESPACIO VECTORIAL. 5
+: V × V → V ∗ : V × V → V,
fi ∗ (fj ∗ fk ) = (fi ∗ fj ) ∗ fk ,
1 ∗ vi = vi = vi ∗ 1,
fi ∗ (vj + vk ) = fi ∗ vj + fi ∗ vk ,
(fi + fj ) ∗ vk = fi ∗ vk + fj ∗ vk .
X
fk vk 6= 0.
k
D
X
v= fi ei .
i=1
6 1. DEFINICIONES DE ESTRUCTURAS ALGEBRAICAS FUNDAMENTALES
1.4. Álgebra.
Un álgebra A consiste de un conjunto V con elementos vi con un campo F
con tres operaciones: +, ∗, . El álgebra es un espacio vectorial respecto a
(V, F, +, ∗). La operación “” es un mapeo:
: V × V → V,
tal que:
(vi + vj ) vk = vi vk + vj vk ,
vi (vj + vk ) = vi vj + vi vk .
vi vj = −vj vi ,
Elementos de Teoría de
Grupos.
e g1 g2 ...
e e g1 g2 ...
g1 g1 g1 g1 g1 g2 ...
g2 g2 g2 g1 g2 g2 ...
.. .. .. .. ..
. . . . .
7
8 2. ELEMENTOS DE TEORÍA DE GRUPOS.
e a b
e e a b
a a b e
b b e a
2π 4π
D(e) = 1, D(a) = ei 3 , D(b) = ei 3 .
2π 4π
D(a)D(b) = ei 3 ei 3 = ei2π = 1 = D(e) = D(ab).
Representación regular.
La siguiente representación de Z3 también es válida:
1 0 0 0 0 1 0 1 0
D(e) = 0 1 0 , D(a) = 1 0 0 , D(b) = 0 0 1 .
0 0 1 0 1 0 1 0 0
y así sucesivamente.
por ejemplo:
En un grupo finito se puede definir una base en la que cada vector es etique-
tado por el elemento del grupo:
Pero esta matriz no es única, pues se puede hacer un mapeo lineal que lleve
a otra base. Se puede elegir el más conveniente.
Dado que la transformación es invertible, una será tan buena como la otra.
De esta forma, todo se reduce a una transformación de similaridad:
D1 (g) 0 ...
0 D2 (g) . . .
,
0 0 . . .
.. .. ..
. . .
D1 (g) ⊕ D2 (g) ⊕ . . .
2.1.3. Subgrupos.
Un grupo H, cuyos elementos están completamente en otro grupo G, es un
subrgupo de G.
12 2. ELEMENTOS DE TEORÍA DE GRUPOS.
Hg,
con g fijo.
Todo elemento de G debe pertenecer a uno y sólo uno de los cosets. Para un
grupo finito, el orden de H debe ser un factor del orden de G.
gH = Hg,
gHg −1 = H, ∀g ∈ G.
.
2.2.1. Generadores.
La identidad es un elemento importante del grupo. Conviene identificarlo con
el punto α = 0 : g(0) = e.
14 2. ELEMENTOS DE TEORÍA DE GRUPOS.
siendo:
∂
Xa = −i D(α) ,
∂αa α=0
Note que cualquier elemento del grupo se puede construir únicamente con la
información en el entorno de la identidad:
aX
⇒ D(α) = eiα a
. (2.2)
La expresión anterior dice que es posible expresar todo elemento del grupo
únicamente con el conocimiento de los generadores.
aX bX
eiα a
, eiβ b
.
aX bX a +β b )X
eiα a
eiβ b
6= ei(α a
.
Por otro lado, dado que las exponenciales forman una representación del
grupo, debe ser cierto que:
aX bX aX
eiα a
eiβ b
= eiγ a
.
aX aX bX
ln eiγ a
= ln (eiα a
eiβ b
),
⇒ iγ Xa = ln (1 + e
a iαa Xa iβ b Xb
e − 1),
− 1, se tiene:
aX bX
y definiendo: K ≡ eiα a
eiβ b
16 2. ELEMENTOS DE TEORÍA DE GRUPOS.
1
iγ a Xa = ln (1 + K) ≈ K − K 2 .
2
Por otro lado, de acuerdo a la forma de K:
− 1,
aX bX
K = eiα a
eiβ b
1 1
= 1 + iαa Xa − (αa Xa )2 + . . . 1 + iβ b Xb − (β b Xb )2 + . . . − 1,
2 2
1 1
= iαa Xa + iβ b Xb − αa Xa β b Xb − (αa Xa )2 − (β b Xb )2 + . . . ,
2 2
y de lo anterior:
1 1
iγ Xa = iα Xa + iβ Xb − α Xa β Xb − (αa Xa )2 − (β b Xb )2 + . . .
a a b a b
2 2
1 a
− (iα Xa + iβ b Xb + . . .)2 ,
2
1 1 1
= iαa Xa + iβ b Xb − αa Xa β b Xb − (αa Xa )2 − (β b Xb )2 + (αa Xa + β b Xb )2 + . . . ,
2 2 2
1
= iαa Xa + iβ b Xb − αa Xa β b Xb + (αa Xa β b Xb + β b Xb αa Xa ),
2
1
= iαa Xa + iβ b Xb − [αa Xa , β b Xb ],
2
⇒ [α Xa , β Xb ] = −2i(γ − αc − β c )Xc ≡ iδ c Xc ,
a b c
aX bX cX
eiα a
eiβ b
= eiδ c
,
f abc = −f bac .
(f abc )∗ = f abc ,
y comparando con la ecuacion 2.3 se ve que las f abc conforman una repre-
sentación, y tal representación define la dimensión del espacio sobre el cual
actúa.
Más aún, dado que las f abc son reales, los Ta son púramente imaginarios, lo
cual se ve de su definición. Los elementos del grupo:
aT
∼ eiα a
,
Xa0 = Lba Xb ,
entonces, el conmutador:
A continuación se define:
T r(Ta0 Tb0 ) = T r(Lca Ldb LTc L−1 LTd L−1 ) = Lca Ldb T r(LTc Td L−1 ),
∴ T r(Ta0 Tb0 ) = Lca Ldb T r(Tc Td ).
2.2. GRUPOS DE LIE. 21
T r[Ta , Tb ] = ka δab ,
T r[Ta , Tb ] = λδab ,
para un λ > 0. Con esto es posible mostrar que los f abc son completamente
antisimétricos.
Estados y operadores.
Los generadores de una representación pueden ponerse como operadores li-
neales o matrices:
Dentro del espacio de Hilbert, en el cual actúa la representación del grupo, los
elementos de este se pueden poner como transformaciones sobre los estados.
El elemento del grupo:
aX
eiα a
,
aX
|i0 i = eiα a
|ii ,
aX
hi0 | = hi| e−iα a
, Xa† = Xa .
22 2. ELEMENTOS DE TEORÍA DE GRUPOS.
Sea O un operador, entonces O |ii es una suma de kets, así que debe trans-
formarse bajo el grupo como:
aX
O |ii −→ eiα a
O |ii ,
0 iαa Xa −iαa Xa iαa Xa
⇒ O |ii = e Oe e |ii ,
0 −iαa Xa iαa Xa 0 aX
∴O =e Oe , |i i = eiα a
|ii .
aX aX
O0 = eiα a
Oe−iα a
. (2.7)
a a a aX
hi0 | O0 |j 0 i = hi| e−iα Xa eiα Xa Oe−iα Xa eiα a
|ji ,
= hi| 1O1 |ji = hi| O |ji .
luego entonces:
y en cuanto al dual:
i hi| δ = − hi| αa Xa .
de donde se tendrá:
∞
iαa Xa
X (iαa Xa )n
e = .
n=0 n!
∂ iαa Xa a
b
e 6= iXb eiα Xa ,
∂α
pues ocurre que [Xa , Xb ] 6= 0.
d isαa Xa a a
e = iαb Xb eisα Xa = ieisα Xa αb Xb ,
ds
pues la combinación lineal completa sí conmuta consigo misma.
∂ iαa Xa
e = iXb ,
∂αb a
α =0
Cálculo tensorial.
En un espacio euclideano se pueden tomar puntos como vectores que van del
origen a dichos puntos. La suma de dos puntos es otro punto del espacio.
25
26 3. CÁLCULO TENSORIAL.
Los vectores, denotados con una flecha, forman un álgebra lineal o espacio
~ es un vector y α un escalar; αA
vectorial. Así A ~ es un vector y, si B
~ también
es un vector, entonces A~+B ~ es un vector.
F~ = m~a.
Los vectores a los que se hace referencia son tangentes, yacen justamente
3.1. VECTORES Y UNO-FORMAS. 27
P̃ (~v ) = hP̃ , ~v i.
P̃ = P̃x .
hP̃x , ~vx i.
Las uno-formas, tal como fueron definidas, forman su propia álgebra lineal,
la cual recibe el nombre de espacio vectorial dual o espacio cotangente,
el cual es diferente al de los vectores.
El espacio dual, denotado por Tx∗ (M), llamado espacio de uno-formas o es-
pacio cotangente, tiene por elementos a las uno-formas: P̃ ∈ Tx∗ (M). Ya se
sabe que estas son funciones escalares lineales:
Nótese que también es posible pensar en el espacio dual a Tx∗ (M), el cual
debe ser Tx∗∗ (M), pero se encuentra que este será igual a Tx (M). De esta
manera:
~v (P̃ ) = h~v , P̃ i.
3.2. Tensores.
Un tensor de rango (m, n), tensor-(m, n), es una función escalar de m
uno-formas y n vectores, la cual es multilineal. Entonces, un tensor T , dadas
las uno-formas y los vectores, produce un escalar:
~⊗B
T =A ~ : ~ P̃ )B(
T (P̃ , Q̃) = A( ~ Q̃),
y se ve que no es conmutativo:
~ ⊗A
T0=B ~: ~ P̃ )A(
T 0 (P̃ , Q̃) = B( ~ Q̃).
~ ⊗ B,
También se nota que P̃ ⊗ T = P̃ ⊗ A ~ es un (2, 1)-tensor:
T 00 = P̃ ⊗ T : ~ Q̃)B(
T (~u, Q̃R̃) = P̃ (~u)A( ~ R̃).
~ = ~v · w
g(~v , w) ~ · ~v = g(w,
~ =w ~ ~v ), (3.3)
Una de las propiedades más importantes del tensor métrico es que permite
convertir uno-formas en vectores y viceversa: si en la ecuación 3.3 se
omite w,
~ se tendrá una cantidad ṽ, la cual se comporta como uno-forma:
en donde el “·” denota que debe insertarse un vector para producir efectiva-
mente un escalar.
g: V~ −→ Ṽ ,
luego entonces:
g −1 : Ṽ −→ V~ .
3.2. TENSORES. 33
Hasta ahora sólo se han mencionado objetos abstractos que son indepen-
dientes de la base: escalares, o tensores de rango (0, 0), vectores, uno-
formas y, en general, tensores de rango (m, n).
~ x = Aµx~eµx .
A
34 3. CÁLCULO TENSORIAL.
~ Aµ depende
Las Aµ son las componentes contravariantes del vector A.
~ no lo hace.
de la elección de la base, pero A
{~eµx } {ẽµx },
~ µ ) = hẽµ , Ai
A(ẽ ~ = hẽµ , Aν ~eν i = hẽµ , ~eν iAν = Aµ ,
~·B
A ~ = Aµ~eµ · B ν ~eν = Aµ B ν ~eµ · ~eν = gµν Aµ B ν ,
vµ = gµν g νκ vκ ,
⇒ gµν g νκ = δ κµ . (3.5)
Luego, entonces:
esto es:
~ = gµν v µ wν = g µν vµ wν ,
~v · w
gµν ≡ ηµν ,
~·A
A ~ = Aµ Aν ηµν ,
~·A
A ~ = g(A
~ · A)
~ = gµν Aµ Aν ,
~·A
A ~ = ±1.
0
~eνx = Λµxν ~eµ0 x , (3.7)
0
Λµκ0 Λκν = δ µν .
0 0
ẽµx = Ωµxν ẽνx , (3.8)
0
ẽνx = Ωνxµ0 ẽµx . (3.9)
0 0
hẽνx , ~exγ i = hΩνxµ0 ẽµx , Λνxγ ~exν 0 i,
0 0 0 0 0
= Ωνxµ0 Λνxγ hẽµx , ~exν 0 i = Ωνxµ0 Λνxγ δ µν 0 = Ωνxµ0 Λµxγ ,
0
⇒ Ωνxµ0 Λµxγ = δ νγ
de esta manera:
esto será:
En contraparte se tendrá:
0 0 0 0
ẽµx = Λµxλ ẽλx ⇒ hẽµx , ~exν i = Λµxλ hẽλx , ~exν i
así:
0 0
Λµxν = hẽµx , ~exν i. (3.12)
~ = Aν 0 ~eν 0 = Aν ~eν ,
A
0 0 0
Aν hẽµ , ~eν 0 i = Aν hẽµ , ~eν i
0 0
∴ Aµ = Λµν Aν , (3.13)
0
à = Aν 0 ẽν = Aν ẽν ,
0
Aν 0 hẽν , ~eµ0 i = Aν hẽν , ~eµ0 i
xµx ,
se reitera que no son lo mismo que campos vectoriales, esto es, µ etiqueta
coordenadas, no componentes.
Las coordenadas asignan un conjunto único de etiquetas para cada punto x
del espacio-tiempo. Dos puntos distintos deben tener al menos una etiqueta
diferente.
Las coordenadas deben variar continuamente a través del espacio-tiempo.
Es posible elegir coordenadas diferentes, aún en espacios euclídeos. En es-
pacios no euclideanos no existe un sistema cartesiano que pueda cubrirlos
completamente.
Hay algunas razones por las cuales los sistemas cartesianos son útiles, como
las siguientes:
(x0 , x1 , x2 , x3 ).
hẽµx , ~eνx i = δ µν ,
la base dual de uno formas tiene que ver con el gradiente, lo cual
se verá en los siguientes párrafos.
Considérese un campo escalar fx , tratando a f como una función de
las coordenadas, la diferencia de f entre dos puntos infinitesimal-
mente próximos es:
∂f µ
df = µ
dx ≡ ∂µ f dxµ , (3.17)
∂x
la cual puede tomarse como la definición de las componentes del gra-
diente. Sin embargo, las derivadas parciales dependen de las coordena-
das, en tanto que el gradiente (derivada covariante) no debería. Enton-
ces ¿qué es el gradiente?, ¿un vector o una uno-forma? De la ecuación
3.17 se nota que df es un escalar y dxµ es la componente del vector d~x,
por lo cual ∂µ f tendrá que ser la componente de una uno-forma.
Se denotará a la uno-forma gradiente como ∇. ˜ Como cualquier uno-
forma, el gradiente puede ser descompuesto en una base de uno-formas
{ẽµ }:
˜ = ẽµ ∂µ ,
∇
y se nota el orden de aparición, pues ẽµ mismo depende de las coorde-
nadas. De esta manera, se puede anotar 3.17 de forma independiente
de las coordenadas:
˜ d~xi.
df = h∇f, (3.18)
Si se desea la derivada direccional de f a lo largo de cierta dirección en
particular, simplemente se reemplaza a d~x por un vector apuntando en
la dirección deseada (por ejemplo, un vector tangente a alguna curva
dada).
Si ahora se hace fx igual a una de las coordenadas, el gradiente arroja
la base correspondiente de las uno-formas:
0 0 0
xµ = xµ (xµ ) xµ = xµ (xµ ),
de esta manera:
0
∂xµ ν
µ0 ν∂xν µ0
dx = dx dx = dx ,
∂xν ∂xµ0
0 0 0
⇒ dxµ = Λµν dxν dxν = Λνµ0 dxµ ,
0 0
d~x = dxν ~eν 0 = dxµ~eµ = Λµν 0 dxν ~eµ ,
de manera tal que para bases:
µ0
˜ = ẽµ0 ∂µ0 = ẽν ∂ν = ẽν ∂x ∂µ0 = ẽν Λµ0 ∂µ0 ,
∇ ν
∂xν
así que para la base dual:
0 0
ẽµ = ẽν Λµν . (3.21)
0 0 0 0
ds2 = gµν dxµ dxν = gµν Λµλ0 Λνρ0 dxλ dxρ = gλ0 ρ0 dxλ dxρ ,
siendo:
˜A
∇ ˜ µ~eµ ) = (ẽµ ∂µ ) ⊗ (Aν ~eν ) = ẽµ ⊗ ∂µ (Aν ~eν ),
~ = ∇(A
= (∂µ Aν )ẽµ ⊗ ~eν + Aν ẽµ ⊗ (∂µ~eν ) = (∇µ Aν )ẽµ ⊗ ~eν ,
Aν, µ ≡ ∂µ Aν Aν; µ ≡ ∇µ Aν ,
3.3. DIFERENCIACIÓN E INTEGRACIÓN. 45
∇µ Aν = ∂µ Aν + Γνµλ Aλ , (3.22)
Ãx = Aµ ẽµx ,
˜ Ã = ∇(A
∇ ˜ ν ẽν ) = (ẽµ ∂µ ) ⊗ (Aν ẽν ) = ẽµ ⊗ ∂µ (Aν ẽν ),
= (∂µ Aν )ẽµ ⊗ ẽν + Aν ẽµ ⊗ (∂µ ẽν ) = (∇µ Aν )ẽµ ⊗ ẽν ,
∂µ hẽν , ~eλ i = 0,
∂µ hẽν , ~eλ i = h∂µ ẽν , ~eλ i + hẽν , ∂µ~eλ i = hΠνµρ ẽρ , ~eλ i + hẽν , Γρµλ~eρ i,
= Πνµρ hẽρ , ~eλ i + Γρµλ hẽν , ~eρ i = Πνµρ δ ρλ + Γρµλ δ νρ = Πνµλ + Γνµλ ,
∇µ Aν = ∂µ Aν − Γλµν Aλ . (3.24)
˜A
∇ ~ = (∇µ Aν )ẽµ ⊗ ~eν = (∂µ Aν + Γν Aλ )ẽµ ⊗ ~eν ,
µλ
˜
∇Ã = (∇µ Aν )ẽ ⊗ ẽ = (∂µ Aν − Γ µν Aλ )ẽµ ⊗ ~eν .
µ ν λ
el objetivo ahora será ver cómo cambia este tensor ante el gradiente, lo cual
se muestra a continuación:
en donde se tiene:
∇λ T µ1 ···µn ν1 ···νm = ∂λ T µ1 ···µn ν1 ···νm + Γµλρ1 1 T ρ1 µ2 ···µνn1 ···νm + · · · + Γµλρnn T µ1 ···ρn ν1 ···νm
−Γρλν1 1 T µ1 ···µn ρ1 ν2 ···νm − · · · − Γρλνmm T µ1 ···µn ν1 ···ρm ,
˜ =0
∇g ˜ −1 = 0.
∇g
Γλµν = Γλνµ .
∂µ̄~eν̄ = 0,
∂xρ µ̄
xρ = xρ (xµ̄ ) ⇒ dxρ = µ̄
dx = Λρµ̄ dxµ̄ ,
∂x
siendo Λρµ̄ la matriz jacobiana. De esta forma, la nueva base se transforma
como:
∂xµ̄
~eρ = Λµ̄ρ~eµ̄ = ~eµ̄ ,
∂xρ
y además es claro que Γλ̄µ̄ν̄ = Γλ̄ν̄ µ̄ , pues en el sistema localmente plano ambas
son iguales a cero, como ya se vio.
El problema ahora será ver si los símbolos de Christoffel conmutan en general.
Para ello se hace lo siguiente:
∂xµ̄
!
Γλφρ~eλ = ∂φ~eρ = ∂φ (Λµ̄ρ~eµ̄ ) = ∂φ ~eµ̄ ,
∂xρ
∂ 2 xµ̄ ∂xµ̄ ∂ 2 xµ̄
= ~
e µ̄ + ∂ ~
e
φ µ̄ = ~eµ̄ + Λµ̄ρ Λν̄φ ∂ν̄ ~eµ̄ ,
∂xφ ∂xρ ∂xρ ∂xφ ∂xρ
∂ 2 xµ̄ µ̄ ν̄ σ̄
0
= ~
e µ̄ + Λ ρ Λ Γ
φ ν̄ µ̄ ~
>
eσ̄ ,
∂xφ ∂xρ
∂ 2 xµ̄
∴ Γλφρ~eλ = ~eµ̄ .
∂xφ ∂xρ
∂xν̄ ∂ 2 xν̄
!
0
Γλρφ~eλ = ∂ρ~eφ = ∂ρ (Λν̄φ~eν̄ )
= ∂ρ ~
e ν̄ = ~
e ν̄ + Λ ν̄
φ Λ µ̄ σ̄
Γ
ρ µ̄ν̄ ~
>
eσ̄ ,
∂xφ ∂xρ ∂xφ
∂ 2 xν̄
∴ Γλρφ~eλ = ~eν̄ .
∂xρ ∂xφ
∂ 2 xµ̄
Γλρφ~eλ = ~eµ̄ = Γλφρ~eλ ,
∂xφ ∂xρ
lo cual se cumple para todo ~eλ en esta base. Luego entonces:
Γσφρ = Γσρφ .
Así los Γλµν pueden ser cero en un sistema coordenado, pero no nulos en otro,
esto ya es claro, pues no son componentes de un tensor.
Se pueden definir las condiciones que definen a un sistema de coordenadas
localmente plano en el entorno de x0 por:
gµ̄ν̄x0 = ηµ̄ν̄ ,
⇒ Γλ̄x0 µ̄ν̄ = 0 ⇔ ∂µ̄ gµ̄ν̄x0 = 0.
∂xµ̄ ∂xν̄
gµν = gµνx0 + (x − x0 )λ ∂λ gµνx0 + O(x − x0 )2 = ηµ̄ν̄ + O(x − x0 )2 .
∂xµ ∂xν
Esto cumple con las dos condiciones requeridas para un sistema de coorde-
nadas localmente plano, empero la segunda derivada del tensor métrico no
necesariamente es igual a cero.
52 3. CÁLCULO TENSORIAL.
con xµ̄0 , Aµ̄κ y B µ̄κλ constantes. El siguiente paso será determinar la relación de
estas constantes con la expresión que relaciona ambos sistemas coordenados.
Nótese lo siguiente:
∂xµ̄
= Aµ̄µ + 2B µ̄µλ (x − x0 )λ ,
∂xµ
y se ve claramente que B µ̄µν = B µ̄νµ . De esta forma:
∂xµ̄ ∂xν̄
µ ν
= Aµ̄µ Aν̄ν + 2(Aµ̄µ B ν̄νλ + Aν̄ν B µ̄µλ )(x − x0 )λ + O(x − x0 )2 ,
∂x ∂x
gµν = ηµ̄ν̄ [Aµ̄µ Aν̄ν + 2(Aµ̄µ B ν̄νλ + Aν̄ν B µ̄µλ )(x − x0 )λ ] + O(x − x0 )2 ,
de donde ya se ve que:
y si se contrae con g κρ :
!
1
2g κρ ηµ̄ν̄ Aµ̄ρ B ν̄µν = g κρ ∂µ gρν + ∂ν gµρ − ∂ρ gµν ,
2
: 1 ν̄
⇒ 2Aκν̄ B ν̄µν = Γκµν ⇒ 2
Aν̄ κ
κ A ν̄ B = Aν̄κ Γκµν ,
µν
1
B ν̄µν = Aν̄κ Γκµν . (3.27)
2
Así pues, si se da A, B estará completamente determinada por los símbolos
de Christoffel.
Los símbolos determinan las correcciones cuadráticas a las coordenadas re-
lativas a las coordenadas localmente planas.
La matriz A tiene 16 componentes, mientras que el tensor métrico tiene 10,
por lo cual quedan 6 grados de libertad para cualquier transformación a un
sistema localmente plano, ¿tiene esto algún significado especial? Resulta que
sí, pues son los 3 ángulos que parametrizan a las rotaciones en los planos
x1 x2 , x1 x3 , x2 x3 , y las 3 transformaciones (boosts) en los planos x0 x1 , x0 x2 ,
x 0 x3 .
y de la ecuación 3.26:
∂xµ̄
Aµ̄µ = ,
∂xµ
la cual es la matriz jacobiana de la transformación. Tomando el determinante:
−1
det(g) = det AT ηA =
det{η}
:
(det(A))2 = −(det(A))2 ,
√
det(g) = g ⇒ det(A) = −g,
de esta forma:
√
dω = −gd4 x. (3.28)
hñ, ~ti = 0.
√
ds̃ = ñ −gd3 x. (3.29)
Ley de Gauss.
Primero se encontrará la expresión general para la divergencia de un campo
~ De la expresión del gradiente de A:
vectorial A. ~
∇ν Aµ = ∂ν Aµ + Γµνλ Aλ ,
se tiene:
!
1
Γµνλ = g µκ ∂ν gλκ + ∂λ gνκ − ∂κ gνλ ,
2
1
Γµµλ = g µκ (∂λ gµκ ).
2
56 3. CÁLCULO TENSORIAL.
√
∂µ log −g = g λκ ∂µ gλκ ,
∇µ V µ = ∂µ V µ + Γλλµ V µ ,
1 1 √
= ∂µ V µ + g λκ (∂µ gλκ )V µ = ∂µ V µ + ∂µ log −gV µ ,
2 2
1 √
⇒ ∇µ V µ = √ ∂µ ( −gV µ ).
−g
Z
√ Z
∇µ V µ dω =
∂µ ( −gV µ )d4 x,
I
~
I
√
hdã, V i = h −gd3 xñ, V µ~eµ i,
δ νµ
µ√ µ√
I I
3 3 ν
V −g xhñ, ~eµ i = nν V −gd hẽ,
x i
~eµ
:
,
de esta manera:
Z I
√
∇µ V µ dω = nµ V µ −gd3 x. (3.30)
d~x dxµ
~v = = ~eµ .
dλ dλ
3.4. TRANSPORTE PARALELO. 57
df ˜ ~v i = hẽµ ∂µ f, v ν ~eν i,
≡ ∇v f = h∇f,
dλ
= v ν ∂µ f hẽµ , ~eν i = v ν ∂µ f δνµ = v µ ∂µ f,
df
⇒ = v µ ∂µ f,
dλ
dxµ dxµ
~v = ~eµ ⇒ vµ = ,
dλ dλ
entonces:
df dxµ
= ∂µ f. (3.31)
dλ dλ
~
dA dAµ
= ~eµ ,
dλ dλ
~ a lo largo de ~v . Luego:
es la derivada covariante de A
dA~
= ∇v A ~ = h∇˜ A,
~ ~v i = h∇κ Aρ ẽκ ⊗ ~eρ , v µ~eµ i,
dλ
= v µ ∇κ Aρ hẽκ , ~eµ i~eρ = v µ ∇µ Aρ~eρ ,
dxµ
= v µ (∂µ Aρ + Γρµλ Aλ )~eρ = (∂µ Aρ + Γρµλ Aλ )~eρ ,
dλ
58 3. CÁLCULO TENSORIAL.
~ dAρ dxµ ρ
!
dA
= + Γρµλ A ~eρ . (3.32)
dλ dλ dλ
dT dxµ
= ∂µ T = 0.
dλ dλ
En un espacio curvo, se define el transporte paralelo del vector ~v a lo largo de
la trayectoria xµ (λ) por el requerimiento de que, a lo largo de la trayectoria:
!µ
D~v dxσ dxσ
= µ
∇σ v = (∂σ v µ + Γµσλ v λ ),
Dλ dλ dλ
µ
dv dxσ λ
= + Γµσλ v = 0.
dλ dλ
!µ1 ···µk
DT dxσ
= (∇σ T µ1 ···µk ν1 ···νl ),
Dλ ν1 ···νl
dλ
σ
dx
= (∂σ T µ1 ···µk ν1 ···νl + Γµσρ 1
T ρ1 µ2 ···µνk1 ···νl + · · · + Γµσρ k
T µ1 ···ρk ν1 ···νl
dλ 1 k
−Γρσν1
1
T µ1 ···µk ρ1 ν2 ···νl − · · · − Γρσν l
l
T µ1 ···µk ν1 ···ρl ) = 0,
!µ
DT dT µν dxσ ρ dxσ µ
= + Γµσρ T ν − Γρσν T = 0.
Dλ ν
dλ dλ dλ ρ
3.4.3. Geodésicas.
El transporte paralelo puede ser usado para definir una clase especial de
curvas llamadas geodésicas.
Una curva geodésica es aquella que transporta paralelamente a su propio
vector tangente:
d~x
~v = .
dλ
En este caso la ecuación:
!µ
D~v dv µ dxσ ρ
= + Γµσρ v = 0,
dλ dλ dλ
d 2 xµ σ
µ dx dx
ρ
+ Γ σρ = 0.
dλ2 dλ dλ
Así pues, una geodésica es la extensión natural de la línea recta en
un espacio curvo. En el caso del espacio plano, ya se sabe que Γµσρ = 0, de
manera que:
d 2 xµ
=0 ⇔ x µ = aµ λ + b µ ,
dλ2
y si se asume que el espacio es bidimensional, entonces:
3.5. CURVATURA 61
x1 = a1 λ + b 1 x1 − b 1
=⇒ λ= ,
x 2 = a2 λ + b 2 a1
!
2 a2
⇒x = (x1 − b1 ) + b2 ,
a1
!
2 a2 1 2 a2 1
∴ x = 1x + b − 1b ,
a a
3.5. Curvatura
A continuación se discutirá la curvatura del espacio-tiempo. Se notará que
ρ
dicha curvatura es cuantificada por el tensor de Riemann: Rσµν . También
se verá que este tensor está dado en términos de objetos más fundamentales:
g −→ Γ −→ R
δv ρ = (δa)(δb)Aµ B ν Rρσµν v σ ,
[∇µ , ∇ν ]v ρ = ∇µ ∇ν v ρ − ∇ν ∇µ v ρ ,
= ∇µ (∂ν v ρ + Γρνσ v σ ) − ∇ν ∇µ v ρ ,
Observaciones:
[∇µ , ∇ν ]v ρ = Rρσµν v σ .
Rρσµν = −Rρσνµ .
1
Rρσµν = ∂µ ∂σ gρν −∂µ ∂ρ gνσ −∂ν ∂σ gρµ +∂ν ∂ρ gµσ +gηλ (Γηνρ Γλµσ −Γηµρ Γλσν ).
2
Rρσµν = Rµνρσ
Antisimetría:
1 2 2
n (n − 1),
12
y si n = 4, entonces:
1
(16)(15) = 20.
12
Identidades de Bianchi.
El tensor de curvatura satisface una importante identidad diferencial. Al con-
siderar la derivada covariante del tensor de Riemann evaluada en un sistema
de coordenadas localmente plano, en el cual las conexiones son cero, aunque
sno sus derivadas:
66 3. CÁLCULO TENSORIAL.
∇λ Rρσµν = ∂λ Rρσµν , Γ = 0,
1
⇒ ∇λ Rρσµν = ∂λ (∂µ ∂σ gρν − ∂µ ∂ρ gνσ − ∂ν ∂σ gρµ + ∂ν ∂ρ gµσ ),
2
de donde se llega a:
pero, dado que esta es una ecuación tensorial, es válida para cualquier sistema
coordenado, aunque se haya derivado en un sistema en particular.
Es la asimetría Rρσµν = −Rσρµν la que permite poner este resultado sinteti-
zado como:
así que:
1
∇µ Rρµ = ∇ρ R. (3.38)
2
El tensor de Einstein se define como sigue:
1
Gµν ≡ Rµν − Rgµν ,
2
de manera que:
3.6. FORMAS DIFERENCIALES Y TEOREMA DE STOKES. 67
1
µ µ
∇ Gµν = ∇ Rµν − Rgµν ,
2
1
= ∇µ Rµν − ∇ν R = 0,
2
∇µ Gµν = 0, (3.39)
Z Z
I1 = i
F dx = i
F~ · d~x;
ZC ZC
I2 = Gi dsi = ~ · d~s,
G
S S
Z
= G1 dx2 ∧ dx3 + G2 dx3 ∧ dx1 + G3 dx1 ∧ dx2 ,
S
C, S, . . . −→ cadenas
objetos que se integran −→ formas diferenciales.
C0 , 0-cadena: punto
C1 , 1-cadena: línea
C2 , 2-cadena: superficie
C3 , 3-cadena: volumen
...
Cn , n-cadena
∂Zn = 0.
Por otra parte, existen algunas cadenas las cuales son en sí mismas fronteras
de cadenas de más alta dimensión, y se denotan por βn :
βn = ∂Cn+1 .
∂βn = ∂ 2 Cn+1 = 0 → ∂ 2 = 0,
Zn = βn .
Sin embargo, en general hay cadenas cerradas las cuales no son fronteras, por
ejemplo, el toro, figura 3.8
Ahora se discuten las formas diferenciales. Como se dijo antes, la integral de
una forma, sobre una cadena es un número. Se anota:
Z Z
ωn ≡ fi1 ···in dxin ∧ · · · ∧ dxin .
Cn Cn
ω0 , 0-forma: función
ω1 , 1-forma: Ai dxi , i = 1, 2, 3
dωn = ωn+1 ,
en el caso 3-dimensional:
d(dω1 ) = d2 ω1 ,
2
∂ A2 ∂ 2 A1
= − dx3 ∧ dx1 ∧ dx2
∂x3 ∂x1 ∂x3 ∂x2
2
∂ A2 ∂ 2 A3
+ − dx1 ∧ dx3 ∧ dx2
∂x1 ∂x3 ∂x1 ∂x2
2
∂ A1 ∂ 2 A3
+ 2 3
− 2 1 dx2 ∧ dx3 ∧ dx1 ,
∂x ∂x ∂x ∂x
2
∂ 2 A1
2
∂ A1 ∂ A2 ∂ 2 A2
= − + −
∂x2 ∂x3 ∂x3 ∂x2 ∂x3 ∂x1 ∂x1 ∂x3
2
∂ A3 ∂ 2 A3
+ − dx1 ∧ dx2 ∧ dx3 ,
∂x1 ∂x2 ∂x2 ∂x1
de esta forma resulta:
d2 ω1 = 0, (3.40)
ωn = dωn−1 .
El lema de Poincaré dice que todas las formas exactas son cerradas:
pero no es cierto en general que toda forma cerrada sea exacta, aunque sí lo
es en un espacio euclideano.
Resultados bien conocidos surgen de la fórmula de Stokes, la cual establece
que si ω es una p-forma y C una (p+1)-cadena, entonces:
Z Z
ω= dω.
∂C C
Z Z
ω2 = ∂i Ai dx1 ∧ dx2 ∧ dx3 ,
∂V I V Z
⇒ ~ · d~s =
A ~
div(A)dV,
∂V V
Simetrías en Física
Fundamental
x0i = Oij xj , i, j = 1, 2, . . . , n,
en donde los Oij son las componentes de matrices reales de N × N , las cuales
en general tienen N 2 componentes, pero la invariancia de la distancia al
origen genera restricciones:
73
74 4. SIMETRÍAS EN FÍSICA FUNDAMENTAL
esto es:
O> O = 1, (4.1)
1 1
N 2 − N (N + 1) = N (N − 1).
2 2
El número de parámetros del grupo O(N ) es igual al número de planos en el
espacio N-dimensional.
Sea una rotación infinitesimal:
x0i = xi + ω ij xj = (δ ij + ω ij )xj ,
y de la condición de ortogonalidad:
(δ ik + ω ik )(δ kj + ω kj ) = δ ij ,
ω ij = −ω ji . (4.2)
Los ω ij son paarámetros del grupo SO(N ). Por ejemplo, ω 12 es el ángulo que
caracteriza la rotación en el plano x1 x2 .
Se dice que D(θ) es una representación del grupo si satisface la ley de mul-
tiplicación:
D(θ̄)D(θ) = D(θ̄θ).
i i
D(θ) 1 + ω ij Mij D−1 (θ) = 1 + (θωθ−1 )ij Mij ,
2 2
i ij i
⇒ 1 + ω D(θ)Mij D−1 (θ) = 1 + (θωθ−1 )ij Mij ,
2 2
⇒ ω D(θ)Mij D (θ) = θ (ωθ ) Mij = θik ω kl (θ−1 )lj Mij ,
ij −1 ik −1 kj
i i
1 + ω kl Mkl Mij 1 − ω kl Mkl = (δ ki + ω ki )(δ jl + ω jl )Mkl ,
2 2
y como el desarrollo es a primer orden:
i
Mij + ω kl [Mkl , Mij ] = Mij + ω jl Mil + ω ki Mkj ,
2
i kl
⇒ ω [Mkl , Mij ] = ω kl (δjk Mil + δil Mkj ),
2
1 kl
= ω δjk Mil − δjl Mik + δil Mkj − δik Mlj ,
2
i[Mkl , Mij ] = δjk Mil − δjl Mik + δil Mkj − δik Mlj . (4.4)
Así, como δij es el tensor métrico del espacio eculideano, hay 1/2[N (N − 1)]
generadores Mij .
76 4. SIMETRÍAS EN FÍSICA FUNDAMENTAL
1
Ji = ijk Mjk ,
3!
de manera que si se despeja a la Mij :
1 1
irs Ji = irs ijk Mjk = (δrj δsk − δrk δsj )Mjk ,
3! 3!
1 2
= (Mrs − Msr ) = Mrs ,
3! 3!
⇒ Mrs = 3irs Ji ∴ Mrs = 3rsi Ji ,
i9klm ijn [Jm , Jn ] = 3(δjk ilm − δjl ikm + δil kjm + δik ljm )Jm ,
i ij M
O(ω) = e 2 ω ij
= eiJi θi ,
en donde se tiene:
1 1
Ji = ijk Mjk θi = ijk ωjk ,
3! 3!
4.1. GRUPOS ORTOGONALES 77
por ejemplo:
1 0 0
O(θ1 ) = 0 cos θ1 − sin θ1 .
0 sin θ1 cos θ1
Espinores
En general existen tres tipos de representaciones del grupo SO(N ):
Espinoriales.
{Γi , Γj } = 2δ ij , (4.6)
i
M ij ≡ [Γi , Γj ],
4
esta elección particular de los generadores satisface el álgebra de Lie del
grupo.
En general uno puede hallar una representación espinorial de SO(N ) (para
N par) que es compleja y tiene dimensión 2N/2 . En este caso de dimensión
par se puede construir una matriz adicional, definida por:
ΓN +1 ≡ iΓ1 · · · · · ΓN ,
78 4. SIMETRÍAS EN FÍSICA FUNDAMENTAL
Γi Γj = −Γj Γi (Γi )2 = 1,
(ΓN +1 )2 = 1 {ΓN +1 , Γi } = 0.
1 1
PL ≡ 1 − ΓN +1 PR ≡ 1 + ΓN +1 ,
2 2
PL2 = PL PR2 = PR PL PR = 0.
llamados espinores.
Los proyectores izquierdo, PL , y derecho, PR , permiten definir dos espinores
diferentes e independientes:
ψL ≡ PL ψ ψR ≡ PR ψ.
Nótese que:
ψL + ψR = PL ψ + PR ψ = (PL + PR )ψ = 1ψ = ψ.
4.1. GRUPOS ORTOGONALES 79
{Γi , Γj } = 2δ ij i, j = 1, . . . , N + 1.
Los generadores son como en el caso de la dimensión par, sólo que ahora su
número es mayor:
i 1 1
Mij = [Γi , Γj ] (N + 1)(N + 1 − 1) = N (N + 1).
4 2 2
En un espacio de dimensión impar no se puede introducir quiralidad, ya que es
imposible construir una matriz, aparte de las N+1 Γi , que sea independiente.
Como ejemplo, considérese el caso más simple, SO(2); se puede decir con
facilidad que las matrices:
! !
1 0 1 2 0 −i
Γ = , Γ = ,
1 0 i 0
! ! !
N +1 3 0 1
1 2 0 −1 1 0
Γ = Γ = −iΓ Γ = = ,
1 0 1 0 0 −1
(Γ3 )2 = 1 {Γ3 , Γi } = 0,
! !
1 0 0 1 1 0
PL = 1 − Γ3 = PR = 1 + Γ3 =
2 0 1 2 0 0
P L + PR = 1 .
! ! !
0 0 0 0 0 0
PL2 = = = PL ,
0 1 0 1 0 1
! ! !
1 0 1 0 1 0
PR2 = = = PR ,
0 0 0 0 0 0
! !
0 0 1 0 i
PL PR = = 0, M ij = [Γ1 , Γ2 ] = M 12 .
0 1 0 0 4
i
M ij = [Γi , Γj] → M 12 , M 13 , M 23 .
4
Es posible concluir que la representación fundamental de SO(3) tiene dimen-
sión 2. Resulta, además, que:
4.2. GRUPOS UNITARIOS 81
SO(3) ∼ SU (2).
i i
D(θ)Γ D (θ) = 1 + ω kl M kl Γi 1 − ω kl M kl ,
i −1
2 2
i
= Γi + ω jk [M kj , Γi ] = (θ−1 )ij Γi .
2
El grupo SU(N)
Los elementos de este grupo son las matrices unitarias N × N con deter-
minante +1. Esta representación de dimensión N es llamada representación
fundamental.
Sea U ∈ SU (N ), entonces el número de parámetros independientes de U es:
a ta
U (α) = eiα ,
siendo:
ta† = ta a = 1, . . . , N 2 − 1,
a ta a ta
U † = (eiα )† = e−iα ,
luego:
T r(ta ) = 0,
1
T r(ta tb ) = δ ab .
2
Ahora sean U (α), U (β) ∈ SU (N ), luego:
a ta b b
U (α)U (β) = eiα eiβ t ,
eA eB = eA+B+1/2[A,B]+1/3![[A,B],B]+... ,
se halla que:
más aún:
i
T r([ta , tb ]tc ) = if abd T r(td tc ) = if abd (1/2δ dc ) = f abc ,
2
abc a b c
⇒ f = −2iT r([t , t ]t ),
{ta , tb } ≡ ta tb + tb ta = {ta , tb }† ,
luego entonces:
de manera que:
1 ab
{ta , tb } = δ 1 + dabc tc ,
N
84 4. SIMETRÍAS EN FÍSICA FUNDAMENTAL
siendo dabc constantes reales y simétricas. En principio esto puede ser difícil
de ver, pero nótese lo siguiente:
de manera que sí se corroboran los resultados. Por otro lado, nótese lo si-
guiente:
Representaciones de SU(N)
La representación de más baja dimensión de SU (N ) es la fundamental, la
cual es de dimensión N. En esta representación, los elementos de SU (N ) son
matrices unitarias de dimensión N × N , U (α), que actúan sobre vectores
complejos N-dimensionales:
φ1
φ = . . . φ0 = U (α)φ,
φN
φ0i = U ij φj i, j = 1, . . . , N.
= 1 + iαa ta
a ta
U (α) = eiα ⇒ U ij = δ i j + iαa (ta )i j ,
∴ φ0i = φi + δφi δφi ≡ iαa (ta )i j φj ,
4.2. GRUPOS UNITARIOS 85
χ0† φ0 = (U χ)† (U φ) = χ† U † U φ = χ† φ.
La representación adjunta
Esta representaición siempre es real. Considérense las propiedades de trans-
formación del objeto φi χ†j , el cual tiene N 2 componentes:
mj i ≡ (φχ† )j i ,
m0 = U mU † ,
1 1
mj i = φi χ†j = φi χ†j − (T r(m))δ ji + (T r(m))δ ji ,
N N
1
⇒ m i = M i + (T r(m))δ ji ,
j j
N
M M0 = UMU† → N 2 − 1 componentes,
S S0 = S → 1 componente,
de manera que M puede ser escrita como una combinación lineal de los N 2 −1
generadores ta :
M = Aa ta a = 1, . . . , N 2 − 1,
⇒ M ji = Aa (ta )j i ,
Nótese que:
4.2. GRUPOS UNITARIOS 87
[T a , T b ] = if abc T c ,
1. Las leyes de la Física lucen igual en todos los sistemas de referencia iner-
ciales.
89
90 5. SIMETRÍAS DEL ESPACIO-TIEMPO PLANO.
Así pues:
[
{Grupo de Lorentz} {Grupo de las traslaciones} = {Grupo de Poincaré}
SO(1, 3) ∪ T (1, 3) = ISO(1, 3).
Reversión en el tiempo.
00
x cosh ξ − sinh ξ 0 0 x0
x01 − sinh ξ cosh ξ 0 0 1
x
= 2 ,
02
x 0 0 1 0 x
x03 0 0 0 1 x3
siendo:
v
β≡ tanh ξ = β γ ≡ (1 − β 2 )−1/2 ,
c
y de esta manera:
muestra que la norma no es definida positiva. De acuerdo con esto, los inter-
valos se clasifican en tres categorías:
s212 = (x00 00 2
1 − x2 ) ,
los eventos ocurren en el mismo punto del espacio, pero a tiempos dis-
tintos. Pueden estar relacionados causalmente o no.
los eventos son simultáneos, pero ocurren en puntos distintos del espacio.
No pueden estar relacionados causalmente.
iii. s212 = 0: intervalo luzoide. Son aquellos eventos que están en el deno-
minado “cono de luz”, los cuales son conectados por partículas que se
mueven a la velocidad límite.
1 0 0 0
0 −1 0 0
η= .
0 0 −1 0
0 0 0 −1
de esta manera:
det(Λ) = ±1.
det(Λ) = 1.
ΛP Λ = ΛT Λ,
1 0 0 0
0 −1 0 0
ΛP = =η Λ P xµ = xµ ,
0 0 −1 0
0 0 0 −1
−1 0 0 0
0 1 0 0
ΛT = = −η ΛT xµ = −xµ .
0 0 1 0
0 0 0 1
Boosts:
cosh ξ1 sinh ξ1 0 0
− sinh ξ cosh ξ 0 0
1 1
Λ(ξ1 ) = correspondiente al eje “x”,
0 0 1 0
0 0 0 1
cosh ξ2 0 − sinh ξ2 0
0 1 0 0
Λ(ξ2 ) = correspondiente al eje “y”,
− sinh ξ2 0 cosh ξ2 0
0 0 0 1
cosh ξ3 0 0 − sinh ξ3
0 1 0 0
Λ(ξ3 ) =
correspondiente al eje “z”.
0 0 1 0
− sinh ξ3 0 0 cosh ξ3
Rotaciones:
5.1. OPERACIONES DISCRETAS 95
1 0 0 0
0 1 0 0
Λ(θ1 ) = plano “yx”,
0 0 cos θ1 sin θ1
0 0 − sin θ1 cos θ1
1 0 0 0
0 cos θ
2 0 − sin θ2
Λ(θ2 ) =
plano “xz”,
0 0 1 0
0 sin θ2 0 cos θ2
1 0 0 0
0 cos θ3 sin θ3 0
Λ(θ3 ) = “plano xy”.
0 − sin θ3 cos θ3 0
0 0 0 1
1 d
Ki = Λ(ξi ) ,
i dξi ξi =0
1 d
Ji = Λ(θi ) ,
i dθi ξi =0
luego entonces:
0 −i 0 0 0 0 −i 0
−i 0 0 0 0 0 0 0
K1 =
K2 =
0 0 0 0 −i 0 0 0
0 0 0 0 0 0 0 0
0 0 0 −i 0 0 0 0
0 0 0 0 0 0 0 0
K3 = J1 =
0 0 0 0 0 0 0 −i
−i 0 0 0 0 0 i 0
0 0 0 0 0 0 0 0
0 0 0 i 0 0 −i 0
J2 = J3 = .
0 0 0 0 0 i 0 0
0 i 0 0 0 0 0 0
96 5. SIMETRÍAS DEL ESPACIO-TIEMPO PLANO.
[Ki , Kj ] = −iijk Jk ,
1 1
Ai = (Ji + iKi ) Bi = (Ji − iKi ),
2 2
de donde ya se nota que A†i = Bi y Bi† = Ai . Luego:
j = 0, 1/2, 1, . . . , j m = −j, . . . , 0, . . . , j.
x0µ = Λµν xν + aµ ,
x00µ = Λ̄µρ x0ρ + āµ = Λ̄µρ (Λρν xν + aρ ) + āµ = (Λ̄µρ Λρν )xν + (Λ̄a + ā)µ .
Λµν = δ µν + ω µν , aµ = µ ,
i
U (1 + ω, ) = 1 + ωµν J µν − iµ P µ ,
2
siendo los J µν generadores del grupo de Lorentz, SO(1,3), y que cumplen
J µν = −J νµ , por la antisimetría de ωµν , y P µ los generadores del grupo de
traslaciones T(1,3).
Ahora se considerarán las propiedades de transformación de los generadores.
Para tal fin:
de manera que:
= U 1 + ΛωΛ−1 , Λ − ΛωΛ−1 a
i
U (Λ, a) 1 + ωρτ J ρτ − iρ P ρ U −1 (Λ, a)
2
i
= 1 + (ΛωΛ−1 )µν J µν − i(Λ − ΛωΛ−1 a)µ P µ ,
2
1
⇒ U (Λ, a) ωρτ J − ρ P U −1 (Λ, a)
ρτ ρ
2
1
= (ΛωΛ−1 )µν J µν − (Λ − ΛωΛ−1 a)µ P µ ,
2
5.2. ÁLGEBRA DE POINCARÉ 99
y además:
1
U (Λ, a) ωρτ J ρτ − ρ P ρ U −1 (Λ, a)
2
1 1
= ωρτ Λ µ Λν J + ωρτ Λρµ Λντ (aν P µ − aµ P ν ) − ρ Λρµ P µ ,
ρ τ µν
2 2
y:
luego entonces:
en particular:
i i
1 + ωµν J µν − iµ P µ J ρτ 1 − ωµν J µν + iµ P µ
2 2
= (δ ρµ + ω ρµ )(δ τν + ω τν )(J µν + aν P µ − aµ P ν )
= J ρτ + ω ρµ J µτ + ω τν J ρν − ρ P τ + τ P ρ ,
de esta manera:
i
J ρτ + ωµν [J µν , J ρτ ] + iµ [J ρτ , P µ ]
2
= J + η ωνµ J µτ + η τ µ ωµν J ρν − η ρµ µ P τ + η τ µ µ P ρ ,
ρτ ρν
i
⇒ ωµν [J µν , J ρτ ] + iµ [J ρτ , P µ ]
2
1 1
= ωµν (η τ µ J ρν − η τ ν J ρµ ) − ωµν (η ρν J µτ − η ρµ J ντ ) + µ (η τ µ P ρ − η ρµ P τ )
2 2
de lo anterior se tiene:
i[J ρτ , J µν ] = η ρν J µτ − η ρµ J ντ − η τ µ J ρν + η τ ν J ρµ
i[J ρτ , P µ ] = η τ µ P ρ − η ρµ P τ .
i i
1 + ωµν J µν − iµ P µ P ρ 1 − ωµν J µν + iµ P µ
2 2
= (δ ρµ + ω ρµ )P µ ,
i
⇒ ωµν [J µν , P ρ ] + iµ [P ρ , P µ ] = η ρν ωνµ P µ ,
2
∴ [P ρ , P µ ] = 0.
i[J ρτ , J µν ] = η ρν J µτ − η ρµ J ντ − η τ µ J ρν + η τ ν J ρµ (5.5)
i[J ρτ , P µ ] = η τ µ P ρ − η ρµ P τ (5.6)
[P ρ , P µ ] = 0. (5.7)
1
P 2 = Pµ P µ ωµ = − µνρτ J νρ P τ ,
2
y se nota que P µ ωµ = 0. Un ejemplo de lo anterior:
p2 → m2 masa de la partícula
ω 2 → s(s + 1)m2 espín de la partícula.
102 5. SIMETRÍAS DEL ESPACIO-TIEMPO PLANO.
6
S[q a ],
y se define:
Z
a
S[q ] ≡ dt L(q a , q̇ a ),
103
104 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
δS = 0
Z
δS
δS = dt δq a (t) = 0,
δq a (t)
en analogía con:
∂f i
df = dq ,
∂q i
luego:
δS
= 0, (6.1)
δq a (t)
a
Z
δS
δS[q ] = dt δq a (t)
δq a (t)
δ
Z Z
a 0 a 0 a 0
= dt δq (t) a dt L(q (t ), q̇ (t )) = 0,
δq (t)
d ∂L ∂L
a
− a = 0. (6.2)
dt ∂ q̇ ∂q
f = f (q a , q̇ a ).
∂L
pa ≡ , (6.3)
∂ q̇ a
esto requiere resolver las q̇ a como funciones de q’s y p’s, es decir, como funcio-
nes en el nuevo espacio, llamado espacio fase o espacio de estados clásico.
este procedimiento no siempre es posible. Cuando esto ocurre se dice que
se tiene un sistema singular.
Se define la función hamiltoniana como la transformación de Legendre:
106 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
H(q a , pa ) = pa q a − L
a ∂ ∂L
⇒ dH =
pa
dq̇ + q a dpa − a Ldq a − a dq̇ a ,
∂q ∂ q̇
dH = q̇ a dpa − ṗa dq a ,
∂H a ∂H
dH = dq + dpa ,
∂q a ∂pa
∂H ∂H
q̇ a = ṗa = − , (6.4)
∂pa ∂q a
estas son las ecuaciones de Hamilton, las cuales se obtienen de las de La-
grange, pero también se pueden obtener del principio extremal de Hamilton,
considerando a la acción como funcional de q’s y p’s:
Z Z
S= dt L = dt (pa q a − H)
δS δS
Z
a
⇒ δS = dt δq (t) a + δpa (t) = 0.
δq (t) δpa (t)
f = f (q a , pa ).
6.1. GRADOS DE LIBERTAD BOSÓNICOS 107
∂f ∂g ∂f ∂g
{f, g} ≡ − , (6.5)
∂q a ∂pa ∂pa ∂q a
de esta forma:
∂f ∂g
{f, g} = ΓAB , xA = q a , pa ,
∂xA ∂xB
siendo ΓAB una matriz 2N × 2N antisimétrica dada por:
0 1
!
Γ= , 0, 1 matrices N × N ΓAB = −ΓBA .
1 0
En particular, si f = xA y g = xB , se tiene:
{q a , pb } = δ ab {q a , q b } = 0 = {pa , pb }.
3. Identidad de Jacobi.
Nótese ahora que las ecuaciones de Hamilton se pueden reunir como un sólo
tipo de ecuación como sigue:
108 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
∂H ∂xA ∂H
ẋA = ΓAB = ΓBC ,
∂xB ∂xB ∂xC
entonces:
yA = yA (x),
xA = xA (y).
{xA , xB } = ΓAB .
Interesan sólo aquellos tipos de transformaciones en las que las nuevas coorde-
nadas también forman pares canónicos, i.e. interesan únicamente los mapeos
del espacio fase en el espacio fase:
∂yA ∂yB
{yA , yB } = ΓCD = ΓAB , (6.8)
∂xC ∂xD
esto es:
M > ΓM = Γ.
∂yA ∂yA ∂H
ẏA =ẋB = ΓBC
∂xB ∂xB ∂xC
∂yA ∂H ∂yD ∂H
= ΓBC ⇒ ẏA = {yA , yD }
∂xB ∂yD ∂xC ∂yD
∂H
⇒ ẏA = ΓAD ,
∂yD
yA = yA (x),
entonces se tendrá:
∂f ∂g ∂f ∂yC ∂g ∂yD
{f, g}x = ΓAB = ΓAB
∂xA ∂xB ∂yC ∂xA ∂yD ∂xB
∂f ∂yC ∂yD ∂g
= ΓAB
∂yC ∂xA ∂xB ∂yD
∂f ∂g
= {yC , yD } ,
∂yC ∂yD
∂f ∂g
{f, g}x = ΓCD = {f, g}y . (6.9)
∂yC ∂yD
110 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
yA = xA + δxA ,
o bien:
Qa = q a + δq a Pa = pa + δpa .
F 2 = q a Pa ,
∂F2 ∂F2
Qa = = qa pa = = Pa .
∂Pa ∂q a
F2 = q a Pa + G(q, P ),
∂F2 ∂G ∂G
pa = a
= Pa + a ⇒ δpa = Pa − pa = − .
∂q ∂q ∂q a
∂F2 ∂G
Qa = = qa +
∂Pa ∂Pa
∂G ∂p ∂G ∂ ∂G
b
= qa + = qa + Pb + ,
∂pb ∂Pa ∂pb ∂Pa ∂qb
6.1. GRADOS DE LIBERTAD BOSÓNICOS 111
∂G ∂G
Qa = q a + ⇒ δq a = Qa − q a = .
∂pa ∂pa
En resumen se tiene:
∂G ∂G
δq a = δpa = − ,
∂pa ∂q a
o de manera general:
∂G
δxA = ΓAB = {xA , G},
∂xB
de esta manera:
dxA
= {xA , G}. (6.10)
dα
112 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
Esto sugiere que cualquier observable puede ser asociada con un generador
G.
Más aún, la transformación infinitesimal es canónica:
∂f ∂f
f˙ = ẋA +
∂xA ∂t
∂f ∂H ∂f ∂f
⇒ f˙ = ΓAB + = {f, H} + .
∂xA ∂xB ∂t ∂t
∂f ∂f
{f, H} + =0 ⇔ {H, f } = ,
∂t ∂t
y si resulta que f no depende explícitamente del tiempo:
{f, H} = 0. (6.11)
6.2. GRADOS DE LIBERTAD FERMIÓNICOS 113
δf = {f, G},
y, en efecto:
∂f
δf ≡ f (x + δx) − f (x) = f (x) + δxA − f (x)
∂xA
∂f ∂G
= ΓAB = {f, G},
∂xA ∂xB
así que:
Y si se hace f = H en 6.12:
dG
δH = {H, G} {H, G} = − ,
dt
esto es:
dG
δH = − , (6.13)
dt
lo anterior dice que las constantes de movimiento generan transformaciones
canónicas que dejan invariante a H.
1
{ , } −→ [ , ]−
i~
pues { , } y [ , ] tienen el mismo tipo de álgebra. Pero en teoría cuántica
existen subsistemas que deben ser cuantizados con anticonmutadores:
1
{ , } −→ [ , ]+
i~
así que también se requiere que { , } tenga las mismas propiedades del anti-
conmutador; se requieren, entonces, números anticonmutantes, los números
de Grassmann.
Así pues, se debe generalizar el paréntesis de Poisson para que posea ambas
propiedades, de conmutador y anticonmutador, pues en teoría cuántica es
necesario. De esta forma se puede aplicar el postulado de cuantización:
1
{ , } −→ [ , ]±
i~
el objetivo será disponer de una mecánica clásica adecuada para poder estu-
diar sistemas con grados de libertad bosónicos y fermiónicos.
ξ A ξ B + ξ B ξ A = 0,
6.2. GRADOS DE LIBERTAD FERMIÓNICOS 115
1, ξ A , ξ A ξ B , . . . , ξ A ξ B · · · ξ n ,
(ξ A )2 = 0 ξ A ξ B = −ξ B ξ A .
donde los coeficientes gA1 , gA1 A2 ξ A1 A2 , etcétera, son todos antisimétricos bajo
cualquier intercambio de índices. El coeficiente g0 es la componente de g a lo
largo de la identidad.
Los generadores ξ A son entes totalmente abstractos, en lo que sigue se hará
una distinción entre variables pares (conmutantes) e impares (anticonmutan-
tes):
de esta forma:
a
q a (t) = q0a (t) + qAB (t)ξ A ξ B + · · · (par)
α
ϑ (t) = ϑαA (t)ξ A + ϑαABC ξ A ξ B ξ C + ··· impar
donde los coeficientes q0a (t), . . . , ϑαA (t), . . . son números complejos. La serie
termina si n es finito. Los generadores ξ A son sólo artefactos abstractos au-
xiliares, no juegan ningún papel, ni clásico ni cuántico.
6.2.2. Superfunciones
f = f0 (q0a , qAB
a
, . . . , ϑαA , . . .) + fA (q0a , qAB
a
, . . . , ϑαA , . . .)ξ A
+fAB (q0a , qAB
a
, . . . , ϑαA , . . .)ξ A ξ B + · · · ,
por ejemplo:
donde las funciones fαβ , fαβγ , etc. de las q’s son totalmente antisimétricas en
sus subíndices. En lo sucesivo las superfunciones serán llamadas simplemente
funciones, ya que sólo este tipo de funciones serán consideradas.
6.2. GRADOS DE LIBERTAD FERMIÓNICOS 117
6.2.3. Diferenciación
Con números ordinarios (pares), la diferencial de una función f de varias
variables xi se define por:
X ∂f X ∂f
df = dxi = dxi
i ∂xi i ∂xi
∂L f ∂L f ∂~
δf = δϑα ⇒ ≡ f (6.14)
∂ϑα ∂ϑα ∂ϑα
y las derivadas derechas por:
∂R f α ∂R f ∂
δf = δϑ ⇒ ≡ (f ) α , (6.15)
∂ϑα ∂ϑ α ∂ϑ
y como la diferencial debe ser única:
∂L f ∂R f α
δf = δϑα α
= δϑ ,
∂ϑ ∂ϑα
por ejemplo, sea f = ϑα ϑβ , entonces:
∂L f ∂~
= (ϑα ϑβ ) = δ αλ ϑβ + ϑα δ βλ
∂ϑλ ∂ϑλ
∂R f ∂
λ
= (ϑα ϑβ ) α = ϑα δ βλ + δ αλ ϑβ ,
∂ϑ ∂ϑ
entonces:
∂L f α β α β ∂L f α
δf = δϑλ = δϑ λ α β
(δ λ ϑ + ϑ δ λ ) = (ϑ δ λ + δ α β
λ ϑ )δϑ λ
= δϑ .
∂ϑλ ∂ϑλ
118 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
f = fE + fO ,
(f g) = f + g ,
z A = q a , ϑα ,
entonces:
∂L,R f parsi f y z A son pares o impares
= f + A =
∂z A impar en otro caso.
6.2. GRADOS DE LIBERTAD FERMIÓNICOS 119
∂L f ∂R f
= ,
∂z A ∂z A
lo cual significa que se debe tener cuidado sólo cuando A = 1.
Sea f una función arbitraria de q’s y ϑ’s. Se fijará la atención sobre una
de las coordenadas fermiónicas ϑ, por simplicidad. Entonces, sin pérdida de
generalidad, se puede escribir:
f = ϑg + h,
∂L f ∂L
= ϑg + f = g,
∂ϑ ∂ϑ
∂R f ∂ ∂ ∂
= ϑg + f = ϑg = (−1)g ϑ gϑ
∂ϑ ∂ϑ ∂ϑ ∂ϑ
∂R f
⇒ = (−1)g ϑ g,
∂ϑ
f = (ϑg) = ϑ + g ⇒ g = f − ϑ
⇒ g = f − ϑ + 2ϑ ⇒ g = f + ϑ ,
por lo tanto:
∂R f
= (−1)ϑ (f +ϑ ) g = (−1)ϑ (f +1) g,
∂ϑ
120 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
∂L f ∂R f ∂L f
=g ⇒ = (−1)ϑ (f +1) ,
∂ϑ ∂ϑ ∂ϑ
∂R f ∂L f ∂L f
(−1)ϑ (f +1) = [(−1)ϑ (f +1) ]2 = ,
∂ϑ ∂ϑ ∂ϑ
de esta forma se concluye:
∂L f = (−1)ϑ (f +1) ∂∂ϑ
Rf
,
∂ϑ
(6.16)
∂R f = (−1) ϑ (f +1) ∂L f
.
∂ϑ ∂ϑ
1. (AB)∗ = B ∗ A∗
2. (A∗ )∗ = A
3. (λA)∗ = λ∗ A∗ , λ ∈ C.
∂ L ∂L ∂L ∂L
a) ∂ϑα ∂ϑβ
= − ∂ϑβ ∂ϑα
∂ L ∂R ∂R ∂L
b) ∂ϑα ∂ϑβ
= ∂ϑβ ∂ϑα
.
∂L ∂L ∂L ∂L ∂L ∂L
α β
f = (−1)α β β α f = − β α f.
∂ϑ ∂ϑ ∂ϑ ∂ϑ ∂ϑ ∂ϑ
En cuanto al inciso b) se tendrá:
∂L ∂R ∂~ ∂
f = (f ) ,
∂ϑα ∂ϑβ ∂ϑα ∂ϑβ
y por otro lado:
∂R ∂L ∂~ ∂
β α
f = α
(f ) β ,
∂ϑ ∂ϑ ∂ϑ ∂ϑ
esto es que ambas partes son iguales.
Ahora, si f es una función par y real de ϑα , es posible mostrar que la derivada:
∂f
∂ϑα
es impar e imaginaria. Esto es simple, pues f se puede anotar como sigue:
f = f0 + fαβ ϑα ϑβ + fαβρσ ϑα ϑβ ϑρ ϑσ + · · · .
∂f ∂ α β ∂ α β ρ σ
= f αβ ϑ ϑ + f αβρσ ϑ ϑ ϑ ϑ + ··· ,
∂ϑα ∂ϑα ∂ϑα
pues los coeficientes son funciones de las q’s. Luego:
∂f
α
= fαβ ϑβ + fαβρσ ϑβ ϑρ ϑσ + · · · ,
∂ϑ
122 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
∂f
= g = gα ϑα + gαβρ ϑα ϑβ ϑρ + · · · ,
∂ϑα
de donde se sigue que es una función impar.
Por otro lado, nótese lo siguiente:
f ∗ = f0∗ − fαβ
∗ ∗
ϑα ϑβ + fαβρσ ϑα ϑβ ϑρ ϑσ − · · · .
f0∗ = f0 ∗
fαβ = −fαβ ∗
fαβρσ = fαβρσ ,
y así sucesivamente, resulta que las funciones de q’s no son todas reales, sino
que alternan entre reales e imaginarias.
Y volviendo a la expresión de la derivada de f :
g = fαβ ϑβ + fαβρσ ϑβ ϑρ ϑσ + · · · ,
g ∗ = fαβ
∗ ∗
ϑβ∗ + fαβρσ ϑσ∗ ϑρ∗ ϑβ∗ + · · · ,
g ∗ = −fαβ ϑβ − fαβρσ ϑβ ϑρ ϑσ − · · · ,
6.3. FORMALISMO CANÓNICO PARA VARIABLES BOSÓNICAS Y FERMIÓNICAS123
∂L ∂L L
pa ≡ πα ≡ , (6.17)
∂ q̇ a ∂ ϑ̇α
H = q̇ a pa + ϑ̇α πα − L,
Z 2
0 = δS = δ dt(q̇ a pa + ϑ̇α πα − H),
1
y realizando la variación:
Z 2
a a α
0= dt q̇ δpa + pa δ q̇ + δ(ϑ̇ πα ) − δH ,
1
∂L α ∂L α
δ(ϑ̇α πα ) = δ ϑ̇β ϑ̇ π α + δπ β ϑ̇ πα
∂ ϑ̇β ∂π β
= δ ϑ̇β δ αβ πα − δπβ ϑ̇α δ αβ
= δ ϑ̇α πα − δπα ϑ̇α ,
además:
∂H ∂H α ∂L H ∂L H
δH = δq a + δp a + δϑ + δπ α ,
∂q a ∂pa ∂ϑα ∂πα
de manera que resulta:
Z 2
d ∂H ∂H d
dt q̇ a δpa + pa δq a − δq a a − δpa + δϑα πα − δπα ϑ̇α
1 dt ∂q ∂pa dt
α ∂L H ∂L H
−δϑ − δπα = 0,
∂ϑα ∂πα
pero también:
2
Z 2 Z 2 Z 2
d d
dt pa δq a = dt pa δq a − δq a ṗa = pa δq a − dt δq a ṗa ,
1 dt 1 dt 1 1
Z 2 2 Z 2
d
δϑα πα = δϑα πα − dt δϑα π̇α ,
dt
1 dt 1 1
Z 2
∂H ∂H ∂L H
dt − ṗa + a δq a + q̇ a − δpa − δϑα π̇α +
1 ∂q ∂pa ∂ϑα
∂L H
−δπα ϑ̇α + =0
∂πα
∂H ∂H ∂L H ∂L H
q̇ a = ṗa = − ϑ˙α = − π̇α = − . (6.18)
∂pa ∂q a ∂πα ∂ϑα
6.3. FORMALISMO CANÓNICO PARA VARIABLES BOSÓNICAS Y FERMIÓNICAS125
df ∂f ∂f ∂L f ∂L f
f˙ = = q̇ a a + ṗa + ϑ̇α α + π̇α
dt ∂q ∂pa ∂ϑ ∂πα
∂H ∂f ∂H ∂f ∂L H ∂L f ∂L H ∂L f
= − − + ,
∂pa ∂q a ∂q a ∂pa ∂πα ∂ϑα ∂ϑα ∂πα
∂E ∂F ∂E ∂F ∂L E ∂L F ∂L E ∂L F
{F, E} ≡ a
− a − α
+ . (6.19)
∂pa ∂q ∂q ∂pa ∂πα ∂ϑ ∂ϑα ∂πα
Para construir su forma más general, se requiere que el paréntesis de Poisson
tenga las mismas propiedades que su contraparte cuántica. Dado que en
teoría cuántica se debe usar un conmutador cuando una de las variables es
par, es necesario que:
si F es par, entonces:
∂L E ∂L F ∂L F ∂L E
α
=− α ,
∂πα ∂ϑ ∂ϑ ∂πα
si F es impar, (?) proporciona una definición para el caso impar.par.
Resta definir el paréntesis de Poisson para dos funciones impares ϕ1 y ϕ2 .
En este caso, se demanda que el paréntesis de Poisson tenga las mismas
propiedades algebraicas del anticonmutador. En particular:
∂f ∂g ∂f ∂g f ∂L f ∂L g ∂L f ∂L g
{f, g} = + + (−1) + ,
∂q a ∂pa ∂pa ∂q a ∂ϑα ∂πα ∂πα ∂ϑα
{z A , z B } = ΓAB ,
∂R f AB ∂L g
{f, g} = Γ , (6.20)
∂z A ∂z B
{q a , q b } {q a , pb } {q a , ϑα } {q a , πα }
{p , q a } {pa , pb } {pa , ϑα } {pa , πα }
Γ = aα a ,
{ϑ , q } {ϑα , pa } {ϑα , ϑβ } {ϑα , πβ }
{πα , q a } {πα , pa } {πα , ϑβ } {πα , πβ }
es decir:
6.3. FORMALISMO CANÓNICO PARA VARIABLES BOSÓNICAS Y FERMIÓNICAS127
0 1 0 0
−1 0 0 0
Γ= .
0 0 0 −1
0 0 −1 0
∂R f AB ∂L g
{f, g} = Γ
∂z A ∂z B
∂R f ∂L g ∂R f ∂L g ∂R f ∂L g ∂R f ∂L g
= − − α −
∂q a ∂pa ∂pa ∂q a ∂ϑ ∂πα ∂πα ∂ϑα
∂f ∂g ∂f ∂g ϑα (f +1) ∂L f ∂L g πα (f +1) ∂L f ∂L g
= − − (−1) + (−1)
∂q a ∂pa ∂pa ∂q a ∂ϑα ∂πα ∂πα ∂ϑα
∂f ∂g ∂f ∂g f ∂L f ∂L g ∂L f ∂L g
= − + (−1) + ,
∂q a ∂pa ∂pa ∂q a ∂ϑα ∂πα ∂πα ∂ϑα
4. ({f, g}) = f + g
128 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
y debido a que en Γ las únicas entradas que no son cero son aquellas en las
que A y B son ambas bosónicas o fermiónicas, serán estos los únicos casos
de interés; como consecuencia:
de esta forma:
∂R f AB ∂L (g1 g2 )
{f, g1 g2 } = Γ
∂z A ∂z B
∂R f AB ∂L g1 ∂L g2
B g1
= AΓ g2 + (−1) g1 B
∂z ∂z B ∂z
∂R f AB ∂L g1 ∂ f ∂L g2
R
= A
Γ B
g2 + (−1)B g1 A ΓAB g1 B
∂z ∂z ∂z ∂z
∂R f AB ∂L g2
B g1 +g1 (A +f )
= {f, g1 }g2 + (−1) g1 Γ ,
∂z A ∂z B
y debido a que B g1 + g1 (A + f ) = g1 (A + B ) + g1 f , lo cual sólo tendrá
sentido si A = B , entonces:
Z
S[q, ϑ, ϑ̄] = dtL,
1
L = q̇ 2 + iϑ̄˙ ϑ̇,
2
1 2
(L) = q̇ + iϑ̄˙ ϑ̇ = 0 + 1 + 1 = 0,
2
y también se nota:
130 6. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS REGULARES
1 2
∗
1
L = ∗
q̇ + iϑ̄˙ ϑ̇ = q̇ 2 + (iϑ̄˙ ϑ̇)∗
2 2
1 2 1 1
= q̇ − i(ϑ̄˙ ϑ̇)∗ = q̇ 2 − iϑ̇∗ ϑ̄˙ ∗ = q̇ 2 + iϑ̄˙ ϑ̇,
2 2 2
∗
⇒ L = L.
∂L ∂L L ∂~ ˙
p= = q̇ π= = (iϑ̄ϑ̇) = −iϑ̄˙
∂ q̇ ∂ ϑ̇ ∂ ϑ̇
∂L L ~
∂
π̄ = ˙ = ˙ (iϑ̄˙ ϑ̇) = iϑ̇,
∂ ϑ̄ ∂ ϑ̄
de forma tal que:
˙ −L
H = q̇p + ϑ̇π + ϑ̄π̄
1
= p2 + (−iπ̄)π + (iπ)π̄ − p2 − i(iπ)(−iπ̄)
2
1 2 1
= p − iπ̄π + iππ̄ − iππ̄ = p2 − iπ̄π,
2 2
1 2
∴ H = p + iππ̄.
2
Es claro que H es par, pero también es real:
1 2
∗
1
H∗ = p + iππ̄ = p2 − i(ππ̄)∗
2 2
1 2 1 1
= p − iπ̄ ∗ π ∗ = p2 − iπ̄π = p2 + iππ̄,
2 2 2
∗
⇒ H = H.
6.3. FORMALISMO CANÓNICO PARA VARIABLES BOSÓNICAS Y FERMIÓNICAS131
∂H ∂H
q̇ = =p ṗ = − =0
∂p ∂q
∂L H ∂~ ∂L H
ϑ̇ = − = − (iππ̄) = −iπ̄ π̇ = − =0
∂π ∂π ∂ϑ
∂L H ∂~ ∂L H
ϑ̄˙ = − = − (iππ̄) = iπ π̄˙ = − = 0,
∂ π̄ ∂ π̄ ∂ ϑ̄
p π π̄.
1
L0 = q̇ 02 + iϑ̄˙ 0 ϑ̇0 ,
2
y se propone lo siguiente:
q 0 = ϑ̇ + q ⇒ q̇ 0 = q̇ + ϑ̈
ϑ0 = ϑ ⇒ ϑ̇0 = ϑ̇
ϑ̄0 = iq̇ + ϑ̄ ⇒ ϑ̄˙ 0 = ϑ̄˙ + iq̈,
1
L0 = (q̇ + ϑ̈)2 + i(ϑ̄˙ + iq̈)ϑ̇
2
1 2
= q̇ + iϑ̄˙ ϑ̇ + q̇ ϑ̈ − q̈ϑ̇
2
= L + (q̇ ϑ̈ + q̈ ϑ̇),
d
⇒ L0 = L + q̇ ϑ̇ ,
dt
Z
a
S[q ] = dtL(q a , q̇ a ), a = 1, . . . , N.
δS ∂ d ∂
= − L = 0,
δq a ∂q a dt ∂ q̇ a
d ∂L ∂ 2L b ∂ 2L b
= q̈ + q̇ ,
dt ∂ q̇ a ∂ q̇ a ∂ q̇ b ∂ q̇ a ∂q b
d ∂L ∂ 2L b
b
Mab q̈ = Ka Ka ≡ − q̇ ,
dt ∂ q̇ a ∂ q̇ a ∂q b
133
134 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
y también:
∂ 2L
Mab ≡ , (7.1)
∂ q̇ a ∂ q̇ b
de esta manera:
Así pues, si existe M −1 , esto es que det(M ) 6= 0, la teoría será regular, esto
significa que en las ecuaciones de movimiento:
Mab q̈ b = Ka
q̈ a = q̈ a (q, q̇) a = 1, . . . , N.
∂L
pa = (sistema lineal en q’s),
∂ q̇ a
135
las velocidades deben ser expresadas como funciones del espacio fase:
siendo:
∂L a
E≡ q̇ − L (transformación de Legendre),
∂ q̇ a
∂L
pa = ,
∂ q̇ a
define a las q̇’s como funciones simplemente valuadas de las q’s y p’s requiere
que el determinante de la matriz formada con los coeficientes de:
∂L
= pa = 0,
∂ q̇ a
d ∂L ∂ 2L
− p a = = Mab , det(M ) 6= 0.
dq̇ ∂ q̇ a ∂ q̇ a ∂ q̇ b
Mab q̈ b = Ka ,
136 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
v b
Mab v̇ = Kav , q̇ a = v a ,
siendo:
∂Lv
pa = ,
∂v a
−1
q̈ a = Mab Kb = F a (q, q̇).
∂Lv
pa ≡ ,
∂v a
7.1. FORMALISMO DE DIRAC PARA LOS SISTEMAS SINGULARES137
∂Lv
q̇ a = v a v b
Mab v̇ = Ka pa = , (7.3)
∂v a
el cual es conocido como sistema extendido de Lagrange. Luego, se re-
cuerda que:
d ∂L d ∂L
= pa = ṗa = a ,
dt ∂ q̇ a dt ∂q
∂Lv ∂Lv
q̇ a = v a ṗa = pa = ,
∂q a ∂v a
H ? ≡ pa v a − Lv = H ? (q, p, v),
ya que no todas las v’s podrán expresarse como funciones de q’s y p’s. De
aquí se sigue que:
∂H ? ∂Lv ∂H ? ∂Lv ∂H ?
= − = p a − = va,
∂q a ∂q a ∂v a ∂v a ∂pa
∂H ? ∂Lv ∂H ?
q̇ a = v a ⇒ q̇ a = ṗa = ⇒ ṗ a = − ,
∂pa ∂q a ∂q a
∂Lv ∂H ?
pa = ⇒ = 0,
∂v a ∂v a
en resumen:
138 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
∂H ? ∂H ? ∂H ?
q̇ a = ṗa = − = 0,
∂pa ∂q a ∂v a
esto es:
∂H ?
q̇ a = {q a , H ? } ṗa = {pa , H ? } = 0, (7.4)
∂v a
a 7.4 se le llama sistema extendido de las ecuaciones de Hamilton.
Note que si el sistema es regular:
∂H ? ∂Lv
= pa − =0 ⇒ 0 = 0.
∂v a ∂v a
En el caso de un sistema singular, M no tiene inversa. Sea R el rango:
∂ 2 L
rank a b
= R, N − R = m1 > 0.
∂ q̇ ∂ q̇
X i = qi Πi = pi V i = vi, i = 1, . . . , R,
luego:
en donde:
∂ 2 L
2
∂ L
det
6= 0 ó det 6= 0.
∂ Ẋ∂ Ẋ ∂ V̇ ∂ V̇
Esto quiere decir que todas las velocidades V i se pueden expresar en términos
de q’s, π’s y λ’s:
7.1. FORMALISMO DE DIRAC PARA LOS SISTEMAS SINGULARES139
V = V (q, π, λ).
∂H ? ∂H ?
= 0 ⇒ = 0,
∂v a ∂λα
esta última ya no es una trivialidad del tipo 0 = 0. Luego, se introduce:
∂H ? ∂Lv
Φ(1)
α ≡ fα ≡ ,
∂λα ∂λα
en donde la notación significa:
F (v) = F (v) .
V =V
De esta forma:
Φ(1)
α = πα − fα (q, π) = 0, (7.5)
la cual no puede depender de λ’s, pues de esa forma se podrían conocer tales,
contradiciendo la hipótesis del rango R.
De esta manera, de la última ecuación en 7.4 se obtienen R velocidades V i
y m1 = N − R relaciones de la forma mostrada en 7.5; estas últimas son
llamadas constricciones en el formalismo hamiltoniano, son m1 funciones
que determinan superficies en el espacio fase.
Debido a que surgen directamente de la definición de momentos, reciben el
nombre de constricciones primarias.
Ahora, sustituyendo las V en 7.4 se obtendrá:
a a ? ?
Φ(1)
q̇ = {q , H } ṗa = {pa , H } α = 0
V =V V =V
? ?
⇒ q̇ a = {q , H }
a
ṗa = {pa , H } Φ(1)
α = 0,
140 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
y si ahora se denota:
?
H (1) = H ?
=H ,
V =V
∂L
E = a q̇ a − L v
E = E ,
∂ q̇ q̇=v
∂H ? ∂Lv ∂Lv
va a = v pa − a = v a pa − v a a
a
∂v ∂v ∂v
? v
∂H ∂L
⇒ v a pa = v a a + v a a
∂v ∂v
v ?
∂L a ∂H
∴ H? = v a
− L v
+ v
∂v a ∂v a
?
∂H
⇒ H ? = E v + va a .
∂v
Así, se observa:
? ∂H ? v
H (1) = H = E + v a
∂v a
∂H ? ∂H ?
v
⇒ H (1) = E + v i i + λα α ,
∂v ∂λ
7.1. FORMALISMO DE DIRAC PARA LOS SISTEMAS SINGULARES141
v
además, el término E = H, es decir la hamiltoniana canónica que resulta
de aplicar la transformación de Legendre a las velocidades v i . Luego:
H (1) = H + λα Φ(1)
α , (7.6)
∂H (1) ∂H
α
= + Φ(1)
α ,
∂λ ∂λα
pero también:
?
∂H (1) ∂H
α
= = Φ(1)
α ,
∂λ ∂λα
luego entonces:
∂H
= 0.
∂λα
En esta etapa, las ecuaciones extendidas de Hamilton se pueden anotar como:
Las m1 Φ(1)
α definen una superficie en el espacio fase llamada superficie de
constricción. Sobre esta superficie H (1) y H coinciden, pero no es posible
reemplazar a H (1) por H antes de calcular los paréntesis de Poisson.
Φ̇(1) (1)
α = {Φα , H
(1)
}=0
β (1) β (1)
⇒ {Φ(1) (1)
α , H + λ Φβ } = {Φα , H} + {Φα , λ Φβ }
(1)
(1)
(1):0
β (1) β
= {Φ(1)
α , H} + {Φ (1)
α , Φβ }λ + {Φ
α , λ }Φ
β
β (1)
Φ̇(1)
α = 0 ⇔ {Φ(1) (1)
α , H} + {Φα , Φβ }λ = 0,
y se recuerda que α, β = 1, . . . , m1 .
Estas ecuaciones pueden ser usadas para, en principio, determinar las λ’s.
Se presentan en diversas situaciones que dependen de la naturaleza del sis-
tema físico en consideración.
Supóngase que el determinante de la matriz antisimétrica m1 × m1 formada
por los paréntesis de Poisson de todas las constricciones es diferente de cero:
(1)
det {Φ(1)
α , Φβ } 6= 0,
(1)
λα = {Φ(1) , Φ(1) }−1
αβ {Φβ , H}.
(1) −1 (1)
H (1) = H − Φ(1) (1)
α {Φ , Φ }αβ {Φβ , H}. (7.8)
β (1)
U(k) {Φ(1)
α , Φβ }Φ(1) = 0,
β
U(k) k = 1, . . . , m1 − ρ1 .
β (1)
{Φ(1) (1)
α , H} + {Φα , Φβ }λ = 0,
β
por U(k) se tiene:
β
U(k) {Φ(1)
α , H} = 0,
Φ̇(2) = 0,
(1)
Φl = Φl , l = 1, . . . , m1
(2)
Φl = Φl , l = m1 + l, . . . , m1 + m2
..
.
(k)
Φl = Φl , l = m1 + m2 + · · · + mk−1 + l, . . . , m1 + · · · + mk = m,
ẋ = {x, H (1) }, Φ = 0,
f ≈ 0.
f ' 0,
de esta forma:
∂f ∂f
f (q, p) ≈0 , = 0 ⇒ f ' 0.
ΓC ∂q a ∂pa ΓC
Esta definición es útil, ya que las ecuaciones de movimiento involucran gra-
dientes.
La superficie de constricción ΓC está definida por ceros débiles:
Φ(1) ≈ 0 Φ(2) ≈ 0,
ya que sólo en ΓC se satisfacen todas. Pero no se cumple que Φ(1) , Φ(2) ' 0
pues sus gradientes no son necesariamente cero sobre la superficie de cons-
tricción.
146 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
De acuerdo con Dirac, una función f (q, p) es una cantidad de primera clase
si sus paréntesis de Poisson con todas las constricciones son cero, al menos
débilmente. De esta forma, f será de primera clase si:
∀Φ | {f, Φ} ≈ 0.
(1)
λi {Φα , Φi } ≈ 0, ∀α.
(1)
{Φα , Φi } 6≈ 0,
2
1 1 2
L= q̇1 − q2 = q̇1 − 2q̇1 q2 + q22 .
2 2
∂2L ∂2L
!
∂2q̇1
2 ∂ q̇1 ∂ q̇2 1 0
Hss.(L) = ∂ L ∂2L = ,
∂ q̇2 ∂ q̇1 ∂ q̇22
0 0
∂L
p1 = = q̇1 − q2 ⇒ q̇1 = p1 + q2
∂ q̇1
∂L
p2 = =0 ⇒ Φ(1) ≡ p2 ≈ 0,
∂ q̇2
H (1) = H + λΦ(1) ,
con:
1
= p1 (p1 + q2 ) − (p1 − q2 + q2 )2
H= (p1 q̇1 + p2 q̇2 − L)
V =V 2
1 2
∴ H = p 1 + p1 q 1 .
2
1 Z 1
q1 (t) = α + βt + γt2 + ϕ(t0 )dt0
2 0
q2 (t) = β + γt + ϕ(t),
7.1. FORMALISMO DE DIRAC PARA LOS SISTEMAS SINGULARES149
Se tiene:
1 1
L = q̇12 + q̇1 q2 + (1 − α)q1 q̇2 + β(q1 − q2 )2 ,
2 2
siendo α y β constantes arbitrarias.
La matriz hessiana es la misma que en el ejemplo anterior, como puede fá-
cilmente comprobarse. Ergo, el sistema es singular.
Los momentos canónicos:
∂L ∂L
p1 = = q̇1 + q2 p2 = = q1 (1 − α)
∂ q̇1 ∂ q̇2
de forma que:
La hamiltoniana se da por:
150 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
H= (p1 q̇1 − L)
V =V
1 1
= p1 (p1 − q2 ) − (p1 − q2 )2 − q2 (p1 − q2 ) − β(q1 − q2 )2
2 2
1 1
∴ H = (p1 − q2 )2 − β(q1 − q2 ),
2 2
:0
Φ̇(1) = {Φ(1) , H (1) } ≈ 0 ⇔ {Φ(1) , H} + λ {Φ(1)
,Φ(1) } ≈0
1 1
⇒ {p2 + (α − 1)q1 , (p1 − q1 )2 − β(q1 − q2 )2 } ≈ 0
2 2
⇒ α(p1 − q2 ) − β(q1 − q2 ) ≈ 0,
1 1 d
L = q̇12 + q̇1 q2 + q1 q̇2 = q̇12 + q 1 q2 .
2 2 dt
En el caso general hay una constricción secundaria, dada por:
y de la condición de consistencia:
y si β 6= α2 :
β
λ= p1 − q2 − α(q1 − q2 ) ,
β + α2
7.1. FORMALISMO DE DIRAC PARA LOS SISTEMAS SINGULARES151
y dado que {Φ(2) , Φ(1) } 6≈ 0, entones Φ(1) y Φ(2) son de segunda clase. Nótes
que λ se puede expresar como:
β
λ= (q1 − q2 ).
α
Y si en la condición de consistencia de Φ(2) se hace α2 = β:
{Φ(1) , Φ(2) } ≈ 0.
Así, se asume que el procedimiento de búsqueda de constricciones ha con-
cluído:
Φ̇(1) ≈ 0 ⇒ Φ̇(2)
Φ̇(1)
α ≈ 0 ⇒ Φ̇(2)
α ≈ 0 ⇒ Φ̇(3)
α ≈ 0 ⇒ ...
en ese punto existe una superficie ΓC del espacio Γ, definida por:
Φ(1)
α ≈ 0 α = 1, . . . , m1
Γ
C
(2)
Φβ ≈ 0 β = 1, . . . , m2
ΓC
152 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
β
{Φ(1) (1) (1)
α , H} + {Φα , Φα }λ ≈ 0
ΓC
β
{Φ(2) (2) (1)
α , H} + {Φα , Φα }λ ≈ 0 .
ΓC
El número de λ’s que puede ser determinado depende del rango de la siguiente
matriz:
(1)
{Φ(1)
α , Φβ }
D = (2) (1) .
{Φα , Φβ }
Si el rango de D es N −m1 , todas las λ’s son determinadas. Si, por el contrario,
el rango es k < N − m1 , sólo es posible fijar k combinaciones independientes
de λ’s, quedando N − m1 − k combinaciones completamente libres.
Esto significa que hay N − m1 − k relaciones de la forma:
(1) (i)
{Φ(1)
α , Φβ }eβ ≈ 0
(1) (i)
{Φ(2)
α , Φβ }eβ ≈ 0,
(i)
con i = 1, . . . , N − m1 − k, siendo los eβ eigenvectores nulos de D.
Séparense las constricciones en las que son de primera y segunda clase:
(1) (1)
Φ(1)
α −→ ΦI Φi
primera clase segunda clase
(2)
Φ(2)
α −→ ΦA Φ(2)
a .
primera clase segunda clase
(1) (1)
H (1) = H + λα Φ(1) I i
α = H + v ΦI + u Φi .
(1) (1)
:0
(1) (1) :0
(1)
{ΦI , H} +
{ΦI,ΦJ } v J +
{ΦI,Φj } uj ≈ 0
(1)
∴ {ΦI , H} ≈ 0,
(1) (1)
:0
(1) (1) (1)
{Φi , H} + ΦJ } v J + {Φi , Φj }uj ≈ 0
{Φi ,
Ahora:
(2) (2)
:0
(1) (2) :0
(1)
{ΦA , H} + {ΦA,ΦJ } v J + {ΦA, Φj } uj ≈ 0
(2)
∴ {ΦA , H} ≈ 0,
:0
(1) (1)
J j
{Φ(2) {Φ(2)
a , H} +
(2)
a , ΦJ } v + {Φa , Φj }u ≈ 0
j (1)
∴ {Φ(2) (2)
a , H} + {Φa , Φj }u ≈ 0.
(1) (2)
{ΦI , H} ≈ 0 {ΦA , H} ≈ 0 (A)
(1) (1) (1) (1)
{Φi , H} + {Φi , Φj }uj ≈ 0 {Φ(2) (2) j
a , H} + {Φa , Φj }u ≈ 0. (B)
(1)
ξ2 ≡ Φi , Φ(2)
a .
∆µν = {ξµ , ξν }.
τ λ ∆λµ ≈ 0,
donde no todas las τ son cero. Note ahora que lo anterior implica:
τ λ {ξλ , ξµ } = {τ λ ξλ , ξµ }
∴ {τ λ ξλ , ξµ } ≈ 0.
{ξµ , H} + ∆µi ui ≈ 0,
lo cual implica:
7.1. FORMALISMO DE DIRAC PARA LOS SISTEMAS SINGULARES155
ui = −∆−1
iµ {ξµ , H},
de donde finalmente:
∆−1
aµ {ξµ , H} ≈ 0. (7.11)
Sea f = f (q, p) una función arbitraria del espacio fase. Su evolución temporal
está descrita por:
(1) (1)
f˙ = {f, H (1) } = {f, H} + v I {f, ΦI } + ui {f, Φi }
(1) (1)
= {f, H} + v I {f, ΦI } − {f, Φi }∆−1
iµ {ξµ , H}
(1)
= {f, H} + v I {f, ΦI } − {f, ξν }∆−1
νµ {ξµ , H}.
ϕα ≡ Φ(1) (1)
α , Φα ,
:0 :0 : 0 −1
{ϕα + vI
{ϕα
, ϕI } −
{ϕα ν } ∆νµ {ξµ , H}
ϕ̇α = , H}
, ξ
∴ ϕ̇α ≈ 0,
se verifica la consistencia.
Y si ahora f = ξλ :
Recapitulando:
anotaciones:
f˙ = {f, H}p.d. .
3. Identidad de Jacobi.
158 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
{f, ξλ } =
6 0,
pero ahora:
fˆ = f + µk ξk ,
y demandándose que:
fˆ = f − ξλ ∆−1
λρ {ξρ , f },
˙
fˆ = {fˆ, H},
y obsérvese que:
H (1) = H + v I ϕI ,
f˙ = {f, H} + v I {f, ϕI }.
(q0 , p0 ),
está relacionada con muchas historias, las cuales son físicamente equivalen-
tes.
Se definen transformaciones que conectan las diferentes historias a un tiempo
dado como transformaciones de norma. Estas transformaciones deben de
ser canónicas, así que deben existir generadores de estas que sean constantes
de movimiento.
Las constricciones primarias de primera clase ϕI , generan transformaciones
de norma infinitesimales en este sentido.
Sean fν y fν 0 funciones del espacio fase que evolucionan de su valor inicial f0
con diferentes multiplicadores v I ; a primer orden:
dfν
fν (t) = f0 + t + ...,
dt t=0
siendo:
160 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
dfν
= {f0 , H} + v0I {f0 , ϕI }.
dt t=0
De forma similar:
dfν 0
fν 0 (t) = f0 + t + ...
dt t=0
Si se considera un t pequeño:
dfν dfν 0
δf ≡ fν (t) − fν 0 (t) = t −
dt t=0
dt t=0
= t {f0 , H} + v0I {f0 , ϕI } − {f0 , H} − v00I {f0 , ϕI } ,
∴ δf = t(v0I − v00I ){f0 , ϕI }.
De esta forma:
en particular se tiene:
δxA = I {xA , ϕI } xA = q a , pa ,
δxA ≡ xAν − xAν 0 .
Dos puntos sobre la órbita están relacionados por una transformación canó-
nica generada por las constricciones de primera clase. Este tipo de transfor-
maciones reciben el nombre de transformaciones de norma.
Nota: hasta esta etapa se han identificado las constricciones primarias de
primera clase como generadores de transformaciones de norma. Más adelante
se verá que también las constricciones secundarias de primera clase juegan
este papel.
Nótese lo siguiente:
7.1. FORMALISMO DE DIRAC PARA LOS SISTEMAS SINGULARES161
{ϕI , H (1) } ≈ 0.
δϕα = I {ϕα , ϕI },
∴ {I ϕI , η J ϕJ } = µK ϕK ,
siendo:
µK = I η J gIJK ,
luego:
{eI ϕI , η J ϕJ } = µK ϕK ,
{I ϕI , η J ϕJ } = I η J {ϕI , ϕJ },
H (1) = H + v I Φ(1) ,
ϕα = (Φ(1) , Φ(2) ),
HE = H + λα ϕα . (7.15)
δf = α {f, ϕα },
y en particular:
164 7. DESCRIPCIÓN CLÁSICA DE LOS SISTEMAS SINGULARES
(1) (1)
HE = H + λI ΦI + λA ΦA .
{f, ϕα } ≈ 0,
esto es:
{f, ϕα } = Cαβ ϕβ ,
δf ≈ 0 ⇒ f (Ct ) = constante,
{fi , ϕα } ≈ 0, i = 1, 2,
{f1 ,
{f
2 , ϕα }} + {f2 ,
{ϕα 1 }} + {ϕα , {f1 , f2 }} = 0
, f
así que:
{f1 , f2 } = f3 , (7.16)
HE = H (1) + λA Φ(2)
α ,
(1) (2)
HE = H + λα ϕα ϕα = (ΦI , ΦA ).
δxA = {xA , ϕα }.
∴ f˙ = {f, H}.
Ωα (q, p) ≈ 0, α = 1, . . . , M
({Ωα , ϕβ }) −→ det({Ωα , ϕβ }) 6= 0,
Fundamentos de la teoría
clásica de los campos
167
168 8. FUNDAMENTOS DE LA TEORÍA CLÁSICA DE LOS CAMPOS
1X
T = mη̇i2 ,
2 i
1X
V = k(ηi+1 − ηi )2 .
2 i
2
1X m 2 ηi+1 − ηi
L= a η̇i − ka ,
2 i a a
o de otra forma:
X
L= aLi , (8.1)
i
m ηi+1 − ηi ηi − ηi−1
η̈i − ka 2
+ ka = 0.
a a a2
8.1. FORMULACIÓN LAGRANGIANA 169
m
lı́m ≡ µ,
a→0 a
lı́m ka ≡ y,
a→0
ηi+1 − ηi
lı́m ,
a→0 a2
las masas puntuales se aproximan independientemente, por lo cual se tiene
una varilla, y en virtud de su continuidad, sus puntos ya no pueden ser
etiquetados con un número natural, se habrá de usar un índice continuo, i.e.
un número real.
Sea x el eje sobre el cual yace la varilla:
η −→ η(x), (8.2)
η(x0 ) ≡ q0 .
De manera análoga:
ηi+1 −→ η(x + a)
ηi+1 − ηi η(x + a) + η(x)
⇒ lı́m −→ lı́m = η 0 (x).
a→0 a a→0 a
X Z
a −→ dx.
i
X
L = lı́m aLi
a→0
i
2
1Z dη
L= dx µη̇ 2 − y
2 Z dx
⇔ L = dxL.
m ηi+1 − ηi ηi − ηi−1
lı́m η̈i − ka + ka =0
a→0 a a2 a2
d2 η dη(x) dη(x − a)
⇒ µ 2 − y lı́m − a =0
dt a→0 dx dx
d2 η d2 η
⇒µ 2 −y 2 =0
dt dx
d2 η 2
s
2 d η y
∴ 2 −v 2
= 0, v= .
dt dx µ
Aaµ (x),
siendo:
Z
L= d3 xL(ϕa , ∂µ ϕa ),
172 8. FUNDAMENTOS DE LA TEORÍA CLÁSICA DE LOS CAMPOS
L(ϕa , ∂µ ϕa ).
Z
S[ϕa ] = d4 xL.
Z
δS
δS = d4 xδϕa (x) = 0,
s.f. δϕa (x)
Z
δ Z 4
δS = d4 xδϕa (x) d yL(ϕa (y), ∂µ ϕa (y))
δϕa (x)
Z
∂L δϕb (y) ∂L δ ∂µ ϕb (y)
= d4 xd4 yδϕa (x) +
∂ϕb (y) δϕa (x) ∂∂µ ϕb (y) δϕa (x)
∂L δϕb (y) ∂L δϕb (y)
Z
= d4 xd4 yδϕa (x) + ∂µ
∂ϕb (y) δϕa (x) ∂∂µ ϕb (y) δϕa (x)
∂L δϕb (y) ∂L δϕb (y)
Z
= d4 xd4 yδϕa (x) + ∂µ
∂ϕb (y) δϕa (x) ∂∂µ ϕb (y) δϕa (x)
∂L δϕb (y)
−∂µ ,
∂∂µ ϕb (y) δϕa (x)
∂L ∂L δϕb (y)
Z
d4 xd4 yδϕa (x) − ∂µ ,
∂ϕb (y) ∂∂µ ϕb (y) δϕa (x)
∂L ∂L
Z
d4 xδϕa (x) − ∂µ =0
∂ϕa (x) ∂∂µ ϕa (x)
δS
⇔ = 0,
δϕa
de esta forma:
∂L ∂L
∂µ = , (8.3)
∂∂µ ϕa (x) ∂ϕa (x)
δL
πa (x) ≡
δ ϕ̇a (x)
δ Z 3 0
⇒ d x L ϕa (x0 ), ∂µ ϕa (x0 )
δ ϕ̇a (x)
Z
∂L δ ϕ̇b (x0 )
⇒ d 3 x0 ,
∂ ϕ̇b (x0 ) δ ϕ̇a (x)
esto es:
∂L
πa (x) = . (8.4)
∂ ϕ̇a (x)
∂L
Z
d3 x
H(π, ϕ) = ϕ̇a (x) − L
∂ ϕ̇a (x)
ϕ̇a =ϕ̇a (π,ϕ)
∂L
Z Z
3
= dx ϕ̇a (x) − L = d3 xH,
∂ ϕ̇a (x)
Z
δS δS
δS = d4 xδϕa (x) + δπa (x) =0
δϕa (x) δπa (x)
δS δS
⇔ = 0, ,
δϕa δπa (x)
δH δH
π̇a = − ϕ̇a = . (8.5)
δϕa δπa
Z Z
F [π, ϕ] = d3 xf (π, ϕ) G[π, ϕ] = d3 xg(πϕ),
Si F = ϕa y G = H:
Z
δϕa (x) δH δH
{ϕa , H} = d 3 x0 0 0
= ,
δϕb (x ) δπb (x ) δπa (x)
Si F = πa y G = H:
Z
δπa (x) δH δH
{πa , H} = − d 3 x0 0 0
=− ,
δπb (x ) δϕa (x ) δϕa (x)
δH δH
{ϕa (x), H} = = ϕ̇a (x) {πa (x), H} = − = πa (x). (8.7)
δπa δϕa (x)
Z
δϕa (x) δπb (x0 )
{ϕa (x), πb (x0 )}x0 =x00 = d3 x
δϕc (x00 ) δπc (x00 )
Z
= d3 xδca δ(~x00 − ~x0 )δcb δ(~x00 − ~x) = δab δ(~x0 − ~x),
~
~ = 4πρ
∇·E ~ − 1 ∂ E = 4π J,
∇×B ~
c ∂t c
y homogéneas:
~
~ =0
∇·B ~ + 1 ∂ B = 0.
∇×E
c ∂t
Estas ecuaciones son manifiestamente covariantes bajo el grupo de las rota-
ciones SO(3):
~ 0 i = Oij E
E ~j ~ 0 i = Oij B
B ~j J~ 0 i = Oij J~j ρ0 = ρ x0i = Oij xj .
179
180 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
x20 − ~x · ~x x0 = ct = constante
x0µ = Λµν xν ⇔ x0 = Λx,
~ = 0,
∇·B
~ = ∇ × A.
B ~
~
∇×E~ + ∂B = 0 ⇔ ∇×E ~ + ∂0 B
~ =0
∂x0
~ + ∂0 (∇ × A)
∇×E ~ =0 ⇔ ~ + ∂0 A)
∇ × (E ~ =0
~ + ∂0 A
∴E ~ = −∇A0 ,
E~ = −∇A0 − ∂0 A ~ B~ =∇×A ~
Ei = −∂i A0 − ∂0 Ai Bi = ijk ∂j Ak .
∂
∂µ ≡ = (∂ 0 , −∇)
∂xµ
∂
∂µ ≡ = (∂ 0 , ∇),
∂xµ
F µν = ∂ µ Aν − ∂ ν Aµ = −F νµ (9.1)
~ = F 0i
E ~ = F ij .
B
~
Aµ = (A0 , A),
~ = (cρ, J).
J µ = (J 0 , J) ~
4π ν
∂µ F µν = J , (9.2)
c
además, esta ecuación tiene origen dinámico.
En contraste, las ecuaciones homogéneas tienen un carácter puramente geo-
métrico, expresado a través de la identidad de Bianchi:
∂µ Fe µν = 0,
1
Fe µν ≡ µνλρ Fλρ .
2
Note que la ecuación con el tensor dual no es una condición:
1 µνλρ 1
∂µ Fe µν = ∂µ Fλρ = µνλρ ∂µ Fλρ
2 2
1
= µνλρ ∂µ (∂λ Aρ − ∂ρ Aλ ) = µνλρ ∂µ ∂λ Aρ = 0,
2
4π
0 = ∂ν ∂µ F µν = ∂ν J ν
c
∂ρ
∂µ J µ = 0 ⇔ + ∇ · J~ = 0,
∂t
ϕ0 (x0 ) = ϕ(x)
⇒ ϕ0 (x0 ) = ϕ(Λ−1 x0 ),
∂µ −→ ∂µ ϕ0 (x) = ∂µ ϕ(Λ−1 x0 ) = (Λ−1 )νµ (∂µ ϕ)(Λ−1 x).
∂µ ϕ(x) ∂µ ϕ(x) −→ η µν ∂µ ϕ0 (x) ∂ν ϕ0 (x)
h i
= η µν ∂µ ϕ(Λ−1 x) ∂ν ϕ(Λ−1 x)
h ih i
= η µν (Λ−1 )ρµ ∂ρ ϕ (Λ−1 )σν ∂σ ϕ
= η µν (Λ−1 )ρµ (Λ−1 )σν (∂ρ ϕ)(∂σ ϕ)
= η ρσ (∂ρ ϕ)(∂σ ϕ) = (∂µ ϕ)(∂µ ϕ),
es decir que la cantidad ∂µ ϕ(x) ∂µ ϕ(x) es invariante.
Se tienen los siguientes objetos invariantes:
ϕn , n = 1, 2, . . .
h in
(∂µ ϕ)(∂µ ϕ) , n = 1, 2, . . .
h in
(∂µ ϕ)(∂µ ϕ) ϕm , n, m = 1, 2, . . .
184 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
lo cual significa que se puede construir una lagrangiana invariante bajo ISO(1,3),
dada por una suma infinitesimal de términos de este tipo. Pero teoría cuán-
tica pone restricciones (renormalización).
La versión mínima (lineal) es:
1 1
L = (∂µ ϕ)(∂ µ ϕ) − m2 ϕ2 , (9.3)
2 2
de manera tal que:
Z
S[ϕ] = d4 xL(ϕ, ∂µ ϕ).
pero:
∂L 1 ∂ 1 ∂
= (∂α ϕ)(∂ α ϕ) = η αβ (∂α ϕ)(∂β ϕ)
∂∂µ ϕa 2 ∂∂µ ϕ 2 ∂∂µ ϕ
1
= η αβ ∂α ϕδ µβ + ∂β ϕδ µα = ∂ µ ϕ,
2
y de manera simple:
∂L
= −m2 ϕ.
∂ϕ
De esta forma:
∂µ ∂ µ ϕ = −m2 ϕ
⇔ ( + m2 )ϕ(x) = 0, (9.4)
≡ ∂µ ∂ µ = ∂02 − ∇2 .
µ
ϕ(x) = N e±ipµ x = N e±ip·x ,
µ
( + m2 )N e±ipµ x = 0,
µ µ
y como ∂µ (e±ipµ x ) = ±ipµ e±ipµ x entonces:
h i µ
(±ipµ )(±ipµ ) + m2 N e±ipµ x = 0
µ
⇒ [−pµ pµ + m2 ]N e±ipµ x = 0
∴ p2 = pµ pµ = m2 ,
esta úlima es conocida como condición de capa de masa (on shell). Luego:
La teoría dada por la lagrangiana 9.3 no contiene a todos los términos permi-
tidos por teoría de normalización (en el contexto cuántico). En particular, no
contiene interacciones (efectos no lineales). La teoría más general consistente
con renormalización es:
1 1 σ λ
L = (∂µ ϕ)(∂ µ ϕ) − m2 ϕ2 − ϕ3 − ϕ4 .
2 2 3! 4!
El término cúbico produce inestabilidad en el estado base. Para evitar este
problema se introduce la simetría discreta:
186 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
1 1 λ
ϕ → −ϕ : L = (∂µ ϕ)(∂ µ ϕ) − m2 ϕ2 − ϕ4 ,
2 2 4!
la ecuación de movimiento:
λ 3
( + m2 )ϕ(x) = ϕ.
3!
1
ϕ(x) = √ ϕ1 (x) + iϕ2 (x) ,
2
1
ϕ† (x) = √ ϕ1 (x) − iϕ2 (x) .
2
1 1 1 1
L= ∂µ ϕ1 (x) ∂ µ ϕ1 (x) − m2 ϕ21 + ∂µ ϕ2 (x) ∂ µ ϕ2 (x) − m2 ϕ22
2 2 2 2
1 † µ 1 2 †
= (∂µ Φ )(∂ Φ) − m Φ Φ,
2 2
siendo:
!
ϕ1
Φ≡ .
ϕ2
9.3. CAMPO ESCALAR COMPLEJO 187
∂L ∂L ∂L ∂L
∂µ = ∂µ =
∂∂µ ϕ† ∂ϕ† ∂∂µ ϕ ∂ϕ
⇒ ( + m2 )ϕ(x) = 0 ↔ ( + m2 )ϕ† (x) = 0,
α = α(x), real.
188 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
lo cual quiere decir que ϕϕ† sigue siendo invariante. Pero sí que se tienen
problemas con los términos que involucran derivadas:
∂µ ϕ(x) −→ ∂µ eiα(x) ϕ(x) = eiα(x) ∂µ ϕ(x) + ieiα(x) ϕ(x)∂µ α(x),
1
nµ ∂µ ϕ(x) = lı́m ϕ(x + n) − ϕ(x) .
→0
Así pues, bajo U(1), ϕ(x) y ϕ(x + n) tienen transformaciones diferentes:
Para sustraer a ϕ(x) los valores del campo en una vecindad de x, se debe
introducir un factor para las diferentes fases de los elementos de U(1). Para
esto se recurre a un comparador, U (y, x), el cual se define como:
9.3. CAMPO ESCALAR COMPLEJO 189
U (y, x) = eiw(y,x) .
Con esta definición, se ve que los objetos ϕ(y) y U (y, x)ϕ(x) tienen la misma
ley de trasnformación:
1
µ
n Dµ ϕ(x) = lı́m ϕ(x + n) − U (x + n, x)ϕ(x) .
→0
Ahora:
1
nµ Dµ ϕ(x) = lı́mϕ(x + n) − ϕ(x) − ienµ Aµ (x) + O(2 )
→0
de esta manera:
1
= 1 + ien Aµ (x) + ∂µ α(x) + · · · ,
µ
e
así que:
1
A0µ (x) = Aµ (x) + ∂µ α(x), (9.7)
e
9.3. CAMPO ESCALAR COMPLEJO 191
1 1
δAµ (x) = A0µ (x) − Aµ (x) = ∂µ α(x) = (∂µ U )U † ,
e e
siendo U = eiα(x) .
Entonces Dµ ϕ(x) se transforma como ϕ(x), así que pueden ser usados para
construir una lagrangiana. Pero ¿qué invariantes se pueden construir con
Aµ (x)?
A continuación se muestra explícitamente cómo se transforma covariante-
mente la derivada hallada:
e2
+ie∂ν (Aµ ϕ) + ieAν (∂µ ϕ) + Aν Aµ ϕ
0
Fµν = ∂µ A0ν − ∂ν A0µ
1 1
= ∂µ Aν + ∂ν α(x) − ∂ν Aµ − ∂µ α(x)
e e
1
= ∂µ Aν − ∂ν Aµ + ∂ µ∂ −∂ν ∂µ α(x)
ν
e
0
∴ Fµν = ∂µ Aν − ∂ν Aµ = Fµν ,
1
L = (Dµ ϕ)† (Dµ ϕ) − V (ϕ† , ϕ) − Fµν F µν , (9.8)
4
siendo:
∂L ∂L ∂L ∂L
∂µ †
= ∂µ =
∂∂µ ϕ ∂ϕ† ∂∂µ ϕ ∂ϕ
∂L ∂L
∂µ = ,
∂∂µ Aν ∂ν
así, se tiene:
∂L ∂ 1
= − Fαβ F αβ + · · ·
∂∂µ Aν ∂∂µ Aν 4
1 ∂
= − F αβ Fαβ
2 ∂∂µ Aν
1 ∂
− F αβ ∂α Aβ − ∂β Aα
2 ∂∂µ Aν
∂
= −F αβ ∂α Aβ = −F αβ δ µα δ νβ = −F µν
∂∂µ Aν
∂L
∴ = −F µν ,
∂∂µ Aν
luego:
194 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
∂L ∂
= (Dα ϕ)† (Dα ϕ) + · · ·
∂Aν ∂Aν
∂ αβ
= η (Dα ϕ)† (Dβ ϕ)
∂Aν
∂
† ∂
=η αβ
(Dα ϕ) (Dβ ϕ) + (Dα ϕ)† (Dβ ϕ)
∂Aν ∂Aν
∂ ∂
= η αβ (Dα ϕ)† ∂β ϕ − ieAβ ϕ + ∂α ϕ† − ieAα ϕ† (Dβ ϕ)
∂Aν ∂Aν
= η αβ − ieδ νβ (Dβ ϕ)† ϕ + ieδ να ϕ† (Dα ϕ)
h i
= −ie (Dν ϕ)† ϕ − ϕ† (Dν ϕ) ,
o bien:
h i
∂µ F µν = J ν , J ν ≡ ie (Dν ϕ)† ϕ − ϕ† (Dν ϕ) ,
∂L ∂
†
= (Dα ϕ)† (Dα ϕ) + · · ·
∂∂µ ϕ ∂∂µ ϕ†
∂
= (∂α ϕ† + ieAα ϕ† )(Dα ϕ)
∂∂µ ϕ†
= δ µα (Dα ϕ) = Dµ ϕ,
∂L ∂
†
= (∂α ϕ† + ieAα ϕ† )(Dα ϕ) − V (ϕ† , ϕ)
∂ϕ ∂ϕ†
∂V
= ieAµ (Dµ ϕ) − ,
∂ϕ†
de esta forma:
∂V
∂µ Dµ ϕ = ieAµ (Dµ ϕ) −
∂ϕ†
∂V
⇒ (∂µ − ieAµ )(Dµ ϕ) = − †
∂ϕ
∂V
∴ Dµ D µ ϕ + = 0,
∂ϕ†
es el caso libre.
La ecuación para el campo ϕ† (x) se obtiene por conjugación compleja.
1 1
L = − Zµν Z µν + m2 Zµ Z µ , (9.9)
4 2
en donde se tiene que:
Zµν = ∂µ Zν − ∂ν Zµ = −Zνµ .
196 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
∂L ∂L
∂µ =
∂∂µ Zν ∂Zν
∂L ∂L
= −Z µν = m2 Z ν
∂∂µ Zν ∂Zν
de esta forma:
∂µ Z µν + m2 Z ν = 0, (9.10)
µν
∂ν
∂µZ
+ m2 ∂ν Z ν =0
µ
⇒ ∂µ Z = 0,
∂µ Z µν + m2 Z ν = 0 ⇒ ∂µ (∂ µ Z ν − ∂ ν Z µ ) + m2 Z ν = 0
⇒ ( + m2 )Z µ = 0.
Aν − ∂ ν (Aµ Aµ ) = 0.
Pero se debe tomar en cuenta que Aµ (x) está definido hasta una transforma-
ción de norma:
1
A0µ (x) = Aµ (x) + ∂µ α(x).
e
9.4. EL CAMPO DE PROCA 197
1
∂µ A0µ = ∂µ Aµ + α(x)
e
⇒ α(x) = −e∂µ Aµ .
Aµ = 0 ∂µ Aµ = 0.
( + m2 )Zµ (x) = 0, ∂µ Z µ = 0,
k2 = 0 k · = 0.
198 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
k 0 0 − ~k · ~ ⇒ k 0 0 = 0,
(3) λ = (0,~λ ), λ = 1, 2, 3.
0
λ · λ ∗ = −δλλ0 , (4)
k µ µ (k, λ) = 0,
(k, 1) = 0,~(k, 1)
(k, 2) = 0,~(k, 2)
|~k| ~k
(k, 3) = a ,a , a > 0.
k0 |~k|
k µ µ = 0, k 0 0 (k, λ) − ~k · ~(k, λ) = 0,
y en resumen se tiene:
µ (k, 1) = 0,~(k, 1) , µ (k, 2) = 0,~(k, 2) ,
|~k| k0 ~k
µL (k) = , ,
m m |~k|
Por otra parte, se recuerda que los generadores de SO(3) están dados por:
0 0 0 0 0 i 0 −i 0
T1 = 0 0 −i
, T2 = 0 0 0
, T3 = i 0 0
.
0 i 0 −i 0 0 0 0 0
9.4. EL CAMPO DE PROCA 201
h(k) = n̂ · T~
3 0 −n3 n2
†
X
⇒ h(k) = ni Ti = i n3
0 −n1
= h (k).
i=1 n2 n1 0
0 −n3 n2 1 n2 3 − n3 2
h(k)~ = i n3
0 −n1 2 = i n3 1 − n1 3
−n2 n1 0 3 n1 2 − n2 1
∴ h(k)~ = i(n̂ × ~).
Entonces:
h(k)~(k, 1) = i n̂ × ~(k, 1) = i~(k, 2)
h(k)~(k, 2) = i n̂ × ~(k, 2) = −i~(k, 1)
h(k)~(k, 3) = h(k)~L (k) = i n̂ × ~L (k) = 0.
1
~(k, +) = √ ~(k, 1) + i~(k, 2)
2
1
~(k, −) = √ ~(k, 1) − i~(k, 2) ,
2
los cuales son llamados polarizaciones circulares. Entonces es inmediato
que:
h(k)~(k, +) = (+1)~(k, +)
h(k)~(k, −) = (−1)~(k, −)
h(k)~L (k) = 0~L (k).
202 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
Los anteriores son los tres posibles estados de espín para una partícula vec-
torial con masa.
Los vectores de polarización satisfacen la relación de completetiud:
3
kµ kν
µ (k, λ)∗ν (k, λ) = −ηµν +
X
Pµν = ,
λ=1 m2
4A + k 2 B = η µν Pµν
k 2 A + k 4 B = k µ k ν Pµν , k 2 = m2 ,
3
η µν Pµν = (k, λ)∗ (k, λ) = −3,
X
λ=1
3
k µ k ν Pµν = k · (k, λ)k · ∗ (k, λ) = 0,
X
λ=1
4A + m2 B = −3 A + m2 B = 0
1
∴ A = −1, B = 2.
m
ϕ0 (x) = ϕ(Λ−1 x0 ),
1 1
Wµ = √ Wµ1 + iWµ2 Wµ† = √ Wµ1 − iWµ2 ,
2 2
1 † µν
L = − Wµν W + m2 Wµ† W µ , (9.11)
2
siendo aquí:
Wµν = ∂µ Wν − ∂ν Wµ .
Bajo Ue (1):
∂L ∂L ∂L ∂L
∂ † = ∂ =
∂∂µ Wµ ∂Wµ† ∂∂µ Wµ ∂Wµ
⇒ ∂µ W µν + m2 W ν = 0, ∂µ W †µν + m2 W †ν = 0
⇒ ( + m2 )W µ = 0, ∂µ W µ = 0, ( + m2 )W †µ = 0, ∂µ W †µ = 0.
Dµ Wν − Dν Wµ , Dµ = ∂µ − ieAµ ,
1 † 1
L=− Dµ Wν − Dν Wµ Dµ W ν − Dν W µ + m2 Wµ† W µ − Fµν F µν . (9.12)
2 4
Fµν W µ W ν ,
1 † 1
L=− Dµ Wν − Dν Wµ Dµ W ν − Dν W µ − V (W † , W ) − Fµν F µν
2 4
†µ ν
+keFµν W W , (9.13)
9.5. EL CAMPO DE DIRAC 205
siendo:
λ
V (W † , W ) = m2 Wµ† W µ + e2 Wµ† Wν − Wµ Wν† W †µ W ν − W µ W †ν .
4
{γ µ , γ ν } = 2η µν .
i
S µν = [γ µ , γ ν ].
4
[J µν , J σρ ] = i(η νσ J µρ − η µσ J νρ − η νρ J µσ − η µρ J νσ ).
i
γ5 ≡ iγ 0 γ 1 γ 2 γ 3 = µνσρ γ µ γ ν γ σ γ ρ ,
4!
y es un 0-tensor.
Directamente de su definición, se halla que:
206 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
{γ5 , γ µ } = 0 (γ5 )2 = 1,
pues (γ0 )2 = 1, (γ i )2 = −1. Así que las γ µ junto con la γ5 forman otra álgebra
de Clifford:
{γ M , γ N } = 2η M N , M, N = 0, 1, 2, 3, 4, 5,
1 1
PL = (1 − γ5 ) PR = (1 + γ5 ),
2 2
cuyas propiedades son:
PL + PR = 1, (PL )2 = PL , (PR )2 = PR , PL PR = 0.
L(Λ)L(Λ) = L(ΛΛ),
i µν
L(Λ) = e 2 ωµν S .
i
L(Λ) = 1 + ωµν S µν .
2
9.5. EL CAMPO DE DIRAC 207
ψ1 (x)
ψ (x)
2
ψ(x) = ,
ψ3 (x)
ψ4 (x)
i i †
S 0i† = − [γ 0 , γ i ]† = − γ 0 γ i − γ i γ 0
4 4
i i† 0† i
= − γ γ − γ 0† γ i† = − (−γ i )γ 0 − γ 0 (−γ i )
4 4
∴ S 0i† = −S 0i .
S ij† = S ij .
ψ(x) ≡ ψ † (x)γ 0 .
0 i i† i
ψ = (1 + ωµν S µν )ψ γ 0 = ψ † 1 − ωµν (S µν )† γ 0 ,
h
2 2
y cuando µ, ν son ambos espaciales:
(S ij )† = S ij , S ij γ 0 = γ 0 S ij ,
luego:
0 i
ψ = ψ(1 − ωij S ij ) = ψL−1 (Λ),
2
en el caso en que µ = 0 y ν = i, entonces:
(S 0i )† = −S 0i ,
pero:
(S 0i )† γ 0 = −S 0i γ 0 = γ 0 S 0i ,
entonces en general:
0 i
ψ = ψ(1 − ωµν S µν ) = ψL−1 (Λ).
2
Por lo tanto:
0
ψ (x)ψ 0 (x) = ψ(Λ−1 x)L−1 (Λ)L(Λ)ψ(Λ−1 x) = ψ(Λ−1 x)ψ(Λ−1 x),
i i
L−1 (Λ)γ ρ L(Λ) = (1 − ωµν S µν )γ ρ (1 + ωµν S µν )
2 2
i
= γ ρ − ωµν [S µν , γ ρ ]
2
i
= γ ρ − ωµν (−i) η νρ γ µ − η µρ γ ν ,
2
9.5. EL CAMPO DE DIRAC 209
0
ψ γ µ ψ 0 = ψL−1 (Λ)γ µ L(Λ)ψ = Λµν ψγ ν ψ.
i 1
σ µν = [γ µ , γ ν ] = S µν ,
2 2
así que:
0
ψ σ µν ψ 0 = Λµλ Λνρ ψσ λρ ψ.
ψ 1ψ ψγ µ ψ ψσ µν ψ,
0
ψ γ µ ∂µ ψ 0 = ψL−1 (Λ)γ µ L(Λ)∂µ0 ψ
= Λµν ψγ ν ∂µ0 ψ = Λµν Λµλ γ ν ∂λ ψ
= Λ−1
µ
ν
Λµλ ψγ µ ∂λ ψ = (Λ−1 Λ)νλ ψγ ν ∂λ ψ
= ψγ µ ∂µ ψ,
210 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
es invariante.
L también es invariante ante transformaciones globales de Ue (1):
0
ψ 0 (x) = eiα ψ(x), ψ (x) = e−iα ψ(x).
∂L ∂L ∂L ∂L
∂µ = ∂µ =
∂∂µ ψ α ∂ψ α ∂∂µ ψα ∂ψα
∂µ −→ Dµ = ∂µ − ieAµ ,
1
/ − m)ψ − Fµν F µν ,
L = ψ(iD (9.15)
4
siendo:
/ = γ µ Dµ = ∂/ − ieA.
D /
∂L ∂L ∂L ∂L
∂µ = ∂µ =
∂∂µ ψ α ∂µ ψ α ∂∂µ ψα ∂µ ψα
∂L ∂L
∂µ = ,
∂∂µ Aν ∂Aν
/ − m)ψ(x) = 0.
(iD
De la tercera ecuación:
∂L ∂L
= −F µν = eψγ ν ψ = −J ν
∂∂µ Aν ∂Aν
∴ ∂µ F µν = J ν ,
1
! !
0 0 i 0 σi
γ = γ = ,
0 −1 −σ i 0
γ 0† = γ 0 γ i† = −γ i ,
y además:
(γ 0 )2 = 14×4 (γ i )2 = −14×4 ⇒ {γ µ , γ ν } = 2η µν .
212 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
(i∂/ − m)ψ(x) = 0.
µ
(iγ 0 ∂0 − m)ψ(x) = 0 ∼ eipµ x
∂ψ dψ
⇒ iγ0 0 = 0 ⇔ i 0 = mγ 0 ψ
∂x dx
ψ1 1 0 0 0 ψ1
d ψ2
0 1 0
0 ψ2
⇒i 0 = m ,
dx ψ3 0 0 −1 0 ψ3
ψ4 0 0 0 −1 ψ4
por inspección directa se puede ver que existen cuatro soluciones de la forma:
1 0 0 0
0 1 0 0
ψ 1 = e−imx0 ψ 2 = e−imx0 ψ 3 = eimx0 ψ4 = eimx0 ,
0 0 1 0
0 0 0 1
ψ (1,2) son soluciones con energía positiva, mientras que ψ (3,4) son soluciones
con energía negativa.
Estas soluciones tienen su origen en la relación de Einstein:
0
ψ (r) = ω r (0)e−ir mx , r = 1, 2, 3, 4, 1,2 = +1, 3,4 = −1,
donde los ωr (0) son los espinores de Dirac para el electrón en reposo:
1 0 0 0
0 1 0 0
ω 1 (0) = ω2 = ω3 = ω4 = .
0 0 1 0
0 0 0 1
A nivel cuántico, ω (1,2) describen los estados de espín del electrón, mientras
que ω (3,4) describen al positrón.
Considérese una rotación por un ángulo θ3 en torno al eje x3 :
se recuerda que:
i
µν
L O(θ3 ) = e 2 ωµν S ,
en donde se tiene:
214 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
i i
ωµν S µν = ω12 S 12 − ω21 S 21
2 2
i θ3
= iω12 S 12 = iθ3 [γ 1 , γ 2 ] = − (γ 1 γ 2 − γ 2 γ 1 )
4 4
! ! ! !
θ3 0 σ1 0 σ2 0 σ2 0 σ1
=− −
4 −σ1 0 −σ2 0 −σ2 0 −σ1 0
! !
θ3 −σ1 σ2 0 −σ2 σ1 0
=− −
4 0 −σ1 σ2 0 −σ2 σ1
! !
θ2 [σ1 , σ2 ] 0 [ σ1 , σ2 ] 0
= = θ3 2 2
4 0 [σ1 , σ2 ] 0 [ σ21 , σ22 ]
! !
i σ23 0 iθ3 σ3 0
= θ3 =
0 i σ23 2 0 σ3
σ12
>
1 0 0 0
iθ3 0 −1 0 0
=
2 0 0 1 0
00 0 −1
θ3
⇒ L O(θ3 ) = ei 2 σ12 .
De forma análoga:
!
θ2 σ 0
L O(θ2 ) = e i σ
2 13 , σ13 = 2
0 σ2
!
θ1 σ 0
L O(θ1 ) = e i σ
2 23 , σ23 = 1 .
0 σ1
9.5. EL CAMPO DE DIRAC 215
Se nota que:
!
2 1 (~σ · p̂)2 0
h = ,
4 0 (~σ · p̂)2
1
(1) h2 = 14×4 .
4
Además, se espera que:
hψ r (x) = λψ r (x),
luego:
h2 ψ r (x) = h hψ r (x) = h λψ r (x) = λhψ r (x) = λ2 ψ r (x),
1 1
λ2 = ⇔ λ=± ,
4 2
son los estados de helicidad positiva y negativa.
216 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
µ
ψ (1,2) (x) = U (1,2) (p)e−ipµ x
µ
ψ (3,4) (x) = V (1,2) (p)eipµ x .
Ahora:
[T a , T b ] = if abc T c .
a
α) = eiαa T ,
U (~
(T b )ac = if abc .
218 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
siendo los ψi (x) campos complejos. Este, al actuar en conjunto con SU(N),
se transforma como:
a
ψ 0 (x) = U ψ(x), U ∈ SU(N), U = eiαa T
ψ 0† (x) = ψ † (x)U † ,
con:
V (ψ † , ψ) = m2 ψ † ψ + λ(ψ † ψ)2 .
∂V ∂V
ψ(x) = − ψ † (x) = − .
∂ψ † ∂ψ
∂µ −→ Dµ = ∂µ − igAµ ,
9.6. TEORÍAS DE YANG-MILLS 219
a
(Dµ ψ)† (x) = U Dµ ψ(x), U = U (x) = eiαa (x)T .
de esta manera:
i
A0µ = U Aµ U † − (∂µ U )U † , (9.18)
g
U = 1 + iαa T a , αa infinitesimales,
luego:
220 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
i
A0µ = (1 + iαa T a )Aµ (1 − iαa T a ) − ∂µ (1 + iαa T a ) (1 − iαa T a )
g
1
= Aµ + iαb [T b , Aµ ] + ∂µ αa T a
g
1
⇒ A0a a a a b c b c
µ T = Aµ T + iα Aµ [T , T ] + ∂µ α T
a a
g
1
∴ A0a a
µ = Aµ − f
abc b c
α Aµ + ∂µ αa
g
1 ab
⇒ δAaµ = A0a a
µ − Aµ = (δ ∂µ − gf
abc c
Aµ )αb ,
g
de esta manera:
1
δAaµ = Dµab αb ,
g
siendo la derivada covariante en la representación adjunta:
aT a
U = eigα ⇒ δAaµ = Dµab αb .
Fµν = ∂µ Aν − ∂ν Aµ − ig[Aµ , Aν ],
o en componentes:
a
Fµν = ∂µ Aaν − ∂ν Aaµ + gf abc Abµ Acν , (9.20)
0
Fµν = U Fµν U † .
0
Fµν = (1 + iαa T a )F µν (1 − iαa T a )
= Fµν + iαa [T a , Fµν ]
0a a
⇒ Fµν T = T a Fµν
a
+ iαb Fµν
c
[T b , T c ]
a 0a a
δFµν = Fµν − Fµν = −f abc αb Fµν
c
a
∴ δFµν = −f abc αb Fµν
c
.
aT a
De esta forma, si U = eiα , entonces:
1
δAaµ = Dµab αb a
δFµν = f abc Fµν
b
αc ,
g
aT a
y si U = eigα :
δAaµ = Dµab αb a
δFµν = gf abc Fµν
b
αc .
0
T r[Fµν F 0µν ] = T r[U Fµν U † U F µν U † ] = T r[Fµν F µν ].
222 9. TEORÍA RELATIVISTA DE CAMPOS CLÁSICOS
1
L = (Dµ ψ)† (Dµ ψ) − V (ψ † , ψ) − T r[Fµν F µν ],
2
pero además:
1 a µν
T r[Fµν F µν ] = Fµν
a
Fbµν T r[T a T b ] = Fµν Fa ,
2
pues la traza de los generadores es igual a 21 δ ab , luego:
1 a µν
L = (Dµ ψ)† (Dµ ψ) − V (ψ † , ψ) − Fµν Fa . (9.21)
4
Las ecuaciones de movimiento:
∂L ∂L ∂L ∂L
∂µ † = ∂µ =
∂∂µ ψr ∂ψr† ∂∂µ ψr ∂ψr
∂L ∂L
∂µ = ,
∂∂µ Aaν ∂Aν
∂L ∂ 1 b αβ 1 αβ ∂ b
a
= a
− Fαβ Fb = − Fb a
Fαβ
∂∂µ Aν ∂∂µ Aν 4 2 ∂∂µ Aν
1 ∂
= − Fbαβ ∂α Abβ − ∂β Abα + gf bcd Acα Adβ
2 ∂∂µ Aaν
1 ∂
= − Fbαβ ∂ A
α β
b
− ∂ A
β α
b
2 ∂∂µ Aaν
1
= − Fbαβ (δ µα δ νβ − δ µβ δ να )δ ab
2
= −Fbαβ δ ab δ µα δ νβ = −Fbµν .
9.6. TEORÍAS DE YANG-MILLS 223
∂L ∂ 1 b αβ
a
= a
(Dα ψ)† (Dα ψ) − Fαβ Fb
∂Aν ∂Aν 4
∂ 1 b αβ
= a
(∂α ψ − igAbα T b ψ)† (∂ α ψ − igAαb T b ψ) − Fαβ Fb
∂Aν 4
∂ 1 b αβ
= a
(∂α ψ † + igAbα ψ † T b )(∂ α ψ − igAαb T b ψ) − Fαβ Fb
∂Aν 4
= igδ ab δ να ψ † T b (Dα ψ) + (Dα ψ)† (−igδ µα δ ab T b ψ)
1 ∂
− Fbαβ a · · · + gf bcd Acα Adβ
2 ∂Aν
h i 1
= ig ψ † T a (Dν ψ) − (Dν ψ)† T a ψ − gf bcd Fbαβ δ να δ ac Adβ + Acα δ νβ δ ad
2
1
h i
= ig ψ † T a (Dν ψ) − (Dν ψ)† T a ψ − g f bad Fbνβ Adβ + f bca Fbαν Acα
2
1
h i
= ig ψ † T a (Dν ψ) − (Dν ψ)† T a ψ − g f bac Fbνµ Acµ + f bca Fbµν Acµ
2
h i 1
= ig ψ † T a (Dν ψ) − (Dν ψ)† T a ψ − gf abc Fbµν Acµ − Fbνµ Acµ
h 2 i
= ig ψ † T a (Dν ψ) − (Dν ψ)† T a ψ − gf abc Fbµν Acµ .
Luego entonces:
h i
−∂µ Faµν = ig ψ † T a (Dν ψ) − (Dν ψ)† T a ψ − gf abc Fbµν Acµ
h i
⇒ ∂µ Faµν − gf abc Fbµν Acµ = −ig ψ † T a (Dν ψ) − (Dν ψ)† T a ψ
(δ ab ∂µ − gf abc Acµ )Fbµν = J νa ,
h i
J νa ≡ ig (Dν ψ)† T a ψ − ψ † T a (Dν ψ) .
Dµab Fbµν = 0,
δ2L
Mab (~x, ~y ) ≡
δ ψ̇a (x0 , ~x)δ ψ̇b (x0 , ~y )
δ2 Z
3
= d zL ψ a (z), ∂ ψ
µ a (z)
δ ψ̇a (x0 , ~x)δ ψ̇b (x0 , ~y )
δ bc δ(~z − ~y )
0
δ Z
∂L ∂ ψ̇c (x, ~z)*
= 0
d3 z 0 0 y)
δ ψ̇a (x , ~x) ∂ ψ̇c (x , ~z) ∂ ψ̇b (x , ~
δ Z
∂L
= 0
d3 z δ(~z − ~y )
δ ψ̇a (x , ~x) ∂ ψ̇b (x0 , ~z)
Z
3 ∂ 2L ∂ ψ̇c (x0 , ~z)
= dz δ(~z − ~y )
∂ ψ̇c (x0 , ~z)∂ ψ̇b (x0 , ~z) ∂ ψ̇a (x0 , ~x)
Z
∂ 2L
= d3 z δ(~z − ~y )δ(~z − ~x)
∂ ψ̇a (x0 , ~z)∂ ψ̇b (x0 , ~z)
∂ 2L
⇒ Mab (~x, ~y ) = δ(~y − ~x),
∂ ψ̇a (x0 , ~x)∂ ψ̇b (x0 , ~x)
∴ Mab (~x, ~y ) = Mab δ(~x − ~y ),
225
226 10. SISTEMAS DE CAMPOS CON LIBERTAD DE NORMA
en donde se ve que:
∂ 2L
Mab = , (10.1)
∂ ψ̇a (x0 , ~x)∂ ψ̇b (x0 , ~x)
∂L
πa ≡ ϕ̇ = v(ϕ, π)
∂ ϕ̇a
{ϕa (x), ϕb (y)} = 0 = {πa (x), πb (y)}
{ϕa (x), πb (y)} = δab δ(~x − ~y ).
Z Z
3 3
H= d xH = d x(πa ϕ̇a − L)
ϕ̇=v
H ≡ πa ϕ̇a − L ϕ̇a = {ϕa , H}, π̇a = {πa , H}.
H(1) = H + λα (x)Φ(1)
α (x).
10.1. CONSTRICCIONES DE LA TEORÍA DE MAXWELL 227
Φ̇(1) (1)
α = {Φα , H
(1)
}≈0
Z
β (1)
⇒ d3 y {Φ(1) (1)
α , H(y)} + λ (y){Φα (x), Φβ (y)}
≈0
Z
(1)
⇒ {Φ(1)
α (x), H
(1)
} + d3 yλβ (y){Φ(1)
α (x), Φβ (y)} ≈ 0.
Ahora, sea P la matriz definida por los paréntesis de Poisson de las constric-
ciones:
(1)
Pαβ (~x, ~y ) = {Φ(1)
α (x), Φβ (y)},
1
L = − Fµν F µν , Fµν = ∂µ Aν − ∂ν Aµ .
4
228 10. SISTEMAS DE CAMPOS CON LIBERTAD DE NORMA
Pero:
1
L=− F0i F 0i + Fi0 F i0 + Fij F ij ,
4
el último no contiene velocidades, pues Fij = ∂i Aj − ∂j Ai , luego:
1 1 1 2
L = − F0i F 0i + · · · = F0i F0i + · · · = ∂0 Ai − ∂i A0 + · · ·
2 2 2
1 1
= (Ȧi − ∂i A0 )2 + · · · = (Ȧi Ȧi − 2Ȧi ∂i A0 ) + · · · ,
2 2
claramente:
∂ 2L ∂ 2L ∂ 2L
= 0, = 0, = 0,
∂ Ȧ0 ∂ Ȧ0 ∂ Ȧ0 ∂ Ȧi ∂ Ȧi ∂ Ȧ0
de manera tal que:
0 0 0 0
0
M = ,
0
0
∂L ∂L
πα (x) = = ,
∂ Ȧα ∂∂0 Aα
∂L
= −F βα ⇒ πα (x) = −F 0α .
∂∂β Aα
De la antisimetría de F µν se tiene:
así que:
Ȧi = πi + ∂i A0 , (10.2)
Z Z
(1) 3 (1)
H = d xH = d3 x H + λ(x)Φ(1) (x) ,
H= (πi Ȧi − L)
V
1
= πi (πi + ∂i A0 ) + (2F0i F 0i + Fij F ij )
4
1 1
= πi πi + (−F 0i )(F 0i ) + Fij F ij + πi ∂i A0
2 4
1 1 ij
= πi πi + Fij F + πi ∂i A0 ,
2 4
y nótese lo siguiente:
∂i (πi A0 ) = A0 ∂i πi + πi ∂i A0 ,
πi ∂i A0 = −A0 ∂i πi ,
1 1
H = πi πi + Fij F ij − A0 ∂i πi . (10.3)
2 4
1 Z 3
⇒ ∂i d yFjk (y) δij ∂k − δik ∂j δ(~y − ~x) ≈ 0
2 Z
1
⇒ ∂i d3 yδ(~y − ~x) δik ∂j − δij ∂k Fjk (y) ≈ 0
2
1
⇒ ∂i δik ∂j − δij ∂k Fjk ≈ 0
2
⇒ δjk ∂i ∂j Fjk ≈ 0 ⇒ ∂i ∂j Fji ≈ 0
∴ 0 ≈ 0,
Z
1
S[Aµ ] = d4 xL L = − Fµν F µν
4
δS
=0 ⇒ ∂µ F µν = 0
δAµ
H(1) = H + λ(x)Φ(1) (x)
1 1
= πi πi + Fij F ij + A0 Φ(2) (x) + λ(x)Φ(1) (x).
2 4
La hamiltoniana extendida:
1 1
H = πi πi + Fij F ij + η(x)Φ(2) (x) + λ(x)Φ(1) (x),
2 4
siendo los primeros términos:
1 ~ ~ ~ ·B
~ ,
E·E+B
2
la densidad de energía del campo electromagnético.
10.1. CONSTRICCIONES DE LA TEORÍA DE MAXWELL 233
1
B = ijk Fjk
2
1 1
⇒ lri Bi = ilr ijk Fjk = (δlj δrk − δlk δri )Fjk
2 2
1
= (Flr − Frl ) = Flr
2
∴ Fij = ijk Bk ,
δAµ = ∂µ α, α infinitesimal.
Por otra parte, se ha visto que las constricciones de primera clase generan
transformaciones de norma en el espacio fase, las cuales deben estar dadas
por:
siendo G el generador, que debe ser una combinación lineal de Φ(1) y Φ(2) :
Z
G≡ d3 y ∂0 αΦ(1) + αΦ(2) ,
Z
δAµ = d3 y{Aµ (x), ∂0 α(y)π0 (y) + α(y)∂i πi (y)}
Z h i
= d3 y ∂0 α(y){Aµ (x), π0 (y)} + α(y){Aµ (x), ∂i πi (y)}
Z h i
= d3 y ∂0 α(y)δµ0 δ(~y − ~x) + α(y)∂i {Aµ (x), πi (y)}
Z h i
= d3 y ∂0 α(y)δµ0 δ(~y − ~x) + α(y)∂i δµi δ(~y − ~x)
Z h i
= d3 y ∂0 α(y)δµ0 − ∂i α(y)δµi δ(~y − ~x)
= ∂0 α(x)δµ0 − ∂i α(x)δµi ,
por lo tanto:
y es claro que:
δπµ = {πµ , G} = 0,
Z
1 a µν
S[Aaµ ] = d4 xL, L = − Fµν Fa
4
a
Fµν = ∂µ Aν − ∂ν Aµ + gf abc Abµ Acν .
10.2. CONSTRICCIONES DE LA TEORÍA DE YANG-MILLS 235
Bajo SU(N):
a
δFµν = gf abc Fµν
b
αc ,
Dµab Fbµν = 0,
y la identidad de Bianchi:
Dµab Fνλ
b
+ Dνab Fλµ
b
+ Dλab Fµν
b
= 0.
Es notable que:
∂L ∂L
πaα (x) = a
= = −Fa0α ,
∂∂0 Aα a
∂ Ȧα
de donde se desprende que:
Φ(1) 0
a = πa (x) ≈ 0.
236 10. SISTEMAS DE CAMPOS CON LIBERTAD DE NORMA
H(1) = H + λa Φ(1)
a ,
H = πai Ȧai − L
1
= πai (πai + Diab Ab0 ) + (2F0ia Fa0i + Fija Faij )
4
1 1
= πai (πai + Diab Ab0 ) − Fa0i Fa0i + Fija Fija
2 4
1 i i 1 a a
∴ H = πa πa + Fij Fij + πai Diab Ab0 .
2 4
1 1
H = πai πai + Fija Fija − Aa0 Diab πbi . (10.4)
2 4
La condición de consistencia sobre las constricciones primarias:
Φ̇(1) (1)
a = {Φa , H
(1)
} ≈ 0,
esto es:
Z
d3 y{Φ(1) (1)
a (x), H (y)} ≈ 0
Z h i
b (1)
⇒ d3 y {Φ(1) (1)
a (x), H(y) + λ (y){Φa (x), Φb (y)}} ≈ 0
Z
⇒ d3 y{π0a (x), −Ab0 (y)Dibc πic (y)} ≈ 0
Z
⇒ d3 y{Aa0 (y), π0a (x)}Dibc πic (y) ≈ 0
Z
⇒ d3 yδ ab δ(~y − ~x)Dibc πic (y) ≈ 0
ab b
∴ Φ(2)
a ≡ Di πi ≈ 0,
son las constricciones secundarias, que son comparables con las del caso
abeliano.
Así, entonces, se observa que:
1 1
H = πia πia + Fija Fija − Aa0 Φ(2)
a .
2 4
Ahora, la condición de consistencia sobre las constricciones secundarias:
238 10. SISTEMAS DE CAMPOS CON LIBERTAD DE NORMA
Φ̇(2) (2)
a = {Φa , H
(1)
} ≈ 0,
Z
1 b b
P1 = d3 y{Φ(2)
a (x), πi (y)πi (y)}
2
Z
1 b b
P2 = d3 y{Φ(2)a (x), Fij(y) Fij (y)}
Z 4
b (2)
P3 = d3 y{Φ(2)
a (x), −A0 (y)Φb (y)},
de manera que P1 + P2 + P3 ≈ 0.
Para el primer paréntesis:
Z
1
P1 = d3 y{Diab πib (x), πjc (y)πjc (y)}
Z 2
= d3 yπjc (y){Diab (x)πib (x), πjc (y)}
Z
= d3 yπjc {∂i πia (x) − gf abd Adi (x)πib (x), πjc (y)}
Z
= −gf abd d3 yπjc (y)πib (x){Adi (x), πjc (y)}
Z
abd
= −gf d3 yπjc (y)πib (x)δ dc δij δ(~y − ~x)
= −gf abc πic πib ,
Z
1 c
P2 = d3 y{Diab πib (x), Fjk (y)Fjkc
(y)}
4
1Z 3 c
= d yFjk (y){Diab πib (x), Fjkc
(y)}
2
1 Z
= Diab (x) d3 yFjk c
(y){πib (x), Fjk
c
(y)}
2
1 ab Z
c
= Di (x) d3 yFjk (y){πib (x), ∂j Ack (y) − ∂k Acj (y) + gf cde Adj (y)Aek (y)}
2
1 ab Z
c
h
= Di (x) d3 yFjk (y) {πib (x), ∂j Ack (y)} − {πib (x), ∂k Acj (y)}
2 i
+gf cde {πib (x), Adj (y)Aek (y)}
1 Z
= Diab (x) d3 yFjkc
(y) − ∂j {Ack (y), πib (x)} + ∂k {Acj (y), πib (x)}
2
−gf cde {Adj (y), πib (x)}Aek (y) + Adj (y){Aek (y), πib (x)}
1 Z
= Diab (x) d3 yFjk
c
(y) − δ cb δki ∂j + δ cb δji ∂k
2
−gf cde δ bd δji Aek (y) + δ be δki Adj (y) δ(~y − ~x)
1 ab Z
= Di (x) d3 yδ(~y − ~x) − δ cb δki ∂j + δ cb δji ∂k
2
−gf cde δ bd δji Aek (y) + δ be δki Adj (y) Fjk
c
(y),
1 ab
Di ∂j Fjib − ∂k Fikb − g f cbe Aek Fikc + f cdb Adj Fjic
2
1 ab bc
bcd d c bc bce e c
= Di δ ∂j − gf Aj Fji − δ ∂k − f Ak Fik
2
1 h i
= Diab Djbc Fjic − Djbc Fijc
2
1 ab bc c 1
= − 2Di Dj Fij = − Diab Djbc − Djab Dibc Fijc .
2 2
240 10. SISTEMAS DE CAMPOS CON LIBERTAD DE NORMA
La definición de curvatura:
b
[Dµ , Dν ]ac = −igFµν (T b )ac
b
⇒ (Dµ Dν − Dν Dµ )ac = −igFµν (T b )ac
⇒ (Dµab Dνbc − Dνab Dµbc ) = −igFµν
b
(T b )ac ,
en particular, para µ = i y ν = j:
Así que:
1
P2 = − gf abc Fijb Fijc ,
2
lo cual es cero, por la antisimetría de las constantes de estructura ante el
intercambio b ↔ c, y la simetría del intercambio entre curvaturas.
Ahora sólo hace falta calcular P3 . Sean f1 y f2 funciones prueba tales que se
cumple que:
Z
Φ(2)f
a
1
= d3 xf1 (x)Φ(2)
a (x)
Z
(2)f2 (2)
Φb = d3 yf2 (y)Φb (y),
entonces:
10.2. CONSTRICCIONES DE LA TEORÍA DE YANG-MILLS 241
Z
(2)f2 (2)
{Φ(2)f
a
1
, Φb }= d3 xd3 yf1 (x)f2 (y){Φ(2)
a (x), Φb (y)}
Z
= d3 xd3 yf1 (x)f2 (y){Diac πic (x), Djbd πjd (y)}
Z
= d3 xd3 yf1 (x)f2 (y){ ∂i πia − gf ace Aei (x) πic (x), ∂j πjb − gf bdf Afj (y) πjd (y)}
Z
= d xd yf1 (x)f2 (y) − gf bdf {∂i πia (x), Afj (y)}πjd (y)
3 3
Z
d3 p −i~p·(~y−~x)
∂ix δ(~y − ~x) = ∂ix 3
e = −∂iy δ(~y − ~x),
(2π )
Z
(2)f
{Φ(2)f
a
1
, Φb 2 } = d xd yf1 (x)f2 (y) − gf abc πic (x)∂ix + πic (y)∂iy
3 3
ace bdc
+g 2
−f f Aei (x)πid (y) +f adc bce
f Aei (y)πid (x) δ(~y − ~x)
"
Z
= d3 xd3 yδ(~y − ~x) gf abc f1 (x)∂iy f2 (y)πic (y) + f2 (y)∂ix f1 (x)πic (x)
#
ace bdc
2
+g f1 (x)f2 (y) − f f Aei (x)πid (y) +f adc bce
f Aei (y)πid (x) ,
Z
= d x gf abc f1 ∂i (f2 πic ) + f2 ∂i (f1 πic )
3
+g 2 f1 f2 (f aec f cbd + f adc f bce )Aei πid
Z
= d3 x gf abc ∂i (f1 f2 )πic + 2f1 f2 ∂i πic + g 2 f1 f2 (f aec f cbd + f adc f bce )Aei πid
Z
= d3 xgf abc ∂i (f1 f2 )πic + 2f1 f2 ∂i πic + gf1 f2 f ced Aei πid
Z
d3 xgf abc c c ced e d
= (f
∂i 1 f2 πi ) + f1 f2 ∂i πi + gf1 f2 f Ai πi
Z
= d3 xgf abc f1 f2 ∂i πic − gf cde Aei πid
Z
= d3 xgf abc f1 f2 δ cd ∂i − gf cde Aei πid
Z
= gf abc d3 xf1 (x)f2 (x)Diab πid (x)
= gf abc Φc(2)f1 f2 ,
luego:
(2)f2
{Φ(2)f
a
1
, Φb } = gf abc Φ(2)f
c
1 f2
Z Z
abc (2)
⇒ d3 xd3 yf1 (x)f2 (y){Φ(2)
a (x), Φb (y)} = gf d3 xd3 yf1 (x)f2 (y)δ(~y − ~x)Φ(2)
c ,
10.2. CONSTRICCIONES DE LA TEORÍA DE YANG-MILLS 243
finalmente:
a ab b
Φ(1)
a = π0 (x) ≈ 0 Φ(2)
a = Di πi (x) ≈ 0
(1) (2)
{Φ(1)
a (x), Φb (y)} = 0 {Φ(1)
a (x), Φb (y)} = 0
(2) abc (2)
{Φ(2)
a (x), Φb (y)} = gf Φc (x)δ(~y − ~x).
El generador será:
Z
G= d3 x[D0ab αb Φ(1) a (2)
a + α Φa ], δAaµ = Dµab αb .
De esta forma:
Z
δAaµ = {Aaµ , G} = d3 y{Aaµ (x), D0bc αc (y)π0b (y) + αb Dibc πic (y)}
Z h i
= d3 y D0bc αc (y){Aaµ (x), π0b (y)} + αb Dibc (y){Aaµ (x), πic (y)}
Z
= d3 y[δ ab δµ0 D0bc αc (y) + αb Dibc (y)δ ac δµi ]δ(~y − ~x)
Z
= d3 yδ(~y − ~x) δµ0 D0ab αb (y) − δµi Diab αb (y)
= δµ0 D0ab αb − δµi Diab αb .
Z
δπaµ = {πaµ , G} = d3 y{πaµ (x), D0bc αc (y)π0b (y) + αb Dibc πic (y)}
Z
= d3 y{πaµ (x), −gf bcd Ad0 αc (y)π0b (y) − αb gf bcd Adi (y)πic (y)}
Z
= −gf bcd d3 y[{πaµ (x), Ad0 (y)}αc (y)π0b (y) + {πaµ (x), Adi (y)}αb (y)πic (y)]
Z
bcd
= gf d3 y[δ da δµ0 αc (y)π0b (y) + δ da δµi αb (y)πic (y)]δ(~y − ~x)
Z
= gf abc d3 y[δµ0 π0b (y)αc (y) + δµi αb (y)πic (y)]δ(~y − ~x)
= gf abc (δµ0 π0b αc + δµi αb πic ),
luego:
La teoría de Einstein
245
246 11. LA TEORÍA DE EINSTEIN
Conjunto
↓
introducir topología (conjuntos abiertos)
↓
Espacio topológico
↓
cada conjunto abierto luce como Rn
↓
Variedad
↓
introducir conexión: perimte definir derivada covariante
↓
Variedad con conexión
↓
introducir métrica
↓
Variedad riemanniana
↓
tiene conexión automáticamente
11.1. ACCIÓN DE EINSTEIN-HILBERT 247
siendo la torsión:
1
Gµν ≡ Rµν − Rgµν ,
2
de manera tal que las ecuaciones de Einstein en el vacío son:
∇µ Gµν = 0.
√
LH = −gR. (11.1)
√Z
d4 x −gg µν Rµν
δSH = δ
Z h√ √ √ i
= d4 x −gg µν δRµν + −gδg µν Rµν + Rδ −g
= (δSH )1 + (δSH )2 + (δSH )3 ,
en donde ya se identifica:
por lo tanto:
Z
√ √
Z
(δSH )1 = d x −gg δRµν = d4 x −gg µν δRλµλν
4 µν
Z
√ h i
= d4 x −gg µν ∇λ (δΓλνµ ) − ∇ν (δΓλλµ )
Z
√ h i
= d4 x −gg µν ∇σ g σλ (δΓλνµ ) − g σν (δΓλλµ ) ,
T r(log M ) = log(det M ),
δT r(log M ) = δ log(det M )
1
⇒ T r(M −1 δM ) = δ(det M ),
det M
luego:
en cuanto a la traza:
ergo:
1
δ(g −1 ) = gµν δg µν ,
g
de esta forma:
√
δ −g = δ g −1/2
1 1
= − (−g −1 )−3/2 δ(−g −1 ) = − (−g −1 )−3/2 (g −1 gµν δg µν )
2 2
√ 1√
∴ δ −g = − −ggµν δg µν .
2
Dado que (δSH )1 no contribuye, entonces:
Z
√
1
δSH = 4
d x −g Rµν − gµν δg µν ,
2
y por el principio de Hamilton:
1
Rµν − gµν = 0,
2
las ecuaciones de Einstein en el vacío.
una perturbación:
Así pues:
1
Γρµν = g ρλ ∂µ gνλ + ∂ν gλµ − ∂λ gµν ,
2
toman la forma:
1
Γρµν = η ρλ ∂µ hνλ + ∂ν hλµ − ∂λ hµν ,
2
se han ignorado los términos de segundo orden.
252 11. LA TEORÍA DE EINSTEIN
los dos últimos términos son de segundo orden en hµν , por lo que no se toman
en cuenta. Luego:
Rνσ = η µρ Rµνρσ
1
= η µρ ∂ρ ∂ν hµσ + ∂σ ∂µ hρν − ∂ρ ∂µ hνσ − ∂σ ∂ν hµρ
2
1
= ∂ρ ∂ν hρσ + ∂σ ∂µ hµν − hνσ − ∂σ ∂ν hµµ
2
1
σ σ
∴ Rµν = ∂σ ∂µ h ν + ∂σ ∂ν h µ − ∂µ ∂ν h − hµν ,
2
R = η µν Rµν
1
= ∂σ ∂µ hσµ + ∂σ ∂ν hσν − h − h
2
∴ R = ∂µ ∂ν hµν − h.
1
Gµν = Rµν − ηµν R
2
1
⇒ Gµν = − hµν + ηµν h − ηµν ∂ρ ∂σ hρσ − ∂µ ∂ν h + ∂µ ∂σ hσν + ∂ν ∂σ hσµ ,
2
también es posible:
Gµν = η µα η νβ Gαβ
1
= η µα η νβ − hαβ + ηαβ h − ηαβ ∂ρ ∂σ hρσ − ∂α ∂β h + ∂α ∂σ hσβ + ∂β ∂σ hσα
2
1
∴ Gµν = − hµν + η µν h − η µν ∂ρ ∂σ hρσ − ∂ µ ∂ ν h + ∂ µ ∂σ hσν + ∂ ν ∂σ hσµ .
2
Gµν = 0.
1 + A A12
det(1 + A) = 11
A21 1 + A22
Luego:
√ q q
−g = − det(ηµν + hµν ) = − det η − det(hµν )
√ 1
' 1 − h ' 1 − h + O(h2 ).
2
1
µν µν
∴ L = 1 − h η − h Rµν ,
2
1 1
L= ∂µ hµν ∂ν h − ∂µ hρσ ∂ρ hµσ + η µν ∂µ hρσ ∂ν hρσ − ∂µ h∂ν h . (11.3)
2 2
1 µλ νρ ωσ
η η η ∂µ hλρ ∂ν hωσ − η ρλ η σω η µν ∂µ hλω ∂ρ hνσ
L=
2
1
+ η µν η ρλ η σω ∂µ hλω ∂ν hρσ − η λρ η ωσ ∂µ hλρ ∂ν hωσ
2
1 µλ νρ ωσ
= η η η − η ρλ η σω η µν δ ρω δ νρ δ ων
2
1 µν ρλ σω ρ ω λρ ωσ
+ η η η δ ωδ ρ − η η ∂µ hλρ ∂ν hωσ
2
1 µλ νρ ωσ 1 µν ωλ σρ
νλ σρ µω λρ ωσ
= η η η −η η η + η η η −η η ∂µ hλρ ∂ν hωσ
2 2
1
∴ L = C µλρνωσ ∂µ hλρ ∂ν hωσ ,
2
11.2. GRAVEDAD LINEALIZADA 255
definiendo:
1
C µλρνωσ = η µλ η νρ η ωσ − η νλ η σρ η µω + η µν η ωλ η σρ − η λρ η ωσ .
2
De esta manera, las ecuaciones de Euler-Lagrange:
∂L ∂L
∂γ = ,
∂∂γ hαβ ∂hαβ
a simple vista se observa que el lado derecho es cero, pues L no depende del
campo, sólo de sus derivadas. Así, se calcula primero:
∂L
,
∂∂γ hαβ
y prescindiendo de los términos que no dependen de ∂γ hαβ :
∂
∂µ hλρ ∂ν hωσ
∂∂γ hαβ
1 ∂ ∂
= ∂µ hλρ + ∂µ hρλ ∂ν hωσ + ∂ν hωσ + ∂ν hσω ∂µ hλρ
2 ∂∂γ hαβ ∂∂γ hαβ
1 ∂∂µ hλρ ∂∂ν hωσ
= ∂ν hωσ + ∂µ hλρ + α ↔ β
2 ∂∂γ hαβ ∂∂γ hαβ
1
= δ γµ δ αλ δ βρ ∂ν hωσ + δ γν δ αω δ βσ ∂µ hλρ + α ↔ β .
2
C µλρνωσ δ γµ δ αλ δ βρ + α ↔ β ∂ν hωσ
1
= η γα η νβ η ωσ − η να η σβ η γω + η γν η ωα η σβ − η αβ η ωσ + α ↔ β ∂ν hωσ
2
1 1
= η γα ∂ β h − ∂ α hγβ + ∂ γ hαβ − η αβ ∂ γ h + α ↔ β
2 2
256 11. LA TEORÍA DE EINSTEIN
C µλρνωσ δ γν δ αω δ βσ + α ↔ β ∂µ hλρ
1
= η µλ η γρ η αβ − η γλ η βρ η µα + η µγ η αλ η βρ − η λρ η αβ + α ↔ β ∂µ hλρ
2
1 1
= η αβ ∂ λ hγλ − ∂ α hγβ + ∂ γ hαβ − η αβ ∂ γ h + α ↔ β
2 2
= 2η αβ ∂ λ hγλ − ∂ α hγβ − ∂ β hγα + ∂ γ hαβ − η αβ ∂ γ h.
∂L 1 ∂
= C µλρνωσ ∂µ hλρ ∂ν hωσ
∂∂γ hαβ 2 ∂∂γ hαβ
1 γα β
= η ∂ h + η γβ ∂ α h + 2η αβ ∂ λ hγλ − 2∂ α hγβ − 2∂ β hγα
4
+2∂ γ hαβ − 2η αβ ∂ γ h ,
∂L
∂γ =0
∂∂γ hαβ
⇒ ∂ α ∂ β h + η αβ ∂γ ∂ λ hγλ − ∂γ ∂ α hγβ − ∂γ ∂ β hγα + hαβ − η αβ h = 0
1
⇒ − hαβ + η αβ h − η αβ ∂γ ∂λ hγλ − ∂ α ∂ β h + ∂ α ∂γ hγβ + ∂ β ∂γ hγα = 0
2
∴ Gαβ = 0,
h0µν = hµν + ∂µ ξν + ∂ν ξµ ,
A0µ = Aµ + ∂µ α, δAµ = ∂µ α.
1
Rµνρσ = ∂ρ ∂ν hµσ + ∂σ ∂µ hνρ − ∂σ ∂ν hµρ − ∂ρ ∂µ hνσ ,
2
entonces:
258 11. LA TEORÍA DE EINSTEIN
1
δRµνρσ = ∂ρ ∂ν δhµσ + ∂σ ∂µ δhνρ − ∂σ ∂ν δhµρ − ∂ρ ∂µ δhνσ
2
1
= ∂ρ ∂ν ξµσ + ∂σ ∂µ ξνρ − ∂σ ∂ν ξµρ − ∂ρ ∂µ ξνσ = 0.
2
1
Gµν = Rµν − ηµν R.
2
1 σ
Rµν = ∂ ∂µ hσν + ∂ σ ∂ν hµσ − ∂µ ∂ν h − hµν ,
2
1 σ
δRµν = ∂ ∂µ δhσν + ∂ σ ∂ν δhµσ − ∂µ ∂ν δh − δhµν
2
1 σ
= ∂ ∂µ ξσν + ∂ σ ∂ν ξµσ − η ρσ ∂µ ∂ν ξρσ − ξµν
2
1h σ i
= ∂ ∂µ (∂σ ξν + ∂ν ξσ ) + ∂ σ ∂ν (∂µ ξσ + ∂σ ξµ ) − η ρσ ∂µ ∂ν (∂ρ ξσ + ∂σ ξρ ) − (∂µ ξν + ∂ν ξµ ) ,
2
y se puede notar que cada término se anula con otro, por lo cual:
δRµν = 0.
R = ∂µ ∂ν hµν − h,
Por lo tanto:
δGµν = 0, (11.4)
∂µ F µν = 0.
Aµ = 0 ⇔ ∂µ ∂ µ Aν = 0,
Aµ = µ e2 kν xν ,
siendo:
g µν Γρµν = 0,
1 µν ρλ
η η ∂µ hνλ + ∂ν hµλ − ∂λ hµν = 0
2
1
⇒ η ρλ ∂µ hµλ + ∂ν hνλ − ∂λ h = 0
2
1
⇒ η ρλ 2∂µ hµλ − ∂λ h = 0,
2
de esta manera:
1
∂µ hµλ − ∂λ h = 0 (11.5)
2
la cual es llamada norma de Lorentz, de Einstein, de Hilbert, de Folk o de
Dender.
Con esta norma, las ecuaciones de Einstein linealizadas tomarán la forma:
1
∂µ ∂σ hσν + ∂ν ∂σ hσµ − ∂µ ∂ν h − ηµν ∂ρ ∂σ hρσ + ηµν h = 0
2
1 1 1 1
σ
⇒ ∂µ ∂ν h + ∂ν∂µ h −
∂µ ∂ν h − h − ηµν ∂ ∂σ h + ηµν h = 0
2 2 2 2
1
∴ hµν = ηµν h.
2
1
hµν ≡ hµν − hηµν , (11.6)
2
el tensor de traza invertida:
1
h = η µν hµν = η µν hµν − η µν ηµν h = h − 2h = −h.
2
11.2. GRAVEDAD LINEALIZADA 261
1 1
hµν = hµν + ηµν h = hµν − ηµν h
2 2
µ 1 µ 1
⇒ ∂µ h λ + η λ h = ∂λ h
2 2
µ
∴ ∂µ h λ = 0,
µ
(1) hµν = 0 ∂µ h λ = 0. (2) (11.7)
σ
hµν = Cµν eikσ x .
De (1):
kσ k σ = 0,
kµ C µν = 0,
G0ν = 0,
no pueden ser usadas para evolucionar al estado. Ergo, sólo hay 6 com-
ponentes de gµν (x). La solución involucra inevitablemente una ambigüedad
cuádruple, lo cual es un reflejo de la libertad que se tiene de elegir 4 funciones
coordenadas en todo el espacio.
Directamente de las ecuaciones de Einstein se puede ver que:
∇σ ∇σ xµ = 0,
0 = ∇σ ∇σ xµ = g σρ ∇ρ ∇σ xµ
= g σρ ∇ρ (∂σ xµ ) ya es tensor
σρ
h
µ :0 λ µ
δ µλ i
− Γ ρσ
=g (∂
∂ρ σx )
(∂
λx )
:
∴ ∇σ ∇σ x µ = 0 ⇒ −g σρ Γµρσ = 0,
lo cual es equivalente a:
g µν Γλµν = 0
√ √
⇒ ∂02 ( −gg 0ν ) = −∂i (∂0 −gg iν ),
xµ −→ xµ + δ µ , δ µ = 0,
xµ −→ xµ + ζ µ ζ µ = 0
σ
∴ ζµ = Bµ eikσ x ,
√
L= −gR,
Luego, entonces:
√ √ 1
−g = 1 + h = 1 + h + O(h2 ).
2
Así, de lo anterior:
√
L= −gg µν Rµν
√
= −gg µν ∂λ Γλµν − ∂µ Γλλν + Γλλρ Γρµν − Γλµρ Γρλν ,
1
L ' (1 + h)(η µν − hµν ) ∂λ Γλµν − ∂µ Γλλν + Γλλρ Γρµν − Γλµρ Γρλν
2
1
= η ∂λ Γλµν − ∂µ Γλλν − (hµν − η µν h) ∂λ Γλµν − ∂µ Γλλν
µν
2
+η Γ λρ Γ µν − Γ µρ Γρλν + O(h3 ),
µν λ ρ λ
11.2. GRAVEDAD LINEALIZADA 265
1
Γλµν = g λσ ∂µ gνσ + ∂ν gµσ − ∂σ gµν
2
1 λσ
= (η − hλσ ) ∂µ gνσ + ∂ν gµσ − ∂σ gµν ,
2
1 1
L = (∂λ hµν − η µν ∂λ h)Γλµν − (∂µ hµν − η µν ∂µ h)Γλλν
2 2
+η µν (Γλλρ Γρµν − Γλµρ Γρλν ),
1
(∂λ hµν − η µν ∂λ h)Γλµν
2
1 µν h1 i
= (∂λ h − η ∂λ h) η λσ (∂µ hνσ + ∂ν hµσ − ∂σ hµν )
µν
2 2
1 1 µν
= (∂λ h − η ∂λ h)(∂µ hλν + ∂ν hλµ − ∂ λ hµν )
µν
2 2
1h
= ∂λ hµν ∂µ hλν + ∂λ hµν ∂ν hλµ − ∂λ hµν ∂ λ hµν
2
1 µν 1 1 i
− η ∂λ h∂µ hλν − η µν ∂λ h∂ν hλµ + η µν ∂λ h∂ λ hµν
2 2 2
1h 1 i
= 2∂µ hρσ ∂ρ hµσ − η µν (∂µ hρσ ∂ν hρσ ) − η µν (∂λ h∂µ hλν ) + η µν (∂µ h∂ν h)
2 2
1h 1 i
= 2∂µ hρσ ∂ρ hµσ − η µν (∂µ hρσ ∂ν hρσ ) − ∂µ hµν ∂ν h + η µν (∂µ h∂ν h) .
2 2
1
−(∂µ hµν − η µν ∂µ h)Γλλν
2
1 1 µν
= − (∂µ h − η ∂µ h)η σλ (∂λ hνσ + ∂ν hλσ − ∂σ hλν )
µν
2 2
1 1
= − (∂µ h − η µν ∂µ h)(
µν
∂λ hλν + ∂ν h − hσ
∂σ ν)
2 2
1h 1 i
= − ∂µ hµν ∂ν h − η µν (∂µ h∂ν h) .
2 2
1 1
(∂λ hµν − η µν ∂λ h)Γλµν − (∂µ hµν − η µν ∂µ h)Γλλν
2 2
1h i
= 2∂µ hρσ ∂ρ hµσ − 2∂µ hµν ∂ν h − η µν (∂µ hρσ ∂ν hρσ ) + η µν (∂µ h∂ν h) .
2
Finalmente, se calcula:
1 1
L = ∂µ hρσ ∂ρ hµσ − ∂µ hµν ∂ν h + η µν ∂µ h∂ν h − ∂µ hρσ ∂ν hρσ ,
2 2
la cual es −L, respecto a la que se propuso anteriormente. Este signo es
irrelevante, se desvanece al calcular las ecuaciones de movimiento.
∂L
π αβ = ,
∂∂0 hαβ
El objetivo será buscar las velocidades φ̇, φ̇i y φ̇ij como funciones del espacio
fase.
Se trabaja en n + 1 dimensiones, así que los pares canónicos serán:
(h00 , π00 ) → (φ, π) (h0i , π0i ) → (φi , πi ) (hij , πij ) → (φij , πij ).
268 11. LA TEORÍA DE EINSTEIN
1
(1 + n)(2 + n).
2
∂L ∂L
παβ = 0 αβ
=
∂∂ h ∂ ḣαβ
1h i
= η0α ∂β h + η0β ∂α h + 2ηαβ ∂λ hλ0 − 2(∂α h0β + ∂β h0α ) + 2∂0 hαβ − 2ηαβ ∂0 h .
4
De esta manera:
1h λ
π00 = π = 0h +
η00∂ 0 h + 2η00 ∂λ h 0 − 2(∂0 h00 + ∂0 h00 )
η00∂
4 i
+2∂0 h00 − 2η 00 ∂0 h
1
⇒ π = (∂λ hλ0 − φ̇)
2
1 0 i
= (∂0h 0 + ∂i h 0 − φ̇)
2
1 1 1
= ∂i hi 0 = − ∂i hi0 = − ∂i φi ,
2 2 2
1
π = − ∂i φi . (11.8)
2
1h :0 :0
λ − 2(∂0 h0i + ∂i h00 )
π0i = πi = η00 ∂i h + η0i∂
0h
+ 2η0i ∂λ h 0
4
i 0
*
+2∂0 h0i − 2η0i ∂0 h
1 h i
= ∂i h − 2(ḣ0i + ∂i h00 ) + 2ḣ0i
4
1h i 1h i
= ∂i (h00 + hj j − 2h00 ) = ∂i (h00 − hjj − 2h00 )
4 4
1h i 1
= ∂i (−hjj − h00 ) = − (∂i φ + ∂i φjj ),
4 4
así que:
1
πi = − (∂i φ + ∂i φkk ). (11.9)
4
En cuanto al último momento:
1h i
πij = δij (ḣ00 − ḣkk − ∂λ hλ0 ) + ḣij − ∂i φj − ∂j φi
2
1h i
= ḣij + δij (φ̇ − φ̇kk − ḣ00 − ∂k hk0 ) − ∂i φj − ∂j φi
2
1h i
= ḣij + δij (−φ̇kk − ∂k φk ) − ∂i φj − ∂j φi
2
1h i
∴ πij = φ̇ij − δij (φ̇kk − ∂k φk ) − ∂i φj − ∂j φi ,
2
esto es:
2 n−2
φ̇ii = πii + ∂i φi ,
1−n n−1
pero de 11.10, si i 6= j, entonces:
1
Φ(1) ≡ π + ∂i φi ≈ 0
2
(1) 1
Φi ≡ πi + (∂i φ + ∂i φkk ) ≈ 0.
4
(1)
H(1) = H + λΦ(1) + λi Φi ,
H = πij φ̇ij − L.
12
Este teorema establece la relación que existe entre simetrías y leyes de con-
servación.
El teorema tiene que ver con transformaciones continuas de los grados de
libertad; en este caso, de los campos ϕa (x).
Las transformaciones forman una simetría si dejan invariantes a las ecua-
ciones de movimiento. Esta condición se satisface si la acción es invariante
bajo el grupo de transformaciones. De manera más general, se puede permitir
que la acción sea invariante hasta un término de superficie, ya que este no
contribuye a las ecuaciones de movimiento.
Supóngase que bajo una transformación infinitesimal, el campo cambia por:
271
272 12. EL TEOREMA DE NOETHER PARA SIMETRÍAS GLOBALES
cambios:
y como α 6= 0, entonces:
∂µ J µ = 0,
siendo:
∂L
Jµ ≡ ∆ϕa − J µ . (12.1)
∂∂µ ϕa
x0µ = xµ + µ −→ δxµ = µ .
12.1. GRUPO DE POINCARÉ 273
es decir:
δϕa = ν ∂ ν ϕa . (12.2)
esto es:
δL = ν ∂µ (g µν L), (12.3)
∂L ∂L
ν ∂µ (g µν L) = δϕa + δ(∂µ ϕa )
∂ϕa ∂∂µ ϕa
∂L ∂L
= ∂µ δϕa = ∂µ ν ∂ ν ϕa
∂∂µ ϕa ∂∂µ ϕa
∂L ν
= ν ∂µ ∂ ϕa ,
∂∂µ ϕa
de otra forma:
∂L ν
ν ∂µ ∂ ϕa − g µν L = 0,
∂∂µ ϕa
274 12. EL TEOREMA DE NOETHER PARA SIMETRÍAS GLOBALES
esto es:
∂µ T µν = 0, (?)
siendo:
∂L ν
T µν ≡ ∂ ϕa − g µν L, (12.4)
∂∂µ ϕa
el tensor de energía-momento, el cual representa a la corriente conservada
asociada a la homogeneidad del espacio-tiempo. La corriente conservada dará
lugar a una carga conservada, a partir de la ecuación (?). En todo el espacio
se tiene:
Z Z Z
µν
3
d x∂µ T =0 ⇒ 3
d x∂0 T 0ν
+ d3 x∂i T iν = 0,
∂L ν
Z Z
ν 3 0ν 3
Q = d xT = dx ∂ ϕa − g 0ν L
∂ ϕ̇a
Z
= d3 x π a ∂ ν ϕa − g 0ν L ,
12.1. GRUPO DE POINCARÉ 275
de esta manera:
Z Z
Q0 = d3 x π a ϕ̇a − L = d3 xH = H ≡ P 0 .
Así que Qν es el 4-momento del sistema, P ν , los cuales, a su vez, son los
generadores del grupo de traslaciones T(1,3). Ya se sabe que este grupo es
abeliano:
[Pµ , Pν ] = 0.
En particular:
[H, Pi ] = 0,
lo cual quiere decir que el momento lineal del sistema es una constante de
movimiento.
1
Sab (δx) = δab + Σµν µν ,
2 ab
así pues:
Σµν νµ
ab = −Σab ,
276 12. EL TEOREMA DE NOETHER PARA SIMETRÍAS GLOBALES
1
ϕ0a (x0 ) = δab + Σµν µν ϕb (x + δx)
2 ab
1
= δab + Σµν µν ϕb (x) + ∂ µ
ϕb δx µ
2 ab
1
= ϕa (x) + ∂ µ ϕa (x)δxµ + Σµν µν ϕb (x).
2 ab
Luego:
así que:
1 1
δϕa (x) = λρ (xρ ∂ λ ϕa − xλ ∂ ρ ϕa ) + Σλρ λρ ϕb . (12.6)
2 2 ab
La variación de la lagrangiana:
δL = ∂µ (Lg µλ δxλ )
= ∂µ (Lg µλ λρ xρ )
h1 i
= ∂µ λρ (xρ g µλ − xλ g µρ )L ,
2
así:
1 h i
δL = λρ ∂µ (xρ g µλ − xλ g µρ )L , (12.7)
2
la cual debe coincidir con la que resulta de variar los campos:
∂L
δL = ∂µ δϕa .
∂∂µ ϕa
De esta manera:
∂L 1
∂µ δϕa − λρ (xρ g µλ − xλ g µρ )L = 0
∂∂µ ϕa 2
1 ∂L ρ λ
⇒ λρ ∂µ (x ∂ ϕa − xλ ∂ ρ ϕa ) + Σλρab ϕb − (x g
ρ µλ
− xλ g µρ )L = 0
2 ∂∂µ ϕa
1 ∂L λ ∂L
⇒ λρ ∂µ xρ ∂ ϕa − g µλ L − xλ ∂ ρ ϕa − g µρ L
2 ∂∂µ ϕa ∂∂µ ϕa
∂L
+Σλρ
ab ϕb =0
∂∂µ ϕa
1 ∂L
ρ µλ λ µρ λρ
⇒ λρ ∂µ x T − x T + Σab ϕb =0
2 ∂∂µ ϕa
∴ ∂µ J µλρ = 0, (†)
siendo:
1 ∂L
J µλρ ≡ λρ xρ T µλ − xλ T µρ + Σλρ
ab ϕb . (12.8)
2 ∂∂µ ϕa
Z Z Z
d3 x∂µ J µλρ = 0 ⇒ d3 x∂0 J 0λρ + d3 x∂i J iλρ = 0,
dJ µν µν
Z
= 0, J ≡ d3 x∂0 J 0λρ .
dt
Nótese que:
λρ
Z ∂L λρ
J = d3 x xλ T 0ρ − xρ T 0λ + Σ ϕb = −J ρλ ,
∂ ϕ̇a ab
hay 6 cantidades conservadas:
J ij J 0i .
ij
Z ∂L ij
J = d3 x xi T 0j − xj T 0i + Σ ϕb ,
∂ ϕ̇a ab
Rompimiento espontáneo de
una simetría continua
H ⊂ G,
{T a } −→ {T ā }, {T â },
L(ϕr , ∂µ ϕr ),
279
280 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
G −→ H
{ϕr } −→ {ϕs̄ }
L(ϕr , ∂µ ϕr ) −→ L(ϕs̄ , ∂µ ϕs̄ ),
v
G →
− H,
G −→ H
{Aaµ } −→ {Aāµ }, {Aâµ },
los primeros son campos de norma, los {Aāµ } son campos de norma de H y
los {Aâµ } son los campos de norma asociados a los generadores rotos de G.
Luego:
{ϕr } −→ {ϕs̄ },
bajo la perspectiva izquierda, ninguno de los Aaµ puede tener masa, en tanto
que, bajo H, Aāµ son conexiones, pero los campos Aâµ se transforman ten-
sorialmente, debido a la invariancia bajo H. Así, los campos Aāµ no pueden
tener masa, pero los campos Aâµ sí.
El mapeo {Aaµ } −→ {Aāµ }, {Aâµ } por sí mismo no dota con masa a los campos
Aâµ , sólo propone que estos pueden tenerla, ya que se transforman como
campos de materia. Entonces se necesita un mecanismo que permita generar
el término de masa, de tal forma que no se destruya la simetría de G. Este
mecanismo es el de Higgs, el cual tiene como base el fenómeno de rompimiento
espontáneo.
G −→ H
LG −→ LH
{Aaµ } −→ {Aāµ }, {Aâµ }
[T a , T b ] = if abc T c ,
f 123 = 1
1
f 345 = f 147 = f 165 = f 246 = f 257 = f 376 = 2
√
3
f 458 = f 678 = 2
a
λ λb λc
= if abc ,
,
2 2 2
13.1. EL TEOREMA DE GOLDSTONE 283
en donde se tiene:
0 1 0 0 −i 0 1 0 0
1 2 3
λ = 1 0 0 , λ = i 0 0 , λ = 0 −1 0
0 0 0 0 0 0 0 0 0
0 0 1 0 0 −i 0 0 0
4 5 6
λ = 0 0 0
, λ = 0 0 0
, λ = 0 0 1
1 0 0 i 0 0 0 1 0
0 0 0 1 0 0
7 8 1
λ = 0 0 −i
λ = √ 0 1 0 .
0 i 0 3 0 0 −2
! ! !
0 1 0 −i 1 0
σ1 = , σ2 = , σ3 = .
1 0 i 0 0 −1
ā
λ λb̄ λc̄
, = iāb̄c̄ ,
2 2 2
en donde los índices con barra varían entre 1, 2 y 3. La anterior es idéntica al
álgebra de Lie de SU(2), por lo tanto este último es un subgrupo de SU(3).
En realidad hay 3 subgrupos del tipo SU(2) independientes:
ā = 1, 2, 3 â = 4, 5, 6, 7, 8 a = ā, â.
Φ3 (x)
en donde se tiene:
a λa
Φ0 (x) = e−iα 2 Φ(x),
con αa constantes.
El interes principal es determinar el mínimo de energía (estado base o estado
de vacío) del sistema. Para ello, se necesita estudiar:
∂V
=0 ⇒ [µ2 + 2λ(Φ† Φ)]Φi = 0.
∂Φ†i
Se tienen dos casos:
v2
Φ† Φ = es invariante bajo SU(3).
2
Pero se debe elegir un punto de la superficie, esto es, se debe escoger una
dirección caracterizada por el vector constante Φ0 , el cual no depende del
espacio-tiempo. Pero ¿cuál es el criterio para elegirlo? Esto dependerá de a
qué subgrupo se desea romper al grupo SU(3), esto es lo que determina al
vector, i.e. no es arbitrario.
Se desea:
SU(3) −→ SU(2),
U Φ0 = Φ0 ,
286 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
por lo cual:
ā λā
e−iα 2 Φ0 = Φ0
λā
⇒ Φ0 = 0,
2
notando que (λâ /2)Φ0 6= 0, así que se dice que los generadores λâ /2 están
rotos en este sentido.
Ahora bien, (λā /2)Φ0 = 0 significa:
0 1 0 Φ01 0 −i 0 Φ01 1 0 0 Φ01
1 0 0 Φ
02 = 0,
i 0 0 Φ
02 = 0,
0 −1 0 Φ02 = 0
Φ03 v/ 2
SU(3) −→ SU(2)
Φ1 (x) !
Φ1
Φ(x) = Φ2 (x) −→ φ= , φ0 ≡ Φ3 ,
Φ2
Φ3 (x)
Φ(x) −→ Φ0 + Φ
Φ1 Φ1 !
φ
= √Φ2 = √Φ2 = ,
0 ϕ0
v/ 2 + Φ3 v/ 2 + φ
13.1. EL TEOREMA DE GOLDSTONE 287
siendo aquí:
v v + H + iϕz
ϕ0 ≡ √ + φ0 = √ .
2 2
Entonces:
!
φ
† †
Φ Φ = (φ , ϕ ) 0 = φ† φ + ϕ0∗ ϕ0 ,
0∗
ϕ
1 1
(∂µ Φ)† (∂ µ Φ) = (∂µ φ)† (∂ µ φ) + (∂µ H)(∂ µ H) + (∂µ ϕz )(∂ µ ϕz )
2 2
esto es:
1 1
LSU (2)Φ = (∂µ φ)† (∂ µ φ) + (∂µ H)(∂ µ H) + (∂µ ϕz )(∂ µ ϕz )
2 2
† 0∗ 0
−V (φ , φ, ϕ , ϕ ),
en donde:
h i
V = λ − (φ† φ + ϕ0∗ ϕ0 )v 2 + (φ† φ + ϕ0∗ ϕ0 )2
= λ(φ† φ + ϕ0∗ ϕ0 − v 2 )(φ† φ + ϕ0∗ ϕ0 )
h i
= λ (φ† φ)2 + 2(ϕ0∗ ϕ0 )(φ† φ) − v 2 (φ† φ) − v 2 (ϕ0∗ ϕ0 ) + (ϕ0∗ ϕ0 )2 ,
y como se tiene:
288 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
v + H + iϕz v + H − iϕz 1 ϕ2
0∗
ϕ ϕ = √ 0
√ = (v + H)2 + z ,
2 2 2 2
entonces:
v2 h
h i i
V = λ (φ† φ)2 + (v + H)2 + ϕ2z (φ† φ) − v 2 (φ† φ) − (v + H)2 + ϕ2z
2
1h i2
+ (v + H)2 + ϕ2z ,
4
y después de hacer un poco de álgebra:
v4 H4
V = λ (φ† φ)2 + (2vH + H 2 + ϕ2z )(φ† φ) − + v 2 H 2 + vH 3 +
4 4
4
1 ϕ
+vHϕ2z + H 2 ϕ2z + z
2 4
λ 2 2
∴ V = v H + ··· ,
2
se ve que de los 6 campos escalares originales, 5 aparecen con masa igual a
cero:
!
Φ1
φ= doblete ϕz singlete,
Φ2
1 1 √
− λv 2 H 2 = − m2H H 2 ⇒ m2H = λv 2 ⇒ mH = λv,
2 2
siendo v la constante dimensional: escala del rompimiento de la simetría, y
λ adimensional. H es la parte real de Φ3 .
Recapitulando:
λā
Φ0 = 0,
2
13.2. EL MECANISMO DE HIGGS 289
implica que los generadores λā /2 no están rotos. En este sentido es que SU(2)
es una simetría exacta. Además:
λâ
Φ0 6= 0,
2
1 a µν
LSU (3) = (Dµ Φ)† (Dµ Φ) − V (Φ† , Φ) − Fµν Fa ,
4
en donde:
a
Fµν = ∂µ Aaν − ∂ν Aaµ + gf abc Abµ Acν
Φ1
Φ = Φ2
Φ3
V (Φ† , Φ) = µ2 (Φ† Φ) + λ(Φ† Φ)2 ,
0
v
SU(3) →
− SU(2) Φ0 = 0√ .
v/ 2
También se va a tener:
290 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
Bajo SU(2):
a
δFµν = gf abc Fµν
b
Fcµν .
En la representación fundamental:
αa a αa a
δΦ = i λ Φ, δDµ Φ = i λ Dµ Φ,
2 2
la derivada covariante en la representación fundamental:
λa a
Dµ = ∂µ − ig A .
2 µ
Para implementar el mecanismo de Higgs se necesita hacer el siguiente mapeo
de punto:
SU(3) −→ SU(2)
{Aaµ } → ¿? a
{Fµν } → ¿?
!
Φ1
{Φ} −→ φ= , φ0 .
Φ2
Wµā = Aāµ , ā = 1, 2, 3
√1 (A4 − iA5µ )
! !
Yµ1 2 µ
Yµ = = √1 (A6
Yµ2 2 µ − iA7µ )
Zµ = A8µ .
ā
Fµν = ∂µ Aāµ − ∂ν Aāµ + gf ābc Abµ Acν
= ∂µ Aāµ − ∂ν Aāµ + gf āb̄c̄ Ab̄µ Ac̄ν + gf āb̂ĉ Ab̂µ Aĉν
ā
= Wµν + gf āb̂ĉ Ab̂µ Aĉν ,
siendo:
ā
Wµν = ∂µ Aāµ − ∂ν Aāµ + gf āb̄c̄ Ab̄µ Ac̄ν ,
1 1
{Yµ1 = √ (A4µ − iA5µ ), Yµ1∗ = √ (A4µ + iA5µ )}
2 2
1 i
⇒ {A4µ = √ (Yµ1 + Yµ1∗ ), A5µ = √ (Yµ1 − Yµ1∗ )}
2 2
1 1
{Yµ2 = √ (A6µ − iA7µ ), Yµ2∗ = √ (A6µ + iA7µ )}
2 2
1 i
⇒ {A6µ = √ (Yµ2 + Yµ2∗ ), A7µ = √ (Yµ2 − Yµ2∗ )}.
2 2
Ahora nótese lo siguiente:
f ā47 (A4µ A7ν − A7µ A4ν ) + f ā56 (A5µ A6ν − A6µ A5ν )
i
h
= (f 147 + f 247
+ f 347
) (Y 1 + Y 1∗ )(Y 2 − Y 2∗ )
µ µ ν ν
2
i
−(Yµ2 − Yµ2∗ )(Yν1 + Yν1∗ )
h
+(f 156 +
f 256
+ f 356
1 1∗ 2 2∗
) (Yµ − Yµ )(Yν + Yν )
i
−(Yµ2 + Yµ2∗ )(Yν1 − Yν1∗ )
i
1
= (Y Y 2 − Yµ1 Yν2∗ + Yµ1∗ Yν2 − 1∗ 2∗
Yµ Yν − Yµ2
Yν1 − Yµ2 Yν1∗
4 µ ν
+Yµ2∗ Yν1 + 2∗ 1∗
Yµ Yν) − ( 1
YµYν2 + Yµ1 Yν2∗ − Yµ1∗ Yν2 − 1∗
Yµ Yν2∗
2
−
YµYν1 + Yµ2 Yν1∗ − Yµ2∗ Yν1 + 2∗
Yµ
Yν1∗ )
i
= Y 1∗ Y 2 − Yµ1 Yν2∗ + Yµ2∗ Yν1 − Yµ2 Yν1∗
2 µ ν
i
= (Yµ1∗ Yν2 + Yµ2∗ Yν1 ) − (Yν1∗ Yµ2 + Yν2∗ Yµ1 )
2
! !
i 1∗ 2∗ Yν2 1∗ 2∗ Yµ2
= (Yµ , Yµ ) − (Yν , Yν )
2 Yν1 Yµ1
! ! ! !
i 0 1 Yν1 0 1 Yµ1
= (Yµ1∗ , Yµ2∗ ) − (Yν1∗ , Yν2∗ )
2 1 0 Yν2 1 0 Yµ2
1 1
σ σ
=i Yµ† Yν − Yν† Yµ .
2 2
13.2. EL MECANISMO DE HIGGS 293
f ā46 (A4µ A6ν − A6µ A4ν ) + f ā57 (A5µ A7ν − A7µ A5ν )
2 2
σ σ
=i Yµ† Yν − Yν† Yµ ,
2 2
f ā45 (A4µ A5ν − A5µ A4ν ) + f ā67 (A6µ A7ν − A7µ A6ν )
σ3 σ3
= i Yµ† Yν − Yν† Yµ ,
2 2
σ ā σ ā
gf āb̂ĉ Ab̂µ Aĉν = ig Yµ† Yν − Yν† Yµ ,
2 2
y entonces:
σ ā σ ā
ā
Fµν ā
= Wµν + ig Yµ† Yν − Yν† Yµ , (13.1)
2 2
8
Fµν = ∂µ A8ν − ∂ν A8µ + gf 8bc Abµ Acν
h i
= ∂µ Zν − ∂ν Zµ + g f 845 (A4µ A5ν − A5µ A4ν ) + f 867 (A6µ A7ν − A7µ A6ν )
√
g 3 4 5
5 4 6 7 7 6
= Zµν + Aµ Aν − Aµ Aν + Aµ Aν − Aµ Aν
√2
ig 3 1∗ 1
2∗ 2 1∗ 1 2∗ 2
= Zµν + Yµ Yν + Yµ Yν − Yν Yµ − Yν Yµ ,
2
de donde ya se ve que:
√
ig 3 †
8
Fµν = Zµν + Yµ Yν − Yν† Yµ , (13.2)
2
294 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
4 5 6 7
Fµν , Fµν , Fµν , Fµν .
Se define:
√1 (F 4 5
! !
1
Yµν 2 µν − iFµν )
Yµν ≡ 2 = √1 (F 6 7 ,
Yµν 2 µν − iFµν )
1
y considérese Yµν :
1 h
1
Yµν = √ (∂µ A4ν − ∂ν A4µ + gf 4bc Abµ Acν )
2
i
−i(∂µ A5ν − ∂ν A5µ + gf 5bc Abµ Acν )
1 1
= ∂µ √ (A4ν − iA5ν ) − ∂ν √ (A4µ − iA5µ )
2 2
1 4bc b c
+ √ g f Aµ Aν − if 5bc Abµ Acν
2
g
= ∂µ Yν1 − ∂ν Yµ1 + √ (f 4bc − if 5bc )Abµ Acν ,
2
g 417 1 7
√ f (Aµ Aν − A7µ A1ν ) − if 516 (A1µ A6ν − A6µ A1ν )
2
+ f 426 (A2µ A6ν − A6µ A2ν ) − if 527 (A2µ A7ν − A7µ A2ν )
+ f 435 (A3µ A5ν − A5µ A3ν ) − if 534 (A3µ A4ν − A4µ A3ν )
+f 458 (A5µ A8ν − A8µ A5ν ) − if 548 (A4µ A8ν − A8µ A4ν ) ,
en donde los términos que aparecen encerrados entre paréntesis internos están
relacionados (nótese que los dos últimos no lo están). Así, la primera pareja
de términos:
13.2. EL MECANISMO DE HIGGS 295
f 417 (A1µ A7ν − A7µ A1ν ) − if 516 (A1µ A6ν − A6µ A1ν )
1h i
= − A1µ (A7ν + iA6ν ) − A1ν (A7µ + iA6µ )
2 √
2 1 2
= −i Wµ Yν − Wν1 Yµ2 ,
2
el segundo par:
f 426 (A2µ A6ν − A6µ A2ν ) − if 527 (A2µ A7ν − A7µ A2ν )
1h i
= − A2µ (A6ν − iA7ν ) − A2ν (A6µ − iA7µ )
2 √
2 2 2
=− Wµ Yν − Wν2 Yµ2 .
2
f 435 (A3µ A5ν − A5µ A3ν ) − if 534 (A3µ A4ν − A4µ A3ν )
1h i
= − A3µ (A5ν + iA4ν ) − A3ν (A5µ + iA4µ )
2 √
2 3 1
= −i Wµ Yν − Wν3 Yµ1 .
2
f 458 (A5µ A8ν − A8µ A5ν ) − if 548 (A4µ A8ν − A8µ A4ν )
√
3h 8 5 i
= Aν (Aµ + iA4µ ) − A8µ (A5ν + iA4ν )
2 √ √
3 2 1
=i Yµ Zν − Yν1 Zµ .
2
1
De esta manera, Yµν queda como sigue:
296 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
1 g 1 2
Yµν = ∂µ Yν1 − i Wµ Yν − iWµ2 Yν2 + Wµ3 Yν1
2
g 1 2
− ∂ν Yµ1 − i Wν Yµ − iWν2 Yµ2 + Wν3 Yµ1
2√
g 3 1
+i Yµ Zν − Yν1 Zµ .
2
σ ā ā
Dµ = ∂µ − ig W ,
2 µ
y ahora se nota lo siguiente:
σ ā ā
! ! !
Yν1 ∂µ Yν1 ā σ Yν1
Dµ Yν = ∂µ − ig Wµā = − igW
2 Yν2 ∂µ Yν2 µ
2 Yν2
! ! ! ! !
∂ Y1 g 0 1 Yν1 2 0 −i Yν1
= µ ν2 − i Wµ1 2 + Wµ
∂ µ Yν 2 1 0 Yν i 0 Yν2
! !
1 0 Yν1
+Wµ3
0 −1 Yν2
en donde ya se ve lo siguiente:
√
1 3 1
Yµν = Dµ Yν1 − Dν Yµ1 + ig Yµ Zν − Yν1 Zµ ,
2
o más en general:
√
3
Yµν = Dµ Yν − Dν Yµ + ig Yµ Zν − Yν Zµ .
2
13.2. EL MECANISMO DE HIGGS 297
â
De esta forma, las curvaturas Fµν se pueden sacar del Yµν , a partir de la
definición.
Por lo tanto, el mapeo completo será:
SU(3) −→ SU(2)
Φ −→ {φ, ϕ0 }
Aaµ −→ {Wµā , Yµ , Yµ† , Zµ }
a ā † 8
Fµν −→ {Wµν , Yµν , Yµν , Fµν }.
0
Φ −→ Φ0 + Φ, Φ0 = 0√ ,
v/ 2
se tiene:
298 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
g 2 a bµ a
(Dµ Φ0 )† (Dµ Φ0 ) = A A (λ Φ0 )† (λb Φ0 ),
4 µ
empero λā Φ0 = 0 y λâ Φ0 6= 0, luego:
g 2 â b̂µ † â b̂
(Dµ Φ0 )† (Dµ Φ0 ) = A A (Φ0 λ λ Φ0 )
4 µ
g 2 â b̂µ † â b̂
= A A (Φ0 {λ , λ }Φ0 )
8 µ
g 2 â b̂µ † 4 âb̂
âb̂ĉ ĉ
= Aµ A Φ0 δ + 2d λ Φ0 .
8 3
2
λ8 Φ0 = − √ Φ0 ,
3
de manera tal que:
g2 4 g2 4
(Dµ Φ0 ) (D Φ0 ) = Aâµ Aâµ Φ†0 Φ0 −
† µ
√ Aâµ Ab̂µ dâb̂8 (Φ†0 Φ0 )
8 3 8 3
2
g 4
√
= (Φ†0 Φ0 ) Aâµ Aâµ − 3Aâµ Ab̂µ dâb̂8 .
8 3
1 1
d448 = d558 = d668 = d778 = − √ , d888 = − √ ,
2 3 3
13.2. EL MECANISMO DE HIGGS 299
g 2 4 v 2 ã ãµ 1
† µ
(Dµ Φ0 ) (D Φ0 ) = Aµ A + A8µ A8µ + Aãµ Aãµ + A8µ A8µ
8 3 2 2
g 2 4 v 2 3 ã ãµ
= Aµ A + 2A8µ A8µ ,
8 3 2 2
†
g2v24 µ 1 g2v2
(Dµ Φ0 )† (Dµ Φ0 ) = Y + Zµ Z µ
Y µ 2 3
1
= m2Y Yµ† Y µ + m2Z Zµ Z µ ,
2
en donde se tiene:
gv gv
mY = mZ = √ ,
2 3
siendo v la constante con dimensiones y g adimensional, naturalmente.
λa a
Dµ Φ = ∂µ − ig A Φ
2 µ
λā ā λã ã
!
λ8 8 φ
∂µ − ig Wµ − ig Aµ − ig Aµ
2 2 2 ϕ0
ã
! ! !
Dµ φ ã λ φ λ8 φ
= − igAµ − igZµ ,
∂µ ϕ0 2 ϕ0 2 ϕ0
pero, en detalle:
300 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
ã
! !
4
λ φ 4λ λ5 λ6 λ7 φ
Aãµ 0 = Aµ + A5µ + A6µ + A7µ
2 ϕ 2 2 2 2 ϕ0
1
= √ (Yµ1 + Yµ1∗ )λ4 + i(Yµ1 − Yµ1∗ )λ5
2 2
!
φ
2 2∗ 6 2 2∗ 7
+(Yµ + Yµ )λ + i(Yµ − Yµ )λ
ϕ0
1
= √ (λ4 + iλ5 )Yµ1 + (λ4 − iλ5 )Yµ1∗ + (λ6 + iλ7 )Yµ2
2 2
!
φ
+(λ6 − iλ7 )Yµ2∗ ,
ϕ0
1 4
(λ + iλ5 ) =
2
0 0 1 0 0 −i 0 0 1
1 +
= 0 0 0 + i 0 0 0 = 0 0 0
= λ45 ,
2
1 0 0 i 0 0 0 0 0
1 4
(λ − iλ5 )
2
0 0 1 0 0 −i 0 0 0
1 −
= 0 0 0 − i 0 0 0 = 0
0 0
= λ45 ,
2
1 0 0 i 0 0 1 0 0
1 6
(λ + iλ7 ) =
2
0 0 0 0 0 0 0 0 0
1 +
= 0 0 1 + i 0 0 −i = 0
0 1
= λ67 ,
2
0 1 0 0 i 0 0 0 0
1 6
(λ − iλ7 ) =
2
0 0 0 0 0 0 0 0 0
1 −
= 0 0 − i 0 0 −i = 0
1 0 0
= λ67 .
2
0 1 0 0 i 0 0 1 0
13.2. EL MECANISMO DE HIGGS 301
Luego, entonces:
0 1
ã
! ϕ Yµ 0 0 0
λ φ 1
Aãµ
0 2
=√ 0 + 0 + ϕ Yµ + 0
2 ϕ0 2 0 φ1 Yµ1∗ 0 φ2 Yµ2∗
! 0 !
1 ϕ Yµ 0 1 ϕ 0 Yµ
=√ + 0 = √ .
†
2 0
Yµ† φ 2 Yµ φ
SU(3) −→ SU(2),
de manera que:
Φ −→ {φ, ϕ0 },
Dµ Φ −→ {Dµ φ, ∂µ ϕ0 , φ, Yµ },
a ā †
Fµν −→ {Wµν , Yµν , Yµν , Zµν },
ā †
las curvaturas caen a más curvaturas, las Wµν , dobletes Yµν , Yµν , y un singlete
Zµν .
No debe de olvidarse que:
σ ā
Zµν ≡ 8
Fµν , ∂µ − ig Wµā φ = Dµ φ.
2
y ahora nótese:
13.2. EL MECANISMO DE HIGGS 303
g 2 0∗ 0 † µ g 2 1 1
A= ϕ ϕ Yµ Y = √ v + H − iϕz √ v + H + iϕz Yµ† Y µ
2 2 2 2
2h
g i
= (v + H)2 + ϕ2z Yµ† Y µ
4
g2v2 H 2 † µ H 2 † µ
= 1+ Yµ Y + · · · = m2Y 1 + Yµ Y ,
4 v v
con:
g2v2 2mY
m2Y = ⇒ v= ,
4 g
luego:
gH 2 † µ
A = m2Y 1 + Yµ Y + · · ·
2mY
g2
= m2Y Yµ† Y µ + gmY HYµ† Y µ + H 2 Yµ† Y µ + · · · ,
4
g 2 0∗ 0 µ g2
B = ϕ ϕ Zµ Z = (v + H)2 Zµ Z µ + · · ·
3 2·3
1 g2v2 H 2
= 1+ Zµ Z µ + · · ·
2 3 v
1 H 2
= m2Z 1 + Zµ Z µ ,
2 v
siendo:
√
g2v2 3mZ
m2Z = ⇒ v= ,
3 g
304 13. ROMPIMIENTO ESPONTÁNEO DE UNA SIMETRÍA CONTINUA
implicándose lo siguiente:
√
3
mY = mZ , (13.3)
2
luego:
1 gH 2
B = m2Z 1 + √ Zµ Z µ
2 3mZ
1 2 g g2
= mZ Zµ Z µ + √ mZ HZµ Z µ + H 2 Zµ Z µ + · · ·
2 3 6