|  |
| --- |
| 系列條目 |
| 微积分学 |
|  |
| 
* 函数
* 极限论
* 微分学
* 积分

* 微积分基本定理
* 微积分发现权之争（英语：）

 |
| 基础概念（含极限论和级数论）

| 
實數性質 |
| --- |
| 函数 · 单调性 · 初等函数 · 數列 · 极限 · 实数的构造（1=0.999…） · 无穷（銜尾蛇） · 無窮小量 · ε-δ語言 · 实无穷（英语：） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函數極限 · 渐近线 · 邻域 · 连续 · 連續函數 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 ·  · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐標系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：） · 几何级数 · 调和级数 · 項測試 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：） · 一致收斂 · 迪尼定理 |
| 
數列與級數 |
| 
連續 |
| 
函數 |

 |
| 一元微分

|  |
| --- |
| 差分 · 均差 · 微分 · 微分的线性（英语：） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：） · 凸函數 · 凹函數 · 簡森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数 |

 |
| 一元积分

|  |
| --- |
| * 积分表
 |
| 
定义 |
| * 不定积分
* 定积分
* 黎曼积分
* 达布积分
* 勒贝格积分
* 积分的线性
 |
| 
求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · **微积分基本定理** · 反常積分 · 柯西主值 · 積分函數（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 數值積分（矩形法 · 梯形公式 · 辛普森積分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理 |

 |
| 多元微积分

|  |
| --- |
| 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向導數 · 标量场 · 向量場 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩陣 · 鞍點 · 多重积分（逐次积分（英语：） · 积分顺序（英语：）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：）） · 散度 · 旋度 · 通量 · 可定向性 · **格林公式** · **高斯散度定理** · **斯托克斯定理**及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：）（加托导数 · 弗雷歇导数（英语：） · 矩阵的微积分（英语：）） · 弱微分 |

 |
| 微分方程

|  |
| --- |
| 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变数法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特徵方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程 |

 |
| 相关数学家
牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 約翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：） · 婆什迦羅第二 · 阿涅西 · 阿基米德
 |
| 历史名作
从无穷小量分析来理解曲线（英语：） · 分析学教程（英语：） · 无穷小分析引论 · 用无穷级数做数学分析（英语：） · 流形上的微积分（英语：） · 微积分学教程 · 纯数学教程（英语：） · 机械原理方法论（英语：）
 |
| 分支学科

|  |
| --- |
| 实变函数论 · 複分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：） · 随机分析 · 最优化 · 非标准分析 |

 |
| * 
* 论
* 编
 |

该积分是两条曲线之间的面积。
作为曲面下的体积的双重积分。该体积底部的矩形区域是积分的域，而曲面是被积的双变量函数的图像。
**多重积分**（英語：）是定积分的一类，它将定积分扩展到多元函数（多变量的函数），例如求f(x,y)或者f(x,y,z)类型的多元函数的积分。

简介
--

正如单变量的正函数的定积分代表函数图像和*x*轴之间区域的面积一样，正的双变量函数的**双重积分**代表函数所定义的曲面和包含函数定义域的平面之间所夹的区域的体积。（注意同样的体积也可以通过三变量常函数*f*(*x*, *y*, *z*) = 1在上述曲面和平面之间的区域中的**三重积分**得到。若有更多变量，则多元函数的多重积分给出超体积。

*n*元函数*f*(*x*1, *x*2,…, *x**n*)在定义域*D*上的多重积分通常用嵌套的积分号按照演算的逆序标识（最左边的积分号最后计算），后面跟着被积函数和正常次序的积分变量（最右边的变量最后使用）。积分域或者对每个积分变量在每个积分号下标识，或者用一个变量标在最右边的积分号下：

\int \ldots \int \_{{\mathbf {D}}}\;f(x\_{1},x\_{2},\ldots ,x\_{n})\;{\mathrm {d}}x\_{1}\!\ldots {\mathrm {d}}x\_{n}
因为不可能计算多于一个自变量的函数的不定积分，"不定"多重积分是不存在的。因此所有多重积分都是"定"积分。

通常在坐标系中，多重积分都利用嵌套的累次积分计算。而累次积分为了简便可记为：

{\displaystyle \int \_{\varphi \_{1}}^{\psi \_{1}}\,\mathrm {d} x\_{1}\,\int \_{\varphi \_{2}(x\_{1})}^{\psi \_{2}(x\_{1})}\,\mathrm {d} x\_{2}\!\dots \int \_{\varphi \_{n}(x\_{1},x\_{2},\dots ,x\_{n-1})}^{\psi \_{n}(x\_{1},x\_{2},\dots ,x\_{n-1})}\,f(x\_{1},x\_{2},\dots ,x\_{n})\mathrm {d} x\_{n}}
其中积分域为：

