6.5 二重积分与定积分的转化

总目录 · 笔记整理索引 · 本章索引 · 上一节：6.4 恶心人的积分区域（推荐看视频） · 下一节：6.6 二重积分与变限积分的转化

6.5.1 二重积分转化为两个定积分的乘积

若被积函数 $f(x,y)$ 关于自变量 $x$ 和 $y$ 可分离（即能表示为 $f(x,y) = g(x) \cdot h(y)$ ），且积分区域 $D$ 为矩形区域 $[a,b] \times [c,d]$ （无穷区间可视为广义矩形），则二重积分可直接拆分转化为两个相互独立的定积分的乘积：

\iint_D g(x)h(y)\,\mathrm{d}x\mathrm{d}y = \left( \int_a^b g(x)\,\mathrm{d}x \right) \left( \int_c^d h(y)\,\mathrm{d}y \right)

思维精髓：只有当“区域为矩形”且“被积函数变量分离”两个条件同时满足时，二重积分才能化为定积分的乘积。若积分区域是非矩形（如三角形、梯形），则需思考能否通过对称性、割补或翻折拼合构造出矩形！

例 6.26（1995 年数学一真题）

💡 【思考与设问】例 6.26 (1995 年全国统考数学一试题)

设函数 $f(x)$ 在闭区间 $[0,1]$ 上连续，且满足 $\int_0^1 f(x)\,\mathrm{d}x = A$ ，求累次积分：
$I = \int_0^1 \mathrm{d}x \int_x^1 f(x)f(y)\,\mathrm{d}y.$

1. 还原二重积分与区域分析：原式是以直角坐标形式给出的二次积分，其积分区域为：

D_1 = \{(x,y) \mid 0 \le x \le 1,\; x \le y \le 1\}

在直角坐标系中， $D_1$ 是以直线 $y=x$ 为斜边的上直角三角形（区域顶点为 $(0,0),(0,1),(1,1)$ ）。

2. 轮换对称性（字母对换）：定积分与二重积分的值只与被积表达式及积分区域有关，与积分变量所用的字母记号无关。将积分哑变量 $x$ 与 $y$ 互换（ $x \leftrightarrow y$ ）：

I = \int_0^1 \mathrm{d}x \int_x^1 f(x)f(y)\,\mathrm{d}y \xlongequal{x \leftrightarrow y} \int_0^1 \mathrm{d}y \int_y^1 f(y)f(x)\,\mathrm{d}x = \iint_{D_2} f(x)f(y)\,\mathrm{d}x\mathrm{d}y

其中积分区域变为：

D_2 = \{(x,y) \mid 0 \le y \le 1,\; y \le x \le 1\}

几何上， $D_2$ 恰好是区域 $D_1$ 关于对角线 $y=x$ 作轴对称翻折所得的下直角三角形。

3. 两式相加除以 2（拼接为完整矩形区域）：将原积分与对换后的积分相加：

\begin{aligned} I &= \frac{1}{2} \left[ \iint_{D_1} f(x)f(y)\,\mathrm{d}x\mathrm{d}y + \iint_{D_2} f(x)f(y)\,\mathrm{d}x\mathrm{d}y \right] \\[2mm] &= \frac{1}{2} \iint_{D_1 \cup D_2} f(x)f(y)\,\mathrm{d}x\mathrm{d}y \end{aligned}

观察拼接后的区域：

D = D_1 \cup D_2 = [0,1] \times [0,1]

上下两个直角三角形恰好无缝拼成了一个单位正方形（标准的矩形区域）！

4. 变量分离，转化为两个定积分的乘积：

\begin{aligned} I &= \frac{1}{2} \iint\limits_{\substack{0 \le x \le 1 \\ 0 \le y \le 1}} f(x)f(y)\,\mathrm{d}x\mathrm{d}y \\[2mm] &= \frac{1}{2} \left( \int_0^1 f(x)\,\mathrm{d}x \right) \cdot \left( \int_0^1 f(y)\,\mathrm{d}y \right) \\[2mm] &= \frac{1}{2} \cdot A \cdot A = \frac{1}{2}A^2. \end{aligned}

几何直观图解：

$D_1$ （原区域）： $y = x$ 左上方，直角三角形；
$D_2$ （对称区域）： $y = x$ 右下方，直角三角形；
$D_1 \cup D_2$ ：单位正方形 $[0,1] \times [0,1]$ 。由于被积函数可分离为 $f(x)f(y)$ ，二重积分在正方形上即为两定积分的乘积。

