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

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

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

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

 |
| 一元微分

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

 |
| 一元积分

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

 |
| 多元微积分

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

 |
| 微分方程

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

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

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

 |
| * 
* 论
* 编
 |

**积分符号内取微分**（英語：，莱布尼茨积分法则）是一个在数学的微积分领域中很有用的运算。它是说，给定如下积分

{\displaystyle F(x,a(x),b(x))=\int \_{a(x)}^{b(x)}f(x,t)\,dt},
如果在\,x\_{0}\leq x\leq x\_{1}\,时

f(x,t)\, 与 {\frac {\partial }{\partial x}}\,f(x,t)\, 对t\, 和 x\, 在(t,x)\, 平面连续, a(x)\leq t\leq b(x)\,, x\_{0}\leq x\leq x\_{1}\,, 且若对于x\_{0}\leq x\leq x\_{1}\,, a(x)\, 与 b(x)\, 及其导数连续，

那么当 \,x\_{0}\leq x\leq x\_{1}\,\,时，
根据全微分公式和微积分基本定理，
该积分对x的导数为

{\displaystyle {\begin{aligned}{\frac {d}{dx}}\,F(x,a(x),b(x))&=\left({\frac {\partial F}{\partial b}}\right){\frac {db}{dx}}+\left({\frac {\partial F}{\partial a}}\right){\frac {da}{dx}}+{\frac {\partial F}{\partial x}}\\&=f(x,b(x))\,b'(x)-f(x,a(x))\,a'(x)+\int \_{a(x)}^{b(x)}{\frac {\partial }{\partial x}}\,f(x,t)\;dt\,\end{aligned}}}
注意{\displaystyle -f(x,a(x))\,a'(x)}项的负号来源于对积分下限求导。

如果 a(x) 和 b(x) 是常数而不是 x 的 函数，那么此时的特殊情况可看做交换积分和求导的顺序：

{\displaystyle {\frac {d}{dx}}\left(\int \_{a}^{b}f(x,t)\,dt\right)=\int \_{a}^{b}{\frac {\partial }{\partial x}}f(x,t)\,dt.}

高维情况
----

{\frac {d}{dt}}\int \_{{D(t)}}F({\vec {{\textbf x}}},t)\,dV=\int \_{{D(t)}}{\frac {\partial }{\partial t}}\,F({\vec {{\textbf x}}},t)\,dV+\int \_{{\partial D(t)}}\,F({\vec {{\textbf x}}},t)\,{\vec {{\textbf v}}}\cdot {\vec {{\textbf n}}}\,dA,\,

定理的证明
-----

**引理1**:

{\frac {\partial }{\partial b}}\left(\int \_{a}^{b}f(x)\;{\mathrm {d}}x\right)=f(b),\qquad {\frac {\partial }{\partial a}}\left(\int \_{a}^{b}f(x)\;{\mathrm {d}}x\right)=-f(a).
**证明**:由微积分基本定理的第一部分，加上實際的推導上，偏微分相當於將其他變數視為常數做微分，這樣就有

{\displaystyle {\begin{aligned}{\frac {\partial }{\partial b}}\left(\int \_{a}^{b}f(x)\;\mathrm {d} x\right)&=f(b)\\{\frac {\partial }{\partial a}}\left(\int \_{a}^{b}f(x)\;\mathrm {d} x\right)&=-{\frac {\partial }{\partial a}}\left(\int \_{b}^{a}f(x)\;\mathrm {d} x\right)\\&=-f(a)\\\end{aligned}}}
*\Box* 

  

**引理2**:

假设 *a* 和 *b* 是常数, *f*(*x*) 涉及常參數 α 的积分，但会形成不同积分.假设函数 *f*(*x*, α) 在紧致集 {(*x*, α) : α0 ≤ α ≤ α1 and *a* ≤ *x* ≤ *b*} 上连续, *f* 对 *α* 的偏导 *f*α(*x*, α) 存在且连续, 定义函数\psi (\alpha ) (这里将a和b看做是与 α 无关的常数，即a和b不随 α 的增大而增大 ):
\psi (\alpha )=\int \_{a}^{b}f(x,\alpha )\;{\mathrm {d}}x.
\psi  可以對 \alpha  在积分符号内取微分,即
{\frac {{\mathrm {d}}\psi }{{\mathrm {d}}\alpha }}=\int \_{a}^{b}{\frac {\partial }{\partial \alpha }}\,f(x,\alpha )\,{\mathrm {d}}x.\,
**证明**:由海涅－康托尔定理，函数f(x,\alpha )在集合中一致连续. 即对任意 ε > 0 ，存在 Δα 使得对任意 *x* ∈ [*a*, *b*]，均有:

|f(x,\alpha +\Delta \alpha )-f(x,\alpha )|<\varepsilon .
另一方面:

{\begin{aligned}\Delta \psi &=\psi (\alpha +\Delta \alpha )-\psi (\alpha )\\&=\int \_{a}^{b}f(x,\alpha +\Delta \alpha )\;{\mathrm {d}}x-\int \_{a}^{b}f(x,\alpha )\;{\mathrm {d}}x\\&=\int \_{a}^{b}\left(f(x,\alpha +\Delta \alpha )-f(x,\alpha )\right)\;{\mathrm {d}}x\\&\leq \varepsilon (b-a)\end{aligned}}
因此 \psi (\alpha ) 是连续函数.

同理， 如果 {\frac {\partial }{\partial \alpha }}\,f(x,\alpha ) 存在且连续, 则对任意 ε > 0 存在 Δα ，使得:

\forall x\in [a,b]\quad \left|{\frac {f(x,\alpha +\Delta \alpha )-f(x,\alpha )}{\Delta \alpha }}-{\frac {\partial f}{\partial \alpha }}\right|<\varepsilon .
因此,

{\frac {\Delta \psi }{\Delta \alpha }}=\int \_{a}^{b}{\frac {f(x,\alpha +\Delta \alpha )-f(x,\alpha )}{\Delta \alpha }}\;{\mathrm {d}}x=\int \_{a}^{b}{\frac {\partial \,f(x,\alpha )}{\partial \alpha }}\,{\mathrm {d}}x+R
这里

|R|<\int \_{a}^{b}\varepsilon \;{\mathrm {d}}x=\varepsilon (b-a).
令 ε → 0 且 Δα → 0, 从而有,

\lim \_{{{\Delta \alpha }\rightarrow 0}}{\frac {\Delta \psi }{\Delta \alpha }}={\frac {{\mathrm {d}}\psi }{{\mathrm {d}}\alpha }}=\int \_{a}^{b}{\frac {\partial }{\partial \alpha }}\,f(x,\alpha )\,{\mathrm {d}}x.\,
证毕.

现在给出定理的证明.

**证明**:
定义函数\varphi (\alpha )，有
\int \_{a}^{b}f(x,\alpha )\;{\mathrm {d}}x=\varphi (\alpha ),
这里*a* 与 *b* 是关于 α 的函数，随α的增加分别增加 Δ*a* 和 Δ*b*,即当 α 增加 Δα时,有

{\begin{aligned}\Delta \varphi &=\varphi (\alpha +\Delta \alpha )-\varphi (\alpha )\\&=\int \_{{a+\Delta a}}^{{b+\Delta b}}f(x,\alpha +\Delta \alpha )\;{\mathrm {d}}x\,-\int \_{a}^{b}f(x,\alpha )\;{\mathrm {d}}x\,\\&=\int \_{{a+\Delta a}}^{a}f(x,\alpha +\Delta \alpha )\;{\mathrm {d}}x+\int \_{a}^{b}f(x,\alpha +\Delta \alpha )\;{\mathrm {d}}x+\int \_{b}^{{b+\Delta b}}f(x,\alpha +\Delta \alpha )\;{\mathrm {d}}x-\int \_{a}^{b}f(x,\alpha )\;{\mathrm {d}}x\\&=-\int \_{a}^{{a+\Delta a}}\,f(x,\alpha +\Delta \alpha )\;{\mathrm {d}}x+\int \_{a}^{b}[f(x,\alpha +\Delta \alpha )-f(x,\alpha )]\;{\mathrm {d}}x+\int \_{b}^{{b+\Delta b}}\,f(x,\alpha +\Delta \alpha )\;{\mathrm {d}}x.\end{aligned}}
由积分中值定理得 \int \_{a}^{b}f(x)\;{\mathrm {d}}x=(b-a)f(\xi ), 这里 *a* < ξ < *b*, 从而上式变为

\Delta \varphi =-\Delta a\,f(\xi \_{1},\alpha +\Delta \alpha )+\int \_{a}^{b}[f(x,\alpha +\Delta \alpha )-f(x,\alpha )]\;{\mathrm {d}}x+\Delta b\,f(\xi \_{2},\alpha +\Delta \alpha )
=-\Delta a\,f(\xi \_{1},\alpha +\Delta \alpha )+\psi (\alpha +\Delta \alpha )-\psi (\alpha )+\Delta b\,f(\xi \_{2},\alpha +\Delta \alpha ).
上式除以 Δα, 令 Δα → 0, 此时 ξ1 → *a* 且 ξ2 → *b*,由**引理2**：

{\frac {{\mathrm {d}}\psi }{{\mathrm {d}}\alpha }}=\int \_{a}^{b}{\frac {\partial }{\partial \alpha }}\,f(x,\alpha )\,{\mathrm {d}}x
和**引理1**，得

{\frac {{\mathrm {d}}\varphi }{{\mathrm {d}}\alpha }}=\int \_{a}^{b}{\frac {\partial }{\partial \alpha }}\,f(x,\alpha )\,{\mathrm {d}}x+f(b,\alpha ){\frac {\partial b}{\partial \alpha }}-f(a,\alpha ){\frac {\partial a}{\partial \alpha }}.
定理得证.

由富比尼定理证明
--------

由富比尼定理,

{\displaystyle {\frac {d}{dy}}\left(\int \_{c}^{y}\int \_{a}^{b}{\frac {\partial f}{\partial z}}(x,z)dxdz\right)={\frac {d}{dy}}\left(\int \_{a}^{b}\int \_{c}^{y}{\frac {\partial f}{\partial z}}(x,z)dzdx\right)}
由微积分基本定理的第一形式, 左边等于

{\displaystyle \int \_{a}^{b}{\frac {\partial f}{\partial y}}(x,y)dx.}
由微积分基本定理的第二形式, 右边等于

{\displaystyle {\frac {d}{dy}}\left(\int \_{a}^{b}(f(x,y)-f(x,c))dx\right).}
被积函数的第二部分{\displaystyle f(x,c)}不含 *y*，所以它对 *y* 的导数是0，所以右边等于

{\displaystyle {\frac {d}{dy}}\left(\int \_{a}^{b}f(x,y)dx\right).}
证毕

大众文化
----

积分符号内取微分曾在已故的物理学家理查德·费曼的最畅销的回忆录《别闹了，费曼先生！》（在"一个不同的工具箱"一章中）中提到过，他提到他是高中时从一本旧书《高等微积分》（1926年）中学到的，书的作者是弗雷德里克·S·伍兹（美国麻省理工学院数学系教授）。这种方法在费恩曼以后接受正规教育时很少被教授。而因为知道这种方法，使得费恩曼在普林斯顿大学读研究生时能够用其解一些困难的积分问题。《别闹了，费曼先生！》中关于在积分符号内取微分方法的原文如下：

|  |  |  |
| --- | --- | --- |
|  | 我始终没有学会的是"围道积分（contour integration）"。高中物理老师贝德先生给过我一本书，我会的所有积分方法，都是从这本书里学到的。
　　事情是这样的：一天下课之后，他叫我留下。"费曼"，他说，"你上课时话太多了，声音又太大。我知道你觉得这些课太沉闷，现在我给你这本书。以后你坐到后面角落去好好读这本书，等你全弄懂了之后，我才准你讲话。"
　　于是每到上物理课时，不管老师教的是帕斯卡定律或是别的什么，我都一概不理。我坐在教室的角落，念伍兹（woods）著的这本《高等微积分学》。贝德知道我念过一点《实用微积分》，因此他给我这本真正的大部头著作——给大学二三年级学生念的教材。书内有傅立叶级数、贝塞尔函数、行列式、椭圆函数——各种我前所未知的奇妙东西。
　　那本书还教你如何对积分符号内的参数求微分。后来我发现，一般大学课程并不怎么教这个技巧，但我掌握了它的用法，往后还一再地用到它。因此，靠着自修那本书，我做积分的方法往往与众不同。
　　结果经常发生的是，我在麻省理工或普林斯顿的朋友被某些积分难住，原因却是他们从学校学来的标准方法不管用。如果那是围道积分或级数展开，他们都懂得怎么把答案找出；现在他们却碰壁了。这时我便使出"积分符号内取微分"的方法——这是因为我有一个与众不同的工具箱。当其他人用光了他们的工具，还没法找到解答时，便把问题交给我了！ |  |

另见
--

参考文献
----

  

费曼积分法——积分符号内取微分： （页面存档备份，存于）

1. ↑   (PDF).  [2022-10-20]. （原始内容存档 (PDF)于2017-10-31）.
2. ↑  {\displaystyle {\frac {d}{dt}}\left(\int \_{a}^{t}f(x)dx\right)=f(t)}
3. ↑  {\displaystyle \int \_{a}^{b}F^{\prime }(x)dx=F(b)-F(a)}