积分符号内取微分

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

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

,在

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

  .

高维情况[编辑]

定理的证明[编辑]

引理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·伍兹(美国麻省理工学院数学系教授)。这种方法在费恩曼以后接受正规教育时很少被教授。而因为知道这种方法,使得费恩曼在普林斯顿大学读研究生时能够用其解一些困难的积分问题。《别闹了,费曼先生!》中关于在积分符号内取微分方法的原文如下:

我始终没有学会的是“围道积分(contour integration)”。高中物理老师贝德先生给过我一本书,我会的所有积分方法,都是从这本书里学到的。

  事情是这样的:一天下课之后,他叫我留下。“费曼”,他说,“你上课时话太多了,声音又太大。我知道你觉得这些课太沉闷,现在我给你这本书。以后你坐到后面角落去好好读这本书,等你全弄懂了之后,我才准你讲话。”   于是每到上物理课时,不管老师教的是帕斯卡定律或是别的什么,我都一概不理。我坐在教室的角落,念伍兹(woods)著的这本《高等微积分学》。贝德知道我念过一点《实用微积分》,因此他给我这本真正的大部头著作——给大学二三年级学生念的教材。书内有傅立叶级数、贝塞尔函数、行列式、椭圆函数——各种我前所未知的奇妙东西。   那本书还教你如何对积分符号内的参数求微分。后来我发现,一般大学课程并不怎么教这个技巧,但我掌握了它的用法,往后还一再地用到它。因此,靠着自修那本书,我做积分的方法往往与众不同。

  结果经常发生的是,我在麻省理工或普林斯顿的朋友被某些积分难住,原因却是他们从学校学来的标准方法不管用。如果那是围道积分或级数展开,他们都懂得怎么把答案找出;现在他们却碰壁了。这时我便使出“积分符号内取微分”的方法——这是因为我有一个与众不同的工具箱。当其他人用光了他们的工具,还没法找到解答时,便把问题交给我了!

另见[编辑]

参考文献[编辑]


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