巴英
摘 要:常微分方程定位于數(shù)學專業(yè)課程中的基礎課,屬于應用型的學科。本文詳細介紹了該學科的特征、發(fā)展史、實用性以及和其它學科的緊密聯(lián)系,以期最大程度地輔助教學。
關鍵詞:常微分方程;通解;特解;奇解;初值問題
1 常微分方程是怎樣的一門學科
從傳統(tǒng)的代數(shù)方程出發(fā),到超越方程,再到隱函數(shù)方程,對應于方程的解,則從有限的個別數(shù)值,到離散的無窮個數(shù)值,再到解為連續(xù)的函數(shù),可以說復雜化程度越來越高。
更加一般化的方程,是含有自變量、未知函數(shù)以及未知函數(shù)的導數(shù)的方程,稱之為微分方程。有統(tǒng)計數(shù)據(jù)顯示,在獲得諾貝爾獎的自然科學家中,他們的論文中有20% 用了微分方程作為解決問題的工具,可見微分方程應用之廣泛。在微分方程中,如果自變量的個數(shù)只有一個,即是常微分方程。常微分方程的通解,已經不再是單一的函數(shù),而是函數(shù)族,它含有獨立常數(shù),而且獨立常數(shù)的個數(shù)與方程的階數(shù)一致。
總體而言,常微分方程屬于數(shù)學分析這一分支基礎上的學科,同時也定位于眾多數(shù)學與應用數(shù)學專業(yè)課程中的基礎課。
2 常微分方程的發(fā)展史
常微分方程大約有三百年左右的歷史,理論上幾乎和微積分同步,但雛形甚至比微積分還略早一些。直到18世紀中期,它才成為一門獨立的學科。
從時間跨度上進行劃分,大約把常微分方程的發(fā)展分為一下幾個階段:
2.1 17世紀前后
當牛頓和萊布尼茲奠定微積分基本思想的同時,就已經正式提出了常微分方程。事實上,牛頓作為一個偉大的物理學家,他發(fā)現(xiàn)的很多定律本質上都是常微分方程,比如動力學中的萬有引力定律、牛頓第二定律以及熱學中的牛頓冷卻定律等等,全部可以用一階或二階的常微分方程表示出來。物理學里,還有相當多的定律也都類似,比如電學中的基爾霍夫第二定律,以RLC振蕩電路為例,最后就是劃歸為一個二階常系數(shù)齊次線性方程。
常微分方程與物理學有如此淵源,以至于美國數(shù)學家M.克萊因曾經這樣總結,常微分方程是17、18世紀時在直接回答物理問題過程中興起的 。
2.2 17到18世紀
這個階段,常微分方程的中心問題就是尋求通解表達式,很多大數(shù)學家投入其中。比如貝努力得到了分離變量法和換元法,分離變量法成為解決常微分方程最基本的方法,而換元法拓展了新的可積類型。歐拉則給出了積分因子法,這個方法理論上可以統(tǒng)領已有的解一階方程的方法;此外歐拉還解決了常系數(shù)齊線性方程的求解問題,這是整個常微分方程解決最徹底之處,從通解結構到具體演算堪稱完美,而以歐拉名字命名的歐拉方程,本質上是非線性的,僅僅通過變量替換就轉化為線性方程了;另外歐拉折線法,雖然未達到數(shù)學分析嚴格化的標準,但卻為以后的解的存在性論證以及數(shù)值計算提供了重要途徑。達朗貝爾論證了非齊次線性方程的疊加原理。拉格朗日發(fā)現(xiàn)了常數(shù)變易法,這個常微分方程自身特有的方法橫貫學科全程。克萊羅給出了全微分方程的充要條件,也討論了奇解,尤其是以自己名字命名的克萊羅方程,其通解和奇解都非常特殊。
17到18世紀,作為常微分方程發(fā)展的起步階段,數(shù)學家的工作基本停留在追求初等解上,所能解決的常微分方程類型不可避免地有局限性。
2.3 19世紀
隨著時間的推移,數(shù)學家們逐漸感受到能夠初等積分法求出方程精確解的情況越來越有限。1841年,劉維爾證明了黎卡提方程
一般情況下不能用初等積分法求解,而該方程屬于最簡單的一類一階非線性方程。這一結論,某種程度上類似于代數(shù)學里,伽羅瓦證明五次和五次以上的代數(shù)方程一般情況下沒有根式解,伽羅瓦的工作對于代數(shù)學的影響是里程碑式的,它結束了求根公式的系列夢想,同時開創(chuàng)了新的學科抽象代數(shù)。劉維爾的結論在常微分方程領域里,同樣產生了深遠的影響,數(shù)學工作者的注意力不得不由初期的初等解,轉而尋求方程的近似解,于是常微分方程的近似計算和定性研究誕生。恰在此時,數(shù)學分析正在經歷嚴格化運動,數(shù)學分析嚴格化的代表人物柯西首先給出了常微分方程初值問題解的存在唯一性定理證明,開創(chuàng)了用復變函數(shù)論研究常微分方程的先河,解析理論由此誕生。
19世紀,屬于常微分方程理論基礎得到奠定和夯實的階段。
2.4 20世紀前后到現(xiàn)在
19世紀后半葉到20世紀初,常微分方程的核心問題在于定性理論和穩(wěn)定性理論,其代表人物是龐加萊和李雅普諾夫。其中,龐加萊的論文《微分方程所定義的積分曲線》側重于利用幾何和拓撲的觀點探討問題,李雅普諾夫的論文《運動穩(wěn)定性的一般問題》則偏重于用嚴格的分析方法研究解的穩(wěn)定性。這一切,為常微分方程的后繼發(fā)展的兩個大方向打造了模板。
德國數(shù)學家希爾伯特曾經提出過經典的二十三個數(shù)學問題,其中第十六個問題是關于定性理論中的極限環(huán)個數(shù)的研究,這對定性理論的發(fā)展起了極大的促進作用。20世紀30年代,由于戰(zhàn)爭的需要,迫使無線電技術亟待更新拓展,極限環(huán)(孤立的周期解)理論獲得最新的實際應用。
20世紀初,伯克霍夫開創(chuàng)了新領域動力系統(tǒng)理論,20世紀中葉后得到蓬勃發(fā)展。此外非線性振動理論、變換群理論等等在這個時期也得到發(fā)展。20世紀60年代,計算機技術加入,常微分方程的發(fā)展迎來新時期。這個時期和常微分方程關聯(lián)的重大發(fā)現(xiàn)有混沌和孤立子。洛倫茲方程關于混沌現(xiàn)象的結論引起巨大振動,孤立子探討則將常微分方程可積性的研究推向高潮。
3 常微分方程的邊緣理論和交叉學科
常微分方程理論并非孤軍奮戰(zhàn),一旦和其它領域的學科結合起來,便迅速演繹出了許多新的邊緣理論和交叉學科。從常微分方程出發(fā),我們會去觸碰隨機微分方程、泛函微分方程、脈沖微分方程、廣義微分方程、以及時標微分方程。和生物學結合,便有了種群生態(tài)學。分支理論和各種控制論的由來也是異曲同工。
4 常微分方程的實用性
既然常微分方程誕生于回答物理學問題,那么它注定會廣泛地應用于物理學中。事實上,采用無窮小方法研究物質運動變化規(guī)律的,建立數(shù)學模型后很多都歸結為常微分方程。于是,常微分方程的求解理論和方法,同樣還能夠應用于許多其他學科,比如工程技術科學、生物學、經濟學、社會學、化學、醫(yī)學甚至藝術等等。1967年,卡內基-梅隆大學的科學家們,利用常微分方程計算出放射性元素的半衰期,然后通過油畫顏料成分的比對,科學地鑒定出油畫的真?zhèn)巍?002年,西安交大馬知恩教授的團隊,根據(jù)北京和太原的非典臨床數(shù)據(jù),建立數(shù)學模型,根據(jù)常微分方程的定性理論,成功地得到和事實十分接近的結論。
5 結束語
可以確定的是,在未來世界里,常微分方程仍將是不可或缺的角色。讓我們重視常微分方程的理論研究,進一步深入地推動它的實際應用,以便它能更好地、更廣泛地為其它學科所用,從而造福人類。
參考文獻
[1]王高雄等.常微分方程(第三版)[M].高等教育出版社,2006.
[2]M.克萊因.古今數(shù)學思想[M].上海教育出版社,1985.
[3]錢詳征.常微分方程解題方法[M].湖南科學出版社,1984.