关于函数序列一致收敛性的问题求助

嘿，我来帮你理清楚这个一致收敛的验证思路～你已经搞清楚了逐点收敛的结论，现在卡在一致收敛的绝对值估计上，我们可以分区间逐个拆解分析，重点突破那些非零差值的区间：

首先回忆一致收敛的核心逻辑：**对任意小的ε>0，是否存在足够大的N，当n>N时，所有实数t都满足|fₙ(t)-e^{(-t²)|<ε**。我们需要检查每个区间内|fₙ(t)-e}(-t²)|的上确界，再看整个实数域上的上确界是否随着n→∞趋于0。

分区间详细分析 #

1. 区间[-n, n]：这里差值直接为0，完全不需要额外处理，是最省心的部分。

2. 区间[n, n+1/n]：我们做个变量替换简化计算，令s = t - n，那么s ∈ [0, 1/n)，此时t = n + s，代入后：

   • (e^{-t2} = e^{-(n+s)2} = e^{-n2} \cdot e^{-s(2n+s)})
   • (f_n(t) = \frac{e^{-n2}}{1 - ns})
     差值可以改写为：
     [
     |f_n(t)-e^{-t2}| = e^{-n2} \cdot \left| \frac{1}{1-ns} - e^{-s(2n+s)} \right|
     ]
     现在观察这个表达式的变化：当s趋近于1/n⁻时，1-ns趋近于0⁺，所以1/(1-ns)会趋近于正无穷；而e^{-s(2n+s)} = e^{-(2ns + s²)}，当s→1/n⁻时，2ns→2，这个指数项会趋近于固定常数e^{-2}。

   这里有个关键的取点技巧：我们取t = n + \frac{1}{n} - \frac{1}{n e^{n²}}，对应的s = \frac{1}{n} - \frac{1}{n e^{n²}}，代入计算：

   • 1 - ns = 1 - n \cdot (\frac{1}{n} - \frac{1}{n e^{n²}}) = \frac{1}{e^{n²}}，所以f_n(t) = \frac{e^{-n²}}{1/e^{n²}} = 1
   • 而e^{-t²} = e^{-(n + \frac{1}{n} - \frac{1}{n e^{n²}})^2} = e^{-n² - 2 + o(1)}，当n很大时，e^{-n²}是指数衰减项，这个值会趋近于0
     此时|f_n(t)-e^{-t²}| ≈ 1 - 0 = 1，这个差值不会随着n增大而趋近于0，甚至始终接近1。

3. 区间[-n-1/n, -n]：和上面的区间完全对称，同样能找到类似的点，使得差值接近1，不趋于0。

4. 区间|t|≥n+1/n：这里差值是e^{-t²}，它的最大值出现在t=±(n+1/n)处，即e^{-(n+1/n)^2} = e^{-n² -2 -1/n²}，这个值随着n增大指数衰减到0，所以这个区间的差值不会影响一致收敛的判断。

最终结论 #

因为存在一系列t_n（比如刚才构造的点），使得|f_n(t_n)-e^{-t²(t_n)}|不趋于0，所以这个函数序列不一致收敛到e^{-t²}。

备注：内容来源于stack exchange，提问作者neelkanth