Tensor de Faraday Su Estructura Algebraica

Journal of Vectorial Relativity
JVR 4 (2009) 3 33-42
Tensor de Faraday: su Estructura Algebraica

J L Lpez-Bonilla1, R Meneses-G2 y M Turgut3
RESUMEN.- Se estudia tensorialmente el problema de eigenvalores de la matriz de Faraday.
PALABRAS CLAVE: Ecuaciones de Maxwell; Tensor de Faraday.
I.
INTRODUCCIN
Las ecuaciones de Maxwell sin fuentes (c es la velocidad de la luz en el vaco):
r r
B=0
r r
E =0
r
r r
B
, E =
,
t
r
r r 1 E
, B = 2
,
c t
(1.a)
(1.b)
adoptan la forma tensorial [1,2]:
Fab , j + F ja ,b + Fbj , a = 0
F ab,a = 0
(2.a)
(2.b)
en donde se acepta la convencin de Einstein de suma sobre ndices repetidos, con:
(x j ) = (ct , x , y , z )
&
,r =
x r
(3)
Con la mtrica de Minkowski (1 , 1 , 1 , 1) y la matriz de Faraday en sus representaciones:
(F ab )
1, 2
EX
EY
EZ
0
0 E X EY E Z
cBZ cB y
0
EX
E X 0 cBZ cBY
,
=
, (Fab ) = E cB
cB X
0
cB X
0
Z
EY cBZ
E
E
cBY cB X 0
Z
Z cBY cB X 0
SEPI-ESIME-Zacatenco, Instituto Politcnico Nacional, Col. Lindavista, CP 07738 Mxico DF

E-mail: jlopezb@ipn.mx
Department of Mathematics, Buca Educational Faculty, Dokuz Eyll University, 35 160 Buca-Izmir, Turkey
E-mail: melih.turgut@ogr.deu.edu.tr
(4.a)
Septiembre, 2009
J L Lpez-Bonilla, R Meneses-G y M Turgut: Tensor de Faraday: su Estructura Algebraica
~
F F ab
Septiembre, 2009
0 E X EY E Z
0 cBZ cBY
EX
=
EY cBZ
0 cB X
E cB
cB
0
Z
Y
X
(4.b)
Las expresiones (2.a) y (2.b) reproducen (1.a) y (1.b), respectivamente.

Ntese que si en (1.a) se realizan los cambios:
r
r
E cB ,
r
r
cB E ,
(5)
entonces resulta (1.b), y al emplear (5) en (1.b) se obtiene (1.a), lo cual motiva la introduccin de las
matrices Duales :
( F ab )
cB X
0
0
cB X
=
EZ
cBY
cB E
Z
Y
~
F F ab
cBY
EZ
0
EX
cBZ
Ey
,
EX
0
( Fab )
cB X
0
0
cB X
=
cBY E Z
cB
EY
Z
0 cB X cBY cBZ
cB X
0 EZ
EY
,
EX
cBY E Z
0
cBZ EY
EX
0
cBY
EZ
0
EX
cBZ
EY
cB X
(6.a)
(6.b)
generadas al utilizar (5) en (4), y que permiten reescribir a las ecuaciones de Maxwell (2):
F a b ,a = 0
Fab , j + F ja ,b + Fbj ,a = 0
(7.a)
(7.b)
La introduccin del tensor totalmente antisimtrico de Levi Civita:
abpq = abpq
, abpq = abpq
(8.a)
con los smbolos:
abpq
= abpq
1 , si (abpq ) es permutacin par de (0123) ,
= 1 , si (abpq ) es permutacin impar de (0123) ,

