[論文レビュー] Singular integrals and maximal functions: the disk multiplier revisited

Antonio Córdoba|arXiv (Cornell University)|Oct 23, 2013

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

ひとこと要約

本稿は、$L^p_{\text{rad}}L^2_{\text{ang}}(\mathbb{R}^n)$ における混合ノルム空間で、ボフナ・リーズ作用素および関連する特異積分の $L^p$-有界性を確立することにより、フーリエ解析におけるディスク乗数問題を再考する。$\frac{2n}{n+1} < p < \frac{2n}{n-1}$ の臨界範囲が、ディスク乗数および方向付きヒルベルト変換の両方の有界性を保証することを証明する。主な貢献は、マイヤーの補題を精緻化し、最大関数 $M(f^s)^{1/s}$ を用いた重み付き推定を導入することで、カケヤ型の被覆性質と乗数の有界性を結びつけることにある。

ABSTRACT

Several estimates for singular integrals, maximal functions and the spherical summation operator are given in the spaces $L^p_{ ext{rad}}L^2_{ ext{ang}}(\mathbb{R}^n)$, $n\geq 2$.

研究の動機と目的

• 標準的 $L^p(\mathbb{R}^n)$ において $p \neq 2$ のとき失敗するが、混合ノルム空間 $L^p_{\text{rad}}L^2_{\text{ang}}(\mathbb{R}^n)$ におけるディスク乗数（$\alpha=0$ のボフナ・リーズ作用素）の有界性を解明すること。
• 方向付きヒルベルト変換のマイヤーのベクトル値不等式を混合ノルム設定に拡張し、有界性が正確に $\frac{2n}{n+1} < p < \frac{2n}{n-1}$ の範囲で成立することを示すこと。
• ユニバーサル・カケヤ最大関数 $\mathcal{U}$ が $p > n$ に対して径数関数において $L^p$ で有界であることを証明することで、ボフナ・リーズ問題とカケヤ最大関数との間に関数的リンクを確立すること。
• 重み構成 $\big(M(f^s)\big)^{1/s}$ が $A_1$ 重みを生成し、$f$ に依存しない一様な $A_p$ 界をもつことを示し、特異積分推定の強力な道具を提供すること。

提案手法

• 『bush』および『brush』手法を用いた幾何的議論に基づく、[8] の証明を改善した推定を再考することで、振動積分を制御する。
• 最大関数 $M(f^s)^{1/s}$ を用いた重み付きノルム不等式を採用し、これは $f$ に依存しない一様な $A_p$ 界を有する $A_1$ クラスに属することが示される。
• 方向付きヒルベルト変換 $H_\omega$ が径数関数に作用する様子を分析し、$L^p_{\text{rad}}L^2_{\text{ang}}$ ノルムを用いて鋭い $L^p$ 界を導出する。
• dyadic 分解およびベッセル関数 $J_{k-1+n/2}(r)$ における $L^p$ 推定を用いて、周波数空間における乗数作用素の $L^q$ ノルムを制御する。
• 幾何的被覆議論を用いて、ユニバーサル・カケヤ最大関数 $\mathcal{U}$ が径数関数および $p > n$ に対して $\|\mathcal{U}f\|_p \lesssim_p \|f\|_p$ を満たすことを証明する。
• べき関数重み $|x|^\alpha$ が $M(f^s)^{1/s}$ の構成の特別な場合であり、$-1 < \alpha < p-1$ の条件下で $A_p$ に属することを特徴づける。

実験結果

リサーチクエスチョン

• RQ1 ディスク乗数 $T_0$ は、$\frac{2n}{n+1} < p < \frac{2n}{n-1}$ の範囲において、$L^p_{\text{rad}}L^2_{\text{ang}}(\mathbb{R}^n)$ に有界作用素として拡張可能か？
• RQ2 マイヤーの方向付きヒルベルト変換のベクトル値不等式は、混合ノルム空間 $L^p_{\text{rad}}L^2_{\text{ang}}(\mathbb{R}^n)$ に拡張可能か？ もし可能ならば、どの $p$ の範囲で成立するか？
• RQ3 ユニバーサル・カケヤ最大関数 $\mathcal{U}$ は $p > n$ に対して径数関数において $L^p$ で有界か？ また、ボフナ・リーズ予想とどのように関係するか？
• RQ4 $\big(M(f^s)\big)^{1/s}$ の重み構成を用いて、特異積分のための一様な $A_p$ 界を導出可能か？ また、$|x|^\alpha$ のような古典的重みを含むか？

主な発見

• ディスク乗数 $T_0$ は、$L^p_{\text{rad}}L^2_{\text{ang}}(\mathbb{R}^n)$ に有界であるための必要十分条件が $\frac{2n}{n+1} < p < \frac{2n}{n-1}$ であることが示され、この混合ノルム設定におけるボフナ・リーズ予想の重要なケースが解決された。
• 方向付きヒルベルト変換 $H_\omega$ は、$\frac{2n}{n+1} < p < \frac{2n}{n-1}$ の範囲で $L^p_{\text{rad}}L^2_{\text{ang}}(\mathbb{R}^n)$ に有界であり、立方体の特性関数を用いた必要性の証明がなされた。
• ユニバーサル・カケヤ最大関数 $\mathcal{U}$ は、径数関数および $p > n$ に対して $\|\mathcal{U}f\|_p \lesssim_p \|f\|_p$ を満たす。これは『bush』および『brush』分解を用いた幾何的議論によって証明された。
• $\omega = \big(M(f^s)\big)^{1/s}$ は $A_1$ クラスに属し、$M\omega \lesssim_s \omega$ を満たす。この構成は、$-1 < \alpha < p-1$ のとき、べき関数重み $|x|^\alpha$ を特別な場合として含む。
• $n \geq 2$ のとき、乗数作用素の $L^q$ ノルムは、dyadic 区間上で $2^{m(n-2)(-q/2+1)}$ で制御され、$q > \frac{2n}{n-1}$ のとき減少する。これにより、期待される範囲での有界性が証明された。