控制收敛定理

1. 公式
   观察依据

   黑板上显示$f_n \to f$、$x \in [a,b]$。

2. 声音
   观察依据

   主讲人说存在一类函数 $f_n$ 在某个区间上趋近于某个特定函数 $f$ on an interval $a,b$。

$f_n$

在所述区间上收敛于$f$的函数序列或函数类。

以$n$为下标的函数，在$x \in [a,b]$处取值。

1. 公式
   观察依据

   黑板上显示$f_n \to f$、$x \in [a,b]$。

2. 声音
   观察依据

   说话人将极限函数命名为$f$。

f

由$f_n$所逼近的极限函数。

定义在$[a,b]$上的函数。

1. 公式
   观察依据

   黑板上在两条假设行中均显示$x \in [a,b]$。

2. 声音
   观察依据

   主讲人重复“在某个区间上 $a,b$”和“对所有 $n$ 和 $x$ 在该区间上 $a,b$。”

$x \in [a,b]$

点变量$x$被限制在从$a$到$b$的闭区间内。

实数区间$[a,b]$。

1. 公式
   观察依据

   黑板显示$\exists g$，满足$|g| \ge |f_n|$、$x \in [a,b]$、$\forall n$、$\int_a^b g dx < \infty$。

2. 声音
   观察依据

   主讲人说存在一个函数 $g$，使得 $g$ 的绝对值大于或等于 $f_n$ 对所有 $n$ 且 $x$ 在 $[a,b]$，且 $\int_a^b g dx$ 不发散。

1. 黑板使用$|g|$而非更常见的$g$作为非负控制函数；视频未单独讨论可测性或符号约定。

g

在控制收敛定理（DCT）假设中所用的控制函数。

定义在$[a,b]$上、积分值有限的函数，如所示。

1. 公式
   观察依据

   黑板显示$\int_a^b g dx < \infty$和$\int_a^b \sum f_n dx = \sum \int_a^b f_n dx$。

2. 声音
   观察依据

   主讲人读出从$a$到$b$对$g$的定积分，再读出从$a$到$b$对$f_n$之和的定积分。

$\int_a^b$

在区间$[a,b]$上的定积分。

应用于所展示公式中的$g$、$f_n$和$\sum f_n$。

1. 公式
   观察依据

   黑板结论行显示$\int_a^b \sum f_n dx = \sum \int_a^b f_n dx$。

2. 声音
   观察依据

   主讲人指出：和的积分等于积分的和。

1. 结论行未显式写出求和指标；上下文表明这是对$n$求和。

2. 黑板上使用的是$\sum f_n$，而非完全显式的$\sum_{n=1}^{\infty} f_n(x)$。

$\sum f_n$

对函数序列$f_n$求和，并在控制收敛定理（DCT）结论中逐项积分。

定义在$[a,b]$上的函数级数。

1. 公式
   观察依据

   黑板左下区域显示$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}$。

2. 声音
   观察依据

   主讲人表示将利用幂级数计算余弦函数的积分。

$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}$

余弦函数的麦克劳林幂级数。

实变量$x$；在该例中，积分区间为$[0,\pi/2]$。

1. 声音
   观察依据

   主讲人说：“利用幂级数计算余弦$x$从零到二分之π的积分。”

2. 公式
   观察依据

   剪辑之后，黑板上先显示$\int_0^{\pi/2} \cos x\,dx$，随后显示$\sin x\big|_0^{\pi/2}$。

[0,$\pi/2$]

例题中所用的闭合积分区间。

从$0$到$\pi/2$的实数区间。

1. 公式
   观察依据

   幂级数的分母写作$(2n)!$。

(2n)!

$2n$的阶乘，出现在余弦函数的麦克劳林级数中。

对整数$n \ge 0$定义。

1. 公式
   观察依据

   黑板上展示了幂级数恒等式$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!}x^{2n}$。

$\cos x$

余弦函数在所演示的积分中，由其麦克劳林幂级数表示。

实变量$x$；在例题中用于区间$[0,\pi/2]$。

1. 公式
   观察依据

   求和指标在整个级数表达式中写作$n=0$到$\infty$。

$\sum_{n=0}^{\infty}$

对非负整数进行的无穷求和，这些整数用于标记幂级数的各项。

对应的式子为：$n\in\{0,1,2,\dots\}$。

1. 声音
   观察依据

   说话人指出，“二n阶乘乘以二n加一”可合并为一个阶乘。

(2n)!

$2n$的阶乘，作为余弦级数中系数的分母出现。

对整数$n\ge 0$定义。

1. 声音
   观察依据

   主讲人介绍了“控制收敛定理”，简称DCT。

