含参反常积分的一致收敛应怎样定义?¶
先备知识¶
熟悉反常积分、函数列一致收敛与含参正常积分。
学习目标¶
能按量词写出两类一致收敛定义,并判断截断是否独立于参数。
牵引问题¶
每个参数都收敛时,为什么还可能无法统一交换运算?
探索与猜想¶
关键不只是每条尾巴最终变小,而是同一个截断要同时控制全部参数。
概念与理论¶
无穷区间¶
设 \(F_A(t)=\int_a^A f(x,t)\,dx\)。若存在 \(F:T\to\mathbb R\),且
就称 \(\int_a^\infty f(x,t)\,dx\) 关于 \(t\in T\) 一致收敛。这里的 \(A_0\) 不能依赖 \(t\)。
有限端点奇性¶
若 \(f\) 在 \(a\) 附近可能无界,令 \(G_\delta(t)=\int_{a+\delta}^b f(x,t)\,dx\)。要求
两类定义都是统一截断:无穷端把截断推远,奇端点把删去区间统一缩小。
例题与迁移¶
例 1:统一指数尾¶
若 \(t\ge1\),则 \(\int_A^\infty e^{-tx}dx\le e^{-A}\),故关于 \(t\in[1,\infty)\) 一致。
例 2:边界参数破坏统一性¶
\(\int_0^\infty e^{-tx}dx\) 对每个 \(t>0\) 收敛,但尾项 \(e^{-tA}/t\) 在 \(t\downarrow0\) 时不能由一个 \(A\) 统一控制。
即时检验与回望¶
即时检验 1¶
统一截断能依赖参数吗?
答案
不能;它只可依赖误差阈值。
即时检验 2¶
逐参数收敛是否推出一致收敛?
答案
不推出,靠近边界的参数可能需要越来越远的截断。
常见误区与后续¶
- “算了许多参数都稳定”不是全体参数的一致量词证明。
- 两端都反常时,应分别建立两端统一控制再合并误差。
习题与答案¶
习题 1¶
一致定义中哪个量可依赖 \(\varepsilon\)?
答案
截断阈值 \(A_0\) 或 \(\delta_0\)。
习题 2¶
\(A_0\) 可依赖 \(t\) 吗?
答案
不可。
习题 3¶
无穷端的方向是什么?
答案
令上限 \(A\to\infty\)。
习题 4¶
左奇端怎样截断?
答案
从 \(a+\delta\) 开始积分并令 \(\delta\downarrow0\)。
习题 5¶
若尾界为 \(e^{-A}\),怎样选 \(A_0\)?
答案
取 \(A_0>\log(1/\varepsilon)\)。
习题 6¶
一致收敛的极限是什么对象?
答案
参数函数 \(F(t)\)。
习题 7¶
有限截断稳定能否证明一致收敛?
答案
不能,它只检查有限样本和有限上限。
习题 8¶
两端反常时怎样分配误差?
答案
可让两端尾项分别小于 \(\varepsilon/2\)。
习题 9¶
参数集缩小会否更易一致?
答案
会,远离危险边界常能得到统一界。
习题 10¶
概括“一致”的核心。
答案
一个截断同时服务所有参数。