[论文解读] On the Omori-Yau Maximum Principle and Geometric Applications

Barnabé Pessoa Lima, Leandro De Freitas Pessoa|arXiv (Cornell University)|Jan 9, 2012

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

一句话总结

本文在较弱的曲率和函数 γ 的增长条件下，将黎曼流形上的 Omori-Yau 极大值原理推广为更一般的形式，扩展了 Pigola-Rigoli-Setti 的先前结果。该方法带来了新的几何应用，包括在对高度函数的渐近控制更宽松及曲率界受限的条件下，对扭曲积中子流形和超曲面的平均曲率的精确估计。

ABSTRACT

We introduce a version of the Omori-Yau maximum principle which generalizes the version obtained by Pigola-Rigoli-Setti 21. We apply our method to derive a non-trivial generalization Jorge-Koutrofiotis Theorem 15 for cylindrically bounded submanifolds due to Alias-Bessa-Montenegro 2, we extend results due to Alias-Dajczer 5, Alias-Bessa-Dajczer 1 and Alias-Impera-Rigoli 6.

研究动机与目标

• 通过引入满足更弱增长和梯度条件的辅助函数 γ，将 Omori-Yau 极大值原理在 Ricci 曲率无下界时的适用范围扩展。
• 利用新的极大值原理框架，推广关于柱状有界子流形的 Jorge-Koutrofiotis 定理。
• 将关于扭曲积流形中超曲面的平均曲率估计结果进行扩展，包括高度函数无界的情形。
• 为具有受控几何结构的非紧致子流形提供统一的分析工具，尤其适用于曲率缓慢衰减的空间。
• 即使高度函数相对于 γ 的增长较慢，也建立平均曲率上确界的精确下界，该下界以内在几何数据表示。

提出的方法

• 引入一个满足 h1（γ 在无穷远处趋于无穷）、h2（梯度界以 G(γ) 和 ∫1/√G 的积分表示）及 h3（拉普拉斯界涉及 G 和 γ）的新函数 γ。
• 证明若此类 γ 存在，则拉普拉斯算子的 Omori-Yau 极大值原理成立，从而可构造出满足 |grad u| 和 Δu 趋于零的逼近序列。
• 将该原理应用于等距浸入 φ: M → L^ℓ × P^n，通过 P 上距离函数 ρ_P 的拉回定义函数 u = ρ_P ∘ φ。
• 利用 P 上的 Hessian 比较定理和 P 上的曲率界，以曲率函数 C_b 和余维数表示平均曲率 |H| 的下界。
• 在扭曲积 N = I ×_ρ P 中，对高度函数 h = π_I ∘ f 建立增长条件，要求当 x → ∞ 时 h(x)/φ(γ(x)) → 0，以确保极大值原理的适用性。
• 推导出 sup |H| 的精确下界，以函数 𝒞(t) = grad ln ρ(t) 的下确界表示，推广了 [6] 和 [1] 中的早期结果。

实验结果

研究问题

• RQ1 在黎曼流形的 Ricci 曲率无下界时，何种几何条件下 Omori-Yau 极大值原理仍成立？
• RQ2 能否通过使用更一般的辅助函数 γ，将 Omori-Yau 极大值原理扩展至曲率衰减更慢的流形？
• RQ3 广义极大值原理对扭曲积空间中子流形的平均曲率有何影响？
• RQ4 如何控制扭曲积超曲面中高度函数的增长率，以确保非平凡的平均曲率估计？
• RQ5 在较弱的曲率假设下，Jorge-Koutrofiotis 定理在柱状有界子流形上可多大程度上被推广？

主要发现

• 本文建立了 Omori-Yau 极大值原理成立的新充分条件，基于满足 h1–h3 的函数 γ，该条件推广了 Pigola-Rigoli-Setti 的框架。
• 广义极大值原理允许推导出平均曲率上确界的精确下界：sup |H| ≥ (m−ℓ)/m · C_b(L)，其中 L = limsup ρ_P(φ(x)) 当 x → ∞。
• 对于扭曲积流形 N = I ×_ρ P 中的超曲面，在增长条件 lim h(x)/φ(γ(x)) = 0 下，有结果 sup |H| ≥ inf_M ℋ(h)，推广了 [6] 中的定理 7。
• 该方法即使在高度函数 h 无界时仍适用，只要其增长相对于 φ(γ(x)) 为次主导，从而可应用于非紧致超曲面。
• P^n 上的曲率条件被推广至包含迭代对数项：K_P ≥ −B² ∏_{j=1}^k [ln^{(j)}(∫₀^ρ ds/√G + 1) + 1]^2 · (∫₀^ρ ds/√G + 1)^2 · G(ρ)，该形式允许曲率衰减更缓慢。
• 本研究扩展了 Alias-Bessa-Dajczer [1]、Alias-Dajczer [5] 和 Alias-Impera-Rigoli [6] 的工作，并为几何分析中平均曲率估计提供了一个统一的框架。