0, en los dems casos ,
(8.b)
permite relacionar al tensor antisimtrico de Faraday con su Dual:
JVR 4 (2009) 3 33 - 42
34
F ab =
1 abpq
F pq
2
Septiembre, 2009
(9.a)
1
F ab = abpq F pq ,
2
(9.b)
o bien
mostrando as que (6) tambin pueden construirse mediante (4,9.a), es decir, (9.a) es la
representacin tensorial del intercambio (5). Con (9.a) es inmediato probar que (7.a) y (7.b) implican
(2.a) y (2.b), respectivamente.
Con (4,6) es sencillo determinar los nicos dos invariantes de Lorentz del campo
electromagntico [1,2]:
1
I = F ab Fab = 2 c 2 B 2 E 2
r r
I 2 = F ab Fab = 4cB E
(10)
El vector complejo de Faraday [3]:
r
r r
F = cB + iE
(11)
al multiplicarse consigo mismo conduce a los mencionados invariantes:
r r 1
F F = (I1 iI 2 )
2
y adems aporta otra manera de expresar a las ecuaciones de Maxwell (1):

r
r r
r r
1 F
F =0 , F =
c t
Aqu se estudiar el problema de eigenvalores de (4.b) mediante el formalismo tensorial.
II.
(12.a)
(12.b)
TENSOR DE FARADAY
La tcnica tensorial aplicada al anlisis de los valores y vectores propios de (4.b) se apoya en la
ecuacin:
(13)
Fba b = a ,
la cual tiene solucin slo para los verificando:
~
~
det F I = 0 ,
JVR 4 (2009) 3 33 - 42
(14.a)
35
Septiembre, 2009
generndose as la ecuacin caracterstica [4-6] :

(14.b)
I1 2 I 22
+
=0
2
16
4
En esta etapa es conveniente introducir la clasificacin de Pia [7]- Synge [8] para F :
Tipo A:
Tipo B:
Tipo C:
Tipo D:
I2 0 ,
I 2 = 0 , I1 < 0 ,
I 2 = 0 , I 1 = 0 (Caso Nulo )
(15)
I 2 = 0 , I1 > 0 ,
de particular relevancia en el estudio del movimiento de cargas puntuales bajo la accin de un

