matlab求解微分方程的数值解

简 介：前面介绍了微分方程的解析解方法，同时也指出很多非线性微分方程是不存在解析解法的，需要使用数值解法对之进行研究。本文着重讨论基于 MATLAB/Simulink语言的各类微分方程的数值解方法。

关键词： 微分方程、数值解、MATLAB

§01 总述

---

一般微分方程的数值解法很大一类是关于微分方程初值问题的数值解法，这类问题需要用一阶显式的微分方程组来描述为

$$\dot{\mathbf{x}}(t)=\mathbf{f}(t,\mathbf{x}(t))$$

其中, ${\mathbf{x}}^{\mathrm{T}}(t)=\left[x_1(t),x_2(t),\cdots ,x_n(t)\right]$称为状态向量，${\mathbf{f}}^{\mathrm{T}}(\cdot )=\left[f_1(\cdot ),f_2(\cdot ),\cdots ,f_n(\cdot )\right]$可以是任意非线性函数。所谓初值问题是指，若已知初始状态${\mathbf{x}}_0={\left[x_1(0),\cdots ,x_n(0)\right]}^{\mathrm{T}}$，用数值求解方法求出在某个时间区间$t\in \left[0,t_{\mathrm{f}}\right]$内各个时刻状态变量 $\mathbf{x}(t)$ 的数值，这里 $t_{\mathrm{f}}$ 又称为终止时间。

其他类型微分方程求解必须先转换：

1. 单个高阶常微分方程处理方法

一个高阶常微分方程的一般形式为：

$$y^{(n)}=f\left(t,y,y^{\prime },\cdots ,y^{(n-1)}\right)$$

输出变量的各阶导数初始值为：

$$y(0),y^{\prime }(0),\cdots ,y^{(n-1)}(0)$$

选择一组状态变量：

$$x_1=y,x_2=y^{\prime },\cdots ,x_n=y^{(n-1)}$$

原高阶常微分方程模型变换为一阶微分方程组：

