[論文レビュー] Another proof of Scurry's characterization of a two weight norm inequality for a sequence-valued positive dyadic operator

Timo S. Hänninen|arXiv (Cornell University)|Apr 29, 2013

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

ひとこと要約

本稿は、重み付きLebesgue空間上での列値正のdyadic作用素の二重重みノルム不等式の特徴付けについて、$1 < r < \infty$ の範囲で、並列停止立方体を用いて、Scurryの結果の新しい証明を提供する。この手法は、$r=1$ の場合にHyt€onenが用いた方法を、$1 \leq r \leq \infty$ の全範囲に拡張し、停止時刻の議論とdyadic martingale技法を用いて、有界性基準を統一的かつ簡略化された形で得る。

ABSTRACT

In this note we prove Scurry's testing conditions for the boundedness of a sequence-valued averaging positive dyadic operator from a weighted Lp space to a sequence-valued weighted Lp space by using parallel stopping cubes.

研究の動機と目的

• 列値正のdyadic作用素の二重重みノルム不等式の特徴付けについて、代替的で簡略化された証明を提供すること。
• 以前$r=1$ の場合に用いられたHyt€onenの停止立方体法を、$1 < r < \infty$ の全範囲に拡張すること。
• 関数$f$とその双対$g$の両方の並列停止立方体を用いて、$T(f\sigma): L^p(\sigma) \to L^p_{\ell^r}(\omega)$ の有界性の必要十分テスト条件を確立すること。
• dyadic martingale分解と重み付きノルム不等式を活用することで、異なる$r$値におけるテスト条件の取り扱いを統一すること。

提案手法

• Hyt€onenの並列停止立方体技法を、$1 < r < \infty$ の場合に適応し、関数$f$とその双対$g$の両方の停止立方体を用いる。
• dyadic maximal関数と重み付き平均に基づいて、$f$と$g$のための停止立方体$\mathcal{F}$と$\mathcal{G}$を構成する。
• 双対ペアリングを整理するために、$\langle Sf, g \rangle = \sum_{F \in \mathcal{F}} \sum_{F' \in \text{ch}_\mathcal{F}(F)} \langle g_F, T_{F'}(f) \rangle$ の分解を用いる。
• 停止立方体$F$上で、$\|g_F\|_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|_{L^{p'}_{\ell^{r'}}(\omega)}$ という推定を用いて、双対テスト条件を適用する。
• Carleson埋め込み補題を用いて、$Q \supsetneq F'$ の範囲で、列$a_Q$の$\ell^{r'}$ノルムを評価し、平均$\langle |g|_{r'} \rangle^\omega_{\pi_\mathcal{G}(F')} \leq 2 \langle |g|_{r'} \rangle^\omega_G$ を利用する。
• dyadic 停止時刻分解と$\ell^{r'}$ノルムの制御を用いて、$\sum_F \|g_F\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)}$ という主要な推定を確立する。

実験結果

リサーチクエスチョン

• RQ1 Hyt€onenの$r=1$ の場合の停止立方体法は、$1 < r < \infty$ の場合に拡張可能か？
• RQ2 列値dyadic作用素の$L^p(\sigma) \to L^p_{\ell^r}(\omega)$ における二重重み有界性の必要十分テスト条件は何か？
• RQ3 関数$f$と$g$の両方の並列停止立方体を用いて、$1 < r < \infty$ の場合に双対ペアリング$\langle Sf, g \rangle$ をどのように制御できるか？
• RQ4 $T(f\sigma): L^p(\sigma) \to L^p_{\ell^r}(\omega)$ のテスト条件は、$r \in (1, \infty)$ の場合に、直接的および双対的テスト条件と同値か？

主な発見

• 本稿では、二重重みノルム不等式$\|T(f\sigma)\|_{L^p_{\ell^r}(\omega)} \leq \tilde{C} \|f\|_{L^p(\sigma)}$ が、直接的および双対的テスト条件の両方が満たされる場合にかつその場合にのみ成立することを確立している。
• 証明では、定数因子が最大で$5p$であることを保証する形で、$\|g_F\|_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|_{L^{p'}_{\ell^{r'}}(\omega)}$ の評価が得られ、停止立方体全体にわたる一様な制御が可能である。
• 主要な推定$\sum_F \|g_F\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)} \lesssim \|g\|^{p'}_{L^{p'}_{\ell^{r'}}(\omega)}$ は、並列停止立方体とCarleson埋め込み補題を用いて証明されている。
• この手法により、Hyt€onenの$r=1$ の証明が$1 < r < \infty$ に成功裏に拡張され、すべての$r \in [1, \infty]$ に対してテスト条件を統一的に取り扱うフレームワークが得られた。
• 結果として、列値dyadic作用素の有界性に関して、テスト条件が$1 \leq r \leq \infty$ の全範囲で必要かつ十分であることが確認された。