[论文解读] Dilations on locally Hilbert spaces

Dumitru Gaşpar, Păstorel Gaşpar+1 more|arXiv (Cornell University)|Apr 29, 2015

Spectral Theory in Mathematical Physics被引用 2

一句话总结

本文通过引入局部正定核并证明算子值函数的一般扩张定理，将Sz.-Nagy的扩张定理推广至局部希尔伯特空间。主要贡献在于建立了局部收缩算子、局部ρ-收缩算子以及局部半谱测度的最小扩张结果，证明这些算子在更大的局部希尔伯特空间框架下可实现酉或等距扩张。

ABSTRACT

The principal theorem of Sz.-Nagy on dilation of a positive definite Hilbert space operator valued function has played a central role in the development of the non-self-adjoint operator theory. In this paper we introduce the positive definiteness for locally Hilbert space operator valued kernels, we prove an analogue of the Sz.-Nagy dilation theorem and, as application, we obtain dilation results for locally contractions and locally $ ho$ - contractions as well as for locally semi-spectral measures.

研究动机与目标

• 将Sz.-Nagy的扩张定理从希尔伯特空间推广至局部希尔伯特空间的框架下。
• 定义并研究局部正定算子值核，作为非自伴算子理论中扩张理论的基础。
• 在局部希尔伯特空间框架下，建立局部收缩算子、局部ρ-收缩算子以及局部半谱测度的扩张结果。
• 将经典结果如Neumark定理和Bram准则推广至局部希尔伯特空间框架。
• 通过再生核希尔伯特空间方法，为局部希尔伯特空间上的∗-半群表示提供最小扩张构造。

提出的方法

• 在∗-半群S上引入取值于局部希尔伯特空间H上有界算子代数的局部正定核（LPDK）概念。
• 利用类Bochner构造方法，基于有限支撑H-值函数的预希尔伯特空间，构造与LPDK Γϕ(s,t) = ϕ(t*s)相关联的再生核局部希尔伯特空间（RKLHS）KΓϕ。
• 定义嵌入J: H → K为在单位元e处集中取值的H-值函数的包含映射，并通过左平移定义K上的表示π(s)：π(s)∑Γϕ_s h_s = ∑Γϕ_{s t} h_t。
• 在局部有界性条件（LBC）下，证明对所有s ∈ S，有ϕ(s) = J*π(s)J，从而确保扩张的良定性与连续性。
• 将一般扩张定理应用于具体情形：通过Neumark定理处理局部半谱测度，通过T(n) = T^n（n ≥ 0）处理局部收缩算子，通过缩放函数处理ρ-收缩算子。
• 利用LC∗-代数的逆极限结构及其关联的C∗-半范数校准，确保在归纳极限中保持有界性与连续性。

实验结果

研究问题

• RQ1 Sz.-Nagy的扩张定理能否推广至局部希尔伯特空间及局部C∗-代数的框架？
• RQ2 在局部希尔伯特空间上，何种条件可保证局部收缩算子或局部ρ-收缩算子存在最小酉扩张？
• RQ3 如何定义并利用局部正定核，以构造用于扩张理论的再生核希尔伯特空间？
• RQ4 在σ-代数上，何种条件下局部半谱测度可扩张为更大局部希尔伯特空间上的投影值测度？
• RQ5 局部有界性条件（LBC）在确保扩张的存在性与最小性方面起何作用？

主要发现

• 建立了普遍扩张定理：任意定义在∗-半群S上的局部正定核，均在更大的局部希尔伯特空间K上存在最小酉扩张，且满足ϕ(s) = J*π(s)J。
• 对于H上的局部收缩算子T（即I − T*T ≥ 0），存在在更大局部希尔伯特空间K上的最小局部酉扩张U，使得对所有n ∈ Z⁺，有T^n = J*U^nJ。
• 对于满足‖p(Tλ)‖_λ ≤ sup_{|z|≤1} |ρp(z) + (1−ρ)p(0)|的局部ρ-收缩算子（对所有多项式p），由定理5.2可知存在ρ-扩张，且满足T^n = ρJ*U^nJ。
• Neumark定理被推广：任意取值于L(H)的测度E(ω)满足0 ≤ E(ω) ≤ I_H，可扩张为更大局部希尔伯特空间K上的投影值测度F(ω)，且满足F(ω) = J*E(ω)J。
• 在局部希尔伯特空间上，子正规算子存在正规扩张的条件，其刻画方式与希尔伯特空间情形类似，通过Bram准则实现。
• 条件(ρLPD)与(ρLBC)是L(H)-值函数ψ在∗-半群S上存在ρ-扩张的充要条件，扩张通过将ψ缩放以满足定理5.1的假设而构造。