[論文レビュー] Sharp lower bound for the first eigenvalue of the Weighted $p$-Laplacian

Xiaolong Li, Kui Wang|arXiv (Cornell University)|Oct 5, 2019

Nonlinear Partial Differential Equations参考文献 26被引用数 10

ひとこと要約

本稿は、リッチ曲率が $\kappa g$ で下から有界で $\kappa \leq 0$、または $1 < p \leq 2$ であるコンパクトな Bakry-Emery 多様体上での重み付き $p$-ラプラシアンの第一非零固有値に対する鋭い下界を確立する。著者らは $p \leq 2$ の場合に連続性モジュラス推定を用い、$\kappa \leq 0$ の場合に一様次元モデル方程式の解析と鋭い勾配比較定理を適用する。これは $p$-ラプラシアンおよび $f$-ラプラシアンに関する先行研究を一般化する。

ABSTRACT

We prove sharp lower bound estimates for the first nonzero eigenvalue of the weighted $p$-Lapacian operator with $1&lt; p&lt; \infty$ on a compact Bakry-Emery manifold $(M^n,g,f)$ satisfying $\Ric+ abla^2 f \geq κ\, g$, provided that either $1

研究の動機と目的

• コンパクトな Bakry-Emery 多様体上での重み付き $p$-ラプラシアン $\Delta_{p,f}$ の第一非零固有値に対する鋭い下界を確立すること。
• 定数 $f$ の $p$-ラプラシアン ($f=\text{const}$) や $p=2$ の $f$-ラプラシアンに対する既存の固有値推定を、完全な重み付き $p$-ラプラシアン設定に一般化すること。
• 非正の $\kappa$ または $1 < p \leq 2$ の場合に、曲率とポテンシャルの相互作用が非自明となるような状況への鋭い固有値推定の拡張。
• 連続性モジュラスと勾配比較技術を用いた統一的枠組みを提供し、極限状況での既知の鋭い境界を回復すること。
• モデル例の構成と一様次元固有値問題との比較を通じて、境界の鋭さを検証すること。

提案手法

• $1 < p \leq 2$ の場合、著者らは鋭い下界を導出するために連続性モジュラス推定法を用いる。
• $\kappa \leq 0$ の場合、固有関数に鋭い勾配比較定理を適用し、問題を一様次元モデル方程式の解析に還元する。
• 一様次元モデル方程式は、$[-D/2, D/2]$ 上で $|w'|^{p-2}w'' - \kappa t |w'|^{p-2}w' + \lambda |w|^{p-2}w = 0$ であり、ノイマン境界条件を満たす。
• 固有値 $\lambda_{p,f}$ は、このモデル方程式の第一非零ノイマン固有値 $\mu(\kappa, D)$ によって下から抑えられる。
• $p \geq 2$ および $\kappa > 0$ の場合、$f$-ラプラシアンのボッハナー公式と部分積分を用いて非鋭い境界が得られる。
• ホルダーの不等式およびエネルギー推定を用いて、$u$ と $|\nabla u|$ の $L^p$ ノルムを関連づけ、最終的な固有値下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率が $\operatorname{Ric} + \nabla^2 f \geq \kappa g$ を満たす Bakry-Emery 多様体上での重み付き $p$-ラプラシアンの第一非零固有値に対する鋭い下界は何か？
• RQ2 本研究の結果は、古典的な Lichnerowicz-Obata および Bakry-Qian の固有値推定をどのように $p$-ラプラシアン設定に一般化するか？
• RQ3 ボッハナー公式を超える幾何学的・解析的技術を用いて、$1 < p \leq 2$ または $\kappa \leq 0$ の場合に鋭い固有値境界を確立できるか？
• RQ4 一様次元モデル方程式は鋭い固有値推定を特徴付ける上で果たす役割は何か？
• RQ5 境界の鋭さは、モデル多様体や比較原理を通じてどのように現れるか？

主な発見

• $1 < p \leq 2$ および $\kappa \leq 0$ の場合、重み付き $p$-ラプラシアンの第一非零固有値 $\lambda_{p,f}$ は $\lambda_{p,f} \geq \mu(\kappa, D)$ を満たす。ここで $\mu(\kappa, D)$ は、$[-D/2, D/2]$ 上で $\varphi'' - \kappa t \varphi' = -\mu \varphi$ を満たす一様次元問題の第一非零ノイマン固有値である。
• $\kappa = 0$ の場合、鋭い下界は $\lambda_{p,f} \geq (p-1) \frac{\pi_p^p}{D^p}$ に簡略化され、$p$-ラプラシアンに対する既知の鋭い推定を回復する。
• $p \geq 2$ および $\kappa > 0$ の場合、非鋭い下界 $\lambda_{p,f} \geq \left(\frac{\kappa}{p-1}\right)^{p/2}$ が得られ、$p \geq 2$ の場合の以前の推定を改善する。
• 境界の鋭さは、固有値が $\mu(\kappa, D)$ に任意に近づくような例の構成によって示された。
• 連続性モジュラス推定法により、$1 < p \leq 2$ の場合に確立される証明は単純かつ直接的であり、確率的または PDE 比較技術を回避する。
• Valtorta [25]、Naber-Valtorta [21] の $p$-ラプラシアンに関する先行研究および Bakry-Qian [6] の $f$-ラプラシアン（$p=2$）に関する研究を、本研究は拡張・統合する。