[論文レビュー] The Neumann problem for the fractional Laplacian: regularity up to the boundary

Alessandro Audrito, Juan-Carlos Felipe-Navarro+1 more|arXiv (Cornell University)|Jun 17, 2020

Nonlinear Partial Differential Equations被引用数 4

ひとこと要約

本稿は、分数ラプラシアンのノイマン問題に対する最初の境界正則性結果を確立し、弱解が境界に近づくにつれて Hölder 継続的であることを証明するとともに、$ s > \frac{1}{2} $ の場合、$ C^{2s-1+\alpha}(\overline{\Omega}) $ に属することを示している。著者らは、非局所性と反射対称性の欠如という課題を克服するため、対数補正を施した新規の境界モーザー反復法を開発した。

ABSTRACT

We study the regularity up to the boundary of solutions to the Neumann problem for the fractional Laplacian. We prove that if $u$ is a weak solution of $(-Δ)^s u=f$ in $Ω$, $\mathcal N_s u=0$ in $Ω^c$, then $u$ is $C^α$ up tp the boundary for some $α>0$. Moreover, in case $s>\frac12$, we then show that $u\in C^{2s-1+α}(\overlineΩ)$. To prove these results we need, among other things, a delicate Moser iteration on the boundary with some logarithmic corrections. Our methods allow us to treat as well the Neumann problem for the regional fractional Laplacian, and we establish the same boundary regularity result. Prior to our results, the interior regularity for these Neumann problems was well understood, but near the boundary even the continuity of solutions was open.

研究の動機と目的

• 分数ラプラシアンのノイマン問題に対する最初の境界正則性理論を確立すること。ここでは、境界に近い連続性および Hölder 正則性がこれまで未知であった。
• censored ストキャスティック過程をモデル化する地域的分数ラプラシアンへ正則性解析を拡張すること。これは異なるエネルギー構造を持つ。
• 古典的反射手法が非局所設定において奇・偶対称性の欠如により失敗するという根本的困難を克服すること。
• 非局所方程式における境界近傍の振動を制御するため、対数補正を組み込んだ新しい境界モーザー反復スキームを開発すること。
• 解の正則性閾値 $ C^{2s-1+\alpha} $ が最適であることを示し、半空間におけるモデル解 $ |x_N|^{2s-1} $ によって裏付けられる。

提案手法

• モーザー反復法を非局所ノイマン設定に適応し、特異核と非局所相互作用を扱うために境界推定値に対数補正を導入する。
• 弱解を特徴付けるエネルギー汎関数 $ \mathcal{E}(u) = \frac{c_{N,s}}{4} \iint_{\mathbb{R}^{2N} \setminus (\Omega^c)^2} \frac{|u(x)-u(y)|^2}{|x-y|^{N+2s}} \, dx\,dy - \int_\Omega f u $ に基づく変分的定式化を用いる。
• 境界領域 $ \Omega^c $ における非局所ノイマン作用素 $ \mathcal{N}_s u(x) = c_{N,s} \int_\Omega \frac{u(x)-u(y)}{|x-y|^{N+2s}} \, dy $ を定義し、質量保存と変分的一致性を保証する。
• 全分数ラプラシアンと地域的分数ラプラシアンの間の双対性を確立し、地域的作用素のノイマン問題の解が同じ正則性推定値を満たすことを証明する。
• 境界正則性閾値 $ 2s-1 $ が鋭いことを示すために、方程式を点で満たすが弱解でないモデル解 $ |x_N|^{2s-1} $ を構成する。
• 部分積分恒等式とカーネル分解を用いて、非局所ノイマン問題を有界可測係数を持つ発散型方程式に関連づけ、高度な正則性技法の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 有界なリプシッツ領域 $ \Omega $ に対して、$ f \in L^q(\Omega) $ かつ $ q > \frac{N}{2s} $ のとき、ノイマン問題 $ (-\Delta)^s u = f $ in $ \Omega $, $ \mathcal{N}_s u = 0 $ in $ \Omega^c $ の弱解 $ u $ の最適な境界正則性は何か？
• RQ2 分数ラプラシアンノイマン問題の境界正則性理論は、censored プロセスから生じる地域的分数ラプラシアンへ拡張可能か？
• RQ3 古典的反射に基づく正則性理論が非局所設定でなぜ失敗するのか？境界正則性を達成するためにどのような新しい解析的道具が必要か？
• RQ4 正則性閾値 $ C^{2s-1+\alpha} $ は最適か？また、$ |x_N|^{2s-1} $ のような明示的解とどのように関係するか？
• RQ5 モーザー反復は非局所境界設定にどのように適応可能か？対数補正は境界近傍の振動を制御する上で果たす役割は何か？

主な発見

• 任意の有界なリプシッツ領域 $ \Omega $ に対して、弱解 $ u $ は $ \|u\|_{C^{\alpha}(\overline{\Omega})} \leq C\left(\|f\|_{L^q(\Omega)} + \|u\|_{L^2(\Omega)}\right) $ を満たす。ここで $ \alpha > 0 $ であり、$ f \in L^q(\Omega) $ かつ $ q > \frac{N}{2s} $、さらに $ \int_\Omega f = 0 $ である。
• $ s > \frac{1}{2} $、$ q > N $、かつ $ \Omega $ が $ C^1 $ のとき、解は $ C^{2s-1+\alpha}(\overline{\Omega}) $ に属し、そのノルムは $ \|f\|_{L^q(\Omega)} + \|u\|_{L^2(\Omega)} $ によって制御される。
• 正則性閾値 $ 2s-1 $ は鋭い。これは、半空間において方程式を点で満たすが弱解でない関数 $ |x_N|^{2s-1} $ によって裏付けられる。
• 境界モーザー反復技法は、対数補正を施した非局所設定に適応され、反射対称性の欠如にもかかわらず、境界近傍の振動を制御可能となった。
• 同じ正則性結果が、地域的分数ラプラシアンに関連するノイマン問題に対しても成り立つ。これは、異なる非局所作用素に対しても本手法の強靭性が確認されたことを示している。
• 非局所ノイマン作用素 $ \mathcal{N}_s u $ は自然な部分積分公式を満たし、質量保存を保証する。これは、$ s \to 1^- $ の極限で古典的ノイマン問題と整合的である。