[论文解读] Talenti's comparison theorem for Poisson equation and applications on Riemannian manifold with nonnegative Ricci curvature

Daguang Chen, Haizhong Li|arXiv (Cornell University)|Apr 12, 2021

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

一句话总结

本文在非负 Ricci 曲率且渐近体积比（AVR > 0）的完备非紧 Riemann 流形上建立了 Poisson 方程的 Talenti 比较定理。通过适配 Schwarz 对称化，并利用非负 Ricci 曲率下的等周不等式，作者证明了流形上解的对称递减重排在点态上被经 AVR 调整体积的欧氏球上的解所控制，且等式成立当且仅当流形为欧氏空间且区域为球体。

ABSTRACT

In this article, we prove Talenti's comparison theorem for Poisson equation on complete noncompact Riemannian manifold with nonnegative Ricci curvature. Furthermore, we obtain the Faber-Krahn inequality for the first eigenvalue of Dirichlet Laplacian, $L^1$- and $L^\infty$-moment spectrum, especially Saint-Venant theorem for torsional rigidity and a reverse Hölder inequality for eigenfunctions of Dirichlet Laplacian.

研究动机与目标

• 将 Talenti 的 Poisson 方程比较定理从欧氏空间推广至非负 Ricci 曲率的完备非紧 Riemann 流形。
• 基于渐近体积比（AVR）构建一种利用对称化的比较原理。
• 基于广义比较定理推导几何与谱不等式（如 Faber-Krahn、Saint-Venant 及反 Hölder 不等式）。
• 刻画这些不等式中等号成立的条件，并将其与刚性定理（即欧氏空间与球对称性）联系起来。

提出的方法

• 通过渐近体积比（AVR）调整欧氏比较区域，将 Talenti 原始比较原理适配至 Riemann 流形。
• 对源函数 f 和解 u 进行 Schwarz 对称化，将其映射为体积经 AVR 调整的欧氏球上径向对称的函数。
• 应用非负 Ricci 曲率流形上的等周不等式（来自 [11]），以控制测度与能量的分布。
• 通过对称化方法比较第一特征值，推导出 Faber-Krahn 不等式，将第一 Dirichlet 特征值与欧氏模型关联。
• 结合平移平面法与谱比较，证明 Dirichlet Laplacian 特征函数的反 Hölder 不等式。
• 利用能量估计与重排不等式，比较解及其对称化形式在 L^p 范数下的大小。

实验结果

研究问题

• RQ1 Talenti 的 Poisson 方程比较定理能否推广至非负 Ricci 曲率的完备非紧 Riemann 流形？
• RQ2 渐近体积比（AVR）如何影响此类流形上解的对称化与比较？
• RQ3 基于广义比较原理，可否推导出谱与几何不等式（如 Faber-Krahn、Saint-Venant）？
• RQ4 在何种条件下比较中等号成立？其对流形几何意味着什么？
• RQ5 能否通过此类流形上的对称化方法建立 Dirichlet Laplacian 特征函数的反 Hölder 不等式？

主要发现

• 在非负 Ricci 曲率且 AVR > 0 的流形中，区域 Ω 上解 u 的对称递减重排在点态上被体积经 AVR 调整的欧氏球 Ω^♯ 上的解 v 所控制。
• 比较关系 u^♯(x) ≤ v(x) 中等号成立当且仅当流形等距同构于欧氏空间，且 Ω 与 Ω^♯ 为等周区域。
• Faber-Krahn 不等式 λ₁(Ω) ≥ λ₁(Ω^♯) 成立，且等号成立当且仅当 (M,g) 为欧氏空间且 Ω 为球体。
• Saint-Venant 定理关于抗扭刚度被推广：Ω 的抗扭刚度上界为 Ω^♯ 的抗扭刚度，且在相同刚性条件下取等。
• 建立了 Dirichlet Laplacian 特征函数的反 Hölder 不等式：当 q ≥ 1 时，||u||_{L^q(Ω)} ≤ AVR^{1/q} ||v||_{L^q(B_λ)}。
• 第二特征值 λ₂(Ω) 满足 λ₂(Ω) > 2^{2/n} j_{n/2−1,1}^2 (ω_n AVR / |Ω|)^{2/n}，将 Krahn–Hartman–Szegö 不等式推广至非欧氏情形。