[论文解读] Bilinear pseudo-differential operators with exotic symbols

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

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

一句话总结

本文在临界阶数 $m = m_{\rho}(p,q)$ 处建立了具有奇异符号的双线性伪微分算子在双线性 Hörmander 类 $BS^{m}_{\rho,\rho}$ 中的有界性，其中 $0\leq\rho<1$，证明了从 $L^p \times L^q$ 到 $L^r$ 的有界性，满足 $1/p + 1/q = 1/r \leq 1$，以及从 $L^\infty \times L^\infty$ 到 $BMO$ 的有界性。关键贡献在于将临界阶数的有界性结果扩展至整个范围 $0 \leq \rho < 1$，解决了双线性理论中的一个空白，即经典 Calderón-Vaillancourt 定理在此时不成立。

ABSTRACT

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

研究动机与目标

• 在 $0\leq\rho<1$ 的条件下，建立符号属于 $BS^{m}_{\rho,\rho}$ 的双线性伪微分算子在临界阶数 $m = m_{\rho}(p,q)$ 处的有界性。
• 解决双线性理论中的空白，即当 $\sigma \in BS^{0}_{\rho,\rho}$ 时，其有界性并不成立，而在线性情况下则成立。
• 将 $\rho=0$ 和 $\rho<1/2$ 时已知的结果扩展至 $0\leq\rho<1$ 的完整范围，适用于临界阶数 $m_{\rho}(p,q)$。
• 通过对偶性和插值法，证明端点情形的有界性，包括 $L^\infty \times L^\infty \to BMO$。

提出的方法

• 作者采用符号 $\sigma$ 的 dyadic 分解，将其分解为频率局部化的分量 $\sigma_j$，并利用双线性 Hörmander 类 $BS^{m}_{\rho,\rho}$ 的结构。
• 通过频率局部化和缩放，定义了修正符号 $\widetilde{\sigma}_j$，其保持算子范数至多相差一个常数。
• 通过已知的 $L^2 \times L^\infty \to L^2$ 和 $L^\infty \times L^\infty \to BMO$ 估计，控制 $T_{\sigma_j}$ 的有界性，其中 $m = -(1-\rho)n/2$ 和 $m = -(1-\rho)n$ 分别对应。
• 证明依赖于闭图像定理，将算子范数的估计转化为对有限阶导数的逐点上确界估计。
• 应用对偶性论证，通过与 $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 对于 $0\leq\rho<1$，符号属于 $BS^{m}_{\rho,\rho}$ 的双线性伪微分算子从 $L^p \times L^q$ 到 $L^r$ 有界性的最优阶数 $m$ 是什么？
• RQ2 能否将 $\rho=0$ 时的有界性结果扩展至 $0<\rho<1$ 的完整范围，且在临界阶数 $m_{\rho}(p,q)$ 处成立？
• RQ3 在临界阶数 $m = -(1-\rho)n$ 处，$L^\infty \times L^\infty \to BMO$ 的有界性是否对所有 $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$ 的有界性成立，确立了该情形的临界阶数。
• 临界阶数 $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$ 项衰减估计成立。