無限小の平行移動 - スーパーサイエンスガール

「ネーターの定理は、平行移動や回転のような時空間の変換にも適用することができます。無限小の平行移動は次のように書けます」

${ \displaystyle \begin{eqnarray} x^\mu\rightarrow x^\mu-a^\mu \end{eqnarray} }$

「上式は、４次元時空間上の位置座標 $x^{\mu}$ から無限小の距離 $\alpha^\mu$ だけ移動することを意味します。また、無限小の平行移動は、場 $\phi$ の変換として、次のように書くこともできます」

${ \displaystyle \begin{eqnarray} \phi(x)\rightarrow \phi(x+a)=\phi(x)+a^\mu\partial_\mu\phi(x). \end{eqnarray} }$

「どうしてそうなるのよ？」
　一宮が首を傾げた。
「 $a$ は無限小の量なので、以前お話ししたテイラー展開で近似することができるのです」

テイラー展開（Taylor expansion）
${ \displaystyle \begin{eqnarray} f(x')&=&\sum_{n=0}^{\infty}\frac{(x'-a')^n}{n!}f^{(n)}(a')\\ &=&f(a')+f^{(1)}(a')(x'-a')+\frac{1}{2!}f^{(2)}(a')(x'-a')^2+\cdots+\frac{1}{n!}f^{(n)}(a')(x'-a')^n+\cdots \end{eqnarray} }$

「実際、上のテイラー展開の式で、 $f(x')\rightarrow \phi(x), x'\rightarrow x+a, a'\rightarrow x$ とおけば、次のようになります」

${ \displaystyle \begin{eqnarray} \phi(x+a)&=&f(x)+\phi^{(1)}(x)a+\frac{1}{2!}\phi^{(2)}(x)a^2+\cdots+\frac{1}{n!}\phi^{(n)}(x)a^n+\cdots \end{eqnarray} }$

「ここで、 $a$ が無限小の量であることに着目すると、 $a^2$ 以降の項は無視することができます。これは、例えば、 $a=0.01$ のような小さな値を累乗すると、 $a^2=0.0001, a^3=0.000001, a^4=0.00000001, \cdots$ のように、次数の高い項ほど値が小さくなることからも分かると思います」

$a=0.01$ のような小さな値を累乗する
　↓
${ \displaystyle \begin{eqnarray} a^2&=&0.0001\\ a^3&=&0.000001\\ a^4&=&0.00000001\\ &\vdots& \end{eqnarray} }$
（次数の高い項ほど値が小さくなって無視できる）