[論文レビュー] 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

ひとこと要約

この論文は、制限型推定と有限伝搬速度性質を用いて、非負自己随伴楕円型作用素に対して、最大ボイチャーツ・リーマン平均の鋭鋭な $L^p$ 有界性を確立する。主な結果は、$p \geq 2$ の場合の最適範囲 $\alpha > \max\left\{n\left|\frac{1}{p}-\frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ であり、これは $\mathbb{R}^n$ 上のラプラシアンを超える一般楕円型作用素への古典的ボイチャーツ・リーマン予想の拡張である。特に、漸近的に錐型の多様体上のシュレーディンガー作用素、調和振動子、コンパクト多様体上の楕円型作用素に応用可能である。

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$ に対して、最大ボイチャーツ・リーマン作用素 $S_*^\alpha(L)$ の鋭鋭な $L^p$ 有界性を確立すること。
• 古典的ボイチャーツ・リーマン予想を $\mathbb{R}^n$ 上のラプラシアンを超える一般楕円型作用素へ拡張すること。
• $p \geq 2$ の場合に $S_*^\alpha(L)$ が $L^p$ 上で有界となるための $\alpha$ の最適範囲を特定し、ラプラシアンに関する既知の結果を一般化すること。
• シュレーディンガー作用素（漸近的に錐型の多様体上）、調和振動子、コンパクト多様体上の楕円型作用素といった具体的な作用素に理論を応用すること。

提案手法

• 作用素 $L$ に関連する波動作用素の有限伝搬速度性質を用いて、スペクトル射影子を制御すること。
• 任意の $1 \leq p \leq 2(n+1)/(n+3)$ に対して、$\|dE_{\sqrt{L}}(\lambda)\|_{p \to p'} \leq C \lambda^{n(1/p - 1/p') - 1}$ の形の制限型推定を確立すること。
• 制限型推定を $R_p$ 条件に再定式化する：$F$ が $[0,R]$ に台を持つとき、$\|F(\sqrt{L})\|_{p \to 2} \leq C R^{n(1/p - 1/2)} \|\delta_R F\|_2$。
• $R_p$ 条件を用いて、補間と作用素ノルム推定を組み合わせ、最大ボイチャーツ・リーマン作用素の $L^p$ 界を導出すること。
• スペクトル理論と関数計算を用いて、$S_R^\alpha(L)f = \int_0^{R^2} (1 - \lambda/R^2)^\alpha \, dE_L(\lambda)f$ を定義し、$R > 0$ 全体における essentially sup-ノルム を解析すること。
• 具体的な作用素にこの手法を適用する際には、各ケースで $R_p$ 条件または $(ST^2_{p,2})$ 条件を検証すること。例えば、逆二乗ポテンシャルや錐型多様体上のシュレーディンガー作用素に対して有効である。

実験結果

リサーチクエスチョン

• RQ1 非負自己随伴楕円型作用素 $L$ に対して、$p \geq 2$ の場合に最大ボイチャーツ・リーマン作用素 $S_*^\alpha(L)$ が $L^p$ 上で有界となるための鋭鋭な $\alpha$ の範囲は何か？
• RQ2 制限型推定と有限伝搬速度性質を用いて、古典的ボイチャーツ・リーマン予想をラプラシアンを超える一般楕円型作用素へ拡張可能か？
• RQ3 $R_p$ 条件は、有限伝搬速度仮定のもとで、$S_*^\alpha(L)$ の鋭鋭な $L^p$ 有界性を示唆するか？
• RQ4 漸近的に錐型の多様体上のシュレーディンガー作用素に対して、$S_*^\alpha(L)$ の $L^p$ 有界性を満たす最適な $\alpha$ は何か？
• RQ5 逆二乗ポテンシャルの存在は、最大ボイチャーツ・リーマン平均の $L^p$ 有界性にどのように影響を与えるか？

主な発見

• 有限伝搬速度性質と制限型推定のもとで、$p \geq 2$ に対して $\alpha > \max\left\{n\left|\frac{1}{p} - \frac{1}{2}\right| - \frac{1}{2}, 0\right\}$ ならば、最大ボイチャーツ・リーマン作用素 $S_*^\alpha(L)$ は $L^p$ 上で有界である。
• $R_p$ 条件を用いることで、一般楕円型作用素へのシュタイン＝トーマス制限推定の一般化がなされ、$S_*^\alpha(L)$ の鋭鋭な $L^p$ 界が確立された。
• 漸近的に錐型の多様体上のシュレーディンガー作用素に対しては、$\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)$ の場合に、最大ボイチャーツ・リーマン平均は鋭鋭な $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\}$ の場合に、最大ボイチャーツ・リーマン平均は $L^p$ 上で有界である。
• $(0,\infty)$ 上の径対称シュレーディンガー作用素 $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\}$ の場合に、最大ボイチャーツ・リーマン作用素は $L^p$ 上で有界である。ここで $p_c^* = n/\sigma$、$\sigma = (n-2)/2 - \sqrt{(n-2)^2/4 + c}$ である。
• この手法はヘイゼンベルク $H$-型群上のサブラプラシアン、逆二乗ポテンシャル、シュレーディンガー型作用素に対しても適用可能であり、$R_p$-に基づくアプローチの堅牢性が確認された。