On a system of semilinear damped $\sigma$-evolution equations with different damping types in the critical case

技术摘要：关于具有不同阻尼类型的临界情形下半线性阻尼 $\sigma$-演化方程组的研究

问题陈述
本文研究了 $\mathbb{R}^n$ 中非对称、弱耦合的半线性阻尼 $\sigma$-演化方程组的 Cauchy 问题。该系统由下式给出：
$$\begin{cases} u_{tt} + (-\Delta)^\sigma u + (-\Delta)^\sigma u_t = |v|^{p^*}\mu_1(|v|), \\ v_{tt} + (-\Delta)^\sigma v + v_t = |u|^{q^*}\mu_2(|u|), \end{cases}$$
其初值数据为 $(u, u_t, v, v_t)(0, x) = (0, u_1, 0, v_1)(x)$。此处 $\sigma \ge 1$ 且阻尼项各不相同：第一个方程具有结构阻尼 $(-\Delta)^\sigma u_t$（类抛物型行为），而第二个方程具有标准阻尼 $v_t$（$\sigma$-演化型行为）。指数 $(p^*, q^*)$ 位于由这两种截然不同的阻尼类型相互作用定义的临界曲线上。非线性项包含连续性模 $\mu_1$ 和 $\mu_2$，它们在标准幂函数的基础上提供了额外的正则性。主要目标是确定关于 $\mu_1$ 和 $\mu_2$ 的精确条件，以区分小数据 Sobolev 解的全局存在性与有限时间爆破。

研究方法
作者采用了两种不同的分析框架，分别对应两个主要结果：

1. 全局存在性（不动点论证）：

   • 证明过程利用 Banach 不动点定理在精心构建的解空间 $X(t)$ 中进行。
   • 该方法的核心在于推导与两种不同阻尼类型相关的线性化问题的衰减估计。
   • 为了处理临界情形和非对称性质，作者引入了权重函数 $\ell_1(t)$ 和 $\ell_2(t)$，以补偿非线性项中的“衰减损失”。这些权重取决于连续性模以及 $(p^*, q^*)$ 相对于临界阈值的具体位置。
   • 利用分数 Gagliardo-Nirenberg 不等式以及涉及连续性模的特定积分估计来完成收缩映射论证。

2. 爆破结果（测试函数法）：

   • 作者将测试函数法应用于非对称、分数阶的情形。
   • 一个显著的技术挑战在于当 $\sigma$ 不是整数时，分数拉普拉斯算子 $(-\Delta)^\sigma$ 的非局部性质。标准的紧支撑测试函数不足以应对此问题，因为 $(-\Delta)^\sigma \phi$ 的支撑集通常会超过 $\phi$ 的支撑集。
   • 为了克服这一点，作者构造了一组具有非紧支撑、且在空间和时间上具有特定缩放阶数的修正测试函数族 $\phi_{j,R}$。
   • 积分区域被分解为若干个区域（$Q^1_{j,R}, Q^2_R, Q^3_{j,R}$），以处理辅助泛函在原点附近及无穷远处的奇异行为。
   • 通过定义辅助泛函 $G_p$ 和 $G_q$ 并导出常微分不等式组，作者证明了如果连续性模满足特定的积分条件，则会导致全局解存在的矛盾。

主要结果

• 全局存在性（定理 1.1）： 在假设 $1 < \sigma < n < 2\sigma$ 且 $p^* \ge 2$ 的条件下，若连续性模满足特定的可积性条件，本文建立了小数据下唯一全局 Sobolev 解的存在性。

  • 若标准可积性条件 $\int_0^c \frac{\mu_j(s)}{s} ds < \infty$ 成立，则保证全局存在性。
  • 若上述条件失效，本文提供了涉及 $\mu_1$ 和 $\mu_2$ 耦合积分的精确替代条件（例如 $\int_0^c \frac{1}{s} (\mu_1(s))^{\frac{q^*}{q^*+1}} (\mu_2(s))^{\frac{1}{q^*+1}} ds < \infty$），这些条件仍能确保全局存在性。
  • 解表现出特定的衰减速率，并带有由连续性模决定的“衰减损失”因子。

• 爆破（定理 1.2）： 相反，如果连续性模“过弱”（即对应的积分发散），本文证明不存在全局 Sobolev 解，从而导致有限时间爆破。

  • 爆破条件是与保证存在性的情况相同的积分发散。
  • 该结果对于整数和分数阶 $\sigma$ 均成立，前提是分数阶情况下 $n \ge 2\lfloor \sigma \rfloor$。

• 对称模型（定理 3.2）： 通过改进爆破证明技术，作者解决了关于对称模型的开放问题，即两个方程具有相同的阻尼类型（均为结构阻尼或均为标准阻尼）但具有分数参数的情况。他们在临界情形下建立了这些对称系统的爆破结果。

意义与贡献
本文声称在以下方面对现有文献进行了非平凡的改进：

1. 非对称临界系统： 它处理了耦合“类抛物型”和“$\sigma$-演化型”方程的临界情形，在这种设定下，变量和指数的角色不像对称系统那样可以互换。
2. 处理分数拉普拉斯算子： 本工作成功地将测试函数法扩展到涉及分数阻尼算子（$(-\Delta)^\sigma$）且 $\sigma$ 为分数的系统。这是通过构造非紧支撑测试函数并仔细管理非局部效应实现的，这一困难此前限制了此类分析仅限于整数 $\sigma$ 的情况。
3. 精确阈值： 本文确定了区分全局存在性与爆破的连续性模 $\mu_1$ 和 $\mu_2$ 的精确阈值，精细化了对弱耦合系统中临界非线性的理解。
4. 解决开放问题： 所开发的理论方法被成功应用于为具有分数参数的对称模型的爆破问题提供正面回答，而这些问题此前在文献中是未解决的。

作者强调，其结果依赖于两种不同阻尼机制之间的相互作用以及连续性模提供的特定正则性，为这类演化系统的临界行为提供了更精细的视角。