單步法

数值分析裡的單步法（one-step methods）和多步法（multistep methods）是求解初值問題的數值方法的兩種分類。常微分方程和初值問題在自然科學、工程物理學中都很重要，在經濟學和社会科学中的重要性也慢慢提高。

單步法背後的基本概念是從給定的起點出發，沿著想要的解，一步一步的計算近似解。單步法只使用最近的資訊計算下一個點的資訊，多步法則不同，多步法還會考慮更早的資訊。單步法粗略可以分為兩類：顯式法是直接計算新的近似值，隱式法是將新的近似值和目前已知的資訊形成方程，需求解方程才能知道新的近似值。後者更適用於刚性方程（stiff equation，其數值分析的解只有在時間間隔很小時才會穩定，只要時間間隔略大，其解就會不穩定）。

最簡單也最古老的單步法，是顯式歐拉法，由萊昂哈德·歐拉在1768年發表。後來，在1883年，出現了許多的多步法。而卡爾·龍格、和馬丁·威廉·庫塔在1900年針對歐拉法進行大幅改進，之後出現了許多龙格-库塔法的算法，也是單步法中最重要的一組算法。二十世紀的發展包括外推的概念、以及考慮步長的控制，也就是在每一步經計算後，選擇下一步的步長。這些概念組成了求解複雜初值問題的基礎，常出現在現有的應用中，利用電腦可以有效率的求解問題，而且可以達到要求的精度。

基本概念
考慮以下初值問題的通式，要找到函數滿足以下的方程


其中是已知的函數

若和等比例，則會指數增長。因此，，其成長率是，也有初始條件。此時，可以用初等的微積分配合指数函数求得結果：。

微分方程中所要求的函數其值也可以是向量，也就是針對每一個，是一個個元素的向量。這也是維微分方程的系統。以移動物體為例，是其d維空間中的位置，而是其時間的速度。因此微分方程標示了物體軌跡上每一點的速度方向和大小。就可以由此計算軌跡。

在上述簡化版的指數成長問題中，可以直接求解。但大多數的微分方程問題更複雜，也無法求得解析解。在特定條件下，可以證明針對函數，其初始值問題的解存在，但無法用分析的解法求解（例如分離變數法、指數法或是變分法），因此需要利用數值方法，找到其近似解。

初值問題的數值方法要在各時間，逐步計算待求解函數的值。單步法在計算近似值時，只需要的近似值，與其相對的，多步法在計算近似值時，除了近似值以外，還至少需要，甚至......的值。

最簡單也最基本的單步法就是顯式歐拉法，是瑞士數學家和物理學家萊昂哈德·歐拉於1768年提出的。此方法的概念是由分段線性函數來近似要求的解，而從點到點的斜率是由時的資訊所決定。更深入的說：問題定義只提供了此函數的初值：，而且，此點的斜率也是已知的，。因此，可以確定函數在此點的切線斜率，並以此近似函數在往後時間的特性。在點，可以得到以下的結果，而步長為
 .
此作法可以繼續進行。最後，以下計算的結果就是顯式歐拉法

其遞增量.

顯式歐拉法是許多單步法的基礎，其斜率由其他近似函數在點和點之間行為的運算代替。單步法的另一個概念是來自隱式歐拉法，用為斜率。初看會認為這作法不一定合適，因為此時未知，不過，若以此往下計算，就得到以下的方程

可以以此求解（若有需要的話，也可以用數值方法求解）。例如用顯式歐拉法和隱式歐拉法的算术平均数作為斜率，這就是隱式梯形法。若等式右側未知的用顯式歐拉法近似，也可以得到另一個顯式法，這稱為Heun方法。所有方法和擴展都有一步法的基本概念：

其斜率是由 , , 以及（針對隱式歐拉法）所決定。

 定義 
單步法可以定義如下：令  是以下初值問題的解
 , .
假設解

存在在一定區間內，而且其值唯一。以下時間

是區間內滿足上述條件的時間點，且是對應的增量，則以下
 , 
就是單步法的公式，其斜率函數為。若和無關，這個單步法就是顯式的，不然，在每一個都要求解方程，才能得到解在該時間的值，這就是隱式的單步法。
 一致性和收斂性 

 收斂階數 
針對實際使用的單步法，所計算的應該是其精確解在點的值之良好近似。若其變數是通用的維向量，此近似的好壞會用向量範來量測，也就是在該點的誤差。若可以將其步階收斂到零時，會希望針對所有的誤差都快速的收斂到零。為了考慮非定值步階的情形，會將準確定義為所使用步階的最大值，在所有點裡最大誤差的特性會和的幂次比較。求解給定初值問題的單步法，其收斂階數（Convergence order）為，若以下估測值

適用在所有夠小的上，其常數，和無關。要比較不同的單步法時，收斂階數是最重要的參數。較高收斂階的方法，在固定步階下的總誤差較小，若要到給定的精度，需要的步數也比較少。針對的方法，可以預期若步階變一半，其總誤差也只會變成一半。若收斂階數的方法，步階變一半，總誤差會是。

 全域誤差和局部誤差 
