二重积分与换元：在平面上累加
本文基于模型知识整理（生成时未联网核对），Fubini 定理条件与换元雅可比建议对照 Stewart §15.1–15.4 复核。
一句话定义
二重积分 $\iint_D f(x,y)dA$ 把"切片-求和"（kp-016 微元法）铺到平面上：Fubini 定理说（连续时）它可以拆成两次一元积分（累次积分 $\int\left[\int f\,dy\right]dx$，积分次序可交换）；坐标系换成极坐标时面积微元从 $dxdy$ 变成 $r\,dr\,d\theta$——那个 r 是换元的雅可比行列式。
为什么重要
概率的联合分布归一化与边缘分布（kp-030）、物理的质心/转动惯量、图像的总变差——二维累积是三维世界的日常。Fubini"化整为零"与雅可比"换尺子"两个操作，是所有高维积分计算的两块基石（更高维直接类推）。
前置知识
kp-012/014/016（一元积分与微元法）、kp-011/022（偏导）。
核心概念
- 二重积分的定义：把区域 D 切成小方块，$\sum f(\xi_i)\Delta A_i$ 取极限——平铺版的黎曼和。
- Fubini（累次积分）：f 连续（或非负可积）时
$$\iint_D f\,dA=\int_a^b\!\!\int_{g_1(x)}^{g_2(x)}f(x,y)\,dy\,dx=\int_c^d\!\!\int_{h_1(y)}^{h_2(y)}f\,dx\,dy$$ 内层沿竖条积、外层把竖条加总（或横条）；条件满足时积分次序可换。
- 换序的实务：一种次序的积分限含变上限（难积），换序后常变简单——先画区域图再写限（"画图定限"是二重积分的第一纪律）。
- 极坐标：$x=r\cos\theta$，$y=r\sin\theta$，$dA=r\,dr\,d\theta$；适合圆域/被积函数含 $x^2+y^2$。
- 一般换元公式：$d(u,v)=|J|\,d(x,y)$，雅可比 $J=\frac{\partial(u,v)}{\partial(x,y)}$ 行列式（kp-011 行列式=面积缩放率的多维变现）——极坐标的 r 正是 $J=r$。
原理与机制
为什么 Fubini 成立（切片直觉）：竖条体积=底面积×平均高，先把每个竖条的体积积出来（内层积分），再把所有竖条加总（外层积分）——与 kp-012 的"切-近似-加总"同模板，只是切片方向有两个自由度。条件（连续/非负可积）保证"横着切与竖着切结果相同"；条件破坏时（条件收敛的反常积分）次序不可乱换（kp-015 警告的多维回声）。
雅可比 r 从哪来：极坐标下的小微元不是"dr·dθ"的矩形——实际是"半径 r 处、角度 dθ、厚度 dr 的扇环"，面积≈(弧长 r·dθ)×dr=r·dr·dθ。坐标变换会拉伸面积，雅可比行列式=拉伸率——行列式的几何意义（kp-011）在积分换元中的岗位职责。
为什么高斯积分要用极坐标：$\int_{-\infty}^{\infty}e^{-x^2}dx$ 无初等原函数（kp-013/014 的绝境）；但平方后 $\iint e^{-(x^2+y^2)}dA$ 在极坐标下 $=\int_0^{2\pi}\int_0^\infty e^{-r^2}r\,dr\,d\theta=\pi$——那个多出来的 r 恰好凑出 $-d(e^{-r^2})/2$。著名的"平方开根"戏法=换元救活不可积（kp-030 正态分布归一化常数 $\frac{1}{\sqrt{2\pi}}$ 的来源）。
图示
Fubini: ∬_D f dA = ∫ᵃᵇ [∫_{g₁(x)}^{g₂(x)} f dy] dx (先竖条后横条)
换序: 画区域 → 重写积分限 (x 型区域 ↔ y 型区域)
极坐标: dA = r dr dθ (扇环微元: 弧长 r·dθ × 厚 dr)
一般换元: dx dy → |J| du dv , J = ∂(u,v)/∂(x,y) 行列式
高斯积分: ∬ e^{−r²} r dr dθ = π ⇒ ∫e^{−x²}dx = √π直观类比
二重积分像"统计一片森林的木材总量"：Fubini=先按行统计每行总量、再把各行加起来；换序=改为按列统计——总量不变。极坐标像"以树干为圆心按年轮环带统计"（r 微元）——圆形森林（积分域）用年轮切法最省力。
实例或案例
- 概率：$P(X+Y\le1)=\iint_{x+y\le1}f(x,y)dA$——联合分布的区域概率（kp-030 的核心操作）。
- 质心：$\bar x=\frac1M\iint x\,dA$——薄板质心/一阶矩。
- 高斯分布归一化：$\frac1{\sqrt{2\pi}}e^{-x^2/2}$ 的常数就是极坐标高斯积分的战利品。
常见误区
- 误区一："不画区域图直接写限"。积分限写错（尤其换序）是二重积分的第一大错源；区域草图 30 秒，改错 30 分钟。
- 误区二："极坐标换元忘了乘 r"。丢 r 的积分结果全错且不显眼——dA≠dr·dθ，扇环有 r 的拉伸。
- 误区三："对条件不满足的积分乱换序"。反常/条件收敛的累次积分换序可能改变值（kp-015 的多维版）；Fubini 的条件不是装饰。
与其他知识点的关系
自测题
- 计算 $\int_0^1\int_0^x xy\,dy\,dx$。
答：内层 $\frac{x^3}2$，外层 $\int_0^1\frac{x^4}2dx=\frac1{10}$。
- 用极坐标算 $\iint_{x^2+y^2\le1}e^{x^2+y^2}dA$。
答：$\int_0^{2\pi}\int_0^1e^{r^2}r\,dr\,d\theta=2\pi\cdot\frac{e-1}2=\pi(e-1)$。
- 为什么极坐标的面积微元含 r？
答：微元是扇环：内弧短外弧长，平均弧长 r·dθ，乘厚度 dr——远离原点的环带面积更大（线性拉伸 r 倍）。
延伸阅读
- Stewart《Calculus》§15.1–15.4。
- MIT 18.02 多重积分单元。
- 《概率论》联合分布章（kp-030 的预习）。