Apuntes Mario

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA
Tema 1 FUNDAMENTOS DE ELECTRODINMICA CLSICA

1. 1. Ecuaciones de Maxwell en el vaco
La forma diferencial de las ecuaciones de Maxwell en el vaco (expresadas en el Sistema Internacional de unidades) es la siguiente:
E = (ley de Gauss); 0
[1]
E =
(ley de FaradayLenz);
B t
[2]
B = 0 (ley de inexistencia del monopolo magntico), y E t
[3]
B = 0 J + 0 0
[4]
(ley de AmpreMaxwell), donde las constantes reales 0 y 0 son, respectivamente, la permitividad (elctrica) y la permeabilidad (magntica) del vaco ( 0 = 8.85 10
12
Fm
; 0 = 4 10
NA
).
En estas ecuaciones, asumimos que las partculas portadoras de carga elctrica conforman un continuo cuya densidad de carga volumtrica viene dada por la funcin escalar r , t , de manera que, llamando Q a la carga neta encerrada en el volumen V, se satisfar
Q=
( )
d r .
[5]
Definimos la densidad de corriente J r , t como la magnitud vectorial cuya direccin y sentido son los del flujo de cargas y cuyo mdulo es la corriente por unidad de rea a travs de una superficie perpendicular al flujo. Si consideramos un flujo de partculas cargadas con velocidad v , la densidad de corriente y la densidad de carga se relacionan segn J = v , de modo que obtendremos la razn total I a la que fluye la carga sobre la superficie S que limita el volumen V segn
( )
da . = J da = v n
S S
[6]
Si imponemos la conservacin de la carga neta i. e., que el ritmo de cambio con el que la carga fluye hacia fuera a travs de la superficie limitante sea igual a la razn temporal con la que disminuye la carga encerrada en el volumen, I = dQ dt , llegamos a la ecuacin de continuidad:

+ J = 0 . t
[7]
La ecuacin [7] no es independiente de las cuatro ecuaciones de Maxwell; de hecho, tomando divergencias a ambos lados de [4] (usando que la divergencia de un rotacional es siempre cero y asumiendo que se dan condiciones de regularidad para poder permutar derivadas temporales y espaciales),
J + 0 E = 0 ; t
[8]
llevando [1] a esta ltima expresin, es directo llegar a [7]. A diferencia de r , t y J r , t , las funciones vectoriales campo elctrico y campo magntico,
E r , t y B r , t respectivamente, carecen de realidad material: son ms bien abstracciones matemticas cuyos efectos pueden, no obstante, medirse en el laboratorio. En particular, consideremos
una carga de prueba de valor q en el seno de sendos campos E y B ; la dinmica de la interaccin entre la carga y los campos est dada por la fuerza de Lorentz: F = q E + v B
( )
( )
( ) ( )
).
1
[9]
Consideremos un sistema fsico con los dos ingredientes ya descritos: las partculas materiales que soportan la carga y cuyo movimiento propicia la aparicin de corrientes, y la interaccin entre aqullas caracterizada por los campos elctrico y magntico. En el caso ms general, las funciones y J no estarn dadas, sino que debern determinarse, junto con las funciones E y B , a partir de las ecuaciones [1], [2], [3] y [4]. Teniendo en cuenta que, de stas, dos de ellas son ecuaciones escalares (la primera y la tercera) y las otras dos son vectoriales, tenemos en total 1 + 3 + 1 + 3 = 8 ecuaciones para la determinacin de 1 + 3 + 3 + 3 = 10 incgnitas. Intuitivamente, deseamos emparejar el nmero de ecuaciones independientes y el nmero de incgnitas de nuestro problema, de modo que es un inconveniente tener dos incgnitas ms que ecuaciones. Por tanto, en adelante supondremos siempre, a no ser que se indique lo contrario, que las distribuciones de carga y su flujo son datos conocidos, i. e., y
J son funciones dadas por el problema 2.
1.Las cuatro ecuaciones de Maxwell [1], [2], [3] y [4] pueden adoptar un aspecto totalmente simtrico si introducimos una densidad de carga magntica m (por supuesto, hipottica) definida
por la expresin B = m (anloga a la ley de Gauss); dicha magnitud llevara aparejada una
densidad de corriente magntica J m que modificara la ley de FaradayLenz dejndola en la forma
E = B t J m (anloga a la de la ley de AmpreMaxwell). Asimismo, habra que ampliar la expresin de la fuerza de Lorentz para incluir la fuerza sobre cargas magnticas, quedando
F = q E + v B + q m B 0 0 v E . Obviamente, estas expresiones se reducen a las ya dadas en
el caso particular m = 0 .
2.Aunque an no estamos en condiciones de comprender los motivos, anticiparemos que los lmites de validez de la hiptesis anterior guardan relacin con los propios lmites de validez de la Electrodinmica clsica. Pensemos, por ejemplo, en una partcula cargada en el seno de un campo electromagntico que, por accin de la fuerza de Lorentz, describe un movimiento circular uniforme; la teora prev que, por causa de su aceleracin normal no nula, la partcula emitir radiacin. Vemos as que la partcula acta sobre su propia dinmica (i. e., sufre una autofuerza), lo que supone amortiguamiento en su rapidez de giro y decaimiento en su rbita, fenmenos vinculados al hecho de que la densidad de carga no puede ser un dato conocido de antemano.

Con la hiptesis anterior, hemos pasado a tener ocho ecuaciones para seis incgnitas, de manera que ahora conviene explorar la posibilidad de que dos de las ocho ecuaciones de que disponemos sean en realidad redundantes. Pensemos en el problema de valores iniciales: conocemos, en un instante t0 dado, las funciones B r , t 0 y E r , t 0 . Si estas funciones tienen realidad fsica, en dicho instante deben cumplir, respectivamente,
B r , t 0 = 0
( )
( )
( )
[10]
y
E r , t 0 =
( ) (r, t )
0 0
r , t 0 0 E r , t 0 = 0 .
( )
( )
[11]
Ahora consideremos que, tomando divergencias en [2], 0= B t
B r , t = B r , t 0 ,
( )
( )
[12]
que, comparado con [10], garantiza que [3] se satisfar para cada t>t0, i. e., dicha expresin no aporta ninguna informacin nueva a la ecuacin [2] y a la condicin inicial dada [10]. Igualmente, tomando divergencias en [4] obtenemos [8], que comparada con [7] arroja
= 0 E 0 E = 0 , t t t i. e.,
[13]
r , t 0 E r , t = r , t 0 0 E r , t 0 ,
( )
( ) ( )
( )
[14]
lo que, igualado con [11], garantiza que [1] se satisfar para cada t>t0, i. e., dicha expresin no aporta ninguna informacin nueva a la ecuacin [4] y a la condicin inicial dada [11]. As, hemos obtenido que para el problema de valores iniciales tenemos efectivamente seis ecuaciones independientes para seis incgnitas. No obstante, surge un nuevo inconveniente: habitualmente ningn problema de Electrodinmica ser de valores iniciales. Es decir, en general no partiremos del conocimiento de las soluciones de las ecuaciones de Maxwell en un instante dado, sino de los valores de los campos en algn conjunto de puntos del espacio, dados por las correspondientes condiciones de contorno. Para salir del atolladero, recurriremos a los denominados potenciales electromagnticos.
1. 2. Potenciales electromagnticos. Invarianza de gauge
Para la introduccin de los potenciales electromagnticos, empezaremos considerando los siguientes resultados generales del Anlisis Matemtico:
dado B con B = 0 r R
3
A r, t
3
dado F con F = 0 r R
( ) | B(r, t ) = A(r, t ); (r , t ) | F (r , t ) = (r , t ) .
[15] [16]

As pues, de [3] y [15] vemos que es posible introducir un potencial vector magntico A definido por la condicin
B = A.
Llevando [17] a [2],
[17]
E =
A A = 0, F A = E+ t t t
[18]
de manera que, por [16], podremos poner A t A t
E+
= E =
[19]
Con lo cual, [2] y [3] nos han permitido reducir el nmero de incgnitas de seis a cuatro ( A x ,
A y , A z y ). Las ecuaciones que deben satisfacer dichas magnitudes las obtendremos a partir de [1] y
[4]; as, llevando [17] y [19] a la ley de AmpreMaxwell, y usando la identidad vectorial
A A A ,
resulta
( ) ( )
[20]
A A = 0 J + 0 0 reorganizando, queda la ecuacin vectorial
( )
2 A A = 0 J 0 0 + 2 t t ; t t
[21]
2 2 0 0 2 A = 0 J + A + 0 0 . t t Por otro lado, llevando [19] a la ley de Gauss:
[22]
A = , t 0
[23]
i. e., queda la ecuacin escalar =

2
A . 0 t
[24]
Podemos encontrar un aspecto ms simtrico (con respecto a [22]) para [24] si restamos a ambos lados de dicha expresin la funcin 0 0 2 t 2 : 2 2 0 0 2 = A + 0 0 . 0 t t t
[25]
[22] y [25] constituyen un sistema de cuatro ecuaciones con cuatro incgnitas, cuya principal dificultad reside en que las ecuaciones no estn desacopladas. Podemos buscar alguna forma de desacoplarlas, pero para ello primero debemos estudiar la cuestin de si, para una pareja dada de

funciones E y B , los potenciales A y , definidos por las condiciones B = A y E = A t , estn o no unvocamente determinados. La respuesta es que no; tomando por caso el potencial vector, existen infinitas soluciones para A dado B . Ello se justifica porque, una vez encontrado un cierto A tal que B = A , siempre podemos tomar una funcin escalar arbitraria (diferenciable), sea f r , t , y definir
( )
A = A + f ,
de manera que, usando que el rotacional de un gradiente es siempre cero, f nuevo potencial vector satisfar B = A . Ahora, llevando [26] a la condicin E = A t ,
[26]
( ) = 0 , tambin el
A f f A E = A f = = , + t t t t t
de modo que, definiendo
[27]
f = , t
vemos que tambin el nuevo potencial escalar satisfar E = A t .
[28]
Al
verificarse
simultneamente
las
relaciones
E = A t = A t
B = A = A , decimos de los campos E y B que satisfacen la condicin de invarianza de gauge; llamamos libertad de gauge a la ambigedad o no unicidad de los potenciales electromagnticos dada por las ecuaciones [26] y [28]. Dicha no unicidad es, por s misma, argumento suficiente para negar cualquier realidad fsica a los potenciales electromagnticos y considerarlos como herramientas
puramente matemticas; recordemos adems que, a diferencia de E y B , ni A ni aparecen en la expresin de la fuerza de Lorentz 3. Veamos si podemos aprovechar la libertad de gauge para encontrar A y tales que el trmino entre llaves en las ecuaciones [22] y [25] se anule. Supongamos que hemos obtenido los potenciales A 0 y 0 verificando E = 0 A 0 t , y buscamos
f r, t
( )
tal que los potenciales alternativos
A = A o + f y = 0 f t satisfagan
3.No obstante, el efecto AharonovBohm a grandes rasgos, el fenmeno mecanocuntico por el cual una partcula cargada puede sufrir los efectos de un campo electromagntico pese a estar confinada en una regin donde los campos elctrico y magntico son ambos nulos ilustra que, de hecho, los potenciales electromagnticos s poseen realidad fsica. Pero, al ser este efecto un fenmeno puramente no clsico, la afirmacin de que toda la realidad fsica reside en los campos elctrico y magntico sigue siendo exacta en Electrodinmica clsica.

