[論文レビュー] Weighted square function estimates

Rodrigo Bañuelos, Adam Osękowski|arXiv (Cornell University)|Nov 23, 2017

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

ひとこと要約

この論文は、ベルマン関数法を用いて、マルティングールおよびリトルウッド＝パリー平方関数の鋭い重み付き $L^p$ ノルム不等式を確立し、$A_p$ 特徴 $[w]_{A_p}$ と指数 $p$ について明示的かつ最適な境界を与える。$p \to 1^+$ および $p \to \infty$ のときの $p$ への最適依存性も示している。主な結果は、重み付き $L^p$ 空間におけるマルティングールの平方関数の鋭い推定であり、$p$ に依存する明示的定数 $K_p$ を持つ。

ABSTRACT

The paper contains the proof of $L^p$-weighted norm inequalities for both, martingales square functions and the classical square functions in harmonic analysis of Littlewood-Paley and Lusin. Furthermore, the bounds are completely explicit and are optimal not only on the dependence of the characteristics of the weight but also on the dependance on $p$, as $p o\infty$. The proof rests on Bellman function method: the estimates are deduced from the existence of an appropriate and rather complicated function of four variables.

研究の動機と目的

• 重み付き $L^p$ ノルム不等式の鋭さを、$A_p$ 特徴 $[w]_{A_p}$ と指数 $p$ に対する最適依存性を有する、未解決の問題に取り組む。
• $L^2$ 重み付き不等式に関する先行結果を、$1 < p < \infty$ の全域に拡張し、明示的かつ最適な定数を提供する。
• ベルマン関数法による統一的枠組みを用いて、調和解析におけるマルティングールおよび古典的平方関数の両方の鋭い推定を導出する。
• 不等式における指数 $\max\{1/2, 1/(p-1)\}$ が最適であり、$p \to 1^+$ および $p \to \infty$ のときの定数 $K_p$ の増加率が、最良の非重み付きケースと一致することを確立する。
• リトルウッド＝パリー $g_*$-関数、ルジン面積関数、$g$-関数の境界が、同じ鋭い $[w]_{A_p}$ および $K_p$ 依存性を継承することを証明する。

提案手法

• 鋭い推定を符号化する四変数関数を構築するベルマン関数法を用い、重み付き $L^p$ 不等式の導出を可能にする。
• 連続路を持つマルティングールの確率的枠組みを用い、二次変動 $\langle X \rangle_t$ と密度 $W$ を用いた重み付き $L^p$ ノルムを定義する。
• 条件 $[W]_{A_p} = \sup_t \left\| W_t \mathbb{E}[W^{-1/(p-1)} \mid \mathcal{F}_t]^{p-1} \right\|_\infty < \infty$ を用いて、マルティングール $A_p$ 重みを定義し、古典的 $A_p$ 条件を一般化する。
• 単位円板上での $f$ の調和拡張の平方関数とマルティングール平方関数との間の関係を、伊藤の公式と条件付き期待値を用いて確立する。
• 表現 $g_*^2(f)(e^{i\theta}) = \mathbb{E}_0\left[ \int_0^\tau |\nabla u_f(B_s)|^2 ds \mid B_\tau = e^{i\theta} \right]$ を用い、マルティングール推定を調和解析に転送する。
• 主たるマルティングール推定を、平方関数の条件付き期待値に適用し、$\mathbb{T}$ および $\mathbb{R}^n$ 上の $g_*$、$A_\alpha$、$g$ 関数に対する鋭い重み付き $L^p$ 界を導出する。

実験結果

リサーチクエスチョン

• RQ1 マルティングールの平方関数の重み付き $L^p$ ノルムが、$A_p$ 特徴 $[w]_{A_p}$ と指数 $p$ に対して最適にどのように依存するか？
• RQ2 ベルマン関数法を、$L^2$ の場合を超えて、平方関数の鋭い $L^p$ 評価を導出するようにどのように拡張できるか？
• RQ3 演算子ノルム定数 $K_p$ の $p \to 1^+$ および $p \to \infty$ のときの最良の増加率は何か？ これは非重み付きケースでも最適か？
• RQ4 鋭いマルティングール推定を、リトルウッド＝パリー $g_*$-関数やルジン面積関数といった古典的平方関数にどのように転送できるか？
• RQ5 $g_*$、$A_\alpha$、$g$ 関数に対する結果は次元に依存しないか？ $n$ および $\alpha$ に対する明示的依存性は何か？

主な発見

• 論文は、重み付き $L^p$ 空間におけるマルティングールに対して、明示的定数 $K_p$ を持つ鋭い推定 $\| \langle X \rangle_\infty^{1/2} \|_{L^p(W)} \leq K_p [W]_{A_p}^{\max\{1/2, 1/(p-1)\}} \|X_\infty\|_{L^p(W)}$ を確立した。
• 明示的で最適な $K_p$ の境界が与えられている：$1 < p \leq 3$ のとき $K_p = 553(p-1)^{-1}$、$p \geq 3$ のとき $K_p = 189p^{1/2}$ であり、$p \to 1^+$ および $p \to \infty$ のときの最適性が保証されている。
• 不等式における指数 $\max\{1/2, 1/(p-1)\}$ が最適であり、既知の最良の非重み付き挙動と一致する。
• 同じ鋭い境界は、リトルウッド＝パリー $g_*$-関数、ルジン面積関数 $A_\alpha$、$g$-関数に対しても継承され、$K_p$ および $[w]_{A_p}$ への同じ依存性を持つ。
• 系として、$\|A_\alpha(f)\|_{L^p_w(\mathbb{T})} \leq K_p C_\alpha [w]_{A_{p,\mathbb{T}}}^{\max\{1/2, 1/(p-1)\}} \|f\|_{L^p_w(\mathbb{T})}$ および $g(f)$ に対しても同様の境界が得られ、明示的定数を伴う。
• 結果は、非負のリッチー曲率をもつ多様体へ拡張可能であり、$g_*$ および $g$ に対しては次元に依存しない境界が得られ、$A_\alpha$ に対しては $n$ および $\alpha$ に明示的依存性がある。