[论文解读] Micro-local analysis in Fourier Lebesgue and modulation spaces. Part I

Stevan Pilipović, Nenad Teofanov+1 more|ArXiv.org|Apr 10, 2008

Mathematical Analysis and Transform Methods参考文献 14被引用 8

一句话总结

本文引入了一种基于加权傅里叶-勒贝格空间的分布的新波前集框架，证明了符号属于 $ S^{(\omega_0)}_{\rho,0} $ 的伪微分算子会将波前集收缩至特征点。关键贡献在于包含关系 $ \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega/\omega_0)}}(\operatorname{Op}(a)f) \subseteq \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega)}}(f) \subseteq \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega/\omega_0)}}(\operatorname{Op}(a)f) \cup \operatorname{Char}(a) $，将经典微局部分析推广至傅里叶-勒贝格空间与调制空间设置。

ABSTRACT

Let $ω,ω_0$ be appropriate weight functions and $q\in [1,\infty ]$. We introduce the wave-front set, $\WF_{\mathscr FL^q_{(ω)}}(f)$ of $f\in \mathscr S'$ with respect to weighted Fourier Lebesgue space $\mathscr FL^q_{(ω)}$. We prove that usual mapping properties for pseudo-differential operators $\op (a)$ with symbols $a$ in $S^{(ω_0)}_{ρ, 0}$ hold for such wave-front sets. Especially we prove \WF_{\mathscr FL^q_{(ω/ω_0)}}(\op (a)f)\subseteq \WF_{\mathscr FL^q_{(ω)}}(f) \subseteq \WF_{\mathscr FL^q_{(ω/ω_0)}}(\op (a)f) tbigcup \Char (a). %% Here $\Char (a)$ is the set of characteristic points of $a$.

研究动机与目标

• 通过引入关于加权傅里叶-勒贝格空间的波前集，将微局部分析从经典的索伯列夫空间与光滑性基波前集推广开来。
• 建立符号属于 $ S^{(\omega_0)}_{\rho,0} $ 的伪微分算子 $ \operatorname{Op}(a) $ 在这些新波前集上的映射性质。
• 证明新框架可推广经典结果，包括波前集的收缩性质及特征点的作用。
• 展示通过傅里叶-勒贝格空间定义的波前集与通过调制空间（包括维纳混合空间）定义的波前集之间的等价性。

提出的方法

• 将 $ f \in \mathscr{S}' $ 的波前集 $ \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega)}}(f) $ 定义为点集 $ (x_0, \xi_0) \in \mathbf{R}^d \times (\mathbf{R}^d \setminus 0) $，使得在 $ x_0 $ 处对 $ f $ 的任意局部化在方向 $ \xi_0 $ 上均不属于加权傅里叶-勒贝格空间 $ \mathscr{F}L^{q}_{(\omega)} $。
• 引入符号类 $ S^{(\omega_0)}_{\rho,0} $，其包含满足 $ a / \omega_0 \in S^0_{\rho,0} $ 的光滑函数 $ a $，从而推广霍尔曼德的类。
• 为任意符号 $ a \in S^{(\omega_0)}_{\rho,0} $ 定义特征集 $ \operatorname{Char}(a) $，不限于拟齐次符号，并证明其捕捉算子非椭圆的点。
• 利用调制空间范数与短时傅里叶变换（STFT）通过 $ M^{\infty}_{(\vartheta_1)} $ 和 $ M^{\infty,1}_{(1/\omega_s)} $ 定义波前集，将其与傅里叶-勒贝格波前集联系起来。
• 证明 $ \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega)}}(f) \subseteq \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega/\omega_0)}}(\operatorname{Op}(a)f) \cup \operatorname{Char}(a) $，表明算子仅能向波前集添加特征点。
• 在适当的权重条件下（包括 $ \omega_{s_3} > t_1 + t_2 + 2d $ 与 $ s_4 > d $）建立傅里叶-勒贝格波前集与调制空间波前集之间的等价性，确保可积性与衰减性。

实验结果

研究问题

• RQ1 如何将波前集从索伯列夫空间与光滑性基正则性推广至包含傅里叶-勒贝格空间？
• RQ2 符号属于 $ S^{(\omega_0)}_{\rho,0} $ 的伪微分算子 $ \operatorname{Op}(a) $ 在通过 $ \mathscr{F}L^q_{(\omega)} $ 定义的波前集上具有何种映射性质？
• RQ3 包含关系 $ \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega/\omega_0)}}(\operatorname{Op}(a)f) \subseteq \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega)}}(f) \subseteq \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega/\omega_0)}}(\operatorname{Op}(a)f) \cup \operatorname{Char}(a) $ 如何推广经典微局部结果？
• RQ4 能否通过调制空间与维纳混合空间等价刻画通过傅里叶-勒贝格空间定义的波前集？
• RQ5 权重 $ \omega, \omega_1, \omega_2, \vartheta_1, \vartheta_2 $ 需满足何种条件，可使 $ \mathscr{F}L^q_{(\omega_1)} $ 与 $ M^{\infty}_{(\vartheta_1)} $ 中的波前集一致？

主要发现

• 波前集 $ \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega)}}(f) $ 对 $ f \in \mathscr{S}' $ 定义，由点 $ (x_0, \xi_0) $ 构成，其中在 $ x_0 $ 处对 $ f $ 的任意局部化在方向 $ \xi_0 $ 上均不属于 $ \mathscr{F}L^{q}_{(\omega)} $，从而推广了经典波前集。
• 对 $ a \in S^{(\omega_0)}_{\rho,0} $，算子 $ \operatorname{Op}(a) $ 满足 $ \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega/\omega_0)}}(\operatorname{Op}(a)f) \subseteq \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega)}}(f) \subseteq \operatorname{WF}_{\mathscr{F}L^{q}_{(\omega/\omega_0)}}(\operatorname{Op}(a)f) \cup \operatorname{Char}(a) $，表明算子仅能向波前集添加特征点。
• 特征集 $ \operatorname{Char}(a) $ 对 $ S^{(\omega_0)}_{\rho,0} $ 中所有符号均有定义，不仅限于拟齐次符号，且当 $ a $ 关于 $ \omega_0 $ 局部椭圆时为空集。
• 对常系数的拟椭圆算子，若 $ \omega_0 $ 的选择使得 $ a $ 关于 $ \omega_0 $ 椭圆，则 $ \operatorname{Char}(a) $ 为空集，表明此类算子保持波前集不变。
• 当 $ q = \infty $ 且 $ \omega = \omega_0 $ 时，$ \operatorname{Op}(a) $ 的参数解 $ E $ 满足 $ \operatorname{WF}_{\mathscr{F}L^{\infty}_{(\omega)}}(E) \subseteq \operatorname{Char}(a) $；若 $ \operatorname{Op}(a) $ 椭圆，则 $ \operatorname{WF}_{\mathscr{F}L^{\infty}_{(\omega)}}(E) $ 为空集，意味着 $ |\mathscr{F}(\varphi E)(\xi)| \leq C \omega(x,\xi)^{-1} $。
• 在条件 $ \vartheta_1 \lesssim \omega_1 $，$ \omega(0,\xi,\zeta,z) \lesssim \omega_1(\xi+\zeta)/\omega_2(\xi) $，$ s_4 > d $，以及 $ s_3 > t_1 + t_2 + 2d $ 下，通过 $ \mathscr{F}L^q_{(\omega)} $ 与 $ M^{\infty}_{(\vartheta_1)} $ 定义的波前集一致，确保了两种框架的等价性。