[論文レビュー] Faber-Krahn inequality for Robin problem involving p-Laplacian

Qiuyi Dai, Yu-xia Fu|arXiv (Cornell University)|Dec 2, 2009

Nonlinear Partial Differential Equations参考文献 14被引用数 5

ひとこと要約

この論文は、ロビン境界条件を満たすp-ラプラシアンに対するファーベル＝クラウン型不等式を確立し、固定された体積をもつすべての領域の中で、球が最初の固有値を最小化することを証明している。著者たちは、p-ラプラシアンの退化とベッセル関数の欠如に起因する課題を、レベル集合解析、近似手法、および固有関数に関する新規な対称性結果を用いて克服し、ラプラシアンの場合に知られている結果をp-ラプラシアンの場合に拡張した。

ABSTRACT

The eigenvalue problem for the p-Laplace operator with Robin boundary condition is considered in this paper. A Faber-Krahn type inequality is proved. More precisely, it is shown that amongst all the domains of fixed volume, the ball has the smallest first eigenvalue.

研究の動機と目的

• ロビン境界条件を満たすp-ラプラシアンに対するファーベル＝クラウン型不等式を確立すること。
• 固定された体積をもつすべての領域の中で、最初の固有値が球によって最小化されることを証明すること。
• 古典的な対称化手法の直接適用を不可能にする、p-ラプラシアンに内在する非単調性および退化の問題に対処すること。
• ラプラシアンの場合に知られている結果を、特に $ p \neq 2 $ のp-ラプラシアンの場合に拡張すること。
• ベッセル関数に依存せず、レベル集合解析と固有関数の対称性に依存する、新しい証明を提供すること。

提案手法

• 最初の固有値 $ \lambda_1(\Omega) $ のためのレベル集合公式を用い、超レベル集合上の積分を介してそれを表現する。
• p-ラプラシアンの退化を扱い、滑らかでないがリプシッツな領域へ結果を拡張するために、新規な近似手続きを採用する。
• 固有関数の対称性に関する結果を適用：もし超レベル集合が球であり、かつ固有関数が連続であれば、その球内で固有関数は回転対称的である。
• 関数 $ H_\Omega(U_t, \Phi) $ を用いた比較議論を実施し、$ U_t $ が外部境界を持たない球である場合に限り、それが球の最初の固有値に等しくなる。
• 球上でディリクレ問題の解の一意性を活用し、レベル集合内での固有関数の回転対称性を確立する。
• 最初の固有関数およびそのレベル集合に関する抽象的命題に依存して、$ \lambda_1(\Omega) $ の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 固定された体積をもつすべての領域の中で、ロビン境界条件を満たすp-ラプラシアンの最初の固有値が、領域が球であるときにのみ最小値をとるか？
• RQ2 ラプラシアン（$ p=2 $）の場合に知られているファーベル＝クラウン不等式を、一般のp-ラプラシアン（$ p \neq 2 $）の場合に拡張できるか？
• RQ3 このような不等式を証明するにあたり、ベッセル関数の欠如およびp-ラプラシアンの退化をどのように克服できるか？
• RQ4 p-ラプラシアンのロビン問題におけるファーベル＝クラウン不等式の等号成立条件は、球対称性によって特徴づけられるか？
• RQ5 Gidas-Ni-Nirenberg型の結果が存在しない状況において、$ p > 2 $ かつ $ p \neq N $ の場合に、p-ラプラシアンの場合に固有関数の対称性結果を確立できるか？

主な発見

• ロビン境界条件を満たすp-ラプラシアンの最初の固有値 $ \lambda_1(\Omega) $ は、$ \Omega $ が同じ体積の球であるときに最小化される。
• 任意の固定された体積をもつ領域 $ \Omega $ に対して、$ \lambda_1(B) \leq \lambda_1(\Omega) $ が成り立ち、等号が成り立つのは $ \Omega = B $ のとき（平行移動を除く）に限る。
• 外部境界を持たない球であるレベル集合は、必ず同心であるため、その領域内での固有関数は回転対称的である。
• 本証明は、p-ラプラシアン固有関数のための新規な対称性結果を確立している：超レベル集合が球であり、固有関数が連続であれば、その球内で固有関数は回転対称的である。
• ベッセル関数や対称化に依存せず、レベル集合解析と解の一意性に依存する新しい証明を提供しており、p-ラプラシアンロビン問題のファーベル＝クラウン不等式を証明した。
• 結果はすべての $ p \in (1, \infty) $ に対して成り立ち、従来の $ p=2 $ または特定のケースに限られた結果を拡張した。