Académique Documents
Professionnel Documents
Culture Documents
– de Octubre de 2018
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
2
Relatividad Tarea 3
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
3
Relatividad Tarea 3
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.
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)
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);
/*CÁLCULOS*/
cout<<prodint(G1,G1)<<endl;
/*↑↑ Esto puede hacer para cualquier par de generadores Ga, Gb ↑↑*/
return 0;
}
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);
/* 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;
return 0;
}