Note100 リーマン多様体の体積要素と勾配(grad)

計量テンソル(metric tensor)
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051545.jpg
局所座標系x、yを正の座標系とするので
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051549.jpg
と言う事で
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051559.jpg
がリーマン多様体の体積要素とする事が出来る。リーマン多様体上のベクトル場X、Yに対して
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051602.jpg
となるベクトル場Xを
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051605.jpg
と書いてfの勾配という。それで勾配が定義されるとリーマン多様体上のラプラシアンが次のように定義できる。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051609.jpg

多様体上のグリーンの定理から
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051645.jpg
またこれから直ちに次の事がわかる。
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051649.jpg
通常は体積要素をdvと書くので
https://cdn-ak.f.st-hatena.com/images/fotolife/c/cat_falcon/20190806/20190806051653.jpg