Está en la página 1de 121

-

1 . P u n t o d e vista' a c t i v o , p u n t o

de v i s t a

1

-

pasivo.

y
Utilizaremosf con frecuencia
m
«

transformaciones

lineales en n u e s t r o e s t u d i o de T e o r í a de C a m p o s . E s

inte-

resante entonces discutir un punto sobre

transformaciones

lineales que no ha sido m e n c i o n a d o h a s t a

ahora.

Una: t r a s f o r m a c i ó n . l i n e a l , h a

sido pensada

un objeto que t r a n s f o r m a v e c t o r e s en

como

vectores:

T(x) = x'
Partiendo d e u n a

(1.1)

cierta base y : escribiendo :

T ( e .)
= e ! - LJ .e.
1J
y 1
1 J
llegamos sin*dificultad
del nuevo punto

ala

(1.2)

e x p r e s i ó n p a r a las- c o o r d e n a d a s

en -la v i e j a b a s e :
t<Ti
x ' = L . xJ

(1.3)

E s t o se c o n o c e c o m o el p u n t o d e v i s t a a c t i v o
considerar una transformación

lineal.Se caracteriza

i) T o d o se r e f i e r e a u n a m i s m a b a s e
(1.3) x '

1

y x

1

{ e ^ } .En

{e^}

ii) El v e c t o r T ( x ) es d i s t i n t o q u e e l v e c t o r x . E s
m a r c o de

por:

efecto,en

son c o o r d e n a d a s en una m i s m a base

se h a b l a de t r a n s f o r m a c i ó n

al

decir,

d e v e c t o r e s d e n t r o d e un m i s m o

referencia.
Un p u n t o d e v i s t a e q u i v a l e n t e

la t r a n s f o r m a c i ó n p r o d u c i d a
e.
i

c o n s i s t e en

por un cambio de

base:
(1.4)

e!
i

Una matriz de t r a n s f o r m a c i ó n

considerar,

(T) a p a r e c e

a h o r a c o m o la e x p a n s i ó n d e la v i e j a b a s e en la

también

nueva.

- 2

e . = T3 . e!
l.
13

(1.5)

W.
expresión que debe c o m p a r a r s e

con

Ahora un mismo vector x
la b a s e v i e j a d a d a s

(1.2).
tiene coordenadas

en

por:

x = x
p e r o en la b a s e n u e v a

e.
1
se

tiene

x = x 1 e . = x 1 ! 0 . e!
1

1

= T1 .x3
j

j

e!
1

(1.6)

y las c o o r d e n a d a s d e l m i s m o v e c t o r e n la n u e v a b a s e
x = x1

,1
mi j
x*
= T .xJ

e!
1

(1.7)

3

E s t o se c o n o c e c o m o e l p u n t o d e v i s t a
Se c a r a c t e r i z a

pasivo.

por:

i) La t r a n s f o r m a c i ó n
ii) La r e l a c i ó n

son:

se reconoce como un c a m b i o de

base.

( 1 . 7 ) se r e f i e r e a las c o m p o n e n t e s

mismo vector visto en las dos

del

bases.

Puesto que en Física un v e c t o r
c o n sus c o m p o n e n t e s y la r e l a c i ó n

se

identifica

( 1 . 7 ) es i d é n t i c a a

(1.3J n o h a y c a m b i o s e n l o s a l g o r i t m o s , r e g l a s

de

trans-

formación, etc , inducidos por t r a n s f o rmaciones

lineales.

Ambos puntos de v i s t a son idénticos para
prácticos.En

la i n t r o d u c c i ó n

d e l c o n c e p t o de

ción lineal hemos p r e f e r e r i d o

una interpretación

transforma-

el p u n t o d e v i s t a

más geométrico e intuitivo.Para
y observadores equivalentes

efectos

la d i s c u s i ó n d e

es p r e f e r i b l e

activo
covariancia

quizás

adoptar

pasiva.En estas notas emplearemos

p u n t o s de v i s t a , p r e v i a

advertencia

f l e x i b i l i d a d en la i n t e r p r e t a c i ó n

al l e c t o r , p a r a
de n u e s t r a s

ambos

tener

mayor

transformaciones

.1) Definimos un campo.definida en todo R . Pensemos en una t r a s l a c i ó n infinitesimal producida : x'M (2. Las o b l i g a c i o n e s que hemos contraído bajo el g r u p o de c o v a r i a n c i a d e la t e o r í a n o s f u e r z a n a d i s c u t i r la t r a n s f o r m a c i ó n de estos objetos bajo elementos grupo de c o v a r i a n c i a que identificamos Traslaciones discjretas F Y T covariancia. f í s i c o . m V E l é x i t o d e la T e o r í a d e M a x w e l l c o m o de interacción a distancia i d e a de c a m p o s u g i e r e del método a otros l u g a r d e la s e i s c o m p o n e n t e s campo F ^ v ( x ) de-MaxweüíypodemoS .$2(x) . Campc/s y - traslaciones.Para finitas p o d r e m o s ' siempre p r o c e d e r por ción de t r a n s f o m a c i o n e s transfor- reitera- infinitesimales.. generalizar q u e la d e s c r i p c i ó n teoría c o n la i n t r o d u c c i ó n de la la e x t e n s i ó n t i p o s de p o r b l e m a .3) . E n N 3 d e una': t e o r í a p r e c i s a de al c a s o en de un conjunto de objetos: $1(x).Por como sobre las dejl c a m b i o b a j o a n i v e l de t r a n s f o r m a c i o n e s ser hecha de general.$N(x) (2.( x ) .como una función.en 4 compleja. transformaciones exclusivamente infinitesimales.- 2 .observador general c o m o los objetos p o s e e p a r a la d e s c r i p c i ó n de u n c i e r t o p r o c e s o .deben p e n s a r s e cinemáticos primarios: que un.2) transformaciones inciluidas o n o en e l g r u p o d e l g r u p o de c o v a r i a n c i a p u e d e p o r el v e c t o r e + en L ^ e s t a razón! n o s e r á n d i s c u t i d a s en La p r e s c r i p c i ó n maciones con: + Transformaciones Cada teoría d e c i d i r á del = xy + eu (2. L o s N c á m p o s $ . ..

