TEMA IV: FORMULACIÓN COVARIANTE

DEL ELECTROMAGNETISMO
1. Introducción: Estado del conocimiento hasta Maxwell.
2. Postulados de Einstein (1905). Consecuencias.
3. Significado geométrico de las transformadas de Lorentz.
4. Transformación de Lorentz de un cuadrivector.
5. Relaciones tensoriales utilizadas en la TER.
6. Conservación del momento.
7. Fuerza de Minkowski.
8. Potencial cuadrivector.
9. El tensor electromagnético.
10. La fuerza de Lorentz en el vacío.
11. Descripción covariante de las fuentes en medios materiales.
1. Introducción: Estado del conocimiento hasta Maxwell
• Mecánica clásica (Newton, Galileo)
 No contiene constantes características
 Se puede escalar respecto a cualquier cantidad física
 Movimiento uniforme y NO movimiento son INDISTINGUIBLES: x '  x  vt ;
o Las leyes de la física son las mismas en S y S’. y'  y
o La escala de tiempo es universal  t=t’ z' z
t't

LAS LEYES DE LA MECÁNICA CLÁSICA SON INVARIANTES BAJO LAS TRANSFORMACIONES DE GALILEO

• Electrodinámica (Maxwell, 1865)

 Existe una constante característica c
 Las ecuaciones de Maxwell pueden ser escaladas en relación a la longitud y al tiempo
individualmente, pero no como la velocidad
 La ecuación de onda no mantiene su expresión formal al aplicar las transformadas de
Galileo  Existe un sistema privilegiado en el que la luz se propaga a velocidad c

ALTERNATIVAS
a) Existe un PPIO de relatividad para la Mecánica, pero NO para la Electrodinámica 
 Existe un sistema inercial privilegiado para la electrodinámica: “Sistema del ÉTER”
b) Existe un PPIO de relatividad para la Mecánica y la Electrodinámica 
 La Electrodinámica NO es correcta en la formulación de Maxwell
c) Existe un PPIO de relatividad para la Mecánica y la Electrodinámica 
 Las leyes de la Mecánica de Newton tienen que ser modificadas

La elección de estas alternativas se hace en base a experimentos

Categoría de experimentos
a) Enfocados a localizar un sistema de referencia inercial privilegiado para las leyes de
la Electrodinámica  -Michelson-Morley
BÚSQUEDA DEL ÉTER  -Trouton-Noble
- Lorentz
- Arrastre del éter
a) Enfocados a obtener modificaciones de las leyes de la Electrodinámica 
- Ritz
- Tolman
TEORÍAS DE EMISIÓN  -Thomsom
- Stewart
c) Enfocados a obtener modificaciones de la mecánica clásica

POSTULADOS DE EINSTEIN
2. Postulados de Einstein
1. Todos los sistemas inerciales son equivalentes con respecto a todas las leyes de la
física.
2. La velocidad de la luz en el espacio libre posee el valor constante c

SIGNIFICADO
Primer postulado
a) Un observador en reposo en un sistema S hace experimentos que conducen a
formular leyes físicas iguales a las que formularía otro observador situado en un
sistema S’ que se mueve respecto a S a una velocidad uniforme  MISMAS leyes
en S y S’
b) Imposibilidad de distinguir estado de reposo o movimiento absolutos en un sistema
de referencia inercial  SÓLO podemos detectar movimientos relativos
c) No existe ningún experimento que permita discernir un estado de reposo o de
movimiento de un sistema respecto a otro NO existe un sistema inercial
preferente TODOS los sistemas inerciales son equivalentes
Segundo postulado
La velocidad de la luz es independiente de la velocidad de la fuente de luz respecto al
observador:
 Consistente con las ecuaciones de Maxwell
 Confirmado experimentalmente: En 1964 Una fuente de mesones π neutros viajando a una
velocidad de 99,955% de la velocidad de la luz: La velocidad de los fotones emitidos hacia
delante fue de (2,9977±10-4 )x108 Valor en excelente acuerdo con los obtenidos de c de
fuentes en reposo
 Contrario al sentido común

CONSECUENCIAS
a) La simultaneidad depende del sistema de referencia

 A, B y C en reposo en S (Figura a)
 Desde B emisión de una señal en t=0 a velocidad c
x  xB  ct  A1 y C1 sucesos simultáneos en S
 A, B y C en reposo en S’ (Figura b)
 Exigimos que A’1 y C’1 simultáneos en S’ (no en S)
b) Dilatación del tiempo en un sistema impropio

Para un observador en S’ el intervalo de tiempo

2L
entre la señal emitida y la recibida es t ' 
c

Un observador en S’ ve

 vt 
2
2L / c
ct  2 L  2
  t  
 2  1 v / c
2 2

Este sistema S también es inercial ya que se mueve uniformemente respecto al S’ =>

la luz viaja en el a velocidad c
∆t’≡ tiempo propio en S’
 vt  t '
t  t '
2
2L / c
ct  2 L  
2
  t   t  ∆t ≡ tiempo impropio en S
 2  1  v2 / c2 1  v2 / c2

NOTA: Tiempo propio: tiempo transcurrido entre dos sucesos que ocurren
en el mismo punto.
c) Contracción de la longitud

S’ En S’ -> x’0 y en S -> x0

