[論文レビュー] An extensive study of the regularity properties of solutions to doubly singular equations

Vincenzo Vesprı, Matias Vestberg|arXiv (Cornell University)|Jan 13, 2020

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

ひとこと要約

本稿は、$p \in (1,2)$, $m > 1$, および $2 < m+p < 3$ を満たす形の二重に特異な放物型方程式 $\partial_t u - \nabla \cdot (u^{m-1}|\nabla u|^{p-2}\nabla u) = 0$ の弱解の正則性について、きめ細やかで一貫性があり、自己完結的な理論を提示する。局所有界性、ホルダー連続性、および $L^1$-ハーナック不等式を、統一的なアプローチにより確立し、先行研究における誤った近似や不適切なテスト関数の問題を是正する。$m$ と $p$ のパラメータに対する鋭い条件を提示する。主たる貢献は、最適な仮定の下で完全で洗練され、正確な正則性理論を確立することにある。

ABSTRACT

In recent years, many papers have been devoted to the regularity of doubly nonlinear singular evolution equations. Many of the proofs are unnecessarily complicated, rely on superfluous assumptions or follow an inappropriate approximation procedure. This makes the theory unclear and quite chaotic to a nonspecialist. The aim of this paper is to fix all the misprints, to follow correct procedures, to exhibit, possibly, the shortest and most elegant proofs and to give a complete and self-contained overview of the theory.

研究の動機と目的

• 二重非線形特異放物型方程式に関する文献に広く見られる欠陥を是正すること。具体的には、誤った近似や不適切なテスト関数の問題を含む。
• 不要な仮定を排除し、過度に複雑な議論を避ける、正則性結果を一元的かつ簡潔に証明するフレームワークを提供すること。
• 特に臨界的範囲 $m+p > 3 - \frac{p}{n}$ における局所有界性およびホルダー連続性のための鋭い条件を確立すること。
• $\nabla u$ が一般に存在しない特異設定においても、$u$ が弱勾配を持つと仮定しないで、$L^1$-ハーナック不等式および正の性質の拡張を証明すること。
• 非専門家向けに、二重特異方程式の正則性理論を包括的かつ自己完結的に概説すること。

提案手法

• 変数変換 $\beta = 1 + \frac{m-1}{p-1}$ を用いた方程式の再定式化により、標準的な弱解理論に適した形に変換する。
• 弱解の定義において、$u^\beta \in L^p(0,T;W^{1,p}(\Omega))$ および $u \in L^{\beta+1}(\Omega_T)$ を要求し、有効なテスト関数のための積分可能性を保証する。
• エネルギー推定と反復的カバー技法を用いて、条件 $m+p > 3 - \frac{p}{n-(\frac{n-p}{p})}$ の下で局所有界性を導出する。
• 可変サイズのシリンダーにおけるスケーリングと振幅推定を用いた、正の性質の拡張およびハーナック不等式の技法の適用。
• $\nabla u$ が存在しない場合にも適応可能な、[8]および[9]の方法の修正版を用いて $L^1$-ハーナック不等式を証明する。
• 振幅の減少と内在スケーリングを用いて、臨界的範囲 $m+p > 3 - \frac{p}{n}$ におけるホルダー連続性を確立する。

実験結果

リサーチクエスチョン

• RQ1 弱勾配 $\nabla u$ が存在しない場合の二重特異放物型方程式に対する弱解の正しい定義は何か？
• RQ2 $m$ と $p$ の間で、弱解の局所有界性が保証される鋭い条件は何か？
• RQ3 $\nabla u$ が存在すると仮定しないで、$L^1$-ハーナック不等式および正の性質の拡張を証明できるか？
• RQ4 文献における過度に複雑または誤りのある証明を回避するため、正則性理論をどのように統一的かつ簡略化できるか？
• RQ5 ホルダー連続性の最適範囲は何か？また、それは臨界条件 $m+p > 3 - \frac{p}{n}$ とどのように関係するか？

主な発見

• 局所有界性は鋭い条件 $m+p > 3 - \frac{p}{n-(\frac{n-p}{p})}$ の下で確立され、$m=1$ の場合、$p > \frac{2n}{n+2}$ に簡略化され、$p$-ラプラシアンに対する既知の鋭い結果と一致する。
• $L^1$-ハーナック不等式は、$p \in (1,2)$, $m > 1$, $2 < m+p < 3$ の全パラメータ範囲で成立し、$\nabla u$ が存在すると仮定しない。
• ホルダー連続性は、臨界的範囲 $m+p > 3 - \frac{p}{n}$ で証明され、[6]における $p$-ラプラシアンの結果と照合され、鋭さが示されている。
• 本稿では、$H = 4R^p u(\bar{0},0)^{3-m-p}$ のもとで、$\sup_{B_{R/4}(x_0) \times [-H/4,H/4]} u \leq c \cdot u(\bar{0},0)$ が成り立つことを証明し、内在的ハーナック推定が正当化されることを確認した。
• 球体における $u$ の下界と上界は、データおよび初期値に依存するサイズの放物型シリンダー内でのハーナック型推定式 $\inf u \geq \bar{C}^{-1} \sup u$ によって制御される。
• 証明により、半径 $r$ の放物型シリンダーおよび時間 $\sim r^p$ の範囲で、$u(x,t) \geq \bar{c} \cdot v_0 \cdot r^{\bar{\lambda}}$ が成り立つことが示され、$\bar{c}, \bar{\lambda}$ はすべてのデータにのみ依存する。これは正の性質の伝播を確認する。