[论文解读] Existence and nonexistence of solutions for the heat equation with a superlinear source term

Yohei Fujishima, Norisuke Ioku|arXiv (Cornell University)|Sep 21, 2016

Advanced Mathematical Physics Problems参考文献 17被引用 3

一句话总结

本文通过一种新颖的准标度变换及其不变积分，建立了非线性热方程带超线性源项时局部解存在与非存在的分类准则。关键结果识别出初始数据的一个可积性阈值条件——通过泛函 $ F(s) = \int_s^\infty du/f(u) $ 定义——决定了解是否存在，将经典幂次非线性情形下的结果推广至任意超线性 $ f $。

ABSTRACT

Classification theory on the existence and non-existence of local in time solutions for initial value problems of nonlinear heat equations are investigated. Without assuming a concrete growth rate on a nonlinear term, we reveal the threshold integrability of initial data which classify existence and nonexistence of solutions via a quasi-scaling and its invariant integral. Typical nonlinear terms, for instance polynomial type, exponential type and its sum, product and composition, can be treated as applications.

研究动机与目标

• 确定决定一般超线性源项下热方程局部解存在与非存在的初始数据的阈值可积性条件。
• 将此前仅适用于幂次非线性如 $ u^p $ 的经典结果推广至任意 $ C^1 $、正、递增非线性函数 $ f(u) $。
• 基于一种保持关键积分不变的准标度变换，建立一个通用框架，即使方程不具备标准标度不变性，该框架依然有效。
• 识别出一个普遍条件，涉及 $ \int_{\mathbb{R}^N} F(u_0(x))^{-N/2} dx $，作为解存在的决定性因素，且独立于 $ f $ 的具体增长速率。

提出的方法

• 引入准标度变换 $ u_\lambda(x,t) = F^{-1}[\lambda^{-2} F(u(\lambda x, \lambda^2 t))] $，其中 $ F(s) = \int_s^\infty du/f(u) $，该变换推广了幂次非线性情形下的标准标度。
• 证明积分 $ \int_{\mathbb{R}^N} F(u(x,0))^{-N/2} dx $ 在此准标度变换下保持不变，作为分类的关键不变量。
• 分析变换后方程中的余项，以控制其与精确标度不变性的偏离，依赖于极限 $ A = \lim_{s\to\infty} f'(s)F(s) $。
• 利用不变积分定义临界阈值：若 $ \int F(u_0)^{-N/2} dx < \infty $，则解可能存在；否则在一定条件下可推出解不存在。
• 在函数空间 $ \mathcal{L}^{r}_{ul,\rho} $ 和 $ Y_{M,T} $ 中应用不动点论证，证明当不变积分有限时，局部解存在。
• 在洛伦兹型空间中运用插值与迭代技术，逐步提升正则性，证明 $ u \in L^\infty_{\text{loc}}((0,T); L^\infty) $，从而确认解为经典解。

实验结果

研究问题

• RQ1 对于一般超线性源项 $ f(u) $ 的热方程，初始数据 $ u_0 $ 的何种一般条件可决定其局部解的存在或非存在？
• RQ2 如何将幂次非线性情形下的经典临界指数 $ r_c = \frac{N}{2}(p-1) $ 推广至任意超线性 $ f $，而无需假设特定增长速率？
• RQ3 对于缺乏标准标度不变性的非线性项，能否构造出一个标度不变量，其如何控制解的行为？
• RQ4 泛函 $ F(s) = \int_s^\infty du/f(u) $ 及其逆在刻画解存在阈值方面起何种作用？
• RQ5 即使该准标度变换不能精确保持方程结构，它是否仍能保持分类所需的关键结构？

主要发现

• 非线性热方程 $ \partial_t u = \Delta u + f(u) $ 的局部解存在或非存在性，由不变积分 $ \int_{\mathbb{R}^N} F(u_0(x))^{-N/2} dx $ 的有限性决定，其中 $ F(s) = \int_s^\infty du/f(u) $。
• 当 $ \int F(u_0)^{-N/2} dx < \infty $ 时，在 $ f $ 和 $ u_0 $ 满足弱假设条件下，存在局部经典解，属于 $ C([0,T); \mathcal{L}^r_{ul,\rho}) $，对某个 $ r $。
• 若 $ \int F(u_0)^{-N/2} dx = \infty $，则在相同条件下，即使 $ T > 0 $ 很小，也不存在非负局部经典解。
• 该方法将幂次非线性情形下的经典临界指数 $ r_c = \frac{N}{2}(p-1) $（对应 $ f(u) = u^p $）推广至任意超线性 $ f $，此时阈值由 $ F $-变换后的积分编码。
• 准标度变换虽不精确保持方程，但其结构被余项控制，控制参数为 $ A = \lim_{s\to\infty} f'(s)F(s) $，确保方法的鲁棒性。
• 通过洛伦兹型空间中的迭代正则性提升，证明解光滑（$ u \in L^\infty_{\text{loc}}((0,T); L^\infty) $），从而确认其为经典解。