[論文レビュー] Affine factorable surfaces in isotropic spaces

Muhittin Evren Aydın, Ayla Erdur+1 more|arXiv (Cornell University)|Feb 1, 2018

Advanced Numerical Analysis Techniques参考文献 13被引用数 4

ひとこと要約

本稿は、定数のガウス曲率（K）および平均曲率（H）を指定した3次元等方的空間内のアフィン分解可能表面を調査する。タイプ1（z = f₁(x)f₂(y+ax)）およびタイプ2（x = f₁(y+az)f₂(z)）の2種類の表面を分類することで、K、Hが定数である場合の明示的解を導出する。H = 0の場合には完全な族が得られ、H ≠ 0の場合には部分的な結果が得られ、K₀ ≠ 0およびH₀ ≠ 0の特定のケースにおいて重要な結果が得られる。

ABSTRACT

In this paper, we study the problem of finding the affine factorable surfaces in a 3-dimensional isotropic space with prescribed Gaussian (K) and mean (H) curvature. Because the absolute figure two different types of these surfaces appear by permutation of coordinates. We firstly classify the affine factorable surfaces of type 1 with K,H constants. Afterwards, we provide the affine factorable surfaces of type 2 with K=const. and H=0. In addition, in a particular case, the affine factorable surfaces of type 2 with H=const. were obtained.

研究の動機と目的

• 等方的3次元空間における定数ガウス曲率および平均曲率をもつタイプ1のアフィン分解可能表面の分類を行う。
• 定数ガウス曲率K = const.およびゼロ平均曲率H = 0をもつタイプ2のアフィン分解可能表面を特定する。
• 1つの関数が線形である特別な場合において、定数平均曲率H = H₀ ≠ 0をもつタイプ2のアフィン分解可能表面の解を得る。
• 積構造にアフィン変換を組み込むことで、等方幾何における分解可能表面の分類を拡張する。
• 表1に示された既知の解の包括的要約を提供し、特にタイプ2表面における一般のH₀ ≠ 0ケースのような未解決問題を強調する。

提案手法

• 積構造にアフィン結合を用いて、タイプ1ではz = f₁(x)f₂(y+ax)、タイプ2ではx = f₁(y+az)f₂(z)として表面をパラメトライズする。
• 等方幾何における第一および第二基本形式を計算し、誘導計量ds² = dx² + dy²および単位法線(0,0,1)を用いる。
• 計量および形状作用素の成分から、等方的ガウス曲率K = det(h)/det(g)および平均曲率H = (g₁₁h₂₂ - 2g₁₂h₁₂ + g₂₂h₁₁)/(2 det(g))の式を導出する。
• KおよびHが定数であるという制約の下で、f₁(x)およびf₂(y+ax)の可分形を仮定し、得られる常微分方程式を解く。
• 変数変換u₂ = y + axを用いて偏微分方程式を1変数の常微分方程式に簡略化し、特定のケースにおける積分を可能にする。
• f₁またはf₂が線形であるかどうかに基づくケース解析を実施し、線形の場合にH₀ ≠ 0の閉形式解が得られる。

実験結果

リサーチクエスチョン

• RQ1 等方的3次元空間における定数KおよびHをもつタイプ1のアフィン分解可能表面は何か？
• RQ2 K = const.およびH = 0のとき、どのようなアフィン分解可能表面のタイプ2が存在するか？
• RQ3 定数H₀ ≠ 0をもつタイプ2のアフィン分解可能表面に対して、明示的解を得ることは可能か？
• RQ4 パrameter aが表面構造および曲率挙動を定義する役割を果たすのはどのようなものか？
• RQ5 タイプ2表面においてH₀ ≠ 0をもつ一般のケースの分類における制限や未解決事項は何か？

主な発見

• 定数KおよびHをもつタイプ1表面に対して、本稿は完全な族を提供しており、z = c₁f₂(y)、z = c₁e^(c₂x + c₃y)、およびz = c₁x^(1/(1−c₂))y^(c₂/(c₂−1))が含まれる。
• H = 0のタイプ2表面に対しては、非等方的平面、x = y tan(c₁z)、x = c₁y/zに加え、三角関数を含む振動解が得られる。
• K₀ ≠ 0のタイプ2表面に対しては、x = √|K₀| x (y + ax)という解が導出され、アフィン結合に二次的依存が示される。
• H₀ ≠ 0のタイプ2表面に対しては、f₁またはf₂が線形である場合に閉形式解が得られる：x = c₁/√|H₀| √(y + az)（H₀ ≠ 0で有効）。
• 本稿では、線形性の仮定なしに一般のH₀ ≠ 0のタイプ2表面の分類が未解決であると特定している。
• 包括的な表（表1）により、K = 0、H = 0、K₀ ≠ 0、およびH₀ ≠ 0の特定の制約下での解の存在が要約されており、その中で未解決の問題が強調されている。