分布支撑不同部分收敛速率不同时的弱收敛性验证问题

阿华AIGC实验室

2026-4-21

这是个很有意思的问题，咱们一步步拆解验证清楚：

问题背景与定义

首先明确基础设定与序列分布的定义：

设$F$是支撑在$[-1,1]$上的分布的CDF，对应的密度为$f$（补充修正假设：$f(t)>0$对所有$t\in[-1,1]$成立，修正原问题的疏漏）
对任意$t\in[-1,1]$、$n\in\mathbb{N}$，先定义辅助函数：
$$\widetilde{f}_n(t)=\begin{cases}f(t),;\text{if};|t|=\frac{1}{n}+\frac{k}{2^n};\text{for some};k \in \mathbb{N} \cup {0},\
0,;\text{otherwise};\end{cases}$$
再通过归一化得到离散分布的概率质量函数：
$$f_n(t)=\frac{\widetilde{f}n(t)}{\sum\limits{\widetilde{f}_n(t')>0}\widetilde{f}_n(t')}$$

核心疑问：以$f_n(t)$为点概率的离散分布序列，是否弱收敛到原分布$F$？（注：支撑的正负部分间距为$2/n$，同侧内部点间距为$1/2^n$，二者收敛速率不同）

弱收敛的核心判定逻辑

弱收敛的等价判定准则（针对一维分布）是：对原分布$F$的所有连续点$x$，有$\lim_{n\to\infty}F_n(x)=F(x)$，其中$F_n$是$f_n$对应的CDF。

由于原分布存在密度$f$，因此$F$是绝对连续函数，在$\mathbb{R}$上所有点都是连续点。所以我们只需要验证：对任意$x\in\mathbb{R}$，$F_n(x)$都收敛到$F(x)$。

分情况验证$F_n(x)$的收敛性

$F_n(x)$是所有满足$t\leq x$且$\widetilde{f}n(t)>0$的点$t$的$f_n(t)$之和，即：
$$F_n(x) = \frac{\sum{\substack{|t|=1/n + k/2^n \ t\leq x}} f(t)}{\sum_{\substack{|t|=1/n + k/2^n}} f(t)}$$

我们分三类区间讨论：

1. 当$x < -1$或$x > 1$

显然$F_n(x)$分别恒为0或1，与$F(x)$的取值一致，收敛性无问题。

2. 当$-1 \leq x \leq 1$

我们重点分析这类情况，核心是拆解分子和分母的极限行为：

（1）归一化分母的极限

分母是正负半轴所有有效点的$f(t)$之和：

负半轴的点为$t = -\left(\frac{1}{n} + \frac{k}{2^{n}\right)$，$k$满足$t\geq-1$，即$k\leq2}n\left(1-\frac{1}{n}\right)$
正半轴的点为$t = \frac{1}{n} + \frac{k}{2^{n}$，$k$满足$t\leq1$，即$k\leq2}n\left(1-\frac{1}{n}\right)$

把每个半轴的和看作黎曼和的缩放版：同侧点的间距为$\frac{1}{2^n}$，因此$\sum_{k} f(t_k) = 2^n \cdot \sum_{k} f(t_k)\cdot\frac{1}{2^n}$，其中$\sum_{k} f(t_k)\cdot\frac{1}{2^n}$是$f$在对应区间上的黎曼和，当$n\to\infty$时收敛到该区间的积分值。

因此分母总和可表示为：
$$\sum_{\widetilde{f}n(t')>0}\widetilde{f}n(t') = 2^{n\left[\int_{-1}}{-1/n}f(t)dt + \int{1/n}^1f(t)dt + o(1)\right]$$
由于$\int{-1}^1f(t)dt=1$，代入后得：
$$=2^n\left[1 - \int_{-1/n}^{1/n}f(t)dt + o(1)\right]$$
当$n\to\infty$时，$\int_{-1/n}^{{1/n}f(t)dt\to0$（可积函数在长度趋近于0的区间上积分趋近于0），因此分母趋近于$2}n\cdot(1+o(1))$。

（2）分子的极限

若$x\in[0,1]$：分子是负半轴所有点的$f(t)$之和，加上正半轴中$t\leq x$的点的$f(t)$之和，即：
$$\sum_{\substack{|t|=1/n + k/2^n \ t\leq x}} f(t) = 2^{n\left[\int_{-1}}{-1/n}f(t)dt + \int_{1/n}^x f(t)dt + o(1)\right]$$
当$n\to\infty$时，$\int_{-1}^{{-1/n}f(t)dt\to\int_{-1}}0f(t)dt$，$\int_{1/n}^x f(t)dt\to\int_0^x f(t)dt$，因此分子趋近于$2^{n\left[\int_{-1}}x f(t)dt + o(1)\right]$。
若$x\in[-1,0)$：分子是负半轴中$t\leq x$的点的$f(t)$之和（正半轴所有点都$\geq\frac{1}{n}>0>x$，无贡献）：
- 当$x\in[-1,-\frac{1}{n}]$时，分子对应$f$在$[-1,x]$上的黎曼和缩放版，趋近于$2^{n\left[\int_{-1}}x f(t)dt + o(1)\right]$
- 当$x\in(-\frac{1}{n},0)$时，所有负半轴的点都$\leq-\frac{1}{n}<x$，分子等于负半轴总和，趋近于$2^{n\left[\int_{-1}}0 f(t)dt + o(1)\right]$，而$F(x)$在$x\to0^{-$时也趋近于$F(0)=\int_{-1}}0 f(t)dt$，符合连续点收敛要求。

（3）$F_n(x)$的极限

将分子分母的极限代入，$2^n$项会约去，最终得到：
$$\lim_{n\to\infty}F_n(x) = \frac{\int_{-1}^x f(t)dt}{1} = F(x)$$

需要注意的关键细节

归一化的有效性：分母始终为正且趋近于1，不会出现趋近于0的情况，保证了$f_n(t)$是合法的概率质量函数。
黎曼和的收敛性：同侧点间距$\frac{1}{2^{n}$趋近于0，满足黎曼和收敛到积分的条件，确保了缩放后的和能正确逼近积分的$2}n$倍。
原点空隙的影响：正负半轴之间的空隙$2/n$虽然收敛速率慢于同侧点的$1/2^n$，但当$n\to\infty$时空隙趋近于0，对任意固定的$x$，当$n$足够大时，空隙不会阻碍离散点覆盖到$x$附近，因此不影响CDF的点态收敛。