考点拓展：概率论中的独立性严格证明

f(x,y) = \begin{cases} g(x)\cdot h(y), & a < x < b,\; c < y < d, \\[1mm] 0, & \text{其他}, \end{cases}

其中 $g(x)$ 与 $h(y)$ 分别在对应区间上非负可积。证明：随机变量 $X$ 与 $Y$ 相互独立。

【证明】：两个连续型随机变量 $X$ 与 $Y$ 相互独立的充要条件是：在二维平面上几乎处处成立 $f(x,y) = f_X(x) \cdot f_Y(y)$ 。

第一步：计算边缘概率密度 $f_X(x)$ 与 $f_Y(y)$ ：当 $a < x < b$ 时：

f_X(x) = \int_{-\infty}^{+\infty} f(x,y)\,\mathrm{d}y = \int_c^d g(x)h(y)\,\mathrm{d}y = g(x) \int_c^d h(y)\,\mathrm{d}y;

当 $x \le a$ 或 $x \ge b$ 时， $f_X(x) = 0$ 。

同理，当 $c < y < d$ 时：

f_Y(y) = \int_{-\infty}^{+\infty} f(x,y)\,\mathrm{d}x = \int_a^b g(x)h(y)\,\mathrm{d}x = h(y) \int_a^b g(x)\,\mathrm{d}x;

当 $y \le c$ 或 $y \ge d$ 时， $f_Y(y) = 0$ 。

第二步：应用联合概率密度的归一化性质：联合概率密度在全平面上的积分恒等于 1（归一化条件）：

\iint_{\mathbb{R}^2} f(u,v)\,\mathrm{d}u\mathrm{d}v = \iint\limits_{\substack{a < u < b \\ c < v < d}} g(u)h(v)\,\mathrm{d}u\mathrm{d}v = \left( \int_a^b g(u)\,\mathrm{d}u \right) \left( \int_c^d h(v)\,\mathrm{d}v \right) = 1.

第三步：验证 $f_X(x) \cdot f_Y(y) = f(x,y)$ ：

当 $a < x < b$ 且 $c < y < d$ 时： $\begin{aligned} f_X(x) \cdot f_Y(y) &= \left[ g(x) \int_c^d h(v)\,\mathrm{d}v \right] \cdot \left[ h(y) \int_a^b g(u)\,\mathrm{d}u \right] \\[2mm] &= g(x)h(y) \cdot \left[ \left( \int_a^b g(u)\,\mathrm{d}u \right) \left( \int_c^d h(v)\,\mathrm{d}v \right) \right] \\[2mm] &= g(x)h(y) \cdot 1 = g(x)h(y) = f(x,y). \end{aligned}$
当 $(x,y)$ 位于矩形区域外时， $f(x,y) = 0$ ，且 $f_X(x) \cdot f_Y(y) = 0$ 显然成立。

综上所述，对任意 $(x,y) \in \mathbb{R}^2$ ，均有 $f(x,y) = f_X(x) \cdot f_Y(y)$ ，故 $X$ 与 $Y$ 相互独立。

6.5.2 大胆设出原函数！

例 6.26（续：设原函数解法精讲）

1. 设出原函数：设连续函数 $f(x)$ 的一个原函数为 $F(x)$ ，即 $F'(x) = f(x)$ 。

2. 求解内层积分：由牛顿-莱布尼茨公式，内层积分可直接表达为：

\int_x^1 f(y)\,\mathrm{d}y = \left. F(y) \right|_x^1 = F(1) - F(x).

3. 转化为一元定积分并分项展开：将内层结果代入原式：

\begin{aligned} I &= \int_0^1 \mathrm{d}x \int_x^1 f(x)f(y)\,\mathrm{d}y \\[2mm] &= \int_0^1 f(x) \left[ \int_x^1 f(y)\,\mathrm{d}y \right] \mathrm{d}x \\[2mm] &= \int_0^1 f(x)[F(1) - F(x)]\,\mathrm{d}x \\[2mm] &= F(1) \int_0^1 f(x)\,\mathrm{d}x - \int_0^1 F(x)f(x)\,\mathrm{d}x. \end{aligned}

4. 凑微分求一元定积分：针对后半项 $\int_0^1 F(x)f(x)\,\mathrm{d}x$ ，由于 $f(x)\,\mathrm{d}x = \mathrm{d}[F(x)]$ ，可直接凑微分：