2. 公式
   观察依据

   黑板标题为“控制收敛定理”。

本视频将DCT呈现为一个关于在控制条件下交换积分与无穷级数顺序的定理。主讲人明确指出，不涉及完整的测度论证明，而是给出其“与微积分BC课程相关的核心陈述”。

1. 以面向微积分的形式呈现，而非完整的测度论证明。

1. 公式
   观察依据

   黑板上的行式：$f_n \to f$，$x \in [a,b]$。

2. 声音
   观察依据

   主讲人指出存在一类函数 $f_n$ 收敛于某个特定函数 $f$ 在区间 $a,b$。

1. 除记号$f_n \to f$外，未指明收敛类型；视频未明确说明是逐点收敛、一致收敛还是几乎处处收敛。

第一个给定条件是函数序列 $f_n$ 收敛于函数 $f$ 在区间 $[a,b]$ 上。这一条件在黑板上写出，并被朗读出来，作为该定理的前提设定。

1. $f_n \to f$在$x \in [a,b]$上。

1. 控制收敛定理（DCT）以微积分水平可理解的形式陈述。

1. 公式
   观察依据

   黑板行：$\exists g$满足$|g| \ge |f_n|$、$x \in [a,b]$、$\forall n$。

2. 声音
   观察依据

   讲话者指出存在一个函数 $g$ ，使得 $g$ 的绝对值大于或等于 $f_n$ 的绝对值，对所有 $n$ 和 $x$ 在区间 $a,b$ 上成立。

1. 黑板使用$|g| \ge |f_n|$而非更常见的$|f_n| \le g$（含$g \ge 0$）；视频未讨论这一记号选择。

第二个条件是存在一个函数 $g$ 主导所有 $f_n$ 在该区间上的绝对值，且在 $n$ 上一致成立。在视频的表述中，$|g|$ 大于或等于 $|f_n|$ 对每个 $n$ 和每个 $x \in [a,b]$。

1. 存在$g$，使得$|g(x)| \ge |f_n(x)|$对所有$n$和所有$x \in [a,b]$成立。

1. 控制收敛定理（DCT）以微积分水平可理解的形式陈述。

1. 公式
   观察依据

   黑板行包含$\int_a^b g dx < \infty$。

2. 声音
   观察依据

   主讲人说从 $a$ 到 $b$ 的 $g$ 积分不发散，且其积分值有限。

1. 黑板以$g$书写该条件，而非$|g|$；视频未单独说明此处意指$g$还是$|g|$的可积性。

所展示的最后一个假设是：控制函数在$[a,b]$上的积分有限。主讲人将其转述为该积分“不发散”。

1. 黑板上所写的$\int_a^b g(x)\,dx < \infty$。

1. 第二条控制收敛定理（DCT）假设：由$g$控制。

1. 公式
   观察依据

   黑板结论：$\int_a^b \sum f_n dx = \sum \int_a^b f_n dx$。

2. 声音
   观察依据

   说话人指出，从$a$到$b$对$f_n$求和的积分，等于分别从$a$到$b$对$f_n$积分后再求和。

1. 黑板上求和指标为隐含形式；上下文表明这是对$n$求和。

2. 视频未明确将左侧的$\sum f_n$与先前的极限函数$f$关联起来。

在所述假设条件下，该定理允许将定义在$[a,b]$上的定积分与无穷级数交换次序，从而实现逐项积分。

1. 假定此前已陈述的收敛性、控制性及有限积分条件均成立。

1. 第一项DCT假设：$f_n$ 在 $f$ 上收敛于 $[a,b]$
2. 第二条控制收敛定理（DCT）假设：由$g$控制。
3. 第三条控制收敛定理（DCT）假设：控制函数的积分有限。

1. 公式
   观察依据

   黑板显示$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}$。

2. 声音
   观察依据

   说话人表示将利用幂级数计算余弦函数的积分。

该例始于$\cos x$的标准麦克劳林级数，黑板上明确写出其为一个分母含阶乘的交错偶次幂级数。

1. 用作例题积分计算的起始恒等式。

1. 声音
   观察依据

   说话人说：“现在我们可以使用控制收敛定理（DCT）。”

该片段使用控制收敛定理，作为交换无穷级数与定积分次序的理论依据。在此例中，定理的应用前提是先验证级数各项在积分区间上满足一个简单的统一控制条件。

1. 用于证明求和与积分可交换次序。

2. 控制条件的验证针对区间$[0,\pi/2]$进行。

1. 声音
   观察依据

   说话人提到“负一的 n 次方除以二 n 阶乘，再乘以 x 的二 n 次方”这一项。

