怎样为连续性与极限交换建立条件检查表？¶

先备知识¶

掌握本章连续依赖定理、一致极限交换定理和移动尖峰反例。

学习目标¶

能在计算前列出对象、条件、估计和失败边界。

牵引问题¶

面对一个“把极限移进去”的步骤，怎样避免只凭公式相似就交换？

探索与猜想¶

先写清两个操作，再寻找把整体误差压到零的统一估计。

概念与理论¶

条件检查表¶

步骤	必答问题	合格证据
交换对象	哪个极限与哪个积分交换？	写出交换前后两个表达式
定义	每个积分及极限函数的积分是否存在？	Riemann 可积性证明
定理条件	使用联合连续还是一致收敛？	明确参数集、固定区域和量词
统一估计	什么量同时控制所有积分点？	上确界误差或一致连续尺度
条件用在何处	每个假设承担哪一步？	在证明链中逐项标注
失败边界	少掉条件会怎样？	可核算反例或定理不适用说明

交换对象¶

参数连续问题比较

\[ \lim_{t\to t_0}\int_a^b f(x,t)\,dx \quad\text{与}\quad \int_a^b\lim_{t\to t_0}f(x,t)\,dx. \]

函数列问题把 \(t\to t_0\) 换成 \(n\to\infty\)。两者形式相似，但前者常由紧集上的联合连续获得一致性，后者必须直接核对函数列的一致收敛。

定理条件¶

固定有限区域、截面可积以及一种可验证的一致控制是本章的三道门。条件检查表不是新定理；它负责选择已经证明的定理。

证明路线¶

统一使用

\[ \left|\int_D u-\int_D v\right| \le |D|\,\lVert u-v\rVert_\infty. \]

先证明右侧趋零，再得交换结论。

条件用在何处¶

固定有限区域提供 \(|D|<\infty\)；可积性使积分有定义；一致控制使上确界误差趋零。

失败边界¶

若只能证明逐点收敛，应停止交换并寻找额外控制，或构造移动尖峰测试该主张。

例题与迁移¶

例 1：联合连续路线¶

\(f(x,t)=\sin(tx)\) 在任意固定紧矩形上联合连续，因此先由一致连续得到参数连续性。

例 2：函数列路线¶

\(f_n(x)=x^n/n\) 在 \([0,1]\) 上满足上确界误差不超过 \(1/n\)，故可交换；仅写 \(x^n/n\to0\) 仍没有展示所用条件。

即时检验与回望¶

即时检验 1¶

交换前第一件事是什么？

答案

写出被交换的两个操作及交换前后的表达式。

即时检验 2¶

逐点收敛后应直接交换吗？

答案

不应；须补充可验证的一致控制或使用其他已证明定理。

常见误区与后续¶

条件检查表不能把未知条件“检查为真”，仍需证明。
第 43 章对微分交换需要控制差商或偏导，条件会更强。

习题与答案¶

习题 1¶

列出交换对象栏应写的内容。

答案

写清极限类型、积分区域以及交换前后两个式子。

习题 2¶

为什么先查定义？

答案

未定义的积分或极限函数积分不能参加等式。

习题 3¶

联合连续路线还需要什么几何条件？

答案

需要在包含所研究参数的固定紧区域上使用紧致性。

习题 4¶

一致收敛路线的核心数值量是什么？

答案

\(\lVert f_n-f\rVert_\infty\)。

习题 5¶

固定区域承担什么职责？

答案

它给出不随参数变化的有限区域大小因子。

习题 6¶

移动尖峰适合诊断哪类缺口？

答案

适合诊断只有逐点收敛而缺少一致控制的主张。

习题 7¶

公式计算得到相同答案是否证明交换合法？

答案

否；必须在交换前验证定理条件。

习题 8¶

若区域无界，本章估计缺少什么？

答案

缺少有限的区域大小，需要统一尾项控制。

习题 9¶

“条件用在何处”栏有何作用？

答案

防止列出未实际支撑证明的装饰性假设，也防止漏掉关键假设。

习题 10¶

微分交换为什么不能直接套本章结论？

答案

微分由差商极限定义，需要额外控制差商或偏导族。