[論文レビュー] An optimal anisotropic Poincaré inequality for convex domains

Guofang Wang, Chao Xia|arXiv (Cornell University)|Dec 19, 2011

Nonlinear Partial Differential Equations参考文献 16被引用数 11

ひとこと要約

この論文は、Finsler-Laplacianのノイマン境界条件における最初の非ゼロ固有値の鋭い下界を導出することにより、凸領域における最適な非等方的Poincaré不等式を確立する。Finsler距離と内接半径を用いた勾配推定と最大原理の議論により、最初のノイマン固有値が $\pi^2/(4i_F^2)$ で下から抑えられることを証明する。ここで $i_F$ は $F$-内接半径である。これはPayne-Weinbergerの結果を非等方的設定に一般化する。

ABSTRACT

In this paper, we prove a sharp lower bound of the first (nonzero) eigenvalue of Finsler-Laplacian with the Neumann boundary condition. Equivalently, we prove an optimal anisotropic Poincaré inequality for convex domains, which generalizes the result of Payne-Weinberger. A lower bound of the first (nonzero) eigenvalue of Finsler-Laplacian with the Dirichlet boundary condition is also proved.

研究の動機と目的

• 凸領域におけるFinsler-Laplacianの最初の非ゼロ固有値の鋭い下界を確立すること。
• Finsler幾何と $F$-距離を用いて、Payne-Weinbergerの不等式を非等方的設定に一般化すること。
• $F$-内接半径 $i_F$ を用いて、平均がゼロである $W^{1,2}(\Omega)$ の関数に対する最適なPoincaré型不等式を導出すること。
• Finsler-Laplacianの最初のディリクレ固有値に対する下界を提示し、既知のFaber-Krahn型推定を拡張すること。

提案手法

• 最初の固有値 $\lambda_1^N$ の変分的特徴づけを、$F^2(\nabla u)$ と $u^2$ を含むレイリー商の下界として用いる。
• パrameters $\alpha, \beta$ を持つ、注意深く構築された補助関数 $P = \frac{1}{2}F^2(\nabla u) / (\beta^2 - (\alpha + u)^2)$ に最大原理を適用する。
• Finsler-Laplacianのボッハーナの公式と双対ノルム $F^0$ を用いて、$u$ の等高線上で勾配推定を導出する。
• 不等式 $\langle x, \xi \rangle \leq F(x)F^0(\xi)$ の形でコーシー・シュワルツの不等式を用い、勾配と測地線長を関連付ける。
• $u$ の最大点から境界への最小測地線 $\gamma$ を構成し、$\gamma$ 沿いに勾配推定を統合する。
• $\alpha \to 0$ の極限を取ることで、鋭い下界 $\lambda_1^N \geq \pi^2/(4i_F^2)$ を得る。ここで $i_F$ は $F$-内接半径である。

実験結果

リサーチクエスチョン

• RQ1 凸領域におけるFinsler-Laplacianの最初の非ゼロノイマン固有値の最適な下界は何か？
• RQ2 Finsler幾何を用いて、Payne-Weinbergerの不等式を非等方的設定に拡張できるか？
• RQ3 $F$-内接半径 $i_F$ は、Finsler-Laplacianのスペクトルギャップとどのように関係するか？
• RQ4 凸領域におけるFinsler-Laplacianの最初のディリクレ固有値の鋭い下界は何か？
• RQ5 勾配推定と最大原理の技法を、Finsler-Laplacianの枠組みにどのように適合させられるか？

主な発見

• Finsler-Laplacianの最初のノイマン固有値 $\lambda_1^N$ は、$i_F$ を $F$-内接半径として、$\lambda_1^N \geq \pi^2/(4i_F^2)$ を満たす。
• 不等式 $\lambda_1^N \geq \pi^2/(4i_F^2)$ は鋭く、領域がノルム $F$ に関するWulff球である場合に等号で成立する。
• 最初のディリクレ固有値 $\lambda_1^D$ は $\pi^2/(4d_F^2)$ で下から抑えられるが、$d_F$ は $F$-直径である。ただし、この結果は本文の主張では証明されていない。
• 証明は、テスト関数の構築と、$F^2(\nabla u)$ と $u$ の2次関数の比に最大原理を適用することで、微分不等式に帰着する。
• 補助関数の最大点において、勾配推定 $F^2(\nabla u) \leq \lambda_1 (\beta^2 - (\alpha + u)^2)$ が得られ、これが積分推定の鍵となる。
• 最終的な下界は、最小測地線に沿って勾配ノルムの逆数を統合することで得られ、$\sqrt{\lambda_1} \cdot i_F \geq \pi/2 - \arcsin(\alpha/(\alpha+1))$ となる。その後 $\alpha \to 0$ の極限を取る。