[論文レビュー] TRANSLATION AND HOMOTHETICAL SURFACES IN EUCLIDEAN SPACE WITH CONSTANT CURVATURE

López, Rafael, Moruz, Marilena|arXiv (Cornell University)|Oct 9, 2014

Geometric Analysis and Curvature Flows参考文献 20被引用数 40

ひとこと要約

本稿は、ユークリッド3次元空間における翻訳面および同調的面の定曲率分類を行い、$ K = 0 $ の場合にのみ円柱面が存在することを証明している。一方、非平坦（$ K \neq 0 $）な翻訳面または同調的面は、考察された条件下では存在しない。結果は、ローレンツ＝ミンコフスキー空間における非退化面へと拡張され、同様の分類がその設定においても成り立つことが確認された。

ABSTRACT

We study surfaces in Euclidean space constructed by the sum of two curves or that are graphs of the product of two functions. We consider the problem to determine all these surfaces with constant Gauss curvature. We extend the results to non degenerate surfaces in Lorentz-Minkowski space.

研究の動機と目的

• 定曲率をもつ $\mathbb{R}^3$ 内のすべての翻訳面および同調的面を分類すること。
• 非退化面について、ローレンツ＝ミンコフスキー空間 $\mathbb{L}^3$ における分類を拡張すること。
• 特に $ K \neq 0 $ の場合における、翻訳面および同調的面の定曲率に関する未解決問題を解明すること。
• 既知の最小曲率面および定平均曲率面に関する結果を、定ガウス曲率の場合へ一般化すること。

提案手法

• 翻訳面を $ X(s,t) = \alpha(s) + \beta(t) $ としてパラメータ表示し、同調的面を $ z = f(x)g(y) $ として定式化する。
• 第一および第二基本形式を用いてガウス曲率 $ K $ を計算し、翻訳面では $ \partial_{st}^2 X = 0 $ の条件を活用する。
• ガウス曲率 $ K $ が定数となるようにするための微分方程式を導出し、特に混合偏導関数および曲率式の消滅を分析する。
• 曲線が座標平面内にある、または平面的であると仮定することで対称性と簡略化を導き、偏微分方程式を常微分方程式に還元する。
• ローレンツ型の場合には、空間的および時間的計量を区別し、曲率式に符号係数 $ \epsilon $ を適用して調整する。
• 背理法と導関数に関する多項式解析を用いて、$ K \neq 0 $ の非自明な解が存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 定ガウス曲率をもつ $\mathbb{R}^3$ 内のすべての翻訳面は何か？
• RQ2 定非ゼロガウス曲率をもつ非円柱型翻訳面は存在するか？
• RQ3 $\mathbb{R}^3$ 内の同調的面 $ z = f(x)g(y) $ で定曲率をもつものは何か？
• RQ4 ユークリッド空間またはローレンツ＝ミンコフスキー空間において、$ K \neq 0 $ の同調的面は存在するか？
• RQ5 定曲率をもつ翻訳面および同調的面の分類は、$\mathbb{L}^3$ 内の非退化面へどのように拡張されるか？

主な発見

• 定ガウス曲率 $ K = 0 $ をもつ翻訳面のうち、唯一のものは円柱面である。
• 一方、片方の生成曲線が平面的である場合、定ガウス曲率 $ K \neq 0 $ をもつ翻訳面は存在しない。
• すべての最小曲率同調的面は、平面および螺旋面であり、その螺旋面は $ z(x,y) = (x+b)\tan(cy+d) $ としてパラメータ表示される。
• 定ガウス曲率 $ K $ をもつすべての同調的面は $ K = 0 $ でなければならない。そのような面は、平面的曲線の上にのる円柱面、または $ z = ae^{bx+cy} $、あるいは $ z = \left(\frac{bx}{m}+d\right)^m\left(\frac{cy}{m-1}+e\right)^{1-m} $ の形をとる。
• ローレンツ＝ミンコフスキー空間 $\mathbb{L}^3$ においても同様の分類が成り立つ：$ K = 0 $ の場合にのみ円柱面が存在し、$ K \neq 0 $ の非平坦な同調的面または翻訳面は存在しない。
• $ K \neq 0 $ の結果は背理法により証明されており、定非ゼロ曲率を仮定すると、生成関数の導関数に関する一貫性のない多項式方程式が生じることを示している。