[论文解读] Hyperbolic secants yield Gabor frames

A. J. E. M. Janssen, Thomas Strohmer|ArXiv.org|Jan 13, 2003

Image Processing Techniques and Applications被引用 4

一句话总结

该论文通过利用雅可比θ函数将双曲正割窗 $ g_{2,u}(t) = \left(\frac{\pi\gamma}{2}\right)^{1/2} \text{sech}(\pi\gamma t) $ 的Zak变换与高斯窗的Zak变换关联起来，并应用Ron-Shen准则，证明了当 $ a>0, b>0, ab<1 $ 时，该窗能生成Gabor框架。关键结果表明，在临界密度 $ a=b=1 $ 处，双曲正割窗与高斯窗的紧致Gabor框架生成窗完全相同，揭示了框架算子对单峰窗的强大平滑效应。

ABSTRACT

We show that $(g_2,a,b)$ is a Gabor frame when $a&gt;0, b&gt;0, ab&lt;1$ and $g_2(t)=({1/2}πγ)^{1/2} (\cosh πγt)^{-1}$ is a hyperbolic secant with scaling parameter $γ&gt;0$. This is accomplished by expressing the Zak transform of $g_2$ in terms of the Zak transform of the Gaussian $g_1(t)=(2γ)^{1/4} \exp (-πγt^2)$, together with an appropriate use of the Ron-Shen criterion for being a Gabor frame. As a side result it follows that the windows, generating tight Gabor frames, that are canonically associated to $g_2$ and $g_1$ are the same at critical density $a=b=1$. Also, we display the ``singular'' dual function corresponding to the hyperbolic secant at critical density.

研究动机与目标

• 证明双曲正割窗 $ g_{2,\nu} $ 在 $ ab < 1 $ 条件下可生成Gabor框架。
• 利用θ函数将双曲正割窗的Zak变换与高斯窗的Zak变换关联起来。
• 证明在临界密度 $ a = b = 1 $ 处，双曲正割窗与高斯窗的紧致Gabor框架生成窗完全相同。
• 尽管系统在临界密度下并非框架，仍计算双曲正割窗的规范对偶窗。

提出的方法

• 将双曲正割窗 $ g_{2,\nu} $ 的Zak变换表示为高斯窗 $ g_{1,\nu} $ 的Zak变换的比值，其中涉及 $ \vartheta_4 $ θ函数的乘积并进行缩放。
• 应用Ron-Shen在时域的Gabor框架准则，要求算子 $ \frac{1}{b} M_g(t) M_g^*(t) $ 有正的上下界。
• 利用已知事实：高斯窗 $ g_{1,\nu} $ 在 $ ab < 1 $ 时可生成Gabor框架，并通过变换关系将框架性质传递至 $ g_{2,\nu} $。
• 运用复分析及雅可比θ函数的性质，推导Zak变换比值的显式分解。
• 通过Zak变换的正式逆运算，在临界密度 $ a = b = 1 $ 处计算双曲正割窗的规范对偶窗，尽管此时系统并非框架。
• 证明紧致框架生成窗 $ g^t $（定义为 $ Zg / |Zg| $ 的积分）在 $ g_{1,\nu} $ 与 $ g_{2,\nu} $ 之间完全相同，这是由于二者Zak变换之比为正，从而说明了框架算子对单峰窗的强平滑效应。

实验结果

研究问题

• RQ1 双曲正割窗 $ g_{2,\nu}(t) = \left(\frac{\pi\gamma}{2}\right)^{1/2} \text{sech}(\pi\gamma t) $ 在 $ ab < 1 $ 条件下是否能生成Gabor框架？
• RQ2 能否利用θ函数将双曲正割窗的Zak变换表示为高斯窗Zak变换的形式？
• RQ3 在临界密度 $ a = b = 1 $ 处，双曲正割窗与高斯窗的紧致Gabor框架生成窗是否完全相同？
• RQ4 在系统并非框架的前提下，双曲正割窗在临界密度下的规范对偶窗形式为何？

主要发现

• 对所有 $ a>0, b>0, ab<1 $，三元组 $ (g_{2,\nu}, a, b) $ 构成一个Gabor框架，其中 $ g_{2,\nu}(t) = \left(\frac{\pi\gamma}{2}\right)^{1/2} \text{sech}(\pi\gamma t) $。
• 双曲正割窗的Zak变换满足 $ (Zg_{2,\nu})(t,\nu) = \frac{E (Zg_{1,\nu})(t,\nu)}{\vartheta_4(\pi\nu; e^{-\pi\gamma}) \vartheta_4(\pi t; e^{-\pi/\gamma})} $，其中 $ E $ 为正常数。
• 在临界密度 $ a = b = 1 $ 处，双曲正割窗与高斯窗的紧致Gabor框架生成窗完全相同：$ g^t_{1,\nu} = g^t_{2,\nu} $。
• 双曲正割窗在 $ a = b = 1 $ 处的规范对偶窗为 $ g^d_{2,\nu}(t) = \int_0^1 \frac{d\nu}{(Zg_{2,\nu})^*(t,\nu)} $，其有界但不属于 $ L^p(\mathbb{R}) $（对所有 $ 1 \leq p < \infty $）。
• 紧致窗 $ g^t_{\nu} $ 随 $ \gamma $ 从 $ 0 $ 变化至 $ \infty $ 时，介于sinc函数与Haar窗之间：$ \lim_{\gamma \downarrow 0} g^t_{\nu} = \text{sinc}(\pi \cdot) $，且 $ \lim_{\gamma \to \infty} g^t_{\nu} = \chi_{(-1/2,1/2)} $。
• 比值 $ Zg_{1,\nu} / Zg_{2,\nu} $ 处处为正，这解释了为何紧致窗完全相同，体现了框架算子对单峰窗的显著平滑效应。