total.. e s t o p r o d u c i r í a d e n u e v o u n c a m b i o en e l Definimos entonces i) V a r i a c i ó n como conceptos coor- campo.4.0) . 5 ) m i d e el c a m b i o e n e l c a m p o en e l m i s m o p u n t o ii) V a r i a c i ó n esto x. •. e l a r g u m e n t o d e l c a m p o c a m b i a d e x a x'.Aunque la f u n c i ó n a l t e r a el v a l o r d e l En segundo f u e r a la m i s m a . La r e l a c i ó n (2.4) E n e l p u n t o d e v i s t a a c t i v o .N (2. A u n q u e n o hubiera.m i s m o geométrico de acuerdo de adoptan de punto a los c r i t e r i o s de los dos observadores equivalencia. x ' es el trasladado y . / Es a b s o l u t a m e n t e f u n d a m e n t a l distinguir entre tipos de c a m b i o p r o d u c i d o s dos en e l ^ c a m p o • p o r la .5) interpretación pasiva. b a j o se p o s t u l a u n c a m b i o e n l o s .) a f i r m a q u e . Son los equivalente. l u g a r . Se d e f i n e como: A<j>i(x) = <í>! (x) . independientes: local. x s o n l a s .- 4 - 'i ' T o d a s las t e o r í a s q u e v a m o s c o m o „respuesta a u n a traslación $!(x') = $ i ( x ) la a estudiar relación: ..c o o r d e n a d a s . que-los define como traslaciones. es o b v i o q u e campo..d e l .(x) La t e r m i n o l o g í a p r o v i e n e d e u n a (2.c a m p o de q u e d i s p o n e el o b s e r v a d o r vista pasivo..t r a n s f o r m a c i ó n . c a m b i o d e d e n a d a s .x 1 vector t r a s l a d a d o . i=1.c a m p o s "escalares" bajo el g r u p o de traslaciones.En e l l a .$.íprimer l u g a r . En.Entonces geométrico. la m i s m a f u n c i ó n como tal y pasa a ser s u f r e u n c a m b i o *' .En objetos el punto y. •-• e l . x ' es el m i s m o p u n t o g e o m é t r i c o que ( 2 . Se d e f i n e como: 6$i(x) = .4» i (x) (2.

.Campos y transformaciones de = Lyvxv (2..<£>-(x) y iv J ± J / el enunciado p o d r í a h a b e r s e p r o p u e s t o como una d e la v a r i a c i ó n t o t a l b a j o t r a s l a c i o n e s A$i(x) = dada por: ." 0 en f o r m a e q u i v a l e n t e .y definición aquí transfor- . c o n s i d e r a m o s + maciones bajo L + es d e c i r : x...$ .N 3.e y 3 $<P(x) . d a d o trasla- (2.v( x ) = <í>! ( x 1 ) i i i ' i .2.7) que: A $ .Esta variación. 1 ) ! La f o r m a i n f i n i t e s i m a l ! d e e s t a s x'y donde w y v = xy + es u n t e n s o r a n t i s i m é t r i c o transformaciones • es: (3-2) e infinitesimal arbitrarle .j D E T ( L ) = + 1. existiría en el mismo argumento i n c l u s o a u n q u e n o se h u b i e r a c a m b i o de v a r i a b l e mate- efectuado alguno. C o m o ya h e m o s i n d i c a d o .la variación q u e d i f i e r e n en u n a local es nula. i=1.8) Lorentz. El p o s t u l a d o de t r a n s f o r m a c i ó n p a r a e s e n t o n c e s el de traslaciones siguiente: "Para dos o b s e r v a d o r e s ción infinitesimal.(x) = $! (x' -e) .L° 0 > 1 ( 3 .que pudiera llamarse "variación f u n c i o n a l " p o r c u a n t o m i d e el c a m b i o de las f u n c i o n e s c a m p o de los dos o b s e r v a d o r e s mático .

(x) .2.10): V'y(x«) .La local (3. transformen como: $ ' (x') = $ ( x ) . * " U n c a m p o es e s c a l a r c u a n d o bajo transformaciones de L o r e n t z su v a r i a c i ó n es Entonces*.. T a l e s c a m p o s se l l a m a n en (3. P u e d e n e x i s t i r c a m p o s q u e s e a g r u p a n en de a cuatro_para_formaT~vectxsres-." $ ( x ) = V y (x) es u n locjal b a j o campo transformaciones .Vy(x) + í|yVVv(x) (3.1. . $ 2 ( x ) .4) (2.(x)y$6(x) p u e d e n La f o r m a nula.Por .objetos equivalente. . p u e d e n e s c r i b i r s e c o m o V Por supuesto ejemplo (x) conjuntos (x) distingue s u r e s p u e s t a al g r u p o ley de t r a n s f o r m a c i ó n p a r a ellos es: V'y(x*) =.3.5) | " U n c o n j u n t o de 4 c a m p o s vectorial de Lorentz s i su v a r i a c i ó n yV es c o V íx). . la n o t a c i ó n n o e s lo q u e a estas a g r u p a c i o n e s de campos sino de Lorentz.3) escalares.." ser campos (3. u=0. . $ N ( x ) pueden existir campos que.Estas transformaciones por postulado^Entonces s o n d e l grupo de covariancia se h a c e n e c e s a r i o p r e s c r i b i r f o r m a ú n i c a su r e s p u e s t a b a j o t r a n s f o r m a c i o n e s E n e l c o n j u n t o de c a m p o s de Lorentz.LyvVv(x) o en forma infinitesimal (x) .í> 5 (x) .3) e s p e c i f i c a en f o r m a u n í v o c a debe-considerar'el observador escalares.&j. qué. .

forman un vector b a s t a r á S a B = óa ÓB ij i j e inmediatamente (x).(x) elegir: .5). (3.yV(x') = TyV(x) TaV(x) a + Estos tipos de variaciones + fl Ty6(x) p (3.(x).9) .ea: i T'yV(x')= o en f o r m a L ^ L ^ C * ) (3.6 c a m p o s (x) uv ^ q u e n u m e r a m o s . f o r m a p e r f e c t a m e n t e p o s i b l e especificación de l o s o b j e t o s c i n e m á t i c o s la del de observador equivalente. l o s c a m p o s ^ ( x ) . e s u n a m a t r i z N x N : S . " Volviendo denotamos y a la f o r m a g e n e r a l d e n o t a c i ó n en la q u e todos.66 i recobramos 6a j (3.8) q u e h a y s u m a s o b r e "j 1 1 a d e m á s de las u s u a l e s s u m a s d e c o n t r a c c i ó n L o r e n t z .. E s t a es o t r a .i O p u e d e n e x i s t i r a g r u p a c i o n e s d e 1.3). b a s t a e l e g i r : S^ = MLLO e inmediatamente recobramos S i p o r el c o n t r a r i o . a8 La m a t r i z u¡ aS. T ' (x) y t a l q u e su r e s p u e s t a b a j o t r a n s f o r m a c i o n e s de L o r e n t z s. o u e t o d o s los e j e m p l o s d a d o s h a s t a a h o r a q u e d a n c u b i e r t o s u n a e x p r e s i ó n g e n e r a l d e la *!(x') forma: . (3.(x) = I d o n d e se s o b r e e n t i e n d e pul *.( x ) } e s fácil ven. a3 i j IJ S i p o r e j e m p l o ^ ( x ) es u n e s c a l a r .í.7) locales constituyen d e f i n i c i ó n de u n c a m p o t e n s o r i a l de o r d e n dos. l o s c a m p o s c o m o í $ .- 7 - .(x) (3. . .6) infinitesimal: T.

H a l l a r r e l a c i o n e s de c o n m u t a c i ó n entre los 4 ii) P r o b a r q u e . Algunas t e o r í a s d e c a m p o s p u e d e n a d m i t i r al g r u p o c o m p l e t o de L o r e n t z c o m o grupo de c o v a r i a n c i a . las entre --•.(Algebra del g r u p o de P o i n c a r é ) . i) P r o b a r . l a v a r i a c i ó n t o t a l de un campo bajo traslaciones puede escribirse ~ como: A $ ( x ) = Í£ y P M $ ( x ) donde es u n c i e r t o o p e r a d o r q u e se i d e n t i f i c a r á .espinorial.quedan cubiertas ct 8 ••de la m a t r i z que y q u e . .en la l e y d e t r a n s f o r m a c i ó n tal caso.Baste la f o r m a g e n e r a l d e b a j o e l g r u p o de L o r e n t z v i e n e d a d a p o r u n a del tipo (3.-•-. i i i ) E s t u d i a r ei p1 arp e l d e L en u n a r o t a c i ó n i n f i n i t e s i m a l yv y p r o p o r c i o n a r su r e l a c i ó n c o n el m o m e n t u m a n g u l a r o r d i n a r i o .•••. E n será necesario objeto también especificar. 4.cuál de los c a m p o s { ( x ) } ba jo P es yT. H a l l a r r e l a c i o n e s de c o n m u t a c i ó n e n t r e L y L^g las y L „ así como yv ' a6 .. p o r el m o m e n t o .1a v a r i a c i ó n de un como: íj[x) es un c i e r t o o p e r a d o r q u e se d e f i n i r á .8) q u e c u b r e p o r c o n s i g u i e n t e Entonces las obligaciones objetos que debe considerar - generales.No m o s .- Existen formas de transformación más q u e n o s o n de c a r á c t e r q u e t a m b i é n en e s t o s c a s o s este concepto. a t r a v é s d e su e s t r u c - t e n s o r i a l o e s p i n o r i a l d e los consideración. q u e en p r i m e r o r d e n e n e y . e s t a b l e c i d o 8 tenesaber transformación expresión t o d o s los cinemáticas para casos. . o b s e r v a d o r e q u i v a l e n t e bajo una transformación' infinitesimal-de c o n la e s p e c i f i c a c i ó n completa es u n a m a t r i z c o n s t a n t e N x N t u r a . tensorial sino.Ej e r c i c i o s . los el. forma unívoca.c o m u n i c a el c a r á c t e r cinemáticos en Lorentz. e n p r i m e r o r d e n en campo escalar Lorentz puede escribirse A*(x) = \ w a B L donde L ^ a0 generadores.

TEMA I X Vj / BI1MMICA EM TEORIA BE CAMPOS .

A p e s a r d e e s t o .c a m p o s . n u e s t r a p r i m e r a o b l i g a c i ó n c o n s i s t i r en e x p r e s a r u n í v o c a m e n t e leyes debe construir al q u e e s c r i b i ó su (1.como Lagrangiano.1). u n a teoría de c a m p o s f o r m u l a su m i c a p o r m e d i o .sus p r i m e r a s d e r i v a d a s y de x e x p l í c i t a m e n t e .o b j é t o a u x i l i a r q u e d e n o m i n a no del sistema. u e $ . también j E n p r i n c i p i o n a d a impidjs t e n e r L a g r a n g i a n o s con d e p e n d e n c i a e n d e r i v a d a s de mayjar o r d e n e n l o s c a m p o s . de También depende de covarianr¡ cuyas leyes de transformación h a n q u e d a d o f i j a d a s a l d e f i n i r L a s t r a n s f o r m a c i o n e s . : TL = 3 L { x .L a g r a n g i a n o cinemáticos Lagrangianos (1. d i s c u t i d o s en la s e c c i ó n a n t e r i o r y c o n l e y e s de t r a n s f o r m a c i ó n p r e s c r i t a s p a r a el grupo.puede tener una dependencia e n la v a r i a b l e x. (x) .El Lagrangiano juega el p a p e l diná- Lagrangia- principal e n toda• teoría.1) d e p e n d e de--los. . N i n g ú n principio f í s i c o se o p o n e a elllo. 9 p $ i ( x ) } Es d e c i r . 1 ) . e l Lagrangiano.d e un. Un ejemplo de Lagrangiano c o n t e n i e n d o podría explícita dos campos ser: 3L = x y 8 u $ 1 ( x ) + + 3y$1 (x)3y$2(x) (1. veremos como debe L a g r a n g i a n o un o b s e r v a d o r e q u i v a l e n t e Lagrangianos disgustarle determina la d i n á m i c a d e l s i s t e m a .-de. A d e m á s .2) que d e p e n d e de los campos.o b j e t o s ( x ) . En estas notas consideraremos ú n i c a m e n t e definidos como: .Sin e x c e p c i ó n . $ i ( x ) . e l . 0 a l a N a t u r a l e z a o al h o m b r e p a r e c e n l a s d e r i v a d a s d e o r d e n s u p e r i o r en el Puesto que el Lagrangiano. l a s d e las m á s e x i t o s a s como t e o r í a s f í n i c a s se d e d u c e n d e ( 1 .

Nada puede

ser más simple.El nuevo

observador,

que se e x p r e s a con c o o r d e n a d a s x ' , t i e n e

claramente

b l e c i d o s sus o b j e t o s c i n e m á t i c o s $ | ( x ' )

, 3^ $.[(x')

d e a c u e r d o a las r e g l a s

establecidas

Entonces,por postulado,se
misma función

IL

en el tema

esta-

anterior.

limita a escribir

sustituyendo x por x ' , $ i por

la
y

3 $ . (x) r por: 3 '
(x ' ) .
y i
y
i
De e s t a f o r m a q u e d a c l a r a m e n t e p r e s c r i t o c o m o
construir

su L a g r a n g i a n o

debe

c u a l q u i e r m i e m b r o de la Democra-

cia establecida p o r el grupo de c o v a r i a n c i a . T e r m i n e m o s
que el L a g r a n g i a n o d e b e ser r e a l . D e n u e v o u n

dic

postulado.

2. A c c i ó n .
Una vez en-posesión
definir

del Lagrangiano,se procede

la a c c i ó n W . E s t a es u n n ú m e r o r e a l q u e d e p e n d e

dos s u p e r f i c i e s - 3 " d i m e n s i o n a l e s

y

q u e son l o s

a
de

bordes

de u n a c i e r t a r e g i ó n 4 - d i m e n s i o n a l fi .
Entonces :
w(irz2)

" .".. '."•'.
d4x

=

Por s u p u e s t o , u n
su a c c i ó n e s c r i b i e n d o

lL{x,4 i (x);,3

«i(x)} '

observador equivalente

su p r o p i o

Lagrangiano

e

(2.1)

escribe
integrando

a la r e g i ó n t r a n s f o r m a d a , p o r el c a m b i o d e v a r i a b l e i m p l i c a
Es i n s t r u c t i v o

c o m p a r a r c o n e l c a s o en el q u e

y £ 2 son s u p e r f i c i e s p l a n a s a t i e m p o s
Ei : t=t1

E0

: t=t2

Es o b v i o en e s t e c a s o q u e
H
w(t1,t2)

=

(2.2)
( 2 . 1 ) se

IL ( t , x)

dt
j

constatntes:

escribe:
(2.3)

- 3 i

( 2 . 3 ) es: u n a . e x p r e s i ó n f a m i l i a r
d o n d e el L a g r a n g i a n o

em-Mecánica

s e e s c r i b e c o m o y L ( t ) y la

Clásica

acción

como:
t„
dt

w(t1 ,t2) =

(2.4)

L(t)

'1
i.

Si queremos conservar esta nomenclatura

deberíamos

llamar Lagrangiano

3
L(t) = d x

a la' e x p r e s i ó n :
(2.5)

IL (t ,x)

Por ello es f r e c u e n t e r e f e r i r s e
dad Lagrangiana

clásica,

a

IL(x) c o m o

(su i n t e g r a l 3 d i m e n s í o n a l p r o d u c e el

giano).Sin embargo,esta
Lagrangiano

Lagran-

a n a l o g í a s ó l o es e v i d e n t e p a r a

perficies planas t-Const.Por.ello,en estas notas
llamando

densi-

al objeto

direc-

4-dimensional.

La a c c i ó n d e t e r m i n a p o r c o m p l e t o
sistema a través del postulado

seguiremos

IL(x) q u e é s e l q u e

t a m e n t e d e b e s e r i n t e g r a d o en n o t a c i ó n

su-

la d i n á m i c a

fundamental de acción

BAJO UN CAMBIO GENERAL I N F I N I T E S I M A L DE

del
mínima:

COORDENADAS

EN E L Q U E L A S D E R I V A D A S DE L O S C A M P O S VARIAtí DE A C U E R D O
AL CAMBIO

INDUCIDO SOBRE LOS C A M P O S , L A P R I M E R A

VARIACION

D E L A A C C I O N E S E X P R E S A B L E C O M O L A ; D I F E R E N C I A DE U N A
DE S U P E R F I C I E

ENTRE LOS DOS

B O R D E S DE L A R E G I O N DE

AW(Z1 ,Z2) = F(Z2)
El p r i n c i p i o
hace necesario
i) U n c a m b i o

estudiar

INTEGRACIO

(2.6)

- ^ (£ -| )

es d e i m p o r t a n c i a

FUNCION

f u n d a m e n t a l y se

su c o n t e n i d o c o n t o d o

detalle.

i n f i n i t e s i m a l de c o o r d e n a d a s v i e n e

generado

por:
x'u

= x,fJ + 6 x y ( x )

(2.7)

donde.5x

es una c a n t i d a d
Obsérvese

infinitesimal.

que el cambio

i n d u c i d o en las

coordenadas

n o t i e n e n a d a q u e v e r c o n l a s t r a n s f o r m a c i o n e s ' inf i n i t e simales d e l grupo de covariancia.Estas últimas forman
clase m u y p a r t i c u l a r de v a r i a c i o n e s

infinitesimales.

Ahora estamos considerando variaciones generales.El
zamiento. ó x

y

puede

y

<5x (x) e n

ii) S i m u l t á n e a m e n t e

a

esto

(2.7).

(2.7) el p r i n c i p i o pide efectuar

variación-infinitesimal

e n la f o r m a f u n c i o n a l

de l o s

una

campos,

que:
$

$» = $
1
1

1

+ A$.
i

(2.8)

Las variaciones

son.:en g e n e r a l . t o t a l m e n t e

a r b i t r a r i a s . " e ~ i n d e p e n d i e n t e s . ; d e la v a r i a c i ó n de
(2.7).Podemos

coordenadas

l l e g a r a c a s o s e x t r e m o s e n l o s q u e n o se v a r i a r
<$x y = 0 , p e r o s í se, v a r í a n

las c o o r d e n a d a s
y

despla-

i n c l u s o v a r i a r de p u n t o a p u n t o . P o r

se h a e s c r i t o c o m o

de m o d o

una

los campos.

f 0

viceversa.
Unicamente

se r e q u i e r e

óxU
sea c o n s i d e r a d o

A$

^

que el
0

(2.9)

de s e g u n d o o r d e n y por ello

S i la v a r i a c i ó n d e c o o r d e n a d a s
transformación

infinitesimal

forman una clase
mencionadas

sumamente

despreciado.

coincide

r e s t r i n g i d a de las

anteriormente,la

con u n a

del grupo de c o v a r i a n c i a ,

que

variaciones

v a r i a c i ó n d e los c a m p o s

d e t e r m i n a d a por los r e q u e r i m i e n t o s
ser

producto:

cinemáticos y deja

queda
de

arbitraria.
A p e s a r d e q u e e s t a m o s en u n c o n t e x t o

distinto
Variación

las

totalmente |

definiciones:

Local

:

5 ^ (x) = fc (x') -

^(x)

(2.10)

y
Variación

total o funcional:

Aí>

. (x) =
X

( ) - $.(x)
1 ^x * J
í

(2.11)

12) a ^ U ) símbolos de derivación y ser intercambiables.13) la f u n c i ó n o r d i n a r i a d e p u n t o H ^ ( z ) e s evidente F(E) = Conocida que (2. E s t a ILÍx' anticipar con las qué (2. t í p i c o de f u n c i ó n de s u p e r f i c i e puede ser: d E p (v z 1) Hy (z) (2.Este el e n u n c i a d o p o s t u l a se r e f i e r e Por consiguiente tendremos que dada u n a superficie Un ejemplo es el objetivo con el c o m e n t a r i o iv) E l p r i n c i p i o E variación que referido.E2) = d x tendremos i lo q u e e l p o s t u l a d o de la a c c i ó n . Entonces: 3yA$i(x) = A Es decir. que tratar con objetos producen un tales número. . a una función de superficie.tienen perfecto sentido. Ello significa.13) asigna un número a cada superficie Aunque el principio no especifica E .que se o b t i e n e indu- simplemente e l c a m b i o e n las derivando derivadas e l c a m b i o d e los campos.13) de se d e f i n e íx') .' El cambio de las d e r i v a d a s debe p r o v e n i r d e l cambio cido en los campos.deben (2.0 n .los total. 3 ¿ $ ! ( x ' ) ) - entier como: d x IL{x. que tipos funciones de superficie deben aparecer»podemos que todas las f u n c i o n e s d e s u p e r f i c i e que tratar son de la f o r m a v) Por ú l t i m o es n e c e s a r i o d e f i n i r por primera variación AW(E1. :1 xp ' iii) Existe un c o m e n t a r i o f u n d a m e n t a l en el enunciado.

C o n s e c u e n c i a s : d'el P i n c i p i o Dinámico de Acción 6 Mínima. de campos Sumando y restando transforma la m i s m a c a n t i d a d p o d e m o s es- cribir : AW(Z1. 1 4 ) pide' e v a l u a r : r 4 . p e r o c o m o de x .5) ñ 4 d x IL (x) (3.Z2) + A2W(Z1. Z 2) = $! Jy 3 ' $ ! i u i d x IL (x) fi' . $ .Z2) = A1W(Z1. E l de x ^ (x) .4) con : A1W(Z1. 7y s u s d e r i v a d a s s o n l o s t r a n s f o r m a d o s i E n t o n c e s ( 2 .Z2) (3. (3. I L ' (z) .d i m e n s i o n a l d a de 0. funciones Lagrangiano ^ (x) . * / En el c á l c u l o de notaciones que sigue haremos uso como: IL' (z) IL (y) Su s i g n i f i c a d o IL e s u n a f u n c i ó n son u l t i m a d a m e n t e (3.Z2) = d 4 x ' IL' (x') fl' d 4 x IL1 (x) - d x IL* (x) (3. d x ' IL' (x' ) - A W ( Z 1 .6) - . e x c e p t o q u e l o s $ . t o d o el los campos Lagrangiano e s u n a f u n c i ó n d e x . (y)) A n á l o g a m e n t e p a r a .3 u a. E n t o n c e s IL (y) s i g n i f i c a el frecuentemente simplemente Lagrangiano: IL (y) = (3.Z2) A2W(Z1. p o r el c a m b i o variables.2) I L ( y .- 3 .3) ti d o n d e p o r s u p u e s t o fi' e s la r e g i ó n 4 .X (y) / • .1) es el s i g u i e n t e .

a t r a v é s d e su d e n c i a e x p l í c i t a y d e su d e p e n d e n c i a de l o s multiplicativa implícita la depen- a través campos. SÉ de la m a t r i z d e cambio. l a r e g i ó n de i n t e i » « g r a c i ó n se t r a n s f o r m a o b v i a m e n t e en O .E2) = (3. Í3 Q' contiene t o t a l d e IL c o m o f u n c i ó n de x .7) término obtenemos: d 4 x ' IL ' (x) + d 4 x ' 6xy n' Q' En el segundo de ó x y (3.y p o r c o n s i g u l e n t e el p r i m e r s u m a n d o en (3.11) d x J ( x ) JL' (x) Q s i e n d o J ( x ) el J a c o b i a n o PIÉ .la presencia h a c e q u e t o d o e l r e s t o d e la e x p r e s i ó n p u e d a se en o r d e n c e r o ..J .8) 3 IL' (x) U sumando.9) variables: (3.10) 6xy(x) la v a r i a b l e d e i n t e g r a c i ó n p a s a a ser} x .9) p u e d e e s c r i b i r s e como: (3. Nos concentramos a h o r a e n el p r i m e r Si e f e c t u a m o s el cambio de x'y= xy + t é r m i n o de (3. E n t o n c e s fi' se c o n f u n d e Por tanto ( 3 . . 7 ) es e q u i v a l e n t e 4 A I W (Z . Z 2 ) = d x ' IL' (x) + d4x a: d x IL' (x) <5x y (x)3 yIL (x) - Q E s e v i d e n t e q u e el s e g u n d o s u m a n d o derivada evaluar- c o n Q y l L ' c o n JL .5) que p u e d e e s c r i b i r s e d 4 x ' It ' ( x + Ô x ) - 4 d x IL' (x) fi' ü D e s a r r o l l a n d o p o r T a y l o r el p r i m e r como: (3.7 - Estudiemos primero A1W(E1.

E s o b v i o q u e la obte- contribución (3.10))= V inspección 32 6 x 1 1 32 ^ x 336x1 ? 325x3 8 3 6 x los c u a t r o términos de 2 336x3 1 + de este determinante que el único p r o d u c t o que no es d i r e c t a m e n t e o r d e n se p r o d u c e al t o m a r 335X° muestra segundo diagonales.3V< como: 1 + 306x° .Z7) = = 1 +3u<Sxy (3.S9P»- Este* J a c o b i a n o es el v a l o r absoluto del 8 - determinante d e la m a t r i z : = (de a c u e r d o 3x que podemos escribir óyv . Entonces: J ( x ) = (1+3 0 óx°) ( l ^ ó x 1 ) ( 1 + 3 2 6 x 2 ) ( 1 + 3 3 6 x 3 ) y de n u e v o r e t e n i e n d o sólo los términos de primer orden obtenemos: J(x) = 1 + 3 0 6 x ° + 3 l ó x 1 +32óx2 Cuando esta expresión n e m o s e l p r i m e r s u m a n d o en proporcionada en p o r e l 1 en (3.9). 1 1 ) ( 3 .Por tanto A1W(I1.13 . 316x° 1 + 3-.12) se s u b s t i t u y e en.6x 1 7 3 gÓX a^x 30óx3 S^óx3 Una breve ti a (3.12) cancela con el tercer sumando tenemos: d xa ifl +326X0 u ( 6 x u ( x ) } IL(x) d x 6xy(x)3 H(x) u ü (3.( 3 . 9 ) . 30 6 x ! 32óx° .

E2) = F1 (E2) (3.Si en los bordes de inmediata- la r e g i ó n de definimos: Jy(x) = 6 x y ( x ) IL(x) es o b v i o que o b t e n e m o s como resultado A 1 W ( E 1 .14) n Aplicando el t e o r e m a d e " G a u s s o b t e n e m o s mente una contribución integración.<f! (x) .3 $ i ( x ) } por Taylor obtenemos A2W(E1.E2) (3. 3 y í | ( j x ) } No hay ahora p r o b l e m a s Recordando (3.F 1 (E^ ) con: dE F 1 (E) La segunda A2W(E>5E2) = u (x) contribución como: n íí la d e f i n e c i ó n = se e s c r i b e d x LL{ x . (3.6) d x ILÍx.í> ^ (x) .13) a g r u p a en u n a d e r i v a d a A1W(E1. de de J ( x ) nos ha /inducido Ahora H 6 xrV e n la s e g u n d a a c a m b i a r IL' p o r IL.15) final: (3. )1 } " (3.- 9 - i De n u e v o la p r e s e n c i a .17) Jy(x) 1 d4x{ 9IL(x) cq'n la r e g i ó n de v a r i a c i ó n total y de integración.19) (3 . desarrollando inmediatamente: A<í>-1 + A M * 1 A ( 3 $ .S2) d4x = parte total: 3y { ó x u ( x ) IL (x) } (3.16) .

E2) la s u m a s o b r e 10 (3.23) a: + ó x V ( x ) { 6 y v IL(x) - (x) = .$i(x) . C 3 ¿ Í ( -M*i 3(3 el t e o r e m a de G a u s s obtenidas en 8 término JU(x) = = N.6 x ) . manipulatiene: (3.22) es e n t o n c e s equivalente .12)> y e f e c t u a n d o una pequeña ción para obtener un término A2W(E1.) li i Es m á s c ó m o d o Notemos © } es a p l i c a b l e p r o p o r c i o n a n d o (3.$i(x) = 3v^(x) 3 1L (x) 3 ( 3 ^ ) .22) con variaciones locales- que: A$i(x) = $[(x) = $!(x') .20) J < V i tenemos una divergencia las y dos con: 3 1L dZu(x){A$V(x)^} 3 ( 3 y <iM con las c o n t r i b u c i o n e s ( 3 > 2 1 ) superficiales es c l a r o q u e e l i n t e g r a d o superficiales trabajar total es: + <5x y (x) H ( x ) A$-(x)-^— 1 3 (v 3 $ .17) en las i n t e g r a l e s t o t a l se Ü Í 2 0 contribuciones-superficiales Reuniendo 1a } ) " i En el p r i m e r F2(Z) en derivada Ü 0 S ) 1 0 i desde (2.<^ i (x) = $ ! ( x ' .) y i (3.6xu3y$i(x) 1 3(3 $ .16.óxy(x)3y^i(x)-6$i(x) (3.- donde se h a l l a s o b r e e n t e n d i d a R e c o r«pd a n d o 4 = d x 3 y (A$í(x) 3 Q d 4 x M .

L a g r a n g e dinámica bien. diferencial:! 3 IL 3(3 v borde. condición } = 0 . e l t e o r e m a de G a u s s e s t a c o n t r i b u c i ó n e n c o n t r i b u c i o n e s en los b o r d e s . (3.26) dE y (x) J ^ ( x ) E y con (x) d a d o p o r Observando (3. s i p a r a c i e r t a e l e c c i ó n de A4>^(x) é s t o o c u r r e .4 .25).-11 / Nuestra expresión definitiva para la-primera c i ó n d e la a c c i ó n e s e n t o n c e s : AWCZ^Zp / . A h o r a es e q u i v a l e n t e imposible y establecen la (i. r3IL(x) d x A $ -( (x) { = 1 Í2 varia- 3 AM2£l_ l i 30yíi) l } + F (E ) .F(E 1 ) Z 1 con: F (E) = (3. e s evidente que p e r t u r b a n d o otros lar e l e c c i ó n i n t e g r a n d o s q u e n o son d e r i v a d a s de A $ ^ ( x ) es c o m p l e t a m e n t e obtendremos totales.27) $. .N (3. . .el p o s t u l a d o p u e s t o q u e A $ ^ ( x ) son t o t a l m e n t e a r b i t r a r i o s .) y iJ q u e s o n las e c u a c i o n e s de E u l e r .¡ i=1 .es obvio que los d o s últimos de 1 la e x p r e s i ó n e s t á n d i r e c t a m e n t e de a c u e r d o c o n e l p o s t u l a d o . A h o r a b i e n . E l p r i m e r m i e m b r o d e b e ser n u l o . e s t a al s i s t e m a 3 IL 3 { 34>i del sistema.24). . e l p r i m e r o d e e l l o s es u n a f u n c i ó n d e l _ v o l u m e n fl S i su i n t e g r a n d o transformaría fuera una derivada t o t a l . realizado nos deja una s o l a e l e c c i ó n . .La elección a r b i t r a r i a i y es e n t o n c e s g a r a n t i z a r q u e el p r i m e r m i e m b r o sea c o n t r i b u c i ó n de En tal caso.. S i n e m b a r g o .

También pueden de ellos.1) tomará la propios entonces: . primer requerimiento fue cumplido cuando blecimos en forma unívoca cómo deben esta- t r a n s f o r m a r los + y sus d e r i v a d a s b a j o t r a n s f o r m a c i o n e s en IL campos y bajo traslaciones.precisas que las v a r i b l e s c i n e m á t i c a s observadores.a Por ejemplo ^(x) o si 3 escalares con©facilidad. formar: . cinemáticas.sL(x).4. El segundo requerimiento siguiente p u e d e realizarse en forma: El primer observador considera sus objetos y sus p r i m e r a s d e r i v a d a s y c o n s t r u y e un conjunto escalares : s^(x). . los r e q u e r i m i e n t o s p a r a la f í s i c a b a j o su g r u p o d e contiene varios Primero existen obligaciones tipos de covarian- observado- restricciones.E1 segundo observador (4... En segundo de a m b o s les-permitan lugar existe un requerimiento t a l dinámico^. formarse con objetos En definitiva. construye L escalares Lagrangiano: IL(x) = IL(s 1 (x) . .COVARIANCIA DEL ESQUEMA DINAMICO Recordemos que cia de u n a d e s c r i p c i ó n res e q u i v a l e n t e s PROPUESTO. .¿2(x).e1 primer observador <K(x) escalar puede (x) 3 y $ 1 (x) Con objetos vectoriales su p a r t i r de (x) e s d i r e c t a m e n t e o también y escribe la también espinoriales.d i n á m i c a s m i s m o conjunto de •—El variarelacionar fundamen- deben admitir el soluciones.Dos observadores e q u i v a l e n t e s d e b e n p o s e e r e l m i s m o n ú m e r o y t i p o de blés cinemáticas y leyes... s L ( x ) ) A h o r a el s e g u n d o o b s e r v a d o r p r e s c r i t o como e s c r i b i r misma dependencia tiene cinemáticamente su L a g r a n g i a n o : D e b e escribir f u n c i o n a l IL en t é r m i n o s d e sus objetos cinemáti eos. etc.Las e c u a c i o n e s . .

a una solución de Euler-Lagrange. Lagrangianos coinciden. P u e d e n Lagrangianas más complejas que garanticen de observadores c o n s t r u c c i ó n es s u f i c i e n t e e n t o n c e s la c o v a r i a n c i a tri- realmente el c o n j u n t o d e s o l u c i o n e s las e c u a c i o n e s d i n á m i c a s es el m i s m o p a r a d o s equiva lentes. E n t o n c e s tiene garantizar d e la t e o r í a .Esto se debe a que: ! IL' (x' . . E l d e h a l l a r las e x t r e m a l e s problema de: t IL(x. decir: IL' ( x ' ) = IL (x) (4.Esta de existir también para formas la c o v a r i a n .$! (x>) . s e el m i s m o f u n c i o n a l . 3 ' $ ! ( x ! > ) ^ n o es o t r a c o s a q u e e l m i s m o nadas distintas. .IL' ( X ' ) = IL(s' (x') .Es funcional referido a coorde- e n t o n c e s e v i d e n t e q u e el c o n j u n t o e x t r e m a l e s de a m b o s f u n c i o n a l e s v i a l de q u e .$i(x)}8y$i(x)) es u n p r o b l e m a e s t r i c t a m e n t e (4. s ¿ ( x ' ) ) «H Puesto que los o b j e t o s los v a l o r e s n u m é r i c o s d e a m b o s Es (4.toma dado por equivalente t i e n e un e q u i v a l e n t e y o c u r r e q u e el el m i s m o v a l o r en c a d a p u n t o es- Lagran- geométrico. .el observador p a c i o de c o n f i g u r a c i ó n giano. Ahora bien.5) i es i d é n t i c o p o r la T a z ó n la c o n s t r u c c i ó n d e s c r i t a .el Lagrangiano escalar.3) d o n d e x ' es el p u n t o t r a n s f o r m a d o de d e x p o r la transformación equivalencia. En un espacio de c o n f i g u r a c i ó n una extremal es u n a las e c u a c i o n e s d e línea que equivale . .aceptada es u n a c a n t i d a d esta construcción.2) s^(x) eran escalares. c o n (jt. Entonces.4) geométrico. A d o p t e m o s un p u n t o de v i s t a p a s i v o .

g r a d i e n t e IL n o a l t e r a las e c u a c i o n e s hairár vectorial decir que d e p e n d e de u n a variable dimensional ejercicio trayectoria y a un Lagrangiano de E u l e r .Es a z (s) c o m o u n c a m p o "s". S i n la n u e v a e x p r e s i ó n d e las c o n t r i b u c i o n e s embargo. acción para d e las un variables: (s)) / d o n d e " s " e s el t i e m p o p r o p i o y z u (s) e s la de la p a r t í c u l a .( t ) y / d o n d e el g r u p o d e c o v a r i a n c i a i / m á s el g r u p o d e G a l i l e o . d o n d e los"campos" q . P r o b a r q u e la a d i c i ó n de u n 4 . — E n esías notas garantizaremos una teoría de campos eligiendo por el simple p r o c e d i m i e n t o la. 3 .L a g r a n g e y la c o r r i e n t e J ( x ) p a r a u n L a g r a n g i a n o campo escalar $ ( x ) y un campo v e c t o r i a l "ec traslaciones y la f o r m a conteniendo B y ( x ) dado de un por: .Particularizar Lagrangiano el principio de mínima que d e p e n d e e x c l u s i v a m e n t e IL = IL (s. Ej e r c i c i o s . 5 . 4 .Encontrar la f o r m a d e l a s " c o r r i e n t .L a g r a n g e .p r i n c i p i o d e a c c i ó n m í n i m a y u n a cn< ~*atica en M e c á n í i c a ' c l á s i c a . F o r m a l i z a r u n . z^ (s) .) 2. 5. e s " uni- J u (s) p a r a el anterior.de l a descripcción. ( T r á t e s e unidimensional.covariancia Lagrangianos de c o n s t r u i r u n c o n j u n t o de e s c a l a r e s c o n s t r u i d o s cinemáticas a nuestra disposición de escalares funciones con las . de variables e n la t e o r í a b a j o consi- deración . superficiales I „ . 1.Hallar son u n i d i m e n s i o v s o n las las e c u a c i o n e s d e E u l e r .

.

1) Q(t) = 0 No o b s t a n t e e s t a n o es u n a b u e n a representación d e la i d e a d e c o n s e r v a c i ó n en u n c o n t e x t o que presupone relativista.x.En realidad.*.2) es u n a a f i r m a c i ó n riante.5) 1 - .3) (1.Un observador cualquiera cova- (t. siguiente: vectorial.t) +|V-3(r. tiene: 3y J M ( x ) = 0 Es e v i d e n t e q u e (1.ya la e l e c c i ó n de u n s i s t e m a p a r t i c u l a r c o o r d e n a d a s e n el q u e la v a r i a b l e Estudiemos i) J cantidad s i n e m b a r g o la s i t u a c i ó n (x) es u n c a m p o J'y(x<) = bajo transformaciones ii) S e t ha sido de definida. i •SS! Estamos acostumbrados Q ( t ) q u e se c o n s e r v a en e l i a la n o c i ó n d e u n a tiempo: (1.y.¡Jf'. V.Es.t) V continui (1.Descripción relativista de u n a l e y d e conservación.z) escribirá (1. mm .si i d e n t i j f i c a m o s Jq con a l g u n a c a n t i d a d . - 1./decir: L\jV(x) (1.t) = 0 (1 q u e t i e n e el a s p e c t o f a m i l i a r d e u n a e c u a c i ó n de dad.Q.de tal m a n e r a Qv(t) la d e n s i d a d de que: d r J0(r.2) del grupo de Lorentz restringido.3) como: 3tJ0(r.

sea el m o n t o t o t a l d e Q c o n t e n i d o e n e l v o l u m e n V al t . ( V e r e i e r c i c í o u . Q es u n a m a g n i t u d la c a n t i d a d Q e n t o d o e l debe tenerse claro efectos Q ^ n o se c r e a n i se conservada. e s c l a r o q u e la e c u a c i ó n (1. I n t e r p r e t a n d o 3 ( r .1) y a que:no h a y c r e a c i ó n n i aniquilación de Q . El análisis e f e c t u a d o p e r t e n e c e de c o o r d e n a d a s .3) podrá s i s t e m a .9) 3 J .. t ) c o m o e l f l u j o de Q . v .. J (x) = 0 . E s t o es e v i d e n t e d i r e c t a m e n t e de (1. S i n embargo a u n cierto la e c u a c i ó n d e p a r t i d a será válida para todo observador equivalente que repetir este análisis e n su p r o p i o un buen contexto para establecer forma sistema (t. todo par E-. . 5) c o n s i d e r a n d o V 3 -fc -»como todo R y suponiendo que J ( r . E s t e es entonces la i d e a d e c o n s e r v a c i ó n en covariante. t ) tiene un comportamiento razonable en el infinito. Un mecanismo que conduce naturalmente produce cuando consideramos 3-dimensionales d e la FU) funciones de forma: r = a (1.3) nos informa tiempo que: d 3 r $. d e c i r F (E ^ ) = F ( Z 2 ) se t i e n e inmediatamente se ..es. E n t o n c e s d e s t r u y e .5) e s t a b l e c e de s u p e r f i c i a l e s que Q y ( t ) sólo puede variar por de f l u j o .t) = V d o n d e S es la f r o n t e r a d e l v o l u m e n c e r r a d o V. 1).Entonces considerando espacio: (1.3) superficies y S i o c u r r e q u e F ( E ) n o d e p e n d e d e E .3(r.^ que: (1. e s que (1.

z2) (2.^.E2) en el tema anterior d 4 x ' IL' px 1 ) - = d 4 x IL (x) (x) í 9 .2') n fl* d4x que: 3 u ( . $ i ( x ) . ii) A $ . Dado un Lagrangiano: IL(x) = I L ( x .$! (x') .Fd. 3 J $ ! ( x ' ) ) iv) La f u n c i ó n F (E) r e s u l t a F(E) = I ser: dEu(x)JU(x) (2.^ .l a acción.I 2.d i m e n s i o n a l c o n b o r d e s e n E^ y Y. ( x ) = $ ' ( x ) . probamos con toda generalidad 6W(S1. i i i ) Se t i e n e : j I IL' (x') = IL(x' .9 q :2.3 ^(x)) y .siendo 6xy(x) una variación totalmente arbitraria.Teorema de Noether.1) d x IL(x) a = s i e n d o Í2 la r e g i ó n 4 .) (2 y *i donde: i) Óx^(x).^ - )} + F(I2) .5) . ( x ) es la v a r i a c i ó n f u n c i o n a l d e l x i i campo.Es totalmente arbitraria y no tiene conexión a prio c o n ' l a v a r i a c i ó n de coordenadas.a s o c i a d a : w(E1.

(2.daao por (2.5) $. q u e del término i n t e g r a l en producen la anulación (2.L a g r a n g e . S e a a h o r a . E n t o n c e s . S e d i c e q u e la a c c i ó n es i n v a r i a n t e p o r el de.transformaciones dt t I S x mbs que y infinitesimales se d e b e r á F(E2) sistem obtendre l a s e c u a c i o n e s de movim tener: = FCZ^) Esto c o n s t i t u y e que implica 3^JP(x) = 0 (2. Noether: la a c c i ó n c o r r e s p o n d e u n a ley conservación". 2 ) es n u l a .2). C o n - (x) d a d o Jy(x) por: .un s i s t e m a d e v a r i a c i o n e s e l c u a l se s a b e d i r e c t a m e n t e que óW.) q u e se c o n o c e c o m o e l m o m e n t o c a n ó n i c o conjugado del campo * .2') es m e n t e n u l o .6^vIL(x)} (2. s i n o d e los de g e n e r a d o p o r el c a m b i o campos. E l p o s t u l a d o d e a c c i ó n m í n i m a n o s l l e v ó a las ecuaciones de E u l e r .60 la i n t e g r a l a R"5 d e J ^ ( x ) es Entonces el e n u n c i a d o d e l T e o r e m a d e " A t o d a i n v a r i a n c i a de de direc i n d u c i d a s p o r la e l e c c i ó ) ( x ) ( x ) . ^ E f e c t u a n d o el c á l c u l o d e l a p a r t a d o a n t e r i o r ( 2 .v. _ ttT (X) = 3IL(x) 1 3(3 r-. N o s ó l o h e m o s p r o b a d o el t e o r e m a sino que tenemos la . S x ^ (x) ? ó<K . s o b r e para conservada.4) c o n la i m p o r t a n t e notación: y . Estos resultados * * * * fueron obtenidos sin otra hipótesis - que el" h e c h o d e a d m i t i r q u e e l c a m b i o e n la d e r i v a d a los c a m p o s ya no era a r b i t r a r i o ..).6x V (x){tt^(x)3 v <ì> ì (x) = TrVfo-S^Cx) .

Z2) = d 4 x ' IL' (x') será: (3. B a j o e s t e c a m b i o se t i e n e : IL' (x' ) = IL(x' (3. l a p r i m e r a como: d 4 x ' IL (x' .1) x'p = x y + (3. 3 u $ i ( x ) ) (3.e) i n t e g r a l se escribe . 1 .5 *J5 3.1) Lagrangiano tiene variación local nula. 5 ) .3 ' $ | ( x ' ) ) D e a c u e r d o a las t r a n s f o r m a c i o n e s q u e si IL n o d e p e n d e e x p l í c i t a m e n t e d e se ( 3 .4) IL' (x') = IL(x) (3.Invarianéia traslacional.5) tendrá: La p r i m e r a v a r i a c i ó n d e la a c c i ó n 6W(E1. 2 ) es evidente coordenadas: IL(x) = I L ( $ i ( x ) . líemos* p r e s c r i t o la t r a n s f o r m a c i ó n cinemática: <H(x*) = -^(x) (3. E l las c o o r d e n a d a s es cambio (3.6) d x IL(x) « Í2' De a c u e r d o a ( 3 . E s t a es u n a l e y d e t r a n s f o r m a c i ó n .-2)-.3) ( x 1 ) .2) cuando: siendo e^ un vector ey infinitesimal constante.El c a m b i o e n l o s c a m p o s es que asegura que todo campo interviniente en el en (3..

. e x iste explícita- la c o n s e r v a c i ó n d e l m o m e n t u m l i n e a l d e l s i s t e m a de c a m p o s d e f i n i d o p o r anteriores.8) q u e se c o n o c e c o m o e l t e n s o r d e e n e r g í a ..1a región 1.7) ÜO notación: = tt^(x)9 v í» í (x) . el L a g r a n g i a n o n o d e p e n d e m e n t e d e las c o o r d e n a d a s . t) PV(t) son c o n s t a n t e s (3.4).11) (t) = 0 se d e f i n e c o m o el m o m e n t u m t e m a en q u e se e s t u d i á l i n e a l en el la l e y d e c o n s e r v a c i ó n .3 „Ov f-*. invariancia.i m p u l s o Nuestros resultados aseguran d e la s e c c i ó n a n t e r i o r B^J^Íx) = 0.y p u e s t o que e V que: canónico. d¡ r T (r.9) = 0 (3.g M V H(x) (3. (2. conservada las expresiones .Bajo el cambio de v a r i a b l e s x ' = x+e de i n t e g r a c i ó n regresa a Q y el Jacobiano es Entonces tenemos una Recordando . concluimos: 3 TUV(x) U Entonces las del d_ dt PV(t) 4-cantidades: . es nos arbitrario.10) movimiento: vi (3.es c l a r o que en este caso tenemos: j^Cx) = - £ v donde hemos introducido TyV(x) r y V la (3. E s t a sis- definición n o h a c e m á s q u e c o n c o r d a r c o n la i d e a g e n e r a l d e que el m o mentum l i n e a l c a n ó n i c o es la c a n t i d a d q u e r e s u l t a c u a n d o el s i s t e m a es t r a s l a c i o n a l m e n t e Entonces.cuando invariante.

1. 2.W Z (4-5) Por supuesto. ó A" = ufvAv (4. Invaríancia b a j o Transformaciones de Lorentz Considérese a continuación una transformación de Lorentz infinitesimal '8xv(x)=ufpxp (4. -7- .1) y (4. que transformen como un campo vectorial bajo Lorentz.3) ® Para un conjunto de cuatro campos A / ¿ = 0.4) se tiene St = .2). 3.2) y donde la forma explícita de Sff dependerá del "espín" del campo.1) donde u u p = —ujpu. bajo la cual los campos transforman de la forma "¿^Cr) = ^ S f f Q j i x ) (4. con 8xv(x) y ó$¿(x) dadas por (4. la invaríancia de la acción bajo estas transformaciones nos lleva a la conservación de la corriente dada por (2. 5 = 0 = 0 y por lo tanto (4./ 4. respectivamente. En particular. • Para un campo escalar bajo Lorentz.4).

Este angular orbital q u e la p a r t e en la m a t r i z S .7) = 0 tensor: M^vX(x) E x V T ^ ( x ) es a n t i s i m é t r i c o se o b t i e n e . corres .xBTua(x) d o n d e se h a u t i l i z a d o + S^(x)í. 8 ) y se ha la c o n t r a c c i ó n efectuacon 0.9) Lorentz del sistema. 7 ) en u n s i s t e m a d e d3r M0vX(?.6) B^J 1 1 (x) = La e c u a c i ó n d e c o n s e r v a c i ó n 3 M y -gya . s e obtiene una (4.9) c o m o u n a g e n e r a l i z a c i ó n l e y de c o n s e r v a c i ó n del mementum u n a p a r t e a n á l o g a al m o m e n t u m espaciales c o v a r i a n t e de la angular.(x)} la d e f i n i c i ó n do la a n t i s i m e t r i z a c i ó n n e c e s a r i a d a d a 0) a d o n d e el U V À (x) ( 3 .produce: (4.x V V ( x ) en sus índices Analizando S ^ + v. p r o p o r c i o n a 1 a d i c i o n a l q u e no es n u l a a u n q u e P^ interpreta una consta de mientras contribución lq s e a . D e b e e n t o n c e s p o n d e r a la idea de m o m e n t u m a n g u l a r intrínseco o spin. la c o n s e r v a c i ó n d e la c a n t i d a d JVX(t) que ^ s IL (x) } (4.(x) coordenadas.8 / La c o r r i e n t e JU(x) l U a 6 conservada es ahora: " ^aexe{^(x)8a<Di(x) = ^ {xaT^(x) . ( 4 .t) (4.8) ^(x)$. Especializando del tensor y dualizando c i ó n de a las c o m p o n e n t e s con e ^ ^ .Á. JvA(t) la c o n s e c u e n c i a d e la i n v a r i a n c i a antisimétrica: =0 (4.

ii) P u e s t o IL ' ( x ) produce sí: internas. Hasta el m o m e n t o hemos explotado en los d o s c a s o s en los que l o s campos.Para siguientes i) L a s v a r i a c i o n e s se = 0 invariancias nombre de i n v a r i a n c i a s deben notarse de l o s c a m p o s n o s o n de c o o r d e n a d a s Óx independencia (x) ) = l L ( x ) = & (x . 1 a de la a c c i ó n q u e d a g a r a n t i z a d a = 3L(X.3) (5 .las 'i. tendrán solución variaciones son totalmente indepen- dientes .Para el teorema que ayudarán transformaciones de los c a m p o s y d e l a s c o o r d e n a d a s mucho más generales las i n v a r i a n c i a s a determinar se la generales. .(X) (5. si se = verifica: (x) .Invariancias Noether internas..1) de este tipo estas reciben el invariancias hechos: l o c a l e s y t o t a l e s de los campos que no h a y cambio de c o o r d e n a d a s .4>! ( x ) iii)La c o r r i e n t e escribe nulas. 3y ^ c o n s e r v a d a n o t i e n e p a r t e en simplemente JM(x) simplemente invariancia (x) ) 6x J como: TT^(X)6$.e s t á n ligadas por prescripciones Por pueden las v a r i a c i o n e s de a las v a r i a c i o n e s transformaciones ser c o n s i d e r a d a s .pero son idénticas. O b t e n i d a s leyes de c o n s e r v a c i ó n 1 é de de coordenadas cinemáticas. Un ejemplo cuando e x t r e m o de esta las v a r i a c i o n e s las V a r i a c i o n e s Si e x i s t e n M los ahora (5.9 - 5. supuesto del problema.

(5. .9) Una generalización interesante de lo anterior lo constituye la clase de transformaciones tipo-fase $ i ( x ) .10) donde los £ a son los parámetros infinitesimales de la transformación (independientes de las coordenadas). (5.6) Ahora bien.11) -10- . si £ es invariante bajo estas transformaciones tenemos asociada (a dicha invariancia) la corriente conservada (sobre las ecuaciones de movimiento) y de aqui que satisfaga d^J'mu = 0 (5.5) y por lo tanto 5$(x) = ia$(x). (5.4) 1. La invariancia de £ bajo tales transformaciones tiene asociada la corriente conservada (sobre las ecuaciones de movimiento) JaiJl = Uf{x)Tlaj^j(x).// Suponga que tenemos una teoría descrita por un Lagrangeano C que involucra a un campo complejo Tomando como campos independientes a $ y $*.> $ / i ( x ) = ((5y+e f l 7^)$ J - (5. considérese la transformación de fase -»• Si a « = eia${x). los T?j son constantes numéricas y el Índice a toma tantos valores como simetrías independientes existan. entonces $(x) &(x) = (1 + ia)^(x) (5.

J 1 ^ (x) y las s i m e t r í a s 1 (x)} internas que se .9)' d e d u c i d a P y (x) . ? si: F(E) = dEU(x)J (x) entonces : 3P(E) E F (E + 6 E ( z ) ) .Probar v campos (1.El v o l u m e n e n t r e ' E + SE (z) y"-' E es i n f i n i t e s i m a l .que numeramos (x) . 3 $¿ (x) ) que de- x.4> ¿ (x) .G.Sin embar- la a c c i ó n b a j o u n a 2x2: Lorentz. D e n o m i n é m o s l o Probar que encerrado 6fl(z). Considérese la s u p e r f i c i e coincidente con I e x c e p t o en un entorno del punto el cual d i f i e r e E + ó E ( z ) corno u n a infinitesimalmente superficie z en d e E .11 6.F (E ) i im = 3 JU(z) u Ófi (z) 3E (z) 6fi(z)->0 y verificar en consecuencia en e l la i m p l i c a c i ó n de texto. r ù Sea e l c o n j u n t o d e 4 .Ej e r c i c i o s . Considérese un L a g r a n g i a n o pende explícitamente de go la p r i m e r a v a r i a c i ó n infinitesimal . 1. Los rea l e s .2 (x) .. I ¡ de es f á c i l m e n t e 3 T y : H(x.Sea F(E) una f u n c i ó n de s u p e r f i c i e tridimensional. G 2 1 (x) .c a m p o s e s c a l a r e s se s u p o n e n entonces (x) t 0 = K (x) siendo K ( x f t un v e c t o r que deberá ser en f o r m a d e m a t r i z traslación calculable. C o n s i d e r e m o s el Lagrangiano: o v IL ( x ) = .k Tr{ 3 G ( x ) 3 G ~ y Hallar que: calculado.. No e x i s t e e n t o n c e s invariancía t r a s l a c i o n a l . 2 . C > 2 2 (x) .

