Professional Documents
Culture Documents
Notas de curso de
Electrodin
amica cl
asica
Grupo A, 2004/05
Bibliografa
L. D. Landau and E. M. Lifshitz, Teora cl
asica de campos (Reverte,
Barcelona, 1986); The classical theory of fields, (Pergamon Press, Oxford, 1975).
J. D. Jackson, Classical Electrodynamics, 3rd edition (John Wiley, New
York, 1998). Hay version espa
nola de la segunda edicion inglesa, Electrodin
amica
cl
asica, 2 edicion (Alhambra Universidad, Barcelona, 1980).
W. K. H. Panofsky and M. Phillips, Classical Electricity and Magnetism
(Addison-Wesley, Reading, Massachusetts, 1964).
Bo Thide, Classical electrodynamics,
http://www.plasma.uu.se/CED/Book/index.html.
A. O: Barut, Electrodynamics and Classical Theory of Fields and Particles
(Dover, New York, 1980).
Antonio Fern
andez-Ra
nada 2005
02
Indice
1. Recordatorio de las ecuaciones de Maxwell
La ecuaciones de Maxwell en el vaco y en medios materiales. Energa electromagnetica. Potenciales. Condiciones de frontera. Comportamiento de los campos
electromagneticos bajo rotaciones, reflexiones e inversion temporal.
2. Relatividad especial y covariancia de las ecuaciones de Maxwell
El principio de relatividad y los postulados de Einstein. Transformaciones
de Lorentz. Transformaciones de las velocidades. Cuadrivelocidad y cuadriaceleracion. Principio de covariancia. Apendice. Grupos, vectores, formas y tensores.
Grupos de Lie. Espacio eucldeo y rotaciones. Vectores, formas y tensores. Espacio
de Minkowsky y grupo de Lorente. Vectores y tensores en el relatividad especial.
Ap
endice. Grupos, vectores, formas y tensores
3. Formulaci
on relativista lagrangiana de la electrodin
amica cl
asica
I
Principio de mnima.accion. Accion y lagrangiano de una partcula libre
en relatividad especial. Potenciales del campo electromagnetico. Dinamica de
partculas cargadas en un campo electromagnetico: ecuaciones del movimiento.
Invariancia gauge. El tensor electromagnetico. Transformaciones de Lorentz de
los campos E y B. Invariantes. Movimiento de partculas cargadas en campos
electrico y magnetico, uniformes y constantes: en un campo electrico, en uno
magnetico y en campos cruzados.
4. Formulaci
on relativista lagrangiana de la electrodin
amica cl
asica
Antonio Fern
andez-Ra
nada 2005
II
Primer par de ecuaciones de Maxwell. Accion del campo electromagnetico.
Cuadrivector corriente. Segundo par de ecuaciones de Maxwell. Densidad y flujo de energa. El tensor de energa-momento. Simetras y leyes de conservacion.
Tensor canonico de energa-momento y tensor simetrico. Invariancia gauge y conservacion de la carga.
5. Ondas electromagn
eticas
Ondas planas Ecuacion de ondas. Ondas planas. Efecto Doppler. Representacion espectral. Ondas guiadas. Modos TEM, TE, y TM. Guas rectangulares.
Transmision de energa. Cavidades resonantes.
6. Radiaci
on de partculas cargadas
Solucion de la ecuacion de ondas en el vaco. Funciones de Green. Potennotas EDC (v. 15/marzo/2005)
03
Antonio Fern
andez-Ra
nada 2005
04
Captulo 1
Revisi
on de las ecuaciones de
Maxwell
1.1.
Sean E(r, t) y B(r, t) los campos electrico y magnetico y D(r, t) y H(r, t), los
vectores de desplazamiento y de intensidad magnetica. Las cuatro ecuaciones de
Maxwell que los relacionan son en el vaco
B = 0,
(1.1)
B
E =
,
t
,
E =
0
(1.2)
(1.3)
E
,
(1.4)
t
donde (r, t) y j(r, t) son las densidades de carga y de corriente. Por razones
que quedaran claras mas adelante al estudiar la formulacion relativista, las dos
primeras se conocen como el primer par y la tercera y la cuarta, el segundo par.
Antonio Fern
andez-Ra
nada 2005
B = 0 j + 0 0
(1.5)
B
,
t
(1.6)
D = ,
(1.7)
D
H = j+
,
(1.8)
t
a las que se deben a
nadir las relaciones D = E, B = H y, si la corriente no
esta dada a priori, tambien j = E. Las cantidades y son la permitividad y
notas EDC (v. 15/marzo/2005)
11
(1.9)
(3) (r rk )vk
(1.10)
(ii) A
nadir las ecuaciones de movimiento de los electrones
mvk
d
= Fk = e(E + vk B).
dt (1 vk2 /c2 )1/2
(1.11)
Antonio Fern
andez-Ra
nada 2005
1.2.
Energa electromagn
etica
Las cantidades
1
UE =
2
1
=
2
E D dv,
(1.12)
H B dv,
(1.13)
y
UM
12
uM =
1 2
B .
2
B
D
E
E j.
t
t
(1.14)
1
[E D + B H] j E.
t 2
(1.15)
Antonio Fern
andez-Ra
nada 2005
[E D + B H] dv + (E H) n da.
dt V 2
V
S
Esta ecuacion integral es muy importante, pues se trata de la conservacion de
la energa. Se conoce como Teorema de Poynting en forma integral. Si definimos
el vector de Poynting
S=EH
(1.17)
podemos escribir (1.16) en la forma
u
+ S = j E,
t
(1.18)
1
[E D + B H] .
2
(1.19)
13
1.3.
Antonio Fern
andez-Ra
nada 2005
1.4.
Condiciones de frontera
Sea una superficie f (r) = 0 que separa dos medios cuyas propiedades electromagneticas son diferentes. En su superficie hay (o se inducen) una densidad
supeficial de carga y una densidad superficial de corriente K. Indicamos las
magnitudes en los dos medios por subndices 1 y 2. Las condiciones de contorno
para los campos E, D, B, H son las siguientes (siendo n un vector unitario normal a la superficie (i. e. n = f /|f |) que suponemos dirigido del medio 1 al
2
14
(D2 D1 ) n = ,
(E2 E1 ) n = 0 ,
(1.21)
(H2 H1 ) n = K ,
(B2 B1 ) n = 0 .
(1.22)
=0
2
1
= .
t 2
t 1
n 2
n 1
(1.23)
(1.24)
(1.25)
La condicion para el potencial vectorial tiene una expresion algo mas complicada,
depende la geometra de la superficie, y no se dara aqu.
1.5.
Transformaci
on de los campos electromagn
eticos
bajo rotaciones, reflexiones e inversi
on temporal
Antonio Fern
andez-Ra
nada 2005
o Mosc
u. Este
fue un descubrimiento importante de Newton: debemos aceptar
la idea de que las leyes son las mismas por todas partes, en contra de lo que
se admita hasta entonces, siguiendo la tradicion de la filosofa aristotelica que
divida el mundo en uno sublunar y el de las estrellas.
ii) la isotropa del espacio, o sea que todas las direcciones son equivalentes para
las leyes de la fsica, se puede enunciar diciendo que estas deben ser invariantes
bajo las rotaciones del espacio.
notas EDC (v. 15/marzo/2005)
15
Antonio Fern
andez-Ra
nada 2005
16
1.5.1.
Rotaciones.
Una rotacion de coordenadas en el espacio tridimensional es una transformacion lineal, tal que la norma de un vector permanece invariante. En otras palabras,
tal que la suma de los cuadrados de las coordenadas no cambia. O sea que se trata
de una transformacion lineal
X
ajk xk .
(1.26)
xj x0j =
k
(1.27)
Antonio Fern
andez-Ra
nada 2005
Si la matriz A tiene por coordenadas ajk , esto significa que su inversa A1 es igual
o sea que
a su traspuesta A,
=I,
AA
(1.28)
por lo que las matrices que expresan una rotacion se llaman (adecuadamente)
ortogonales y su conjunto se conoce como grupo ortogonal O(3), el tres refiriendose
la dimension del espacio.
Pues bien, todo conjunto de tres cantidades que se transforman en una
rotacion como las componentes de x se llama vector, por ejemplo la velocidad
v o el momento lineal p. Hay, ademas, cantidades que son invariante bajo rotaciones y se llaman escalares. Por ejemplo, los productos escalares de dos vectores,
as x2 , x p o v p, este u
ltimo el doble de la energa cinetica en fsica newtoniana.
Si (xi ) es un escalar y Vk (xi ) es un vector, se tiene
X
ajk Vk (xi ) .
(1.29)
0 (x0i ) = (xi ) ,
Vj0 (x0i ) =
k
17
Son los llamados tensores de segundo rango o de dos ndices. Como ejemplos,
podemos mencional los tensores de inercia de un solido o los de tension y deformacion en mecanica de medios continuos. Uno de ellos, el tensor electromagnetico
jugara un papel importante en este curso, como veremos mas adelante. La generalizacion a tensores de rango n, o de n ndices, es inmediata. Los escalares son
tensores de rango cero, sin ndices, y los vectores, tensores de rango uno o con un
ndice.
Si multiplicamos termino a termino dos tensores, se obtiene un tensor cuyo
rango es la suma de los dos. As el producto di
adico de dos vectores P ij = Ai Bj
es un tensor de rango dos. La cantidad Tijk = Ai Bij es un tensor de tres ndices,
etc. Los operadores diferenciales tienen tambien propiedades de transformacion
bajo las rotaciones. Por ejemplo, el gradiente es un operador vectorial. Como
consecuencia, el gradiente de un escalar es un vector, la divergencia de un
vector V es un escalar, la laplaciana es un operador escalar, de modo que la
laplaciana de un escalar es otro escalar 2 .
Para interpretar lo que significa una rotacion, podemos usar dos interpretacionees. En el punto de vista activo se considera que no cambian los ejes de
referencia y el sistema fsico es el que se gira. En el punto de vista pasivo es al
reves, los ejes se giran y el sistema se deja fijo. Para entenderlo mejor, tomemos
una rotacion alrededor del eje z, o sea en el plano xy. Desde el punto de vista activo, giramos el sistema un angulo y desde el pasivo, un angulo . La situacion
relativa del sistema y los ejes es la misma en los dos puntos de vista.
Antonio Fern
andez-Ra
nada 2005
(1.31)
En componentes
Di =
ijk Bj Ck ,
jk
`mn
En efecto, si dos ndices en (ijk) son iguales el segundo miembro se anula. Si, por
ejemplo i = j, los terminos en ai` aim `mn se cancelan. Si ijk es una permutacion
par, el segundo miembro es igual al determinante de A = (aij ) y si es una permutacion impar a menos el determinante (pues se han intercambiado dos filas).
Como el determinante de una rotacion propia es +1, queda demostrado.
Notese que si la rotacion fuese imporpia, su determinante sera 1 y el tensor
de Levi-Civita cambiara de signo en una reflexion. Los tensores a lo suq les ocurre
tal cosa, se llaman pseudotensores. Pues bien, vemos que ijk es un pseudotensor.
En el caso del producto vectorial D, su expresion sugiere que se puede considerar
como un tensor antisimetrico de rango dos cuyas componentes sean Bj Ck Bk Cj .
Por ser antisimetrico tiene solo dos componentes distintas, lo que permite tratarlo
como un vector. Pero el hecho de que el tensor de Levi-Civita sea un pseudotensor,
indica que su ley de transformacion es
X
Di0 = det(a)
aij Dj
(1.32)
j
Antonio Fern
andez-Ra
nada 2005
1.5.2.
Reflexiones.
19
1.5.3.
Inversi
on temporal.
Las leyes basicas de la fsica clasica son invariantes por el cambio de la flecha
del tiempo. Notese que lo que es invariante no es cada trayectoria, sino la expresion matematica de la ley, es decir, la ecuacion del movimiento. Si tomamos una
pelcula de una carambola, que no contenga pistas como un reloj o una persona
andando, resulta imposible saber al verla si esta siendo pasada hacia alante o
hacia atras. Los planetas giran an torno al Sol aproximadamente en un plano y
con un cierto sentido de giro. Ello se debe a un accidente historico, pues podran
igualmente girar en el sentido contrario. A las leyes del movimiento les da igual.
Notese que para pasar de un sentido al otro, basta con cambiar t t, v v,
p p.
Pues bien para tener en cuenta esta simetra temporal, es preciso que las
ecuaciones sean invariante por esos cambios. Tomemos la segunda ley de Newton
en la forma
dp
= U (r) .
dt
Antonio Fern
andez-Ra
nada 2005
110
Antonio Fern
andez-Ra
nada 2005
Magnitud
Inversi
on
temporal
I. Mecanicas
Coordenada
Velocidad
Momento
Momento angular
Fuerza
Torque
Energa cinetica
Energa Potencial
x
v
p
L=xp
F
N=xF
p2 /2m
U (x)
1
1
1
1
1
1
0
0
Impar (vector)
Impar (vector)
Impar (vector)
Par (pseudovector)
Impar (vector)
Par (pseudovector)
Par (escalar)
Par (escalar)
Par
Impar
Impar
Impar
Par
Par
Par
Par
II. Electromagneticas
Densidad de carga
Densidad de corriente
Campo electrico
Desplazamiento
Polarizacion
Campo Magnetico
Intensidad Magnetica
Imanacion
Vector de Poynting
Tensor de Maxwell
J
E
D
P
B
H
M
S=EH
T
0
1
1
1
1
1
1
1
1
2
Par (escalar)
Impar (vector)
Impar (vector)
Impar (vector)
Impar (vector)
Par (pseudovector)
Par (pseudovector)
Par (pseudovector)
Impar (vector)
Par (tensor)
Par
Impar
Par
Par
Par
Impar
Impar
Impar
Impar
Par
111
1.6.
Ejercicios
Antonio Fern
andez-Ra
nada 2005
112
Captulo 2
Relatividad especial
2.1.
2.1.1.
Para describir los fenomenos naturales, los fsicos usan sistemas de referencia,
que tambien llamaremos referenciales, que consisten en sistemas de coordenadas
para indicar la posicion en el espacio y relojes fijos en cada sistema para indicar
el tiempo.
Antonio Fern
andez-Ra
nada 2005
Tienen un interes especial los llamados sistemas inerciales, que son sistemas
de coordenadas en los que un movil libre, o sea sin fuerzas aplicadas, se mueve con
velocidad constante. Son importantes porque en ellos valen las leyes de Newton
sin necesidad de incluir fuerzas de inercia. Si un sistema es inercial, todos aquellos
que se mueven respeto a el con velocidad constante y sin rotacion son tambien
inerciales. Recprocamente si dos sistemas son inerciales, se mueven uno respecto
al otro con velocidad relativa constante.
A pesar de la importancia que tiene en la fundamentacion de la dinamica
clasica, la idea de sistema inercial es mas bien reciente. Fue introducida por el
filosofo y cientfico aleman Ludwig Lange en 1885. Gracias a ella, se aclaro mucho
la nocion de relatividad, que estaba confusa incluso en las obras de los grandes
mecanicos del XVIII y XIX.
Principio de relatividad: Las leyes de la naturaleza son las mismas en todos
los sistemas inerciales de referencia. Esto significa que, si Andres y Beatriz cada
uno en su referencia inercial, investigan mediante experimentos las leyes de la
notas EDC (v. 15/marzo/2005)
21
2.1.2.
Velocidad de propagaci
on de la interacci
on.
Antonio Fern
andez-Ra
nada 2005
(2.1)
2.1.3.
Antonio Fern
andez-Ra
nada 2005
La idea de espacio-tiempo fue introducida por el matematico alemam Hermann Minkowski en el Congreso de la Asociacion de Matematicos, celebrado en
Colonia en 1908, al decir que, como consecuencia de la teora de Einstein (que
haba sido alumno suyo en Zurich), A partir de ahora, el espacio por s mismo
y el tiempo por s mismo estan condenados a desvanecerse como meras sobras y
solo quedara una ntima union de ellos dos: el espacio-tiempo. Por eso el espaciotiempo de la relatividad especial se conoce como espacio de Minkowski.
La idea de distancia entre dos puntos a lo largo de una trayectoria es muy
importante en geometra eucldea. La distancia, sin mas, es la distancia a lo
largo de un a lnea recta que una los dos puntos. Sean estos P1 (x1 , y1 , z1 ) y
P2 (x2 , y2 , z2 ). Su distancia s cumple
s2 = (x2 x1 )2 + (y2 y1 )2 + (z2 z1 )2 .
Si los puntos son P1 (x, y, z) y P2 (x + dx, y + dy, z + dz) el elemento de
distancia, o de longitud, es
ds2 = dx2 + dy 2 + dz 2 .
notas EDC (v. 15/marzo/2005)
23
(2.2)
(2.3)
ij
Antonio Fern
andez-Ra
nada 2005
Esto se parece a lo que ocurre en un espacio eucldeo, pero con tensor metrico
igual a (notacion autoexplicativa)
gij = diagonal(1, 1, 1, 1).
Cuando un espacio tiene un elemento de distancia que se puede escribir como
la suma de varios cuadrados de diferenciales de coordenadas menos la suma de
varios otros, se dice que es un espacio pseudoeucldeo. La signatura de la metrica
es el dato de cuantos signos mas y cuantos signos menos hay en ella. La de la
relatividad se puede expresar como (1,3) o (3,1) ( de modo equivalente)
Notese que sigo usando un cuadrado en el primer miembro, a pesar del hecho
evidente que el segundo miembro puede ser negativo (se dice que la metrica
24
Se debe a que el intervalo entre dos sucesos toma el mismo valor para todos los
observadores inerciales, porque es invariante bajo transformaciones de Lorentz.
Como veremos esto es parecido a lo que le ocurre a la distancia en la geometra
eucldea, que es invariante bajo rotaciones.
2.1.3.2.
Tipos de intervalo.
con `2 = x2 + y 2 + z 2 .
Antonio Fern
andez-Ra
nada 2005
un movil puede ir de P1 a P2
c) de tipo espacio (o espacial), si s212 < 0. Ning
pues se necesitara llegar a una velocidad superior a la de la luz. s12 es imaginario
puro.
Se define el cono de luz de un punto como el conjunto de los rayos de luz que
salen de ese punto (o sea en un cierto instante). Su ecuacion es c2 t2 (x2 +y 2 +z 2 ) =
0. Las partes con t > 0 (resp. t < 0) se llaman cono del futuro (resp. cono del
pasado). Pues bien
a) Si el intervalo entre P1 y P2 es de tipo tiempo, P2 esta dentro del cono de
luz de P1 .
b) Si es de tipo luz, P2 esta en el cono de luz.
c) Si es de tipo espacio, P2 esta fuera del cono de luz.
notas EDC (v. 15/marzo/2005)
25
Antonio Fern
andez-Ra
nada 2005
Por otra parte, hay sistemas en los que P1 y P2 son simultaneos. Su distancia
espacial es en ese caso
q
0
`12 = `212 c2 t212 = is12 .
Entender que el orden temporal entre dos sucesos separados por un intervalo
tipo espacio depende del observador y que la simultaneidad de sucesos separados
espacialmente no puede tener caracter absoluto fue el punto de partida de Einstein
para su relatividad espacial. Al desarrollarla actuo como un empirista, pues no
vea modo de determinar experimentalmente que dos sucesos sean simultaneos,
de modo valido para todos los observadores inerciales.
2.1.4.
Tiempo propio.
t01
t2
r
dt 1
=
t1
v2
c2
( t2 t1 ) .
(2.4)
Antonio Fern
andez-Ra
nada 2005
2.2.
x vt
,
1 v 2 /c2
= y,
z0 = z ,
t (v/c2 )x
= p
.
1 v 2 /c2
(2.5)
27
(2.6)
2.2.1.
Postulados de Einstein.
Antonio Fern
andez-Ra
nada 2005
e e
,
2
cosh =
e + e
,
2
tanh =
e e
,
e + e
Antonio Fern
andez-Ra
nada 2005
x0 = ct sinh ,
con lo que
ct0 = ct cosh ,
x0
= tan .
ct0
v
=,
c
= arctanh
v
.
c
cosh = p
1 tanh2
,
29
cosh = p
.
1
1 2
Sustituyendo se obtiene la expresion de la transformacion de Lorentz (3.41) que
queda as probada a partir de la invariancia del intervalo.
2
2.3.
Transformaci
on de las velocidades
Antonio Fern
andez-Ra
nada 2005
ux =
u0y
u0z
2.4.
(2.7)
Cuadrivelocidad y cuadriaceleraci
on
En fsica newtoniana la velocidad se define como la derivada de las tres coordenadas cartesianas de una partcula respecto al tiempo, de modo que la velocidad
210
dx
.
d
c
p
1 v 2 /c2
, p
v
1 v 2 /c2
!
,
d2 x
du
=
.
d 2
d
u w = 0 .
u =
=
,
ds
c d
Antonio Fern
andez-Ra
nada 2005
2.5.
Principio de covariancia
El principio de relatividad dice que las leyes de la fsica tienen la misma forma
en todos los sistemas de referencia inerciales. Por eso las consideraciones anteriores
son de gran importancia. En efecto, una manera de construir leyes que cumplan
ese principio, que sean invariantes Lorentz como se dice, es que se expresen mediante magnitudes cuya variacion bajo transformaciones de Lorentz este claramente
definida, o sea, en lenguaje tensorial. Cualquier ley se escribe como una igualdad
entre dos expresiones matematicas. Para que sea invariante Lorentz, todos los
notas EDC (v. 15/marzo/2005)
211
Antonio Fern
andez-Ra
nada 2005
Usaremos, en este curso, la teora de la relatividad especial, elemento indispensable para formular adecuadamente las leyes del electromagnetismo. Relatividad especial, tambien llamada a veces restringida, significa que esta basada en
las transformaciones de Lorentz como grupo de invariancia y vive en un espacio
plano, aunque no eucldeo del todo. Pero, como el propio Einstein se dio cuenta en
1911, esa teora no es definitiva porque no puede albergar de forma satisfactoria a
la gravedad. Para conseguirlo, el mismo Einstein desarrollo en los a
nos 1907-1911
su Relatividad General, mucho mas completa, cuyo grupo de invariancia es el de
las transformaciones suaves (es decir suficientemente derivables).
212
2.6. Ejercicios
2.6.
Ejercicios
(x1 , x2 , . . . , xn )
.
x
0 ...
X x0 x0
x0 ...
...
T
=
x x
x
x x0
= ,
x0 x
en las que se usa el convenio de Einstein de los ndices repetidos. Razonar que
eso indica quer la delta de Kronecker es un tensor mixto, una vez covariante
y otra contravariante. Demostrar que
c) el producto de dos tensores C = A B es tambien un tensor;
Antonio Fern
andez-Ra
nada 2005
213
Antonio Fern
andez-Ra
nada 2005
b) Una carga q se mueve paralelamente a las dos rectas con velocidad u. Por
transformacion de los campos, hallar la fuerza sobre la carga en un sistema ligado
a ella.
214
2.6. Ejercicios
Ap
endice 2.1: Grupos, vectores, formas y tensores
A2.1.1
Definici
on de grupo y de grupo de Lie. Un grupo es un
conjunto de objetos que incluye una ley de composicion binaria que asigna un
elemento a cada par de elementos ordenados a y b. Se escribe a b = p. Esa ley
cumple tres propiedades
1) Es asociativa: a (b c) = (a b) c.
2) Existe un elemento identidad e, tal que a e = e a = a para todo a.
3) Cada elemento del grupo a tiene un inverso a1 tal que a1 a = a a1 = e.
En este curso nos interesan en especial los grupos continuos, tales que sus
elementos dependen continuamente de varios parametros 1 , , n . Si la dependencia es analticas, el grupo se llema grupo de Lie, en honor del matematico
noruego Sophus Lie, que fue un pionero en su investigacion.
Ejemplos de grupos de Lie son el de las rotaciones en n dimensiones, el de
las traslaciones o el de Lorentz. Los parametros son angulos, distancias o angulos
y velocidades, respectivamente ( o funciones de ellos). En general los grupos de
Lie se representan por matrices, de modo que a cada elemento (a menudo una
transformacion) le corresponde una matriz que act
ua en un espacio vectorial, que
conserve la ley de multiplicacion. Es otras palabras, el grupo de Lie y el grupo de
matrices deben ser homomorfos. Una tal correspondencia se llama representaci
on
lineal del grupo de Lie.
Antonio Fern
andez-Ra
nada 2005
(2.8)
215
(2.9)
o, en forma matricial,
r10
a11 a12 a13
r1
0
(2.10)
r2 = r r = rr = r0 r0 = rAIAr
,
donde I es la matriz unidad (correspondiente a la transformacion identidad).
Como esto debe ocurrir para todos los vectores r, es necesario que se cumpla
=I,
AA
o sea A = A1 .
(2.11)
Antonio Fern
andez-Ra
nada 2005
216
2.6. Ejercicios
2.6.0.0.1. Formas lineales. Consideremos ahora otro concepto. Una forma
lineal en el espacio tridimensional es una funcion lineal de los vectores que toma
valores entre los n
umeros reales. Como es lineal, toda forma F esta definida por
tres n
umeros, sean (u1 , u2 , u2 ), tales que
Fu (v) = u1 v1 + u2 v2 + u3 v3 =
ui v i .
(2.12)
Es facil ver que el conjunto de las formas lineales en un espacio vectorial V tiene
tambien la estructura de espacio vectorial. Se conoce por espacio dual de V. El
teorema de Riesz establece que hay una correspondencia biunvoca entre V y su
dual, de modo que a cada vector le corresponde una forma.
Nos interesan las formas invariante por O3 (en el caso general, por un cierto
grupo). Para ello, su valor debe ser el mismo en un sistema con primas (o sea,
rotado)
X
X X
Fu0 0 (v0 ) =
u0i vi0 =
u0i
aij vj = Fu (v) .
(2.13)
i
Como esto se debe cumplir para todo vector v, las dos ecuaciones anteriores
implican que los coeficientes de la forma se transforman del modo
uj =
aij u0i ,
aij uj .
Antonio Fern
andez-Ra
nada 2005
O sea que los coeficientes de una forma se transforman como los componentes de
un vector. Esto parece sugerir que un vector y una forma son la misma cosa. Pero
no es as, en general son dos conceptos que hay que saber distinguir. Ocurre sin
embargo que, en el caso eucldeo con el grupo de las rotaciones, las componentes
de la forma son la misma terna que la del vector u a que esta asociada en virtud
del teorema de Riesz. Pero en el caso general, las cosas son algo mas complicadas
y conviene, como se vera mas abajo. Cuando hay una metrica dada por un producto escalar, se puede establecer una relacion biunvoca entre el conjunto de los
vectores y el de las formas. Gracias a ello y en el caso de una geometra eucldea
con una base ortogonal, es posible y comodo identificarlos, si bien con un cierto
abuso de lenguaje poco importante. Pero eso no se puede hacer en relatividad,
que usa una geometra pseudoeucldea con el grupo de Lorentz en vez del de las
rotaciones.
notas EDC (v. 15/marzo/2005)
217
Antonio Fern
andez-Ra
nada 2005
218
2.6. Ejercicios
La situacion puede describirse con el diagrama
B
A
B0
u0
v0 .
(2.17)
es decir B 0 = ABA1 .
(2.18)
Tomando componentes
b0ij =
ai` (
a1 )jm b`m
(2.19)
`m
Como A1 = A, entonces (
a1 )jm = ajm , de donde
b0ij =
(2.20)
`m
Antonio Fern
andez-Ra
nada 2005
Producto y contracci
on de tensores. Se define el producto de dos tensores
de rangos n y m como el tensor de rango m + n cuyas componentes son los 3n+m
productos de las del primero por el segundo. Ejemplo: la diada o producto diadico
de dos vectores es el tensor Dij = Ai Bj .
La operacion igualar dos de los ndices de un tensor y sumar despues en sus
posibles valores se llama contracci
on. Por ejemplo la traza de una matriz de dos
P
ndices es la contraccion del tensor correspondiente Tr (Aij ) = j Ajj . Es facil
comprender que la contraccion de un tensor de rango n es otro tensor, pero de
rango n 2. Por ejemplo si contraemos los dos primeros ndices del tensor de
P
(2.14), el objeto resultante, Ukn = i Tiikn , se transformara como un tensor
de rango n 2 pues
X
0
Tiikn Tiikn
=
i0 j 0 n0
219
0
Ukn
=
(2.21)
k0 n0
gij ui v j .
(2.22)
Antonio Fern
andez-Ra
nada 2005
ij
En una geometra eucldea existen bases tales que ei ej = ij con lo que tenemos
el producto escalar de las matematicas elementales. Pero puede ocurrir que, por
alguna razon, deseemos usar una base no ortogonal. En el caso del espacio de
Minkowsky, lo mas que se puede llegar es a una metrica diagonal con un 1 y tres
1, o sea cuatro vectores ortogonales pero, bien uno de ellos bien tres, con norma
negativa.
La expresion (2.22) se puede escribir de modo mas simple introduciendo las
cantidades
X
X
uj =
gij ui ,
tal que uj =
g jk uk ,
(2.23)
j
pues entonces
uv =
X
ij
220
gij ui v j =
X
j
uj v j =
X
i
ui vi =
g ij ui vj ,
(2.24)
ij
2.6. Ejercicios
donde la matriz del tensor simetrico g ij es la inversa de la de gij , es decir que
X
gik g kj = ij .
(2.25)
k
Propiamente hablando, las cantidades con el superndice, las xk , son las componentes de un vector y las que llevan el subndice, las xk , de una forma. Pero
dada la correspondencia biunvoca entre vectores y formas a la que se refiere el
teorema de Riesz, resulta aceptable, y conveniente a un cierto nivel, identificar los
vectores con las formas. Se dice entonces que las cantidades xk son componentes
contravariantes y las xk , componentes covariantes. La operacion de pasar de las
unas a las otras, mediante la contraccion con el tensor metrico se llama subir y
bajar ndices. En el caso eucldeo es posible elegir los vectores de la base de modo
que xk = xk , pero eso resulta imposible en el tratamiento de la relatividad.
Dada una transformacion de coordenadas
X
xi x0 i =
aij xj ,
(2.26)
Antonio Fern
andez-Ra
nada 2005
(2.27)
jk
221
Estas son las maneras en que se transforman las componentes de los vectores
y las formas. Gracias a la existencia de un producto escalar con su tensor gij ,
podemos decir tambien que son las maneras de transformarse de las componentes
contravariantes y covariantes de los vectores. En el caso eucldeo con el grupo
On , si multiplicamos la u
ltima ecuacion por (a1 )iq y sumamos en i, teniendo en
P 1 i `
cuenta ademas que i (a ) q a i = q` se llega a
X
u0q =
(a1 )iq ui
i
Antonio Fern
andez-Ra
nada 2005
g = = diag (1, 1, 1, 1) ,
en notacion autoexplicativa. Ese producto escalar es invariante por el grupo de
Lorentz, cuyas transformaciones son del tipo
x x0 = Ax
(2.30)
1 0
0
0
0 1 0
0
G (gij ) =
,
0 0 1 0
0 0
0 1
222
2.6. Ejercicios
podemos escribir un producto escalar de los vectores u0 y v 0 en la forma
u0 v 0 = u0 Gv 0 uAGAv
= uGv .
(2.31)
Como esto se debe cumplir para todo par de vectores, es necesario que
AGA
= G.
(2.32)
Esta es la condicion que cumplen las matrices del grupo de Lorentz (es facil
comprobar que el conjunto de las matrices que la cumplen tiene estructura de
grupo). Notese que en el caso eucldeo, la matriz G es la unidad, con lo que (2.32)
se transforma en la conocida condicion A = A1 .
La regla para formar las componentes covariantes de un vector es simple con
el tensor metrico de Minkowsky. Esta claro que
a0 = a0 ,
a1 = a1 ,
a2 = a2 ,
a3 = a3 ,
o sea que subir o bajar un ndice espacial equivale a cambiar el signo, mientras
que si el ndice es temporal la componente no cambia. El tensor metrico se puede
escribir de tres maneras
gij ,
gji = ji
g ij
Antonio Fern
andez-Ra
nada 2005
1 0
0
0 1 0
(g ij ) = (gij ) =
0 0 1
0 0
0
1 0
0
0
0 1
j
, gi =
0 0
0
0 0
1
0
0
1
0
0
0
0
1
x1 = x,
x2 = y,
x3 = z .
223
(2.33)
Antonio Fern
andez-Ra
nada 2005
A ,
R .
Se llaman tambien tensores mixtos para indicar que tiene, a la vez, indices de los
dos tipos. Los ndices se suben y se bajan mediante la misma regla simple que
para los vectores. Al cambiar un ndice que vale 0, nada cambia; si vale 1, 2 o
3 cambia el signo. Para contraer dos ndices es preciso que sea uno covariante y
otro contravariante.
Ademas de las tres formas anteriores del tensor metrico, tiene interes el
pseudotensor tensor completamente antisimetrico de rango cuatro e , una generalizacion del de Levi-Civitta. Su valor es 0 si dos de los ndices son iguales y +1
o 1 si son los cuatro distintos y los ndices forman una permutacion par o impar,
respectivamente, de los n
umeros (0, 1, 2, 3). Por ejemplo e0123 = +1, e1023 = 1,
e1123 = 0. Notese que e0123 = 1. Ese tensor tiene por tanto 4! = 24 componentes
no nulas.
224
2.6. Ejercicios
2.6.0.0.5. Vectores y pseudovectores. Si se realiza una inversion de coordenadas (o sea una simetra respecto al origen, (x, y, z) (x, y, z)), las tres
componentes espaciales de un vector ordinario cambian de signo. Si solo se invierte una de las coordenadas (por ejemplo, se invierte z si se realiza una simetra
respecto al plano xy), la componente correspondiente de los vectores cambia de
signo). Consideremos, sin embargo, el producto escalar de dos vectores, como es el
caso del campo magnetico. Es facil comprobar que sus componentes permanecen
invariantes en una inversion de coordenadas. Si solo se invierte una, la componente correspondiente del producto escalar no cambia; por contra las otras dos
s cambian de signo.
En el primer caso, se dice que se trata de un vector polar; en el segundo, que
es un vector axial. Es facil comprobar que el campo electrico es polar y el campo
magnetico, axial. Tambien se conocen esos dos tipos como vector y pseudovector,
respectivamente. Sea C = A B. Esta claro que (usando el convenio de los
ndices repetidos)
Ci =
1
eijk Cjk ,
2
siendo Cjk = Aj Bk Ak Bj .
Antonio Fern
andez-Ra
nada 2005
En general, un pseudotensor se comporta como un tensor para transformaciones de coordenadas sin inversion o con la inversion de un n
umero para de
coordenadas (o cuando la mano derecha cambia en una mano derecha), mas precisamente si no cambia la axilidad del sistema de ejes. Pero no cambia de signo
sus componentes en una inversion de un n
umero impar de coordenadas, como
s lo hace un tensor. Como ejemplo de pseudoescalar tomemos el producto escalar
de un vector y un pseudovector, E B en electromagnetismo por caso. Cambia de
signo, al reves que un escalar en una inversion de las tres coordenadas.
Sea T un tensor antisimetrico de rango dos en cuatro dimensiones. Se define
su dual T como
1
T = e T .
2
De la misma manera el dual de un vector R es el tensor de rango tres R =
e R .
Este tipo de tensores son especialmente importantes porque aparacen muy
a menudo en las aplicaciones fsicas, como veremos. Sea T uno de ellos. Sus
componentes (T 01 , T 02 , T 03 ) forman un vector polar, como es facil de comprender aplicando las leyes de transformacion. Por su parte, las componentes
(T 32 , T 13 , T 21 ) forman un vector axial. Tambien se puede entender bien esto al
notas EDC (v. 15/marzo/2005)
225
0 ex ey ez
e
0 bz
by
x
(T ) =
,
ey
bz
0 bx
ez by
bx
0
y con notacion evidente
T = (e, b),
T = (e, b)
Antonio Fern
andez-Ra
nada 2005
1
dS
2
dx00
dx00
dx00
2.6. Ejercicios
es decir
1
dS = dS
6
0
123
1
023
por ejemplo dS = dS , dS = dS ...
(iv) Integral en un volumen cuadridimensional
Antonio Fern
andez-Ra
nada 2005
227
Antonio Fern
andez-Ra
nada 2005
228
Captulo 3
Formulaci
on lagrangiana de la
electrodin
amica cl
asica I
3.1.
L = L(q, q)
= T (q, q)
U (q) .
U = U (q) ,
(3.1)
Sus ecuaciones del movimiento se pueden obtener con gran sencillez a partir del
principio de la mnima accion en su forma de Hamilton. Podemos enunciar este
principio de la siguiente manera
Antonio Fern
andez-Ra
nada 2005
(1)
= 0, k = 1, 2, . . . n ,
(3.3)
dt qk qk
que son por tanto las ecuaciones del movimiento del sistema. En este contexto,
se suelen llamar simplemente las ecuaciones de Lagrange.
notas EDC (v. 15/marzo/2005)
31
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
Ejemplo. Partcula en tres dimensiones sometida al ptential U (x, y, z). El
lagrangiano es
1
L = mv 2 U
2
y las ecuaciones de Lagrange
m
x = x U ,
m
y = y U ,
m
z = z U .
Prueba del principio de Hamilton. Definimos las variaciones de las coordenadas qk (t) como funciones con buen comportamiento que se anulan en t1 y
t2 , o sea que
q(t1 ) = q(t2 ) = 0 .
(3.4)
De ese modo los conjuntos qk (t) + qk (t) son conjuntos de funciones que cumplen
(1)
todas ellas las condiciones inicial y final qk (t1 ) + qk (t1 ) = qk y qk (t2 ) + qk (t2 ) =
(2)
qk . Que la integral de accion tome un valor estacionario significa que, al variar
las coordenadas, se anule la parte de primer orden de la variacion de la integral.
La variacion de la integral de accion vale
Z t2
Z t2
L
L
q +
q dt ,
(3.5)
S =
[L(q + q, q + q)
L(q, q)]
dt =
q
q
t1
t1
salvo terminos de segundo orden y superiores en las variaciones (notese que por
simplicidad se han omitido los subndices en las coordenadas y velocidades. Hay
que sobreentender que esa expresion es una suma extendida a los valores k =
1, 2, , n). Tal como hemos definido la variacion, esta claro que la variacion y
la derivada respecto al tiempo conmutan, es decir
q =
d
q .
dt
(3.6)
Antonio Fern
andez-Ra
nada 2005
Gracias a ello podemos integrar por partes el segundo termino del tercer miembro
de (3.5), con lo que
Z
t2
t1
t
Z t2
L 2
d L
L
q dt =
q
q dt
q
q t1
dt q
t1
q(t) dt
=
qk (t) dt
dt q
q
dt qk qk
t1
k=1 t1
(3.7)
32
3.2. La acci
on de una partcula libre en relatividad
La u
nica manera en que las integrales en (3.7) sean nulas para todas las variaciones posibles es que se anulen los parentesis, lo que conduce a las ecuaciones de
Lagrange (3.3). Recprocamente, estas ecuaciones implican S = 0.
Momentos conjugados. A cada variable qk le corresponde un momento
conjugado pk definido as
L
.
pk =
qk
A las variables cartesianas xk les corresponde el momento lineal pk = mvk , a la
rotacion alrededor de un eje, la componente sobre ese eje del momento angular,
etc.
Hamiltoniano. (o funcion hamiltoniana) Se define as
X
H=
pk qk L .
k
Antonio Fern
andez-Ra
nada 2005
3.2.
La acci
on de una partcula libre en relatividad
Sea una partcula libre, por ejemplo un electron, que se mueve. Como plantear
su movimiento desde el punto de vista variacional? En primer lugar el integrando
de la accion debe ser un escalar, pues de otra forma la teora no sera covariante
Lorentz ni, por tanto, relativista. Ademas debe ser tambien una forma diferencial
de primer orden. El u
nico integrando que cumple esas condiciones es ds, siendo
una constante. Por tanto la accion debe ser
Z 2
S =
ds ,
(3.8)
1
33
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
donde la integral se toma a lo largo de la trayectoria (o lnea de universo) de la
partcula en el espacio de Minkowski. Los lmites de la integral son dos puntos
de espacio-tiempo, o sea una posicion en el tiempo incial t1 y otra en el tiempo
final t2 . Se puede comprobar que debe ser positiva. Hasta ahora el elemento
diferencial que aparece en la integral de accion es la diferencial del tiempo, de
R2
modo que S = 1 Ldt. La ecuacion (3.8) toma la forma
Z t2 p
c 1 v 2 /c2 dt ,
(3.9)
S=
t1
(3.10)
p
v 2
.
1 v 2 /c2 c +
2c
(3.11)
Antonio Fern
andez-Ra
nada 2005
pk =
L
,
x k
o sea
p= p
mv
1 v 2 /c2
(3.13)
3
X
pk qk L ,
o sea
mc2
E=p
1 v 2 /c2
(3.14)
3.2. La acci
on de una partcula libre en relatividad
y que, a cualquier velocidad,
E2
= p2 + m 2 c2 .
c2
El hamiltoniano puede escribirse as
H=c
p
p2 + m2 c2 .
Tambien
v
.
c2
A primera vista parece que la idea de una partcula con masa nula m = 0 no tiene
sentido. Sin embargo s lo tiene, si suponemos que esa partcula siempre tiene la
velocidad c respecto a todos los observadores inerciales, como se deduce por otra
parte de las transformaciones relativistas de las velocidades. En ese caso
p=E
E = pc.
3.2.1.
Formulaci
on cuadridimensional.
S = mc
d = 0 ,
1
donde es el tiempo propio. Teniendo en cuenta que d = (dx dx )1/2 /c, que
dx = dx y que (dx dx )1/2 = dx dh /(dx dx )1/2 , es decir que la variacion
y el diferencial conmutan, esa variacion vale
Z 2
Z 2
dx dx
u dx .
S = m
= m
d
1
1
Antonio Fern
andez-Ra
nada 2005
m u x |21
Z
+m
1
du
d .
d
El primer termino del segundo miembro vale cero porque la variaciones se anulan
en los tiempos extremos. La condicion S = 0 implica pues que
du /d = 0
, es decir, la cuadrivelocidad es constante, como corresponde a una partcula libre.
notas EDC (v. 15/marzo/2005)
35
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
Tal como se hace en mecanica teorica newtonana, podemos considerar a la
accion como una onda, haciendo fijo el lmite inferior 1 y variando el superior 2,
o sea considerando las coordenadas de este u
ltimo como variables. De ese modo
tenemos una funcion S = S(x ). Si variamos solo estas coordenadas del punto
final queda
S = m u x ,
porque la integral en la expresion de S, ecuacion anterior, se anula y solo queda
el primer termino en el lmite superior. El cuadrivector
S
p =
x
es el cuadrivector momento. De hecho en mecanica clasica las derivadas (x S, y S, z S)
son las tres componentes del momento lineal p mientras que t S es la energa
de la partcula. Por tanto las componentes covariantes y contravariantes del cuadrimomento son
E
E
p = ( , p) ,
p = ( , p) ,
c
c
por lo que
p = m u
lo que coincide con las definiciones anteriores.
La consecuencia de estos argumentos en que la energa sobre c y el momento
lineal forman un cuadrivector, llamado de energa-momento. En una transformacion de Lorents se cambia, pues, del modo
px vE/c2
0
p
px =
p0y = py
2
2
1 v /c
E vpx
p0z = pz , E = p
.
1 v 2 /c2
Debido a la identidad u u = 1 se cumple que
p p = m2 c2 ,
Antonio Fern
andez-Ra
nada 2005
3.3.
3.3.1.
Interacci
on a distancia e interacci
on por campos
interpuestos.
Tomaremos pues la siguiente expresion para la accion de una partcula con carga
e
Z 2
S=
mc2 d eA dx .
(3.15)
Antonio Fern
andez-Ra
nada 2005
(3.16)
v2
e + eA v
c2
(3.17)
(3.18)
37
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
P es el momento canonico y p el momento mec
anico. El Hamiltoniano vale
H =
X
k
= p
x k
L
L
x k
mc2
1 v 2 /c2
+ e
(3.19)
3.4.
1
(P eA)2 + e .
2m
(3.21)
Antonio Fern
andez-Ra
nada 2005
Entre una carga y un campo electromagnetico hay acciones mutuas (interacciones), de modo que el campo cambia el movimiento de la partcula (mediante
fuerzas) y, a su vez, el movimiento de la partcula modifica el campo (emitiendo
radiacion, por ejemplo). Debe ser as si la energa se conserva. Conviene empezar
por lo que se llama una partcula de prueba, cuya carga y energa son tan peque
nas
que su accion sobre el campo se puede despreciar. Un ejemplo es el de un electron en un campo macroscopico. Para estudiar el problema en esa aproximacion,
considerarremos variaciones de las coordenadas de la partcula en el lagrangiano
en (3.16), pero no del vector A (r, t).
Las ecuaciones de Lagrange son
d
L
L
=
,
dt vk
xk
(3.22)
con el lagrangiano L dado por (3.17). Notese que el segundo miembro es igual a
L = e(A v) e .
El gradiente del producto escalar de dos vectores arbitrarios esta dado por la
formula
(a b) = (a )b + (b )a + b ( a) + a ( b) .
38
B = A,
(3.24)
(3.25)
Antonio Fern
andez-Ra
nada 2005
A A .
(3.29)
39
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
3.5.
Invariancia gauge
Un problema que se plantea es decidir auales son mas importantes, los potenciales (, A) o los campos (E, B). A primera vista parecen mas fundamentales
los primeros, pues los segundos se deducen unvocamente de ellos y, ademas,
solo tiene cuatro grados de libertad en cada punto, por seis de los campos. Sin
embargo, lo que caracteriza al campo electromagnetico desde el punto de vista
experimental es su accion sobre las cargas y eso se lleva a cabo mediante los
campos electrico y magnetico. Un problema interesante en este caso es saber si
los potenciales estan unvocamente determinados por los campos. La respuesta
es no.
En particular, si se suman a los potenciales las derivadas de una funcion
arbitraria del espacio-tiempo, de modo que
f
,
(3.30)
x
los campos E y B no cambian, como se comprueba facilmente. Esta claro que tal
cambio equivale a a
nadir al integrando de la integral de accion una diferencial
exacta pues
f
e dx = d(ef ) ,
x
por lo que la accion cambia en la cantidad e[f (2) f (1)] que vale cero pues las
variaciones en los dos extremos del intervalo son nulas. O sea que la accion permanece invariante y nada cambia en el proceso fsico. Ademas es facil comprobar
que el cambio (3.30) equivale a
A A0 = A
1
t f,
A A0 = A + f ,
c
de modo que no cambian los vectores E y B.
Antonio Fern
andez-Ra
nada 2005
0 =
(3.31)
3.6.
El tensor electromagn
etico
310
+ eA dx + eA dx = 0 .
S =
m
d
1
A continuacion integramos los dos primeros terminos por partes, introduciendo
la cuadrivelocidad u = dx /d , con lo que llegamos a
S =
[(m u + eA )x ]21
Z
+
(m du x + e x dA eA dx ) = 0 . (3.33)
El primer termino del segundo miembro es clramente nulo, ya que las variaciones
x se anulan en los extremos del intervalo. Aplicando al resto las igualdades
A =
resulta
Z
1
A
x
x
dA =
A
dx ,
x
A
A
dx x
m du x + e x dx e
x
x
= 0.
m
u x d = 0 .
d
x
x
Como las funciones x son arbitrarias, se debe cumplir
A
A
du
m
=e
u .
d
x
x
(3.34)
Antonio Fern
andez-Ra
nada 2005
A
A
x
x
(3.35)
(3.36)
311
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
que el tensor electromagnetico vale (los ndices de filas y columnas son (0, 1, 2, 3))
0 Ex /c Ey /c Ez /c
0 Ex /c Ey /c Ez /c
E /c
E /c
0
Bz
By
0 Bz
By
x
F =
, F =
.
Ey /c
Ey /c
Bz
0
Bx
Bz
0 Bx
Ez /c
By
Bx
0
Ez /c By
Bx
0
(3.37)
En la notacion mas breve, usada en el captulo anterior
F = (E/c, B) ,
F = (E/c, B) .
Antonio Fern
andez-Ra
nada 2005
S = (m u + eA ) x .
(3.38)
Por tanto
S
= m u + eA = p + eA .
x
Como el primer miembro de esta ecuacion es el cuadrivector P de los momentos
conjugados de la partcula, resulta que este vale
Ecin + e
, p + eA .
(3.39)
P =
c
3.6.1.
T 0 = a a T .
(3.40)
x vt
,
1 v 2 /c2
= y,
z0 = z ,
t (v/c2 )x
= p
,
1 v 2 /c2
x0 2 = x2 ,
x0 3 = x 3
(3.41)
1
1v 2 /c2
v/c
v/c2
0 0
1v /c2
1
1v2 /c2 1v2 /c2 0 0
a =
0
0
1 0
0
0
0 1
(3.42)
Ax v/c2
A0x = p
1 v 2 /c2
A0y = Ay ,
A0z = Az ,
(3.43)
Antonio Fern
andez-Ra
nada 2005
Ex0 = Ex
Bx0 = Bx
Ez + vBy
Ey vBz
, Ez0 = p
Ey0 = p
2
2
1 v /c
1 v 2 /c2
By + vEz /c2
Bz vEy /c2
By0 = p
, Bz0 = p
1 v 2 /c2
1 v 2 /c2
(3.44)
(3.45)
Prueba.
En primer lugar veamos que las componentes F 01 y F 23 no cambian, o sea
que Ex , Bx son las mismas en los dos sistemas.
F 0 01 = Ex0 /c = a0 a1 F = (a01 a10 a00 a11 )F 01 = 2 ( 2 1)Ex /c = Ex /c ,
donde se ha usado (3.42). Analogamente para F 23 .
notas EDC (v. 15/marzo/2005)
313
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
Por su parte las componentes (F 02 , F 03 ) transforman como x0 y las (F 12 , F 13 ),
como x1 . Tambien se puede aplicar (3.40), por ejemplo
Ey0 /c = F 0 02 = a0 a2 F = (a00 a22 + a01 a22 )F 02 = (Ey /c + Bz ) ,
de lo que resulta la ecuacion (3.44), usando (3.42), y analogamente con las demas.
En el caso de que la velocidad entre los dos sistemas sea peque
na 1,
tomando hasta los terminos en , resulta
Ez0 = Ez + vBy
Ex0 = Ex
Ey0 = Ey vBz ,
Bx0 = Bx
B0 = B +
1
EV.
c2
(3.46)
3.6.2.
Antonio Fern
andez-Ra
nada 2005
F F ,
e F F ,
(3.48)
e F F = 4 E B/c .
(3.49)
3.7.
siempre. Esto implica que si E y B son perpendiculares en un punto del espaciotiempo de un sistema inercial, lo son tambien en el punto correspondiente de
todos los demas. Si tienen el mismo modulo, ocurre lo mismo. Igual sucede si
E/c > B, o si E/c < B.
Una u
ltima observacion es conveniente para lo que se tratara en el proximo
captulo. Teniendo en cuenta que c2 = (0 0 )1 , y recordando que las densidades
de energa electrica y magnetica son Ue = 0 E 2 /2 y Um = B 2 /20 , el primer
invariante puede escribirse en la forma
2
0 E 2
B
2
2 2
= 40 (Um Ue ) ,
(3.50)
F F = 2 (B E /c ) = 40
20
2
y por tanto su integral espacial es proporcional a la diferencia entre las energas
asociadas a los campos magnetico y electrico.
3.7.
mc2
1 (v 2 /c2 )
+ q ,
Antonio Fern
andez-Ra
nada 2005
py = 0 ,
px = qEt ,
py = p 0 .
la trayectoria,
315
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
y la energa cinetica de la carga,
q
q
2
2
2
4
2
Ecin = m c + c p0 + (cqET t) = E02 + (cqEt)2
donde E0 es la energa cinetica inicial. La velocidad verifica
v=
pc2
,
Ecin
por lo que
dx
px c2
c2 qEt
=
=p 2
dt
Ecin
E0 + (cqEt)2
dy
py c2
p0 c2
=
=p 2
dt
Ecin
E0 + (cqEt)2
(3.51)
(3.52)
E02
(cqEt)2
p0 c
y=
arcsinh
qE
cqEt
E0
.
(3.53)
Por simplicidad, se han tomado iguales a cero las constantes de integracion. Eliminando el tiempo entre las dos ecuaciones anteriores (recordando que cosh2 u
sinh2 u = 1), resulta como ecuacion de la trayectoria
x=
qEy
E0
cosh
,
qE
p0 c
(3.54)
Antonio Fern
andez-Ra
nada 2005
3.8.
3.8.
(3.57)
v x = vy ,
v z = 0,
(3.58)
qc2 B
.
E
(3.59)
vy = v0t sen(t + ) .
(3.60)
Antonio Fern
andez-Ra
nada 2005
r=
y = y0 + r cos(t + )
v0t
v0t E
= 2 .
qc B
(3.61)
(3.62)
(3.63)
La trayectoria es una helice cuyo eje pasa por (x0 , y0 ), es paralelo a B y cuyo
radio es r. Su paso de rosca es 2vz /.
En el caso no relativista, la frecuencia vale
=
notas EDC (v. 15/marzo/2005)
qB
.
m
(3.64)
317
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
3.9.
Consideramos ahora el movimiento de una carga puntual q de masa m, sometida a campos electrico y magnetico constantes y uniformes. Tomaremos solo el caso
no relativista en que la velocidad de la carga es peque
na, v c y el momento
lineal se puede aproximar como p = mv. Elegimos el eje z seg
un la direccion de
B, estando el campo E en el plano yz. Las ecuaciones del movimiento son
mv = q(E + v B
o sea
m
x = q yB
,
m
y = qEy q xB
,
m
z = qEz .
(3.65)
La solucion de la tercera es
z=
qEz 2
t + v0z t + z0 .
2m
(3.66)
(3.67)
Antonio Fern
andez-Ra
nada 2005
(x + iy)
= aeit +
Ey
.
B
(3.68)
Ey
,
B
y = a sen t .
(3.69)
Las constantes de integracion se han elegido de tal modo que, en el instante inicial,
la velocidad de la carga es paralela al eje y. Las dos componentes de la velocidad
son periodicas, siendo sus valores medios en el tiempo
hxi
=
318
Ey
,
B
hyi
= 0.
notas EDC (v. 15/marzo/2005)
Antonio Fern
andez-Ra
nada 2005
a
Ey
sen t +
t,
y=
a
(cos t 1) .
(3.71)
Ey
(1 cos t) ,
B
(3.72)
Si a = Ey /B, la solucion es
x=
Ey
(t sen t)
B
y=
319
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
Antonio Fern
andez-Ra
nada 2005
curva conocida como cicloide. Los otros casos corresponden a las llamadas epicicloide e hipocicloide.
320
3.10. Ejercicios
3.10.
Ejercicios
3.1 A partir de la expresion tridimensional del lagrangiano de una partcula cargada en un campo electrico, deducir el hamiltoniano siguiendo el mismo
metodo que el dinamica clasica.
3.2 Estudiar si la densidad legrangiana del campo electromagnetico es invariante bajo transformaciones de gauge y discutir las consecuencias de que lo sea o
no.
3.3 Estudiar la trayectoria de una carga puntual en un campo electromagnetico constante y uniforme cuyos vectores electrico E y magnetico B son
paralelos.
3.4 Existe la posibilidad de que un campo electromagnetico sea puramente
electrico en un sistema inercial y puramente magnetico en otro? Que condicion
debe cumplirse en un sistema S para que E = 0 en otro sistema S 0 .
3.5 En un cierto sistema de referencia S se tiene un campo electromagnetico
uniforme E, B. Se busca un sistema S 0 en el que E0 k B0 . Tendra siempre
solucion este problema? Si la tiene, es u
nica? En tal caso, hallar la velocidad v
0
0
0
de S respecto a S y determinar E y B .
3.6 En una onda electromagnetica progresiva en el vaco, el campo electrico
tiene la expresion E = E0 ei(kxt) uy .
a) Hay alg
un otro sistema de referencia en el que el campo sea puramente
electrico o puramente magnetico?
b) Encontrar alguna razon por la que la fase deba ser invariante.
Antonio Fern
andez-Ra
nada 2005
3.7 Una densidad lagrangiana empleada algunas veces para el campo electromagnetico es
1
1
A A + j A .
L=
2c0
c
Compararla con la estandar, usada en este curso, examinando bajo que condiciones conduce a las ecuaciones de Maxwell.
3.8 Por un conductor cilndrico infinitamente largo y de radio a fluye una
corriente I. De su superfice se desprende un electron cuya velocidad inicial v0 es
paralela al conductor. Estudiar el movimiento del electron en el campo magnetico
del alambre y hallar la distancia maxima a la que se alejara de este.
3.9 Una partcula de carga e y masa m se mueve en un campo electrostatico
de potemcial = k(x2 y 2 ), con k > 0. La posicion y la velocidad iniciales son
r0 = (x0 , y0 , z0 ) y v0 = (0, 0, v0 ).
notas EDC (v. 15/marzo/2005)
321
n lagrangiana de la electrodina
mica
Captulo 3. Formulacio
sica I
cla
a) Escribir las ecuaciones relativistas del movimiento.
b) Determinar la trayectoria en la aproximacion no relativista.
3.10 Un cierto selector de velocidades consiste en dos placas cilndricas muy
proximas, entre las que se aplica una diferencia de potencial constante V , con el
objeto de que las partculas cargadas describan una trayectoria curvada, de modo
que solo salgan del selector las que han entrado con la velocidad v0 . Como la
distancia d entre las placas es muy peque
na, el campo electrico puede suponerse
uniforme en modulo.
a) Escribir las ecuaciones relativistas del movimiento para una de las cargas
incidentes con velocidad v0 .
Antonio Fern
andez-Ra
nada 2005
322