tecktom.com

当てる道具:Euler–Lagrange 方程式・Legendre 変換・Noether の定理

2026年10月15日10分で読めますAI生成教科書『虎の巻』第2部 第10章 光線の解析力学
目次
  1. 光線の方程式
  2. 光線の Hamiltonian
  3. Noether の定理と Snell の法則
  4. 木下の層

AI 生成・木下が未勉強

解析力学から様々な理論分野を組み立てる 第2部 第10章 §2.10.2 ★★★ 光線の方程式 dds(ndrds)=∇n\frac{\mathrm{d} }{\mathrm{d} s}(n\frac{\mathrm{d} \bm{r}}{\mathrm{d} s})=\nabla n、光線の Hamiltonian H=−n2−px2−py2H=-\sqrt{n^2-p_x^2-p_y^2}、並進対称性の保存量としての Snell の法則を出す

光線の方程式

径数を任意にとった形 (2.10.3) で、Lagrangian Lλ=n(r)∣r˙∣L_\lambda=n(\bm{r})\lvert \dot{\bm{r}}\rvert(ドットは λ\lambda 微分)に Euler–Lagrange 方程式(第1部第4章)を当てる。∂Lλ/∂r˙=n r˙/∣r˙∣\partial L_\lambda/\partial\dot{\bm{r}}=n\,\dot{\bm{r}}/\lvert \dot{\bm{r}}\rvert、∂Lλ/∂r=∣r˙∣ ∇n\partial L_\lambda/\partial\bm{r}=\lvert \dot{\bm{r}}\rvert \,\nabla n なので

ddλ(nr˙∣r˙∣)=∣r˙∣ ∇n.\frac{\mathrm{d} }{\mathrm{d} \lambda}\Bigl(n\frac{\dot{\bm{r}}}{\lvert \dot{\bm{r}}\rvert }\Bigr)=\lvert \dot{\bm{r}}\rvert \,\nabla n .

径数を長さ ss にとると ∣r˙∣=1\lvert \dot{\bm{r}}\rvert =1 で、次の式になる。

命題 2.10.2(光線の方程式 ★★★)

Fermat の原理 (2.10.2) を満たす光線 r(s)\bm{r}(s) は

dds(n(r)drds)=∇n(r)(2.10.5)\frac{\mathrm{d} }{\mathrm{d} s}\Bigl(n(\bm{r})\frac{\mathrm{d} \bm{r}}{\mathrm{d} s}\Bigr)=\nabla n(\bm{r})\tag{2.10.5}

を満たす。径数を dσ=ds/n\mathrm{d}\sigma=\mathrm{d} s/n で定まる σ\sigma に取り替えると

d2rdσ2=∇(n22)(2.10.6)\frac{\mathrm{d}^2\bm{r}}{\mathrm{d}\sigma^2}=\nabla\Bigl(\frac{n^2}{2}\Bigr)\tag{2.10.6}

と書ける。

証明

式 (2.10.5) は上で導いた。d/dσ=n d/ds\mathrm{d}/\mathrm{d}\sigma=n\,\mathrm{d}/\mathrm{d} s なので dr/dσ=n dr/ds\mathrm{d}\bm{r}/\mathrm{d}\sigma=n\,\mathrm{d}\bm{r}/\mathrm{d} s で、もう一度 σ\sigma で微分するとn dds(n dr/ds)=n∇n=∇(n2/2)n\,\frac{\mathrm{d} }{\mathrm{d} s}(n\,\mathrm{d}\bm{r}/\mathrm{d} s)=n\nabla n=\nabla(n^2/2) となる。

式 (2.10.6) は、質量 11 の粒子がポテンシャル −n2/2-n^2/2 の中を動くときの Newton の運動方程式と同じ形をしている。光線は屈折率の大きいほうへ曲がる。一様な媒質(∇n=0\nabla n=0)では光線は直線になる。

光線の Hamiltonian

zz を時刻にとった Lagrangian (2.10.4) に戻る。正準運動量は

