2025-11-14T22:55:11.746370

The obstacle scattering for the biharmonic equation

Wu, Yang
In this paper, we consider the obstacle scattering problem for biharmonic equations with a Dirichlet boundary condition in both two and three dimensions. Some basic properties are first derived for the biharmonic scattering solutions, which leads to a simple criterion for the uniqueness of the direct problem. Then a new type far-field pattern is introduced, where the correspondence between the far-field pattern and scattered field is established. Based on these properties, we prove the well-posedness of the direct problem in associated function spaces by utilizing the boundary integral equation method, which relys on a natural decomposition of the biharmonic operator and the theory of the pseudodifferential operator. Furthermore, the inverse problem for determining the obstacle is studied. By establishing some novel reciprocity relations between the far-field pattern and scattered field, we show that the obstacle can be uniquely recovered from the measurements at a fixed frequency.
academic

The obstacle scattering for the biharmonic equation

基本信息

  • 论文ID: 2406.06126
  • 标题: The obstacle scattering for the biharmonic equation
  • 作者: Chengyu Wu, Jiaqing Yang (西安交通大学数学与统计学院)
  • 分类: math.AP (数学分析)
  • 发表时间: 2024年6月13日 (arXiv v2)
  • 论文链接: https://arxiv.org/abs/2406.06126

摘要

本文研究二维和三维空间中带Dirichlet边界条件的双调和方程障碍散射问题。首先导出双调和散射解的基本性质，建立了直接问题唯一性的简单判据。然后引入一种新型远场模式，建立了远场模式与散射场之间的对应关系。基于这些性质，利用边界积分方程方法证明了相关函数空间中直接问题的适定性，该方法依赖于双调和算子的自然分解和伪微分算子理论。此外，还研究了确定障碍物的反问题。通过建立远场模式与散射场之间的新颖互易关系，证明了障碍物可以从固定频率的测量中唯一恢复。

研究背景与动机

问题背景

双调和散射问题在多个科学领域具有重要应用，近年来引起了越来越多的关注：

  1. 弹性理论：梁方程、铰接板配置等
  2. 流体力学：Stokes方程
  3. 波动理论：光栅堆叠散射

研究挑战

相比声学、弹性和电磁散射问题，双调和散射问题研究较少，主要困难包括：

  1. 高阶微分算子：带来众多数学困难
  2. 经典方法失效：许多传统方法不再适用
  3. 边界条件复杂性：不同边界条件需要不同处理方法

现有工作局限性

  1. 维度限制：现有边界积分方程方法仅适用于二维情况
  2. 边界条件严格：要求边界解析且可参数化
  3. 多频测量：现有反问题结果需要多频率测量

核心贡献

  1. 建立基本性质：导出双调和散射解的基础性质，提供直接问题唯一性的简单判据
  2. 新型远场模式：定义双调和散射的新型远场模式 (u+,∞s,u−,∞s)(u^s_{+,\infty}, u^s_{-,\infty})
  3. 扩展适定性理论：将边界积分方程方法扩展到二维和三维，放宽边界条件至 C3,αC^{3,\alpha}
  4. 单频反问题：证明可从固定频率测量唯一确定障碍物
  5. 互易关系：建立远场模式与散射场的新颖互易关系

方法详解

任务定义

研究双调和障碍散射问题：

