[論文レビュー] Global existence vs. blowup for the one dimensional quasilinear Smoluchowski-Poisson system

Tomasz Cieślak, Philippe Laurençot|arXiv (Cornell University)|Feb 5, 2010

Mathematical Biology Tumor Growth参考文献 6被引用数 4

ひとこと要約

本稿は、1次元準線形スモラッチョフ＝ポアソン系における二分法を確立する：拡散係数 $ a(r) $ が無限遠で可積分でない場合、正の初期データに対してすべての古典解が大域的に存在する。一方、$ a(r) $ が $ (1,\infty) $ 上で可積分であり、やや弱い局所的可積分性または減衰条件を満たす場合、任意の正の質量に対して有限時刻での爆発が発生する。主な結果は、高次元とは異なり、1次元では大域的解存在と爆発を分かつ臨界拡散係数が存在しないことである。

ABSTRACT

We prove that, unlike in several space dimensions, there is no critical (nonlinear) diffusion coefficient for which solutions to the one dimensional quasilinear Smoluchowski-Poisson equation with small mass exist globally while finite time blowup could occur for solutions with large mass.

研究の動機と目的

• 一般の拡散係数を有する1次元準線形スモラッチョフ＝ポアソン系の解の長時間挙動を理解すること。
• 解の大域的解存在または有限時刻での爆発を決定づける拡散係数 $ a(r) $ の条件を同定すること。
• 高次元におけるよく知られた臨界挙動とは対照的に、1次元では臨界拡散係数が存在しないことを解明すること。
• $ a(r) $ の可積分性および減衰性の性質を用いて、大域的解存在と爆発の領域を特徴付けることで、先行研究を拡張すること。

提案手法

• 変数変換を用いて自己相似枠組みに移行し、質量の累積分布を追跡する関数 $ f(t,y) $ を導入する。
• 関数 $ L_1(t) $ を、$ \partial_y \Psi(f(t)) $ の $ L^2 $-ノルムを用いて定義し、解の正則性および有界性を制御する。
• 比較原理を用いて、$ f(t,y) $ を時間に依存する関数 $ \Sigma(t) $ で上から抑え、$ f $ が消えることを防ぐ。
• ポincareの不等式および埋め込み定理を適用し、$ \Psi(f(t)) $ に対する一様な $ H^1 $-有界性を導出し、これにより $ f $ の $ L^\infty $-有界性が得られる。
• 関数 $ \Psi(r) = \int_1^r a(s)^{-1} ds $ を用いて、拡散係数と解の正則性および爆発挙動の関係を定式化する。
• 背理法による証明：$ f $ が有限時刻で消えると仮定すると、$ a $ が無限遠で可積分でないことに起因する矛盾が生じ、$ T_{\text{max}} = \infty $ であることが示される。

実験結果

リサーチクエスチョン

• RQ1 1次元において、準線形スモラッチョフ＝ポアソン系の解の大域的解存在と有限時刻での爆発を分かつ臨界拡散係数が存在するか？
• RQ2 $ a(r) $ が $ (1,\infty) $ 上で可積分であることは、解の大域的解存在または爆発にどのように影響するか？
• RQ3 $ a(r) $ にどのような条件を課すと、初期質量にかかわらず解が有限時刻で爆発するか？
• RQ4 $ a(r) $ が無限遠で可積分でない場合、正の初期データに対して大域的解存在が保証されるか？
• RQ5 1次元と高次元の準線形スモラッチョフ＝ポアソン系の間で、臨界拡散係数の閾値に関して解の挙動に質的差異が存在するか？

主な発見

• もし $ a \in L^1(1,\infty) $ かつ $ \sup_{r \in (0,1)} r \int_r^\infty a(s) ds < \infty $ であるか、あるいは $ a(r) $ が特定の減衰および局所有界性条件を満たすならば、任意の $ M > 0 $ に対して、$ \langle u_0 \rangle = M $ を満たす初期条件 $ u_0 $ が存在し、その解は有限時刻で爆発する。
• もし $ a \not\in L^1(1,\infty) $ かつ $ u_0 \geq m_0 > 0 $ ならば、古典解はすべての時刻で大域的に存在する。
• 1次元における臨界拡散係数の不在が確認された：大質量では爆発、小質量では大域的解存在をもたらすような $ a_* $ は存在しない。
• 先行研究よりも弱い仮定の下で大域的解存在が確立され、$ r=0 $ 近傍での $ a $ の特異性を制御する条件が不要となった。
• $ a(r) $ が原点近傍で $ 1/r^2 $ より強い代数的特異性を有していても、可積分性および減衰条件を満たしていれば、爆発結果は依然として成り立つ。
• 証明は、系を自己相似変数に変換し、$ \Psi(f) $ を用いて解を抑え、$ H^1 $-有界性および比較原理を用いて $ f $ の有限時刻での消滅を防ぐことに依拠している。