|
|
|
last edited 10 years ago by Bill Page |
Edit detail for SandBoxLorentzTransformation revision 15 of 30
| 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 | ||
|
Editor: Bill Page
Time: 2013/09/24 23:07:57 GMT+0 |
||
| Note: tidy | ||
changed: -Applying the Lorentz form produces a co-vector (represent as a 1xn matrix or row) Verification \begin{axiom} possible(x)==subst(x, map(y+->(y=(random(100) - random(100))),variables x) ) is?(eq:Equation EXPR INT):Boolean == (lhs(eq)-rhs(eq)=0)::Boolean Is?(eq:Equation(Matrix(EXPR(INT)))):Boolean == _ ( (lhs(eq)-rhs(eq)) :: Matrix Expression AlgebraicNumber = _ zero(nrows(lhs(eq)),ncols(lhs(eq)))$Matrix Expression AlgebraicNumber )::Boolean \end{axiom} Lorentz Form (metric) produces a co-vector (represent as a 1xn matrix or row vector) changed: -And scalar product is Scalar product changed: -Tensor product is Tensor product removed: -Verification -\begin{axiom} -possible(x)==subst(x, map(y+->(y=(random(100) - random(100))),variables x) ) -Is?(eq:Equation EXPR INT):Boolean == (lhs(eq)-rhs(eq)=0)::Boolean -Is2?(eq:Equation(Matrix(EXPR(INT)))):Boolean == _ -( (lhs(eq)-rhs(eq)) :: Matrix Expression AlgebraicNumber = _ -zero(nrows(lhs(eq)),ncols(lhs(eq)))$Matrix Expression AlgebraicNumber )::Boolean -\end{axiom} - changed: - An object (also referred to as an obserser) is represented by a An object (also referred to as an observer) is represented by a added: changed: -Is2?(L(P,P) = ID) -Is2?(L(P,Q)*L(Q,P) = ID) -Is2?(L(P,Q)*Q=P) -Is2?(L(P,Q)*v(P,Q) = -v(Q,P)) Is?(L(P,P) = ID) Is?(L(P,Q)*L(Q,P) = ID) Is?(L(P,Q)*Q=P) Is?(L(P,Q)*v(P,Q) = -v(Q,P)) changed: -Is2?(L(R,P)*L(P,Q) = L(R,Q)) Is?(L(R,P)*L(P,Q) = L(R,Q)) changed: -Is2?(%=map(x+->eval(x,[u0=1/sqrt(1-v'^2),u1=v'/sqrt(1-v'^2),u2=0,u3=0]),LT)) Is?(%=map(x+->eval(x,[u0=1/sqrt(1-v'^2),u1=v'/sqrt(1-v'^2),u2=0,u3=0]),LT))
Lorentz transformations.
Book by T. Matolcsi
Mathematical Preliminaries
A vector is represented as a nx1 matrix (column vector)
fricas
vect(x:List Expression Integer):Matrix Expression Integer == matrix map(y+->[y],x)
Function declaration vect : List(Expression(Integer)) -> Matrix( Expression(Integer)) has been added to workspace.
Type: Void
fricas
vect [a0,a1, a2, a3]
fricas
Compiling function vect with type List(Expression(Integer)) ->
Matrix(Expression(Integer))![\label{eq1}\left[
\begin{array}{c}
a 0
\
a 1
\
a 2
\
a 3](images/4443196779762138950-16.0px.png "\label{eq1}\left[
\begin{array}{c}
a 0
\
a 1
\
a 2
\
a 3") | (1) |
Type: Matrix(Expression(Integer))
Identity
fricas
ID:=diagonalMatrix([1,1, 1, 1])
![\label{eq2}\left[
\begin{array}{cccc}
1 & 0 & 0 & 0
\
0 & 1 & 0 & 0
\
0 & 0 & 1 & 0
\
0 & 0 & 0 & 1](images/2198114584885539847-16.0px.png "\label{eq2}\left[
\begin{array}{cccc}
1 & 0 & 0 & 0
\
0 & 1 & 0 & 0
\
0 & 0 & 1 & 0
\
0 & 0 & 0 & 1") | (2) |
Type: Matrix(Integer)
Verification
fricas
possible(x)==subst(x,map(y+->(y=(random(100) - random(100))), variables x) )
Type: Void
fricas
is?(eq:Equation EXPR INT):Boolean == (lhs(eq)-rhs(eq)=0)::Boolean
Function declaration is? : Equation(Expression(Integer)) -> Boolean has been added to workspace.
Type: Void
fricas
Is?(eq:Equation(Matrix(EXPR(INT)))):Boolean == _ ( (lhs(eq)-rhs(eq)) :: Matrix Expression AlgebraicNumber = _ zero(nrows(lhs(eq)),ncols(lhs(eq)))$Matrix Expression AlgebraicNumber )::Boolean
Function declaration Is? : Equation(Matrix(Expression(Integer))) -> Boolean has been added to workspace.
Type: Void
Lorentz Form (metric) produces a co-vector (represent as a 1xn matrix or row vector)
fricas
G:=diagonalMatrix [-1,1, 1, 1]
![\label{eq3}\left[
\begin{array}{cccc}
- 1 & 0 & 0 & 0
\
0 & 1 & 0 & 0
\
0 & 0 & 1 & 0
\
0 & 0 & 0 & 1](images/7358876913742565659-16.0px.png "\label{eq3}\left[
\begin{array}{cccc}
- 1 & 0 & 0 & 0
\
0 & 1 & 0 & 0
\
0 & 0 & 1 & 0
\
0 & 0 & 0 & 1") | (3) |
Type: Matrix(Integer)
fricas
g(x)==transpose(x)*G
Type: Void
fricas
g(vect [a0,a1, a2, a3])
fricas
Compiling function g with type Matrix(Expression(Integer)) -> Matrix
(Expression(Integer)) | (4) |
Type: Matrix(Expression(Integer))
Scalar product
fricas
dot(x,y)== (g(x)*y)::Expression Integer
Type: Void
fricas
dot(vect [a0,a1, a2, a3], vect [b0, b1, b2, b3])
fricas
Compiling function dot with type (Matrix(Expression(Integer)),Matrix (Expression(Integer))) -> Expression(Integer)
 | (5) |
Type: Expression(Integer)
Tensor product
fricas
tensor(x,y) == x*g(y)
Type: Void
fricas
tensor(vect [a0,a1, a2, a3], vect [b0, b1, b2, b3])
fricas
Compiling function tensor with type (Matrix(Expression(Integer)),Matrix(Expression(Integer))) -> Matrix(Expression(Integer))
![\label{eq6}\left[
\begin{array}{cccc}
-{a 0 \ b 0}&{a 0 \ b 1}&{a 0 \ b 2}&{a 0 \ b 3}
\
-{a 1 \ b 0}&{a 1 \ b 1}&{a 1 \ b 2}&{a 1 \ b 3}
\
-{a 2 \ b 0}&{a 2 \ b 1}&{a 2 \ b 2}&{a 2 \ b 3}
\
-{a 3 \ b 0}&{a 3 \ b 1}&{a 3 \ b 2}&{a 3 \ b 3}](images/6739546463157801091-16.0px.png "\label{eq6}\left[
\begin{array}{cccc}
-{a 0 \ b 0}&{a 0 \ b 1}&{a 0 \ b 2}&{a 0 \ b 3}
\
-{a 1 \ b 0}&{a 1 \ b 1}&{a 1 \ b 2}&{a 1 \ b 3}
\
-{a 2 \ b 0}&{a 2 \ b 1}&{a 2 \ b 2}&{a 2 \ b 3}
\
-{a 3 \ b 0}&{a 3 \ b 1}&{a 3 \ b 2}&{a 3 \ b 3}") | (6) |
Type: Matrix(Expression(Integer))
Massive Objects
An object (also referred to as an observer) is represented by a time-like 4-vector
fricas
P:=vect [sqrt(p1^2+p2^2+p3^2+1),-p1, -p2, -p3];
Type: Matrix(Expression(Integer))
fricas
dot(P,P)
 | (7) |
Type: Expression(Integer)
fricas
Q:=vect [sqrt(q1^2+q2^2+q3^2+1),-q1, -q2, -q3];
Type: Matrix(Expression(Integer))
fricas
R:=vect [sqrt(r1^2+r2^2+r3^2+1),-r1, -r2, -r3];
Type: Matrix(Expression(Integer))
fricas
S:=1/sqrt(1-s1^2-s2^2-s3^2)*vect [1,-s1, -s2, -s3]
![\label{eq8}\left[
\begin{array}{c}
{1 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}
\
-{s 1 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}
\
-{s 2 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}
\
-{s 3 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}](images/4739323798050234047-16.0px.png "\label{eq8}\left[
\begin{array}{c}
{1 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}
\
-{s 1 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}
\
-{s 2 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}
\
-{s 3 \over{\sqrt{-{{s 3}^{2}}-{{s 2}^{2}}-{{s 1}^{2}}+ 1}}}") | (8) |
Type: Matrix(Expression(Integer))
fricas
dot(S,S)
 | (9) |
Type: Expression(Integer)
Associated with each such vector is the orthogonal 3-d Euclidean subspace
Relative Velocity
An object P has a unique relative velocity w(P,Q) with respect to object Q given by
fricas
v(P,Q)==-P/dot(P, Q)-Q
Type: Void
Observer P measures velocity v(Q,P). v(Q,P) is space-like and in 
.
fricas
dot(P,v(Q, P))
fricas
Compiling function v with type (Matrix(Expression(Integer)),Matrix( Expression(Integer))) -> Matrix(Expression(Integer))
 | (10) |
Type: Expression(Integer)
fricas
possible dot(v(Q,P), v(Q, P))::EXPR Float
fricas
Compiling function possible with type Expression(Integer) ->
Expression(Integer) | (11) |
Type: Expression(Float)
fricas
dot(Q,v(P, Q))
 | (12) |
Type: Expression(Integer)
fricas
possible dot(v(P,Q), v(P, Q))::EXPR Float
 | (13) |
Type: Expression(Float)
Lorentz Boost
is a linear bijection 
that preserves
and maps orthogonal compliments into each other.
fricas
L(P,Q) == ID + tensor(P+Q, P+Q)/(1-dot(P, Q)) - 2*tensor(P, Q)
Type: Void
fricas
Is?(L(P,P) = ID)
fricas
Compiling function L with type (Matrix(Expression(Integer)),Matrix( Expression(Integer))) -> Matrix(Expression(Integer))
fricas
Compiling function Is? with type Equation(Matrix(Expression(Integer)
)) -> Boolean | (14) |
Type: Boolean
fricas
Is?(L(P,Q)*L(Q, P) = ID)
 | (15) |
Type: Boolean
fricas
Is?(L(P,Q)*Q=P)
 | (16) |
Type: Boolean
fricas
Is?(L(P,Q)*v(P, Q) = -v(Q, P))
 | (17) |
Type: Boolean
Composition of two Lorentz boosts is not a Lorentz boost
fricas
Is?(L(R,P)*L(P, Q) = L(R, Q))
 | (18) |
Type: Boolean
Velocity with respect to observer "at rest"
fricas
v(vect [u0,u1, u2, u3], vect [1, 0, 0, 0])
![\label{eq19}\left[
\begin{array}{c}
0
\
{u 1 \over u 0}
\
{u 2 \over u 0}
\
{u 3 \over u 0}](images/4954963556973804207-16.0px.png "\label{eq19}\left[
\begin{array}{c}
0
\
{u 1 \over u 0}
\
{u 2 \over u 0}
\
{u 3 \over u 0}") | (19) |
Type: Matrix(Expression(Integer))
fricas
v(S,vect [1, 0, 0, 0])
![\label{eq20}\left[
\begin{array}{c}
0
\
- s 1
\
- s 2
\
- s 3](images/1338712260239739710-16.0px.png "\label{eq20}\left[
\begin{array}{c}
0
\
- s 1
\
- s 2
\
- s 3") | (20) |
Type: Matrix(Expression(Integer))
Lorentz boost with respect to observer "at rest"
fricas
LT:=L(vect [1,0, 0, 0], vect [u0, -u1, -u2, -u3])
![\label{eq21}\left[
\begin{array}{cccc}
u 0 & u 1 & u 2 & u 3
\
u 1 &{{{{u 1}^{2}}+ u 0 + 1}\over{u 0 + 1}}&{{u 1 \ u 2}\over{u 0 + 1}}&{{u 1 \ u 3}\over{u 0 + 1}}
\
u 2 &{{u 1 \ u 2}\over{u 0 + 1}}&{{{{u 2}^{2}}+ u 0 + 1}\over{u 0 + 1}}&{{u 2 \ u 3}\over{u 0 + 1}}
\
u 3 &{{u 1 \ u 3}\over{u 0 + 1}}&{{u 2 \ u 3}\over{u 0 + 1}}&{{{{u 3}^{2}}+ u 0 + 1}\over{u 0 + 1}}](images/6849869201730592169-16.0px.png "\label{eq21}\left[
\begin{array}{cccc}
u 0 & u 1 & u 2 & u 3
\
u 1 &{{{{u 1}^{2}}+ u 0 + 1}\over{u 0 + 1}}&{{u 1 \ u 2}\over{u 0 + 1}}&{{u 1 \ u 3}\over{u 0 + 1}}
\
u 2 &{{u 1 \ u 2}\over{u 0 + 1}}&{{{{u 2}^{2}}+ u 0 + 1}\over{u 0 + 1}}&{{u 2 \ u 3}\over{u 0 + 1}}
\
u 3 &{{u 1 \ u 3}\over{u 0 + 1}}&{{u 2 \ u 3}\over{u 0 + 1}}&{{{{u 3}^{2}}+ u 0 + 1}\over{u 0 + 1}}") | (21) |
Type: Matrix(Expression(Integer))
Two dimensional Lorentz Transformation
fricas
matrix [[1/sqrt(1-v'^2),v'/sqrt(1-v'^2), 0, 0], [v'/sqrt(1-v'^2), 1/sqrt(1-v'^2), 0, 0], [0, 0, 1, 0], [0, 0, 0, 1]]
![\label{eq22}\left[
\begin{array}{cccc}
{1 \over{\sqrt{-{{v'}^{2}}+ 1}}}&{v' \over{\sqrt{-{{v'}^{2}}+ 1}}}& 0 & 0
\
{v' \over{\sqrt{-{{v'}^{2}}+ 1}}}&{1 \over{\sqrt{-{{v'}^{2}}+ 1}}}& 0 & 0
\
0 & 0 & 1 & 0
\
0 & 0 & 0 & 1](images/7023051708558104910-16.0px.png "\label{eq22}\left[
\begin{array}{cccc}
{1 \over{\sqrt{-{{v'}^{2}}+ 1}}}&{v' \over{\sqrt{-{{v'}^{2}}+ 1}}}& 0 & 0
\
{v' \over{\sqrt{-{{v'}^{2}}+ 1}}}&{1 \over{\sqrt{-{{v'}^{2}}+ 1}}}& 0 & 0
\
0 & 0 & 1 & 0
\
0 & 0 & 0 & 1") | (22) |
Type: Matrix(Expression(Integer))
fricas
Is?(%=map(x+->eval(x,[u0=1/sqrt(1-v'^2), u1=v'/sqrt(1-v'^2), u2=0, u3=0]), LT))
 | (23) |
Type: Boolean