sl2自然表現/Lorentzブースト/sl2exp明示公式
光速$c=1$の単位系です。適宜次元を合わせてくださいまし。
$\tanh^{-1}$は$\tanh$の逆関数。
$$ (x',t')=\exp\left[ -\left( x\dfrac {\partial }{\partial t}+t\dfrac {\partial }{\partial x}\right) \tanh^{-1} V\right]･\left( x,t\right) =\frac{(-Vt+x,t-Vx)}{\sqrt{1-V^2}}$$
こんばんは(´･ω･)ﾉ こちらが今日紹介するメインとなります(^^*)準備をして証明を行った後、基本的な性質との対応を見ます。
$A=
\begin{eqnarray}
\left(
\begin{array}{cc}
a_0 & a_+ \\
a_- & -a_0
\end{array}
\right)
\end{eqnarray}
$,$\phi=\sqrt{a_0^2+a_+a_-}$とする。このとき
$$ e^A=\begin{eqnarray}
\left(
\begin{array}{cc}
\cosh\phi+a_0 \phi^{-1} \sinh\phi & a_+\phi^{-1}\sinh\phi \\
a_-\phi^{-1}\sinh \phi & \cosh\phi-a_0 \phi^{-1} \sinh\phi
\end{array}
\right)
\end{eqnarray}$$
対角化してドーンです。
$$A= \dfrac{1}{2\p}\begin{eqnarray}
\left(
\begin{array}{cc}
\p +a_0 & -\p +a_0\\
a_- & a_-
\end{array}
\right)
\left(
\begin{array}{cc}
\p& 0 \\
0 & -\p
\end{array}
\right)
\left(
\begin{array}{cc}
a_- & \p -a_0 \\
-a_- & \p +a_0
\end{array}
\right)
\end{eqnarray}$$
$$ \begin{eqnarray}
e^A=\dfrac{1}{2\phi}\left(
\begin{array}{cc}
\p +a_0 & -\p +a_0\\
a_- & a_-
\end{array}
\right)
\left(
\begin{array}{cc}
e^\p & 0 \\
0 & e^{-\p}
\end{array}
\right)
\left(
\begin{array}{cc}
a_- & \p -a_0 \\
-a_- & \p +a_0
\end{array}
\right)
\end{eqnarray}$$
$\phi$は±の不定性がありますが$\cosh z,z^{-1}\sinh z$が偶関数なので問題なく表せます。
交換子積を$[A,B]=AB-BA$とすると以下のリー代数準同型が作れます。
\begin{align} sl_2&\cong \mathbb{C}E_0\oplus \mathbb{C}E_+ \oplus \mathbb{C}E_-\\ E_+ &:=t\d x\\ E_- &:=x\d t\\ E_0 &:=t\d t-x\d x\\ [E_+,E_-]&=E_0\\ [E_0,E_+]&=2E_+\\ [E_-,E_0]&=2E_-\end{align}
実際に準同型を満たしていることの確認です。
$ \left[ E_+,E_-\right] \cdot f\left( x,t\right) =t\d x \cdot \left( xf_t \right) -x\d t \cdot \left(f_x \right) =tf_t-xf_x =E_0･f\left( x,t\right) $
$\left[ E_0,E_+\right] \cdot f\left( x,t\right) =t\d t \cdot \left( tf_x\right) -x\d x \left(tf_x\right) -t\d x \cdot \left( tf_t-xf_x\right) =2E_+\cdot f\left( x,t\right) $
$\left[ E_-,E_0\right] \cdot f\left( x,t\right) =x\d t \cdot \left( tf_t-xf_x\right) -t\d t \cdot \left(xf_t\right) +x\d x \cdot \left(xf_t\right)=2E_-\cdot f\left( x,t\right) $
一方行列表現もあります。
\begin{align}\rho (E_0)= \left(\begin{array}{}1&0\\ 0&-1\end{array}\right)\\ \rho (E_+)= \left(\begin{array}{}0&1\\ 0&0\end{array}\right)\\ \rho (E_-) = \left(\begin{array}{}0&0\\ 1&0\end{array}\right)\\ \end{align}
実際に同じような交換関係が成立します。これは微分作用素表現が自然表現に対応する行列と同等に使えることを示しています。
\begin{align} [\rho (E_+),\rho(E_-)]&=\rho(E_0)\\
[\rho(E_0),\rho(E_+)]&=2\rho(E_+)\\
[\rho(E_-),\rho(E_0)]&=2\rho(E_-)\end{align}
$$e^{a\frac{\partial}{\partial z}}･g(z)=g(z+a)$$
$$a^{z\frac{\partial}{\partial z}}･g(z)=g(az)$$
x,tのベクトルへの作用
$$e^{a E_+}･\binom{x}{t} =\binom{x+at}{t}=e^{a\rho(E_+)} \binom{x}{t} $$
$$e^{a E_-}･\binom{x}{t} = \binom{x}{t+ax}=e^{a\rho(E_-)}\binom{x}{t} $$
$$a^{E_0}･\binom{x}{t} = \binom{x/a}{at}=a^{-\rho(E_0)}\binom{x}{t} $$
行列を転置したので$a_0$の符号が逆転してます。
各生成元毎に2次正方行列をUDL分解すれば一般のLie環の元に対してもexpを明示的に書き表せます
$$\exp \left(-a_0 E_0+a_+E_++a_-E_-\right)･g\binom{x}{t}=g\left(e^A ･\binom{x}{t}\right) $$
オーバーキルな公式を導きました(僕的にはこっちをtexにおこす方がメインの内容だったんですがw)
$$
A=\begin{eqnarray}
\left(
\begin{array}{cc}
0 & -\tanh^{-1}V \\
-\tanh^{-1} V & 0
\end{array}
\right)
\end{eqnarray}
$$
としましょう。そうすれば冒頭の定理を得られます！！！
$$ (x',t')=\exp\left[ -\left( x\dfrac {\partial }{\partial t}+t\dfrac {\partial }{\partial x}\right) \tanh^{-1} V\right]･\left( x,t\right) =\frac{(-Vt+x,t-Vx)}{\sqrt{1-V^2}}$$
この表示から見られる性質を述べます。
$$\left(x\dfrac {\partial }{\partial t}+t\dfrac {\partial }{\partial x}\right) ･(t^2-x^2)=0$$
なのでこの線形変換は作用でMinkowski距離$D^2=t^2-x^2$を保つことが分かります:
$\exp\left[ -\left( x\dfrac {\partial }{\partial t}+t\dfrac {\partial }{\partial x}\right) \tanh^{-1} V\right]･D^2=D^2$
Lorentz変換の要請を満たし、かつ時間が絡む線形変換であると確かめられました!
Lorentz変換の合成$V_1\oplus V_2=V_3$について見ましょう。作用素が指数関数の形になっているので
$$\exp\left[ -\left( x\dfrac {\partial }{\partial t}+t\dfrac {\partial }{\partial x}\right) \left(\tanh^{-1} V_1+\tanh^{-1} V_2\right)\right]= \exp\left[ -\left( x\dfrac {\partial }{\partial t}+t\dfrac {\partial }{\partial x}\right) \tanh^{-1} V_3\right] $$
さらに$tanh$の加法定理を用いると
$V_3=V_1\oplus V_2=\dfrac{V_1+V_2}{1+V_1V_2}$
が得られます。$V∈(-1,1)で\oplus$が群をなすという感じですね〜〜
とまぁそんな感じです。Lie代数の生成子の考えを突き進めて、次の文献
http://t-ikeda.akira.ne.jp/enter/science/phys/relativity/relativity18.pdf
が読めるでしょう。
読んでいただきありがとうございました(･ω･)_ _)