[論文レビュー] Almost minimizers for certain fractional variational problems

Seongmin Jeon, Arshak Petrosyan|arXiv (Cornell University)|May 28, 2019

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

ひとこと要約

本稿では、Caffarelli-Silvestre拡張を用いて、分数階微分作用素（分数ラプラシアン）を含む分数階変分問題におけるほぼ最小化関数の概念を導入する。パラメータの特定の範囲において、ほぼ最小化関数である分数階障害問題の解およびほぼ分数階調和関数は、ほぼリプシッツ連続性または$C^{1,\beta}$正則性を示すことが確立され、エネルギーのずれが制御される非局所的設定への古典的正則性理論の拡張がなされる。

ABSTRACT

In this paper we introduce a notion of almost minimizers for certain variational problems governed by the fractional Laplacian, with the help of the Caffarelli-Silvestre extension. In particular, we study almost fractional harmonic functions and almost minimizers for the fractional obstacle problem with zero obstacle. We show that for a certain range of parameters, almost minimizers are almost Lipschitz or $C^{1,β}$-regular.

研究の動機と目的

• 分数ラプラシアンに支配される非局所的変分問題における『ほぼ最小化関数』への最小化理論の拡張を図ること。
• 分数ラプラシアンに関連する重み付きディリクレエネルギーをほぼ最小化する関数の正則性特性を研究すること。
• エネルギーのずれが制御される条件下で、分数階障害問題および分数階調和関数の解に対して、ほぼ$C^{1,\beta}$およびほぼリプシッツ連続性を確立すること。
• エネルギーのずれが制御される解を分析するための枠組みを提供し、古典的結果を非局所的設定に一般化すること。

提案手法

• Caffarelli-Silvestre拡張設定において、最小化からのエネルギーのずれを制御するゲージ関数$\omega(r)$を用いて、ほぼ$s$-分数階調和関数を定義する。
• Caffarelli-Silvestre拡張を用いて、非局所問題を重み$|y|^a$を伴う$\mathbb{R}^{n+1}_+$上の局所的退化楕円型問題に変換する。
• 重み付きソボレフ空間および$L_a$-調和関数の理論を用いて、拡張の正則性を分析する。
• 重み付き$L_a$-調和同次多項式の直交分解を用い、その性質を用いて成長および正則性を制御する。
• 最大原理および重み付き球面平均を用いて、$L^2$境界データから$L^\infty$バインディングを導出する。
• 同次調和多項式の正規直交基底における級数展開を用いて、$L_a$-調和関数の実解析的性質を確立する。

実験結果

リサーチクエスチョン

• RQ1 エネルギーをほぼ最小化する関数が、最小化関数と類似した正則性を示す条件は何か？
• RQ2 分数階障害問題の最小化関数に対する正則性理論を、エネルギーのずれが制御される関数へと拡張できるか？
• RQ3 ゲージ関数$\omega(r)$が、分数階設定におけるほぼ最小化関数の正則性にどのように影響するか？
• RQ4 エネルギーのずれ制約下で、ほぼ分数階調和関数の正確な正則性クラス（例：$C^{1,\beta}$）は何か？
• RQ5 拡張空間における$L_a$-調和関数の正則性特性が、元の分数階解へとどの程度伝播するか？

主な発見

• ゲージ関数$\omega(r)$が$r \to 0$で$\omega(r) \to 0$を満たす限り、元の定義域においてほぼ$s$-分数階調和関数はほぼリプシッツ連続である。
• 特定のパラメータ範囲において、ゼロ障害を持つ分数階障害問題のほぼ最小化関数は、ほぼ$C^{1,\beta}$正則性を示す。
• Caffarelli-Silvestre拡張により、非局所問題が局所的退化楕円型問題に変換され、古典的手法による正則性解析が可能になる。
• 拡張問題の解は内部で実解析的であり、その解析的性質が$\mathbb{R}^n$上でのトレースへと伝播する。
• $\mathcal{L}_s(\mathbb{R}^n)$に属する関数の$L_a$-調和拡張は、$\mathbb{R}^{n+1}_\pm$で実解析的であり、境界まで連続である。
• ある$L_a$-調和関数のトレースが$\mathbb{R}^n$上で恒等的にゼロであれば、その関数自体も拡張空間全体で恒等的にゼロである。