[论文解读] An abstract inverse problem for boundary triples with an application to the Friedrichs Model

B. M. Brown, Marco Marletta+2 more|arXiv (Cornell University)|Apr 27, 2014

Spectral Theory in Mathematical Physics参考文献 24被引用 4

一句话总结

本文提出了一种基于边界三元组和M-函数（Dirichlet-to-Neumann映射）的抽象反问题框架，用于研究算子的可检测子空间。该方法应用于Friedrichs模型，表明可通过复分析（特别是Hankel算子和Toeplitz算子）从M-函数部分重构可检测子空间，同时证明即使在酉等价意义下，完全重构也并非总是可能。

ABSTRACT

We discuss the detectable subspaces of an operator. We analyse the relation between the M-function (the abstract Dirichlet to Neumann map) and the resolvent bordered by projections onto the detectable subspaces. The abstract results are explored further by an extensive study of the Friedrichs model, together with illustrative applications to the Schroedinger and Hain-Luest-type models.

研究动机与目标

• 在抽象边界三元组设定下，定义并分析与M-函数相关的可检测子空间。
• 确定M-函数是否唯一确定限制在可检测子空间上的预解算子。
• 研究M-函数的解析延拓与本质谱附近的边界预解算子之间的关系。
• 探讨M-函数的跳跃与边界预解算子在实轴附近的跳跃之间的联系，特别是在此处。
• 利用复分析与算子理论工具，对Friedrichs模型中的可检测子空间提供显式描述。

提出的方法

• 利用抽象边界三元组理论，将M-函数定义为抽象的Dirichlet-to-Neumann映射。
• 将可检测子空间定义为与M-函数相关联的解算子的像的闭包。
• 应用Riesz-Nevanlinna分解与Beurling定理，刻画可检测子空间的正交补。
• 采用Hankel算子与Toeplitz算子分析Friedrichs模型中的谱性质与可检测性。
• 利用投影边界预解算子及其解析延拓，将谱跳跃与M-函数的跳跃行为相关联。
• 建立重构公式：M-函数由一个边界预解算子唯一确定，且边界预解算子可由M-函数与解算子像族重构。

实验结果

研究问题

• RQ1 能否从限制在可检测子空间上的单个边界预解算子唯一重构M-函数？
• RQ2 在已知M-函数与解算子像族的条件下，边界预解算子在多大程度上可被恢复？
• RQ3 M-函数与边界预解算子的解析延拓在本质谱附近如何关联？
• RQ4 M-函数在实轴上的跳跃秩与边界预解算子在该轴上的跳跃秩之间存在何种关系？
• RQ5 能否利用复分析工具显式描述Friedrichs模型中的可检测子空间？

主要发现

• M-函数由一个边界预解算子唯一确定，且边界预解算子可由M-函数与一族解算子像重构。
• Friedrichs模型中的可检测子空间通过Toeplitz算子的核来刻画，其正交补为 $ \mathcal{S}_{\beta}^{\bot} = \overline{\phi} \left( H_2^+ \ominus (\overline{a} - \overline{\mu}_\alpha) H_2^+ \right) $。
• 对 $ a(z) - \mu_\alpha $ 的Riesz-Nevanlinna分解，使得可分解为 $ \mathcal{S}_{\alpha}^\perp = \phi \left( H_2^- \ominus B_\alpha(z)\Sigma_\alpha(z) H_2^- \right) $，从而提供谱描述。
• 即使在酉等价意义下，可检测子空间也并非总能由M-函数唯一重构，揭示了抽象反问题理论的局限性。
• 在对称情形下，可检测部分可由M-函数唯一重构（至酉等价），表明其具有部分可识别性。
• M-函数在实轴上的跳跃对应于谱投影的秩，且该关系通过解算子结构与边界预解算子的跳跃相联系。