Note38 ネーター(Noether)の定理(2)Lie変分

今日はなんか疲れたので止めようかと思ったが少しだけ頑張ろう。
Lie変分を使うとネーターカレントはもっとすっきりした形式に書き改める事が出来ます。
それで、Lie変分は次のように定義されます。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805063449.jpg
これは次のように書くことも出来ます。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805063452.jpg
テキストによってはこちらを定義とする場合もあるようです。また「場の解析力学」高橋康・著では
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805063455.jpg
という記号を使っています(Lie微分と書いてあります)。また、定義からこの計算は座標の値は変えないため普通の微分とは可換です。これを使うとネーターカレントは次のように書くことが出来ます。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190805/20190805063501.jpg

今日はここまでで止めだ。

参考書「場の解析力学」高橋康・著p100~p102