A + 0 0
i. e.,
2
= 0,
[29]
A o + f + 0 0
0 t
+ 0 0
f t
2
= 0,
[30]
que, reorganizando y designando la funcin escalar supuesta conocida H o = A o + 0 0 0 t , se reescribe como 2 2 0 0 2 f r , t = H 0 r , t : t
( )
( )
[31]
la ecuacin de ondas inhomognea con trmino independiente
H 0 . La teora de ecuaciones en
derivadas parciales garantiza la existencia de f, que de hecho no es nica: si a una solucin particular
f P r , t de [31] le sumamos una solucin f H r , t de la correspondiente ecuacin homognea, entonces la funcin resultante seguir siendo apta para nuestros propsitos.
En conclusin, resulta que los potenciales electromagnticos pueden escogerse de modo que las ecuaciones [22] y [25] adopten el aspecto
( )
( )
2 2 0 0 2 A = 0 J t
[32]
y
2 2 0 0 2 = , 0 t
[33]
donde [32] y [33] constituyen un sistema desacoplado de cuatro ecuaciones con cuatro incgnitas. La eleccin para A y que nos ha permitido llegar a este resultado se conoce como gauge de Lorenz (que no Lorentz) y no es la nica posibilidad que nos permite desacoplar las ecuaciones [22] y [25] 4. No debemos perder de vista que buscamos una solucin de la que podamos garantizar su unicidad. Por ello, necesariamente debemos imponer ciertas condiciones de contorno a nuestro problema; ahora bien, ya que hemos introducido los potenciales electromagnticos como meras construcciones matemticas carentes de significado fsico real, tendremos problemas a la hora de determinar o interpretar qu condiciones deben imponerse a stos en cada caso. En consecuencia, volveremos a la formulacin del problema original con E y B como incgnitas.
4.Otra opcin, conocida como gauge de Coulomb, pasa por escoger A de modo que su divergencia sea nula, lo cual, teniendo en cuenta [24], conduce a la ecuacin de Poisson para el
potencial escalar, = 0 . (Esta expresin es tpicamente la ecuacin para el potencial electrosttico, pero ello no debe confundirnos: hemos de tener presente que, en una situacin de campos variables, el potencial escalar se relaciona con el campo elctrico segn E = A t y
2
no segn E = .) De la ecuacin de Poisson despejamos la solucin para , insertamos el resultado en el anlogo de la expresin [22] en el gauge de Coulomb, i. e.,
( 2 0 0 2
t 2 A = 0 J + 0 0 t , y resolvemos finalmente para A .
1. 3. Ondas electromagnticas en el vaco. Ondas planas
La teora de ecuaciones en derivadas parciales la introduccin garantiza la existencia de E y B satisfaciendo el sistema de ecuaciones dado por [1], [2], [3] y [4]. De hecho, la solucin no es nica, ya que siempre podremos admitir como tal la suma de una solucin particular y una solucin al correspondiente problema homogneo, siendo esta ltima no trivial (i. e., no constante) en general. En
efecto, consideremos el problema homogneo ( = 0 y J = 0 ):
E = 0 ; B ; t
[34]
E =
[35]
B = 0 , y E . t
[36]
B = 0 0
[37]
Tomando rotacionales a ambos lados de [35], aplicando la identidad vectorial [20] para E y usando [34], E =
2
B t = t B ;
[38]
insertando [37] en [38],

2
E =
2 0 0 E 2 0 0 2 E = 0 . t t t
[39]
Ahora, tomando rotacionales a ambos lados de [37], aplicando la identidad vectorial [20] para
B y usando [36],
B = 0 0
2
E = 0 0 E ; t t
[40]
insertando [35] en [40],

2
B = 0 0
B 2 2 0 0 2 B = 0 . t t t
[41]
Comparando [39] y [41] con la ecuacin general de una onda f r , t velocidad v, f =

2
( ) que se propaga con

[42]
1 2 f v 2 t 2

vemos que las ecuaciones de Maxwell implican que el espacio vaco soporta la propagacin de ondas electromagnticas que viajan a la velocidad v= 1 0 0 donde la constante c es la velocidad de la luz en el vaco. En notacin compleja, escribimos como soluciones de [39] y [41] la forma general de sendas ondas planas E r , t y B r , t : = 3 10 m s
8
c,
[43]
( ) ( )
E r, t B r, t
( ) E = Re ( ) B
i (k r t ) , e 0
0
[44]
donde el vector de propagacin k y la frecuencia angular de onda deben satisfacer la restriccin k = 0 0

2 2
k=
, c
[45]
que es la relacin de dispersin del vaco, y los vectores constantes E 0 y B 0 son las amplitudes respectivas de los campos elctrico y magntico. Como consecuencia de la homogeneidad de las ecuaciones [39] y [41], dichos vectores son arbitrarios para satisfacer dichas condiciones; no obstante, no lo son para verificar el sistema de ecuaciones dado por [34], [35], [36] y [37]. En efecto, puede demostrarse que es necesario imponer la condicin B E =B n =n , =E B E n 0 0 0 0 0 0
[46]
E0 E y B B 0 B . (Es tpico situar los ejes cartesianos de modo que k k, E siendo n 0 0 0 0 =x =y , B y n =z .) En particular, se satisfar tengamos E 0 0
B0 = 1 E0. n c
[47]
Esta condicin es la denominada transversalidad de las ondas electromagnticas en el vaco. As que la solucin particular de [1], [2], [3] y [4] a la que aadamos una onda plana con las caractersticas que acabamos de describir, seguir siendo solucin de dicho sistema de ecuaciones, lo que ilustra la riqueza de este conjunto de soluciones. A continuacin, supongamos, por ejemplo, que hemos obtenido una solucin particular E P , B P
y que tomamos dos campos vectoriales constantes arbitrarios C 1 y C 2 para obtener la solucin alternativa
{E
+ C 1 , B P + C 2 , que obviamente tambin verifica [1], [2], [3] y [4]. No obstante,
fsicamente esta opcin carece de sentido si C 1 y C 2 no son ambas nulas, ya que para un instante de tiempo t fijo pero arbitrario hemos de imponer la condicin
Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA E r, t B r , t
( ) 0 ( )
r
5.
[48]
Pero existen muchas posibilidades para la dependencia funcional de E y B con r tales que
[48] se satisface: decaen los campos como e
, como r
1 2
, como r
, como r
? La opcin escogida
2
por la naturaleza en problemas de electrosttica y magnetosttica es una decadencia del tipo r , pero, como justificaremos en el futuro, las soluciones a problemas dinmicos nunca podrn exhibir este comportamiento. La solucin [44] al problema homogneo tiene periodicidad espacial, y por tanto nunca puede satisfacer la condicin [48]. Aun as, podemos, superponiendo para distintos valores de la frecuencia infinitas ondas planas (plane waves) deslocalizadas del tipo
W. P.
P. W.
(r, t ) =
i k ( ) r t
donde la
dependencia k ( ) viene dada en [45], obtener un paquete de ondas (wave packet) localizado
(r, t ):
W. P.
(r, t ) = A()
P. W.
( ) d ,
[49]
donde A( ) es una cierta funcin de peso de la frecuencia. En la integral anterior, hemos tomado r y t como parmetros, identificando
P. W. P. W. (r, t ). La nueva funcin dada por [49] s que satisface ( )
la condicin [48] y, en virtud de la linealidad del sistema dado por [34], [35], [36] y [37], es adems solucin del mismo. En conclusin, dicha condicin no basta para garantizar la unicidad del sistema dado por [1], [2], [3] y [4] 6.
1. 4. Energa y momento del campo electromagntico
Las leyes de conservacin de la energa y del momento electromagnticos son resultados de gran importancia. Abordaremos primero la conservacin de la energa, el llamado teorema de Poynting. Para
una carga aislada q, el ritmo de trabajo (o potencia) que sobre ella realizan los campos externos E y B es q v E , siendo v la velocidad de la carga (el campo magntico no realiza trabajo, dado que la fuerza magntica es perpendicular a la velocidad). Si existe una distribucin continua de carga y de corriente, usando la relacin conocida J = v vemos que la potencia de los campos en una regin finita D 0 es
D0
J E d r =
J E d r ,
[50]
5.No sucede as, por ejemplo, en el problema del campo elctrico creado por un plano infinito uniformemente cargado, o en el del campo magntico creado por un hilo indefinido de corriente si nos alejamos del origen en la direccin paralela al hilo. No obstante, estos problemas son idealizaciones que carecen, obviamente, de realidad fsica; en cualquier caso, nosotros estamos preocupados nicamente por situaciones en las que las cargas y corrientes permanecen confinadas en una regin acotada. 6.No es ste el caso del problema electrosttico. En efecto, aunando las ecuaciones bsicas de la
electrosttica, E = 0 y E = 0 , con [48], puede llegarse a la ley de Coulomb (i. e., una dependencia del campo electrosttico con la distancia de tipo r
2
) como nica solucin admisible.

donde D es otra regin arbitraria (fija en el tiempo) tal que D 0 D , y hemos supuesto que r , t = 0 para cada r D0 . Esta potencia se asocia con la conversin de energa electromagntica en energa mecnica y trmica, a la que llamaremos por simplicidad E variacin dE
mec mec
( )
, y por tanto identificaremos aqulla con la tasa de
dt .
Podemos eliminar J de [50] a travs de la ley de AmpreMaxwell [4]:
dE
mec
dt
B E E d 3r = 0 D 0 t
B E 3 d r D 0
dt
d
0
D
E d r ,
[51]
donde hemos usado que
d dt
E d r =2
3
E 3 Ed r . t
[52]
Si ahora aplicamos la identidad vectorial B E E B B E , tendremos, empleando la ley de FaradayLenz [2],
) (
[53]
( B ) E d r =
3
B E d r
B
D
B , t
[54]
que, haciendo uso de la relacin anloga a [52] para E en lugar de B , da
B E d r = E B d r D dt
B 3 d r, 2
[55]
lo cual, llevado a [51], resulta dE

mec 2 d EB 3 d B 3 d r = d r D dt dt D 2 0 0
0
D
dt
E d r .
[56]
Definiendo ad hoc la densidad de energa electromagntica en el vaco,
u
e. m.
0 2
B 2 0
2 2 2 E +c B , 2
[57]
de modo que E
es la energa neta residente en el campo electromagntico en la regin D, E

e. m.
ud r ,
[58]
podemos reescribir [55] en la forma
10

d dt S da , (E mec + E e. m. ) = D S d 3 r = n D
[59]
donde hemos aplicado el teorema de la divergencia. El vector S , que representa el flujo de energa, es el denominado vector de Poynting, EB 0 .
[60]
El significado fsico de [59] es que el ritmo de cambio de la energa electromagntica en un volumen dado ms el trabajo total realizado por los campos sobre las fuentes de stos (cargas y corrientes) contenidas en dicho volumen, es igual y de signo opuesto a la energa por unidad de tiempo que fluye hacia fuera a travs de la superficie que limita el volumen, lo cual constituye efectivamente un principio de conservacin de la energa. Por otro lado, notemos que, ya que la regin D es arbitraria, aunando [50], [58] y [59] es inmediato llegar a la expresin diferencial del teorema de Poynting: u + S = J E . t
[61]
Abordaremos ahora la conservacin del momento lineal para este mismo sistema. Teniendo en cuenta la expresin de la fuerza de Lorentz [9], y llamando P D 0 , la segunda ley de Newton nos permite escribir dP
mec
mec
al momento neto de las partculas en
dt
D0
( E + J B ) d r = ( E + J B ) d r .
3 3
[62]
Usando la ley de Gauss [1] y la ley de AmpreMaxwell [4] para eliminar y J respectivamente, podemos reescribir el integrando de [62]:
E + J B = 0 E E +
( )
B E E B = 0 E E c 2 B B 0 B , [63] 0 t t
( )
t
que, por la derivada del producto y la ley de FaradayLenz [2], E B ( E B)= B+E t t t da E + J B = 0 E E E E c B B
2
E t
B =
(E B )+ E ( E ), (
. ) t (E B )
[64]
( )
[65]
Si aadimos al miembro derecho de [65] el trmino c B B , que es cero segn [3], entonces podemos escribir E + J B = 0 f E + c f B
( )
()
, ( ) t (E B )
[66]
11

donde hemos definido la funcin
f :R R
Aa f A
As, llevando [66] a [62], dP
mec
()
con
f A = A A A A .
() ( )
( )]
( )
[67]
dt
= 0 f E + c 2 f B d 3r 0
D D
[()
(E B ) d r , t
3
[68]
donde la ltima integral puede identificarse con la tasa de decrecimiento del momento electromagntico neto correspondiente a la regin D, sea electromagntico g tal que
e. m.
dP
e. m.
dt , habiendo definido la densidad de momento
P i. e. usando que, por [60], es E B = 0 S ,
= g d 3r ,
D
[69]
g = 0 E B =
Con ello, de [68] nos ha quedado: d dt
S c2
[70]
(P
mec
+ Pi
e. m.
)=
0 fi E + c f i B d r ,
[()
( )]
[71]
donde el subndice i indica la componente isima del campo vectorial que corresponda. Para que [71] alcance la categora de ley de conservacin del momento, debemos transformar el miembro derecho de esta expresin en una integral de superficie de algo que podamos interpretar como un flujo de momento. A tal efecto, consideremos que en virtud de [67] podemos escribir
fi A =
()
A j x j
Ai ijk A j A
A j x j
Ai ijk A j klm
Am x l
7,
[72]
que, empleando las propiedades conocidas del smbolo de LeviCivita
ijk klm = kij klm = il jm im jl ,

puede ponerse como
[73]
fi A =
siendo
()
A j x j
Ai il jm A j
Am x l
+ im jl A j
Am x l
[74]
7.Aunque en el futuro no lo haremos a no ser que explicitemos lo contrario, en la demostracin que sigue usaremos el convenio de Einstein de sumas sobre ndices repetidos.
12

il jm A j Am x l = il A j A j x l = Aj A j x i
y
im jl A j
Am x l
= im A j
Am x j
= Aj
Ai x j
[75]
En definitiva,
fi A =
()
(
A j x j
Ai + A j
Ai x j
Aj
A j x i
x j
1 ( Ai A j ) 2
x i
2
(A j A j ) ,
2 2
[76]
o bien, usando que A j A j
) x i = ij (A j A j ) x j
y que A j A j = A1 + A2 + A3 es por definicin el
cuadrado de la norma del vector A ,
fi A =
()
2 1 Ai A j ij A . x j 2
[77]
Entonces, por el teorema de la divergencia,
( )
D
fi A d r =
2 2 1 1 3 Ai A j ij A d r = Ai A j ij A n j da . D x D 2 2 j
[78]
Llevando este resultado a [71],
(P dt
mec
+ Pi
e. m.
)=
0
2 2 1 1 E i E j ij E + c 2 B i B j ij B n j da . D 2 2
[79]
Definiendo el tensor de Maxwell Tij segn
Tij 0 E i E j + c 2 B i B j
podemos poner en forma compacta
2 1 2 E + c2 B ij , 2
[80]
(P dt
mec
+ Pi
e. m.
)=
Tij n j da .
[81]
Si [81] es una formulacin de la conservacin del momento, Tij n j
= Ti 1 n1 + Ti 2 n 2 + Ti 3 n 3 ha de
interpretarse evidentemente como la componente isima del flujo de momento por unidad de rea a travs de la superficie limitante del volumen D. En otras palabras, es la fuerza por unidad de rea que se transmite a travs de la superficie D y acta sobre el sistema compuesto de partculas y campos contenido en D. *** Como ejercicio de aplicacin prctica de lo expuesto arriba, abordamos a continuacin el estudio de algunas propiedades de un caso particular muy especial de ondas electromagnticas, las ondas planas en el vaco. Al igual que otras veces, denotamos por r , t el vector de seis dimensiones que engloba la solucin para E r , t y B r , t , e imponemos en primer lugar una dependencia temporal armnica:
( ) ( )
( )
13

r, t
( ) = Re[ r e ],
it
[82]
r dependiente de la posicin tomar en general valores complejos. De donde la nueva funcin acuerdo con [82], tendremos
r , t x i
( ) = Re (r ) e
x i
it
r , t
( ) = Re[ i (r )e ]. t
it
[83]
Se obtiene que, en estas condiciones, el sistema de ecuaciones [1][4] es estrictamente equivalente al dado por las ecuaciones de Maxwell armnicas independientes del tiempo:
() () E (r ) = i B (r ) ; B (r ) = 0 ,
E r = r 0 ;
[84] [85] [86]
y
B r = 0 J r i 0 0 E r ,
()
()
()
[87]
donde las nuevas funciones r y J r dependientes de la posicin, que toman valores complejos, son
it it
() () ] y J (r, t ) = Re[J (r ) e ]. La solucin para E (r ) y B(r ) del problema tales que (r , t ) = Re [ (r ) e homogneo (r ) = 0 y J (r ) = 0 correspondiente a las ecuaciones [84][87] es E (r ) E [88] = e , B B (r )
0 i k r 0
donde E 0 y B 0 son vectores constantes de componentes complejas. Llevando [88] a [82], recuperamos
r, t correspondientes a una onda [44] para la dependencia funcional de los campos (reales) E r , t y B plana. Insistimos en que es necesario imponer las restricciones dadas por [45], [46] y [47].
Calculemos la densidad de energa electromagntica correspondiente a una onda armnica arbitraria haciendo uso de [57]:
( )
u r, t = 2
( )
0 E r e it + E
2
()
(r ) e
it
it it +B r e 2 B r e +c 2
()
()
[89]
i. e.,
2 2 2 2it 2 0 2 2it 2 u= + E + c B e + 2 E E + c B e 8
+ c2 B
[90]
14

Si calculamos el promedio temporal en un ciclo ( t [0, T ] con T = 2 ) del ritmo de cambio de la densidad de energa electromagntica, i. e.,
u t
u t
dt
u(T ) u(0 ) T
[91]
vemos que en este caso concreto se anula por la periodicidad de las exponenciales imaginarias que aparecen en [90]:
u t
= 0.
[92]
Si [92] es vlida para cualquier onda electromagntica con dependencia temporal armnica, tambin lo ser, en particular, para una onda plana. Calculemos ahora el vector de Poynting asociado a una onda armnica arbitraria a travs de
[60]:
1 Er e S= 0
i. e.,
()
it
+E 2
(r ) e
it
B r e it + B r e it , 2
()
()
[93]
S=
1 E B e 2it + E B e 2it + E B + E B . 4 0
[94]
Si calculamos el promedio temporal en un ciclo del vector de Poynting, S r vemos que en este caso resulta S = 1 1 Re E B + E B = EB . 4 0 2 0 1 () T S (r , t ) dt ,
T 0
[95]
[96]
El ltimo resultado es vlido para cualquier onda electromagntica con dependencia temporal armnica. Si particularizamos para el caso de una onda plana hacendo uso de [88] y [47], entonces [96] se escribe S = 1 1 1 E0 . Re E B = Re Re E 0 n E 0 e i k r B 0 e i k r = 2 0 2 2 c 0 0
[ (
)]
[97]
Empleando ahora la identidad de expulsin vlida para tres vectores cualesquiera a, b, c R , a b c a c b a b c ,
( ) ( ) ( )
[98]
son ortogonales, podemos reexpresar [97] en y teniendo en cuenta que, por [46], los vectores E 0 y n la forma
15

S =
2 1 1 E 0 E 0 E0n E0 = , Re n E0 n 2 0 c 2 0 c
[99]
de modo que hemos obtenido que, para una onda plana, el promedio temporal del vector de Poynting es uniforme en el espacio, S
S r , y por tanto tomando divergencias en [99] resultar

S = 0.
()
[100]
Aunando [92] y [100], se satisfar evidentemente u t + S = 0 ,
[101]
que es justamente la expresin que obtenemos tomando promedios temporales e imponiendo J = 0 (como corresponde a una onda plana) en el teorema de Poynting [61].
1. 5. Ecuaciones de Maxwell macroscpicas
Las ecuaciones de Maxwell macroscpicas o para medios materiales son

D = ; B = 0; t
[102]
E +
[103]
B = 0 , y D =J, t
[104]
[105]
donde E y B son los campos elctrico y magntico macroscpicos, D y H son los correspondientes campos derivados de E y B cuya expresin explcita daremos ms adelante, y y J son las densidades macroscpicas de carga y de corriente, respectivamente. Aunque estas ecuaciones nos son muy familiares, tenemos que presentar una derivacin rigurosa de las mismas desde un punto de partida microscpico, aspecto que a continuacin abordaremos. Esta derivacin se limitar a un marco de trabajo clsico pese a que los tomos deben ser descritos con un tratamiento mecanocuntico. Para justificar esta aparente incongruencia, diremos (aunque ello no sea riguroso) que la discusin mecanocuntica puede considerarse anloga a la discusin clsica, si sustituimos las magnitudes clsicas por los valores esperados mecanocunticos correspondientes. Consideramos un mundo microscpico hecho de electrones y ncleos. Para tamaos grandes frente a 1014 m, los ncleos y los electrones pueden tomarse, en muy buena aproximacin, como sistemas puntuales. Asumimos que las ecuaciones que gobiernan los fenmenos electromagnticos para estas cargas puntuales son las ecuaciones de Maxwell microscpicas (i. e., las ecuaciones de Maxwell en el vaco):
16

e = mic 0 ;
[106]
e+
b =0; t
[107]
b = 0 , y 1 E = 0 j , c 2 t
[108]
[109]
donde e y b son los campos elctrico y magntico microscpicos y mic y j son las densidades microscpicas de carga y de corriente. Una cantidad macroscpica de materia en reposo contiene del orden de 10235 electrones y ncleos, todos en movimiento incesante debido a la agitacin trmica, la vibracin alrededor del punto de equilibrio o el movimiento orbital. Los campos electromagnticos microscpicos producidos por estas cargas varan de manera enormemente abrupta e imprevisible en el espacio y en el tiempo. Las variaciones espaciales ocurren para distancias del orden de 1010 m o menores; en cuanto a las fluctuaciones temporales, tienen perodos que van desde los 1013 s de las vibraciones nucleares hasta los 1017 s del movimiento orbital de los electrones. Pero las mediciones macroscpicas proporcionan en general promedios sobre intervalos espaciales y temporales mucho mayores que aqullos; por tanto, todas las fluctuaciones microscpicas son necesariamente promediadas, dando cantidades macroscpicas cuya variacin en el espacio y en el tiempo es relativamente suave y lenta, como las que aparecen en las ecuaciones macroscpicas de Maxwell. Debemos tener alguna precaucin a la hora de responder a la cuestin de qu tipo de promedio es el ms apropiado. A primera vista uno podra creer que son necesarios tanto un promedio espacial como un promedio temporal, pero esto no es cierto: slo es necesario promediar en el espacio. (Incidentalmente, diremos que calcular nicamente el promedio temporal sera con certeza insuficiente, como puede verse considerando un cristal inico cuyos iones vibran ligeramente respecto del equilibrio en las celdas bien definidas y suficientemente separadas de una red.) A fin de acotar el rango en el que esperamos que funcione una descripcin macroscpica de los fenmenos electromagnticos, observemos que la reflexin y la refraccin de la luz visible vienen apropiadamente descritas por las ecuaciones de Maxwell con constante dielctrica continua, mientras que la difraccin de rayos X ilustra claramente la naturaleza discontinua de la materia (i. e., la existencia de los tomos): es razonable por tanto tomar la longitud L0 = 108 m = 102 como lmite inferior de longitudes macroscpicas; el perodo de oscilacin de una luz con esta longitud de onda es L0/c = 3 1017 s. En un volumen de L 0 = 10
3
24
de materia
ordinaria hay todava del orden de 106 ncleos y electrones; en consecuencia, en cualquier regin de inters macroscpico (L >> L0) hay tantos ncleos y electrones que las fluctuaciones microscpicas sern completamente absorbidas por un promedio espacial. Pero, por otro lado, ya que la escala de tiempos asociada a L est de hecho en el rango de los movimientos moleculares, un promedio temporal no resultara apropiado. Una vez realizado el promedio espacial, no hay, sin embargo, evidencia de las fluctuaciones temporales microscpicas del medio; ello se explica porque en ausencia intervencin externa sobre el sistema las variaciones temporales de los campos microscpicos no estn correlacionadas para distancias del orden de L. El promedio espacial de una funcin dada F r , t se define
( )
3
F r, t
( ) d s f (s ) F (r s, t ),
[110]
17

donde la integral anterior se extiende a todo el espacio, y f s es una funcin test real, idnticamente nula salvo en un cierto entorno del origen de coordenadas denominado regin de promediado P 8, normalizada a la unidad en todo el espacio y a la que imponemos la condicin de isotropa (i. e., su valor en un punto s slo puede depender de la distancia s al origen de coordenadas). La posibilidad ms simple para f (s ) dentro de la regin de promediado es que sea constante (por normalizacin, igual a la inversa del volumen de promediado, V P ), en cuyo caso [110] se escribir sencillamente F r, t
1
()
( )
1 VP
d s F r s, t .
[111]
No obstante, este caso presenta el inconveniente de que en los puntos de la frontera de la regin de promediado, P , existe una discontinuidad de salto para f (s ) , que pasa abruptamente de valer V P a anularse. Una posibilidad ms realista y ms conveniente es que la funcin test se mantenga en buena aproximacin constante para valores de s lo bastante cercanos a cero y decaiga suavemente hasta anularse a medida que el punto considerado se aleje del origen. Afortunadamente, no es necesario conocer la forma exacta de f (s ) : basta con asumir que satisface las propiedades generales de regularidad que permitan que su expansin en serie de Taylor converja rpidamente en el rango de distancias moleculares.
1
FIG. 1. Grfica esquemtica de la funcin test f(s) empleada en el clculo del promedio espacial. Los tamaos respectivos de las regiones en que la funcin puede asumirse constante y en que decae hasta anularse son ambos mucho mayores que las dimensiones moleculares.
Evidentemente, tenemos
F r, t x i
y
( ) = d s f (s ) xF (r s, t ) =
3 i 3
F x i
[112]
F r, t t
( ) = d s f (s ) F (r s, t ) = t
y
F . t
[113]
Entonces, usando que por definicin los campos electromagnticos macro y microscpicos se relacionan segn
E r, t = e r, t
( ) ( )
B r, t = b r, t
( ) ( )
[114]
8.Desde un punto de vista prctico, el tamao de esta regin depender de las propiedades del instrumento de medida empleado por el experimentador, pero en cualquier caso ser mucho mayor que las dimensiones moleculares y mucho menor que el tamao total del sistema.
18

podemos obtener directamente las ecuaciones para medios materiales [103] y [104] a partir de sus expresiones anlogas en el vaco, a saber, las ecuaciones de Maxwell homogneas (las no dependientes explcitamente de las propiedades materiales del sistema) [107] y [108]: b = 0 B = 0 ;
[115]
e +
B b = 0 E + = 0. t t
[116]
Por su parte, al promediar las ecuaciones de Maxwell inhomogneas [106] y [109], resulta E = mic r , t
( )
0 ;
[117]
1 E = 0 j r , t . c 2 t
( )
[118]
Comparando [117] con [102] y [118] con [105], comprobamos el hecho conocido de que los nuevos campos D y H se introducen debido a la aportacin de ciertas contribuciones, que pueden identificarse con las propiedades materiales del medio, al cmputo neto de densidad de carga macroscpica ) y de j
mic
(distinta de la
(distinta de la densidad de corriente macroscpica J ).
Por definicin, el promedio espacial de la densidad de carga microscpica es mic = d s f s mic r s , t .
()
[119]
Ahora, si consideramos que el sistema est formado por un conjunto discreto de cargas {q i } , cada una con densidad de carga i qi y posicin r i (t ) r qi (t ) , podremos poner
mic r , t =
( ) (r, t ).
i i (cargas)
[120]
Llevando [120] a [119] y permutando integral y sumatorio, mic =
i (cargas)
s f s i r s, t .
() (
[121]
Para evaluar esta ltima integral, consideremos que la funcin i r , t
( ) es por definicin
[122]
idnticamente nula en casi todo el espacio salvo en un entorno minsculo de r i (t ) , en el que la funcin test, dada su regularidad, puede asumirse constante y por tanto sacarse de la integral. As pues, mic r , t
( )
i (cargas)
f (r r (t )) d
i
s i r s, t ,
ya que i r s , t 0 slo para r s r i definicin es
0 , i. e., para s r r i . Por otro lado, usando que por
19

qi = d s i r s, t , ponemos finalmente mic r , t
[123]
( )
q
i (cargas)
f r r i (t ) .
[124]
Consideramos un medio cuyos ingredientes materiales son, por un lado, las molculas ligadas, compuestas a su vez de electrones y ncleos, y por otro, las cargas libres no localizadas en los alrededores de ninguna molcula en concreto. As (obviando ya la dependencia temporal): mic = mic
libres mol. + mic =
(
j (libres)
qj f r r
) + q f (r r ),
n k =1 (mol.) nk nk
Mn
[125]
donde Mn es el nmero de cargas consideradas indivisibles de la molcula nsima; a la carga ksima de esta molcula se la denota por q n y su vector de posicin es r nk .
k
Podemos tomar el centro de masas de la molcula nsima, con vector de posicin r n , y definir la posicin relativa de q n con respecto a dicho punto, r n
k
r r . As, n n
k
f r rn
)= f r r
rn
[126]
Ya que el mdulo del vector r n
nunca exceder las dimensiones moleculares tpicas, podemos
hacer un desarrollo en serie de Taylor para [126] alrededor del punto r r n : f r rn
) = f (r r ) r
n
2 f f r r + 1 r r r r n + L , [127] n n nk n 2 , k k s s
donde, en este caso, la componente del vector que corresponda viene indicada por un subndice griego. Con lo cual,
mol.
mic
n k =1 (mol.)
Mn
qn f r r n
k
) q
n k =1 (mol.)
Mn
nk
r n f r r n +
k
1 2

n k =1 , (mol.)
Mn
qn
2 f r r n +L. rn rn k k k s s
[128]
As, si definimos los tres primeros momentos multipolares de la molcula nsima a saber, qn = (carga molecular neta);
q
k =1
Mn
nk
[129]
20

pn = (momento dipolar molecular), y
q
k =1
Mn
nk
rn
[130]
Qn = 3 q n rn rn k k k k =1
(momento cuadrupolar molecular 9), podemos reescribir [128]: mic
mol.
Mn
[131]
q
n (mol.)
f rn r
) p
n (mol.)
f r r n +
1 6
n , (mol.)
Q
n
2 f r r n + L . [132] s s
Llevando [132] a [125], mic =
n (mol.)
p f r rn +
n
1 6
n (mol.)
2 f Q r rn +L, n s s ,
[133]
donde hemos tomado la densidad de carga macroscpica,
q
j (libres)
f r r
)+ q f (r r ),
n n n (mol.)
[134]
y vemos explcitamente dnde radica la diferencia entre
mic
y : en los momentos multipolares
segundo, tercero, etc., que existen por la propia estructura interna de las molculas. Notemos que podemos escribir
p f n s
n (mol.)
p f r r n =
n
) (p )
n (mol.)
f r rn s
)=
n (mol.)
(r r ),
n
[135]
de donde, si definimos la polarizacin macroscpica P ,

P
n (mol.)
p f r rn ,
n
[136]
vemos que
9.De hecho, el momento cuadrupolar que se obtiene como tercer trmino del desarrollo multipolar
del potencial electrosttico tiene la forma Q n
( ) = q j 3(r ) (r ) j j
j
r j (de manera que

2
resulta un tensor de rango 2 con traza nula), pero este detalle no es relevante para el aspecto que ahora nos ocupa.
21
n (mol.)
p f r r n = P .
n
[137]
Por otro lado,
1 6
n , (mol.)
Q
n
f 1 r rn = s s 6
, n (mol.)
2 Qn
s s
r r , n
[138]
que, definiendo la densidad cuadrupolar macroscpica,

Q
1 6
(Q
n (mol.)
) f (r r ),
n
[139]
queda
1 6
n (mol.)
Q 2 f . r rn = Qn s s s s , ,
[140]
Llevando [137] y [140] a [133],
mic
= P +
,
2 Q
+L.
s s
[141]
Usando que, por [117], es mic 2Q
= 0 E , [141] se reexpresa:
E = s
P + s
s s
,
+L
E + P s 0
Q s
+L = ,
[142]
de tal suerte que, definiendo la componente sima del vector desplazamiento elctrico macroscpico,
D 0 E + P
Q s
+L ,
[143]
nos ha quedado finalmente la ley de Gauss para medios materiales [102]. Los dos primeros sumandos del miembro derecho de [143] arrojan la expresin familiar D = 0 E + P ,
[144]
mientras que los sumandos tercero y siguientes son, en la prctica y salvo casos excepcionales, despreciables.
22

Debemos abordar ahora el clculo de j . Por el propio carcter vectorial de esta variable y el mic , si
papel que juegan las velocidades, este cmputo es notablemente ms complicado que el de bien la idea conceptual bsica no difiere. Por definicin, el promedio espacial de la densidad de corriente microscpica es j = d s f s j r s, t .
() (
[145]
Ahora, si consideramos que el sistema est formado por un conjunto discreto de cargas {q i } , cada una con densidad de carga i qi , posicin r i r qi y velocidad v i v qi (con v i = d r i dt ):
j r, t =
( ) (r, t ) v (r, t ).
i i (cargas) i
3
[146]
Llevando [147] a [146] y permutando integral y sumatorio, j =
i (cargas)
s f s i r s, t v i r s, t .
() (
) (
[147]
Pero, al ser la funcin i r , t idnticamente nula en casi todo el espacio salvo en un entorno minsculo de r i (t ) , en el que la funcin test y la velocidad pueden asumirse constantes y por tanto sacarse de la integral, resulta j r, t
( )
( )
qi i (cargas)
v i r i , t f r r i (t ) ,
( )(
[148]
ya que i r s , t 0 slo para r s r i , i. e., para s r r i , y hemos usado nuevamente [123]. Hacemos ahora la distincin entre corrientes libres y ligadas (originadas por el movimiento de las cargas deslocalizadas y de las cargas moleculares, respectivamente): j =
libres
+ j
mol.
qjv j f r r
)+ q
n k =1 (mol.)
Mn
j (libres)
nk
vn f r rn
k
),
[149]
donde la interpretacin de los sumatorios es anloga a la de la ecuacin [125]. Podemos considerar nuevamente el centro de masas de la molcula nsima, con vector de posicin r n , y la posicin relativa de q n con respecto a dicho punto, r n la aproximacin para f r r n
) dada en [127]. Si asumimos adems la validez de la composicin de

k k
= r r . As, recuperamos n n
k
velocidades no relativista (i. e., tomamos v n = v n como la suma de seis sumatorios vectoriales:
+ v ) y expandimos, podemos reexpresar [150] n
j = S I + S II + S III + S IV + S V + S VI , siendo
[150]
23

SI
q
j (libres) Mn
v j f r r
);
)
[151]
S II
q
n k =1 (mol.) Mn
nk
vn f r rn ;
[152]
S III
q
n k =1 (mol.) Mn
nk
vn
f r r ; n
[153]
S IV
q
n k =1 (mol.)
nk
v n r n f r r n ;

k
) )
[154]
SV
q
n k =1 (mol.)
Mn
nk
vn
r f r r , n nk
[155]
y 1 2
S VI
q
n k =1 , (mol.)
Mn
nk
vn rn
rn
k
2 f r rn s s
),
[156]
donde hemos despreciado la contribucin del sumatorio
1 2

n k =1 , (mol.)
Mn
qn v n
k
2 f rn rn r rn , k k k s s
[157]
por ser de orden superior al segundo en el desarrollo. Teniendo en cuenta la definicin de la densidad de corriente macroscpica,
q
j (libres)
v j f r r
)+ q v f (r r ),
n n n n (mol.)
[158]
y usando [129], es inmediato identificar la aportacin de los dos primeros sumatorios: S I + S II = J .
[159]
Ahora, recordando la definicin del momento dipolar elctrico de la molcula nsima dada en [130], podemos reescribir la aportacin de los sumatorios tercero y cuarto:
S III
+ S IV =
n (mol.)
d pn dt
f r rn
) [p
n (mol.)
f r r n vn .
)]
[160]
Si consideramos la identidad vectorial
24

d pn d pn f + pn v n f = f p n f v n , dt dt
( )
[161]
donde hemos puesto f f r r n (t ) por aligerar la notacin, podemos reescribir [159] en la forma
S III
+ S IV =
n (mol.)
dt (p
d
f r rn
))+ (p
n (mol.)
vn f r rn
)) = ddP +F t
[162]
donde hemos usado la definicin de la polarizacin macroscpica P dada en [136], y hemos definido el campo macroscpico F
I
como
p
n (mol.)
vn f r rn .
[163]
Si tomamos ahora la identidad vectorial 1 1 d 1 t vn f f r n k v n k r n f r nk 2 2 dt k 2
[ ( ) ]=
k
1 = v n r n f + k k 2
vn rn
rn
k
2 f r rn s s
10,
[164]
donde la componente del vector t se define formalmente segn
n
k
rn
, s
[165]
podemos reescribir la aportacin de los sumatorios quinto y sexto:
SV
+ S VI =
n k =1 (mol.)
q 2 1
Mn
nk
r nk vnk f r r n
)

Mn n k =1 (mol.) nk
d dt

