[论文解读] 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

一句话总结

本文在一维拟线性 Smoluchowski-Poisson 系统中建立了二分性：若扩散系数 $ a(r) $ 在无穷远处不可积，则所有正初值的经典解全局存在；若 $ a(r) $ 在 $ (1,\infty) $ 上可积，并满足某些局部可积性或衰减条件，则任意正质量解均在有限时间内爆破。关键结果是一维情况下不存在分隔全局存在与爆破的临界扩散系数，这与高维情形中已知的临界行为形成对比。

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.

研究动机与目标

• 理解具有广义扩散系数的一维拟线性 Smoluchowski-Poisson 系统解的长期行为。
• 确定扩散系数 $ a(r) $ 的条件，以判断解是否全局存在或在有限时间内爆破。
• 解决一维情况下临界扩散系数的缺失问题，与高维情形中已知的临界行为形成对比。
• 通过 $ a(r) $ 的可积性与衰减性质，扩展先前结果，刻画全局存在与爆破区域。

提出的方法

• 分析依赖于变量变换至自相似框架，引入函数 $ f(t,y) $，用于追踪质量的累积分布。
• 使用函数 $ L_1(t) $，通过 $ \partial_y \Psi(f(t)) $ 的 $ L^2 $-范数定义，以控制解的正则性与有界性。
• 应用比较原理，将 $ f(t,y) $ 上界控制在依赖时间的函数 $ \Sigma(t) $ 之下，确保 $ f $ 不趋于零。
• 利用 Poincaré 不等式与嵌入定理，推导出 $ \Psi(f(t)) $ 的一致 $ H^1 $-界，从而得出 $ f $ 的 $ L^\infty $-界。
• 使用函数 $ \Psi(r) = \int_1^r a(s)^{-1} ds $，将扩散系数与解的正则性及爆破行为联系起来。
• 反证法证明：若 $ f $ 在有限时间内趋于零，则由于 $ a $ 在无穷远处不可积，导致矛盾，从而推出 $ T_{\text{max}} = \infty $。

实验结果

研究问题

• RQ1 在一维情况下，是否存在一个临界扩散系数，用于分隔拟线性 Smoluchowski-Poisson 系统中解的全局存在与有限时间爆破？
• RQ2 扩散系数 $ a(r) $ 在 $ (1,\infty) $ 上的可积性如何影响解的全局存在性或爆破行为？
• RQ3 在何种条件下，无论初始质量如何，解都会在有限时间内爆破？
• RQ4 当 $ a(r) $ 在无穷远处不可积时，是否能保证正初值解的全局存在？
• RQ5 在一维与高维拟线性 Smoluchowski-Poisson 系统中，关于临界扩散阈值，解的行为是否存在定性差异？

主要发现

• 若 $ a \in L^1(1,\infty) $，且满足 $ \sup_{r \in (0,1)} r \int_r^\infty a(s) ds < \infty $，或 $ a(r) $ 满足特定衰减与局部有界性条件，则对任意 $ M > 0 $，存在初值 $ u_0 $ 满足 $ \langle u_0 \rangle = M $，使得解在有限时间内爆破。
• 若 $ a \not\in L^1(1,\infty) $ 且 $ u_0 \geq m_0 > 0 $，则经典解对所有时间全局存在。
• 一维情况下临界扩散系数的缺失得到确认：不存在 $ a_* $ 使得小质量导致全局存在而大质量导致爆破。
• 在弱于先前工作的假设下建立了全局存在性，无需对 $ a $ 在 $ r = 0 $ 附近施加奇异性控制条件。
• 即使 $ a(r) $ 在零附近具有强于 $ 1/r^2 $ 的代数奇异性，只要满足可积性与衰减条件，爆破结果依然成立。
• 证明依赖于将系统变换至自相似变量，通过 $ \Psi(f) $ 控制解，并利用 $ H^1 $-界与比较原理防止 $ f $ 在有限时间内趋于零。