En el presente documento daremos solución a la tarea siguiendo el capítulo 11 del Jackson Tercera Edición, el cuál hace uso de las propiedades matemáticas del espacio tiempo de Minkowski. Se realizarán precisiones donde falten en el libro con apoyo de argumentos originales.
$$ \overline{g}(e_i) = e^i \forall i \neq 0 $$$$\overline{g}(e_0) = - e^0$$$$ u^T g v = (\overline{g}(u), v) $$$$g = \begin{pmatrix} -1 & & & \\ & 1 & & \\ & & 1 & \\ & & & 1 \end{pmatrix} $$$$det(A^T g A) det(A^T) det(g) det(A)= det(g)$ $$$$ Dado a que consideraremos únicamente transformaciones propias de Lorentz restringimos $det(A) = 1$, esto no es más que definir una orientación. De \eqref{lorentz} tenemos que los coeficientes de la matriz $g$ cumplen el siguiente sistema de ecuaciones $$$$ la simetría de la matriz $g$ reduce el número de ecuaciones independientes de 16 a 10 lo cuál nos da una forma de coordenar a las componentes con 6 números. 3 de ellos son ángulos para rotaciones espaciales ordinarias, los otros tres de los boosts o rotaciones hiperbólicas de los que principalmente estamos interesados. En esta solución usaremos al generador $L$ para $A$ $$$$ indaguemos en sus propiedades. Sabemos que el determinante de $A$ es unitario así que se debe cumplir $$$$ recordemos que la traza de una matriz es la suma de los valores característicos de esta, por tanto si llegasemos a suponer que $L$ es solamente boost sus eigenvalores son tres $\lambda_i$ y cumplen \begin{equation} \lambda_1 + \lambda_2 + \lambda_3 =0. \label{eigen} \end{equation} Manipulemos un poco la ecuación (1) a sabiendas de que $g^2=I$ $$$$ tomando la definición del generador $$A^T= e^{L^T} \implies gA^Tg = e^{g L^Tg} \implies g^2 A^{-1} g^2 = A^{-1}= e^{g L^T g} \implies e^{-L} = e^{g L^T g} $$ Esto nos da la siguiente propiedad
\begin{equation} -gL = gg L ^T g = L^T g = (gL)^T \label{antisimetria} \end{equation}
\[ L = \begin{pmatrix} 0 & L_{01} & L_{02} & L{03} \\ L_{01} & 0 & L_{12} L_{13} \\ L_{02} & -L_{12} & 0 & L_{23} \\ L_{03} & - L_{13} & -L_{23} & 0 \end{pmatrix} .\]\[ K_1 = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 1& 0 & & \\ 0 & & 0 & \\ 0 & & & \end{pmatrix} , \ \ \ K_2 = \begin{pmatrix} 0 & 0 & 1 & 0 \\ 0& & & \\ 1 & & & \\ 0 & & & \end{pmatrix} , \ \ \ K_2 = \begin{pmatrix} 0 & 0 & 0 & 1 \\ 0& & & \\ 0 & & & \\ 1 & & & \end{pmatrix} \ \ \ .\]Denotaremos a $\epsilon \cdot K$ como una combinación lineal de las matrices esto es $\epsilon = \epsilon_1 K_1 + \epsilon_2 K_2 + \epsilon_3 K_3$. Si $\epsilon$ es un vector unitario, se cumple la siguiente igualdad $(\epsilon \cdot K)^3 = \epsilon \cdot K$. Esta propiedad se sostiene dado que los eigenvalores de una matriz cúbicamente idempotente son de la siguiente manera. Sea $F$ una matriz cúbicamente idempotente, supongamos que es diagonalizable \begin{align*} Fv &= \lambda v \ F^3 v &= \lambda^3 v \implies \lambda^3 = \lambda\ \lambda(\lambda^2 -1) &= 0 \end{align*} en conclusión una matriz cúbica idempotente tiene sus eigen valores son unitarios positivo, negativo o nulo.
$$det (gL^T) = det(-gL)$$$$\implies det(L) = - det(L) \implies det(L) =0$$\[ \begin{pmatrix} 0 & \epsilon_1 & \epsilon_2 & \epsilon_3 \\ \epsilon_1 & & & \\ \epsilon_2 & & & \\ \epsilon_3 & & & \end{pmatrix} \begin{pmatrix} 1 \\ \epsilon_1 \\ \epsilon_2 \\ \epsilon_3 \end{pmatrix} = \begin{pmatrix} \epsilon_1^2 + \epsilon_2^2 + \epsilon_3^2 \\ \epsilon_1 \\ \epsilon_2 \\ \epsilon_3 \end{pmatrix} = \begin{pmatrix} 1 \\ \epsilon_1 \\ \epsilon_2 \\ \epsilon_3 \end{pmatrix} \]$$A = \exp(-\hat{\beta}\cdot K \tanh^{-1}\left( \beta \right) )$$$$A = - \hat{\beta} \cdot K \gamma \beta + \left( \hat{\beta} \cdot K \right)^2 (\gamma - 1) + I $$\[ A= \begin{pmatrix} \gamma & -\gamma \beta_1 & -\gamma_2 \beta_2& -\gamma \beta_3 \\ \gamma \beta_1 & 1+ (\gamma -1)\frac{\beta_1^2}{\beta} &(\gamma -1) \beta_1 \beta_2 & (\gamma -1) \frac{\beta_1\beta_3 }{\beta} \\ -\gamma \beta_2 & \frac{\gamma -1}{\beta} & 1+(\gamma - 1) \frac{\beta_2^2}{\beta} & \frac{\gamma -1 }{}\beta\\ -\gamma \beta_3 & (\gamma -1) \frac{\beta_1\beta_3}{\beta} & (\gamma -1) \frac{\beta_2 \beta_3}{\beta} & 1 + (\gamma -1) \frac{\beta_3^2}{\beta}\end{pmatrix} .\]