2x '0
Dt ' =
En S’ -> c (tiempo propio)
S t '
t 
En S -> 1  v2 / c2 (tiempo impropio)
v
IDA: S0M= S0M0 +M0M= x0  S0 M
c
(ya que M0M= vt y S0M=ct)
v
x0  MS 2
x x
VUELTA: MS2 = c
S0 M  0
1 
y MS2  0
1 

Entonces:
2 x0 t ' 2 x '0 / c 2 x '0 2 x0
t     
c(1   2 ) 1  2 1  2 c 1   2 c 1   
2

x0  x '0 1   2 ∆L(impropio) <∆L’(propio)

d) La longitud transversal al movimiento permanece inalterada
si el espacio es isótropo:
• Todos los desplazamientos transversales a la dirección
A
única definida por el movimiento relativo son
B
equivalentes.
•Las transformaciones adecuadas son igualdades: y=y’,
V ---> z=z’
De no ser cierto este razonamiento poseeríamos un
A B método para detectar los desplazamientos y movimientos
absolutos.

Consideremos dos reglas que en reposo miden lo mismo=> AA=BB

Sistema de referencia fijo respecto de la regla B => A se mueve a una velocidad v=cte hacia B.
Supongamos que A en su movimiento se contrae (para cualquier observador inercial que no esté en
A).
Cuando A pasa por B, el observador en B marca las marcas de A dentro de las marcas de B =>
AA<BB (para B). Este es un registro permanente. Incluso un observador fijo sobre la regla A, o sea,
un observador que viaja con ella, puede mirar hacia atrás, ver las marcas, y debe reconocer que A
es más corta (=> AA<BB para A).
Para un observador en A que se mueve con el sistema, quien se mueve es B. Si este observador
mira hacia atrás, comprueba que ¡B es más larga! Pero para A quien se mueve es B.
Violación del 1er postulado  existe una manera para detectar una propiedad del movimiento
absoluto
 e) Sincronización de relojes
En S’ dos relojes sincronizados, separados una distancia x’0 => x’0 cantidad propia en S’
En S un reloj que se mueve a velocidad v marca (t0 , t1 ) al pasar por los extremos de x’0
t t
t '1  t '0  1 0 tiempo impropio en S’
S’ 1  2
x’0
t1  t0  tiempo propio en S
v S

Un observador en S suponiendo un único reloj en S’ mediría: t '1  t '0

t1  t0 
1  2

¿Y si hay dos relojes?

El observador en S los verá además desfasados entre ellos una cantidad δ, es decir:
t '1  t '0  
t1  t0 
1  2
x’0 distancia propia en S’
Entonces tenemos:
t1  t0 x '0 x '0 1   2 x '0 / v  
 x '0 1   2   x '0  v 
t '1  t '0  t '1  t '0 
En S’ 1  2 
v v 1  2

t '1  t '0   x0  x '0 1   2 x '0 v

En S t1  t0    
1  2
c2
3. Significado geométrico de las Transformadas de
Lorentz
En t=t’=0, O≡O’

O O’
x - vt
x = vt + x ' 1- b 2 Þ x ' =
• El observador en S vería 1- b 2
• El tiempo t o t’ -> tiempo que ha pasado desde la coincidencia de orígenes
medidas en S
• Componentes ^ permanecen inalteradas y=y’, z=z’

• Para el tiempo: Para un observador en S, los dos relojes en S’ (que están

sincronizados en este sistema), estarán desfasados una cantidad d = DL2'v y
además retrasan 1/ 1- b 2 c

t '+ x 'v / c 2 x - vt
• Combinando ambos efectos tenemos t= que sustituyendo x' =
1- b 2 1- b 2
nos da t - xv / c 2
t' =
1- b 2
 La primera consecuencia de estas transformaciones es el invariante:

x 2  y 2  z 2  c 2t 2  x '2  y '2  z '2  c 2t '2

 Representa una esfera de radio ct en S y ct’ en S’. Si una señal luminosa se propaga
en todas las direcciones con velocidad c desde O en t=0 (como se observa en S),
entonces una señal luminosa se propagará en O’ en todas las direcciones con
velocidad c en t’=0 => las transformaciones están de acuerdo con el primer
postulado.

NOTA: La física pre-relativista (ec. de transformación de Galileo) no satisface este

invariante: el intervalo espacial y temporal entre dos sucesos son invariantes
independientemente x 2  y 2  z 2  x '2  y '2  z '2
t t'
 Se define el intervalo diferencial espacio-tiempo entre dos sucesos:
dS 2  c 2 dt 2  dx 2  dy 2  dz 2
a) dS2 >0 => c dt  dx  dy  dz
2 2 2 2 2
=> Existe en S dos sucesos en el mismo
punto en dos tiempos distintos  El intervalo espacio-tiempo se reduce a un
intervalo temporal
b) dS2 <0 => c dt  dx  dy  dz
2 2 2 2 2
=> Existe en S dos sucesos simultáneos
en dos puntos distintos  El intervalo espacio-tiempo se reduce a un intervalo
espacial
 Las transformadas de Lorentz forman grupo conmutativo
Tres sistemas: S, S’ y S’’ con velocidades paralelas
β3 velocidad de S’’ respecto a S

β1 velocidad de S’ respecto de S 1   2
3 
β2 velocidad de S’’ respecto de S 1  1 2

