[论文解读] Linear dimension-free estimates for the Hermite-Riesz transforms

Oliver Dragičević, Alexander Volberg|arXiv (Cornell University)|Nov 15, 2007

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

一句话总结

本文通过将贝尔曼函数方法新颖地应用于非局部算子，建立了 $L^p(\mathbb{R}^n)$ 上赫尔mite-里叶兹变换的无维数、关于 $p$ 线性增长的界。关键贡献是针对赫尔mite延拓的双线性嵌入定理，该定理给出了具有线性 $p$ 增长的、无维数依赖的精确 $L^p$ 估计，推广了此前对拉普拉斯算子和欧恩斯坦-乌伦贝克算子的结果。

ABSTRACT

We utilize the Bellman function technique to prove a bilinear dimension-free inequality for the Hermite operator. The Bellman technique is applied here to a non-local operator, which at first did not seem to be feasible. As a consequence of our bilinear inequality one proves dimension-free boundedness for the Riesz-Hermite transforms on L^p with linear growth in terms of p. A feature of the proof is a theorem establishing L^p(R^n) estimates for a class of spectral multipliers with bounds independent of n and p. Connections with known results on the Heisenberg group as well as with results for the Hilbert transform along the parabola are also explored. We believe our approach is quite universal in the sense that one could apply it to a whole range of Riesz transforms arising from various differential operators. As a first step towards this goal we prove our dimension-free bilinear embedding theorem for quite a general family of Schroedinger semigroups.

研究动机与目标

• 建立 $\mathbb{R}^n$ 上赫尔mite-里叶兹变换的无维数 $L^p$ 估计。
• 将贝尔曼函数技术扩展至非局部算子，特别是赫尔mite半群。
• 证明一个与维数和 $p$ 无关的赫尔mite延拓的双线性嵌入定理。
• 为一类具有实系数的薛定谔型算子提供统一的框架。
• 探讨与谱乘子及海森堡群里叶兹变换之间的联系。

提出的方法

• 利用贝尔曼函数技术，为赫尔mite延拓导出一个双线性 $L^p \times L^q \to L^1$ 嵌入。
• 构造一个专门针对赫尔mite算子谱性质的贝尔曼函数，以实现关于 $p$ 的线性估计。
• 应用传递方法，将赫尔mite里叶兹变换与海森堡群上的里叶兹变换联系起来。
• 推导出形式为 $m(L)$ 的谱乘子的无维数界，其中 $m$ 在无穷远处解析。
• 利用恒等式 $L = \frac{1}{2}\sum_{j=1}^n (\mathcal{A}_j\mathcal{A}_j^* + \mathcal{A}_j^*\mathcal{A}_j)$，通过升降算子定义赫尔mite算子。
• 建立关键不等式 $\int_0^\infty \int_{\mathbb{R}^n} \|P_t f(x)\|_* \|P_t g(x)\|_* \,dx\,t\,dt \leq C(p^*-1)\|f\|_p\|g\|_q$，其中 $p>1$。

实验结果

研究问题

• RQ1 贝尔曼函数方法能否成功应用于非局部算子，如赫尔mite半群？
• RQ2 能否获得赫尔mite-里叶兹变换的无维数 $L^p$ 估计，且关于 $p$ 呈线性增长？
• RQ3 双线性嵌入定理能否推广至具有正势能的一般薛定谔算子类？
• RQ4 该方法是否能给出精确估计，且 $p$-依赖关系能否优于线性？
• RQ5 该框架能否应用于海森堡群上的里叶兹变换，以获得关于 $p$ 的线性 $L^p$ 估计？

主要发现

• 本文建立了双线性嵌入定理：$\int_0^\infty \int_{\mathbb{R}^n} \|P_t f(x)\|_* \|P_t g(x)\|_* \,dx\,t\,dt \leq C(p^*-1)\|f\|_p\|g\|_q$，其中 $p>1$，且常数 $C$ 为绝对常数，与 $n$、$p$ 和 $q$ 无关。
• 该双线性不等式蕴含赫尔mite-里叶兹变换的无维数 $L^p$ 有界性，且关于 $p$ 呈线性增长，具体为 $\|\mathbf{R}f\|_p \leq C_{\varepsilon} p^{1+\varepsilon} \|f\|_p$，对任意 $\varepsilon>0$ 成立；作者认为线性估计 $\|\mathbf{R}f\|_p \leq C p \|f\|_p$ 是最优的。
• 该方法为谱乘子 $m(L)$ 提供了无维数界，其中 $m$ 在无穷远处解析，且该界与 $n$ 和 $p$ 均无关。
• 该方法统一了对赫尔mite、欧几里得及欧恩斯坦-乌伦贝克算子的里叶兹变换的处理，三者均给出无维数 $L^p$ 估计。
• 本文提供了证据表明抛物型里叶兹变换的 $L^p$ 范数不能关于 $p$ 线性有界，暗示 $L\log L$ 到 $L^1$ 的界是精确的，而海森堡群上的里叶兹变换可能允许线性估计。
• 作者猜想其主估计中关于 $p$ 的线性依赖关系是最优的，无法进一步改进。