[论文解读] Existence of maximal surface containing given curve and special singularity

Rukmini Dey, Pradip Kumar+1 more|arXiv (Cornell University)|Dec 20, 2016

Geometric Analysis and Curvature Flows参考文献 9被引用 5

一句话总结

本文通过将ℒ³识别为ℂ×ℝ，提出了洛伦兹-闵可夫斯基空间ℝ³中极小曲面的复杂解析公式，从而为闭实解析零曲线的奇异Björling问题提供了新证明。关键贡献在于确立了在给定类空闭曲线并具有|z|=1处特殊锥形奇点时，广义极小曲面存在的条件。

ABSTRACT

We give a different formulation for describing maximal surfaces in Lorentz-Minkowski space, $\mathbb{L}^3$, using the identification of $\mathbb L^3$ with $\mathbb C imes \mathbb R$. Further we give a different proof for the singular Björling problem for the case of closed real analytic null curve. As an application, we show the existence of maximal surface which contains a given curve and has a special singularity.

研究动机与目标

• 通过将ℂ×ℝ的复识别方法重新表述ℒ³中的极小曲面，以实现更优的解析处理。
• 为闭实解析零曲线的奇异Björling问题提供新证明。
• 确立广义极小曲面存在的充分条件，该曲面包含给定的类空闭曲线，并在|z|=1处具有特殊锥形奇点。
• 研究构造极小曲面以插值常数曲线（奇点）与非平凡实解析闭曲线的插值问题。
• 探讨此类曲面存在的几何与解析约束，尤其关注傅里叶系数和共形不变量的作用。

提出的方法

• 通过F = (h, w): Ω → ℂ×ℝ表示极小曲面，其中h为全纯函数，w为调和函数，且满足共形条件h_z h̄_z̄ - w_z² = 0。
• 利用复表示方法，将奇异Björling问题重新表述为单位圆上的边界值问题，借助边界数据的傅里叶级数展开。
• 施加|h_z| ≠ |h_z̄| a.e. 的条件，以确保曲面为广义曲面（非退化）。
• 通过奇异Björling解公式，推导出h和w的傅里叶系数关于边界曲线γ(θ) = (f(e^{iθ}), g(e^{iθ}))的显式表达式。
• 对傅里叶系数施加相容性条件（公式4.17和4.18），以确保曲面定义良好，并满足共形性与调和性条件。
• 通过验证所推导系数满足所需的收敛性与非退化性条件（特别是r₀ ≠ 1）来确认解的存在性。

实验结果

研究问题

• RQ1 在何种条件下，存在一个广义极小曲面，其包含给定的类空闭实解析曲线，并在|z|=1处具有锥形奇点？
• RQ2 能否使用不同于以往方法的复分析方法求解闭零曲线的奇异Björling问题？
• RQ3 边界曲线的傅里叶系数必须满足何种约束，才能使极大曲面扩展具有特殊奇点？
• RQ4 是否可能通过一个广义极小曲面插值一个常数曲线（表示奇点）与一个非平凡实解析闭曲线？
• RQ5 为何曲线β(θ) = (e^{iθ}, 1)在任意r₀ ≠ 1时均无法容纳此类曲面，而其扰动形式却可以？

主要发现

• 椭圆双曲抛物面示例表明，广义极小曲面存在于曲线α(θ) = (−3/4 cosθ, −3/4 sinθ, ln(1/2))上，并在|z|=1处具有锥形奇点。
• 对于曲线γ(θ) = (a₃e^{3iθ} + a₁e^{-iθ}, b₂e^{2iθ} + b₂e^{-2iθ})，当且仅当代数系统(4.23)和(4.24)成立时，广义极小曲面在|z|=1处存在，该系统由相容性条件导出。
• 当a₁ = ½(c − 1/c)，a₃ = ⅙(c³ − 1/c³)，b₂ = ¼(c² − 1/c²)，且r₀ = c对任意c > 0，c ≠ 1时，存在显式解，此时得到类空曲线与定义良好的曲面。
• 曲面F(z) = (h(z), w(z))，其中h(z) = ⅙(z³ − 1/ż³) + ½(ż − 1/z)，w(z) = ¼(z² − 1/ż² − 1/z² + ż²)，满足所有要求条件，并在|z|=1处表现出锥形奇点。
• 该方法表明，尽管曲线(e^{iθ}, 1)在任意r₀ ≠ 1时均无法容纳此类曲面，但其小扰动形式却可以，表明存在余维一的障碍。
• 相容性条件(4.17)和(4.18)对于广义极小曲面的存在性（其边界数据扩展具有特殊奇点）而言，既是必要条件也是充分条件。