[论文解读] 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）的仿射可分解曲面。通过分类两种类型的曲面——类型1（z = f₁(x)f₂(y+ax)）和类型2（x = f₁(y+az)f₂(z)），推导出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.

研究动机与目标

• 在各向同性三维空间中，对具有常数高斯曲率和平均曲率的类型1仿射可分解曲面进行分类。
• 确定具有常数高斯曲率K = const. 且零平均曲率H = 0的类型2仿射可分解曲面。
• 在其中一个函数为线性函数的特定情况下，获得具有常数平均曲率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，将偏微分方程约化为单变量常微分方程，从而在特定情况下实现积分。
• 基于f₁或f₂是否为线性函数进行情形分析，导出在f₁或f₂为线性时H₀ ≠ 0的闭式解。

实验结果

研究问题

• RQ1 在各向同性三维空间中，具有常数K和H的仿射可分解曲面类型1有哪些？
• RQ2 当K = const. 且H = 0时，哪些仿射可分解曲面类型2存在？
• RQ3 能否为具有常数H₀ ≠ 0的仿射可分解曲面类型2找到显式解？
• RQ4 仿射参数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时成立。
• 本文指出，在不假设线性性的情况下，类型2曲面的一般H₀ ≠ 0情况仍未解决。
• 一张综合表格（表1）总结了已知解，突出显示了在特定约束下K = 0、H = 0、K₀ ≠ 0和H₀ ≠ 0的解的存在性。