[论文解读] Boundedness of smooth bilinear square functions and applications to some bilinear pseudo-differential operators

Frédéric Bernicot, Saurabh Shrivastava|arXiv (Cornell University)|Oct 6, 2010

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

一句话总结

本文建立了在 $L^p$ 空间上对 $1 < p < \infty$ 的双线性光滑平方函数的有界性，将经典的 Littlewood-Paley 理论扩展到双线性情形。通过组合模型和方法与向量值 Calderón-Zygmund 理论，证明了符号属于改进类 $W^{1,s}_\theta(BS^0_{0,0})$ 的双线性伪微分算子在条件 $1/p_1 + 1/p_2 = 1/p_3$ 下有界，从 $L^{p_1} \times L^{p_2}$ 到 $L^{p_3}$，且在所有方向 $\theta \in \mathbb{S}^1$ 上具有统一的估计。通过对偶性和频率区间上的求和，该结果完成了对 $1 < p_3 \leq 2$ 的 $L^p$ 有界性。

ABSTRACT

This paper is devoted to the proof of boundedness of bilinear smooth square functions. Moreover, we deduce boundedness of some bilinear pseudo-differential operators associated with symbols belonging to a subclass of $BS^0_{0,0}$.

研究动机与目标

• 建立双线性光滑平方函数在 $1 < p < \infty$ 下的 $L^p$ 有界性，将经典 Littlewood-Paley 理论扩展到双线性情形。
• 分析符号属于改进符号类 $W^{1,s}_\theta(BS^0_{0,0})$ 的双线性伪微分算子的行为。
• 通过使用对偶性和求和技术，将有界性结果从局部 $L^2$ 情形扩展到完整范围 $1 < p_3 \leq 2$。
• 为相关算子在所有方向 $\theta \in \mathbb{S}^1$ 上提供统一的估计。
• 通过减少到非对角衰减估计和组合模型和，解决具有 $x$-依赖符号的双线性算子的有界性问题。

提出的方法

• 通过频率分解和 dyadic 区间，将双线性平方函数减少为组合模型和。
• 在时间-频率分析框架下估计‘大小’和‘能量’分量，以控制模型和。
• 应用向量值 Calderón-Zygmund 理论，将模型和的 $L^p$ 有界性转移到原始平方函数。
• 使用对偶性论证，将有界性从 $2 \leq p_3 < \infty$ 扩展到 $1 < p_3 \leq 2$，完成整个范围。
• 通过光滑单位分解和在频率区间 $[n,n+1]$ 上的求和，分解符号，以利用衰减性和统一估计。
• 通过将非对角衰减估计转移到对偶符号类，证明所有方向 $\theta \in \mathbb{S}^1$ 上的有界性统一。

实验结果

研究问题

• RQ1 双线性光滑平方函数的有界性是否可以在所有 $1 < p < \infty$ 下建立，从而将经典 Littlewood-Paley 理论扩展到双线性情形？
• RQ2 符号类 $BS^0_{0,0}$ 的什么条件能确保相关双线性伪微分算子在 $L^p$ 空间上的有界性？
• RQ3 如何通过使用对偶性和求和技术，将 $p_3 \geq 2$ 情形的有界性结果扩展到 $1 < p_3 \leq 2$ 范围？
• RQ4 改进符号类 $W^{1,s}_\theta(BS^0_{0,0})$ 在确保所有方向 $\theta \in \mathbb{S}^1$ 上的统一 $L^p$ 估计中起什么作用？
• RQ5 能否对具有 $x$-依赖符号的非对角衰减估计进行求和，以得到相关双线性算子的全局 $L^p$ 有界性？

主要发现

• 双线性光滑平方函数 $\left(\sum_{n \in \mathbb{Z}} |\pi_{\omega_n}(f)|^2\right)^{1/2}$ 在 $L^p(\mathbb{R})$ 上对所有 $1 < p < \infty$ 有界，将经典 Littlewood-Paley 理论扩展到双线性情形。
• 对于符号 $m \in W^{1,s}_\theta(BS^0_{0,0})$ 且 $s \in (1,2]$，相关的双线性伪微分算子 $T_m$ 在 $1/p_1 + 1/p_2 = 1/p_3$ 且 $p_1, p_2, p_3' \in (2, \infty)$ 时，有界从 $L^{p_1} \times L^{p_2}$ 到 $L^{p_3}$。
• 有界性估计对所有方向 $\theta \in \mathbb{S}^1$ 是统一的，确保了在所有频率方向上的鲁棒性。
• 对 $1 < p_3 \leq 2$ 的结果通过使用对偶性和在频率区间 $[n,n+1]$ 上的求和得以建立，完成了初始 $p_3 \geq 2$ 情形之外的 $L^p$ 范围。
• 对属于 $W^{1,s}_\theta(BS^0_{0,0})$ 的 $x$-依赖符号的非对角衰减估计在 $n \in \mathbb{Z}$ 上求和，得到相关双线性算子的全局 $L^p$ 有界性。
• 证明依赖于减少到组合模型和以及向量值 Calderón-Zygmund 理论，其中大小和能量估计在控制算子范数方面起着核心作用。