campo electromagntico constante [7-10].
Las races de (14.b) se presentan de acuerdo al esquema:
Tipo A.- Dos valores propios reales y dos imaginarios:
1
I + I 2 + I 2 2
1
2
1
i
,
2
I + I 2 + I 2 2
1
2
1
(16.a)
Tipo B.- Se tienen cuatro eigenvalores reales:
1 = I1 , 2 = I1 , 3 = 4 = 0
(16.b)
Tipo C.- Colapsan los valores propios:
j = 0 ,
j = 1, L, 4
(16.c)
Tipo D.- Resultan dos eigenvalores imaginarios y dos reales:
1 = 2 = 0 , 3 = iI1 , 4 = iI1
(16.d)
El tipo A es el principal inters de este trabajo, con 0 real para as asegurar que el
correspondiente r en (13) sea un eigenvector real en el espacio de Minkowski, entonces:
r r = F ab a b 0
[porque F
ab
es antisimtrico ,
(17.a)
y como 0 se concluye que r es un vector nulo:
( )2 ( 1 )2 ( 2 )2 ( 3 )2 = 0
r r = 0
JVR 4 (2009) 3 33 - 42
(17.b)
36
Septiembre, 2009
lo cual significa que j est sobre el cono de luz con vrtice en el evento en cuestin. Por lo tanto,
de acuerdo a (16.a) se tienen dos eigenvectores nulos linealmente independientes:
Fba a = a
(18.a)
Fba b = a ,
1
1
r = r = 0 , = I1 + I12 + I 22 2 ,
2
r
(18.b)
y sin prdida de generalidad son seleccionados tales que:

(18.c)
a a = 1
En Algebra Lineal [4] se conoce que una matriz puede reconstruirse a partir de sus valores y
vectores propios, que en el caso del tensor de Faraday queda explcito con la relacin [1]:
Fab = ( a b b a ) + abqr q r
(19.a)
en donde tiene el mismo signo que I 2 :

1
= I1 + I12 + I 22 2 , I 2 > 0 , = 1
(19.b)
Con (18.b,c,19.a) son inmediatas las expresiones (18.a), pero adems el uso de (19.a) en (9.a)
muestra que el tensor Dual es generado va:
(20.a)
F = + q r ,
ab
a b
b a
abqr
con los mismos eigenvectores pero asociados a distintos valores propios:
(20.b)
Fba b = a ,
Fba b = a
En [11-14] se ilustran (18.a,19.a) para el campo electromagntico de Linard Wiechert [2].

Las expresiones (19.a,20.a) permiten demostrar identidades algebraicas para la matriz de
Faraday y su Dual [7,15,16] :
F ab Fbr =
I2 a
r
4
I1 a
r
2
I
I
Frb F bq Fqa = 1 Far + 2 Far
2
4
F ab Frb F ab Frb =
JVR 4 (2009) 3 33 - 42
(21.a)
,
,
(21.b)
(21.c)
37
Septiembre, 2009
que tambin pueden deducirse mediante las representaciones (4.a, 6.a). Las relaciones (21) son
bsicas al determinar las trayectorias de partculas cargadas en un campo electromagntico uniforme
[7-10,15]. De (21.a) es inmediato que:
4
~
F 1 =
I2
I2 0 ,
(22.a)
es decir, la matriz Dual proporciona la inversa de F cuando I 2 0 , lo cual hace sospechar que
este invariante est relacionado con el determinante de F , en efecto, la ecuacin caracterstica

(14.b) implica [5,6]:
t
e
r r
I2
~
F = 2 = cB E
16
(22.b)
entonces existe F 1 en los puntos donde B no es ortogonal a E . De (21.a, c) resulta la identidad:
I ~
I2 ~ ~
~
F4 + 1 F2 2 I = 0
2
16
(23)
que es precisamente el Teorema de Cayley Hamilton [4] asegurando que F satisface la ecuacin
caracterstica (14.b).
El tipo C indicado en (15) corresponde a un campo electromagntico nulo lo cual es:
I1 = I 2 = 0 ,
(24)
Fba K b = 0 ,
(25.a)
y por (16.c) slo se tiene el eigenvalor cero:
Puede demostrarse [1,17] que K r es nulo y que tambin es eigenvector del tensor Dual:
Fba K b = 0 ,
(25.b)
Fab K r + Fbr K a + Fra K b = 0
(25.c)
lo cual equivale a:
La reconstruccin de F se logra mediante la expresin [1,17] :
Fab = K a Z b K b Z a
JVR 4 (2009) 3 33 - 42
Fab = abpq K p Z q
(25.d)
38
Septiembre, 2009
K r Z r = 0 , Z r Z r = 1 ,
en donde el vector tipo-espacio unitario Z r no es nico, en efecto, es claro que en (25.d) a Z r puede
sumrsele K r , con arbitrario, sin que se alteren dichas relaciones.
Con (21,24) resultan las siguientes identidades vlidas para toda F tipo C:
~
FF = 0
~~
F2 = F2
~
~
F3 = 0
(26)
tambin demostrables con (25.d).
El vector nulo real K b es una Direccin Principal Nula de F tipo C porque verifica las
propiedades (25.a, b):
(27.a)
Wab K b = 0 ,
con el tensor antisimtrico complejo:
Wab = Fab + i Fab
(27.b)
, i = 1
~
Los vectores a y a , para el tipo A, son Direcciones Principales Nulas de F porque no satisfacen
(27.a) pero s cumplen con [17]:
( rWab aWrb ) b = 0
, r = r yr
(27.c)
lo cual es inmediato de (18,19,20).

Enfatizamos que en (25.a,b) el vector nulo K b es nico (excepto por un factor de escala) porque no
existen dos eigenvectores nulos, linealmente independientes, para el valor propio cero. Adems, una
vez seleccionado Z r en (25.d), tambin es nico el vector propio Y r unitario y tipo espacio:
FbaY b = 0
Y r Zr = Y r Kr = 0
Y r Yr = 1
(28.a)
que permite escribir al tensor Dual en la forma:
Fab = K aYb K bYa
de donde es inmediato que Z r es un eigenvector tipo espacio de
JVR 4 (2009) 3 33 - 42
Fba Z b = 0 Fba Z b = K a
(28.b)
~
~
F , pero no de F :
(28.c)
39
Septiembre, 2009
Este trabajo est principalmente dedicado al tensor de Faraday, sin embargo, es interesante realizar
una aplicacin al tensor de energa - momento de Maxwell definido por [1,2,18] (excepto por un
factor dependiente de las unidades empleadas):
T ab = F ar Frb +
I1 ab
g
4
(29.a)
el cual es simtrico debido a la equivalencia relativista entre masa y energa, y con traza nula por que
es cero la masa en reposo del fotn:
T ab = T ba
(29.b)
Taa = 0
Entonces para el tipo A se multiplica (29.a) por b y b , y se utilizan (18.a), as resulta que dichos
vectores propios de F y F tambin lo son del tensor de Maxwell con el mismo eigenvalor:
Tba b =
1 2 2 a
+
2
r = r yr
(30.a)
y en virtud de (18.b, 19.b) son vlidas las relaciones:
2 2 =
I1
2
I2
4
2 + 2 =
1 2
I 1 + I 22
2
(30.b)
Al emplear (18.c, 19.a, 30.b) en (29.a) se obtiene a T ab en trminos de sus eigenvectores nulos y de
la mtrica de Minkowski g ab = Diag (1,1,1,1) :
1
T ab = 2 + 2 a b + b a g ab
2
(30.c)
Para el tipo C la sustitucin de (24,25.d) en (29.a) conduce al tensor de Maxwell de carcter

radiativo:
(31.a)
T ab = K a K b ,
que en unin de (25.d,28.a) permite mostrar sus vectores propios:
Tba K b = Tba Z b = TbaY b = 0
(31.b)
De (30.c,31.a) son evidentes las propiedades (29.b), y tambin las importantes Condiciones de
Rainich [19-22]:
T abTrb =
JVR 4 (2009) 3 33 - 42
1 mn
T Tmn ra
4
(32.a)
40
Septiembre, 2009
en donde:
T mnTmn = 2 + 2
)2 = 14 (I12 + I 22 )
(32.b)
Es muy interesante hacer notar que un cambio de fase en el vector complejo de Faraday (11):
~r ~r
r r
cB+iE =ei cB+iE ,
(33.a)
es equivalente a las Rotaciones de Dualidad [16,19, 20, 23, 24] :
~r
r
E
cos sen E
~r = sen cos r ,
cB
cB

