积分符号内取微分

维基百科,自由的百科全书
跳转至: 导航搜索

积分符号内取微分是一个在数学微积分领域中很有用的运算。它是说,假定

,在

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

  .

高维情况[编辑]

定理的证明[编辑]

引理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, 从而有,

证毕.

现在给出定理的证明.

证明:
定义函数,有

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

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

.

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

引理1,得

定理得证. 这即是莱布尼茨积分定理的一般形式.

大众文化[编辑]

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

另见[编辑]

参考文献[编辑]


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