{\displaystyle D=\left\{(x\_{1},x\_{2},\dots ,x\_{n})|\varphi \_{1}\leq x\_{1}\leq \psi \_{1},\varphi \_{2}(x\_{1})\leq x\_{2}\leq \psi \_{2}(x\_{1}),\dots ,\varphi \_{n}(x\_{1},x\_{2},\dots ,x\_{n-1})\leq x\_{n}\leq \psi \_{n}(x\_{1},x\_{2},\dots ,x\_{n-1})\right\}}
注意的是，该式一般情况下并不表示多个定积分的积，在实际计算中从最右侧积分变量开始积分，其结果会作为外一层积分的被积函数。

范例
--

譬如，边长为4 × 6 × 5的长方体的体积可以通过两种方法得到：

* 通过函数*f*(*x*, *y*) = 5在*xy*平面中的区域*D*，也就是长方体的底上的双重积分

{\displaystyle \iint \_{\mathrm {D} }5\ \mathrm {d} x\,\mathrm {d} y}
* 或者是常函数1在长方体上的三重积分

{\displaystyle \iiint 1\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z} (1可以省略不写)

数学定义
----

令*n*为大于1的自然数。考虑所谓的*半开***n维矩形**（下面简称**矩形**）。对于平面，n=2。

T=[a\_{1},b\_{1})\times [a\_{2},b\_{2})\times \cdots \times [a\_{n},b\_{n})\subset {\mathbb R}^{n}。
将每个区间[*a**i*, *b**i*)分成有限个不重叠的子区间，每个都是左闭右开。将子区间记为*I**i*。则，所有所有如下形式的子矩形的族

C=I\_{1}\times I\_{2}\times \cdots \times I\_{n}
是*T*的一个划分，也即，子矩形*C*是互不重叠的，而且它们聯集为*T*。*C*中的子矩形的**直径**按照定义是*C*中最大的边长，而*T*的划分的直径定義成划分中的所有子矩形的最大直径。

令*f* : *T* → **R**为定义在*T*上的函数。考虑如上定义的*T*的划分

T=C\_{1}\cup C\_{2}\cup \cdots \cup C\_{m}
其中*m*是正整数。如下形式的和称为**黎曼和**

\sum \_{{k=1}}^{m}f(P\_{k})\,\operatorname {m}(C\_{k})
其中，对于每个*k*，点*P**k*在*C**k*中，而m(*C**k*)是笛卡尔积为*C**k*的区间的边长之积。

函数*f*称为**黎曼可积**，如果如下极限存在

S=\lim \_{{\delta \to 0}}\sum \_{{k=1}}^{m}f(P\_{k})\,\operatorname {m}\,(C\_{k})
其中极限取遍所有直径小於δ的*T*的划分。若*f*黎曼可积，*S*称为*f*在*T*上的**黎曼积分**。记为

{\displaystyle \int \_{T}\!f(x)\,\mathrm {d} x}。
定义在任意有界*n*维集合上的函数的黎曼和可以通过将函数延拓到一个半开半闭矩形上来求出，其取值在原来的定义域之外为0。然后，原来的函数的积分就定义为延展的函数在矩形区域中的积分（如果存在的话）。

下文中*n*维黎曼积分简称**多重积分**。

### 性质

多重积分具有很多与单变量函数的积分一样的性质（线性，可加性，单调性，等等）。而且，和单变量情况一样，可以用多重积分找出函数在给定集合上的积分。具体来讲，给定集合*D* ⊆ **R***n*和*D*上的可积函数*f*，*f*在定义域上的平均值为

{\displaystyle {\bar {f}}={\frac {1}{m(D)}}\int \_{D}f(x)\,\mathrm {d} x,}
其中*m*（*D*）是*D*的测度。

### 特例

*T* ⊆ **R**2时，积分

{\displaystyle \ell =\iint \_{T}f(x,y)\,\mathrm {d} x\,\mathrm {d} y}
是*f*在*T*上的**双重积分**，而若*T* ⊆ **R**3，积分

{\displaystyle \ell =\iiint \_{T}f(x,y,z)\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z}
是*f*在*T*上的**三重积分**。

注意，按常规，双重积分用两个积分号，而三重积分有三个；这只是记法上方便，也是为了通过重复积分来计算多重积分（参看本条目后文）。

积分方法
----

多重积分问题的解决在多数情况下依赖于将多重积分转化为一系列单变量积分，而其中每个单变量积分都是直接可解的。

### 直接检验

有时可以直接获得积分的结果，而无需任何直接计算。

#### 常数

在常函数的情况中，结果很直接：只要将常函数*c*乘以测度就可以了。如果*c* = 1，而且是在**R**2的子集中积分，则乘积就是区域面积，而在**R**3中，它就是区域的体积。

* 例如：

D=\{(x,y)\in {\mathbb {R}}^{2}\ :\ 2\leq x\leq 4\ ;\ 3\leq y\leq 6\} and f(x,y)=2\,\!
在*D*上积分*f*：
{\displaystyle \int \_{3}^{6}\int \_{2}^{4}\ 2\ \mathrm {d} x\,\mathrm {d} y={\mbox{area}}(D)\cdot 2=(2\cdot 3)\cdot 2=12}。
#### 利用可能的对称性

