[論文レビュー] Estimates at or beyond endpoint in harmonic analysis: Bochner-Riesz means and spherical means

Shunchao Long|arXiv (Cornell University)|Mar 3, 2011

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

ひとこと要約

本稿では、ボフナー＝リーズ平均、球面平均、最大作用素などの調和作用素が端点インデックス付近で有界性および収束性を示すため、重み付きブロック空間 $\tilde{B}L^{p,s}_{|x|\alpha}$ を導入する。この空間において、$L^p_{|x|\alpha}$-有界性とノルム収束性を確立し、臨界的状況下で失敗する $(H^p, H^p)$ および $(H^p, L^p)$ 評価の代わりに機能する。

ABSTRACT

We introduce some new functions spaces to investigate some problems at or beyond endpoint. First, we prove that Bochner-Riesz means $B_R^λ$ are bounded from some subspaces of $L^p_{|x|^α}$ to $L^p_{|x|^α}$ for $ \frac{n-1}{2(n+1)}

研究の動機と目的

• 古典的 $L^p$ 空間および $H^p$ 空間が、端点インデックス付近で主要な調和作用素の有界性を支持できないという問題を解決する。
• 最大ボフナー＝リーズ平均や球面平均などの作用素が、$p$ が端点に等しいかそれ以上の場合に、弱-$L^p$ 空間および $H^p$ 空間の制限を克服する。
• $\tilde{B}L^{p,s}_{|x|^\alpha}$ を、重み付きルベーグ空間 $L^p_{|x|^\alpha}$ の部分空間として、有界性および収束性の結果を得るための新しい関数空間枠組みとして構築する。
• 標準的 $L^p$ 理論が失敗する臨界範囲において、ボフナー＝リーズ平均および球面平均の $L^p_{|x|^\alpha}$-ノルム収束性を確立する。
• 古典的 $(H^p, H^p)$ および $(H^p, L^p)$ 評価が失敗する作用素に対して、$|x|^\alpha$-重み付き推定の一般枠組みを提供する。

提案手法

• 重み付きブロック空間 $\tilde{B}L^{p,s}_{|x|^\alpha}$ を、$\ell^p$ 系数が総和可能である $(p,s,\alpha)$-ブロックへの分解を用いて、$L^p_{|x|^\alpha}$ の部分空間として定義する。
• ハーディー＝リトルウッド最大関数のレベル集合のウィットニー分解を用いて、$\tilde{B}L^{p}_{|x|^\alpha}$ に属する関数をブロック級数として表現する。
• 最大関数のレベル集合からブロック分解を構成することで、$\tilde{B}L^{p}_{|x|^\alpha} \subset \tilde{B}L^{p,s}_{|x|^\alpha}$ を証明する。
• ボフナー＝リーズ平均 $B_R^\lambda$ が $\tilde{B}L^{p,s}_{|x|^\alpha}$ 上で有界であることを示す。$\lambda \in (\frac{n-1}{2(n+1)}, \frac{n-1}{2}]$、$p \leq p'_\lambda = \frac{2n}{n+1+2\lambda}$、$n(\frac{p}{p_\lambda}-1) < \alpha < n(\frac{p}{p'_\lambda}-1)$ を満たす。
• 最大球面平均が $\tilde{B}L^{p,s}_{|x|^\alpha}$ 上で有界であることを示す。$0 < p \leq \frac{n}{n-1}$ および $-n(1 - \frac{p}{2}) < \alpha < n(p-1) - n$ を満たす。
• 分子分解および重み付き推定を用いて、最大カルレソン作用素や切断された特異積分作用素などの他の作用素に対しても、この枠組みを拡張する。

実験結果

リサーチクエスチョン

• RQ1 重み付きルベーグ空間を用いて、端点 $p = p'_\lambda$ 付近のボフナー＝リーズ平均の有界性およびノルム収束性を確立できるか。
• RQ2 $p = \frac{n}{n-1}$ において、最大球面平均が $(L^p, L^p)$ 型でないことは確認され、重み付きブロック空間によって是正可能か。
• RQ3 $\tilde{B}L^{p,s}_{|x|^\alpha}$ は、作用素が $(H^p, L^p)$ や $(H^p, H^p)$ 型でない場合に $H^p$ の代わりに機能できるか。
• RQ4 ボフナー＝リーズ平均 $B_R^\lambda$ および球面平均が $\tilde{B}L^{p,s}_{|x|^\alpha}$ 上で有界となる $p$, $\alpha$, $s$ の正確な範囲は何か。
• RQ5 $\tilde{B}L^{p,s}_{|x|^\alpha}$ の枠組みは、最大カルレソン作用素や切断された特異積分作用素などの他の非線形作用素へ拡張可能か。

主な発見

• ボフナー＝リーズ平均 $B_R^\lambda$ は、$\frac{n-1}{2(n+1)} < \lambda \leq \frac{n-1}{2}$、$0 < p \leq p'_\lambda = \frac{2n}{n+1+2\lambda}$、$n(\frac{p}{p_\lambda}-1) < \alpha < n(\frac{p}{p'_\lambda}-1)$ の範囲で、$\tilde{B}L^{p,s}_{|x|^\alpha}$ から $L^p_{|x|^\alpha}$ への有界作用素である。
• 最大ボフナー＝リーズ平均 $B_*^\lambda$ は、$\frac{n-1}{2} \leq \lambda < \infty$、$0 < p \leq 1$、$-n < \alpha < n(p-1)$ の範囲で、$\tilde{B}L^{p,s}_{|x|^\alpha}$ 上で有界である。
• 球面平均は、$n \geq 3$、$0 < p \leq \frac{n}{n-1}$、$-n(1 - \frac{p}{2}) < \alpha < n(p-1) - n$ の範囲で、$\tilde{B}L^{p,s}_{|x|^\alpha}$ から $L^p_{|x|^\alpha}$ への有界作用素である。
• $B_R^\lambda$ の $L^p_{|x|^\alpha}$-ノルム収束性は、有界性が確立された範囲と同一の $\lambda$, $p$, $\alpha$ の範囲で成立する。
• ハリー＝リトルウッド最大作用素は、$1 < p < \infty$、$-n < \alpha < n(p-1)$ の範囲で $L^p_{|x|^\alpha}$ 上で有界であり、これにより $1 < p < \infty$、$0 \leq \alpha < n(p-1)$ の範囲で $L^p_{|x|^\alpha} \subset \tilde{B}L^{p,s}_{|x|^\alpha}$ が成り立つ。
• この枠組みは、失敗する $(H^p, H^p)$ および $(H^p, L^p)$ 評価の代わりに機能する。最大カルレソン作用素など、特定の $p$, $\alpha$, $s$ に対して $(\tilde{B}L^{p,s}_{|x|^\alpha}, L^p_{|x|^\alpha})$ 型でない作用素があるが、ブロック空間枠組みにより、臨界範囲での有界性が実現可能である。