[論文レビュー] Large Solutions for Fractional Laplacian Operators

Nicola Abatangelo|arXiv (Cornell University)|Sep 28, 2015

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

ひとこと要約

本学位論文は、分数ラプラシアン (−Δ)^s による線形および半線形ディリクレ問題の包括的な弱L1理論を確立し、境界発散を示す解を分類するために、新規の退化境界トレースを導入する。非局所的積分による部分積分公式を構築し、特異データをもつ解の存在、一意性、漸近的挙動を証明するとともに、下界・上界解法を用いて分数的大型解を構成し、幾何的応用を伴う非局所的方向的曲率の新概念に至る。

ABSTRACT

The thesis studies linear and semilinear Dirichlet problems driven by different fractional Laplacians. The boundary data can be smooth functions or also Radon measures. The goal is to classify the solutions which have a singularity on the boundary of the prescribed domain. We first remark the existence of a large class of harmonic functions with a boundary blow-up and we characterize them in terms of a new notion of degenerate boundary trace. Via some integration by parts formula, we then provide a weak theory of Stampacchia's sort to extend the linear theory to a setting including these functions: we study the classical questions of existence, uniqueness, continuous dependence on the data, regularity and asymptotic behaviour at the boundary. Afterwards we develop the theory of semilinear problems, by adapting and generalizing some sub- and supersolution methods. This allows us to build the fractional counterpart of large solutions in the elliptic PDE theory of nonlinear equations, giving sufficient conditions for the existence. The thesis is concluded with the definition and the study of a notion of nonlocal directional curvatures.

研究の動機と目的

• 分数ラプラシアン (−Δ)^s に駆動される線形および半線形ディリクレ問題における境界特異性を示す解の分類。
• 境界発散を示す関数を含むように古典的線形理論を拡張するため、新しい弱L1フレームワークを導入。
• 半線形問題における分数的大型解の構成を目的とした、下界・上界解法の開発。
• 滑らでない集合の文脈において、非局所的方向的曲率の新概念の定義と分析。特に境界挙動の文脈で。
• 境界近傍におけるs調和関数の漸近的挙動および正則性、特に発散速度の特定。

提案手法

• 境界発散を示す調和関数を特徴付けるために、新規の退化境界トレース概念を導入。
• 弱解をL1で定義するための非局所的積分による部分積分公式を導出。これにより、特異データに対するスタムパチア型理論が可能になる。
• べき乗型非線形項をもつ半線形問題における大型解の存在を示すために、下界・上界解法を適用。
• 分数グリーン関数、ポアソン核、マーティン核を用いて、Radon測度データをもつ線形問題を分析。
• 集合の境界と分数ラプラシアンカーネルを含む積分公式を用いて、非局所的方向的曲率を定義。
• 円筒座標と対称性の議論を用いて、3次元の例（例えば f(x,y) = 8x²y²）において曲率を明示的に計算。

実験結果

リサーチクエスチョン

• RQ1 分数ラプラシアン作用素に対して、境界発散を示す解はどのように分類可能か？
• RQ2 非局所問題におけるL1解と特異データをもつ場合の適切な弱定式化およびトレース理論は何か？
• RQ3 半線形分数的ディリクレ問題における大型解の存在を保証する条件は何か？
• RQ4 非局所的方向的曲率は古典的曲率とどのように異なり、幾何的洞察をどのように提供するか？
• RQ5 境界近傍におけるs調和関数の漸近的挙動は何か？分数パラメータsとどのように関係するか？

主な発見

• 境界発散を示す調和関数の完全な分類を可能にする、新規の退化境界トレースが定義された。
• 線形問題における弱L1理論が確立され、Radon測度データをもつ解について、存在、一意性、データへの連続的依存性、正則性が証明された。
• 半線形問題において、下界・上界解法を用いて大型解の存在の十分条件が導出され、古典的ケラー＝オッサーマン条件が一般化された。
• R³における曲面 z = 8x²y² に対して、非局所的平均曲率 Hs が主曲率の算術平均を上回ることを示すように、非局所的方向的曲率 Ks,θ が明示的に計算された。
• s↑1/2 の極限において、非局所曲率 Ks,e が方向eにおける古典的2階微分 D²f(0) に収束することが確認され、古典的極限が正当化された。
• lim_{s↑1/2} (1−2s)Ks,e = D²f(0) が証明され、極限において古典的ラプラシアンと整合することが確認された。