积分符号内取微分

积分符号内取微分(英语:Leibniz integral rule,莱布尼茨积分法则)是一个在数学微积分领域中很有用的运算。它是说,给定如下积分

,

如果在

平面连续, , , 且若对于, 及其导数连续,

那么当 时, 根据全微分公式和微积分基本定理, 该积分对的导数为

注意项的负号来源于对积分下限求导

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


高维情况

 

定理的证明

引理1:

 

证明:由微积分基本定理的第一部分,加上实际的推导上,偏微分相当于将其他变数视为常数做微分,这样就有

 
 


引理2:

假设 ab 是常数, f(x) 涉及常参数 α 的积分,但会形成不同积分.假设函数 f(x, α) 在紧致集 {(x, α) : α0 ≤ α ≤ α1 and axb} 上连续, fα偏导 fα(x, α) 存在且连续, 定义函数  (这里将a和b看做是与 α 无关的常数,即a和b不随 α 的增大而增大 ):
 
  可以对   在积分符号内取微分,即
 

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

 

另一方面:

 

因此   是连续函数.

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

 

因此,

 

这里

 

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

 

证毕.

现在给出定理的证明.

证明:
定义函数 ,有
 

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

 

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

 
 .

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

 

引理1,得

 

定理得证.

由富比尼定理证明

[1]富比尼定理,

 

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

 

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

 

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

 

证毕

大众文化

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

另见

参考文献


费曼积分法——积分符号内取微分:http://spaces.ac.cn/index.php/archives/1615/页面存档备份,存于互联网档案馆

  1. ^ 存档副本 (PDF). [2022-10-20]. (原始内容存档 (PDF)于2017-10-31). 
  2. ^  
  3. ^