n (mol.)
1 q r n r n f r r n nk 2 k k k =1
Mn
1 )) q 2
t vn f r r n . [166]
Usando las definiciones del momento magntico molecular,
mn
2q
k =1
Mn
nk
rn
vn
[167]
10.La deduccin de las expresiones [161] y sobre todo [164] es bastante farragosa y no la
incluiremos. No obstante, apuntaremos que es til considerar que la funcin test
f r rn t
( ))
depende del tiempo, no explcita pero s implcitamente. Por la regla de la cadena,
(d dt ) f (r r n (t )) = v n f (r r n (t )) .
25

y de la magnetizacin macroscpica, M
m
n (mol.)
f r rn ,
[168]
podemos reescribir el primer trmino del miembro derecho de [166]:
n k =1 (mol.)
q 2 1
Mn
nk
r nk vnk f r r n
) = M .
[169]
En cuanto a la componente del vector dado por el segundo trmino:
d dt
Mn
n k =1 (mol.)
f 1 q r rn r nk r nk n 2 k s
)=

1 d = 6 dt
f = d Q , Q r r n n dt s s n (mol.)
[170]
donde hemos usado las definiciones del momento cuadrupolar molecular
Qn que no depende de
punto y por tanto puede introducirse en la derivada parcial con respecto a s y de la densidad cuadrupolar Q , [131] y [139] respectivamente. Por su parte, el ltimo sumatorio en [166] se escribe
n k =1 (mol.)
q 2 1
Mn
nk
(t v ) f (r r ) = F
n n
II
[171]
donde, teniendo en cuenta [165] y usando nuevamente [131], la componente del campo macroscpico
II
viene dada por
1 (F ) 2 q r
Mn II n k =1 (mol.) nk ,
n
k
f r r n vn rn k s
)( )
6 , ,
n (mol.)
Qn vn
( ) f (r r )
n
[172]
Llevando [169], [170] y [171] a [166]:
(S
+ S VI
) = ( M )
d dt
Q F s
II
).
[173]
26

Llevando [159], [162] y [173] a [150] y agrupando, nos queda esta expresin para el promedio espacial de la componente de la densidad de corriente microscpica: P t
j = J +
Q + M + F s
[ (
II
)] ,
[174]
donde, como quiera que la polarizacin y la densidad cuadrupolar no dependen de r n (t ) (a diferencia de la funcin test), hemos reemplazado la derivada temporal total por la derivada temporal parcial. Igualando este resultado al que se obtiene de despejar el promedio espacial de la componente de la densidad de corriente microscpica de [118], i. e., j =
B 0 t ( 0 E ) ,
[175]
reorganizando y recordando la definicin de la componente del vector desplazamiento elctrico dada en [143], obtendremos la forma definitiva de la ley de AmpreMaxwell macroscpica [105], donde el nuevo campo H viene dado por B MF 0 .
H =
+F
II
[176]
Los dos primeros trminos del miembro derecho de [176] dan la expresin familiar para H , mientras que los dos ltimos son generalmente muy pequeos frente a los anteriores, por dos razones: en primer lugar, porque las velocidades moleculares v n son pequeas; en segundo, porque dichas velocidades fluctan y, en promedio, tienden a anularse macroscpicamente. La excepcin puede darse cuando el medio viaja como un todo con velocidad v ; por sencillez, en este caso es razonable despreciar cualquier otro movimiento de las molculas y poner v n = v para cada n, en cuyo caso, usando [136],
[163] se simplifica en
= Pv
(F ) =
I ,
P v
[177]
mientras que, por [139], [172] queda
(F ) =
II , ,
v .
[178]
Aunando [177] y [178], y usando a continuacin [143],
( F
+F
II
) =
,
Q P + s
v = 0 E D v , ,
[179]
con lo cual, [176] adopta finalmente el aspecto: B B M D 0 E v = M eff , 0 0
H =
[180]
27

donde M eff M + D 0 E
) v es la magnetizacin efectiva del medio, que depende de la velocidad a la
que se desplaza. La ecuacin [180] representa el lmite no relativista de una de las ecuaciones de Minkowski de la electrodinmica de los medios continuos.
1. 6. Permitividad como funcin de la frecuencia
A primera vista, el sistema constituido por las ecuaciones de Maxwell macroscpicas [102][105] presenta el inconveniente de que contiene ms incgnitas (doce) que ecuaciones (seis). No obstante, en adelante restringiremos en todo caso nuestra discusin a los fenmenos de polarizacin elctrica, nunca
magntica, despreciando la magnetizacin M que pueda inducirse en cualquier medio que consideremos; adems, retendremos nicamente el trmino lineal de la respuesta al campo elctrico que acta sobre el medio. En la prctica, estas dos consideraciones suponen asumir la validez de las expresiones H = B 0 y D = 0 E + P repectivamente. Nuestro presente objetivo es, en consecuencia, encontrar una relacin entre la densidad de momento dipolar P y el campo elctrico E que permita expresar el campo D en trminos solamente de este ltimo. Recordemos que la polarizacin de un conjunto de tomos o molculas se da mediante dos mecanismos posibles: por un lado, el campo elctrico aplicado puede distorsionar las distribuciones de carga, induciendo un momento dipolar en cada molcula; por otro, el campo puede alinear los momentos dipolares permanentes inicialmente orientados de manera aleatoria de las molculas. Consideremos para empezar la posibilidad ms simple: imaginemos que colocamos un tomo aislado en el seno de un campo elctrico externo constante y uniforme E 0 E 0 r , t y queremos estudiar la polarizacin por distorsin inducida por el campo sobre el tomo desde una perspectiva que podramos llamar semiclsica. Por sencillez, tomaremos el tomo como un ncleo puntual de carga q situado en el centro de una nube electrnica esfrica de radio a y carga q uniformemente repartida: dada su simetra esfrica, el momento dipolar permanente del tomo ser necesariamente nulo. Al aplicar el campo, el ncleo se ve ligeramente desplazado en el mismo sentido, y la nube electrnica en sentido contrario; puesto que estos desplazamientos son extremadamente pequeos, es vlido asumir que la nube electrnica conserva su forma esfrica. Denotaremos por d la distancia que el campo ha desplazado al ncleo respecto de su posicin original.
( )
FIG. 2. Representaciones de las situaciones del tomo en ausencia y en presencia de un campo elctrico polarizante, respectivamente.
Consideremos que sobre el ncleo actan dos fuerzas de sentido opuesto: por un lado, la fuerza asociada al campo E 0 ; por otro, la fuerza restauradora debida al campo interno E r creado, de acuerdo con la ley de Gauss, por la porcin de carga de la nube electrnica encerrada por la esfera de radio d, i. e., q (d a 0 ) en valor absoluto. Por lo tanto, el mdulo del campo restaurador nos queda p 1 1 d , q = 2 4 0 d a 4 0 a 3
3 3
Er =
[181]
28

donde hemos usado que, para un par de cargas de valores respectivos q y q separadas una distancia d, el momento dipolar vale en mdulo p = qd. De tal suerte que, en el equilibrio ( E r = E 0 ), tenemos p = 4 0 a E 0 .
3
[182]
Si llamamos polarizabilidad atmica a la cantidad con unidades de volumen que liga p y E 0 segn p = 0 E 0 , vemos, comparando con [182], que para este caso concreto hemos obtenido = 4 a = 3 v ,
3
[183]
[184]
donde v es el volumen del tomo. Pese a la tosquedad de este modelo primitivo, sus predicciones no son tan malas al contrastarlas con la experiencia: tienen una precisin de alrededor de un factor 4 para muchos tomos simples 11. Si consideramos no un tomo aislado, sino una masa macroscpica con N tomos (o, en su caso, molculas) por unidad de volumen, la polarizacin macroscpica es por definicin P = Np.
[185]
No obstante, tengamos presente que sera absurdo pensar que el campo E loc percibido localmente por un tomo del conjunto fuera igual al campo externo aplicado E 0 sobre el medio, pues hay que considerar, para el cmputo del primero, no slo el segundo sino tambin la aportacin del resto de tomos que son asimismo polarizados por el campo externo; con lo cual, en este caso tendremos que reemplazar [183] por la expresin anloga p = 0 E loc .
[186]
Pero, adems, asumiendo hiptesis de simetra de los centros polarizables, puede demostrarse que el campo macroscpico E que aparece en las ecuaciones de Maxwell no es igual a E loc , sino que est dado por P 3 0
12.
E = E loc
[187]
Llevando [186] a [185] y despejando E loc ,
11.De hecho, usando herramientas de la Mecnica Cuntica en concreto, la teora perturbativa estacionaria a orden primero, puede obtenerse, para el caso concreto del tomo de hidrgeno en el estado fundamental, que la polarizabilidad es 4.5 veces superior a la predicha por el argumento semiclsico (vide http://www.uco.es/hbarra/FisicaCuantica/apuntes/1005.pdf). 12.Puede parecer algo extrao que el campo local difiera del campo promedio. Este hecho puede justificarse de modo no del todo satisfactorio si consideramos que todos los dipolos del sistema
contribuyen a E , mientras que para la determinacin del campo local que ve una determinada carga hay que descontar el campo de dicha carga, habida cuenta de que excluimos la posibilidad de que una carga ejerza fuerza sobre s misma.
29

E loc = lo que llevado a [187] da E = N 1 1 P P = E, 0 1 N 3 N 3 0 1 P , N 0
[188]
[189]
lo que, comparado con la expresin genrica P = 0 e E ,
[190]
donde la cantidad adimensional e es la susceptibilidad (elctrica) del medio, arroja la ecuacin de ClausiusMossotti: e = N 1 N 3 .
[191]
Para medios con densidad baja (tales que N 3 << 1 ), [191] se simplifica en e N , como puede obtenerse asimismo llevando [186] a [185] y comparando lo que resulta con [190] (haciendo uso de la aproximacin E E loc , vlida para estos medios diluidos). Llevando [190] a la expresin del desplazamiento elctrico, D = 0 E + P , vemos que podemos poner D = 0 (1 + e )E = E , donde 0 (1 + e )
[192]
[193]
es la permitividad (absoluta) del medio. Llevando [191] a [193], vemos que segn ClausiusMossotti es = 0 o, equivalentemente, = siendo r la permitividad relativa del medio. Claramente, las expresiones anlogas a [194] y [195] para medios lo bastante enrarecidos son, respectivamente, 0 (1 + N ) y e N . = 1 + e 0 3 r 1 , N r + 2 1 + 2 N 3 1 N 3 ,
[194]
[195]
[196]
30

Hasta ahora, en todo momento hemos considerado campos estacionarios, pero el propsito principal de esta seccin es el de presentar un modelo simplificado que nos permita obtener la dependencia de la permitividad con la frecuencia del campo no esttico sentido por el tomo en que fijamos nuestra atencin. Por comodidad, asumiremos por el momento que la dependencia espacial del campo sigue siendo uniforme, E E r ; por sencillez, usaremos la aproximacin E (t ) E loc (t ) , as que nuestro modelo slo se ajustar al comportamiento de sustancias relativamente poco densas no obstante, si as se desea, este inconveniente puede subsanarse fcilmente haciendo uso de la mejora de ClausiusMossotti. Adems, a fin de obviar el carcter vectorial del problema, consideraremos sin , y tomaremos una dependencia prdida de generalidad que el campo es paralelo al eje x, E (t ) = E (t )x temporal armnica, E (t ) = E 0 cos (t ) . Con todo, tenemos la ecuacin de movimiento de un electrn de masa m y carga e ligado al ncleo por una fuerza recuperadora de tipo F = m0 x
2 &&(t ) + x & (t ) + 0 x x (t ) = 2
13:
()
e E cos (t ) , m 0
[197]
donde la constante fenomenolgica , que tiene dimensiones de frecuencia y es de ordinario mucho menor que 0 , da cuenta de la fuerza de amortiguamiento sufrida por el electrn. [197] es ms manejable si la identificamos con la parte real de la ecuacin compleja
e it ~ ~ ~ && (t ) + x & (t ) + 2 x , x E e 0 (t ) = m 0
cuya solucin estar dada por ~ (t ) = x ~ (t ) + x ~ (t ) , x H P
[198]
[199]
~ (t ) es la solucin al problema homogneo (campo nulo) y x ~ (t ) es la solucin particular. donde x H P ~ (t ) se desvanece en el lmite de tiempos largos, en el estado estacionario tomamos Como quiera que x H
~ (t ) = x ~ (t ) = x ~ e it , x P 0
[200]
~ llevando [200] a [198] y despejando: donde obtenemos directamente la amplitud compleja x 0

~ = x 0
e m
2 0
2 i
E0 ,
[201]
con lo cual el momento dipolar es la parte real de
~ (t ) = ex ~ (t ) = p
donde
e2 m
2 0
E0e
it
~ e it , =p 0
[202]
~ p 0
e2 m
2 0 2 i
E0
[203]
13.Las fuerzas de ligadura reales entre el electrn y el ncleo pueden ser complicadas, pero a efectos prcticos slo nos importa saber que la fuerza restauradora siempre puede asumirse armnica haciendo un desarrollo de Taylor hasta el orden primero si los valores de x (desplazamiento respecto del equilibrio) son lo suficientemente pequeos, como efectivamente sucede.
31

es la amplitud compleja de momento dipolar. Comparando [203] con [183], vemos que hemos obtenido una polarizabilidad compleja dependiente de la frecuencia:
2 e2 m 1 2 2 ~=e m = 0 2 2 0 0 i 0
[(
) + ( ) ] [(
2 2
1
2 0
) + i ].
[204]
~ 0 nos dice que el El hecho de que para valores de no nulos tengamos Im amortiguamiento induce un desfase entre el momento dipolar y el campo elctrico de ngulo
2 arctan 0 2 , que se anula para 0 y se hace 2 para 0 0 .
[ (
)]
Entonces, recordando que para materiales con densidad lo bastante baja la permitividad y la polarizabilidad se relacionan segn = 0 (1 + N ) , vemos que la permitividad compleja del medio depende de la frecuencia segn
2 ~ ( ) = + Ne 2 2 0 0 m
[(
) + ( ) ] [(
2 2
1
2 0
) + i ] .
[205]
El hecho de que generalmente sea << 0 implica que la permitividad ser aproximadamente real para la mayora de valores de la frecuencia . Para < 0 y > 0 , tendremos respectivamente ~ < , y la parte real ser en valor absoluto tanto ms relevante frente a la parte ~ > y Re Re 0 0 imaginaria cuanto mayor sea la diferencia entre y 0 . Pero si dicha diferencia se hace pequea hasta anularse, entonces se produce el conocido fenmeno de resonancia y la permitividad queda un nmero imaginario puro salvo por el sumando 0 . Por otra parte, es asimismo importante saber si la parte real de la permitividad,
~ ( ) = + Re 0
0 Ne 2 , m 2 2 2 + ( )2 0
[206]
crece o decrece con la frecuencia. Analicemos el signo de la derivada; operando, podemos obtener que
2 d ~ ( ) = 2 Ne Re d m
( [(
2 0
2 2
2 0
2 2
) ( ) ) + ( ) ]
0 2
2 2
[207]
~ es mayor (respectivamente menor) que cero cuando de modo que la derivada de Re 0
es mayor
(respectivamente menor) que 0 . Llamamos dispersin normal (repectivamente anmala) al fenmeno por el que la parte real de la permitividad crece (respectivamente decrece) al aumentar la frecuencia. As, hemos obtenido que la dispersin normal se produce siempre que la diferencia entre y
0 sea lo bastante grande, mientras que la dispersin anmala se produce en las inmediaciones de la
resonancia; slo cuando hay dispersin anmala la parte imaginaria de la permitividad resulta no ~ tiene el despreciable. Habida cuenta de que, como pronto justificaremos, la parte imaginaria de significado fsico de una disipacin energtica de la onda electromagntica en el medio, los valores de ~ es grande se conocen como las frecuencias de absorcin por resonancia 14. para los que Im
~ < 0 , el medio no absorbe, sino que da energa a la onda, y su amplitud crece en el 14.Para Im tiempo. Este fenmeno no se encuentra en la naturaleza, pero s en un mser o un lser, de modo que en el caso de estos dispositivos podemos referirnos a una permitividad con parte imaginaria negativa.
( )
32
FIG. 3. Grficas cualitativas de las partes real e imaginaria de la permitividad compleja. La parte real es creciente con la frecuencia y la parte imaginaria es pequea, salvo en la vecindad de 0.
La permitividad compleja dada en [205] define una susceptibilidad compleja ~ e dependiente asimismo de la frecuencia, tal que
~ ( ) = 1 + ~ ( ) , 0 e
~ y por consiguiente una polarizacin compleja P ,
[208]
~ ~ ~ E P (t ) = 0 e (t ) ,
de manera que
[209]
~ ~ it ~ ( )E e it D (t ) = Re 0 E (t ) + P (t ) = Re 0 E 0 e + 0 e 0
~ ( )E } = Re {
0e
it
}.
[210]
Supongamos ahora que la dependencia temporal E (t ) no es necesariamente armnica, pero satisface las condiciones de regularidad necesarias como para que exista una funcin compleja de la ~ frecuencia, llammosla E ( ) , tal que
E (t ) =
~ it d E ( ) e
15,
[211]
15.El intervalo de integracin en [209] se extiende a toda la recta real (el teorema de Fourier as lo requiere), pero la interpretacin de los valores negativos de la frecuencia es artificiosa: al cambiar el signo de , meramente estamos produciendo un cambio de fase en la propagacin.
33

~ i. e., E ( ) es la transformada de Fourier de E (t ) :
~ E ( ) =
dt E (t ) e
it
[212]
As, dado que la ecuacin diferencial de nuestro modelo [197] es lineal, la polarizacin resulta P (t ) = Re y el desplazamiento elctrico D (t ) = Re
1 2
~ ~ ( )E ( ) e it d 0 e
16,
[213]
1 2
~ ~ ( )E ( ) e it d .
[214]
Hasta ahora, hemos obviado la dependencia de punto de los campos asumiendo su uniformidad. Ahora bien, las expresiones que hemos obtenido ms arriba son locales en el espacio, de modo que para campos no uniformes conservarn su validez en cada punto r fijo pero arbitrario. Si queremos explicitar que los campos E , P y D dependen de punto, escribiremos recuperando ya la notacin vectorial: E r, t =
( )
~ it ; d E r , e
( )
[215]
P r, t = y D r,t =
( )
2
1
~ it , d 0 ~ e ( ) E r , e
( )
[216]
( )
~ it ~ ( ) E . d r, e
( )
[217]
16.De hecho, es innecesario tomar la parte real en el miembro izquierdo de [213] (y, por consecuencia, en el de [214]): veamos la razn. De [204] y [212] respectivamente, es inmediato ver que la susceptibilidad y la transformada de Fourier del campo elctrico satisfacen la importante ~ ~ propiedad de hermiticidad, i. e., tenemos ~ e = ~ e y E = E . Con lo cual,
( )
( )
( )
0
( )
~ it ~ E d 0 e e
( ) ( )
= { = d = d} =
=
0
~ it ~ E d 0 e e
( ) ( )
=
,
~ it d 0 ~ e E e
() ()
~ ~ ( ) E = ( ) e it 0 d 0 e
y, en consecuencia,
~ it d 0 ~ e E e
( ) ( )
~ it d 0 ~ e E e
( ) ( )
~ it d 0 ~ e E e
( ) ( )
~ it + d 0 ~ e ( )E ( ) e = 0 0 ~ it = 2Re e ( ) E ( ) e 0 d 0 ~ ,
~ it ~ E d 0 e e
( ) ( )
que, evidentemente, es ya una cantidad real.
34

*** Si imponemos una dependencia temporal armnica [82] para los campos E y B , las ecuaciones ~ ( )E , de Maxwell macroscpicas [202][205] toman, para el caso de un medio con H = B y D =
0
el aspecto siguiente: ~ ~r ; ~ ( ) E r =
( )] ( ) ~ ~ E (r ) = i B (r ) ; ~ B (r ) = 0 ,
()
[218] [219] [220]
y ~ ~ ~ ~ ( )E B r = 0 J r i 0 r .
()
()
[221]
La solucin particular al problema homogneo es, como bien sabemos, la forma general de sendas ondas planas E r , t y B r , t :
( ) ( )
E r, t B r, t
( ) E = Re ( ) B
i e 0
0
~ k r t
) ,

[222]
~ donde el vector de propagacin k es ahora un nmero complejo, ligado a la frecuencia de la onda a travs de la expresin
~2 2 ~ ( ) , k = 0
que es la relacin de dispersin del medio, anloga a [45] para el vaco. Si introducimos las cantidades reales y tales que
[223]
~ k = +i , 2
[224]
~ ~ ), el factor de fase en [222] se expresa: y asumimos una propagacin de la onda en el eje z ( k = k z

e
~ i k z t
) = e i ( z t )e 2 z ,
[225]
~ y as, mientras que la parte real de k se asocia a la propagacin, y se relaciona con la longitud de onda segn
= 2 ,
[226]
~ la parte imaginaria de k determina la atenuacin; de hecho, se conoce como el coeficiente de absorcin

del medio ya que la intensidad de la onda decae como e . As, la onda cede energa al medio como consecuencia del factor de amortiguamiento 0 introducido en nuestro modelo.
z
35

~ ( ) = Re ~ ( ) + Im ~ ( ) , al aunar [223] y [224] e igualar por separado las partes Poniendo real e imaginaria obtenemos, respectivamente,
y
2 ~ ( ) . = 0 Im 2
2 2 ~ ( ) = 0 Re 4
[227]
[228]
~ ( ) tenga parte Para << , como sucede siempre a no ser que la absorcin sea muy fuerte o
real negativa, podemos despreciar
2
4 frente a en [227] y escribir

~ ( ) Re
2 2 0
[229]
por otro lado, de [228] tenemos ~ ( ) = 0 . Im

