[論文レビュー] 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

ひとこと要約

本稿は、非負のリッチ曲率と正の漸近的体積比（AVR > 0）をもつ完備で非コンパクトなリーマン多様体上におけるポisson方程式に関して、Talentiの比較定理を確立する。スワーツ対称化を適応し、非負のリッチ曲率下での等周不等式を活用することで、多様体上での解の対称減少再配分が、体積を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の比較定理の拡張を図ること。
• 漸近的体積比（AVR）を考慮した対称化を用いた比較原理を確立すること。
• 一般化された比較定理に基づき、Faber-Krahn、Saint-Venant、逆Hölderなどの幾何的・スペクトル的不等式を導出すること。
• これらの不等式における等号成立条件を同定し、剛性定理（すなわちユークリッド空間および球対称性）と関連付けること。

提案手法

• 漸近的体積比（AVR）を用いて、ユークリッド比較領域のスケーリングを施したTalentiの元来の比較原理をリーマン多様体に適応する。
• 源関数 f および解 u のスワーツ対称化を実行し、AVRでスケーリングされた体積のユークリッド球上での回転対称関数に写像する。
• 非負のリッチ曲率をもつ多様体上での等周不等式（[11] より）を適用し、測度およびエネルギーの分布を制御する。
• 対称化による第一固有値比較を用いてFaber-Krahn不等式を導出し、第一ディリクレ固有値をユークリッドモデルと関連付ける。
• 動径平面法およびスペクトル比較を用いて、固有関数に対する逆Hölder不等式を証明する。
• エネルギー推定および再配分不等式を用いて、解とその対称化された対応物の L^p ノルムを比較する。

実験結果

リサーチクエスチョン

• RQ1 ポアソン方程式に関するTalentiの比較定理は、非負のリッチ曲率をもつ完備で非コンパクトなリーマン多様体へ拡張可能か？
• RQ2 漸近的体積比（AVR）は、このような多様体上での解の対称化および比較にどのように影響するか？
• RQ3 一般化された比較原理から導けるスペクトル的および幾何的不等式（例：Faber-Krahn、Saint-Venant）は何か？
• RQ4 比較における等号が成り立つ条件は何か？ それは多様体の幾何にどのような意味を持つのか？
• RQ5 このような多様体上でのディリクレラプラシアンの固有関数に対して、逆Hölder不等式を対称化を用いて確立できるか？

主な発見

• 非負のリッチ曲率とAVR > 0 をもつ多様体上での領域 Ω における解 u の対称減少再配分 u^♯ は、体積をAVRでスケーリングしたユークリッド球 Ω^♯ 上の解 v によって点ごとに支配される。
• 比較 u^♯(x) ≤ v(x) における等号が成り立つのは、多様体がユークリッド空間に等長であり、かつ Ω が Ω^♯ と等周的である場合に限る。
• Faber-Krahn 不等式 λ₁(Ω) ≥ λ₁(Ω^♯) が成り立ち、等号は (M,g) がユークリッド空間であり、Ω が球である場合に限る。
• ねじり剛性に関するSaint-Venant定理が一般化される：Ω のねじり剛性は Ω^♯ のそれ以上に抑えられ、等号は同様の剛性条件のもとで成り立つ。
• ディリクレラプラシアンの固有関数に対して逆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ö不等式の一般化を達成する。