[论文解读] On the spectral Theory of Operator Measures

M. M. Malamud, Семен Маркович Маламуд|ArXiv.org|Jun 21, 2002

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

一句话总结

本文为希尔伯特空间上的非正交算子测度建立了谱理论，通过直接积分分解对 $ L_2(\Sigma, H) $ 空间给出了内在刻画，并通过子空间与向量链确立了赫林格谱型。关键贡献在于构造了赫林格链，并为弱有界变差的算子测度建立了类似若尔当分解的结构，将经典结果推广至非正交情形。

ABSTRACT

In the first section we provide a solution to the M. G. Krein problem about an inner description of the space $L_2(Σ,H).$ In the second section we introduce the multiplicity function for an operator measure. Making use of the description of the space $L_2(Σ,H)$ we establish the correctness of the definition and give a criterion for a spectral measure to be a dilation of a given operator measure. In the third section we prove that the set of principal vectors of an operator measure is an everywhere dense $G_δ.$ This implies, in particular, that there are a lot of principal vectors in any cyclic subspace of a selfadjoint operator. In the 4th section we introduce Hellinger spectral types for an arbitrary operator measure and prove the existence of subspaces, realizing them. In the 5-th section we give an answer to an old question of Paulsen and provide an analytic description of completely bounded operator measures. The results of this section belong to the second author.

研究动机与目标

• 为希尔伯特空间 $ L_2(\Sigma, H) $ 提供内在描述，回应 M. G. 克雷因提出的问题。
• 为非正交算子测度发展赫林格谱型理论，推广正交测度中的概念。
• 建立实现特定赫林格谱型的子空间的存在性，包括最大谱型的向量。
• 证明算子测度的若尔当代数分解定理，将弱有界变差的测度刻画为两个正测度之差。
• 将贝雷谢茨基-盖尔范德-科斯秋琴科（BGK）定理推广至非正交测度，并为有限维情形提供简化证明。

提出的方法

• 利用 BGK 定理证明：对任意 $ T ∈ \mathfrak{S}_2(H) $ 且核平凡，算子测度 $ \Sigma_T(\Delta) = T^*\Sigma(\Delta)T $ 几乎处处拥有密度 $ \Psi(t) = d\Sigma_T/d\rho \in \mathfrak{S}_1(H) $。
• 定义希尔伯特空间 $ \widetilde{\mathfrak{H}}_t $ 为 $ \mathcal{D}(T^{-1}) $ 关于半范数 $ \|h\|_{\widetilde{\mathfrak{H}}_t} = \|\Psi(t)^{1/2}T^{-1}h\| $ 的完备化，令 $ \mathfrak{H}_t $ 为商空间。
• 证明 $ L_2(\Sigma, H) $ 同构于直接积分 $ \int_{\mathbb{R}}^\oplus \mathfrak{H}_t \, d\rho(t) $，且满足范数恒等式 $ \|f\|^2_{L_2} = \int_\mathbb{R} \|\Psi(t)^{1/2}T^{-1}f(t)\|^2 d\rho(t) $。
• 定义多重性函数 $ N_\Sigma(t) = \sup_n \text{rank}(\Psi_n(t)) $，其中 $ \Psi_n(t) $ 为 Radon-Nikodym 导数的 $ n \times n $ 矩阵。
• 引入赫林格子空间 $ H_k $ 作为嵌套子空间，使第 $ k $ 个谱型得以实现，并通过 $ \det \Psi_k(t) $ 的非零性刻画其性质。
• 通过证明 $ \Sigma = \Sigma_1 - \Sigma_2 $ 当且仅当对所有 $ T \in \mathfrak{S}_2(H) $，有 $ \sup_\pi \sum_i \|T^*\Sigma(\Delta_i)T\|_1 < \infty $，建立弱有界变差算子测度的若尔当代数分解。

实验结果

研究问题

• RQ1 如何在不依赖向量值函数表示的前提下，对空间 $ L_2(\Sigma, H) $ 进行内在刻画？
• RQ2 非正交算子测度的赫林格谱型结构是怎样的？它们如何通过子空间实现？
• RQ3 在何种条件下，弱有界变差的算子测度可分解为两个正算子测度之差？
• RQ4 自伴算子的谱型如何与循环子空间结构及其关联算子测度相关联？
• RQ5 BGK 定理在构造 $ L_2(\Sigma, H) $ 的直接积分表示中起什么作用？其在非正交测度情形下如何推广？

主要发现

• 空间 $ L_2(\Sigma, H) $ 同构于直接积分 $ \int_{\mathbb{R}}^\oplus \mathfrak{H}_t \, d\rho(t) $，且满足范数恒等式 $ \|f\|^2_{L_2} = \int_\mathbb{R} \|\Psi(t)^{1/2}T^{-1}f(t)\|^2 d\rho(t) $，从而提供了该空间的内在刻画。
• 循环子空间 $ L $ 中最大谱型向量的集合是一个 $ G_\delta $ 稠密集，且属于第二范畴，表明最大谱型向量具有典型性。
• 对任意 $ h \in \Omega_\Sigma $，存在赫林格链 $ \{\lambda h\} = H_1 \subset H_2 \subset \cdots \subset H_m $，满足 $ \dim H_k = k $，且 $ \Gamma_k(P_L\Sigma|_L) = \Gamma_k(\Sigma) $。
• 链 $ H_1 \subset \cdots \subset H_m $ 为赫林格链当且仅当 $ \Gamma_k(\Sigma) = \{ t : \det \Psi_k(t) \neq 0 \} \mod \Sigma $，将谱型与密度矩阵子式的非零性联系起来。
• 多重性函数 $ N_\Sigma(t) $ 与 $ H $ 中正交基的选择无关，且 $ m(\Sigma) = \esssup N_\Sigma(t) \mod \rho $。
• 弱有界变差的算子测度-测度 $ \Sigma $ 允许若尔当代数分解 $ \Sigma = \Sigma_1 - \Sigma_2 $，其中 $ \Sigma_i \geq 0 $，当且仅当对所有 $ T \in \mathfrak{S}_2(H) $，有 $ \sup_\pi \sum_i \|T^*\Sigma(\Delta_i)T\|_1 < \infty $，从而将经典若尔当代数分解推广至算子值测度。