[論文レビュー] Geometric regularity estimates for fully nonlinear elliptic equations with free boundaries

J.V. da Silva, Raimundo Leitão+1 more|arXiv (Cornell University)|Aug 11, 2020

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

ひとこと要約

本稿は、未知領域で恒等的に消える可能性がある（デッドコアを有する）完全非線形楕円型方程式の粘性解について、鋭い幾何的正則性推定を確立する。解の正則性は、$ \tilde{\rho} = \frac{\nu}{\nu - 1} $ という鋭い指数まで向上し、$ \nu = \frac{\nu_0}{\nu_0 - 1} $ である。また、自由境界について非退化性、ポアリティ、ハウスドルフ測度の推定を導出し、制御された成長を示す全空間解に対する鋭いリウヴィル型定理を証明する。

ABSTRACT

In this manuscript we study geometric regularity estimates for problems driven by fully nonlinear elliptic operators under strong absorption conditions. We establish improved geometric regularity along the free boundary, for a sharp value depending only on structural parameters. Non degeneracy among others measure theoretical properties are also obtained. A sharp Liouville result for entire solutions with controlled growth at infinity is proved. We also present a number of applications consequential of our findings.

研究の動機と目的

• 完全非線形楕円型方程式の粘性解について、特に解が未知領域で消失する可能性がある場合に、改善された幾何的正則性推定を確立すること。
• 自由境界付近における非負解の漸近的挙動、特にデッドコア集合から解がどのように脱出するかの速度を分析すること。
• 構造的パラメータ $ \nu_0 $, $ \gamma $, $ \mu $ のみに依存する鋭い正則性指数 $ \tilde{\rho} $ を導出し、自由境界の非退化性および測度論的性質を証明すること。
• 全空間解に対して鋭いリウヴィル型定理を証明し、非自明な解は無限遠で $ |x|^{\frac{\gamma+2}{\gamma+1-\mu}} $ より速く成長するか、恒等的にゼロでなければならないことを示すこと。
• 自由境界の完全な幾何的および解析的記述を提供すること。これにはポアリティおよび $ (N - \xi) $-ヒルベルト測度の推定が含まれる。

提案手法

• 退化・特異構造を有する完全非線形楕円型方程式の粘性解理論の使用。方程式は $ F(x, Du, D^2u) + |Du|^\gamma \langle \mathfrak{b}(x), Du \rangle = f(u)\chi_{\{u>0\}} $ で記述される。
• $ F $ に対する $ (\lambda, \Lambda, \gamma) $-楕円性および $ \gamma $-斉一次条件の適用により、作用素に対する構造的制御を保証する。
• 解と比較可能な明示的径対称上界解 $ v(x) = \Theta \cdot (|x - x_0| - r_0)_+^{\frac{\gamma+2}{\gamma+1-\mu}} $ の構成により、非退化性および成長推定を導出する。
• 比較原理およびバリア法を用いて、自由境界点付近および無限遠における解の挙動を制御する。
• [34] を通じたポアリティおよび測度論的道具の使用により、自由境界が $ N $ 次元ルベーグ測度ゼロであり、かつポアリティを示す。
• 鋭い正則性指数 $ \tilde{\rho} = \frac{\nu}{\nu - 1} $ の導出、ここで $ \nu = \frac{\nu_0}{\nu_0 - 1} $、$ \nu_0 $ は $ \gamma $, $ \mu $, $ N $ に依存する。この指標により、改善されたホルダー正則性が定量的に評価される。

実験結果

リサーチクエスチョン

• RQ1 退化・特異な完全非線形楕円型方程式の非負粘性解が、デッドコア領域から脱出する正確な速度は何か？
• RQ2 自由境界 $ \partial\{u > 0\} \cap \Omega $ 沿いでの解の最適ホルダー正則性指数 $ \tilde{\rho} $ は何か？また、構造的パラメータにどのように依存するか？
• RQ3 ポアリティやハウスドルフ測度といった幾何的性質は、PDEの構造および解の挙動からどのように生じるか？
• RQ4 制御された成長を示す全空間解に対して鋭いリウヴィル型定理を確立できるか？また、正確な成長閾値は何か？
• RQ5 自由境界がゼロの $ N $ 次元ルベーグ測度を持つ条件は何か？また、どのような測度論的性質を導出できるか？

主な発見

• 非退化性が成立：任意の $ x_0 \in \overline{\{u > 0\}} \cap B_{1/2} $ に対して、$ \sup_{B_r(x_0)} u \geq C_\sharp \cdot r^{\frac{\gamma+2}{\gamma+1-\mu}} $ が成り立ち、$ C_\sharp $ は $ N, \Lambda, \inf \lambda_0, \gamma, \mu $ のみに依存する。
• 自由境界に沿った改善された正則性が確立：$ X \in \{u > 0\} \cap B_{r_0}(Y_0) $ に対して、$ u(X) \leq C^\sharp \cdot \text{dist}(X, \partial\{u > 0\})^{\tilde{\rho}} $ が成り立ち、ここで $ \tilde{\rho} = \frac{\nu}{\nu - 1} $、$ \nu = \frac{\nu_0}{\nu_0 - 1} $、$ \nu_0 = \frac{N(\gamma+1)}{\gamma+2} $ である。
• 自由境界 $ \partial\{u > 0\} \cap \Omega' $ はポアリティ $ \epsilon/2 $ を持つため、$ N $ 次元ルベーグ測度ゼロの集合である。
• ポアリティおよび既知の測度論的結果から、自由境界は有限の $ (N - \xi) $-ヒルベルト測度を持つことが導かれる。
• 鋭いリウヴィル定理が成立：$ \mathbb{R}^N $ における方程式の任意の全空間解 $ u $ で、$ \sup_{\partial B_{s_0}} u / s_0^{\frac{\gamma+2}{\gamma+1-\mu}} \leq c \Theta $ を満たす（$ c $ が十分小さい）ならば、解は恒等的にゼロでない限り、無限遠で $ |x|^{\frac{\gamma+2}{\gamma+1-\mu}} $ より速く成長しなければならない。
• 定数 $ \Theta(N, \Lambda, \lambda_0, \gamma, \mu) = \left[ \inf \lambda_0 \cdot \frac{(\gamma+1-\mu)^{\gamma+2}}{N\Lambda(\mu+1)(\gamma+2)^{\gamma+1}} \right]^{1/(\gamma+1-\mu)} $ は最適であり、径対称解 $ u(x) = \Theta (|x| - r_0)_+^{\frac{\gamma+2}{\gamma+1-\mu}} $ で等号が達成される。