授業で習った形との対応

2026年10月15日7分で読めますAI生成教科書『虎の巻』第2部第3章相対論的粒子の作用

式の対応
「相対論的質量」と縦・横の質量
遅い極限
木下の層

AI 生成・木下が未勉強

解析力学から様々な理論分野を組み立てる　第2部第3章 §2.3.7　★★ 学部の特殊相対論で天下りに置く $\bm{p}=\gamma m\bm{v}$ ・ $E=\gamma mc^2$ ・ $E^2=p^2c^2+m^2c^4$ ・ $\frac{\mathrm{d} \bm{p}}{\mathrm{d} t}=\bm{F}$ を、この章の式番号と並べる

式の対応

解析力学を使わない特殊相対論の授業では、Lorentz 変換と時間の遅れ・Lorentz 収縮を先に導き、次に「運動量の保存が Lorentz 変換で崩れないように」運動量の定義を $\gamma m\bm{v}$ に改め、さらに運動量の時間変化を力と定め、力のする仕事からエネルギー $\gamma mc^2$ を求める、という順に進むことが多い。この章ではそれぞれが次の所から出た。

授業での書き方	この章での出どころ	式
時間の遅れ $\Delta t=\gamma\Delta\tau$	作用そのもの（固有時）	(2.3.3)
$\bm{p}=\gamma m\bm{v}$ （定義）	正準運動量 $\partial L/\partial\bm{v}$	(2.3.9)
$E=\gamma mc^2$ （仕事から）	Legendre 変換 $\bm{p}\cdot\bm{v}-L$	(2.3.10)
$E^2=p^2c^2+m^2c^4$	質量殻の拘束	(2.3.16)
$(E/c,\bm{p})$ は4元ベクトル	$-\partial L_\lambda/\partial\dot x^\mu$	(2.3.14)
$\frac{\mathrm{d} \bm{p}}{\mathrm{d} t}=\bm{F}$	Euler–Lagrange 方程式	(2.3.19)・(2.3.22)
運動量とエネルギーの保存	時空の並進の Noether の保存量	(2.3.13)

授業の順序では、 $\bm{p}=\gamma m\bm{v}$ は「衝突で保存するように」選んだ定義で、 $E=\gamma mc^2$ は「力のする仕事を積分したもの」なので、2つは別々の議論から出る。この章ではどちらも $L=-mc^2/\gamma$ という1つの関数から、微分（ $\partial L/\partial\bm{v}$ ）と Legendre 変換で機械的に出た。保存則も、別に要請したのでなく $L$ の対称性の帰結である。

「相対論的質量」と縦・横の質量

古い教科書には $m_{\mathrm{rel}}=\gamma m$ を「動いている物体の質量」と呼ぶ書き方がある。この章では質量 $m$ は作用に入る1つの定数で、Lorentz 変換で変わらない（質量殻 (2.3.16) の右辺）。 $\gamma m$ は運動量と速度の比 $\lvert \bm{p}\rvert /\lvert \bm{v}\rvert$ にすぎず、力と加速度の比にはならない。次の例題がそれを示す。

例題 2.3.8　力と加速度の比は向きによって違う ★★

オリジナル速度 $\bm{v}$ で動く粒子に力 $\bm{F}$ が働くとき、 $\frac{\mathrm{d} }{\mathrm{d} t}(\gamma m\bm{v})=\bm{F}$ とする。

(1) $\frac{\mathrm{d} \gamma}{\mathrm{d} t}=\gamma^3\dfrac{\bm{v}\cdot\bm{a}}{c^2}$ （ $\bm{a}=\frac{\mathrm{d} \bm{v}}{\mathrm{d} t}$ ）を示せ。
(2) $\bm{F}$ が $\bm{v}$ に平行なとき $\bm{F}=\gamma^3m\bm{a}$ 、垂直なとき $\bm{F}=\gamma m\bm{a}$ となることを示せ。
(3) 2つの係数 $\gamma^3m$ と $\gamma m$ が、式 (2.3.11) の Hessian の2つの固有値と一致する理由を述べよ。

解答

(1) $\gamma=(1-\bm{v}^2/c^2)^{-1/2}$ を微分して $\frac{\mathrm{d} \gamma}{\mathrm{d} t}=-\frac12(1-v^2/c^2)^{-3/2}\cdot(-2\bm{v}\cdot\bm{a}/c^2)=\gamma^3\bm{v}\cdot\bm{a}/c^2$ 。

(2) $\bm{F}=\gamma m\bm{a}+m\bm{v}\,\gamma^3(\bm{v}\cdot\bm{a})/c^2$ 。 $\bm{a}\parallel\bm{v}$ なら $\bm{v}(\bm{v}\cdot\bm{a})=v^2\bm{a}$ なので $\bm{F}=\gamma m(1+\gamma^2v^2/c^2)\bm{a}=\gamma^3m\bm{a}$ （ $1+\gamma^2v^2/c^2=\gamma^2$ ）。 $\bm{a}\perp\bm{v}$ なら第2項が消えて $\bm{F}=\gamma m\bm{a}$ 。

(3) $\bm{p}=\partial L/\partial\bm{v}$ なので $\frac{\mathrm{d} \bm{p}}{\mathrm{d} t}=\sum_j\dfrac{\partial^2L}{\partial\bm{v}\,\partial v_j}a_j$ で、力と加速度を結ぶ行列は Hessian そのものである。その固有ベクトルが速度の方向と垂直な方向で、固有値が $\gamma^3m$ と $\gamma m$ だった。Newton 力学では Hessian が $m\delta_{ij}$ で向きによらない。

遅い極限

授業の最後に「 $v\ll c$ で Newton 力学に戻る」ことを確かめるのは、この章では式 (2.3.5) の展開の1行と、運動方程式 (2.3.19) で $\gamma\to1$ とすることにあたる。有限の時間区間で軌道がどれだけ近いかは、パラメータ $v/c$ への解の連続依存の問題になる。図 2.3.3 の2本の曲線は、 $t\lesssim0.5\,mc/F$ の範囲で重なっている。

近似の裏付け

型 B（極限）　｜　小さいもの $v/c\to0$ （速さが光速に比べて小さい）　｜　証明証明済み（有限の時間区間で、力が位置について Lipschitz 連続なとき。運動方程式の解のパラメータへの連続依存）　｜　行き先 近似の数理第2章

木下の勉強ステータス

木下はまだこの記事を勉強していません。

AI（Claude）が書いた教材を、木下が勉強しながら公開しています。式と数値は検算していますが、誤りが残っているかもしれません。誤りのご指摘・削除のご依頼をいただければ直します。連絡先：support@tecktom.com

この記事が含まれている連載

連載AI生成教科書『虎の巻』授業とは別に、分野をまたいで気になったことを AI（Claude）が教材にし、木下が勉強しながら公開しています。上の段は AI が書いた本文、下の段は木下が勉強したあとに書いた文です。1787本の記事・木下智貴

← AI生成教科書『虎の巻』の記事一覧へ