Matrices de Dirac, Transformaciones de Lorentz Y Rotaciones Espaciales va Cuaterniones

J. Lpez-Bonilla, A. Rangel-Merino, Abacut Sebastin-Prez

ESIME, Instituto Politcnico Nacional, Anexo Edif. 3, Col. Lindavista, CP 07738, Mxico D.F., Mxico. Email: jlopezb@ipn.mx (Recibido el 5 de Junio de 2009; aceptado el 28 de Agosto de 2009)

Resumen
Se estudia cmo generar matrices ortogonales 4x4 mediante un triple producto cuaterninico, lo cual conduce de manera natural a las matrices de Dirac y al estudio de rotaciones en 3 y 4 dimensiones. Palabras clave: Cuaterniones, matrices de Dirac, Rotaciones espaciales, Transformaciones de Lorentz.

Abstract
We study how generate orthogonal 4x4 matrix by means of triple quaternionic product, which guide in a natural way to Diracs matrices and 3 and 4-dimensional rotations. Keywords: Quaternions, Diracs matrices, Spatial rotations, Lorentz transformations PACS: 03.30.+p, 03.65.Ca, 03.50.Kk ISSN 1870-9095

I. INTRODUCCIN
Las unidades cuaterninicas obedecen el lgebra [1, 2, 3, 4, 5, 6]:

El cuadrado de la magnitud de
2 2 1

F est definido por:

(4.a)

F = FF = FF = F + F22 + F32 + F42 ,

con

I = J = K = 1, IJK = 1 ,
2 2 2

(1)

F = F1I F2 J F3K + F4 ,
notando que para A y B arbitrarios:

(4.b)

que permiten realizar el producto:

F = pF ,
con

(2.a)

AB = BA .
(2.b) (2.c) Entonces de (2.a), (3, 4.a) y (4c):

(4.c)

F = F1I + F2 J + F3K + F4 ,
p = p1I + p2 J + p3K + p4 ,
y la expresin resultante para F matricialmente:

F = p F p = pp F , det P = ( pp ) , (5.a)
2 2 2 2

puede escribirse

en donde es evidente que para p unitario:

2 2 2 pp = p12 + p2 + p3 + p4 = 1, det P = 1 , (5.b)

F1 p4 F2 = p3 F p2 3 F 4 p1

p3 p4 p1 p2 P

p2 p1 p4 p3

p1 F1 p2 F2 . p3 F3 p4 F4

se conserva la magnitud de F : (3)

F12 + F22 + F32 + F42 = F12 + F22 + F32 + F42 ,

equivalente a:

(6)

Lat. Am. J. Phys. Educ. Vol. 3, No. 3, Sept. 2009

643

http://www.journal.lapen.org.mx

J. Lpez-Bonilla, A. Rangel-Merino, Abacut Sebastin-Prez

F1 F F1 F2 F3 F4 2 F3 F 4

F1 = ( F F F F ) F2 , 1 2 3 4 F3 F4

especial porque D genera transformaciones de Lorentz cuando q = p* . La Sec. IV se dedica a rotaciones tridimensionales al pedir que el cuaternin unitario p sea real ( p = p* ), y en consecuencia q = p .

que en unin de (3) implica el carcter ortogonal de la transformacin:

II. MATRICES DE DIRAC

En mecnica cuntica relativista son importantes las 16 matrices de Dirac [7]:

P T P = I44 .

(7)

Una matriz es ortogonal cuando da la identidad al multiplicarse por su transpuesta, y su principal virtud es que conserva la magnitud de los vectores bajo su accin. Similarmente, el producto:

I 0 0 I 0 I 5 0 5 I, 0 = , = , = , 0 -I I 0 -I 0

F = Fq ,
tiene la representacin matricial:

r =
(8.a)

0 r

r r 5 , = 0 0
0

0 , r
(10)

F1 q4 F2 = q3 F q2 3 F 4 q1

q3 q4 q1 q2 Q

q2 q1 q4 q3

q1 F1 q2 F2 , q3 F3 q4 F4

0 r = r 0 = i r
(8.b)

, r = 1, 2, 3 0

0 , ( jkl ) es una permutacin l cclica de (123), y las j son las matrices de Pauli [7, 8]:

jk = kj =

l 0

