[论文解读] Bounds on the maximal Bochner-Riesz means for elliptic operators

Peng Chen, Sanghyuk Lee+2 more|arXiv (Cornell University)|Mar 9, 2018

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

一句话总结

该论文在有限传播速度性质下，利用限制型估计，建立了非负自伴椭圆算子的 maximal Bochner-Riesz 平均在 $L^p$ 空间中的精确有界性。关键结果是当 $p \geq 2$ 时，最优范围为 $\alpha > \max\left\{n\left|\frac{1}{p}-\frac{1}{2}\right| - \frac{1}{2}, 0\right\}$，并将其推广至渐近锥形流形上的 Schr"odinger 算子、谐振子以及紧致流形上的椭圆算子。

ABSTRACT

We investigate $L^p$ boundedness of the maximal Bochner-Riesz means for self-adjoint operators of elliptic type. Assuming the finite speed of propagation for the associated wave operator, from the restriction type estimates we establish the sharp $L^p$ boundedness of the maximal Bochner-Riesz means for the elliptic operators. As applications, we obtain the sharp $L^p$ maximal bounds for the Schrödinger operators on asymptotically conic manifolds, the harmonic oscillator and its perturbations or elliptic operators on compact manifolds.

研究动机与目标

• 建立非负自伴椭圆算子 $L$ 的 maximal Bochner-Riesz 算子 $S_*^\alpha(L)$ 在 $L^p$ 空间中的精确有界性。
• 将经典的 Bochner-Riesz 猜想推广至 $\mathbb{R}^n$ 上拉普拉斯算子以外的一般椭圆算子。
• 刻画 $S_*^\alpha(L)$ 在 $L^p$ 上有界的最优 $\alpha$ 范围，推广已知的拉普拉斯算子结果。
• 将该理论应用于具体算子，包括渐近锥形流形上的 Schr"odinger 算子、谐振子以及紧致流形上的椭圆算子。

提出的方法

• 利用与 $L$ 相关的波动算子的有限传播速度性质，控制谱投影算子。
• 建立形如 $\|dE_{\sqrt{L}}(\lambda)\|_{p \to p'} \leq C \lambda^{n(1/p - 1/p') - 1}$ 的限制型估计，其中 $1 \leq p \leq 2(n+1)/(n+3)$。
• 将限制型估计重新表述为 $R_p$ 条件：对于在 $[0,R]$ 上有紧支集的函数 $F$，有 $\|F(\sqrt{L})\|_{p \to 2} \leq C R^{n(1/p - 1/2)} \|\delta_R F\|_2$。
• 通过插值与算子范数估计，将 $R_p$ 条件应用于推导 maximal Bochner-Riesz 算子的 $L^p$ 估计。
• 利用谱理论与函数演算，定义 $S_R^\alpha(L)f = \int_0^{R^2} (1 - \lambda/R^2)^\alpha \, dE_L(\lambda)f$，并分析其在 $R > 0$ 上的上确界范数。
• 通过在每种情况下验证 $R_p$ 条件或 $(ST^2_{p,2})$ 条件，将该方法应用于具体算子，如反平方势和锥形流形上的 Schr"odinger 算子。

实验结果

研究问题

• RQ1 对于 $p \geq 2$ 及非负自伴椭圆算子 $L$，使得 maximal Bochner-Riesz 算子 $S_*^\alpha(L)$ 在 $L^p$ 上有界的最优 $\alpha$ 范围是什么？
• RQ2 能否通过限制型估计与有限传播速度性质，将经典 Bochner-Riesz 猜想推广至一般椭圆算子？
• RQ3 $R_p$ 条件是否在有限传播速度假设下蕴含 $S_*^\alpha(L)$ 的精确 $L^p$ 有界性？
• RQ4 对于渐近锥形流形上的 Schr"odinger 算子，$S_*^\alpha(L)$ 在 $L^p$ 上有界的最优 $\alpha$ 是什么？
• RQ5 反平方势的存在如何影响 maximal Bochner-Riesz 平均的 $L^p$ 有界性？

主要发现

• 在有限传播速度与限制型估计条件下，当 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 时，maximal Bochner-Riesz 算子 $S_*^\alpha(L)$ 在 $L^p$ 上有界，其中 $p \geq 2$。
• 通过 $R_p$ 条件建立了 $S_*^\alpha(L)$ 的精确 $L^p$ 估计，该条件将 Stein-Tomas 限制估计推广至一般椭圆算子。
• 对于渐近锥形流形上的 Schr"odinger 算子，当 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 且 $p \in \left(\frac{2n}{n-1}, \infty\right)$ 时，maximal Bochner-Riesz 平均满足精确 $L^p$ 估计。
• 对于谐振子及其扰动，当 $p \in \left(\frac{2n}{n-1}, \infty\right)$ 且 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 时，maximal Bochner-Riesz 平均在 $L^p$ 上有界。
• 对于 $(0,\infty)$ 上的径向 Schr"odinger 算子 $L = \Delta_n + c/r^2$（其中 $c > -(n-2)^2/4$），当 $p \in \left(\frac{2n}{n-1}, p_c^*\right)$ 且 $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ 时，maximal Bochner-Riesz 算子在 $L^p$ 上有界，其中 $p_c^* = n/\sigma$，$\sigma = (n-2)/2 - \sqrt{(n-2)^2/4 + c}$。
• 该方法适用于 Heisenberg $H$-型群上的次拉普拉斯算子、反平方势以及 Schar"odinger 型算子，验证了基于 $R_p$ 的方法的稳健性。