\Delta^2 u - k^4 u = 0 & \text{in } \mathbb{R}^d \setminus \Omega \\ B_D(u) = (u, \partial_n u) = (0, 0) & \text{on } \partial\Omega \\ \partial_r w - ikw = o(r^{-\frac{d-1}{2}}) & \text{as } r \to \infty \end{cases}$$ 其中 $u = u^i + u^s$，$u^i$ 为入射波，$u^s$ 为散射波，$k > 0$ 为波数。 ### 核心技术方法 #### 1. 双调和算子分解 利用自然分解 $\Delta^2 - k^4 = (\Delta + k^2)(\Delta - k^2)$，将问题分解为： - $u^s_+ := \Delta u^s + k^2 u^s$ (修正Helmholtz方程解) - $u^s_- := \Delta u^s - k^2 u^s$ (Helmholtz方程解) #### 2. 新型远场模式定义 **定义3.14**：对于满足条件的双调和散射解 $u^s$，定义： - $u^s_-(x) = \frac{e^{ik|x|}}{|x|^{\frac{d-1}{2}}}\{u^s_{-,\infty}(\hat{x}) + O(\frac{1}{|x|})\}$ (标准声学远场) - $u^s_+(x) = \frac{e^{-k|x|}}{|x|^{\frac{d-1}{2}}}\{u^s_{+,\infty}(\hat{x}) + O(\frac{1}{|x|})\}$ (修正远场) 其中： $$u^s_{+,\infty}(\hat{x}) = \frac{k^{\frac{d-3}{2}}}{2(2\pi)^{\frac{d-1}{2}}} \int_{\partial\Omega} \left(u^s_+(y)\frac{\partial e^{k\hat{x} \cdot y}}{\partial n(y)} - \frac{\partial u^s_+}{\partial n}(y)e^{k\hat{x} \cdot y}\right) ds(y)$$ #### 3. 边界积分方程方法 将解表示为单层和双层位势的组合： - $u^s_+ = SL_{ik}\phi - DL_{ik}\psi + i\eta SL_{ik}(S_0^2\psi)$ - $u^s_- = SL_k\phi - DL_k\psi$ 导出等价边界积分方程： $$M(k)\begin{pmatrix}\phi\\\psi\end{pmatrix} = \begin{pmatrix}2k^2f\\-2k^2g\end{pmatrix}$$ 其中 $M(k)$ 为 $2×2$ 矩阵算子。 #### 4. Fredholm性质分析 利用伪微分算子理论证明： - **定理4.4**：$Z(k) - \hat{Z}(k)$ 为紧算子 - **定理4.1**：算子 $M(k)$ 为单射 - 结合强制性算子 $\hat{Z}(k)$ 得到适定性 ### 技术创新点 1. **统一处理**：同时处理二维和三维情况 2. **条件放宽**：仅需 $\partial\Omega \in C^{3,\alpha}$，无需解析性 3. **新型远场模式**：包含指数衰减部分，对反问题至关重要 4. **互易关系**：建立不同类型解之间的深层联系 ## 实验设置 ### 理论验证框架 本文为纯理论研究，通过以下方式验证理论结果： 1. **基本性质验证**： - 辐射条件的满足性 (引理3.1) - 表示定理的正确性 (定理3.2, 3.3) - 级数展开的有效性 (定理3.6) 2. **适定性验证**： - 唯一性判据 (定理3.10) - 边界积分方程的Fredholm性质 - 解的存在性和稳定性估计 3. **反问题验证**： - 互易关系的建立 (定理5.1-5.3) - 唯一性定理的证明 (定理5.5-5.6) ## 主要理论结果 ### 直接问题适定性 **定理4.5** (适定性)：给定 $(f,g) \in H^{3/2}(\partial\Omega) \times H^{1/2}(\partial\Omega)$，双调和散射问题存在唯一解 $u^s \in H^2_{loc}(\mathbb{R}^d \setminus \Omega)$，且满足先验估计： $$\|u^s\|_{H^2(B_R\setminus\Omega)} \leq C(\|f\|_{H^{3/2}(\partial\Omega)} + \|g\|_{H^{1/2}(\partial\Omega)})$$ ### 唯一性判据 **定理3.10**：若双调和散射解满足： - $\text{Im}\int_{\partial\Omega}(u^s\partial_n\Delta u^s + \Delta u^s\partial_n u^s)ds \leq 0$ - $\text{Re}\int_{\partial\Omega} u^s\partial_n u^s ds \geq 0$ 则 $u^s = 0$。 ### 互易关系 **定理5.1**：对于双调和障碍 $\Omega$，成立互易关系： $$\begin{pmatrix} u^s_+(y,\hat{x},k) & u^s_-(y,\hat{x},k) \\ u^s_+(y,\hat{x},ik) & u^s_-(y,\hat{x},ik) \end{pmatrix} = \frac{2(2\pi)^{\frac{d-1}{2}}}{ik^{\frac{d-3}{2}}} \begin{pmatrix} e^{i\frac{d-1}{4}\pi}u^s_{-,\infty}(-\hat{x},y,ik) & e^{i\frac{d-1}{4}\pi}u^s_{-,\infty}(-\hat{x},y,k) \\ iu^s_{+,\infty}(-\hat{x},y,ik) & iu^s_{+,\infty}(-\hat{x},y,k) \end{pmatrix}$$ ### 反问题唯一性 **定理5.5**：若两个障碍物 $\Omega$ 和 $\tilde{\Omega}$ 对所有 $\hat{x}, \hat{y} \in S^{d-1}$ 满足以下条件之一： 1. $(u^s_{+,\infty}(\hat{x},\hat{y},k), u^s_{+,\infty}(\hat{x},\hat{y},ik)) = (\tilde{u}^s_{+,\infty}(\hat{x},\hat{y},k), \tilde{u}^s_{+,\infty}(\hat{x},\hat{y},ik))$ 2. $(u^s_{-,\infty}(\hat{x},\hat{y},k), u^s_{-,\infty}(\hat{x},\hat{y},ik)) = (\tilde{u}^s_{-,\infty}(\hat{x},\hat{y},k), \tilde{u}^s_{-,\infty}(\hat{x},\hat{y},ik))$ 则 $\Omega = \tilde{\Omega}$。 ## 相关工作 ### 直接问题研究 1. **变分方法**：Bourgeois & Hazard (2020) 在二维情况下定义了双调和散射的Dirichlet-to-Neumann映射 2. **边界积分方程**：Dong & Li (2024) 考虑了二维情况，但要求边界解析且可参数化 ### 反散射研究 1. **点源测量**：Bourgeois & Recoquiliay (2020) 利用圆周上点源散射场的测量实现唯一恢复 2. **线性抽样方法**：在双调和情况下的推广 3. **Saito公式**：Tyni & Serov (2018) 证明了双调和情况下的Saito公式 ### 本文相对优势 1. **维度扩展**：从二维扩展到三维 2. **条件放宽**：从解析边界放宽到 $C^{3,\alpha}$ 3. **单频测量**：相比多频测量的显著改进 4. **统一框架**：提供了更一般的理论框架 ## 结论与讨论 ### 主要结论 1. 建立了双调和障碍散射问题的完整数学理论 2. 证明了直接问题在适当函数空间中的适定性 3. 引入的新型远场模式为反问题提供了关键工具 4. 实现了基于单频测量的障碍物唯一恢复 ### 局限性 1. **边界条件限制**：主要针对Dirichlet边界条件，其他边界条件需要不同处理 2. **实际测量**：$u^s_+$ 部分指数衰减，实际测量困难 3. **数值实现**：理论结果的数值验证和算法实现有待研究 ### 未来方向 1. **其他边界条件**：扩展到Neumann、Navier等边界条件 2. **数值方法**：开发高效的数值算法 3. **非线性情况**：考虑非线性双调和散射问题 4. **实际应用**：在工程问题中的具体应用 ## 深度评价 ### 优点 1. **理论完整性**：提供了双调和障碍散射的完整数学理论框架 2. **技术创新**：新型远场模式定义和互易关系的建立具有创新性 3. **方法先进**：巧妙结合算子分解、边界积分方程和伪微分算子理论 4. **结果深刻**：单频反问题的唯一性结果具有重要理论意义 5. **写作清晰**：论文结构合理，证明严谨 ### 不足 1. **实用性限制**：纯理论研究，缺乏数值验证和实际应用 2. **测量可行性**：指数衰减部分的实际测量存在困难 3. **边界条件单一**：主要关注Dirichlet条件，其他条件处理不够充分 ### 影响力 1. **学术贡献**：为双调和散射理论提供了重要理论基础 2. **方法论价值**：所用技术方法可推广到其他高阶算子问题 3. **应用潜力**：为相关工程问题提供了数学理论支撑 ### 适用场景 1. **理论研究**：偏微分方程、散射理论、反问题研究 2. **工程应用**：结构力学、流体力学、声学工程 3. **数值计算**：为相关数值方法提供理论基础 ## 参考文献 论文引用了25篇重要参考文献，涵盖： - 双调和算子理论 [9, 16, 25] - 散射理论基础 [4, 7, 22] - 边界积分方程 [11, 12] - 反问题理论 [13, 23] - 特殊函数 [15, 21, 24] --- **总结**：本文在双调和障碍散射理论方面取得了重要进展，特别是在新型远场模式定义、适定性理论扩展和单频反问题求解方面做出了显著贡献。虽然主要为理论研究，但为相关应用领域提供了坚实的数学基础。