[论文解读] Global existence and blow-up of solutions to the double nonlinear porous medium equation

Bolys Sabitbek, Berikbol T. Torebek|arXiv (Cornell University)|Apr 14, 2021

Advanced Mathematical Physics Problems参考文献 28被引用 4

一句话总结

本文建立了具有新颖非线性条件的双非线性多孔介质方程弱解的全局存在性与有限时间爆破。通过引入势阱并分析初始能量水平，证明了当初始能量为负或临界时解在有限时间内爆破；而在特定初始能量和初始数据能量泛函的正性条件下，次临界与临界情形下建立了全局存在性与渐近衰减。

ABSTRACT

In this study, we examine a double nonlinear porous medium equation subject to a novel nonlinearity condition within a bounded domain. First, we introduce the blow-up solution for the problem under consideration for the negative initial energy. By introducing a set of potential wells, we construct invariant sets of solutions for the double nonlinear porous medium equation. For subcritical and critical initial energy scenarios, we derive the global existence and asymptotic behavior of weak solutions, as well as blow-up phenomena occurring within a finite time for the positive solution to the double nonlinear porous medium equation.

研究动机与目标

• 分析具有新非线性条件的双非线性多孔介质方程弱解的全局存在性与爆破行为。
• 将势阱方法扩展至涉及 $p$-Laplacian 与多孔介质项的双非线性情形。
• 基于初始能量水平（负、次临界、临界）对解的行为进行分类。
• 在临界能量条件下，建立全局解的渐近衰减估计。
• 识别开放问题，包括超临界能量与快速扩散情形（$0 < m < 1$）。

提出的方法

• 引入一种涉及 $f(u)$、$F(u)$ 以及参数 $\alpha$、$\gamma$、$\sigma$、$\beta$ 和 $p$-Laplacian 的第一特征值 $\lambda_{1,p}$ 的新颖非线性条件 $(H)$。
• 定义能量泛函 $J(u)$ 与 Nehari 泛函 $I(u)$，以将初始数据划分为不同的能量区域。
• 构造势阱与不变集，以控制解的演化，并在特定初始能量与正性条件下防止爆破。
• 利用凹性方法与能量估计，证明负初始能量下的有限时间爆破。
• 应用 Sobolev 型不等式与 $L^{m+1}$-范数衰减估计，推导全局解的渐近行为。
• 通过区分 $I(u_0) \geq 0$ 与 $I(u_0) < 0$ 的情况，分析临界能量情形 $J(u_0) = d$，以确定全局存在性或爆破。

实验结果

研究问题

• RQ1 在何种初始能量 $J(u_0)$ 条件下，双非线性多孔介质方程的解全局存在或在有限时间内爆破？
• RQ2 涉及 $\alpha$、$\gamma$、$\sigma$ 与 $\beta$ 的新颖非线性条件 $(H)$ 如何影响解的存在性与爆破行为？
• RQ3 势阱方法能否被扩展至包含 $p$-Laplacian 与多孔介质项的双非线性情形，以对解的行为进行分类？
• RQ4 当 $J(u_0) = d$ 且 $I(u_0) \geq 0$ 时，全局弱解的渐近衰减率是多少？
• RQ5 在超临界能量区域（$J(u_0) > d$）与快速扩散情形（$0 < m < 1$）中存在哪些开放问题？

主要发现

• 当 $J(u_0) < 0$ 时，无论初始数据是否为正，解均在有限时间内爆破，这是由凹性方法与能量估计所决定的。
• 当 $J(u_0) < d$ 且 $I(u_0) \geq 0$ 时，全局弱解存在，并满足：对 $t \geq t_1 > 0$，有 $||u(t)||_{L^{m+1}(\Omega)} \leq (||u_0||_{L^{m+1}}^{m+1-pm} + \lambda t)^{-1/(pm - m - 1)}$，其中 $pm > m + 1$ 且 $\lambda > 0$。
• 当 $pm = m + 1$ 时，全局解呈指数衰减：对 $t \geq t_1 > 0$，有 $||u(t)||_{L^{m+1}} \leq e^{-(m+1)(1 - \delta_1)Ct} ||u_0||_{L^{m+1}}$，其中 $C > 0$。
• 当 $J(u_0) = d$ 且 $I(u_0) \geq 0$ 时，全局存在性与渐近衰减得以确立，衰减速率取决于 $pm$ 与 $m+1$ 之间的关系。
• 当 $J(u_0) = d$ 且 $I(u_0) < 0$ 时，解在有限时间内爆破，且 $\lim_{t \to T} \int_0^t \int_\Omega u^{m+1} \, dx d\tau = +\infty$ 对某个 $T > 0$ 成立。
• 超临界能量情形（$J(u_0) > d$）与快速扩散情形（$0 < m < 1$）仍为未来研究的开放问题。