px=∂L∂x′=n x′1+x′2+y′2=ndxds,py=∂L∂y′=ndyds(2.10.7)p_x=\frac{\partial L}{\partial x'}=\frac{n\,x'}{\sqrt{1+x'^2+y'^2}}=n\frac{\mathrm{d} x}{\mathrm{d} s},\qquad p_y=\frac{\partial L}{\partial y'}=n\frac{\mathrm{d} y}{\mathrm{d} s}\tag{2.10.7}

である。dx/ds\mathrm{d} x/\mathrm{d} s は光線の向きの単位ベクトルの xx 成分なので、(px,py)(p_x,p_y) は「屈折率 × 光線の向きの単位ベクトル」の横の成分である。光線が xx 軸となす角を測る代わりに、光線の向きと屈折率をまとめた量が運動量の役をする。px2+py2=n2(x′2+y′2)/(1+x′2+y′2)<n2p_x^2+p_y^2=n^2(x'^2+y'^2)/(1+x'^2+y'^2)<n^2 なので、横の運動量は nn を超えない。

LL の (x′,y′)(x',y') についての Hesse 行列は n>0n>0 のとき正定値で、Legendre 変換(第1部第7章)ができる。式 (2.10.7) から 1+x′2+y′2=n2/(n2−px2−py2)1+x'^2+y'^2=n^2/(n^2-p_x^2-p_y^2) なので

H(x,y,px,py;z)=pxx′+pyy′−L=−n1+x′2+y′2=−n(x,y,z)2−px2−py2(2.10.8)H(x,y,p_x,p_y;z)=p_xx'+p_yy'-L=-\frac{n}{\sqrt{1+x'^2+y'^2}}=-\sqrt{n(x,y,z)^2-p_x^2-p_y^2}\tag{2.10.8}

となる。−H=n dz/ds-H=n\,\mathrm{d} z/\mathrm{d} s は光線の向きの zz 成分に nn を掛けたもので、pzp_z と書ける。3つをまとめた p=(px,py,pz)=n dr/ds\bm{p}=(p_x,p_y,p_z)=n\,\mathrm{d}\bm{r}/\mathrm{d} s は大きさ nn のベクトルで、光線の Hamiltonian は「∣p∣=n\lvert \bm{p}\rvert =n の拘束を pzp_z について解いたもの」と読める。

命題 2.10.3(光線の Hamilton 方程式 ★★★)

光線の Hamilton 方程式

x′=∂H∂px=pxn2−px2−py2,px′=−∂H∂x=n ∂xnn2−px2−py2(2.10.9)x'=\frac{\partial H}{\partial p_x}=\frac{p_x}{\sqrt{n^2-p_x^2-p_y^2}},\qquad p_x'=-\frac{\partial H}{\partial x}=\frac{n\,\partial_xn}{\sqrt{n^2-p_x^2-p_y^2}}\tag{2.10.9}

(yy も同じ形)は、光線の方程式 (2.10.5) の xx, yy 成分と同じである。

証明

n2−px2−py2=n dz/ds\sqrt{n^2-p_x^2-p_y^2}=n\,\mathrm{d} z/\mathrm{d} s なので、1番目の式は x′=(n dx/ds)/(n dz/ds)x'=(n\,\mathrm{d} x/\mathrm{d} s)/(n\,\mathrm{d} z/\mathrm{d} s) で、式 (2.10.7) の定義と矛盾しない。2番目の式の右辺は ∂xn⋅ds/dz\partial_xn\cdot\mathrm{d} s/\mathrm{d} z で、両辺に dz/ds\mathrm{d} z/\mathrm{d} s を掛けると dpx/ds=∂xn\mathrm{d} p_x/\mathrm{d} s=\partial_xn、すなわち式 (2.10.5) の xx 成分になる。

Noether の定理と Snell の法則

屈折率が yy によらなければ HH は yy を含まず、yy は循環座標で py=n dy/dsp_y=n\,\mathrm{d} y/\mathrm{d} s が保存する(第1部第10章)。屈折率が zz によらなければ HH は「時刻」zz を含まないので H=−pz=−n dz/dsH=-p_z=-n\,\mathrm{d} z/\mathrm{d} s が保存する。どちらも、その向きの並進に対する Noether の保存量である。

屈折率が xx だけの関数 n(x)n(x)(xx の向きに層をなす媒質)なら、yy と zz の並進の両方について保存量があり、光線は1つの平面の中を進む。その平面を xzxz 面にとり、光線が層の法線(xx 軸)となす角を θ\theta とすると、pz=nsin⁡θp_z=n\sin\theta が光線に沿って一定になる:

n(x)sin⁡θ(x)=一定.(2.10.10)n(x)\sin\theta(x)=\text{一定}.\tag{2.10.10}

屈折率が面 x=0x=0 で n1n_1 から n2n_2 に跳ぶ場合は、跳びを滑らかな変化の極限とみれば、両側で n1sin⁡θ1=n2sin⁡θ2n_1\sin\theta_1=n_2\sin\theta_2 になる。これが Snell の法則で、境界面に沿った並進対称性の保存量として出てきた。式 (2.10.10) のほうが一般で、層の中で屈折率が連続に変わっても成り立つ。第1部第4章の式 (1.4.20) では、同じ式を光路長の LL が xx を陽に含まないことから出る第一積分(最速降下線の第一積分と同じ形)として出した。ここでは並進の Noether の保存量として読む。sin⁡θ≤1\sin\theta\le1 なので、光線は n(x)n(x) が保存量 pzp_z に等しくなる面で xx の向きに進めなくなり、そこで引き返す。これが全反射と、次の例題の蜃気楼の仕組みである。

例題 2.10.2 熱い道路の上の蜃気楼 ★★

オリジナル晴れた日の道路の上で、空気の屈折率が高さ yy の関数で、n(y)2=ng2+Gyn(y)^2=n_{\mathrm g}^2+Gy(G>0G>0 は定数)と書けるとする。路面で ng=1.000250n_{\mathrm g}=1.000250、高さ h=1.5 mh=1.5\,\mathrm m で n1=1.000280n_1=1.000280 とする(数値は仮定)。高さ hh の目から、水平より角 θ0\theta_0 だけ下向きに出る光線(光を逆にたどった線)を考える。水平方向を xx とする。

  1. (1) 光線が路面に達する前に引き返す条件を、式 (2.10.10) を使って θ0\theta_0 で表し、境目の角 θc\theta_{\mathrm c} を求めよ。
  2. (2) 式 (2.10.6) を使って光線の形を求めよ。θ0=θc\theta_0=\theta_{\mathrm c} の光線が路面をかすめる点までの水平距離 x∗x_* を求めよ。
解答

(1) 屈折率は yy だけによるので、xx の並進の保存量 px=ncos⁡θp_x=n\cos\theta(θ\theta は水平からの角)が一定である。目の位置で px=n1cos⁡θ0p_x=n_1\cos\theta_0。光線が高さ yy に達するには n(y)≥pxn(y)\ge p_x が必要で、路面に達する前に引き返す条件は n1cos⁡θ0>ngn_1\cos\theta_0>n_{\mathrm g}、すなわち θ0<θc=arccos⁡(ng/n1)\theta_0<\theta_{\mathrm c}=\arccos(n_{\mathrm g}/n_1) である。数値ではθc=7.74×10−3 rad=0.444∘\theta_{\mathrm c}=7.74\times10^{-3}\,\mathrm{rad}=0.444^\circ(θc≈2(n1−ng)/n1\theta_{\mathrm c}\approx\sqrt{2(n_1-n_{\mathrm g})/n_1} と同じ値)。路面すれすれの方向を見たときだけ、空の光が下から届く。

(2) 式 (2.10.6) で d2x/dσ2=0\mathrm{d}^2x/\mathrm{d}\sigma^2=0、d2y/dσ2=G/2\mathrm{d}^2y/\mathrm{d}\sigma^2=G/2 なので、x=pxσx=p_x\sigma、y=h+py0σ+Gσ2/4y=h+p_{y0}\sigma+G\sigma^2/4(py0=−n1sin⁡θ0p_{y0}=-n_1\sin\theta_0)。σ\sigma を消すと放物線

y=h+py0pxx+G4px2x2.y=h+\frac{p_{y0}}{p_x}x+\frac{G}{4p_x^2}x^2 .

頂点(最も低い点)は x∗=−2py0px/Gx_*=-2p_{y0}p_x/G。θ0=θc\theta_0=\theta_{\mathrm c} では px=ngp_x=n_{\mathrm g}、py02=n12−ng2=Ghp_{y0}^2=n_1^2-n_{\mathrm g}^2=Gh なので x∗=2ngh/Gx_*=2n_{\mathrm g}\sqrt{h/G}。G=(n12−ng2)/h=4.00×10−5 m−1G=(n_1^2-n_{\mathrm g}^2)/h=4.00\times10^{-5}\,\mathrm m^{-1} を入れて x∗≈387 mx_*\approx387\,\mathrm m。目の高さ 1.5 m1.5\,\mathrm m から見た「路面の水たまり」は数百 m 先に現れる。

木下の勉強ステータス

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

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

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