[論文レビュー] On The maximal operators of Vilenkin-Fejér means

George Tephnadze|arXiv (Cornell University)|Oct 5, 2014

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

ひとこと要約

本稿は、有界なヴィレニキン群上のハーディー空間 $ H_{1/2} $ から $ L_{1/2} $ へのヴィレニキン＝フレージェー平均の最大作用素の有界性を確立する。具体的には、$ \widetilde{\sigma}^{*}f := \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ が $ H_{1/2} $ から $ L_{1/2} $ への有界作用素であることを証明する。さらに、任意の非減少関数 $ \varphi $ で $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ を満たすものに対して、作用素 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ が $ H_{1/2} $ 上で有界でないことが示され、対応する対数的重みの最適性が裏付けられる。

ABSTRACT

The main aim of this paper is to prove that the maximal operator $\overset{% \sim }{σ}^{*}f:=\underset{n\in P}{\sup }\frac{\left| σ_{n}f ight| }{\log ^{2}\left( n+1 ight) }$ is bounded from the Hardy space $H_{1/2}$ to the space $L_{1/2}$, where $σ_{n}f$ is Fejér means of bounded Vilenkin-Fourier series.

研究の動機と目的

• 有界なヴィレニキン群上でのハーディー空間 $ H_{1/2} $ から $ L_{1/2} $ への最大作用素 $ \widetilde{\sigma}^{*}f = \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ の有界性を確立すること。
• 任意の非減少関数 $ \varphi: \mathbb{N} \to [1, \infty) $ で $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ を満たすものに対して、作用素 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ が $ H_{1/2} $ 上で有界でないことを示すことにより、対数的重み $ \log^2(n+1) $ の最適性を特定すること。
• 特に、$ p = 1/2 $ の端点において、従来の結果が弱型または部分的なものであったのを補完し、マーティングルのハーディー空間におけるフレージェー平均に関する既知の結果を拡張すること。

提案手法

• 証明は、最大作用素の挙動をテストするため、$ H_{1/2} $-ノルムが制御された関数列 $ f_{n_k} $ を構成する。
• 一般化されたラデマッハ関数を用いたヴィレニキン系を用い、部分和 $ S_n f $、フレージェー平均 $ \sigma_n f $、ディリクレ核 $ D_n $ を定義して収束性を分析する。
• 関数の局所化と特定の可測集合上での $ L_{1/2} $-ノルムの推定に、二進区間 $ I_N^{k,l} $ および $ I_N^{k,\alpha,l,\beta} $ を用いる。
• 重要な推定では、ディリクレ核の差の $ L_{1/2} $-ノルム $ \|D_{M_{2n_k+1}} - D_{M_{2n_k}}\|_{L_{1/2}} $ が $ c / M_{2n_k} $ で有界であることを用いる。
• 恒等式 $ D_{j+M_{2n_k}} - D_{M_{2n_k}} = \psi_{M_{2n_k}} D_j $ を用いて、畳み込みに類似した構造を通じて部分和とフレージェー平均を関連付ける。
• 二進集合 $ I_{2n_k}^{2s,2l} $ 上で $ \left| \sigma_{q_{n_k}}(f_{n_k}) \right| / \varphi(q_{n_k}) $ の下界推定を行い、$ \frac{\sqrt{M_{2s} M_{2l}}}{\sqrt{\varphi(q_{n_k}) M_{2n_k}}} $ に比例する下界を得る。

実験結果

リサーチクエスチョン

• RQ1 有界なヴィレニキン群上でのヴィレニキン系に対して、最大作用素 $ \widetilde{\sigma}^{*}f = \sup_n \frac{|\sigma_n f|}{\log^2(n+1)} $ はハーディー空間 $ H_{1/2} $ から $ L_{1/2} $ への有界作用素か？
• RQ2 このような有界性における対数的重み $ \log^2(n+1) $ の最適性は何か？
• RQ3 任意の重み $ \varphi(n) $ が $ \log^2(n+1) $ よりも遅く増加する場合、条件 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ を満たすならば、最大作用素の有界性の欠如は示せるか？
• RQ4 有界性の不成立は、弱型やほとんど everywhere 収束にとどまらず、強い作用素ノルムに対しても拡張可能か？
• RQ5 ハーディー空間の端点 $ p = 1/2 $ は、ヴィレニキン設定下でのフレージェー平均の有界性の真の閾値か？

主な発見

• 最大作用素 $ \widetilde{\sigma}^{*}f = \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ はハーディー空間 $ H_{1/2} $ から $ L_{1/2} $ への有界作用素である。これは、臨界的端点 $ p = 1/2 $ における肯定的な結果を示している。
• 任意の非減少関数 $ \varphi: \mathbb{N} \to [1, \infty) $ で $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ を満たすものに対して、作用素 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ は $ H_{1/2} $ 上で有界でない。これにより、対数的重みの最適性が裏付けられる。
• 構成されたテスト関数 $ f_{n_k} $ の $ H_{1/2} $-ノルムは $ \|f_{n_k}\|_{H_{1/2}} \leq c / M_{2n_k} $ を満たし、ハーディー空間内で一様有界であることが保証される。
• 正規化されたフレージェー平均の $ L_{1/2} $-ノルムは $ \left\| \frac{\sigma_{q_{n_k}} f_{n_k}}{\varphi(q_{n_k})} \right\|_{L_{1/2}} \geq c \cdot \frac{n_k}{\sqrt{M_{2n_k} \varphi(q_{n_k})}} $ を満たし、与えられた $ \varphi $-条件のもとで $ k \to \infty $ のとき発散する。
• 比 $ \frac{\left( \int_{G_m} \left| \frac{\sigma_{q_{n_k}} f_{n_k}}{\varphi(q_{n_k})} \right|^{1/2} d\mu \right)^2}{\|f_{n_k}\|_{H_{1/2}}} \to \infty $ が $ k \to \infty $ のとき成り立ち、これは $ \sup_n \left\| \frac{\sigma_n f}{\varphi(n)} \right\|_{L_{1/2}} = \infty $ を意味し、作用素の有界性の欠如を示している。