该例从$\cos x$的麦克劳林级数出发，将余弦函数表示为关于$x$的偶次幂的无穷幂级数，各项符号交替，分母为阶乘。

1. $\cos x$的标准幂级数表示。

2. 在本题演算中，该定理被应用于$[0,\pi/2]$。

1. 声音
   观察依据

   接着他说：“因此，$g(x)$ 等于一实际上满足我们的全部条件。”

1. 黑板上未单独写出支配步骤所对应的不等式行；该步骤是在指向级数项的同时口头说明的。

2. 精确的绝对值记号并未显示，但根据上下文可明确看出所指的支配条件。

为应用控制收敛定理（DCT），主讲人验证余弦级数的每一项在模长上均被$1$在区间$[0,\pi/2]$上所控制。这使得常值函数$g(x)=1$成为逐项积分论证中一个可接受的控制函数。

1. 适用于闭区间$[0,\pi/2]$。

2. 对每个$n\ge 0$均成立。

3. 专门用于满足交换求和与积分顺序前所必需的支配性假设。

1. 控制收敛定理（DCT）
2. 余弦函数的幂级数

1. 声音
   观察依据

   主讲人称，控制收敛定理（DCT）允许我们“交换求和与积分”。

在支配条件得到验证后，余弦级数的积分被重写为各项积分之和。这是本片段中控制收敛定理（DCT）所支持的核心步骤。

1. 要求在此步骤之前刚刚验证过的支配条件。

2. 应用于$[0,\pi/2]$。

1. 控制收敛定理（DCT）
2. 被常函数1所支配
3. 余弦函数的幂级数

1. 声音
   观察依据

   主讲人称，该因子可从积分中提出，因为“它相对于 dx 来说只是一个常数。”

在交换求和与积分顺序之后，系数$\frac{(-1)^n}{(2n)!}$不再依赖于积分变量$x$，因此被提到积分号外，从而将剩余任务简化为对$x^{2n}$的积分。

1. 成立，因为$\frac{(-1)^n}{(2n)!}$关于$x$是常数（对每个固定的$n$）。

2. 在逐项积分已被证明有效之后执行。

1. 交换求和与积分

1. 声音
   观察依据

   The speaker says, “we can just integrate x to the two n in general,” producing $x$在$2n+1$上的积分$2n+1$在端点处的取值。

每个剩余的积分都是基本的单项式积分。幂函数积分法则将指数加一，再除以新的指数，从而为级数中的每一项给出一个显式的原函数。

1. 对每个固定的整数$n\ge 0$使用。

2. 此处对$[0,\pi/2]$进行求值。

1. 将依赖于$n$的系数从积分中提出

1. 公式
   观察依据

   黑板上依次列出该定理的前提条件与结论。

2. 声音
   观察依据

   主讲人逐一口述每个条件，然后陈述结果。

1. 视频未明确说明$f_n \to f$中收敛的具体模式。

2. 黑板对$|g| \ge |f_n|$和$\int_a^b g dx < \infty$的使用方式与某些标准教材的表述不同；本片段未解释这一选择。

若 $f_n \to f$ 在 $[a,b]$，若存在 $g$ 使得 $|g| \ge |f_n|$ 对所有 $n$ 及所有 $x \in [a,b]$，且若 $\int_a^b g\,dx < \infty$，则 $\int_a^b \sum f_n\,dx = \sum \int_a^b f_n\,dx$。

1. $f_n \to f$对$x \in [a,b]$成立

2. 存在$g$，使得$|g| \ge |f_n|$对所有$n$和所有$x \in [a,b]$成立。

3. 对应的式子为：$\int_a^b g\,dx < \infty$

支配条件中涉及所有$n$和所有$x \in [a,b]$；结论是积分的和与和的积分相等。

1. 声音
   观察依据

   主讲人指出这些条件很重要，因为若不满足它们，这一理想结论未必成立。

2. 公式
   观察依据

   方框反例文字：$e^{2x}$“控制”$e^x$于$[0,\infty)$上，但$\int_0^{\infty} e^{2x} dx$发散。

1. 该例子以警示性图示形式呈现，而非针对黑板上所写精确定理陈述的完整形式化反例。

若单调收敛定理（DCT）的条件未被满足，则和的积分与积分的和之间的等式未必成立。

1. 至少有一个单调收敛定理（DCT）的条件不成立。

2. 视频通过一个积分发散的控制函数来演示该失效情形。

存在性警示：当假设条件缺失时，结论可能不成立。

