[論文レビュー] Isomorphism properties of Toeplitz operators and pseudo-differential operators between modulation spaces

Karlheinz Gröchenig, Joachim Toft|ArXiv.org|May 29, 2009

Mathematical Analysis and Transform Methods被引用数 5

ひとこと要約

本稿では、適切な窓関数と重み関数を持つトーペリッツ作用素が、異なる重みを持つモジュレーション空間の間で明示的な同型写像として作用することを確立している。擬微分作用素の計算と記号類のウィーナー代数性を用いて、すべての $ p,q \in [1,\infty] $ に対して、トーペリッツ作用素 $ \operatorname{Tp}_{\varphi}(\omega) $ が $ M^{p,q}_{(\omega_0)} $ を $ M^{p,q}_{(\omega_0/\omega)} $ に同型写像することを証明し、単純な重みを超えたモジュレーション空間の一般化されたリフト性を提供する。

ABSTRACT

We investigate the lifting property of modulation spaces and construct explicit isomorpisms between them. For each weight function $ω$ and suitable window function $\fy $, the Toeplitz operator (or localization operator) $ p_\fy (ω)$ is an isomorphism from $M^{p,q}_{(ω_0)}$ onto $M^{p,q}_{(ω_0/ω)}$ for every $p,q \in [1,\infty ]$ and arbitrary weight function $ω_0$. The methods involve the pseudo-differential calculus of Bony and Chemin and the Wiener algebra property of certain symbol classes of pseudo-differential operators.

研究の動機と目的

• 任意の重みに対するモジュレーション空間の一般化されたリフト性を確立し、既知の $ L^p $-重みやベソフ型滑らかさ重みの結果を拡張すること。
• トーペリッツ作用素を用いて、モジュレーション空間 $ M^{p,q}_{(\omega_0)} $ と $ M^{p,q}_{(\omega_0/\omega)} $ 間の明示的同型写像を構成すること。
• ウェイリ計算とガウス型窓関数を用いて、トーペリッツ作用素の像を特徴付け、シュビン＝ソボレフ空間の構成を一般化すること。
• すべての $ p,q \in [1,\infty] $ および任意の重み関数 $ \omega_0 $ に対して、同型写像性が成り立つことを、ウィーナー代数の枠組みを用いて証明すること。

提案手法

• 著者たちは、固定された窓関数 $ \varphi \in \mathscr{S}(\mathbf{R}^d) \setminus \{0\} $ を用いた短時間フーリエ変換（STFT）を用い、$ V_\varphi f $ の重み付き $ L^p $-可積分性によってモジュレーション空間 $ M^{p,q}_{(\omega)} $ を定義する。
• 彼らはウェイリ擬微分作用素の計算と、特定の記号類のウィーナー代数性を用いて、作用素の有界性と可逆性を分析する。
• 主な構成は、$ \operatorname{Tp}_\varphi(\omega) := \int_{\mathbf{R}^{2d}} \omega(x,\xi) V_\varphi f(x,\xi) \varphi_{x,\xi} \, dx d\xi $ で定義されるトーペリッツ作用素であり、これが重み付きモジュレーション空間の間で同型写像であることが示されている。
• ガウス関数の半群性質とねじれ畳み込みを活用して、ウェイリ記号 $ \omega_0 * \Phi_\lambda $ を、ウィグナー分布に関連する積に分解し、それらをトーペリッツ作用素に結びつける。
• ボーニ・シェムンの計算と、メトリックに基づくソボレフ型ノルム $ H(\omega,g) $ を用いて、記号の正則性を制御し、有界性を保証する。
• 証明の根拠は、$ \omega_0 * \Phi_\lambda \in \mathscr{P}_0(\mathbf{R}^{2d}) $ ならば、対応するウェイリ作用素がトーペリッツ作用素であり、その可逆性がウィーナー代数性から従うという事実に依拠している。

実験結果

リサーチクエスチョン

• RQ1 時間と周波数の両変数に依存する重み関数に対しても、トーペリッツ作用素が異なる重みを持つモジュレーション空間の間で明示的な同型写像として機能するか。
• RQ2 重み関数 $ \omega $ と窓関数 $ \varphi $ にどのような条件を課すと、$ \operatorname{Tp}_\varphi(\omega) $ が $ M^{p,q}_{(\omega_0)} $ から $ M^{p,q}_{(\omega_0/\omega)} $ への同型写像となるか。
• RQ3 ウェイリ計算とウィーナー代数性を用いて、一般の位相空間的重みを持つ擬微分作用素の可逆性をどのように証明できるか。
• RQ4 モジュレーション空間のリフト性が、既知の $ L^p $-重みやフーリエ乗算子のケースを超えてどの程度一般化できるか。
• RQ5 すべての $ p,q \in [1,\infty] $ およびすべての重み関数 $ \omega_0 $ に適用可能な、重み付きモジュレーション空間間の同型写像の一様な構成は存在するか。

主な発見

• すべての $ p,q \in [1,\infty] $ および任意の重み関数 $ \omega_0 $ に対して、$ \omega $ が適切な重みで、$ \varphi $ が固定されたシュワーツ窓関数である限り、トーペリッツ作用素 $ \operatorname{Tp}_\varphi(\omega) $ は $ M^{p,q}_{(\omega_0)} $ から $ M^{p,q}_{(\omega_0/\omega)} $ への同型写像である。
• ガウス型重み $ \omega_s(x,\xi) = (1 + |x|^2 + |\xi|^2)^{s/2} $ の場合、作用素 $ \operatorname{Tp}_\varphi(\omega_s) $ は $ M^{p,q}_{(\langle \xi \rangle^r)} $ と $ M^{p,q}_{(\langle \xi \rangle^{r+s})} $ 間の同型写像を提供する。これは、ベソフ空間におけるラプラシアンに関する既知の結果を一般化する。
• $ \lambda_1 \cdot \lambda_2 < 1 $ ならば、ウェイリ作用素 $ \operatorname{Op}^w(\omega_0 * \Phi_\lambda) $ は、ある $ \nu $ に対してトーペリッツ作用素 $ \mathrm{Tp}_\varphi(\omega_0 * \Phi_\nu) $ に等しく、$ M_{(\omega)}(\mathscr{B}) $ から $ M_{(\omega/\omega_0)}(\mathscr{B}) $ への全単射である。ただし $ \omega_0 * \Phi_\lambda \in \mathscr{P}_0(\mathbf{R}^{2d}) $ である。
• $ \lambda_1 \cdot \lambda_2 = 1 $ ならば、$ \Phi_\lambda $ はウィグナー分布の定数倍であるため、$ \operatorname{Op}^w(\omega_0 * \Phi_\lambda) = \mathrm{Tp}_\varphi(\omega_0) $ は、$ \omega_0 \in \mathscr{P}_0(\mathbf{R}^{2d}) $ ならば、$ M_{(\omega)}(\mathscr{B}) $ から $ M_{(\omega/\omega_0)}(\mathscr{B}) $ への全単射である。
• この構成は、$ \omega_0 * \Phi \lambda $ が定数倍の意味で $ \omega_\Phi $ と等価であるという事実に依拠しており、記号類がウィーナー代数に留まるように保証され、可逆性が得られる。
• この結果は古典的なリフト性を一般化する：$ \omega(x,\xi) = m(x) $ の場合、同型写像は $ m^{-1} $ による乗算である。$ \omega(x,\xi) = \mu(\xi) $ の場合、それはフーリエ乗算子である。一般の $ \omega $ に対しては、トーペリッツ作用素である。