[論文レビュー] A Faber-Krahn inequality with drift

François Hamel, Nikolaï Nadirashvili+1 more|arXiv (Cornell University)|Jul 24, 2006

Nonlinear Partial Differential Equations参考文献 35被引用数 12

ひとこと要約

本稿は、境界条件がディリクレ型である drifted ラプラシアン $-\Delta + v\cdot\nabla$ の第一固有値に関するファーベル＝クラウーン型不等式を確立する。測度が等しいすべての領域の中で、ドリフト $v$ が径数的であり、$L^\infty$-ノルムで $\tau$ に有界であるとき、球が主固有値を最小化することを証明する。主な結果は $\lambda_1(\Omega,v) \geq \lambda_1(\Omega^*, \tau e_r)$ であり、等号は径数的ドリフトを持つ球の場合にのみ成立する。

ABSTRACT

Let $Ω$ be a bounded $C^{2,α}$ domain in $\R^n$ ($n\geq 1$, $0

研究の動機と目的

• 古典的なレイリー＝ファーベル＝クラウーン不等式をドリフト項を有する非自己随伴作用素 $-\Delta + v\cdot\nabla$ に拡張すること。
• 有界な $C^{2,\alpha}$ 域における drifted ラプラシアンの第一固有値に関する等周不等式を確立すること。
• 測度が等しいすべての領域の中で、径数的ドリフト $\tau e_r$ を有する球が主固有値を最小化することを証明すること。
• 等号成立の条件を同定し、最小化が球でありかつドリフトが径数的である場合にのみ成立することを示すこと。

提案手法

• 正のテスト関数を用いた $W^{2,n}_{\text{loc}}(\Omega)$ 内の第一固有値 $\lambda_1(\Omega,v)$ の最小最大表現を利用する。
• 最大原理とホフプの補題を用いて、中空領域および径数的領域における解を比較する。
• 主固有値の下界を評価するために、半径 $\tau R$ の球上に比較関数 $u_n$ を構成する。
• 変数変換を用いて、異なる領域における固有値問題を関連づけ、特に径数的から非径数的設定に移行する。
• 強い最大原理を用いて固有関数間の厳密な不等式を導出し、非対称な場合に等号が成り立つと仮定した場合の矛盾を示す。
• 固有関数の漸近的解析と指数的減衰推定を用いて、主結果に必要な逆不等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 測度が等しいすべての領域の中で、ディリクレ条件の下で drifted ラプラシアン $-\Delta + v\cdot\nabla$ の第一固有値は球で最小化されるか？
• RQ2 古典的なレイリー＝ファーベル＝クラウーン不等式は、ドリフト項を有する作用素へと拡張可能か？
• RQ3 与えられた $L^\infty$-ノルムの上限 $\tau$ に対して、$\lambda_1(\Omega,v)$ を最小化する最適なドリフトベクトル場 $v$ は何か？
• RQ4 drifted ラプラシアンの等周不等式において、等号が成立する条件は何か？
• RQ5 固定された測度を持つ球において、径数的ドリフト $\tau e_r$ は第一固有値を最小化するために最適か？

主な発見

• ディリクレ境界条件を満たす $-\Delta + v\cdot\nabla$ の第一固有値 $\lambda_1(\Omega,v)$ は、$\Omega^*$ を $\Omega$ と同一測度の球とし、$e_r(x) = x/|x|$ とすると、$\lambda_1(\Omega,v) \geq \lambda_1(\Omega^*, \tau e_r)$ を満たす。
• 等号が成立するのは、$\Omega = \Omega^*$（平行移動を除き）かつ $v = \tau e_r$ almost everywhere の場合に限る。
• この結果は、有界ドリフトを有する非自己随伴作用素への古典的レイリー＝ファーベル＝クラウーン不等式の一般化である。
• 証明は、比較原理、最大原理、および変換技術を用いて、異なる領域における固有値問題を関連付ける。
• ドリフトが径数的であり、$L^\infty$-ノルムで $\tau$ に有界であるとき、主固有値は球上で厳密に最小化される。
• 解析により、非径数的領域や非径数的ドリフトは、常により大きな固有値をもたらすことが示され、球に径数的ドリフトが最適であることが確認された。