[论文解读] Best constants in Poincaré inequalities for convex domains

Luca Esposito, Carlo Nitsch+1 more|arXiv (Cornell University)|Oct 13, 2011

Point processes and geometric inequalities参考文献 5被引用 47

一句话总结

本文為 $ p \geq 2 $ 時，凸域上 $ p $-拉普拉斯诺伊曼特征值问题的 Poincaré 不等式最佳常数建立了精确的上界。透過改進 Pólya-Szegö 不等式並證明一個新的針對對數凹權重的加權 Wirtinger 不等式，作者表明最佳常數為 $ \left(\frac{1}{C_{\Omega,p}}\right)^p = \mu_p \geq \left(\frac{\pi_p}{d}\right)^p $，其中 $ \pi_p $ 為依賴於 $ p $ 的推廣常數，$ d $ 為區域的直徑。

ABSTRACT

We prove a Payne-Weinberger type inequality for the $p$-Laplacian Neumann eigenvalues ($p\ge 2$). The inequality provides the sharp upper bound on convex domains, in terms of the diameter alone, of the best constants in Poincaré inequality. The key point is the implementation of a refinement of the classical Pólya-Szegö inequality for the symmetric decreasing rearrangement which yields an optimal weighted Wirtinger inequality.

研究动机与目标

• 為 $ p \geq 2 $ 時，凸域上 $ p $-拉普拉斯諾伊曼特徵值問題的 Poincaré 不等式最佳常數建立精確的上界。
• 將原本僅適用於 $ p = 2 $ 的古典 Payne-Weinberger 不等式推廣至整個 $ p \geq 2 $ 範圍。
• 針對 $ p $-拉普拉斯設定，發展 Pólya-Szegö 原理的新型改進版本，專為對稱遞減重排設計。
• 證明針對對數凹權重的加權 Wirtinger 不等式，此為主要結果的核心。
• 證明最佳常數僅依賴於直徑 $ d $，而與凸域的具體幾何形狀無關。

提出的方法

• 提出針對 $ p $-拉普拉斯與對數凹權重特別調整的經典 Pólya-Szegö 不等式的改進版本，適用於對稱遞減重排。
• 證明在區間 $[0,L]$ 上，針對非負對數凹權重 $ f $ 的函數，其 Rayleigh 商在權重為常數時最小化。
• 使用切片法將凸域 $ \Omega \subset \mathbb{R}^n $ 分解為薄的凸子區域，其直徑 $ \leq d $，其中 $ d $ 為 $ \Omega $ 的直徑，且 $ n-1 $ 個方向被限制在 $ \varepsilon $-寬度內。
• 應用 Brunn-Minkowski 不等式，證明沿最長方向的截面面積函數 $ f(t) $ 為對數凹，進而可應用加權 Wirtinger 不等式。
• 利用 $ C^2 $-正則性與 $ \varepsilon $-厚度，估計在每個子區域上以跡函數沿一維軸近似 $ L^p $-半範數與 $ L^p $-範數的誤差。
• 取極限 $ \varepsilon \to 0 $，獲得精確不等式 $ \mu_p \geq \left(\frac{\pi_p}{d}\right)^p $，其中 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $。

实验结果

研究问题

• RQ1 能否將 $ p = 2 $ 時的 Payne-Weinberger 不等式推廣至 $ p \geq 2 $ 的 $ p $-拉普拉斯諾伊曼特徵值問題？
• RQ2 凸域上 $ p $-拉普拉斯諾伊曼特徵值的 Poincaré 不等式最佳常數是否僅由直徑決定，與區域的具體形狀無關？
• RQ3 能否透過 Pólya-Szegö 原理的改進版本，為對數凹權重的加權 Poincaré 不等式取得最佳界？
• RQ4 在凸域上，$ p $-拉普拉斯諾伊曼特徵值的 Rayleigh 商最小化是否發生在線段上？
• RQ5 在 $ p $-拉普拉斯特徵值估計中，將 $ p = 2 $ 時的 $ \pi $ 推廣的精確常數 $ \pi_p $ 的顯式形式為何？

主要发现

• 在任意有界凸域 $ \Omega \subset \mathbb{R}^n $ 上，$ p $-拉普拉斯諾伊曼特徵值的 Poincaré 不等式最佳常數滿足 $ \mu_p \geq \left(\frac{\pi_p}{d}\right)^p $，其中 $ d $ 為 $ \Omega $ 的直徑。
• 常數 $ \pi_p = 2\pi \frac{(p-1)^{1/p}}{p \sin(\pi/p)} $ 將 $ p = 2 $ 時的古典 $ \pi $ 推廣，且與長度為 $ d $ 的一維區間上第一個非平凡 $ p $-拉普拉斯特徵值一致。
• 不等式為精確的，且在 1D 情形下等號成立，確認區間為特徵值問題的極值區域。
• 證明依賴於對 $ p $-Dirichlet 能量在對數凹權重下對稱遞減重排下保持結構的 Pólya-Szegö 不等式之新型改進。
• 作者建立了一個針對對數凹權重的新加權 Wirtinger 不等式，表明最佳常數在權重為常數時達到，此點對界之精確性至關重要。
• 透過將區域切片為薄的凸子區域，並以一維積分近似 $ p $-能量，成功將 $ n $-維問題簡化為一維加權不等式，誤差由 $ \varepsilon $ 控制，且在 $ \varepsilon \to 0 $ 時消失。