今日はなんか疲れたので止めようかと思ったが少しだけ頑張ろう。
Lie変分を使うと
ネーターカレントはもっとすっきりした形式に書き改める事が出来ます。
それで、Lie変分は次のように定義されます。
これは次のように書くことも出来ます。
テキストによってはこちらを定義とする場合もあるようです。また「場の
解析力学」高橋康・著では
という記号を使っています(
Lie微分と書いてあります)。また、定義からこの計算は座標の値は変えないため普通の
微分とは可換です。これを使うとネーターカレントは次のように書くことが出来ます。
今日はここまでで止めだ。
参考書「
場の解析力学」高橋康・著p100~p102