We consider two systems of reference \$F\$ and \$F\$ moving at constant velocity $\\vb v$ with respect to each other, where $\\vb v$ is a vector of arbitrary direction. The system $F$ has spatial coordinates $x_1$, $x_2$, $x_3$ and time $t$, and $F’$ has spatial coordinates $x_1’$, $x_2’$, $x_3’$ and time $t’$.<\/p>\n\n\n\n

An observer in $F$ will identify an event happening at a given place and time by a four-vector $\\vb* X$:<\/p>\n\n\n\n

$\\vb* X= (x_1,x_2,x_3,c t)$<\/p>\n<\/div><\/div>\n\n\n\n

and an observer in $F’$ will record the same event as $\\vb* X’$:<\/p>\n\n\n\n

${\\vb* X’}= (x’_1,x’_2,x’_3,c t’)$<\/p>\n\n\n\n

where $c$ is the speed of light. We will use sometimes the shorthand version of a four-vector as <\/p>\n\n\n\n

${\\vb* X}= ({\\vb* x},c t)$<\/p>\n\n\n\n

where $\\vb* x$ is the vector of the spatial coordinates.<\/p>\n\n\n\n

The Lorentz transformation describes how the coordinates and the time of the same event observed in $F$ and $F’$ are related to each other, and it is assumed to be linear<\/p>\n\n\n\n

\\begin{equation}
{\\vb* X’} = {\\bf\\Lambda}({\\vb* v}) {\\vb* X}\\label{tran11}
\\end{equation}<\/p>\n\n\n\n

where $\\vb \\Lambda({\\vb v})$ is a matrix depending only on the velocity vector $\\vb v$.<\/p>\n\n\n\n

bra-ket notation<\/h2>\n\n\n\n
We introduce now the bra<\/strong><\/em>–ket<\/strong><\/em> notation for vectors and linear transformations, which will greatly simplify the derivation of the space transformation. The scalar product of two N-dimensional vectors $\\vb{a}$ and $\\vb{b}$ is written in bra-ket notation as<\/p>\n\n\n\n
$ \\bra{\\vb a}\\ket{\\vb b}$<\/p>\n\n\n\n
In matrix form the bra<\/em><\/strong> vector $\\bra{\\vb a}$ is represented as a row vector, and the ket <\/em><\/strong>vector $\\ket{\\vb b}$ is a column vector. A linear transformation in bra-ket form reads<\/p>\n\n\n\n
$ \\ket{\\vb a} \\bra{\\vb b}$<\/p>\n\n\n\n
which applied to the ket vector $\\ket{\\vb c}$ acts as multiplying the vector $\\vb a$ by the scalar product of $\\vb b$ and $\\vb c$<\/p>\n\n\n\n
\\begin{align}
\\ket{\\vb a} \\bra{\\vb b} \\vdot \\ket{\\vb c} = \\ket{\\vb a} \\bra{\\vb b} \\ket{\\vb c}
\\end{align}<\/p>\n\n\n\n
The same idea can be used for bra vectors applied to the left of the transformation,<\/p>\n\n\n\n
\\begin{align}
\\bra{\\vb c}\\vdot \\ket{\\vb a} \\bra{\\vb b} = \\bra{\\vb c}\\ket{\\vb a} \\bra{\\vb b}
\\end{align}<\/p>\n\n\n\n

