作用積分を通じた測地線方程式の導出
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/02/03 19:29 UTC 版)
「一般相対性理論における測地線」の記事における「作用積分を通じた測地線方程式の導出」の解説
測地線方程式は、最小作用の原理を用いて導出することもできる(そして最も一般的な導出方法である)。 作用を次のように定義する。 S = ∫ d s {\displaystyle S=\int \mathrm {d} s} ここで、 d s = − g μ ν ( x ) d x μ d x ν {\displaystyle ds={\sqrt {-g_{\mu \nu }(x)dx^{\mu }dx^{\nu }}}} は線素(英語版)である。ここから測地線方程式を得るには、この作用に変分を加える必要がある。このために、この作用をパラメータ λ {\displaystyle \lambda } により媒介変数表示することとしよう。すると、以下の方程式が得られる。 S = ∫ − g μ ν d x μ d λ d x ν d λ d λ {\displaystyle S=\int {\sqrt {-g_{\mu \nu }{\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \lambda }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \lambda }}}}\mathrm {d} \lambda } これを曲線 x μ {\displaystyle x^{\mu }} について変分を取ると、最小作用の原理により次の方程式が得られる。 0 = δ S = ∫ δ ( − g μ ν d x μ d λ d x ν d λ ) d λ = ∫ δ ( − g μ ν d x μ d λ d x ν d λ ) 2 − g μ ν d x μ d λ d x ν d λ d λ {\displaystyle 0=\delta S=\int \delta \left({\sqrt {-g_{\mu \nu }{\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \lambda }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \lambda }}}}\right)\mathrm {d} \lambda =\int {\frac {\delta \left(-g_{\mu \nu }{\frac {dx^{\mu }}{\mathrm {d} \lambda }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \lambda }}\right)}{2{\sqrt {-g_{\mu \nu }{\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \lambda }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \lambda }}}}}}\mathrm {d} \lambda } より具体的にするため、固有時 τ によって媒介変数表示することにしよう。四元速度は(時間的経路については) -1 に規格化されるので、上式は次の方程式と同等であるといえる。 0 = ∫ δ ( g μ ν d x μ d τ d x ν d τ ) d τ {\displaystyle 0=\int \delta \left(g_{\mu \nu }{\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\right)\mathrm {d} \tau } 分配則を用いて、以下のように展開できる。 0 = ∫ ( d x μ d τ d x ν d τ δ g μ ν + g μ ν d δ x μ d τ d x ν d τ + g μ ν d x μ d τ d δ x ν d τ ) d τ = ∫ ( d x μ d τ d x ν d τ ∂ α g μ ν δ x α + 2 g μ ν d δ x μ d τ d x ν d τ ) d τ {\displaystyle 0=\int \left({\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\delta g_{\mu \nu }+g_{\mu \nu }{\frac {\mathrm {d} \delta x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}+g_{\mu \nu }{\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} \delta x^{\nu }}{\mathrm {d} \tau }}\right)\mathrm {d} \tau =\int \left({\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\partial _{\alpha }g_{\mu \nu }\delta x^{\alpha }+2g_{\mu \nu }{\frac {\mathrm {d} \delta x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\right)\mathrm {d} \tau } 部分積分を用い、(境界においてゼロとなる)全微分を落とすと、次が得られる。 0 = ∫ d τ ( d x μ d τ d x ν d τ ∂ α g μ ν δ x α − 2 δ x μ d d τ ( g μ ν d x ν d τ ) ) = ∫ d τ ( d x μ d τ d x ν d τ ∂ α g μ ν δ x α − 2 δ x μ ∂ α g μ ν d x α d τ d x ν d τ − 2 δ x μ g μ ν d 2 x ν d τ 2 ) {\displaystyle 0=\int \mathrm {d} \tau \left({\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\partial _{\alpha }g_{\mu \nu }\delta x^{\alpha }-2\delta x^{\mu }{\frac {\mathrm {d} }{\mathrm {d} \tau }}\left(g_{\mu \nu }{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\right)\right)=\int \mathrm {d} \tau \left({\frac {\mathrm {d} x^{\mu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\partial _{\alpha }g_{\mu \nu }\delta x^{\alpha }-2\delta x^{\mu }\partial _{\alpha }g_{\mu \nu }{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}-2\delta x^{\mu }g_{\mu \nu }{\frac {\mathrm {d} ^{2}x^{\nu }}{\mathrm {d} \tau ^{2}}}\right)} 若干整理すると、以下を得る。 0 = ∫ d τ δ x μ ( − 2 g μ ν d 2 x ν d τ 2 + d x α d τ d x ν d τ ∂ μ g α ν − 2 d x α d τ d x ν d τ ∂ α g μ ν ) {\displaystyle 0=\int \mathrm {d} \tau \delta x^{\mu }\left(-2g_{\mu \nu }{\frac {\mathrm {d} ^{2}x^{\nu }}{\mathrm {d} \tau ^{2}}}+{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\partial _{\mu }g_{\alpha \nu }-2{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\partial _{\alpha }g_{\mu \nu }\right)} したがって、 0 = ∫ d τ δ x μ ( − 2 g μ ν d 2 x ν d τ 2 + d x α d τ d x ν d τ ∂ μ g α ν − d x α d τ d x ν d τ ∂ α g μ ν − d x ν d τ d x α d τ ∂ ν g μ α ) {\displaystyle 0=\int \mathrm {d} \tau \delta x^{\mu }\left(-2g_{\mu \nu }{\frac {\mathrm {d} ^{2}x^{\nu }}{\mathrm {d} \tau ^{2}}}+{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\partial _{\mu }g_{\alpha \nu }-{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\partial _{\alpha }g_{\mu \nu }-{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}\partial _{\nu }g_{\mu \alpha }\right)} この方程式を − 1 2 {\displaystyle -{\frac {1}{2}}} 倍すると、 0 = ∫ d τ δ x μ ( g μ ν d 2 x ν d τ 2 + 1 2 d x α d τ d x ν d τ ( ∂ α g μ ν + ∂ ν g μ α − ∂ μ g α ν ) ) {\displaystyle 0=\int \mathrm {d} \tau \delta x^{\mu }\left(g_{\mu \nu }{\frac {\mathrm {d} ^{2}x^{\nu }}{\mathrm {d} \tau ^{2}}}+{\frac {1}{2}}{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\left(\partial _{\alpha }g_{\mu \nu }+\partial _{\nu }g_{\mu \alpha }-\partial _{\mu }g_{\alpha \nu }\right)\right)} よって、ハミルトンの原理(英語版)により次のオイラー=ラグランジュ方程式を得る。 g μ ν d 2 x ν d τ 2 + 1 2 d x α d τ d x ν d τ ( ∂ α g μ ν + ∂ ν g μ α − ∂ μ g α ν ) = 0 {\displaystyle g_{\mu \nu }{\frac {\mathrm {d} ^{2}x^{\nu }}{\mathrm {d} \tau ^{2}}}+{\frac {1}{2}}{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}\left(\partial _{\alpha }g_{\mu \nu }+\partial _{\nu }g_{\mu \alpha }-\partial _{\mu }g_{\alpha \nu }\right)=0} 逆計量テンソル g μ β {\displaystyle g^{\mu \beta }} をかけて、次を得る。 d 2 x β d τ 2 + 1 2 g μ β ( ∂ α g μ ν + ∂ ν g μ α − ∂ μ g α ν ) d x α d τ d x ν d τ = 0 {\displaystyle {\frac {\mathrm {d} ^{2}x^{\beta }}{\mathrm {d} \tau ^{2}}}+{\frac {1}{2}}g^{\mu \beta }\left(\partial _{\alpha }g_{\mu \nu }+\partial _{\nu }g_{\mu \alpha }-\partial _{\mu }g_{\alpha \nu }\right){\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}=0} ここに、測地線方程式が得られた。 d 2 x β d τ 2 + Γ β α ν d x α d τ d x ν d τ = 0 {\displaystyle {\frac {\mathrm {d} ^{2}x^{\beta }}{\mathrm {d} \tau ^{2}}}+\Gamma ^{\beta }{}_{\alpha \nu }{\frac {\mathrm {d} x^{\alpha }}{\mathrm {d} \tau }}{\frac {\mathrm {d} x^{\nu }}{\mathrm {d} \tau }}=0} クリストッフェル記号計量テンソルを用いて以下のように定義される。 Γ β α ν = 1 2 g μ β ( ∂ α g μ ν + ∂ ν g μ α − ∂ μ g α ν ) {\displaystyle \Gamma ^{\beta }{}_{\alpha \nu }={\frac {1}{2}}g^{\mu \beta }\left(\partial _{\alpha }g_{\mu \nu }+\partial _{\nu }g_{\mu \alpha }-\partial _{\mu }g_{\alpha \nu }\right)} (注意: この導出は、光的および空間的経路についても同様に成り立つ。)
※この「作用積分を通じた測地線方程式の導出」の解説は、「一般相対性理論における測地線」の解説の一部です。
「作用積分を通じた測地線方程式の導出」を含む「一般相対性理論における測地線」の記事については、「一般相対性理論における測地線」の概要を参照ください。
- 作用積分を通じた測地線方程式の導出のページへのリンク