[論文レビュー] Boundedness of multilinear pseudo-differential operators of $S_{0,0}$-type in $L^2$-based amalgam spaces

Tomoya Kato, Akihiko Miyachi+1 more|arXiv (Cornell University)|Aug 30, 2019

Advanced Harmonic Analysis Research参考文献 20被引用数 5

ひとこと要約

本稿は、$S_{0,0}$-型の多重線形擬微分作用素が$L^2$-に基づくアンビグラム空間において有界であることを確立し、以前の結果を拡張する。具体的には、$W$に関する適切な重み条件の下で、一般化された$S_{0,0}^W$類に属する記号を持つ作用素が、$(L^2, \ell^{q_1}) \times \cdots \times (L^2, \ell^{q_N})$ から $(L^2, \ell^r)$ への有界性を示す。主な貢献は、記号の減衰と可積分性パラメータに関して、作用素ノルムの鋭い乗数型推定式を確立することにある。

ABSTRACT

We consider the multilinear pseudo-differential operators with symbols in a generalized $S_{0,0}$-type class and prove the boundedness of the operators from $(L^2,\ell^{q_1}) imes \dots imes (L^2,\ell^{q_N})$ to $(L^2,\ell^{r})$, where $(L^2, \ell^{q})$ denotes the $L^2$-based amalgam space. This extends the previous result by the same authors, which treated the bilinear pseudo-differential operators and gave the $L^2 imes L^2 $ to $(L^2, \ell^{1})$ boundedness.

研究の動機と目的

• 多重線形擬微分作用素の有界性理論を、古典的な$L^p$-に基づくルベーグ空間から$L^2$-に基づくアンビグラム空間へ拡張すること。
• Kato, Miyachi, and Tomita (2017) の2重線形結果を、$L^2 \times L^2$ から $(L^2, \ell^1)$ への拡張を、一般の$L^2$-に基づくアンビグラム空間への多重線形の場合へ一般化すること。
• 作用素ノルムが一般化された$S_{0,0}^W$類における記号ノルムによって制御されるような、記号の重み関数$W$に関する鋭い条件を確立すること。
• このような作用素の有界性に関する、鋭い正則性および可積分性の閾値を特定すること。

提案手法

• 著者らは、$(\mathbb{R}^n)^N$ 上の重み関数$W$を用いて、一般化された記号類$S_{0,0}^W(\mathbb{R}^n, N)$ を定義し、古典的な$S_{0,0}^{\langle m\rangle}$類を一般化する。
• 周波数局在化を、dyadic Littlewood-Paley分解を用いて行い、$\psi_k$および$\varphi$を滑らかで、径数的で、compactly な台を持つ関数として定義し、作用素と関数を分解する。
• 証明は、$\ell^2$-に基づく周波数分解と、局在化された周波数成分への作用素作用の$L^2$-ノルム推定に依存する。
• 鍵となる技術は、周波数スケール$2^a$に局在化された周波数支持を持つテスト記号$\sigma_a$およびテスト関数$f_{j,a}$の構成であり、これによりノルムの鋭い比較が可能になる。
• 著者らは、実数値の径数関数の畳み込みが原点で点ごとの正値性を示す性質を用いて、作用素出力の$L^r$-ノルムの下界を導出する。
• 正則性および可積分性条件の鋭さは、$a \to \infty$ におけるスケーリングと漸近的挙動を用いた背理法により証明される。

実験結果

リサーチクエスチョン

• RQ1 多重線形擬微分作用素$T_\sigma$が、$(L^2, \ell^{q_1}) \times \cdots \times (L^2, \ell^{q_N})$ から $(L^2, \ell^r)$ への有界性を示すために、記号$\sigma$に必要な正則性および可積分性条件は何か？
• RQ2 $L^2$-に基づくアンビグラム空間における2重線形作用素の有界性結果を、一般の$q_j$および$r$を用いた$N$重線形の場合へ拡張できるか？
• RQ3 各入力因子空間における正則性指数$s_j$について、$s_j \geq n/2 - n/q_j$ が作用素ノルム推定式において鋭いか？
• RQ4 作用素ノルムの上界に関して、総正則性条件$\sum_{j=1}^N s_j \geq \sum_{j=1}^N (n/2 - n/q_j) + n/r$ は鋭いか？

主な発見

• 記号が$S_{0,0}^W(\mathbb{R}^n, N)$ に属し、$W$に適切な重み条件が満たされる場合、$T_\sigma$ が$(L^2, \ell^{q_1}) \times \cdots \times (L^2, \ell^{q_N})$ から $(L^2, \ell^r)$ への有界性を示す。これは、以前の2重線形結果を一般化する。
• 各入力因子に対して、正則性指数$s_j$は$s_j \geq n/2 - n/q_j$ を満たす必要があり、周波数局在化テスト関数を用いたスケーリング議論により、これが鋭いことが示される。
• 総正則性要件$\sum_{j=1}^N s_j \geq \sum_{j=1}^N (n/2 - n/q_j) + n/r$ も鋭く、等号が成立するのは、記号ノルムと出力ノルムが周波数局在化パrameter $a$ に対して同じ割合でスケーリングする場合に限る。
• 証明により、導出された条件下で、作用素ノルムが$\|T_\sigma\|_{L^{q_1} \times \cdots \times L^{q_N} \to L^r} \lesssim \|\sigma\|_{S^{\langle m\rangle}_{0,0}(s_0, s_1, \dots, s_N, t; \mathbb{R}^n, N)}$ を満たすことが示される。
• 鋭さの結果は、作用素出力ノルムが記号ノルムと同じ割合で増加するような明示的なテスト記号および関数の構成により得られ、これにより、より弱い条件では有界性推定式が破綻することを示している。
• 本結果は、Calderón-Vaillancourtの定理および[20]と[17]の2重線形結果を、アンビグラム空間をターゲットとする多重線形設定へ拡張し、記号の減衰と可積分性を統一的に扱うフレームワークを提供する。