[論文レビュー] Pseudodifferential operators and weighted normed symbol spaces

Johannes Sjoestrand|ArXiv.org|Apr 10, 2007

Mathematical Analysis and Transform Methods参考文献 29被引用数 6

ひとこと要約

本稿は、位相空間上の重み付きノルム空間を用いて定義された記号を備えた一般化された擬微分作用素のクラスを導入する。調和解析的重みと格子に基づく主要化を用い、有効なカーネル推定と畳み込みに基づく合成則を通じて、$L^2$-有界性とシュレーディンガークラスへの属性を確立する。これは、低正則性記号に関する先行研究を拡張し、バナッハ系列空間とバーグマン変換を用いた統一的枠組みを提供する。

ABSTRACT

In this work we study some general classes of pseudodifferential operators whose symbols are defined in terms of phase space estimates.

研究の動機と目的

• 位相空間上の重み付きノルム空間を用いて定義された記号クラスを導入することで、正則性が制限された擬微分作用素の理論を拡張すること。
• 位置変数と運動量変数に依存する順序関数を用いて、擬微分作用素の $L^2$-有界性と合成計算を一般化すること。
• バナッハ系列空間の構造を記号計算に組み込むことで、モジュレーション空間とガボール解析に関する既存の結果を統一的かつ拡張すること。
• 作用素カーネルの系列空間ノルムを用いた、擬微分作用素のシュレーディンガー $C_p$-クラスへの属性の十分条件を確立すること。
• 格子に基づく主要化と有効なカーネルを用いた、低正則性記号を有する作用素のマイクロローカル解析のための柔軟な枠組みを提供すること。

提案手法

• 位相空間 $E = \mathbb{R}^n \times (\mathbb{R}^n)^*$ 上の順序関数 $m$ と格子 $\Gamma \subset E$ 上のバナッハ系列空間 $B$ を用いて、符号空間 $\widetilde{S}(m, B)$ を定義し、$m$-重み付き $\ell^\infty$-有界性を満たす。
• 有効なカーネル $K^{\rm eff}_{a^w}(x,y)$ を $E \times E$ 上に導入し、点ごとの主要化 $|K^{\rm eff}_{a^w}(x,y)| \lesssim m(\gamma(x,y))$ を満たす。ここで $\gamma(x,y) = \left(\frac{x+y}{2}, J^{-1}(y-x)\right)$ であり、$J$ はシンプレクティック写像である。
• $L^2$-有界性を確立する。有効なカーネルが $L^2(E)$ で有界であれば、$a^w$ は $L^2(\mathbb{R}^n)$ 上で有界であることを示し、これにより先行研究を一般化する。
• ウェイル量子化の合成則を導出する。$a_1 \in \widetilde{S}(m_1, B_1)$、$a_2 \in \widetilde{S}(m_2, B_2)$ ならば、$a_1^w \circ a_2^w = a_3^w$ であり、$a_3 \in \widetilde{S}(m_3, B_3)$ となる。ここで $m_3$ は主要化カーネルの畳み込みにより定義される。
• バーグマン変換とガボールフレーム技術を用いて、記号空間と格子上の系列空間との関係を確立し、離散的畳み込み推定を可能にする。
• シュレーディンガー $C_p$-クラスへの属性を証明する。カーネルに関連する行列 $(a_{\alpha,\beta})$ が $m$-重み付きで $C_p(\ell^2(\Gamma))$ に属するならば、$a^w \in C_p(L^2)$ であり、$\|a\|_{\widetilde{S}(m,B)}$ を用いたノルムの制御が可能である。

実験結果

リサーチクエスチョン

• RQ1 低正則性記号を有する擬微分作用素の計算論を、運動量変数にのみ依存する順序関数を超えてどのように一般化できるか？
• RQ2 重み付き記号空間に属する記号を有する擬微分作用素が $L^2$ で有界であるための条件は何か？
• RQ3 このような作用素の合成が、有効なカーネルと系列空間ノルムの観点からどのように特徴付けられるか？
• RQ4 擬微分作用素がシュレーディンガー $C_p$-クラスに属するための条件は何か？
• RQ5 格子に基づく主要化とバナッハ系列空間は、正則性が制限された擬微分作用素のマイクロローカル解析をどのように精緻化するか？

主な発見

• 局所化記号のフーリエ変換の位相空間 $L^1$-主要化によって定義される記号空間はモジュレーション空間と同値であり、このクラスは点ごとの積とウェイル量子化に関して閉じている。
• $m = m(x^*)$ が運動量にのみ依存する $\widetilde{S}(m, B)$ の記号に対しては、$m$ が $E^*$ 上で可積分であれば、$a^w$ は $L^2$-有界である。これは先行研究を一般化する。
• 合成 $a_1^w \circ a_2^w = a_3^w$ は適切に定義されており、$a_3 \in \widetilde{S}(m_3, B_3)$ である。ただし、$m_3$ は $m_1 * m_2 * \langle \cdot \rangle^{-N}$ の畳み込みが $N > 2n$ で収束する場合に定義される。
• カーネルに関連する行列 $(a_{\alpha,\beta})$ が $m$-重み付きで $C_p(\ell^2(\Gamma))$ に属するならば、$a^w \in C_p(L^2)$ であり、$\|a^w\|_{C_p} \leq C \|a\|_{\widetilde{S}(m,B)}$ が成り立つ。
• $\|(a_{\alpha,\beta})\|_{C_p} \leq C \|(a_{\alpha,\beta})\|_{(m \circ q)B \circ q}$ であるならば、$a^w \in C_p(L^2)$ であり、この性質は格子および重みの変更に対して不変である。
• 有効なカーネル $K^{\rm eff}_{a^w}(x,y)$ は $|K^{\rm eff}_{a^w}(x,y)| \lesssim m(\gamma(x,y))$ を満たし、その $L^2$-有界性が $a^w$ の $L^2$-有界性を示唆する。これはカーネル推定と作用素の性質との間の重要な接続を提供する。