Professional Documents
Culture Documents
RADIACION
Zbigniew Oziewicz
Universidad Nacional Autonoma de Mexico
Facultad Estudios Superiores
C.P. 54714 Cuautitlan Izcalli, Apartado Postal # 25, Estado de Mexico
oziewicz@servidor.unam.mx
May 5, 2007
RESUMEN
Presented at: International Conference on Applied Analysis, Queretaro, 2007. Segundo Congreso Cientifico Tecnologico, Cuautitlan 2007.
Supported by Programa de Apoyo a Proyectos de Investigacion e Innovacion Tecnologica, UNAM, Grant PAPIIT # IN104908.
ABSTRACT
A solution of the Maxwell differential linear equations, the electric and magnetic fields {E, B}, is said to be the electromagnetic radiation, if and only if
there is a transport of energy, i.e. if the Poynting vector does not vanishes in
no-one reference system, E B 6= 0. It is known [Heaviside 1893; Lightman
et al. 1975, Chapter 4, Problemas 4.5-4.6; Choquet-Bruhat et al. 1977, . . . ,
1996, Problems in Chapter V], that this is the case if and only if holds the two
nonlinear algebraic conditions, E B = 0, y, E2 = B2 , to which we refer the
exterior equations of the Pl
ucker. It is proposed, to solve first the non-linear
Pl
ucker algebraic equations, and after look for solutions of the linear differential Maxwells equations. In this way it is shown that each electromagnetic
radiation needs no more than two scalar fields introduced by Yamaleev in
2005. These scalar fields are conceptualy diffrent from introduced by Edmund Whittaker in 1904, and are distinct from Debye potentials.
Physics and Astronomy Classification Scheme (PACS)
Contenido
1 Que es la radiaci
on electromagn
etica?
2 Los campos el
ectrico y magn
etico
son relativos
13
14
5 Radiaci
on electromagn
etica
= Pl
ucker + Maxwell
15
A Algebra
de Hermann Grassmann 1844
18
B Tensor metrico
20
C Orientaci
on y seudo-tensores
21
23
E Operadores diferenciales
- independientes de las coordenadas
25
26
G Divergencia
es independiente de coordenadas
27
29
Que es la radiaci
on electromagn
etica?
E2 = B2 .
(1)
etc.
(2)
Las expresiones de Whittaker sufrio defecto que no son simetricos en coordenadas x, y, z. Por otro lado, la pareja de potenciales escalares de Peter
Debye, {E , M }, permite expresar los campos electrico y magnetico tambien como las segundas derivadas parciales, donde index-trashed expresiones
son simetricas en coordenadas x, y, z,
Ek ' 2(1 + xi i )k E xk k2 E + k ct .
(3)
(4)
Los campos el
ectrico y magn
etico
son relativos
Oliver Heaviside desde 1876 publico muchos artculos sobre fenomenos electromagneticos y propagacion de ondas electromagneticas, y ademas una
monografa Electromagnetic Theory en tres vol
umenes, [1893, 1899, 1912].
Entre muchos otros logros, Oliver Heaviside demostro en 1888, que los campos electricos y magneticos son relativos, son dependientes de eleccion de
marco de la referencia!
La mayora de los profesores y alumnos de las carreras de Ingeniera e
Ingeniero Mecanico-Electricista en particular, pueden considerar que la relatividad de los campos electricos y magneticos, pueden ser ignorados para los
Ingenieros, y que para problemas de Ingeniera Electrica y Electronica es suficiente considerar solamente un marco de referencia, planeta Tierra, Tierra
en repaso. Con este punto de vista la teora de relatividad, que dio inicio
Oliver Heaviside en 1888, y cual presentacion mas conocida es de Albert Einstein en 1905, y menos conocida, pero mas clara y profunda, de Hermann
Minkowski en 1908, se puede, o incluso debe ser, ignorada totalmente en
la ense
nanza de electromagnetismo para los Ingenieros. Se considera que la
teora de la relatividad, y la relatividad del campo electrico E en particular,
solamente complica la teora de electromagnetismo, y no es ninguna ventaja
para la carrera del ingeniero mecanico electricista. Por lo tanto los textos
de electromagnetismo, y los programas de ense
nanza de electromagnetismo,
ignoran totalmente la teora de la relatividad.
Un objetivo de este articulo es tratar de convencer que la teora de relatividad no solamente profundiza entendimiento de electromagnetismo, pero
5
E(R)
+
B(R)
,
v
R
1
c
o
n
(5)
< ,
1 v p
v
1 v2 /c2
B(P ) = v B(R) R E(R) .
c
Debe notarse que las formulas de Heaviside (5), son estrictamente verdaderas
solamente si la velocidad relativa es perpendicular a los campos electrico y
magnetico, v E(R) = 0 = v B(R). En continuacion, para simplicidad, se
usaron unidades tales que la magnitud escalar de velocidad de la luz sea uno,
c = 1.
La fuente de campo electrico E es una carga electrica (y/o spin en movimiento).
En caso si marco de referencia, un observador R, esta en reposo relativo a
carga electrica de fuente, este observador detecta con su medidas la presencia
de no-cero campo electrico, E(R) 6= 0, pero cero campo magnetico B(R) = 0.
Pedro P, el cual se mueve con velocidad v relativa a la carga electrica de
fuente, es decir se mueve relativo a Rosa R, detecta no cero campo magnetico
6
2.1 Definici
on (Hermann Minkowski 1908). Sea, (Obs)2 = 1.
E(F, Obs) (Obs) F,
(7)
(8)
(9)
(10)
2.5 Definici
on (Producto cruz (o vectorial) de Gibbs). Para el Producto
cruz de los vectores necesito el producto de Grassmann y estrella de Hodge
(Apendice C). Este producto no se puede definir como una sola expresion en
(11)
(12)
2.7 Definici
on (Vector de Poynting 1884; Heaviside 1893). Una energa que
transporta una radiacion electromagnetica es relativa, es dependiente del observador R, y es dada por el vector de Poynting, E(F, R) R B(F, R). Se dice
que el campo electromagnetico absoluto F es una radiaci
on electromagnetica
si y solo si para cada observador R, el vector de Poynting no desaparece,
R,
E(F, R) R B(F, R) 6= 0.
(13)
(14)
(15)
vE=0
vB=0
v = f (E P B) = f ? (E P B),
(16)
vP =0
cf. [Lightman et al. 1975, Capitulo 4, Problema 4.5].
Insertar las formulas de Heaviside (5), dentro del vector de Poynting de
Pedro, y este resulta en ecuacion (14). En geometra no-Euclideana, la forma
de volumen es timelike, 2 = 1, ver Ejercicio D.5. Entonces
v2
= f 2 (E B)2 = 1 f (E2 + B2 ),
c2
p
2f (E B)2 = E2 + B2 4.
10
(17)
(18)
Aqu, E2 + B2 , es densidad de energa de campo electromagnetico (dependiente de marco de referencia). Entonces el vector de Poynting de Pedro se
nula (no transporte de energa) para la velocidad relativa
v2
E2 + B2 4
.
(19)
= 2
c2
E + B2 4
Entonces, v2 = c 2 , si y solo si, 4 = 0. Por lo tanto la condicion, 4 = 0, es
necesaria y suficiente para que el vector de Poynting de transporte de flujo de
energa no se nula en ninguna marca de referencia, es decir, esta condicion
es necesaria y suficiente para que una solucion de ecuaciones de Maxwell,
{E, B}, sea la radiacion electromagnetica.
La radiacion electromagnetica tambien se llama campo electromagnetico
puro y nulo [Robinson 1961; Choquet-Bruhat et al. 1977, 1996].
2.9 Corolario. Pl
ucker: un algebra de radiacion,
F ?F = 0
F F =0
F2
'
F (?F ) '
E2 B2 = 0,
2 B E = 0.
(20)
2.10 Comentario (Idea principal). Primero resolver las condiciones algebraicas non-lineales de radiacion (20). Determinar el mas general campo
electromagnetico absoluto F para la cual se cumplieron las condiciones algebraicas (20). En segundo paso resolver las ecuaciones diferenciales lineales
de Maxwell.
En la metodologa historica de los textos sobre de radiacion de ondas
electromagneticas, es al contrario. Primero se buscan las mas generales soluciones de las ecuaciones diferenciales de Maxwell (en terminos de los potenciales electromagneticos, F = dA), y el segundo paso seleccionar entre estas
soluciones, las que corresponden a la radiacion electromagnetica, es decir, las
cuales transportaron no-nula energa.
Las condiciones necesarias non-lineales para la radiacion electromagnetica,
son condiciones algebraicas cuadraticas, (20), conocidas como ecuaciones de
Pl
ucker, para que una bi-forma F este decomposable (es decir pura), y nula,
F F = 0 = F (?F )
F = k l,
F 2 = 0,
(k l)2 = k 2 l2 . (21)
(22)
(23)
demuestra que el bivector F puro y nulo, tiene vector de onda k, tal que,
F = k l,
2
kl
kl
(24)
k 2 l = k 2 2 = 0.
l
l
2.12 Corolario. Sea F 6= 0, k F = 0, k F = 0. Entonces, k 2 = 0, y k es
una forma diferencial de onda,
kF =0
= k 2 F = (ik ek ek ik )F = 0.
(25)
kF =0
Si F = k l, entonces, l F = l2 k.
Teorema 2.11 dice que el vector de onda k es un vector de Killing de
simetra de radiacion F. Claro, que ademas de F, tambien ?F es puro y nulo.
Debido que, F ?F = 0, estos bivectores tienen en com
un un vector de onda,
?F = k m. Los formas l y m describen polarizacion de radiacion.
2.13 Ejercicio. Deduce los siguientes productos escalares,
m k = 0 = m l,
m2 = {det (g 1 )} l2 .
(26)
Seg
un la definicion de Minkowski 2.1, el campo electrico de radiacion,
como lo detecta Rosa, es dado como, E(R) = (kR)l(lR)k, donde el escalar,
kR, es energa (frecuencia) de radiacion como lo detecta la observadora Rosa
R.
12
(27)
(28)
ver Corolario H.2. Para mas sobre esta tema referirse a trabajos de [Dirac
1928; De Rham 1931; Riesz 1946; Kahler 1961]. Para las formas homogenea
de grado fijo, como es el campo electromagnetico absoluto F de grado dos,
tenemos
(grad + div)F = 0
grad F = 0 &
div F = 0
(29)
F = Hertz,
(30)
0 = (div grad)A, es un mitad de ecuacion de onda (27). Para recibir la exacta ecuacion de onda para potencial electromagnetico A, Ludwig Lorenz en
Dinamarca en 1867, introdujo la extra condicion, conocida como una norma
de Lorenz, la cual es suficiente, pero no necesaria, div A = 0, o la cual es
necesaria (grad div)A = 0. La Norma de Ludwig Lorenz, para tratamiento
de radiacion electromagnetica de los fotones, es fuente de problemas, debido
a que esta norma, como cualquier otra, por ejemplo la norma de Coulomb,
no es ley de fsica.
Concluimos esta Seccion. La Ecuacion diferencial de onda (de DAlembert)
para el potencial electromagnetico, necesita ademas de ecuaciones experimentales de Maxwell, una norma matematica de Ludwig Lorenz, la cual no es
ley de fsica.
Radiaci
on electromagn
etica
= Pl
ucker + Maxwell
En uno de los textos mas conocidos de fsica teorica, el texto de Landau &
Lifshitz [desde 1941,. . . ,1975, Capitulo 9], una radiacion electromagnetica se
define como la solucion de la ecuacion de onda la cual esta lejos de las fuentes
de radiacion. Esta
definicion no subraya (a
un omita), una propiedad mas
importante de radiacion, que la radiacion no es fenomeno lineal. La misma
definicion de radiacion electromagnetica se encuentra en casi los todos textos,
ver tambien [Jauch y Rohrlich 1955, 1976, primera pagina del Capitulo 2
Radiacion Electromagnetica].
En este texto deseamos ser muy claros, y definimos la radiacion electromagnetica como las particulares soluciones de las ecuaciones lineales diferenciales de Maxwell, las cuales cumplieron con condiciones algebraicas nolineales de Seccion 2, es decir, soluciones de ecuaciones de Maxwell que transportaron energa electromagnetica. Esta definicion se reduce al sistema de las
cuatro ecuaciones para el campo electromagnetico absoluto F, para perfecto
dielectrico y dimagnetico,
F F = 0,
dF = 0,
F = 0,
F 2 = 0.
(31)
15
A = d
A = d
A = d + d
A = d + d
=
=
=
=
dA = 0
A dA = 0
(dA) (dA) = 0
(dA) (dA) 6= 0.
(32)
Ecuacion, dF = 0 (a veces llamado identidad de Bianchi), implica un potencial A tal que, F = dA. Desde cuatro posibilidades en clasificacion de
Darboux, solamente class 2 y 3 cumplieron con, F F = 0. Entonces,
F = d d.
Esto significa que cualquier radiacion electromagnetica se describe en
terminos solamente de los dos campos escalares. El campo electromagnetico,
y en particular la radiacion electromagnetica en terminos de la pareja de
los campos escalares fue considerado en totalmente otro enfoque, aparte de
Whittaker en 1904, por Petrus Debije (Peter Debye) alrededor de 1910, por
Synge [1965], Stachel [1969], Hogan [1987]. Los todos estos esfuerzos presentaron los campos electrico y magnetico, como la segunda derivada de los
campos escalares (potenciales) de Debye, [Garcia-Olivo et al. 2006, 2007].
Robert Yamaleev en 2005 adivino presentaciones de los campos electrico y
magnetico en terminos de la primiera derivada de los dos campos escalares
(potenciales de Yamaleev).
Vale recordar que el espacio-tiempo es absoluto, es independiente de los
observadores. Minkowski en 1909 uso la frasa absolute World for what is
presently known as espaciotiempo.
Por lo tanto, el sistema de ecuaciones para radiacion electromagnetica en
terminos de la pareja de los campos escalares {, }, se reduce a la siguiente
ecuacion diferencial (34), donde, 4 = d, es un operador de DAlembert
para ondas escalares en espaciotiempo, y una condicion algebraica,
F 2 = {(d) (d)}2 (d)2 (d)2 = 0,
16
(33)
(37)
inercial
holonomic
(38)
div{B(R)} = 0 dgR = 0, i.e. R es
integrable
Robert Yamaleev adivino los expressiones (36) para la observadora inercial
R = t , [Yamaleev 2005, Seccion 3, page 5].
17
(39)
(40)
Algebra
de Hermann Grassmann 1844
A.1 Definici
on (Variedad). La variedad (manifold), es un objeto que tiene
dimension entera, N, como por ejemplos los puntos, curvas, superficies,
volumenes, etc. Ademas para ser variedad, requermos que variedad de dimension n tiene una cadena de los subvariedades orientables,
n
{0 1 . . . (n 1)
n}
(41)
n=1:
{x} {dx}
dimy
ydim
n=2:
dimy
ydim
d
(43)
1 1
1
2
Este trabajo espera que el lector conozca la idea principal del algebra de
Grassmann, la cual Hermann Grassmann invento en su primera monografa
en 1844. La tema del algebra de Grassmann lo desarrollamos en un Curso en
Lnea de Calculo para electromagnetismo en el marco de la Coordinacion
de Universidad Abierta y Educacion a Distancia de la UNAM [Oziewicz, en
preparacion].
Vale pena mensionar que triangulo de Pascal no debe ser interpretar unicamente como dimensiones de los espacios o modulos (submodulos de una
19
n=0
1
d
/1
/2
/1
/3
/3
/1
/4
/6
/4
n=1
n=2
n=3
n=4
|
k=0
1
1
k=1
k=2
k=3
k=4
Tensor metrico
20
/1
k {1 , 2 , . . . , n }
{1, 2, . . . n} 3 k ]
g 1
Orientaci
on y seudo-tensores
(n k) {1 , 2 , . . . , n }
{1, 2, . . . , n} 3 k _
1
21
triangulo de Pascual,
{0, 1, 1 , 2, 2 , . . . , n, n },
(44)
0 = 0
22
(45)
(46)
Choquet-Bruhat et al., desde 1977, 1996 Capitulo V.4, pagina 295], donde
las propiedades de la estrella son escondidas.
Nosotros preferimos definir la estrella de-Hodge en terminos de las siguientes propiedades, que incluyen la formula explcita para calcular.
D.2 Definici
on. Las dos estrellas-de-Hodge, una estrella sobre multivectores, y otra estrella sobre multiformas, se definen como conmuta con isomorfismo de producto escalar, y con isomorfismo de Weyl,
g ? ? g ,
? ? ,
(47)
multi-formas
multi-vectores
g 1
?
?
g
g
multi-vectores
multi-formas
multi-vectores
g 1
Figure 6: La definicion de las estrellas de Hodge ?
El lector puede verificar que diagramas conmutativos en Figura 6, son
equivalentes, una implica otra. Kocik observed non uniquennes of the Hodgestar (two conventions) and that the metric tensor needs not to be symmetric,
we refer to Kociks WEB-page [Kocik]. Diferente Kociks convenciones para
estrella, son como sigue
on multivectors: ? = 1
g
on multiforms: ? = g 1
o ?1 = g 1
o ?1 = g 1
(48)
24
Grassmann Alg
Grassmann Alg
a la derecha
?
?
y
y
(49)
ie
Grassmann Alg
Grassmann Alg
(50)
Operadores diferenciales
- independientes de las coordenadas
(51)
0 = 0 grad
d
g
g 1
1
...
grad
...
g 1
g
grad
grad grad = 0.
grad F = 0, donde el campo electromagnetico F es un bivector que es una superposicion, una mezcla, de los campos magnetico y electrico, [Minkowski
1908, Landau y Lifshitz desde 1941; Ingarden & Jamiolkowski desde 1979],
F ' ?{(observador) B} + E (observador).
(52)
Divergencia
es independiente de coordenadas
0 = 0
g 1
...
g 1
div
1
div
...
div
div rot 0.
(53)
Pero los mas importantes son otros dos, que son casi desconocidos,
grad grad 0,
div div 0.
(54)
(55)
div i + i div = id
28
grad der(Alg.
Grass)
div 6 der(Alg.
Grass)
(56)
H.1 Definici
on. rot 1
on diferencial, rot F = 0, es
d g . La condici
conocida como el campo F no es rotacional (irrotacional).
?1 g 1
?1 ' ?.
(57)
rot grad 0.
(58)
(59)
div X = 0.
(60)
Referencias
Arnold V. I., Mathematical Methods of Classical Mechanics,
jamnin/Cummings, Reading, MA, 1978
Ben-
Campbell W. P., and T. Morgan, Debye potentials for the gravitational field,
Physica 53 (1971) 264288
Choquet-Bruhat Yvonne, Cecile DeWitt-Morette, with Margaret DillardBleick, Analysis, Manifolds and Physics, Part I: Basic, Elsevier Amsterdam, 1977, nuevo impresiones, 1996
Cruz Guzman, Jose de Jes
us, and Zbigniew Oziewicz, Four Maxwells equations for non-inertial observer, Bulletin de la Societe de Sciences et
des Lettres de Lodz (2003) Volume LIII, Serie: Recherches sur les
Deformations. Volume XXXIX. Pages 107140
Cruz Guzman, Jose de Jes
us, y Zbigniew Oziewicz, Ninguna influencia
de relatividad a electricidad y magnetismo?, Primer Foro acerca de la
Ense
nanza de la Fsica para Ingenieros. UNAM, Facultad de Ingeniera,
2004
Ellis George, and Peter A. Hogan, Aspects of asymptotic electromagnetic
fields, Annals of Physics 210 (1991) 178237
Fecko Marian, On 3+1 decompositions with respect to an observer field via
differential forms, Journal of Mathematical Physics 38 (9) (September
1997) 45424560
Garca-Olivo R., R. Linares y M., Jose Luis Lopez-Bonilla, and A. RangelMerino, Charged point particles in arbitrary motion, 2006
Garca-Olivo R., R. Linares y M., Jose Luis Lopez-Bonilla, and A. RangelMerino, Li`enard-Wiechert electromagnetic field, Electronic Journal of
Theoretical Physics 4 (2007)
30
Lichnerowicz Andre, Relativity theory and mathematical physics, in: Astrofisica e Cosmologia, Gravitazione, Quanti e Relativit`a, Giunti
Barb`era, Firenze 1979
Lightman Alan P., William H. Press, Richard H. Price, Saul A. Teukplsky,
Problem Book in Relativity and Gravitation, Princeton University Press
1975
Misner Charls W., and John Archibald Wheeler, Annals of Physics 2 (6)
(1957) 525603
Oziewicz Zbigniew, Electric field and magnetic field in a moving reference
system (abridged abstract). In: M. R. Adhikari, Editor, Physical Interpretations of Relativity Theory Session, in International Symposium on
Recent Advances in Mathematics, Kolkata 2006, pages 4753
Oziewicz Zbigniew, Electric field and magnetic field in a moving reference
system, Review Bulletin of Calcutta Mathematical Society, Volume 16
(1) (2008) 4966
Oziewicz Zbigniew, Calculo para electromagnetismo, un Curso en Linea en
marco de Coordinacion de Universidad Abierta y Educacion a Distancia,
en preparacion 2007
Robinson Ivor, Null electromagnetic fields, Journal of Mathematical Physics
2 (3) (1961) 290291
da Rocha Roldao, and Igor Leite Freire, Spacetime deformations and electromagnetism in material media, arXiv:physics/0502012
Stachel J., Physical Review 180 (1969) 1256
Synge John L., Relativity: the special theory, North-Holland Publisher 1965
Torres del Castillo, Method of adjoint operators and Debye potentials, Revista Mexicana de Fsica 35 (1989) 282290
Weyssenhoff Jan, Duale Groen, Grorotation, Grodivergenz, und die
Stokes-Gauschen Satze in allgemeinen Raumen, Annales Sociedad
Polonae Mathematicae 16 (1938) 127144
32
33