微積分的歷史(二),起源之牛頓
艾薩克·牛頓(1643 - 1727),偉大的物理學家、數學家、天文學家、自然哲學家和鍊金術士。在2005年更是力壓愛因斯坦,被評為「科學史上最有影響力的人」。
牛頓研究微積分,主要還是為了物理上的計算服務的,我們來看下牛頓是怎麼推導微積分的
本節會講到以下一些內容:
牛頓的微積分
牛頓微積分的一點問題
1 牛頓的微積分
牛頓歸納微積分的整體思路是:
證明求導是不定積分的逆運算,即微積分第一基本定理(《高等數學》同濟版為求積分上限函數的導數)
進而推出牛頓-萊布尼茲公式,即微積分第二基本定理
我們來看看是怎麼做的。
1.1 微積分第一基本定理
牛頓嘗試證明下面這個結論:
試證:
首先我們來看一下 是什麼?
已知, 函數曲線下, 區間的面積為:
下面我會分別介紹這兩個步驟,從這兩個步驟我們可以分別看出:
步驟一,推出微積分第一基本定理
步驟二,展示一下牛頓是怎麼求解導數的
1.1.1 步驟一
在當時,導數這個詞還沒有,不過有一個等價的詞,就是變化率,因此牛頓就從求 的變化率出發。為了求變化率,牛頓是這麼思考的:
以 為底做一個矩形,使得它面積等於 :
可以看出 越小, 的面積越接近 的乘積,可以拖動 點試試:
此處有互動內容,點擊此處前往操作。
牛頓斷言,當 足夠小的時候, :
即 足夠小, 關於 的增量為 ,根據變化率的定義(牛頓在物理學裡面求瞬時速度的時候就是這麼算的),可以得到:
其中,牛頓稱 (注意頭上有個小點)為 的流數(這裡流數就是指的變化率),也就是現在的導數 。
至此:
實際上到了這裡已經得出了微積分第一基本定理:
從這裡可以看出,面積函數 實際上是 的一個原函數,如果改變積分下限的話,可以得到 的所有原函數(如果 的值域為 的話):
此處有互動內容,點擊此處前往操作。
1.1.2 步驟二
下面就是要計算出 等於多少了。
上一節我說過,費馬和卡瓦列里計算出了:
替換一下就可以得出:
基於此結論,牛頓繼續推了下去(二項式指的是 為自然數,而廣義二項式指的是 為有理數,廣義二項式公式是牛頓非常得意的一個數學推論):
證明完畢:
1.2 牛頓-萊布尼茲公式
順著積分第一基本定理出發,要推出了大名鼎鼎的牛頓-萊布尼茲公式(微積分第二基本定理)就很容易了。
也就是:
積分第二定理最大的意義是大大簡化了運算。
比如在有這個公式之前,已知 ,並且有 (牛頓當時計算出了這個 的冪級數展開),所以要計算 的積分,就需要對 的冪級數逐項積分,然後計算級數的和,這是非常需要技巧的。
1.3 手稿
下面是牛頓的手稿,可以讓我們看看微積分青澀的模樣:
一門學科草創之初,其實是非常混亂的。上面的證明過程都是我用現代語言該寫過的,否則看起來還是挺費勁的。實際上微積分還要過兩三百來年才能變得接近現在的模樣,更加通俗易懂。
2 牛頓微積分的一點問題
牛頓的推導中有一個致命的問題,在之前推導 到底是多少的時候:
但這個問題超越了當時所有數學家的能力極限,需要在很久以後才得到真正的解答,我們先來看看可以解決的另外一些問題。
牛頓的微積分是從微積分第一基本定理開始的:
進而推出了以下一些概念:
導數:變化率
不定積分:導數的逆
定積分:也就是曲線下面積,通過不定積分來進行計算
但是牛頓有三個問題沒有給出答案,其一:
其二:
其三:
是不是所有原函數都可以寫成積分上限函數?
2.1 問題一
因為積分上限函數是定積分的推廣,所以 可積,則 存在。
我們現在知道,《高等數學》同濟版給出了兩個可積的充分條件:
設 在 上連續,則 在 上可積
設 在 上有界,且只有有限個間斷點,則 在 上可積
至於充要條件,我會在這個系列文章的最後給出。
2.2 問題二
籠統來說,如果 連續,則 可導。
更進一步,可以通過下面的原函數存在定理來證明。
試證明:含有一類間斷點、無窮間斷點的函數 在包含該間斷點的區間內必沒有原函數 。 證:假設 為 的原函數 ,設 為間斷點,分情況討論: (1) 設 為第一類可去間斷點,有 。而 ,使用洛必達法則得到 ,即 ,矛盾,所以 不存在。 第一類跳躍間斷點和無窮間斷點同理可證。
當然第二類震蕩間斷點的 是可能有 ,比如:
其原函數為:
。
2.3 問題三
下面這個函數就是有原函數,但是沒有積分上限函數的:
它的圖像是:
從圖像上大概可以知道, 在 之間是無界的,所以不可積。
但是它確實有原函數:
3 總結
要解決積分上限函數的種種局限性,我們只需要給出一個更好的定積分定義,這個就需要由下一章節出場的大師來給出了。
推薦閱讀:
※多元函數的偏導數、方嚮導數、梯度以及微分之間的關係思考
※隨機分析相關:如何證明(dwt)^2與dt同階?
※為什麼高等數學有很多不同的版本?
※斯特林公式證明問題?