[论文解读] Zeta functions with Dirichlet and Neumann boundary conditions for exterior domains

Jean‐Pierre Eckmann, Claude‐Alain Pillet|ArXiv.org|Feb 3, 1996

Spectral Theory in Mathematical Physics参考文献 12被引用 14

一句话总结

本文建立了有界外部区域中拉普拉斯算子在狄利克雷或诺伊曼边界条件下与相应外部问题散射相位之间的新恒等式，关联其积分态密度。通过单层和双层势，引入了四个zeta函数（DD, DN, ND, NN），编码了内部特征值问题与外部散射之间的谱对偶性，证明了迹公式，并提出了一种基于双层势的数值算法，可对这些函数进行计算，且对谱渐近性提供严格界。

ABSTRACT

We generalize earlier studies on the Laplacian for a bounded open domain $Ω\in eal^2$ with connected complement and piecewise smooth boundary. We compare it with the quantum mechanical scattering operator for the exterior of this same domain. Using single layer and double layer potentials we can prove a number of new relations which hold when one chooses {\em independently} Dirichlet or Neumann boundary conditions for the interior and exterior problem. This relation is provided by a very simple set of $ζ$-functions, which involve the single and double layer potentials. We also provide Krein spectral formulas for all the cases considered and give a numerical algorithm to compute the $ζ$-function.

研究动机与目标

• 将先前针对具有狄利克雷边界条件的区域所建立的内部特征值问题与外部散射之间的谱恒等式推广至包含诺伊曼边界条件的情形。
• 推导并证明有界区域中拉普拉斯算子的积分态密度与外部区域在所有狄利克雷与诺伊曼边界条件组合下的散射相位之间的新关系。
• 利用单层和双层势构造zeta函数，统一并推广混合边界条件下的谱对偶性。
• 提供一个类似克雷因（Krein）的迹公式，将内部与外部问题的谱测度相联系。
• 开发一种基于双层势的数值稳定算法，用于计算zeta函数，即使在存在角点的情况下也适用。

提出的方法

• 利用单层势 $ A_z $、双层势 $ B_z $ 及其法向导数 $ C_z $，定义四个zeta函数（DD, DN, ND, NN），每种对应一对边界条件。
• 使用自由格林函数 $ G_z $ 及其在边界 $ \partial\Omega $ 上的限制，构造作用于边界上的积分算子 $ A_z $、$ B_z $、$ C_z $。
• 建立谱恒等式：内部拉普拉斯算子的积分态密度 $ N_B(E) $ 等于散射相位 $ \vartheta_{B0}(E) $ 减去zeta函数 $ \gamma_{B,B0}(E+i0) $ 的对数的虚部。
• 推导一个克雷因迹公式，将内部与外部拉普拉斯算子的函数的迹与特征值及散射相位相联系。
• 通过层势算子显式构造相互作用格林函数 $ G_{DD} $ 与 $ G_{NN} $。
• 开发一种基于双层势 $ B_z $ 的数值算法，对收敛性与谱渐近性提供严格界，即使在具有角点的区域中也适用。

实验结果

研究问题

• RQ1 在有界区域中，混合狄利克雷/诺伊曼边界条件下的拉普拉斯算子的谱性质如何与外部问题的散射相位相关？
• RQ2 能否构建一个统一的zeta函数形式化方法，以描述内部与外部问题中所有狄利克雷与诺伊曼边界条件的组合？
• RQ3 在混合边界条件下，内部特征值问题与外部散射问题之间的谱对偶性的精确数学结构是什么？
• RQ4 如何以保证收敛性与误差界的方式数值计算zeta函数，特别是在具有角点的区域中？
• RQ5 zeta函数的虚部对数的精确渐近界是什么？它们与谱密度估计之间有何关系？

主要发现

• 本文证明了恒等式 $ N_B(E) = \vartheta_{B0}(E) - \operatorname{Im} \log \gamma_{B,B0}(E+i0) $，建立了内部特征值计数与外部散射相位之间直接的谱对偶性。
• zeta函数 $ \gamma_{B,B0}(z) $ 满足估计式 $ \left| \operatorname{Im} \log \gamma_{B,B0}(E+i0) \right| \leq \text{const} \times E^{-1/2} \log E $，提供了对谱涨落的精确估计。
• 推导出类似克雷因的迹公式：$ \operatorname{Tr}\left[ F(-\Delta_\Omega;B) \oplus F(-\Delta_{\Omega^c};B0) \right] = \sum F(\lambda_n,B) + \frac{1}{\pi} \int \left( \frac{dF}{dE} \right)(E) \vartheta_{B0}(E) \, dE $，将内部与外部区域的谱测度相联系。
• 相互作用格林函数被显式给出为 $ G_{DD} = G - G^* A_{-\Delta}^{-1} G $ 与 $ G_{NN} = G - G^* N C_{-\Delta}^{-1} N G $，揭示了点态谱对偶性。
• zeta函数可通过双层势 $ B_z $ 数值计算，其算法具有稳定性，通过层势核中的抵消机制处理角点奇异性。
• 通过双层势的法向导数定义的算子 $ C_z $ 被证明是阶为1的拟微分算子，其在角点处的抵消保证了希尔伯特-施密特与迹类行为，从而支持严格的谱分析。