Global existence and blow-up for the Hardy-Sobolev parabolic equation in RN

技术摘要：$\mathbb{R}^N$ 中 Hardy-Sobolev 抛物方程的整体存在性与爆破

问题陈述
本文研究了以下包含临界 Sobolev 指数和 Hardy 势的经典半线性抛物方程在 $\mathbb{R}^N$ ($N \ge 3$) 中解的长时间行为及有限时间爆破性质：
$$\begin{cases} u_t - \Delta u - \frac{\mu u}{|x|^2} = |u|^{p-1}u & \text{in } \mathbb{R}^N \times (0, T), \\ u(x, 0) = u_0(x) & \text{in } \mathbb{R}^N, \end{cases}$$
其中 $\mu \in [0, (N-2)^2/8]$ 且 $p = 2^* - 1$，这里 $2^* = 2N/(N-2)$。该方程描述了量子力学、化学和宇宙学中的现象，特别是涉及反平方势的情形。研究聚焦于低能、临界和高能初始数据下整体存在性与有限时间爆破之间的二分性。

方法论
作者采用双管齐下的分析方法：

1. 自相似变换：通过变量代换 $v(y, s) = (1+t)^{1/(p-1)}u(x, t)$，$t = e^s - 1$，以及 $x = (1+t)^{1/2}y$，将原方程转化为带有线性漂移项和源项的抛物方程：
   $$v_s - \Delta v - \frac{1}{2}y \cdot \nabla v = \beta v + \frac{\mu v}{|y|^2} + |v|^{p-1}v,$$
   其中 $\beta = (N-2)/4$。该变换使得能够通过加权算子的视角来分析渐近行为。
2. 修正势阱方法：作者利用由 Payne 和 Sattinger 开发并经 Liu 等人改进的修正势阱框架。这涉及基于泛函 $D_K(v) = A(v) - B(v)$ 的符号定义能量泛函 ($E_K$)、Nehari 流形 ($N$) 以及势阱 ($W, V$)。
   • 在配备权重 $K(y) = e^{|y|^2/4}$ 的加权希尔伯特空间 $X$ 中，建立了一个加权 Hardy 不等式，以处理奇异势项 $\mu/|y|^2$。
   • 分析区分了三种能量情形：次临界 ($E_K(v_0) < d$)、临界 ($E_K(v_0) = d$) 和超临界 ($E_K(v_0) > d$)，其中 $d$ 代表势阱的深度。

主要贡献与结果

• 加权 Hardy 不等式的建立：本文证明了加权空间 $L^2_K(\mathbb{R}^N)$ 中具有最优常数 $C_N = (\frac{2}{N-2})^2$ 的特定加权 Hardy 不等式（引理 2.2）。这对于在能量估计中控制奇异项至关重要。
• 低初始能量 ($E_K(v_0) < d$)：
  • 整体存在性：若初始数据满足 $D_K(v_0) > 0$，则解在时间上整体存在并保持在势阱 $W$ 内。
  • 爆破：若 $D_K(v_0) < 0$，则解在有限时间内爆破。
  • 衰减率：对于低能整体解，作者推导出了 $L^2_K$ 范数的精确指数衰减率：$\|v(s)\|_{K,2}^2 \le \|v_0\|_{K,2}^2 e^{-\frac{1}{2}(1-\delta_1)s}$，其中 $\delta_1$ 是方程 $d(\delta) = E_K(v_0)$ 的根。
• 临界初始能量 ($E_K(v_0) = d$)：
  • 整体存在性：若 $D_K(v_0) \ge 0$，则存在整体弱解。
  • 爆破：若 $D_K(v_0) < 0$，则解在有限时间内爆破。
  • 本文将势阱方法推广到临界能量水平，表明只要 Nehari 泛函非负，起始于势阱边界的解的行为与势阱内部的解相似。
• 高初始能量 ($E_K(v_0) > d$)：
  • 作者提供了即使初始能量超过势阱深度时，整体存在性和爆破的充分条件。
  • 具体而言，若 $v_0 \in N_+$ 且 $\|v_0\|_{K,2} \le \lambda_{E_K(v_0)}$，则解整体存在并收敛于零。反之，若 $v_0 \in N_-$ 且 $\|v_0\|_{K,2} \ge \Lambda_{E_K(v_0)}$，则解在有限时间内爆破。
• 渐近行为：对于一致有界的整体解，其 $\omega$-极限集包含一个稳态解。本文证明了整体解在渐近上表现为关联稳态方程的 Palais-Smale 序列，弱收敛于非平凡稳态解或零。

意义与主张
本文声称通过同时引入 Hardy 势和临界 Sobolev 指数，推广了关于半线性抛物方程的现有结果。

• 普遍性：低初始能量的结果被表述为比先前工作（例如 [7]）更为普遍，特别是通过证明了整体解 $L^2$ 范数更精确的衰减率。
• 方法论扩展：该工作成功地将修正势阱方法适应于 Hardy-Sobolev 抛物方程的语境，通过自相似变换和加权泛函分析处理了奇异势和临界增长项。
• 完整性：本研究对低、临界和高所有能量水平下的解行为提供了全面的分类，基于初始数据相对于 Nehari 流形和能量深度的位置，确立了整体存在性与有限时间爆破之间的清晰阈值。

作者并未提出新的实验应用，而是将其工作定位为对具有奇异势的演化方程分析的严格理论推进，有助于理解在反平方势存在下扩散、线性漂移与非线性增长之间的竞争。