常微分方程初值问题的数值解法.pptVIP

常微分方程初值问题的数值解法;;关于初值问题解的存在，唯一及对初始条件的连续依赖性，有以下定理：

定理1.1设f(x,y)是在D={(x,y)|a≤x≤b,y∈R}上的连续函数，其中a,b为有限实数，而且f(x,y)满足对y的lipschitz条件，那么对(x0,y0)∈D,初值问题〔1.1〕，〔1.2〕在[a,b]存在唯一的连续函数微分解y(x).

定理1.2设f(x,y)是在D={(x,y)|a≤x≤b,y∈R}上的连续函数，满足lipschitz条件〔1.3〕并设y(x;s)是初值问题

dy/dx=f(x,y)，y(x0)=S

的解，那么当s取s1和s2时，有估计

｜y(x;s1)-y(x;s2)｜≤EXP〔L｜x-x0｜｜s1-s2｜)

定理1.2的意义：假设初值问题〔1.1〕，〔1.2〕中，初始值有一微小扰动，那么解的扰动也是微小的，也即解连续依赖初始条件.;

假设y(x)是式〔1.1〕，〔1.2〕的解，从方程〔1.1〕两边积分，再利用式〔1.2〕可得积分方程

反之，假设y(x)满足积分方程〔1.4〕，可验证它满足〔1.1〕和〔1.2〕，所以〔1.4〕式与初值问题〔1.1〕，〔1.2〕等价,这说明可用积分方程构造初值问题的数值解法。;