Vous êtes sur la page 1sur 7

Tarea 3 - Relatividad

Santiago Alberto Lancheros, Stephanie Carolina Cely, Angie Gómez Fonseca

Universidad Nacional de Colombia

Profesor Eduardo Antonio Rodrı́guez Salgado

– de Octubre de 2018

1. Definamos entonces ê como ê = (ωx , ωy , ωz ), que como indica su notación es unitario,


y a J~ como J~ = (Jx , Jy , Jz ). Entonces ê · J~ es
 
0 ωz −ωy
ê · J~ = ωx Jx + ωy Jy + ωz Jz = −ωz 0 ωx  (1)
ωy −ωx 0

~ Por otra parte, la definición


Donde por simplificar la notación, definiremos ω̂ := ê · J.
de la exponencial de operadores (en este caso matrices) es:

~ = exp(θω̂) = 1 + (θω̂) + 1 (θω̂)2 + 1 (θω̂)3 + · · ·


exp(θω̂ · J) (2)
2! 3!
Es decir, una definición análoga a la expansión en series del exponencial de reales. Si
calculamos algunas potencias de θω̂ tenemos:

1
Relatividad Tarea 3

   
0 ωz −ωy 0 ωz −ωy
(θω̂)2 = θ2 ω̂ 2 = θ2 −ωz 0 ωx  · −ωz 0 ωx 
ωy −ωx 0 ωy −ωx 0
 2
−ωz − ωy2

ωx ωy ωx ωz
2 2 2
=θ ωx ωy −ωx − ωz ωy ωz 
ωx ωz ωy ωz −ωx2 − ωy2
 2
−ωz − ωy2
  
ωx ωy ωx ωz 0 ωz −ωy
(θω̂)3 = θ3 ω̂ 3 = θ3 ω̂ 2 ω̂ = θ3  ωx ωy −ωx2 − ωz2 ωy ωz  · −ωz 0 ωx 
2 2
ωx ωz ωy ωz −ωx − ωy ωy −ωx 0
−ωz (ωx2 + ωy2 + ωz2 ) ωy (ωx2 + ωy2 + ωz2 )
 
0
2 2 2
=  ωz (ωx + ωy + ωz ) 0 −ωx (ωx2 + ωy2 + ωz2 )
−ωy (ωx2 + ωy2 + ωz2 ) ωx (ωx2 + ωy2 + ωz2 ) 0
 
0 ωz −ωy
3
= −θ −ω z 0 ωx  = −θ3 ω̂
ωy −ωx 0
(θω̂)4 = θ4 ω̂ 4 = θ4 ω̂ 3 ω̂ = θ4 (−ω̂)ω̂ = −θ4 ω̂ 2
(θω̂)5 = θ5 ω̂ 3 ω̂ 2 = −θ5 ω̂ ω̂ 2 = −θ5 ω̂ 3 = θ5 ω̂
..
.

Es decir, es posible encontrar un patrón en las potencias de θω̂, y por tanto la exp(θω̂)
es reescrita como

~ = exp(θω̂) = 1 + (θω̂) + 1 (θω̂)2 + 1 (θω̂)3 + · · ·


exp(θê · J)
2! 3!
1 2 2 1 3 1 4 2 1
= 1 + θω̂ + (θ ω̂ ) − (θ ω̂) − (θ ω̂ ) + (ω 5 ω̂) + · · ·
 2! 3 3!  4! 5!
θ5
 2 4
θ6

θ θ θ
= 1 + ω̂ θ − + + · · · + ω̂ 2
− + ··· + 1 − 1
3! 5! 2! 4! 6!
"∞ # " ∞ #
X (−1)k θ2k+1 X (−1)k θ2k
= 1 + ω̂ + ω̂ 2 − +1
k=0
(2k + 1)! k=0
(2k)!
= 1 + sin θ(ω̂) + (1 − cos θ)ω̂ 2
reemplazando de vuelta:
= 1 + sin θ(ê · J)
~ + (1 − cos θ)(ê · J)
~2

Como queriamos mostrar. 

2
Relatividad Tarea 3

2. En el orden especificado acontinuación, diremos que los generadores son:


   
0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 −1
G1 := Jx = 0 0 0 1
, G 2 := Jy = 0 0 0 0  ,
 

0 0 −1 0 0 1 0 0
   
0 0 0 0 0 −1 0 0
0 0 1 0 −1 0 0 0
G3 := Jz = 0 −1 0 0 ,
 G4 := Kx =  0
,
0 0 0
0 0 0 0 0 0 0 0
   
0 0 −1 0 0 0 0 −1
 0 0 0 0 0 0 0 0
G5 := Ky =  −1 0 0 0
, G 6 := K z = 
0 0 0 0

