[論文レビュー] Mixed local-nonlocal operators: maximum principles, eigenvalue problems and their applications

Anup Biswas, Mitesh Modasiya|arXiv (Cornell University)|Oct 13, 2021

Spectral Theory in Mathematical Physics被引用数 4

ひとこと要約

本稿は、ラプラシアンと一般の非局所ジャンプ型作用素を組み合わせた一般化された混合局所・非局所楕円型作用素のクラスを導入し、ディリクレ問題における存在性・一意性および最大値原理を確立する。また、ファーバー＝クラーン型不等式と1次元対称性結果（ギブンズの予想の一般化）を証明し、$-\Delta + (-\Delta)^s$ 型の作用素に限らない、より広範なリーヴィー型ジャンプ測度をもつ作用素へと、先行研究を顕著に拡張する。

ABSTRACT

In this article we consider a class of non-degenerate elliptic operators obtained by superpositioning the Laplacian and a general nonlocal operator. We study the existence-uniqueness results for Dirichlet boundary value problems, maximum principles and generalized eigenvalue problems. As applications to these results, we obtain Faber-Krahn inequality and a one-dimensional symmetry result related to the Gibbons' conjecture. The latter results substantially extend the recent results of Biagi et.\ al. [7,9] who consider the operators of the form $-Δ+ (-Δ)^s$ with $s\in (0, 1)$.

研究の動機と目的

• 局所的（ラプラシアン）および非局所的（一般ジャンプ型）成分を組み合わせた混合順序楕円型作用素の一般枠組みを構築すること。
• このような作用素を用いたディリクレ問題における粘性解の存在性および一意性を確立すること。
• 新しい作用素クラスに対する最大値原理および一般化された固有値問題を導出すること。
• ファーバー＝クラーン不等式および1次元対称性結果（ギブンズの予想）を分数ラプラシアンの場合を超えて拡張すること。
• リーヴィー型ジャンプ核が可積分性条件を満たす場合に、$-\Delta + (-\Delta)^s$ に関する先行結果を任意のリーヴィー型ジャンプ核をもつ作用素へ一般化すること。

提案手法

• 作用素は $Lu = \Delta u + \int_{\mathbb{R}^d} (u(x+y) - u(x) - \mathbf{1}_{\{|y|\leq 1\}} y\cdot\nabla u(x)) j(y) \, dy$ として定義され、$j$ は $\int (1\wedge |y|^2)j(y)\,dy < \infty$ を満たす一般ジャンプ核である。
• 解析はリーヴィー過程への関連に依拠する：$X = B + Y$ で、$B$ はブラウン運動、$Y$ はジャンプ測度 $j(y)\,dy$ をもつ純ジャンプリーヴィー過程であり、これにより式 (1.1) の形の生成作用素が得られる。
• 粘性解は、滑らかな試験関数が厳密な極小値または極大値を達成する場合の比較に基づいて定義される。
• 解の表現にはフェインマン＝カックの公式が用いられ、$u(x) = \mathbb{E}_x[\int_0^{\uptau} f(X_t)\,dt] + \mathbb{E}_x[g(X_{\uptau})]$ と表される。ここで $\uptau$ は領域からの最初の抜出自時刻である。
• 移動平面法が用いられ、ギブンズの予想を一般非局所作用素へ拡張する1次元対称性結果の証明に用いられる。
• 近似過程列のための事前推定および収束議論が用いられ、解の連続性および収束性が証明される。

実験結果

リサーチクエスチョン

• RQ1 一般ジャンプ核をもつ混合局所・非局所楕円型作用素に対して、粘性解の存在性および一意性を確立できるか？
• RQ2 ジャンプ核の弱い可積分性条件のもとで、この作用素クラスに対して最大値原理が成り立つか？
• RQ3 ラプラシアンと一般非局所項を組み合わせた作用素に対して、ファーバー＝クラーン不等式を拡張できるか？
• RQ4 1次元対称性結果（ギブンズの予想）は、分数ラプラシアンの範囲を超えて、この広範な作用素クラスに対しても成り立つか？
• RQ5 このような混合順序作用素の主固有値およびスペクトル的性質は、どのように振る舞うか？

主な発見

• 本稿は、仮定 (A1) および $f$ と $g$ の正則性のもとで、$Lu = -f$ in $D$, $u = g$ on $D^c$ のディリクレ問題に対する粘性解の存在性および一意性を確立する。
• フェインマン＝カック型表現公式が導出され、$u(x) = \mathbb{E}_x[\int_0^{\uptau} f(X_t)\,dt] + \mathbb{E}_x[g(X_{\uptau})]$ と表され、解がリーヴィー過程の最初の領域外脱出分布と関連づけられる。
• 混合作用素に対する一般化された最大値原理が証明され、非正の解が境界上で最大値を達成することを保証する。
• 適切な条件下で主固有値 $\lambda_1$ が存在し、正の固有関数が存在する。
• ファーバー＝クラーン型不等式が確立され、同じ体積をもつ領域の中で、球が最初の固有値を最小化することを示す。
• 1次元対称性結果が証明され、適切な条件下で、半線形方程式 $Lu = f(u)$ の解は最初の座標方向に関して対称であることが示され、ギブンズの予想が一般非局所作用素へ拡張される。