[论文解读] On Bilinear Maximal Bochner-Riesz Operators

Danqing He|arXiv (Cornell University)|Jul 12, 2016

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

一句话总结

本文建立了双线性极大 Bochner-Riesz 算子 $T_*^\lambda$ 从 $L^{p_1} \times L^{p_2}$ 到 $L^p$ 的有界性，其中 $\lambda > (4n+3)/5$，并给出了满足 $1/p = 1/p_1 + 1/p_2$ 的显式指数范围。关键贡献在于证明了在临界指标 $\lambda = (4n+3)/5$ 处的 $L^2 \times L^2 \to L^1$ 有界性，从而可通过插值推导出完整的有界性范围。

ABSTRACT

We prove that the bilinear maximal Bochner-Riesz operator $T_*^λ$ is bounded from $L^{p_1}(\mathbb R^n) imes L^{p_2}(\mathbb R^n)$ to $L^p(\mathbb R^n)$ for appropriate $(p_1,p_2,p)$ when $λ>(4n+3)/5$.

研究动机与目标

• 建立双线性极大 Bochner-Riesz 算子 $T_*^\lambda$ 在 $\lambda > (4n+3)/5$ 时的 $L^p$ 有界性。
• 证明在临界点 $\lambda = (4n+3)/5$ 处的 $L^2 \times L^2 \to L^1$ 有界性，这是插值的关键。
• 确定 $T_*^\lambda$ 有界时指数 $(p_1, p_2, p)$ 的最优范围，拓展了多重线性调和分析中的已知结果。
• 从 $L^{p_1} \times L^{p_2}$ 到弱-$L^p$ 空间的有界性推导出必要条件，识别出 $\lambda$ 的下限。

提出的方法

• 证明使用了两个已知有界性区域之间的复插值：在 $\lambda = (4n+3)/5$ 处的 $L^2 \times L^2 \to L^1$ 和当 $\operatorname{Re} \lambda > n - 1/2$ 时的 $L^{q_1} \times L^{q_2} \to L^q$。
• 通过一族以可测函数 $R$（取有限个值）为指标的算子 $T_R(f,g)$ 对双线性算子进行线性化，从而实现对 $R$ 无关的统一控制。
• 证明算子 $T_R^\lambda$ 关于 $\lambda$ 在 Schwartz 函数上是解析的，从而可应用 Stein 插值定理。
• 通过构造使用振荡积分和波包分解的反例，推导出有界性的必要条件。
• 利用贝塞尔函数分析核 $K^\lambda(X)$ 的渐近行为，得到当 $|X| \to \infty$ 时 $|K^\lambda(X)| \sim |X|^{-(\lambda + (2n+1)/2)}$，这对点态估计至关重要。
• 通过驻定相位法和分部积分控制点态下界的主要项，而误差项则通过衰减性和光滑性进行估计。

实验结果

研究问题

• RQ1 当 $\lambda > (4n+3)/5$ 时，对于满足 $1/p = 1/p_1 + 1/p_2$ 的哪些指数 $(p_1, p_2, p)$，双线性极大 Bochner-Riesz 算子 $T_*^\lambda$ 从 $L^{p_1} \times L^{p_2}$ 有界到 $L^p$？
• RQ2 在临界指标 $\lambda = (4n+3)/5$ 处，$T_*^\lambda$ 的 $L^2 \times L^2 \to L^1$ 有界性是否成立，从而支持插值？
• RQ3 $T_*^\lambda$ 从 $L^{p_1} \times L^{p_2}$ 有界到弱-$L^p$ 的 $\lambda$ 的必要条件是什么？
• RQ4 线性情形中使用的插值方法能否适配到双线性情形，以导出紧要的 $L^p$ 估计？
• RQ5 核的衰减性和振荡性如何影响 $A_t^\lambda(f,g)$ 及其极大函数的点态行为？

主要发现

• 双线性极大 Bochner-Riesz 算子 $T_*^\lambda$ 在 $\lambda > (4n+3)/5$ 时从 $L^{p_1} \times L^{p_2}$ 有界到 $L^p$，其中 $p > (2n-11)/(10\lambda - 6n - 17)$ 且 $p_1, p_2 > (4n-22)/(10\lambda - 6n - 17)$。
• 在临界点 $\lambda = (4n+3)/5$ 处，$T_*^\lambda$ 的 $L^2 \times L^2 \to L^1$ 有界性成立，这是本文的主要新贡献。
• $T_*^\lambda$ 从 $L^{p_1} \times L^{p_2}$ 有界到弱-$L^p$ 的必要条件为 $\lambda \geq \frac{2n-1}{2p} - \frac{2n-1}{2}$，该结果通过振荡积分构造的反例得出。
• 在 $\lambda = (4n+3)/5$ 处的 $L^2 \times L^2 \to L^1$ 估计通过构造一个在 dyadic 环形区域上具有频率局部化的测试函数 $f_M$ 获得。
• 证明了极大算子 $T_*^\lambda$ 满足 $\|T_*^\lambda(f,g)\|_{L^p} \leq C \|f\|_{L^{p_1}} \|g\|_{L^{p_2}}$，其中常数 $C$ 在插值带内与 $\lambda$ 无关。
• 核的渐近衰减 $|K^\lambda(X)| \sim |X|^{-(\lambda + (2n+1)/2)}$ 是必要条件证明中使用的点态下界的基础。