[論文レビュー] The continuous nonstationary Gabor transform on LCA groups with applications to representations of the affine Weyl-Heisenberg group

Michael Speckbacher, Péter Balázs|arXiv (Cornell University)|Jul 25, 2014

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

ひとこと要約

本稿は、局所コンpaktoアーベル（LCA）群上の連続フレームの一般化として、再現対を導入し、連続非定常ガボール変換の統一的枠組みを可能にする。このようなシステムが連続フレームまたは再現対を形成するための条件を確立し、フレーム／分解作用素をフーリエ乗算子として同定する。また、すべてのシステムが恒等分解作用素を持つ双対を備えるとは限らないことの反例を提示する——具体的には、$L^2(\mathbb{R})$ におけるアフィン・ワイル＝ハイゼンベルク群のユニタリ軌道は、そのような双対対を支持しない。

ABSTRACT

In this paper we introduce and investigate the concept of reproducing pairs which generalizes continuous frames. We will introduce a concept that represents a unifying way to look at certain continuous frames (resp. reproducing pairs) on LCA groups, which can be described as continuous nonstationary Gabor systems and investigate conditions for these systems to form a continuous frame (resp. reproducing pair). As a byproduct we identify the structure of the frame operator (resp. resolution operator). Moreover, we ask the question, whether there always exist mutually dual systems with the same structure such that the resolution operator is given by the identity, i.e. given $A:X ightarrow B(\mathcal{H})$, if there exist $ψ,φ\in\mathcal{H}$, s.t. \begin{equation*} f=\int_X \langle f,A(x)ψ angle A(x)φdμ(x),\ \ \forall f\in \mathcal{H} \end{equation*} and show that the answer is not affirmative. As a counterexample we use a system generated by a unitary action of a subset of the affine Weyl-Heisenberg group in $L^2(\mathbb{R})$.

研究の動機と目的

• LCA群上のシステムに対して再現対の概念を用いて連続フレームを一般化すること。
• 連続非定常ガボールシステムが連続フレームまたは再現対を形成するための条件を調査すること。
• 与えられたシステム構造に対して、分解作用素が恒等作用素となるような双対システムが存在するかを同定すること。
• フレーム／分解作用素の構造をフーリエ乗算子の観点から分析すること。
• すべてのシステムが恒等分解作用素を持つ双対を備えないことを示す反例を提供すること。

提案手法

• 再現対の概念を導入・形式化し、単一のフレーム写像の代わりに解析と合成のための2つの写像のペアを用いることで、連続フレームの一般化を実現する。
• LCA群上のフーリエ解析を適用し、フレーム／分解作用素がフーリエ乗算子であるための十分条件を導出する。
• フーリエ変換を用いて連続非定常ガボール変換を畳み込みとして書き直し、双対性および乗算子理論の適用を可能にする。
• 生成関数のフーリエ変換から導かれる記号 $m_{\Psi,\Phi}(\xi)$ を持つ積分作用素として、フレーム作用素 $C_{\Psi,\Phi}$ を定義する。
• $L^2(\mathbb{R})$ におけるアフィン・ワイル＝ハイゼンベルク群の部分集合のユニタリ作用に基づく具体的な例を構築し、恒等分解を持つ双対システムの存在を検証する。
• リーマンの微分定理および測度論的議論を用いて、分解記号が恒等的に1でなければならない場合、そのような双対システムが存在しないことを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意のLCA群上における連続非定常ガボールシステムは、分解作用素が恒等作用素となるような双対システムを常に備えるか？
• RQ2 与えられたLCA群上でのシステム構造に対して、再現対が存在する条件は何か？
• RQ3 連続非定常ガボールシステムのフレーム作用素は常にフーリエ乗算子として表現可能か？
• RQ4 解析と合成の写像を、分解作用素が可逆でかつ特定の形（例えば $\lambda I$）をとるように選べるか？
• RQ5 再現対の構造的制限、特にベッセル系列およびフレーム定数との関係において、どのような制限があるか？

主な発見

• アフィン・ワイル＝ハイゼンベルク群によって生成される $L^2(\mathbb{R})$ 上の連続非定常ガボールシステムには、分解作用素が恒等作用素にならないものがある。これは、同じ構造の双対システムが存在しても同様である。
• 再現対の分解作用素 $C_{\Psi,\Phi}$ は、生成関数のフーリエ変換から明示的に計算可能な記号 $m_{\Psi,\Phi}(\xi)$ を持つフーリエ乗算子として特徴づけられる。
• 反例としてのシステムでは、記号 $m_{\Psi,\Phi}(\xi)$ は有界かつ連続であるが、恒等的に1にはならない。なぜなら、これにより $\hat{\psi}(\xi)\hat{\varphi}(\xi)$ が $[-1,1]$ 上 almost everywhere に恒等的に0になることが要求され、これは $m_{\Psi,\Phi}(\xi) = 1$ である必要があるという条件に矛盾するからである。
• 解析作用素 $V_\Psi$ の軌道は、$L^2(\mathbb{R})$ のある $f$ を $L^2(\mathbb{R}^2, \mu)$ の外の関数に写すことがある。これは、$V_\Psi f$ が常に平方可積分でないことを示している。
• 再現対の両方の成分がベッセル系列である必要はない。例えば、$\Psi$ と $\Phi$ のフーリエ記号がともに有界でないが、それらの組み合わせ記号 $m_{\Psi,\Phi}$ は有界のままであるような例が存在する。
• フレーム作用素 $C_{\Psi,\Phi}$ が可逆であるのは、記号 $m_{\Psi,\Phi}(\xi)$ が almost everywhere で0から離れているときであり、これは分解が可逆であるための必要十分条件である。