ラグランジュ力学

テンプレート:出典の明記テンプレート:古典力学 ラグランジュ力学（英語：Lagrangian mechanics）は、一般化座標とその微分を基本変数として記述された古典力学である。フランスの物理学者ジョゼフ＝ルイ・ラグランジュが創始した。後のハミルトン力学と同様にニュートン力学を再定式化した解析力学の一形式である。

概要

ラグランジュ形式の解析力学は最小作用の原理によって構成される。元々はニュートン的な力学の分野において成立したが、電磁気学や相対性理論でも応用することが出来て、これらの分野における基礎方程式（マクスウェル方程式、アインシュタイン方程式）を導き出すことが出来る。また、量子力学においても、経路積分の方法は最小作用の原理に関連して考え出された方法である。

ラグランジュ形式では一般化座標によって記述されており、変数の取り方が任意である。ニュートンの運動方程式はベクトルの方程式であり、デカルト座標以外では煩雑な座標変換が必要となるが、ラグランジュ形式においてはラグランジアンはスカラーであり座標変換が簡単である。

実際の計算上でも、例えば長さが一定の振り子などで円周上を運動する場合には、平面内の運動なのでニュートンの運動方程式では2つの方向の2変数が必要となるが、ラグランジュ形式では一般化座標として角度を選ぶことにより1変数の方程式が得られる。もちろんニュートンの運動方程式はラグランジュ形式と等価なので適当な変換により同じ式が得られるが、ラグランジュ形式では直接得られる点で便利である。

定式化

一般化座標 <math>\boldsymbol{q}(t)=(q_1(t),\ldots)</math> として、作用積分 テンプレート:Indent(t), t)\, dt</math> }} を考える(上付きのドットは, 時刻tに関する微分（偏微分ではない）を意味する)。一般化座標とその微分（一般化速度）、及び時間の関数として書かれる作用積分の被積分関数テンプレート:Indent(t), t)</math> }} はラグランジアンと呼ばれ、系を特徴付ける量である。

一般化座標は実際には起こらない運動の値も取りうるが、現実の運動は最小作用の原理に従い、作用積分が最小値をとるように運動する^[1]。

作用の停留条件 <math>\delta S[\boldsymbol{q}]=0</math> から、ラグランジュの運動方程式（オイラー＝ラグランジュ方程式^[2]）テンプレート:Indent が得られる。これはニュートンの運動方程式と同等である。

ラグランジアン

ラグランジアン（Lagrangian）は物理的な力学系の動力学を記述するために用いられる関数である。ラグランジュ関数とも呼ばれる。

ラグランジアン <math>L(\boldsymbol{q},\dot{\boldsymbol{q}},t)</math> は一般に運動エネルギー T とポテンシャル V の差テンプレート:Indent, t) = T -V</math> }} の形をしている。ラグランジアンはエネルギーの次元を持つスカラーであるが、観測可能な物理量ではなく、その値自体に物理的な意味があるわけではない。また、座標と時間の任意関数 <math>f(\boldsymbol{q},t)</math> の時間による微分を加えたテンプレート:Indent, t) = L(\boldsymbol{q}, \dot{\boldsymbol{q}}, t) +\frac{d}{dt}f(\boldsymbol{q},t)</math> }} の形でも全く同じ力学系を表す。

運動量

一般化運動量はラグランジアンの一般化速度による微分テンプレート:Indent によって定義される。これは併進対称性から導かれる保存量である。

一般化運動量を用いると、ラグランジュの運動方程式はテンプレート:Indent となる。ニュートンの運動方程式との比較から、右辺は一般化された力と見ることも出来る。

ハミルトン形式では一般化座標と一般化運動量によって記述されている。一般化運動量は正準共役量であり、共役運動量や正準運動量と呼ばれることもある。

ハミルトン形式との関係

ハミルトン形式とラグランジュ形式はルジャンドル変換を通して等価である。但し、ラグランジアンが退化している場合は、ルジャンドル変換が微分同相写像ではなくなり、ラグランジュ系からハミルトン系へ移行することができなくなる。この退化している場合の処方としてディラックの拘束理論が知られている。

ラグランジュ形式による場の理論

特に相対論的な場の理論の場合では、ラグランジュ形式から出発するのが一般的である。その方が相対論的不変性などの対称性が見やすいからである^[3]。

力学変数としては場 <math>\phi(x)</math> を考える。作用積分はテンプレート:Indent で、被積分関数テンプレート:Indent は特にラグランジアン密度と呼ばれる。ラグランジュの運動方程式はテンプレート:Indent{\partial(\partial_\mu\phi)}

-\frac{\partial\mathcal{L}}{\partial\phi} =0</math>

}} となる。

具体例

相対論的な粒子系

相対論的な系では、時間は位置と共に4元ベクトルとなるので、時間は力学変数となり、積分の変数ではなくなる。パラメータを λ とし、テンプレート:Indent とする。μ は時空の添え字で i は粒子を区別する添え字である。自由粒子系を考えると、作用積分はテンプレート:Indent である。η は平坦な時空の計量で <math>\eta = \mathrm{diag}(1, -1, \ldots, -1)</math> である。平方根の中が正である為に、作用積分の段階で運動は時間的なものに限定されている。

ラグランジュの運動方程式はテンプレート:Indent となる。ここで、一般化運動量はテンプレート:Indent</math> }} である。固有時間 <math>c^2d\tau_i^2 = \eta_{\rho\sigma}dq_i^\rho dq_i^\sigma</math> を使うと、テンプレート:Indent となる。

補助場の導入

この作用は平方根の中に微分を含む形のため扱いが困難である。補助場を導入して別の形に書くことが出来る。テンプレート:Indent ここで補助場 <math>\gamma_i(\lambda)</math> の微分は含まれておらず、非物理的な量である。この作用積分は一般化速度の二次形式で書かれている。作用積分の段階では運動は時間的なものに限定されない。

補助場の運動方程式はテンプレート:Indent となる。m が 0 でないときにはテンプレート:Indent となって上の作用積分と等価であることが確認される。 q の運動方程式はテンプレート:Indent であり、一般化運動量はテンプレート:Indent である。

電磁気学

電磁場の力学変数は電磁ポテンシャル A である。マクスウェルの方程式はテンプレート:Indent の形の作用積分により導かれる。 S_q は物質の項、S_A は電磁場の項、S_int は電磁場と物質の相互作用項であり、電磁場の項はテンプレート:Indent と書かれる。ここで F は電磁場テンソルである。テンプレート:Main

電磁場中の粒子系

物質場として相対論的な粒子系を考え、相互作用項テンプレート:Indent テンプレート:Indent を考える。

このとき、物質 q に関する運動方程式はテンプレート:Indent となり、ローレンツ力を再現する。

また、4元電流密度はテンプレート:Indent となる。

一般相対性理論

一般相対性理論においては、平坦な時空の計量は曲がった時空の計量 g に置き換えられ、これが力学変数となる。作用積分はテンプレート:Indent と書かれる。重力場の項はテンプレート:Indent である。ここで R はスカラー曲率である。アインシュタイン方程式は時空の計量 g の運動方程式として導かれる。テンプレート:Main

脚注

↑ 実際は極小値。計算上は停留条件が用いられる。
↑ 運動方程式以外にも用いられ、少し広い用法である。
↑ 清水(2004)

参考文献

外部リンク

テンプレート:Spedia

テンプレート:Physics-stub

[1] 実際は極小値。計算上は停留条件が用いられる。

[2] 運動方程式以外にも用いられ、少し広い用法である。

[3] 清水(2004)

[1]

[2]

[3]