2
[230]
Las ecuaciones [229] y [230] sugieren una fenomenologa para la determinacin de la permitividad de un medio dado una propiedad microscpica a partir de las propiedades, experimentalmente accesibles, de propagacin y atenuacin de una onda electromagntica (idealmente supuesta plana y de frecuencia conocida) en aqul.
1. 7. Causalidad. Relaciones de KramersKronig
Usando la definicin de transformada de Fourier y el teorema de Fourier, podemos reescribir [215] y [216] como
~ r, t E r , = TF E y ~ r, t , 0 ~ e ( ) E r , = TF P
( ) [ ( )
[231]
[232]
respectivamente. Asumiendo que se dan las condiciones de integrabilidad apropiadas, introduzcamos una nueva funcin temporal de valores reales, sea G (t ) , tal que ~ ( ) = TF 2 G (t ) , 0 e o, equivalentemente,
[233]
G (t ) =
it . d ~ e ( ) e
[234]
36

Aunando [231], [232] y [233] y usando el teorema de convolucin, vemos que
P r , t = 2 G (t ) E r , t
( )
( )
dt G (t ) E r , t t .
[235]
Esta ltima expresin ilustra un hecho notable: la conexin no local en el tiempo entre los campos P y E : en otras palabras, fijado un punto r del espacio y en un instante t dado, P depende en general del campo E en otros instantes adems de t; as, la polarizacin de un material vara segn el fenmeno de arrastre que ste presente en el tiempo. La importancia del fenmeno de arrastre viene cuantificada por la funcin G (t ) , a la que a veces se denomina funcin de influencia del medio 17.
~ ( ) para cada , e Si la susceptibilidad es totalmente independiente de la frecuencia, ~ e

entonces la integral en [234] da una delta de Dirac centrada en el origen, G (t ) (t ) , y [235] arroja una conexin instantnea entre la polarizacin y el campo elctrico. Pero si ~ e ( ) vara con la frecuencia, la funcin G (t ) ser no nula para algunos valores de t distintos de cero. As, por ejemplo, en el modelo simple estudiado en la seccin anterior tenamos
Ne 2 2 2 ~ e ( ) = i 0m 0
[236]
llevando [236] a [234], puede obtenerse el resultado
G (t ) =
Ne 2 2 t sen ( 0 t ) e (t ) , m 0
[237]
donde la cantidad 0 , con dimensiones de frecuencia, viene definida por
0 0
y (t) es la funcin de Heaviside:
2 , 4
[238]
0 para t < 0 (t ) 1 para t > 0.
[239]
En [237] observamos que, para t>0, el valor absoluto de la funcin de influencia decae con t y lo hace tanto ms rpido cuanto mayor sea , lo que ilustra que el amortiguamiento introducido en nuestro modelo propicia que la influencia de instantes alejados del instante en que queremos conocer la polarizacin sea menor que la de otros instantes ms prximos.
17.Notemos que la ecuacin [235] no es, en efecto, local en el tiempo, pero s lo es en el espacio. Ello se explica porque implcitamente hemos asumido en todo momento que, aunque los campos aplicados puedan ser no uniformes en el espacio, sus variaciones son despreciables en la escala involucrada en la polarizacin de tomos y molculas. Para las cargas ligadas, dicha escala es del orden de las dimensiones atmicas o menor, de modo que podemos esperar que la permitividad siga siendo funcin exclusiva de para frecuencias situadas ms all del rango visible. No obstante, en el caso de los conductores, la presencia de cargas libres que siguen, en promedio, trayectorias libres macroscpicas invalida, para frecuencias mucho ms bajas que en el caso anterior, la asuncin de que la permitividad slo depende de . Este fenmeno se asocia a una dependencia de la susceptibilidad (luego de la funcin de influencia) no slo con la frecuencia, sino tambin con la longitud de onda; en tal caso, la integral en [235] debera extenderse no slo a cada instante, sino tambin a cada punto. Por otra parte, para medios no istropos la susceptibilidad no es un escalar, sino un tensor de rango 2 (matriz 3 3 ), y por tanto lo mismo le suceder a la funcin de influencia.
37

No obstante, la propiedad ms obvia de la funcin de influencia segn [237] es que se anula idnticamente para tiempos t<0. Este hecho parece lgico e incluso inevitable, ya que, de acuerdo con [235], nos dice que slo los instantes anteriores al instante en que deseamos obtener la polarizacin influyen en el resultado. (Si no fuera as si el futuro determinara el presente, estara violentndose el principio de causalidad que entronca con los fundamentos mismos de nuestra Fsica.) Con lo cual, [235] toma el aspecto
P r, t =
( )
dt G (t ) E r , t t ,
[240]
y sta es, para un medio istropo y homogneo, la relacin ms general que puede encontrarse entre P y
E satisfaciendo los requisitos de localidad espacial, linealidad y causalidad: su validez trasciende ~ ( ) . cualquier modelo especfico para
~ , de [233] tenemos Recordando que 0 ~ e = 0 ~ ( ) = + 0
dt G (t ) e
it
[241]
~ ( ) : Consideremos la generalizacin a variable compleja de la funcin de variable real

~ (z ) = + 0
dt G (t ) e
izt
= 0 +
dt G (t ) e
ixt
yt
[242]
donde z C , y hemos designado las cantidades reales x Re z e y Im z . El mdulo del integrando en
[242] es G (t ) e , lo que garantiza que la integral converge siempre que y 0 . Para asegurar la ~ (z ) en el semiplano complejo inferior, tendramos que aadir alguna hiptesis sobre existencia de ~ (z ) al semiplano G (t ) , lo que no haremos; as pues, restringiremos el dominio de definicin de
yt
superior. Poniendo e
ixt
= cos (xt ) + i sen (xt ) , de [242] tenemos

~= + Re 0
dt G (t ) cos (xt ) e
yt
[243]
~= Im
y as observamos que
dt G (t ) sen (xt ) e
yt
[244]
~ Re = x ~ Im = y y ~ Re = y ~ Im = x
~ Im ~ Re = x y yt dt t G (t ) sen (xt ) e 0
dt t G (t ) sen (xt ) e
yt
[245]
dt t G (t ) cos (xt ) e
yt
dt t G (t ) cos (xt ) e
yt
~ ~ Re Im y = x ,
[246]
38

~ (z ) satisface las condiciones de CauchyRiemann, lo que garantiza su analiticidad en el i. e., la funcin ~ (z ) es asimismo analtica sobre el eje de abscisas semiplano superior. Podemos asegurar que ( Im z = 0 ) apelando a un argumento razonable desde un punto de vista fsico: para tiempos muy largos, la funcin de influencia ha de desvanecerse, G (t ) 0 para t . Llamaremos D al dominio de ~ (z ) : analiticidad de D z C Im z 0 .
[247]
En estas condiciones, podemos aplicar la frmula integral de Cauchy para garantizar que el ~ (z ) en un punto arbitrario z D queda dado por valor de 0 ~ (z ) = 1 0 2 i
~ (z )
C
z z0
dz
~ (z ) 0 0
=1+
1 2 i
~ f ( z ) dz ,
C
[248]
~ donde f (z ) es la funcin de variable compleja y valores complejos definida por ~ (z ) 1 ~ 0 f (z ) , z z0
[249]
y C es cualquier contorno simple cerrado contenido en el semiplano superior, recorrido en sentido positivo. Podemos escoger que C sea la semicircunferencia positiva CR, de radio R y centrada en el origen, si la cerramos por abajo con la porcin de recta real R , R . Pero, si situamos z 0 sobre el eje de ~ abscisas (i. e., si tomamos z 0 = x 0 0 ), f (z ) presentar una singularidad sobre la trayectoria de
integracin, lo que resulta problemtico. Solventamos este inconveniente aislando semicircunferencia C centrada en z 0 de radio (con < R ).
z 0 con la
~ z . De esta forma, FIG. 4. Empleamos CR, como circuito auxiliar para la obtencin de 0
( )
~ f (z ) es una funcin analtica sobre el circuito de integracin y en su interior.

Con lo cual, de acuerdo con el teorema de Cauchy, para cada par de R y positivos con < R tendremos
pero, por otro lado,
C R ,
~ f ( z ) dz = 0 ,
[250]
39
C R ,
~ f ( z ) dz
0 R
~ f ( ) d
~ f ( z ) dz +
R 0 +
~ f ( ) d +
CR
~ f ( z ) dz ,
[251]
donde hemos tenido en cuenta que la semicircunferencia C se ha recorrido en sentido negativo y que z = x para cada z sobre el eje real. Con lo cual,
0 R
~ f ( ) d +
R 0 +
~ f ( ) d =
~ f ( z ) dz
CR
~ f ( z ) dz .
[252]
~ Definimos el valor principal de la integral de f ( ) en R , R en la forma
VP
R R
~ f ( ) d lm 0
0 R
~ f ( ) d +
R 0 +
~ f ( ) d .
[253]
Por otro lado, haciendo un cambio a coordenadas polares planas en la integral sobre C ,
~ f ( z ) dz =
~ (z ) 1 0
C
z z0
dz =
~ + e i 0 e
i
i e d i
~ ( ) 0 1 . [254] 0
Finalmente, en cuanto a la integral sobre CR notemos que
lm R
CR
~ f ( z ) dz
=0,
[255]
~ ya que el denominador de f (z ) , z 0 , crece en mdulo al mismo ritmo que la longitud de CR al hacer ~ (z ) 1 , se desvanece para z muy grande en particular, tender R a infinito, pero el numerador,
0
para y muy grande, como vemos de [242]. Llevando [253], [254] y [255] a [252] y recordando [249], es claro que
VP
o, equivalentemente,
~ ( ) 0
~ ( ) = i 0 1 , 0
[256]
~ ( ) = 0
de donde
VP
i
~ ( ) 0
d ,
[257]
~ ( ) + i Im ~ ( ) = Re 0
i. e.,
Re VP
~ ( ) 0
d +
Im VP
~ ( ) 0
d ,
[258]
~ ( ) = + Re 0
y
VP
~ ( ) Im
[259]
40

~ ( ) = Im 1 VP
~ ( ) Re 0
d .
[260]
Las ecuaciones [259] y [260] se conocen como relaciones de KramersKronig. En la prctica, resulta ms interesante restringir a las frecuencias positivas el intervalo de integracin en dichas ~ ( ) , expresiones, lo que resulta sencillo si tenemos en cuenta la hermiticidad de la funcin ~ ( ) = ~ ( ) que se deduce inmediatamente de [241]. En efecto, multiplicando y dividiendo por + 0 el integrando en [259], podemos reescribir ~ ( ) = Re ~ ( ) Re ~ ~ Im ( ) = Im ( ) ,
[261]
~ ( ) = + Re 0
VP
~ ( ) Im
2 0
d +
~ ( ) Im
2 0
d ,
[262]
~ ( ) , el primer integrando es una funcin par y el segundo es una funcin pero, dada la imparidad de Im impar, con lo que ~ ( ) = + Re 0
que es la primera expresin buscada. Multiplicando y dividiendo por + 0 el integrando en [260],
VP
~ ( ) Im
2 0
d ,
[263]
~ ( ) = Im
VP
~ ( ) Re
2 0
0
2 2 0
d + 0
~ ( ) Re
2 0
0
2 2 0
d ,
[264]
~ ( ) , el primer integrando es una funcin impar y el tercero es una funcin pero, dada la paridad de Re par, mientras que elementalmente el segundo es una funcin impar y el cuarto es una funcin par; as,
~ ( ) = Im 2 0 VP
~ ( ) Re 0
2 2 0
d ,
[265]
que es la segunda expresin buscada. Las relaciones [263] y [265] tienen una validez general, ya que recordemos se han obtenido asumiendo poco ms que una relacin lineal y causal entre el campo elctrico y la polarizacin. *** Como ya discutimos con anterioridad, la parte imaginaria de la permitividad de un medio a travs del cual se propaga una onda electromagntica ha de ser muy inferior a la parte real para que la propia propagacin pueda existir durante un tiempo apreciable. Consideremos pues la relacin de dispersin del tal medio previa asuncin de que el medio es transparente (no absorbente) en un cierto rango de frecuencias I0 (i. e., para cada I 0 la permitividad puede aproximarse a una funcin de valores reales):
41

k = 0 ( ) relacin anloga a [223] para una permitividad compleja. Definimos la velocidad de fase de la onda con longitud de onda segn vf Comparando [266] y [267], v f = 0 ( ) = . 2 k
2 2
[266]
[267]
]1 2 ,
[268]
que, considerando la expresin [43] para la velocidad de la luz en el vaco c, puede ponerse vf = donde n ( ) es el ndice de refraccin del medio: n ( ) ( ) . 0 c , n ( )
[269]
[270]
Por tanto, para ( ) < 0 el ndice de refraccin ser inferior a la unidad y, en consecuencia, la velocidad de fase exceder la velocidad de la luz en el vaco, lo cual puede a primera vista parecernos contradictorio con alguna de nuestras convicciones derivadas de la relatividad especial. Pero recordemos que en la naturaleza no existen ondas planas, sino paquetes de ondas localizados cuya forma general puede ponerse (para el caso unidimensional): u(x , t ) =
A(k ) e 2
i (kx (k ) t )
dk ,
[271]
donde la dependencia (k ) est contenida en [266], y la funcin de pesos A(k ) se calcula con la transformada de Fourier de la amplitud espacial u (x , t ) evaluada en t=0: A (k ) = As, para u(x ,0 ) = e
ik0 x
u(x ,0) e 2
ikx
dk .
[272]
, tenemos A(k ) = 2 (k k 0 ) , que llevado a [271] arroja, conforme a

i ( k0 x ( k0 ) t )
lo esperado, una onda propagante monocromtica, u (x , t ) = e
. Pero si u(x ,0 ) constituye un
tren de ondas finito y su longitud es del orden de x, entonces A (k ) no es una delta de Dirac, sino una funcin nula salvo en un cierto entorno de k 0 el nmero de onda dominante en la onda u(x ,0 ) y con anchura del orden de k. Identificando x y k con las respectivas desviaciones cuadrticas medias de los valores medios de x y k definidos en trminos de u(x ,0) siguiente desigualdad general: x k 1 . 2
2
y A(k ) , es posible obtener la
[273]
42

De hecho, para la mayora de pulsos o paquetes de ondas razonables de variacin no demasiado abrupta, la desigualdad [273] es aproximadamente una igualdad, lo que refleja que los trenes de onda cortos bajo los que subyacen slo unas pocas longitudes de onda tienen una distribucin de nmeros de onda muy ancha, mientras que los trenes sinusoidales y extensos son prcticamente monocromticos.
FIG. 5. Representacin de un tren de onda armnico de extensin finita y de su espectro de Fourier en nmero de onda.
A medida que el tiempo avanza, el pulso se mueve y sus diferentes frecuencias subyacentes se desplazan con distintas velocidades de fase; en consecuencia, el pulso tiende a perder su coherencia inicial, distorsionndose: cabe pues preguntarse por la velocidad a la que se propagar. Para un pulso cuyo espectro en nmero de onda no sea demasiado ancho, o que se propague en un medio no altamente dispersivo, podemos hacer un desarrollo de Taylor centrado en k 0 para, truncando en el orden primero, expresar de manera aproximada la frecuencia (k ) :
(k ) 0 + v g (k k 0 ) ,
donde hemos designado 0 (k 0 ) , y v g es la denominada velocidad de grupo:
[274]
vg
Insertando [274] en [271]: u(x , t ) que, comparado con [271], queda u(x , t ) e e
d (k0 ) . dk
[275]
i vg k0 0 t
A(k ) e
)
ik x v gt
dk ,
[276]
i vg k0 0 t
u x v gt , 0 ,
[277]
lo cual muestra que, obviando un factor de fase global, el pulso viaja como un todo con velocidad v g .
43

As, asociando una densidad de energa al mdulo al cuadrado de la magnitud de la onda, es claro que en esta aproximacin la velocidad a la que se transporta la energa es, precisamente, la velocidad de grupo. Vamos a demostrar que es esta velocidad no la velocidad de fase la que en ningn caso puede superar la velocidad de la luz en el vaco c. En primer lugar, derivando con respecto a en [266], queda, para cada frecuencia contenida en el rango de transparencia I0, la expresin
2k
dk d = 0 2 ( ) + 2 , d d
[278]
Analicemos el signo de la derivada d d . Recordando que para I 0 la parte imaginaria de la permitividad debe anularse, la relacin de KramersKronig [263] puede ponerse sencillamente
( ) = 0 +
~ ( ) Im
R + \ I0
d :
[279]
como quiera que el integrando ya no diverge en ningn punto del rango de integracin considerado ( R \ I 0 ), no es necesario considerar el valor principal de la integral. Ahora, derivando [279] con respecto a ,
+
d d
~ ( ) Im
R + \ I0
d ,
[280]
estando garantizada la convergencia de la ltima integral. Ahora bien, como ya sabemos, en la naturaleza ~ < 0 para ningn valor de la frecuencia, de manera que el no se encuentran materiales con Im integrando anterior es necesariamente no negativo en todo el rango de integracin; en consecuencia, para cada I 0 tenemos d d 0 , de modo que [278] arroja
0 ( ) k
dk , d
[281]
o bien, evaluando en la frecuencia dominante 0 I 0 las dos funciones que aparecen en la desigualdad anterior, recordando la definicin [275] y aplicando el teorema de la funcin inversa,
0 0 (0 )
k . vg
[282]
Pasando k dividiendo al miembro izquierdo de la desigualdad anterior y recordando [267],
0 (0 ) v f (0 )
que, por [268], se reescribe
1 , vg
[283]
[v ( )]
f
v f (0 )
1 , vg
[284]
de donde vemos inmediatamente que
v g v f (0 ) .
[285]
44

Hemos obtenido as un resultado importante, que la velocidad de grupo nunca puede rebasar la velocidad de fase. Si supiramos que la velocidad de fase nunca puede ser mayor que c, automticamente habramos alcanzado nuestro objetivo en ltima instancia i. e., habramos probado la desigualdad v g c , pero ya hemos razonado ms arriba que la velocidad de fase muy bien puede ser mayor que c, con lo que tendremos que buscar otra va para nuestra demostracin. As, llevando [279] y [280] a [278],
2k
4 dk = 0 2 0 + d
= 0 2 0 +
~ ( ) Im
R + \ I0
d + 1
2
~ ( ) Im
R + \ I0
d =
R \ I0
~ ( ) Im
(2 )
2 2
d .
[286]
con lo cual, usando una vez ms que ~ Im 0 en todo caso, vemos que el integrando es no negativo a lo largo de todo el rango de integracin, de manera que inmediatamente nos ha quedado
El ltimo corchete en [286] vale 2 2 2
)2 ,
0 0 k
de donde resulta efectivamente la desigualdad buscada:
dk , d
[287]
vg c .
[288]
[288] se obtiene de [287] de manera exactamente anloga a como se obtuvo [285] de [281], slo que en [281] apareca ( ) en lugar de 0 y, en consecuencia, en [285] apareca v f 0 en lugar
( )
de c. Remarcamos que todos los resultados obtenidos aqu estn restringidos a la regin de transparencia 18, y que para poder introducir la nocin de velocidad de grupo es necesario que sea una funcin de variacin relativamente suave con k; de otro modo, el argumento de aproximacin dado en [274] perder su validez.
18.Fuera de sta, i. e., para frecuencias tales que se produce dispersin anmala, las ondas del grupo se atenan tan rpidamente que se pierde el sentido mismo de grupo, con lo que la velocidad de grupo queda despojada de su significado y su utilidad; no obstante, si aun as queremos calcularla, nos encontraremos con que puede llegar a hacerse mayor que c. En este sentido, notemos que, igualando las partes reales de ambos miembros de [223] y derivando con respecto a ,
~ 2 ~ 2 ~ ~ ( ) 2Re k (Re k ) (Im k ) = 0 2 Re d d ~ ~ d ~ ~ + 2 d Re ~ Re k 2Im k Im k = 0 2 Re d d
( )
( ) ,
y as vemos que la velocidad de grupo es mayor que la velocidad de fase i. e., ~ d ~ ~ d ~ ~ para 2 d Re + 2Im k 2Re k Re k < 0 2 Re Im k < 0 . Por definicin, el 0 d d d primer sumando del miembro izquierdo de la ltima desigualdad es negativo en el rango de dispersin anmala. (As, por ejemplo, para el modelo del oscilador con frecuencia de resonancia 0 que estudiamos en una seccin anterior habamos obtenido [207] que dicho rango est constituido
( )
( )
por todas las frecuencias tal que 0 < 0 .)
45
Tema 2 RADIACIN ELECTROMAGNTICA

2. 1. Algunos resultados matemticos tiles
Necesitamos introducir unas pocas nociones matemticas muy concretas como paso previo a la motivacin principal de este Tema 2: la bsqueda de la solucin de las ecuaciones de Maxwell.
TEORA DEL POTENCIAL
1. Consideremos la regin acotada del espacio D R 3 y la funcin puntual (r ) : D R .

Introducimos la funcin
x
()
r
D
( ) d r.
3 3
[289]
xr
La convergencia de la integral anterior est garantizada para cada x R adems, x es continua y sus derivadas primeras lo son tambin [ x C stas por derivacin bajo el signo de la integral: x = x i
r si (r ) est acotada;
()
()
(R 3 ) ], pudiendo obtenerse
[290]
()
( ) x
x r 1 d 3 r .
Existen dos posibilidades: para x D , el integrando es analtico; para x D , presenta una singularidad en r = x . En el primer caso, se comprueba a partir de [290] que la funcin x es r armnica; en el segundo, si aadimos la hiptesis de que (r ) sea derivable y de derivada continua r 2 1 [ (r ) C (D ) ], entonces x tiene sus derivadas segundas continuas [ x C (D ) ] y satisface la ecuacin de Poisson. En sntesis:
()
()
()
x =
()
4 x si x D 0 si x R \ D.
3
[291]
2. Sea la regin acotada del espacio D R 3 y la funcin puntual (r ) : D R , acotada y tal

que
introducimos la funcin
()
d r <;
[292]
k x
()
r
D
()e
ik x r
d r,
[293]
xr
46

con k R k x C
+ 1
para k=0, recuperamos la definicin de x dada en [289]. Tenemos garantizado que
()
()
(R 3 ) , pudiendo obtenerse las derivadas primeras por derivacin bajo el signo de la integral:
k x i
(x ) = ( )
D
e 3 r d r, x i x r
ik x r
[294]
donde la ltima integral podr ser impropia, pero nunca diverge. Si k x C adems
2
imponemos
la
hiptesis
r 1 (r ) C (D ) ,
entonces
necesariamente
()
(R 3 \ D ) , y se satisface la ecuacin de Helmholtz:

4 x si x D 2 2 k x + k k x = 3 0 si x R \ (D D ) .
()
()
()
[295]
3. Sea la regin acotada del espacio D R 3 y la funcin puntual (r , t ) : D R R , acotada y

con sus dos primeras derivadas parciales con respecto a la variable temporal acotadas. Introducimos la funcin
x,t
( )
r, t x r c
D
d r,
[296]
x r
+ con c R ; es frecuente utilizar la notacin abreviada r , t x r c . Tenemos garantizado que
[]
x,t C integral:
( )
(R 3 R ) ,
pudiendo obtenerse las derivadas primeras por derivacin bajo el signo de la
x,t = x i x,t = t
( )
3 d r x i x r
1
[]
( )
x r
3 [ ] d r . t
[297]
r 1 Si adems imponemos las hiptesis (r ) C (D R ) y
2 r (r , t ) M , t ri
con M algn real positivo, entonces necesariamente x , t C
[298]
( )
((R 3 \ D ) R ) y se cumple
[299]
4 x , t si x D 2 1 2 2 2 x , t = 3 c t 0 si x R \ (D D ) .
( )
( )
47

COMPORTAMIENTO ASINTTICO
Es de particular inters el comportamiento de las funciones introducidas arriba en el lmite
x x . Dado que imponemos en cualquier caso la finitud de la regin D, el mdulo del vector r , r r , tiene necesariamente alguna cota superior existe d R
+
tal que r < d ; con lo cual,
definiendo el vector R x r , es intuitivo (y correcto) pensar que se satisface lm x con R R .

R =1 x
[300]
FIG. 6. En puntos muy alejados del origen, el cociente de los mdulos de los vectores x y R tiende a la unidad.
Se puede decir, no obstante, algo ms preciso que [300] sobre cunto se parecen lejos del origen las cantidades R y x , pero para ello necesitamos familiarizarnos mnimamente en primer lugar con la nomenclatura asinttica (o notacin de Landau) introduciendo los conceptos de O (grande) y o (pequea). Dadas dos funciones de variable real y valores complejos f (x ) y g(x ) , definimos:
f = O (g ) : M R |
+
f (x ) M para x lo bastante grande , g (x )
[301]
y
f = o(g ) : lm x f (x ) g(x ) = 0;
[302]
en particular, decimos que una expresin es O (1 ) u o(1 ) si en el infinito permanece acotada o se desvanece respectivamente. Pues bien, la expresin matriz en que fundamentaremos todo nuestro anlisis asinttico nos dice que para un punto x lo bastante alejado del origen se verifica
48

r + O R= xx
1 , x
[303]
x x el vector de mdulo unidad en la direccin y sentido de x . siendo x

La demostracin es sencilla y la abordaremos: por definicin, tenemos
R = x r
2
( )
r + r , = x 2x x
[304]
de donde r + r 2 , (R + x )(R x ) = 2 x x
i. e., Rx =
[305]
2x r2 r + . x R+x R+x
[306]
Analicemos el primer trmino del miembro derecho de [306],
2x 2x r = r x r : x 1 x R+x R+x
[307]
el trmino entre parntesis vale en mdulo 1

Rx 2x r d , = R+x R+x R+x R+x
[308]
donde hemos aplicado la desigualdad triangular:
Rx r. x R + R x R + R = r + R x r + R (R x ) r
R x + x R x + x = r + x R r + x R x r
[309]
De [308], 1 2x R+x 1 x
dx d = d R+ x R x +1
[310]
recordemos que tanto R como x son definidos positivos, que, comparando con [301] e identificando M d , arroja 1
1 2x = O x . R+x
[311]
r est acotado ( x r r d ), tendremos asimismo Tomando en cuenta que el escalar x

1 1 2x x R + x r = O x ,
[312]
49

de modo que el primer trmino del miembro derecho de [306] ha quedado
1 2x r = O r . x x x R+x
[313]
En cuanto al segundo trmino, tenemos

r2 r2 d2 , R+x x x i. e., r 2 (R + x ) d ,
2
[314]
1 x
2
[315]
que, comparando con [301] e identificando M d , arroja
1 r2 = O x . R+x
Llevando [313] y [316] a [306],
1 r , R x = O x x
[316]
[317]
de donde es inmediato obtener [303], q. e. d. De [303], r 1 1 R x =1 + O ; x x x x
[318]
por inspeccin directa vemos que el segundo trmino del miembro derecho de [318] es una O (1 x ) ; en cuanto al tercer trmino, atendiendo a la definicin de O (grande) es directo ver que 1 1 1 O = O 2 , x x x as como tambin
O
[319]
1 1 1 +O = O . 2 x x x
[320]
Con ello, [318] queda

R 1 = 1 +O , x x
[321]
que, tomando x , nos lleva efectivamente a [300]. Notemos asimismo que podemos escribir
50

