[論文レビュー] 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)} $ に属さない点の集合として定義する。
• 平滑関数 $ a $ で、$ a / \omega_0 \in S^0_{\rho,0} $ を満たすような記号クラス $ S^{(\omega_0)}_{\rho,0} $ を導入し、ホルマンダーのクラスを一般化する。
• 多項式同次的記号に制限されない任意の記号 $ 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 $ における $ f $ の局所化が方向 $ \xi_0 $ で $ \mathscr{F}L^{q}_{(\omega)} $ に属さない点 $ (x_0, \xi_0) $ から成り、古典的波フロント集合を一般化する。
• 記号 $ 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 $ の下で、フーリエ・レベーグ空間による波フロント集合とモジュレーション空間による波フロント集合は一致し、両者の枠組みが同値であることが保証される。