.

.

traslaciones.1. del modelo propone la consideración de u n c a m p o c o m p l e j o í'' (x) .2) La c i n e m á t i c a n o s o b l i g a a p r e s c r i b i r en forma u n í v o c a e l c a m b i o en l o s c a m p o s b a j o t r a n s f o r m a c i o n e s del grupo de covariancia.los traslacionales. l a -Teoría de S c h r o d i n g e r n o s p r o p o r c i o n a buena oportunidad en u n c o n t e x t o de p r a c t i c a r formalmente La c i n e m á t i c a las ideas diferente.1) r + Vt S i e n d o el g r u p o d e c o v a r i a n c i a distinto del de L o r e n t z . E s tridimensionales declara como p r i m e r es e l g r u p o de postula- Galileo decir. ( x ) e n n o t a c i o n e s a n t e r i o r e s ) . 4 ) (x). g r a d o s d e l i b e r t a d son escalares . La T e o r í a d e S c h r o d i n g e r do q u e su g r u p o d e c o v a r i a n c i a m á s las t r a s l a c i o n e s .los una desarrolladas ! en tal c a s o grupo libertad (dos 0 .Cinemática. - V(x) (1 . E x i s t e n d o s g r a d o s de didad.rotaciones y los " b o o s t s " galileanos: = t (1.Cumplirnos pres- con estas o b l i g a c i o n e s cribiendo : i) B a j o t r a s l a c i o n e s deberá x'^ = ay (1-3) tenerse: V (x') v la m i s m a r e l a c i ó n p a r a Es decir. P o r identificamos como- con: •>(x) Y*(x) (1.

bajo b o o s t s P.•. de dos . E s t o se v e r i f i c a inmediatamente Asimismo.5) tendrá: H" (x') = ¥ ( x ) y la m i s m a r e l a c i ó n p a r a (1 .6) su complejo-conjugado.1) es p = (P-r + ^ 2 t) (1.- (1.j y ? 7 se c o n la f o r m a la a p l i c a c i ó n tendrá: simultánea (1.10) v: P = Mt No toda M ley d e t r a n s f o r m a c i ó n es adecuada.N En forma completamente los g r a d o s de l i b e r t a d bajo una análoga prescribimos son e s c a l a r e s que rotacionales. ir el b o o s t n u l o P = 0 .Entonces rotación: ii) t'=t se r' = R r .Existen requerimientos Para o b v i o s q u e se d e b e n v e r i f i c a r .9) (Constante) (1.7) -iF(t.Frente nuestra prescripción a las t r a n s f o r m a c i o n e s V ' (x' ) = e l F ( : t ' r ! ? *(x') = e prescribimos -1 -'(x) (1.\0 c on: F(t. i i i) P a r a " b o o s t s " d e G a l i l e o diferente.?.r. e " ~ d e b e s e r la u n i d a d .9).tO (1.

r {) 0-11) ( 1 .11) postulada consistente. X oue: etc (2. 1 1 ) d e l s u b g r u p o de b o o s t s d e G a l i l e o . M á s fundamental: sobre adelante. 1 1 ) es la r e l a c i ó n d e c o n s i s t e n c i a En lenguaje de r e p r e s e n t a c i ó n q u e la l e y de t r a n s f o r m a c i ó n representaciones (1.^2) + F(t. r t ' sola etapa deberá r ' W tenerse: nx) existe el r e q u e r i m i e n t o FCt.¥ * ( x ) 3 0 í ( x ) . q u e = F (t.7) forma u n a Es i n m e d i a t o v e r i f i c a r q u e es asegura representación información será proporcionada más y por consiguiente buscada. (1.r+^t. t ' ) = Procediendo ?"(x") = e en u n a i F ( Es e v i d e n t e . 2. ( 1 .y"(x") = e 1 ^ (t > r ' .1) Debe recordarse °0 —O = . La d i n á m i c a d e l m o d e l o se e s p e c i f i c a a t r a v é s L a ç r a n ç iano : IL(x) = .9) v e r i f i c a la l e y de t r a n s f o r m a c i ó n (1. de g r u p o s . 3.- nx)30¥*(x) (2.2) del . V 2 ) U/ .Dinámica.

garantiza movimiento.También es e s c a l a r b a j o 2 en este completo y las ecuaciones serán entonces c o v a r i a n t e s ya q u e .^ y p a r a el o t r o g r a d o d e i3on>0 <i<*(x) (2.3) 3knx) (2. s i m p l e y la solución (2.r Es a b s o l u t a m e n t e bajo traslaciones prescritas.6) c o n s i d e r a d a La t e o r í a g e n e r a l de como ecuación es s u m a m e n t e son equivalentes compleja.5) libertad: V2 = .la escalaridad del la c o v a r i a n c i a d e las e c u a c i o n e s Tenemos U 7T (X) ^(x) = J el g r u p o de de movimiento acuerdo a nuestra Lagrangiano.¿ r V ^ 3 = 1 2M = -j H x ) (2.6) Ambas ecuaciones de m o v i m i e n t o a (2.^ Y(x) (2..6) p u e d e o b t e n e r s e e x p l í c i t a m e n t e con facilidad: . IL(x) e s u n e s c a l a r b a j o covariancia (y(x).Es e v i d e n t e q u e IL(x) es de a c u e r d o a las l e y e s cinemáticas también escalar bajo rotaciones ya que está c o n s t r u i d o w * ( x ) y el p r o d u c t o con escalares escalar ).4) de m o v i m i e n t o 0 + I V * ( x ) son: = 0 2 -i3QY*(x) = . evidentemente: . rotacionales x) de G a l i l e o escalar IT *' ^ f X 1 las e c u a c i o n e s 1 8 0 <f*(x) + .0 Y*(X) (X) =-¿r Entonces | de boosts contexto). d e discusión previa. E n t o n c e s . ^(x)-^ft es p o s i b l e v e r i f i c a r q u e l ( x ) (ver e j e r c i c i o espaciales.

í 2 t } - S i e f e c t u a m o s el c a m b i o d e v a r i a b l e : k+? = q. .y(x) = d 3 k *("£) e 1 ^ ° r Entonces.Sin Galileo. Bajo un b o o s t de G a l i l e o .el correspondencia observadores t i e n e n el m i s m o c o n j u n t o d e s o l u c i o n e s u n a a u n a . e l conjunto de s o l u c i o n e s p a r a el o b s e r v a d o r es t o t a l m e n t e idéntico al p r i m e r o . obtenemos: d3q $(q-P) exp i{q-r + y en d e f i n i t i v a .7) solución general depende de u n a función arbitraria Es posible comprobar directamente (2.una comprobación (2. del Lagran- e m b a r g o .8) E n t o n c e s .3) es primer evidente. n o m b r a n d o que r + ?t/M = r' t - t } q p o r le de n u e v o y observando .P es o b v i a m e n t e u n o a u n o . C u a n d o observador elige una solución caracterizada por s e c u n d o o b t i e n e u n a con $ (Íc-P) .la ' 2M t J (2. p o r que ejemplo-.6) es c o v a r i a n t e b a j o .2M (2. La i n t e r p r e t a c i ó n física de (2.7) directa hecho. P u e s t o q u e la e n t r e £ y £ .obtenemos: n T'(x') = d3k e i(k-r' .boosts la de E s t e h e c h o e s t á g a r a n t i z a d o p o r la e s c a l a r i d a d giano. e l observador equivalente tendrá: (x') = e • rí 1 p 2 + 2M t J ¥(x) = 2 5 d k $ ( $ ) exp i { ( M ) .como de este ecuación ejercicio interesante. a m b o s segundo el o(k). l a p o s e s i ó n de la s o l u c i ó n g e n e r a l permite.

j(x) = 1 1 M Tenemos . V (x) J (x) = con de la ¥ * ' (X) (3.4) La c o r r i e n t e o interna: corriente: J°(x) = ^ v * ( x ) n x ) y a esta campo e i g u a l a -1 p a r a y * (x) . Puesto que el Lagrangiáno c o m p l e j o y es r e a l .3 IM{¥*(x)Mx)} RECF-(x) (-iV)Y(x)} (3.* (x) (x)} también: j°(x) = I n x ) | 2 .5) = 0 .0 es j (x) es fuentes ni sumideros.¿ i ^Cx)3kYft(x) .4) entonces: 30j°(x) + 3 k j k ( x ) y = E"L9V"Cx) en teoría a (2.3 T ( x ) ¥ * ( x j ] -iJ' J (x) s e r á i g u a l m e n t e la d e n o m i n a m o s j°(x) = | ^ ( x ) ¡ 2 j H (3. tendremos: + íy(x)y*(x) A = i|y(x)| (3. jk(k) .3) conservada (x).1) de c a m p o s n o s aseguran k. De a c u e r d o k de un fi7TMi(x)$i(x) p a r a f (x) J (x) depende la i n v a r i a n c i a •Nuestros r e s u l t a d o s la c o n s e r v a c i ó n 6 or c o n s i g u i e n t e la e n a t i d a d .Corriente «i de probabilidad. .2) k = -—•{ 3 ? (x. e x i s t e H" (x) = e i6.Entonces: .)7 (x) .Y.- 3.3. c u y a densidad c o n s e r v a d a en el s e n t i d o que n o t i e n e No hay creación ni destrucción. (3.

dado por: - caso: T° U (x) = T T ° ( X ) 3 % ( X ) .que a d o p t a r u n a d e n s i d a d d e q u e se o b t e n g a c o m o la c o m p o n e n t e 0 de a l g ú n ello probabilidad vector conservado. V k A (X)3KÏ(X) = -Jrr- 2M C o n e l l o la e n e r g í a d e l s i s t e m a P° = 2M (4.En P r i m e r a c u a n t i z a c i ó n se i n t e r p r e t a j ^ ( x ) la d e n s i d a d d e p r o b a b i l i d a d d e p r e s e n c i a } ( x ) es e n t o n c e s e l f l u j o d e e s t a de una como partícula..2) d x W * (x) • Vi'(x) e integrando por partes obtenemos sin dificultad: momen~ .gOy ^IL(x) Entonces: O. probabilidad. x ) .j ¥ ( x ) 3 U Y * ( .. Las a s i g n a c i o n e s obviamente e f e c t u a d a s en e s t e a p a r t a d o las f a m i l i a r e s en M e c á n i c a Cuántica de son Schrodin- ger.Invariancia traslacional. P o r s i e m p r e t e n d r e m o s . 4. T 0 0 ( x ) = Í4*(x)8 U <í>(x) .Operador Hamiltoniano.^ * ( X ) es: (4. El hecho de que en Primera cuantización la p a r t í c u l a es inmutab1e.es decir no desaparece en e l t i e m p o . i m p l i c a la c o n s e r v a c i ó n d e su d e n s i d a d de p r o b a b i l i d a d ..IL(x) 1 2M 3.1) ^ F ( X ) .Operador P u e s t o q u e e l L a g r a n g i a n o es e s c a l a r í b t e n e m o s la l e y d e c o n s e r v a c i ó n T^v(x) = irï(x)aVCx) En nuestro de T yv traslacional (x).

e l L a g r a n g i a n o es i n v a r i a n t e f r e n t e espaciales.podemos calcular sistema.Por definición Dr H a m i l t o n i a n o del esta expresión define el sistema: En forma completamente el 3 . E s e v i d e n t e que e l L a g r a n g i a n o invariancia identifica- a rotaciones inmediato observar que una rotación infinitesimal puede siempre escribirse como: espacial . actual no c o n r e s p e c t o al g r u p o d e L o r e n t z posee restringido.m o m e n t u m d e l opera- análoga. S i n e m b a r g o . El resultado es: d 3 x <?*(x) ( i 3 k ) n x ) y de n u e v o . p o r momentum o d e f i n i c i ó n t e n d r e m o s p a r a el operador lineal: también: Entonces la t e o r í a d e c a m p o s p e r m i t e u n a c i ó n c a n ó n i c a d e los o p e r a d o r e s q u e r e p r e s e n t a n cantidades f í s i c a s de 5 . Invariancia rotacional.Es a -las interés.'Opera'dor M o m e n t u m angular.

