[论文解读] $L^{p}$ estimates for the bilinear Hilbert transform for $1/2

Wei Dai, Guozhen Lu|arXiv (Cornell University)|Sep 12, 2014

Advanced Harmonic Analysis Research被引用 11

一句话总结

本文在全范围 $1/2 < p < \infty$ 内建立了非光滑符号的双线性傅里叶乘子的 $L^p$ 估计，解决了关于双线性希尔伯特变换在临界范围 $p \in (1/2, 2/3]$ 有界性的开放问题。它构造了一个反例，表明经典双线性希尔伯特变换无法有界地映射 $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$，当 $p_1 < 2$ 时，但证明了对于符号与双线性希尔伯特变换符号任意接近的算子，即使符号不光滑，$L^p$ 有界性依然成立。

ABSTRACT

M. Lacey and C. Thiele proved in [27] (Annals of Math. (1997)) and [28] (Annals of Math. (1999)) that the bilinear Hilbert transform maps $L^{p_1} imes L^{p_2} ightarrow L^{p}$ boundedly when $\frac{1}{p_1}+\frac{1}{p_2}=\frac{1}{p}$ with $1

研究动机与目标

• 解决双线性希尔伯特变换在 $p \in (1/2, 2/3]$ 范围内是否具有 $L^p$ 估计的开放问题。
• 研究当一个输入函数属于调制空间 $\mathcal{F}L^{p_1'}$ 且 $p_1 < 2$ 时，双线性希尔伯特变换在 $p \in (1/2, 2/3]$ 范围内 $L^p$ 有界性失效的原因。
• 建立符号不光滑但与双线性希尔伯特变换符号任意接近的双线性傅里叶乘子算子的 $L^p$ 估计。
• 将 $L^p$ 估计推广至具有 1 维奇点的符号，超越光滑符号的情形。

提出的方法

• 通过随机变量的性质和时间-频率分析，构造反例，表明当 $p_1 < 2$ 且 $p \in (1/2, 2/3)$ 时，双线性希尔伯特变换无法有界地映射 $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$。
• 应用离散化平方函数和极大函数分解，以控制与算子相关的三线性型的大小。
• 在时间-频率分析中使用树选择和停止时间论证，将频率平面分解为 dyadic 区间，并局部化每个树的贡献。
• 对频率环带进行 dyadic 分解，并定义停止集 $\Omega^{i}_{n_i}$，以控制平方函数和极大函数的水平集大小。
• 对符号 $m$ 进行圆锥截断，得到 $m_{\mathcal{A}}$，从而允许使用 dyadic 模型算子，并在 dyadic 世代上获得一致估计。
• 采用 $k$-索引块和 $n$-索引频率尺度的 dyadic 模型算子分解，通过指数衰减和多项式衰减项控制算子范数的衰减。

实验结果

研究问题

• RQ1 当一个输入函数属于调制空间 $\mathcal{F}L^{p_1'}$ 且 $p_1 < 2$ 时，双线性希尔伯特变换在 $p \in (1/2, 2/3]$ 范围内是否具有 $L^p$ 估计？
• RQ2 能否在全范围 $p \in (1/2, \infty)$ 内，为与双线性希尔伯特变换符号任意接近的非光滑符号的双线性傅里叶乘子建立 $L^p$ 估计？
• RQ3 当符号具有 1 维奇点且缺乏完全光滑性时，双线性希尔伯特变换的有界性会发生什么变化？
• RQ4 是否可以将 $L^p$ 有界性理论推广至有限正则性的符号，特别是在临界范围 $p \in (1/2, 2/3]$ 内？
• RQ5 能否通过涉及调制空间的反例，精确刻画在 $p \in (1/2, 2/3]$ 范围内 $L^p$ 估计失效的情况？

主要发现

• 双线性希尔伯特变换无法有界地映射 $\mathcal{F}L^{p_1'} \times L^{p_2} \to L^p$，当 $p_1 < 2$ 且 $p \in (1/2, 2/3)$ 时，提供了临界范围内的精确反例。
• 双线性希尔伯特变换也无法有界地映射 $L^{p_1} \times \mathcal{F}L^{p_2'} \to L^p$，当 $p_2 < 2$ 且 $p \in (1/2, 2/3)$ 时，确认了在两种调制空间输入下均存在失效。
• 对于与双线性希尔伯特变换符号任意接近的符号 $m$（在 $L^p$-逼近意义下），所有 $p \in (1/2, \infty)$ 范围内均成立 $L^p$ 估计，即使 $m$ 缺乏完全光滑性。
• 截断双线性乘子 $T_{m_{\mathcal{A}}}$ 的 $L^p$ 算子范数被一个依赖于 $p_1, p_2, p, \delta$ 的常数所控制，且当 $\delta \to 0$ 时该常数趋于无穷，表明衰减条件的最优性。
• 证明通过 dyadic 模型算子分解建立了统一有界性，表明算子范数之和以 $e^{-\delta \sqrt{n}} + n^{-3}$ 的形式衰减，从而形成收敛级数，因此有界性成立。
• 该结果可推广至满足 $|\partial^\alpha m| \lesssim \text{dist}(\xi, \Gamma)^{-|\alpha|}$ 的一般双线性傅里叶乘子符号，即使符号不光滑，也证明了当 $p > 1/2$ 时 $L^p$ 估计成立。