1. 公式
   观察依据

   黑板上展示了从$\int_0^{\pi/2}\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}x^{2n}\,dx$到$\sum_{n=0}^{\infty}\int_0^{\pi/2}\frac{(-1)^n}{(2n)!}x^{2n}\,dx$的过渡过程。

1. 未写出控制收敛定理（DCT）的完整严格表述；仅展示了其在此例中的应用。

由于级数各项在$[0,\pi/2]$上被一致控制，控制收敛定理允许将无穷级数与定积分的顺序互换：$\int_0^{\pi/2}\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}x^{2n}\,dx = \sum_{n=0}^{\infty}\int_0^{\pi/2}\frac{(-1)^n}{(2n)!}x^{2n}\,dx$。

1. 被积函数由余弦函数的幂级数表示。

2. 每一项的绝对值均被一个在$[0,\pi/2]$上可积的控制函数所界定。

3. 此处选取的控制函数为$g(x)=1$。

在控制性检验中，对所有$n\ge 0$及所有$x\in[0,\pi/2]$均成立；结论是某个定积分等于一列定积分的无穷级数之和。

1. 声音
   观察依据

   主讲人指出该题答案为一。

利用所展示的幂级数及控制收敛定理论证，$\int_0^{\pi/2}\cos x\,dx = 1$。

1. 从$\cos x = \sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}x^{2n}$开始。

2. 应用黑板上展示的控制收敛性检验与逐项积分。

3. 识别所得级数为正弦级数。

关于积分区间$[0,\pi/2]$的定积分的一个确定数值等式。

1. 声音
   观察依据

   主讲人表示将使用幂级数来计算 $\int \cos x$ 从 $0$ 到 $\pi/2$ 的值，然后对等式两边从 $0$ 到 $\pi/2$ 关于 $dx$。

2. 公式
   观察依据

   剪辑前，黑板上显示的是$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}$。

3. 公式
   观察依据

   剪辑后，黑板上显示的是积分后的级数、求原函数步骤，以及最终用方框标出的答案$1$。

1. 剪辑后代数运算的实际口述解释未出现在所提供音频中；仅能获取剪辑后黑板上的视觉内容。

2. 该片段未通过语音验证此余弦级数例子是否满足单调收敛定理（DCT）的具体条件。

1. 公式

   $$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}$$
   解释

   从余弦函数的麦克劳林级数出发。

   步骤依据

   黑板上展示的标准幂级数恒等式。

   视频直接表达
2. 公式

   $$\int_0^{\pi/2} \cos x\,dx = \int_0^{\pi/2} \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} x^{2n}\,dx$$
   解释

   对余弦级数的两边在区间$[0,\pi/2]$上进行积分。

   步骤依据

   说话人用口头陈述，并在剪辑之后于黑板上展示。

   视频直接表达
3. 公式

   $$= \sum_{n=0}^{\infty} \int_0^{\pi/2} \frac{(-1)^n}{(2n)!} x^{2n}\,dx$$
   解释

   交换积分号与无穷级数求和号。

   步骤依据

   这是由控制收敛定理（DCT）讨论所启发的逐项积分步骤，尽管该片段未以语音方式验证此例中所需的假设条件。

   视频直接表达
4. 公式

   $$= \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!} \cdot \frac{x^{2n+1}}{2n+1} \Big|_0^{\pi/2}$$
   解释

   对每一项单项式$x^{2n}$进行积分，得到$x^{2n+1}/(2n+1)$，并保留常数因子$(-1)^n/(2n)!$。

   步骤依据

   幂函数积分法则，在剪辑之后于黑板上可见。

   视频直接表达
5. 公式

   $$= \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)!} \left(\frac{\pi}{2}\right)^{2n+1}$$
   解释

   利用$(2n+1)(2n)!=(2n+1)!$化简系数，并在上限处求值；下限贡献为$0$。

   步骤依据

   代数化简与微积分基本定理，在剪辑之后于黑板上展示。

   视频直接表达
6. 公式

   $$= \sin\left(\frac{\pi}{2}\right)$$
   解释

   识别所得级数即为正弦函数的麦克劳林级数在$\pi/2$处的取值。

   步骤依据

   正弦函数幂级数的标准展开式；剪辑后黑板上可见。

   视频直接表达
7. 公式

   $$= 1$$
   解释

   得出该定积分的值。

   步骤依据

   直接计算$\sin(\pi/2)$，剪辑后黑板上已加框。

   视频直接表达

例题通过逐项积分余弦函数的幂级数，并识别出所得的正弦级数，从而得到$\int_0^{\pi/2} \cos x\,dx = 1$。

