[论文解读] Wiener Amalgam Spaces for the Fundmental Identity of Gabor Analysis

Hans G. Feichtinger, Franz Luef|ArXiv.org|Mar 17, 2005

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

一句话总结

本文利用Wiener混合空间和Feichtinger代数 $ S_0({\mathbb{R}}^d) $ 验证了加博分析基本恒等式（FIGA）的有效性，证明当短时傅里叶变换乘积属于 $ M^1({\mathbb{R}}^{2d}) $ 时，FIGA在调制空间中的函数上成立。主要贡献在于通过编码于Wiener混合空间中的局部可积性条件，对FIGA适用范围进行了精细化表征。

ABSTRACT

In the last decade it has become clear that one of the central themes within Gabor analysis (with respect to general time-frequency lattices) is a duality theory for Gabor frames, including the Wexler-Raz biorthogonality condition, the Ron-Shen's duality principle or Janssen's representation of a Gabor frame operator. All these results are closely connected with the so-called {\it Fundamental Identity of Gabor Analysis}, which we derive from an application of Poisson's summation formula for the symplectic Fourier transform. The new aspect of this presentation is the description of range of the validity of this Fundamental Identity of Gabor Analysis using Wiener amalgam spaces and Feichtinger's algebra $S_0(\R^d)$. Our approach is inspired by Rieffel's use of the Fundamental Identity of Gabor Analysis in the study of operator algebras generated by time-frequency shifts along a lattice, which was later independently rediscovered by Tolmieri/Orr, Janssen, and Daubechies et al., and Feichtinger/Kozek at various levels of generality, in the context of Gabor analysis.

研究动机与目标

• 将加博分析基本恒等式（FIGA）的有效性范围从经典函数空间扩展出去。
• 表征两个短时傅里叶变换乘积属于 $ M^1({\mathbb{R}}^{2d}) $ 的条件，从而使得对辛傅里叶变换可应用泊松求和公式。
• 通过使用Wiener混合空间捕捉局部正则性，统一并推广先前关于加博框架对偶性的结果，如Wexler-Raz条件、Janssen表示和Ron-Shen对偶性。
• 利用 $ S_0({\mathbb{R}}^d) $ 和调制空间建立严格的泛函分析框架，以证明加博框架算子的收敛性和有界性。
• 通过FIGA建立Rieffel的 $ C^* $-代数框架与现代加博分析之间的联系，将Wiener混合空间作为局部行为的自然定义域。

提出的方法

• 对乘积 $ V_{g_1}f_1 \cdot \overline{V_{g_2}f_2} $ 应用辛傅里叶变换的泊松求和公式，该乘积是FIGA的基础。
• 使用Wiener混合空间描述短时傅里叶变换的局部可积性和衰减性质，确保其属于 $ M^1({\mathbb{R}}^{2d}) $。
• 依赖Feichtinger代数 $ S_0({\mathbb{R}}^d) $ 作为泊松求和公式在点态意义下成立的最大时间-频率齐次Banach空间。
• 证明：若 $ f_1, f_2, g_1, g_2 \in M^{p,q}_m({\mathbb{R}}^d) $，则在Wiener混合空间条件下，有 $ V_{g_1}f_1 \cdot \overline{V_{g_2}f_2} \in M^1({\mathbb{R}}^{2d}) $。
• 通过FIGA推导出加博框架算子的Janssen表示，表明其在强算子拓扑下收敛。
• 将Feichtinger和Zimmermann的弱对偶对理论适配至加博系统，将其与Wexler-Raz条件和FIGA联系起来。

实验结果

研究问题

• RQ1 在何种函数空间条件下，加博分析基本恒等式成立？
• RQ2 如何利用Wiener混合空间表征短时傅里叶变换的局部正则性，以实现泊松求和公式的应用？
• RQ3 Feichtinger代数 $ S_0({\mathbb{R}}^d) $ 在确保辛傅里叶变换泊松求和公式点态有效性方面起着何种精确作用？
• RQ4 在调制空间和Wiener混合空间的背景下，Wexler-Raz条件与框架算子的Janssen表示如何与FIGA相关联？
• RQ5 能否通过使用改进的函数空间条件，从单一恒等式（FIGA）统一推导出加博分析中的对偶原理？

主要发现

• 当 $ (g, \gamma) \in M^{p,q}_m \times M^{p',q'}_{1/m}({\mathbb{R}}^d) $ 且乘积 $ V_g f \cdot \overline{V_\gamma f} \in M^1({\mathbb{R}}^{2d}) $ 时，加博分析基本恒等式对所有 $ f \in M^1({\mathbb{R}}^d) $ 成立，而该乘积属于 $ M^1({\mathbb{R}}^{2d}) $ 的条件由Wiener混合空间成员身份所保证。
• 当 $ V_\gamma g \in \ell^1(\Lambda^0) $ 时，加博框架算子 $ S_{g,\gamma,\Lambda} = |\Lambda|^{-1} \sum_{\lambda^0 \in \Lambda^0} V_\gamma g(\lambda^0) \pi(\lambda^0) $ 的Janssen表示有效且在强算子拓扑下无条件收敛，而该条件由Wiener混合框架所蕴含。
• 关于对偶格 $ \Lambda^0 $ 的Wexler-Raz条件等价于对 $ (g, \gamma) $ 的弱对偶性，且该等价性在新的函数空间条件下依然保持。
• 本文确立了 $ S_0({\mathbb{R}}^d) $ 是泊松求和公式在点态意义下成立的最大时间-频率齐次Banach空间，使其成为FIGA的自然定义域。
• FIGA作为辛傅里叶变换和泊松求和公式的推论被推导出来，将Rieffel 1988 年的结果推广至调制空间和Wiener混合空间。
• 该框架统一并扩展了Tolimieri/Orr、Janssen、Daubechies等人以及Ron/Shen的先前结果，为加博分析中的对偶性提供了统一的、基于函数空间理论的基础。