x x R 1 = 1 , R R x
[322]
donde, segn [300], el cociente x R permanece acotado para x , y segn [320], tenemos
O (1 x ) = R x 1 ; as, vemos que [321] arroja x 1 = 1 +O . R x
[323]
Introduzcamos ahora las funciones puntuales

r; x
( )
1
R
[324]
y
k r ; x
( )
ikR
[325]
R
con k 0 . Llevando [322] a [323],

r; x =
( )
1 x
x R
1 1 1+O x , x
[326]
lo que, comparado con [289], da x = 1 1 Q 1 () x 1+O x d r = + (r ) x x

3
D
1 3 r d r, x
()
[327]
con Q
r d r ; por lo dems, notemos que para algn M real positivo se satisface
()
1 3 r d r x
()
1 O x
r d r
()
M x
r d r,
()
[328]
de donde, usando que la integral
3 r d r converge a algn real positivo, vemos que
1 1 3 r d r = O , x x
()
[329]
y as nos queda finalmente la siguiente estimacin del comportamiento asinttico del potencial: x =
()
Q x
+O
1 . 2 x
[330]
Veamos ahora qu podemos hacer con [325]. Llevando a dicha expresin nuestra frmula matriz [303],
51

k r; x =
( )
e e
ikx
r ik x
( ) e ikO x
R
ikx
r ik x
( ) x e ikO x =
R
ikx
ikx
r ik x
( ) 1 + x

1 ikO x e
( ) 1 = e

r ik x
ikx ( ) + e e ik (x r ) x e ikO (x ) 1 . 1
[331]
Analicemos el comportamiento del ltimo corchete: por [322],
x ikO e R
Ya que la fase e
( ) 1 = 1 + O 1 e ( ) 1 = O 1 e ( ) + e ( ) 1 .
1 x ikO
1 x
ikO
1 x
ikO
1 x
[332]
ikO ( 1 x ) tiene mdulo unidad, el sumando O (1 x ) e es l mismo una ikO ( 1 x ) O (1 x ) ; por su parte, el sumando e 1 es asimismo una O (1 x ) segn podemos ver usando el 19 desarrollo en serie de la exponencial . Entonces, [332] queda sencillamente ikO ( 1 x )
x ikO e R
( ) 1 =O 1 ,
1 x
[333]
lo cual, llevado a [331] arroja, usando que la fase e
r ik x x
[ ( ) ] tiene mdulo unidad,

e
r ik x
k r; x =
( )
ikx
( ) + O
, 2 x
[334]
donde el primer sumando del miembro derecho decae como O (1 x ) , i. e., ms despacio que el segundo sumando. Con todo, [293] se reescribe
k x =
( ) (r ) ( r; x ) d r = e x (r )e
3 D k D
ikx
r ik x
( )
d r +O
1 2 x
[335]
donde hemos usado nuevamente la finitud de la regin D. En el futuro, tambin nos resultar til conocer el gradiente de la funcin k r ; x : r k r; x =
( )
( )
1 R
r e
ikR
)+ e
ikR
ikR 1 ik e 1 ikR r = r R + e r , R R R
[336]
19.Para cada complejo z en el crculo unidad, z 1 , se satisface

n n
e 1 =
n! = z (n + 1)!
n =1 n =0
e 1 = z
n =0
(n + 1 )! (n + 1)! (n + 1)! = e 1 ,
n =0 n =0
i. e., hemos encontrado que el cociente e
) z permanece acotado en mdulo para z 0 , lo que es equivalente a decir que el producto z (e 1 ) permanece acotado en mdulo para z . Y
z
1z
esto, por definicin de O grande, nos dice que e
1z
1 es una O 1 z .
( )
52

donde, si llamamos respectivamente x y r a las componentes simas de los vectores x y r , tenemos
2 3 1 3 2 2 r R = r (x r ) = (x r ) 2 =1 =1 1 1 2
2 x r
( ) ( 1) = R R
3 2
[337]
3 2 1 r = r (x r ) R =1
Llevando [337] y [338] a [336],
1 2
2 = (x r ) 2 =1
2 x r
( ) ( 1) = RR .
3
[338]
r k r ; x =
( )
ik e R
ikR 2
R+e
ikR
R R
3
[339]
El segundo sumando del miembro derecho de [339] es, por inspeccin directa, una O 1 x 2 ; entonces, comparando con [325], r k r ; x = ik k r ; x siendo, por [323], 1 x 1 1 = = R x R x y, por tanto, 1 R 1 = x r +O x2 R x
( )
1 , ( )R +O R x
2
[340]
1 1 1 1+O x = + O 2 , x x
[341]
( )
1 +O = x x
[342]
(recordemos que el vector r est acotado en mdulo), que llevado a [340] da finalmente +O r k r ; x = ik k r ; x x
( )
( )
1 , x2
[343]
donde hemos tenido en cuenta que la funcin k r ; x es ella misma una O (1 x ) .
( )
TEOREMA DE HELMHOLTZ
Empezaremos abordando un problema de entrenamiento que, aunque no tendr aplicacin directa en nuestro estudio, nos resultar provechoso en tanto que didctico. Sea la regin acotada del espacio D R y el campo escalar U r : D R con U C (D ) y satisfaciendo condiciones de el vector de mdulo unidad normal y saliente de S ; consideremos el regularidad en S = D . Sea n
3 3
()
punto fijo pero arbitrario x R
y definamos el vector R x r . Se verifica:
53
r 2U 3 d r+ D R
4 U x, t si x D 1 1 U [344] r U r d a = S R n n R 3 0 si x R \ (D D ) ,
. y (1 R ) n = (1 R ) n donde U n = U n
Para probar [344], nos apoyaremos en el siguiente resultado fundamental del Anlisis Matemtico:
TEOREMA DE GREEN. Sea la regin acotada del espacio D R
y los campos escalares , r : D R
()
2 el vector de mdulo con , C (D ) y satisfaciendo condiciones de regularidad en S = D . Sea n unidad normal y saliente de S ; entonces:
(
D
2 d r =
( ) n da .
[345]
Volviendo a nuestro problema de entrenamiento, si nos restringimos a la posibilidad x D resulta que 1 R nunca es singular y as podemos considerar [344] un caso particular de [345] si identificamos 1 R y U ; en efecto, puede obtenerse por clculo explcito que
R 1 1 = = R3 R R
=0
[346]
donde hemos usado [338] para cada r con r x . De mayor inters es tener x D , ya que en este caso 1 R es divergente en el punto r = x y no se satisfacen las condiciones para aplicar el teorema de Green de manera directa. No obstante, podemos optar por aislar la singularidad encerrndola en una esfera de radio que la tenga por centro, sea la regin B x ;
S . Definiendo la regin D D \ B x ; podremos garantizar que se satisface
( ) con frontera
D
( ) con frontera
D = S S ,
2 d r =
( ) n da .
[347]
FIG. 7. Ponemos en cuarentena el punto singular r = x para poder aplicar el teorema de Green.
54

Particularizando para 1 R y U , [347] queda
2U 3 d r= R
1 1 da + R U U R n
1 1 da . R U U R n
[348]
Usando [338], la integral sobre S en [348] puede ponerse
1 1 da = R U U R n
1 U da R n
Rn R
3
da .
[349]
Notemos que el vector normal a la superficie esfrica S en el punto r es x r x r luego

2
= n
R , R
[350]
R = Rn =R R y [349] adopta el aspecto
[351]
1 R R U U 3 da = S R R R
1 U da R n
U
S
da =
1 U da 2 U da , [352] S n
donde hemos usado que R = sobre S . En el lmite 0 , tenemos
1 U da n
U M da n
da = 4M 0 ,
S
[353]
con M algn real positivo, ya que la funcin U n satisface por hiptesis condiciones de regularidad (en particular, est acotada sobre S ). Por otro lado, al hacer que la esfera B x ; sea infinitamente pequea, la funcin U puede asumirse constante sobre la superficie e igual al valor que toma en el centro, i. e.,
( )
U da 4 U (x ) .
S
[354]
De [353] y [354] vemos que [352] da en el lmite 0 :
de suerte que [348] arroja
1 1 R R U U R R da 4 U x ,
()
[355]
55
2U 3 d r= D R
1 1 da 4 U x R U U R n
()
20,
[356]
y de aqu es directo llegar a [344] para el caso x D , q. e. d. Hemos probado as una frmula de representacin para campos escalares que permite reconstruirlos a partir de, entre otras cosas, su laplaciano. Una vez concluido nuestro problema de entrenamiento, pasamos a abordar el teorema de Helmholtz, que puede considerarse el resultado para vectores anlogo a [344] para escalares: aqu el objetivo es demostrar una frmula de representacin para campos vectoriales que permita reconstruirlos conocidos su rotacional y su divergencia. Sea la regin acotada del espacio D R y el campo vectorial F r : D R con F C (D ) y el vector de mdulo unidad normal y saliente satisfaciendo condiciones de regularidad en S = D . Sea n de S ; consideremos el punto fijo pero arbitrario x R funcin = 1 R . Se verifica:
3 3
()
y definamos el vector R x r y, con l, la
20.Notemos que, identificando una vez ms 1 R y U , [345] da
2U D R
1 1 3 d r = S U R R
1 n da , R
mientras que de [356] tenemos, para x D ,
2U
D
d r + 4 U x =
()
1 R U
1 n da . R
Igualando los miembros izquierdos de las dos expresiones anteriores, queda
adems, segn [346] la funcin
1 3 d r = 4 U R
(x );
con r x , y diverge en
(1 R ) se anula idnticamente para cada r
el punto r = x . ste es precisamente el comportamiento de una delta de Dirac (tridimensional) centrada en r = x :

2
1 = 4 r x R
( ),
1 4
de modo que la solucin de v = r x es
( )
v r; x =
( )
1 4 x r
r; x :
( )
la solucin principal para la ecuacin de Laplace en tres dimensiones.
56

4 F (x , t ) si x D F ) da F ) da = ( F ) d r + ( F ) d r ( n ( n 0 si x R \ (D D ) .
3 3 D D S S 3
[357]
Para la demostracin de [357], consideremos el siguiente campo vectorial auxiliar:
G r a =
()
a x r
[358]
donde a R es un vector arbitrario (constante). El rotacional y la divergencia del campo G son respectivamente G = a y G = a . Consideremos por otro lado la siguiente identidad vectorial:
[359]
[360]
G G G ,
) ( )
[361]
donde el laplaciano de G es un vector cuya componente i viene dada por el laplaciano del campo escalar G i a i , y por tanto
G = a = a
quedando [361] en la forma
1 = 4 r x a , R
( )
[362]
G = G + 4 r x a .
Tenemos asimismo la identidad
) ( )
( )
[363]
F G
que por [363] se escribe
[ ( ) ] ( G ) ( F ) F [ ( G ) ],
[364]
F G
[ ( ) ] = ( G ) ( F ) F [ (G ) ] 4 (r x )F a .
3 3
D D
[365]
Haciendo la integral de volumen extendida a D a ambos lados de [365], resulta
siendo
F G
[ ( ) ] d r = ( G ) ( F ) d r
F G
[ ( ) ] d r 4 F (x ) a ,
3
[366]
57

1 si x D = 3 0 si x R \ (D D ) .
Ahora bien, por el teorema de la divergencia,
[367]
G d r= F
3
[ F ( G ) ] n da ,
[368]
de modo que podemos igualar los miembros derechos de [366] y [368]:
( G ) ( F ) d r
3
F G
[ ( ) ] d r 4 F (x ) a = [ F ( G ) ] n da .
3
S
[369]
Podemos reescribir la segunda integral en la expresin anterior si utilizamos la identidad vectorial
G F G F + G F ,
de modo que
[ ( ) ] [ ( ) ] ( )( )
3
S D
[370]
F G
[ ( ) ] d r = [ (G )F ] n da (G )(F ) d r ,
3
3 S S
[371]
donde hemos aplicado una vez ms el teorema de la divergencia. Llevando [371] a [369],
( G ) ( F ) d r + (G )(F ) d r 4 F (x ) a = [ F ( G ) ] n da + [ F G ] n da .
D
[372]
Insertando [359] y [360] en [372]:
( F ) ( a) d r + (F )( a) d r [ F ( a) ] n da [ F a ] n da = 4 F (x ) a .
3 3 D S S
[373]
Utilizando la propiedad cclica del producto mixto, tenemos
( F ) ( a) a [ ( F ) ]
y
[374]
F a n
de suerte que [373] se reescribe
a
[ (
) ] ( a) (n F ) a [ n F ],
S S
[375]
( F ) d r + a (F ) d r a (n F ) da a (n F ) da = 4 a F (x ) ,
3 3 D
[376]
i. e.,
a
( F ) d r + (F ) d r (n F ) da (n F ) da 4 F (x ) = 0.
3 3 D S S
[377]
58

Es decir, el trmino vectorial de la llave en [376] es ortogonal a a . Pero, ya que dicho a es totalmente general, esto nos lleva a que el trmino de la llave es de hecho el vector nulo, y as queda finalmente
( F ) d r + (F ) d r (n F ) da (n F ) da = 4 F (x ),
3 3 D S S
[378]
que es exactamente la expresin [357] del teorema de Helmholtz, q. e. d. Dada la forma de las ecuaciones de Maxwell, parece clara la utilidad de esta frmula de representacin para un campo vectorial del que se conocen su rotacional y su divergencia.
[357] se ha obtenido para = 1 R , que a su vez puede verse como un caso particular de la
funcin k = e ikR R (que tambin introdujimos con anterioridad) si ponemos k=0. Sin embargo, es relevante y lo usaremos ms adelante que para k arbitrario (no nulo) la expresin anloga a [357] es idntica a sta, salvo porque en su miembro izquierdo incluye el trmino extra k
2
k F d r . Ya que
dicho trmino desaparece para k=0, vemos que efectivamente esta variante tiene ms generalidad que [357].
2. 2. Solucin de las ecuaciones de Maxwell. Potenciales retardados
Vamos a comenzar nuestro estudio analizando algn caso particular de las ecuaciones de Maxwell para preparar el terreno. En concreto, al revs de como sucedi histricamente, vamos a deducir las leyes de la electrosttica y la magnetosttica las leyes de Coulomb y de BiotSavart a partir de la axiomtica de Maxwell (en vaco).
Al imponer que y J no dependan del tiempo [ = r y J = J r funciones conocidas dentro de la regin acotada D0 ; = 0 y J = 0 fuera de ella], las ecuaciones de Maxwell pasan de ser un sistema de cuatro ecuaciones a constituir dos sistemas, desacoplados entre s, de dos ecuaciones, independientes del tiempo: E = 0
()
()
[379]
E = 0 y
B = 0 J .
B = 0
[380]
Consideremos [379] en primer lugar: buscamos evaluar el campo electrosttico E en un punto fijo pero arbitrario x R
3
contenido o no en D0 . Definimos la regin D d como una esfera de radio d
centrada en el origen de coordenadas, siendo el real positivo d lo bastante grande como para que D d contenga enteramente tanto a D0 como a x ; sea S d la superficie esfrica encerrando D d . Entonces, por
[357],
59

4 E x =
()
Dd
1 3 d r 0 R
Sd
1 1 E ) (n E ) da (n da , R R
Sd
[381]
que por [338] puede ponerse 4 E x =
()
Dd
R 3 d r 0 R 3
R R E 3 + n E 3 da . n Sd R R
( )
[382]
Nos preguntamos cul ser el comportamiento de la expresin anterior (en concreto, de la integral de superficie) al extender la regin de integracin a todo el espacio R , i. e., en el lmite d , si dejamos fijo el punto x mientras que r se desplaza. Cualitativamente, sabemos que, al crecer d, el rea de S d aumenta como d
2
y el integrando decae en mdulo como E R 2 E d 2 . De modo que
imponer que el campo electrosttico se desvanezca en el infinito, E r 0 para r , es condicin suficiente para tener 4 E x =
()
()
0
R3
R 3 d r= 3 0 R
D0
R 3 d r, 3 0 R
[383]
donde hemos usado que r = 0 para r D0 . As, hemos obtenido la implicacin E =
()
E =0 E x = E x = o(1 )
()
()
1 4 0
D0
( ) RR d r ,
3 3
[384]
donde la condicin suficiente es precisamente la ley de Coulomb. Mostremos ahora que la ley de Coulomb satisface efectivamente las ecuaciones de Maxwell para el campo electrosttico [379] y predice que ste se desvanece en el infinito: as habremos probado que la solucin coulombiana es la nica para un campo electrosttico con condiciones asintticas plausibles. En efecto, considerando que por la propia definicin del vector R cualquier funcin de R, sea f (R ) , verifica r f (R ) = x f (R ) , la ley de Coulomb da
E x =
()
1 4 0
()
D0
r r
1 d 3 r = x R
r
D0
( )d r (x ),
3
[385]
donde hemos identificado la integral en la llave con el potencial electrosttico x . As, hemos comprobado el carcter conservativo, luego irrotacional en todo el espacio, del campo de Coulomb. Para comprobar la ley de Gauss, basta tomar divergencias a ambos lados de la ley de Coulomb:
()
x E x =
()
1 4 0
D0
1 1 3 r r r R d r = 4 0
()
R3
r 4 r x d r =
( )[
( )]
x 0
( ).
[386]
60

Ahora estudiaremos en detalle el comportamiento asinttico de la solucin coulombiana, llegando a que efectivamente se anula en el infinito, pero siendo algo ms especficos. Consideremos que
E x =
()
1 4 0
x r 1 ( ) R d r = 4
D0
r
D0
R3
( )d r xx
3
r ( )R
D0
d r . [387]
Manifiestamente tenemos
D0
( ) Rr
d r = O
1 ; x3
[388]
en cuanto a la integral del corchete en [387],
r
D0
R3
( )d r =
3
1 x
3
x ( )R
D0
d r.
[389]
Consideremos que, usando [323], tenemos
1 1 1 x 1 = x + 1 x 1 = 2 + O R R R x O = O x x
y, en consecuencia,
[390]
3 2 1 1 x x 1 1 x 1 = x 1 +O 1 + + = O 3 + O = O . [391] R R R R x x x x
Llevando [391] a [389],
r
D0
( )d r =
3 3
1 x
3
1 3 Q 1 r 1 + O d r = 3 +O 4 D0 x x x
()
[392]
donde Q es la carga total contenida en D0 . Insertando [388] y [392] en [387],
E x = i. e.,
()
1 1 Q +O x4 3 4 0 x
1 +O xx 3 x
[393]
E x =
()
x Q 1 +O 3 . 2 4 0 x x
[394]
Vemos entonces que este campo es efectivamente una o(1 ) . De hecho, asintticamente se comporta como el campo de una carga puntual de valor Q en el origen disminuye con el cuadrado de la distancia y es radial; en cambio, para Q = 0 exhibe una decadencia ms rpida, propia de los campos dipolares. Busquemos ahora, a partir de [380], una expresin para el campo magnetosttico B en un punto fijo pero arbitrario x R
3
contenido o no en D0 . De modo anlogo a como obtuvimos [381] a
partir de [357] slo que esta vez es la divergencia del campo la que se anula, y no el rotacional,
61

4 B x,t = i. e., 4 B x,t =
( )
Dd
0 J
1 d 3r R
Sd
1 1 B ) (n B ) R da (n R da ,
Sd
[395]
( )
Dd
0 J
R R
3
d r
R R E 3 + n E 3 da . n Sd R R
( )
[396]
Al imponer que el campo magnetosttico se desvanezca en el infinito, B r 0 para r , la integral de superficie anterior se desvanece en el lmite d , de modo exactamente anlogo a como suceda para el campo electrosttico, y as queda 4 E x =
()
()
0 J
R R
3
d r=
D0
0 J
R R
3
d r,
[397]
donde hemos usado que J r = 0 para r D0 . As, hemos obtenido la implicacin
()
B = 0 J B x = 0 4 ( ) Bx =o1
B = 0
()
()
D0
J r
()
R R
3
d r,
[398]
donde la condicin suficiente es precisamente la ley de BiotSavart. Mostremos ahora que la ley de BiotSavart satisface efectivamente las ecuaciones de Maxwell para el campo magnetosttico [380] y predice que ste se desvanece en el infinito: as habremos probado que la solucin de BiotSavart es la nica para un campo magnetosttico con condiciones asintticas plausibles. En efecto,
Bx =
()
D0
J r
1 d 3 r = 0 4 R
D0
0 1 J d 3r = x 4 R
Jr
D0
( )d r
3
Ax ,
()
[399]
donde hemos identificado la integral en la llave con el potencial vector A x . As, hemos comprobado que el campo de BiotSavart puede expresarse como el rotacional de algn campo vectorial, luego este campo ha de ser solenoidal en todo el espacio. Para comprobar la ley de Ampre, tomaremos rotacionales a ambos lados de la ley de Biot Savart: x B x =
()
()
D0
x J
d 3r , R
3
[400]
Aplicando la identidad vectorial conocida u v v u u v + u v v u para cada u, v R , podemos reescribir el integrando en [400] como
3
( ) ( ) ( )
( ) ( )
[401]
62

x J
= J x R3 + J x R3 , R R R
3
[402]
donde hemos tenido en cuenta que R R 3 x J = 0 y que R R punto x considerado. Tomando en cuenta adems que x insertar [402] en [400] resulta x B x =
( J ) = 0 al no depender J del (R R ) = (R R ) = 4 (r x ) , al
3
x
()
3 R 3 + 4 r x J d r = 0 J x R 4
D0
(J ) RR
r
d r + 0 J x .
()
[403]
Mostremos que la ltima integral en [403] es de hecho el vector nulo evaluando su componente isima; as, haciendo uso de la derivada del producto, podemos reescribir el integrando:
3 3 R i 3 R i J j R Ri Ri = r 3 J, 3 = Jj 3 3 J r 3 = J j R R i j =1 r j R j =1 r j R j =1 R r j
[404]
donde hemos omitido el trmino Ri R 3 r J ya que por hiptesis habamos tomado (t ) y, por la ecuacin de continuidad, esto nos lleva a que el campo J r tiene divergencia nula en todo el espacio. Con lo cual, aplicando el teorema de la divergencia,
()
D0
(J ) RR
r
d r =
D0
Ri R
3
J d r =
Ri
D0
da . J n
[405]
Ahora bien, la integral de superficie anterior es necesariamente nula, habida cuenta de que D0 encierra toda la carga existente en el espacio, y por lo tanto no hay flujo de corriente de D0 al exterior. Con todo, nos queda efectivamente
D0
(J ) RR
r
d r = 0,
[406]
lo cual, llevado a [404], arroja finalmente la ley de BiotSavart. Por ltimo, estudiaremos el comportamiento asinttico de la solucin de BiotSavart. Consideremos que
Bx =
()
0 4
D0
x r 3 0 d r = R3 4
Jr
D0
R3
( )d r xx
3
()
D0
Jr
r R3
d r .
[407]
Manifiestamente tenemos
D0
J r
()
r R
3
d r = O
1 ; x3
[408]
en cuanto a la integral del corchete en [407], se demuestra de modo anlogo a como se hizo para la integral del corchete en [387] que
63
D0
r J 1 3 d r= 3 3 R x
D0
J r d r +O
()
1 . 4 x
[409]
Insertando [408] y [409] en [407], Bx =
()
3 4 x
0 1
D0
J r d r +O
()
1 4 x
1 xx + O 3 , x
[410]
i. e., Bx =
()
D0
J r d r
()
+O
1 : 3 x
[411]
vemos as que este campo es efectivamente una o(1 ) . Ms precisamente, su comportamiento asinttico es como el del campo electrosttico de Coulomb, i. e., decae con el cuadrado de la distancia al origen. *** Tomando las ecuaciones de Maxwell como punto de partida, acabamos de demostrar concienzudamente que, en problemas estacionarios, la solucin para los campos elctricos y magnticos est en todo caso determinada de modo nico y que dichos campos exhiben en general un comportamiento asinttico de tipo O 1 x ; recordemos que, para alcanzar esta conclusin, slo hemos tenido que imponer una condicin de contorno: que los campos se desvanezcan al alejarnos infinitamente de las cargas y corrientes que los crean. Pero, si planteamos un problema variable en el tiempo, nunca una solucin para los campos de tipo O 1 x
) tendr sentido fsico: si no fuera as, el vector de Poynting ( S E B ) podra exhibir un comportamiento de O (1 x ) , y por tanto el flujo neto de energa radiada por los campos a travs de una superficie cuya extensin crece con x como x quedara una O (1 x ) . En tal caso, la energa radiada
2 4 2 2
desaparecera rpidamente al alejarnos del origen, y no podramos seguir recibiendo radiacin electromagntica al alejarnos indefinidamente de su fuente, algo que es manifiestamente contradictorio con las observaciones experimentales. As pues, esperamos encontrar y as ser que la energa radiada se comporta como una O (1 ) , i. e., que el vector de Poynting es una O 1 x
): los campos elctrico y
magntico son, en problemas dependientes del tiempo, cada uno una O (1 x ) y no, como sucede en situaciones estticas, una O 1 x . Adelantamos que, para llegar a esta conclusin, tendremos que imponer nuevas condiciones asintticas a los campos que, junto con las que habamos impuesto para obtener las soluciones estacionarias, nos permitirn eliminar nuevamente las integrales de superficie que aparecen al aplicar el teorema de Helmholtz. Recordemos que cualquier funcin temporal (t ) satisfaciendo unas condiciones mnimas de regularidad puede ser reconstruida a partir de la suma infinita de ondas armnicas, cada una con ~ ~ frecuencia y peso ( ) , donde la funcin ( ) de valores complejos en general es la transformada de Fourier de (t ) . Consecuentemente, en el desarrollo que sigue tomaremos una dependencia temporal armnica para las variables E x , t , B x , t , x , t y J x , t ; al igual que en otras ~ ~ ~ ~x y J ocasiones, introduciremos las funciones puntuales de valores complejos E x , B x , x , que estn definidas por la condicin
( ) ( ) ( ) ( ) () () () ()
64