ocediendo e n f o r m a a n á l o g a al e s t u d i o r e a l i z a d o la i n v a r i a n c i a la Lorentz. J 3 d o n d e oa 1 ^ e s u n a m a t r i z 3 x 3 entonces antisimétrica.conteniendo los tres parámetros a s o c i a d o s a r o t a c i o n e s es- pacíales. = ó J 1 (5.6).3) d3r :on: Nótese q u e no h a y c o n t r i b u c i ó n d e de spin al h a b e r p o s t u l a d o transformaciones términos la e s c a l a r i d a d b a j o estas (1.integrando Jj k d 3 r ¥*(x) ( i x h k por - j k = xj(i3k) - ix^^YCx) xk(i3j) E s c o n v e n c i o n a l d e f i n i r el o p e r a d o r a n g u l a r d e l sistema* c o m o : ( 5 . .9 - T1 L _ X1 . - Bajo estas transformaciones .5) operador: (5.x T J (x) (5. j-rOk.| ¥A(x) x h h ( x ) .2) ». Un cálculo simple nos proporciona: M0jk(x).4) (5. ..1) . hay invariancia . 2 ) obte- partes: D e n u e v o . k„0j r M J (x) = x J T (x) . p o r d e f i n i c i ó n se t i e n e e l J en (5.+ co .Oik.j ^(x) Y * ( x ) x k 3 ^ " ( x ) + y 'í(x) x k 3 J ¥ " ( x ) G u a n d o e s t a e x p r e s i ó n se s u b s t i t u y e nemos sin dificultad.6) momentum .llegamos y para a la c o n s e r v a c i ó n de cantidad: J jk M0jk(x) (5.

6 .f^) (6.7) jk obviamente - la m i s m a información.1) e~lk'x 3 D e a c u e r d o c o n la e c u a c i ó n d e S c h r o d i n g e r obtenemos sin (2.6) dificultad: 1 d4k e-ik'x ñk)(k°- = 0 (2ti ) q u e es e q u i v a l e n t e a: 0 k2 (kU - ¥(k) = 0 (6.3) . (5.6) o b t e n e m o s : J1 = x. p r o p a g a d o r d e la e c u a c i ó n de S c h r o d i n g e r . Fourier: (6. C a s o Consideremos la t r a n s f o r m a c i ó n 1 y(x) = (ZTT) d 4 k Y(k) de homogéneo. evidente: 0 .10 i = J - que^contiene De 1 2 -Oijk e (5.(i3k) (5. J la c u a l es S u s o l u c i ó n g e n e r a l es <F(k) = * ( k ) 6 (k de equivalente.3) (-ÍV) (5. a .2) E s t a e c u a c i ó n e s la t r a n s f o r m a d a d e F o u r i e r la e c u a c i ó n d e S c h r o d i n g e r .9) o "también: 3 E r x c u e es la f o r m a f a m i l i a r p a r a e l o p e r a d o r d e para una función momentum-angular escalar.

m ( 6 .6) j l a i d e a d e q u e el p r o d u c t o de transforma por F o u r i e r en producto Explícitamente.4.1 ^ ) e " i k ' x Y(x) = C 2rr) podemos utilizar ecuación (6.\ siendo $(k) una función totalmente arbitraria.4) c n: f(t) = .7).recurrimos (6. 4 ) es la s o l u c i ó n g e n e r a l de n u e s t r a hecho que ya fue u s a d o en Por otra p a r t e . 0 1c % -ik-x d k f6M (k " 2 m ) e (6. .8) D(x-y)F(y) (6.i 3 *(k = (2ir) (6. definimos: j 4 . s i (2. S i s u s t i t u i m o s e n ("6.7) .. P a r a calcularlo.si 1 F(x) = convolución ordinario. . escribimos: d 4 k 5>(k) 6(k°.5) .Obtenemos: a de . La f u n c i ó n D ( x ) se c o n o c e c o m o p r o p a g a d o r h o m o g é n e o la e c u a c i ó n de S c h r o d i n g e r .8) y n o t a m o s q u e la i n t e g r a c i ó n s o b r e k® se inmn e d i a t a m e n t e c o n a y u d a d e la efectúa distribución.9) (271)' 1 D(x) = O ) se t i e n e inmediatamente: ¥(x) = d y que tiene que ser otra forma e q u i v a l e n t e de la s o l u c i ó n d e la e c u a c i ó n d e proporcionar Schrodinger.1) y e f e c t u a m o s la i n t e g r a l * sobre k c o n la a y u d a d e l a d i s t r i b u c i ó n o b t e n e m o s : 0 Ü y3 d K nx) ffto e i ( K ' 2M t ) r (6. -ik-x d k $(k) e (6.

13) it/2M P u e s t a q u e la i n t e g r a l es p a r .escribimos : D(x) = —f4TT r -.d5k D(x) = ~ Ìm t } (2tt) De esta e x p r e s i ó n i9tDCx) es e v i d e n t e = -4rV2D(x) que (6. P a r a (6. .es el dk k sen kr e -uk escribir: 2 i -co y utilizando el mismo hecho.10) - Es d e c i r que el p r o p a g a d o r h o m o g é n e o verifica la e c u a c i ó n d e S c h j r o d i n g e r . p o d e m o s D(x) = — 4ir r . p a r a t=0.14) t r a n s f o r m a c i ó n d e F o u r í e r de u n a G a u s s i a n a E s t e c á l c u l o es c o n v e n c i o n a l . Continuando nuestro cálculo.rotamos de i n t e g r a c i ó n ^ (mudo c o m o v a r i a b l e d e D(x) = — 1 2TT r c o n la n o t a c i ó n : trivial k -uk' (6.12) 0 (6.Pasando obtener: dk k sen kr e u = 1 espacio integración) h a s t a q u e e l v e c t o r r se h a l l e en d i r e c c i ó n a coordenadas polares.r) ó3(í) = (6.14) se r e d u c e a la en u n a s i t u a r n o s en dimensión.i k r -uk¿ dk k e e Si u fuera real y positivo.consideramos .se tipne: V D(t=0 . P o r o t r a p a r t e .11) que p u e d e p e n s a r s e como c o n d i c i ó n de borde. él.(6.

v) = 0 s i x°<y° (7.16) E l ú n i c o p u n t o en e l q u e la p r e s c r i p c i ó n se h a c e r e l e v a n t e y es e n la d e t e r m i n a c i ó n en t de la r a i z d e Puesto que u tiene una pequeña parte real positiva. P r o p a g a d o r de la e c u a c i ó n de S c h r ó d i n g e r .13 - V una pequeña parte i m a g i n a r i a en el tiempo t t: t-ie (6. a h o r a la e c u a c i ó n : x } D ( x F '>r) = i ¿ 4 (x-y) (7-1) c o n la.2) . Propongamos o al ( 6 . E s i 1 / 2 (6.c o n d i c i ó n de b o r d e c a u s a l : Dp(x.9) d o n d e F ( y ) es a r b i t r a r í a . = (———) 3/2 £ definitiva: -Mr2/2it ( 6 > 1 8 ) 2irit El conocimiento del propagador homogéneo conduce a la s o l u c i ó n g e n e r a l d e la e c u a c i ó n de S c h r ó d i n g e r por (6.la d e b e t o m a r s e s e g ú n la r a m a p r i n c i p a l .-14.15) de m o d o q u e u t i e n e a h o r a u n a p a r t e r e a l p o s i t i v a podemos recurrir al cálculo D(x) = convencional. C a s o ( i 8 dada v inhomogéneo.17) E l p r o p a g a d o r h o m o g é n e o p r o d u c e en D ( t f í) raiz decir: / 4 = e^ u. E s e q u i v a l e n t e c o n o c i m i e n t o de la s o l u c i ó n g e n e r a l d a d a e n de t r a n s f o r m a d a de + 4 r forma Fourier. 4 ) en 7 .Obtenemos: (4TTU)" 3 / 2 e r / 4 u (6.

. p r o v i n i e n t e s 3 - de t o d o R . 1 . • ..5) es a r b i t r a r i o .Recordando solución de ( 6 .6) ••¿-C:" L a n o m e n c l a t u r a d e p r o p a g a d o r e s e v i d e n t e de esta e c u a c i ó n . en los d i s t i n t o s p u n t o s de R 3 p a r a r e c o n s t r u i r la o n d a e n t2 .4) Schrodinger.' -'• onda en t ^ < t 2 . 2 ) . procede- obtener: F (x2) = n x 2 ) y puesto que x ? la ¿ el p r i n c i p i o d e • Huyghens.3) varias. o b t e n e m o s ecuación: la interesante - n x 2 j JL d \ Dp(x2-x1) T(Xl) (7. ( E n t e o r í a s n o tivistas no h a y l í m i t e p a r a la v e l o c i d a d de rela- propagación). 1 1 ) es i n m e d i a t o o b t e n e r ( 7 . se f o r m a p o r c o n t r i b u c i o n e s d e la m i s m a •'-. o b s e r v a c i ó n Para t^t-j t^ .. E l p r o p a g a d o r Dp a s e g u r a q u e la p r o p a g a c i ó n es causal. S i g u i e n d o la "onda e n t 9 . siempre t 2 > t ^ .(No h a y c o n t r i b u c i ó n p a r a t ^ > t 2 ) y m o d u l a la a m p l i t u d en t ^ . funci°n: dóx1 = (7. s i (7. la ..t2 inhomogéneo. 1 0 . S e t i e n e en e f e c t o : DF(x2-xr) " = 6(t2-t1)D(x2-x1) Las a p l i c a c i o n e s de este p r o p a g a d o r causal o de F e y n m a n son i) E m p e c e m o s p o r nx 2 ) a trivial: Dp(x2-x1) F(x^) es u n a s o l u c i ó n d e la e c u a c i ó n de Por otra parte..manteniendo m o s a l l í m i t e .es i n m e d i a t o (7.

) . q u e D p ( x . espe- teoría de es- . Es a su v e z o b v i o . d e b i d o a l a p r e s e n c i a d e 6 ( t . lim Y ( x ) _ = l i m ¥ Q ( x ) darse potencial.10) ". P(x .V ii) E l p r o p a g a d o r D p ( x 2 _ x ^ ) para enfrentarse es p a r t i c u l a r m e n t e a problemas u n a e c u a c i ó n de S c h r o d i n g e r U 3 t + "¿T Es a b s o l u t a m e n t e cular de esta e c u a c i ó n Y(x) = -i V(x)^(x) — (7. Si*el p o t e n c i a l es d é b i l . ( 7 .tendremos: Y(x) = Y q ( X ) -i d 4 x ' •D P (x-x . (7.t ' ) . E n t o n c e s (7.si d e la con fuentes.9) La s o l u c i ó n g e n e r a l d e l a h o m o g é n e a .(7. p u e d e por ejemplo utilizando (6. Entonces.si queremos alguna condición inicial c i a l e n t=-<*>.9) p r o p o r c i o n a la s o l u c i ó n del p r o b l e m a de a c u e r d o con la dición inicial con- especificada.8) sumamos la solución general' homogénea. evidente (7.es decir con - interesante entonces .9).9) es la s o l u c i ó n g e n e r a l d e l p r o b l e m a con t + -0O "t-^-CO que para -w .x ' ) s e a n u l a t con potencial: obvio que una solución Por consiguiente. )V(x .7) parti- es: d4x' Dp(x-x')V(x'(x') (7. )-.Es entonces.determinamos c o n e s t o ^q (x) . S e t i e n e . 9 ) p r o p o r c i o n a un quema iterativo obvio para desarrollar u n a perturbaciones.

P a r a observar ( 2 .V) función.r.Calcular la a m p l i t u d S ^ partícula emerja con~3-momentum ello las e x p r e s i o n e s para (7. S e (1.4) se h a l l a s u j e t a a la a c c i ó n d e u n c i a l V ( t . v) Deducir-directamente de la t r a n s f o r m a c i ó n e n t=+°° .3) r e s o l v i e n d o (7. discusión deben realizarse para obtener las mencionadas.d e—tran s f o r m a c i ó n p r op u e s t a _ y _ 1 a_ e s t r u c tu r a del L a g r a n g i a n o / c o n s i d é r e s e q u e <f(x). E l p o t e n c i a l s e s u p o n e n u l o e n t=-°° y e n F(t.t=-°°. (Efectuar las i n t e g r a c i o n e s p a r c i a l e s y una sobre las h i p ó t e s i s • q u e (1.Ejercicios. ' i) Q u e r e m o s c o m p r o b a r . que el Lagrangiano bajo b o o s t s de G a l i l e o . r ) . o- > - .El p o t e n c i a l f i n i t o s y a q u e £ es infinite- simal p e r o tiende a_cero en ambos infinitos.8) potentambién t=+°° . ) E n u n este problema de s c a t t e r i n g l a p a r t í c u l a t i e n e u n 3 . i . " -e V !j ó lTCw> • 1 e^ñM^-o \ cm.de modo que a s í la f o r m a (2.Se conoce procedimiento c o m o la h i p ó t e s i s a d i a b á t i c a . - - - - - « * > .m o m e n t u m perfectamente definido de que para. (Para e l l o s e s u p o n e u n t é r m i n o ? e n el p o t e n c i a l -et que lo m o d i f i c a a la f o r m a V(x) + e no se v e a f e c t a d o p a r a t i e m p o s V(x) .7.5). .c a m b i a p o r bajo boosts de G a i i l e o .V - 16 \ 8.10). U t i l i z a r la (7.1) p o r d e F o u r i e r d e a m b o s m i e m b r o s de medio la ecuación.9) p a r a esta ii) V e r i f i c a r d i r e c t a m e n t e expresiones obtendrá las e x p r e s i o n e s (4.1) sea e s c a l a r . 1 ) es la f u e r t e escalar relación e n t r e la l e y . .5) y (5.9.«4- i v V -i v >/. p e r o sin c o n o c e r la forma de Determinar F.) iii) C o m p r o b a r la a s e v e r a c i ó n iv) U n a p a r t í c u l a (7.

.

called the Conformai group. In four dimensions. a infinitesimal .netic term. the second the potential.1.7[<J(x)] . U n d e r dilatations a field <!> of dimension d transforms as 6<$ — ad§ . T h e first t e r m is called t h e k'. Some special examples are where m has the dimension of mass. (1.1) where t h e i is purely conventional and V is a scalar function.6 find the T h e Action for Scalar Fields T h e m o s t general f o r m of t h e Lagrange density containing only one scalar field <p(x) is £ = ~d. 1.g^xrxT)cP .6.6. where a is a global constant. Show t h a t these t r a n s f o r m a t i o n s t o g e t h e r with the dilatations Sx** = a / . a n d t h e Poincaré group transformations form a fifteen-parameter group. A s s u m i n g t h a t S is invariant under the Weyl group and contains conserved current corresponding t o dilatations.3) . T h e form of V [<?(•£)] is unrestricted in the classical theory.6 THE ACTION FOR SCALAR FIELDS 29 PROBLEMS A . (1. w h e r e cp is an infinitesimal four-vector. Note t h a t £ 0 is also invariant under t h e discrete s y m m e t r y <p(x) -<?{x) . T h i s Action describes a free particle of mass TTi (as we shall deduce later from its p a t h integral t r e a t m e n t ) . B. T h e kinetic t e r m has a larger invariance group t h a n the potential: it is invariant under a shift of t h e field ó —>• <? -f a.ó(x)d^{x) . Consider the conformai t r a n s f o r m a t i o n s Sx* = {2x^xp . T h e dilatations and the Poincaré group form a group called t h e Weyl group. ó(x) therefore has n a t u r a l dimensions of L~1 (or of mass).

= j cPxjpQ = jd3x(-g. except for the sign of the 4>4 term.9) Then since Pq is the energy of the system the energy density is joo = — £> -r C068gO .0C + d ocd. (1.5.6.10) (1.5) where A is dimensionless. the equations of motion are easily obtained d^tj* = -v'{6) .Since the derivative terms give a positive contribution it always occurs for a static field o c (do<?c — d\9c — 0).11) and is seen to be positive definite when V > 0. Alas. a) Under an infinitesimal translation characterized by 6xM — and 6<p = 0. (1.6. For « 1. (1.6. This Action leads to an acceptable quantum held theory. We can construct the conserved quantity using the procedures of the previous section. Observe that (in four dimensions) A is a dimension less parameter.?) .6. it is not known to lead to an acceptable quantum held theory in four dimensions. (1. .25) and (1. (1. The corresponding conserved charge is P.26) become j/iv = 5 ^ + dn<?du<i> .7) = 0 . — i (1.4) i! which describes a self-interacting theory. by C = CQ — . The ground state field configuration is that which gives the lowest value for /GO.6. Another popular example is the Sine-Gordon Lagrangian cos vA o m .6. Eqs. The minus sign ensures the posiiivity of V (for positive A). it is called the energy momentum tensor. it reproduces the previous examples.6) where the prime denotes the derivative with respect to <p. (1. however. (1.5.8) Observe that in this case is a symmetric tensor. it yields a healthy q u a n t u m theory in two dimensions! Whatever the form of V.6.6.H © W T© lUili A N ACTION! F U N C T I O N A L 30 A more complicated example is giver.

18) When £ = $¿¡¡. • (1.6. (1.jQpxv) . = 3H»xP .jj " ' "" V r • / i ^ i nx The reason for the failure of conservation of in this case is that a dimensional parameter appears in £ . consider an infinitesimal dilatation ^ = a / 8<f> — —a<p . (1.6. Recall t h a t there are ambiguities in the form of As an example consider the new definition eM.6.20) where a is a dimer.6.6.14) T h e conservation of these charges is a consequence of the invariance of the Action under Peine are transformations.o 4 . Mvp = ld3xjQvp- I d3x (jc^Xp . As an example of the application of Noether's theorem to transformations which are not necessarily invariances of S . = juv + a (dudv . it is easy to show that j% is divergenceless (in four dimensions: see problem). had we added to £ the "mass term" — ~rri J o J .sionless number.b) Under a Lorentz transformation the conserved Noether current is a three-indexed quantity given by j^p -i.6 THE ACTION FOR SCALAR FIELDS 31 in which case the energy density is the value of the potential V{6 e ) for this particular field. .6.16) (1.17) We see t h a t using (1.jppXy .6.13) T h e corresponding conserved charges are the generators of the Lorentz transformations _ .6.8) + 1 .63* 6 .21) . (1.15) T h e Noether current is Jd = (Sp-C = xp -T od>:o + d^dpé) + 1 .f . (1.1. its contribution would have been P) iV _ ^ n . (1.12) (1.r-. We still have d^e^ = o (1.6.d»cdx<t>) (g*xp .6.gxpxv) = . However.gUyOpdp) <r .

<j>dpdp<t>] . They are seen to differ from one another by a total divergence and thus the dilatation charge is not affected. T h e differences between ©pj.gppdTdT) <t>2 = & + \d p [x»d>-x'>d»]4> 2 (1.6.27) .g»pdTdT)62 = JD .6. and between j^jj and j'fiD are all surface terms. Jackiw. for a dilatation invariant theory. These new forms for the energy momentum tensor and the dilatation current can be obtained canonically if we add to the scalar field Lagrangian a surface term of the f o r m d^A^ where A^ = i (xtidp — xpdfi) dp<f>2 .j. • • •.flD=Q% . Annals of Physics 24. T h e tensor is called t h e "new improved energy momentum tensor" [see F . 211-(1963) and S. Taking as an example the Lagrangian given by (1.6.22) which sets a = — Furthermore.6. The field theory of many scalar fields goes in much t h e same way except t h a t interesting new symmetries arise. Giirsey.26) it therefore corresponds to a canonical transformation.\xp{d»dp . Now we can define a new dilatation current as r D = z p .4) with m 2 = 0. using t h e form (1. As an example consider N real scalar fields a = 1. Annuals of Physics 67.24) which shows t h a t dilatation invariance is equivalent to tracelessness of Q ^ .21) d. (1.17).6. This new dilatation current is related to the old one by = x p j » p . be traceless. N and the Lagrangian i N a=l (1. and j^.6. we find ©£ = (1 + 6a) [-dp<j>d"<j> . (1. (1. dilatation invariance even when present in the original Lagrangian is broken by q u a n t u m effects. 552 (1971)]. Coleman and R.32 H O W T O BUILD A N A C T I O N F U N C T I O N A L We fix a by demanding that. the difference between and is a surface t e r m which does not alter the conserved charges.6.25) .\d»4>2 . As we shall see later. (1-6.6.| x p (d'dp .23) Then using (1. In field theories of higher spin fields the dilatation invariance is always linked to a traceless energy momentum tensor.

such t h a t the Belinfante tensor f / = f " + dpBp^ .27).6. £ is obviously invariant under a global (i.28) A s a result there are ^ N ( N — 1) conserved Noether currents fah = 6 a d ^ b .. In four-dimensions show t h a t t h e canonical dilatation current is divergenceless when C = r. derive t h e expression for t h e divergence of t h e dilatation current when C = \d^6d. xi n d e p e n d e n t ) r o t a t i o n of the N real scalar fields into one another 6<?G=€ab<?b .6. eab = -£ba • (1.28) when C is given by (1.ri(f> — V(<f>). is s y m m e t r i c and the conserved Noether current for LT's is w r i t t e n in the form Hint: B w = 0 for scalar fields so it has t o do with S " " .6 THE ACTION FOR SCALAR FIELDS 33 Besides t h e usual invariances. Show t h a t S = f d^x^d^d^tp is invariant u n d e r a conformal t r a n s f o r m a t i o n . *C.1. E. (1. *D. Derive the f o r m of the conserved currents corresponding to the t r a n s f o r m a tions (1. C o n s t r u c t the conserved Noether current.6. PROBLEMS t A . In general t h e canonical energy m o m e n t u m tensor need not be symmetric. F i n d 66 for a conformal t r a n s f o r m a t i o n . Show t h a t one can always find a t e r m BfitiU antisymmetric under p —¡J.29) T h i s c o n s t i t u t e s an example of an internal s y m m e t r y stemming f r o m the presence of m a n y fields of t h e same type. If the t h e o r y is supplemented by a p o t e n t i a l t h a t d e p e n d s only on t h e rotation invariant "length" <pa<?a.e.dn<j)d^<f> — | r p 4 . t h e internal r o t a t i o n invariance is preserved.6. .c p b d ^ a . 1 B. In D dimensions.

.

x. restringido (x) E A (x) .2) ( A y ( x ) } como campo ]L(x) = .3 C o m o es c o s t u m b r e .6) = .FyV ( x ) Ay(x) = 0 son: (1.y ^ J El Lagrangiano Notemos vectorial LyvA^(x) (x) es u n a n o t a c i ó n F (1.5) Lorentz covariante.7) (1.2. y (x 1 ) = El Lagrangiano = xy + (1.(x) .Cinemática y Lagrangiano Consideramos a h o r a u n a teoría de c a m p o s 4 g r a d o s de l i b e r t a d .1 - 1. r e p r e s e n t a d o s reales: por los 4 con campos A (x) y=0.A (x) yv v ' y.1. l o s campos (1-1) se d e c l a r a n escalares traslacionales: A.1 F y V ( x ) F y v ( x ) donde F ay de L o r e n t z del g r u p o A .y(x') = Ay.3) se e s t a b l e c e v Y como: + I 2 m Ay(x)Ay(x) para: es o b v i a m e n t e e s c a l a r y producirá entonces una dinámica .4) . que: (x) = 3(3v v AU1 ) y p o r e l l o las e c u a c i o n e s d e m o v i m i e n t o 3vFpV(x) + m2 (1.vv J v.y y se d e c l a r a al c o n j u n t o bajo transformaciones (1.

1/2 -r m ) r 9 (2.8) r e s t r i n g e de la f o r m a general la s o l u c i ó n general integración.que forma: A y (x) = d3k a m H e"ik*x + ank) h* eik'x (2. (1.7) y p o d e m o s e n t o n c e s p e n s a r en c o m o la e c u a c i ó n d i n á m i c a d e l 2.0 t2 k = a 3 .(1.Sobre la f o r m a d e c u a t r o e c u a c i o n e s ellas de l a s c o n s t a n t e s d e (1. Es a b s o l u t a m e n t e t i e n e la (1. dependencia (1.0 (2.ya q u e la imposición de " c a p a de m a s a s " : i. S .Solución como: evidente. 9 ) es completamente ella sistema.^ = (f k .v e c t o r e s a „ ( k ) y su c o m p l e j o do . general.7) implica como c o n d i c i ó n La e c u a c i ó n de consisten- cía : ayAM(x) y entonces = 0 (1. d e b e n v e r i f 1C3. 2.8) (1.7) p u e d e e s c r i b i r s e (82 + m2) Ay(x) = 0 La p a r e j a d e e c u a c i o n e s equivalente ( 1 .10) r O j .3) .2) Como siempre.1) D o n d e l o s 4 .la dependencia c a n t i d a d e s en C-t<( r conjuga- e f e c t i v a de es en e l t r i v e c t o r £ en k® q u e d a r e e m p l a z a d a p o r la las .9) tiene Klein-Gordon.9) a (1.I ' ( C kyay(k) - c C x .

0.Sin embargo. 0 .1.0.3 - Es v e n t a j o s o .0) En este s i s t e m a d e f i n i m o s tres v e c t o r e s y ortogonales el que n u m e r a m o s por el índice ey(k..£) Existen muchas transformaciones de Lorentz p u e d e n realizar este trabajo.1.0) ey(k.4) (m.q: {pypv (p-q) + qvqv que conveniente en o t r o d e la m i s m a n o r m a p e n t é r m i n o s e x c l u s i v o s de Ly el Pyqv .d e s c o m p o n i b l e . e s t a b l e c e r u n a t é t r a d a ortonormal d e v e c t o r e s e n la q u e a (le) s e a .se hace utilizar la t r a n s f o m a c i ó n d e s c r i t a e n transforma un vector 1y q• v = 6' v (IV.0) = Podemos ahora pasar a un sistema que el vector k y t o m e la ky = (2. en e l q u e forma: (2.• :0m . 0 ) = 1 general en forma: (2.1) y Podemos completar espaciales X de 1 a 3: (2.29) que p.1.5) la t é t r a d a c o n el v e c t o r temporal unitario : ey{k. 0.0.0. S i e m p r e es p r e f e r i b l e trabajar con funciones que con S e a e n t o n c e s Sq u n s i s t e m a d e c o o r d e n a d a s vector k y t o m a la ky = vectores.7) («.0) e (k.3) = (0. 0 . .1) = (0.2) = (0.6) ky (1 .0.

10) ev(k.-n) L a s c u a t r o c o l u m n a s d e la matriz. k q u e la s u m a sobre vectoriales: e"lk'X e (k. 2 ) se v e r i f i c a inmediatamente imposición: a(k.proporcionan i o s c u a t r o v e c t o r e s e y ( k .12) . A) (2. y d e f i n i e n d o los o b j e t o s 1 (2- . X) X=0 La c o n d i c i ó n c o n la original. k -k x 1.V En forma m a t r i c i a l y v = se tiene: -k •k oj. .57: /2Ü3.9) R ü 1/(ü). e n la b a s e Pedemos entonces escribir: a y ( k ) = l a (k.11) = 0 Por consiguiente.0) (2.A) ( 2 ..sobreentendiendo es d e 1 a 3 . (2. \ ) .k7R x -k k / R x y -k k /R 1-k2/R -k k •k k /R x z -k k /R 1 -k2/R x y k k /R x z 1_ m k x y y k y y ^ y z /R con: (2.

¥) = i obtenemos d°x ® * ( x ) campos del producto vectoriales: 3t (2.17) .X)) eM(k.A)R*y(x)}(2.X) uv 1 ! k"k 1J (2.X)Eyx(x) D e la r e l a c i ó n da Vy _ 3 l es: a(k.5 la s o l u c i ó n g e n e r a l d e n u e s t r o p r o b l e m a A U Cx) « d3k l X (a«(k.X)eV(k.es i n m e d i a t o ey (k.14) m Introduciendo la o b v i a g e n e r a l i z a c i ó n e s c a l a r de K l e i n .G o r d o n .esto nos permite a(k.X)eV(k.16) q u e e s o b v i a m e n t e la i d e a d e o r t o g o n a l i d a d que ahora necesitamos.X) A=0 para cualquier vector i X=0 . Por ejemplo.X) = CEf:x depejar: (2.15) inmediatamente: (2.X) = g deducir: y V Por consiguiente.en una suma sobre X desde se 1 a 3 tendrá: ey(k. p a r a ($.13) + completitud: (Vvev(k..

