ラグランジュ力学

古典力学

$\boldsymbol{F} = \frac{\mathrm{d}}{\mathrm{d}t}(m \boldsymbol{v})$ 運動の第2法則

歴史

分野 静力学 · 動力学 / 物理学における動力学 · 運動学 · 応用力学 · 天体力学 · 連続体力学 · 統計力学 定式化 ニュートン力学 解析力学: ラグランジュ力学 ハミルトン力学 基本概念 空間 · 時間 · 速度 · 速さ · 質量 · 加速度 · 重力 · 力 · 力積 · トルク / モーメント / 偶力 · 運動量 · 角運動量 · 慣性 · 慣性モーメント · 準拠枠 · エネルギー · 運動エネルギー · 位置エネルギー · 力学的仕事 · 仮想仕事 · ダランベールの原理 主要項目 剛体 · 剛体の力学 · 運動 · ニュートン力学 · 万有引力 · 運動方程式 · 慣性系 · 非慣性系 · 回転座標系 · 慣性力 · 平面粒子運動力学 · 変位 · 相対速度 · 摩擦 · 単振動 · 調和振動子 · 短周期振動 · 減衰 · 減衰比 · 自転 · 回転運動 · 等速円運動 · 非等速円運動 · 向心力 · 遠心力 · 遠心力 (回転座標系) · 反応遠心力 · コリオリの力 · 振り子 · 回転速度 · 角加速度 · 角速度 · 角周波数 · 偏位角度 科学者 アイザック・ニュートン · エレミア・ホロックス · レオンハルト・オイラー · ジャン・ル・ロン・ダランベール · アレクシス・クレロー · ジョゼフ＝ルイ・ラグランジュ · ピエール＝シモン・ラプラス · ウィリアム・ローワン・ハミルトン · シメオン・ドニ・ポアソン

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

概要

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

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

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

定式化

一般化座標 $\boldsymbol{q}(t)=(q_1(t),\ldots)$ として、作用積分

$S[\boldsymbol{q}] = \int_{t_I}^{t_F} L(\boldsymbol{q}(t), \dot{\boldsymbol{q}}(t), t)\, dt$

を考える。 一般化座標とその微分（一般化速度）、及び時間の関数として書かれる作用積分の被積分関数

$L(\boldsymbol{q}(t), \dot{\boldsymbol{q}}(t), t)$

はラグランジアンと呼ばれ、系を特徴付ける量である。

実際の運動は最小作用の原理に従い、作用積分が最小値をとるように運動する。

作用の停留条件 $\delta S[\boldsymbol{q}]=0$ から、ラグランジュの運動方程式（オイラー＝ラグランジュ方程式）

$\frac{d}{dt}\frac{\partial L}{\partial\dot{q}_i} -\frac{\partial L}{\partial q_i}=0$

が得られる。 これはニュートンの運動方程式と同等である。

ラグランジアン

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

ラグランジアン $L(q, \dot{q}, t)$ は一般に 運動エネルギー T とはポテンシャル V の差

$L(q, \dot{q}, t) = T -V$

の形をしている。 ラグランジアンはエネルギーの次元を持つスカラーであるが、観測可能な物理量ではなく、その値自体に物理的な意味があるわけではない。 また、座標と時間の任意関数 $f(q,t)$ の時間による微分を加えた

$L'(q, \dot{q}, t) = L(q, \dot{q}, t) +\frac{d}{dt}f(q,t)$

の形でも全く同じ力学系を表す。

運動量

一般化運動量はラグランジアンの一般化速度による微分

$p_i = \frac{\partial L}{\partial\dot{q}_i}$

によって定義される。 これは併進対称性から導かれる保存量である。

一般化運動量を用いると、ラグランジュの運動方程式は

$\dot{p}_i = \frac{\partial L}{\partial q_i}$

となる。ニュートンの運動方程式との比較から、右辺は一般化された力と見ることも出来る。

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

ハミルトン形式との関係

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

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

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

力学変数としては場 $\phi(x)$ を考える。 作用積分は

$S[\phi] = \int d^dx\, \mathcal{L}(\phi, \partial\phi, x)$

で、被積分関数

$\mathcal{L}(\phi, \partial\phi, x)$

は特にラグランジアン密度と呼ばれる。 ラグランジュの運動方程式は

$\partial_\mu\frac{\partial\mathcal{L}}{\partial(\partial_\mu\phi)} -\frac{\partial\mathcal{L}}{\partial\phi} =0$

となる。

具体例

相対論的な粒子系

相対論的な系では、時間は位置と共に4元ベクトルとなるので、時間は力学変数となり、積分の変数ではなくなる。パラメータを λ とし、

$q=q_i^\mu(\lambda)=(t_i(\lambda), \boldsymbol{x}_i(\lambda)),~ \dot{q} = \frac{dq}{d\lambda}$

とする。μ は時空の添え字で i は粒子を区別する添え字である。 自由粒子系を考えると、作用積分は

