On fractional semilinear wave equations in non-cylindrical domains

技术摘要：非柱状区域中的分数阶半线性波动方程

问题表述
本文研究了定义在非柱状、随时间变化的定义域上的某一类半线性分数阶波动方程的弱解的存在性。控制方程为：
$$\ddot{u} + (-\Delta)^s u + \nabla W(u) = f \quad \text{在 } \mathcal{O} \text{ 内},$$
其中 $\mathcal{O} \subset [0, T] \times \mathbb{R}^d$ 是一个由一系列演化的空间集合 $\{\Omega_t\}_{t \in [0, T]}$ 定义的非柱状定义域。算子 $(-\Delta)^s$ 表示分数阶 $s$-Laplacian，而 $W$ 是一个具有 Lipschitz 连续梯度的势函数。该问题受限于在定义域补集 $((0, T) \times \mathbb{R}^d) \setminus \mathcal{O}$ 上给出的齐次 Dirichlet 边界条件，这反映了算子的非局部特性。初始条件在 $t=0$ 时针对位移 $u_0$ 和速度 $v_0$ 进行给定。

几何框架假设该族 $\{\Omega_t\}$ 是非递减的（即对于 $s \leq t$，有 $\Omega_s \subseteq \Omega_t$），且时空定义域 $\mathcal{O}$ 具有 Lipschitz 边界。这种设置模拟了物理现象，如薄膜从基底剥离或动态裂纹扩展，其中活跃区域随时间扩张。

方法论
作者通过两种不同的构造性方法建立了弱解的存在性，这两种方法都针对非局部和随时间变化的设定进行了调整：

1. 时间离散化方案： 受 Calvo, Novaga, 和 Orlandi 研究工作的启发，该方法利用一系列柱状子域从内部近似非柱状定义域 $\mathcal{O}$。具体而言，将时间区间 $[0, T]$ 进行划分，并在每个子区间 $(t_{k-1}, t_k)$ 上，在固定的柱状定义域 $(t_{k-1}, t_k) \times \Omega_{t_{k-1}}$ 上求解问题。每一步的解作为后续步骤的初始数据。作者证明了分段常数近似序列收敛于一个弱解。该方法依赖于分数阶 Sobolev 空间中的能量估计和紧性论证（Ascoli–Arzelà）。

2. 惩罚法： 遵循 J.-L. Lions 的方法，该方法在固定的较大柱状定义域 $(0, T) \times \Omega_T$ 上考虑问题，但引入了一个惩罚项 $\frac{1}{\varepsilon} P \dot{u}$，其中 $P$ 是 $\mathcal{O}$ 补集的特征函数。该项迫使解的时间导数在物理定义域之外趋于零，当 $\varepsilon \to 0$ 时。通过使用分数阶 Laplacian 的特征函数进行 Galerkin 近似，建立了惩罚问题的解的存在性。当 $\varepsilon \to 0$ 时的极限产生了原问题的解。

主要结果
主要结果（定理 5）断言存在满足以下性质的弱解 $u$：

• 正则性： $u \in L^\infty(0, T; \tilde{H}^s(\Omega_t))$ 且 $\dot{u} \in L^\infty(0, T; L^2(\Omega_t))$，并具有关于时间的连续性性质（$u \in C^0([0, T]; L^2(\Omega_T))$ 且 $\dot{u} \in C^0([0, T]; H^{-s}(\Omega_0))$）。
• 弱形式： 解满足涉及分数阶双线性型、势函数梯度和强迫项的积分恒等式，该恒等式对所有在 $\mathcal{O}$ 内具有支撑的容许测试函数均成立。
• 能量不等式： 解满足能量不等式：
  $$E(u(t)) \leq E_0 + \int_0^t \langle f(\tau), \dot{u}(\tau) \rangle_{L^2(\Omega_\tau)} d\tau,$$
  其中 $E(u(t))$ 包含了动能、分数阶半范数能量以及势能。

该分析容纳了向量值映射以及具有 Lipschitz 梯度的势函数，将以往关于柱状定义域中分数阶波动方程的研究结果扩展到了非柱状定义域的情境下。

意义与范围
本文声称将分数阶波动方程的存在性结果从柱状定义域（如先前文献 [7, 8, 9] 所确立的）扩展到了非柱状、扩张的定义域，同时也将已知关于非柱状定义域的结果（来自 [38, 39]）扩展到了分数阶的情境中。

作者明确限定了其贡献的范围仅在于弱解的存在性。他们指出，虽然对于柱状定义域中的相关非局部色散方程（例如 [13]）已经确立了适定性（唯一性），但在时间相关定义域设定下建立唯一性需要对族 $\{\Omega_t\}$ 的演化提出更强的假设，这超出了本文的研究范围。本文的重点是通过两种互补的方法提供严谨的存在性证明，从而验证在演化几何中对这类非局部波动现象进行数学建模的一致性。