a) Representación imaginaria de las transformadas de Lorentz

x1  x; x 2  y; x3  z; X  ict ; dS  idS
dS 2  (dx1 ) 2  (dx 2 ) 2  (dx3 ) 2  (dX 4 ) 2
Transformaciones de
Lorentz dejan a dx2 y dx3
dS 2  (dx1 ) 2  (dX 4 ) 2 inalteradas

dS2 es invariante bajo rotaciones de los ejes y traslaciones del origen en el plano x1 - X4
 • Rotación θ de los ejes complejos:

X4
X’4 x '1  x1 cos   X 4 sen Si   i y teniendo en
P
X '4   x1sen  X 4 cos  cuenta que cos(i )  ch
isen(i )   sh
x’1
x '  x(ch )  ct ( sh )
Llegamos a: T. Lorentz
ct '   x( sh )  ct (ch )
x1 con:
tgh  
sh   / 1   2
Conclusión: Las T. de Lorentz es una rotación en el
espacio x1 , x2 , x3 , X4 ch  1/ 1   2

Ventaja: La coordenada espacial y la temporal son

equivalentes

Inconveniente:
a) Artificial desde el punto de vista físico
b) No va a servir para la Relatividad General
 x1  x; x 2  y; x3  z; x 4  ct
• b) Representación real de las T. de Lorentz
dS 2  (dx1 )2  (dx 2 )2  (dx3 )2  (dx 4 )2

Ventaja:
a) Da sentido físico a las T. de Lorentz (dilatación, contracción…)
b) Utiliza formulación covariante válida en R. G.

Inconveniente:
Más difícil matemáticamente

En general:
Las T. de Lorentz son transformaciones lineales en el espacio cuadridimensional
que dejan a dS2 invariante
CARACTERÍSTICAS

x’4 1. La trayectoria de un suceso viene dada por la

x4 “línea del universo” en el diagrama de Minkowski
2. La trayectoria del rayo de luz es la bisectriz x1 = x4
3. Mediante las T. de L. los ejes se transforman en x’1
x’4 la inclinación de los ejes la determina la
P’ x’1
velocidad
4. La métrica en este espacio real viene dada por la
familia de hipérbolas:
O P x1
( x1 )2  ( x4 )2  ( x '1 )2  ( x '4 )2  cte  dS 2
Si cte=1 hipérbola unidad utilizada como patrón
Ejemplo
Ejes en S’
Simultaneidad
x’ si ct’=0 c(t-xv/c2)=0
En S’ P’ es simultáneo con O
ct= (v/c)x
En S ocurre un tiempo t=x4 /c =PP’/c después
ct’ si x’=0 x-vt=0
ct=(c/v)x
 x4 x’4
