發展方程(evolution equation)是包含時間變數的許多重要的數學物理偏微分方程的統稱,又稱演化方程或進化方程。在物理、力學或其他自然科學中,這類方程用來描述隨時間而變化的狀態或過程。諸如熱傳導方程、聲波與彈性波方程、反應擴散與對流擴散方程、流體與氣體力學方程組、Schrodinger方程、KdV方程等以及由這些方程通過適當方式耦合而得到的耦合方程組,皆屬于發展方程的范疇。
在科學與技術的發展中提出了種種發展方程的求解問題,然而在絕大多數情形,這些問題的解不能用解析的公式表達出來,或者表達式過于復雜,因而需要采用數值方法去計算它們的近似解。有限差分法是求解偏微分方程定解問題的傳統數值方法,早在1928年Courant,Friedrichs和Lewy便對偏微分方程的差分方法作過完整論述。第二次世界大戰之后,隨著快速電子計算機的誕生與發展,差分方法的應用及其理論得到迅猛發展。20世紀中、后期發展起來的有限元方法,為偏微分方程(包括發展方程在內)的近似求解增添了又一強有力的工具,尤其對于處理不規則區域上及一般邊值條件的偏微分方程定解問題,有限元方法具有顯著的優越性,其次,數值分析家運用Sobolev空間及其插值逼近理論為有限元方法建立起了十分完美的數學理論,此外,在離散Fourier變換快速算法提出之后,歷史悠久的譜方法也發展成為求解偏微方程的重要方法之一。
近30年來,在上述基本方法的基礎上,針對不同類型的發展方程問題(尤其是各種非線性和耦合問題),探尋可靠的高效、高精度的數值計算方法的努力始終沒有間斷過,不斷地涌現出新的數值方法,如有限體積法和廣義差分法、特征和迎風有限元法、間斷有限元法等。值得重視的還有,由我國學者馮康院士倡導的從幾何角度出發尋求發展方程的保結構算法的研究,這是對于構造數值方法的依據和觀念上的一個重大革新。另外,近20年來譜與擬譜方法的研究也取得了很大的進展。發展方程的數值求解問題在科學與工程計算中處于十分重要的地位,已被廣泛的應用于氣象預報、地震預測、油田的勘測與開發技術、機翼與汽輪機葉片等工業產品設計、生態與環境的動態模擬等領域。適應現代科學技術的突飛猛進,關于線性與非線性發展方程數值計算方法的研究必將在理論與應用方面得到更加迅速的發展。
第一章 拋物問題的有限元方法
§1.1 二階線性拋物方程的初邊值問題
§1.2 Galerkin有限元法(半離散近似)
§1.3 收斂性分析與誤差估計
§1.4 基于一般橢圓逼近的方法
第二章 拋物方程的全離散計算格式
§2.1 簡單全離散格式
§2.2 高階精度單步格式
§2.3 質量集中方法
§2.4 一個半線性拋物問題:核反應堆的數學模型
第三章 對流-擴散問題的數值解法
§3.1 對流占優擴散問題的背景
§3.2 有限體積法和廣義差分法
§3.3 特征有限元法
§3.4 一類拋物.橢圓耦合方程組:多孔介質中兩相可混溶驅動問題
第四章 二階波動方程和一階雙曲方程組的數值解法
§4.1 聲波與彈性波方程(組)
§4.2 二階波動方程的數值解法
§4.3 一階雙曲方程的經典差分格式
§4.4 間斷有限元法
第五章 譜與擬譜方法
§5.1 投影與插值算子的逼近性質
§5.2 譜與擬譜方法
§5.3 對一階偏微問題的應用
§5.4 離散Fourier變換的快速算法
第六章 一些非線性發展方程的保結構算法
§6.1 哈密頓系統、辛結構
§6.2 非線性Schrodinger方程的一個保結構的有限元近似
§6.3 Sine-Gordon方程的多辛算法
§6.4 KortewegdeVries方程孤立波解的數值模擬方法
第七章 非線性離散模型的穩定性和收斂性理論
§7.1 線性模型的Lax定理
§7.2 廣義穩定性和收斂性條件
§7.3 應用例題
參考文獻
《現代數學基礎叢書》出版書目