Lifespan estimate for one dimensional wave equation with semilinear terms of spatial derivative

技术摘要：含空间导数项的一维半线性波动方程的寿命估计

问题陈述
本文研究了一类含未知函数空间导数的非自治项的一维半线性波动方程初值问题经典解的寿命估计。该方程为：
$$\begin{cases} u_{tt} - u_{xx} = \frac{|u_x|^p}{\langle x \rangle^a} & \text{在 } \mathbb{R} \times (0, T) \text{ 中}, \\ u(x, 0) = \varepsilon f(x), \\ u_t(x, 0) = \varepsilon g(x), \end{cases}$$
其中 $p > 1$，$a \in \mathbb{R}$，$\varepsilon > 0$ 为小参数，且初始数据 $f, g$ 为具有紧支集的光滑函数。主要目标是确定当 $\varepsilon \to 0$ 时的最大存在时间 $T(\varepsilon)$（即寿命），特别是建立精确的上界和下界。

方法论
作者结合泛函分析、迭代论证和切片法推导其结果。方法论分为两个主要部分：证明全局解的不存在性（爆破）以及证明解在特定时间区间内的存在性。

1. 爆破分析（上界）：

   • 加权泛函： 作者定义了关于解的特定加权泛函 $H(t)$ 以处理非线性项 $|u_x|^p$。与涉及时间导数的项（$|u_t|^p$）不同，后者允许逐点正性，而空间导数项则需要使用特殊的加权泛函（由 Rammaha 在高维情形引入）来管理依赖于空间的权重。
   • 迭代与切片： 上界的证明依赖于 John 为次临界爆破引入的迭代论证，以及 Agemi、Kurokawa 和 Takamura 为临界爆破引入的切片法。这些技术被用于推导关于泛函的常微分不等式（ODI）。
   • 归约为 ODI： 爆破证明的很大一部分涉及将问题归约为二阶常微分不等式。对于初始数据的特定条件，该不等式被证明与 Li 和 Zhou（1995）关于半线性阻尼波动方程所研究的不等式相同。作者利用迭代和切片法为该 ODI 的爆破提供了一个简化的证明，并将结果推广到更广泛的参数 $a$ 范围（$a \le 1$）。
   • 替代方法（定理 2.2）： 针对另一组初始数据条件，作者利用涉及指数权重（$\phi(x) = e^x + e^{-x}$）的变换，将波动方程转化为类似于阻尼波动方程的形式，从而导出一个类似的 ODI。

2. 存在性分析（下界）：

   • 积分方程表述： 解通过 Duhamel 原理表示为自由波解与作用于非线性项的线性积分算子之和。
   • 不动点论证： 存在性部分通过构造空间导数 $u_x$ 的闭积分方程的 $C^1$ 解来确立。作者在特定的 Banach 空间（基于 $L^\infty$ 并带有支集条件）中利用压缩映射论证，借鉴了 Kitamura、Morisawa 和 Takamura 的技术。他们处理了非线性项的 Hölder 连续性，以确保经典解的存在性。

主要贡献与结果
本文建立了依赖于空间权重 $\langle x \rangle^{-a}$ 指数 $a$ 的精确寿命估计 $T(\varepsilon)$：

• 情形 $a < 1$： 寿命满足 $T(\varepsilon) \sim C \varepsilon^{-(p-1)/(1-a)}$。
• 情形 $a = 1$： 寿命满足 $T(\varepsilon) \sim \exp(C \varepsilon^{-(p-1)})$。
• 情形 $a > 1$： 解全局存在（$T(\varepsilon) = \infty$）。

这些估计与 Kitamura、Morisawa 和 Takamura 此前针对具有时间导数非线性项（$|u_t|^p$）的类似问题所发现的结果一致。

意义与主张
作者强调了以下几项具体贡献：

• 处理空间导数： 本文解决了处理空间导数非线性项 $|u_x|^p$ 的非平凡困难，该项缺乏 $|u_t|^p$ 的逐点正性，因此在迭代过程中需要复杂的加权泛函和依赖于空间的权重。
• Li-Zhou 结果的推广： 作者证明，其爆破分析的一部分可归约为与 Li 和 Zhou 针对阻尼波动方程所发现的相同的常微分不等式。然而，他们声称通过利用迭代和切片法为该 ODI 的爆破结果提供一个“简单证明”，成功地将有效性扩展到任意 $a \le 1$，而此前的证明仅限于 $0 \le a \le 1$，这是一项新颖的贡献。
• 精确性： 结果证实，空间导数情形的寿命估计与时间导数情形的估计相同，从而统一了对一维这两类半线性波动方程的理解。

本文未提出新的应用或实验设置，而是严格专注于对该类偏微分方程经典解寿命的严谨数学分析。