Contracción de Lorentz:
x’1
P’
OP’ en reposo en S’ (PP’// Ox’4 ) O y P’ simultáneos en S’
O P OP’ en movimiento en S’ O y P simultáneos en S
x1

La hipérbola (x1 )2 - (x4 )2 = (l)2 = (x’1 )2 - (x’4 )2 = (OP’)2

OP<l

Dilatación del tiempo:

Un reloj en reposo en S’ => x’=t’=x=t=0

R
Ot’ tiempo propio en S’ => O y t’ no
están en el mismo punto espacial en S. t t’

El punto considerado simultáneo con t’

en S será t (tt’//x1 ). O
Por la métrica hiperbólica Ot=OR =>
Ot>Ot’
• El diagrama de Minkowski muestra la simetría entre S y S’ a pesar de la aparente
asimetría de la contracción de Lorentz y la dilatación del tiempo.

• Si S fuera el sistema propio para l y t entonces PP’// Ot y tt’//OP’ Relaciones

inversas de contracción y dilatación
• Una transformación de Lorentz con β>1 es complejo y físicamente imposible
Los ejes (‘) no pueden pasar la línea x1 =±x4 que es un cono en 4D (CONO de LUZ)

Si dS2 =(dx4 )2 -(dx1 )2 >0 => Intervalo

temporal FUTURO

Si dS2 =(dx4 )2 -(dx1 )2 <0 => Intervalo

espacial PASADO

Los sucesos fuera del cono de luz están

separados espacialmente del observador
y se pueden transformar en uno u otro
mediante rotaciones y traslaciones
La explosión del Sol y los conos de luz
• Cualquier evento (la explosión del Sol
mirando por la ventana) es un punto de
espacio y un tiempo con dos "conos de luz"
asociados. Uno representa la luz viajando
hacia este suceso a través del espacio y del
tiempo, y el otro representa la luz en
dirección contraria. Ver el Sol explotar en
ese momento, significaría apartarnos de
nuestro cono de luz y movernos más
deprisa que la velocidad de la luz, algo que
no está permitido en nuestro universo.
• "El límite de velocidad cósmico es el que
evita que algunas partes en el espacio y un
tiempo sean accesibles", dice Schulman
(Univ de Clarkson en Nueva York). Rompe
la simetría entre el tiempo y el espacio, y
esto significa que vemos que en la
información fluye continuamente en lo que
llamamos tiempo desde el pasado hacia el
futuro.
• La TER puede ser aplicada a otros campos de la física mediante:

a. Experimentos: utilizado en colisiones

b. Obtención de relaciones de transformación de cantidades físicas mediante las T. L.

muy tediosa. Utilizada por Einstein en su trabajo original para obtener las
ecuaciones de transformación para los campos em

c. Reescribir las ecs. en una “forma” en la cual se haga evidente como deben
comportarse las magnitudes bajo cambios de referencia inercial Si una
ecuación tiene una forma que es invariante a los cambios de referencia Un
experimento basado en esta ecuación NO debería dar un resultado dependiente
de un sistema particular. La ecuación describe un fenómeno en consonancia con la
TER. Una ecuación escrita de esta manera según la cual su forma es independiente
de la elección del sistema inercial se denomina covariante de Lorentz
4. Transformaciones de Lorentz de un cuadrivector
Un suceso P: P(x, y, z, t) en S y P(x’, y’, z’, t’) en S’ x j  ( x1 , x 2 , x3 , x 4  ct )
y y’ P x 'i  ( x '1 , x '2 , x '3 , x '4  ct ')

x’
z
S z’ S’
æ g 0 0 -bg ö÷
La transformación de un sistema en otro viene dada por:
x 'ï  Qij x j ç
ç 1 0 0 ÷
Q ij = ç 0
Matriz de ç 0 0 1 0 ÷÷
Explícitamente ç -bg 0 0 g ÷ø
transformación è
 1 x1  vt 
 x'  
 x '1    0 0     x  
1
1  2 
 2   
 x'    0 1 0 0   x 2   x '2  x 2  v
 
 x '3   0 0 1 0   x3   x '3  x3 
 4    
 x '     0 0    x 4   t  vx1 / c 2 
t '  
 1   
2 S S’

Inversamente:
  0 0   v
 
0 1 0 0 
x j  (Qij )1 x 'i (Q j )  
i 1
 0 0 1 0 
  S S’
  0 0  
• Definición : Cualquier cantidad Aj o Bj es covariante de Lorentz si bajo un cambio
de sistema inercial se transforma como :

A 'i  (Qij )1 Aj o como B 'i  (Qij ) A j

• Ai cuadrivector “covariante” Bj cuadrivector “contravariante”

• Las matrices de la transformación cumplen la propiedad (Qij )1 (Qij )   ki

1 0 0 0
 
0 1 0 0
siendo k  
i
la matriz identidad en 4D
0 0 1 0
 
0 0 0 1

• En las transformadas de Lorentz de la TER Qij coeficientes constantes

Qij independiente de las coordenadas
• En la TG los coeficientes dependen de las coordenadas La generalización eni
x '
analogía con x '  Q j x de un elemento diferencial se transforma : dx 'ï  j dx j
ï i j
x
donde las componentes covariantes y contravariantes se transforman:
x j x 'i j
A 'i  Aj B'  j B
ï

x 'i
x
5. Relaciones tensoriales utilizadas en la TER
• Definición: Un tensor es toda cantidad que mantiene por si misma propiedades de
transformación definidas, cuando las coordenadas experimentan una
transformación de Lorentz.
1. Invariante o escalar : Tensor de rango cero (tensor más sencillo) ejemplo:
el ya visto del diferencial del intervalo
dS  c dt  dx  dy  dz
2 2 2 2 2 2

2. Cuadrivector : Tensor de rango uno (covariante o contravariante)

3. a) Tensor contravariante de rango 2: 16 números que se transforman como
T 'kl  Qik QljT ij
o sea como el producto de dos vectores contravariantes

b) Tensor covariante de rango dos: 16 números que se transforman como

T 'kl  (Qik )1 (Qlj )1Tij

o sea como el producto de dos vectores covariantes
 c) Tensor mixto de rango 2, se transforma :
T 'k l  (Qlj )(Qik )1Ti j
o sea como el producto de un contravariante por un covariante

4. Cualquier cantidad del tipo T 'k1 l1 k2 l2 k3 l3 ......km ln se transforma

T 'k1 l1 k2 l2 k3 l3 ......km ln  (Qil11 )(Qil22 )......(Qilnn )(Qkj11 )1 (Qkj22 )1....(Qkjmm )1Tj1 i1 j2 i2 j3 i3 ...... jm in

es decir, como producto de componentes de cuadrivectores contravariantes por

covariantes

• El producto de tensores m y n es un tensor de rango (m + n)

• La suma o diferencia de tensores del mismo rango es un tensor del mismo rango

• En nuestras aplicaciones físicas raramente encontraremos tensores de rango

mayor que 2
Propiedades de los tensores

1. Contracción
Si un tensor mixto tiene un índice covariante igual a uno contravariante implica
una suma que reduce el rango en 2.

Ejemplo: La contracción de Tj i  Ti i invariante

Contracción del vector gradiente (tensor de rango 2) divergencia (tensor de rango 0)
si l1 = k3
Tk1 l1 l2 l3 l4 Tk1 l2 k2 l3 l4
k2 k3
2. Elemento de Línea (en forma covariante)
El elemento de línea en TER es un invariante escalar dS  c dt  dx  dy  dz
2 2 2 2 2 2

Se puede reescribir como dS 2  gij dxi dx j con dxi  dx j  (dx, dy, dz, cdt ) y
 1 0 0 0
 
0 1 0 0
siendo gij   el tensor métrico
 0 0 1 0
 
0 0 0 1

