[論文レビュー] Optimal boundary regularity for fast diffusion equations in bounded domains

Tianling Jin, Jingang Xiong|arXiv (Cornell University)|Oct 11, 2019

Advanced Mathematical Modeling in Engineering参考文献 38被引用数 7

ひとこと要約

本稿は、滑らかな有界領域における高速拡散方程式の有界な正の弱解について、境界における最適な正則性を確立し、BerrymanとHolland（1980年）が提起した長年の未解決問題を解決する。曲率に類似した量の時間発展方程式を含む幾何的構造を用いて、解が空間的・時間的境界にまで滑らかであることを証明し、指数 $ p $ が整数であるかどうかに応じて鋭い正則性が得られる。

ABSTRACT

We prove optimal boundary regularity for bounded positive weak solutions of fast diffusion equations in smooth bounded domains. This solves a problem raised by Berryman and Holland in 1980 for these equations in the subcritical and critical regimes. Our proof of the a priori estimates uses a geometric type structure of the fast diffusion equations, where an important ingredient is an evolution equation for a curvature-like quantity.

研究の動機と目的

• 1980年にBerrymanとHollandが提起した、滑らかな有界領域における高速拡散方程式の最適境界正則性に関する未解決問題を解決すること。
• 消滅時刻 $ T^* $ に近い部分で、有界な正の弱解の事前滑らかさ、特に空間的境界 $ \partial\Omega \times (0,T^*) $ における滑らかさを確立すること。
• BerrymanとHollandの以前の研究で用いられた事前滑らかさ仮定が、臨界的および亜臨界的ソボレフ領域において実際に解に対して成立することを証明すること。
• 空間的・時間的正則性の鋭い特徴付けを行い、指数 $ p $ が整数であるか否かに応じて区別すること。

提案手法

• 高速拡散方程式に内在する幾何的構造、特に曲率に類する量の時間発展方程式に着目し、内在的な放物型幾何を捉える。
• 円柱領域における一様放物型方程式の解についての局所的勾配および高階の推定を用い、Campanato型の減衰推定に依存する。
• 境界に近い微分の成長を制御するための重み付きエネルギー推定とPoincaré型不等式を適用し、重みは境界からの距離 $ d(x) $ に依存する。
• 高速拡散方程式のスケーリング特性と有限消滅時刻 $ T^* $ を用いて、$ u $ 及びその微分の事前 $ L^\nu $ 型推定を導出する。
• 放物型シリンダーにおける反復推定を用い、方程式の構造と $ t=0 $ における整合性条件を活用して Hölder 継続性および高階正則性を確立する。
• 爆発法とコンパクト性を用いて、消滅付近での鋭い漸近的挙動を導出し、正則性結果の最適性を確認する。

実験結果

リサーチクエスチョン

• RQ1 BerrymanとHolland（1980年）が用いた、境界付近における $ u $, $ \partial_t u $, $ \nabla u $, $ \nabla^2 u $ の事前滑らかさ仮定は、実際の有界弱解に対して正当であるか？
• RQ2 滑らかな有界領域における有界な正の弱解としての高速拡散方程式の境界正則性の最適値は何か、特に $ t \to T^* $ のときには？
• RQ3 指数 $ p $ が整数であるか否かに応じて、解の正則性はどのように変化するか、特に臨界的および亜臨界的ソボレフ領域においては？
• RQ4 与えられた仮定のもとで、鋭いグローバルハーナック原理および消滅プロファイル推定を、境界にまで及ぶ完全な $ C^\infty $ 正則性にまで高めることは可能か？

主な発見

• 本稿は、$ p $ が整数である場合、有界非負弱解が $ \overline{\Omega} \times (0,T^*) $ で $ C^\infty $ に滑らかであることを証明し、この場合の正則性問題を解決する。
• $ p $ が整数でない場合、すべての $ l \geq 0 $ および $ t \in (0,T^*) $ に対して $ \partial_t^l u(\cdot,t) \in C^{2+p}(\overline{\Omega}) $ を満たすことが示され、空間的正則性が鋭いことを示す。
• 解は消滅付近で $ u(x,t) \sim d(x)(T^* - t)^{1/(p-1)} $ の鋭い漸近的挙動を示し、空間的・時間的正則性において最適な Hölder 推定および微分推定が成立する。
• 著者らは、滑らかさを仮定せずともエネルギー恒等式 $ \frac{d}{dt} \int_\Omega |\nabla u|^2 = -2p \int_\Omega u^{p-1} |\partial_t u|^2 $ が成立することを確立し、BerrymanとHollandの以前の導出が正当であることを確認する。
• 証明は、高速拡散方程式に深い幾何的構造が内在していることを明らかにし、曲率に類する量の時間発展方程式が高階微分を制御する中心的役割を果たすことを示す。
• 正則性結果は最適である：非整数 $ p $ の場合、空間的正則性として $ C^{2+p} $ が最適であり、関連する楕円型問題の正の解 $ S $ を用いた正確解 $ u(x,t) = [(p-1)(1-t)/p]^{1/(p-1)} S(x) $ によってそれが裏付けられる。