[論文レビュー] Nonlocal elliptic equations in bounded domains: a survey

Xavier Ros‐Oton|arXiv (Cornell University)|Apr 16, 2015

Nonlinear Partial Differential Equations参考文献 28被引用数 7

ひとこと要約

本調査は、有界領域における非局所楕円型方程式の包括的分析を提供し、積分微分作用素ディリクレ問題の解の存在、最大原理、正則性に焦点を当てる。解の正則性がカーネルの性質、領域の幾何構造、境界データに強く依存することを示しており、古典的局所方程式に見られない純粋な非局所的現象、例えばカーネルの正則性や境界形状の影響が右辺や領域の滑らかさを超えて現れる現象を明らかにする。

ABSTRACT

In this paper we survey some results on the Dirichlet problem \[\left\{ \begin{array}{rcll} L u &=&f& extrm{in }Ω\\ u&=&g& extrm{in }\mathbb R^n\backslashΩ\end{array} ight.\] for nonlocal operators of the form \[Lu(x)= extrm{PV}\int_{\mathbb R^n}\bigl\{u(x)-u(x+y)\bigr\}K(y)dy.\] We start from the very basics, proving existence of solutions, maximum principles, and constructing some useful barriers. Then, we focus on the regularity properties of solutions, both in the interior and on the boundary of the domain. In order to include some natural operators $L$ in the regularity theory, we do not assume any regularity on the kernels. This leads to some interesting features that are purely nonlocal, in the sense that have no analogue for local equations. We hope that this survey will be useful for both novel and more experienced researchers in the field.

研究の動機と目的

• 有界領域における非局所ディリクレ問題の存在、比較原理、バリア構成についての統一的かつアクセス可能な調査を提供すること。
• カーネル正則性に関する最小限の仮定のもとで、非局所方程式の解の内部および境界正則性を分析すること。
• 局所2階楕円型偏微分方程式に類似物のない、純粋な非局所的特徴（例えばカーネル構造や領域幾何の依存性）を強調すること。
• 特に境界付近における関数 $ u/d^s $ の観点から、解の滑らかさに関する鋭い Hölder 及び高階正則性推定を確立すること。
• カーネル特異性、領域の正則性（例：$ C^{1,1} $、$ C^\nu $）とそれによる解の正則性の相関関係を明確にし、鋭い非正則性反例を提示すること。

提案手法

• 翻訳不変非局所作用素を定義するために、主値積分形 $ Lu(x) = \mathrm{PV} \int_{\mathbb{R}^n} \{u(x) - u(x+y)\} K(y) \, dy $ を用いる。
• 比較原理およびバリア法を適用して、解の $ L^\infty $ 界および最大原理を導出する。
• スケーリングおよび摂動技法を用いて、内部正則性推定（$ C^{\alpha} $ および $ C^{2s+\alpha} $ 界を含む）を証明する。
• 境界正則性は $ u/d^s $ の挙動を分析することで評価され、カーネル滑らかさおよび領域正則性に応じた Hölder 正則性が確立される。
• カーネルクラス $ K(y) = a(y/|y|)/|y|^{n+2s} $ を用い、$ a \in L^1(S^{n-1}) $ または $ a \in C^{k,\gamma}(S^{n-1}) $ として、広範な非局所作用素をモデル化する。
• 反例を用いて鋭い正則性結果を確立する（例：$ C^\infty $ 境界の非凸領域において、$ C^{3s+\epsilon} $ 正則性が凸性やカーネル滑らかさなしでは成立しないことを示す）。

実験結果

リサーチクエスチョン

• RQ1 カーネル $ K(y) $ の正則性は、非局所ディリクレ問題の解の内部および境界正則性にどのように影響するか？
• RQ2 領域の幾何（例：凸性、$ C^{1,1} $、$ C^\infty $）は、標準的な $ C^{s} $ や $ C^{2s} $ 推定を超えて解の正則性をどのように向上させるか？
• RQ3 非局所方程式の解は、標準的な内部推定で予測されるよりも高い正則性（例：$ C^{1+3s-\epsilon} $）を達成できるか？どのような条件下で？
• RQ4 境界付近における解の挙動（特に関数 $ u/d^s $）は、カーネルの正則性および領域の正則性をどのように反映するか？
• RQ5 非凸領域や特異カーネルにおいて、滑らかなデータのもとで $ C^{3s+\epsilon} $ 正則性が成立しないことを示す鋭い反例は存在するか？

主な発見

• $ a \in L^1(S^{n-1}) $ かつ $ \Omega \in C^{1,1} $ のとき、$ \|u/d^s\|_{C^{s-\epsilon}(\overline{\Omega})} \leq C\|f\|_{L^\infty(\overline{\Omega})} $ が成り立ち、境界付近で $ u/d^s \in C^{s-\epsilon} $ であることが示される。
• $ a \in C^{1,\gamma}(S^{n-1}) $ かつ $ \Omega \in C^{2,\gamma} $ のとき、$ \|u/d^s\|_{C^{s+\gamma}(\overline{\Omega})} \leq C\|f\|_{C^{\gamma}(\overline{\Omega})} $ が成り立ち、境界に近い部分で $ u \in C^{2s+\gamma} $ であることが示される。
• $ a \in C^\infty(S^{n-1}) $ かつ $ \Omega \in C^\infty $ のとき、すべての $ \gamma > 0 $ に対して $ \|u/d^s\|_{C^{s+\gamma}(\overline{\Omega})} \leq C\|f\|_{C^{\gamma}(\overline{\Omega})} $ が成り立ち、ただし $ s+\gamma $ が整数でない場合に限る。
• 凸領域および $ a \in \text{measures} $ の場合、$ Lu = 1 $ in $ \Omega $、$ u = 0 $ on $ \mathbb{R}^n \setminus \Omega $ を満たす解は、すべての $ \epsilon > 0 $ に対して $ u \in C^{1+3s-\epsilon}_{\text{loc}}(\Omega) $ を満たす。
• $ a \in L^\infty(S^{n-1}) $ かつ $ \Omega \in C^{1,1} $ の場合、同じ $ C^{1+3s-\epsilon}_{\text{loc}} $ 正則性が成り立ち、カーネルの可積分性が正則性を向上させることを示す。
• 反例が存在する：$ C^\infty $ な非凸領域と (1.5) 形式のカーネルを備えたもので、$ Lu = 1 $ の解が、任意の $ \epsilon > 0 $ に対して $ C^{3s+\epsilon}_{\text{loc}}(\Omega) $ に属さないことが示され、凸性条件の鋭さが証明される。