ローレンツ変換
物理学に於けるローレンツ変換とはガリレイ変換がニュートンの運動方程式に対して不変な座標変換であるのと同じような感じで電磁波の波動方程式に対して不変な座標変換を表わす線形変換である。名称はオランダの物理学者ヘンドリック・ローレンツに因む。
アインシュタインの特殊相対性理論の基礎となる変換公式とされている。
概要[編集]
取り敢えずローレンツ変換とは以下の如き(x,y,z,t)座標(※四次元時空)に対する変換である。；
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} x' = \gamma (x-vt) \\ y' = y \\ z' = z \\ t' = \gamma (t-vx/c^2) \end{cases} }
ここで係数γはローレンツ因子と呼ばれる実数で
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \gamma=\frac{1}{\sqrt{1-v^2/c^2}}}
で表される。(※文字cは真空中の光速度を表す。)
上述の変換に対してc→♾(光速度=無限大)の極限をとれば ガリレイ変換と同じものになる。
導出[編集]
ちょっと大変だけど上述のローレンツ変換の等式を導いてみよう。その準備としてまず以下の合成関数の偏微分公式を求める事にする。
合成関数
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(\alpha,\beta)= f(\alpha(x,t),\beta(x,t)) }
を考えると連鎖法則より
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f_x=f_\alpha \alpha_x+f_\beta \beta_x}
が成り立つ。これを更に偏微分すれば
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} f_{xx} & = (f_\alpha \alpha_x)_x+ (f_\beta \beta_x)_x \\ & = (f_\alpha)_x \alpha_x+f_\alpha \alpha_{xx}+ (f_\beta)_x \beta_x+f_\beta \beta_{xx} \end{align} }
が得られる(積の微分法を用いた。)。
ここで(天下り的だが)関数α、βの2階偏導関数を零とすれば
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} f_{xx} & = (f_\alpha)_x \alpha_x+(f_\beta)_x \beta_x \\ & = \{(f_\alpha)_{\alpha} \alpha_x+(f_\alpha)_{\beta} \beta_x \}\alpha_x+ \{(f_\beta)_{\alpha} \alpha_x+(f_\beta)_{\beta} \beta_x \}\beta_x \end{align} }
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \therefore f_{xx}= \alpha_{x}^{2} f_{\alpha \alpha}+2\alpha_x \beta_x f_{\alpha \beta}+\beta_{x}^{2}f_{\beta \beta} }
が求まる(シュヴァルツの定理を使った)。同様に
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f_{tt}= \alpha_{t}^{2} f_{\alpha \alpha}+2\alpha_t \beta_t f_{\alpha \beta}+\beta_{t}^{2}f_{\beta \beta} }
も成り立つ。
さて、話は変わるけど1次元のガリレイ変換は
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x'=x-vt,t'=t}
で表される(y,z座標は略した)。これをお手本にして
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x'=D(x-vt),t'=At+Bx}
なる座標変換を考えたらx'=α、t'=βとおいた時
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \alpha_x=D,\alpha_t=-Dv,\beta_x=B,\beta_t=A}
が求まる。これを上述の偏微分公式に代入すれば
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{cases} f_{xx} = D^2f_{x'x'}+2BDf_{x't'}+B^2f_{t't'} \\ f_{tt} = D^2 v^2 f_{x'x'}-2ADvf_{x't'}+A_2 f_{t't'} \end{cases} }
が成り立つ。
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \frac{\partial^2 \phi}{\partial t^2}= c^2\frac{\partial^2 \phi}{\partial x^2} }
で与えられるが、これを
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \Box \phi=\frac{\partial^2 \phi}{\partial x^2} -\frac{1}{c^2}\frac{\partial^2 \phi}{\partial t^2}=0 }
と変形しよう(※上式の□はダランベール演算子またはダランベルシアンと呼ばれる偏微分作用素である。[1])。これを使うと上述の偏微分の等式は 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \begin{align} \Box f & = f_{xx}-\frac{1}{c^2}f_{tt} \\ & = D^2 f_{x'x'}+2BDf_{x't'}+B^2 f_{t't'}-\frac{D^2 v^2}{c^2}f_{x'x'}+2\frac{ADv}{c^2}f_{x't'}-\frac{A^2}{c^2}f_{t't'} \\&=0 \end{align} } と書ける。で、この式が電磁波の方程式と同じ形になるためには 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle D^2\left(1-\frac{v^2}{c^2} \right)=1,B+\frac{Av}{c^2}=0,B^2-\frac{A^2}{c^2}=-\frac{1}{c^2}} が成立せねばならない。これを未知数A,B,Dに関する連立方程式と考えて解けば
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle A=D=\frac{1}{\sqrt{1-(v/c)^2}}=\gamma}
- 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「https://ja.wikipedia.org/api/rest_v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle B= -\frac{v/c^2}{\sqrt{1-(v/c)^2}}=-\gamma (v/c^2) }
が得られる。これらを上述の座標変換公式に代入すればローレンツ変換の公式が導かれる。//