Global existence of small data solutions to 3-D semilinear Euler-Poisson-Darboux equations

问题陈述
本文研究了 $n$ 维半线性 Euler-Poisson-Darboux 方程的细小数据弱解的全局存在性问题：
$$\square u + \frac{\mu}{t} \partial_t u = |u|^p, \quad t \ge 1, \, x \in \mathbb{R}^n$$
其中 $\mu > 0$ 且 $p > 1$。核心开放问题在于临界指数 $p_{\text{crit}}(n, \mu) = \max\{p_s(n+\mu), p_f(n)\}$，其中 $p_s$ 是 Strauss 指数，$p_f(n) = 1 + 2/n$ 是 Fujita 指数。虽然对于 $1 < p \le p_{\text{crit}}(n, \mu)$ 的爆破结果已经建立，且 $n=1, 2$ 时的全局存在性已得到解决，但 $n=3$ 的情况仍部分处于开放状态。具体而言，本文关注 $\mu \ge 14/5$ 的情形，此时临界指数由 Fujita 指数 $p_f(3) = 5/3$ 决定。作者旨在证明当 $p > \max\{5/3, 1 + 2/\mu\}$ 时，细小初始数据的全局存在性。

方法论
作者结合了向量场方法和针对 3 维线性 Euler-Poisson-Darboux 算子 $\square + \frac{\mu}{t} \partial_t$ 定制的精细时间衰减分析。

1. 通过特殊函数进行显式表示： 利用傅里埃变换求解线性齐次方程。解算子通过 Bessel 函数 ($J_\nu, Y_\nu$) 和 Hankel 函数 ($H^\pm_\nu$) 进行表示。作者仔细区分了阶参数 $\rho = -(\mu+1)/2$ 为整数（需要第二类 Bessel 函数）与非整数的情况，并利用这些特殊函数的渐近性质和递推关系来导出精确估计。
2. 向量场范数： 为了处理算子 $\square + \frac{\mu}{t} \partial_t$ 与标准向量场之间不交换的问题（这是先前研究如 [16] 中提到的局限性），作者引入了特定的向量场范数 $\|v\|_{Z, s, (p,q)}$。这些范数涉及由集合 $Z = \{\partial, L_0, L_j, \Omega_{kl}\}$ 生成的导数，其中 $L_0$ 是缩放向量场，$L_j$ 是洛伦兹提升，$\Omega_{kl}$ 是旋转。
3. 球面 $S^2$ 上的 Sobolev 嵌入： 一个关键的技术创新是推导了适配于这些范数的球面 $S^2$ 上的 Sobolev 嵌入。不同于 2 维情况下的 $\|u\|_{(2,\infty)} \lesssim \|u\|_{Z,1,2}$，3 维情况需要估计式 $\|u\|_{(2,\infty)} \lesssim \|u\|_{Z,1,2} + \|\partial u\|_{Z,1,2}$，这对于控制非线性项至角重要。
4. 时间衰减估计： 作者在不同的频率区域（低频、中频和高频）建立了齐次和非齐次线性方程的锐利时间衰减估计。这些估计取决于阻尼系数 $\mu$ 和维度 $n=3$。
5. 不动点论证： 利用 Duhamel 原理将非线性问题重新表述为不动点问题。作者在一个加权 Banach 空间 $X(T)$ 中应用收缩映射原理，该空间由包含时间权重 $t^{\mu/2}$（对于 $14/5 \le \mu < 3$）或 $t^{3/2 - 3/(1+\epsilon_1)}$（对于 $\mu \ge 3$）的范数定义。

主要贡献与结果
主要结果 定理 1.1 确定了在以下条件下，3 维问题 (1.2) 的唯一细小数据解 $u$ 的全局存在性：

• 阻尼： $\mu \ge 14/5$。
• 非线性： $p > \max\{5/3, 1 + 2/\mu\}$。
• 正则性： 解属于 $C([1, \infty); H^2(\mathbb{R}^3)) \cap C^1([1, \infty); H^1(\mathbb{R}^3)) \cap C^2([1, \infty); L^2(\mathbb{R}^3))$。

论文提供了一个已知结果和未解情况的详细表格，强调这项工作解决了 $\mu \ge 3$（即 $p > 5/3$ 即可）的开放问题，并显著推进了 $14/5 \le \mu < 3$ 的情形。

意义与局限性
本文声称解决了在 $\mu \ge 14/5$ 且 $p$ 满足所推导下界的情况下 $n=3$ 的开放问题。作者明确指出在 $14/5 \le \mu < 3$ 范围内存在一个技术间隙：条件 $p > 1 + 2/\mu$ 比预期的临界指数 $p_f(3) = 5/3$ 略微严格。该差异 $p_f(3) - (1 + 2/\mu) = 2(3-\mu)/(3\mu)$ 源于 Duhamel 项中时间积分的可积性条件（具体而言，是 $\int_1^t \tau^{\mu/2 + (-\mu/2)p} d\tau$ 的收敛性）。

作者指出，对于 $14/5 < \mu < 3$ 的剩余间隙以及 $0 < \mu < 14/5$ 的情况（其中 Strauss 指数占主导地位），将在未来的工作中利用精细的时空加权 Strichartz 估计来解决。目前的工作依赖于向量场方法结合 Bessel 函数分析，这对于 $\mu \ge 14/5$ 的情形是足够的，但在中间阻尼范围内遇到了技术限制。