[論文レビュー] Continuity results for degenerate diffusion equations with $L^{p}_t L^{q}_{x}$ drifts

Sukjung Hwang, Yuming Paul Zhang|arXiv (Cornell University)|Jun 12, 2019

Mathematical Biology Tumor Growth参考文献 15被引用数 5

ひとこと要約

本稿は、$L^p_t L^q_x$ 偽勾配を伴う退化拡散方程式の非負弱解について、鋭い連続性および Hölder 正則性の結果を確立し、一様連続性のための臨界領域を特定する。臨界領域では、一様連続性が偽勾配の連続性モジュラスに依存し、$L^d$ で一様有界でかつ制御された連続性モジュラスを持つが、解が連続性を失う可能性がある反例を構成する。

ABSTRACT

In this paper, we study local uniform continuity of nonnegative weak solutions to degenerate diffusion-drift equations in the form \[ u_{t} = Δu^{m} + abla\cdot \left( B (x,t) \, u ight), \quad ext{for } m \geq 1 \] assuming a vector field $B \in L^{p}_t L^{q}_{x}$. Regarding local Hölder continuity, we provide a sharp condition on $p$ and $q$, which is referred to as the subcritical region. In the critical region, the divergence-free condition is essential to providing uniform continuity which depends on the modulus continuity of $B$.

研究の動機と目的

• 退化拡散-偽勾配方程式の有界非負弱解について、局所的一様連続性および Hölder 正則性を確立すること。
• 局所 Hölder 連続性のための $p$ と $q$ に関する鋭い条件を特定し、亜臨界領域と臨界領域を区別すること。
• 臨界領域における発散なし条項の役割を調査し、一様連続性に不可欠であることを示すこと。
• 解が共通の連続性モジュラスを持たない可能性がある反例を構成すること、すなわち、偽勾配が $L^d$ で一様有界でかつ制御された連続性モジュラスを持つ場合でもそうなる。

提案手法

• 方程式 $u_t = \Delta u^m + \nabla \cdot (B(x,t)u)$ を $m \geq 1$ に対して分析し、$B \in L^{2\hat{q}_1}_t L^{2\hat{q}_2}_x(Q_1)$ とし、スケーリング論法を用いて臨界領域と亜臨界領域を定義する。
• 退化放物型方程式に適応された De Giorgi 型反復技法を適用し、内在幾何とエネルギー推定を活用する。
• 偽勾配 $B$ の連続性モジュラス $\varrho_B(r)$ を導入し、半径 $r$ の球における局所的 $L^d$-ノルム行動を定量的に評価し、解の正則性を制御する。
• 連続性の閾値をテストするため、明示的な定常解 $u_N$ と $B_N = \nabla \Phi_N$（$\Phi_N$ は対数関数から導出）の偽勾配を構成する。
• 径方向関数における対数および二重対数スケーリングを用い、$L^d$ で有界だが、局所的 $L^d$-ノルム行動が次第に特異化する偽勾配を生成する。
• 解の列 $\{u_N\}$ が、$\{B_N\}$ が $L^d$ で一様有界で共通の連続性モジュラス $\omega(r)$ を持つにもかかわらず、共通の連続性モジュラスを持たないことを示す。

実験結果

リサーチクエスチョン

• RQ1 退化拡散方程式の $L^p_t L^q_x$ 偽勾配を伴う解の局所 Hölder 連続性のための $p$ と $q$ に関する鋭い条件は何か？
• RQ2 $2/p + d/q = 1$ である臨界領域において、発散なし条項は解の正則性にどのように影響するか？
• RQ3 解の一様連続性は、偽勾配の $L^p_t L^q_x$ ノルムだけによって保証されるのだろうか、それともその連続性モジュラスの追加的制御が必要だろうか？
• RQ4 $L^d$ に有界で制御された連続性モジュラスを持つ偽勾配を構成し、それに対応する解がすべての一様連続性を失う可能性があるか？
• RQ5 偽勾配が $L^d$ で一様有界で制御された連続性モジュラスを持つが、解がいかなる共通の連続性モジュラスも持たない反例は存在するか？

主な発見

• 本稿は、亜臨界領域 $2/p + d/q < 1$ が解の局所 Hölder 連続性の十分条件であることを特定し、スケーリングにより鋭さを確立する。
• 臨界領域 $2/p + d/q = 1$ では、解の一様連続性は $B$ の連続性モジュラスに依存し、$L^p_t L^q_x$ ノルムだけでは決定されない。
• 発散なし偽勾配が臨界領域にある場合、$B$ が制御された連続性モジュラスを持つ場合にのみ一様連続性が保証される。そうでなければ、解は一様連続でなくなる可能性がある。
• 著者らは、$L^d$ で一様有界で共通の連続性モジュラス $\omega(r)$ を持つが、対応する解 $u_N$ がいかなる共通の連続性モジュラスも持たない偽勾配の列 $B_N$ を構成する。
• 反例は、対数関数から導出される径方向偽勾配 $\nabla \Phi_N$ を用い、解 $u_N$ が有界であるが、$N \to \infty$ の際に連続性モジュラスが次第に不連続になるように構成される。$m=1$ の場合でも同様である。
• この構成により、連続性の喪失は $B$ の連続性モジュラスとは独立に生じる本質的現象であることが示され、臨界ケースでは $L^d$-有界性だけでは一様連続性が不十分であることが証明される。