[论文解读] Criterion for convergence almost everywhere, with applications

E. Ostrovsky, L. Sirota|arXiv (Cornell University)|Jul 14, 2015

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

一句话总结

本文通过基于积分反正切范数上确界的临界泛函，建立了实值可测函数几乎处处收敛于可分巴拿赫空间的必要且充分条件。关键结果为：几乎必然收敛成立当且仅当该临界泛函的极限趋于零，从而提供了一个强大且通用的判别准则，适用于傅里叶级数、随机场以及奥尔里奇/大勒贝格空间中的收敛性问题。

ABSTRACT

We derive the necessary and sufficient condition for almost sure convergence of the sequence of measurable functions, and consider some applications in the theory of Fourier series and in the theory of random fields.

研究动机与目标

• 推导出取值于可分巴拿赫空间的可测函数列几乎处处收敛的必要且充分条件。
• 将关于鞅和单调序列收敛性的现有结果推广至更广泛的函数类。
• 将该判别准则应用于傅里叶级数、随机场以及奥尔里奇空间与大勒贝格空间中的收敛性问题。
• 通过等价概率测度与泛函分析工具，将收敛性问题重新表述为概率形式。
• 将该框架扩展至可分巴拿赫空间中的随机元，并为几乎必然收敛建立相应的判别准则。

提出的方法

• 引入临界泛函 $\overline{\kappa}(F) = \varlimsup_{n \to \infty} \sup_{m > n} \int_X \arctan(\max_{k=n}^m |f_k(x)|) \, \nu(dx)$，其中 $\nu$ 是与原始测度 $\mu$ 等价的概率测度。
• 利用控制收敛定理，将 $\overline{\kappa}(F)$ 的消失与 $f_n \to 0$ 的几乎必然收敛性联系起来。
• 通过变换 $g_n = f_n - f_\infty$ 将一般问题约化为 $f_\infty = 0$ 的情形，并不失一般性地假设 $\mu$ 为概率测度。
• 应用变换 $\tilde{f}_n(x) = \arctan(f_n(x))$ 以有界函数并促进积分估计。
• 通过定义基于范数的泛函 $\lambda_n^m(F)$ 与 $\overline{\lambda}(F)$，在大勒贝格空间（GLS）与奥尔里奇空间中建立等价判别准则。
• 通过基于期望的泛函 $\overline{\tau}(\zeta)$ 将框架扩展至巴拿赫空间中的随机元 $\zeta(n)$，从而导出序列 $\zeta(n)$ 几乎必然收敛的判别准则。

实验结果

研究问题

• RQ1 取值于可分巴拿赫空间的可测函数列几乎处处收敛的必要且充分条件是什么？
• RQ2 该收敛判别准则如何通过涉及反正切变换的积分泛函表达？
• RQ3 该准则在奥尔里奇空间与大勒贝格空间中的收敛性问题中可如何推广？
• RQ4 该准则能否适用于可分巴拿赫空间中的随机元，特别是随机变量序列？
• RQ5 临界泛函 $\overline{\kappa}(F)$ 与经典收敛模式（如依测度收敛或 $L_p$-范数收敛）之间有何关系？

主要发现

• 当且仅当 $\lim_{n \to \infty} \sup_{m > n} \kappa_n^m(F) = 0$ 时，$f_n \to 0$ 几乎必然成立，其中 $\kappa_n^m(F) = \int_X \arctan(\max_{k=n}^m |f_k(x)|) \, \nu(dx)$。
• 该判别准则等价于 $\overline{\kappa}(F) = 0$，即家族 $F$ 属于临界泛函的核。
• 若在大勒贝格空间 $G\psi$ 中有 $\overline{\lambda}(F) = 0$，则 $f_n \to 0$ 几乎处处收敛且在 $G\psi$-范数下收敛。
• 在 $L_p$-空间中，若 $\overline{l_p}(F) = 0$，则 $f_n \to 0$ 几乎处处收敛且在 $L_p$-范数下收敛。
• 在随机设定下，$\mathbb{P}(\zeta \in c_0(B)) = 1$ 当且仅当 $\overline{\tau}(\zeta) = 0$，其中 $\tau_n^m(\zeta) = \mathbb{E}[\arctan(\max_{k=n}^m \|\zeta(k) - \zeta(n)\|_B)]$。
• 当巴拿赫空间被替换为具有平移不变度量的可分线性度量空间时，该判别准则依然成立。