单步法

数值分析里的单步法（one-step methods）和多步法（multistep methods）是求解初值问题的数值方法的两种分类。常微分方程和初值问题在自然科学、工程物理学中都很重要，在经济学和社会科学中的重要性也慢慢提高。
单步法背后的基本概念是从给定的起点出发，沿著想要的解，一步一步的计算近似解。单步法只使用最近的资讯计算下一个点的资讯，多步法则不同，多步法还会考虑更早的资讯。单步法粗略可以分为两类：显式法是直接计算新的近似值，隐式法是将新的近似值和目前已知的资讯形成方程，需求解方程才能知道新的近似值。后者更适用于刚性方程（stiff equation，其数值分析的解只有在时间间隔很小时才会稳定，只要时间间隔略大，其解就会不稳定）。
最简单也最古老的单步法，是显式欧拉法，由莱昂哈德·欧拉在1768年发表。后来，在1883年，出现了许多的多步法。而卡尔·龙格、和马丁·威廉·库塔在1900年针对欧拉法进行大幅改进，之后出现了许多龙格-库塔法的算法，也是单步法中最重要的一组算法。二十世纪的发展包括外推的概念、以及考虑步长的控制，也就是在每一步经计算后，选择下一步的步长。这些概念组成了求解复杂初值问题的基础，常出现在现有的应用中，利用电脑可以有效率的求解问题，而且可以达到要求的精度。
基本概念.
考虑以下初值问题的通式，要找到函数formula_1满足以下的方程
其中formula_3是已知的函数
若formula_4和formula_5等比例，则formula_5会指数增长。因此，formula_7，其成长率是formula_8，也有初始条件formula_9。此时，可以用初等的微积分配合指数函数求得结果：formula_10。
微分方程中所要求的函数formula_1其值也可以是向量，也就是针对每一个formula_12，formula_13是一个formula_14个元素的向量。这也是formula_14维微分方程的系统。以移动物体为例，formula_5是其d维空间中的位置，而formula_4是其时间formula_12的速度。因此微分方程标示了物体轨迹上每一点的速度方向和大小。就可以由此计算轨迹。
在上述简化版的指数成长问题中，可以直接求解。但大多数的微分方程问题更复杂，也无法求得解析解。在特定条件下，可以证明针对函数formula_3，其初始值问题的解存在，但无法用分析的解法求解（例如分离变数法、指数法或是变分法），因此需要利用数值方法，找到其近似解。
初值问题的数值方法要在formula_20各时间，逐步计算待求解函数的值formula_21。单步法在计算formula_22近似值时，只需要formula_23的近似值，与其相对的，多步法在计算formula_22近似值时，除了formula_23近似值以外，还至少需要formula_26，甚至formula_27...的值。
最简单也最基本的单步法就是显式欧拉法，是瑞士数学家和物理学家莱昂哈德·欧拉于1768年提出的。此方法的概念是由分段线性函数来近似要求的解，而从点formula_28到点formula_29的斜率是由formula_30时的资讯所决定。更深入的说：问题定义只提供了此函数的初值：formula_31，而且，此点的斜率也是已知的，formula_32。因此，可以确定函数在此点的切线斜率，并以此近似函数在往后时间的特性。在点formula_33，可以得到以下的结果，而步长为formula_34
此作法可以继续进行。最后，以下计算的结果就是显式欧拉法
其递增量formula_37.
显式欧拉法是许多单步法的基础，其斜率formula_29由其他近似函数在点formula_30和点formula_28之间行为的运算代替。单步法的另一个概念是来自隐式欧拉法，用formula_41为斜率。初看会认为这作法不一定合适，因为此时formula_22未知，不过，若以此往下计算，就得到以下的方程
可以以此求解formula_22（若有需要的话，也可以用数值方法求解）。例如用显式欧拉法和隐式欧拉法的算术平均数作为斜率，这就是隐式梯形法。若等式右侧未知的formula_22用显式欧拉法近似，也可以得到另一个显式法，这称为Heun方法。所有方法和扩展都有一步法的基本概念：
其斜率formula_47是由formula_30 , formula_23, formula_50以及（针对隐式欧拉法）formula_22所决定。
定义.
单步法可以定义如下：令 formula_1 是以下初值问题的解
假设解
存在在一定区间formula_56内，而且其值唯一。以下时间
是区间formula_58内满足上述条件的时间点，且formula_37是对应的增量，则以下
就是单步法的公式，其斜率函数为formula_47。若formula_47和formula_22无关，这个单步法就是显式的，不然，在每一个formula_65都要求解方程，才能得到解在该时间的值，这就是隐式的单步法。
一致性和收敛性.
收敛阶数.
针对实际使用的单步法，所计算的formula_23应该是其解formula_1在点formula_30的值formula_69之良好近似。若其变数是通用的formula_14维向量，此近似的好坏会用向量范formula_71来量测，也就是在该点formula_30的误差。若可以将其步阶收敛到零时，会希望针对所有formula_65的误差都快速的收敛到零。为了考虑非定值步阶的情形，会将formula_74准确定义为所使用步阶的最大值，在所有点formula_65里最大误差的特性会和formula_74的幂次比较。求解给定初值问题的单步法，其收敛阶数（Convergence order）为formula_77，若以下估测值
适用在所有够小的formula_74上，其常数formula_80，和formula_74无关。要比较不同的单步法时，收敛阶数是最重要的参数。较高收敛阶formula_82的方法，在固定步阶下的总误差较小，若要到给定的精度，需要的步数也比较少。针对formula_83的方法，可以预期若步阶变一半，其总误差也只会变成一半。若收敛阶数formula_84的方法，步阶变一半，总误差会是formula_85。
全域误差和局部误差.
收敛阶数的formula_86是由两个独立的因素所组成，乍看之下会很复杂。一方面，误差是由每一步用数值方法近似函数未知梯度的误差有关，但是，也需要考虑每一步的起始点formula_87和真正起始点formula_88之间的误差，目前这一步的误差也会和以往各步的误差有关。因为单步法一致性的定义，不同方式的差异只会在程序函数formula_47的选择，不过可以证明，在formula_47符合特定条件下，可以从单一步的误差阶数推断收敛阶数，这称为一致阶数（consistency order）。
一致的概念是现代数值分析里，通用的中心概念。数值分析方式的收敛性和数值近似如何近似其确切解有关，一致性要问的是逆问题的简化版：其确切解可以多符合其数值方式的规格？在通用理论中，一个方法若是一致和稳定的，就是收敛的。为了简化说明，以下的说明中假设存在显式单步法
而且其固定步阶为formula_74。其真实解为formula_93，局部截尾误差（也称为局部处理误差）formula_94 定义为
因此，假设其确切解已知。从formula_96开始单步法的步阶，形成了在formula_97和确切解的误差。接著定义：单步法有一致阶数（consistency order）formula_77若以下估测值的算式成立
针对所有够小的formula_74，其常数formula_80和formula_74无关。
一致阶数和收敛阶数中很大的差异是一致阶数是formula_103而不是formula_104。这可以解释成在局部误差转换到全域误差时，少了一层步阶formula_74的影响。以下定理是单步法的核心：
过程函数的利普希茨连续是针对稳定性的额外要求，若微分方程本身的formula_3是利普希茨连续，其过程函数多半也会是利普希茨连续。不过在大部份的应用都要假设此要求，以确保其初始值问题有唯一可解性，此时已可以确定单步法的一致阶数。理论上，这可以用formula_110的泰勒级数求得。但实务上，高阶的公式很复杂，不易理解，因此需要额外的概念以及表示法来处理此议题。
刚性和A稳定性.
数值方法的收敛阶数是渐进式的表示方式，描述步阶收敛到零时，其近似的行为。不过，它并没有说明在给定步阶时，该方法是否可以产生可用的近似值。Charles Francis Curtiss和最早在1952年描述后者的问题可能是一些初始值问题的真正困难点。他们观察到一些化学反应动力微分方程的解无法用显式数值方法求解，称这类初始值问题为「刚性」（stiff）。有许多的数学准则可以判断给定问题的刚性程度。刚性初始值问题多半是微分方程系统，其中一些变数很快收敛变成常数，有些变数则很慢收敛。这类特性一般是发生在化学反应问题建模时。不过，实务应用问题中，最有用的刚性定义是：初始值问题是刚性问题，在用显式方式解问题时，为了要得到可用的解，需要选择一个「非常小」的步阶。这问问题只能用隐式法求解
此效果可以检验各方法克服指数衰减的效果来说明。依照瑞典数学家，测试方程
formula_112时有指数递减解formula_113。旁边的图可以说明显式法和隐式法在这种看似简单问题的典型特性：若显式法的步阶太大，其数值会强烈振荡，比原来计算的值更大，而且越来越偏离正确解。另一方面，隐式法可以在任意步阶求解，其解都是正确的，称为近似值的指数递减数列。
若将上式推广，上述测试方程的formula_8可以是复数。在此例中，当formula_115（也就是formula_8的实部小于等于0）时，解会振荡，而其振幅仍受到精确限制。因此可以制定可以用在刚性初值问题的单步法的理想属性，所谓的A稳定性。一方法为A稳定，若一方法可以计算一个近似值数列，formula_117对应任何用在测试方程的步阶formula_118，针所有formula_8其formula_115，而且其近似值仍有然有界（类似真正的解）。隐式欧拉法和隐式梯型法是A稳定单步法最简单的例子。另一方面，可以证明显式法不可能是A稳定。
特殊方法和方法类.
一阶和二阶的简单方法.
如同法国数学家奥古斯丁-路易·柯西1820年所证明的，欧拉法的收敛阶数为1。若将显式法的斜率formula_29和隐式欧拉法的斜率平均，这是一个步阶的二个端点，可以得到整个区间内较佳的近似值。事实上，可以证明隐式梯形法可以用下式得到: formula_122
其收敛阶数为2。此方法的稳定特性很好，不过是隐式法，因此在每一步阶需要求解𝑦𝑗+1的方程。若这个变数是用方程右边，用显式欧拉法来近似，其结果就是显式Heun法
其收敛阶数也是2。另一个二阶的显式方法，改良的欧拉法，可以用以下的考量得到，此方法中步阶的「平均」斜率是在步阶中间解𝑦的斜率。不过，其解未知，可以用显式欧拉法，以及一半的步阶来近似。其结果是用以下的方式
1895年时，德国数学家Carl Runge发布了这些二阶的单步法，当做欧拉法的改良版。
龙格-库塔法.
上述单步法的概念，若在进一步推广，就可以得到龙格-库塔法。例如，Heun法可以更清楚的表示如下：
首先，先计算辅助斜率formula_125，这是显式欧拉法的斜率。
上述斜率会用在计算下一个辅助斜率formula_126。
实际用的梯度formula_47会用上述两个梯度平均而成，也就是Heun法里的formula_128。
上述程式可以再扩展，不只使用两个辅助斜率。s阶龙格-库塔法先在适当的点计算𝑓，以求得辅助斜率formula_129，接著加权平均，产生formula_47。在显式龙格-库塔法中，辅助斜率formula_131是直接一个接一个计算，而在隐式方法中，用求解方程来求得辅助斜率。一个典型的例子是4阶的显式龙格-库塔法，有时会直接用龙格-库塔法来指称此特定方法：先计算以下四个辅助斜率
接著算以下的加权平均。
此方法是由德国数学家马丁·威廉·库塔在1901年提出，而三年前Karl Heun有找到一个三阶单步法，其收敛阶数也是三。
外推法.
外推的概念不限制在用单步法算初始值问题的解中，也可以应用在用步阶formula_74将问题离散化，进而求解的问题。广为人知的外推法是数值积分的。一般来说，令formula_135是要知道其数值的值，在此条目中，是初始值问题解在某一点的值。数值方法（例如单步法），可以计算其近似值formula_136，数值依步阶大小formula_117而定。假设此方法收敛，也就是formula_136收敛到formula_135，当formula_74收敛到零时。不过，此收敛只是纯理论的说法，因为在有限个数的步阶formula_141下，可以计算近似值formula_142，步阶大小当然不能「收敛为0」。不过，不同步阶的计算近似可以解读为对未知函数的资讯formula_143：在外推法中，formula_143会用内插多项法来近似，也就是满足以下性质的多项式formula_145
其中formula_147。多项式在formula_148的值formula_149可以用作在formula_74趋近于0时，formula_136不可计算极限值的可计算近似。早期针对初始值问题的成功外推法是由和在1966年发表。
用一个formula_82阶的单步法来说明外推法的步骤。在此种方法下，小步阶ℎ下计算的近似值可以用以下的多项式表示
其参数formula_154和formula_155未知。若分别用步阶formula_156和formula_157，计算两个近似值formula_158和formula_159，可以从内插条件formula_160 and formula_161求得方程，得到formula_154和formula_155。
外推的数值为 
会是比前两个近似值更好的近似值。可以证明这个方法的一步法，其阶数至少是formula_165，也就是比原来的阶数至少再高一阶。
步长控制方法.
单步法的优点是每一步的步长可以独立控制。因此就自然会有每一步的步长ℎ𝑗如何选择的问题。实务的应用上，初始值问题的解一定会有允许的误差范围。若某个数值方法的精度远比其问题的初始值和参数的精度（初始值和参数的精度会受测量误差限制）要高，在实务上其实没什么用。因此其目标是选择适当的步长大小，一方面符合误差范围，另一方面也让运算量可以降到最低。配合初始条件的常微分方程，在自然科学和工程科学上相当重要，在经济学和社会科学上也越来越重要。
针对良好条件数的初始值问题，可以证明其全域误差大致等于每一步局部截尾误差的和formula_166。因此，应该选押最大可能的formula_50作步长，而选择formula_168低于选择的容许误差范围。不过有一个问题：formula_168无法直接计算，formula_168和初始值问题在formula_30点的正确解（其解未知）有关。步长控制的基本概念是用一个比基本方法更精确的方法来近似formula_69。
步长控制的两个基本概念是步长减半（step width halving）和embedded process。若是用步长减半的方法，会用步长减半后，两步所得的值，和原始步长的单步法结果比较。透过二个值的外推法可以得到formula_69更准确的近似值，并且估计局部误差formula_168。若是太大，就要再选择更小的步长。若局部误差明显大于要求的允许误差，下一步就可以将步长加大。步长减半法会增加的运算量较大，因此目前的实现方式会用embedded process来进行步长控制。其基本概念是每一步用二个不同的单步法近似formula_69，两者有不同的收敛阶数，因此可以估测局部误差。为了减小运算量，这两种方法会选择有较多相近可共用的计算：让二个近似「彼此嵌合」。Embedded Runge-Kutta法，就用了相同的辅助斜率，只是平均的系数不同。著名的embedded方法包括Runge-Kutta-Fehlberg方法（, 1969）和Dormand-Prince法（J. R. Dormand和P. J. Prince, 1980）。