(33.b)
induce la misma rotacin en las matrices F y F :

~ ab
F
cos sen F ab
=
,
F ab sen cos F ab
(33.c)
pero una rotacin de ngulo doble en los invariantes (10):

~I1 cos (2 ) sen(2 ) I1
=

~I sen(2 ) cos (2 ) I 2
2
(33.d)
S ahora empleamos (33.c, d) en (29.a) resulta el notable hecho de que el tensor de Maxwell es
invariante ante Rotaciones de Dualidad:
~
T ab = T ab
(34.a)
y como este tensor se relaciona con la energa y el momento electromagnticos, por lo tanto es
natural sospechar que la invariancia (34.a) ste asociada a una ley de conservacin, y en efecto,
como las ecuaciones (1) son deducibles de un principio variacional [25] entonces mediante el
Teorema de Noether [25-27] para las transformaciones (33.a) puede obtenerse la ecuacin de
continuidad [18]:
r 1 r r
1
0 2
2
E +
+
B
E B = 0 ,
2 0
t 2
0
(34.b)
entre el vector de Poynting y la densidad de energa electromagntica.
III.
JVR 4 (2009) 3 33 - 42
CONCLUSIN
41
Septiembre, 2009
Lo aqu realizado muestra que el estudio de la estructura del tensor de Faraday aporta una mejor
comprensin del campo de Maxwell.
REFERENCIAS
[1]
[2]
[3]
[4]
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
[22]
[23]
[24]
[25]
[26]
[27]
J. L. Synge, Relativity: The special theory, North Holland Pub., Amsterdam (1965)
Garca O., R. Linares, J. Lpez-Bonilla and A. Rangel M., Electron. J. Theor. Phys 5, No.18 (2008) 1-20
N. Hamdan, I. Guerrero M, J. Lpez-Bonilla and L. Rosales R., The Icfai Univ. J. Phys. 1, No.3 (2008) 52-56
D. T. Finkbeiner, Introduction to matrices and linear transformations, W.H. Freeman, San Francisco, USA (1966)
J. Lpez-Bonilla, J. Morales, G. Ovando and E. Ramrez, Proc. Pakistan Acad. Sci. 43, No.1 (2006) 47-50
J. H. Caltenco, J. Lpez-Bonilla and R. Pea, Aligarh Bull. Math. 19 (2000) 55-59
E. Pia, Rev. Mex. Fis. 16 (1967) 233
J. L. Synge, Proc. R. Irish Acad. A65 (1967) 27-41
J. H. Caltenco, J. Lpez- Bonilla and R. Pea, Indian J. Theor. Phys. 52, No.3 (2004) 179-183
J. H. Caltenco, J. Lpez-Bonilla and R. Pea, Nepali Math. Sci. Report 21, Nos.1-2 (2003) 31-38
V. Gaftoi, J. Lpez-Bonilla and G. Ovando, Aligarh Bull. Math. 17 (1977-98) 59-62
G. Arreaga, J. Lpez-Bonilla and G. Ovando, Indian J. Pure Appl. Math. 31, No.1 (2000) 85-91
V. Gaftoi, J. Lpez-Bonilla and G. Ovando, Canad. J. Phys. 79, No.1 (2001) 75-80
F. Felipe D., J. Lpez-Bonilla and I. Toledo, Galilean Electrodynamics 19, No.5 (2008) 82
J. Plebaski, Bull. Acad. Polon. Sci. Cl.9 (1961) 587 and 593
R. Penney, J. Math. Phys. 5, No.10 (1964) 1431-1437
A. Schild, Relativity theory and astrophysics. I, Lectures in Applied Mathematics vol. 8, Ed. J. Ehlers, Am. Math.
Soc. (1967) 1-104
A. Lpez- Dvalos and D. Zanette, Fundamentals of electromagnetism, Springer Verlag, Berln (1999)
G. Y. Rainich, Trans. Amer. Math Soc. 27 (1925) 106-136
J. A. Wheeler, Geometrodynamics, Academic Press, NY (1962)
D. Lovelock, Gen. Rel. Grav. 4, No.2 (1973) 149-159
J. H. Caltenco, J. Lpez-Bonilla and R. Pea, Prog. Phys. 3 (2007) 34-35
C. W. Misner and J. A. Wheeler, Ann. of Phys. 2, No.6 (1957) 525-603
G. F. Torres del Castillo, Rev. Mex. Fs. 43, No.1 (1997) 25-32
C. Lanczos, The variational principles of mechanics, University of Toronto Press (1970)
E. Noether, Nachr. Ges. Wiss. Gttingen 2 (1918) 235-257
C. Lanczos, Bull. Inst. Math. & Appl.9, No.8 (1971) 253-258
JVR 4 (2009) 3 33 - 42
42

Tensor de Faraday Su Estructura Algebraica

Încărcat de

Informații document

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Tensor de Faraday Su Estructura Algebraica

Încărcat de

Drepturi de autor:

Formate disponibile

Journal of Vectorial Relativity

JVR 4 (2009) 3 33-42