[論文レビュー] Pseudodifferential operators of infinite order in spaces of tempered ultradistributions

Bojan Prangoski|arXiv (Cornell University)|Mar 25, 2013

advanced mathematical theories参考文献 6被引用数 9

ひとこと要約

本稿では、Beurling型およびRoumieu型の緩やかな超局所分布に連続的に作用する無限型擬微分作用素のグローバルな記号クラスを構築する。変換量の変更、作用素の合成、転置作用素の漸近展開を含む記号計算の枠組みを確立し、この超局所分布設定におけるAnti-Wick作用素とWeyl作用素の研究のための基盤を構築する。

ABSTRACT

Specific global symbol classes and corresponding pseudodifferential operators of infinite order that act continuously on the space of tempered ultradistributions of Beurling and Roumieu type are constructed. For these classes, symbolic calculus is developed.

研究の動機と目的

• 緩やかな超局所分布のBeurling型およびRoumieu型に適した、無限型擬微分作用素のグローバル記号クラスを構築すること。
• これらの作用素のための記号計算の枠組みを確立すること。これには、合成、量の変更、および転置作用素の漸近展開が含まれる。
• Anti-Wick作用素およびWeyl作用素の解析を可能にする、緩やかな超局所分布という関数的設定を提供すること。記号重みを丁寧に構築することで実現する。
• 既存の有限型記号クラスを無限型設定に一般化し、作用素作用の連続性および擬連続性を保持すること。
• 緩やかな超局所分布空間における核定理を証明し、双対性および連続性解析を支援すること。

提案手法

• 条件 (M.1), (M.2), (M.3) を満たす列 $M_p$ から導かれる重みを用いて、$\Gamma_{A_p,B_p,\rho}^{*,\infty}(\mathbb{R}^{2d})$ という記号クラスを導入し、適切な成長制御を保証する。
• $\tau$-量化を用いて記号から擬微分作用素 $\mathrm{Op}_\tau(a)$ を定義し、$u$ が試験関数空間に属する場合に $(a,u) \mapsto \mathrm{Op}_\tau(a)u$ の擬連続性を証明する。
• 形式的級数 $\sum_j a_j$ を用いた記号の漸近展開を構築し、$FS_{A_p,B_p,\rho}^{*,\infty}$ 内での剰余項の推定を用いて、記号空間内での収束を保証する。
• 積 $\partial^\alpha_\xi a \cdot \partial^\alpha_x b$ の微分 $D^\gamma_\xi D^\delta_x$ に対して、$A_p$, $B_p$, および関連関数 $M(\rho)$ を用いた評価を適用する。
• 緩やかな超局所分布の核定理を用いて、連続線形汎関数を特徴づけ、作用素作用の連続性を支援する。
• 成長を制御し、記号展開の正則性を保証するために、$r_p \in \mathfrak{R}$ に対し $N_p = M_p \prod_{j=1}^p r_j$ という主要化列を用いた主要化法を適用する。

実験結果

リサーチクエスチョン

• RQ1 緩やかな超局所分布のBeurling型およびRoumieu型に連続的に作用する無限型擬微分作用素のグローバル記号クラスをどのように構築できるか。
• RQ2 このような作用素に対して、合成および量の変更を含む記号計算の枠組みをどのように開発できるか。
• RQ3 この設定において、転置作用素の記号の漸近展開をどのように特徴づけられるか。
• RQ4 連続性および作用素作用の正則性を保証するために、重み $A_p$, $B_p$, およびパrameter $\rho$ が果たす役割は何か。
• RQ5 この理論は、緩やかな超局所分布の枠組み内で、Anti-Wick作用素およびWeyl作用素の解析を支援できるか。

主な発見

• $\Gamma_{A_p,B_p,\rho}^{*,\infty}(\mathbb{R}^{2d})$ の記号クラスは適切に定義されており、合成や量の変更を含む記号計算の操作に関して閉じている。
• $a, b \in \Gamma_{A_p,B_p,\rho}^{*,\infty}(\mathbb{R}^{2d})$ に対して、合成 $a(x,D)b(x,D)$ は $c(x,D) + T$ に等しく、ここで $c$ は漸近展開 $c(x,\xi) \sim \sum_{j=0}^\infty \sum_{s+k+l=j} \sum_{|\alpha|=l} \frac{1}{\alpha!} \partial^\alpha_\xi a_s(x,\xi) D^\alpha_x b_k(x,\xi)$ を持ち、$T$ は *-正則化作用素である。
• すべての $N$ および $|\alpha| < N$ に対して、$Q_{Bm_N}^c$ 上で $\sum_{j=0}^{N-1} \sum_{|\alpha|=j} \frac{1}{\alpha!} \partial^\alpha_\xi a D^\alpha_x b \sim \sum_{j=0}^{N-1} \sum_{s+k+l=j} \sum_{|\alpha|=l} \frac{1}{\alpha!} \partial^\alpha_\xi a_s D^\alpha_x b_k$ が一様に成り立つ。
• 漸近展開の剰余項の微分は、$c_0^4 \tilde{C}^2 (4hH)^{| one|+| one|+2N} A_\gamma B_\delta A_N B_N e^{M(mH|\xi|)} e^{M(mH|x|)} / \langle(x,\xi)\rangle^{\rho|\gamma| + \rho|\delta| + 2N\rho}$ に比例する一様有界な量で抑えられる。
• $(a,u) \mapsto \mathrm{Op}_\tau(a)u$ の擬連続性が、$u$ が試験関数空間に属する場合に確立され、超局所分布上での作用素作用の連続性が保証される。
• 緩やかな超局所分布空間に対して核定理が証明され、連続線形汎関数が核表現によって特徴づけられ、双対性および連続性の枠組みを支援する。