gij  g ji gik g kj  gij   i j Delta de Kronecker en 4D

1 i j
i   
j i
(tensor mixto de rango 2)
g ij  gij g ik g kj  g ij   ij 0
j
i j
 3. Transformación de componente CONTRA a CO

Bi  gij B j cambio de signo en las 3 primeras componentes

Si Bi  dxi y B j  dx j obtenemos

dxi  gij dx j  dxi dxi  dxi ( gij )dx j  dx2  dy 2  dz 2  c2dt 2  dS 2

dx i dxi  dS 2
es decir

4. Derivada de un tensor
  x j  
Como   i la derivada de un tensor de rango n
x 'i  x 'i  x tensor de rango (n+1)

Ejemplos: T 0
El gradiente de un escalar T0 es un vector covariante  Ti El incremento
i
x
del escalar se puede poner en notación tensorial (propiedad 1) T 0 i
dT  i dx
0

x
• Similarmente si Tk es un vector contravariante 
T k
es un tensor mixto de orden 2
x i
i
T
• La cuadridivergencia de Ti  es un invariante escalar
xi

T i
5. Teorema. Si  0 y las componentes de Ti ≠ 0 sólo en una región finita del espacio,
x i

entonces I   T 4 d 
es un invariante  I  T '4 d '
T ij
  d
j 4j
• Análogamente con Tij Si  0 entonces B T es un cuadrivector
x i

• T i T
y i
ij
son las “leyes de conservación”
xi x

6. Simetría de índices

Tensor simétrico: intercambio de i j las componentes quedan sin variación

Tensor antisimétrico: Si al cambiar i con j el tensor cambia de signo

Todas las propiedades de simetría son invariantes bajo una

transformación de coordenadas
 Las relaciones covariantes en física se generalizan de tres formas

a) Se conoce la relación en el sistema propio mediante una ecuación

tensorial se puede conocer en cualquier sistema ( y que tenga como caso
particular la ecuación en el sistema propio).

b) Una relación tensorial conocida se convierte en una nueva ecuación tensorial

mediante una operación tensorial covariante (multiplicación, contracción,
diferenciación, etc).

c) Una relación en un sistema determinado se transforma a cualquier sistema

mediante la transformación directa.
 6. Conservación del momento
• En física pre-relativista p  mu
dr
• En TER: La velocidad u  no es la parte espacial del cuadrivector velocidad
dt
porque dt no es un invariante

• Pero dr es la parte espacial del cuadrivector dxi  (dr , cdt )

dxi cuadrivelocidad
por el elemento de línea dS , obtenemos: u  dS
i i
• Si dividimos dx covariante

• dS es un intervalo de tiempo propio multiplicado por c

dS  c2dt 2  dr 2  cdt 1  dr 2 / c2dt 2  cdt 1  u 2 / c2

dxi dr , cdt dr , cdt  1 dr 1 cdt 
por tanto: u  ( ) 
i
, 
dS dS cdt 1  u / c
2 2
 c dt 1  u / c cdt 1  u / c 
2 2 2 2

 u 1 
ui   , 
  (magnitud adimensional)
 
2 2 2 2
c 1 u / c 1 u / c
Nota: Otros autores u  ( u ,  c)
i
Para la construcción de cuadrivectores
hay que asegurarse que los diversos miembros de la matriz tengan las mismas
dimensiones. Esto se consigue utilizando potencias de c

• Momento covariante : La expresión covariante correspondiente al momento lineal

se obtiene multiplicando la cuadrivelocidad por un invariante característico de la
partícula, m0c2, donde m0 es la masa en reposo, o sea, la masa medida en el
sistema propio de la partícula: i
dx 2 (con dimensiones de energía)
pi  m0c 2u i  m0 c
dS
• La conservación del momento en su formulación covariante para dos partículas
interactuando en un punto es:

p1i  pi 2  cte  m1u1  m2u2 (clásica)

• Esta discusión se restringe a una “interacción directa” porque:

a. El momento total de dos partículas separadas en un tiempo t no tiene
significado en la TER
b. Todas las interacciones se propagan a velocidad finita
 Por tanto, el intercambio de momento entre partículas que están separadas
tiene significado, sí y sólo sí, cada partícula conserva el momento actuando sobre ella,
o si la interacción se produce mediante una partícula que interactúa en sucesión con
las dos partículas.
• Las componentes del cuadrimomento son:
 m0cu m0c 2  m0
p 
i
,   (cmu , mc ) con
2
m
 1 u / c
2 2
1  u 2 / c2  1  u 2 / c2

Por tanto, si queremos que a) la ley de conservación del momento se mantenga

en su forma clásica y b) que sea covariante de Lorentz La masa de las partículas
no puede ser un invariante, si no que dependerá de su velocidad en el sistema de
referencia particular La variación de la masa con la velocidad es una consecuencia
inmediata de formular la ley de conservación del momento en su forma covariante.

7. Fuerza de Minkowski

• Las ecuaciones de la dinámica que son invariantes respecto de las transformaciones

de Galileo, no poseen las propiedades de invarianza con respecto a las de Lorentz.
• Una generalización relativista natural de las ecuaciones de la dinámica de Newton son
dpi d
las ecuaciones: 
dS dS
 m0c 2u i   F i

