变限积分函数：定义、原函数关系与求导法则

今日学习地图

本次费曼主题：变限积分函数——昨天学牛顿-莱布尼茨公式时埋的钩子（“证明要用变上限积分这个工具”），今天就是这个工具登场，同时把"连续函数必有原函数"的证明闭环。

变限积分函数
├── 定义
│   ├── Φ(x) = ∫ₐˣ f(t)dt 是关于上限 x 的函数
│   ├── 积分变量 t 是哑变量，上限 x 是自由变量（要区分）
│   └── 几何意义：面积函数（阴影从 a 累计到 x）
├── 连续性与可导性
│   ├── f 可积 ⇒ Φ 存在且连续
│   └── f 连续 ⇒ Φ 可导且 Φ' = f
├── 与原函数的关系（核心）
│   ├── Φ'(x) = f(x)：完整证明（导数定义 + 中值定理）
│   └── 推论：连续函数必有原函数（存在性定理闭环）
├── 求导法则
│   ├── 上限 φ(x)：f(φ(x))·φ'(x)
│   ├── 上下限都是函数：上限贡献正、下限贡献负
│   └── 本质：链式法则
└── 被积函数含 x 的处理
    ├── 能分离就提 x（x 相对 t 是常数）
    └── 不能分离就凑微分换元（u = x²−t²）

本次需要重点关注的内容：

• 可积、连续、可导三个门槛——本课最大纠偏点：可积 → 变限积分存在且连续；连续 → 变限积分可导。用户两次滑落（说成"可导才有定积分"、“连续才有定积分”）。
• Φ’(x) = f(x) 的完整证明——导数定义 + 区间可加性 + 积分中值定理 + 夹逼，四步闭环。
• 原函数存在性定理闭环——变上限积分就是原函数，昨天的"连续必有原函数"今天证明完成。
• 被积函数含 x 的两条路——分离提 x / 凑微分换元。

概念精拆

一、定义：变限积分函数是什么

Important

变限积分函数定义

设 $f(x)$ 在 $[a,b]$ 上连续（或可积），则对任意 $x \in [a,b]$，定积分 $\displaystyle\int_a^x f(t)\,dt$ 都有唯一确定的值，由此定义一个关于 $x$ 的函数：$\Phi(x) = \displaystyle\int_a^x f(t)\,dt$

两个关键理解：

1. 它是关于上限 x 的函数：对每个 $x$，积分 $\int_a^x f(t)dt$ 有一个确定的值与之对应——$x$ 是自变量，积分值是因变量。
2. 积分里的 t 是哑变量，外面的 x 是自由变量：$\int_a^x f(t)dt$ 里的 t 只是求和记号，换成 u、换成 s 都行；真正决定积分值的是上限 $x$。这个区分是理解变限积分的第一关，也是昨天积分方程题（$f(x) = x + \int_0^1 tf(t)dt$）里"外面 x 自由、积分里 t 哑"的同一回事。

几何意义：面积函数。$\Phi(x)$ 表示从 $a$ 到 $x$ 的累计面积——$x$ 移动，阴影面积跟着变：

二、连续性与可导性（两个门槛）

Important

变限积分的两层性质

1. f 可积（有界 + 间断点少）⇒ $\Phi(x)$ 存在，且 $\Phi$ 连续（不需要 f 连续！）
2. f 连续 ⇒ $\Phi$ 可导，且 $\Phi'(x) = f(x)$

注意区分：可积保证变限积分"存在且连续"，连续保证它"可导且导数等于 f"——两个门槛，一层比一层高。

Caution

可积、连续、可导不是一回事（本课最大纠偏）

• 定积分存在只需要可积（有界 + 间断点少），不需要连续、更不需要可导
• 反例：符号函数有跳跃间断点，不可导也不连续，但可积
• 方向是：可导 ⇒ 连续 ⇒ 可积，反过来都不成立

三、与原函数的关系（核心定理）

Important

变限积分与原函数

若 $f(x)$ 在 $[a,b]$ 上连续，则 $\Phi(x) = \displaystyle\int_a^x f(t)\,dt$ 是 $f(x)$ 的一个原函数，即 $\Phi'(x) = f(x)$。

