Nonexistence for effectively damped waves with time-dependent mass

技术摘要：具有随时间变化质量的有效阻尼波方程的非存在性

问题陈述
本文研究了具有随时间变化的阻尼项和随时间变化的质量项的半线性波方程的 Cauchy 问题：
$$\begin{cases} u_{tt} - \Delta u + b(t)u_t + m^2(t)u = |u|^p, & t \ge 0, \, x \in \mathbb{R}^n, \\ u(0, x) = \varepsilon f(x), \quad u_t(0, x) = \varepsilon g(x), \end{cases}$$
其中 $n \ge 1$，$p > 1$，$\varepsilon > 0$。阻尼 $b(t)$ 被假定为“有效”的，且质量 $m(t)$ 在 $t \to \infty$ 时受阻尼支配。

此前，D'Abbicco, Girardi 和 Reissig 的工作确立了对于在 $L^\eta \cap H^1 \times L^\eta \cap L^2$ 空间（其中 $1 \le \eta < 2$）中初始数据的超临界幂次下的全局小数据存在性，并确定了一个临界标度 $p_{\beta, \eta}(n) = 1 + \frac{2\eta}{n + 2\eta\beta}$。这里 $\beta$ 是由 $\liminf_{t\to\infty} B(t)m^2(t)$ 定义的下质量指数，其中 $B(t) = \int_0^t b(\tau)^{-1} d\tau$。虽然他们证明了对应非线性扩散方程在次临界范围内的非存在性，但波方程对应的非存在性结果仍是一个开放问题。本文专门针对 $\eta = 1$ 的情况解决这一空白，旨在证明当 $1 < p < p_{\beta, 1}(n)$ 时不存在全局弱解，并处理临界情况 $p = p_{\beta, 1}(n)$。

方法论
作者采用了改进的测试函数法，依赖于构造一个特定的正伴随乘子。该方法的核心步骤包括：

1. 系数假设： 除了标准的有效阻尼和受控质量假设（来自先前文献的假设 1–2）之外，本文引入了两个新条件：

   • 内在累积质量平衡（假设 3）： 该条件控制了累积质量积分 $Q(t, r) = \int_r^t \frac{m^2(\tau)}{b(\tau)} d\tau$ 相对于由指数 $\beta$ 决定的对数增长的偏差。它定义了一个必须为有限值的“内在过剩量” $\Omega_{\beta, T_0}(L)$。
   • 全局 Liouville 非振荡性（假设 4）： 施加条件 $m^2(t) \le \frac{b^2(t)}{4} + \frac{b'(t)}{2}$ 以确保伴随方程的非振荡性。

2. 伴随模态的构造： 一个关键的技术步骤是构造伴随方程 $\rho'' - (b\rho)' + m^2\rho = 0$ 的全局正“慢”解 $\rho(t)$。

   • 对于大时间，通过终端 Volterra 方程构造 $\rho$，使其渐近行为正比于 $b(t)^{-1} e^{Q(t, T^*)}$。
   • 对于紧凑的初始区间，利用 Liouville 非振荡条件（假设 4）来防止解产生零点，从而确保 $\rho(t)$ 全局大于 0。

3. 测试函数论证： 利用 $\rho(t)$ 作为权重，以及基于扩散标度 $B(t)$ 的时空截断函数 $\psi_R$，作者推导出了一个基本不等式。该不等式将初始数据泛函 $J_0$ 与 $|u|^p$ 的积分联系起来。

4. Osgood 论证： 通过对导出的不等式应用 Osgood 型引理，作者确立了测试函数积分必须发散的条件，从而在全局解存在的情况下导致矛盾。

主要结果
本文确立了以下主要定理：

• 在严格次临界范围内不存在： 如果初始数据满足符号条件（$J_0 > 0$）且内在过剩量 $\Omega_{\beta, T_0}$ 是次线性的，则对于 $1 < p < p_{\beta, 1}(n) = 1 + \frac{2}{n + 2\beta}$ 不存在全局弱解。
• 在临界情况下的非存在性： 在临界指数 $p = p_{\beta, 1}(n)$ 处，若积分 $\int^\infty \exp(-(p-1)\Omega_{\beta, T_0}(L)) dL$ 发散（一个 Osgood 发散条件），则不存在全局弱解。
• 寿命估计： 对于仅局部存在的解，本文提供了条件的寿命上界 $T_\varepsilon$：
  • 对于 $1 < p < p_{\beta, 1}(n)$，$1 + B(T_\varepsilon) \le C(1 + \varepsilon^{-\frac{1}{\theta}})$，其中 $\theta = \frac{1}{p-1} - \frac{n}{2} - \beta$。
  • 对于 $p = p_{\beta, 1}(n)$，$1 + B(T_\varepsilon) \le C \exp(C \varepsilon^{-(p-1)})$。
• 容许系数： 第 7 节提供了显式的系数族（多项式和有理衰减/增长形式），这些系数族同时满足 D'Abbicco 等人的存在性条件和本文的非存在性条件，展示了所推导标度的锐利性。

意义与主张
本文声称解决了关于具有随时间变化质量的有效阻尼波方程存在性标度锐利性的开放问题。具体而言：

• 它证实了之前在全局存在性中确立的标度 $p_{\beta, 1}(n)$ 确实是次临界范围内非存在性的阈值，镜像了相关扩散方程的行为。
• 其证明技术是独特的，因为它不是假设存在一个正伴随乘子，而是利用 Liouville 非振荡条件和终端 Volterra 方法严谨地构造了该乘子。
• “内在过剩量” $\Omega_{\beta, T_0}$ 的引入允许对质量累积进行更精细的分析，表明仅靠下指数 $\beta$ 在没有额外的平衡条件时不足以控制非存在性阈值。
• 结果是在全局非振荡系数子类下给出的确定性回答，弥合了扩散比较模型与波方程对应物之间的差距。

作者保持了谦逊的语气，指出其结果仅适用于满足 Liouville 非振荡条件和内在平衡条件的特定系数子类，并且证明依赖于先前文献中开发的改进测试函数法。