NOTA: El carácter invariante (relativísticamente) de esta ecuación se sigue de que el 1er y

el último miembro figuran vectores 4-dimensionales que en una rotación en el espacio
de 4D (transformadas de Lorentz) varían de acuerdo a la misma ley, y el escalar m0c2 no
cambia. En componentes:

dp1 m0c 2ux

F 
1

1 d
dS c 1  u 2 / c 2 dt
 m0c u  
2 1 1 d
( )
Fx
c 1 u / c
2 2 dt
c 1 u / c
2 2
1  u 2 / c2
2
1 d m c uy Fy Fz
F 
2
( 0
) F3 
c 1 u / c
2 2 dt
c 1 u / c
2 2
1  u 2 / c2 1  u 2 / c2
dp
• Fx, Fy y Fz son las componentes 3D de la fuerza F
dt
• Veamos el significado de la cuarta componente:
dp 4 1 d m0c 2 1 d (mc 2 )
F 
4
 ( )
dS c 1  u / c dt 1  u / c
2 2 2 2
1  u 2 / c 2 cdt
 i i
dp dp d du
Además u i i  ui  ui (m0c 2u i )  m0c 2ui  m0c 2ui Ai
dS dS dS dS

Pero ui Ai  0 , entonces u i Fi  ui F i  0  u4 F 4  (u1F 1  u2 F 2  u3 F 3 ) 

1 1 d (mc 2 )  ux Fx u y Fy uz Fz 

( )     
1 u / c
2 2
1 u / c
2 2 cdt  c( 1  u / c ) c( 1  u / c ) c( 1  u / c ) 
2 2 2 2 2 2 2 2 2

d d  m0c 2  dE
u  F  (mc )  
2
  E  mc 2
dt dt  1  u 2 / c 2  dt

d  m0c 2  dE
   E  mc 2
Potencia Energía dt  1  u 2 / c 2  dt
dE dp 4
  p4  E
dt dt
Por tanto: dp 4 d (m0c 2 / 1  u 2 / c 2 ) dmc 2 F u / c
F 
4
  
dS cdt 1  u 2 / c2 cdt 1  u 2 / c 2 1  u 2 / c2

 F F u / c 
F i
, 
 1 u / c 1 u / c 
2 2 2 2
Relación entre energía, momento y masa

• La forma relativista de la conservación del momento implica no sólo la conservación

de las tres componentes espaciales de pi , sino también la cuarta

m0c 2
p 
4
 mc 2   pi  (cp, mc 2 ) 
1  u 2 / c2
Además, acabamos de ver en el desarrollo dela 4ª componente de la fuerza que
E=mc2=p4

a) Masa y energía son conceptos intercambiables

b) Ni masa ni energía son invariantes: sus magnitudes dependen del sistema del
observador
c) La expresión E=mc2 ha sido demostrada experimentalmente
• Para u<<c E Eclásicacinética +Ereposo

 1   1  u 2 3  u 4  1
E  m0c 
2
  m0 c 2
 1        ......  m0 c 2
 m0u 2  ....
 1 u / c
2 2
  2  c  8  c   2

• En general, la mecánica relativista se reduce a la mecánica Newtoniana para

velocidades pequeñas
• En relatividad, la conservación de la energía y la conservación del momento no
son principios independientes
• El invariante asociado con el cuadrivector energía-momento p  (cp, mc ) es:
i 2

 cp 
pi pi  (cp, mc 2 )  2   E 2  c 2 p 2   m0c 2 
2

 mc 
invariante s. arbitrario s. Propio

• El cuadrivector energía-momento se transforma como cualquier otro

contravariante p 'i  Qij p j es decir:

 p '1    0 0     p1  p '1   p1   p 4 
 2    
0   p2  p '2  p 2 
 p'    0 1 0  
 p '3   0 0 1 0   p3  p'  p
3 3

 4     p '    p   p  4
0 0    p 4 
4 1
 p '    

cpx   E   cpx  E
cp 'x  , E'  , p 'y  py , p ' z  pz
1  2
1  2

• Una transferencia en ENERGÍA Transferencia de MASA y MOMENTO

Ejemplo: Si E es la energía del sistema propio S pi = (0,E) en S’ tenemos

Se asocia un momento con

 E E vE '
cp 'x  y E'  p 'x  2 cualquier agente que
1  2 1  2 c transmita energía

EN GENERAL: Si un cuerpo absorbe energía, el momento del cuerpo se incrementa y para

conservarse, se asocia una densidad de momento g por u d v con cualquier agente que
transmita energía S por u d s en una dirección dada siendo g=S/c2 (de acuerdo con la
presión de radiación y con el balance de momento visto en capítulos anteriores)

8. El potencial cuadrivector

• Las T. L. se introdujeron para poder explicar la propagación de ondas em en diferentes

medios
• La ec. homogénea que gobierna la propagación de o.e.m. está en forma covariante ya
que
1 2  
  2 2  
2
 invariante
c t xi x i
• En general, las ecs. de Maxwell y sus consecuencias conducen por si mismas a una
descripción covariante simple (no se necesita hacer modificaciones en las leyes de la
electrodinámica para que estén de acuerdo con los requerimentos de la TER)

• La formulación covariante de las coordenadas espacio-tiempo en las ecuaciones

pone automáticamente el resto de las ecuaciones en forma covariante.