es i n m e d i a t o e y ( k .X)E£x(x) D e la r e l a c i ó n d e V I A=0 para + a(k.la s o l u c i ó n g e n e r a l de n u e s t r o p r o b l e m a eAU(x) = dJk l U*(k.<0 uv del producto vectoriales: Y(x) (2.A)e (k.en una suma se deducir: sobre A desde 1 a 3 tendrá: 11 l A y v e (k. A ) e V ( k .A)F.G o r d o n .15) inmediatamente: (2.esto nos permite a(k.16) q u e e s o b v i a m e n t e la i d e a d e o r t o g o n a l i d a d que ahora necesitamos.13) completitud: (Vv e v ( k .17) .14) o m~ la o b v i a g e n e r a l i z a c i ó n de K l e i n .*£(x)}(2. A) = l A=0 y V g Por consiguiente. p a r a ($.A) depejar: (2. A ) ) e y ( k . Por ejemplo.A) = (EJX. A ) cualquier vector V M .A) = g Introduciendo escalar obtenemos = i d x campos (2.

.

e n vectorial.4) O b s e r v e m o s q u e el c o n v e n i o d e E i n s t e i n n o r e s p e t a d o p a r a el í n d i c e "i" q u e n u m e r a La r e p e t i c i ó n . . 1.5) S ^ d j U x ) 11 ] X v (1. s u m a de 1 a N .1 V . El caso del campo vectorial masivo nos ha do u n . E x i s t e u n g r u p o de 4 c a m p o s A ^ ( x ) . F o r m a n entonces u n a entidad desde el p u n t o de vista de t r a n s f o r m a c i o n e s de Lorentz r e s t r i n g i d a s : u n Una generalización consistiría evidente de e s t e en c o n s i d e r a r u n a agrupación de tj^Cx) colectivamente ^J(x') x = de L o r e n t z campos: (1-2) restringidas de a c u e r d o a la ley: (1 . . concepto .N tal que b a j o t r a n s f o r m a c i o n e s transforman campo la cualquier posición.implica será agrupación. M Hemos insistido la n e c e s i d a d d e i n d i c a r campos del problema bajo g r u p o de en varias o p o r t u n i d a d e s sobre a priori como t r a n s f o r m a n los la a c c i ó n d e l o s e l e m e n t o s del covariancia. . 2 . .Introducción.p r i m e r e j e m p l o de t r a n s f o r m a c i o n e s "colectivas". . c u y a respuesta una transformación forma: Es evidente de Lorentz es d e la mostra- que los c u a t r o campos t r a n s f o r m a n a colectiva- m e n t e . i = 1 .

La i d e a f u n d a m e n t a l es l a d e l i n e a l i d a d . L a
mática

se e s t a b l e c e p o r m e d i o d e c o m b i n a c i o n e s

Por ello,para toda transformación
debe existir una matriz NxN
naciones

cine-

lineales.

restringida de L o r e n t z

S(L),que efectúa las

L,

combi-

lineales.
Existen dos requerimientos

la c o n s t r u c c i ó n d e

fundamentales

para

S(L):

i) Si Lg es la t r a n s f o r m a c i ó n d e L o r e n t z

identidad:

S ( L q ) = fl ; s i j C L 0 ) =
i i ) S i L^ y L ?

(1.5)

son dos transformaciones

g i d a s y L.J-L2 es la t r a n s f o r m a c i ó n

S(LrL2)

de Lorentz

restrin-

compuesta,debe

tenerse:

= SCL^SC^)

(1.6)

( 1 . 5 ) a s e g u r a e l h e c h o t r i v i a l de .que s i n
de coordenadas,no existe variación local del
( 1 . 6 ) a s e g u r a el p r i n c i p i o

campo.

fundamental de

t e n c i a d e q u e t r a n s f o r m a r en d o s e t a p a s
a t r a n s f o r m a r p o r la e t a p a
• • :

S(L)S(L"1)

'p;>V-"'

yrrpor e l l o :

consis-

sucesivas,equivale

resultante.
.1

C u a n d o se e l i g e L ^ ^ í y , ( 1 . 5 , 6 ) i m p l i c a
:

cambio

inmediatamente

(1.7)

V:
V-'*"- •-••••; ••'••' ••'•
S(L_1) = S"1(L)

E n t o n c e s las m a t r i c e s S ( L ) son

(1.8)
no-singulares.

C u a n d o u n c o n j u n t o de m a t r i c e s S ( L ) v e r i f i c a n
se d i c e q u e S ( L ) c o n s t i t u y e u n a r e p r e s e n t a c i ó n
de Lorentz restringido.Entonces
te u t i l i z a r

del

es c i n e m á t i c a m e n t e

bilidades

grupo
consisten-

(1.3,4) como respuesta a t r a n s f o r m a c i o n e s

L o r e n t z r e s t r i n g i d a s y u n a amplia familia de n u e v a s
aparece.

(1.5,6)

de

posi-

3
\

En realidad estas

i d e a s ya h a n s i d o

Por ejemplo,un campo escalar corresponde
En tal c a s o la m a t r i z

usadas.

al c a s o

es 1 x 1 . E s d e c i r u n a

N=1.

constante.

r

( 1 . 5 , 6 ) s o l o p u e d e n \ e r i f i c a r s e si S=1 ,y t e n e m o s
ley escalar:

la

. .
(1.9)

-V (x ' ) = i¡> (x)
q u e no es m á s que u n c a s o p a r t i c u l a r

de lo

anteriormente

expuesto.
En f o r m a a n á l o g a , s i se

elige:
(1.10)

S(L) = L
tendremos una obvia representación
c o m o la r e p r e s e n t a c i ó n
la ley c i n e m á t i c a

del grupo.Se

conoce

t r i v i a l y es a d e c u a d a p a r a

de t r a n s f o r m a c i ó n de c a m p o s

La b ú s q u e d a de r e p r e s e n t a c i o n e s

vectoriales.

S ( L ) en

dimensión

a r b i t r a r i a N , n o es u n p r o b l e m a t r i v i a l y e x i g e u n
independiente.Hallada

p a r a la t r a n s f o r m a c i ó n

"colectiva"

componentes.

Bajo traslaciones
de

estudio

S ( L ) en d i m e n s i ó n N se t i e n e u n a

cinemática consistente
d e un o b j e t o de N

exprésa-

se u t i l i z a el c r i t e r i o

usual

escalaridad:
^Cx»)

= ^(X)

; i=1 ,. .. ,N
(1.11)

x

X

+ ay

El caso c o n X = 2 , c o n s t i t u y e
los e s p i n o r e s de W e y 1, obi eto d e l

la c a r a c t e r i z a c i ó n
tema p r e s e n t e .

de

ifJW^fJU)" ?
- 4

2 . La r e p r e s e n t a c i ó n

p o r m e d i o d e l g r u p o S L Í 2 , Cj

La i n f o r m a c i ó n c o n t e n i d a

en el 4 - v e c t o r

n o n e c e s a r í m e n t e d e b e ser e x p r e s a d a
un 4-vector.Consideremos

posición,

e n el f o r m a t o

la m a t r i z

2x2

de

(X),definida

por:
0
3
x + x

1

2

.

X ~ IX

X =
X
Es e v i d e n t e

0

-x

(2.1)

3

q u e el c o n o c i m i e n t o

componentes x^ equivale

al c o n o c i m i e n t o

La m a t r i z

totalmente

X es e n t o n c e s

ción contenida

en el v e c t o r de

Propiedades

d e las

cuatro

de X y v i c e v e r s a .

equivalente

a la

posición.

fundamentales y evidentes

son:

(2.2)

X = X
DETfX) =

x x

(2.3)

T r ( X ) = 2x
Consideremos
ficientes
matrices

(2.4)

ahora una matriz

oen

c o m p l e j o s que d e n o m i n a r e m o s
invertibles

2x2 c o n e l e m e n t o s

sus e l e m e n t o s son complejos,2
L se r e f i e r e a " l i n e a l " , e s

indica

a coe•

S.E1 conjunto
complejos

claramente un grupo.Se conoce como GL(2,C).C
la

de

forma

indica

que

dimensionalídad,

d e c i r , g r u p o de r a t r i c e s y p o r

ú l t i m o G indica "general",es decir matrices
sin -restricción

informa-

invertibles

adicional.

Consideremos

la n u e v a m a t r i z

(S)(XMS)

t

2x2:
(2-5)