Transformation of time<\/h2>\n\n\n\n
In Special Relativity, different observers in the same system of reference looking at the same event will agree that the event has happened at the same time only if their clocks are synchronized. Clocks synchronization is a powerful and central concept in the theory, and it is defined<\/strong> through a thought experiment. We consider two observers in the same system of reference located at different positions A<\/strong> and B<\/strong>. The observer in A<\/strong> sends a photon at time $t_A$ to the observer in B<\/strong>. The photon arrives in B<\/strong> at $t_B$, and the observer in B<\/strong> reflects it to A<\/strong>, where it finally comes at time $t’_A$. The clocks in A<\/strong> and B<\/strong> are synchronized if<\/p>\n\n\n\n
\\begin{equation}
t_B-t_A = t_A-t_B \\label{sync0}
\\end{equation}<\/p>\n\n\n\n
The synchronization of clocks is the key to get to the transformation of time. Let us now look again at the thought experiment above, but now both from $F$ and $F’$,<\/p>\n\n\n\n
View from $F’$<\/h3>\n\n\n\n
a photon is emitted at a time $t’_{0}$ from the origin of $F’$ along an arbitrary direction<\/li>
it is reflected at time $t’_{1}$ by a mirror posed at an arbitrary length from the source<\/li>
it arrives back at the origin of $F’$ at time $t’_{2}$<\/li><\/ul>\n\n\n\n
Since we assume that the clocks in $F’$ are synchronized, the following relation holds true:<\/p>\n\n\n\n\\begin{equation}\n \\frac{1}{2}(t’_{0}+t’_{2}) = t’_{1} \\label{sync}\n\\end{equation}\n\n\n\n
View from $F$<\/h3>\n\n\n\n
We now look at the three events, emission, reflection and arrival at the source from the perspective of $F$<\/p>\n\n\n\n
Emission: <\/strong>The photon is emitted from the source at time $t_{0}$ and at the position<\/li><\/ul>\n\n\n\n
${\\vb v}\\, t_{0}$<\/p>\n\n\n\n
where $\\vb v$ is the velocity of $F’$ measured from $F$.<\/p>\n\n\n\n
Reflection: <\/strong>The photon travels to the mirror with speed $\\vb c_{up}$ and reaches the mirror at a time $t_{1}$<\/li><\/ul>\n\n\n\n
$ t_{1} = t_{0} +\\ds\\frac{ l}{|{\\vb c_{up}-\\vb v} |} $<\/p>\n\n\n\n
where $l$ is the distance of the mirror from the source measured from $F$. When the photon reaches the mirror its position will be<\/p>\n\n\n\n
${\\vb v}\\, t_{1} + ({\\vb c_{up}- \\vb v})(t_{1}-t_{0}) = {\\vb v}t_{0}+ l\\ds\\frac{\\vb c_{up} }{\\|{\\vb c_{up}-\\vb v} \\|}$<\/p>\n\n\n\n
Arrival<\/strong> The time $t_{2}$ when the photon reaches the source back again is<\/li><\/ul>\n\n\n\n
$t_{2}= t_{1} +\\ds \\frac{l}{|{\\vb c_{down}-\\vb v} |} =t_{0} + \\ds\\frac{l}{|{\\vb c_{up}-\\vb v} |}+ \\ds\\frac{l}{|{\\vb c_{down}-\\vb v} |}$<\/p>\n\n\n\n
\n
\n
where $\\vb c_{down}$ is the photon velocity on its way back to the source. The position of the photon when it meets the source is,<\/p>\n<\/div><\/div>\n<\/div><\/div>\n\n\n\n
${\\vb v}t_{2}= {\\vb v}t_{0}+{\\vb v}\\,\\space \\ds\\frac{l}{|{\\vb c_{up}-\\vb v} |}+ \\ds\\frac{l}{|{\\vb c_{down}-\\vb v} |}$<\/p>\n\n\n\n
Considering a general functional relationship $t’=t'(\\vb x,t)$ between the time measured in $F’$ and in $F$,<\/p>\n\n\n\n\\begin{align}\n\tt’_{0}&=t'({\\vb v}\\, t_{0} ,t_{0})\\\\\n\\\\\n\tt’_{1}&=t'({\\vb v}t_{0}+ l\\ds\\frac{\\vb c_{up} }{\\|{\\vb c_{up}-\\vb v} \\|} , t_{0} + \\ds\\frac{l}{\\|{\\vb c_{up}-\\vb v} \\|} )\\\\\n\\\\\n\tt’_{2}&=t'( {\\vb v}t_{0}+{\\vb v}\\,\\space l(\\,\\|{\\vb c_{up}-\\vb v} \\|^{-1}+ \\,\\|{\\vb c_{down}-\\vb v} \\|^{-1}) ,\\\\\n\\\\\n&\tt_{0} + l(\\,\\|{\\vb c_{up}-\\vb v} \\|^{-1}+ \\,\\|{\\vb c_{down}-\\vb v} \\|^{-1}) )\n\\end{align}\n\n\n\n
expanding in Taylor series in $l$ around the emission event<\/p>\n\n\n\n\\begin{align}\nt’_{0}&=t'({\\vb v}\\, t_{0} ,t_{0})\\\\\nt’_{1}&=t'({\\vb v}\\, t_{0} ,t_{0}) +l \\,\\,\\|{\\vb c_{up}-\\vb v} \\|^{-1} \\quad \\bra{\\grad t’ }\\ket{({\\vb c_{up}},1)} +o(l^2)\\\\\nt’_{2}&=t'({\\vb v}\\, t_{0}) + l(\\,\\|{\\vb c_{up}-\\vb v} \\|^{-1}+ \\,\\|{\\vb c_{down}-\\vb v} \\|^{-1})\\\\& \\bra{ \\grad t’ }\\ket{ ({\\vb v},1)} +o(l^2)\n\\end{align}\n\n\n\n
and using the synchronization condition of Eq.(\\ref{sync}), we arrive at the differential equation in $t’$ (for $l \\to 0$),<\/p>\n\n\n\n
\\begin{equation}
\\bra{\\grad t’}\\ket{\\vb w}=0
\\end{equation}<\/p>\n\n\n\n
where,<\/p>\n\n\n\n
\\begin{align}
{\\vb w} =& (\\vb v(\\,|{\\vb c_{up}-\\vb v} |^{-1}+ \\,|{\\vb c_{down}-\\vb v} |^{-1}) – 2 {\\vb c_{up}}|{\\vb c_{up}-\\vb v} |^{-1}, \\nonumber \\ &|{\\vb c_{up}-\\vb v} |^{-1}- \\,|{\\vb c_{down}-\\vb v} |^{-1}) \\nonumber
\\end{align}<\/p>\n\n\n\n
Assuming a linear relationship between the time in $F’$ and the coordinates in $F$<\/p>\n\n\n\n
$t’ = {\\vb p}\\cdot \\vb x+\\beta t$<\/p>\n\n\n\n
where ${\\vb p}$ is a vector transforming the spatial coordinates and $\\beta$ is the coefficient transforming time, we arrive at the linear equation in ${\\vb p}$ and $\\beta$<\/p>\n\n\n\n\\begin{equation}\n\t {\\vb p}\\vdot [ {\\vb v} (\\,\\|{\\vb c_{up}-\\vb v} \\|^{-1}+ \\,\\|{\\vb c_{down}-\\vb v} \\|^{-1}) – 2 {\\vb c_{up}}\\|{\\vb c_{up}-\\vb v} \\|^{-1}] +\n\t \\beta(\\|{\\vb c_{up}-\\vb v} \\|^{-1} – \\,\\|{\\vb c_{down}-\\vb v} \\|^{-1}) =0\n\\label{eq2}\\end{equation}\n\n\n\n
\n
\n
Equation (\\ref{eq2}) can be further simplified if we look now more in detail to the direction of the vectors ${\\vb v}$, ${\\vb c_{down}}$ and ${\\vb c_{up}}$. <\/p>\n\n\n\n
Since the photon in $F’$ follows the same direction going to the mirror and back to the source, ${\\vb c_{down} -\\vb v}$ and ${\\vb c_{up}-\\vb v}$ are parallel, but have different magnitude; hence ${\\vb c_{up}}$, ${\\vb c_{down}}$ and ${\\vb v}$ are all in the same plane, see Fig (1). In the system of reference of three mutually orthogonal unit vectors ${\\vb e}_1$, ${\\vb e}_2$, and ${\\vb e}_3$, with ${\\vb e}_1$ and ${\\vb e}_2$ in the same plane of ${\\vb c{up}}$ and ${\\vb v}$, and ${\\vb e}_1$ in the same direction of $\\bf v$. the vector $\\bf p$ has components, $ {\\vb e}_1 = {\\vb v}\/{\\parallel v\\parallel}$, and equation (\\ref{eq2}) simplifies to<\/p>\n\n\n\n
\\begin{equation} \\begin{aligned}{\\ p_1} { v} (\\,|{\\vb c_{up}-\\vb v} |^{-1}+ \\,|{\\vb c_{down}-\\vb v} |^{-1}) – 2 { c}\\,\\,(p_1\\cos\\alpha+p_2\\sin\\alpha)|{\\vb c_{up}-\\vb v} |^{-1} \\\\+\\beta\\,\\,(|{\\vb c_{up}-\\vb v} |^{-1} – \\,|{\\vb c_{down}-\\vb v} |^{-1}) =0 \\end{aligned}\\label{eq3}\\end{equation}<\/p>\n\n\n\n
The component $p_3$ can be set to zero as it is orthogonal to the plane of ${\\vb c_{down}}$ and ${\\vb v}$. From<\/p>\n\n\n\n
$\\cos\\alpha = \\ds\\frac{\\ds c^2 +v^2 – |{\\vb c_{up}-\\vb v} |^2 }{\\ds 2 v c} $<\/p>\n\n\n\n
equation (\\ref{eq3}) reads<\/p>\n\n\n\n\\begin{equation} \np_1 \\frac{c^2}{v} +\\beta +p_2 \\,\\,\\frac{\\ds 2c\\sin\\alpha |{\\vb c_{up}-v} |}{\\ds|{\\vb c_{up}-v} |-|{\\vb c_{down}-v} |} =0\\quad\\forall \\alpha,v\n\\end{equation}\n<\/div>\n\n\n\n
\n
$\"\"$
Fig (1)<\/figcaption><\/figure>\n\n\n\n
<\/p>\n<\/div>\n<\/div>\n\n\n\n
<\/p>\n\n\n\n
<\/p>\n\n\n\n\n\n
which has solutions<\/p>\n\n\n\n
$p_1=-\\beta\\frac{v}{c^2}$<\/em><\/p>\n\n\n\n
$ p_2=0$<\/p>\n\n\n\n
The transformation of time between $F’$ and $F$ becomes then<\/p>\n\n\n\n
\\begin{equation}
ct’ = \\beta\\left(-\\frac{ v} {c}{\\vb e}_1\\cdot\\vb x+ct \\right)\\label{timeT}
\\end{equation}<\/p>\n\n\n\n
where $\\beta$ is a constant depending on the velocity.<\/p>\n\n\n\n
Transformation of Space<\/h2>\n\n\n\n
General Form of the Lorentz Transformation<\/h3>\n\n\n\n
The Lorentz transformation $\\vb \\Lambda({\\vb v})$ in its most general form can be represented as a sum of sixteen bra-ket operators formed from a unitary triplet of orthogonal vectors $\\vb e_1$, $\\vb e_2$ and $\\vb e_3$, with $\\vb e_1$ chosen parallel to $\\vb v$<\/p>\n\n\n\n\\begin{equation}\n \\begin{matrix}\n\\lambda_{1,1} \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} & \\lambda_{1,2}\\ket{\\vb{e}_1,0}\\bra{\\vb{e}_2,0}&\\lambda_{1,3}\\ket{\\vb{e}_1,0}\\bra{\\vb{e}_3,0}&\\lambda_{1,4}\\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}\\\\\n%\n\\lambda_{2,1} \\ket{\\vb{e}_2,0}\\bra{\\vb{e}_1,0} & \\lambda_{2,2}\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}&\\lambda_{2,3}\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_3,0}&\\lambda_{2,4}\\ket{\\vb{e}_2,0}\\bra{\\vb{0},1}\\\\\n%\n\\lambda_{3,1} \\ket{\\vb{e}_3,0}\\bra{\\vb{e}_1,0} & \\lambda_{3,2}\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_2,0}&\n\\lambda_{3,3}\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}&\n\\lambda_{3,4}\\ket{\\vb{e}_3,0}\\bra{\\vb{0},1}\\\\\n%\n\\lambda_{4,1} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} & \\lambda_{4,2}\\ket{\\vb{0},1}\\bra{\\vb{e}_2,0}&\n\\lambda_{4,3}\\ket{\\vb{0},1}\\bra{\\vb{e}_3,0}&\n\\lambda_{4,4}\\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n \\end{matrix} \\label{generalLambda}\n\\end{equation}\n\n\n\n
The synchronization of clocks and the invariance of the space-time interval are used to determine the transformation but are not sufficient to identify all sixteen free parameters: assumptions need to be made on how events are observed in $F$ and $F’$ to restrict the possible choices for $\\Lambda(\\vb v)$.<\/p>\n\n\n\n
The time component of an event in $F$ will only affect the spatial component in $F’$ along the velocity direction $\\ket{\\vb e_1}$,<\/li><\/ul>\n\n\n\n
\\begin{equation}
\\vb \\Lambda({\\vb v} (x_4 \\ket{ \\vb{ 0},1} )=x_4(\\lambda_{1,4}\\ket{\\vb{ e}_1,0}+\\lambda_{2,4}\\ket{\\vb{ e}_2,0} +\\lambda_{3,4}\\ket{\\vb{ e}_3,0} +\\lambda_{4,4}\\ket{ \\vb{ 0},1})
\\end{equation}<\/p>\n\n\n\n
which is $\\lambda_{2,4}=\\lambda_{3,4}=0$.<\/p>\n\n\n\n
The direction $\\vb e_1$ is invariant. Hence, for an event in $F$,<\/li><\/ul>\n\n\n\n
\\begin{equation}
\\vb \\Lambda({\\vb v}) ( x_1\\ket{\\vb{ e}_1,0} + x_4 \\ket{ \\vb{ 0},1}) = x_1\\,(\\lambda_{1,1}\\ket{\\vb{ e}_1,0}+\\lambda_{2,1}\\ket{\\vb{ e}_2,0} +\\lambda_{3,1}\\ket{\\vb{ e}_3,0} +\\lambda_{4,1}\\ket{ \\vb{ 0},1}) +x_4(\\lambda_{1,4}\\ket{\\vb{ e}_1,0} +\\lambda_{4,4}\\ket{ \\vb{ 0},1})
\\end{equation}<\/p>\n\n\n\n
$\\lambda_{2,1}=\\lambda_{3,1}=0$. Equation $\\ref{generalLambda}$ simplifies thus as,<\/p>\n\n\n\n\\begin{equation}\n \\begin{matrix}\n\\lambda_{1,1} \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} & \\lambda_{1,2}\\ket{\\vb{e}_1,0}\\bra{\\vb{e}_2,0}&\\lambda_{1,3}\\ket{\\vb{e}_1,0}\\bra{\\vb{e}_3,0}&\\lambda_{1,4}\\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}\\\\\n%\n & \\lambda_{2,2}\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}&\\lambda_{2,3}\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_3,0}&\\\\\n%\n & \\lambda_{3,2}\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_2,0}&\n\\lambda_{3,3}\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}&\n\\\\\n%\n\\lambda_{4,1} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} & \\lambda_{4,2}\\ket{\\vb{0},1}\\bra{\\vb{e}_2,0}&\n\\lambda_{4,3}\\ket{\\vb{0},1}\\bra{\\vb{e}_3,0}&\n\\lambda_{4,4}\\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n \\end{matrix} \\label{generalLambda_1}\n\\end{equation}\n\n\n\n
The spatial component along $\\ket{\\vb{ e}_2,0}$ and $\\ket{\\vb{ e}_3,0}$ of any event preserve their direction <\/strong> and length <\/strong>under $\\vb \\Lambda({\\vb v})$. <\/li><\/ul>\n\n\n\n
\\begin{equation}
\\vb \\Lambda({\\vb v}) \\, (x_2\\ket{ \\vb{ e}_2,0}+x_3\\ket{ \\vb{ e}_3,0}) = x_2\\,(\\lambda_{1,2}\\ket{\\vb{ e}_1,0}+\\lambda_{2,2}\\ket{\\vb{ e}_2,0} +\\lambda_{3,2}\\ket{\\vb{ e}_3,0}) + x_3\\,(\\lambda_{1,3}\\ket{\\vb{ e}_1,0}+\\lambda_{2,3}\\ket{\\vb{ e}_2,0} +\\lambda_{3,3}\\ket{\\vb{ e}_3,0})
\\end{equation}<\/p>\n\n\n\n
condition equivalent to $\\lambda_{1,2}=\\lambda_{1,3}=\\lambda_{2,3}=\\lambda_{3,2}=0$ and $\\lambda_{2,2}=\\lambda_{3,3}=1$.<\/p>\n\n\n\n
Using the conditions above, $\\vb \\Lambda({\\vb v})$ simplifies further as<\/p>\n\n\n\n\\begin{equation}\n \\begin{matrix}\n\\lambda_{1,1} \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} & &&\\lambda_{1,4}\\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}\\\\\n%\n & \\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}&\\\\\n%\n &&\n\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}&\n\\\\\n%\n\\lambda_{4,1} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} & \\lambda_{4,2}\\ket{\\vb{0},1}\\bra{\\vb{e}_2,0}&\n\\lambda_{4,3}\\ket{\\vb{0},1}\\bra{\\vb{e}_3,0}&\n\\lambda_{4,4}\\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n \\end{matrix} \\label{generalLambda_2}\n\\end{equation}\n\n\n\n
and with equation (\\ref{timeT}), we arrive at the final functional form of $\\vb \\Lambda({\\vb v})$<\/p>\n\n\n\n\\begin{equation}\n\\vb \\Lambda({\\vb v})=\n\\lambda_{1,1} \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} + \\lambda_{1,4}\\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}+\n\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}+\n\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}\n-\\beta\\frac{ v} {c} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} \n+\\beta \\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n\\label{simpleLambda_v1}\n\\end{equation}\n\n\n\n
The constants $\\lambda_{1,1}, \\lambda_{2,2}, \\lambda_{3,3},$ and $\\beta$ must be positive to prevent axis reflection.<\/p>\n\n\n\n
Invariance of Light Speed<\/h3>\n\n\n\n
In Special Relativity the spacetime <\/strong>interval between two events $(x_1,y_1,z_1,ct_1)$ and $(x_2,y_2,z_2,ct_2)$ is defined as<\/p>\n\n\n\n
\\begin{equation}\\Delta s^2 = (x_2-x_1)^2 + (y_2-y_1)^2 + (z_2-z_1)^2 -c^2 (t_2-t_1)^2 \\end{equation}<\/p>\n\n\n\n
and can be written in bi-linear form as<\/p>\n\n\n\n
\\begin{align}\\Delta s^2 &= \\bra{\\vb X}\\ket{ \\vb M \\vb* X} \\\\ \\vb* X&= (x_2-x_1,y_2-y_1,z_2-z_1,c (t_2-t_1))
\\end{align}<\/p>\n\n\n\n
where<\/p>\n\n\n\n
\\begin{equation}
{\\vb M}=\\mm
\\end{equation}<\/p>\n\n\n\n
A spacetime interval measured in $F’$ is linked to the same interval in $F$ by the Lorentz transformation<\/p>\n\n\n\n
\\begin{align} \\Delta s’^2 &= \\bra{\\vb* X’}\\ket{ \\vb M \\vb* X’}= \\bra{{\\vb \\Lambda}\\vb{X}}\\ket{ {\\vb M} {\\vb \\Lambda}\\vb{X}}\\\\ &=\\bra{\\vb{X}}\\ket{ {\\vb \\Lambda}^T{\\vb M} {\\vb \\Lambda}\\vb{X}} \\end{align}<\/p>\n\n\n\n
In the system $F$ we consider a photon moving along an unitary vector $\\vb n$. The photon at time $t_1$ is in the position $\\vb x_1$, and moves to the position $\\vb x_1+{\\vb n}\\,c(t_2-t_1)$ at the time $t_2$. The spacetime interval in $F$ of the two events is identically zero,<\/p>\n\n\n\n\\begin{equation}\\Delta s^2 = \\Vert{\\vb n}\\Vert c^2(t_2-t_1)^2-c^2(t_2-t_1)^2 \\end{equation}\n\n\n\n
As we are considering two events along the path of a photon (the so-called world line of a photon), the spacetime interval $\\Delta’ s^2$ in $F’$ must also be zero,<\/p>\n\n\n\n\\begin{equation} \\bra{({\\vb n}\\,c(t_2-t_1),c(t_2-t_1))}\\ket{ {\\vb \\Lambda}^T{\\vb M} {\\vb \\Lambda}\\cdot({\\vb n}\\,c(t_2-t_1),c(t_2-t_1))}=0\\end{equation}\n\n\n\n
equivalent to,<\/p>\n\n\n\n\\begin{equation}\\bra{({\\vb n},1)}\\ket{ {\\vb \\Lambda}^T{\\vb M} {\\vb \\Lambda}\\cdot({\\vb n} ,1)}=0 \\label{rt1l}\\end{equation}\n\n\n\n
for all $\\vb n$ such that $||\\vb n||=1$.<\/p>\n\n\n\n
To solve equation (\\ref{rt1l}) we need ${\\vb M} {\\vb \\Lambda}$, which is ${\\vb \\Lambda}$ with the time component changed sign,<\/p>\n\n\n\n\\begin{equation}\n{\\vb M} \\vb \\Lambda({\\vb v})=\n\\lambda_{1,1} \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} + \\lambda_{1,4}\\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}+\n\\lambda_{2,2}\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}+\n\\lambda_{3,3}\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}\n+\\beta\\frac{ v} {c} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} \n-\\beta \\ket{\\vb{0},1}\\bra{\\vb{0},1}\n\\label{simpleLambda_v11}\n\\end{equation}\n\n\n\n
and $ {\\vb \\Lambda}^T$ is readily obtained by exchanging the bra and ket vectors,<\/p>\n\n\n\n\\begin{equation}\n\\vb \\Lambda({\\vb v})^T=\n\\lambda_{1,1} \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} + \\lambda_{1,4}\\ket{\\vb{0},1}\\bra{\\vb{e}_1,0}+\n\\lambda_{2,2}\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}+\n\\lambda_{3,3}\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}\n-\\beta\\frac{ v} {c} \\ket{\\vb{e}_1,0}\\bra{\\vb{0},1} \n+\\beta \\ket{\\vb{0},1}\\bra{\\vb{0},1}\n\\label{simpleLambda_v12}\n\\end{equation}\n\n\n\n
The product $\\vb \\Lambda({\\vb v})^T{\\vb M} \\vb \\Lambda({\\vb v})$ is<\/p>\n\n\n\n\\begin{equation}\n\\begin{matrix}\n(\\lambda_{1,1}^2-\\beta^2\\frac{v^2} {c^2}) \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} + (\\lambda_{1,1}\\lambda_{1,4}+\\beta^2\\frac{v} {c})\\ket{\\vb{0},1}\\bra{\\vb{e}_1,0}\n+ (\\lambda_{1,1}\\lambda_{1,4}+\\beta^2\\frac{v} {c})\\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}+\\\\\n\\lambda_{2,2}^2\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}+\n\\lambda_{3,3}^2\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}\n+(\\lambda_{1,4}^2-\\beta^2) \\ket{\\vb{0},1}\\bra{\\vb{0},1}\n\\end{matrix}\n\\label{simpleLambda_v13}\n\\end{equation}\n\n\n\n
and equation $\\ref{rt1l}$ reads,<\/p>\n\n\n\n\\begin{equation}\n(\\lambda_{1,1}^2-\\beta^2\\frac{v^2} {c^2}) n_1^2 + 2(\\lambda_{1,1}\\lambda_{1,4}+\\beta^2\\frac{v} {c})n_1\n+\nn_2^2 +\nn_3^2 \n+(\\lambda_{1,4}^2-\\beta^2) =0\n\\label{simpleLambda_v13l}\n\\end{equation}\n\n\n\n
Choosing $n_2$ or $n_3=1$ and $n_1=0$, <\/p>\n\n\n\n\\begin{equation}\n\n(\\lambda_{1,4}^2-\\beta^2) =-1\n\n\\end{equation}\n\n\n\n
Choosing $n_1=\\pm 1$ and $n_2=n_3=0$, <\/p>\n\n\n\n\\begin{gather}\n\n(\\lambda_{1,1}^2-\\beta^2\\frac{v^2} {c^2}) + 2(\\lambda_{1,1}\\lambda_{1,4}+\\beta^2\\frac{v} {c}) +(\\lambda_{1,4}^2-\\beta^2) =0 \\\\\n (\\lambda_{1,1}^2-\\beta^2\\frac{v^2} {c^2}) – 2(\\lambda_{1,1}\\lambda_{1,4}+\\beta^2\\frac{v} {c}) \n+(\\lambda_{1,4}^2-\\beta^2) =0\n\n\\end{gather}\n\n\n\n
and we arrive at the system of equations<\/p>\n\n\n\n\\begin{equation}\n\\begin{matrix}\n\\lambda_{1,1}^2-\\ds\\beta^2\\frac{v^2} {c^2} &= 1 \\\\\n\\lambda_{1,1}\\lambda_{1,4}+\\ds\\beta^2\\frac{v} {c} & =0 \\\\\n\\lambda_{1,4}^2-\\beta^2 &=-1 \\\\\n\n\\end{matrix}\n\\end{equation}\n\n\n\n
which has the only admissible solutions,<\/p>\n\n\n\n\\begin{align}\n\\beta&=\\ds\\frac{1}{\\ds\\sqrt{1-\\frac{v^2}{c^2} }}\\\\\n\\lambda_{1,1}&= \\beta \\\\\n\\lambda_{1,4}&=-\\ds\\frac{v}{c}\\beta \\\\\n\\end{align}\n\n\n\n
The Lorentz transformation takes the final form<\/p>\n\n\n\n\\begin{equation}\n\\vb \\Lambda({\\vb v})=\n\\beta \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} -\\ds\\beta\\frac{v}{c}\\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}+\n(\\vb{I’}-\\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0})\n-\\beta\\frac{ v} {c} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} \n+\\beta \\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n\\label{lambda_1}\n\\end{equation}\n\n\n\n
where the operator $\\vb I’$ is the identity for the components $\\ket{\\vb{e}_1,0}, \\ket{\\vb{e}_2,0}$ and $\\ket{\\vb{e}_3,0}$ ,<\/p>\n\n\n\n\\begin{equation}\n\\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}+\n\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0} = {\\vb{I’}}-\\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0}\n\\end{equation}\n\n\n\n
The inverse of $\\Lambda(v)$ transforms the coordinates from $ F’$ to $F$ and can be readily obtained by exchanging the velocity sign,<\/p>\n\n\n\n\\begin{equation}\n \\underbrace{\\begin{matrix}\n\\beta \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} & &&-\\ds\\frac{v}{c}\\beta \\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}\\\\\n%\n & \\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}&\\\\\n%\n &&\n\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}&\n\\\\\n%\n-\\beta\\ds\\frac{v}{c} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} & & &\n\\beta\\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n \\end{matrix}}_{\\Lambda(\\vb{v})}\n\\times\n \\underbrace{\\begin{matrix}\n\\beta \\ket{\\vb{e}_1,0}\\bra{\\vb{e}_1,0} & &&\\ds\\frac{v}{c}\\beta \\ket{\\vb{e}_1,0}\\bra{\\vb{0},1}\\\\\n%\n & \\ket{\\vb{e}_2,0}\\bra{\\vb{e}_2,0}&\\\\\n%\n &&\n\\ket{\\vb{e}_3,0}\\bra{\\vb{e}_3,0}&\n\\\\\n%\n\\beta\\ds\\frac{v}{c} \\ket{\\vb{0},1}\\bra{\\vb{e}_1,0} & & &\n\\beta\\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n \\end{matrix}}_{\\Lambda^{-1}=\\Lambda(-\\vb{v})} = {\\vb{I}}\n \\label{generalLambda_r2}\n\\end{equation}\n\n\n\n
The Lorentz transformation written explicitly in terms of the velocity vector, as $ \\ket{\\vb{e}_1,0}=\\ket{\\vb{v},0}\/v$, reads,<\/p>\n\n\n\n\\begin{equation}\n\\vb \\Lambda({\\vb v})=\n\\frac{\\beta}{v^2} \\ket{\\vb v,0}\\bra{\\vb{v},0} -\\ds\\frac{\\beta}{c}\\ket{\\vb{v},0}\\bra{\\vb{0},1}+\n(\\vb{I’}-\\frac{1}{v^2}\\ket{\\vb{v},0}\\bra{\\vb{v},0})\n-\\frac{ \\beta} {c} \\ket{\\vb{0},1}\\bra{\\vb{v},0} \n+\\beta \\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n\\label{lambda_123}\n\\end{equation}\n\n\n\n
The derivation of the relativistic Maxwell equations will be easier when the time component $t$ in the Lorentz transformation is in time units, not space $ct$,<\/p>\n\n\n\n\\begin{equation}\n\\vb \\Lambda'({\\vb v})=\n\\frac{\\beta}{v^2} \\ket{\\vb v,0}\\bra{\\vb v,0} -\\ds\\beta\\ket{\\vb v,0}\\bra{\\vb{0},1}+\n(\\vb{I’}-\\frac{1}{v^2}\\ket{\\vb{v},0}\\bra{\\vb{v},0})\n-\\frac{ \\beta} {c^2} \\ket{\\vb{0},1}\\bra{\\vb v,0} \n+\\beta \\ket{\\vb{0},1}\\bra{\\vb{0},1}\\\\\n\\label{lambda_11}\n\\end{equation}\n\n\n\n
Finally, when $\\vb v$ has the direction of the x-axis, the transformation simplifies to the original Einstein formula<\/p>\n\n\n\n\\begin{align}\n x’ &= \\beta(x-vt ) \\nonumber\\\\\n y’&=y\\nonumber\\\\\n z’&=z\\nonumber\\\\\n t’&= \\beta\\left(t-\\ds\\frac{v}{c^2}x \\right)\\label{Lorentz}\n\\end{align}\n\n\n\n
Finally, from equation ($\\ref{simpleLambda_v13l}$), the Lorentz transformation satisfies the condition ${\\vb \\Lambda}^T{\\vb M} {\\vb \\Lambda}=\\vb M$, hence $\\Delta’ s=\\Delta s$ for all events, not only those on a world line of a photon,<\/p>\n\n\n\n\\begin{equation}\n\\Delta s’^2 = \\bra{\\vb X’}\\ket{ \\vb M \\vb* X’}= \\bra{{\\vb \\Lambda}\\vb{X}}\\ket{ {\\vb M} {\\vb \\Lambda}\\vb{X}}=\\bra{\\vb{X}}\\ket{ {\\vb \\Lambda}^T{\\vb M} {\\vb \\Lambda}\\vb{X}}=\\bra{\\vb{X}}\\ket{ {\\vb M} \\vb{X}}=\\Delta s\\label{nrm}\n\\end{equation}\n","protected":false},"excerpt":{"rendered":"
Introduction \$ \\def\\UP{(\\tilde{c}-\\tilde{v}){0\\rightarrow1}} \\def\\DO{(\\tilde{c}-\\tilde{v}){1\\rightarrow2}} \\def\\UPM{|\\tilde{c}-\\tilde{v}|_{0\\rightarrow1}} \\def\\DOM{|\\tilde{c}-\\tilde{v}|_{1\\rightarrow2}} \\def\\ds{\\displaystyle} \\def\\mm{ \\begin{pmatrix} 1 & 0 & 0 & 0 \\\\ 0 & 1 & 0 & 0 \\\\ 0 & 0 & 1 & 0 \\\\ 0 & 0 & 0 & -1 \\end{pmatrix}} \$ In his original article, Einstein elegantly derives the Lorentz transformation of time and […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"nf_dc_page":"","ocean_post_layout":"","ocean_both_sidebars_style":"","ocean_both_sidebars_content_width":0,"ocean_both_sidebars_sidebars_width":0,"ocean_sidebar":"0","ocean_second_sidebar":"0","ocean_disable_margins":"enable","ocean_add_body_class":"","ocean_shortcode_before_top_bar":"","ocean_shortcode_after_top_bar":"","ocean_shortcode_before_header":"","ocean_shortcode_after_header":"","ocean_has_shortcode":"","ocean_shortcode_after_title":"","ocean_shortcode_before_footer_widgets":"","ocean_shortcode_after_footer_widgets":"","ocean_shortcode_before_footer_bottom":"","ocean_shortcode_after_footer_bottom":"","ocean_display_top_bar":"default","ocean_display_header":"default","ocean_header_style":"","ocean_center_header_left_menu":"0","ocean_custom_header_template":"0","ocean_custom_logo":0,"ocean_custom_retina_logo":0,"ocean_custom_logo_max_width":0,"ocean_custom_logo_tablet_max_width":0,"ocean_custom_logo_mobile_max_width":0,"ocean_custom_logo_max_height":0,"ocean_custom_logo_tablet_max_height":0,"ocean_custom_logo_mobile_max_height":0,"ocean_header_custom_menu":"0","ocean_menu_typo_font_family":"0","ocean_menu_typo_font_subset":"","ocean_menu_typo_font_size":0,"ocean_menu_typo_font_size_tablet":0,"ocean_menu_typo_font_size_mobile":0,"ocean_menu_typo_font_size_unit":"px","ocean_menu_typo_font_weight":"","ocean_menu_typo_font_weight_tablet":"","ocean_menu_typo_font_weight_mobile":"","ocean_menu_typo_transform":"","ocean_menu_typo_transform_tablet":"","ocean_menu_typo_transform_mobile":"","ocean_menu_typo_line_height":0,"ocean_menu_typo_line_height_tablet":0,"ocean_menu_typo_line_height_mobile":0,"ocean_menu_typo_line_height_unit":"","ocean_menu_typo_spacing":0,"ocean_menu_typo_spacing_tablet":0,"ocean_menu_typo_spacing_mobile":0,"ocean_menu_typo_spacing_unit":"","ocean_menu_link_color":"","ocean_menu_link_color_hover":"","ocean_menu_link_color_active":"","ocean_menu_link_background":"","ocean_menu_link_hover_background":"","ocean_menu_link_active_background":"","ocean_menu_social_links_bg":"","ocean_menu_social_hover_links_bg":"","ocean_menu_social_links_color":"","ocean_menu_social_hover_links_color":"","ocean_disable_title":"default","ocean_disable_heading":"default","ocean_post_title":"","ocean_post_subheading":"","ocean_post_title_style":"","ocean_post_title_background_color":"","ocean_post_title_background":0,"ocean_post_title_bg_image_position":"","ocean_post_title_bg_image_attachment":"","ocean_post_title_bg_image_repeat":"","ocean_post_title_bg_image_size":"","ocean_post_title_height":0,"ocean_post_title_bg_overlay":0.5,"ocean_post_title_bg_overlay_color":"","ocean_disable_breadcrumbs":"default","ocean_breadcrumbs_color":"","ocean_breadcrumbs_separator_color":"","ocean_breadcrumbs_links_color":"","ocean_breadcrumbs_links_hover_color":"","ocean_display_footer_widgets":"default","ocean_display_footer_bottom":"default","ocean_custom_footer_template":"0","footnotes":""},"_links":{"self":[{"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/pages\/379"}],"collection":[{"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/comments?post=379"}],"version-history":[{"count":6,"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/pages\/379\/revisions"}],"predecessor-version":[{"id":13590,"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/pages\/379\/revisions\/13590"}],"wp:attachment":[{"href":"https:\/\/physicsandmusic.com\/wp-json\/wp\/v2\/media?parent=379"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}