[论文解读] On the Hörmander classes of bilinear pseudodifferential operators II

Árpád Bényi, Frédéric Bernicot+3 more|arXiv (Cornell University)|Dec 2, 2011

Advanced Harmonic Analysis Research参考文献 31被引用 6

一句话总结

本文建立了符号属于霍尔曼德双线性类 $BS^m_{\rho,\rho}$ 且阶数 $m$ 足够负时的双线性伪微分算子的有界性性质，证明了强型 $L^p \times L^q \to L^r$ 估计、弱型端点界以及费弗曼 $L^\infty \to \text{BMO}$ 结果的双线性类比。结果表明，阶数为零的符号对应的算子可能在乘积勒贝格空间上无界，与线性情形形成鲜明对比，并通过复插值与核估计将结果推广至巴拿赫三角形区域之外。

ABSTRACT

Boundedness properties for pseudodifferential operators with symbols in the bilinear Hörmander classes of sufficiently negative order are proved. The results are obtained in the scale of Lebesgue spaces and, in some cases, end-point estimates involving weak-type spaces and BMO are provided as well. From the Lebesgue space estimates, Sobolev ones are then easily obtained using functional calculus and interpolation. In addition, it is shown that, in contrast with the linear case, operators associated with symbols of order zero may fail to be bounded on products of Lebesgue spaces.

研究动机与目标

• 建立符号属于 $BS^m_{\rho,\rho}$ 且 $m$ 足够负时，双线性伪微分算子在勒贝格空间上的有界性。
• 解决 $BS^0_{\rho,\rho}$ 算子在乘积勒贝格空间上是否具有有界性的开放问题，表明其一般情况下不具有有界性。
• 将 $BS^m_{\rho,\rho}$ 算子从 $L^{p_1} \times L^{p_2} \to L^p$ 有界性的 $m$ 范围扩展至先前结果之外。
• 证明 $BS^{-(1-\rho)n}_{\rho,0}$（$0 < \rho < 1/2$）的费弗曼 $L^\infty \to \text{BMO}$ 结果的双线性类比。
• 利用双线性 Muckenhoupt 权重 $A_{(p_1,p_2),q}$ 建立这些算子的加权范数不等式。

提出的方法

• 利用先前工作中获得的符号演算与核估计分析双线性算子的行为。
• 应用复插值技术，将已知类别的有界性结果推广至更广范围的 $m$。
• 对足够负的 $m$，应用 Calderón-Zygmund 理论，推导弱型与强型估计。
• 改编费弗曼在线性情形下的技术，辅以新论证，克服双线性情形下 Calderón-Villancourt 定理失效的问题。
• 通过 dyadic 分解与频率局部化控制符号导数，推导 $L^p$ 估计。
• 通过双线性 Muckenhoupt 类 $A_{(p_1,p_2),q}$ 建立加权范数估计，将结果推广至加权勒贝格空间。

实验结果

研究问题

• RQ1 符号属于 $BS^0_{\rho,\rho}$ 的双线性伪微分算子是否在 $L^{p_1} \times L^{p_2} \to L^p$ 上有界，其中 $1 \leq p_1, p_2, p \leq \infty$？
• RQ2 使 $BS^m_{\rho,\rho}$ 算子从 $L^{p_1} \times L^{p_2} \to L^p$ 有界的负阶数 $m$ 的最优范围为何？
• RQ3 对于 $BS^{-(1-\rho)n}_{\rho,0}$（$0 < \rho < 1/2$），费弗曼 $L^\infty \to \text{BMO}$ 结果的双线性类比是否成立？
• RQ4 能否利用双线性 Muckenhoupt 类 $A_{(p_1,p_2),q}$ 建立 $BS^m_{\rho,\rho}$ 算子的加权估计？
• RQ5 当 $\rho < 1$ 时，双线性算子的有界性性质与线性情形相比有何不同？

主要发现

• 当 $m < 2n(\rho - 1)$ 时，$BS^m_{\rho,\rho}$ 中的算子在 $1 < p_1, p_2 < \infty$ 且 $1/p = 1/p_1 + 1/p_2$ 时，有界映射 $L^{p_1} \times L^{p_2} \to L^p$，且算子范数受 $\|\sigma\|_{K,N}$ 控制。
• 当 $m < 2n(\rho - 1)$ 时，若 $p_1 = 1$ 或 $p_2 = 1$，算子满足弱型估计 $L^{p_1} \times L^{p_2} \to L^{p,\infty}$，且范数控制相同。
• 证明了费弗曼结果的双线性类比：$BS^{-(1-\rho)n}_{\rho,0}$ 将 $L^\infty \times L^\infty$ 映射至 $\text{BMO}$，其中 $0 < \rho < 1/2$。
• 证明了 $BS^0_{\varrho,\delta}$ 算子可能在任意乘积勒贝格空间上无界，即使 $\delta < \rho < 1$，从而解决了关键开放问题。
• 建立了加权估计：若 $\sigma \in BS^m_{\rho,\delta}$ 且 $m \leq 2n(\rho - 1) - \rho s$，则算子 $T_\sigma$ 在 $A_{(p_1,p_2),q}$ 条件下有界映射 $L^{p_1}_{w_1} \times L^{p_2}_{w_2} \to L^q_w$。
• 通过插值与泛函演算获得索伯列夫估计，将 $L^2 \times L^2 \to L^2$ 有界性推广至更高阶索伯列夫空间。