[论文解读] 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 平均在鞅 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 $。
• 在 $ p \leq 1/2 $ 时，建立 Vilenkin-Fejér 平均的 $ L_p $-范数在鞅 Hardy 空间 $ H_p(G_m) $ 中的加权可求和不等式。
• 解决可求和条件中权重 $ \log^{[p]}n $ 的最优性，证明其在 $ 0 < p \leq 1/2 $ 时是最优的。
• 通过在 $ H_{1/2} $ 中构造反例，证明早期有界性定理中 $ p > 1/2 $ 的假设是必要的。

提出的方法

• 作者在有界 Vilenkin 群 $ G_m $ 上使用二进鞅结构，通过广义 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 $-范数进行估计。
• 通过分析 $ \sigma_n f $ 在特定集合 $ I_n^{k,l} $ 上的行为，特别是 $ I_2^{0,1} $，推导出弱型 $ L_p $-范数的下界。
• 通过结合核 $ K_n $、函数 $ \Phi(n) $ 和水平集测度的估计，导出主要不等式，当 $ p \leq 1/2 $ 时导致级数发散。

实验结果

研究问题

• RQ1 尽管均匀有界性失效，Vilenkin-Fejér 平均在 $ H_p(G_m) $ 中对 $ 0 < p \leq 1/2 $ 是否仍具有强收敛性？
• RQ2 可求和权重 $ \log^{[p]}n $ 能否扩展到 $ 0 < p \leq 1/2 $，且其是否为最优？
• RQ3 当 $ p \leq 1/2 $ 时，$ \|\sigma_n f\|_p $ 对于 $ f \in H_p $ 的行为如何，其范数是否无界增长？
• RQ4 Weisz 的 Fejér 平均有界性定理中 $ p > 1/2 $ 的假设是否必要，能否在 $ H_{1/2} $ 中构造反例？

主要发现

• 对于 $ 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 $ 对所有 $ f \in H_p $ 成立，推广了此前在 $ p > 1/2 $ 时的结果。
• 权重 $ \log^{[1/2+p]}n $ 在 $ 0 < p \leq 1/2 $ 时被证明是最优的，因为对某些 $ f \in H_p $，该级数发散。
• 在 $ H_{1/2} $ 中构造了一个反例，使得 $ \sup_n \|\sigma_n f\|_{1/2} = +\infty $，证明 Weisz 定理中 $ p > 1/2 $ 的假设是必要的。
• $ \sigma_n f $ 的 $ 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 $ 的收敛性。