The Damped Waves Equation and generalized Cosine and Sine families on Banach spaces

技术摘要：Banach 空间上的阻尼波方程及广义余弦与正弦族

问题陈述
本文研究了 Banach 空间 $X$ 上的抽象二阶阻尼波方程：
$$u''(t) + 2Bu'(t) = Au(t), \quad t \in \mathbb{R},$$
其初值条件为 $u(0) = x$ 和 $u'(1) = y$。研究重点在于阻尼算子 $B$ 是无界算子的情形。作者旨在确定一类广泛的线性无界算子 $A$ 和 $B$，使得该初值问题存在弱解（mild solutions）和经典解（classical solutions）。一个重要的动机是处理以下场景：即对应的无阻尼方程（当 $B=0$ 时）由于 $A$ 不能生成 $C_0$-余弦族而不具备适定性，但阻尼的存在恢复了系统的适定性。

方法论
作者采用了一阶约化策略。通过引入代换 $v = u' + Bu$，将二阶方程改写为如下一阶系统：
$$\begin{pmatrix} u \\ v \end{pmatrix}' = G \begin{pmatrix} u \\ v \end{pmatrix}, \quad \begin{pmatrix} u(0) \\ v(0) \end{pmatrix} = \begin{pmatrix} x \\ Bx + y \end{pmatrix},$$
其中分块算子 $G$ 定义为：
$$G = \begin{bmatrix} -B & I \\ A + B^2 & -B \end{bmatrix}.$$
该方法的核心在于建立关于 $G$ 在适当相空间 $Y \times X$ 上生成 $C_0$-群的条件，其中 $Y$ 是连续嵌入在 $X$ 中的 Banach 空间。

文中引入了两组主要的假设：

1. 假设 (HAB)： 关于 $A$ 和 $B$ 的结构性假设，涉及生成 $C_0$-群且相互交换的“主阶”算子 $A_0$ 和 $B_0$。该假设旨在使其易于被具体的 PDE 实例所验证，包括那些 $A$ 和 $B$ 全局不交换但其主项交换的情形。
2. 假设 (ABY)： 一个泛函分析框架，假设存在一个相空间 $Y$，使得 $G$ 在 $Y \times X$ 上生成一个 $C_0$-群。

作者证明了 (HAB) 蕴含 (ABY)。他们利用二次算子多项式（quadratic pencil）$Q(\lambda) := \lambda^2 I + 2\lambda B - A$ 来刻画 $G$ 的解析算子（resolvent）。通过分析 $Q(\lambda)$ 的可逆性以及所生成的群 $\{T(t)\}_{t \in \mathbb{R}}$ 的性质，他们构造了广义余弦族和正弦族。

主要贡献与结果

• 广义余弦族与正弦族： 文中构造了两个强连续算子族 $\{C_{A,B}(t)\}_{t \in \mathbb{R}}$ 和 $\{S_{A,B}(t)\}_{t \in \mathbb{R}}$，它们作为阻尼方程的解算子。与经典的无阻尼情况不同，这些族在时间上不一定是偶函数或奇函数。

  • $C_{A,B}(t)$ 将 $\text{dom}(B)$ 映射到 $X$。
  • $S_{A,B}(t)$ 将 $X$ 映射到 $Y$（并将 $Y$ 映射到 $\text{dom}(A)$）。
  • 弱解由下式给出：$u(t) = C_{A,B}(t)x + S_{A,B}(t)y$。

• 解概念的等价性： 作者定义了两种类型的弱解：

  1. 拉普拉斯变换弱解： 通过频率域中 $Q(\lambda)$ 的可逆性来定义。
  2. 积分弱解： 通过 Volterra 型积分方程来定义。
     文中证明，在假设 (ABY) 下，这两种定义是等价的。

• 正则性与不变性： 研究确立了这些族轨迹的精确正则性条件：

  • 对于任何 $x \in X$，轨迹 $S_{A,B}(\cdot)x$ 是 $C^1$ 类的；若 $x \in Y$，则为 $C^2$ 类。
  • 对于 $x \in Y$，轨迹 $C_{A,B}(\cdot)x$ 是 $C^1$ 类的；若 $x \in \text{dom}(A)$，则为 $C^2$ 类。
  • 识别了不变子空间：$Y$ 和 $\text{dom}(A)$ 在 $C_{A,B}(t)$ 下是不变的，而 $S_{A,B}(t)$ 将 $X$ 映射入 $Y$，将 $Y$ 映射入 $\text{dom}(A)$。

• 三角恒等式： 文中推导了 $C_{A,B}$ 和 $S_{A,B}$ 的广义三角恒等式。由于阻尼的存在，这些恒等式包含涉及算子 $B$ 的附加积分项，而在无阻尼情况（$B=0$）下这些项会消失。这些恒等式是通过非齐次方程和相关 $C_0$-群的性质推导出来的。

• 非齐次方程： 该框架被扩展到非齐次方程 $u'' + 2Bu' - Au = f(t)$。作者证明了该情形下经典解和弱解的存在性与唯一性，并给出了一个涉及$S_{A,B}$与强迫项$f$ 卷积的变分常数公式（variation of constants formula）。

意义与范围
本文声称为 Banach 空间上的阻尼波方程提供了一个通用的框架，将经典的理论（通常假设 $B=0$ 或 $B$ 有界且 $A$ 在 Hilbert 空间中是自伴的）扩展到了具有无界阻尼的情况。其核心意义在于能够处理阻尼项对于适定性至关重要的情形：即在这些情形下，无阻尼算子 $A$ 无法生成余弦族，但由于 $B$ 的结构，阻尼系统是适定的。

作者展示了其假设在广泛示例中的适用性，包括：

• 具有变系数的二阶偏微分方程（PDEs）。
• 高阶偏微分方程（如四阶和六阶方程）。
• 耦合的阻尼波方程系统。
• 沿局部模式的非线性 PDE 的线性化。

这项工作弥合了抽象算子理论与具体 PDE 模型之间的鸿沟，为分析不具备标准 Hilbert 空间工具（如自伴性）的阻尼系统提供了一种统一的方法。论文最后指出，相空间 $Y \times X$ 是由一阶系统的适定性唯一确定的，从而完成了与无阻尼情况在理论上的平行对应。