[論文レビュー] An overview on constrained critical points of Dirichlet integrals

Lorenzo Brasco, Giovanni Franzina|arXiv (Cornell University)|Jul 1, 2019

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

ひとこと要約

本稿は、$L^q$-正規化関数上のディリクレ積分の制約付き臨界点を調査し、ラプラシアンの古典的固有値問題を一般化する。変分的性質、正則性結果、および$q$-スペクトルに関する未解決問題を提示する。特に、Lane-Emden方程式と、$1<q<2$（準均質的）および$2<q<2^*$（超均質的）の状況における最初の固有関数の挙動に注目する。

ABSTRACT

We consider a natural generalization of the eigenvalue problem for the Laplacian with homogeneous Dirichlet boundary conditions. This corresponds to look for the critical values of the Dirichlet integral, constrained to the unit $L^q$ sphere. We collect some results, present some counter-examples and compile a list of open problems.

研究の動機と目的

• ディリクレ-ラプラシアンの古典的固有値問題を、$L^q$-単位球上に制約されたディリクレ積分の臨界点を研究することで一般化すること。
• 特に$1<q<2$（準均質的）および$2<q<2^*$（超均質的）の場合について、$q$-スペクトルの変分的および解析的性質を分析すること。
• $q \neq 2$ のとき、古典的スペクトル理論の性質（例：単純性、最小性）がどのように崩壊するかを示す反例を特定・提示すること。
• $q$-固有値およびそれに関連する固有関数に関する理論における未解決問題を包括的に整理すること。
• 最初の$q$-固有関数の正則性結果を確立し、勾配の負のべきの局所的可積分性および導関数のホルダー正則性を含む。

提案手法

• $L^q(\Omega)$における単位球上でディリクレ積分の最適化問題として$q$-固有値問題を定式化し、Lane-Emden方程式$-\Delta u = \lambda |u|^{q-2}u$が得られる。
• ラグランジュ乗数法を適用して臨界点のオイラー＝ラグランジュ方程式を導出し、非線形性$|u|^{q-2}u$を有する非線形固有値問題を得る。
• 重み付きエネルギー推定と、切断関数$\eta$を用いた切り詰め技術を用いて、$q$-固有関数の導関数の挙動を制御する。
• 特異性を扱うために、$|\nabla U|^{\alpha}$の式に$\varepsilon > 0$を導入し、$\varepsilon \to 0$の極限に移行する。
• ヤングの不等式とソボレフ型埋め込みを用いて、変換関数$F_\varepsilon(U_{x_j})$の$W^{1,2}$における一様な有界性を導出し、弱コンパクト性および正則性に関する結論を得る。
• 最小値原理を用いて、$\Omega$内での$U > 0$を示し、$U$の下界により、$|\nabla U|^{-\beta}$の可積分性を制御できる。

実験結果

リサーチクエスチョン

• RQ1 ディリクレ-ラプラシアンのスペクトル的性質（例：離散性、単純性、最小性）は、$q \neq 2$ のとき$q$-スペクトルにどのように拡張されるか？
• RQ2 特に、$|\nabla u|^{-\beta}$の可積分性および$|\nabla u|^{(\alpha+2)/2}$の局所的$W^{1,2}$-正則性に関して、最初の$q$-固有関数の正則性はいかなるものか？
• RQ3 $q \neq 2$ のとき、ヒルベルト空間構造が欠如しているために、標準的スペクトル理論の道具がどのように適用できなくなるか？
• RQ4 単一性や最小性の性質が失敗することを示す反例は存在するか？
• RQ5 特に超均質的状況$2 < q < 2^*$において、$q$-スペクトルの構造に関する未解決問題は何か？

主な発見

• 連結な$\Omega$に対して、最初の$q$-固有値$\lambda_1(\Omega;q)$は単純であり、符号を除いて$\mathcal{S}_q(\Omega)$上に一意の正の最小化子をもつ。
• $1 < q < 2$のとき、最初の$q$-固有関数$U$は$\alpha = -2(q-1)/(q-2)$に対して$|\nabla U|^{(\alpha+2)/2} \in W^{1,2}_{\rm loc}(\Omega)$を満たし、勾配の高次可積分性が示される。
• 任意のコンパクト集合$K \Subset \Omega$に対して、$\{x \in K : |\nabla U(x)| = 0\}$の$N$次元測度はゼロである。非線形楕円型方程式において一般に臨界集合に制御ができないにもかかわらず。
• $\beta < 1/2$のとき、$U$の正の性質と$U^{q-1}/|\nabla U|^\beta$の可積分性により、$|\nabla U|^{-\beta}$は$\Omega$で局所的可積分である。
• 正則化エネルギー推定により、$F_\varepsilon(U_{x_j}) = \int_0^{U_{x_j}} (\varepsilon + \tau^2)^{\alpha/4} d\tau$の$W^{1,2}$における一様有界性が得られ、$\varepsilon \to 0$の極限で$|U_{x_j}|^{(\alpha+2)/2}$に弱収束する。
• $\varphi = \eta / (\varepsilon + |\nabla U|)^\beta$を方程式に代入する手法により、$\int_{B_r} U^{q-1}/|\nabla U|^\beta \, dx$が有界であることが示され、勾配の逆数のべきの局所的可積分性が確認される。