Critical exponent for semilinear damped wave equations with weighted nonlinear terms and data from Sobolev spaces of negative order

技术摘要：带有加权非线性项及负阶 Sobolev 空间数据的半线性阻尼波方程的关键指数

问题陈述
本文研究了具有库仑型奇异性加权非线性项以及属于负阶 Sobolev 空间的初始数据的 Cauchy 问题。所考虑的具体方程为：
$$\begin{cases} u_{tt}(t, x) - \Delta u(t, x) + u_t(t, x) = |x|^{-\alpha}|u(t, x)|^p, & x \in \mathbb{R}^n, t > 0, \\ u(0, x) = \varepsilon u_0(x), \quad u_t(0, x) = \varepsilon u_1(x), & x \in \mathbb{R}^n, \end{cases}$$
其中 $p > 1$，$\alpha \geq 0$，且初始数据 $(u_0, u_1)$ 属于乘积空间 $\dot{H}^{-\beta}(\mathbb{R}^n) \times \dot{H}^{-\beta}(\mathbb{R}^n)$，其中 $\beta \geq 0$。参数 $\varepsilon > 0$ 代表初始数据的大小。作者旨在确定关键指数 $p_c(\alpha, \beta, n)$，该指数将小数据解的全局存在性与弱解的有限时间爆破区分开来，并在亚临界情况下推导寿命估计。

方法论
作者结合了线性衰减估计、不动点论证和测试函数法。

1. 线性衰减估计： 分析始于线性阻尼波方程。作者利用傅里叶变换推导了线性核 $K(t, x)$ 及其时间导数的尖锐 $L^m-L^q$ 衰减估计。这些估计建立了阻尼波方程的扩散结构与热方程之间的桥梁，表明当 $t \to \infty$ 时，解的衰减行为类似于热方程解。
2. 全局存在性（小数据）： 对于全局存在性结果，作者定义了一个配备了涉及线性理论所得衰减率的时间加权范数的合适函数空间 $X(T)$。他们利用 Duhamel 原理构造了解映射 $\Phi$，并应用 Banach 不动点定理。
   • 为了处理非线性项中的奇异性 $|x|^{-\alpha}$，作者利用 Caffarelli-Kohn-Nirenberg 不等式（命题 2.2）来控制加权项的衰减速率。
   • Hardy-Littlewood-Sobolev 不等式被用于处理负阶 Sobolev 空间。
   • 证明依赖于在特定 $p, \alpha, \beta$ 条件下建立算子 $\Phi$ 的收缩映射性质。
3. 爆破结果： 对于全局解的非存在性，作者使用了 测试函数法。他们构造了一个特定的测试函数 $\Phi_R(t, x)$，该函数包含关于时间的截断函数以及与奇异性相关的空间权重。通过将弱形式与该测试函数进行积分并应用 Hölder 不等式，当 $p$ 低于临界阈值时，他们推导出了对大 $R$ 值的矛盾。
4. 寿命估计： 在亚临界情况（$1 < p < p_c$）下，作者推导了寿命 $T_{\alpha, \beta}(\varepsilon)$ 的上下界。下界是通过分析不动点论证中的收缩条件获得的，而上界则通过带有对数修正的测试函数法进行了精细化处理。

主要贡献与结果

• 关键指数确定： 主要结果是确定了带有负阶数据加权波方程的关键指数：
  $$p_c(\alpha, \beta, n) := 1 + \frac{4 - 2\alpha}{n + 2\beta}$$
  该公式适用于维度 $1 \leq n \leq 4$ 以及参数 $0 \leq \alpha, \beta < n/2$。作者证明了权重 $|x|^{-\alpha}$ 和负阶 $\beta$ 都会使关键指数相对于标准的 Fujita 指数（$1 + 2/n$）或 $\alpha=0$ 的情况向左偏移。

• 全局存在性定理 (Theorem 1.1)： 当 $p \geq p_c(\alpha, \beta, n)$ 时，作者证明了对于足够小的初始数据 $\varepsilon$，存在唯一的全局解。该解属于 $C([0, \infty), H^1)$ 并满足特定的时间衰减估计：
  $$\|u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{\beta}{2}}, \quad \|\nabla u(t, \cdot)\|_{L^2} \lesssim \varepsilon (1+t)^{-\frac{1+\beta}{2}}.$$
  针对维度 $n=3, 4$，文中提供了额外的 $p$ 的约束条件，以确保所使用的 Sobolev 嵌入和不等式的有效性。

• 爆破定理 (Theorem 1.2)： 对于 $1 < p < p_c(\alpha, \beta, n)$，作者证明了即使对于小数据，只要初始数据满足涉及对数衰减的特定下界条件，就不存在全局弱解。

• 寿命估计： 在亚临界机制中，寿命 $T_{\alpha, \beta}(\varepsilon)$ 被估计为：
  $$\varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} \lesssim T_{\alpha, \beta}(\varepsilon) \lesssim \varepsilon^{-\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}} (\log(\varepsilon^{-1}))^{\frac{4(p-1)}{4 - 2\alpha - (n+2\beta)(p-1)}}.$$
  作者指出，权重 $|x|^{-\alpha}$ 的存在有助于增加爆破解的寿命，相比于无权重的情况。

• 基于 $L^m$ 数据的推论： 作者将结果扩展到初始数据属于 $\dot{H}^{-\bar{\beta}}_m \times \dot{H}^{-\bar{\beta}}_m$（其中 $m \in (1, 2]$）的情形，并推导了相应的关键指数 $p_c(\alpha, \bar{\beta} + \theta(m), n)$。

意义与主张
本文声称通过同时引入两个泛化方向，扩展了以往关于半线性阻尼波方程的研究结果：

1. 加权非线性： 处理了库仑型奇异性 $|x|^{-\alpha}$，该项此前已被单独研究过（例如在 [26] 中针对 $\beta=0$ 的情况），但尚未在这一特定框架下与负阶数据结合研究。
2. 负阶数据： 将初始数据空间扩展到 $\dot{H}^{-\beta}$，这建立在 [5] 和 [8] 的工作基础之上，而后者考虑的是 $\alpha=0$ 的情况。

作者指出其结果泛化了 [5, 8, 26] 的发现。具体而言，他们展示了关键指数是如何同时受到奇异性强度 $\alpha$ 和正则性缺失 $\beta$ 的影响而发生偏移。此外，论文还强调了在 $\alpha = \beta = 0$ 的情况下，通过包含对数修正因子，改进了之前工作中（特别是 [15, Theorem 1.8]）的寿命上界估计。该工作被呈现为一项严谨的数学分析，确立了此类特定方程中全局存在性与爆破之间的阈值。