8) .7) 0 añadimos: = I las 5 (2.0 1 R . -.6) (X ) (X') es u n a m a t r i z del m i s m o t i p o q u e (X) y p u e d e p o r t a n t o s e r a s o c i a d a a la i n f o r m a c i ó n de u n 4-vector x E s i n t e r e s a n t e en e s t e m o m e n t o i n t r o d u c i r matrices 0 de Pauli: 1 o» ~ 0 -i > 1 a las q u e % = ! (2. J xr 1 R s = T-(a-c) Los cuatro números x ' hemos obtenido la son r e a l e s y entonces relación: (s)oo(sr donde M = 1 (2. X ' = y (a-i-c.5 E s t a m a t r i z es e v i d e n t e m e n t e guíente t i e n e la hermí' ea.Por consi- forma: h b* d o n d e a. Nada nos impide entonces 1 definir: 2 b = x ' ' .c son reales..ix ' .

11) general: (S) (X) (S) ' = { ( s g s ^ s j s ^ x 0 - (sgs. -> ( s .C) l i n e a l y real de c o o r d e n a d a s induce una transformación 4 en R .13) son reales.fr \„ .+s0sf)x± . que:- Es e n t o n c e s p o s i b l e calcular' en (X') = del particular. N u e s t r o p r i m e r r e s u l t a d o es e n t o n c e s que: Teorema 1 Toda m a t r i z de GL(2.s y x ¿ x j 1c 0 0 u + i-Üijk * que _ -Oijk * . Oijk i n d u c e u n a r e l a c i ó n d e la x'y - ¡j.i c 0 l j k s í s .a t r a v é s d e l m e c a n i s m o (2.] . x 1 }1i + { ( s n s A l + s ^ s 1 ) x ° + s . == .s " i + s 7 s iJ ) x j n forma: = TyvxV donde los coeficientes T y x.6 "V Se t i e n e la c o n o c i d a o / o .í ^ - . ? a su v e z (S) = s y o.En (2. (S) + = s*yay (2.10) contravarlantes del vector .R i j + identidad: ie\ k ak 5 Las c u a t r o m a t r i c e s de P a u l i espacio 4 . ( 2 > 9 ) descomposición: (X) = x y o y siendo x 7 (2.d i m e n s i o n a l de m a t r i c e s es f á c i l v e r q u e se t i e n e la las c o m p o n e n t e s Se t e n d r á forman una base 2x2.6) .U .

C ) i n d u c e u n a de L o r e n t z en R ^ .6) p a r a o b t e n e r con x'2 = |DET(S)|2 en ambos facilidad: x2 (2.es el o r i g e n d e e s t a Podemos entonces sigla determinante notación..17) Este conjunto de matrices.16) = +1 (2. L a generalización p r o p o r c i o n a d a p o r e l f a c t o r de fase n o e s ú t i l . enunciar: Teorema 2 T o d a m a t r i z de S L ( 2 .15) Es e n t o n c e s c l a r o que si n o s r e s t r i n g i m o s las m a t r i c e s v e r i f i c a n d o D E T ( S ) = e 1 < ^ lineal T . . = "sosi_so i -e O i j ks -s j k i T l T" 0 = s o s l s*s y <5 . s^s restrin- verificando: (2.s * s ++ íe i s 0 s * -íe j. fpO a „* = s . C2. L a e s p e c i a l i z a c i ó n d e l al v a l o r +1 .Oij k * + íe J s . Oi k ^ .1a a transformación es i n m e d i a t a m e n t e de L o r e n t z .s ? s . t i e n e e s t r u c t u r a d e g r u p o y se r e f i e r e c o m o S L ( 2 . C ) . T . sf o * 3 k Oik + .) = s v o y .C) D E T ( S ) = +1 (S. 0 1 i . s5sk . L a S se r e f i e r e a s p e c i a l . + s s J P o d e m o s a h o r a c a l c u l a r el d e t e r m i n a n t e m i e m b r o s de (2. N o s g i m o s de a h o r a en a d e l a n t e a matrices de GL(2.14) . -s.C).6). .subconjunto de GL(2.s* y 3 3 . a t r a v é s del m e c a n i s m o transformación (2.7 - E n p a r t i c u l a r es f á c i l T n identificar: 4.

zV = .V Teorema 5 T o d a m a t r i z d e G L ( 2 . C o m o c o r o l a r i o . t o d a m a t r i z en S L ( 2 .i - e n t o n c e s la s e r i e d e la ~¿-t exponencial facilidad: (G) = D ' { c o s ( | z | / 2 ) H + i sen(¡Z|/2) z V } (2. La d e m o s t r a c i ó n observación (2. 1 (2. C ) p u e d e s e r e s c r i t a en la forma: (G) •= D e x p ( | z V ) s i e n d o D el d e t e r m i n a n t e números complejos v( de la m a t r i z y s i e n d o Z 1 tres arbitrarios. j Desarrollando obtenemos con = -g-.18) es t r i v i a l y se b a s a en la que: Z 1 o i.20) = Z/\í\ Es i n m e d i a t o c o m p r o b a r que D es el de (G). C ) p u e d e en escribirse la'forma: (S) = e x p ( i Z X a .21) .19) sin p é r d i d a generalidad.a.Z X Z .Asimismo es fácil convencerse que una 2 x 2 c u a l q u i e r a p u e d e p o n e r s e en la f o r m a de determinante matriz- (2.19) donde: (2.J ) 2 = 1?"l? o x.) = c o s ( | Z | / 2 ) n + i s e n f | Z | / 2 ) Z X CT.

Si S(L^) y S ( L ? ) transformaciones mente . Sea L u n a transformación arbitraria La a s i g n a c i ó n : L en I IL^ .22) 2 |Z| obviamente: sys y = +1 Un n u e v o teorema (2. C ) que de L o r e n t z r e s t r i n g i d a s L^ y L ^ S (L. ssix == iisseenn l.El c a s o descartado por continuidad trans- -1 queda transformaciones infinitesimales. C ) induce una I es d e c i r de IL -+-.i (a+ibl-a constituye una representación }' < ^ 4O (2. 1 4 ) q u e L ^ > O . l a real L a partir de de matriz d e b e t e n e r d e t e r m i n a n t e +1 0 -1 . Teorema 5.La r e l a c i ó n d e la n a r a m e t r i z a c x ó n s° = c o s -lLlfi1 2 y se v e r i f i c a - la p a r a m e t r i z a c i ó n actual a n t e r i o r e n t é r m i n o s de s •.24) del grupo restrinaido de Lorent.) • S (L-.) g e n e r a la generan respectiva- transformación L1 La p r u e b a es t r i v i a l . .23) fundamental viene dado por: Teorema 4 Toda matriz de S L ( 2 .. entonces son m a t r i c e s de S L ( 2 . con es: Í Ü ' (2. 6. a p e l a n d o sobre coordenadas Teorema a la l e y d e actuación (2. C ) g e n e r a u n a t r a n s f o r m a c i ó n de L o r e n t z .Puesto que toda m a t r i z S L ( 2 . P c r e l l o la serlortocrona. . ^ e x p { . r e s t r i n gCri d a d e L o r e n t z Es e v i d e n t e formación debe de transformación ( 2 .o).

q u e d a d a u n a t r a n s f o r m a c i ó n transformateoremas recíproco. p. >.0 = x - 0 a las .4 oó v 2 Utilizando x' coordenadas„Tendremos: x o le j a h o r a la i d e n t i d a d (2.S .para i -.26) . D e tai primero (2.e O lJl k jf.24). x H a 2 r x .25) Hacemos actuar esta matriz sobre X v e r su c o n t e x t o x'yo y = xHa = xyo u y + y en i r i Hy k ó<b x a n or 2 y . : x' . r ' = r + Sé n x r 3 (2. JT*. E n v i s t a d e los anteriores. ( Para probar este resultado'consideremos e l caso i n f i n i t e s i m a l .24) con b = 0 y a=(j>n.sólo es n e c e s a r i o p r o b a r a h o r a el Es d e c i r . E n caso.n) u n a r o t a c i o n p u r a de á n g u l o <}> y eje d e r o t a c i ó n e s p e c i f i c a d o p o r el v e c t o r u n i t a r i o n . u + 4 Sé x^n^o.9) es o b v i o q u e expresiones: 1 1 = x . mmwats lll . S e a L(<¡>. a r b i t r a r i a L en e x i s t e n 6 p a r á m e t r o s a . S en f o r m a ú n i c a que la a t r a v é s de representan (2.a-. .24) es e v i d e n t e en tal caso que : Í S(ÓL) -5o <j> n • o -p r (2. C o n s i d e r e m o s p r i m e r o casos p a r t i c u l a r e s i) R o t a c i ó n t JL+ importantes pura. .1a a s i g n a c i ó n (2..24) produce una c i ó n de L o r e n t z r e s t r i n g i d a .5? x .^ 2 i k 2 llegamos y n 1 ü -J) v( x y o )v (í + i 6é n x o -J ) x 2 Y x =•(1í .L viene representada por (2.* - 1 Es e v i d e n t e q u e p a r a c a d a c o n j u n t o de los 6 p a r á metros a. .K . k y Sé n o-.n. .

29) (2."ángulo 4> . Sea ahora L(8. T i e n m d e t e r m i n a n t e i g u a l a +1 p u e s t o q u e s o n u n c a s o p a r t i c u l a r d e l a s de S L ( 2 .Enton- importante resultado: i " E l g r u p o d e r o t a c i o n e s p r o p i a s .m w m H B r BBfflUfilr* . C ) a t r a v é s d e la a s i g n a c i ó n ( 2 .tagh 6 Entonces L(9.es decir: v . e s c l a r o q u e la r o t a c i ó n {1í . v i e n e d a d a lim son matrices finita en N e t a p a s de ángulo de por: L a s m a t r i c e s de la Y a una Para una rotación i -i.27) (i) .m) viene representada por a = 0 y b = 8m.a } N i -#•-»•Y <J> N* O correspondiente la r o t a c i ó n <p/N. forma: n . . s u b g r u p o d e IL es r e p r e s e n t a d o p o r e l g r u p o SU(2.28) n-o 2x2 e v i d e n t e m e n t e u n i t a r i a s .j I* n . -v (2. nuestro resultado a +1 en dimensión 2 se c o n o c e c o m o tiene como corolario matrices el SU(2).24) con . (2.~y -Tj. E 1 g r u p o d e m a t r i c e s u n i t a r i a s con determinante especializado ces.i sen <b -v L .) s u b g r u p o d e S L ( 2 . d i v i d i m o s .cjjn-a = e 2 lo c u a l p r u e b a n u e s t r o p r i m e r eos para 5 . C ) ." íi) Boost p u r o .1 1 - Reconocemos en ( 2 . U t i l i z a n d o e l t e o r e m a expresión resultado (2. 2 7 ) p a r a u n a r o t a c i ó n d e á n g u l o <f> y eje n. 2 6 ) la c o r r e c t a la t r a n s f o r m a c i ó n d e c o o r d e n a d a s rotación i n f i n i t e s i m a l de eje de ángulo <p .m) un p u r o b o o s t con d i r e c c i ó n p o r el v e c t o r u n i t a r i o m y "angulohiperbólico" 8 dada .

a .30) y la a c c i ó n ' s o b r e c o o r d e n a d a s v e n d r í a d a d a = = x o = xuo = xyo y y V + L (fl + 1 66 ín-o) 66 x^o y m-o + T ¿ (1 + j 66 m .e2 n (2.o xHo por: 66 m-o) y + 66 x°m 1 a.6 6 in«a (2. boost . + a. 2 4 ) es s i m p l e . vK 1 Por consiguiente obtenemos x'° = x° . 1 6 -*• + J i 6m*o (H + T ^ m . ) = l / ] k k j + 66 x ° m Í o .o ) . I 6 6 x ^ m k g .m 66 (2.+ i 66 x ^ m k ( o a. L a forma sería: S ( 6 L ) = 'í + ^ . ' r ' = r + 6 6 m x ° inmediatamente (2.32) q u e la t r a n s f o r m a c i ó n un boost con velocidad-infinitesimal dada (2.De nuevo nitesimal de la v e r i f i c a c i ó n (2*.o4) N-*» es la m a t r i z a d e c u a d a p a r a la r e p r e s e n t a c i ó n d e u n de m a g n i t u d finita.33) ComponiertádiV a h o r a u n a i n f i n i t u d d e b o o s t tesimaies para formar un boost finito es por: 6v = 6 6 m elusion infi infini l l e g a m o s a la c o n que: „ „ „.6 6 x i m i x ? i lo cual p r u e b a = x1 inmediatamente: = x ° + r . S(L) = lim .31) + Ó S m 1 x°.

la (iii-infinitesimal En c u a l q u i e r caso el t e o r e m a 6 ha sido p r o b a d o y 1 a tación de H que renresen- .o ) = 11 .36) a n t e r i o r y el se d e s c o m p o n e e n e l p r o d u c t o d e u n a r o t a c i ó n c o n en acción (ii).j 6 a . e s c l a r o q u e la t r a n s f o r m a c i ó n infinitesimal 6a. d e d o n d e es f á c i l c o m p r o b a r .35. tendremos: } {11 . íii) T r a n s f o r m a c i ó n S ( 6 L ) ={K la parámetros interpretación discutida (ii).y un p u r o b o o s t con p a r á m e t r o s óS. .la interpretación d e a.j óa-a}{lí + j ó t .(ii) y + realizada.a y S quedan únicamente determinadas simple i n t e r p r e t a c i ó n de los casos a u n q u e no c o n (i). a n i v e l i n f i n i t e s i m a l h e m o s p r o b a d o q u e la ción puede boost. 2 4 ) c u b r e r e a l m e n t e t o d a ' t r a n s í o m a c i ó n de" L o r e n t z p o r lo m e n o s a n i v e l infinitesimal.29) entre del b o o s t y el p a r á m e t r o 6 .Esto c o m p r u e b a nuestra afirmación restringida de Lorentz C u a n d o é s t a es i n f i n i t e s i m a l .o + j 6 o -a De a c u e r d o con n u e s t r a d i s c u s i ó n teoerema 5 . d e n u e v o e s t u d i a n d o sobre coordenadas.yfeK • i»—-: pife 13 - S e t i e n e la el 6 nu-cr identidad: cosh 0 Q •*• 11 + s e n h T m-o L L. E s n e c e s a r i o e n t a l c a s o efectuar el e s t u d i o de t r a n s f o r m a c i ó n de c o o r d e n a d a s y c o m p r o b a r dada L. Toda transformación restringida de Lorentz descomponerse en el p r o d u c t o de u n a r o t a c i ó n p o r u n E n t o n c e s .(2. asigna- ( 2 .j (6a + i ó S ) . Para una transíomación finita.La de estos parámetros la m i s m a q u e la (i) y es o b v i a m e n t e (2.í> n o es t a n s i m p l e .la relación (2.o la v e l o c i d a d defnitivamente general.

5) .' 3. El e s t a b l e c i m i e n t o de una d i n á m i c a viene facilitado como (3. como es u s u a l que. + (x) = e " 2 ( a + l b ) q u e S + ( L ) es u n a r e p r e s e n t a c i ó n de IL + Ly v puesto .14 . . B a j o u n a t r a n s f o r m a c i ó n de L o r e n t z + en H ^ p o s t u l a m o s la l e y d e t r a n s f o r m a c i ó n : lí^(x') = S + (L)ii.Campo (x) d e W e y l .2.3) ip+ (x) + :ransforma como un campo v e c t o r i a l b a j o I L + D o n d e h e m o s e s t a b l e c i d o la >0 = G• 1 °0 -oi notación: . i=1." consistente enormemente por el resultado siguiente: objeto: V (x) = i'l (x) a [5.1) E s d e c i r e l c a m p o es e s c a l a r b a j o t r a s l a c i o n e s s i e m p r e h e m o s h e c h o . obtenidad ahora establecer teoría Lagrangiana traslaciones y una componentes.bajo tendrá: . C i n e m á t i c a La r e p r e s e n t a c i ó n rior nos permite x'p = x y + e n el a p a r t a d o ante- satisfactoriamente de u n objeto de dos Para ello.2 ) '%+(x) Esto constituye una cinemática consistente -I El .ó Basta probar el teorema para infinitesimales.4) transformaciones SL u n a t r a n s f o r m a c i ó n = xy + Su>U x 1 V infínítesim (3. (3.Sea = Ly xv V entonces . < ^ ( x ' ) = \p+ (x) ay (5.postulamos se Dinámica.

32): = -6u)01 = ó e m 1 = 6 b 1 Por otra parte.0 a y de donde: ^ . (2.de So^ 0 i = .3) bajo t r a n s f o r m a c i o n e s r e s t r i n g i d a s de Lorentz.31.9) obtener: 6 a 1 = 1 e0i.26) obtenemos k mk inmediatamente: = . 2 JK (3.7) comportamiento (3. Tendremos: V ' ( x ' ) = ij^(x){1í + y ( ó a .3'kt óük.y ( S a + i 6 É ) -a}4» (x) ó b V ^ x ) ' = VQ(x) - SbVfx) decir: V¿(x') = VQ(x) + 6a30V(x) (3.V Q ( x ) + ^ ( x ) es {1Í .a } a = V '(x) + ~ i!^(x)..6) + ' fiu1^ x ° + ó w 1 ^ x? Pero esta transformación _ infinitesimal ser el p r o d u c t o de u n a r o t a c i ó n y u n b o o s t Identificamos ów l 0 ' i n m e d i a t a m e n t e de debe infinitesimales.10) Podemos pasar ahora a estudiar el de (3.se de donde despejamos e j (3.10) . ¡ V¿(x') .8) (2.15 - Es decir: x ' ° = x ° + 6co°i x 1 x'1 = x1 (3.e0ijkóaic inmediatamente para (3. ^+(x)-^|(x2:¿^(6a+i6S)-0^+(x) .i ó b ) .(óa-i6É).

de los podríamos de m a s a .- 16 Además: V !(x') = V i ( x ) i .(x') = v. un 4 .Otros p e r o d i f i e r e n de combinar 5y este apto para q u e la 3y*+(x) ? analogía considerar E(x) = ó ^ ( x ) o 2 de un anteriores cuadrático un término la Lagrangiano.12) por u n a d e r i v a d a tan entonces nada nuevo (3.) y utilizando Ví(x') la identidad ÍJ+(x) (2.ci+oio. P a r a m o s t r a r ser total y no a la c o n s t r u c c i ó n que nos pudiera proporcionar de (3.13) de Keyl.\ '/+(x)óaj ( a ^ . a ^ ' ^ C x ) óbj (o.Es es un e s c a l a r evidente real.11) la A bajo IL+.(x) + 6b.(x) blema.10. ..9) o b t e n e m o s = V. E n en relación realidad natural a este pro- cantidad: ij»+(x) 4>+ (x) y \¡j+ (x) v e r i f i c a n apor- en los c a m p o s • la o b s t r u c c i ó n la c i n e m á t i c a d e W e y l c o n t i e n e ilustrativo formados con derivadas con d e s c r i p c i o n e s e s t o n o es p o s i b l e . V Q ( x ) + e Utilizando una vez más de que 6a-1 ^ (3. .v e c t o r Lorentz IL(x)4v.11) constituyen Lagrangiano.8.En demostración objeto con S para (3. 3 ) es r e a l m e n t e facilidad: V^x) v.9) (3.es 6WikVt(x) Las r e l a c i o n e s obtener un escalar que obtenemos: + ówA^tx)-* ( 3 .(x) Podemos entonces un 0 con la c i n e m á t i c a (5.12) escalares pueden a h o r a p e n s a r en f o r m a r u n e s c a l a r donde la c o n s t i t u c i ó n cantidad: Tenemos entonces un escalar campos.a .

' que: = a? Si notamos a podemos también 2°i°2 insertar = (3.16) que: E f (x*) = E (x) (3. S i n e m b a r g o . E s d e c i r únicamertt .15) miembro es e v i d e n t e entonces a m i e m b r o en e l d e s a r r o l l o d e la exponencial que: 2 O = e+T(a+ib'-G de donde probamos inmediatamente [3..13) que p u e d e formarse la c i n e m á t i c a d e W e y l . U t i l i z a n d o (3. tendremos: j-< * f . 2 ( x ) .tf + y(a-it>)-o* J E ' ( x ' ) = <j>+(x) e 2 donde hemos notado .- Bajo una transformación r e s t r i n g i d a de 17 Lorentz. e s t e escalar colapsa p a r a <p (x) = ip (x) y p o r c o n s i g u i e n t e n o t e n e m o s e s t a a n i v e l Lagrangiano en donde el e s c a l a r debe ser exclusivamente con ip+ (x) .i<j>1(x)'4»2(x) es el escalar n a t u r a l c u a d r á t i c o (3.14) que: a " i (3.n m e < * i a t a m e n - t e a la d e r e c h a d e l p r i m e r e s p i n o r . --^(a+iS)-a c¡2 e . .15) la i d e n t i d a d en la f o r m a 3 2°2 ^ . .17) Entonces: E ( x ) = i ^ 1 ( x ) ^ . con posibilidad formado con l a s v a r i a b l e s d i n á m i c a s .

Í M * 2 a (4. C a n t i d a d e s teoría la f o r m a cuadrático como Lagrangiano de la (3. (4 . ^ ( x ) y es r e a l ..6) los grados de . Es m u y s i m p l e o b t e n e r .0 invariancia interna ^ (x) .e i e ^ (x) a c o m p a ñ a d a p o r su c o m p l e j o .Ecuaciones de m o v i m i e n t o .2 . c o n las t é c n i c a s y definiciones usuales: = 30y^(x)) tt^ « t*:b(x) '3 (x)-E .5) equivalente: Existe una evidente da por la . S u s identificamos (4.- 4. a d o p t a m o s 18 complejo-conjugados.4) ^pt(x) ¿ V a + p (4.2) 3 a ^3(x) = Con ello o b t e n e m o s y su las e c u a c i o n e s de (4.a=1 .3) movimiento: >y y ° ij>+(x) = 0 (4.1) grados de libertad c o n ^ + a ( x ) y ip*a ( x ) .12): IL(x) = \ ^ ( x ) El Lagrangiano son 4 que a^.c o n j u g a d a p a r a libertad proporciona- transíomacion: ip+(x) - - conservadas Al no poder construir u n escalar en los c a m p o s de W e y l .

7) c o n la e c u a c i ó n d e S c h r o d i n g e r d e m o s p e n s a r e n la e c u a c i ó n d e 3yJy(x) conservación: = 0 (4. E s obviamente definida positiva y por ello no tenemos ahora el m a f u n d a m e n t a l q u e e n f r e n t a m o s en e l c a s o d e proble- Klein-Gordon en el que la d e n s i d a d de p r e s e n c i a no era d e f i n i d a La invariancia traslacional p r o p o r c i o n a c i ó n de T ^ C x ) T U v ( x ) = que resulta V t "~T A w la " I < w V v M x (4.. ser: E s o b v i o q u e en v i r t u d d e l a s e c u a c i o n e s d e el último acuerdo tendremos .2.9) presencia p a r a la p a r t í c u l a d e s c r i t a p o r el s i s t e m a d e W e y l d e a los p r i n c i p i o s de p r i m e r a c u a n t i z a c i ó n . T r a b a j a n d o en u n s i s t e m a d e c o o r d e n a d a s que: conserva- ) . l a JQ(x) = ^ ( x H + C x ) r e c i b e la i n t e r p r e t a c i ó n = po- de presencia.v| b u y e n en forma positiva.8) c o m o l e y d e c o n s e r v a c i ó n p a r a la p r o b a b i l i d a d C o n este p u n t o de v i s t a .10) t é r m i n o s e s n u l o y s ó l o los d o s p r i m e r o s moviminento contri- relevante. cantidad: |^+1(x)¡2 |^+2(x)|2 + física de d e n s i d a d de (4.- 19 - "V o Esto produce Jy(x) En analogía inmediatamente la c o r r i e n t e conservada: = ^ O ) ^ ( x ) (4.

De a c u e r d o con El segundo término entonces (4.5) en tenemos: puede transformarse en : E s t e a su v e z p u e d e t r a n s f o r m a r s e en u n a t o t a l 3 ^ q u e se a n u l a al i n t e g r a r en d ^ r y u n r e m a n e n t e d e la término forma: U t i l i z a n d o d e n u e v o la e c u a c i ó n d e a h o r a en su f o r m a (4. espe- espíritu . que: obtener: El ejercicio puede repetirse trivialmente las d e r i v a d a s derivada e s p a c i a l e s y llegamos sin d i f i c u l t a d para a la expresión: que expresa el m o m e n t u m l i n e a l d e l s i s t e m a c o m o v a l o r rado del generador de la p r i m e r a en p¡ e r f e c t o a c u e r d o c o n e l cuantización.4) o b s e r v a m o s C o n t o d o e l l o es i n m e d i a t o movimiento.

-

U n e s t u d i o d e la r e s p u e s t a d e

(x) b a j o u n a

i n f i n i t e s i m a l *de e j e n y á n g u l o S<j>,muestra q u e
total del campo viene dada

n.~| }

=

r x

que identifica

angular

de

por:

(-1V) +

T

a

(4.10)

al sistema como un sistema de spin

Calculando

el momentum angular del

Lagrangíano no es difícil probar que puede
c o m o el v a l o r m e d i o d e
d e W e y l es t o t a l m e n t e

1/2.

sistema
ser

escrito

( 4 . 1 0 ) e n t r e iJ>J(x) y v^ (x)

q u e c o n f i r m a q u e la p r i m e r a c u a n t í z a c i ó n

5.Ondas

variación

(4.9)

y esto p r u e b a que el generador del m o m e n t u m

J

rotación

por:

~Ai|>+(x) = -ió <j>{n• ( r x ( - i ^ ) +

la t e o r í a v i e n e d a d o

la

del

lo

sistema

satisfactoria.

planas.

-BH-s-e-amos s o l u c i o n e s c o n 4 - m o m e n t u m
d e f i n i d o e n la

perfectamente

forma:

=

U
+

(P)

e

-ip-x

S u s t i t u y e n d o en la e c u a c i ó n d e m o v i m i e n t o
es inmediato

(5.1)
(4.4)

obtener:
(ay p V

+

(p)

= 0

Es m u y simple comprobar que el s i s t e m a no
solución a menos

21

(5.2)
tiene

que:
(5.3)

-

Entonces,las

soluciones

libres

corresponden

a p a r t í c u l a s ccfti m a s a n u l a . E s t a es u n a

consecuencia

esperada ya que fuimos
de m a s a en n u e s t r o
Naturaleza parece

i n c a p a c e s de c o n s t r u i r u n

Lagrangiano.En
considerar

término

cualquier caso

esta p o s i b i l i d a d

la

como

vante . Existen partículas,los neutrinos,con masa
m e n t e n u l a y s p i n 1 / 2 . P a r a e l l a s la d e s c r i p c i ó n
puede ser

rele-

posiblede- W e y l

satisfactoria.

Aceptada

la c o n d i c i ó n

(5.3)

(sin e l l a

p l a n a n o es s o l u c i ó n ) n o s queda: la e c u a c i ó n
= p1oi

u+(p)

La c o n d i c i ó n
p

0

u+(p)

(5.3)

impone
(5.4)

C o n e l l o la e c u a c i ó n p a r a u
u

onda

residual:

i= E = + |p

.a

la

(p) =

(p) e s

simplmente:
(5.5)

u+(p)

IPI
D e e s t a e c u a c i ó n es p o s i b l e d e t e r m i n a r u + (p)
s a l v o p o r s u p u e s t o -por u n a c o n d i c i ó n d e
que

normalización

elegimos:
ut(p)u+(p)

:on t o d o e l l o

(5.6)

- +1

obtenemos:
P, -

*

u+(p) -

T)
i rv
i

E n el c a s o en q u e p 7 = - 1 , e l e s p i n o r
como reducido

a la f o r m a

u^=0,u2=1.

(5.7)

de

tratarse

22

23 "V

La e c u a c i ó n
física.Existen

(5.5) tiene u n a c l a r a

estados con 4-momentum perfectamente

nido.Sin embargo,necesariamente,estos
también perfectamente

definida

de spin en d i r e c c i ó n de p/|pj
dirección puede

estados

h a b l a de

operdor

.Obviamente ,cualquier

ser utilizada para d i a g o n a l i z a r

del movimiento,se

defi-

tienen

la c o m p o n e n t e d e l

S n = n - ? d e l o p e r a d o r de s p i n . C u a n d o
Tenemos

interpretación

la

esta dirección

componente
es

la

helicidad.

e n t o n c e s las d o s s i g u i e n t e s

consecuencias

interesantes:
i) T o d o e s t a d o c o n 4 - m o m e n t u m d e f i n i d o
también perfectamente

(onda plana)

d e f i n i d a la c o m p o n e n t e d e l

d e s p i n en la d i r e c c i ó n d e l

los dos p o s i b l e s

autovalores

cada
de

componente S^.En el presente caso,el o p e r a d o r de
corresponde

evidentemente

el a u t o v a l o r +H/2

al c a s o 1 / 2 . S i n

c l u s i ó n p r o p i a de u n s i s t e m a c o n m a s a
Existen también soluciones

es u n a

con-

nula.

con energía

negativa

ip • x

E s i n m e d i a t o v e r i f i c a r que v

(5.8)
(p) v e r i f i c a

que u + ( p ) y si i m p o n e m o s
v+(p.)v + (p) = +1

llegamos

spin

en la f o r m a :

ij/+(x) = v + ( p ) -e

mismas ecuaciones

la

embargo,sólo

puede ser r e a l i z a d o . E s t a

que pueden-huscarse

operador

movimiento.(Helicidad=+1).

i i ) En u n s i s t e m a d e . s p i n 1 / 2 , e n g e n e r a l , p a r a
dirección existen

tiene

inmediatamente

a la

V
+

la

las

normalización:
(5.9)

conclusión:

( P ) = u+(p)

(5.10)