如果定义域存在沿着某条轴的对称性而且函数对于那个变量是奇函数，则积分为0（因为相反的两部分加起来为0）。

对于**R***n*中的函数，只要相关变量对于形成对称的轴是奇变量就可以了。

> 例一:
> 
> 
> 给定f(x,y)=2\sin(x)-3y^{3}+5以及T=\left\{(x,y)\in {\mathbf {R}}^{2}\ :\ x^{2}+y^{2}\leq 1\right\}为积分区域（半径为1的圆盘，包含边界）。
> 利用线性性质，积分可以分解为三部分：
> {\displaystyle \iint \_{T}(2\sin x-3y^{3}+5)\,\mathrm {d} x\,\mathrm {d} y=\iint \_{T}2\sin x\,\mathrm {d} x\,\mathrm {d} y-\iint \_{T}3y^{3}\,\mathrm {d} x\,\mathrm {d} y+\iint \_{T}5\,\mathrm {d} x\,\mathrm {d} y}
> {\textstyle 2\sin(x)} 和 {\textstyle 3y^{3}} 都是奇函数，而且显然*T*对于*x*和*y*轴都是对称的；因此唯一有贡献的部分是常函数*5*因为其它两个都贡献0.

> 例二：
> 
> 
> 考虑函数{\textstyle f(x,y,z)=x\exp(y^{2}+z^{2})}以及圆心在原点的半径为2的球
> T=\left\{(x,y,z)\in {\mathbf {R}}^{3}\ :\ x^{2}+y^{2}+z^{2}\leq 4\right\}.
> 该球显然是对于三条轴都对称，但是只要对于*x*轴积分就可以看出结果是0，因为*f*对于该变量是奇函数。

### 简化公式

简化公式基于简单积分区域来将多重积分转化为单变量积分的序列。它们必须从右至左计算，过程中将其它变量暂时视为常数（和偏导数的计算类似）。

#### R2中的常规区域

参见：积分次序
此種方法適用於滿足下述條件的任何定義域 *D*:

* *D* 投影到 *x*軸或 *y*軸任一軸，形成一個有邊界的範圍, 以 *a*, *b* 代表邊界值。
* 通過 *a*, *b* 兩點並與\overline {ab} 垂直的直線與 *D* 相交後的兩個端點，可以用 2 個函數\alpha , \beta  定義。

##### *x*轴

將 *D* 對 *x*軸做垂直投影，函數f:D\longrightarrow {\mathbb {R}}是连续函数，并且*D*可以视为（定义在[*a*,*b*]区间上的）α(*x*)和β(*x*)之间的区域。则

{\displaystyle \iint \_{D}f(x,y)\ \mathrm {d} x\,\mathrm {d} y=\int \_{a}^{b}\mathrm {d} x\int \_{\alpha (x)}^{\beta (x)}f(x,y)\,\mathrm {d} y}
##### *y*轴

將 *D*對*y*軸做垂直投影，函數f:D\longrightarrow {\mathbb {R}}是连续函数，并且*D*可以视为（定义在[*a*,*b*]区间上的）α(*y*)和β(*y*)之间的区域。则

{\displaystyle \iint \_{D}f(x,y)\ \mathrm {d} x\,\mathrm {d} y=\int \_{a}^{b}\mathrm {d} y\int \_{\alpha (y)}^{\beta (y)}f(x,y)\,\mathrm {d} x}
##### 范例

例：可以采用简化公式的D区域。
考虑区域：D=\{(x,y)\ :\ x\geq 0,y\leq 1,y\geq x^{2}\}（参看附图）。计算

{\displaystyle \iint \_{D}(x+y)\,\mathrm {d} x\,\mathrm {d} y}
该区域可以沿x或者y轴分解。要采用公式，必须先找到限制*D*的两个函数和定义区间。
这个例子中，这两个函数为：

\alpha (x)=x^{2}\,\! 和 \beta (x)=1\,\!
而区间为[a,b]=[0,1]\,\!（这里为了直观起见采用沿x轴分解）。

应用简化公式，得到：

{\displaystyle \iint \_{D}(x+y)\,\mathrm {d} x\,\mathrm {d} y=\int \_{0}^{1}\mathrm {d} x\int \_{x^{2}}^{1}(x+y)\,\mathrm {d} y=\int \_{0}^{1}\mathrm {d} x\ \left[xy\ +\ {\frac {y^{2}}{2}}\ \right]\_{x^{2}}^{1}}
（首先，第二个积分将*x*作为常数）。然后就是用积分的基本技术：

{\displaystyle \int \_{0}^{1}\left[xy\ +\ {\frac {y^{2}}{2}}\ \right]\_{x^{2}}^{1}\,\mathrm {d} x=\int \_{0}^{1}\left(x+{\frac {1}{2}}-x^{3}-{\frac {x^{4}}{2}}\right)\mathrm {d} x=\cdots ={\frac {13}{20}}}。
如果沿着y轴分解，可以计算