y si q es unitario entonces se verifica (6) y por lo tanto es ortogonal con det Q = 1 .

1 = , 2 = 1 0 i
1 0

0 1

0 i , 0
(11)

Los casos (2.a), (8.a) pueden unificarse en un solo esquema mediante un triple producto cuaterninico:

3 = , i = 1 . 0 1

F = pFq ,
es decir:

(9.a)

Ahora en (9.a) pueden seleccionarse a p y q como las unidades cuaterninicas, por ejemplo, si p = 1 , q = K , entonces de (9.b) obtenemos que D = i 31 . En forma anloga, si p = I , q = J resulta que D = 1 5 , etc. As:

F1 F1 F2 = D F2 , D=P Q , 44 F3 F3 F F4 4
entonces F = ( pp )( qq ) F
2 2

(9.b)

TABLA I. Cuaterniones y Matrices de Dirac.

p\q
1

K
i 31
5 i 2

y as es claro que (6) se

satisface para p y q unitarios, con P y Q ortogonales implicando que D tambin lo es:

1
3 5

3 1 5

I
(9.c)

02
0 5
i 2 5

DT D=I, det D=1 .

32
i 03

12
i 01

En las siguientes pginas se realizan las aplicaciones de (9.a.b.c): La Sec. II muestra que D reproduce las 16 matrices de Dirac [7] si p y q coinciden con las unidades cuaterninicas. La Sec. III considera el caso de relatividad
Lat. Am. J. Phys. Educ. Vol. 3, No. 3, Sept. 2009 644

0
(12)

http://www.journal.lapen.org.mx

Matrices de Dirac, Transformaciones de Lorentz y Rotaciones Espaciales va Cuaterniones

Si W denota a cualesquiera de las matrices de esta Tabla, entonces es simple probar que:

F = pFp*, pp = 1 ,

(18)

W -1 =W T , W* =W, W T =W,

(13)

es decir, son ortogonales, reales y simtricas antisimtricas.

que en unin de (15) permite generar transformaciones de Lorentz propias y homogneas verificando (9.c), basta con dar p . En efecto, al sustituir (2.c), (15) en (18), entonces con (14.a) recuperamos las expresiones para D existentes en la literatura [4, 12-15]. Por ejemplo, si elegimos:

III. TRANSFORMACIONES DE LORENTZ

En el espacio de Minkowski [9] las transformaciones de Lorentz relacionan, linealmente, a las coordenadas de un evento visto desde dos marcos de referencia en movimiento relativo uniforme (c es la velocidad de la luz en el vaco):

p = i senh K + cosh , real, 2 2

resultan las conocidas frmulas de Lorentz:

(19.a)

x = x,

ix ix iy iy = D , iz iz ct ct

(14.a)

v y = y, z = ( z vt ) , t = t 2 z c (19.b) 2 1 2 v v = 1 2 , tanh ( ) = < 1 , c c

para dos observadores movindose en la direccin z con velocidad relativa v .

que en trminos geomtricos corresponde a una rotacin 4dimensional manteniendo intacta la magnitud del vector:

IV. ROTACIONES ESPACIALES

Aqu se consideran transformaciones de Lorentz que no alteran la coordenada temporal:

( ct )

x 2 y 2 z 2 = ( ct ) x 2 y 2 z 2 , (14.b)
2

lo cual es exigido por los postulados de la relatividad especial. Si el cuaternin (2.b) es seleccionado como:

t =t,

(20)

F = ixI + iyJ + izK + ct ,

(15)

entonces (6) y (9.b) reproducen (14.b) y (14.a), respectivamente, y (9.a) da:

lo cual corresponde a rotaciones tridimensionales. Si en (16.a) sustituimos (20) es claro que t puede eliminarse idnticamente (para as solo dejar variables espaciales) si pq = 1 , que en virtud de (17) da pp = 1 , equivalente a

ixI + iyJ + izK + ct = p ( ixI + iyJ + izK + ct ) q (16.a)

y al aplicarle la operacin :

pp = 1 que para ser compatible con (5.b) impone la condicin:

p = p ,

(21)

ixI iyJ izK + ct = p ( ixI iyJ izK + ct ) q ,

que a su vez bajo la operacin implica [recurdese (4.b,c)]:

