[论文解读] Dirichlet-to-Neumann maps on bounded Lipschitz domains

Jussi Behrndt, Tom Ter Elst|arXiv (Cornell University)|Mar 13, 2014

Numerical methods in inverse problems参考文献 22被引用 3

一句话总结

本文在希尔伯特空间中的线性关系框架下，系统研究了有界利普希茨区域上的狄利克雷-诺伊曼映射与诺伊曼-狄利克雷映射。通过将映射视为多值关系并利用对称算子的扩张理论，该文建立了适用于所有复参数的克雷因型预解式公式，即使狄利克雷问题不具备唯一可解性，该公式依然成立。

ABSTRACT

The Dirichlet-to-Neumann map associated to an elliptic partial differential equation becomes multivalued when the underlying Dirichlet problem is not uniquely solvable. The main objective of this paper is to present a systematic study of the Dirichlet-to-Neumann map and its inverse, the Neumann-to-Dirichlet map, in the framework of linear relations in Hilbert spaces. Our treatment is inspired by abstract methods from extension theory of symmetric operators, utilizes the general theory of linear relations and makes use of some deep results on the regularity of the solutions of boundary value problems on bounded Lipschitz domains.

研究动机与目标

• 提供对有界利普希茨区域上狄利克雷-诺伊曼映射与诺伊曼-狄利克雷映射的系统且内在的分析，尤其关注狄利克雷问题缺乏唯一可解性的情形。
• 将映射视为希尔伯特空间中的线性关系，从而建立一个严谨的框架，以包含特征值存在时的多值行为。
• 建立狄利克雷与诺伊曼实现实现的薛定谔算子预解式差的通用克雷因型公式，适用于所有复参数。
• 利用对称算子的抽象扩张理论及利普希茨区域上的深层正则性结果，推导关系的谱性质与映射性质。

提出的方法

• 作者将狄利克雷-诺伊曼映射建模为 $H^{1/2}({\mathcal{C}}) \times H^{-1/2}({\mathcal{C}})$ 中的线性关系，根据谱参数的不同，捕捉其单值与多值行为。
• 他们采用希尔伯特空间中对称与自伴线性关系的理论，包括 $Q$-函数与威爾函数的使用，来分析这些映射。
• 论文利用利普希茨区域上的迹理论以及椭圆边值问题解的正则性结果，确保映射的良定义性。
• 一个关键技术工具是使用自伴关系 $A^{-1}$ 的逆，特别是在关系 $T = B^* A^{-1} B$ 的背景下，该关系在适当条件下被证明是本质上自伴的。
• 作者通过克雷因型恒等式推导出狄利克雷与诺伊曼实现实现之间的通用预解式差公式，对所有 $\lambda, \mu \in \mathbb{C}$ 成立，即使 $\lambda$ 或 $\mu$ 是特征值也成立。
• 他们建立了任意 $\lambda, \mu$ 下映射 $\mathcal{D}(\lambda)$ 与 $\mathcal{D}(\mu)$ 之间的联系，将已知结果推广至非正则区域。

实验结果

研究问题

• RQ1 当狄利克雷问题不具备唯一可解性时，狄利克雷-诺伊曼映射如何被严格定义并分析？
• RQ2 狄利克雷-诺伊曼映射作为希尔伯特空间中的线性关系，其结构是怎样的，尤其是在基础问题具有非平凡核的情况下？
• RQ3 狄利克雷与诺伊曼实现实现的预解式差的克雷因型公式能否推广至所有复参数，包括特征值？
• RQ4 狄利克雷-诺伊曼与诺伊曼-狄利克雷映射的谱性质与映射性质如何依赖于区域的几何结构与势函数 $V$？

主要发现

• 对于所有 $\lambda \in \mathbb{C}$，狄利克雷-诺伊曼映射 $\mathcal{D}(\lambda)$ 是 $H^{1/2}({\mathcal{C}}) \times H^{-1/2}({\mathcal{C}})$ 中的自伴线性关系，即使 $\lambda$ 是狄利克雷实现 $A_D$ 的特征值也成立。
• 诺伊曼-狄利克雷映射 $\mathcal{N}(\lambda)$ 是 $H^{-1/2}({\mathcal{C}}) \times H^{1/2}({\mathcal{C}})$ 中的自伴线性关系，其定义域与多值部分通过迹理论与正则性结果得以刻画。
• 建立了一个适用于所有 $\lambda \in \mathbb{C}$ 的通用克雷因型公式，用于预解式差 $ (A_D - \lambda)^{-1} - (A_N - \lambda)^{-1} $，通过将映射解释为线性关系，该公式不仅适用于正则值，也适用于所有复参数。
• 定理 4.6 中的公式建立了 $\mathcal{D}(\lambda)$ 与 $\mathcal{D}(\mu)$ 之间的关系，对所有 $\lambda, \mu \in \mathbb{C}$ 成立，将已知结果推广至多值区域。
• 本文证明：若 $A$ 是自伴的且 $\operatorname{ran} A$ 闭，则关系 $T = B^* A^{-1} B$ 在 $\mathcal{G}$ 中是本质上自伴的；若 $B^*|_{\ker A}$ 有有界逆，则 $T$ 是自伴的。