[论文解读] A note on the Fourier coefficients and partial sums of Vilenkin-Fourier series

George Tephnadze|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|Oct 5, 2014

Advanced Harmonic Analysis Research参考文献 13被引用 15

一句话总结

本文研究了有界维伦金群上维伦金-傅里叶级数的帕莱类型与哈代-利特尔伍德类型不等式，建立了部分和的强收敛定理。通过构造具有特定傅里叶系数的函数，并利用 dyadic martingale 技术和最大函数估计分析其部分和，作者证明了在某些条件下，部分和的 $ L_{p,\infty} $-范数可能发散，从而在该设定下展示了经典不等式的精确性。

ABSTRACT

The main aim of this paper is to investigate Paley type and Hardy-Littlewood type inequalities and strong convergence theorem of partial sums of Vilenkin-Fourier series.

研究动机与目标

• 研究有界维伦金群上维伦金-傅里叶级数的帕莱类型与哈代-利特尔伍德类型不等式。
• 在鞅 Hardy 空间背景下，为维伦金-傅里叶级数的部分和建立强收敛定理。
• 分析特定系数构造下 $ L_{p,\infty} $-范数的行为。
• 通过构造一个反例，证明部分和的 $ L_{p,\infty} $-范数发散，从而展示经典不等式的精确性。
• 利用 dyadic martingale 理论将经典傅里叶分析结果推广至维伦金系的设定。

提出的方法

• 构造一个函数 $ f $，其傅里叶系数满足 $ \widehat{f}(v) = \frac{1}{M} \frac{M_{\alpha_\eta}^{1/p-1}}{\Phi_{M_{\alpha_\eta}}^{1/4}} $，其中 $ v \in [M_{\alpha_\eta}, M_{\alpha_\eta+1}) $，$ M_k $ 为广义阶乘，$ \Phi $ 为正的递增函数。
• 利用维伦金系诱导的 dyadic martingale 结构，其中 $ S_{M_n}f $ 对应于条件期望 $ E_n f $。
• 通过将部分和 $ S_j f(x) $（$ j \in \mathbb{N}_{n_0} $，$ x \in G_m \setminus I_1 $）分解为 dyadic 区间上的和，并应用 Dirichlet 核恒等式来分析。
• 应用恒等式 $ D_j(x) = \psi_j \sum_{u=0}^{j-1} \psi_u $ 和性质 $ D_{M_n}(x) = M_n $ 当 $ x \in I_n $，否则为 0，以估计点态行为。
• 通过控制超水平集 $ \{ x : |S_j f(x)| > \lambda \} $ 的测度来估计 $ S_j f $ 的 $ L_{p,\infty} $-范数，利用在 $ G_m \setminus I_1 $ 上有 $ |S_j f(x)| = \frac{1}{M} \frac{M_{\alpha_k}^{1/p-1}}{\Phi_{M_{\alpha_k}}^{1/4}} $ 的事实。
• 利用下界 $ \sum_{n: M_k \leq n \leq M_{k+1}, n \in \mathbb{N}_{n_0}} 1 \geq c M_k $ 推导出在求和 $ \sum_j \frac{\|S_j f\|_{L_{p,\infty}}^p \Phi_j}{j^{2-p}} $ 中的发散级数。

实验结果

研究问题

• RQ1 维伦金-傅里叶级数的部分和的 $ L_{p,\infty} $-范数是否满足哈代-利特尔伍德类型的不等式？
• RQ2 经典 $ L_p $-有界性是否可推广至维伦金系的弱 $ L_p $-设定？
• RQ3 在维伦金-傅里叶级数的背景下，帕莱类型不等式的精确性如何？
• RQ4 是否存在一个 $ L_1 $ 中的函数，其维伦金-傅里叶级数的部分和在 $ L_{p,\infty} $ 中不强收敛？
• RQ5 傅里叶系数的增长率与维伦金群的结构如何影响弱 $ L_p $-空间中部分和的收敛性？

主要发现

• 对于 $ j \in [M_{\alpha_k}, M_{\alpha_k+1}) $ 且 $ x \in G_m \setminus I_1 $，部分和 $ S_j f $ 的 $ L_{p,\infty} $-范数满足 $ \|S_j f\|_{L_{p,\infty}} \gtrsim \frac{M_{\alpha_k}^{1/p-1}}{\Phi_{M_{\alpha_k}}^{1/4}} $。
• 求和 $ \sum_{j=M_{\alpha_k}}^{M_{\alpha_k+1}-1} \frac{\|S_j f\|_{L_{p,\infty}}^p \Phi_j}{j^{2-p}} \gtrsim \Phi_{M_{\alpha_k}}^{3/4} \to \infty $ 当 $ k \to \infty $，表明该级数发散。
• 该构造表明，不等式 $ \sum_j \frac{\|S_j f\|_{L_{p,\infty}}^p \Phi_j}{j^{2-p}} < \infty $ 无法对所有 $ f \in L_1 $ 一致成立，因此该设定下哈代-利特尔伍德类型不等式不成立。
• 鞅 $ S_{M_n}f $ 的极大函数 $ f^* $ 满足 $ \|f^*\|_{L_{p,\infty}} \gtrsim \frac{M_{\alpha_k}^{1/p-1}}{\Phi_{M_{\alpha_k}}^{1/4}} $，表明其具有弱型增长。
• 结果表明，在给定系数假设下，经典 $ L_p $-有界性无法推广至维伦金-傅里叶级数的弱 $ L_p $-设定。
• 该级数的发散性确认了已知不等式的精确性，并表明在 $ L_{p,\infty} $ 中收敛需要更强的假设。