\int_0^1 F(x)f(x)\,\mathrm{d}x = \int_0^1 F(x)\,\mathrm{d}[F(x)] = \left. \frac{1}{2} F^2(x) \right|_0^1 = \frac{1}{2}F^2(1) - \frac{1}{2}F^2(0).

前半项为 $F(1)[F(1) - F(0)] = F^2(1) - F(1)F(0)$ 。两项相减可得完全平方式：

\begin{aligned} I &= \left[ F^2(1) - F(1)F(0) \right] - \left[ \frac{1}{2}F^2(1) - \frac{1}{2}F^2(0) \right] \\[2mm] &= \frac{1}{2}F^2(1) - F(1)F(0) + \frac{1}{2}F^2(0) \\[2mm] &= \frac{1}{2} \left[ F(1) - F(0) \right]^2. \end{aligned}

5. 代入已知条件：由题设条件 $\int_0^1 f(x)\,\mathrm{d}x = A$ ，即 $F(1) - F(0) = A$ ，代入即得：

I = \frac{1}{2} [F(1) - F(0)]^2 = \frac{1}{2}A^2.

(注：此解法充分体现了抽象原函数中的常数项 $C$ 无论如何取，都会在完全平方式展开后完美闭环，计算结果与原函数的具体选取完全无关！)

交换二次积分次序是处理累次积分的通用神器。

1. 交换积分次序：原积分区域为 $D: 0 \le x \le 1,\; x \le y \le 1$ （ $X$ -型区域）。改写为 $Y$ -型区域： $0 \le y \le 1,\; 0 \le x \le y$ 。于是原式交换积分次序为：

I = \int_0^1 \mathrm{d}x \int_x^1 f(x)f(y)\,\mathrm{d}y = \int_0^1 \mathrm{d}y \int_0^y f(x)f(y)\,\mathrm{d}x = \int_0^1 f(y) \left[ \int_0^y f(x)\,\mathrm{d}x \right] \mathrm{d}y.

2. 构造特定变上限积分原函数：记变上限积分函数为：

F(y) = \int_0^y f(x)\,\mathrm{d}x \quad (y \in [0,1])

则该函数具有极其优良的端点性质：

$F'(y) = f(y)$ ；
$F(0) = \int_0^0 f(x)\,\mathrm{d}x = 0$ ；
$F(1) = \int_0^1 f(x)\,\mathrm{d}x = A$ 。

3. 一步积分求解：将 $F(y)$ 代入积分式中：

\begin{aligned} I &= \int_0^1 f(y) F(y)\,\mathrm{d}y \\[2mm] &= \int_0^1 F(y)\,\mathrm{d}[F(y)] \\[2mm] &= \left. \frac{1}{2}[F(y)]^2 \right|_0^1 \\[2mm] &= \frac{1}{2}[F(1)]^2 - \frac{1}{2}[F(0)]^2 \\[2mm] &= \frac{1}{2}A^2 - 0 = \frac{1}{2}A^2. \end{aligned}

交换积分次序后，巧妙利用了 $F(0)=0$ 的边界条件，使得计算量大幅缩减，过程极其流畅优雅！

6.5.3 核心方法归纳与考场应试策略

解法类型	核心原理	运算量	适用题型与建议
特值法	令 $f(x) \equiv A$	极小（10秒）	选择题、填空题首选。快速定答案，稳拿分数。
轮换对称拼图法	$x \leftrightarrow y$ 翻折，拼成矩形 $D_1 \cup D_2$	极小	大题最佳解法。几何意义清晰，无需构造辅助函数。
直接设抽象原函数法	设 $F'(x)=f(x)$ ，脱去内层积分号	中等	通用解法。即使被积函数不对称，也可强行分部积分求解。
交换次序 + 变限积分法	换序后设 $F(y)=\int_0^y f(x)\mathrm{d}x$	极小	大题推荐解法。端点值 $F(0)=0$ 带来巨大计算便利。

总目录 · 笔记整理索引 · 本章索引 · 上一节：6.4 恶心人的积分区域（推荐看视频） · 下一节：6.6 二重积分与变限积分的转化

ギターと孤独と蒼い惑星

6.5 二重积分与定积分的转化

6.5 二重积分与定积分的转化

6.5.1 二重积分转化为两个定积分的乘积

例 6.26（1995 年数学一真题）

考点拓展：概率论中的独立性严格证明

6.5.2 大胆设出原函数！

例 6.26（续：设原函数解法精讲）

6.5.3 核心方法归纳与考场应试策略

Comments