Solving the Scattering Problem for Open Wave-Guide Networks, I Fundamental Solutions and Integral Equations

技术摘要：解决开放波导网络中的散射问题，I

问题陈述
本文研究了二维开放介质波导网络的标量散射问题。具体而言，它聚焦于最简单的非平凡构型：两个半无限介质通道（波导）沿一条与其传播方向正交的直线界面相遇。该系统由时间谐波薛定谔方程 $(\Delta + \omega^2 \epsilon(x))u = 0$ 建模，其中在紧集内以及在半无限射线附近的管状邻域内，透射率 $\epsilon(x)$ 为常数。

核心难点在于散射体的非紧致性。与具有紧致散射体（其满足索末菲辐射条件即可定义向外解）不同，波导网络需要更复杂的辐射条件，以解释沿通道传播的导模以及在外部辐射的场。此外，标准的极限吸收原理面临挑战，因为通过截断入射场引入的误差项往往无法属于必要的加权 $L^2$ 空间。本文旨在将此散射问题重新表述为跨越人工边界（界面 $x_1=0$）的传输问题，并通过积分方程进行求解。

方法论
作者采用层势方法，其基础是构造用于定义网络两端的平移不变算子的显式向外基本解。

1. 基本解的构造：
   利用对 $x_1$ 变量的傅里叶变换，构造了算子 $\Delta + k_1^2 + q_{l,r}(x_2)$ 的基本解 $E_{l,r}(x; y)$。该解被分解为一个自由空间项（汉克尔函数 $H_0^{(1)}$）和一个修正项 $w_{l,r}$。修正项通过针对每个频率 $\xi$ 在 $x_2$ 变量上求解常微分方程（ODE）来获得，利用了经典的 ODE 理论和极限吸收原理（$\delta \to 0^+$）。

   • 连续谱贡献通过复 $\xi$ 平面上的轮廓积分 $\Gamma_\nu^+$ 表示，该轮廓经过变形以避开龙德伦特（Wronskian）的根。
   • 离散谱（导模）通过位于极点 $\pm \xi_n$ 处的留数来捕捉，产生正比于 $v_n(x_2)v_n(y_2)e^{i\xi_n(x_1-y_1)}$ 的项。

2. 层势表示：
   散射场 $u_l$（对于 $x_1 < 0$）和 $u_r$（对于 $x_1 > 0$）被表示为使用这些基本解的单层和双层势的组合：
   $$u_{l,r} = -E_{l,r}' \sigma + E_{l,r} \tau$$
   其中 $\sigma$ 和 $\tau$ 是界面 $x_1=0$ 上的未知源密度。

3. 积分方程表述：
   通过强制执行传输边界条件（场和法向导数的连续性，并根据入射数据进行调整），作者推导出了关于界面 $x_1=0$ 上 $(\sigma, \tau)$ 的积分方程组。该系统的形式为：
   $$\begin{pmatrix} I & D \\ C & I \end{pmatrix} \begin{pmatrix} \sigma \\ \tau \end{pmatrix} = \begin{pmatrix} g \\ h \end{pmatrix}$$
   这里，$D$ 和 $C$ 是具有由修正项 $w_{l,r}$ 及其导数构成的核的积分算子。值得注意的是，这些核的奇异性比标准层势更弱（其行为类似于 $|x-y|^2 \log|x-y|$，而非 $|x-y|^{-1}$）。

4. 泛函分析设定：
   分析是在具有特定衰减率的连续函数巴拿赫空间 $C_\alpha(\mathbb{R})$ 中进行的，其范数定义为 $|f|_\alpha = \sup (1+|x|)^\alpha |f(x)|$。作者证明了算子 $C$ 和 $D$ 在这些空间之间进行映射，并且复合算子 $DC$ 是紧算子。

主要贡献与结果

• 显式基本解： 本文提供了一种构造扰动波导算子的向外基本解的建设性方法，分离了导模与连续谱的贡献。
• Fredholm 理论： 作者证明了所得的积分方程组在空间 $C_\alpha(\mathbb{R}) \oplus C_{\alpha+1/2}(\mathbb{R})$ 上是零指数的 Fredholm 算子（其中 $0 < \alpha < 1/2$）。这意味着只要零空间是平凡的，该系统就是广义可解的。
• 核估计： 推导了边界核 $w^{[j]}(x_2, y_2)$ 及其导数的详细渐近估计。这些估计刻画了核在靠近对角线处（奇异性）以及无穷远处（衰减率）的行为，表明它们满足涉及 $e^{ik_1|x|}$ 的特定渐近展开。
• 模投影： 本文证明了解在导波波导模上的投影完全由源项 $(\sigma, \tau)$ 在模函数上的投影决定。这使得在某些情形下，无需求解完整的积分系统即可近似确定散射系数。
• 容许数据： 该框架可以容纳各种类型的入射数据，包括波导模之和、点源以及由平面波构建的波包，前提是它们满足特定的衰减和渐近条件。

意义与主张
本文声称为解决开放波导网络中的散射问题提供了一种严谨的数学基础。通过将问题重新表述为跨越人工边界的传输问题，作者将无限域问题简化为直线上的积分方程组。

作者明确指出：

1. 积分方程是零指数的 Fredholm 算子，使其适用于数值离散化和求解。
2. 该方法易于数值实现，如对后续工作 [16, 17] 的引用所示。
3. 该表述是对称的，并能自然地处理导模与辐射场之间的相互作用。
4. 虽然本文（第一部分）建立了积分方程的存在性及其 Fredholm 性质，但解的唯一性（即零空间的平凡性）依赖于该系列第三部分中定义的特定向外辐射条件。
5. 该方法避免了直接对整个网络应用极限吸收原理，而是局部地利用该原理来构造基本解。

文章结论认为，这种表述提供了一种鲁棒的替代方法，特别是对于涉及波导模的问题，并为讨论解的精确渐近行为以及通过辐射条件证明唯一性的第二部分和第三部分奠定了基础。