[論文レビュー] Higher regularity of the free boundary in the elliptic Signorini problem

Herbert Koch, Arshak Petrosyan+1 more|arXiv (Cornell University)|Jun 19, 2014

Nonlinear Partial Differential Equations参考文献 30被引用数 9

ひとこと要約

本稿では、部分的ホドグラフ＝レジェンドル変換を用いることで、楕円的シニョリーニ問題における自由境界の正則部の実解析的性質を確立する。$C^{0,1/2}$ の正則性を示す変換およびバウエンディ＝グラシーン作用素に類似した退化した亜楕円型方程式という課題にもかかわらず、著者らはこのような作用素の $L^p$ 理論を用いてレジェンドル変換の正則性を段階的に高め、最終的に正則集合における自由境界が実解析的であることを証明する。

ABSTRACT

In this paper we study the higher regularity of the free boundary for the elliptic Signorini problem. By using a partial hodograph-Legendre transformation we show that the regular part of the free boundary is real analytic. The first complication in the study is the invertibility of the hodograph transform (which is only $C^{0,1/2}$) which can be overcome by studying the precise asymptotic behavior of the solutions near regular free boundary points. The second and main complication in the study is that the equation satisfied by the Legendre transform is degenerate. However, the equation has a subelliptic structure and can be viewed as a perturbation of the Baouendi-Grushin operator. By using the $L^p$ theory available for that operator, we can bootstrap the regularity of the Legendre transform up to real analyticity, which imples the real analyticity of the free boundary.

研究の動機と目的

• 楕円的シニョリーニ問題における自由境界の正則性を $C^{1,\alpha}$ を超えて高める。
• 正則自由境界点付近でのホドグラフ＝レジェンドル変換の正則性が限界的（$C^{0,1/2}$）であるという課題を解決する。
• レジェンドル変換から生じる退化した亜楕円型方程式の構造を分析し、それがバウエンディ＝グラシーン作用素の摂動と見なせるかどうかを検討する。
• バウエンディ＝グラシーン作用素の $L^p$ 理論を用いて、変換された解の正則性を実解析的まで段階的に高める。
• 正則自由境界の部分が実解析的であることを証明し、この自由境界問題の正則性理論を完成させる。

提案手法

• 自由境界問題を、変換された解が退化した偏微分方程式を満たす新しい領域に写像するため、部分的ホドグラフ＝レジェンドル変換を適用する。
• 正則自由境界点付近での元の解の漸近的挙動を分析し、ホドグラフ変換の逆写像可能性を保証する。
• 変換された方程式が亜楕円型構造を示し、バウエンディ＝グラシーン作用素の下位の摂動であることを示す。
• バウエンディ＝グラシーン作用素の既知の $L^p$ 有界性および正則性理論を用いて、レジェンドル変換の高次積分性および微分可能性を導出する。
• $L^p$ 空間における段階的正則性の向上（ブートストラップ）を用いて、レジェンドル変換の正則性を $C^{1,\alpha}$ から実解析的まで高める。
• レジェンドル変換の実解析的性質が、正則集合における自由境界の実解析的性質を示すことを結論づける。

実験結果

リサーチクエスチョン

• RQ1 楕円的シニョリーニ問題における自由境界の正則部は、実解析的であると示せるか？
• RQ2 ホドグラフ変換の $C^{0,1/2}$ 正則性という制限をどのように克服し、高次の正則性解析を可能にするか？
• RQ3 レジェンドル変換が満たすPDEの構造は何か？ また、これはバウエンディ＝グラシーン作用素の摂動と見なせるか？
• RQ4 バウエンディ＝グラシーン作用素の $L^p$ 理論は、変換された解の実解析的正則性への段階的向上を可能にするか？
• RQ5 レジェンドル変換の実解析的性質は、自由境界の実解析的性質を結論づけるのに十分か？

主な発見

• 楕円的シニョリーニ問題における自由境界の正則部は実解析的であることが示され、自由境界正則性理論における長年の未解決問題が解決された。
• 解の正確な漸近的制御のおかげで、正則自由境界点の近傍において部分的ホドグラフ＝レジェンドル変換は逆写像可能である。
• レジェンドル変換が満たす方程式は、退化しており亜楕円型であり、バウエンディ＝グラシーン作用素に類似した構造を持つ。
• バウエンディ＝グラシーン作用素の $L^p$ 理論を用いることで、レジェンドル変換の正則性が実解析的まで段階的に高められる。
• レジェンドル変換の実解析的性質が、正則集合における自由境界の実解析的性質を示すことを証明し、この問題の正則性理論を完成させた。
• 本結果により、明確な正則性の閾値が確立された：自由境界は $C^{1,\alpha}$ を超えて、正則部では完全に実解析的である。