• En relatividad, densidades de carga y corriente son dos aspectos del mismo

fenómeno:

dxi 0 dxi   1 dr c 
j  0
i
  0 , 
dS c 1  u 2 / c 2 dt c  1  u 2 / c 2 dt 1  u 2 / c 2 
 u  0 d.c. en un sistema
 j i    ,   donde   y ρ0 d.c. propia que las cargas están
 c  1  u 2 / c2 en reposo

• La ecuación inhomogénea de onda se obtiene directamente:

   /  0 ji
  donde   (cA,  )
i i
(cA)   u / c 0 0
• Los potenciales escalares y vectoriales también son dos aspectos del mismo fenómeno
Tb. los campos E y B
¶r j i
• La ec. de continuidad es: ÑJ + =0 0
¶t x i

1   i
• La condición de Lorentz: A  2
c t
0 0
x i

A '  A   
• Las transformaciones gauge:  i '  i  i (c )
' 
t
x
0
• Invarianza de la carga: dq '   ' dx ' dy ' dz '  (dx 1  u 2 / c 2 )dydz  0 d 0  dq0
1 u / c
2 2

q '  q0 La carga del e- es una constante

universal en la TER
• Potencial producido por una carga (e- )

 Sea e una carga puntual en su sistema propio

ji
 La integral de la ecuación inhomogénea de onda  
i
en su sistema propio
es 0
 
 i 0   0,
e 
 ya que f i = ( cA, f )
 4 0 r0  (xj )2
r0
 El potencial en (xj )2 se mide en un tiempo retardado e
(xj )1
 r 
R0j  ( x j )2  ( x j )1  (r0 , ct0 )  (r0 , r0 )  R0j R0 j  (r0 , r0 )  0   0
 r0 
Teniendo en cuenta que
æ u 1 ö
u j = çç , ÷÷
è c 1- u 2 / c 2 1- u 2 / c 2 ø
u j R j  u0j Roj  r0 con u0j  (0,1)
R j  (r , r )

 El potencial en su sistema propio se puede poner en función de los invariantes como:

e  u0i  Por lo que en un sistema e  ui 
 
i
    i
 
4 0  u0j R0 j 4 0  u j R j
0
arbitrario será
 

Explícitamente el potencial φi será:

Potencial e æ u 1ö r iu
f i
= ç , ÷ siendo s=r-
Liénard-
Wiechert
4pe0 è cs s ø c
9. El tensor campo electromagnético
• Al derivar los campos de los potenciales en forma covariante surge un problema:
E y B NO son vectores del mismo tipo.
• Un vector polar es el prototipo de vector ordinario como desplazamiento de un
punto en el espacio (u, F, E, D...)
• El producto escalar de dos vectores polares no se altera por transformaciones
ortogonales de las coordenadas (traslaciones, rotaciones y reflexiones ), pero si un eje
coordenado, o todos, cambian de signo, las correspondientes componentes del vector
también lo hacen.
• No ocurre lo mismo con el producto vectorial (su definición depende del sentido
de A x B).
• Un vector axial es el que se transforma como un producto vectorial (L, B, H, M…).
Se transforma como vector ordinario para traslaciones y rotaciones de sistemas
coordenados, pero para reflexiones de los ejes, el signo entre el vector axial y otro
polar se invierte.
• El producto escalar de un vector axial por uno polar es un pseudoescalar, ya que
cambia de signo bajo inversión de ejes.
• Las relaciones vectoriales con sentido físico igualan vectores del mismo tipo.
• Los vectores axiales no pueden formar parte de las componentes de un
cuadrivector.
• En general, si C = A x B => Cαβ=AαBβ –AβBα =-Cβα siendo
 0 cz c y 
 
c12  c21  cz c23  c32  cx c31  c13  c y c   cz 0 cx 
c cx 0 
 y

B E E B

• La 3ª de Maxwell:  E   sería   
t x x  t

A A
• B   A será   B
x x 
A  A
• E    será E   
t x 
t

• De las dos últimas, se introduce el tensor campo Fij cuadridimensional

(antisimétrico) como función de  i  cA,    definido como:

 j
  j  i
Fij  i  ij o F  ij

x x xi x j
  0 cBz cBy  Ex   0 cBz cBy Ex 
   
cBx Ey  cBz 0 cBx Ey 
Fij  
cBz 0 o F 
ij

 cBy  cBy cBx 0 Ez 

cBx 0  Ez   
 
  Ex Ey  Ez 0 
 Ex Ey Ez 0 

Con F ij  g in g jm Fnm
 E F ji j i
• La 1ª y la 4ª de Maxwell E   B  0 ( u   0 )   (I)
0 t x j
0
B Fij Fjk
Fki
• La 2ª y la 3ª : B  0  E    k  i  j  0 (II)
t x x x * (64 =43 ecuaciones)

*Los términos son cero a no ser que i  j  k. La permutación de los índices no cambia
el contenido. Sólo 4 ecuaciones son no triviales y distintas. Esta ecuación (II) puede
ponerse como la (I) teniendo en cuenta que es un tensor antisimétrico de rango 3.
Definimos un tensor antisimétrico de rango 4 pijkl de la siguiente manera:

 Sus componentes =0 no ser que i  j  k  l

