[論文レビュー] Tubes of coordinate finite type Gauss map in the Euclidean 3-space

Hassan Al-Zoubi, Hamza Alzaareer+2 more|arXiv (Cornell University)|Apr 28, 2019

Geometric Analysis and Curvature Flows参考文献 16被引用数 4

ひとこと要約

本稿は、第一基本形式に関するラプラシアン Δ^I と 3×3 実行列 Λ を用いて、Δ^I n = Λn を満たすユークリッド 3 次元空間内のチューブのガウス写像について考察する。ガウス写像およびチューブ面におけるラプラシアンの微分幾何的解析を用いて、この条件を満たすのは円柱に限ることを証明し、ユークリッド 3 次元空間幾何における有限型分類問題の一般化された特定のケースを解決する。

ABSTRACT

In this paper, we consider tubes in the Euclidean 3-space whose Gauss map n is of coordinate finite I-type, i.e., the position vector n satisfies the relation ΔIn = Λn, where ΔI is the Laplace operator with respect to the first fundamental form I of the surface and Λ is a square matrix of order 3. We show that circular cylinders are the only class of surfaces mentioned above of coordinate finite I-type Gauss map.

研究の動機と目的

• ユークリッド 3 次元空間内のチューブで、ガウス写像が座標有限型条件 Δ^I n = Λn を満たすものについて分類すること。
• 位置ベクトルの分類を超えて、有限型曲面の研究をガウス写像自体に拡張すること。
• 文献における問題 3 である、行列条件 Δ^I n = Λn の下でガウス写像が有限型であるような曲面を解消すること。
• 円柱以外のチューブが、座標有限型ガウス写像条件を満たす可能性があるかどうかを特定すること。

提案手法

• 空間曲線 α が曲率 κ と捩率 τ を持つものとして、R³ 内のチューブを x(t,φ) = α(t) + rN(t)cosφ + rB(t)sinφ でパラメトライズ化する。
• 第一基本形式 I およびそれに伴うラプラシアン Δ^I を I に関して計算する。
• チューブ面のガウス写像として n(t,φ) = -N(t)cosφ - B(t)sinφ を導出する。
• ラプラシアン Δ^I をガウス写像に作用させ、Δ^I n を t, φ, κ, τ, r の関数としてベクトル値関数として表現する。
• Δ^I n を Λn に等置し、t と φ の三角関数関数（cosφ, sinφ, cosφsinφ など）の係数を比較することで、ベクトル方程式を分析する。
• 得られた方程式系を用いて κ, τ, r に課される制約を導出し、結果として唯一満たされるのは円柱であることを示す。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド 3 次元空間内のどのチューブが、ある 3×3 行列 Λ に対して Δ^I n = Λn を満たすガウス写像を持つのか？
• RQ2 平面曲線を生成曲線とする非円形チューブ（例えばアンカーリング型のトーラスチューブ）は、座標有限型ガウス写像条件を満たす可能性があるか？
• RQ3 チューブのガウス写像が第一基本形式のラプラシアンに関して行列固有値型方程式を満たすとき、どのような幾何的制約が生じるか？
• RQ4 円柱は、ガウス写像が座標有限型 I 型である唯一のチューブ面であるか？

主な発見

• ユークリッド 3 次元空間内でガウス写像が座標有限型条件 Δ^I n = Λn を満たすのは、円柱に限る。
• 円柱の場合、ガウス写像は Δ^I n = (1/r²)n を満たし、対応する行列 Λ は対角成分が 1/r² で、第 3 列が任意の成分である形を取る。
• 一定で非ゼロの曲率を持つ平面曲線を生成曲線とするチューブ（すなわちアンカーリング型）は、いかなる行列 Λ に対しても Δ^I n = Λn を満たさない。
• 生成曲線が直線（κ = 0）の場合、捩率 τ は恒等的に 0 になり、曲面は円柱となる。
• 条件 Δ^I n = Λn は、生成曲線の曲率 κ が恒等的に 0 であることを強制する。これは生成曲線が直線であることを意味する。
• ゆえに、唯一の解は円柱であり、他のいかなるチューブ面も座標有限型ガウス写像条件を満たさないことが確認された。