E x,t B x,t x,t J x,t
( ( ( (
~ E (x ) ) ~ B (x ) ) = Re ~ e ) (x ) ~ ) J (x )
it
[412]
y satisfacen la versin armnica (independiente del tiempo) de las ecuaciones de Maxwell:

~ ~ E = 0 ~ ~ E = i B ~ B = 0 ~ ~ ~ B = 0 J i0 0 E .
[413]
CAMPO ELCTRICO
~ ~r =0 y J una regin acotada del espacio tal que r = 0 para cada r D0 . ~ 3 Buscamos evaluar el campo elctrico E en un punto fijo pero arbitrario x R contenido o no en D0 .
Sea D0 R
3
()
()
Definimos la regin D d como una esfera de radio d centrada en el origen de coordenadas, siendo el real positivo d lo bastante grande como para que D d contenga enteramente tanto a D0 como a x ; sea S d la superficie esfrica encerrando D d . Entonces, aplicando el teorema de Helmholtz (en su variante para k real arbitrario), las ecuaciones de Maxwell [413] nos dan
~ 4 E x = i
()
Dd
1 ~ 3 B k d r + 0
Dd
~ d 3 r k 2 k
Dd
~ 3 k Ed r
Sd
~ ~ (n E ) da (n E ) da,
k Sd k
[414]
con k = e
ik x r
x r .
Analicemos la primera integral en [414]: por la derivada del producto, podemos poner el correspondiente integrando como
~ ~ ~ B k = k B + k B ,
de donde, haciendo uso de la ley de AmpreMaxwell e integrando a todo el volumen D d ,
( )
[415]
Dd
~ 3 B k d r =
Dd
~ 3 k B d r + 0
( )
Dd
~ 3 k J d r i 0 0
Dd
~ 3 k E d r ,
[416]
La primera integral del miembro derecho de [416] puede reexpresarse si usamos que para cualquier campo vectorial F regular en D d se verifica
Dd
F d r
F da . = n
Sd
[417]
65

~ Ahora bien, el campo k B presenta una singularidad en el punto r = x ; solventamos este
inconveniente aislando la singularidad en una esfera de radio que la tenga por centro, sea la regin
B x ; con frontera S . Definiendo la regin D d , D d \ B x ; con frontera D d , = S d S , s que

podremos garantizar que se satisface
( )
( )
Dd ,
~ 3 k B d r =
( )
Dd ,
~ B da = k n
Sd
~ B da + k n
~ B da . k n
[418]
Notemos que, usando que R = sobre S , en el lmite 0 tenemos
i. e.,
~ B da k n
1 ~ B da k n
~ ~ B da 4 B x 0 ,
()
[419]
~ B da 0 , k n
[420]
conque [418] nos dice que de hecho s que se cumple
Dd
~ 3 k B d r
( )
Sd
~ B da . k n
[421]
Llevando [421] a [416] y multiplicando ambos miembros por i ,
Dd
~ 3 B k d r = i
2
Sd
~ B da + i0 k n
2 ~ 3 k J d r + 2 Dd c
Dd
~ 3 k E d r ,
[422]
donde hemos puesto ya c
= 0 0 . Insertando [422] en [414] y agrupando por un lado las integrales
de volumen y por otro las de superficie,

~ 4 E x =
()
2 ~ ~ ~ ~ 3 2 i J + E + k k k E d r 0 k k 2 Dd 0 c
Sd
~ ~ {(n E ) + (n E )
k
~ B da. + i k n
[423]
Ya que el real positivo k es arbitrario, podemos escoger convenientemente k = c , quedndonos
~ 4 E x =
()
~ 3 ~ i J + k d r 0 k Dd 0
Sd
~ ~ {(n E ) + (n E )
k
~ B da. [424] + i k n
Nos preguntamos cul ser el comportamiento de la expresin anterior al extender la regin de integracin a todo el espacio R , i. e., en el lmite d ; en concreto, queremos saber qu condiciones ~ ~ suficientes deben imponerse a los campos E y B para que la integral de superficie de [424] se desvanezca en dicho lmite. Recordemos que en su momento obtuvimos [340], una expresin asinttica para el gradiente de
3
k en el lmite x para r acotado; ahora bien, en el caso que ahora nos ocupa el punto x est fijado
r r , la expresin anloga a [340] es y estamos investigando el lmite r , con lo cual, llamando r
66

x rr 1 1 + O + O 2 = ik k r 2 R r r
r k = ik k
[425]
tngase en cuenta que para r se tiene r R = 1 + O (1 r ) (expresin anloga a [323] para x ); adems, k es ella misma una O (1 r ) . Por [425], el integrando de la integral de superficie en [424] puede ponerse
~ ~ (n E ) + (n E )
k
1 ~ ~ B= n E ik k r +O + i k n 2 r
( )
~ E + n
( )ik r + O r1 + i
k 2
~ B, n
[426]
i. e. recordando que = kc ,
~ ~ (n E ) + (n E )
k
~ ~ ~ ~ B = ik k n E r + n E r +c n B + i k n
1 ~ 1 ~ E ) O [ ( ) ( ) ( ) ]+ (n E )O + (n . r r
2 2
[427]
La extensin de S d aumenta con r como r ; as, para que la integral sobre S d de los dos ltimos sumandos en el miembro derecho de [427] se desvanezca en el lmite d , basta que el ~ campo elctrico haga lo propio, E = o(1 ) . En cuanto al trmino restante del miembro derecho, consideremos anticonmutatividad del producto vectorial y la regla de expulsin podemos poner que por la
2
~ ~ ~ ~ ~ ) = (r n )E (r , E )n (n E ) r = r (n E ) = r (E n
y, por tanto,
[428]
ik
Sd
~ ~ ~ E r +c n B + n E r k n
[ ( ) ( ) ( ) ] da = ik
Sd
~ ~ ~ ~ + c (n B ) ] da . E )n + (n E )r [ (r n )E (r
[429]
=r sobre S d , [429] se simplifica en Usando que n
ik
Sd
~ ~ ~ E r + n E r +c n B k n
[ ( ) ( ) ( ) ] da = ik
Sd
~ ~ B k E + c r
( ) ] da .
[430]
Queremos que la ltima integral sea una O (1 r ) , i. e., que el integrando sea una O 1 r 3 , lo cual, conociendo el comportamiento asinttico de k , nos da la siguiente condicin de radiacin:
~ ~ B r E r +c r
i. e.,
() [
1 ( )]= O , r
2
[431]
~ ~ B r E r +c r
() [
1 ( )]= o . r
[432]
67

~ ~ ~ B = o(1 r ) basta para Con lo cual, volviendo a [424], vemos que imponer E = o(1 ) y E + c r que la solucin para el campo elctrico sea
~ E x =
( )
()
1 4 0
D0
~ r r ; x d 3 r + i0 k 4
()
( )
D0
~ 3 k r ; x J r d r .
( ) ()
[433]
CAMPO MAGNTICO
~ ~r =0 y J una regin acotada del espacio tal que r = 0 para cada r D0 . ~ 3 Buscamos evaluar el campo magntico B en un punto fijo pero arbitrario x R contenido o no en D0 .
Sea D0 R
3
()
()
Definimos la regin D d como una esfera de radio d centrada en el origen de coordenadas, siendo el real positivo d lo bastante grande como para que D d contenga enteramente tanto a D0 como a x ; sea S d la superficie esfrica encerrando D d . Entonces, aplicando el teorema de Helmholtz (en su variante para k real arbitrario), las ecuaciones de Maxwell [413] nos dan
~ 4 B x = 0
()
Dd
~ 3 J k d r i 0 0
Dd
~ 3 2 E k d r k
Dd
~ 3 k Bd r
Sd
~ ~ (n B ) da (n B ) da,
k Sd k
[434]
con k = e
ik x r
x r .
Analicemos la segunda integral en [434]: por la derivada del producto, podemos poner el correspondiente integrando como
~ ~ ~ E k = k E + k E ,
de donde, haciendo uso de la ley de FaradayLenz e integrando a todo el volumen D d ,
( )
[435]
Dd
~ 3 E k d r =
Dd
~ 3 k E d r + i
( )
=
Dd
~ 3 k B d r .
[436]
Razonando exactamente como lo hicimos para obtener [421], podemos ver que se cumple
Dd
~ 3 k E d r
( )
Sd
~ E da ; k n
[437]
llevando [437] a [436] y multiplicando ambos miembros por i0 0 = i c 2 ,
c2
Dd
~ 3 E k d r = i 2 c
2 ~ E da + 2 k n Sd c
Dd
~ 3 k B d r .
[438]
Insertando [438] en [434] y agrupando por un lado las integrales de volumen y por otro las de superficie,
~ 4 B x =
()
2 ~ ~ ~ 3 J + k B k 2 k B d r 0 k 2 Dd c
Sd
~ ~ ~ B B E n k + n k i 2 k n c
da.
[439]
68

Ya que el real positivo k es arbitrario, podemos escoger convenientemente k = c , quedndonos
~ 4 B x = 0
()
Dd
~ 3 J k d r
Sd
~ ~ ~ B B E n k + n k i 2 k n da. [440] c
Nos preguntamos cul ser el comportamiento de la expresin anterior al extender la regin de integracin a todo el espacio R , i. e., en el lmite d ; en concreto, queremos saber qu condiciones ~ ~ suficientes deben imponerse a los campos E y B para que la integral de superficie en [440] se desvanezca en dicho lmite. Por [425] la expresin asinttica para el gradiente de k en el lmite r (con x fijo), el integrando de la integral de superficie en [440] puede ponerse
3
1 ~ ~ ~ ~ B B E = B +O n k + n k i 2 k n n ik k r r2 c
~ 1 B ik k r +O n + r2
~ E, i c 2 k n [441]
i. e. recordando que = kc , 1 1 ~ ~ ~ ~ ~ ~ ~ B B E = ik k B + B n E + B n k + n k i 2 k n n r n r n O 2 c c r
~ 1 nB O 2 . + r
[442]
La extensin de S d aumenta con r como r ; as, para que la integral sobre S d de los dos ltimos sumandos en el miembro derecho de [427] se desvanezca en el lmite d , basta que el ~ campo magntico haga lo propio, B = o(1 ) . En cuanto al trmino restante del miembro derecho, consideremos que, anlogamente a [428], podemos poner
~ ~ ~ B )n , (n B ) r = (r n )B (r
y, por tanto,
[443]
ik
~ ~ 1 ~ k n B r + n B r n E da = ik Sd c
( ) ( )
~ ~ ~ 1 ~ k (r n )B r B n + n B r n E da . Sd c [444]
( ) ( )
=r sobre S d , [444] se simplifica en Usando que n
ik
Sd
~ ~ 1 ~ k n B r + n B r n E da = i k c
( ) ( )
Sd
~ 1 ~ k B r E da . c
[445]
Queremos que la ltima integral sea una O (1 r ) , i. e., que el integrando sea una O 1 r 3 , lo cual, conociendo el comportamiento asinttico de k , nos da la siguiente condicin de radiacin:
69

1 ~ ~ E r = O cB r r 2 , r
()
()
[446]
i. e.,
1 ~ ~ E r = o cB r r . r
()
()
[447]
~ ~ ~ E = o (1 r ) basta para Con lo cual, volviendo a [440], vemos que imponer B = o(1 ) y c B r que la solucin para el campo magntico sea
~ Bx = 0 4
()
DO
~ 3 J r k r ; x d r .
()
( )
[448]
~ r ~ r Mostremos la implicacin inversa, i. e., que la solucin obtenida para E (x ) y B (x ) , [433] y ~ r ~ r ~ r ~ r B (x ) = o(1 x ) [448] respectivamente, cumple las condiciones asintticas E (x ), B (x ) = o(1 ) , E (x ) + c x ~ ~ E x = o (1 x ) al limitar nuevamente la regin de integracin a D0 , hacemos que r vuelva y cB x x
()
()
a estar acotado, e investigamos el comportamiento del campo al llevar x al infinito.
~ ~ Para percatarnos de que E y B se desvanecen efectivamente en el infinito, consideremos sencillamente que, insertando la expresin asinttica para el gradiente de k [343] en [433] y [448],
tenemos respectivamente ik ~ E x = x 4 0 y ik0 ~ B x = 4
()
D0
~ r r ; x d 3 r + i0 k 4
() ( )
D0
1 ~ 3 k r ; x J r d r + O 2 x
( ) ()
[449]
()
1 ~ 3 +O k r; x J r d r x DO x2
( ) ()
[450]
Recordando que las integrales en D0 estn en todo caso acotadas por la finitud de dicha regin y que k es ella misma una O (1 x ) , por inspeccin directa sobre [449] y [450] observamos que
~ ~ ~ ~ E , B = O (1 x ) , lo que implica a su vez que E , B = o(1 ) .

Algo ms laborioso es probar que la solucin para los campos segn [433] y [448] satisface ~ ~ ~ ~ E = o (1 x ) y E + c x B = o(1 x ) . Notemos que, por efectivamente las condiciones de radiacin c B x
( )
,
[450] usando que = k c y la anticonmutatividad del producto vectorial,

i0 ~ cB x = x 4
()
DO
~ 1 3 k r; x J r d r + O 2 x
( ) ()
[451]
x = 0 , mientras que, por [449] usando que x

i 0 ~ E x = x x 4
()
D0
1 ~ 3 k r ; x J r d r + O 2 x
( ) ()
70
[452]

~ ~ E = o (1 x ) . comparando [451] y [452], vemos directamente que, en efecto, c B x
Ahora, por [450] usando que = k c y la anticonmutatividad del producto vectorial,
~ B x c x
[ ( ) ] = i 4
DO
~ x J r k r; x x
( ) [
1 ( )] d r + O , x
3 2
[453]
2 = 1 , en donde, por la regla de expulsin usando que x

~ ~ ~ x J = x J x J, x
)( )
[454]
lo que insertado en [453] da

~ B x c x
[ ( ) ] = i 4
i0 ~ J d 3r k r; x x DO 4
( )
~ 3 1 k r; x J d r + O 2 , DO x
( )
[455]
o bien, si tenemos en cuenta [449],

~ ~ B x E x +c x
() [
( ) ] = i x 4
0
ik ~ J d 3r k r; x x x DO 4 0
( )
~ r r ; x d 3 r + O 1 . [456] 2 k D0 x
() ( )
Por la ecuacin de continuidad en su versin armnica (independiente del tiempo),

~ ~ r = i J r ,
()
2
()
[457]
podemos reescribir [456] usando que c

~ ~ B x E x +c x
= (k ) = 0 0 :
3
() [
x 1 ~ ~ J J (r ) ] ( r ; x ) d r + O [ ( ) ] = 4 ik x , c x
0
DO
[458]
que, usando la expresin asinttica [334] para k r ; x , toma el aspecto
( )
~ ~ B x E x +c x
() [
~ ~ J J (r ) ]e ( ) ] = 4e c x [ ik x x
0 DO
ikx
r ik x
( ) d 3r + O
x2
[459]
Ahora consideremos que, por la derivada del producto, e
r ik x
~ ( )J
) = (e
DO
r ik x
( )
) J~ + e
r ik x
~ ~ ~ ( ) J J + J ) e ik (x r ) , = ( ik x
[460]
lo que, llevado a [459], da ~ ~ B x E x +c x
() [
( ) ] = 4e c x x
0
ikx
r ik x
~ ( )J (r )
d r +O
ikx x 1 r ) ~ 1 = e ik (x da + O e J r n 2 , 2 D 0 4 0 c x x x
()
[461]
donde hemos aplicado el teorema de la divergencia.
71

Ahora bien, la integral de superficie anterior es necesariamente nula, habida cuenta de que D0 encierra toda la carga existente en el espacio, y por lo tanto no hay flujo de corriente de D0 al exterior. ~ ~ B = o (1 x ) 21. Con todo, nos queda efectivamente E + c x
( )
Para cerrar completamente el crculo, tendramos que comprobar de modo explcito que las ~ r ~ r expresiones obtenidas para E (x ) y B (x ) , [433] y [448] respectivamente, son efectivamente solucin de las ecuaciones de Maxwell [413]. No obstante, omitiremos este paso ya que, aunque los clculos no entraan dificultad alguna ms all del anlisis anterior, s son bastante tediosos y, en cualquier caso, no aportan nada nuevo a lo estudiado hasta ahora. En sntesis de lo dicho hasta ahora, hemos llegado a la siguiente equivalencia fundamental:
() () ~ ~ E (x ) = i B (x ) ~ B (x ) = 0 ~ ~ ~ B (x ) = J (x ) i E (x ) ~ r ~ E (x ) , B (x ) = o (1 )
~ ~x E x = 0
0 0 0
~ r ~ r B (x ) = o (1 x ) E (x ) + c x ~ ~ E x = o (1 x ) cB x x
i x r c
()
()
~ 1 ~ d 3 r + i 0 E x = r k D0 4 4 0 ~ ~ 3 B x = 0 r k J d r , 4 DO
()
D0
~ 3 k J d r
()
[462]
en donde k = e
x r .
~ ~ ni J dependen del parmetro x Notemos que, usando de nuevo que r k = x k y que ni ~ ~ en las integrales de [462], las expresiones para E y B pueden reescribirse
~ 1 E x = 4 0 0 ~ B x = 4
()
D0
~ r r ; x d 3 r + i 0 k 4
() ( )
D0
~ 3 J r k r; x d r
() ( )
()
DO
~ 3 J r k r; x d r .
() ( )
[463]
El siguiente paso es incorporar de acuerdo con [412] la dependencia temporal en las ~ ~ expresiones de los campos E y B que aparecen en [463]. As, para el campo elctrico tenemos
E x , t =
( )
1 4 0
D0
1 ~ e i R c e it d 3 r + 0 Re R 4
D0
1 ~ i R c it 3 Re i J e e d r; R
[464]
21.Recordemos que una onda plana, segn vimos en el Tema 1, satisface las igualdades ~ ~ ~ ~ E=0 y E +c x B = 0 (de hecho, con [46] es inmediato comprobar que ambas cB x expresiones son equivalentes). Como quiera que dicha solucin corresponde al escenario en que las ~ ~ y J son idnticamente cero, es razonable interpretar las condiciones de radiacin que funciones
( )
acabamos de deducir como una manifestacin del hecho de que, en puntos muy alejados de las cargas y corrientes que crean el campo electromagntico, ste se comporta prcticamente como el caracterstico de una onda plana que se propaga en la direccin radial saliente.
72

ahora bien, notemos que, segn [412],
~ r e i ( R c ) e it = r , t R [ ] ; Re c ~ i ( R c ) it Re i J r e e
{ ()
[465]
{ ()
}= t Re {J~(r ) e
1 4 0
D0
i ( R c ) it
[J ]. }= t J r, t R c t
[466]
Llevando [465] y [466] a [464],
E x , t =
( )
[] R d
0 t 4
D0
[J ] R d r .
3
[467]
En cuanto al campo magntico,
B x,t =
con
( )
D0
1 ~ i R c it 3 Re J e e d r , R
[468]
R ~ i ( R c ) it Re J r e e = J r, t J , c
luego
{ ()
[]
[469]
B x,t =
Si definimos las funciones
( )
D0
[J ] R d r .
3 3
[470]
x , t 1 ret 4 0 A ret x , t 0 4
( )
[] R d
D0 3 D0
r
[471]
( )
[J ] R d r,
( )
[467] y [470] pueden ponerse como
E x , t = ret x , t A ret x , t t B x , t = A ret x , t .
( ) ( )
( ) ( )
[472]
A ret y A ret se los denomina potenciales retardados escalar elctrico y vectorial magntico respectivamente, ya que su valor en un punto x y un instante t depende del valor de la densidad de carga o de corriente en el punto de fuente r , no en el instante t, sino en el instante previo t , donde la diferencia entre ambos instantes es, precisamente, el tiempo que tarda una seal que viaja a la velocidad de la luz c en recorrer la distancia que separa los puntos x y r . Este hecho tan notable da justificacin plena a la afirmacin que habitualmente escuchamos de que los campos electromagnticos se propagan a la velocidad de la luz.
73

Puede obtenerse que los potenciales retardados pertenecen al gauge de Lorenz, i. e., satisfacen la condicin A ret + y, en consecuencia, 1 ret c2 t = 0,
[473]
2 1 2 c 2 t 2 A ret x , t = 0 J x , t 2 1 1 2 2 2 ret x , t = x , t , 0 c t
( )
( )
( )
( )
[474]
coherentemente con [299]. Por otro lado, es de resaltar asimismo que, aunque para la derivacin de las ltimas expresiones hemos asumido en todo caso una dependencia temporal armnica, puede comprobarse que el resultado es igualmente vlido (i. e., solucin de las ecuaciones de Maxwell) para una dependencia temporal arbitraria. Directamente vemos que, imponiendo una situacin estacionaria (i. e., la independencia del tiempo de todas las funciones de nuestro problema), [471] y [472] arrojan
E x = x B x = A x ,
donde
() ()
() ()
[475]
x 1 3 R d r D 4 0 0 3 A x 0 J R d r, D0 4
()
()
[476]
son los potenciales ordinarios de la electromagnetosttica, i. e.,
R 3 1 r 3 d r E x = 4 0 D0 R R 3 Bx = 0 J r 3 d r: 4 D0 R
()
()
[477]
()
()
las leyes de Coulomb y de BiotSavart. Ahora bien, es incorrecto suponer que basta con implementar el retardo en las leyes estticas para obtener sus equivalentes dinmicas; as,
R 3 1 [ ] 3 d r E x, t 4 0 D0 R R 3 B x,t 0 J 3 d r. 4 D0 R
( )
[478]
( )
[]
74

Si las desigualdades anteriores fueran igualdades, entonces los campos electromagnticos exhibiran el mismo comportamiento asinttico en situaciones dinmicas que en estticas, i. e., tendramos E x , t , B x , t = O 1 x , pero ya justificamos ms arriba que uno y otro comportamiento han de ser sustancialmente distintos. Veamos en detalle que E x , t , B x , t = O (1 x ) . Para el campo elctrico, de [467] tenemos
( ) ( ) ( )
2
( ) ( )
1
E x,t =
( )
4 0
[ ] 1 1 J d 3r . x + 2 D0 t R c R
[479]
Consideremos que, por la derivada del producto,
[ ] = 1 [] [ ] R , x 3 R R R
3
[480]
donde empleamos que x (1 R ) = R R . Ahora, utilizando sucesivamente la regla de la cadena, [337] y la ecuacin de continuidad,
x =
[]
1 R 1 R R 1 r, t x R = = r J . t c c c t R c R
[481]
Si hacemos uso una vez ms de la regla de la cadena y de [337],
r J = r J r, t
lo que, insertado en [481], da
[]
1 J R R J R 1 r, t r R = r J + , + c t c c c t R
[482]
x [ ] =
R 1 J R r J c t R . c R
[ ]
[483]
Llevando [483] a [480],
[ ] = 1 r 2 J R c R
1 [ ] R J R
R [3] R , 3 t R R c
2
[484]
de modo que el integrando en [479] se reescribe
1 1 J 1 r J = x R + c2 R R2 t c
[ ]
1 J J R [ ] R+ 1
[] R 3 R, 2 3 c R t t R R
[485]
pero, por la regla de expulsin,
J R R t
con lo cual
= R2 J R J t t
R,
[486]
75

1 1 J 1 r J = x R + c2 R 2 t c R
[ ]
( [ J t ] R ) R [] R , [ ] R 1

c2 R3 R3
[487]
lo que, llevado a [479], resulta
E x,t =
( )
1 4 0 c
1
r J 2 D0 R
[ ] Rd r + 1

3
D0
( [ J t ] R ) R d r +
3
D0
[] R d 3 r :
R
3
[488]
vemos que, en efecto, la ltima integral en [488] arroja precisamente una ley de Coulomb retardada, pero las dos primeras integrales propician la primera desigualdad en [478]. Estudiemos la componente isima del vector dado por la primera integral: por la derivada del producto,
D0
R ( [J ] ) R
r
i 2
d r =
D0
Ri 3 J d r 2 R
[]
D0
Ri 3 J d r, 2 R
[]
[489]
donde, por el teorema de la divergencia 22, la primera integral del miembro derecho es
D0
Ri 3 J d r = 2 R
[ ]
Ri
Sd
[ J ] n da = 0 ,
[490]
ya que no existe flujo de corriente de D0 hacia el exterior. Por otro lado,
2R e Ri 1 1 = 2 r Ri + Ri r 2 = i2 + Ri 4 , 2 R R R R R
[491]
i es el vector isimo de la base ortonormal cartesiana, y por tanto donde e
[J i ] + 2 R J R = R 2 [J i ] + 2 R J Ri . Ri J = i 2 4 R2 R4 R R
[]
[]
[]
[492]
Llevando [490] y [492] a [489],
r J 2 D0 R
[ ] Rd r =

3
R J 2 R J
D0
[ ] ( [ ] )R d r .
3
[493]
Ahora, notemos que, por la identidad de expulsin,

2 R J R = R J R J
) [ ] ( [ ] )R ,
[494]
22.En rigor, para poder aplicar este teorema tendramos que aislar en primer lugar la singularidad
que presenta el integrando en el punto r = x , pero es sencillo comprobar que, al igual que suceda en algn otro caso que vimos con anterioridad, dicha singularidad puede obviarse sin que el resultado final se vea alterado.
76

r J 2 D0 R
[ ] Rd r =

3
R J R R J
D0
) ( [ ] )R d r .
3 4
[495]
Llevando [495] a [488], obtenemos finalmente
E x, t =
( )
1 4 0 c
1
D0
( R [J ] )R R ( [J ] R ) d r + 1
3
D0
( [ J t ] R ) R d r +
3
D0
[] R d 3 r .
R
3
[496]
De los tres sumandos en [496], vemos que slo el segundo es una O (1 x ) , mientras que el primero y el tercero son ambos una O 1 x
).
El campo elctrico de radiacin E rad x , t
( )
es,
precisamente, el trmino O (1 x ) dominante en el miembro derecho de [496] en el lmite x :
E x , t = E rad x , t + O
i. e.,
( )
( )
1 2 x
[497]
E rad x , t =
( )
D0
( [ J t ] R ) R d r .
3
[498]
Pasemos al campo magntico. De [470] tenemos
B x,t =
( )
J 3 x R d r. D0
[]
[499]
Consideremos que, por la derivada del producto,
J = R3 J + 1 x J , x R R R
[]
[]
[]
[500]
donde empleamos que x (1 R ) = R R . Ahora,
Jj x k
y, por tanto,
[ ] = J
r , t R 1 R t c c x k
j
1 J j Rk , = c t R
[501]
) =
i j ,k = 1
ijk
Jk x j
[ ]=
j ,k = 1
ijk
Jj xk
[ ]= 1
j ,k = 1
ijk
J j Rk 1 J R = t R t R c
, [502] i
tomando [500] el aspecto
77

