积分符号内取微分

积分符号内取微分（，莱布尼茨积分法则）是一个数学中微积分领域的一项常用运算，用于研究含参积分对参数的求导问题。该法则说明，在满足一定条件的情况下，可以将求导运算移入积分符号之内。

 定义 
给定如下积分

,

若在上，函数  与其及其关于  的偏导数  对  和  在  平面连续， ，，且若对于,  与  及其导数连续，则当 时，根据全微分公式和微积分基本定理，该积分对的导数为

其中项的负号来源于对积分下限求导。

如果  和  是常数而非对  的 函数，那么此时的特殊情况可看做交换积分和求导的顺序：

 高维情况 

定理的证明
引理1：

证明：由微积分基本定理的第一部分，加上實際的推導上，偏微分相當於將其他變數視為常數做微分，這樣就有

引理2：
假设 a 和 b 是常数, f(x) 涉及常參數 α 的积分，但会形成不同积分.假设函数 f(x, α) 在紧致集 {(x, α) : α0 ≤ α ≤ α1 and a ≤ x ≤ b} 上连续, f 对 α 的偏导  fα(x, α) 存在且连续, 定义函数 (这里将a和b看做是与 α 无关的常数，即a和b不随 α 的增大而增大 ):

 可以對  在积分符号内取微分,即

证明：由海涅－康托尔定理，函数在集合中一致连续. 即对任意 ε > 0 ，存在 Δα 使得对任意 x ∈ [a, b]，均有:

另一方面：

因此  是连续函数.

同理， 如果  存在且连续, 则对任意 ε > 0 存在 Δα ，使得:

因此,

这里

令 ε → 0 且 Δα → 0, 从而有,

证毕.

现在给出定理的证明.
证明:
定义函数，有

这里a 与 b 是关于 α 的函数，随α的增加分别增加 Δa 和 Δb,即当 α 增加 Δα时,有

由积分中值定理得  这里 a < ξ < b, 从而上式变为

.
上式除以 Δα, 令 Δα → 0, 此时 ξ1 → a 且 ξ2 → b,由引理2：

和引理1，得

定理得证.

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

由微积分基本定理的第一形式, 左边等于

由微积分基本定理的第二形式, 右边等于

被积函数的第二部分不含 y，所以它对 y 的导数是0，所以右边等于

证毕

 大众文化 

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

 另见 

 参考文献 

费曼积分法——积分符号内取微分：http://spaces.ac.cn/index.php/archives/1615/ 

Category:微积分