[論文レビュー] New manifestations of the Darboux's rotation and translation fields of a surface

Victor Alexandrov|arXiv (Cornell University)|Oct 27, 2009

Mathematics and Applications参考文献 6被引用数 3

ひとこと要約

本稿は、ダーボウの回転および平行移動場の新規応用を用いて、微分幾何学における2つの結果を証明する。1つ目は、無限小の曲げに対して全平均曲率が不変であるという古典的定理の短い証明であり、2つ目は、単連結な閉曲面の任意の無限小変形が、少なくとも2点で曲面に直交することを示す新規定理である。この手法は、ベクトル場の分解とポテンシャル関数論を用いて、幾何的制約を確立する。

ABSTRACT

We show how the rotation and translation fields of a surface, introduced by G. Darboux, may be used to obtain short proofs of a well-known theorem (that reads that the total mean curvature of a surface is stationary under an infinitesimal bending) and a new theorem (that reads that every infinitesimal flex of any simply connected closed surface is orthogonal to the surface at least at two points).

研究の動機と目的

• 無限小曲げにおける全平均曲率の不変性を、ダーボウの回転および平行移動場を用いて再導出すること。
• 単連結な閉曲面の無限小曲げに新たな幾何的制約を確立すること。
• 単連結な閉曲面の任意の無限小曲げが、少なくとも2つの異なる点で曲面に直交することを示すこと。
• ポテンシャル論とベクトル場の分解を用いて、この直交性の性質を簡潔で幾何的な証明で示すこと。
• 無限小曲げとキリング場の違いを明確にし、文献に広く見られる誤解を是正すること。

提案手法

• 本稿では、無限小曲げ z から導かれる、dz = y × dr を満たす一意的なベクトル場 y を回転場として定義する。
• s = z - y × r として平行移動場を導入し、これがポテンシャルベクトル場であることが示される。
• 定理4により、任意の滑らかな境界を持つ領域 Δ に対して ∫∂Δ s·dr = 0 が成り立つことが保証され、φ(r) = ∫γ s·dr の存在が確立される。
• ポテンシャル関数 φ を用いて、∇φ = 0 となる臨界点を特定し、これらは z が曲面に直交する点に対応する。
• グリーンの定理と局所的なグラフ表現 r(u,v) = (u,v,f(u,v)) における座標別計算を用いる。
• ∂φ/∂u = s1 + fu s3 および ∂φ/∂v = s2 + fv s3 であることに着目し、φ の臨界点において z の接ベクトル成分が消えることを示す。

実験結果

リサーチクエスチョン

• RQ1 ダーボウの回転および平行移動場を用いて、無限小曲げにおける全平均曲率の不変性を短い証明で示せるか？
• RQ2 R³ 内の単連結な閉曲面の任意の無限小曲げは、少なくとも2点で曲面に直交するか？
• RQ3 ポテンシャル関数 φ(r) = ∫γ s·dr は、無限小曲げの幾何にどのように関係するか？
• RQ4 表面的な類似性にもかかわらず、なぜ直交性の結果がキリング場理論の帰結ではないのか？
• RQ5 平行移動場 s が保存的（conservative）であるための条件は何か？ そして、これは無限小曲げの構造にどのような制約を与えるか？

主な発見

• 曲面の全平均曲率は、無限小曲げに対して不変であり、回転場と平均曲率関数の関係によって証明される。
• R³ 内の単連結でコンパクトで境界のない曲面の任意の無限小曲げは、少なくとも2つの異なる点で曲面に直交する。
• 平行移動場 s は保存的であり、任意の滑らかな境界を持つ領域 Δ に対して ∫∂Δ s·dr = 0 が成り立つ。これはポテンシャル関数 φ の存在を意味する。
• ポテンシャル関数 φ は、z の接ベクトル成分が消える点で局所的極値をとる。これは、z が曲面に直交することを示唆する。
• 回転場 y が定数であることは、曲げ z が自明（すなわち剛体運動に対応する）であることと同値であり、これは自明な曲げの幾何的特徴付けを提供する。
• 従来のアプローチがより一般的で複雑な枠組みに依存するのに対し、本手法は全平均曲率不変性の証明を著しく簡略化する。