{\displaystyle \int \_{0}^{1}\mathrm {d} y\int \_{0}^{\sqrt {y}}(x+y)\,\mathrm {d} x}
并得到同样的结果。

R3中可(沿*xy*平面）分解区域的例子。
#### R3中的分解

这些公式可以推广到三重积分：

*T*是一个可以投影到*xy*平面的体，它夹在α (*x*,*y*)和β(*x*,*y*)两个函数之间。那么：

{\displaystyle \iiint \_{T}f(x,y,z)\ \mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z=\iint \_{D}\mathrm {d} x\,\mathrm {d} y\int \_{\alpha (x,y)}^{\beta (x,y)}f(x,y,z)\,\mathrm {d} z}
（此定义和其它**R**3中的分解类似）。

### 变量替换

积分的极限常常不易交换（区域无法分解或者公式很复杂），这时可以采用*变量替换*来重写积分，令区域更加简易，从而可以用更简单的公式表达。为此，函数必须变换到新坐标系下。

例（1-a）:
函数为f(x,y)=(x-1)^{2}+{\sqrt y};
若采用替换x'=x-1,\ y'=y\,\!则x=x'+1,\ y=y'\,\!
可以得到新函数f\_{2}(x,y)=(x')^{2}+{\sqrt y}.
* 对于定义域要进行类似处理，因为原来是采用变换前的变量表达的（本例中的*x*和*y*）。
* 微分*dx*和*dy*要通过包含被替换的变量对于新变量的偏微分的雅可比行列式来变换。（譬如，极坐标的微分变换）。

常用的变量替换有三种（**R**2中一种，**R**3中两种）；但是，更普遍的变换可以用同样的原理来发现。

#### 极坐标

参见：极坐标系
从笛卡尔坐标系变换到极坐标系。
在**R**2中，若定义域有某种圆形对称性而函数也有某种特征，则可以采用极坐标变换（参看图中的例子），也就是说将点*P(x,y)*从笛卡尔坐标变换到相应的极坐标中。这使得定义域的形状改变，从而简化运算。

该变换的基本关系如下：

f(x,y)\rightarrow f(\rho \ \cos \phi ,\rho \ \sin \phi )。

> 
> 例（2-a）:  
> 
> 
> 
> 函数为f(x,y)=x+y\,\!
> 应用该变换得到
> f(\rho ,\phi )=\rho \cos \phi +\rho \sin \phi =\rho \ (\cos \phi +\sin \phi )。
> 例（2-b）:
> 
> 
> 函数为f(x,y)=x^{2}+y^{2}\,\!
> 这裡有：
> f(\rho ,\phi )=\rho ^{2}(\cos ^{2}\phi +\sin ^{2}\phi )=\rho ^{2}\,\!
> 这里使用了勾股定理（在简化操作时很有用）。

定义域的变换是根据*x*和*y*通过环厚和角度的幅度来限定ρ, φ的区间。

从笛卡尔到极坐标的区域变换。

> 
> 例（2-c）:
> 
> 
> 区域为D=x^{2}+y^{2}\leq 4\,\!，圆周半径2；很明显，这个区域所覆盖的角度是整个圆周角，所以φ从0变化到2π，而环半径从0变化到2（内环为0的环形就是圆）。
> 例（2-d）:
> 
> 
> 区域为D=\{x^{2}+y^{2}\leq 9,\ x^{2}+y^{2}\geq 4,\ y\geq 0\}，这是在正*y*半平面中的圆环（参看示意图）；注意φ表示平面角而ρ从2变化到3。因此变换出来的区域为矩形：
> T=\{2\leq \rho \leq 3,\ 0\leq \phi \leq \pi \}.
> 该变换的雅可比行列式为：
> 
> 
> {\frac {\partial (x,y)}{\partial (\rho ,\phi )}}={\begin{vmatrix}\cos \phi &-\rho \sin \phi \\\sin \phi &\rho \cos \phi \end{vmatrix}}=\rho 
> 这可以通过将*x* = ρ cos(φ), *y* = ρ sin(φ)代入关于ρ的第一行和关于φ的第二行的偏微分中得到，所以微分*dx dy*变换为ρ *d*ρ *d*φ.
> 
> 
> 一旦函数和区域的变换完成后，可以定义极坐标中的变量变换公式：
> 
> 
> {\displaystyle \iint \_{D}f(x,y)\ \mathrm {d} x\,\mathrm {d} y=\iint \_{T}f(\rho \cos \phi ,\rho \sin \phi )\rho \,\mathrm {d} \rho \,\mathrm {d} \phi }。
> 注意φ在[0, 2π]区间中有效，而ρ测量长度，因此只能取非负值。
> 
> 
> 此外，应用变量变换公式的前提是，雅可比行列式的值在变换后的积分变量(如此例中的ρ和φ)组成的有界闭区域(如此例中φ和ρ构成的二维域)上恒不为零。但是在极坐标中当且仅当ρ为零时，才有雅可比行列式为零，故可证明该变量变换公式成立。
> 
> 
> 
>   
> 
> 
> 
> 例 (2-e):
> 
> 
> 函数为f(x,y)=x\,\!区域和例2-d相同。
> 从前面对*D*的分析，我们知道ρ的区间为[2,3]，而φ的为[0,π].函数变换为：
> f(x,y)=x\longrightarrow f(\rho ,\phi )=\rho \ \cos \phi 。
> 最后，应用积分公式：
> {\displaystyle \iint \_{D}x\,\mathrm {d} x\,\mathrm {d} y=\iint \_{T}\rho \cos \phi \ \rho \,\mathrm {d} \rho \,\mathrm {d} \phi }。
> 一旦区间给定，就可以得到
> {\displaystyle \int \_{0}^{\pi }\int \_{2}^{3}\rho ^{2}\cos \phi \ \mathrm {d} \rho \ \mathrm {d} \phi =\int \_{0}^{\pi }\cos \phi \ \mathrm {d} \phi \left[{\frac {\rho ^{3}}{3}}\right]\_{2}^{3}=\left[\sin \phi \right]\_{0}^{\pi }\ \left(9-{\frac {8}{3}}\right)=0}。
> 

#### 柱极坐标

柱极坐标。
**R**3中，在有圆形底面的定义域上的积分可以通过变换到柱极坐标系来完成；函数的变换用如下的关系进行：

f(x,y,z)\rightarrow f(\rho \cos \phi ,\rho \sin \phi ,z) 
区域的变换可以从图形中得到，因为底面的形状可能不同，而高遵循初始区域的形状。

> 
> 例（3-a）:   
> 
> 
> 
> 区域为D=\{x^{2}+y^{2}\leq 9,\ x^{2}+y^{2}\geq 4,\ 0\leq z\leq 5\}（也即底面为例2-d中的圆环的高度为5的"管道"）；如果采用变换，可以得到区域T=\{2\leq \rho \leq 3,\ 0\leq \phi \leq \pi ,\ 0\leq z\leq 5\}（这是一个底面为例2-d中的矩形而高为5的长方体）。
> 因为*z*分量没有变化，*dx dy dz*和在极坐标中一样变化：变为*ρ dρ dφ dz*。
> 
> 
> 最后，变换到柱极坐标的最后公式为：
> 
> 
> {\displaystyle \iiint \_{D}f(x,y,z)\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z=\iiint \_{T}f(\rho \cos \phi ,\rho \sin \phi ,z)\rho \,\mathrm {d} \rho \,\mathrm {d} \phi \,\mathrm {d} z}。
> 这个方法在柱形或者锥形区域的情况较为适用，也适用于容易分辨*z*区间和变换圆形底面和函数的其它情况。
> 
> 
> 例（3-b）:
> 函数为f(x,y,z)=x^{2}+y^{2}+z\,\!而积分区域为圆柱: D=\{x^{2}+y^{2}\leq 9,\ -5\leq z\leq 5\}.
> 将*D*变换到柱极坐标如下：
> 
> 
> T=\{0\leq \rho \leq 3,\ 0\leq \phi \leq 2\pi ,\ -5\leq z\leq 5\}。
> 函数变为
> 
> 
> f(\rho \cos \phi ,\rho \sin \phi ,z)=\rho ^{2}+z
> 最有应用积分公式：
> 
> 
> {\displaystyle \iiint \_{D}(x^{2}+y^{2}+z)\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z=\iiint \_{T}(\rho ^{2}+z)\rho \,\mathrm {d} \rho \,\mathrm {d} \phi \,\mathrm {d} z;}
> 推演一下公式，得到
> 
> 
> {\displaystyle \int \_{-5}^{5}\mathrm {d} z\int \_{0}^{2\pi }\mathrm {d} \phi \int \_{0}^{3}(\rho ^{3}+\rho z)\,\mathrm {d} \rho =2\pi \int \_{-5}^{5}\left[{\frac {\rho ^{4}}{4}}+{\frac {\rho ^{2}z}{2}}\right]\_{0}^{3}\,\mathrm {d} z=2\pi \int \_{-5}^{5}\left({\frac {81}{4}}+{\frac {9}{2}}z\right)\,\mathrm {d} z=\cdots =405\pi .}

#### 球极坐标

球极坐标。【注意某些地区（如北美）角度标识相反】
**R**3中，有些区域有球形对称性，所以将积分区域的每点用两个角度和一个距离标识较为合适。因此可以采用变换到球极坐标系；函数变换由如下关系产生：

 f(x,y,z)\longrightarrow f(\rho \cos \theta \sin \phi ,\rho \sin \theta \sin \phi ,\rho \cos \phi )\,\! 
注意*z*轴上的点没有唯一表示，\theta 可以在0到2π间变化。

这个方法最为适用的区域显然是球。

> 
> 例（4-a）:   
> 
> 
> 
> 区域为D=x^{2}+y^{2}+z^{2}\leq 16（球心在原点半径为4的球）；应用变换后得到：T=\{0\leq \rho \leq 4,\ 0\leq \phi \leq \pi ,\ 0\leq \theta \leq 2\pi \}。
> 坐标变换的雅可比行列式为：
> {\displaystyle {\frac {\partial (x,y,z)}{\partial (\rho ,\theta ,\phi )}}={\begin{vmatrix}\cos \theta \sin \phi &-\rho \sin \theta \sin \phi &\rho \cos \theta \cos \phi \\\sin \theta \sin \phi &\rho \cos \theta \sin \phi &\rho \sin \theta \cos \phi \\\cos \phi &0&-\rho \sin \phi \end{vmatrix}}=-\rho ^{2}\sin \phi }
> 因此{\displaystyle \mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z}变换为{\displaystyle \rho ^{2}\sin \phi \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi }.
> 得到最后公式:
> {\displaystyle \iiint \_{D}f(x,y,z)\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z=\iiint \_{T}f(\rho \sin \theta \cos \phi ,\rho \sin \theta \sin \phi ,\rho \cos \theta )\rho ^{2}\sin \phi \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi }。

应当在积分区域为球形对称**并且**函数很容易通过基本三角公式简化的时候才使用这个方法。（参看例4-b）；其它情况下，可能使用柱极坐标更为合适（参看例4-c）。

{\displaystyle \iiint \_{T}f(a,b,c)\rho ^{2}\sin \phi \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi }。
注意从雅可比行列式来的\rho ^{2}和\sin \phi 因子。

注意下面例子中，φ和θ的作用反过来了。

> 
> 例（4-b）:  
> 
> 
> 
> *D*和例4-a相同，而f(x,y,z)=x^{2}+y^{2}+z^{2}\,\!是被积函数。
> 很容易变换为：
> f(\rho \sin \theta \cos \phi ,\rho \sin \theta \sin \phi ,\rho \cos \theta )=\rho ^{2},，
> 而从*D*到*T*的变换是已知的：
> (0\leq \rho \leq 4,\ 0\leq \phi \leq 2\pi ,\ 0\leq \theta \leq \pi )。
> 应用积分公式：
> {\displaystyle \iiint \_{D}(x^{2}+y^{2}+z^{2})\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z=\iiint \_{T}\rho ^{2}\ \rho ^{2}\sin \theta \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi ,}
> 并展开：
> {\displaystyle \iiint \_{T}\rho ^{4}\sin \theta \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi =\int \_{0}^{\pi }\sin \theta \,\mathrm {d} \theta \int \_{0}^{4}\rho ^{4}\mathrm {d} \rho \int \_{0}^{2\pi }\mathrm {d} \phi =2\pi \int \_{0}^{\pi }\sin \theta \left[{\frac {\rho ^{5}}{5}}\right]\_{0}^{4}\,\mathrm {d} \theta }
> =2\pi \left[{\frac {\rho ^{5}}{5}}\right]\_{0}^{4}\left[-\cos \theta \right]\_{0}^{{\pi }}=4\pi \cdot {\frac {1024}{5}}={\frac {4096\pi }{5}}。
> 例（4-c）:
> 
> 
> 区域*D*是球心在原点半径为*3a*的球（D=x^{2}+y^{2}+z^{2}\leq 9a^{2}\,\!）而f(x,y,z)=x^{2}+y^{2}\,\!是被积函数。
> 看起来采用球极坐标变换较为合适，但是事实上，限定新区域*T*的变量很明显应该是：
> 0\leq \rho \leq 3a,\ 0\leq \phi \leq 2\pi ,\ 0\leq \theta \leq \pi 。
> 但是采用这个变换就有
> f(x,y,z)=x^{2}+y^{2}\longrightarrow \rho ^{2}\sin ^{2}\theta \cos ^{2}\phi +\rho ^{2}\sin ^{2}\theta \sin ^{2}\phi =\rho ^{2}\sin ^{2}\theta .
> 应用积分公式得到：
> {\displaystyle \iiint \_{T}\rho ^{2}\sin ^{2}\theta \rho ^{2}\sin \theta \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi =\iiint \_{T}\rho ^{4}\sin ^{3}\theta \,\mathrm {d} \rho \,\mathrm {d} \theta \,\mathrm {d} \phi }
> 这很难求解。而如果采用柱极坐标，新的*T*区间为：
> 0\leq \rho \leq 3a,\ 0\leq \phi \leq 2\pi ,\ -{\sqrt {9a^{2}-\rho ^{2}}}\leq z\leq {\sqrt {9a^{2}-\rho ^{2}}};
> *z*区间可以通过将球切成两个半球并求解从*D*的公式来的不等式得到（然后直接变换*x2 + y2*到*ρ2*）。新函数就是*ρ2*.采用积分公式
> {\displaystyle \iiint \_{T}\rho ^{2}\rho \ \mathrm {d} \rho \mathrm {d} \phi \mathrm {d} z}.
> 得到
> {\displaystyle \int \_{0}^{2\pi }\mathrm {d} \phi \int \_{0}^{3a}\rho ^{3}\mathrm {d} \rho \int \_{-{\sqrt {9a^{2}-\rho ^{2}}}}^{\sqrt {9a^{2}-\rho ^{2}}}\,\mathrm {d} z=2\pi \int \_{0}^{3a}2\rho ^{3}{\sqrt {9a^{2}-\rho ^{2}}}\,\mathrm {d} \rho }。
> 然后应用变换
> {\displaystyle 9a^{2}-\rho ^{2}=t\,\!\longrightarrow \mathrm {d} t=-2\rho \,\mathrm {d} \rho \longrightarrow \mathrm {d} \rho ={\frac {\mathrm {d} t}{-2\rho }}\,\!}
> (新区间变为0,3a\longrightarrow 9a^{2},0)。得到
> {\displaystyle -2\pi \int \_{9a^{2}}^{0}\rho ^{2}{\sqrt {t}}\,\mathrm {d} t}
> 因为\rho ^{2}=9a^{2}-t\,\!，所以
> {\displaystyle -2\pi \int \_{9a^{2}}^{0}(9a^{2}-t){\sqrt {t}}\,\mathrm {d} t,}
> 将积分限反过来，然后分配括号中的项，很容易将积分分解为可以直接积分的两部分：
> {\displaystyle 2\pi \left[\int \_{0}^{9a^{2}}9a^{2}{\sqrt {t}}\,\mathrm {d} t-\int \_{0}^{9a^{2}}t{\sqrt {t}}\,\mathrm {d} t\right]=2\pi \left[9a^{2}{\frac {2}{3}}t^{\frac {3}{2}}-{\frac {2}{5}}t^{\frac {5}{2}}\right]\_{0}^{9a^{2}}}
> =2\cdot 27\pi a^{5}\left(6-{\frac {18}{5}}\right)={\frac {648\pi }{5}}a^{5}.
> 由于采用柱极坐标，很容易就将这个三重积分变换为简单的单变量积分。

参看柱极和球极坐标下的∇中讨论的不同的体积元。

数学应用范例-体积计算
-----------

利用上面描述的方法，很容易计算一些立体的体积。

* **圆柱**：半径为*R*的圆形底面作为定义域，将等于高度*h*的常函数作为积分对象。可以在极坐标中将体积写作：

体积{\displaystyle =\int \_{0}^{2\pi }\mathrm {d} \phi \int \_{0}^{R}h\rho \ \mathrm {d} \rho =h2\pi \left[{\frac {\rho ^{2}}{2}}\right]\_{0}^{R}=\pi R^{2}h}
*验证*：体积=底面积×高 = \pi R^{2}\cdot h
* **球**:可以作为常函数*1*在球极坐标下的半径为*R*的球中积分：

体积{\displaystyle =\int \_{0}^{2\pi }\,\mathrm {d} \phi \int \_{0}^{\pi }\sin \theta \,\mathrm {d} \theta \int \_{0}^{R}\rho ^{2}\,\mathrm {d} \rho =2\pi \int \_{0}^{\pi }\sin \theta {\frac {R^{3}}{3}}\,\mathrm {d} \theta ={\frac {2}{3}}\pi R^{3}[-\cos \theta ]\_{0}^{\pi }={\frac {4}{3}}\pi R^{3}}。
* **四面体** (三棱锥或者说3维单纯形)：顶点在原点，三条长度为*l*的边沿着各个笛卡尔坐标系轴向的四面体的体积可以通过简化公式计算，因为*xy*平面和'z'轴互相垂直，*x*和*y*垂直，被积函数是常数*1*。

体积{\displaystyle =\int \_{0}^{\ell }\mathrm {d} x\int \_{0}^{\ell -x}\,\mathrm {d} y\int \_{0}^{\ell -x-y}\,\mathrm {d} z=\int \_{0}^{\ell }\mathrm {d} x\int \_{0}^{\ell -x}(\ell -x-y)\,\mathrm {d} y}
{\displaystyle =\int \_{0}^{\ell }(\ell ^{2}-2\ell x+x^{2}-{\frac {(\ell -x)^{2}}{2}})\,\mathrm {d} x=\ell ^{3}-\ell \ell ^{2}+{\frac {\ell ^{3}}{3}}-\left[{\frac {\ell ^{2}}{2}}-\ell x+{\frac {x^{2}}{2}}\right]\_{0}^{\ell }=}
={\frac {\ell ^{3}}{3}}-{\frac {\ell ^{3}}{6}}={\frac {\ell ^{3}}{6}}
*验证*：体积 = 底面积×高/3 = {\frac {\ell ^{2}}{2}}\cdot \ell /3={\frac {\ell ^{3}}{6}}。
反常区间的例子。

多重广义积分
------

定义域无界或者函数值在靠近定义域边界时无界的情况下，可以引入二重广义积分或者**三重广义积分**。

多重积分和累次积分
---------

参见：积分次序
富比尼定理断言若

{\displaystyle \int \_{A\times B}|f(x,y)|\,\mathrm {d} (x,y)<\infty ,}
也即，积分绝对收敛，则多重积分和累次积分给出同样的结果，

{\displaystyle \int \_{A\times B}f(x,y)\,\mathrm {d} (x,y)=\int \_{A}\left(\int \_{B}f(x,y)\,dy\right)\,dx=\int \_{B}\left(\int \_{A}f(x,y)\,\mathrm {d} x\right)\,\mathrm {d} y}。
一个特例是如果|f(x,y)|是有界函数而*A*和*B*为有界集时。

如果积分不是绝对收敛，必须小心，不要混淆*多重积分*和*累次积分*的概念，特别是当它们采用形式上相同的记法的时候。记法

{\displaystyle \int \_{0}^{1}\int \_{0}^{1}f(x,y)\,\mathrm {d} y\,\mathrm {d} x}
在某些情况下表示累次积分而非真正的双重积分。累次积分中，外围的积分

{\displaystyle \int \_{0}^{1}\cdots \,\mathrm {d} x}
是对于如下*x*的函数关于*x*的积分

{\displaystyle g(x)=\int \_{0}^{1}f(x,y)\,\mathrm {d} y}。
双重积分却是定义在*xy*平面的区域上。若双重积分存在，则它等于两个累次积分中的任何一个（或者"{\displaystyle \mathrm {d} y\,\mathrm {d} x}"或者"{\displaystyle \mathrm {d} x\,\mathrm {d} y}"），它也就是通过其中之一来计算的。但是有时这两个累次积分存在，而双重积分不存在。这种情况下，有时两个累次积分不相等，也即，

{\displaystyle \int \_{0}^{1}\int \_{0}^{1}f(x,y)\,\mathrm {d} y\,\mathrm {d} x\neq \int \_{0}^{1}\int \_{0}^{1}f(x,y)\,\mathrm {d} x\,\mathrm {d} y}。
这是条件收敛的积分的重排序的一个例子。

如果要强调使用双重积分而非累次积分时，可以采用如下记法

{\displaystyle \int \_{[0,1]\times [0,1]}f(x,y)\,\mathrm {d} x\,\mathrm {d} y}

一些实际应用
------

很普遍地，像单变量一样，我们通过多重积分可以找到给定集合上的函数的平均值。给定一个集合*D* ⊆ **R***n*和一个在*D*上可积的函数*f*，*f*在区域上的平均值是

{\displaystyle {\bar {f}}={\frac {1}{m(D)}}\int \_{D}f(x)\,\mathrm {d} x,}
其中*m*(*D*)是*D*的测度。

此外，这些积分在物理中有大量应用。

力学中，转动惯量可以作为密度乘以刚体和转轴的距离的平方的体积分（三重积分）计算：

{\displaystyle I\_{z}=\iiint \_{V}\rho r^{2}\,\mathrm {d} V}。
与三维欧氏空间**R**3中的质量测度{\mathrm {d}}m表示的质量分布（英语：）关联的引力势：

{\displaystyle V(\mathbf {x} )=-\int \_{\mathbf {R} ^{3}}{\frac {G}{|\mathbf {x} -\mathbf {y} |}}\,\mathrm {d} m(\mathbf {y} ).}
如果存在一个连续函数 {\displaystyle \rho (\mathbf {x} )} 表示 **x** 处的密度分布, 那么 {\displaystyle \mathrm {d} m(\mathbf {x} )=\rho (\mathbf {x} )\,\mathrm {d} ^{3}\mathbf {x} }, 其中**{\displaystyle \mathrm {d} ^{3}\mathbf {x} }** 是欧几里得体积元, 那么引力势就是

{\displaystyle V(\mathbf {x} )=-\int \_{\mathbf {R} ^{3}}{\frac {G}{|\mathbf {x} -\mathbf {y} |}}\,\rho (\mathbf {y} )\,\mathrm {d} ^{3}\mathbf {y} .}
在电磁学中，麦克斯韦方程组可以写作多重积分，用以计算总磁场和电场。下例中，由电荷分布产生的电场通过向量函数的*三重积分*得到：

{\vec E}={\frac {1}{4\pi \epsilon \_{0}}}\iiint {\frac {{\vec r}-{\vec r}'}{\left\|{\vec r}-{\vec r}'\right\|^{3}}}\rho ({\vec r}')\,\operatorname {d}^{3}r'。

参看
--

* 和多重积分相关的实分析定理：
	+ 散度定理
	+ 斯托克斯定理
	+ 格林定理

外部链接
----

* 埃里克·韦斯坦因.. MathWorld.
* L.D. Kudryavtsev, Hazewinkel, Michiel (编), Springer, 2001, ISBN 978-1-55608-010-4
* Mathematical Assistant on Web （页面存档备份，存于） 笛卡尔坐标系下和极坐标下的双重积分的在线计算 （包括求解过程中的中间步骤，由Maxima(軟體)支持)