$S[q] = \int L(q, \dot{q}, \lambda)\, d\lambda = \int \sum_i \left( -m_i \sqrt{\eta_{\mu\nu}\, \dot{q}_i^\mu \dot{q}_i^\nu} \right)\, d\lambda$

である。η は平坦な時空の計量で $\eta = \mathrm{diag}(1, -1, \ldots, -1)$ である。

ラグランジュの運動方程式は

$\frac{\delta S[q]}{\delta q_i^\mu(\lambda)} = -\dot{p}_{i\mu}(\lambda) = 0$

となる。 ここで、一般化運動量は

$p_{i\mu}(\lambda) = \frac{\partial L}{\partial\dot{q}_i^\mu} = -m_i \frac{\eta_{\mu\nu}\,\dot{q}_i^\nu(\lambda)} {\sqrt{\eta_{\rho\sigma} \dot{q}_i^\rho \dot{q}_i^\sigma}}$

である。 固有時間 $d\tau_i^2 = \eta_{\rho\sigma}dq_i^\rho dq_i^\sigma$ を使うと、

$p_{i\mu}(\lambda) = -m_i \eta_{\mu\nu} \frac{dq_i^\nu}{d\tau_i} = \left( -m_i\frac{dt_i}{d\tau_i}, m_i\frac{d\boldsymbol{x}_i}{d\tau_i} \right)$

となる。

電磁場

電磁場の力学変数は電磁ポテンシャル $A^\mu = (A_0, \boldsymbol{A})$ である。 作用積分は

$S[q,A] =S_q[q] +S_A[A] +S_\mathrm{int}[q,A]$

の形をしている。S_q は物質の項、S_A は電磁場の項、S_int は電磁場と物質の相互作用項である。 電磁場の項は

$S_A[A] = \int \mathcal{L}_A(A, \partial A, x)\, d^4x = -\frac{1}{4} \int F_{\mu\nu} F^{\mu\nu} d^4x$

である。$F_{\mu\nu} \equiv \partial_\mu A_\nu -\partial_\nu A_\mu$ は電磁場テンソルである。

電磁場 A に関するラグランジュの運動方程式は

$\frac{\delta S[q,A]}{\delta A_\mu(x)} = \frac{\delta S_A[A]}{\delta A_\mu(x)} +\frac{\delta S_\mathrm{int}[q,A]}{\delta A_\mu(x)} =0$

である。

$\frac{\delta S_A[A]}{\delta A_\mu(x)} = \partial_\nu F^{\nu\mu}(x)$

からマクスウェルの方程式

$\partial_\nu F^{\nu\mu}(x) =j^\mu(x)$

が得られる。 なお、4元電流密度は

$j^\mu(x) \equiv -\frac{\delta S_\mathrm{int}[q,A]}{\delta A_\mu(x)}$

である。

電磁場中の粒子系

物質場として相対論的な粒子系を考え、相互作用項

$S_\mathrm{int}[q,A] = \int d\lambda\, \int d^4x\, \mathcal{L}_\mathrm{int}(q, \dot{q}, \lambda; A, \partial A, x)$

$\mathcal{L}_\mathrm{int}(q, \dot{q}, \lambda; A, \partial A, x) =-\sum_i \left( e_i \dot{q}_i^\mu(\lambda) \delta^4(x-q_i(\lambda)) \right) A_\mu(x)$

を考える。

このとき、物質 q に関する運動方程式は

$\frac{\delta S_q[q]}{\delta q_i^\mu(\lambda)} +\frac{\delta S_\mathrm{int}[q,A]}{\delta q_i^\mu(\lambda)} = -\dot{p}_{i\mu} +e_i \dot{q}_i^\nu F_{\nu\mu}(q_i) = 0$

となり、ローレンツ力を再現する。

また、4元電流密度は

$j^\mu(x) = -\frac{\delta S_\mathrm{int}[q,A]}{\delta A_\mu(x)} = \int \sum_i \left( e_i \dot{q}_i^\mu(\lambda) \delta^4(x-q_i(\lambda)) \right)\, d\lambda$

となる。

関連記事

• オイラー＝ラグランジュ方程式
• 最小作用の原理
• 解析力学 - ハミルトン力学
• ネーターの定理

参考文献

• L.D.ランダウ、E.M.リフシッツ 『力学』 東京図書出版〈理論物理学教程〉、1974年。ISBN 4-489-01160-1。
• L.D.ランダウ、E.M.リフシッツ 『場の古典論』 東京図書出版〈理論物理学教程〉、1978年。ISBN 4-489-01161-X。
• 清水明 『新版 量子論の基礎―その本質のやさしい理解のために―』 サイエンス社、2004年。ISBN 4-7819-1062-9。
• 江沢洋 『解析力学』 培風館〈新物理学シリーズ〉、2007年。ISBN 978-4-563-02436-9。

外部リンク

• （百科事典）「Lagrangian mechanics」 - スカラーペディアにある「ラグランジュ力学」についての項目。（英語）