[论文解读] Reproducing pairs of measurable functions and partial inner product spaces

Jean-Pierre Antoine, Camillo Trapanı|arXiv (Cornell University)|Apr 1, 2017

Advanced Banach Space Theory被引用 16

一句话总结

本文通过引入取值于部分内积空间（pip-空间）的可测函数的再生对，推广了连续框架，将框架理论扩展至更广泛的函数空间，如希尔伯特尺度和Lp空间。关键贡献在于，即使分析算子不在L2空间中，也通过pip-空间的结构保持对偶性和有界性，证明此类对能生成关于L2内积共轭的对偶希尔伯特空间。

ABSTRACT

We continue the analysis of reproducing pairs of weakly measurable functions, which generalize continuous frames. More precisely, we examine the case where the defining measurable functions take their values in a partial inner product space (PIP spaces). Several examples, both discrete and continuous, are presented.

研究动机与目标

• 通过在部分内积空间（pip-空间）中引入弱可测函数的再生对，推广连续框架，克服标准L2框架理论的局限性。
• 针对分析算子不映射到L2(X, dµ)的情况，通过将它们嵌入到如带权希尔伯特空间和希尔伯特尺度等pip-空间中来处理。
• 在L2内积下，建立Vψ(X, µ)与Vφ(X, µ)作为共轭希尔伯特空间的对偶框架，即使函数不在L2中也成立。
• 利用pip-空间的格结构，为离散与连续情形（包括Lp空间和希尔伯特尺度）提供统一框架。
• 将框架理论中的对偶性和重构算子概念推广至取值于pip-空间的函数，保持有界性和可逆性等关键性质。

提出的方法

• 通过有界半双线性形式Ωψ,φ(f, g) = ∫X ⟨f|ψx⟩⟨φx|g⟩ dµ(x)，定义再生对(ψ, φ)，其中Sψ,φ ∈ GL(H)。
• 将空间Vφ(X, µ)定义为所有可测ξ的集合，使得∫X ξ(x)⟨φx|g⟩ dµ(x)构成H上的有界共轭线性泛函，并通过里斯表示定理导出其范数。
• 构造商空间Vφ(X, µ) = Vφ(X, µ)/Ker Tφ，并赋予希尔伯特范数∥[ξ]φ∥φ = sup‖g‖≤1 |∫X ξ(x)⟨φx|g⟩ dµ(x)|。
• 在Vφ(X, µ)上赋予内积⟨[ξ]φ|[η]φ⟩(φ) = ⟨Tφξ|Tφη⟩，证明其与范数∥·∥φ一致，从而使其成为预希尔伯特空间。
• 利用pip-空间的格结构（如希尔伯特尺度、Lp空间）通过代表性映射Apq : Vq → Vp定义算子与对偶性。
• 将理论应用于带权希尔伯特空间和Lp空间，证明在适当拓扑下Sψ,φ保持有界且可逆，从而保持对偶性。

实验结果

研究问题

• RQ1 如何将连续框架理论推广至分析算子不映射到L2(X, dµ)的情形？
• RQ2 当ψ和φ取值于pip-空间时，何种条件可确保Vψ(X, µ)与Vφ(X, µ)在L2内积下构成对偶对？
• RQ3 再生对的概念能否推广至取值于希尔伯特尺度或Lp空间的函数？需要何种结构性质？
• RQ4 pip-空间的代数与拓扑性质（如对偶性、Mackey拓扑、格结构）如何支持有界且可逆的重构算子的构造？
• RQ5 当ψ和φ不在L2中时，算子Sψ,φ在保持对偶性方面起什么作用？其与广义框架界的关系如何？

主要发现

• pip-空间中的再生对(ψ, φ)生成两个希尔伯特空间Vψ(X, µ)与Vφ(X, µ)，它们关于L2内积⟨ξ|η⟩µ = ∫X ξ(x)η(x) dµ(x)互为共轭对偶。
• Vφ(X, µ)上的范数∥[ξ]φ∥φ为希尔伯特范数，由内积⟨[ξ]φ|[η]φ⟩(φ) = ⟨Tφξ|Tφη⟩导出，确保完备性。
• 当ψ = φ时，理论退化为连续框架，且Vψ(X, µ)成为L2(X, dµ)的闭子空间，从而恢复标准框架情形。
• 在带权希尔伯特空间中，形式ΩDψ,φ(f, g) = ∫X ⟨f, ψx⟩⟨φx, g⟩ dµ(x)在D × D上联合连续，且Sψ,φ将D映入D×，保持有界性。
• 对于由自伴算子A > I生成的希尔伯特尺度，空间Hn = D(An)在包含关系下构成格，Hn与H−n互为共轭对偶，内积可延拓至D∞(A)上的部分内积。
• 在[0,1]上定义的Lp空间中，格I = {Lp, 1 < p < ∞}构成链，Lq与Lq互为对偶（1/q + 1/q = 1），理论可通过代表性映射Apq : Vq → Vp实现，且嵌入连续。