[論文レビュー] Stability of the $L^{p}$-Poincaré inequality for the Lebesgue and Gaussian probability measures with explicit geometric dependence and applications to spectral gaps

Nurgissa Yessirkegenov, Amir Zhangirbayev|arXiv (Cornell University)|Feb 5, 2026

Geometry and complex manifolds被引用数 0

ひとこと要約

この論文は、L^p-ポワンカレ不等式のリブロック Stable性を Lebesgue および Gaussian 測度に対して幾何学的依存性を明示的に示し、Dirichlet p-Laplacian の新しい fundamental gap bounds を導出する。

ABSTRACT

In this paper, we obtain stability results for the $L^{p}$-Poincaré inequality for both Lebesgue and Gaussian probability measures (Theorem 3.3 and Theorem 3.13) that involve explicit dependence on the geometry of the domain. As a byproduct, the explicit constant allows us to recover important results of Yu, Zhong [YZ86] and Smits [Smi96] (Corollary 3.9), related to the fundamental gap conjecture of the Laplacian (resolved by Andrews and Clutterbuck [AC11]), thereby providing an alternative proof. Moreover, we extend this spectral gap result to the $p$-Laplacian (Corollary 3.6). Such gap estimates for the Dirichlet $p$-Laplacian appear to be unavailable, as also observed in [DSW18]. Our approach relies on properties of the first eigenfunction of the (Gaussian) $p$-Laplacian operator and weighted Poincaré inequalities for log-concave measures on convex domains.

研究の動機と目的

• Explicit geometric dependence を伴う L^p-ポワンカレ不等式の安定性を調査する。
• 境界幾何に依存する定数を用いた定量的安定性境界を導出する。
• Gaussian 測度に対して安定性結果を拡張し、p-Laplacian のスペクトルギャップと関連づける。
• 安定性の枠組みを用いて Dirichlet p-Laplacian の fundamental gap 推定を得る。
• 安定性を既知のラプラス方程式の結果と結びつけ、固有関数の性質を活用する。

提案手法

• Picone-type C_p 効用素を用いた L^p-ポワンカレ不等式の remainder 同一性を導出する（定理3.1）。
• C_p 制御と固有関数性質を用いた remainder の下限を得る（補題2.6, 2.7, 2.11, 2.12）。
• 凸領域における対数凹凸 weighted ポワンカレ不等式を適用して局所安定性から全域安定性へ移行する（定理2.4）。
• 幾何的依存性をドメイン直径の関数として明示的に確立する（系3.9の系3.3）。
• Gaussian 測度へもアプローチを拡張し、Gaussian p-Laplacian と Colesanti–Qin–Salani の log-concave 測度結果を用いて推定する（定理3.11, 3.13）。
• Dirichlet p-Laplacian のスペクトルギャップ推定を導出する（系3.6、コロリリー3.4, 3.9の回収）。

実験結果

リサーチクエスチョン

• RQ1 L^p-ポワンカレ不等式は、領域直径に依存する明示的な幾何定数で安定化できるか？
• RQ2 Gaussian 測度に対しても同様の明示的定数を持つ安定性が成り立つか？
• RQ3 このような安定性が Dirichlet p-Laplacian のスペクトルギャップにどんな影響を与えるか？
• RQ4 p=2 の既知の fundamental gap 結果を再現し、p>2 へ拡張できるか？
• RQ5 Picone-type 効用素 C_p はユークリッド空間および Gaussian 設定の安定性 remainder をどう制御するか？

主な発見

• 直径 Ω に関する明示的な定数を含む安定性不等式を証明する：∫Ω |∇u|^p dx − λ1(p,Ω) ∫Ω |u|^p dx ≥ (π_p/diam(Ω))^p [dist(u, optimizer 派生流形)]^p。
• p≥2 かつ凸 Ω の場合、距離は固有空間 E_Poin に対して測定され、境界における bound は d(u,E_Poin)^p となる。
• Gaussian 測度の類推が確立され、最適化子 E_Poin^γ および距離 d(u,E_Poin^γ)^p を用いた並行安定性結果が得られる。
• この結果は Dirichlet p-Laplacian のスペクトルギャップの新しい上界を与える：λ2−λ1 ≥ (1/2^{p-2})(π_p/diam(Ω))^p C(p,Ω,u1,u2)。
• p=2 に特化すると Yu–Zhong–Smits の fundamental gap を回収し、λ2−λ1 ≥ π^2/diam(Ω)^2。
• このアプローチは一般凸領域における Dirichlet p-Laplacian の明示的なギャップ推定を初めて提供する。