$$\{\begin{array}{rl}{x}_1^{\prime }& =x_2\\ x_2^{\prime }& =x_3\\ & ⋮\\ x_n^{\prime }& =f\left(t,x_1,x_2,\cdots ,x_n\right)\end{array}$$

初值为：

$$x_1(0)=y(0),x_2(0)=y^{\prime }(0),\cdots ,x_n(0)=y^{(n-1)}(0)$$

2. 高阶常微分方程组的变换方法

多元高阶常微分方程组的处理

$$\{\begin{array}{l}{x}^{(m)}=f\left(t,x,x^{\prime },\cdots ,x^{(m-1)},y,\cdots ,y^{(n-1)}\right)\\ \\ y^{(n)}=g\left(t,x,x^{\prime },\cdots ,x^{(m-1)},y,\cdots ,y^{(n-1)}\right)\end{array}$$

状态变量的选择不唯一，建议：选择如下状态变量

$$\begin{gathered} x_1=x,x_2=x^{\prime },\cdots ,x_m=x^{(m-1)}, \\ {x}_{m+1}=y,x_{m+2}=y^{\prime },\cdots ,x_{m+n}=y^{(n-1)} \end{gathered}$$

新的状态方程

$$\{\begin{array}{rl}{x}_1^{\prime }=& x_2\\ & ⋮\\ x_m^{\prime }=& f\left(t,x_1,x_2,\cdots ,x_{m+n}\right)\\ x_{m+1}^{\prime }& =x_{m+2}\\ & ⋮\\ x_{m+n}^{\prime }& =g\left(t,x_1,x_2,\cdots ,x_{m+n}\right)\end{array}$$

可以描述该方程，然后用 ode45 等求解。

§02 微分方程求解的误差与步长问题

---

1. 不能无限制地减小步长$h$的值的两条原因

• 减慢计算速度
• 增加累积误差

2. 在对微分方程求解过程中应采取的三个措施

• 选择适当的步长
• 改进近似算法精度
• 采用变步长方法

§03 函数调用格式（ode45）

---

[t, x] = ode45(fun,[t0, tf], x0)  % 直接求解
[t, x] = ode45(fun,[t0, tf], x0, options)  % 带有控制选项
[t, x] = ode45(fun,[t0, tf], x0, options, p1, p2, ...)  % 带有附加参数

当然，还存在其他求解函数，如ode15s、ode23等，不同的算法（函数）适合于不同类型的微分方程。

§04 微分方程的MATLAB描述

---

描述需要求解的微分方程组

  $\mathrm{f}\mathrm{u}\mathrm{n}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}{\mathbf{x}}_{\mathrm{d}}=\mathrm{f}\mathrm{u}\mathrm{n}(\mathrm{t},\mathbf{x})$

  $\mathrm{f}\mathrm{u}\mathrm{n}\mathrm{c}\mathrm{t}\mathrm{i}\mathrm{o}\mathrm{n}{\mathbf{x}}_{\mathrm{d}}=\mathrm{f}\mathrm{u}\mathrm{n}\left(\mathrm{t},\mathrm{x},{\mathrm{p}}_1,{\mathrm{p}}_2,\cdots \right)$

修改控制变量

options = odeset('RelTol', 1e-7) ;
options = odeset;  options.RelTol = 1e-7;

§05 应用举例：Lorenz方程

---

例1：无参数

题目： 求解下列Lorenz模型

$$\{\begin{array}{l}{\dot{x}}_1(t)=-\beta x_1(t)+x_2(t)x_3(t)\\ \\ {\dot{x}}_2(t)=-\rho x_2(t)+\rho x_3(t)\\ \\ {\dot{x}}_3(t)=-x_1(t)x_2(t)+\sigma x_2(t)-x_3(t)\end{array}$$

式中参数为 $\beta =8/3,\rho =10,\sigma =28$

初始条件为 $x_1(0)=x_2(0)=0,x_3(0)=ϵ,\mathrm{i}.\mathrm{e}.,ϵ=10^{-10}$

求解：

1. 写出标准型

$${\mathbf{x}}^{\prime }(t)=\left[\begin{array}{c}-\beta x_1(t)+x_2(t)x_3(t)\\ \\ -\rho x_2(t)+\rho x_3(t)\\ \\ -x_1(t)x_2(t)+\sigma x_2(t)-x_3(t)\end{array}\right],\mathbf{x}(0)=\left[\begin{array}{l}0\\ \\ 0\\ \\ ϵ\end{array}\right]$$

2. 微分方程的MATLAB描述

• M-文件描述

function y = lorenzeq(t, x)
	y = [-8/3*x(1)+x(2)*x(3); -10*x(2)+10*x(3); -x(1)*x(2)+28*x(2)-x(3)];

• 匿名函数

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

3. 微分方程求解

• 匿名函数

t_final = 100; 
x0 = [0; 0; 1e-10]; 
f = @(t,x)[-8/3*x(1)+x(2)*x(3); -10*x(2)+10*x(3); -x(1)*x(2)+28*x(2)-x(3)];
[t,x] = ode45(f, [0,t_final], x0); 
plot(t,x), figure; plot3(x(:,1),x(:,2),x(:,3));

• M-文件描述

t_final = 100; 
x0 = [0; 0; 1e-10]; 
f = @(t,x)[-8/3*x(1)+x(2)*x(3); -10*x(2)+10*x(3); -x(1)*x(2)+28*x(2)-x(3)];
[t,x] = ode45(@lorenzeq, [0,t_final], x0); 
plot(t,x), figure; plot3(x(:,1),x(:,2),x(:,3));

function y = lorenzeq(t, x)
	y = [-8/3*x(1)+x(2)*x(3); -10*x(2)+10*x(3); -x(1)*x(2)+28*x(2)-x(3)];
end

▲ 图 1
▲ 图 2

例2：带有附加参数

引入附加参数的目的： 如果参数 $\beta$, $\rho$, $\sigma$ 改变，不需要修改原函数。

重新求解Lorenz方程

方式一

f = @(t,x,beta,rho,sigma)[-beta*x(1) + x(2)*x(3); -rho*x(2) + rho*x(3); -x(1)*x(2) + sigma*x(2) - x(3)];
t_final=100; 
x0 = [0; 0; 1e-10]; 
b1 = 8/3; r1 = 10; s1 = 28; 
[t,x]=ode45(f, [0,t_final], x0, [], b1, r1, s1);

方式二

beta = 2; rho = 5; sigma = 20; 
f = @(t,x)[-beta*x(1) + x(2)*x(3); -rho*x(2) + rho*x(3); -x(1)*x(2) + sigma*x(2) - x(3)];
t_final = 100;
x0 = [0; 0; 1e-10]; 
[t2,x2] = ode45(f, [0,t_final], x0);