1. 声音
   观察依据

   主讲人按顺序叙述每个主要步骤：控制收敛性检验、交换求和与积分次序、提出常数因子、对$x^{2n}$积分、合并阶乘、识别正弦函数、计算端点值。

1. 部分中间代数运算在视觉上被压缩；例如，控制不等式是口述的，而未在黑板上单独写出。

1. 公式

   $$\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n)!}x^{2n}$$
   解释

   从余弦函数的麦克劳林级数出发。

   步骤依据

   首行黑板上展示的标准幂级数展开式。

   视频直接表达
2. 公式

   $$\left|\frac{(-1)^n}{(2n)!}x^{2n}\right| \le 1 \quad \text{for } x\in[0,\pi/2],\ n\ge 0$$
   解释

   验证级数每一项在积分区间上均被$1$所控制。

   步骤依据

   口述的控制条件用于满足控制收敛定理（DCT）所需的假设。

   视频直接表达
3. 公式

   $$\int_0^{\pi/2}\cos x\,dx = \int_0^{\pi/2}\sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}x^{2n}\,dx$$
   解释

   将余弦级数代入该定积分。

   步骤依据

   直接将$\cos x$替换为其幂级数。

   视频直接表达
4. 公式

   $$= \sum_{n=0}^{\infty}\int_0^{\pi/2}\frac{(-1)^n}{(2n)!}x^{2n}\,dx$$
   解释

   交换求和与积分的顺序。

   步骤依据

   在完成控制函数验证后，由控制收敛定理保证该交换是允许的。

   视频直接表达
5. 公式

   $$= \sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}\int_0^{\pi/2}x^{2n}\,dx$$
   解释

   将依赖于$n$的系数移至每个积分号外。

   步骤依据

   积分关于变量$x$中的常数具有线性性。

   视频直接表达
6. 公式

   $$= \sum_{n=0}^{\infty}\frac{(-1)^n}{(2n)!}\left.\frac{x^{2n+1}}{2n+1}\right|_0^{\pi/2}$$
   解释

   对单项式$x^{2n}$进行积分。

   步骤依据

   幂函数的积分法则。

   视频直接表达
7. 公式

   $$= \sum_{n=0}^{\infty}\frac{(-1)^n}{(2n+1)!}x^{2n+1}\Big|_0^{\pi/2}$$
   解释

   将$(2n)!$与$2n+1$合并为$(2n+1)!$。

   步骤依据

   阶乘恒等式$(2n)!(2n+1)=(2n+1)!$。

   视频直接表达
8. 公式

   $$= \sin x\Big|_0^{\pi/2}$$
   解释

   识别所得级数为$\sin x$的麦克劳林级数。

   步骤依据

   讲话者所陈述的标准正弦函数幂级数识别。

   视频直接表达
9. 公式

   $$= \sin\left(\frac{\pi}{2}\right)-\sin(0)=1-0=1$$
   解释

   代入端点值以得到最终的数值结果。

   步骤依据

   微积分基本定理的端点求值，加上标准正弦函数值。

   视频直接表达

所展示的推导过程在所示方法内证明了$\int_0^{\pi/2}\cos x\,dx=1$。

1. 公式
   观察依据

   方框板书文字：$e^{2x}$“控制”$e^x$于$[0,\infty)$上，但$\int_0^{\infty} e^{2x} dx$发散。

2. 声音
   观察依据

   主讲人指出，若条件不满足，则这一理想结论未必成立，并给出这个指数函数例子。

1. 该例子仅作示意之用；本片段并未完整、严格地推导出某个具体级数等式的矛盾。

通过考察一个较大函数控制较小函数、但其积分却发散的情形，说明DCT型假设条件的重要性。

1. 在$[0,\infty)$上，$e^{2x}$被称作控制$e^x$。

2. $\int_0^{\infty} e^{2x}\,dx$发散。

解释说明：若缺乏适当的控制条件及有限积分条件，则所期望的交换运算结果可能不成立。

1. 公式

   $$e^{2x} \text{ dominates } e^x \text{ on } [0,\infty)$$
   解释

   在半直线上，较大的指数函数控制着较小的指数函数。

   步骤依据

   在黑板上和音频中均已陈述。

   视频直接表达
2. 公式

   $$\int_0^{\infty} e^{2x}\,dx \text{ diverges}$$
   解释

   尽管存在控制关系，所提出的控制函数的积分却是发散的。

   步骤依据

   在黑板上和音频中均已陈述。

   视频直接表达
3. 公式

   $$\text{Therefore the “nice result” need not hold.}$$
   解释

   该例子用于说明为何有限积分假设是必不可少的。

   步骤依据

   主讲人的解释性结论。

   视频直接表达