本次讨论取材于中南大学《科学计算与matlab语言》内容为常微分方程数值解法

• 常微分方程数值求解的一般概念
• 常微分方程数值求解函数
• 刚性问题

常微分方程数值求解的一般概念

求解常微分方程初值问题就是寻找函数y(t)使之满足如下方程：

所谓其数值解法，就是求y(t)在离散结点t0处的函数近似值y0的方法

• 单步法：在计算Yn+1时只用到前一步的Yn，因此在有了初值之后就可以逐步往下计算，其代表是龙格–库塔（Runge-Kutta）法.
• 多步法：在计算Yn+1时，除了用到前一步的值Yn之外,还要用到Yn-p(p=1,2,…,k,k>0)的值，即前面的k步，其代表就是亚当斯（Adams）法。

常微分方程的求解函数

函数调用格式为：

[t,y]=solver(filename,tspan,y0,option)

其中，t和y分别给出时间向量和相应的数值解；solver为求常微分方程数值解的函数；filename是定义f(t,y)的函数名，该函数必须返回一个列向量；tspan形式为[t0,tf]，表示求解区间；y0是初始状态向量;Option是可选参数,用于设置求解属性.

常微分方程数值求解函数的统一命名格式：

odennxx

其中ode是Ordinary Differential Equation的缩写，是常微分方程的意思；nn是数字，代表所用方法的阶数；xx是字母，用于标注方法的专门特征。

>> f=@(t,y) (y^2-t-2)/4/(t+1);
>> [t,y]=ode23(f,[0,10],2);
>> y1=sqrt(t+1)+1;
>> plot(t,y,'b:',t,y1,'r');
>> 

例2 已知一个二阶线性系统的微分方程为：

取a=2，绘制系统的时间响应曲线和相平面图。
令x2=x,x1=x’，则得到系统的状态方程：

f=@(t,x) [-2,0;0,1]*[x(2);x(1)]; 
[t,x]=ode45(f,[0,20],[1,0]); 
subplot(2,2,1);plot(t,x(:,2));
subplot(2,2,2);plot(x(:,2),x(:,1));

刚性问题

有一类常微分方程，其解的分量有的变化很快，有的变化很慢，且相差悬殊，这就是所谓的刚性问题(Stiff)
例3 假如点燃一个火柴，火焰球迅速增大直至某个临界体积，然后，维持这一体积不变，其原因是火焰球内部燃烧耗费的氧气和从球表面所或氧气达到平衡。

主要观看λ值得大小，是否会真正影响问题模型！

>> lamda=0.01;
>> f=@(t,y) y^2-y^3;
>> tic;[t,y]=ode45(f,[0,2/lamda],lamda);toc
Elapsed time is 0.034000 seconds.
>> disp(['ode45计算的点数' num2str(length(t))]);
ode45计算的点数157
>> 

时间已过0.034000秒
ode45计算的点数157

>> lamda=1e-5;
>> f=@(t,y) y^2-y^3;
>> tic;[t,y]=ode45(f,[0,2/lamda],lamda);toc
Elapsed time is 5.690000 seconds.
>> disp(['ode45计算的点数' num2str(length(t))]);
ode45计算的点数120565
>> 

不同的λ值，式子所用的秒数不同，问题瞬间变成刚性，直接换用ode15s，再去计算！直接秒出答案！

>> tic;[t,y]=ode15s(f,[0,2/lamda],lamda);toc
Elapsed time is 0.348000 seconds.
>> disp(['ode15s计算的点数' num2str(length(t))]);
ode15s计算的点数98
>> 

>> f=@(t,x) [-8/3*x(1)+x(2)*x(3);-10*x(2)+10*x(3);-x(2)*x(1)+28*x(2)-x(3)];

>> [t,x]=ode45(f,[0,50],[0,0,10^(-10)]);

>> plot(t,x)