跳至內容

積分符號內取微分

維基百科,自由的百科全書

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