[論文レビュー] Strong convergence theorem for Vilenkin-Fejér means

István Blahota, George Tephnadze|arXiv (Cornell University)|Apr 21, 2015

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

ひとこと要約

本稿は、$ 0 < p \leq 1/2 $ の範囲において、Vilenkin-Fejér平均がmartingale Hardy空間 $ H_p(G_m) $ で強い収束を示す強力な収束定理を確立する。具体的には、Fejér平均の $ L_p $-ノルムが対数的重みを用いた重み付き和分可能性不等式を満たすことを証明する。主な結果は、$ p \leq 1/2 $ のとき、ノルム $ \|\sigma_n f\|_p $ の $ \ell^p $-和分可能性が対数的要因によって制御されることを示しており、これは $ p > 1/2 $ の範囲で既知であった結果を、一様有界性が成立しない臨界範囲へと拡張するものである。

ABSTRACT

As main result we prove strong convergence theorems of Vilenkin-Fejér means when $0

研究の動機と目的

• Vilenkin群の文脈において、Fejér平均の強い収束結果を $ p > 1/2 $ の範囲から臨界範囲 $ 0 < p \leq 1/2 $ へと拡張すること。
• Vilenkin-Fejér平均の $ L_p $-ノルムに対する重み付き和分可能性不等式を、$ p \leq 1/2 $ のときの martingale Hardy空間 $ H_p(G_m) $ において確立すること。
• $ \log^{[p]}n $ の重みの最適性を解明し、$ 0 < p \leq 1/2 $ の範囲でこれが最適であることを示すこと。
• Weiszの有界性定理における $ p > 1/2 $ の仮定が本質的であることを示すために、$ H_{1/2} $ に反例を構成すること。

提案手法

• 著者たちは、有界なVilenkin群 $ G_m $ 上に二進数的martingale構造を導入し、一般化されたRademacher関数と一般化されたWalsh関数を用いてVilenkin系を定義する。
• Fejér平均 $ \sigma_n f $ を、Vilenkin-Fourier級数の部分和のCesàro平均として定義する。
• 主な技術的道具は、特定の二進区間と一般化された特徴関数の列を用いて、$ f \in H_p(G_m) $ を構成することであり、これにより $ \sigma_n f $ の $ L_p $-ノルムの挙動をテストできる。
• 証明は、二進分解とDirichlet核 $ D_n $ の性質を用いて、最大関数と弱型 $ L_p $-ノルムの推定に依存している。
• 特に $ I_n^{k,l} $、特に $ I_2^{0,1} $ のような特定の集合上で $ \sigma_n f $ の挙動を分析し、弱型 $ L_p $-ノルムの下界を導出する。
• 主な不等式は、核 $ K_n $、関数 $ \Phi(n) $、およびレベル集合の測度の推定値を組み合わせることで導出され、$ p \leq 1/2 $ のとき、その系列は発散する。

実験結果

リサーチクエスチョン

• RQ1 一様有界性が成立しないにもかかわらず、$ 0 < p \leq 1/2 $ の範囲で $ H_p(G_m) $ におけるVilenkin-Fejér平均の強い収束は成立するか？
• RQ2 $ \log^{[p]}n $ の和分重みを $ 0 < p \leq 1/2 $ へと拡張可能であり、それが最適であるか？
• RQ3 $ p \leq 1/2 $ のとき、$ f \in H_p $ に対して $ \|\sigma_n f\|_p $ の挙動はどのように変化するか？また、ノルムは無限大に発散するか？
• RQ4 WeiszのFejér平均の有界性定理における $ p > 1/2 $ の仮定は本質的であり、$ H_{1/2} $ に反例を構成可能か？

主な発見

• 任意の $ f \in H_p $ に対して、$ 0 < p \leq 1/2 $ のとき、不等式 $ \frac{1}{\log^{[1/2+p]}n} \sum_{k=1}^n \frac{\|\sigma_k f\|_p^p}{k^{2-2p}} \leq c_p \|f\|_{H_p}^p $ が成り立つ。これは $ p > 1/2 $ のときの既存結果を一般化する。
• $ 0 < p \leq 1/2 $ のとき、重み $ \log^{[1/2+p]}n $ が最適であることが示され、特定の $ f \in H_p $ に対して系列が発散することを示している。
• $ H_{1/2} $ に於いて $ \sup_n \|\sigma_n f\|_{1/2} = +\infty $ を満たす反例が構成され、Weiszの定理における $ p > 1/2 $ の仮定が本質的であることを証明した。
• $ L_p $-ノルムは、正の測度を持つ集合上で $ \|\sigma_n f\|_{L_{p,\infty}}^p \gtrsim \frac{\Phi^{1/2}(M_{|\alpha_k|+1})}{M_{|\alpha_k|+1}^p} $ を満たし、これにより重み付き和の発散が生じる。
• $ f \in H_p $ かつ $ p \leq 1/2 $ のとき、系列 $ \sum_{n=1}^\infty \frac{\|\sigma_n f\|_{L_p,\infty}^p}{\Phi(n)} $ は発散する。これは対数的重みの必要性を示している。
• 結果として、$ p \leq 1/2 $ の和分条件には対数的要因が必要であり、すべての $ f \in H_p $ に対して収束を保証するには、これより良い重みは存在しないことが確認された。