[论文解读] On The maximal operators of Vilenkin-Fejér means

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

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

一句话总结

该论文证明了Vilenkin-Fejér平均的极大算子从Hardy空间 $ 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.

研究动机与目标

• 建立Vilenkin群上Vilenkin-Fejér平均的极大算子 $ \widetilde{\sigma}^{*}f = \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ 从Hardy空间 $ H_{1/2} $ 到 $ L_{1/2} $ 的有界性。
• 通过证明：对任意满足 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ 的非减函数 $ \varphi: \mathbb{N} \to [1, \infty) $，算子 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ 在 $ H_{1/2} $ 上无界，从而确定对数权重 $ \log^2(n+1) $ 的精确性。
• 扩展关于鞅Hardy空间中Fejér平均的已知结果，特别是填补了端点 $ p = 1/2 $ 处的空白，此前结果仅限于弱型或部分结论。

提出的方法

• 证明构造了一列属于 $ H_{1/2} $ 的函数 $ f_{n_k} $，其 $ H_{1/2} $-范数受控，以检验极大算子的行为。
• 使用广义Rademacher函数的Vilenkin系，定义部分和 $ S_n f $、Fejér平均 $ \sigma_n f $ 和Dirichlet核 $ D_n $，以分析收敛性质。
• 分析依赖于二进区间 $ I_N^{k,l} $ 和 $ I_N^{k,\alpha,l,\beta} $ 对函数进行局部化，并在特定可测集上估计 $ L_{1/2} $-范数。
• 关键估计涉及Dirichlet核差值的 $ 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 $，通过卷积结构将部分和与Fejér平均联系起来。
• 在二进区间 $ 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 对于有界Vilenkin群上的Vilenkin系，极大算子 $ \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 能否证明：对于任何增长慢于 $ \log^2(n+1) $ 的权重 $ \varphi(n) $，在满足 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ 的条件下，极大算子无界？
• RQ4 有界性失效是否可推广至强算子范数，而不仅限于弱型或 a.e. 收敛？
• RQ5 在Vilenkin设定下，Hardy空间的端点 $ p = 1/2 $ 是否为Fejér平均有界性的真正临界阈值？

主要发现

• 极大算子 $ \widetilde{\sigma}^{*}f = \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ 从Hardy空间 $ H_{1//2} $ 有界映射到 $ L_{1/2} $，在临界端点 $ p = 1/2 $ 处建立了正面结果。
• 对于任意满足 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ 的非减函数 $ \varphi: \mathbb{N} \to [1, \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} $，确保其在Hardy空间中一致有界。
• 归一化Fejér平均的 $ 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 $，从而表明该算子无界。