[論文レビュー] Euclidean submanifolds with incompressible canonical vector field

Bang‐Yen Chen|arXiv (Cornell University)|Jan 22, 2018

Geometric Analysis and Curvature Flows参考文献 3被引用数 8

ひとこと要約

本稿では、任意のユークリッド部分多様体上の標準的ベクトル場が常に保存的であることを確立し、それが非圧縮性であるための必要十分条件を提示する：平均曲率ベクトルが ⟨H, x⟩ = −1 として恒等的に成り立つことである。本研究では、平面曲線、回転面、超円柱において非圧縮性を持つ標準的ベクトル場を分類し、明示的な微分方程式を導出し、単位球面を含む例を構成する。

ABSTRACT

For a submanifold M in a Euclidean space, the tangential component x^T of the position vector field x of M is the most natural vector field tangent to the Euclidean submanifold, called the canonical vector field of M. In this article, first we prove that the canonical vector field of every Euclidean submanifold is always conservative. Then we initiate the study of Euclidean submanifolds with incompressible canonical vector fields. In particular, we obtain the necessary and sufficient conditions for the canonical vector field of a Euclidean submanifold to be incompressible. Further, we provide examples of Euclidean submanifolds with incompressible canonical vector field. Moreover, we classify planar curves, surfaces of revolution and hypercylinders with incompressible canonical vector fields.

研究の動機と目的

• ユークリッド部分多様体上の標準的ベクトル場の幾何的性質を調査すること。
• 標準的ベクトル場が非圧縮性を示すための必要十分条件を特定すること。
• 平面曲線、回転面、超円柱といった特定のクラスの部分多様体が、非圧縮性を持つ標準的ベクトル場を有するための分類を行うこと。
• 微分方程式と幾何的統合を用いて、このような部分多様体の明示的例を構成すること。
• 従来の共点的、共円型、およびトルス型ベクトル場の研究を、非圧縮性の場合にまで拡張すること。

提案手法

• f = ½⟨x, x⟩ の勾配であることを示すことにより、標準的ベクトル場が常に保存的であることを証明する。
• リーマン接続と第二基本形式を用いて、標準的ベクトル場の発散を導出する。
• ラプラシアンと平均曲率ベクトルを用いて、⟨H, x⟩ = −1 が非圧縮性に関して必要かつ十分であることを確立する。
• 平面曲線における曲率関数の2階微分方程式を解き、非圧縮性条件を満たす解を構成する。
• E⁴における回転面および積多様体のパラメトライゼーションを用いて、r(s) および曲率関数の常微分方程式を導出し、それを解く。
• 直接計算により解を検証する。特に、単位球面は回転面の常微分方程式の解として得られる。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド部分多様体上の標準的ベクトル場が非圧縮性を示すための必要十分条件は何か？
• RQ2 どの平面曲線が発散がゼロである標準的ベクトル場を有するか？
• RQ3 E³における回転面が非圧縮性を持つ標準的ベクトル場を有するための必要十分条件は何か？
• RQ4 E⁴における非圧縮性を持つ標準的ベクトル場を有する曲面の明示的例を構成できるか？
• RQ5 E³における単位球面は、その標準的ベクトル場の非圧縮性条件を満たすか？

主な発見

• 任意のユークリッド部分多様体上の標準的ベクトル場は、常に保存的であり、f = ½⟨x, x⟩ の勾配として与えられる。
• 標準的ベクトル場が非圧縮性を示すための必要十分条件は、部分多様体上で恒等的に ⟨H, x⟩ = −1 が成り立つことである。
• 非圧縮性を持つ平面曲線は、n ≥ 2 に対して ODE κ(κ′′ − 3κ′²) = (n−1)κ⁴ の解であり、積分を用いて明示的なパラメトライゼーションが得られる。
• E³における非圧縮性を持つ回転面は、2階常微分方程式 (1 + r′²)(r + s r′ + 2r r′²) + r(r − s r′) r′′ = 0 を満たし、r(s) = √(1 − s²) のとき単位球面が解となる。
• ⟨γ, γ′′⟩ = −n を満たす平面曲線を基にした超円柱は、非圧縮性を持つ標準的ベクトル場を有することが示され、明示的なパラメトライゼーションが導出された。
• ⟨β, β′′⟩ = −a および ⟨γ, γ′′⟩ = −(2−a) を満たす2つの平面曲線からなるE⁴における積多様体は、a = 1 のとき非圧縮性を持つ標準的ベクトル場を有し、E⁴における明示的例が得られた。