J J R 1 x R = R3 + c
Sustituyendo [503] en [499],
[] []
J R 2 . t R
[503]
B x, t =
( )
4
0
D0
[J ] R d r + 1
3
J R 3 2 d r . D0 t R
[504]
Vemos que, en efecto, la primera integral en [504] arroja precisamente una ley de BiotSavart retardada, pero la segunda integral propicia la segunda desigualdad en [478]. Dicha ley de BiotSavart retardada tiene el comportamiento asinttico de una O 1 x
),
mientras que el otro sumando representa una O (1 x ) y se le denomina campo magntico de radiacin
B rad x , t : B x , t = B rad x , t + O
i. e.,
( )
( )
( )
1 , 2 x
[505]
B rad x , t =
( )
4 c
J R 3 2 d r. D0 t R
[506]
Utilizando que, por [323] y [390], tenemos
x 1 R = 1 + O x 2 x = 1 + O 1 , x R
resulta
[507]
1 1 1 1 x 1 1 x = x + O 2 R = x R = x 1 + O x 2 1 1 1 1 = 1 x = 1 1 + O = 2 + O 3 , 2 2 2 R x x x x x R
y, en consecuencia,
[508]
R 1 1 1 +O R = x r x + O x2 = x x 1 x 1 R = x r 1 +O = + O 2 . 2 2 3 x x x x R
( )
[509]
( )
Llevando [509] a [498] y [506], tenemos
78

1 1 3 J x +O x E rad x , t = 0 D +O x2 d r x x 0 t 4 J x 0 1 3 B rad x , t = x + O x2 d r. D 0 4 c t
( )
[510]
( )
Desarrollando los productos y obviando los trminos O 1 x radiacin,
) por situarnos en la zona de
0 x E rad x , t = I x,t x x 4 B rad x , t = 0 I x , t x , 4 c x
( )
( )
( )
( )
[511]
donde hemos introducido el vector I dado por la integral
I x, t
J 3 d r = D0 t
J
D0
(r, t x r c )d r , t
3
[512]
que puede obtenerse recurriendo al clculo numrico si es necesario siempre que se conozca la dependencia funcional de la funcin J . De [511] vemos de modo directo algo que ya podamos anticipar: que los campos electromagnticos de radiacin tienen el comportamiento local de una onda plana, verificndose, para cada punto e instante dados, las igualdades
E rad = c B rad x 1 E rad . B rad = x c
( (
) )
[513]
2. 3. Radiacin de antenas
Dado que para un sistema de cargas y corrientes variables en el tiempo podemos hacer un anlisis de Fourier y tomar cada componente de Fourier por separado, no perdemos generalidad alguna considerando que esta dependencia temporal es sinusoidal:
r, t J r, t
~ ( ) (r ) e = Re ~ ( ) J (r )
it
[514]
Asumimos que el campo electromagntico exhibe la misma dependencia temporal. Adems, las fuentes del campo estn localizadas en la regin finita D0 ; fuera de sta, el espacio est completamente ~ ~r y J vaco y las funciones r valen cero. En lo sucesivo, usaremos la denominacin genrica de
()
()
antena para referirnos a esta regin D0 .
79

Por definicin, la antena debe satisfacer la condicin de radiacin de Sommerfeld, enunciada por el fsico terico alemn en 1912 como sigue: Las fuentes deben ser fuentes, no sumideros de energa. La energa radiada por las fuentes debe dispersarse hacia el infinito; no puede radiarse ninguna energa desde el finito hasta la regin de estudio. Teniendo en cuenta [514], J ~ it = Re i J r e t
()
J J R ~ ~ i (t R c ) = Re i J r e it e ikR , r , t c = Re i J r e t = t
()
()
[515]
y as [512] deviene
I x,t =
( )
D0
~ it ikR 3 it Re i J r e e d r = Re i e
()
D0
~ ikR 3 J r e d r ,
()
[516]
Analicemos el comportamiento en el lmite x de la expresin anterior. Notemos que, insertando [303] en la ltima exponencial imaginaria,
ikR
r ik x x
=e
1 1 r) ) e ikO x = e ik (x x r ) ik (x x +O , 1 + O = e
[517]
I x, t =
D0
~ it ikR 3 it Re i J r e e d r = Re i e
()
D0
1 ~ r ) 3 ik (x x J r e d r + O , x
()
[518]
~ que, introduciendo el vector definido por la integral

~ ;k) (x
da
D0
~ r 3 ikx J r e d r,
()
[519]
1 ik ( x t ) ~ ;k) + O . x, t = Re i e I (x x
los trminos O 1 x
[520]
Insertando [520] en la expresin del campo magntico de radiacin dada en [511] y obviando
) por situarnos en la zona de radiacin,

B rad x , t =
( )
0 4
Re ik
ik ( x t )
~ ; k ) x ; (x
[521]
una vez obtenida la funcin B rad x , t , la obtencin del campo elctrico de radiacin es inmediata a partir de la relacin E rad
rad
( ) ). = c (B x
Sin especificar nada sobre la dependencia puntual de la densidad de corriente y las propiedades geomtricas de la antena, no es posible decir nada ms all de [521]. No obstante, todava podemos ~ plantearnos utilizar el desarrollo en serie de potencias de la exponencial para reexpresar el campo ; as, [519] se escribe
80

~ ; k) = (x
D0
~ Jr
( )
n =0
r) ( ik )n (x
n!
d r.
[522]
Permutando integral y sumatorio, podemos poner
~ ;k ) = (x
siendo
~ ;k ) , C (x
n n =0
[523]
( ik ) ~ ;k) = C n (x n!

D0
~ (x r ) J (r )d r ,
n
[524]
que da lugar a su vez al trmino nsimo del desarrollo del campo magntico de radiacin:
B rad x , t
(n )
( )
0 4
Re ik
ik ( x t )
~ ; k ) x , C n (x
[525]
y, en consecuencia, el trmino nsimo del desarrollo del campo elctrico de radiacin:

(n ) (n ) x,t x E rad x , t = c B rad .
( )
[526]
(n ) (n) x, t no constituyen, por s solas, una solucin Para un n dado, las funciones E rad x , t y B rad de las ecuaciones de Maxwell, sino que obtenemos la solucin buscada sumando para cada n entero no negativo estos trminos:
(n ) E x , t = E rad x , t rad n =0 (n ) B rad x , t = B rad x , t . n =0
( )
( )
( )
( )
( )
[527]
El buen comportamiento de la exponencial garantiza la convergencia de las sumas infinitas anteriores; ahora bien, cabe preguntarse bajo qu condiciones dicha convergencia ser ms o menos ~ rpida. Para dar respuesta a esta cuestin, evaluaremos el mdulo del campo C n :
k ~ Cn = n!
()
D0
~ r) 3 ik (x x J r e d r
n!
D0
n ~ 3 r x J r d r
(kd )n
n!
M,
[528]
donde d es algn real positivo tal que r d para cada r D0 (por la finitud de la antena) y
D0
~ 3 J r d r.
()
De [528] vemos que la convergencia de la serie en [524], luego de las series en [527], ser mucho ms rpida para kd << 1 , o bien usando que k = 2 , donde es la longitud de onda de la radiacin para d << . Es decir, que para antenas cuyo tamao sea muy inferior a la longitud de onda de la radiacin emitida, la solucin para los campos de radiacin puede tomarse en muy buena aproximacin igual a la suma de los primeros trminos de las series en [527].
81

Puede obtenerse que dichos primeros trminos para n=0 y n=1 respectivamente tienen, para el campo magntico, la forma siguiente:
0 k 2 c (0 ) ~ (t ) e ikx Re p B x rad x , t = 4 x (1 ) 2 0 k 2 ~ ~ (t ) e ikx x B rad x , t = 0 k x Re m + , Re i Q (t ) e ikx x x x 4 24
( ) ( )
)}
{ (
) }
[529]
donde
~ ~ (t ) p p 0 ~ ~ it m(t ) = m 0 e , ~ ~ Q(t ) Q 0
[530]
~ ~ , m ~ y Q con p 0 0 las amplitudes complejas respectivas del momento dipolar elctrico, el momento 0
magntico y el momento cuadrupolar elctrico de la antena:
~ ~ r d 3r p r 0 D 0 ~ 1 ~ 3 m 0 2 D r J r d r 0 3 ~ 3 3 2 )j ( ( ) x 3 r r r d re Q 0 i j ij i, D0 i = 1 j = 1
()
()
[531]
) j es la componente jsima del vector x y e i es el vector isimo de la base ortonormal donde (x

cartesiana.
2. 4. Campo de una carga puntual: potenciales de Linard Wiechert. Radiacin de cargas aceleradas: frmula de Larmor
Es un hecho bien conocido que las cargas aceleradas emiten radiacin electromagntica. Previamente hemos estudiado la radiacin emitida por distribuciones macroscpicas de carga y de corriente variables en el tiempo; ahora nos ocuparemos de la radiacin debida al movimiento de una carga puntual (o de un nmero pequeo de dichas cargas). En problemas de esta ndole, resulta til desarrollar el formalismo de un modo que relacione directamente la intensidad y la polarizacin de la radiacin con las propiedades de la trayectoria y el movimiento de la carga.
Sea q la carga puntual objeto de nuestro estudio y situmosla en el espacio vaco. Para dar sentido al concepto de carga puntual, utilizaremos las hiptesis mnimas de las que ya hicimos uso en la derivacin de las ecuaciones de Maxwell macroscpicas. As, podemos imaginar que la carga posee alguna estructura interna q r , pero obviaremos cualquier detalle sobre esta funcin asumiendo que el tamao de la carga es perfectamente despreciable frente a cualquier escala de inters para nosotros. Eso s, la funcin ha de satisfacer
()
82

q=
R3
q r d r ;
3
()
[532]
en consecuencia, llamando a una regin arbitraria de R , cualquier funcin puntual razonable (escalar o vectorial) r cumplir
()
() ()
u q u d u =
q si 0 0 0 si 0 .
[533]
Adems, impondremos que la estructura de la carga no se vea modificada por el movimiento de sta y que la partcula viaje como un todo (i. e., con una velocidad unvocamente determinada en cada instante); as, llamando respectivamente r q (t ) y v q (t ) a la posicin y la velocidad de la partcula en el instante t , las densidades de carga y de corriente en todo el espacio estarn dadas por
r , t = q r r q (t ) J r , t = q r r q (t ) v q (t ) .
( ) ( ( ) (
) )
[534]
Esta vez, no trataremos de obtener el campo electromagntico solucin del problema de modo directo sino que, con [471], calcularemos en primer lugar los potenciales electromagnticos retardados ret x , t
( ) los denominados continuacin, derivar E (x , t ) y B (x , t ) segn [472].

( )
y A ret x , t
potenciales de LinardWiechert para, a
Anticipamos el resultado que nos disponemos a obtener para los potenciales:
ret q 1 x , t = 4 0 x r' A ret
( )
1 x r' v q 1 , c vq c2 x r'
[ ]
'
[ ]
'
[535]
donde v q v q t x r'
'
[ ] (
c , siendo r' la posicin retardada de la carga, dada por la raz de la
ecuacin trascendente
r' = r q t x r'
c .
[536]
FIG. 8. La carga ocupa respectivamente los puntos A y B en los instantes t' y t, con t'<t. El intervalo entre ambos instantes es justamente el invertido por la luz en recorrer el segmento gris.
83

Comenzamos el clculo para el potencial elctrico: por la primera de las expresiones en [534],
ret x , t =
( )
1 4 0
1
D0
r, t x r c d r =
x r
1 4 0
1
D0
x r
q r r q t x r c d r ,
[537]
))
o bien, definiendo el campo vectorial u r r r q t x r c ,
()
ret x , t =
( )
1 4 0
1
D0
x r
q r d r .
( ( ))
[538]
Llegados a este punto, necesitamos hacer un inciso matemtico que nos permita seguir avanzando en la resolucin de la integral anterior:
TEOREMA DEL CAMBIO DE VARIABLE. Sean los campos vectoriales f : A R
y g : B A , con
A, B R . Tenemos
f r d r=
()
f gu
( ( ))
det D g u
( ) d u,
3
[539]
donde det D g u es el jacobiano de la transformacin, siempre que se satisfagan las condiciones
()
g C 1 (B ) ; g es uno a uno (inyectiva), y det D g u 0 u B.
[540]
()
En nuestro caso, particularizaremos para g u u . Ms all del rigor matemtico, es importante comprobar que tal eleccin es consistente con las hiptesis [540], ya que, como enseguida veremos, son precisamente las trayectorias con sentido fsico (en concreto, las compatibles con la relatividad) las que garantizan que podemos aplicar el teorema anterior.
()
()
r puede invertirse, i. e., que existe la funcin Veamos en primer lugar que
hemos de mostrar que, para cada r 1 , r 2 R con r 1 r 2 , tenemos r 1
3 2
(u). Para ello,

[541]
( ) (r ). Consideremos que
c ,
r2 r1 = r2 rq t x r 2
o bien, llamando t i t x r i
( ) ( ){
c r1 r q t x r1
}{
c para i = 1, 2 ,
r2 r1 = r2
( ) ( )
r 1 r q (t 2 ) r q (t 1 ) .
[542]
Evaluemos el mdulo del vector dado por la ltima llave: por el teorema del valor medio, sabemos que habr algn t 0 comprendido entre t 1 y t 2 tal que
r q (t 2 ) r q (t 1 ) v q (t 0 ) t 2
t1 ,
[543]
84

con
t2 t1 =
1 c
x r1 x r2
;
3
[544]
ahora bien, tengamos en cuenta que, por la desigualdad triangular, para cada a, b R se verifica
a b a b a b a b a b , b = b a + a b a + a = a b + a a b a b
a = a b +b a b + b a b a b
[545]
de modo que, identificando a x r 1 y b x r 2 ,
x r1 x r2
lo que llevado a [544] arroja
x r1 x r2
)=r
r1 ,
[546]
t2 t1
Insertando a su vez [547] en [543],
1 r2 r1 . c
[547]
r q (t 2 ) r q (t 1 )
v q (t 0 ) c
r2 r1 .
[548]
Pero, segn la relatividad, el cociente v q (t 0 ) c es estrictamente inferior a la unidad, conque
[548] arroja
r q (t 2 ) r q (t 1 ) < r 2 r 1 ;
en particular,
[549]
r 2 r 1 r q (t 2 ) r q (t 1 ) .
Por [550], [542] da
[550]
( ) ( ) y hemos probado la inyectividad de la funcin (r ) , q. e. d.

r2 r1 0 ,
Calculemos ahora el determinante de la matriz jacobiana D r :
[551]
()
u1 r1 det D r u2 r1 u 3 r1
()
u1 r2 u2 r2 u 3 r2
u1 r3 u2 r3 . u 3 r3
[552]
85

Sabemos que para cada A, B , C R
3
con componentes cartesianas isimas respectivas
Ai , Bi , C i se tiene A1 B1 C1 A2 B2 C2 A3 3 B3 = A B C = ijk Ai B j C k , i , j ,k =1 C3
[553]
con lo cual, identificando Ai u1 ri , B i u2 ri y C i u 3 ri , [552] se escribe
det D r =
()
i , j ,k =1
u1 u 2 u 3
ijk
ri r j rk
[554]
Ahora bien, usando la regla de la cadena,
u i r j
r rq r j i
{ ( ) (t x r c )}=
i
ij
vi x j r j c x r
= ij
vi R j c R
[555]
donde, por aligerar la notacin, hemos llamado sencillamente vi a la componente isima del vector
[v ] v (r, t x r c ).
q q
Introduciendo [555] en [554],
det D r =
()
i , j , k =1
ijk
v 3 Rk v1 R i v Rj 2 j 2 3k , 1 i c R c R c R
[556]
o bien, expandiendo y reagrupando,

det D r =
( )
3 3 3 v1 ijk Ri 2 j 3 k + v2 ijk R j 1 i 3k + v 3 ijk Rk 1 i 2 j + Rc i , j , k =1 i , j ,k = 1 i , j ,k = 1 i , j ,k = 1 3 3 3 3 v v v 1 1 2 3 1 + 2 2 v1 v2 ijk Ri R j 3 k + v1 v 3 ijk Ri Rk 2 j + v 2 v 3 ijk R j Rk 1 i ijk Ri R j Rk , 3 3 R i , j ,k =1 R c c i , j ,k =1 i , j ,k =1 i , j ,k =1 3 ijk 1 i 2 j 3 k
[557]
siendo
i , j ,k = 1
ijk 1 i 2 j 3 k
= 111 = 1 ;
[558]
3 3 R = ijk i 2 j 3k i 23 Ri = R1 i =1 i , j , k =1 3 3 ijk R j 1 i 3k = 1 j 3 R j = R2 j =1 i , j , k =1 3 3 ijk Rk 1 i 2 j = 12 k Rk = R3 ; k =1 i , j , k =1
[559]
86

3 3 ijk Ri R j 3k = ij 3 Ri R j = R1 R2 R2 R1 = 0 i , j =1 i , j ,k =1 3 3 ijk Ri Rk 2 j = i 2 k Ri Rk = R1 R3 R3 R1 = 0 i ,k =1 i , j ,k =1 3 3 ijk R j Rk 1 i = 1 jk R j Rk = R2 R3 R3 R2 = 0; i , j ,k =1 j , k =1 3
[560]
i , j , k =1
ijk Ri R j Rk
= R R R = 0 .
[561]
As, alcanzamos una expresin compacta para el jacobiano:
det D r = 1
()
1 Rc
(v R
1
+ v 2 R2 + v 3 R 3 ) = 1
[v ] R ,
q
[562]
y, ya que segn la relatividad el cociente v q
[ ]c
[ ]
es siempre estrictamente menor que la unidad,
concluimos que cualquier trayectoria fsicamente plausible es tal que det D r 0 . En estas condiciones, podemos hacer uso del teorema de la funcin inversa y garantizar que
1
()
det D
(u) = ( det D u )
vq R = 1 c R
1 vq x u . = 1 1 c x u
[ ]
() ()
[563]
De este modo, la aplicacin del teorema del cambio de variable nos ha permitido reexpresar la integral en [538] como
ret x , t =
( )
1 4 0
1 q u vq x u 1 d 3u , 1 1 c x u x u
() ()
[ ]
() ()
[564]
donde llamamos a la nueva regin de integracin resultante del cambio de variable. Con lo cual, si identificamos
1 vq x u 1 1 , u 1 1 c u x x u
()
[ ]
() ()
[565]
aunando [533] y [564] ha resultado

1 1 1 q v q (0 ) x 0 1 1 si 0 1 1 c x , t = 4 0 x 0 x 0 0 si 0 .
ret
( )
[ ]
()
() ()
[566]
87

