[论文解读] Global existence and blow-up of solutions to porous medium equation and pseudo-parabolic equation, I. Stratified Groups

Michael Ruzhansky, Bolys Sabitbek+1 more|arXiv (Cornell University)|Jun 1, 2021

Nonlinear Partial Differential Equations被引用 4

一句话总结

该论文为分层李群上非线性多孔介质方程和伪抛物方程的正解建立了全局存在性与爆破准则。通过结合分层群上的凹性方法与Poincaré型不等式，作者基于初值和非线性结构，推导出有限时间爆破或全局存在的充分条件，将经典结果推广至具有非欧几里得几何的子黎曼设置。

ABSTRACT

In this paper, we prove a global existence and blow-up of the positive solutions to the initial-boundary value problem of the nonlinear porous medium equation and the nonlinear pseudo-parabolic equation on the stratified Lie groups. Our proof is based on the concavity argument and the Poincaré inequality, established in [38] for stratified groups.

研究动机与目标

• 将非线性抛物方程爆破与全局存在性的经典理论推广至分层李群的子黎曼设置。
• 分析分层群中有界区域上非线性多孔介质方程与非线性伪抛物方程的初边值问题。
• 基于初值与非线性结构特性，建立正解有限时间爆破或全局存在的充分条件。
• 将凹性方法推广至分层群设置，结合$p$-次拉普拉斯算子与水平梯度结构。
• 证明解的行为在很大程度上取决于初始能量、非线性$f(u)$与区域几何之间的相互作用，这一关系通过Poincaré型不等式体现。

提出的方法

• 对包含解的$L^2$-范数与水平梯度的$L^p$-半范数的泛函$E_p(t)$应用凹性论证。
• 利用文献[38]中为分层群建立的Poincaré不等式，以水平梯度的$L^p$-半范数控制$u$的$L^2$-范数。
• 定义能量泛函$\mathcal{E}(t) = \int_D \left[u^2 + \frac{2}{p}|\nabla_H u|^p\right] dx$，并使用分部积分法推导其时间导数。
• 应用结构假设$\alpha F(u) \geq u f(u) + \beta u^p + \alpha \gamma$以控制非线性项，进而调控能量的衰减或增长。
• 推导能量泛函的微分不等式，通过与常微分方程比较，得出爆破或全局存在的结论。
• 利用初始能量$\mathcal{F}_0 > 0$与条件$\beta \geq \frac{p - \alpha}{2}$，确保能量衰减与全局存在性。

实验结果

研究问题

• RQ1 在何种初值与非线性条件下，分层群上多孔介质方程的解会在有限时间内爆破？
• RQ2 非线性$f(u)$需满足何种结构条件，才能保证分层群上伪抛物方程正解的全局存在性？
• RQ3 分层李群的几何特性——特别是$p$-次拉普拉斯算子与水平梯度——如何影响解的爆破或全局存在性？
• RQ4 凹性方法能否适应非欧几里得设置（如分层群）？若能，需进行哪些修改？
• RQ5 爆破时间$T^*$的精确上界如何用初值与群参数表示？

主要发现

• 对于多孔介质方程，若初始能量$\mathcal{F}(0) > 0$，则解在有限时间内爆破，且有上界$T^* \leq \frac{M}{\sigma \int_D [u_0^2 + \frac{2}{p}|\nabla_H u_0|^p] dx}$，其中$M$与$\sigma$由初值定义。
• 对于伪抛物方程，在条件$\alpha \leq 0$，$\beta \geq \frac{p - \alpha}{2}$与$\gamma \geq 0$下，解全局存在，且满足$\mathcal{E}(t) \leq \exp(-(p - \alpha)t) \mathcal{E}(0)$。
• 爆破时间明确地以解及其水平梯度的初始$L^2$与$L^p$-半范数表示。
• 当非线性满足$\alpha F(u) \geq u f(u) + \beta u^p + \alpha \gamma$，且$\beta \geq \frac{p - \alpha}{2}$与$\alpha \leq 0$时，全局存在性得以保证。
• 当非线性满足结构不等式时，能量泛函$\mathcal{E}(t)$随时间指数衰减，从而确保全局存在性。
• 证明依赖于分层群上的Poincaré不等式，该不等式允许通过水平梯度半范数控制$L^2$-范数，这是关键技术要素。