x) ip+(x) (5.4) debe ser u s a d a .12) P u e s t o q u e t e n e m o s l a s o n d a s p l a n a s d e la p o d e m o s e x p r e s a r a h o r a la s o l u c i ó n g e n e r a l de problema teoría nuestro como: K M d 3 p U+(P) = {b(p)e~ip"x + d*(p)eip'x} donde b(p) y d(p) son f u n c i o n e s complejas que representan de F o u r i e r d e l la t r a n s f o r m a d a original en el presente c o n t e x t o .13) arbitrarias espinor exponenciales 2 tienen por supuesto p y fijado y em a m b a s la d e t e r m i n a c i ó n a la capa de m a s a s (5. p = = 0 (5.16) con: .14) r d * (p) = d 3 x V*(p.13): d 3 x U ^ (p .x) (2TT) V+(p.11) explícita la -i . Lres-coef i c i e n t e s b ( p ) .x) '4J+ b(p) = (X) (5.x) (2tt) 3/2 U -. ( P ) e + 3/2 u (P) (5. U+(p.ÍlgfÍJP - Una interesante r e l a c i ó n de o r t o g o n a l i d a d 24 se verifica : u+(p)u+(p) = u+(p)u+(p) donde hemos utilizado la f o r m a v e r i f i c a r -(5 .17) .15) . A m b a s (5.1 1 ) y e m p l e a d o -0 p 0 = p (5.ip • X (5.7) para notación: ~p i (5. d ( p ) p o r i n v e r s i ó n de : p =0 se o b t i e n e n fácilmente (5.

Sin es inevitable.este tipo de i n a c e p t a b l e s en el componenso- espíritu de p r i m e r a c u a n t i z a c i ó n .x . P o r luciones .siendo f í s i c a m e n t e y dificultad en p r i m e r a libre no admite energías solu- ello.1) a una través (2. superposi- construir para describir tendrá. s i encontra- mos una m a n e r a s a t i s f a c t o r i a de h a c e r t r a n s f o r m a r al de W e y l ty (x) b a j o la t r a n s f o r m a c i ó n -• x espinor de p a r i d a d : . 1 ) e s t r i b a e n q u e n o es p o s i b l e h a l l a r m a t r i z 2x2 q u e v e r i f i q u e la t r a n s f o r m a c i ó n de la. 6.Podríamos p e n s a r en a m p l i a r l o . n o s v u e l v e n a e n f r e n t a r c o n la esencial de toda teoría relativista ción. El g r u p o de c o v a r i a n c i a i postulado como 3L de la t e o r í a h a sido . x ' =_x •. x ) . e u la imagen especular soluaiones tipo del observador q u e s ó l o la observaría hellcidad (que c o n s t i t u i r í a las transformado por paridad)no c o m o s o l u c i ó n d e las e c u a c i o n e s d e movimiento.Cualquier c i ó n de o n d a s p l a n a s q u e se d e s e e otras s i t u a c i o n e s del n e u t r i n o embargo. x ) .Una p a r t í c u l a en f o r m a d i r e c t a m e n t e interpretable su p r e s e n c i a m a t e m á t i c a cuantiza- negativas físicamente. c o r r e s p o n d i e n t e s a energía negativa h e l i c i a d + 1 . • (6.i i x* . P u e s t o +1 es r e a l i z a b l e . En realidad es simple c o n v e n c e r s e q u e la formulación v i o l a la i d e a d e c o a v a r i a n c i a b a j o p a r i d a d . exís . n o p u e d e n s e r e l i m i n a d a s d e la teoría...Paridad. E n c a s o un observador difiriendo por constrario (6.6). r e l a c i ó n f u n d a m e n t a l (6.en general una te n o n u l a d ( p ) s o b r e V + ( p .Aunque satisfactoria la p r i m e r a cuantización realizada es e n e l s e n t i d o q u e u n a d e n s i d a d de presencia positiva ha sido g a r a n t i z a d a . l a p r e s e n c i a d e las ciones V + ( p . x ' = .1) d e o t r o a c e p t a b l e el m i s m o c o n j u n t o d e s o l u c i o n e s .1) La p r i m e r a m a n i f e s t a c i ó n q u e o b s e r v a m o s s o b r e imposibilidad de formar u n a ley de transformación tente bajo consis- ( 6 . .0 0 .

.

'+(x) t r a n s f o r m a n d o b a j o L o r e n t z restringido como: t^(x') = S+(L)^+(x) (1.2) /' de l o s p a r a m è t r e s a. (1.5) i n f i n i t e s i m a l e s n o es di- haLlar: i 0 = ob . 1.nos posibles..*' La c o r r e s p o n d e n c i a (1.3) x .1) con: L + S (L) = expí-i(a+ií>)* o } + L ríPiflfv^t.Resumen sobre espinores de Wevl. i) E s p i n o r e s <J. ijJ = .4) 3 convención: = fl . N u e s t r a b ú s q u e d a de r e p r e s e n t a c i o n e s r e s t r i n g i d o de P o i n c a r é .6) cinemá- .. 2 x + ix ü q de 1 = °x> e t c (1.e Oiik „ " oa.se establece mediante la t r a n s f o r m a c i ó n coordenadas: (X1) = S+(L)(X)S*(L) í) 3 x +x con: (X) = 1 0 r SIÚ 2 OL^ 0 X -x (1. p a r a ticas asociadas proporciono satisfacer a los e s p i n o r e s de dos dos d e s c r i p c i o n e s del grupo las obligaciones componentes.1 «V. Oj = -o Para transformaciones fícil - xMa Recordamos nuestra = o (1 .b c o n los p a r á m e t r o s d e la t r a n s f o r m a c i ó n d e L o r e n t z .IX 1 .

m o m e n t u m mente definido arroja como posibles oi(p) e I R)'X natural (Energía p o s i t i v a ) soluciones: U(D) =— /2 total- .11) xa y 3 *r V+ v (x) = 0 La b ú s q u e d a de s o l u c i o n e s c o n 4 .De a q u í es s i m p l e i d e n t i f i c a r q u e mación la transfor- i n f i n i t e s i m a l es la c o m p o s i c i ó n de e j e n y ángulo 6<}> . c o n : ó a = 64> n (1.10) "ai Esto nos permitió escribir un Lagrangiano q u e p r o d u j o la e c u a c i ó n de movimiento: (1.8) Las p r o p i e d a d e s de t r a n s f o r m a c i ó n (1.7) y u n b o o s t en d i r e c c i ó n d e l v e c t o r u n i t a r i o u cidad infinitesimal 6v. Recordemos aquí que: o 0 = a 0 .Se c o n velo- tiene: 6b = Sv u (1.1) permiten p r o b a r que el o b j e t o : V ^ t r a n s f o r m a c o m o un (x) c 1|)(X) y (1. 'Ci = (1.9) 4-vector.

0 que el sistema energía positiva = (2tt) 3 de ( 1 . Las normalizaciones uf(p)u(p) y se t i e n e se h a n e l e g i d o T u (p)v(p) de = v a la e c u a c i ó n ia-P)u(p) = u(p) 1 soluciones riamente de (1. 1 1 ) es El s i s t e m a es e n t o n c e s = 0 y necesa- evidente.13. (p) e ^ P x (Energía negativa) v ( p ) =—j— / 2 (1. /T+p. (1. s ó l o u n a c o m p o n e n t e sobre la d i r e c c i ó n m o v i m i e n t o p u e d e r e a l i z a r s e .14) (p)u(p) .18) de m a s a n u l a y . (a-p)v(p) = contiene soluciones de e n e r g í a n e g a t i v a con helicidad -I.v verifican que demuestra forma = v + ( p ) v ( p ) = +1 la r e l a c i ó n equivalentes de izquierdo.La v i o l a c i ó n b a j o p a r i d a d es x ) (1. i}/+ (x) se c o n o c e t a m b i é n e l e s p i n o r de W e y l que: ortogonalidad: Los espinores u.donde f) es el v e c t o r u n i t a r i o Se t i e n e n también las en dirección de p. movimiento: . su de como ./SUp. soluciones: -p. a u n q u e s p i n es 1 / 2 .16) -v(p) de con h e l i c i d a d necesariamente_+1 La s o l u c i ó n g e n e r a l M (1. entonces: d3p{a(p)u(p)e"1P'x con p + b«(p)v(p)eiP"x}(1 .15) las ecuaciones.

r . neutrinos .8) se t i e n e o y| i¡/_.v e c t c r resultan. .S_(L) = expí-y(a-ib)-o) 1 ry "i" • ' / + .19) Su conexión.(x) es u n 4 .7.20) con: 0 3 x -x (X) = x 1 a y - -x U-.. Transforman bajo Lorentz como: <¿A(x') = S _ ( L ) * _ ( x ) (1. con los p a r á m e t r o s d e la m a c i ó n de L o r e n t z se e f e c t ú a transfor- a t r a v é s d e la ley de actuación: (X1) = S (L)(X)S. 1 7 ) i n t e r c a m b i a n d o u con v Es d e c i r se t i e n e n a h o r a o n d a s p l a n a s c o n e n e r g í a y helicidad ciaad positiva -1 y s o l u c i o n e s c o n e n e r g í a n e g a t i v a y heli- +1.4 = i i ) E s p i n o r e s ijj_(x). (1.22) y la e c u a c i ó n de m o v i m i e n t o : io y - (x) = 0 q u e a d m i t e la s o l u c i ó n g e n e r a l (1.6.23) ( 1 .(Lj (1 . (1. inmediatamente: (1. El e s p i n o r (x) se c o n o c e c o m o el e s p i n o r derecho d e W e y l . L a s s o l u c i o n e s g e n r a l e s de a m b a s f o r m u l a c i o n e s c o n e c t a n o b v i a m e n t e por la o p e r a c i ó n de r e f l e x i ó n E s t a s t e o r í a s p u e d e n ser u t i l i z a d a s p a r a d e s c r i b i r se especular.21) * oí.18) con: L .'C es '' '. IX2 ¿ V- -X '+1X 0 2 de t a l f o r m a que las m i s m a s X +X 3 relaciones P o r e s t a ley de t r a n s f o r m a c i ó n ^ -( x ) (1.

<(x)?_(x) f u s i ó n de las d o s d e s c r i p c i o n e s entonces tener un escalar de m a s a y el u n t e r m i n o d e m a s a .0 expresada (2. E l c a m p o de D i r a c p r e t e n d e d e s c r i b i r a l Siendo éste una partícula masiva. p a r a d e f i n i r e l c a m p o de dos Dirac: <V (x) (2. con (2.Sin embargo.1o (X)Ü2E_(X) (2.el escalar que demuestra la o b s t r u c c i ó n se del caso d o s c o m p o n e n t e s p a r a la f o r m a c i ó n de e s c a l a r e s q u e p u e d i e r a n p r o p o r c i o n a r m a s a al de cuadráticos sistema.La = r (x)Mx) cantidad: + . l a como t é r m i n o de masa y =_(x) son dos espinores el derechos combinación: r es u n e s c l a l a r p a r a \p=E .fusionamos descripciones anula electrón.2.Campo de üírac. las d e W e y l .3) en b l o q u e s 2 x 2 .1 Lorentz.Cinemática.4) de . «B La i m p o s i b i l i d a d de f o r m a r u n e s c a l a r n o deriva- tivo que p u d i e r a interpretarse Lagrangiano para los e s p i n o r e s d e W e y l se r e f l e j a e n h e c h o de que si de W e y l . e s c l a r o q u e la V x ) r ° ¥D(x) es u n e s c a l a r Weyl permite real.2) *d(xD 00 Definiendo la m a t r i z 4x4: 0 1 1 0 .

Para escribir un Lagrangiano real y ducimos las escalar.6) V tiene: j = S(L)^(x) (2.La c i n e m a t i c a d e l c a m p o de D i r a c e s transparente.8) S(L) = S (L) que constituye una representación restringido al ser p r o d u c t o d i r e c t o ^ d e ciones no equivalentes del caso de d) obvia d e l g r u p o de las dos Lorentz representa- Weyl.5) restringido: x'y se traslacional: = ¥d(x) c) B a j o L o r e n t z temporal) .inttro- matrices: Oí Oí © (2. ( L a de D i r a c p e r m i t i r á m á s t a r d e e x t e n d e r siempre descripción a l g r u p o d e Poin- c a r é c o m p l e t o al i n c l u i r p a r i d a d e i n v e r s i ó n b ) E l c a m p o es e s c a l a r ¥¿(x') Para X U ' = &V (2.7) con: S (L) (2.9) . - L\x (2. entonces „ a) E l g r u p o de c o v a r i a n c i a se p o s t u l a como como el g r u p o de Poincaré r e s t r i n g i d o . Lagrangiano.

v e c t o r c o m o c o n s e c u e n c i a E n t o n c e s el L(x) = | ? D combinación: i n m e d i a t a de (1.13) d e l c a m p o de D i r a c tai c o m o se h a d i s c u t i d o en e s t e a p a r t a d o se c o n o c e como la v e r s i ó n d e V. H e m o s c u m p l i d o e n t o n c e s t o d o s los requerimientos p a r a la d e s c r i p c i ó n d e u n s i s t e m a c o m p a t i b l e c o n el g r u p o de c o v a r i a n c i a p o s t u l a d o .'eyl d e l c a m p o de D i r a c . cambiando . Nótese que hemos introducido la notación: ¥d(x) E ?¿(x)r0 La d e s c r i p c i ó n (2. E x i s t e n c o m o v e r e m o s infinitas v e r s i o n e s e q u i v a l e n t e s de e s t a d e s c r i p c i ó n o b t e n i d a s las m a t r i c e s I ry p o r t r a n s f o r m a c i o n e s unitarias. E l L a g r a n g i a n o (2.12) es e s c a l a r y r e a l . e x c e p t o p o r el t é r m i n o de m a s a q u e los m e z c l a en la f o r m a c o n v e n i e n t e p a r a p r o d u c i r el t é r m i n o escalar y deseado real.3) / para d e f i n i r e l c o n j u n t o de 4 m a t r i c e s : /1 I y (2.22) Laaran^iano: (x)ry D (x) . MWla " E s t a s t r e s m a t r i c e s p u e d e n ser r e u n i d a s con (1.M Yd(x)Yd(x) (2.12) es u n a d u p l i c a c i ó n de los d o s L a g r a n g i a n o s de Weyl..11) > es u n 4 .9) y (1.10) o Es e n t o n c e s c l a r o que la *¿Wr0ryV x (2.

la resultaley de infinitesimal: S (<5L) = II . como: r e a l m e n t e un e s p i n o r de W e y l y p u e d e e n la d e s c r i p c i ó n donde a la =.15) utilizarse neutrinos. del e s p i n o r de D i r a c b a j o restringidas viene dada por = <5U dos e identificaciones transfor- (2.2) es o b v i o que: 0 1 ? 3 con ¥ como los grados (x).17) yv 4x4 d e f i n i d a s (r y rv -r v r y ) por: ( 2 .8). ir r r r 1 5 T (1! + T ) i ¿ libertad amciones y 4 asignados a de i n t e r é s la v i s t a d e n describe ^(x) son - adjunto. infinitesimal: V + (2 .7.14) aniquila La t r a n s f o r m a c i ó n a 8. 16) V n o e s d i f í c i l p r o b a r q u e se t i e n e . u n interviene e n la de de Lorentz ÓLy v espinor combinación: r )"?D(x) (2.x óüj U V a yv fila (2. u t i l i z a n d o transformación de 5 cu + Para una transformación del apartado los anterior.A todo e f e c t o .•mimm&iwmá - Los grados 4 asignados de libertad a la c o l u m n a o preferiblemente el e s p i n o r r5 = r 5 c lue s e asociados de Dirac que solo 1 conoce se introduce i o o -i (2. 18) . Ot>ra m a t r i z A del Lagrangiano 8 son 6 m a t r i c e s 'yv ~ 2T (2.

1) .pero ya h e m o s : m e n c i ó n a d o " "•'' "' Esta obstrucciónase-manifiesta • .2) c o n c u a l q u i e r a de los anteriores coordenada . E l g r u p o d e c o v a r i a n c i a d e la t e o r í a h a s i d o tulado c o m o el de P o i n c a r é restringido.3. Paridad.d e W e y l p a r a e s p i n o r e s La s o l u c i ó n g e n e r a l f u e h a l l a d a p a r a derechos.2 j .no e x i s t e . efectúe (X') = ( S ) ( X ) ( S )+ (3.1) .Esta sería p o r m e d i o de "• de de: P o r e s t a r a z ó n las p r o p i e d a d e s d e que permite primer-lugar. la forma transfornatural (S).Cabe bilidad de ampliar e s t e g r u p o Poincaré s i es p o s i b l e la p o s i - al g r u p o c o m p l e t o de introducir en el esquema de t r a n s f o r m a c i ó n de los c a m p o s e i n v a r i a n c i a del g i a n o las t r a n s f o r m a c i o n e s en la t r a n s f o r m a c i ó n d e Lagran- discretas de inversión poral y paridad.En este apartado nos paridad. de SL(2. un-conjunto-de observadores conectados por transformaciones de P o i n c a r é r e s t r i n g i d o . a d e c u a d a d e la t r a n s f o r m a c i ó n Es p o s i b l e v e r esto de v a r i a s no existe ninguna matriz formas.0 0 x ' = x transformación de los c m a p o s d e W e y l n o p u e d e n i n c o r p o r a r mación de'paridad en forma-natural.En a través paridad. E n en --.-en .(3 . •'.consideremos p o r e j e m p l o la t e o r í a . d e b e a h o r a e x i s t i r u n o b s e r v a d o r Op c o n conectadas por pos- (3.i i ./•' . explícitamente la n o c o v a r i a n c i a d e l a e c u a c i o n e s d e m o v i m i e n t o la t r a n s f o r m a c i ó n d é p a r i d a d .- bajo efecto. x' = -x (3. d e dos c o m p o n e n t e s . S i la e c u a c i ó n es del grupo covariante b a j o p a r i d a d .C) tal que la t r a n s f o r m a c i ó n d e p a r i d a d con: tem- concentraremos La teoría de W e y l . n o una introducción (Sp.

2 ) en u n a ley forma: r^D(x) (3. L a duplicación ella grupo de e s p i n o r e s W e y l n o s ó l o da m a s a a la t e o r í a . un conjunto observador. S í la t e o r í a .3) la t r a n s f o r m a c i ó n t o d a s las t r a n s f o r m a c i o n e s efecto. L a e c u a c i ó n d e D i r a c covariante bajo paridad bajo s i e l L a g r a n g i a n o es será invariante ( 3 .0 d e l c o n j u n t o o r i g i n a l d e t e c t a un de soluciones que no c o n t i e n e paridad. F u s i o n a ambas manos y u n s i s t e m a en e l que d e r e c h a e i z q u i e r d a son de crea equivalentes. N o es n e c e s a r i o b u s c a r m a t e m á t i c a m e n t e matriz F .3) d o n d e F es u n a m a t r i z 4 x 4 .bajo de transformación de la ¥¿(x') = Dirac. s e r í a posible.3) tiene: IL ' (x ') = IL(x) y por consiguiente a t r a v é s de (3.Entonces covariancia sus transformadas de en estas ecuaciones i m p o s i b l e . 3 ) . transformación: o e s t r i v i a l c o m p r o b a r q u e se la de p a r i d a d ahora (y c o n de L o r e n t z i m p r o p i a s ) al d e c o v a r i a n c i a de la t e o r í a .- 10 y a d m i t i e n d o el m i s m o c o n j u n t o d e s o l u c i o n e s .Basta observar que F^ dada por (2.3) c a m b i a d e r e c h a c o n i z q u i e r d a y es e n t o n c e s el intercandida- to n a t u r a l p a r a la t r a n s f o r m a c i ó n d e p a r i d a d . - . la c o v a r i a n c i a b a j o p a r i d a d . E n h*— eligiendo (por p o s t u l a d o ) la l e y d e (3. a d m i t i e r a es simultáneamente las soluciones h a l l a d a s p a r a ^ + ( x ) y las h a l l a d a s para ^ es n a t u r a l p e n s a r q u e (x).Podemos entonces pensar.que imagen colec- ( 3 .4) la t e o r í a d e D i r a c i n c o r p o r a (3. S i n embargo. E s t e es el c a s o d e la e c u a c i ó n d e f u s i o n a las d o s i m á g e n e s de W e y l e n u n a tiva.

(4.Bajo ciones propias sentaciones como x y (4.) para x " ip!(x)a y ií.10.(X) es u n I) .4) e impropias.(Es ^(x.Eilineares 11 geométricos.2) tiene: = su 4-vector.D ( x ) es u n 4 . «p Puesto que las l e y e s de t r a n s f o r m a c i ó n están claramente establecidas. s e V ' x ) r 5 r y V x ) invierte exactamente .4.4).v e c t o r L o r e n t z T ^ í x l r . r ^t^(x) e s u n pr s e u d o v e c t o r D o y D f T -fz)a ^t.es leyes de t r a n s f o r m a c i ó n témminos de m a t r i c e s A este Yp(x)fp(x) posible pensar de o b j e t o s c o n s t r u i d o s de D i r a c y respecto de en en espinores.Sea por ejemplo ( 4 .Un espaciales bajo paridad.5) probar.1. y de repre- (2.2.6) ._(x) (4. se t i e n e n los es u n e s c a l a r resultados: Lorentz 'Fp (x) r g ^ p (x) es u n p s e u d o e s c a l a r (4.bajo transpseudosus transforma- son e l e m e n t a l e s a c u e r d o a las las m a t r i c e s r.2) (4.14) para e l e s p i n o r de D i r a c .1) Lorentz f D ( x ) F y x i ' .J u v D v • Recordamos tensor decir transforma y como x x u ) . U n vector transforma formaciones vector de L o r e n t z p r o p i a s invierte componentes su c o m p o n e n t e transforma Las relaciones (4.3.3) antisimétrico aquí que un escalar no signo bajo paridad. 5J) temporal y mantiene como f Lorentz(4.- 4.De (2.

B a j o p a r i d a d se = rQ¥D(x) ^¿Cx*)r5 r / ¿ ( x ' ) r 0 r 5 tiene: y por tanto Entonces bajo ^ W de %U)r0r0r5ryr0fD(x) r y 0 ' D W R e c o r d a n d o q u e Fr a n t i c o n m ü t a es e v i d e n t e q u e la c o m p o n e n t e su s i g n o .8) 4x4 a r b i t r a r i a . e n En e f e c t o .7) l i n e a l de m a t r i c e s complejas anteriores nos permiten entonces ' 'descomponer el objeto general: 0(x) = * D ( x ) r ¥ D ( x ) d o n d e T es u n a m a t r i z que transforman geométricamente descompuesto vector.pseudovector (4. (4.pseudoescalar.y es e n t o n c e s u n 4 .v e c t o r a l s e r la d i f e r e n c i a dos 4-vectores f u n d a m e n t a l e s de la t e o r í a de los dos «•0 componentes.Es id) rs(i) resto f á c i l v e r q u e l a s 16 m a t r i c e s : ry(4) r5ry(4) forman Lase del espacio 4x4.7) tendre escalar. e s p o s i b l e p r o b a r e l resultados. d e s c o m p o n i e n d o mos 0(x) de en p a r t e s componentes b a j o el g r u p o d e r en la b a s e Lorentz. . En f o r m a a n á l o g a . m i e n t r a s " paridad: = r : Y¿(x')= ?¿(x) c o n las 4 m a t r i c e s 0 del objeto las c o m p o n e n t e s invierte espaciales quedan incamb iadas.Los resultados oyv(ó) (4. y tensor antisimétrico m a n como entes g e o m é t r i c o s bajo el grupo de que transfor- Lorentz.

8) V : .W — - uA 5 -¿ i O.EBEtoe MME.14) o b t e n e m o s la r e l a c i ó n de sin anticonmutación: (5..3) = (5.r } y ' v fundamental = 2a °yv de la d e f i n i c i ó n dificultad las (5.11) . - 5 .4) 5' o 0*5 ' S J - (5.6) 2cr r.iodades 13 algebraicas.1) (2.7) U ' * YH Li.P = 2i(« • p V ) .T } = 0 ¿ u L a s 16 m a t r i c e s de la base. .10) para matrices el a n t i c o n m u t a d o r . = -V (5.5) 0 r n = -2ic u V (5.9) M 2i(gv.2) i r .10 | = 'UA (5. .10) (5.° v . °UV S (5.<J uX vp V (5. «fe De se d e d u c e la d e f i n i c i ó n inmediatamente {r y también (2. Prop.f o r m a n u n f u n d a m e n t a l de m a t r i c e s .. S u s ñor las conjunto conmutadores vienen dados relaciones: n• L (5.

