[论文解读] Invariance theorems for Nevanlinna families

Vladimir Derkach, Seppo Hassi+1 more|arXiv (Cornell University)|Mar 18, 2015

Spectral Theory in Mathematical Physics参考文献 25被引用 3

一句话总结

该论文建立了希尔伯特空间中算子值赫尔格洛茨-内瓦林纳函数点谱与连续谱的不变性定理，证明了诸如虚部中零的存在性或实特征值等谱性质在上半平面内保持不变。结果基于哈纳克不等式与最大值原理，将经典谱不变性从标量情形推广至算子值情形。

ABSTRACT

A complex function $f(z)$ is called a Herglotz-Nevanlinna function if it is holomorphic in the upper half-plane ${\mathbb C}_+$ and maps ${\mathbb C}_+$ into itself. By a maximum principle a Herglotz-Nevanlinna function which takes a real value $a$ in a single point $z_0\in {\mathbb C}_+$ should be identically equal to $a$. In the present note we prove similar invariance results both for the point and the continuous spectra of an operator-valued Herglotz-Nevanlinna function with values in the set of bounded or unbounded linear operators (or relations) in a Hilbert space. The proof of this invariance result for continuous spectrum is based on Harnack's inequality. This inequality is systematically used to characterize operator-valued Herglotz-Nevanlinna functions with form-domain invariance property for their imaginary parts or Herglotz-Nevanlinna functions with values in the Schatten-von Neumann classes.

研究动机与目标

• 建立希尔伯特空间中算子值赫尔格洛茨-内瓦林纳函数的点谱与连续谱的不变性定理。
• 利用哈纳克不等式表征虚部与形式定义域性质的谱不变性。
• 将经典最大值原理结果从标量情形推广至算子值赫尔格洛茨-内瓦林纳函数。
• 通过在 $ z = i $ 处的单点条件，提供子类 $ R^s[\fh] $ 与 $ R^u[\fh] $ 的谱表征。
• 将谱不变性与对称算子理论中的几何结构与边界三元组联系起来。

提出的方法

• 谱不变性对连续谱的证明依赖于对算子值函数虚部应用哈纳克不等式。
• 作者利用含算子值测度的赫尔格洛茨-内瓦林纳函数的积分表示来分析谱行为。
• 关键技术包括最大值原理与非负核理论，用于分析虚部的核与像。
• 研究采用二次型及其闭包，以在形式定义域不变的意义下定义算子值函数的虚部。
• 框架中引入了Schatten-von Neumann类，以表征虚部为迹类的函数。
• 通过边界三元组与Weyl函数实现，从几何角度解释谱不变性。

实验结果

研究问题

• RQ1 赫尔格洛茨-内瓦林纳函数虚部的点谱中零的存在性是否在上半平面内保持不变？
• RQ2 算子值赫尔格洛茨-内瓦林纳函数虚部的连续谱是否在上半平面内解析延拓下保持不变？
• RQ3 函数 $ F(z) $ 的谱不变性性质在多大程度上依赖于其虚部的形式定义域？
• RQ4 如何通过在 $ z = i $ 处的单点条件表征子类 $ R^s[\fh] $ 与 $ R^u[\fh] $？
• RQ5 哈纳克不等式在证明算子值Nevanlinna族连续谱不变性中起什么作用？

主要发现

• 虚部的点谱在 $ \bbC_+ $ 内保持不变：$ 0 \notin \rho(\text{Im}\thinspace F(z_0)) $ 当且仅当对所有 $ z \neq \bbR $ 有 $ 0 \notin \rho(\text{Im}\thinspace F(z)) $。
• 虚部的连续谱保持不变：若 $ 0 \notin \rho(\text{Im}\thinspace F(z_0)) $，则对所有 $ z \neq \bbR $ 有 $ 0 \notin \rho(\text{Im}\thinspace F(z)) $。
• $ F(z) $ 的实谱保持不变：$ a \notin \rho(F(z_0)) $ 当且仅当对所有 $ z \neq \bbR $ 有 $ a \notin \rho(F(z)) $。
• 类 $ R^s[\fh] $ 由 $ \text{ker}\thinspace \text{Im}\thinspace F(i) = \{0\} $ 表征，类 $ R^u[\fh] $ 由 $ 0 \notin \rho(\text{Im}\thinspace F(i)) $ 表征。
• 对于 $ G_\f(z) $，其虚部的连续谱包含 $ [0, \f) $，且对所有 $ z \neq \bbR $ 有 $ 0 \notin \rho(G_\f(z)) $。
• 在紧致预解算子情形下，$ s_j((G_\f(z))^{-1}) = O(j^{-2}) $，表明其具有迹类行为。