[论文解读] Boundary value problem for a classical semilinear parabolic equation

Li Ma|arXiv (Cornell University)|Dec 29, 2010

Nonlinear Partial Differential Equations参考文献 2被引用 4

一句话总结

本文针对有界 $ C^1 $ 域上的半线性抛物方程 $ u_t - \Delta u = |u|^{p-1}u $，引入了新的不变集 $\tilde{W}$ 和 $\tilde{Z}$，采用改进的李雅普诺夫泛函 $ E_\lambda(u) = J(u) + \lambda M(u) $。结果表明，初始数据属于 $\tilde{W}$ 时产生全局正解，且其 $ H^1 $ 极限集为 $\{0\}$；而初始数据属于 $\tilde{Z}$ 时则导致有限时间内爆破。该研究通过引入参数化的能量框架，扩展了经典的尼哈里泛函方法。

ABSTRACT

In this paper, we study the boundary value problem of the classical semilinear parabolic equations $$ u_t-Δu=|u|^{p-1}u, \ \ in \ \ Ω imes (0,T) $$ and $u=0$ on the boundary $\partialΩ imes [0,T)$ and $u=ϕ$ at $t=0$, where $Ω\subset R^n$ is a compact $C^1$ domain, $1

研究动机与目标

• 为半线性抛物方程 $ u_t - \Delta u = |u|^{p-1}u $ 识别新的不变集 $\tilde{W}$ 和 $\tilde{Z}$，以分类导致全局存在或有限时间爆破的初始数据。
• 通过引入参数化能量泛函 $ E_\lambda(u) = J(u) + \lambda M(u) $，扩展经典尼哈里泛函方法，以更精细地刻画全局解与爆破解之间的临界阈值。
• 证明当 $ 1 < p < p_S $ 时，初始数据属于 $\tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda $ 时产生全局解，且其 $ H^1 $ 极限集为 $\{0\}$；而属于 $\tilde{Z}$ 的数据则导致有限时间爆破。
• 通过引入阻尼项 $ \delta v $ 的修正方程，利用比较论证证明 $ u(t) \geq v(t) $，从而导致 $ \|u(t)\|_{L^2} $ 在 $ t \to T_{\max} < \infty $ 时无界，进而证明爆破发生。

提出的方法

• 定义能量泛函 $ E_\lambda(u) = J(u) + \lambda M(u) $，其中 $ J(u) = \int \left( \frac{1}{2}|\nabla u|^2 - \frac{1}{p+1}|u|^{p+1} \right) $ 且 $ M(u) = \frac{1}{2}\int |u|^2 $，构造一维参数族的李雅普诺夫型泛函。
• 利用时间导数 $ \frac{d}{dt}E_\lambda(u) = -|J'(u)|^2_2 - \lambda I(u) $ 证明：当 $ I(u) < 0 $ 时，$ E_\lambda(u) $ 沿解严格递减，从而实现不变集的构造。
• 定义 $ d_\lambda = \inf\{E_\lambda(u) \mid u \in \Sigma, I(u) = 0\} $，并构造 $ W_\lambda = \{u \in \Sigma \mid E_\lambda(u) < d_\lambda, I(u) > 0\} \cup \{0\} $，证明 $ W_\lambda $ 在流下不变。
• 证明当 $ \lambda > 0 $ 时有 $ d_\lambda > d $，表明 $ W_\lambda $ 严格大于经典 $ W $ 集，从而细化了全局存在性的临界阈值。
• 对于爆破情形，考虑修正方程 $ v_t - \Delta v + \delta v = v^p $（$ \delta \geq 0 $），定义 $ Z_\delta = \{u \in \Sigma_+ \mid J_\delta(u) < d_\delta, I_\delta(u) < 0\} $，证明其不变性及当初始数据 $ \phi \in Z_\delta $ 时的爆破行为。
• 利用比较论证：若 $ u(t) \geq v(t) $ 且 $ v(t) $ 在有限时间内爆破，且 $ \|v(t)\|_{L^2} \to \infty $，则当 $ t \to T_{\max} < \infty $ 时有 $ \|u(t)\|_{L^2} \to \infty $，从而推出 $ u $ 的爆破。

实验结果

研究问题

• RQ1 能否构造一个新的参数化能量泛函 $ E_\lambda(u) $，以细化半线性抛物方程中经典尼哈里泛函的全局存在与爆破临界阈值？
• RQ2 集合 $ \tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda $ 是否提供严格大于经典 $ W $ 集的全局存在区域？且 $ \tilde{W} $ 中的解是否具有 $ H^1 $ 极限集 $ \{0\} $？
• RQ3 能否通过引入带阻尼项 $ \delta v $ 的修正方程，利用比较原理刻画爆破行为？当 $ v(t) $ 爆破时，$ u(t) \geq v(t) $ 是否意味着 $ u $ 也爆破？
• RQ4 对于 $ \tilde{Z} $ 中的初始数据，爆破时间 $ T_{\max} $ 是否有限？且当 $ t \to T_{\max} $ 时是否满足 $ \|u(t)\|_{L^2} \to \infty $？
• RQ5 参数 $ \lambda $ 在 $ E_\lambda(u) $ 中如何影响阈值 $ d_\lambda $？是否对所有 $ \lambda > 0 $ 都有 $ d_\lambda > d $？

主要发现

• 当 $ 1 < p < p_S $ 时，集合 $ \tilde{W} = \bigcup_{\lambda \geq 0} W_\lambda $ 在半线性抛物方程的流下不变，且任意初始数据 $ \phi \in \tilde{W} $ 均产生全局正解，其 $ H^1 $ 极限集为 $ \{0\} $。
• 参数化阈值 $ d_\lambda $ 满足对所有 $ \lambda > 0 $ 有 $ d_\lambda > d $，表明 $ W_\lambda $ 严格大于经典 $ W $ 集，从而细化了全局存在性条件。
• 当 $ 1 < p \leq p_S $ 时，初始数据 $ \phi \in \tilde{Z} $ 导致有限时间爆破，且当 $ t \to T_{\max} < \infty $ 时有 $ \|u(t)\|_{L^2} \to \infty $，该结果通过与修正方程 $ v_t - \Delta v + \delta v = v^p $ 的解进行比较得到证明。
• 爆破时间 $ T_{\max} $ 有限，因为 $ \|v(t)\|_{L^2} $ 无界增长，并满足微分不等式 $ \frac{d}{dt}M(v(t)) \geq \frac{1}{2}C(p,|\Omega|)M(v(t))^{(p+1)/2} $，对大 $ t $ 成立，从而推出有限时间爆破。
• 比较论证表明：若 $ \phi \in Z_\delta $ 且 $ \phi \geq v_\delta $，则 $ u(t) \geq v(t) $，且由于 $ v(t) $ 在有限时间内爆破，因此 $ u(t) $ 也爆破，且当 $ t \to T_{\max} $ 时有 $ \|u(t)\|_{L^2} \to \infty $。
• 通过 $ J_\delta(u) < d_\delta $ 与 $ I_\delta(u) < 0 $ 构造 $ Z_\delta $，确保其不变性与爆破性，且 $ d_{\delta,\epsilon} \geq d_\delta - \frac{\epsilon}{p+1} $ 提供了能量阈值的定量下界。