[论文解读] The $L_p$-Minkowski problem with super-critical exponents

Qiang Guang, Qirui Li+1 more|arXiv (Cornell University)|Mar 10, 2022

Topological and Geometric Data Analysis被引用 4

一句话总结

该论文通过引入基于椭球空间同调的新型拓扑方法，解决了所有超临界指数 $p < -n-1$ 下的 $L_p$-Minkowski 问题。作者通过证明一致估计并运用拓扑度理论，建立了球面上 Monge-Ampère 方程的解的存在性，克服了以往在超临界情形下因缺乏一致有界性和非紧性而导致的长期挑战。

ABSTRACT

The $L_p$-Minkowski problem deals with the existence of closed convex hypersurfaces in $\mathbb{R}^{n+1}$ with prescribed $p$-area measures. It extends the classical Minkowski problem and embraces several important geometric and physical applications. The Existence of solutions has been obtained in the sub-critical case $p&gt;-n-1$, but the problem remains widely open in the super-critical case $p

研究动机与目标

• 为长期悬而未决的超临界情形 $p < -n-1$ 下的 $L_p$-Minkowski 问题提供解决方案，此前对于一般正密度函数，该情形下的存在性结果尚不清楚。
• 克服超临界 regime 中缺乏一致估计与紧致性的问题，这些缺陷曾阻碍基于变分法或 PDE 方法的先前研究。
• 证明在 $\mathbb{S}^n$ 上，对于 $p < -n-1$ 且正函数 $f$，Monge-Ampère 方程 $\det(\nabla^2 u + uI) = f u^{p-1}$ 的解的存在性。
• 基于椭球空间的同调，发展一种新的拓扑框架，以处理爆破序列中的非紧性和缺乏归一化的问题。

提出的方法

• 提出一种基于椭球空间同调的拓扑度理论，为超临界情形下检测解提供了新机制。
• 使用一种障碍型函数 $w = A \sum h^{ii} + B \sum u_k u_{kt}$，通过精心选择常数 $A$ 和 $B$，以控制 Hessian 与梯度项的演化。
• 通过对 Monge-Ampère 方程求导并应用 Ricci 恒等式与协变导数恒等式，推导出 $w$ 沿流的微分不等式。
• 通过最大值原理论证，利用方程结构及 $A$ 和 $B$ 的选取，建立 $\nabla^2 u + uI$ 最大特征值的一致上界。
• 应用爆破分析与拓扑度理论，证明度数非零，从而推出至少存在一个解。
• 利用方程的射影不变性与对称性性质，验证拓扑设定的合理性，并确保度数定义良好。

实验结果

研究问题

• RQ1 当在 $\mathbb{S}^n$ 上给定的是正连续函数时，$L_p$-Minkowski 问题是否对所有 $p < -n-1$ 都存在解？
• RQ2 能否基于椭球空间的同调发展一种拓扑方法，以证明在标准 PDE 方法失效的超临界 $L_p$-Minkowski 问题中解的存在性？
• RQ3 是否可能在超临界情形 $p < -n-1$ 下，为 Monge-Ampère 方程 $\det(\nabla^2 u + uI) = f u^{p-1}$ 建立一致估计？
• RQ4 在超临界情形下，若不存在 Kazdan-Warner 类型障碍，这将如何影响解的存在性与多重性？

主要发现

• 对于 $\mathbb{S}^n$ 上的正密度函数 $f$，所有超临界指数 $p < -n-1$ 下的 $L_p$-Minkowski 问题均已解决，成功建立了 Monge-Ampère 方程解的存在性。
• 基于椭球空间同调的新型拓扑方法被成功应用于证明解的存在性，标志着在超临界情形下的重大突破。
• 通过在精心构造的辅助函数 $w$ 上运用最大值原理，建立了 $\nabla^2 u + uI$ 的一致估计，克服了以往方法中缺乏一致有界性的缺陷。
• 解的存在性由一个因椭球空间拓扑结构而保证非零的拓扑度理论所确保，无需依赖对称性或离散测度。
• 该方法适用于一般正函数 $f \in C^0(\mathbb{S}^n)$，突破了以往仅限于对称或离散测度的限制。
• 该结果填补了 $L_p$-Minkowski 问题中的一个重大空白，完成了所有 $p \in \mathbb{R}$ 情形下的存在性理论，包括超临界情形。