简介：掌握积分的“捷径”

欢迎来到约化公式 (Reduction Formulae) 的世界！如果你曾经看着像 \(\int \sin^{10} x \, dx\) 这样的积分，心想：“难道除了做十次分部积分法（Integration by Parts）之外，就没有更好的办法了吗？”那么你来对地方了。

在 H3 数学中，我们会在 H2 微积分的基础上进一步延伸。约化公式本质上就是一条数学阶梯。它让我们能将一个高次方（如 \(n\)）的复杂积分，表示成一个次方较低（如 \(n-1\) 或 \(n-2\)）的简单版本。一旦建立了这种关系，我们就能顺着阶梯“逐级而下”，直到抵达一个可以直接得出答案的简单积分！

究竟什么是约化公式？

约化公式是一个方程，它将包含参数（通常是一个整数 \(n\)）的积分，链接到一个参数值较小的同类积分。

我们通常将这些积分记作 \(I_n\)。例如：
\(I_n = \int x^n e^x \, dx\)
此积分的约化公式看起来可能是 \(I_n = x^n e^x - n I_{n-1}\)。这告诉我们，如果想求 \(I_5\)，只需先求出 \(I_4\)，以此类推。

你知道吗？约化公式就像你在计算机科学中可能见过的“递归函数”（Recursive Functions）。它们通过将一个大问题拆解成该问题的一个稍小的版本来进行求解。

秘诀：分部积分法 (Integration by Parts, IBP)

要推导几乎所有的约化公式，我们都会用到 H2 的得力工具：分部积分法。
快速温习一下公式：
\( \int u \frac{dv}{dx} \, dx = uv - \int v \frac{du}{dx} \, dx \)

如果起初觉得棘手，不必担心！目标始终是选取 \(u\) 和 \(dv\)，使得第二个积分 (\( \int v \frac{du}{dx} \, dx \)) 看起来像原来的积分，只是次方降低了。

推导公式的步骤指南

1. 标记你的积分： 将原表达式称为 \(I_n\)。
2. 拆分项： 如果有 \(x^n\)，你可以保留它作为 \(u\)。如果你有 \(\sin^n x\)，可以将其拆分为 \(\sin^{n-1} x \cdot \sin x\)。
3. 运用 IBP： 对选定的 \(u\) 求导，并对选定的 \(dv\) 进行积分。
4. 重组： 将所有看起来像原积分的项移到方程的一侧。
5. 识别 \(I_{n-k}\)： 用标记（如 \(I_{n-1}\) 或 \(I_{n-2}\)）替换掉那个简化后的新积分。

快速回顾框：
- 目标： 将 \(I_n\) 与 \(I_{n-1}\) 或 \(I_{n-2}\) 连接起来。
- 主要工具： 分部积分法。
- 关键动作： 代数重组。

例题 1：代数幂次

让我们求 \(I_n = \int x^n e^x \, dx\) 的约化公式。

第 1 步：选择 u 和 dv。
令 \(u = x^n\) 且 \(\frac{dv}{dx} = e^x\)。
那么 \(\frac{du}{dx} = nx^{n-1}\) 且 \(v = e^x\)。

第 2 步：运用 IBP。
\(I_n = x^n e^x - \int (nx^{n-1}) e^x \, dx\)

第 3 步：简化并建立联系。
我们可以将常数 \(n\) 提到积分符号外：
\(I_n = x^n e^x - n \int x^{n-1} e^x \, dx\)
注意 \(\int x^{n-1} e^x \, dx\) 正是我们原来的 \(I_n\)，只是把 \(n\) 换成了 \(n-1\)！
所以，\(I_n = x^n e^x - n I_{n-1}\)。

登登！你刚刚推导出了你的第一个约化公式。

例题 2：三角函数的技巧

有时在 IBP 之后，你需要用到三角恒等式。让我们看看 \(I_n = \int \sin^n x \, dx\)。

技巧： 将 \(\sin^n x\) 拆分为 \(\sin^{n-1} x \cdot \sin x\)。
令 \(u = \sin^{n-1} x\) 且 \(\frac{dv}{dx} = \sin x\)。
对 \(u\) 求导：\(\frac{du}{dx} = (n-1)\sin^{n-2} x \cos x\)。
对 \(dv\) 积分：\(v = -\cos x\)。