完整证明（用户讲述，搭档捋直）：

第一步：导数定义。 任取 $x_0 \in [a,b]$，让 $x \to x_0$：

第二步：区间可加性合并。 把第二个积分交换上下限变号，再和第一个拼起来：

（注意合并后的区间是 $x_0$ 到 $x$，不是 $a$ 到 $b$）

第三步：积分中值定理。 f 连续，所以存在 $\xi$ 介于 $x_0$ 和 $x$ 之间，使得：

第四步：约分 + 夹逼。 代入导数定义：

$x \to x_0$ 时，$\xi$ 被夹在 $x_0$ 和 $x$ 之间也被挤到 $x_0$，f 连续，所以 $\lim f(\xi) = f(x_0)$：

推论（存在性定理闭环）：既然 $\Phi$ 可导且 $\Phi' = f$，$\Phi$ 就是 f 的一个原函数——“连续函数必有原函数"被证明出来了。昨天的原函数存在性定理（连续 ⇒ 有原函数）在这里闭环。

三个身份是同一个东西：变上限积分 = 面积函数 = f 的原函数。

四、求导法则（链式法则的应用）

Important

变限积分求导法则

1. 上限是 $\varphi(x)$：$\displaystyle\frac{d}{dx}\int_a^{\varphi(x)} f(t)\,dt = f(\varphi(x))\cdot\varphi'(x)$
2. 上下限都是函数：$\displaystyle\frac{d}{dx}\int_{\psi(x)}^{\varphi(x)} f(t)\,dt = f(\varphi(x))\cdot\varphi'(x) - f(\psi(x))\cdot\psi'(x)$

本质是链式法则：$\Phi(x) = \int_a^x f(t)dt$ 是 x 的函数，上限变成 $\varphi(x)$ 就是复合函数 $\Phi(\varphi(x))$，求导 $= \Phi'(\varphi(x))\cdot\varphi'(x) = f(\varphi(x))\cdot\varphi'(x)$。上下限都是函数时，把积分拆成 $\int_a^{\varphi(x)} - \int_a^{\psi(x)}$ 两部分，各自求导相减——上限贡献正、下限贡献负。

五、被积函数含 x 的处理（两条路）

变限积分里被积函数可能混着 x（比如 $\int_a^x e^{x-t}f(t)dt$、$\int_0^x t\sqrt{x^2-t^2}\,dt$）——此时 x 相对积分变量 t 是常数，两条路：

路一：能分离就提 x。 被积函数里 x 的部分如果能分离出来（如 $e^{x-t} = e^x\cdot e^{-t}$），把 $e^x$ 提到积分号外，剩下的只是 t 的表达式。结合极限题时，非零因子可以提前算出来，剩下的用洛必达（正好用变限积分求导）。

路二：不能分离就凑微分换元。 看到 $x^2 - t^2$ 配 $t$ 这种组合，凑微分：$d(x^2 - t^2) = -2t\,dt$，令 $u = x^2 - t^2$ 整体换元，t 的部分被 dt 吸收。换元必换限：t 的下限 a → $u = x^2 - a^2$，t 的上限 x → $u = 0$。

题目实战

题 1：凑微分换元（路二标准题）

计算 $\displaystyle\int_0^x t\sqrt{x^2-t^2}\,dt$（x 是参数）。

第一步：识别组合。 被积函数含 $x^2 - t^2$ 配 $t$——凑微分信号：$d(x^2-t^2) = -2t\,dt$，所以 $t\,dt = -\frac{1}{2}du$。

第二步：换元。 令 $u = x^2 - t^2$，换元必换限：$t=0 \Rightarrow u = x^2$，$t = x \Rightarrow u = 0$：

第三步：积分。

验证：$x=1$ 时原积分 $\int_0^1 t\sqrt{1-t^2}dt = \left[-\frac{1}{3}(1-t^2)^{3/2}\right]_0^1 = \frac{1}{3}$，与 $\frac{x^3}{3}$ 在 $x=1$ 处一致 ✓

