[论文解读] Redundant Representation of Operators

Péter Balázs, Georg Rieckh|arXiv (Cornell University)|Dec 19, 2016

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

一句话总结

本文建立了使用冗余框架表示算子时的可逆性与复合保持性的条件，将伽辽金离散化从正交基推广至冗余框架。关键贡献在于证明：当且仅当中间框架为瑞斯基时，算子复合对应于矩阵乘法，从而在数值分析与信号处理应用中确保了稳定且一致的离散化。

ABSTRACT

To be able to solve operator equations numerically a discretization of those operators is necessary. In the Galerkin approach bases are used to achieve discretized versions of operators. In a more general set-up, frames can be used to sample the involved signal spaces and therefore those operators. Here we look at the redundant representation of operators resulting from a matrix representation using frames. We focus on injectivity, surjectivity and, in particular, invertibility of the involved operators and matrices. Furthermore we show sufficient conditions that the composition of matrices correspond to the composition of operators.

研究动机与目标

• 将算子的伽辽金离散化从正交基推广至冗余框架，以支持更灵活的数值格式。
• 研究使用框架表示算子的矩阵时，保持可逆性等关键算子性质的条件。
• 建立算子矩阵复合对应于底层算子复合的充分条件。
• 为基于框架的算子离散化中的可逆性与复合行为提供严格证明，扩展了此前缺乏证明的结果。

提出的方法

• 使用框架理论与算子理论工具，包括分析与合成算子 $C_\Psi$ 和 $D_\Psi$，通过矩阵表示算子。
• 通过 $\mathcal{O}^{(\Phi,\Psi)}(M) = D_\Phi M C_\Psi$ 定义算子离散化，将矩阵映射为希尔伯特空间之间的有界算子。
• 应用 Moore-Penrose 广义逆 $O^\dagger$ 分析算子及其矩阵表示的可逆性。
• 引入格拉姆矩阵 $G_{\Psi,\Phi} = C_\Psi D_\Phi$ 以表征框架性质与对偶框架关系。
• 使用投影算子 $\Pi_{\text{ran}(C_\Xi)} = C_\Xi D_{\tilde{\Xi}}$ 处理由非可逆框架算子引起的复合问题。
• 证明在涉及框架算子的值域与零空间的条件下，算子复合与矩阵乘法等价。

实验结果

研究问题

• RQ1 使用框架表示算子的矩阵时，在何种条件下保持可逆性？
• RQ2 何时两个算子矩阵的复合对应于底层算子的复合？
• RQ3 框架的选择（如瑞斯基与一般框架）如何影响基于矩阵的算子复合的有效性？
• RQ4 对偶框架在确保算子矩阵表示与复合的一致性中起什么作用？
• RQ5 能否通过具有特定框架性质的基于框架的离散化来稳定有限截断法？

主要发现

• 通过框架表示的算子复合对应于矩阵乘法，当且仅当中间框架是瑞斯基基。
• 若中间框架 $\Xi$ 是瑞斯基基，则 $C_\Xi D_{\tilde{\Xi}} = \text{id}_{\ell^2}$，确保复合关系的精确对应。
• 复合保持的充分条件为：(a) $M^{(2)}(\text{ran}(C_\Psi)) \subseteq \text{ran}(C_\Xi)$，或 (b) $(\text{ker}(D_\Phi M^{(1)}))^\perp \subseteq \text{ran}(C_\Xi)$。
• 规范对偶框架 $\tilde{\Psi} = S^{-1}\Psi$ 确保了框架展开的无条件收敛性，并支持稳定重构。
• 对于框架乘子（对角矩阵），算子的可逆性等价于对角元素远离零的有界性。
• 框架算子 $S_\Psi = C_\Psi^* C_\Psi$ 是正定且可逆的，满足 bounds $A I_\mathcal{H} \leq S_\Psi \leq B I_\mathcal{H}$，确保了框架的稳定性。