考虑自治方程
d x 1 d t = f ( x 1 , x 2 ) \frac{dx_{1}}{dt}=f(x_{1},x_{2}) dtdx1=f(x1,x2)
d x 2 d t = g ( x 1 , x 2 ) \frac{dx_{2}}{dt}=g(x_{1},x_{2}) dtdx2=g(x1,x2)
其中 ( f ( x 1 , x 2 ) , g ( x 1 , x 2 ) ) (f(x_{1},x_{2}),g(x_{1},x_{2})) (f(x1,x2),g(x1,x2))大多数情况下表示连续函数,他们的光滑性足够好。在上式中坐标分别为 x 1 , x 2 x_{1},x_{2} x1,x2,它们对时间t的导数存在这样的函数关系。之后用无角标 x x x表示向量,即 x = ( x 1 , x 2 ) x=(x_{1},x_{2}) x=(x1,x2)。然后,我们用 F ( x ) F(x) F(x)表示一个 R 2 ⇒ R 2 R^{2}\Rightarrow R^{2} R2⇒R2的映射,用 F 1 ( x 1 , x 2 ) F_{1}(x_{1},x_{2}) F1(x1,x2), 来表示这个函数向量的第一个分量。在这里,我们用大写的字母表示一个函数向量,用小写或者脚标的形式来表示一个分量。
1.连续性、场、流
微分方程的解如果可以用一定的解析形式表达出来,这样的解称为解析解。但是基本我们见到的大多数方程解析解不存在,我们就需要用理论上无限精度的数值计算来求解微分方程,这样的解称为数值解。对于微分方程的解统称为流(flow)。
在流之前先引入场的概念。给出一个二维坐标平面