es decir, las matrices de Lorentz generan 3-rotaciones cuando en (9.a) se emplea p unitario y real. Entonces (14.a) adopta la expresin:

ixI + iyJ + izK + ct = q ( ixI + iyJ + izK + ct ) p , (16.b)

as la igualdad entre (16.a) y (16.b) se logra si q* = p , es decir: (17) q = p* , siendo p unitario. Por lo tanto, (9.a) adquiere la estructura [9, 10, 11, 12, 13]:

ix R 33 iy = iz 0 ct 0
implicando (20) y:

0 ix 0 iy , 0 iz 0 1 ct

x x T , y = R y , RR =I, det R=1 z z

645

(22.a)

Lat. Am. J. Phys. Educ. Vol. 3, No. 3, Sept. 2009

http://www.journal.lapen.org.mx

J. Lpez-Bonilla, A. Rangel-Merino, Abacut Sebastin-Prez

respetndose la invariancia (14.b) en la forma pitagrica x2 + y 2 + z 2 = x2 + y 2 + z 2 . Con (9.a), (17), (21) es inmediato obtener la estructura de la R reportada en la literatura [13]:
2 2 1 2 ( p2 + p3 ) 2 ( p1 p2 p3 p4 ) 2 ( p1 p3 + p2 p4 ) 2 R = 2 ( p1 p2 + p3 p4 ) 1 2 ( p12 + p3 ) 2 ( p2 p3 p1 p4 ) 2 2 ( p1 p3 p2 p4 ) 2 ( p1 p4 + p2 p3 ) 1 2 ( p12 + p2 )

(22.b) tenindose as, con (22.a), (22.b), un proceso sistemtico para producir rotaciones espaciales, basta con dar un cuarteto de valores reales p j cumpliendo (5.b).

REFERENCIAS
[1] Kronsbein, J., Kinematics-quaternions-spinors-and Paulis spin matrices, Am. J. Phys. 35, 335-342 (1967). [2] van der Waerden, B. L., Hamiltons discovery of quaternions, Math. Mag. 49, 227-234 (1976). [3] McAllister, L. B., A quick introduction to quaternions, Pi Mu Epsilon J. 9, 23-25 (1989). [4] Penrose, R., The road to reality, (Jonathan Cape, London, 2004). 5. Hamdan, N., Guerrero, I., Lpez-Bonilla, J. and Rosales, L., On the Faradays complex vector, The Icfai Univ. J. Phys. 1, 52-56 (2008).

[6] Martnez-Sierra, G. and Benoit-Poirier, P. F., Una epistemologa histrica del producto vectorial: Del cuaternin al anlisis vectorial, Lat. Am. J. Phys. Educ. 2, 201-208 (2008). [7] Leite-Lopes, J., Introduction to quantum electrodynamics, (Ed. Trillas, Mexico, 1970). [8] Pauli, W., Uber das wasserstoffspektrum vom standpunkt der neuen quantenmechanik, Zeits. fr Physik 37, 263-277 (1926). [9] Synge, J. L., Relativity: the special theory, (NorthHolland Pub., Amsterdan, 1965). [10] Lanczos, C., The variational principles of mechanics, (University of Toronto Press, Canada, 1970). [11] De Leo, S., Quaternions and special relativity, J. Math. Phys. 37, 2955-2968 (1996). [12] Acevedo, M., Lpez-Bonilla, J. and Snchez, M., Quaternions, Maxwell equations and Lorentz transformations, Apeiron 12, 371-384 (2005). [13] Guerrero I., Lpez-Bonilla, J. and Rosales, L., Rotations in three and four dimensions via 2x2 complex matrices and quaternions, The Icfai Univ. J. Phys. 1, 7-13 (2008). [14] Lpez-Bonilla, J., Morales, J. and Ovando, G., On the homogeneous Lorentz transformation, Bull. Allahabad Math. Soc. 17, 53-58 (2002). 15. Carvajal-Gmez, B. E., Galaz, M. and Lpez-Bonilla, J., On the Lorentz matrix in terms of Infeld-van der Waerden symbols, Scientia Magna 3, 56-57 (2007).

Lat. Am. J. Phys. Educ. Vol. 3, No. 3, Sept. 2009

646

http://www.journal.lapen.org.mx