[论文解读] On inverses of Krein's Q-functions

Claudio Cacciapuoti, Davide Fermi+1 more|arXiv (Cornell University)|Sep 13, 2018

Spectral Theory in Mathematical Physics参考文献 20被引用 5

一句话总结

本文证明，对于通过 Kreïn 型预解式公式并利用 $ \mathscr{Q} $-函数 $ Q_z $ 定义的自伴算子 $ A_Q $，集合 $ Z_Q $——即 $ Q_z $ 和 $ Q_{\bar{z}} $ 有界可逆的点集——恰好等于预解集 $ \rho(A_0) \cap \rho(A_Q) $，前提是 $ Z_Q \neq \emptyset $。证明基于第一个预解式恒等式的代数运算，将先前结果扩展至普通边界三元组或一致严格 Nevanlinna 函数框架之外的范围。

ABSTRACT

Let $A_{Q}$ be the self-adjoint operator defined by the $Q$-function $Q:z\mapsto Q_{z}$ through the Krein-like resolvent formula $$(-A_{Q}+z)^{-1}= (-A_{0}+z)^{-1}+G_{z}WQ_{z}^{-1}VG_{\bar z}^{*}\,,\quad z\in Z_{Q}\,,$$ where $V$ and $W$ are bounded operators and $$Z_{Q}:=\{z\inρ(A_{0}): ext{$Q_{z}$ and $Q_{\bar z }$ have a bounded inverse}\}\,.$$ We show that $$Z_{Q} ot=\emptyset\quad\Longrightarrow\quad Z_{Q}=ρ(A_{0})\cap ρ(A_{Q})\,.$$ We do not suppose that $Q$ is represented in terms of a uniformly strict, operator-valued Nevanlinna function (equivalently, we do not assume that $Q$ is associated to an ordinary boundary triplet), thus our result extends previously known ones. The proof relies on simple algebraic computations stemming from the first resolvent identity.

研究动机与目标

• 解决一个开放问题：即通过 Kreïn 预解式公式定义的自伴扩张 $ A_Q $，其定义域 $ Z_Q $——其中 $ \mathscr{Q} $-函数 $ Q_z $ 有界可逆——是否恒等于全预解集 $ \rho(A_0) \cap \rho(A_Q) $，假设 $ Z_Q \neq \emptyset $。
• 将关于 $ \mathscr{Q} $-函数的已知结果扩展至经典普通边界三元组框架之外，其中不再假设 $ Q_z $ 为一致严格 Nevanlinna 函数。
• 在最小假设下建立预解式公式对所有 $ z \in \rho(A_0) \cap \rho(A_Q) $ 的有效性，无需假设 $ \text{ran}(\tau) = \mathsf{K} $ 或 $ V = \pi $，$ W = \pi^* $。
• 提供一个自包含的、仅基于第一个预解式恒等式的代数证明，避免依赖高级泛函分析或边界三元组理论。

提出的方法

• 利用第一个预解式恒等式，将预解式 $ R^0_z = (-A_0 + z)^{-1} $ 与 $ R^Q_z = (-A_Q + z)^{-1} $ 关联起来，推导出 $ R^Q_z - R^0_z $ 关于 $ G_z, W, Q_z^{-1}, V, G_{\bar{z}}^* $ 的表达式。
• 引入一个辅助算子 $ \widehat{\Lambda}_z^Q $，其通过 $ Q_w^{-1} $ 和预解式差定义，证明其对所有 $ z \in \rho(A_0) \cap \rho(A_Q) $ 恰好等于 $ Q_z^{-1} $。
• 利用预解式差公式和预解式恒等式推导出关键恒等式，包括 $ R^Q_z - R^0_z = (1 + (w-z)R^0_z)G_w W \Lambda_w V G_{\bar{w}}^* (1 + (w-z)R^Q_z) $。
• 证明 $ \widehat{\Lambda}_z^Q Q_z = 1_{\mathsf{Y}} $ 且 $ Q_z \widehat{\Lambda}_z^Q = 1_{\mathsf{X}} $，从而得出 $ \widehat{\Lambda}_z^Q = Q_z^{-1} $，因此 $ Q_z $ 可逆当且仅当 $ z \in \rho(A_0) \cap \rho(A_Q) $。
• 该论证避免了对 $ \tau $ 的满射性或 $ V, W $ 为投影算子的假设，仅依赖于预解式公式的代数结构以及 $ Q_z $ 在 $ Z_Q $ 上的可逆性。
• 结果独立于完整的边界三元组框架，因此适用于缺陷指标无限或非普通边界三元组的情形。

实验结果

研究问题

• RQ1 当 $ Z_Q \neq \emptyset $ 时，集合 $ Z_Q $（即 $ Q_z $ 和 $ Q_{\bar{z}} $ 有界可逆的点集）是否恒等于 $ \rho(A_0) \cap \rho(A_Q) $？
• RQ2 是否可以将 $ A_Q $ 的预解式公式扩展至所有 $ z \in \rho(A_0) \cap \rho(A_Q) $，而无需假设 $ Q_z $ 为一致严格 Nevanlinna 函数？
• RQ3 当 $ \text{ran}(\tau) \neq \mathsf{K} $ 时，$ Q_z $ 的可逆性是否仍等价于 $ z $ 同时属于 $ \rho(A_0) $ 和 $ \rho(A_Q) $？
• RQ4 该等价性的证明能否在不借助边界三元组理论或额外泛函分析假设的前提下完成？

主要发现

• 本文证明，若 $ Z_Q \neq \emptyset $，则 $ Z_Q = \rho(A_0) \cap \rho(A_Q) $，表明 $ Q_z $ 的可逆性定义域恰好是 $ A_0 $ 与 $ A_Q $ 的公共预解集。
• $ \mathscr{Q} $-函数 $ Q_z $ 的逆由 $ \widehat{\Lambda}_z^Q $ 显式给出，且该表达式与辅助点 $ w \in Z_Q $ 无关。
• 预解式公式 $ (-A_Q + z)^{-1} = (-A_0 + z)^{-1} + G_z W Q_z^{-1} V G_{\bar{z}}^* $ 对所有 $ z \in \rho(A_0) \cap \rho(A_Q) $ 成立，而不仅限于 $ Z_Q $。
• 证明仅依赖于第一个预解式恒等式和代数恒等变形，无需假设 $ Q_z $ 为 Nevanlinna 函数或 $ \tau $ 为满射。
• 即使 $ V \neq \pi $，$ W \neq \pi^* $，或 $ \text{ran}(\tau) \neq \mathsf{K} $，该结果依然成立，从而推广了边界三元组理论中的先前结果。
• 通过代数方法推导出关键恒等式 $ (w-z)^{-2}(\widehat{\Lambda}_z^Q Q_z - 1) = 0 $，确认 $ \widehat{\Lambda}_z^Q $ 是 $ Q_z $ 的双侧逆。