[論文レビュー] Higher Regularity for the fractional thin obstacle problem

Herbert Koch, Angkana Rüland+1 more|ArXiv.org|May 21, 2016

Nonlinear Partial Differential Equations参考文献 16被引用数 10

ひとこと要約

本稿では、分数的薄い障害問題における正則自由境界の高次の正則性を、Hodograph-Legendre変換を導入することで、問題を完全非線形で退化する亜楕円型PDEに変換することによって確立する。内在的な幾何構造と適合した関数空間を用いて、滑らかまたは解析的障害物の場合、自由境界はそれぞれ滑らかまたは解析的であることを証明する。これは、分数的Baouendi-Grushinラプラシアンの摂動に解析的陰関数定理を適用することによって達成される。

ABSTRACT

In this article we investigate the higher regularity properties of the regular free boundary in the fractional thin obstacle problem. Relying on a Hodograph-Legendre transform, we show that for smooth or analytic obstacles the regular free boundary is smooth or analytic, respectively. This leads to the analysis of a fully nonlinear, degenerate (sub)elliptic operator which we identify as a (fully nonlinear) perturbation of the fractional Baouendi-Grushin Laplacian. Using its intrinsic geometry and adapted function spaces, we invoke the analytic implicit function theorem to deduce analyticity of the regular free boundary.

研究の動機と目的

• 分数的薄い障害問題における正則自由境界の高次正則性を確立すること。
• 障害物が滑らかまたは解析的である場合の自由境界の構造を分析すること。
• 問題を完全非線形で退化する亜楕円型PDEに還元する非線形変換法を開発すること。
• 適切な関数空間と解析的陰関数定理の応用により、自由境界が障害物の正則性を引き継ぐことを証明すること。

提案手法

• 元の障害問題を完全非線形で退化する亜楕円型PDEに変換するためにHodograph-Legendre変換を適用すること。
• 変換された作用素が分数量Baouendi-Grushinラプラシアンの摂動として特定されること。
• 退化作用素の内在的幾何構造を捉えるために重み付き関数空間$X_{\alpha,\epsilon}$および$Y_{\alpha,\epsilon}$を構成すること。
• これらの関数空間において、Schauder型の事前推定および線形化作用素の可逆性を確立すること。
• 非線形関数が解析的陰関数定理の条件を満たすことを証明すること。
• 解析的陰関数定理を用いて、障害物が解析的である場合に自由境界が解析的であることを導出すること。

実験結果

リサーチクエスチョン

• RQ1 分数量的薄い障害問題における正則自由境界が、障害物の正則性をどのような条件下で引き継ぐのか。
• RQ2 退化する基本作用素が存在するにもかかわらず、障害物が解析的である場合に自由境界が解析的であると示せるか。
• RQ3 Hodograph-Legendre変換を用いて、正則性問題をより良い構造を持つ非線形PDEに還元する方法は何か。
• RQ4 自由境界付近の特異的挙動を制御し、陰関数定理の適用を可能にするために必要な関数空間は何か。
• RQ5 分数量Baouendi-Grushin作用素の内在的幾何構造が、解の正則性にどの程度影響を与えるか。

主な発見

• 障害物が$C^{\infty}$であれば自由境界は滑らかであり、障害物が解析的であれば自由境界は解析的である。
• Hodograph-Legendre変換により、問題は分数量Baouendi-Grushinラプラシアンの摂動である完全非線形で退化する亜楕円型PDEに還元される。
• 著者らは、退化作用素の内在的幾何構造に適合した関数空間$X_{\alpha,\epsilon}$および$Y_{\alpha,\epsilon}$を構成し、バナッハ空間の性質を満たすことを示した。
• これらの空間において、線形化作用素に対して事前Schauder推定が確立され、解の有界性と正則性が保証される。
• 線形化作用素が関数空間$X_{\alpha,\epsilon}$と$Y_{\alpha,\epsilon}$の間で可逆であることが示され、陰関数定理の適用が可能になる。
• 適切な非同次項および障害物の正則性仮定の下で、解析的陰関数定理を適用し、障害物が解析的である場合に自由境界が解析的であることを導出できた。