运用 IBP：
\(I_n = -\sin^{n-1} x \cos x - \int (-\cos x)(n-1)\sin^{n-2} x \cos x \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x \cos^2 x \, dx\)

恒等式： 使用 \(\cos^2 x = 1 - \sin^2 x\)。
\(I_n = -\sin^{n-1} x \cos x + (n-1) \int \sin^{n-2} x (1 - \sin^2 x) \, dx\)
\(I_n = -\sin^{n-1} x \cos x + (n-1) [\int \sin^{n-2} x \, dx - \int \sin^n x \, dx]\)
\(I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2} - (n-1)I_n\)

最终重组：
将 \(-(n-1)I_n\) 移到左侧：
\(I_n + (n-1)I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(n I_n = -\sin^{n-1} x \cos x + (n-1)I_{n-2}\)
\(I_n = \frac{1}{n} [-\sin^{n-1} x \cos x + (n-1)I_{n-2}]\)

重点提示： 对于像 \(\sin^n x\) 或 \(\cos^n x\) 这样的三角函数，你通常会一次下降两个次方（即 \(I_{n-2}\)）而不是一个。

处理定积分

在考试题目中，经常会要求你计算带有上下限的定积分。过程是一样的，但你必须将 \(uv\) 部分代入上下限进行计算。

“基本情况”（Base Case）： 要找出特定值（如 \(I_4\)），你需要不断应用公式直到达到 \(I_0\) 或 \(I_1\)。
- \(I_0\) 通常非常容易求。如果 \(I_n = \int_0^{\pi/2} \sin^n x \, dx\)，那么 \(I_0 = \int_0^{\pi/2} 1 \, dx = \frac{\pi}{2}\)。
- \(I_1\) 只是该函数的标准积分。

应避免的常见错误

1. 忘记“n”系数： 当你进行分部积分时，来自幂次的 \(n\) 或 \(n-1\) 经常会变成乘数，别让它消失了！
2. 正负号错误： 特别是三角积分（如 \(\int \sin x = -\cos x\)），很容易遗漏负号。使用括号来保持计算清晰。
3. 下标标记错误： 确保你的 \(I_{n-1}\) 真实对应于 \(I_n\) 的定义。如果积分限或函数本身变了，它可能不再是同一个数列。

总结与重点回顾

1. 定义： 约化公式将 \(I_n\) 表示为 \(I_{n-1}\)、\(I_{n-2}\) 等项。
2. 技术： 分部积分法是你的主要武器。
3. 策略： 对于代数项（如 \(x^n\)），对 \(x^n\) 求导。对于三角项（如 \(\sin^n x\)），拆出一个因子来进行积分。
4. 应用： 反复使用公式，将高次方积分化简为一个可轻松求解的“基本情况”。

继续练习！约化公式看起来可能很吓人，因为方程很长，但步骤总是千篇一律。你只是在为得出答案搭建阶梯！

欢迎来到瑕积分（Improper Integrals）的世界！

你好！你在 H2 数学中已经掌握了标准积分，通常我们计算的是两点之间曲线下的面积。但如果面积一直延伸到无穷远处会怎样？或者，如果函数本身在中间某个点突然“冲向”无穷大又该怎么办呢？

在这一章，我们将学习如何处理这些“不守规矩”的积分。别担心，如果起初觉得棘手，只要你看透了其中的规律，它其实就是你在 H2 学过的积分，只是在最后加上一个“极限（limit）”的步骤。让我们开始吧！

1. 什么是“瑕积分”？

“正常”的积分（即你在 H2 做过的那些）其区间是有限的，且函数保持“良好”（不会趋向无穷大）。瑕积分是指具备以下至少一种情况的积分：

  1. 无穷极限：积分区间是无穷的（例如：从 1 到 \(\infty\)）。
  2. 无穷不连续点：被积函数在积分范围内或边界上趋向 \(\infty\) 或 \(-\infty\)。

类比：你可以把正常积分想象成粉刷一面特定大小的墙。而瑕积分就像是要粉刷一条无限长的走廊，或是一面无限高的墙。令人惊讶的是，有时你只需要有限的油漆就能完成它！

2. 第一类：无限积分区间

这类积分很容易辨认，因为你会在积分符号的上下限看到 \(\infty\) 的符号。

为了计算它们，我们不能直接将无穷大“代入”（因为无穷大并不是一个实数！）。相反地，我们会用一个变量（例如 \(b\)）来替换无穷大，然后利用极限来观察当 \(b\) 变得越来越大时会发生什么事。

如何计算：

如果我们有 \(\int_{a}^{\infty} f(x) dx\)，我们将其写作：
\( \lim_{b \to \infty} \int_{a}^{b} f(x) dx \)

逐步示例：计算 \(\int_{1}^{\infty} \frac{1}{x^2} dx\)

  1. 替换： \(\lim_{b \to \infty} \int_{1}^{b} x^{-2} dx\)
  2. 积分： \(\lim_{b \to \infty} [-\frac{1}{x}]_{1}^{b}\)
  3. 代入： \(\lim_{b \to \infty} (-\frac{1}{b} - (- \frac{1}{1})) = \lim_{b \to \infty} (1 - \frac{1}{b})\)
  4. 应用极限： 当 \(b\) 趋向 \(\infty\) 时，\(\frac{1}{b}\) 趋向 \(0\)。因此，答案是 \(1 - 0 = \mathbf{1}\)。

你知道吗？尽管面积在水平方向上无限延伸，但总面积却刚好是 1 个单位！我们称这种积分为收敛（Convergent）积分。

关键重点：

如果极限的结果是一个有限的数，该积分就是收敛的。如果极限结果是 \(\infty\) 或者极限不存在，该积分就是发散（Divergent）的。

3. 第二类：无穷不连续点

这类积分比较“狡猾”，因为积分上下限看起来像正常的数字，但函数在某个点会“爆掉”。这通常发生在分母为零时。

示例： \(\int_{0}^{1} \frac{1}{\sqrt{x}} dx\)。在 \(x = 0\) 时，函数 \(\frac{1}{\sqrt{x}}\) 是无定义的（除以零）。

如何计算：

我们用一个变量（例如 \(t\)）替换这个“问题点”，并从安全的一侧接近它。

\( \lim_{t \to 0^+} \int_{t}^{1} x^{-1/2} dx \)

快速运算：
\(= \lim_{t \to 0^+} [2\sqrt{x}]_{t}^{1}\)
\(= \lim_{t \to 0^+} (2\sqrt{1} - 2\sqrt{t})\)
\(= 2 - 0 = \mathbf{2}\)。 (这个积分是收敛的！)

记忆小撇步：“安全第一”原则

如果你在积分中看到某个数字会导致分母为零，请停下来！千万不要直接积分。将其视为接近该“危险区”的极限问题来处理。

4. 收敛与发散

这是 H3 数学的重要部分。你不仅仅是在计算数值，更是在判定该数值是否存在。

  • 收敛：面积是有限的。极限存在且为实数。
  • 发散：面积是无限的。极限是 \(\infty\)、\(-\infty\)，或呈现震荡状态。

快速复习：p-检验法（p-test）（对选择题或快速检查非常有用！）
对于 \(\int_{1}^{\infty} \frac{1}{x^p} dx\)：
- 当 \(p > 1\) 时，它收敛
- 当 \(p \leq 1\) 时，它发散

5. 避免常见错误

“盲目积分”陷阱：
考虑 \(\int_{-1}^{1} \frac{1}{x^2} dx\)。
如果你盲目地积分，你会得到 \([-\frac{1}{x}]_{-1}^{1} = -1 - (1) = -2\)。
等等！ \(\frac{1}{x^2}\) 永远是正值，所以面积不可能为负。错误在于忽略了 \(x = 0\) 处的不连续点。你必须将其拆分为两个积分：\(\int_{-1}^{0} \dots + \int_{0}^{1} \dots\)，并分别检查这两项。只要其中一项发散，整个积分就发散！

极限符号混淆：
在应用极限前，请务必在每一步步骤都写上极限符号（\(\lim_{b \to \infty}\)）。这能确保你的解题过程在数学逻辑上对考官而言是严谨的。

6. 总结与最后清单

在完成题目之前，请自我检视：

  • 积分上下限是否包含 \(\infty\)？（第一类）
  • 函数在区间内某处是否会“爆掉”？（第二类）
  • 我是否已用极限来替换问题点？
  • 最终的极限结果是一个有限的数（收敛）还是其他情况（发散）？

关键重点：瑕积分其实就是加上了极限操作的普通积分，用来安全处理“无穷大”。只要掌握了极限符号的运用，你就完全掌握这一章了！