[論文レビュー] Bilinear pseudo-differential operators with exotic symbols

Akihiko Miyachi, Naohito Tomita|arXiv (Cornell University)|Jan 21, 2018

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

ひとこと要約

本稿は、$0\leq\rho<1$ の範囲で、臨界順序 $m = m_{\rho}(p,q)$ における、特異的記号をもつ双線形擬微分作用素が双線形ホルマンダークラス $BS^{m}_{\rho,\rho}$ に属する場合の有界性を確立する。具体的には、$1/p + 1/q = 1/r \leq 1$ の下で $L^p \times L^q$ から $L^r$ への有界性、および $L^\infty \times L^\infty$ から $BMO$ への有界性を示す。主な貢献は、古典的なカルデロン＝ヴァイランコールトの定理が成り立たない双線形理論におけるギャップを埋め、$0 \leq \rho < 1$ の全範囲にわたり臨界順序の有界性を拡張したことにある。

ABSTRACT

The boundedness from $L^p imes L^q$ to $L^r$, $1

研究の動機と目的

• 双線形擬微分作用素が $BS^{m}_{\rho,\rho}$ に属する臨界順序 $m = m_{\rho}(p,q)$ において、$0\leq\rho<1$ の範囲で有界性を確立すること。
• 線形の場合とは異なり、$\sigma \in BS^{0}_{\rho,\rho}$ が有界性を保証しない双線形理論におけるギャップを解消すること。
• $\rho=0$ および $\rho<1/2$ の既知の結果を、臨界順序 $m_{\rho}(p,q)$ について $0\leq\rho<1$ の全範囲に拡張すること。
• $H^1$ と $BMO$ との双対性を用いて、$L^2 \times L^\infty \to L^2$ から $H^p \times H^q \to L^r$ および $L^\infty \times L^\infty \to BMO$ への有界性を、双対性と補間を用いて拡張すること。

提案手法

• 著者らは、双線形ホルマンダークラス $BS^{m}_{\rho,\rho}$ の構造を活かし、記号 $\sigma$ を周波数局所化された部分 $\sigma_j$ に二分するダイアディック分解を用いる。
• 周波数局所化とスケーリングを用いて、作用素ノルムが定数倍の範囲で保たれるように修正記号 $\widetilde{\sigma}_j$ を定義する。
• $m = -(1-\rho)n/2$ の場合の既知の $L^2 \times L^\infty \to L^2$ および $m = -(1-\rho)n$ の場合の $L^\infty \times L^\infty \to BMO$ の推定を用いて、$T_{\sigma_j}$ の有界性を制御する。
• 作用素ノルムを有限個の微分に関する点毎の上界ノルム推定に還元するために、閉グラフ定理を用いる。
• $H^1$ と $BMO$ との双対性を用いて、$L^2 \times L^\infty \to L^2$ から $H^p \times H^q \to L^r$ および $L^\infty \times L^\infty \to BMO$ への有効性を拡張する。
• $1/p + 1/q = 1/r$ を満たすすべての指数 $p,q,r$ の範囲にわたり、補間技法を用いて有界性を拡張する。

実験結果

リサーチクエスチョン

• RQ1 双線形擬微分作用素が $BS^{m}_{\rho,\rho}$ に属する場合、$L^p \times L^q$ から $L^r$ への有界性が成り立つ最小の順序 $m$ は何か、$0\leq\rho<1$ の範囲で。
• RQ2 $\rho=0$ の場合の有界性結果が、臨界順序 $m_{\rho}(p,q)$ において $0<\rho<1$ の全範囲に拡張可能か。
• RQ3 $L^\infty \times L^\infty$ から $BMO$ への有界性は、臨界順序 $m = -(1-\rho)n$ において、すべての $0\leq\rho<1$ で成り立つか。
• RQ4 $\rho<1$ のとき、特異的記号をもつ双線形作用素の振る舞いは、線形の場合とどのように異なるか。
• RQ5 臨界順序 $m_{\rho}(p,q)$ は、有限個の微分に関する鋭い上界ノルム推定によって特徴づけられるか。

主な発見

• すべての $\sigma \in BS^{m}_{\rho,\rho}$ に対して、$m = -(1-\rho)n/2$ の下で $T_\sigma$ が $L^2 \times L^\infty$ から $L^2$ へ有界であることが成立し、この端点ケースの臨界順序が裏付けられる。
• すべての $\sigma \in BS^{m}_{\rho,\rho}$ に対して、$m = -(1-\rho)n$ の下で $T_\sigma$ が $L^\infty \times L^\infty$ から $BMO$ へ有界であることが成立し、$L^\infty \times L^\infty \to BMO$ ケースの臨界順序が確立される。
• $m_{\rho}(p,q) = (1-\rho)m_0(p,q)$ は鋭い：$m < m_{\rho}(p,q)$ ならば、すべての $\sigma \in BS^{m}_{\rho,\rho}$ に対して $T_\sigma$ は $H^p \times H^q$ から $L^r$ へ有界であるが、$m > m_{\rho}(p,q)$ ならば、このような有界性は成立しない。
• 補間を用いて、$1/p + 1/q = 1/r$ を満たすすべての $p,q,r \in (0,\infty]$ にわたり有界性が拡張され、$p=q=r=\infty$ を含むすべてのケースがカバーされる。
• 証明は、記号を周波数局所化された部分に分解し、$L^2 \times L^\infty \to L^2$ および $L^\infty \times L^\infty \to BMO$ に対する既知の有界性結果に還元する双対性の議論に依拠しており、$\|T_{\sigma_j}\|$ の $j$ に関する減衰推定が得られる。