[论文解读] Construction of Continuous Frames in Hilbert spaces

Asghar Rahimi, Bayaz Daraby+1 more|arXiv (Cornell University)|Jun 29, 2016

Mathematical Analysis and Transform Methods参考文献 6被引用 5

一句话总结

本文通过建立关于测度空间 $(\Omega, \mu)$ 和希尔伯特空间维数的条件，在可分希尔伯特空间中构造连续框架。证明了当 $\mu(\Omega) < \infty$ 且 $\dim\mathcal{H} < \infty$ 时，可通过可测划分上的归一化，将离散的贝塞尔序列转化为连续框架，从而得到显式的框架界。

ABSTRACT

Extending the concept of frame to continuous frame, in this manuscript we will show that under certain conditions on the measure of $Ω$ and the dimension of $\h$ we can construct continuous frames. Also, some examples are given.

研究动机与目标

• 通过测度论构造方法，将离散框架的概念扩展到可分希尔伯特空间中的连续框架。
• 确定测度空间 $\Omega$ 和希尔伯特空间 $\mathcal{H}$ 上连续框架存在的必要与充分条件。
• 证明在测度有限且空间维数有限的约束下，离散贝塞尔序列可被重新解释为连续框架。
• 通过小波和加伯系统作为典型模型，提供连续框架的构造性例子。

提出的方法

• 通过弱可测性及满足 $A\|f\|^2 \leq \int_\Omega |\langle f, F(\omega)\rangle|^2 d\mu(\omega) \leq B\|f\|^2$（对所有 $f \in \mathcal{H}$）的框架界 $A, B > 0$ 来定义连续框架。
• 通过令 $F(\omega) = \frac{1}{\sqrt{\mu(\Omega_k)}} f_k$（当 $\omega \in \Omega_k$ 时），构造 $F: \Omega \to \mathcal{H}$，其中 $\{f_k\}$ 为离散贝塞尔序列。
• 利用 $\Omega$ 的 $\sigma$-有限性及有限测度，确保归一化后贝塞尔性质与框架界得以保持。
• 利用框架算子 $S_F$（定义为 $S_F f = \int_\Omega \langle f, F(\omega)\rangle F(\omega) d\mu(\omega)$）推导重构公式。
• 应用连续小波变换与短时傅里叶变换（STFT）的已知结果，表明小波与加伯系统在特定测度下构成连续框架。
• 通过将积分化为分块集合上的求和，验证构造的 $F$ 满足连续框架不等式，且框架界得以保持。

实验结果

研究问题

• RQ1 在测度空间 $\Omega$ 和希尔伯特空间 $\mathcal{H}$ 满足何种条件下，可将离散贝塞尔序列转化为连续框架？
• RQ2 有限测度 $\mu(\Omega)$ 与 $\mathcal{H}$ 的维数特性如何影响连续框架的存在性？
• RQ3 如小波与加伯框架等标准信号处理系统能否自然地被解释为连续框架？
• RQ4 原始离散序列的框架界与所得连续框架的框架界之间存在何种关系？
• RQ5 如何利用预框架算子与分析算子表征连续框架的有界性与结构特征？

主要发现

• 当 $\mu(\Omega) < \infty$ 且 $\dim\mathcal{H} < \infty$ 时，具有界 $A, B$ 的离散贝塞尔序列 $\{f_k\}$ 可诱导出具有相同界 $A$ 与 $B$ 的连续框架 $F$。
• 所构造的连续框架满足对所有 $f \in \mathcal{H}$ 有 $\int_\Omega |\langle f, F(\omega)\rangle|^2 d\mu(\omega) = \sum_k |\langle f, f_k\rangle|^2$，从而保持框架不等式。
• 当 $\mu(\Omega) < \infty$ 且 $\dim\mathcal{H} = \infty$ 时，仅存在贝塞尔映射，而无法构成完整的连续框架，原因在于缺乏下界。
• 具有容许小波 $\psi$ 的小波系统在测度 $\frac{da\,db}{a^2}$ 下构成 $L^2(\mathbb{R})$ 上的连续紧框架，框架界为 $1/C_\psi$。
• 加伯系统 $\{M_b T_a g\}$ 在 $\mathbb{R}^2$ 上的勒贝格测度下构成 $L^2(\mathbb{R})$ 上的连续框架，框架界为 $\|g\|^2$。
• 框架算子 $S_F$ 有界、正定且可逆，从而可通过公式 $f = \int_\Omega \langle f, F(\omega)\rangle S_F^{-1}F(\omega) d\mu(\omega)$ 重构任意 $f \in \mathcal{H}$。