积分和复合积分

积分

积分号的几何直觉

连续世界里的“累加”积分符号：

\[\boxed{\int} \]

它被称为 积分号（integral sign），由莱布尼茨于 17 世纪引入。它本质是一个拉长的拉丁字母 S，源自拉丁语 summa（总和、求和）。

离散累加 (\(\sum\))：将有限或可数个离散量相加，\(\sum_{i=1}^n f(x_i)\Delta x\)。

连续累加 (\(\int\))：当微元划分无限细密（\(\Delta x \to 0\) 记为 \(dx\)）时：

\[\lim_{\Delta x \to 0}\sum f(x_i)\Delta x = \int f(x)\,dx \]

微分是将整体拆解为无限小的局部变动；积分则是将无限细分的局部变动重新汇总为宏观整体。

积分符号是：

\[\boxed{\int} \]

它叫 积分号（integral sign）。

如果你是在继续我们前面“数学符号的来源 + 直观含义”的学习路线，那么可以从这个角度理解：

1. ∫ 本质上是一个拉长的 S

它来自拉丁字母 S，最早是德国数学家 莱布尼茨（Leibniz）在 17 世纪使用的。

S 来自拉丁语 summa，意思是：

总和、合计（sum）

所以：

\[\int \]

最初想表达的思想就是：

把无数个极小的量加起来 → 求总和

---

2. 为什么积分像一个细长的 S？

例如：

\[\int_a^b f(x)\,dx \]

可以把它理解成：

\[f(x_1)\Delta x+f(x_2)\Delta x+\cdots+f(x_n)\Delta x \]

当 (\Delta x) 越来越小、分割越来越细时：

\[\sum f(x_i)\Delta x \quad\longrightarrow\quad \int_a^b f(x)\,dx \]

所以 积分的核心思想就是“累加”。

可以把两个符号放在一起理解：

\[\boxed{\sum} \qquad\text{和}\qquad \boxed{\int} \]

Σ：把有限个离散的量加起来。

∫：把无限细分后的连续小量累加起来。

因此可以把积分号 ∫ 记成：

∫ = 连续世界里的 Σ

---

3. dx 又是什么意思？

在

\[\int f(x)\,dx \]

中，dx 可以先直观理解成：

一个无限小的 x 方向长度

于是：

\[f(x)\,dx \]

就是一个非常窄的小矩形面积。

大量这样的“小面积”累加：

\[\boxed{\int f(x)\,dx} \]

就得到曲线下面积。

这也是为什么积分和我们前面讨论的方向、微分、导数能够自然连起来：

\[\text{微分：把整体拆成极小变化} \]

\[\text{积分：把极小变化重新累加成整体} \]

可以把它们看成一对互逆的思想。

复合积分

推导过程

\[\int \phi[y(x)] dx = \int \phi(y)/y' dy \]

这个式子本质上就是积分中的换元法（变量代换）。关键就在于把 (x) 换成 (y)，而 (dx) 要通过导数 (y') 转换。

给定：

\[\int \phi[y(x)]\,dx \]

希望把变量从 (x) 换成 (y)。

1. 先设

\[y=y(x) \]

那么对 (x) 求导：

\[\frac{dy}{dx}=y' \]

因此：

\[dy=y'\,dx \]

于是：

\[\boxed{dx=\frac{dy}{y'}} \]

这一步就是整个推导的核心。

2. 代回原积分

原式：

\[\int \phi[y(x)]\,dx \]

因为

\[y=y(x) \]

所以：

\[\phi[y(x)]=\phi(y) \]

同时：

\[dx=\frac{dy}{y'} \]

因此：

\[\int \phi[y(x)]\,dx = \int \phi(y)\frac{dy}{y'} \]

也就是：

\[\boxed{ \int \phi[y(x)]\,dx = \int \frac{\phi(y)}{y'}\,dy } \]

这里的 (y') 必须理解为：

\[y'=\frac{dy}{dx} \]

所以更完整地写：

\[\boxed{ \int \phi[y(x)]\,dx = \int \frac{\phi(y)} {\frac{dy}{dx}} \,dy } \]

3. 为什么这个转换很自然？

可以把它理解成积分变量的“尺度转换”。

原来是在 (x) 轴上累加：

\[\phi[y(x)]\,dx \]

现在改成在 (y) 轴上累加。

但一个 (dy) 对应多少个 (dx)？

由：

\[dy=y'dx \]

得到：

\[dx=\frac{dy}{y'} \]

所以：

\[\underbrace{\phi[y(x)]dx}_{x\text{尺度下的一小块}} = \underbrace{\phi(y)\frac{dy}{y'}}_{y\text{尺度下的同一小块}} \]

因此，除以 (y') 并不是凭空出现的，而是在把“小长度单位”从 (dx) 转换成 (dy)。

4. 用途和具体例子

用途

复合积分通过换元后，完成积分内部的统一。

开始是：$ \int \phi(y(x))dx $ ,这时 \(\phi\) 的自变量是 \(y(x)\) 不是 \(x\),而求导的是 \(dx\),这就是不一致，没法快速计算。

还原后：$ \int \frac{\phi(y)}{y'} dy$ 微分的变量和函数式一致，复合函数没有了，这样就可以用积分公式进行计算了。

举一个具体的例子

\[y=x^2 \]

那么：

\[y'=2x \]

考虑：

\[\int \phi(x^2)\,dx \]

令：

\[y=x^2 \]

则：

\[dy=2x\,dx \]

所以：

\[dx=\frac{dy}{2x} \]

因此：

\[\int\phi(x^2)\,dx = \int\frac{\phi(y)}{2x}\,dy \]

如果要完全用 (y) 表示，还需要利用：

\[x=\sqrt y \]

于是：

\[\boxed{ \int\phi(x^2)\,dx = \int\frac{\phi(y)}{2\sqrt y}\,dy } \]

如果\(\phi\) 给出一个具体的函数式就可以计算出来了。

这里就能看到换元法真正做的事情：

\[\boxed{ x \longrightarrow y } \]

同时：

\[\boxed{ dx \longrightarrow \frac{dy}{y'} } \]

所以你这个公式可以记成一个非常重要的结构：

\[\boxed{ \text{换变量} \quad y=y(x) \quad\Rightarrow\quad dx=\frac{dy}{y'} } \]

这实际上就是后面理解雅可比（Jacobian）的最简单的一维版本。

把难积分变成容易积分的形式

最直接的实际作用：把“难积分”变成“容易积分”

例如：

\[\int 2x\cos(x^2)\,dx \]

看到 (x^2)，令：

\[y=x^2 \]

那么：

\[dy=2x\,dx \]

所以：

\[\int 2x\cos(x^2)\,dx = \int\cos y\,dy = \sin y+C \]

最终：

\[\boxed{\sin(x^2)+C} \]

这里换元的作用就是：

找到一个更合适的坐标，让原来复杂的问题变简单。