[论文解读] Classifying Tight Weyl-Heisenberg Frames

Peter G. Casazza, Ole Christensen|ArXiv.org|Dec 30, 1998

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

一句话总结

本文提供了在 L^2(R) 中由单个函数生成的 Weyl-Heisenberg frame 为紧框架的必要且充分条件，明确刻画了所有此类函数。它建立了通过时间-频率平移生成或thonormal 基的函数的完整分类，并推导出 WH-框架的替代对偶框架的直接分类——此前该结果仅通过 Janssen 的间接方法获得。

ABSTRACT

A Weyl-Heisenberg frame for L^2(R) is a frame consisting of translates and modulates of a fixed function. In this paper we give necessary and sufficient conditions for this family to form a tight WH-frame. This allows us to write down explicitly all functions g for which all translates and modulates of g form an orthonormal basis for L^2(R). There are a number of consequences of this classification, including a simple direct classification of the alternate dual frames to a WH-frame (A result originally due to Janssen).

研究动机与目标

• 确定由单个函数生成的 Weyl-Heisenberg 系统在 L^2(R) 中形成紧框架的必要且充分条件。
• 显式刻画所有满足其时间-频率平移构成正交基的函数 g ∈ L^2(R)。
• 提供给定 WH-框架的替代对偶框架的直接、构造性分类，解决了此前仅通过 Janssen 间接处理的问题。
• 利用调和分析技术统一并扩展时间-频率分析中关于对偶性和框架性质的现有结果。

提出的方法

• 利用傅里叶变换和 Zak 变换的性质，分析 Weyl-Heisenberg 系统的结构。
• 应用框架理论中的对偶性原理，将框架算子与生成函数的格朗姆矩阵联系起来。
• 推导出生成函数 g 的傅里叶变换需满足的条件，使得框架算子为恒等算子的标量倍。
• 运用泊松求和公式及 Zak 变换的周期性性质，刻画具有均匀框架范数的函数。
• 利用 L^2(R) 中循环向量与谱分析的理论，识别其时间-频率平移生成正交基的函数。
• 在 Gabor 分析中应用对偶性概念，推导出不依赖于 Janssen 表示的替代对偶框架的直接公式。

实验结果

研究问题

• RQ1 函数 g ∈ L^2(R) 需满足何种必要且充分条件，使其时间-频率平移构成紧框架？
• RQ2 哪些函数 g ∈ L^2(R) 在时间-频率平移下生成正交基？
• RQ3 是否可以不使用 Janssen 表示，显式分类 WH-框架的替代对偶框架集合？
• RQ4 Zak 变换如何促进对 Weyl-Heisenberg 系统紧性的刻画？
• RQ5 g 的傅里叶变换在确定 WH-系统框架范数与紧性方面起什么作用？

主要发现

• 由 g ∈ L^2(R) 生成的 Weyl-Heisenberg 框架是紧的，当且仅当 g 的 Zak 变换在环面上几乎处处为常数。
• 使得 g 的时间-频率平移构成正交基的唯一函数 g ∈ L^2(R)，是其傅里叶变换为 R^2 中某个格点基本域的特征函数的那些函数。
• 所有 WH-框架的替代对偶框架均可通过仅依赖于生成函数及其 Zak 变换的简单公式显式构造。
• 紧 WH-框架的分类直接导出 Janssen 关于替代对偶的结论的新构造性证明，无需依赖谱分解。
• 本文建立了 Gabor 系统为紧框架的完整刻画，表明此类函数必须是带限的，并且在 Zak 域中满足特定周期性条件。
• 结果表明，通过时间-频率平移生成正交 Gabor 基的唯一函数，是其傅里叶变换为时间-频率平面中测度为一的可测集的特征函数（模格等价）的那些函数。