C33 Son también = A { B . ¿ ? V T !N = TR 2N" cuanto llegar ^ .a 1 = 0 . r y ár y r y iMv v '1 4 ^ = 4ie alfa^aj = 4a-b + IMij (5.2). TR T r y r u = 4 .13) (5.1.a .{ A ..••m»'- isSl* 14 - Todas secuencia estas relaciones de c o n m u t a c i ó n d i r e c t a d e la d e f i n i c i ó n anticonmutadores fundamentales Se o b t i e n e n en f o r m a de son y de con- los (5.. C)B importantes Introduciendo la (5.12) las s i g u i e n t e s igualdades notación: á = ayry se (5. . . T - i y { U M permite a t r a z a s de dos (5...>. r y¿Mi.17) (5.Ir y v) TR á ] á ? . ü ) TR i = a^ • a 1&2"""W* -i " a_\ T R á . . T. simple con el u s o de la identidad: [AB.5.a .áv ..13) tiene: i) L a t r a z a de u n n u m e r o impar de m a t r i c e s F es nula. C} . p o r establecer una recurrencia hasta matrices tiene: T p a r a l a s q u e se TR iii) iv) J TR r 5 á 1 ¿ 2 ¿0 = -Z¿ ÍM .14) 2 ¿ 3 * * '^N-1 Esta r e l a c i ó n es i m p o r t a n t e . 1 TR á-á.1 ( . .15) = 4a.

2) y (6.2) es a b s o l u t a m e n t e e v i d e n t e que (5.2) quedan -y c o n e l l o s t o d a s las r e l a c i o n e s a l g e b r a i c a s Simultáneamente podemos introducir el inalterados establecidas. = g y v a r .sea U una matriz unitaria UUT (6.1. .21) A p Pauli-Dirac. 1 9J ) ( 5 .Relaciones deducibles a su v e z son: r r = g -ic y v °yv yv r r r. espinor: ¥(x) = U ^ C x ) (6.r .1) constante: Si = U+U = S introducimos: Ty (6.5) o b t e n e m o s los m i s m o s simultánea- bilineares g e o m é t r i c o s y el m i s m o L a g r a n g i a n o y c i n e m á t i c a c i d o s p a r a las m a t r i c e s o r i g i n a l e s 4 c o m p o n e n t e s ^ (x) q u e h e m o s v e n i d o y el estable- e s p i n o r de utilizando.xpr.1. . la r i q u e z a a l g e b r a i c a es d i r e c t a m e n t e v r.3) Es de n u e v o e v i d e n t e q u e u t i l i z a n d o ment'é (6.r X yAv rcr r °yv 5 6. 2J0 ) (5. + \ z .2).Por ello.6g .r °vA y K d e d u c i b l e de los de las matrices anticonmutadores (5.g 5 y v + g .Representación Toda -ie ^ r v r yvA 5p de 2 yv fundamentales ( 5 .

16 ]•'s e n t o n c e s n e c e s a r i o p e n s a r Dirac como un conjunto matricial que define (6.0 11 ! ! obviamente: <i'(x) - : ó .Se O Y« O y ' t i e n e en lo » 1 ella: Io x etc i I Pauli-Dirac'. surgión en d o s c o m p o n e n t e s a ^(x) de verificando: 2o (r y .4) la l l a m a d a á l g e b r a d e La s o l u c i ó n q u e h e m o s u t i l i z a d o m e n t e de las d e s c r i p c i ó n Se c o n o c e entonces Clifford.es otra descripción d e la t e o r í a L a g r a n g i a n a evidente equivalente de D i r a c .5) ii -1 llamada representación de también utilizaremos. Si elegimos: 1"" U = obtenemos — /2 (6. M u e s t r a biespinorial claramente d e l e s p i n o r de D i r a c y es conveniente para establecer leyes de b a j o c a m b i o s de c o o r d e n a d a s . S i n que la (6.que O (6.2. de W e y l en 4 componentes y a T de Weyl del álgebra de vista es la m á s n a t u r a l .r v ) relación en l a s m a t r i c e s como el e s p i n o r c o m o la r e p r e s e n t a c i ó n y de C l i f f o r d .3) proporciona estructura particularmente transíormación embargo. 7) . L o s n u e v o s g r a d o s l i b e r t a d V (x) s o n m e r a s c o m b i n a c i o n e s ! a n t i g u o s íp)(x) y las r e l a c i o n e s lineales algebraicas de de los quedan inalteradas. D e s d e m u c h o s p u n t o s natural- de Weyl.

1) = 0 el p r o b l e m a d e b u s c a r solcciones estructura: UD(x) donde p y = e~^n-x uD es el 4 .Ondas Planas. reía .M) 7D(X) (7.Es entonces la c o r r e c t a energía-mo.5) (7. (7.M 2 ) 2 Entonces y autovalores = 0 (7.entum.3) e s u n s i s t e m a s o l u c i o n e s n o n u l a s s i se DET p lineal homogéneo. La e c u a c i ó n p r o d u c i d a Dirac de es: (irY8U Nos p l a n t e a m o s con por el L a g r a n g i a n o La .1j.2) la o n d a p l a n a y u ^ e s componentes.Dinámica.v.1) e n c o n t r a m o s La ecuación matricial: .7.3) q u e p u e d e p e n s a r s e c o m o u n a e c u a c i ó n de para la m a t r i z 4x4 (7.M ) = ( p 2 .m o m e n t u m d e u n espinor constante de 4 Sustituyendo en (7.M) u D = 0 (7.Sólo admite verifica: o '/ ii> .4) sólo las ondas p l a n a s con 4-momentum en la c a p a d e m a s a s : P° = E pueuen s er a c e p t a b l e s claro que = ( p W ) 1 / 2 c o m o s o l u c i ó n de la e c u a c i ó n d e P i r a c r e q u i e r e cion relativista de d i s p e r s i ó n (7.

6).8) t r a n s f o r m a c i ó n de Lorentz Entonces.m o m e n t u m para fabricar VD(x) la notación invirtiendo también o n d a s p l a n a s d e la forma: = eip*x vD El espinor v ^ con (7.7) La b ú s q u e d a d e v ^ es a h o r a e q u i v a l e n t e la b ú s q u e d a d e l a s a u t o f u n c i o n e s La c o n d i c i ó n d e t e r m i n a n t a l a de $ con a u t o v a l o r a s e g u r a de n u e v o que p y e n la c a p a de m a s a s y e n t o n c e s p ^ v i e n e d a d o c o m o dad positiva por la m i s m a r e l a c i ó n (7.6) verifica: (j5 + M ) v D = 0 (7. S i g u i e n d o usual.obviamente escalar (7.escribimos estas soluciones el 3 .9) transforma .Es e v i d e n t e que e x i s t e n p también soluciones d a d o p o r la r a i z n e g a t i v a .El La e c u a c i ó n de D i r a c p r e s e n t a cuadrática en entonces a la solu- c o m o en relación de t r a n s f o r m a c i ó n de los r e s u „ . L: v d + S(L)vD fase. c i o n e s de f r e c u e n c i a p o s i t i v a y n e g a t i v a las e c u a c i o n e s r e l a t i v i s t a s .bajo como todas Energía-momentum. v „ v i e n e n i mxo u e s t a s p o r la f o r m a g e n e r a l D' D t r a n s f o r m a c i ó n del c a m p o g e n e r a l de D i r a c : Y ' (x ' ) = S (L) Y (x) bajo cualquier + S(L)uD El factor de tal. Las p r o p i e d a d e s uD canti- (7. restringida. d e b i d o está cambio de s i g n o ha sido t o m a d o en c u e n t a d i r e c t a m e n t e e l s i g n o g l o b a l d e l f a c t o r d e f a s e en -M. espinode (7.5).

La e x p r e s i ó n m á s g e n e r a l p o s i b l e p a r a A es:. v(7. (7. inmediatamente: DUD Esta ecuación muestra la i n v a r i a n c i a b a j o f o r m a c i o n e s de L o r e n t z d e la e c u a c i ó n de trans- autovalores 4 x 4 .5).v e c t o r e s y e l s e g u n d o m i e m b r o t a m b i é n lo h a c e de la c o n s t a n t e M u n a c o n s t a n t e a b s o l u t a d i e n t e de r e f e r e n c i a l .Necesitamos: ¡A . a u D autovalores: : .. f ¡ = 0 (7. 7 ) . + : t y r + s'TrF + f y V o . . c o m o es.._ . La d e g e n e r a c i ó n p u e d e ser r o t a b u s c a n d o m a t r i z 4x4 q u e c o n m u t e c o n j^. .- 19 \ y Consideremos. matriz.:. a l ser p r o d u c t o d o s 4 . E l p r i m e r m i e m b r o es un e s c a l a r . • A = C ir-+ C.7) y p l a n t e a r e m o s e n t o n c e s la e c u a c i ó n de ' .Esto indepen- o b v i a m e n t e d e b e s e r el E l e s t u d i o de ( 7 ..la ecuación Multiplicando por u^ hallamos V y P % = M Ü (7..'r.Esta n u e v a m a t r i z ocurre alguna puede ser e n t o n c e s d i a g o n a l ! z a d a y r o m p e r "1a d e g e n e r a c i ó n p a r a t e n e r u n a b a s e ú n i c a de e s p i n o r e s Sea A esta constantes. . L o m i s m o en de ( 7 . AU d = ..8) ' .9) J 5 y 5 y yv Obviamente la p a r t e p r o p o r c i o n a l a la puede ser desechada. subespacio d e l a u t o v a l o r +M es d e g e n e r a d o d e s o r d e n 2 .por ejemplo. 5 ) m u e s t r a que el caso.Evidentemente con identidad la i d e n t i d a d p e r o su i n c l u s i ó n s ó l o e f e c t ú a u n conmuta desplaza- m i e n t o n o r e l e v a n t e d e los a u t o v a l o r e s de A ..

antisimétrico.6). propiedades: 4-vector s^ pseudovector y tensor f ' . t y . M. d e la s e c c i ó n 5 intervinientes. E n t o n c e s (7.11) f y v n.C p verificar: (7.9) c o n m u t a con jí p e r o el t é r m i n o p u e d e ser olvida- do ya que no p r o p o r c i o n a u n a n u e v a m a t r i z al problema.No v a l o r " a " en obstante si d e s e a m o s q u e el auto- (7.20 - C. C ' .es o b v i o que tyr (7. .11) obliga a si t~ .10) de las matrices o b v i o q u e la m a t r i z A d e b e .las siguientes C escalar C' 11 pseudoescalar M. L>JV En p r i n c i p i o .v = 0 La s e g u n d a r e l a c i ó n en y + = o D e b i d o a la i n d e p e n d e n c i a en que libre obtener: = 2C'p1Jr5ry colineal Independientes a las s o l u c i o n e s c o n el m i s m o g r a d o de u n i v e r s a l i d a d es m u y s i m p l e de A son y a ser . d e s i ó n e f e c t u a d a en de absoluta como a c u e r d o c o n la d i s c u - (7.s)r5 (7.¿j -i(pvtv-pvty)oyv + if y v Pv ru . pytv-pvty s-o = o = 0 con p .8) sea u n a c o n s t a n t e t e n e m o s que e l e g i r o b v i a m e n t e . De e s t a f o r m a ios a u t o v a l o r e s de r e f e r e n c i a l y c a r a c t e r i z a n U t i l i z a n d o los c o n m u t a d o r e s [A. s u ..12) (7.es C*=0 2(p. las c o n s t a n t e s son simplmente* números sin n i n g u n a p r o p i e d a d transformación.

13) p con: s p = 0 f Elegimos un conjunto completo y v p = 0 como candidato con $ .Puesto q u e serle o r t o g o n a l . s-p = 0 esta es espacial y la c o n s t a n t e g l o b a l a d e c u a d a m e n t e sy de (energía l o s 4- (energía positiva) negativa).1a a formar matriz: r5¿ Í7.-s) = (' -uD(p.Por todo ello resulta general que conmuta con evidente puede q u e la m a t r i z ser escrita en la más forma: A = r. 1 5 ) s o n +1 o -1 . r 5 ¿ u D ( p . e s tomar sin pérdida e n la forma: de g e n e r a l i d a d A = r5s espacial siempre s2 es e n t o n c e s u n p s e u d o v e c t o r podremos auxiliar -1 A (".¿ + f y v rpv ry 5 (7.s) Í un(p. r5¿ uD(p. Es inmediato comprobar.-s) Estos posibles ( 7 .que a u t o v a l o r e s de los introducir constantes: u(p. Es entonces c o n v e n c i o n a l espinores - temporal eligiendo la m a t r i z .-s) .15) • unitario y ortogonal a p . e s p i n o r e s e s t á n d e f i n i d o s p o r la ¿ e c u a c i o n e s i)J E n e r gO í a An o s i t i v a : p uD(p.s) = M uD(p.s).u(p.v(p.-s)(' .s).-s) = M uD(p. s ) = u^íp^s) .14) Es evidente que culaquier m ú l t i p l o matriz y sy conmuta debe t a m b i é n c o n j5.-s) v(p.

r5¿ vD(p.-s) (salvo = --1 (7.18) liste s i s t e m a equivalente al c o n o c i m i e n t o mencionados.-s) = -:-v D (p.(p. de nor- ecuaciones a menos de una son constante m u 1 1 ip1 i c a tiva.18) la f a s e d e c o s t u m b r e ) (p .s) = +• v D ( p . •Van una constante que ambas espinor así.-s)uD(p. s ) (7. Veremos explícitamente a Jos o si) i .s)uD(p.K s r. rss vD(p. y a verificadas a s í es r e a l m e n t e .1 7) . .-s) explícito es m á s las e x p r e s i o n e s puede que definen definimos ahora: . . T* v D ( p .s ) q u e d a n totalmente lo. = -! los dos (7-21) espinores . s ) ecuaciones simple considerarse explícitas.s) En tal caso n o r e s U p (p .1 6 .-M v D ( p .-s)vD(p.as e c u a c i o n e s correspondientes del si r e a l m e n t e a u t o v a l o r M de resolver sólo definirán sin e m b a r g o .19) . Convencionalmente p vD(p.-s) (7. al el s i s t e m a debe por cualquier la .17.-s) en f o r m a a la f r e c u e n c i a única negativa.En que con de e c u a c i o n e s realidad ii) E n e r g í a = -M v D ( p .ñores (7 .s)vD(p. Normalizamos en úD(p.20) = Vj.s espi- determinados ecuaciones: (7. s ) .s) asociados de los espinores trabajar con ellas negativa.16. d e g e n e r a c i ó n Z'rompe . s i e m p r e malización que existir e n los e s p i n o r e s .s ) vD(p. s) por las forma escalar por: = ¿D(p.

(7.s)vD(p.-s)j(H-r5¿)uD(p.-s) = 0 (7.-s)uD(p. u n ( p .25) Entonces: üDCp.24) es: = üD(p.s) Las d e m á s r e l a c i o n e s Existen también los e s p i n o r e s se p r u e b a n relaciones = o en f o r m a de o r t o g o n a l i d a d de e n e r g í a p o s i t i v a y todas l a s e l e c c i o n e s de los La p r u e b a anterior.) u D ( p . ± 3) . ± s ) .±s) = ú D ( p .notando en e l caso que: C ^ l f ^ .±s) '.(ii-r5¿)uD(p>-s) adjunta üD(p. .-s) cuya ecuación que: = T.-s) (7.s)uD(p. es a n á l o g a a la e f e c t u a d a por ejemplo entre negativa: • ü D ( p .s) = vD(p.s) = üD(p. ± s ) u D ( p .C o m o e j e m p l o de la s i m p l i c i d a d manejo de las e c u a c i o n e s aporta que de d e f i n i c i ó n de los el espinores.±s)v D (p.-s)uD(p.s) = üDCp. ± s ) r.22) vD(p. v D ( p . ± s ) = v D ( p .-s)vD(p. ± s ) = 0 para análoga. pi obernos las r e l a c i o n e s de o r t o g o n a l i d a d : üD(p. ± s ) (?Í^r^vD(p.±s) = v D ( p .-s) es e v i d e n t e (7. ± s ) ( ^ í - = v (p .üD(p.26) signos.-s) = 0 (7.23) D e su d e f i n i c i ó n uD(p.

s)üD(p.±s") = 0 I.Otras utilizando relaciones solamente puedan probarse las e c u a c i o n e s Tos e s p i n o r e s .20) m i s m o m o d o es •= ( " .20).s) = Pv D (p. .s) relaciones de (7-29) ortogonalidad obtener: Pun(p. ± s ) s o n independientes queda de + M m - r'1 ^ ^C que verifica totalmente es n e c e s a r i o definida la formado que ] incalmente base por del los matriz: .s)=uD(p.s) que.s) . V p (p .s)}a3 lis i n m e d i a t o .¿ r ^ O ( inmediato — probar: (7. ) (7. Pu (p .Puesto por que una su a c t u a c i ó n en matriz una que: uD(P»s)üD(p.por de definiciones una con facilidad definitorias e j e m p l o el de obieto: P matriz 4x4 con elementos matriz: P(íg= {uD(p. = s) . C o n s i d e r e m o s por s uD(p. d e las = u D a ( p .21) .Si consideramos rf>L ( es e v i d e n t e base ortogonalidad t r o e s p i n o r e s U p I'p . s ) u D f 3 ( p .as r e l a c i o n e s los c espacio y constituyen por demuestran tanto una v e c t o r i a l de 4 d i m e n s i o n e s espinores.s) Del ahora (7.s)üD(p.

s)uD(p.s) ±s elegida para Es posible D^P's)¿Da ) 1 evidente de esta u^(p.26) -s.s) = -¿ = -7RT T R r TR(^r0 * .21.s . relaciones = | s por (7.s) ±s u intercam- útiles: IuD(p.s) =•TR(uD(p.s)u(p.^r5sr0 (Iir 0 ) = P°/M + Mr0 + Miyr0) trazas .- •V Las relaciones biando s po (7.s)uD(p. P o r e l l o se t i e n e n t a m b i é n expresiones IvD(p.s) £uD(p.27) ( 7 .s) ±s = 25 = üDa(p.s)r0u(p.s)üD(p. primera: = üD(p. 2 1 ) y los r e s u l t a d o s sobre obtenemos: uj(p. v^(p.s)uD(p.s)vD(p.s)vD(p.22) valen obviamente . A s í ( p (7.24) £vD(p.s) se = calcular intercambiando la 0a3 ahora Dirac.s)v ±s y la r e l a c i ó n las de la r e p r e s e n t a c i ó n - que todos uD(p.s) Utilizando otras de de tiene: Probemos poT~ejemplo S ) r (7.s)r0a&uD6(p.s)TQ} (7.s) (7-23) completitud: Es también y expresiones = C 2M (p.25) resultados las m a t r i c e s .s)üD(p.s) y el m i s m o r e s u l t a d o ' los = 11 sección son independientes también de n o r m a l i z a c i ó n .

£ s ) v D ( p . ± s ) v D ( p . £ ' s) = | 6 £ £ l POT ú l t i m o entre (7. d o n d e z y e ' son (7. p i r7 = -p partiendo de:¡ la rn (7.0 . de . ± s ) v D ( p . e 's) = | 6 £ e .±s)rQV^(p.m o m e n t u m d e u n a de e l l a s se Sea la 0 : p invierte.A .27) signos. ± s ) c l a r o q u e la m a n i p u l a c i ó n se e f e c t ú a de los con entera c o m o d i d a d sin de r e c u r r i r a su c o n o c i m i e n t o explícito.28) e x i s t e n r e l a c i o n e s de las s o l u c i o n e s ortogonalidad de e n e r g í a p o s i t i v a y c u a n d o e l 3 .31) E n t o n c e s u ^ ( p . ± s ) ( ^ M ^ ) r 0 v D ( p . e ¿ ) u D ( p . ± s ) = ü D (p. nomenclatura: -0 p negativa -i = p . ± s ) = Vp(p.ü D ( p .±s) = úD(P.±s)u D (p.2b - La r e l a c i ó n (7. v D necesidad ecuaciones )vD(p.29) Se t i e n e e n t o n c e s : u ¿ ( p .±s)r0 ( ^ M ^ Es e n t o n c e s espinores u D .26) generaliza con facilidad a: u ] ) ( p . Análogamente tenemos: v J ) ( p .30) facilidad observación: i$r n » r n i>: (7.±s) = 0 Estas relaciones 9 se p r u e b a n c o n (7.Sus de d e f i n i c i ó n y e l á l g e b r a de l a s m a t r i c e s Dirac nos permiten proceder en c u a l q u i e r cálculo.±s) .

26) generaliza con facilidad a: u D ( p .30) (7.2ó - La r e l a c i ó n (7.31) r n i>.±s)v D = üD(P. ± s ) = Vp(p.29) entonces: J ( p . e s ) u D ( p . nomenclatura: = p Se t i e n e U] negativa 0 -i .28) ee POT ú l t i m o e x i s t e n r e l a c i o n e s de entre las s o l u c i o n e s ortogonalidad de e n e r g í a p o s i t i v a y c u a n d o el 3 .27) ce signos.±s) = ü n ( p .±s)r0 se p r u e b a n c o n (7.±s) ( ^ 2 M ^ 0 r o v D ( p . ± s ) = 0 c l a r o que la m a n i p u l a c i ó n de los espinores u necesidad v se e f e c t ú a con e n t e r a c o m o d i d a d sin JU \ nJLJ de r e c u r r i r a su c o n o c i m i e n t o e x p l í c i t o .m o m e n t u m d e u n a de e l l a s se S e a la -0 : p invierte. D (p.±s) = 0 D D Estas relaciones p a r t i e n d o de:'la facilidad observación: í^ r n E n t o n c e s u^(p. ± s ) r n0v nD (p. ± s ) v D ( p .±s) Es entonces üD(p.±s) P j Z J t )vD(p. p (7. de . S u s e c u a c i o n e s de d e f i n i c i ó n y el á l g e b r a de las m a t r i c e s Dirac nos permiten proceder en c u a l q u i e r cálculo. Análogamente tenemos: v ¿ ( p . £ 'S) = | M (7. e s ) v D ( p . e 's) d o n d e E y e ' son M (7.±s)u D (p.