El siguiente paso es demostrar que 0 , i. e., que existe algn r R
3
con
r = r rq t x r c = 0 r = rq t x r c
()
[567]
por la inyectividad de r , sabemos que dicho r ha de ser nico; ahora bien, este problema tridimensional es estrictamente equivalente al problema en una dimensin sobre la existencia de un t' previo a t verificando
()
x r q (t' ) t' = t c
.
[568]
As pues, definimos la funcin de una variable real con valores reales
(s ) s t +
x r q (s ) c
[569]
para cada s t y buscamos probar que en algn momento corta al eje de abscisas. Ya que el punto x en ningn caso se sita sobre la trayectoria de la partcula, tenemos
(s ) > 0 para s = t .
Adems,
[570]
1 vq x r q r q d = 1+ x rq = 1 , ds s c r q c x rq
pero, segn la relatividad,
[571]
vq c
en particular,
x rq x rq
vq c < 1;
[572]
vq c
lo que, por [571], arroja
x rq x rq
< 1,
[573]
d > 0 s t . ds
[574]
No obstante, [570] y [574] no garantizan por s solas que (s ) corte en algn momento al eje (pensemos, por ejemplo, en la funcin exponencial): es necesario imponer que la pendiente de dicha funcin no tienda a cero en el lmite s 0 , i. e., que para algn real estrictamente positivo se verifique
88

<
que, por [571], da
d s t , ds
[575]
vq c
condicin ms exigente que [573].
x rq x rq
< 1 s t ,
[576]
Ahora bien, podemos aadir la hiptesis fsica de que para alguna celeridad estrictamente menor que c se satisfaga
v q (s ) < s t
[577]
lo que representa la imposibilidad de que la carga se haya acelerado en el pasado hasta alcanzar una velocidad arbitrariamente cercana a la de la luz, y as [572] tomar el aspecto
vq c
en particular,
x rq x rq
vq c <
; c
[578]
vq c
lo que, por [571], resulta
x rq x rq
<
, c
[579]
d >1 s t , ds c
[580]
donde la cantidad 1 c es estrictamente positiva, con lo cual, identificando 1 c , vemos que en estas condiciones podemos garantizar que para algn s el instante t' la funcin (s ) se anula, i. e., para algn r el punto r segn lo definimos en [536] la funcin r hace lo propio. En conclusin,
'
()
0 y
(0) = r , con lo cual [566] da

'
ret x , t =
( )
q 4 0
1 vq x r 1 c x r x r
[ ]
'
'
'
'
[581]
que es justamente la primera de las igualdades dadas por [535], i. e., la expresin para el potencial elctrico de LinardWiechert, q. e. d. Introduciendo el vector R x r de mdulo R' , [581] puede ponerse en la forma
' '
89

ret x , t =
( )
qc 4 0
( R c R [v ] )
' '
q'
[582]
El clculo para el potencial vector es anlogo y no reviste dificultad alguna ms all de la deduccin de [581], conque lo omitiremos: arroja el resultado
A ret
( )
q0 v q vq x r 1 x,t = 4 x r c x r
[ ]
' '
[ ]
'
'
'
[583]
que coincide con la segunda de las igualdades dadas por [535], i. e., la expresin para el potencial vector de LinardWiechert. Comparando [581] y [583],
A ret x , t =
( ) [vc ]
q' 2 2
ret
[584]
A continuacin, debemos abordar la derivacin de los campos a partir de los potenciales. Obtendremos en primer lugar el gradiente del potencial elctrico: segn [582],
x ret =
qc 4 0
( R c R [v ] ) {c( R ) ( R [v ] )}.
' '
q'
'
'
q'
[585]
Teniendo en cuenta que r r q (t ) , [568] da

' '
R' = c (t t' ) ;
por consiguiente,
[586]
x R' = c x t' .
Por otro lado, por cierta identidad vectorial sabemos que
[587]
x R' v q'
( [ ] ) = (R )[v ] + ( [v ] )R
'
q'
q'
'
+ R' x v q'
( [ ] ) + [v ] (
q'
' '
R' .
[588]
Tenemos
(R )[v ]
'
q'
3 3 d vq t = R i Ri = R x t' a q vq = R i vq = x i x i dt x i i =1 i =1 i =1 3
'
[ ]
'
'
[ ]
'
'
'
)[ ]
'
[589]
'
con a q d v q
'
[ ] [ ] dt
'
'
la aceleracin de la partcula.
Adems,
( [v ] )R = v
q
'
'
i =1
x xi
vi
i =1
r , xi
'
[590]
siendo
90
i =1
vi
x x i
i = v q = vi e
i =1
[ ]
'
[591]
i =1
r vi xi
'
d rq dt
' '
v
i =1
t xi
'
= v q x t' v q ,
' '
([ ]
x
)[ ]
[592]
con lo cual [590] queda
( [v ] )R = ( 1 [v ] t' ) [v ].
q' x
'
q'
q'
[593]
Por otra parte,
x vq =
'
[ ]
i , j , k =1
i ijk e
vk x j
i , j , k =1
i ijk e
t dvk
'
x j dt
= x t' a q ,
'
[ ]
[594]
'
con lo cual, haciendo uso de la regla de expulsin,
R x vq
'
( [ ] ) = R ( t' [a ] ) = ( R [a ] ) t ( R t ) [a ],
' '
q'
'
q'
'
q'
[595]
Por ltimo, usando que x x = 0 ,
x R = x r =
' '
i , j ,k =1
i ijk e
r k
'
x j
i , j , k =1
i ijk e
t dr k
' '
x j dt
= x t' v q ,
'
[ ]
[596]
'
con lo cual, haciendo uso de la regla de expulsin,
[v ] (
q'
R = v q v q x t' =
' ' '
) [ ] ([ ]
'
) ( [v ] t' )[v ' ] [v ' ] t' .

2 q' x q q x 2 q' x q x
[597]
Llevando [589], [593], [595] y [597] a [588] y tachando trminos que cancelan,
x R vq
'
( [ ] ) = [v ]+ ( R [a ] ) t [v ' ] t' .
q'
'
[598]
Insertando [587] y [598] en [585],
x ret =
i. e.,
qc 4 0
( R c R [v ] )
' '
q'
c x t' v q R a q
' '
[ ] ( [ ] ) t + [v ] t' },
2
'
q'
[599]
x ret =
qc 4 0
( R c R [v ] ) [v ] + c
2
' '
q'
q'
+ R aq v q
' ' '
t' . x
[600]
Obtengamos ahora x t' . Por [587],
1 1 x t' = x R' = x R' R' c c
12
1 R' R' = 2 c
1 2
x R' R' ,
[601]
91

donde, por la misma identidad vectorial que usamos en [588],
x R R
'
'
) = 2 (R )R + 2R (
'
'
'
R ,
'
[602]
siendo
(R )R = R
'
'
'
i =1
x x i
R
i =1
'
r x i
'
= R R i
' '
i =1
r dr =R x i dt
' '
[ ] R
3
' '
'
i =1
t x i
'
= R R x t' v q ,
' ' '
([ ]
)[ ]
[603]
y, por [596] y la regla de expulsin,
R x R = R v q x t' = R x t' v q' R v q

'
'
'
([ ]
'
) (
'
'
)[ ] ( [ ] ) t' .
' '
[604]
Sustituyendo [603] y [604] en [602] y tachando trminos que cancelan,
1 x R R 2
'
'
) = R (R [v ] ) t' ,
'
q'
[605]
lo que, insertado en [601], da
x t' =
i. e.,
1 R' c
( (R [v ] ) t' R ),
'
q'
'
[606]
x t' =
'
R v q R' c
'
[ ]
2
'
[607]
Llevando [607] a [600], obtenemos la forma buscada para el gradiente del potencial elctrico:
x ret =
o bien,
qc 4 0
( R c R [v ] ) [v ] c
2
' '
q'
q'
2 R v q + R a q R cR v q
' ' ' ' ' '
[ ]
' '
[608]
x ret =
qc 4 0
( R c R [v ] ) (R' c R [v ] )[v ] c
3
' '
q'
'
q'
q'
+ R aq vq
' '
[ ][ ]
'
R .
[609]
Buscamos ahora hallar la derivada temporal del potencial vector: por [584],
1 Aret = 2 t c
vq ret ret + vq t t
' '
1 aq = c2
'
t + v ret q t ret t
' '
[610]
Calculamos t t : por [586],

'
R' = c
(t t' )2 ,
[611]
de donde, derivando con respecto a t y recordando [586],
92

2 R'
R' t' = 2cR' 1 t' ; 2 = 2c (t t' ) 1 t t t
[612]
ahora bien, al ser x t = 0 , tenemos
R' r' t' , = = vq t t t

'
[ ]
[613]
arrojando [612]
t' 1 , ( R' [v ] ) t' = cR' t t

q'
[614]
i. e.,
t' cR' = . t cR' v q R'
[ ]
'
[615]
Por otro lado, usando [582],
ret t
qc 4 0
( R c R [v ] )
' '
q'
c R R v q t t
' '
( [ ]) ,
'
[616]
en donde, si derivamos [586] con respecto a t y tenemos en cuenta [615],
R' cR' t' = c 1 = c 1 ; t t cR' v q R'

'
[617]
por otro lado, con [613],
vq R = vq vq + R R v q = t t t
' ' '
[ ]
'
'
'
[ ]
'
t' t' + R aq , t t
' '
[ ]
[618]
que por [615] se reescribe
R vq t
'
( [ ])= [v ]
'
2
'
q'
+ R aq
[ ]
'
cR'
cR' v q R'
'
[ ]
[619]
Llevando [617] y [619] a [616] y reagrupando,

2 2 c + v q R aq cR' 2 2 c + cR' v q R'
' ' ' '
ret t
qc 4 0
( R c R [v ] )
' '
q'
[620]
o bien,
93

ret t = qc 4 0
( R c R [v ] )
' '
q'
c 2 v R' + R aq vq q
' ' '
[ ]
[ ][ ]
'
cR'
[621]
Adems, por [582] y [615],
ret
'
qc 4 0
( R c R [v ] )
' '
q'
cR' .
[622]
Insertando [621] y [622] en [610] y reorganizando,
A ret t
qc 4 0
R' ( R c R [v ] ) ( R c R [v ] ) [a ] + R [a ] [v ] c
3
' '
q'
'
'
q'
q'
'
q'
q'
R' v q + v q R' v q . c
' ' '
[ ] ([ ] ) [ ]
[623]
Con [609] y [623], el campo elctrico E = x ret A ret t queda, tras reagrupar,
E=
qc
4 0
( R c R [v ] )
' '
q'
2 1 vq 1 vq + 2 R aq R R 2 c c c
' ' ' ' '
[ ]
[ ]
[ ] . R v R [a ] [ ] R [vc ] R R c
q' q'
'
'
'
'
'
'
q'
[624] Ahora bien, por la regla de expulsin,
vq a R R R q c
' ' ' '
[ ]
= R [a ] R [v ] R R R [v ] R [a ] , [ ] c c
q' q'
' '
q'
'
'
'
'
'
q'
[625]
con
vq = R R R R c
' ' ' '
[ ]
'
R vq R c
' '
[ ]
'
[626]
Con [625] y [626], [624] se escribe finalmente
R vq E= 1 3 R c 4 0 R
q 1
' ' ' '
[ ]
2 1 vq 1 vq R vq R aq R R + R c2 c c2 c
' ' ' ' ' ' ' '
[ ]
[ ]
[ ]
[ ] ,
'
[627] que puede ponerse en forma ms compacta si definimos la magnitud adimensional v q c y, con ella, t x r'
'
[] (
E=
R R : c y el vector unitario R
' ' '
1
'
4 0 R
[ ] ) (1 R
' '
1 [] (R R ) + R ( (R R ) [a ] ) . c
2
' ' '
'
'
'
q'
[628]
Abordemos la derivacin del campo magntico mediante el clculo del rotacional del potencial vector: por [584],
94

x A ret = 1 c
2
(
x
ret
vq + ret x vq ,
' '
[629]
que, usando [582], [594]/[607] y [609], teniendo en cuenta que v q v q = 0 y manipulando un poco, da
' '
[ ][ ]
'
x A ret
R vq = 1 4 3 R c 4 0 c R
q 1
' ' ' '
[ ]
3
'
R c vq
2
[ ] [v ]+ ( R [a ] )[v ]+ ( R c R [v ] )[a ] .
2
'
q'
q'
q'
'
'
q'
q'
[630] Considerando que la ltima llave est multiplicada vectorialmente por R , es lcito aadirle el
'
trmino (paralelo a dicho vector) c vq

2
'
[ ] c R
2
'
'
c R R , quedando [630] como R R a q

' ' ' ' '
' '
x A ret =
q 4 0 c
4
vq 1 R 1 3 R c R
' ' ' '
R c vq
2
[ ]
'
R c vq R
'
+ R a q c R vq R
'
'
' '
'
R c R vq
' '
[ ] )[a ] ;
'
q'
[631] Ahora bien, insertando [626] en [625] y multiplicando lo que resulta por c R , tenemos
'
vq c a R R R q R c
' ' ' ' '
[ ]
= R [a ] c R [v ] (cR [v ] R )[a ] , [ ] R
' ' ' '
q'
q'
'
q'
'
q'
[632]
lo que, llevado a [631], resulta
x A ret
v q q 1 R = 1 4 3 R c 4 0 c R
' ' ' '
2 R c vq
'
[ ]
'
R c v q R
' '
'
v q R + c R R a q c R [633]
' ' ' ' ' '
o bien, sacando sucesivamente c R y c factores comunes de la llave y escribiendo ya B = x A ret ,

'
R vq B= 1 3 R c 4 0 c R
q 1
' ' ' '
[ ]
vq R 1 R c2
' ' '
[ ]
1 v R vq R + 2 R R q R aq c c c
' ' ' ' ' ' '
[ ]
[ ]
[ ] .
'
[634] Comparando [627] y [634],

B x,t = 1 c E R x ,t .
'
[635]
Observemos que la igualdad [634] se satisface esta vez en todo el espacio salvo, obviamente, en la minscula regin ocupada por la carga, de la que nada pretendemos afirmar, a diferencia del caso de distribuciones macroscpicas de carga y de corriente, para las que la transversalidad entre el campo magntico, el campo elctrico y la propagacin se cumple solamente al alejarnos infinitamente de aqullas.
95
1 vq c tiene el comportamiento asinttico de una O 1 x 2 . Si tanto la velocidad como la aceleracin son cero, slo este trmino sobrevive y se reduce a la ley electrosttica de Coulomb:
'
[ ]
Observamos en [627] que el primer trmino de E el que aparece multiplicado por

2 2
E=
R
'
'
4 0 R
[636]
por ello, al primer trmino de E se le llama a veces campo de Coulomb generalizado. (Ya que no depende de la aceleracin, tambin se le conoce como campo de velocidad.) Por su parte, el trmino restante decae como una O (1 x ) , de modo que es dominante a grandes distancias y se le conoce por campo de radiacin; dado que slo es no nulo para cargas que se mueven con velocidad no constante, se le da asimismo el nombre de campo de aceleracin. Lo anlogo cabe decir para el campo magntico. *** De acuerdo con lo dicho ms arriba, el campo electromagntico de radiacin de una carga puntual acelerada viene dado, en la notacin abreviada que introdujimos para [628], por las expresiones
q 1 R E rad = 2 4 0 c 1 B R E rad . rad = c
'
[ ])
'
R aq R
' '
((
) [ ])
'
'
[637]
'
Como sabemos, la energa radiada por la carga que se recibe en el punto x situado en la zona de radiacin est asociada al vector de Poynting S rad = E rad B rad
S rad =
(E c
0
rad
E rad R
'
(
'
1 )) = c
2 E rad R E rad E rad R ;

' '
[638]
son en todo caso ahora bien, la primera de las expresiones en [637] nos dice que los vectores E rad y R
'
= 0 y [638] se reduce a perpendiculares, con lo cual E rad R

2
S rad
E rad = R , 0 c
'
[639]
lo que, tomando mdulos y aplicando la primera de las expresiones en [637], arroja
S rad =
0 c 16 0 c
2 2 4
[ ] ) (1 R
' '
R aq R
' '
((
) [ ])
'
'
[640]
, la energa E Si consideramos una superficie pequea pero finita a perpendicular a R recibida por ella en el intervalo de tiempo pequeo pero finito t , t + t es
'
E S rad a t ;
[641]
96

ahora bien, hay que tener en cuenta que esta energa fue emitida en el intervalo pequeo pero finito t' , t' + t' , siendo, por [615],
v q R' t' cR' t' t = t = 1 t c R' cR' v q R'
[ ]
'
[ ]
'
t t = , 1 R
[]
'
[642]
'
de modo que [641] da
a t' . E S rad 1 R
' ' '
( [] )
[643]
2
Llamando al ngulo slido subtendido en el punto r por la superficie a , a R vemos de [643] que la tasa temporal de energa radiada por unidad de ngulo slido vale
'
E R2. S rad 1 R t'

' ' '
( [] )
[644]
Sustituyendo [640] en [644], 1 q E 1 R 2 4 t' 0 c 16 2 0 c

'
[ ])
'
R
'
) [a ] ) ( (R
'
q'
[645]
o bien, usando que 0 0 = c
,
2
q E 0 2 1 R t' 16 c
'
[ ])
'
R
'
) [a ] ) ( (R
'
q'
[646]
Integrando a todas las direcciones, obtenemos la tasa temporal neta de emisin: q E 0 2 d 1 R t' 16 c
'
[ ])
'
R
'
) [a ] ) ( (R
'
q'
[647]
Aunque la carga porte aceleracin, siempre existir un sistema de referencia con respecto al que est instantneamente quieta y, por continuidad de la velocidad, se mover despacio en un cierto entorno. La aproximacin de Larmor consiste en tomar vq << c y, en consecuencia, 0 el
'
[ ]
llamado lmite no relativista, de modo que q E R aq 0 2 d R t' 16 c

2
'
( [ ])
' '
[648]
y a q , [648] se escribe Llamando al ngulo entre los vectores R

'
'
[ ]
0 q E a t' 16 2 c q
[ ]
2
'
2 0
d sen ,
[649]
donde hemos situado convenientemente nuestro eje de las z paralelo al vector a q , a fin de que tenga la interpretacin geomtrica habitual del ngulo de elevacin en coordenadas esfricas.
'
[ ]
97

Usando que
2 0
d = 2 y
d sen = 4 3 , [650] arroja finalmente la frmula de
Larmor: q E 0 aq t' 6 c
*** Como es sabido, la Mecnica Cuntica apareci en la Historia a principios del siglo pasado con el propsito de poner remedio a algunas aparentes incongruencias y fallos de la teora clsica que haba completado su desarrollo a lo largo del siglo XIX: desde ciertas lagunas en la explicacin del efecto fotoelctrico hasta la llamada catstrofe del ultravioleta. Otro de los puntos fundamentales en los que se ponan de manifiesto las imperfecciones del modelo anterior est relacionado, precisamente, con el hecho de que una partcula acelerada emite radiacin, lo que necesariamente debe conllevar una prdida en su energa mecnica. En concreto, haremos un pequeo clculo que pondr de relieve la incompatibilidad entre la aproximacin de Larmor que acabamos de presentar y el modelo atmico de Bohr, que interpreta el tomo de hidrgeno como un ncleo puntual que consta de un protn con carga e = 1.6 10
19
2
[ ].
2
'
[650]
C y masa
m p = 1.7 10
27
kg alrededor del cual gira, siguiendo una rbita circular, un electrn con carga e y
31
masa m e = 9.1 10
kg ; si el tomo ocupa el estado fundamental, el radio de la rbita es el denominado

11
radio de Bohr, a 0 = 5.3 10
m.
En primera aproximacin, asumiremos que la ley electrosttica de Coulomb basta para describir el movimiento del electrn relativo al ncleo: as, llamando K (4 0 )
1
= 9 10 N m C
, y del
despreciando la diferencia entre la masa del electrn y la masa reducida = m p m e
(m p + m e )
sistema electrnprotn, podemos obtener una estimacin para la celeridad del electrn en su rbita circular en funcin de cantidades conocidas usando la segunda ley de Newton:
me
a0
=K
e2
2 a0
v=e
K . a0me
6
1
[651]
Sustituyendo los valores numricos de las constantes, resulta v = 2.2 10 m s

3
, o bien,
= v c = 7.3 10 << 1 , lo que significa que en este problema los efectos relativistas pueden obviarse con garantas, tal como hemos hecho en la deduccin de la frmula de Larmor [650]. Para que nuestro anlisis sea aceptable, es necesario que la emisin de radiacin por el electrn en su movimiento sea un proceso que en Termodinmica llamaramos cuasiesttico, i. e., infinitamente lento. As, la energa radiada por el electrn en un perodo T = 2 a 0 v debera ser muy inferior a la
energa mecnica E mec , dada por la suma de la energa cintica y la potencial:

E mec = 1 e2 K e2 e2 K e2 2 . me v K = K = 2 a0 2 a0 a0 2 a0
[652]
Ahora bien, por consistencia con la idea de que emisin de radiacin implica decaimiento en la rbita, debemos sustituir en la ltima expresin a0 por r (t ) , el radio de la rbita electrnica en el instante t, de donde, derivando,
dE mec dt
K e 2 dr . 2 r 2 dt
[653]
98

Si asumimos que podemos tomar dE mec dt = E t' , donde E t' es la tasa temporal de energa radiada en todas direcciones por el electrn, aunando [650] y [653] queda esta ecuacin diferencial para r (t ) :
e K e 2 dr = 0 2 2 r dt 6 c
2 2
d 2r 2 ; dt
[654]
ahora bien, de [651] tenemos d r dt = Ke 2 m e r 2 , con lo cual [654] da e K 1 dr = 0 2 2 . dt 3 cm e r

4
[655]
De [655] podemos estimar el tiempo que tarda la rbita en empequeecer sustancialmente; por ejemplo, en demediar su radio original:
t 1 2 =
3 cm e
4
0 e K
a0 2 a0
r dr =
3 cm e a0 7 cm e a0 3 a = 0 4 8 e4 K . 0 e K 8 0
[656]
Sustituyendo los valores numricos de las constantes, obtenemos t 1 2 = 1.4 10
11
s , lo que
representa un lapso absurdamente breve! Resulta evidente que las hiptesis bajo las que se han derivado las expresiones anteriores son errneas y que el modelo de Bohr no es consistente con la Electrodinmica clsica. Esta ltima parece predecir que las rbitas atmicas son forzosamente inestables y, en consecuencia, los tomos no pueden escapar del colapso del electrn sobre el ncleo, lo que a su vez es claramente contradictorio con la evidencia experimental. En 1912, Bohr apoyndose especialmente en el clebre experimento que Rutherford haba realizado el ao anterior vino a salir de este atolladero planteando la hiptesis de que la teora clsica no se cumple en el interior del tomo, sino que las rbitas electrnicas son estacionarias (estables) por naturaleza. Es posible que se produzcan algunos cambios, pero nicamente pueden deberse a alteraciones energticas del estado cuntico del electrn, que puede pasar de una rbita a otra. (Si se absorbe un fotn, el nivel energtico del electrn aumenta y, por ello, pasa a una rbita ms alta; lo contrario sucede si se emite un fotn.) Las aportaciones de Bohr fueron muy anteriores al desarrollo pleno de la Mecnica Cuntica en las dcadas de 1920 y 1930; por ello resulta tan notable que fuera capaz de predecir con exactitud resultados que a la postre seran confirmados por esta teora.
99

Apuntes Mario

Enviado por

Dados do documento

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apuntes Mario

Enviado por

Direitos autorais:

Formatos disponíveis

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

Tema 1 FUNDAMENTOS DE ELECTRODINMICA CLSICA

B = 0 (ley de inexistencia del monopolo magntico), y E t

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

J son funciones dadas por el problema 2.

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

Ahora consideremos que, tomando divergencias en [2], 0= B t

1. 2. Potenciales electromagnticos. Invarianza de gauge

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

de manera que, por [16], podremos poner A t A t

A A = 0 J + 0 0 reorganizando, queda la ecuacin vectorial

2 2 0 0 2 A = 0 J + A + 0 0 . t t Por otro lado, llevando [19] a la ley de Gauss:

i. e., queda la ecuacin escalar =

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

tal que los potenciales alternativos

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

que, reorganizando y designando la funcin escalar supuesta conocida H o = A o + 0 0 0 t , se reescribe como 2 2 0 0 2 f r , t = H 0 r , t : t

la ecuacin de ondas inhomognea con trmino independiente

t 2 A = 0 J + 0 0 t , y resolvemos finalmente para A .

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

1. 3. Ondas electromagnticas en el vaco. Ondas planas

insertando [37] en [38],

insertando [35] en [40],

Comparando [39] y [41] con la ecuacin general de una onda f r , t velocidad v, f =

( ) que se propaga con

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

donde el vector de propagacin k y la frecuencia angular de onda deben satisfacer la restriccin k = 0 0

+ C 1 , B P + C 2 , que obviamente tambin verifica [1], [2], [3] y [4]. No obstante,

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA E r, t B r , t

[48] se satisface: decaen los campos como e

1. 4. Energa y momento del campo electromagntico

) como nica solucin admisible.

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

, y por tanto identificaremos aqulla con la tasa de

Podemos eliminar J de [50] a travs de la ley de AmpreMaxwell [4]:

donde hemos usado que

Si ahora aplicamos la identidad vectorial B E E B B E , tendremos, empleando la ley de FaradayLenz [2],

que, haciendo uso de la relacin anloga a [52] para E en lugar de B , da

lo cual, llevado a [51], resulta dE

Definiendo ad hoc la densidad de energa electromagntica en el vaco,

es la energa neta residente en el campo electromagntico en la regin D, E

podemos reescribir [55] en la forma

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

al momento neto de las partculas en

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

dt , habiendo definido la densidad de momento

P i. e. usando que, por [60], es E B = 0 S ,

que, empleando las propiedades conocidas del smbolo de LeviCivita

ijk klm = kij klm = il jm im jl ,

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

o bien, usando que A j A j

y que A j A j = A1 + A2 + A3 es por definicin el

cuadrado de la norma del vector A ,

Entonces, por el teorema de la divergencia,

Llevando este resultado a [71],

Definiendo el tensor de Maxwell Tij segn

Si [81] es una formulacin de la conservacin del momento, Tij n j

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

[84] [85] [86]

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

Empleando ahora la identidad de expulsin vlida para tres vectores cualesquiera a, b, c R , a b c a c b a b c ,

Mario Snchez Snchez, 4 de Fsicas, 201112 ELECTRODINMICA CLSICA

S r , y por tanto tomando divergencias en [99] resultar

Aunando [92] y [100], se satisfar evidentemente u t + S = 0 ,