Pijkl =-pijkl =  Sus componentes ±1 según si ijkl es permutación par o impar
 Se transforma como un tensor bajo traslaciones y rotaciones, pero no
bajo reflexiones o inversiones: Cambiando el signo de los ejes
coordenados un nº impar, las componentes no cambian.
 • El pseudotensor formado por la multiplicación del tensor campo y el pijkl es su dual

 0  Ez Ey cBx 
  F ij  G ij
Ez 0  Ex cBy 
G  p Fkl  
ij 1 ijkl
2  Ey Ex 0 cBz  cB  E
 
 cBx cBy cBz 0  E  cB

G ij
• Así (II) se puede poner como (I): 0 Ventaja: permite la introducción de los polos
x i
magnéticos y la corriente de los polos si existen.

• La expresión tensorial para los campos permite la obtención de los campos después de

una transformación de Lorentz de F 'ij  Qki Ql j F kl se obtiene:

E'  E B'  B


E '   E  v  B  
B '   B  v  E / c 2 
Donde E y E son las componentes paralelas y perpendiculares a la velocidad.
Explícitamente: E 'x  Ex B 'x  Bx
E ' y    E y  vBz  B ' y    By  vEz / c 2 
(*) (**)
E 'z    Ez  vBy  B 'z    Bz  vE y / c 2 

• Los términos lineales en v (excepto ϒ) son clásicos, es decir, se describen mediante las
ec. de Maxwell sin argumentos relativistas :
 La ec. (*) corresponde al hecho de que hasta el orden β2 una partícula que se
mueve relativa a un campo magnético experimenta un campo eléctrico E + v x B
INDISTINGUIBILIDAD
 Explicación de (**):
Consideremos el flujo eléctrico a través de un rectángulo que se mueve en la región
d d
donde hay un campo eléctrico: dt dt 
  
Eds   E v  dl    v  E dl  
 E 
  v  E  dl   I
1 d 1
En S’  B ' dl   B ' ds   0 
 j   0 
t 
ds 
c 2 dt 
Eds   0 I  
c2
0

En S  Bdl   I0
1
comparando B y B’ B  B ' vE
c2
10. La fuerza de Lorentz en el vacío
• La fuerza de Lorentz por u. d. v. es f   ( E  u  B) que es la parte espacial de un
 u f 
cuadrivector : f i  F ik jk   f ,  La 4ª componente es 1/c veces
 c  la potencia desarrollada por E
Transformación de la fuerza e.m.

Sistema S0 se mueve a velocidad v paralela al eje X de un sistema S

F  F0
 La fuerza en S0 es F0   qE0  Las transformaciones de las fuerzas
F   1F0

electromagnéticas cumplen las mismas reglas que las fuerzas mecánicas El equilibrio
entre las fuerzas eléctricas y las fuerzas mecánicas es invariante a la elección del sistema
La naturaleza de la fuerza no afecta a sus transformaciones propias .

• La ecuación del movimiento de una partícula q en un campo e.m. es

que es la parte espacial
de la ec. covariante:
 
dpi dp d  m0u
 
i
2 du F    q E uB
F 
i
 m0c  qF ik uk dt dt  1  u / c  
2 2 1/2

dS dS  
11. Descripción covariante de las fuentes en m. materiales
• Para este caso ji puede tener 4 componentes no nula en el sistema propio:
 j   j0 
• Para otro sistema: ji   ,   j   , 0 
0i

c   c 
• En general: j i   Qij  j 0i
jx    jx0   0 v  (1)
• Desarrollando:
     0  jx0 v / c 2  (2)

• (1) contiene la corriente convectiva debido al transporte de carga y el factor de

contracción que asegura la invarianza de la carga.

• (2) Una substancia que lleva una corriente que es eléctricamente neutra (  0  0 ) en
el sistema propio, no permanece neutra cuando se observa desde otro sistema inercial.

• Una consecuencia de este efecto (resultado de la diferencia de simultaneidad en S0 y

S) es que una corriente estacionaria (neutra y cerrada) en S0 adquiere un momento
cuando se observa en S.
Ecuaciones del campo en un medio material

• Podemos obtener las ecuaciones del campo en un medio materia si

dividimos el cuadrivector densidad en componentes reales y de magnetización-
polarización Las fuentes de las ecs. de Maxwell son:

  *
E 
0 F il j  jmp
l l

 i 
 E P  x 0
  B  0  jreal   0  
 t t 

• Interesa poner los campos en función de fuentes reales introduciendo las

fuentes de magnetización y polarización en los campos. Para esto se introduce
el tensor magnetización como:
M il  jm  j p *     M 1 P 
jmp 
l
con jmp  
l
,    , P  y
x i  
 c   c c t 

 0  M z / c M y / c  Px 
 
M / c 0  M / c  P
M  
ij z x y
 M y / c M x / c 0  Pz 
 
 Px Py Pz 0 
 H / c 0  cB  M / c 0
• Recordando que E / 0  E  P / 0

H ij M ij
se introduce un nuevo tensor campo Hij definido como F 
ij

0 0

H ij
y los campos en función de las fuentes reales, vienen dadas por  ji
x i

 0  H z / c H y / c Dx 
 
 Hz / c 0  H x / c Dy 
con H 
ij
 H y / c H x / c 0 Dz 
 
  Dx  Dy  Dz 0 