[论文解读] The Gabor wave front set

Luigi Rodino, Patrik Wahlberg|arXiv (Cornell University)|Jul 24, 2012

Mathematical Analysis and Transform Methods参考文献 22被引用 4

一句话总结

本文引入了Gabor波前集，一种基于相空间中锥形子集内Gabor系数快速衰减定义的新微局部分析工具。证明了Gabor波前集与Hörmander的全局波前集一致，并建立了其在相空间平移下的不变性以及在零阶符号的Weyl量化下的包含关系，为偏微分方程中的奇点提供了一个时频框架。

ABSTRACT

We define the Gabor wave front set $WF_G(u)$ of a tempered distribution $u$ in terms of rapid decay of its Gabor coefficients in a conic subset of the phase space. We show the inclusion $$WF_G(a^w(x,D) u) \subseteq WF_G(u), u \in \mathscr S'(\mathbb R^d), a \in S_{0,0}^0,$$ where $S_{0,0}^0$ denotes the Hörmander symbol class of order zero and parameter values zero. We compare our definition with other definitions in the literature, namely the classical and the global wave front sets of Hörmander, and the $\cS$-wave front set of Coriasco and Maniccia. In particular, we prove that the Gabor wave front set and the global wave front set of Hörmander coincide.

研究动机与目标

• 基于时频分析定义一种新的微局部奇点集，即Gabor波前集。
• 建立其在相空间平移和调制下的不变性。
• 证明Gabor波前集与Hörmander的全局波前集完全一致。
• 证明具有$ S_{0,0}^0 $类符号的伪微分算子保持Gabor波前集。
• 将Gabor波前集与其他波前集（包括Coriasco与Maniccia的$ \mathscr{S} $-波前集）进行比较。
• 展示在某些情况下，Gabor波前集能捕捉到比经典波前集或$ \mathscr{S} $-波前集更精细的奇点。

提出的方法

• 通过格点$ \Lambda \subset \mathbb{R}^{2d} $上Gabor系数$ c_\lambda = (u, \Pi(\lambda)\varphi) $在锥形邻域$ \Gamma $内的快速衰减来定义Gabor波前集$ WF_G(u) $，其中$ \lambda \in \Lambda \cap \Gamma $。
• 利用短时傅里叶变换（STFT）$ V_\varphi u(x,\xi) = (u, M_\xi T_x \varphi) $，定义Gabor波前集的连续版本。
• 证明Gabor波前集在相空间平移$ \Pi(z)u $下保持不变，即$ WF_G(\Pi(z)u) = WF_G(u) $。
• 通过Gabor系数衰减的估计，建立包含关系$ WF_G(a^w(x,D)u) \subseteq WF_G(u) $，其中$ a \in S_{0,0}^0 $。
• 证明当Gabor系统构成框架时，Gabor波前集与非零施瓦茨窗$ \varphi $的选择无关。
• 通过将格点设置下的衰减条件与连续STFT联系起来，证明$ WF_G(u) = WF_{\text{global}}(u) $，即Hörmander的全局波前集。

实验结果

研究问题

• RQ1 能否基于Gabor框架和短时傅里叶变换内在地定义一个波前集？
• RQ2 Gabor波前集是否与Hörmander的全局波前集一致？
• RQ3 Gabor波前集在相空间平移和调制下是否保持不变？
• RQ4 对于$ a \in S_{0,0}^0 $，Gabor波前集是否满足包含关系$ WF_G(a^w(x,D)u) \subseteq WF_G(u) $？
• RQ5 与Coriasco与Maniccia的$ \mathscr{S} $-波前集相比，Gabor波前集在奇点检测方面有何差异？

主要发现

• Gabor波前集$ WF_G(u) $被定义为满足以下条件的点$ z_0 \in \mathbb{R}^{2d} \setminus \{0\} $的集合：对所有$ N \geq 0 $，有$ \sup_{\lambda \in \Lambda \cap \Gamma} \langle \lambda \rangle^N |c_\lambda| < \infty $，其中$ \Gamma $是$ z_0 $的锥形邻域。
• Gabor波前集在相空间平移下保持不变：对所有$ z \in \mathbb{R}^{2d} $，有$ WF_G(\Pi(z)u) = WF_G(u) $。
• Gabor波前集与Hörmander的全局波前集完全一致：$ WF_G(u) = WF_{\text{global}}(u) $。
• 对于$ a \in S_{0,0}^0 $，包含关系$ WF_G(a^w(x,D)u) \subseteq WF_G(u) $成立，且在最后一节中进一步强化为$ WF_G(a^w(x,D)u) \subseteq WF_G(u) \cap \operatorname{conesupp}(a) $。
• 对于狄拉克函数$ \delta_{x_0} $，有$ WF_G(\delta_{x_0}) = \{0\} \times (\mathbb{R}^d \setminus \{0\}) $，其结果与经典波前集一致，但与$ \mathscr{S} $-波前集不同。
• 对于平面波$ u(x) = e^{i\langle x,\xi_0\rangle} $，有$ WF_G(u) = (\mathbb{R}^d \setminus \{0\}) \times \{0\} $，表明Gabor波前集能检测到经典波前集无法捕捉的振荡奇点。