[論文レビュー] Local Hölder continuity for doubly nonlinear parabolic equations

Tuomo Kuusi, Juhana Siljander+1 more|arXiv (Cornell University)|Jun 4, 2010

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

ひとこと要約

この論文は、一般の測度空間におけるp-ラプラシアン型の二重非線形放物型方程式の非負弱解について、局所 Hölder 継続性を確立する。二段階の手法を用いる：大スケールの振動に対してはハルナック不等式、小スケールの挙動に対しては内在的スケーリング。主な貢献は、倍加測度と Poincaré 不等式という最小限の幾何的仮定の下でも、強固な証明が可能である点であり、Lebesgue 測度の設定を超えて正則性理論を拡張する。

ABSTRACT

We give a proof of the Hölder continuity of weak solutions of certain degenerate doubly nonlinear parabolic equations in measure spaces. We only assume the measure to be a doubling non-trivial Borel measure which supports a Poincaré inequality. The proof discriminates between large scales, for which a Harnack inequality is used, and small scales, that require intrinsic scaling methods.

研究の動機と目的

• 一般の測度空間におけるp-ラプラシアン型の二重非線形放物型方程式の弱解の局所 Hölder 継続性を確立すること。
• Lebesgue 測度を超えて正則性理論を拡張することを目的とし、倍加測度と Poincaré 不等式の仮定のみを用いること。
• 解が定数でシフトできないという課題を克服し、Hölder 継続性のためのハルナック推定を直接用いるのを妨げる要因を解消すること。
• 大スケール（ハルナックに基づく）と小スケール（内在的スケーリングに基づく）挙動を区別する統一的枠組みを構築すること。
• 古典的エネルギー推定が失敗する可能性がある重み付き空間や測度空間の設定へ既知の結果を一般化すること。

提案手法

• 大スケールと小スケールの挙動の二分法を用いる：ケースI（大振動）ではハルナック不等式に依存し、ケースII（小振動）では内在的スケーリングを用いる。
• 特に非線形時間微分項 $ u^{p-2}u_t $ に対して適応された、内在幾何に適合した修正された Caccioppoli 型推定を適用する。
• 勾配と時間微分が制御された切り捨て関数 $ \varphi \in C_0^\infty $ を用いてエネルギー推定を局所化する。
• 測度論的減衰推定と倍加性を用いて、レベル集合 $ E_s $ を用いた反復的振動低減を実施する。
• Hölder の不等式と Poincaré 型推定を用いて、勾配の $ L^p $-ノルムを解の振動の尺度で制御する。
• dyadic レベル集合と時空シリンダを用いた幾何的反復スキームにより、極限において Hölder 継続性を達成する。

実験結果

リサーチクエスチョン

• RQ1 測度に最小限の幾何的仮定を課した場合、二重非線形放物型方程式の弱解の Hölder 継続性を確立できるか？
• RQ2 方程式に平行移動不変性が欠ける場合、正則性結果を導くにはどのように対処すべきか？
• RQ3 解がほぼ定数であるとき、小スケール正則性において内在的スケーリングが果たす役割は何か？
• RQ4 解が加法的不変性を持たない場合、ハルナック型推定を用いて Hölder 継続性をどのように推論できるか？
• RQ5 測度の倍加性と Poincaré 不等式の性質が、解の正則性にどのように影響するか？

主な発見

• 測度が倍加的であることと Poincaré 不等式を満たすという唯一の仮定の下で、非負弱解の局所 Hölder 継続性が確立される。
• 証明は二つの領域に分かれる：大スケール挙動はハルナック不等式が支配し、小スケール挙動は振動が無視できるため内在的スケーリングが支配する。
• 定量的減衰推定が得られる：$ \operatorname{ess\text{-}osc}_{Q(\frac{\eta\theta}{2}r^p,r)} u \leq \sigma \omega_{j_0} $ で、$ \sigma = 1 - \frac{1}{2^{\lambda_1+1}} < 1 $ であり、データにのみ依存する。
• dyadic レベル集合における幾何的反復的議論により振動低減が達成され、極限で Hölder 継続性が得られる。
• この手法は強固であり、標準的な構造条件を満たす方程式 $ \frac{\partial(u^{p-1})}{\partial t} - \nabla \cdot \mathcal{A}(x,t,u,\nabla u) = 0 $ に対しても適用可能である。
• 古典的正則性理論は、標準的エネルギー法が失敗する重み付き空間や測度空間の設定へ一般化される。