积分符号内取微分(英語:Leibniz integral rule,莱布尼茨积分法则)是一个在数学的微积分领域中很有用的运算。它是说,给定如下积分
,
如果在
时
与
对
和
在
平面连续,
,
, 且若对于
,
与
及其导数连续,
那么当
时,
根据全微分公式和微积分基本定理,
该积分对
的导数为
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/12ceb581f5ea5bbc5ae6163995f08bd0eb4d08c4)
注意
项的负号来源于对积分下限求导。
如果
和
是常数而不是
的 函数,那么此时的特殊情况可看做交换积分和求导的顺序:
![{\displaystyle {\frac {d}{dx}}\left(\int _{a}^{b}f(x,t)\,dt\right)=\int _{a}^{b}{\frac {\partial }{\partial x}}f(x,t)\,dt.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9e4764454b92f4e9df45732813ecfc6abe0ac99)
高维情况[编辑]
定理的证明[编辑]
引理1:
![{\displaystyle {\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).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d6081abe376095c15fd5fc4513306552a0cb4308)
证明:由微积分基本定理的第一部分,加上實際的推導上,偏微分相當於將其他變數視為常數做微分,這樣就有
![{\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/153785b7bd8ee8c5a2324a30e578dd3d3a02e9c7)
![{\displaystyle \Box }](https://wikimedia.org/api/rest_v1/media/math/render/svg/029b77f09ebeaf7528fc831fe57848be51f2240b)
引理2:
- 假设 a 和 b 是常数, f(x) 涉及常參數 α 的积分,但会形成不同积分.假设函数 f(x, α) 在紧致集 {(x, α) : α0 ≤ α ≤ α1 and a ≤ x ≤ b} 上连续, f 对 α 的偏导 fα(x, α) 存在且连续, 定义函数
(这里将a和b看做是与 α 无关的常数,即a和b不随 α 的增大而增大 ):
![{\displaystyle \psi (\alpha )=\int _{a}^{b}f(x,\alpha )\;\mathrm {d} x.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f6bcc20c13fc904e635318cc4033ece197bdccc5)
可以對
在积分符号内取微分,即
![{\displaystyle {\frac {\mathrm {d} \psi }{\mathrm {d} \alpha }}=\int _{a}^{b}{\frac {\partial }{\partial \alpha }}\,f(x,\alpha )\,\mathrm {d} x.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d5e7631671a4f057d1846b9c977d727ed9d9a9a4)
证明:由海涅-康托尔定理,函数
在集合中一致连续. 即对任意 ε > 0 ,存在 Δα 使得对任意 x ∈ [a, b],均有:
![{\displaystyle |f(x,\alpha +\Delta \alpha )-f(x,\alpha )|<\varepsilon .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9d91ba4fc23bfb36adfe4cb99fc127e15b65e0f5)
另一方面:
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a41d907cb802c26c6d6fe6d9a2e2d36357011c29)
因此
是连续函数.
同理, 如果
存在且连续, 则对任意 ε > 0 存在 Δα ,使得:
![{\displaystyle \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 .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5f5170ae27cfaa768b9ac38f7bb0263953c47e5)
因此,
![{\displaystyle {\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}](https://wikimedia.org/api/rest_v1/media/math/render/svg/72280135de0fa26c97511f52680ee215d048ca4e)
这里
![{\displaystyle |R|<\int _{a}^{b}\varepsilon \;\mathrm {d} x=\varepsilon (b-a).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d4edb320ed8b3d36092f355c38f568fc8107843e)
令 ε → 0 且 Δα → 0, 从而有,
![{\displaystyle \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.\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/6b9a76b13d5c95ae47317b41468bb7e2d781c8ea)
证毕.
现在给出定理的证明.
- 证明:
- 定义函数
,有
![{\displaystyle \int _{a}^{b}f(x,\alpha )\;\mathrm {d} x=\varphi (\alpha ),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1253b1e694a45926649c0c05cb80e6a324252292)
这里a 与 b 是关于 α 的函数,随α的增加分别增加 Δa 和 Δb,即当 α 增加 Δα时,有
![{\displaystyle {\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}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d1814ba29df169a1b318caa894b5015ce9d9fd58)
由积分中值定理得
这里 a < ξ < b, 从而上式变为
![{\displaystyle \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 )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f42799467e85957297138d5003502d28288a65b7)
.
上式除以 Δα, 令 Δα → 0, 此时 ξ1 → a 且 ξ2 → b,由引理2:
![{\displaystyle {\frac {\mathrm {d} \psi }{\mathrm {d} \alpha }}=\int _{a}^{b}{\frac {\partial }{\partial \alpha }}\,f(x,\alpha )\,\mathrm {d} x}](https://wikimedia.org/api/rest_v1/media/math/render/svg/95a083481c48cf3e723988793619510986d29378)
和引理1,得
![{\displaystyle {\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 }}.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4c8886334cd0b2df9b3178dc9bedf487011eae5)
定理得证.
由富比尼定理证明[编辑]
[1]由富比尼定理,
![{\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)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8eb3972669a08ea275c6fa5b340e25f50db2b3e9)
由微积分基本定理的第一形式[2], 左边等于
![{\displaystyle \int _{a}^{b}{\frac {\partial f}{\partial y}}(x,y)dx.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a9acb2c3dfed014dffdb0f7389bfe1945d1710bc)
由微积分基本定理的第二形式[3], 右边等于
![{\displaystyle {\frac {d}{dy}}\left(\int _{a}^{b}(f(x,y)-f(x,c))dx\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/90f83accc2f97ac17fd4a39a1891c5dfd344c0be)
被积函数的第二部分
不含 y,所以它对 y 的导数是0,所以右边等于
![{\displaystyle {\frac {d}{dy}}\left(\int _{a}^{b}f(x,y)dx\right).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e264d7b8fb1a58153fa2e65da92c87b1c0859332)
证毕
大众文化[编辑]
积分符号内取微分曾在已故的物理学家理查德·费曼的最畅销的回忆录《别闹了,费曼先生!》(在“一个不同的工具箱”一章中)中提到过,他提到他是高中时从一本旧书《高等微积分》(1926年)中学到的,书的作者是弗雷德里克·S·伍兹(美国麻省理工学院数学系教授)。这种方法在费恩曼以后接受正规教育时很少被教授。而因为知道这种方法,使得费恩曼在普林斯顿大学读研究生时能够用其解一些困难的积分问题。《别闹了,费曼先生!》中关于在积分符号内取微分方法的原文如下:
“
|
我始终没有学会的是“围道积分(contour integration)”。高中物理老师贝德先生给过我一本书,我会的所有积分方法,都是从这本书里学到的。
事情是这样的:一天下课之后,他叫我留下。“费曼”,他说,“你上课时话太多了,声音又太大。我知道你觉得这些课太沉闷,现在我给你这本书。以后你坐到后面角落去好好读这本书,等你全弄懂了之后,我才准你讲话。”
于是每到上物理课时,不管老师教的是帕斯卡定律或是别的什么,我都一概不理。我坐在教室的角落,念伍兹(woods)著的这本《高等微积分学》。贝德知道我念过一点《实用微积分》,因此他给我这本真正的大部头著作——给大学二三年级学生念的教材。书内有傅立叶级数、贝塞尔函数、行列式、椭圆函数——各种我前所未知的奇妙东西。
那本书还教你如何对积分符号内的参数求微分。后来我发现,一般大学课程并不怎么教这个技巧,但我掌握了它的用法,往后还一再地用到它。因此,靠着自修那本书,我做积分的方法往往与众不同。
结果经常发生的是,我在麻省理工或普林斯顿的朋友被某些积分难住,原因却是他们从学校学来的标准方法不管用。如果那是围道积分或级数展开,他们都懂得怎么把答案找出;现在他们却碰壁了。这时我便使出“积分符号内取微分”的方法——这是因为我有一个与众不同的工具箱。当其他人用光了他们的工具,还没法找到解答时,便把问题交给我了!
|
”
|
参考文献[编辑]
费曼积分法——积分符号内取微分:http://spaces.ac.cn/index.php/archives/1615/ (页面存档备份,存于互联网档案馆)
- ^ 存档副本 (PDF). [2022-10-20]. (原始内容存档 (PDF)于2017-10-31).
- ^
- ^