[论文解读] An open problem concerning operator representations of frames

Ole Christensen, Marzieh Hasannasab|arXiv (Cornell University)|May 1, 2017

Mathematical Analysis and Transform Methods参考文献 7被引用 3

一句话总结

本文研究了在 $L^2(\mathbb{R})$ 中，过完备的 Gabor 构架及其他过完备构架是否可以表示为 $\{T^k\varphi\}_{k=0}^\infty$ 的形式，其中 $T$ 为有界线性算子且 $\varphi \in L^2(\mathbb{R})$。研究发现，若构架元素按同一或正交基的连续元素分组排序，则此类表示不可能实现，原因在于算子 $T$ 的满射性约束；同时提出了一个开放性问题：过完备 Gabor 构架是否存在此类表示。

ABSTRACT

Recent research has shown that the properties of overcomplete Gabor frames and frames arising from shift-invariant systems form a precise match with certain conditions that are necessary for a frame in $L^2(\mathbf R)$ to have a representation $\{T^k φ\}_{k=0}^\infty$ for some bounded linear operator $T$ on $L^2(\mathbf R)$ and some $φ\in L^2(\mathbf R).$ However, for frames of this type the existence of such a representation has only been confirmed in the case of Riesz bases. This leads to several open questions connecting dynamical sampling, coherent states, frame theory, and operator theory. The key questions can either be considered in the general functional analytic context of operators on a Hilbert space, or in the specific situation of Gabor frames in $L^2(\mathbf R).$

研究动机与目标

• 确定 $L^2(\mathbb{R})$ 中的过完备 Gabor 构架是否可以表示为 $\{T^k\varphi\}_{k=0}^\infty$ 的形式，其中 $T$ 为有界线性算子且 $\varphi \in L^2(\mathbb{R})$。
• 研究在何种条件下，可分希尔伯特空间中的构架可表示为 $\{T^k\varphi\}_{k=0}^\infty$，其中 $T$ 为有界算子。
• 探讨构架元素排序在该类算子表示存在性中的作用，特别比较 $\mathbb{N}_0$ 与 $\mathbb{Z}$ 索引方式的差异。
• 考察允许此类表示的构架的结构性约束，尤其关注合成算子的核与构架过剩之间的关系。
• 通过将迭代算子与构架表示联系起来，识别动力采样、相干态及算子理论中的开放性问题。

提出的方法

• 通过合成算子 $U$ 及其核 $N_U$ 分析构架表示 $\{T^k\varphi\}_{k=0}^\infty$，并将构架过剩与 $\dim(N_U)$ 关联。
• 应用有界算子 $T$ 通过 $\{T^k\varphi\}_{k=0}^\infty$ 生成构架的条件：$T$ 必须是满射，这是由 $T$ 的像必须张成希尔伯特空间的要求推导而来。
• 将构架分解为两个或正交基 $\{e_k\}$ 和 $\{\varepsilon_k\}$，并定义指标集 $I_1, I_2, I_3, I_4$ 以分类构架序列中基元素之间的转换。
• 使用反证法证明：若 $I_2 = \emptyset$ 或 $I_4 = \emptyset$，则 $T$ 不可能是有界的，因为其将不满足满射性。
• 比较 $\mathbb{N}_0$ 索引情形与 $\mathbb{Z}$ 索引情形，指出虽然 $\mathbb{Z}$ 索引允许某些构架排序（如交替基）存在有界表示，但 $\mathbb{N}_0$ 索引情形则不成立。
• 考虑规范对偶构架与框架算子 $S = UU^*$，以分析构架性质及其与算子表示的关系。

实验结果

研究问题

• RQ1 能否在 $L^2(\mathbb{R})$ 中，将过完备 Gabor 构架表示为 $\{T^k\varphi\}_{k=0}^\infty$ 的形式，其中 $T$ 为有界线性算子且 $\varphi \in L^2(\mathbb{R})$？
• RQ2 构架元素排序的何种结构性条件会阻止存在有界算子 $T$，使得 $\{T^k\varphi\}_{k=0}^\infty$ 生成该构架？
• RQ3 $\mathbb{N}_0$ 索引与 $\mathbb{Z}$ 索引是否显著影响此类算子表示的可能性，特别是对平移不变或 Gabor 构架而言？
• RQ4 是否存在对可分希尔伯特空间中构架的一般刻画，使其可表示为 $\{T^k\varphi\}_{k=0}^\infty$ 的形式，且 $T$ 为有界算子？
• RQ5 当两个或正交基的并集按同一基的连续元素排序时，是否仍可实现此类表示？若不能，原因是什么？

主要发现

• 若构架 $\{f_k\}_{k=1}^\infty$ 由两个或正交基 $\{e_k\}$ 和 $\{\varepsilon_k\}$ 的并集构成，且构架元素排序使得 $I_2 = \emptyset$ 或 $I_4 = \emptyset$（其中 $I_2$ 和 $I_4$ 分别表示连续元素属于同一或正交基的指标），则无法用有界算子 $T$ 将其表示为 $\{T^k\varphi\}_{k=0}^\infty$ 的形式。
• 此类表示存在的前提是算子 $T$ 必须是满射；若 $I_2 = \emptyset$ 且 $I_4 = \emptyset$，则 $T$ 的像将包含于某个真闭子空间中，与满射性矛盾。
• 在 $\mathbb{Z}$ 索引情形下，即使对两个或正交基交替排序，此类表示仍可能实现，如例 2.4 所示，凸显了 $\mathbb{N}_0$ 与 $\mathbb{Z}$ 索引之间的关键差异。
• 结果表明，有界算子表示的存在性在很大程度上取决于构架元素的排序方式，且某些排序（如将同基元素分组）与此类表示不相容。
• 本文建立：仅当构架在所有方向上具有“无限过剩”（由合成算子的核形式化表达）时，才可能实现此类表示，且过完备构架（如 Gabor 系统）可能满足这些条件。
• 开放性问题仍未解决：尚不清楚满足此类表示必要条件的过完备 Gabor 构架，是否实际上能实现 $\{T^k\varphi\}_{k=0}^\infty$ 的有界 $T$ 表示。