[論文レビュー] Interior and up to the boundary regularity for the fractional $g$-Laplacian: the convex case

Julián Fernández Bonder, Ariel Salort+1 more|arXiv (Cornell University)|Aug 12, 2020

Nonlinear Partial Differential Equations被引用数 4

ひとこと要約

本稿では、有界な $C^{1,1}$ 域における分数階 $g$-ラプラシアンDirichlet問題の弱解について、Young関数 $g$ が凸であるという仮定の下で、内部および境界にまで及ぶ Hölder 帯域推定を確立する。本研究は、有界な右辺を伴う分数階Orlicz-Sobolev空間における非局所積分微分方程式の文献において初の正則性結果を提供する。

ABSTRACT

We establish interior and up to the boundary Hölder regularity estimates for weak solutions of the Dirichlet problem for the fractional $g-$Laplacian with bounded right hand side and $g$ convex. These are the first regularity results available in the literature for integro-differential equations in the context of fractional Orlicz-Sobolev spaces.

研究の動機と目的

• 分数階 $g$-ラプラシアンDirichlet問題の弱解について、内部および境界にまで及ぶ Hölder 正則性を確立すること。
• 分数階Orlicz-Sobolev空間の文脈において、非一様強楕円的で非局所的な作用素への正則性理論を拡張すること。
• 文献において一般凸 $g$-成長を伴う積分微分方程式の正則性結果の欠如に応えること。
• 特に、有界なデータ $f \in L^\infty(\Omega)$ の下で、境界付近における解の挙動、特に $u/d^s$ の正則性を分析すること。

提案手法

• Young関数 $G$ の導関数 $g = G'$ を含む主値積分を用いて定義される分数階 $g$-ラプラシアンを利用する。
• 分数階Orlicz-Sobolev空間における比較原理および切断操作の技法を用い、非局所楕円型PDEの手法を応用する。
• 摂動法を用いる：解 $u$ と compactly な台を持つ関数 $v$ に対して、和 $u+v$ が新たな右辺 $h$ を伴う修正された方程式を満たすことを示す。
• $g$ の $\Delta_2$-条件および成長制御を用いて、弱形式における可積分性と収束を保証する。
• 滑らかでコンパクトに台を持つ関数の稠密性およびドミネーテッド収束定理を用いて、点付き解および強い解へと移行する。
• 解を分数階ラプラシアンと比較し、$s$-調和関数に関する既知の結果を活用することで正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 Young関数 $g$ が凸で $f \in L^\infty(\Omega)$ のとき、分数階 $g$-ラプラシアンの弱解の Hölder 正則性は何か？
• RQ2 $C^{1,1}$ 域の境界付近における解の挙動、特に商 $u/d^s$ の正則性はいかなるものか？
• RQ3 分数階Orlicz-Sobolev空間における非局所作用素の正則性推定は、古典的 $p$-ラプラシアンの場合を超えて確立可能か？
• RQ4 $g$ および領域にどのような条件を課すと、$u/d^s$ が境界にまで至る Hölder 空間に属するようになるか？
• RQ5 コンパクトに台を持つ関数による解の摂動は、分数階 $g$-ラプラシアンの弱解構造にどのように影響するか？

主な発見

• 有界な $C^{1,1}$ 域 $\Omega$ および $f \in L^\infty(\Omega)$ の下で、方程式 $(-\Delta_g)^s u = f$ を満たす弱解 $u$ に対して、任意の $\varepsilon > 0$ に対して $u/d^s \in C^{s-\varepsilon}(\overline{\Omega})$ が成り立つ。
• 解 $u$ は $\Omega$ 内で局所 Hölder 継続的であり、Hölder 指数は $s$ と $g$ の成長に依存する。
• コンパクトに台を持つ関数 $v$ に対して、$u + v$ は $\mathbb{R}^n \setminus \Omega$ 内で定義され、方程式 $(-\Delta_g)^s (u+v) = f + h$ を $\Omega$ で満たす。ここで $h$ は $g$-項の差分により明示的に定義される。
• 本手法により、$u+v \in \widetilde{W}^{s,G}_{\text{loc}}(\Omega)$ であり、弱形式がこのような摂動のもとでも保存されることを保証する。
• 結果は $g$ における $\Delta_2$-条件を満たす限り有効であり、これによりOrlicz-Sobolev空間が適切に定義され、積分が有限であることが保証される。
• 解析により、分数階 $g$-ラプラシアンの正則性理論が、$g$ がべき関数型でない場合でさえ、一様楕円的でない場合にも拡張可能であることが確認された。