0 0 0 0 −1 0 0 0
Ası́, con el PROGRAMA 1 adjunto y las siguientes definiciones, es posible calcular
cada una de las componentes Kab :
1
Producto interno:hA, Bi = Tr(AB)
2
Componentes: Kab = hGa , Gb i

a. Lo que produce una matriz K


 
−1 0 0 0 0 0
 0 −1 0 0 0 0
 
0 0 −1 0 0 0
K=
0

 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1

b. Del mismo modo, La matriz inversa K −1 , será


 
−1 0 0 0 0 0
 0 −1 0 0 0 0
 
−1
0 0 −1 0 0 0
K = 0
=K
 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
Pues ası́, K ac Kcb = δba (teniendo en cuenta que hay una suma de Einstein para el indice
c).
c. Si A = Aa Ga , entonces multiplicando apropiadamente tenemos:
1
AGb = Aa Ga Gb , calculando la traza y multiplicando por :
2
1 1 1
Tr(AGb ) = Tr(Gb A) = Aa Tr(Ga Gb )
2 2 2

3
Relatividad Tarea 3

El segundo término de la ecuación anterior es debido a las propiedades de la traza. Por


la definición de nuestro producto interno obtenemos
hGb , Ai = Aa hGa , Gb i = Aa Kab , Multiplicando por K bc :
hGb , Ai K bc = Aa Kab K bc = Aa δac = Ac
⇒ Ac = K bc hGb , Ai , Como queriamos exhibir 

3. En la siguiente tabla, se presentan los resultados de los conmutadores de los seis gene-
radores definidos en el punto anterior

[Ga , Gb ] G1 G2 G3 G4 G5 G6
G1 0 −G3 G2 0 −G6 G5
G2 G3 0 −G1 G6 0 −G4
G3 −G2 G1 0 −G5 G4 0
G4 0 −G6 G5 0 G3 −G2
G5 G6 0 −G4 −G3 0 G1
G6 −G5 G4 0 G2 −G1 0

Tabla 1: Cálculo de los conmutadores de los generadores, donde la primer entrada del con-
mutador pertenece a columna a la derecha y la segunda entrada a la fila en la parte superior.

Los resultados anteriores se obtuvieron haciendo uso del PROGRAMA 2, incluido


al final del documento. Calculando las diversas identidades, teniendo en cuenta que
~a · ~b = ai bi y (~a × ~b)i = ijk aj bk y por diversas propiedades del tensor de Levi-Civita
obtenemos:
a.
~a(d~ · (~b × ~c)) + ~b(d~ · (~c × ~a)) + ~c(d~ · (~a × ~b)), para la componente i-esima tenemos:
ai dj (~b × ~c)j + bi dj (~c × ~a)j + ci dj (~a × ~b)j =
ai dj jkl bk cl + bi dj jkl ck al + ci dj jkl ak bl =
ai dj jkl bk cl + bi dj jkl ck al − ci dj jkl al bk =
dj jkl (ai bk cl + al (bi ck − ci bk )) = dj jkl (ai bk cl + al (δmi δnk − δmk δin )bm cn ) =
dj jkl (ai bk cl + al iks smn bm cn ) =
dj ai jkl bk cl + dj al jkl liks smn bm cn = dj ai jkl bk cl + dj al smn (δij δls − δjs δil )bm cn =
dj ai jkl bk cl + dj al smn bm cn δij δls − dj al smn bm cn δjs δil

En este resultado, los factores delta actúan como “contractores” de indices, por tanto
lo anterior puede ser reescrito como
dj ai jkl bk cl + di as smn bm cn − dj ai jmn bm cn =
dj ai jkl bk cl + di aj (~b × ~c)j − dj ai jkl bk cl , pues m, n y s son indices mudos
= di aj (~b × ~c)j

4
Relatividad Tarea 3

Por tanto, ~a(d~ · (~b × ~c)) + ~b(d~ · (~c × ~a)) + ~c(d~ · (~a × ~b)) = d(~
~ a · (~b × ~c)) 

b.
(~a · (~b × ~c))(~e · (f~ × ~g )), en lenguaje tensorial
= (ai (~b × ~c)i )(ej (f~ × ~g )j ) = (ai ikl bk ek )(ej jmn fm gn ) =
ai ej bk cl fm gn ikl jmn =
 
δij δim δin
ai ej bk cl fm gn · det δkj δkm δkn  =
δlj δlm δln
ai ej bk cl fm gn [δij (δkm δln − δlm δkn ) − δim (δkj δln − δlj δkn ) + δin (δkj δlm − δlj δkm )]
contrayendo adecuadamente indices con las delta obtenemos:
= ai ei (bk fk cl gl − cl fl bk gk ) − am fm (bk ek cl gl − ej cj bk gk ) + ak gk (bj ej cm fm − cj ej fm bm )
Manipulando los subindices, podemos reescribir sin pérdida de generalidad como:
= ai ei (bj fj ck gk − cj fj bk gk ) − aj fj (bi ei ck gk − ci ei bk gk ) + ak gk (bi ei cj fj − ci ei bj fj ) =