收斂階數的是由兩個獨立的因素所組成，乍看之下會很複雜。一方面，誤差是由每一步用數值方法近似函數未知梯度的誤差有關，但是，也需要考慮每一步的起始點和真正起始點之間的誤差，目前這一步的誤差也會和以往各步的誤差有關。因為單步法一致性的定義，不同方式的差異只會在程序函數的選擇，不過可以證明，在符合特定條件下，可以從單一步的誤差階數推斷收斂階數，這稱為一致階數（consistency order）。

一致的概念是現代數值分析裡，通用的中心概念。數值分析方式的收斂性和數值近似如何近似其精確解有關，一致性要問的是逆問題的簡化版：其精確解可以多符合其數值方式的規格？在通用理論中，一個方法若是一致和穩定的，就是收斂的。為了簡化說明，以下的說明中假設存在顯式單步法

而且其固定步階為。其精確解為，局部截尾誤差（也稱為局部處理誤差） 定義為
 .
因此，假設其精確解已知。從開始單步法的步階，形成了在和精確解的誤差。接著定義：單步法有一致階數（consistency order）若以下估測值的算式成立

針對所有夠小的，其常數和無關。

一致階數和收斂階數中很大的差異是一致階數是而不是。這可以解釋成在局部誤差轉換到全域誤差時，少了一層步階的影響。以下定理是單步法的核心：
 若過程函數為利普希茨連續，且其相關的單步法有一致階數，則其也有收斂階數。

過程函數的利普希茨連續是針對穩定性的額外要求，若微分方程本身的是利普希茨連續，其過程函數多半也會是利普希茨連續。不過在大部份的應用都要假設此要求，以確保其初始值問題有唯一可解性，此時已可以確定單步法的一致階數。理論上，這可以用的泰勒级数求得。但實務上，高階的公式很複雜，不易理解，因此需要額外的概念以及表示法來處理此議題。

 剛性和A穩定性 

數值方法的收斂階數是漸進式的表示方式，描述步階收斂到零時，其近似的行為。不過，它並沒有說明在給定步階時，該方法是否可以產生可用的近似值。Charles Francis Curtiss和最早在1952年描述後者的問題可能是一些初始值問題的真正困難點。他們觀察到一些化學反應動力微分方程的解無法用顯式數值方法求解，稱這類初始值問題為「剛性」（stiff）J. C. Butcher (2000-12-15), "Numerical methods for ordinary differential equations in the 20th century", Journal of Computational and Applied Mathematics, vol. 125, no. 1–2, pp. 21 f. 。有許多的數學準則可以判斷給定問題的剛性程度。剛性初始值問題多半是微分方程系統，其中一些變數很快收斂變成常數，有些變數則很慢收斂。這類特性一般是發生在化學反應問題建模時。不過，實務應用問題中，最有用的剛性定義是：初始值問題是剛性問題，在用顯式方式解問題時，為了要得到可用的解，需要選擇一個「非常小」的步階。這問問題只能用隱式法求解
此效果可以檢驗各方法克服指数衰减的效果來說明。依照瑞典數學家，測試方程

時有指數遞減解。旁邊的圖可以說明顯式法和隱式法在這種看似簡單問題的典型特性：若顯式法的步階太大，其數值會強烈振盪，比原來計算的值更大，而且越來越偏離正確解。另一方面，隱式法可以在任意步階求解，其解都是正確的，稱為近似值的指數遞減數列。

若將上式推廣，上述測試方程的可以是複數。在此例中，當（也就是的實部小於等於0）時，解會振盪，而其振幅仍受到精確限制。因此可以制定可以用在剛性初值問題的單步法的理想屬性，所謂的A穩定性。一方法為A穩定，若一方法可以計算一個近似值數列，對應任何用在測試方程的步階，針所有其，而且其近似值仍有然有界（類似真正的解）。隱式歐拉法和隱式梯型法是A穩定單步法最簡單的例子。另一方面，可以證明顯式法不可能是A穩定。
 特殊方法和方法類 

 一階和二階的簡單方法 
如同法國數學家奧古斯丁-路易·柯西1820年所證明的，歐拉法的收斂階數為1。若將顯式法的斜率和隱式歐拉法的斜率平均，這是一個步階的二個端點，可以得到整個區間內較佳的近似值。事實上，可以證明隱式梯形法可以用下式得到: 
其收斂階數為2。此方法的穩定特性很好，不過是隱式法，因此在每一步階需要求解𝑦𝑗+1的方程。若這個變數是用方程右邊，用顯式歐拉法來近似，其結果就是顯式Heun法
 ,
其收斂階數也是2。另一個二階的顯式方法，改良的歐拉法，可以用以下的考量得到，此方法中步階的「平均」斜率是在步階中間解𝑦的斜率。不過，其解未知，可以用顯式歐拉法，以及一半的步階來近似。其結果是用以下的方式
 .
