積分符號內取微分(英語: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).
- ^
- ^