ai ei aj fj ak gk ~a · ~e ~a · f~ ~a · ~g

bi ei bj fj bk gk = ~b · ~e ~b · f~ ~b · ~g 


ci ei cj fj ck gk ~c · ~e ~c · f~ ~c · ~g

c.
5.
6.
7. Dado que P 2 = P , demostramos que:
a.
(1 − P )2 = (1 − P )(1 − P ) = 1 − P − P + P 2 = 1 − 2P + P = 1 − P
Ası́, 1 − P también es un proyector.
b. Veamos que
P (1 − P ) = P − P 2 = P 2 − P = (P − 1)P = P − P = 0

c.
8. Manipulando a comodidad los indices y teniendo en cuenta que S µν = S νµ y Aµν =
−Aνµ debido a las definiciones de tensor simétrico y antisimétrico tenemos:
S µν Aµν = S νµ Aµν = −S νµ Aνµ = −S πµ Aπµ = S πφ Aπφ = −S µφ Aµφ = −S µν Aµν
⇒ S µν Aµν = −S µν Aµν Por tanto S µν Aµν = 0 

9.
10.
11.

5
Relatividad Tarea 3

PROGRAMA 1 (killing.cpp)

Compilable como g++ -o killing.x -I $HOME/local/include killing.cpp y ejecutable


como ./killing.x. Es necesario el paquete Eigen 3.3.5.1 y ser compilado en una terminal
compatible con C++.
#include <iostream>
#include <eigen3/Eigen/Dense>
using namespace Eigen;
using namespace std;
int prodint(const MatrixXd& A,const MatrixXd& B);

int main()
{
/* DECLARACION DE MATRICES NULAS EN EIGEN */

MatrixXd G1(4,4);
MatrixXd G2(4,4);
MatrixXd G3(4,4);
MatrixXd G4(4,4);
MatrixXd G5(4,4);
MatrixXd G6(4,4);

/* ESPECIFICACIÓN DE LAS COMPONENTES */

G1(2,3)=1, G1(3,2)=-1, G2(3,1)=1, G2(1,3)=-1,


G3(1,2)=1, G3(2,1)=-1, G4(0,1)=-1, G4(1,0)=-1,
G5(0,2)=-1, G5(2,0)=-1, G6(0,3)=-1, G6(3,0)=-1;

/*CÁLCULOS*/

cout<<prodint(G1,G1)<<endl;

/*↑↑ Esto puede hacer para cualquier par de generadores Ga, Gb ↑↑*/
return 0;
}

/*DEFINICIÓN DEL PRODUCTO INTERNO*/

int prodint(const MatrixXd& A,const MatrixXd& B)


{
MatrixXd C=A*B;
double traza=0.5*C.trace();
return traza;
}

1
http://eigen.tuxfamily.org/index.php?title=Main_Page

6
Relatividad Tarea 3

PROGRAMA 2 (commutator.cpp)
Compilable como g++ -o commutator.x -I $HOME/local/include commutator.cpp y eje-
cutable como ./commutator.x. Nuevamente es necesario el paquete Eigen 3.3.5.
#include <iostream>
#include <eigen3/Eigen/Dense>
using namespace Eigen;
using namespace std;
MatrixXd commutator(const MatrixXd& A,const MatrixXd& B);

int main()
{
/* DECLARACION DE MATRICES NULAS EN EIGEN */

MatrixXd G1(4,4);
MatrixXd G2(4,4);
MatrixXd G3(4,4);
MatrixXd G4(4,4);
MatrixXd G5(4,4);
MatrixXd G6(4,4);

/* ESPECIFICACIÓN DE LAS COMPONENTES */

G1(2,3)=1, G1(3,2)=-1, G2(3,1)=1, G2(1,3)=-1,


G3(1,2)=1, G3(2,1)=-1, G4(0,1)=-1, G4(1,0)=-1,
G5(0,2)=-1, G5(2,0)=-1, G6(0,3)=-1, G6(3,0)=-1;

/* CÁLCULOS */

cout<<commutator(G1,G1)<<"\n"<<endl;
cout<<commutator(G1,G2)<<"\n"<<endl;
cout<<commutator(G1,G3)<<"\n"<<endl;
cout<<commutator(G1,G4)<<"\n"<<endl;
cout<<commutator(G1,G5)<<"\n"<<endl;
cout<<commutator(G1,G6)<<"\n"<<endl;

/* ↑↑ Calculos de ejemplo. este caso es toda la primer fila de la Tabla 1 ↑↑*/

return 0;
}

/*DEFINICIÓN DEL CONMUTADOR*/

MatrixXd commutator(const MatrixXd& A,const MatrixXd& B)


{
MatrixXd C=(A*B)-(B*A);
return C;
}

Vous aimerez peut-être aussi