[论文解读] A note on the strong convergence of two-dimensional Walsh-Fourier series

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

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

一句话总结

本文在二进制 Hardy 空间 $ H_1(G^2) $ 中建立了二维 Walsh-Fourier 级数的二次平均部分和收敛速率的精确性。通过构造一个特定的函数序列并分析其矩形部分和的 $ L^1 $-范数，作者证明了收敛级数中权重 $ \frac{1}{n\log^2(n+1)} $ 无法被改进，从而确认其在强 $ L^1 $-收敛中的本质性。

ABSTRACT

The main aim of this paper is to investigate the quadratical partial sums of the two-dimensional Walsh-Fourier series.

研究动机与目标

• 研究二维 Walsh-Fourier 级数在 $ H_1(G^2) $ 中二次平均部分和收敛速率的精确性。
• 确定强收敛估计中权重 $ \frac{1}{n\log^2(n+1)} $ 是否最优。
• 证明任何趋于无穷的非减函数 $ \Phi(n) \to \infty $ 均无法改进收敛速率。
• 将已知的 Walsh-Fourier 级数强收敛结果推广至二维情形，并给出精确的界。

提出的方法

• 构造一个函数序列 $ f_{n,n}(x,y) = (D_{2^{n+1}}(x) - D_{2^n}(x))(D_{2^{n+1}}(y) - D_{2^n}(y)) $，其 Walsh-Fourier 系数已知。
• 利用恒等式 $ S_{k,k}f_{n,n}(x,y) = w_{2^n}(x)w_{2^n}(y)D_{k-2^n}(x)D_{k-2^n}(y) $（当 $ 2^n < k \leq 2^{n+1} $ 时）表达部分和。
• 应用已知估计 $ \|D_m\|_1 \geq \frac{1}{8}V(m) $，其中 $ V(m) $ 为 $ m $ 的二进制表示的变差。
• 利用核的乘积结构，建立 $ \|S_{k,k}f_{n,n}\|_1 \geq c V^2(k - 2^n) $ 的下界。
• 利用渐近行为 $ \frac{1}{n} \sum_{k=1}^n V(k) \sim \frac{1}{4\log 2} $ 估计平均变差。
• 应用柯西-施瓦茨不等式并按 dyadic 区间求和，证明加权级数的发散性。

实验结果

研究问题

• RQ1 在二维 Walsh-Fourier 级数的强 $ L^1 $ 收敛估计中，权重 $ \frac{1}{n\log^2(n+1)} $ 是否精确？
• RQ2 能否通过将 $ \frac{1}{n\log^2(n+1)} $ 替换为 $ \frac{\Phi(n)}{n\log^2(n+1)} $（其中 $ \Phi(n) $ 为非减且趋于无穷的函数）来改进收敛速率？
• RQ3 对于 $ H_1(G^2) $ 中的函数，其矩形部分和 $ S_{k,k}f $ 的 $ L^1 $-范数行为如何？
• RQ4 整数 $ m $ 的二进制表示的变差 $ V(m) $ 如何影响 Lebesgue 常数和部分和范数？
• RQ5 对于任意满足条件的 $ \Phi $，在 $ \|f\|_{H_1} \leq 1 $ 上，加权和 $ \sum \frac{\|S_{k,k}f\|_1 \Phi(k)}{k\log^2(k+1)} $ 的上确界是否有限？

主要发现

• 在二维 Walsh-Fourier 级数的强收敛估计中，权重 $ \frac{1}{n\log^2(n+1)} $ 是精确的，无法被改进。
• 对于任意趋于无穷的非减函数 $ \Phi(n) \to \infty $，在 $ \|f\|_{H_1} \leq 1 $ 上，$ \sum \frac{\|S_{k,k}f\|_1 \Phi(k)}{k\log^2(k+1)} $ 的上确界为无穷。
• 所构造的函数 $ f_{n,n} $ 满足 $ \|f_{n,n}\|_{H_1} = 1 $，确认了其在 Hardy 空间中的归一化。
• 当 $ 2^n < k \leq 2^{n+1} $ 时，部分和 $ S_{k,k}f_{n,n} $ 的 $ L^1 $-范数满足 $ \|S_{k,k}f_{n,n}\|_1 \geq c V^2(k - 2^n) $。
• 平均变差 $ \frac{1}{n} \sum_{k=1}^n V(k) $ 收敛于 $ \frac{1}{4\log 2} $，这对渐近下界至关重要。
• 通过柯西-施瓦茨不等式和 dyadic 区间求和，证明了加权级数的发散性，从而得到 $ \sim c \Phi(2^n) \to \infty $（当 $ n \to \infty $ 时）。