1895年時，德國數學家Carl Runge發布了這些二階的單步法，當做歐拉法的改良版。
 龙格-库塔法 
上述單步法的概念，若在進一步推廣，就可以得到龍格-庫塔法。例如，Heun法可以更清楚的表示如下：

首先，先計算輔助斜率，這是顯式歐拉法的斜率。

上述斜率會用在計算下一個輔助斜率。

實際用的梯度會用上述兩個梯度平均而成，也就是Heun法裡的。

上述程式可以再擴展，不只使用兩個輔助斜率。s階龙格-库塔法先在適當的點計算𝑓，以求得輔助斜率，接著加權平均，產生。在顯式龍格-庫塔法中，輔助斜率是直接一個接一個計算，而在隱式方法中，用求解方程來求得輔助斜率。一個典型的例子是4階的顯式龙格-库塔法，有時會直接用龙格-库塔法來指稱此特定方法：先計算以下四個輔助斜率

接著算以下的加權平均。

此方法是由德國數學家馬丁·威廉·庫塔在1901年提出，而三年前Karl Heun有找到一個三階單步法，其收斂階數也是三J. C. Butcher (2000-12-15), "Numerical methods for ordinary differential equations in the 20th century", Journal of Computational and Applied Mathematics, vol. 125, no. 1–2, pp. 4–6 。

 外推法 
link=https://de.wikipedia.org/wiki/Datei:Extrapolation.svg|thumb|用階數的方法外推的值
外推的概念不限制在用單步法算初始值問題的解中，也可以應用在用步階將問題離散化，進而求解的問題。廣為人知的外推法是數值積分的。一般來說，令是要知道其數值的值，在此條目中，是初始值問題解在某一點的值。數值方法（例如單步法），可以計算其近似值，數值依步階大小而定。假設此方法收斂，也就是收斂到，當收斂到零時。不過，此收斂只是純理論的說法，因為在有限個數的步階下，可以計算近似值，步階大小當然不能「收斂為0」。不過，不同步階的計算近似可以解讀為對未知函數的資訊：在外推法中，會用內插多項法來近似，也就是滿足以下性質的多項式

其中。多項式在的值可以用作在趨近於0時，不可計算極限值的可計算近似。早期針對初始值問題的成功外推法是由和在1966年發表J. C. Butcher (2000-12-15),"Numerical methods for ordinary differential equations in the 20th century", Journal of Computational and Applied Mathematics, vol. 125, no. 1–2, p. 26 。

用一個階的單步法來說明外推法的步驟。在此種方法下，小步階ℎ下計算的近似值可以用以下的多項式表示

其參數和未知。若分別用步階和，計算兩個近似值和，可以從內插條件 and 求得方程，得到和。

外推的數值為 

會是比前兩個近似值更好的近似值。可以證明這個方法的一步法，其階數至少是，也就是比原來的階數至少再高一階。
 步長控制方法 
單步法的優點是每一步的步長可以獨立控制。因此就自然會有每一步的步長ℎ𝑗如何選擇的問題。實務的應用上，初始值問題的解一定會有允許的誤差範圍。若某個數值方法的精度遠比其問題的初始值和參數的精度（初始值和參數的精度會受测量误差限制）要高，在實務上其實沒什麼用。因此其目標是選擇適當的步長大小，一方面符合誤差範圍，另一方面也讓運算量可以降到最低。配合初始條件的常微分方程，在自然科學和工程科學上相當重要，在經濟學和社會科學上也越來越重要。

針對良好条件数的初始值問題，可以證明其全域誤差大致等於每一步局部截尾誤差的和。因此，應該選押最大可能的作步長，而選擇低於選擇的容許誤差範圍。不過有一個問題：無法直接計算，和初始值問題在點的正確解（其解未知）有關。步長控制的基本概念是用一個比基本方法更精確的方法來近似。

步長控制的兩個基本概念是步長減半（step width halving）和embedded process。若是用步長減半的方法，會用步長減半後，兩步所得的值，和原始步長的單步法結果比較。透過二個值的外推法可以得到更準確的近似值，並且估計局部誤差。若是太大，就要再選擇更小的步長。若局部誤差明顯大於要求的允許誤差，下一步就可以將步長加大。步長減半法會增加的運算量較大，因此目前的實現方式會用embedded process來進行步長控制。其基本概念是每一步用二個不同的單步法近似，兩者有不同的收斂階數，因此可以估測局部誤差。為了減小運算量，這兩種方法會選擇有較多相近可共用的計算：讓二個近似「彼此嵌合」。Embedded Runge-Kutta法，就用了相同的輔助斜率，只是平均的係數不同。著名的embedded方法包括Runge-Kutta-Fehlberg方法（, 1969）和Dormand-Prince法（J. R. Dormand和P. J. Prince, 1980）。

相關條目
常微分方程数值方法

 參考資料 

 文獻 









 外部連結 





Category:数值微分方程