注意：这里不能直接套"上限代入”（被积函数含 x），所以用换元后的结果验证。

题 2：变限积分求导（路一场景的基础）

求 $\displaystyle\frac{d}{dx}\int_0^{x^2}\sin(t^2)\,dt$。

第一步：识别上限是复合函数。 上限 $\varphi(x) = x^2$。

第二步：套法则。 $\displaystyle\frac{d}{dx}\int_0^{x^2}\sin(t^2)dt = \sin((x^2)^2)\cdot(x^2)' = \sin(x^4)\cdot 2x$

最终答案：$2x\sin(x^4)$。

题 3：分离提 x（路一）

计算 $\displaystyle\frac{d}{dx}\int_0^x x\,e^{t}\,dt$ 并化简。

第一步：分离。 x 相对 t 是常数，提出积分号：$\displaystyle\int_0^x x\,e^t dt = x\int_0^x e^t\,dt$。

第二步：乘积法则求导（前导后不导 + 前不导后导）：

最终答案：$e^x - 1 + xe^x$。

费曼交锋实录

交锋一：变限积分是 x 的函数（定义层）

用户的理解：变限积分函数说到底是一个关于 x 的函数，有自变量和因变量；积分里 f 的字母要换成 t，和外面的 x 区分开。

搭档确认：完全正确——外面 x 是自由变量（决定积分到哪），里面 t 是哑变量（求和记号）。这个区分和昨天的积分方程题一脉相承。

理解锚点：变限积分 = 面积函数，x 是"截止点"。

交锋二：Φ’(x) = f(x) 的完整证明

用户的证明：导数定义 → 区间合并（交换上下限变号）→ 积分中值定理（∃ξ 介于 x₀ 和 x）→ 约分 → x→x₀ 时 ξ→x₀，极限 f(x₀)。

搭档捋直：两处语音修正——合并后的区间是"x₀ 到 x"不是"a 到 b"；结论是 Φ’(x₀) = f(x₀)。

理解锚点：中值定理那一步是"连续"的用武之地。

交锋三：原函数存在性定理闭环

用户的推论：变上限积分可导且导数 = f，所以它就是原函数——“连续函数必有原函数"被证明出来。

搭档确认：这就是昨天存在性定理欠的证明，今天闭环。变上限积分 = 面积函数 = f 的原函数，三个身份同一个东西。

交锋四：可积、连续、可导三个门槛（本课最大纠偏）

用户的第一次表述：「只有可导才有积分，才有定积分」。

用户的第二次表述：「只有 f(x) 连续的话，它才有那个定积分」。

搭档的纠正：两次都不精确——

• 定积分存在只需要可积（有界 + 间断点少），符号函数可积但不可导也不连续
• 准确的链条：f 可积 ⇒ 变限积分存在且连续；f 连续 ⇒ 变限积分可导且 Φ’ = f
• 可导 ⇒ 连续 ⇒ 可积，方向单向

理解锚点：可积管"存在”，连续管"可导"，可导管"光滑"——三个词三个门槛。

交锋五：被积函数含 x 的两条路

用户的第一条路：混着 x 就换元把 x 换出来，能分离就提（e 的 x 可以挑出来，x 相对 t 是常数）；结合极限题时非零因子提前算，再洛必达。

用户的第二条路：看到 (x²−t²)·t 这种，凑微分 d(x²−t²) = −2t·dt，令 u = x²−t² 整体换元。

搭档确认：两条路都对，补了换元必换限（t 的上限 x → u = 0）。

理解锚点：能分离就提 x，不能分离就凑微分换元。

漏洞表

Caution

本课定义、证明、法则全部讲到位，主要漏洞集中在"可积/连续/可导"三个词的边界，以及语音口误。

本课固化口诀：

1. 变限积分 = 面积函数 = f 的原函数（三个身份一个东西）
2. 可积管"存在且连续"，连续管"可导且 Φ’ = f"
3. 求导法则 = 先代上限乘上限导数，下限贡献负号（本质是链式法则）
4. 被积函数含 x：能分离就提，不能分离就凑微分换元