相対性理論の行間埋め 第IV章
\(\S\)14 相対論的運動学
- (14.5)の導出
- p90下部のuの導出(作成中)
ドラゴン人間 作成
(14.4)を用いて、(\(\eta_{\mu\nu}\)はp.37より) \begin{align*} \eta_{\mu \nu}u^{\mu}u^{\nu}&=\eta_{00}u^{0}u^{0}+\eta_{11}u^{1}u^{1}+\eta_{22}u^{2}u^{2}+\eta_{33}u^{3}u^{3}\\ &=-\frac{c^2}{1-\beta^2}+\frac{(v^1)^2}{1-\beta^2}+\frac{(v^2)^2}{1-\beta^2}+\frac{(v^3)^2}{1-\beta^3}\\ &=\frac{-c^2+\vec{v}^2}{1-\beta^2}\\ &=\frac{-c^2(1-\frac{\vec{v}^2}{c^2})}{1-\beta^2}\\ &=\frac{-c^2(1-\beta^2)}{1-\beta^2}\\ &=-c^2 \end{align*}
(14.4)を用いて、(\(\eta_{\mu\nu}\)はp.37より) \begin{align*} \eta_{\mu \nu}u^{\mu}u^{\nu}&=\eta_{00}u^{0}u^{0}+\eta_{11}u^{1}u^{1}+\eta_{22}u^{2}u^{2}+\eta_{33}u^{3}u^{3}\\ &=-\frac{c^2}{1-\beta^2}+\frac{(v^1)^2}{1-\beta^2}+\frac{(v^2)^2}{1-\beta^2}+\frac{(v^3)^2}{1-\beta^3}\\ &=\frac{-c^2+\vec{v}^2}{1-\beta^2}\\ &=\frac{-c^2(1-\frac{\vec{v}^2}{c^2})}{1-\beta^2}\\ &=\frac{-c^2(1-\beta^2)}{1-\beta^2}\\ &=-c^2 \end{align*}
鋭意作成中
\(\S\)15 力学の基礎方程式の相対論的修正
- P93下部の[\(F^{k\prime}\)を省いた部分は0となる。]の証明
- (15.7)の導出(作成中)
- (15.8)の導出
- (15.9)の導出
ドラゴン人間 作成
まず、テンソル\(b\sideset{^\nu}{}{}{_\mu}\)の行列表示から始める。 S’系からS系にローレンツ変換する際、\(x^{\mu}=b\sideset{^\mu}{}{}{_\nu}x^{\nu \prime}\)とあるので \begin{align*} \begin{pmatrix} b \sideset{^0}{}{_0}{}&b \sideset{^0}{}{_1}{}&b \sideset{^0}{}{_2}{}&b \sideset{^0}{}{_3}{}\\ b \sideset{^1}{}{_0}{}&b \sideset{^1}{}{_1}{}& b \sideset{^1}{}{_2}{}& b \sideset{^1}{}{_3}{} \\ b \sideset{^2}{}{_0}{}&b \sideset{^2}{}{_1}{}& b \sideset{^2}{}{_2}{}&b \sideset{^2}{}{_3}{} \\ b \sideset{^3}{}{_0}{}&b \sideset{^3}{}{_1}{}& b \sideset{^3}{}{_2}{}&b \sideset{^3}{}{_3}{} \end{pmatrix} \begin{pmatrix} ct ^{\prime} \\ x\\ y\\ z \end{pmatrix} = \begin{pmatrix} ct\\ x\\ y\\ z \end{pmatrix} \end{align*} のようになり、bについての行列は \begin{align*} \begin{pmatrix} b \sideset{^0}{}{_0}{}&b \sideset{^0}{}{_1}{}&b \sideset{^0}{}{_2}{}&b \sideset{^0}{}{_3}{}\\ b \sideset{^1}{}{_0}{}&b \sideset{^1}{}{_1}{}&b \sideset{^1}{}{_2}{}&b\sideset{^1}{}{_3}{} \\ b \sideset{^2}{}{_0}{}&b \sideset{^2}{}{_1}{}&b \sideset{^2}{}{_2}{}&b \sideset{^2}{}{_3}{} \\ b \sideset{^3}{}{_0}{}&b \sideset{^3}{}{_1}{}&b \sideset{^3}{}{_2}{}&b \sideset{^3}{}{_3}{} \end{pmatrix} &= \begin{pmatrix} \frac{1}{\sqrt{1-\beta^2}}&\frac{\beta}{\sqrt{1-\beta^2}}&0&0\\ \frac{\beta}{\sqrt{1-\beta^2}}&\frac{1}{\sqrt{1-\beta^2}}&0&0 \\ 0&0&1&0\\ 0&0&0&1 \end{pmatrix}\\ &=\begin{pmatrix} \gamma&\gamma \beta&0&0\\ \gamma \beta& \gamma&0&0&\\ 0&0&1&0\\ 0&0&0&1 \end{pmatrix} \end{align*} となる。 \begin{align*} \sum_{k=1}^{3}\eta_{\mu \nu}b\sideset{^\nu}{}{}{_0}b\sideset{^\mu}{}{}{_k} &=\sum_{k=1}^{3}(-b\sideset{^0}{}{}{_0}b\sideset{^0}{}{}{_k}+b\sideset{^1}{}{}{_0}b\sideset{^1}{}{}{_k})\\ &=-b\sideset{^0}{}{}{_0}b\sideset{^0}{}{}{_1}+b\sideset{^1}{}{}{_0}b\sideset{^1}{}{}{}{_1}\\ &=-\gamma(\gamma \beta)+\gamma \beta(\gamma)\\ &=0 \end{align*}
まず、テンソル\(b\sideset{^\nu}{}{}{_\mu}\)の行列表示から始める。 S’系からS系にローレンツ変換する際、\(x^{\mu}=b\sideset{^\mu}{}{}{_\nu}x^{\nu \prime}\)とあるので \begin{align*} \begin{pmatrix} b \sideset{^0}{}{_0}{}&b \sideset{^0}{}{_1}{}&b \sideset{^0}{}{_2}{}&b \sideset{^0}{}{_3}{}\\ b \sideset{^1}{}{_0}{}&b \sideset{^1}{}{_1}{}& b \sideset{^1}{}{_2}{}& b \sideset{^1}{}{_3}{} \\ b \sideset{^2}{}{_0}{}&b \sideset{^2}{}{_1}{}& b \sideset{^2}{}{_2}{}&b \sideset{^2}{}{_3}{} \\ b \sideset{^3}{}{_0}{}&b \sideset{^3}{}{_1}{}& b \sideset{^3}{}{_2}{}&b \sideset{^3}{}{_3}{} \end{pmatrix} \begin{pmatrix} ct ^{\prime} \\ x\\ y\\ z \end{pmatrix} = \begin{pmatrix} ct\\ x\\ y\\ z \end{pmatrix} \end{align*} のようになり、bについての行列は \begin{align*} \begin{pmatrix} b \sideset{^0}{}{_0}{}&b \sideset{^0}{}{_1}{}&b \sideset{^0}{}{_2}{}&b \sideset{^0}{}{_3}{}\\ b \sideset{^1}{}{_0}{}&b \sideset{^1}{}{_1}{}&b \sideset{^1}{}{_2}{}&b\sideset{^1}{}{_3}{} \\ b \sideset{^2}{}{_0}{}&b \sideset{^2}{}{_1}{}&b \sideset{^2}{}{_2}{}&b \sideset{^2}{}{_3}{} \\ b \sideset{^3}{}{_0}{}&b \sideset{^3}{}{_1}{}&b \sideset{^3}{}{_2}{}&b \sideset{^3}{}{_3}{} \end{pmatrix} &= \begin{pmatrix} \frac{1}{\sqrt{1-\beta^2}}&\frac{\beta}{\sqrt{1-\beta^2}}&0&0\\ \frac{\beta}{\sqrt{1-\beta^2}}&\frac{1}{\sqrt{1-\beta^2}}&0&0 \\ 0&0&1&0\\ 0&0&0&1 \end{pmatrix}\\ &=\begin{pmatrix} \gamma&\gamma \beta&0&0\\ \gamma \beta& \gamma&0&0&\\ 0&0&1&0\\ 0&0&0&1 \end{pmatrix} \end{align*} となる。 \begin{align*} \sum_{k=1}^{3}\eta_{\mu \nu}b\sideset{^\nu}{}{}{_0}b\sideset{^\mu}{}{}{_k} &=\sum_{k=1}^{3}(-b\sideset{^0}{}{}{_0}b\sideset{^0}{}{}{_k}+b\sideset{^1}{}{}{_0}b\sideset{^1}{}{}{_k})\\ &=-b\sideset{^0}{}{}{_0}b\sideset{^0}{}{}{_1}+b\sideset{^1}{}{}{_0}b\sideset{^1}{}{}{}{_1}\\ &=-\gamma(\gamma \beta)+\gamma \beta(\gamma)\\ &=0 \end{align*}
鋭意作成中
ドラゴン人間 作成
3章より電磁場のテンソルは \begin{align*} f^{\mu \nu}= \begin{pmatrix} f^{00} & f^{01} & f^{02} & f^{03} \\ f^{10} & f^{11} & f^{12} & f^{13} \\ f^{20} & f^{21} & f^{22} & f^{23} \\ f^{30} & f^{31} & f^{32} & f^{33} \end{pmatrix} = \begin{pmatrix} 0&\frac{E_{x}}{c}&\frac{E_{y}}{c}&\frac{E_{z}}{c}\\ -\frac{E_{x}}{c}&0&B_{z}&-B_{y} \\ -\frac{E_{y}}{c}&-B_{z}&0&B_{x} \\ -\frac{E_{z}}{c}&B_{y}&-B_{x}&0 \end{pmatrix} \end{align*} これを用いて、\(F^1\)を求めると \begin{align*} F^1&=ef^{1\rho}u_{\rho}\\ &=e(f^{10}u_{0}+f^{11}u_{1}+f^{12}u_{2}+f^{13}u_{3} )\\ &=e(f^{10}\eta_{00}u^{0}+f^{11}\eta_{11}u^{1}+f^{12}\eta_{22}u^{2}+f^{13}\eta_{33}u^{3})\\ &=e(-f^{10}u^0+f^{11}u^1+f^{12}u^2+f^{13}u^3)\\ &=e(-(-\frac{E_{x}}{c})(\frac{c}{\sqrt{1-\beta^2}})+ B_{z} \frac{v^2}{\sqrt{1-\beta^2}}-B_{y}\frac{v^3}{\sqrt{1-\beta^2} } )\\ &=\frac{1}{\sqrt{1-\beta^2}} {e(E_{x}+(v_{y}B_{z}-v_{z}B_{y}))}\\ &=\frac{1}{\sqrt{1-\beta^2}}K_{x} \end{align*} \(F^2,F^3\)も同様にして求めると、(15.8)になる。
3章より電磁場のテンソルは \begin{align*} f^{\mu \nu}= \begin{pmatrix} f^{00} & f^{01} & f^{02} & f^{03} \\ f^{10} & f^{11} & f^{12} & f^{13} \\ f^{20} & f^{21} & f^{22} & f^{23} \\ f^{30} & f^{31} & f^{32} & f^{33} \end{pmatrix} = \begin{pmatrix} 0&\frac{E_{x}}{c}&\frac{E_{y}}{c}&\frac{E_{z}}{c}\\ -\frac{E_{x}}{c}&0&B_{z}&-B_{y} \\ -\frac{E_{y}}{c}&-B_{z}&0&B_{x} \\ -\frac{E_{z}}{c}&B_{y}&-B_{x}&0 \end{pmatrix} \end{align*} これを用いて、\(F^1\)を求めると \begin{align*} F^1&=ef^{1\rho}u_{\rho}\\ &=e(f^{10}u_{0}+f^{11}u_{1}+f^{12}u_{2}+f^{13}u_{3} )\\ &=e(f^{10}\eta_{00}u^{0}+f^{11}\eta_{11}u^{1}+f^{12}\eta_{22}u^{2}+f^{13}\eta_{33}u^{3})\\ &=e(-f^{10}u^0+f^{11}u^1+f^{12}u^2+f^{13}u^3)\\ &=e(-(-\frac{E_{x}}{c})(\frac{c}{\sqrt{1-\beta^2}})+ B_{z} \frac{v^2}{\sqrt{1-\beta^2}}-B_{y}\frac{v^3}{\sqrt{1-\beta^2} } )\\ &=\frac{1}{\sqrt{1-\beta^2}} {e(E_{x}+(v_{y}B_{z}-v_{z}B_{y}))}\\ &=\frac{1}{\sqrt{1-\beta^2}}K_{x} \end{align*} \(F^2,F^3\)も同様にして求めると、(15.8)になる。
ドラゴン人間 作成
\begin{align*} F^{\mu}u_{\mu}&=F^{0}\eta_{00}u^{0}+F^{1}\eta_{11}u^{1}+F^{2}\eta_{22}u^{2}+F^{3}\eta_{33}u^{3}\\ &=-F^0u^0+F^1u^1+F^2u^2+F^3u^3\\ &=-F^0\frac{c}{\sqrt{1-\beta^2}}+\vec{u}\cdot \vec{F}\\ &=-\frac{cF^0}{\sqrt{1-\beta^2}}+\frac{\vec{v} \cdot \vec{K}}{{1-\beta^2}}\\ &=0 \end{align*} よって、 \begin{align*} cF^0\sqrt{1-(\frac{v}{c})^2}=(\vec{v}\cdot \vec{K}) \end{align*}
\begin{align*} F^{\mu}u_{\mu}&=F^{0}\eta_{00}u^{0}+F^{1}\eta_{11}u^{1}+F^{2}\eta_{22}u^{2}+F^{3}\eta_{33}u^{3}\\ &=-F^0u^0+F^1u^1+F^2u^2+F^3u^3\\ &=-F^0\frac{c}{\sqrt{1-\beta^2}}+\vec{u}\cdot \vec{F}\\ &=-\frac{cF^0}{\sqrt{1-\beta^2}}+\frac{\vec{v} \cdot \vec{K}}{{1-\beta^2}}\\ &=0 \end{align*} よって、 \begin{align*} cF^0\sqrt{1-(\frac{v}{c})^2}=(\vec{v}\cdot \vec{K}) \end{align*}
\(\S\)16 エネルギーおよび運動量
- (16.6)\({}^\prime\)の導出
ドラゴン人間 作成
(16.6)より、 \begin{align*} p_{\mu}p^{\mu}&=p_{\mu}\eta^{\rho \mu}p_{\mu}\\ &=-p_{0}p_{0}+p_{1}p_{1}+p_{2}p_{2}+p_{3}p_{3}\\ &=-(mc)^2\\\\ つまり、p_{0}p_{0}&=p_{1}p_{1}+p_{2}p_{2}+p_{3}p_{3}+(mc)^2 \end{align*} ここで、両辺に\(c^2\)をかけて、\(cp^0=\text{(質点の持つエネルギー)}=W\)より \begin{align*} W^2=c^2 ((\vec{p})^2+(mc)^2) \\ W=c\sqrt{(\vec{p})^2+(mc)^2} \end{align*}
(16.6)より、 \begin{align*} p_{\mu}p^{\mu}&=p_{\mu}\eta^{\rho \mu}p_{\mu}\\ &=-p_{0}p_{0}+p_{1}p_{1}+p_{2}p_{2}+p_{3}p_{3}\\ &=-(mc)^2\\\\ つまり、p_{0}p_{0}&=p_{1}p_{1}+p_{2}p_{2}+p_{3}p_{3}+(mc)^2 \end{align*} ここで、両辺に\(c^2\)をかけて、\(cp^0=\text{(質点の持つエネルギー)}=W\)より \begin{align*} W^2=c^2 ((\vec{p})^2+(mc)^2) \\ W=c\sqrt{(\vec{p})^2+(mc)^2} \end{align*}
\(\S\)17 Hamiltonの原理
- (17.3)の導出
- P102の下部にあるLの偏微分計算
- (17.7)の導出
- (17.13)の導出
ドラゴン人間 作成
(17.2)より、 \begin{align*} &\vec{p}(i)=m_{i}\frac{\vec{v}}{\sqrt{1-(\frac{\vec{v}}{c})^2}}\\ \Leftrightarrow&\vec{p}^2(1-(\frac{\vec{v}}{c})^2)=m_{i}^2\vec{v}^2\\ \Leftrightarrow&\vec{p}^2-\vec{p}^2(\frac{\vec{v}}{c})^2=m_{i}^2\vec{v}^2\\ \Leftrightarrow&\vec{p}^2=\vec{v}^2(m_{i}^2+\frac{\vec{p}^2}{c^2})\\ \Leftrightarrow&\vec{v}=\sqrt{\frac{\vec{p}^2}{m_{i}^2+(\frac{\vec{p}^2}{c^2})}} \end{align*} よって、これを用いると \begin{align*} \sqrt{1-(\frac{\vec{v}}{c})^2}&=\sqrt{1-\frac{1}{c^2}(\frac{\vec{p}^2}{m_{i^2}+\frac{\vec{p}^2}{c^2}})}\\ &=\sqrt{1-\frac{\vec{p}^2}{m_{i}^2c^2+\vec{p}^2}}\\ &=\sqrt{\frac{m_{i}^2c^2}{m_{i}^2c^2+\vec{p}^2}}\\ &=m_{i}c\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}} \end{align*} よって、 \begin{align*} \vec{p}(i)\vec{v}&=\vec{p}^2c\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}\\\\ -L_{0}&=\sum_{i=1}^{N}m_{i}c^2\sqrt{1-(\frac{\vec{v}}{c})^2}\\ &=\sum_{i=1}^{N}m_{i}c^2 \cdot m_{i}c \sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}\\ &=\sum_{i=1}^{N}\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}(m_{i}c)^2c\\ \end{align*} となるので、ハミルトニアンは \begin{align*} H_{0}&=\sum_{i=1}^{N}\vec{p}(i)\frac{d \vec{z}(i)}{dt}-L_{0}\\ &=\sum_{i=1}^{N}\vec{p}\vec{v}-L_{0}\\ &=\sum_{i=1}^{N}\vec{p}^2c\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}+ \sum_{i=1}^{N}\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}(m_{i}c)^2c\\ &=\sum_{i=1}^{N}c(m_{i}^2c^2+\vec{p}^2)\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}\\ &=\sum_{i=1}^{N}c\sqrt{(m_{i}c)^2+(\vec{p})^2} \end{align*}
(17.2)より、 \begin{align*} &\vec{p}(i)=m_{i}\frac{\vec{v}}{\sqrt{1-(\frac{\vec{v}}{c})^2}}\\ \Leftrightarrow&\vec{p}^2(1-(\frac{\vec{v}}{c})^2)=m_{i}^2\vec{v}^2\\ \Leftrightarrow&\vec{p}^2-\vec{p}^2(\frac{\vec{v}}{c})^2=m_{i}^2\vec{v}^2\\ \Leftrightarrow&\vec{p}^2=\vec{v}^2(m_{i}^2+\frac{\vec{p}^2}{c^2})\\ \Leftrightarrow&\vec{v}=\sqrt{\frac{\vec{p}^2}{m_{i}^2+(\frac{\vec{p}^2}{c^2})}} \end{align*} よって、これを用いると \begin{align*} \sqrt{1-(\frac{\vec{v}}{c})^2}&=\sqrt{1-\frac{1}{c^2}(\frac{\vec{p}^2}{m_{i^2}+\frac{\vec{p}^2}{c^2}})}\\ &=\sqrt{1-\frac{\vec{p}^2}{m_{i}^2c^2+\vec{p}^2}}\\ &=\sqrt{\frac{m_{i}^2c^2}{m_{i}^2c^2+\vec{p}^2}}\\ &=m_{i}c\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}} \end{align*} よって、 \begin{align*} \vec{p}(i)\vec{v}&=\vec{p}^2c\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}\\\\ -L_{0}&=\sum_{i=1}^{N}m_{i}c^2\sqrt{1-(\frac{\vec{v}}{c})^2}\\ &=\sum_{i=1}^{N}m_{i}c^2 \cdot m_{i}c \sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}\\ &=\sum_{i=1}^{N}\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}(m_{i}c)^2c\\ \end{align*} となるので、ハミルトニアンは \begin{align*} H_{0}&=\sum_{i=1}^{N}\vec{p}(i)\frac{d \vec{z}(i)}{dt}-L_{0}\\ &=\sum_{i=1}^{N}\vec{p}\vec{v}-L_{0}\\ &=\sum_{i=1}^{N}\vec{p}^2c\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}+ \sum_{i=1}^{N}\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}(m_{i}c)^2c\\ &=\sum_{i=1}^{N}c(m_{i}^2c^2+\vec{p}^2)\sqrt{\frac{1}{m_{i}^2c^2+\vec{p}^2}}\\ &=\sum_{i=1}^{N}c\sqrt{(m_{i}c)^2+(\vec{p})^2} \end{align*}
ドラゴン人間 作成
第一式目の等式は、Aのみが\(z^{\mu}(i)\)の関数であるので、こうなる。 第二式目の等式は、 \begin{align*} \frac{d}{d\lambda_{i}}{\frac{\partial L(i)}{\partial(dz^{\mu}(i)/d\lambda_{i})}}&=\frac{d}{d\lambda_{i}} ({\frac{\partial}{\partial(\frac{dz^{\mu}(i)}{d\lambda_{i}})} (-m_{i}c\sqrt{-\frac{dz_{\mu}}{d\lambda_{i}} \frac{dz^{\mu}}{d\lambda_{i}}})} ) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ &=\frac{d}{d\lambda_{i}} ({\frac{\partial}{\partial(\frac{dz^{\mu}(i)}{d\lambda_{i}})} (-m_{i}c\sqrt{-\rho_{\alpha \mu}\frac{dz^{\mu}}{d\lambda_{i}} \frac{dz^{\mu}}{d\lambda_{i}}})}) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ &=\frac{d}{d\lambda_{i}} ( -m_{i}c \frac{1}{2} \frac{1}{\sqrt{-\rho_{\alpha \mu}\frac{dz^{\mu}}{d\lambda_{i}/} \frac{dz^{\mu}}{d\lambda_{i}}}} (-2\rho_{\alpha \mu} \frac{dz^{\mu}}{d\lambda_{i}}) ) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ &=\frac{d}{d\lambda_{i}}({m_{i}c\frac{dz_{\mu}}{d\lambda_{i}}\frac{1}{ \sqrt{-\frac{dz_{\nu}}{d\lambda_{i}}\frac{dz^{\nu}}{d\lambda_{i}}}}}) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ \end{align*}
第一式目の等式は、Aのみが\(z^{\mu}(i)\)の関数であるので、こうなる。 第二式目の等式は、 \begin{align*} \frac{d}{d\lambda_{i}}{\frac{\partial L(i)}{\partial(dz^{\mu}(i)/d\lambda_{i})}}&=\frac{d}{d\lambda_{i}} ({\frac{\partial}{\partial(\frac{dz^{\mu}(i)}{d\lambda_{i}})} (-m_{i}c\sqrt{-\frac{dz_{\mu}}{d\lambda_{i}} \frac{dz^{\mu}}{d\lambda_{i}}})} ) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ &=\frac{d}{d\lambda_{i}} ({\frac{\partial}{\partial(\frac{dz^{\mu}(i)}{d\lambda_{i}})} (-m_{i}c\sqrt{-\rho_{\alpha \mu}\frac{dz^{\mu}}{d\lambda_{i}} \frac{dz^{\mu}}{d\lambda_{i}}})}) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ &=\frac{d}{d\lambda_{i}} ( -m_{i}c \frac{1}{2} \frac{1}{\sqrt{-\rho_{\alpha \mu}\frac{dz^{\mu}}{d\lambda_{i}/} \frac{dz^{\mu}}{d\lambda_{i}}}} (-2\rho_{\alpha \mu} \frac{dz^{\mu}}{d\lambda_{i}}) ) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ &=\frac{d}{d\lambda_{i}}({m_{i}c\frac{dz_{\mu}}{d\lambda_{i}}\frac{1}{ \sqrt{-\frac{dz_{\nu}}{d\lambda_{i}}\frac{dz^{\nu}}{d\lambda_{i}}}}}) +e_{i}\frac{dA_{\mu}(i)}{d\lambda_{i}} \\ \end{align*}
ドラゴン人間 作成
(17.6)より \begin{align*} \vec{p}&=m_{i}\frac{d\vec{z}}{dt}\frac{1}{\sqrt{1-(\frac{d\vec{z}}{cdt})^2}}+e_{i}\vec{A}\\ \Leftrightarrow& \vec{p}=m_{i}\vec{v}\frac{1}{\sqrt{1-(\frac{\vec{v}}{c})^2}}+e_{i}\vec{A}\\ \Leftrightarrow&\vec{p}-e_{i}\vec{A}=\frac{m_{i}\vec{v}}{\sqrt{1-(\frac{\vec{v}}{c})^2}}\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2=\frac{(m_{i}\vec{v})^2}{1-(\frac{\vec{v}}{c})^2}\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2(1-(\frac{\vec{v}}{c})^2)=(m_{i}\vec{v})^2\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2-(\vec{p}-e_{i}\vec{A})^2(\frac{\vec{v}}{c})^2=(m_{i}\vec{v})^2\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2=\vec{v}^2 (m_{i}^2+\frac{(\vec{p}-e_{i}\vec{A})^2}{c^2} )\\ \\ \\ \vec{v}^2&=\frac{(\vec{p}-e_{i}\vec{A})^2}{m_{i}^2+(\frac{\vec{p}-e_{i}\vec{A}}{c})^2}\\ &=\frac{(c(\vec{p}-e_{i}\vec{A}))^2}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2 } \\ \\ \vec{v}&=c(\vec{p}-e_{i}\vec{A})\sqrt{\frac{1}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2}} \end{align*} これを用いると、 \begin{align*} \sqrt{1-(\frac{\vec{v}}{c})^2}&=\sqrt{1-\frac{(\vec{p}-e_{i}\vec{A})^2}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2}}\\ &=\sqrt{\frac{m_{i}^2c^2}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2}}\\ &=m_{i}c\sqrt{\frac{1}{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A})^2}}\\ \end{align*} となるので、 \begin{align*} H_{0}&=\sum_{i=1}^{N}\vec{p}(i)\frac{d\vec{z}(i)}{dt}-L_{0}\\ &=\sum_{i=1}^{N}\vec{p}(i) \frac{d\vec{z}(i)}{dt}-\sum_{i=1}^{N}({-m_{i}c^2\sqrt{1-(\frac{d\vec{z}(i)}{cdt})^2}+e_{i}\vec{A}(i)\frac{d\vec{z}(i)}{dt}+e_{i}cA_{0}(i)})\\ &=\sum_{i=1}^{N}\vec{p} \frac{c(\vec{p}-e_{i}\vec{A})}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A})^2}} - \sum_{i=1}^{N}(-m_{i}c^2 m_{i}c\frac{1}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A}})^2} +e_{i}\vec{A}c(\vec{p}-e_{i}\vec{A})\frac{1}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A}})^2}+e_{i}cA_{0})\\ &=\sum_{i=1}^{N}( \frac{c}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A}})^2}( (m_{i}c)^2+(\vec{p}-e_{i}\vec{A})^2 ) -e_{i}A_{0}c )\\ &=\sum_{i=1}^{N}(c\sqrt{(\vec{p}-e_{i}\vec{A})^2 +(m_{i}c)^2 } -e_{i}cA_{0} ) \end{align*}
(17.6)より \begin{align*} \vec{p}&=m_{i}\frac{d\vec{z}}{dt}\frac{1}{\sqrt{1-(\frac{d\vec{z}}{cdt})^2}}+e_{i}\vec{A}\\ \Leftrightarrow& \vec{p}=m_{i}\vec{v}\frac{1}{\sqrt{1-(\frac{\vec{v}}{c})^2}}+e_{i}\vec{A}\\ \Leftrightarrow&\vec{p}-e_{i}\vec{A}=\frac{m_{i}\vec{v}}{\sqrt{1-(\frac{\vec{v}}{c})^2}}\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2=\frac{(m_{i}\vec{v})^2}{1-(\frac{\vec{v}}{c})^2}\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2(1-(\frac{\vec{v}}{c})^2)=(m_{i}\vec{v})^2\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2-(\vec{p}-e_{i}\vec{A})^2(\frac{\vec{v}}{c})^2=(m_{i}\vec{v})^2\\ \Leftrightarrow& (\vec{p}-e_{i}\vec{A})^2=\vec{v}^2 (m_{i}^2+\frac{(\vec{p}-e_{i}\vec{A})^2}{c^2} )\\ \\ \\ \vec{v}^2&=\frac{(\vec{p}-e_{i}\vec{A})^2}{m_{i}^2+(\frac{\vec{p}-e_{i}\vec{A}}{c})^2}\\ &=\frac{(c(\vec{p}-e_{i}\vec{A}))^2}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2 } \\ \\ \vec{v}&=c(\vec{p}-e_{i}\vec{A})\sqrt{\frac{1}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2}} \end{align*} これを用いると、 \begin{align*} \sqrt{1-(\frac{\vec{v}}{c})^2}&=\sqrt{1-\frac{(\vec{p}-e_{i}\vec{A})^2}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2}}\\ &=\sqrt{\frac{m_{i}^2c^2}{m_{i}^2c^2+(\vec{p}-e_{i}\vec{A})^2}}\\ &=m_{i}c\sqrt{\frac{1}{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A})^2}}\\ \end{align*} となるので、 \begin{align*} H_{0}&=\sum_{i=1}^{N}\vec{p}(i)\frac{d\vec{z}(i)}{dt}-L_{0}\\ &=\sum_{i=1}^{N}\vec{p}(i) \frac{d\vec{z}(i)}{dt}-\sum_{i=1}^{N}({-m_{i}c^2\sqrt{1-(\frac{d\vec{z}(i)}{cdt})^2}+e_{i}\vec{A}(i)\frac{d\vec{z}(i)}{dt}+e_{i}cA_{0}(i)})\\ &=\sum_{i=1}^{N}\vec{p} \frac{c(\vec{p}-e_{i}\vec{A})}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A})^2}} - \sum_{i=1}^{N}(-m_{i}c^2 m_{i}c\frac{1}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A}})^2} +e_{i}\vec{A}c(\vec{p}-e_{i}\vec{A})\frac{1}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A}})^2}+e_{i}cA_{0})\\ &=\sum_{i=1}^{N}( \frac{c}{\sqrt{(m_{i}c)^2+(\vec{p}-e_{i}\vec{A}})^2}( (m_{i}c)^2+(\vec{p}-e_{i}\vec{A})^2 ) -e_{i}A_{0}c )\\ &=\sum_{i=1}^{N}(c\sqrt{(\vec{p}-e_{i}\vec{A})^2 +(m_{i}c)^2 } -e_{i}cA_{0} ) \end{align*}
ドラゴン人間 作成
オイラーラグランジュ方程式の項をそれぞれ求めていくと、 \begin{align*} \frac{dL}{dA_{\mu}}&=\sum_{i=1}^{N}e_{i}\int \dot{z}^{\mu}(i)\delta ^4 ({x-z(i)})d\tau_{i}\\ \end{align*} また、 \begin{align*} \frac{\partial}{\partial x^{\mu}}(\frac{\partial L(x)}{\partial A_{\mu \prime \nu}(x)})&=\frac{\partial }{\partial x^{\mu}} \frac{\partial}{\partial A_{\mu \prime \nu}}(-\frac{1}{4\mu_{0}c}f_{\mu \nu}(x) f^{\mu \nu}(x) ) \\ \\ \frac{\partial}{\partial(\partial_{\nu} A_{\mu})}f_{\mu \nu}f^{\mu \nu }&=\frac{\partial}{\partial(\partial_{\nu}A_{\mu})}f_{\mu \nu}(\eta^{\alpha \mu}\eta^{\beta \nu} f_{\alpha \beta})\\ &=\eta^{\alpha \mu}\eta^{\beta \nu} \frac{\partial}{\partial(\partial_{\nu}A_{\mu})}(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})(\partial_{\alpha}A_{\beta}-\partial_{\beta}A_{\alpha})\\ &=\eta^{\mu \alpha}\eta^{\nu \beta} \frac{\partial}{\partial (\partial_{\nu}A_{\mu})} (\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})\\ *&=\eta^{\mu \alpha}\eta^{\mu \beta}(-(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})-(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu}))+\eta^{\mu \alpha}\eta^{\nu\beta}((\partial_{\nu}A_{\mu}-\partial_{\mu}A_{\nu})+(\partial_{\nu}A_{\mu}-\partial_{\mu}A_{\nu}))\\ &=-2\eta^{\mu \alpha}\eta^{\nu \beta}f_{\mu \nu}-2\eta^{\mu \alpha}\eta^{\nu \beta}f_{\mu \nu}\\ &=-4f^{\mu \nu} \end{align*} ここで、*の等式では、偏微分が\(\mu \nu=\nu \mu\)のとき、第二項目が出てくることに注意が必要。 よって、 \begin{align*} \frac{\partial}{\partial x^{\mu}}(\frac{\partial L(x)}{\partial A_{\mu \prime \nu}(x)})&=\frac{\partial}{\partial x^{\mu}}(\frac{f^{\mu \nu}}{\mu_{0}c}) \end{align*} となるので、オイラーラグランジュ方程式より、(17.13)となる。
オイラーラグランジュ方程式の項をそれぞれ求めていくと、 \begin{align*} \frac{dL}{dA_{\mu}}&=\sum_{i=1}^{N}e_{i}\int \dot{z}^{\mu}(i)\delta ^4 ({x-z(i)})d\tau_{i}\\ \end{align*} また、 \begin{align*} \frac{\partial}{\partial x^{\mu}}(\frac{\partial L(x)}{\partial A_{\mu \prime \nu}(x)})&=\frac{\partial }{\partial x^{\mu}} \frac{\partial}{\partial A_{\mu \prime \nu}}(-\frac{1}{4\mu_{0}c}f_{\mu \nu}(x) f^{\mu \nu}(x) ) \\ \\ \frac{\partial}{\partial(\partial_{\nu} A_{\mu})}f_{\mu \nu}f^{\mu \nu }&=\frac{\partial}{\partial(\partial_{\nu}A_{\mu})}f_{\mu \nu}(\eta^{\alpha \mu}\eta^{\beta \nu} f_{\alpha \beta})\\ &=\eta^{\alpha \mu}\eta^{\beta \nu} \frac{\partial}{\partial(\partial_{\nu}A_{\mu})}(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})(\partial_{\alpha}A_{\beta}-\partial_{\beta}A_{\alpha})\\ &=\eta^{\mu \alpha}\eta^{\nu \beta} \frac{\partial}{\partial (\partial_{\nu}A_{\mu})} (\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})\\ *&=\eta^{\mu \alpha}\eta^{\mu \beta}(-(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu})-(\partial_{\mu}A_{\nu}-\partial_{\nu}A_{\mu}))+\eta^{\mu \alpha}\eta^{\nu\beta}((\partial_{\nu}A_{\mu}-\partial_{\mu}A_{\nu})+(\partial_{\nu}A_{\mu}-\partial_{\mu}A_{\nu}))\\ &=-2\eta^{\mu \alpha}\eta^{\nu \beta}f_{\mu \nu}-2\eta^{\mu \alpha}\eta^{\nu \beta}f_{\mu \nu}\\ &=-4f^{\mu \nu} \end{align*} ここで、*の等式では、偏微分が\(\mu \nu=\nu \mu\)のとき、第二項目が出てくることに注意が必要。 よって、 \begin{align*} \frac{\partial}{\partial x^{\mu}}(\frac{\partial L(x)}{\partial A_{\mu \prime \nu}(x)})&=\frac{\partial}{\partial x^{\mu}}(\frac{f^{\mu \nu}}{\mu_{0}c}) \end{align*} となるので、オイラーラグランジュ方程式より、(17.13)となる。