[论文解读] Convergence of series of dilated functions and spectral norms of GCD matrices

Kristian Seip, Christoph Aistleitner+2 more|arXiv (Cornell University)|Jul 21, 2014

Holomorphic and Operator Theory参考文献 28被引用 16

一句话总结

该论文通过将稀释函数级数 $\sum c_k f(kx)$ 和 $\sum c_k f(n_k x)$ 的 $L^2$ 范数与最大公因数（GCD）矩阵的谱范数联系起来，建立了其在 $L^2$ 空间和几乎处处收敛的精确条件。对于属于 $C^\alpha$ 且 $\alpha \in (1/2, 1)$ 的函数 $f$，当系数 $c_k$ 满足涉及 $\log k$ 和 $\log \log k$ 的指数衰减条件时，收敛性成立，且最优常数由最近对 GCD 矩阵谱范数的界推导得出。结果证明了这些条件在 $L^2$ 和几乎处处收敛情形下的最优性，仅在标准稀释级数的 $L^2$ 情况下精确常数尚不完全明确。

ABSTRACT

We establish a connection between the $L^2$ norm of sums of dilated functions whose $j$th Fourier coefficients are $\\mathcal{O}(j^{-\\alpha})$ for some $\\alpha \\in (1/2,1)$, and the spectral norms of certain greatest common divisor (GCD) matrices. Utilizing recent bounds for these spectral norms, we obtain sharp conditions for the convergence in $L^2$ and for the almost everywhere convergence of series of dilated functions.

研究动机与目标

• 建立 $L^2$ 和几乎处处收敛的级数 $\sum c_k f(kx)$ 与 $\sum c_k f(n_k x)$ 的精确充分必要条件，其中 $f$ 是 $C^\alpha$ 类的周期函数，且 $\alpha \in (1/2, 1)$。
• 将稀释函数和的 $L^2$ 范数与最大公因数（GCD）矩阵的谱范数联系起来，利用这些范数的最新界。
• 确定系数序列 $(c_k)$ 的最优增长速率，表明当 $\alpha < 1$ 时，所需的衰减强度远强于 $\ell^2$ 可 summability 性（即 $\sum c_k^2 < \infty$）的条件。
• 通过构造违反条件但满足较弱 $\ell^2$ 类假设的反例，证明所推导的收敛条件在 $L^2$ 和几乎处处收敛情形下的最优性。

提出的方法

• 作者利用 $f$ 在 $C^\alpha$ 中的傅里叶衰减性质，将 $\sum c_k f(kx)$ 的 $L^2$ 范数与具有元素 $\gcd(k,\ell)^{2\alpha}/(k\ell)^\alpha$ 的 GCD 矩阵的谱范数联系起来。
• 他们应用近期对 GCD 矩阵谱范数的精确界，特别是涉及除数函数 $\sigma_s(k)$ 的结果，推导出 $c_k$ 的指数型衰减条件。
• 为证明最优性，他们构造了序列 $(c_k)$ 和 $(n_k)$，使得系数条件以略小的常数满足，但级数在 $L^2$ 或几乎处处仍发散，方法包括概率工具和 Borel–Cantelli 引理。
• 他们采用索引集的 dyadic 分解，将索引划分为块 $\Gamma_i$ 和 $\Delta_i$，以控制 $L^2$ 范数的增长，并通过 Lyapunov 条件应用中心极限定理。
• 定理 3 的证明使用柯西-施瓦茨不等式和除数函数 $\sigma_s(k)$ 的性质，以界定部分和的 $L^2$ 范数，表明若 $\sum c_k^2 \sigma_{1-2\alpha+\varepsilon}(k) < \infty$，则 $L^2$ 收敛。
• 对于几乎处处收敛的最优性，他们使用条件数学期望和矩界，构造了 stochastically 支配部分和的独立随机变量 $Y_i$，然后应用中心极限定理证明几乎必然发散。

实验结果

研究问题

• RQ1 当 $f \in C^\alpha$ 且 $\alpha \in (1/2, 1)$ 时，$\sum c_k f(kx)$ 的 $L^2$ 收敛性对系数序列 $(c_k)$ 的精确条件是什么？
• RQ2 当 $(n_k)$ 为互异正整数序列时，$\sum c_k f(n_k x)$ 的几乎处处收敛性对 $(c_k)$ 的精确条件是什么？
• RQ3 GCD 矩阵的谱范数如何与稀释函数级数的 $L^2$ 范数相关联？
• RQ4 对于 $f \in C^\alpha$，收敛条件能否优于 $\sum c_k^2 < \infty$？若能，最优衰减速率是什么？
• RQ5 所推导的 $\sum c_k f(kx)$ 的 $L^2$ 收敛条件是否也对几乎处处收敛最优？

主要发现

• 对于 $f \in C^\alpha$ 且 $\alpha \in (1/2, 1)$，若 $\sum c_k^2 \exp\left( K (\log k)^{1-\alpha} / \log \log k \right) < \infty$，其中 $K = 3/(1-\alpha) + 4/\sqrt{2\alpha - 1}$，则级数 $\sum c_k f(kx)$ 在 $L^2$ 和几乎处处收敛，且该条件对 $L^2$ 收敛是最优的。
• 对于级数 $\sum c_k f(n_k x)$，若 $\sum c_k^2 \exp\left( K (\log k)^{1-\alpha} / (\log \log k)^\alpha \right) < \infty$，其中 $K = 6/(1-\alpha) + 7(|\log(2\alpha - 1)|^{1/2} + 1)$，则级数在 $L^2$ 和几乎处处收敛，且该条件对 $L^2$ 和几乎处处收敛均为最优。
• 若存在 $\varepsilon > 0$ 使得 $\sum c_k^2 \sigma_{1-2\alpha+\varepsilon}(k) < \infty$，则 $\sum c_k f(kx)$ 的 $L^2$ 收敛性成立，表明在某些情形下，除数函数的增长可替代指数因子。
• 论文构造了反例，表明对任意 $\varepsilon > 0$，存在 $f \in C^\alpha$ 和 $(c_k)$，使得 $\sum c_k^2 \exp\left( (1-\varepsilon)/(1-\alpha) \cdot (\log k)^{1-\alpha} / \log \log k \right) < \infty$，但级数 $\sum c_k f(kx)$ 不在 $L^2$ 收敛，从而证明了 $L^2$ 条件的精确性。
• 对于 $\sum c_k f(n_k x)$ 的几乎处处收敛，该条件也是最优的：存在 $f \in C^\alpha$、$(c_k)$ 和 $(n_k)$，使得 $\sum c_k^2 \exp\left( \hat{K} (\log k)^{1-\alpha} / (\log \log k)^\alpha \right) < \infty$ 对某个 $\hat{K}$ 成立，但级数几乎处处发散，从而证明了指数因子的最优性。
• 当 $\alpha \to 1^-$ 时，收敛条件中常数 $K$ 的发散阶为 $(1-\alpha)^{-1}$，与充分性和最优性结果一致。