[論文レビュー] 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) 内の1つの関数によって生成される Weyl-Heisenberg フレームがタイトであるための必要十分条件を提供し、それらを明示的に特徴づけている。時間周波数シフトによって正規直交基底を生成する関数の完全分類を確立し、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).

研究の動機と目的

• 1つの関数によって生成される Weyl-Heisenberg 家族が L^2(R) 内でタイトなフレームを形成するための必要十分条件を特定すること。
• 時間周波数シフトによって正規直交基底を形成するすべての関数 g ∈ L^2(R) を明示的に特徴づけること。
• 与えられた WH-フレームの代替双対フレームを、Janssen の表現に依存せずに直接的・構成的に分類することにより、以前は間接的に扱われていた問題を解決すること。
• 調和解析的手法を用いて、時間周波数解析における双対性およびフレーム性質に関する既存の結果を統合・拡張すること。

提案手法

• Weyl-Heisenberg システムの構造を分析するために、フーリエ変換およびザック変換の性質を用いる。
• フレーム理論における双対性の原理を適用し、フレーム作用素と生成関数のグラミアンを関連付ける。
• フレーム作用素が恒等作用素のスカラー倍であるための、生成関数 g のフーリエ変換に関する条件を導出する。
• ポアソン和公式およびザック変換の周期性を用いて、均一なフレーム有界性を有する関数を特徴づける。
• L^2(R) 内の巡回ベクトルおよびスペクトル解析の理論を用いて、時間周波数シフトによって正規直交基底を生成する関数を同定する。
• ガボール解析における双対性の概念を適用し、Janssen の表現に依存せずに代替双対フレームの直接的な公式を導出する。

実験結果

リサーチクエスチョン

• RQ1 g ∈ L^2(R) に対して、その時間周波数シフトがタイトなフレームを形成するための必要十分条件は何か？
• RQ2 どの関数 g ∈ L^2(R) が時間周波数シフトによって正規直交基底を生成するか？
• RQ3 WH-フレームの代替双対フレームの集合を、Janssen の表現を用いずに明示的に分類できるか？
• RQ4 ザック変換は、Weyl-Heisenberg システムにおけるタイト性の特徴づけをどのように支援するか？
• RQ5 g のフーリエ変換は、WH-システムのフレーム有界性およびタイト性を決定づける上で、どのような役割を果たすか？

主な発見

• g ∈ L^2(R) によって生成される Weyl-Heisenberg フレームがタイトであるための必要十分条件は、g のザック変換がトーラス上でほとんど everywhere で定数であることである。
• 時間周波数シフトによって正規直交基底を形成する唯一の関数 g ∈ L^2(R) は、そのフーリエ変換が R^2 内の格子の基本領域の特性関数であるものに限られる。
• WH-フレームのすべての代替双対フレームは、生成関数とそのザック変換から導かれる簡単な公式を用いて明示的に構成可能である。
• タイトな WH-フレームの分類は、スペクトル分解を要せず、Janssen の結果の新たな構成的証明に直接つながる。
• 本稿は、Gabor システムがタイトである関数の完全な特徴づけを確立し、このような関数が帯域制限されており、ザック領域で特定の周期性条件を満たしている必要があることを示している。
• 結果として、時間周波数シフトによって正規直交ガボール基底を生成する唯一の関数は、そのフーリエ変換が時間周波数平面における測度 1 の可測集合の特性関数であるものに限られ、格子による同値関係を除いてはそうである。