リーマン計量の差の変分
自分なりの回答にはまだたどり着いていないのだけれど、問題の動機づけとその整理をしておく。
をリーマン多様体、をコンパクト多様体からのはめ込みとする。はめ込みで誘導されるリーマン計量をとする。にもともと与えられているリーマン計量をとする。はめ込みは等長的()とは限らない。はめ込みの変分をとする。このとき、とする。上で定義されている誘導された計量を、直積集合に自明に定義された計量をとする。
汎関数 | 第1変分 |
の面積 | |
リーマン計量の差 | ? |
ただし、は平均曲率ベクトル、は変分ベクトル場である。
が3次元、が2次元の時の類推で、一般的な体積をについては「体積」、については「面積」と呼んでいる。前者の第1変分の式は平均曲率が0ならば極小曲面になることの証明の中で与えられる。後者の汎関数はについては直積計量なので変分は0、については、の面積の変分と同様の計算ができるはずである。
リーマン計量の差とは写像がどれくらい等長写像から離れているかを見るもの、すなわちひずみである。固体の変形エネルギーがひずみで、平面の変形エネルギーが平均曲率で与えられることの関係の数学的な説明をつけようというのがこの動機づけである。