计算机代数系统第4章-方程求解

第四章 方程求解

1 代数方程(组)求解

1.1 常用求解工具—solve

求解代数方程或代数方程组, 使用Maple中的solve函数. 求解关于x的方程eqn=0的命令格式为： solve(eqn, x);

求解关于变量组vars的方程组eqns的命令为： solve(eqns, vars);

> eqn:=(x^2+x+2)*(x-1);

- 100 -

eqn := (x???x???2)(x???1)

> solve(eqn,x); 11111,????I7,????I722222 当然, solve也可以求解含有未知参数的方程： > eqn:=2*x^2-5*a*x=1; eqn := 2x???5ax???1 > solve(eqn,x); 51512a???25a???8,a???25a2???8 44442solve函数的第一个参数是有待求解的方程或方程的集合, 当然也可以是单个表达式或者表达式的集合, 如下例： > solve(a+ln(x-3)-ln(x),x); ea3?1???ea - 101 -

对于第二个参数, Maple的标准形式是未知变量或者变量集合, 当其被省略时, 函数indets自动获取未知变量. 但当方程中含有参数时, 则会出现一些意想不到的情况：

> solve(a+ln(x-3)-ln(x));

{x???x,a????ln(x???3)???ln(x)}

很多情况下, 我们知道一类方程或方程组有解, 但却没有解决这类方程的一般解法, 或者说没有解析解. 比如, 一般的五次或五次以上的多项式, 其解不能写成解析表达式. Maple具备用所有一般算法尝试所遇到的问题, 在找不到解的时候, Maple会用RootOf给出形式解. > x^7-2*x^6-4*x^5-x^3+x^2+6*x+4;

76532x???2x???4x???x???x???6x???4

> solve(%);

- 102 -

1???5,1???5,RootOf(_Z5???_Z???1,index???1),RootOf(_Z5???_Z???1,index???2),RootOf(_Z5???_Z???1,index???3),RootOf(_Z5???_Z???1,index???4),RootOf(_Z5???_Z???1,index???5) > solve(cos(x)=x,x);

RootOf(_Z???cos(_Z))对于方程组解的个数可用nops命令获得, 如： > eqns:={seq(x[i]^2=x[i],i=1..7)};

22222

eqns := {x1???x1,x2???x2,x3???x3,x4???x4,x5???x5,x6???x6,x7???x7}

22> nops({solve(eqns)});

但是, 有时候, Maple甚至对一些“显而易见”的结果置之不理, 如： > solve(sin(x)=3*x/Pi,x);

RootOf(3_Z???sin(_Z)?) 128, 0, 但Maple却对这个超越方程无能为力, 即便使用此方程的解为??6allvalues求解也只有下述结果：

- 103 -

> allvalues(%);

另外一个问题是, Maple在求解方程之前,会对所有的方程或表达式进行化简, 而不管表达式的类型, 由此而产生一些低级的错误： > (x-1)^2/(x^2-1); RootOf(3_Z???sin(_Z)?,0.)(x???1)2x2???1 > solve(%);

但是, 大量实验表明, solve的确是一个实用的方程求解工具, 但是也不可盲目相信它给出的一切结果, 特别是对于非线性方程而言, 对于给出的结果需要加以验证.

下面通过几个例子说明在Maple中非线性方程组的求解问题.

1例：求解方程组：

?x2?y2?25?2?x?9?y

> eqns:={x^2+y^2=25,y=x^2-5};

- 104 -

eqns := {y???x2???5,x2???y2???25}

> vars:={x,y};

vars := {x,y}

> solve(eqns,vars);

{x???0,y???-5},{x???0,y???-5},{y???4,x???3},{y???4,x???-3} 也可用下面的语句一步求出：

> solve({x^2+y^2=25,y=x^2-5},{x,y});

这个问题非常简单, 但通常遇到的非线性问题却不是这么简单, 例如要求解方程组：x?y?1,x?y?x?y > eqns:={x^2+y^2=1,sqrt(x+y)=x-y}; vars:={x,y}; eqns := {x???y???1,x???y???x???y} vars := {x,y}

> sols:=solve(eqns,vars);

{x???0,y???-5},{x???0,y???-5},{y???4,x???3},{y???4,x???-3}2222sols := {y???RootOf(2_Z2???4_Z???3,-1.000000000???.7071067812I),x????RootOf(2_Z2???4_Z???3,-1.000000000???.7071067812I)???2},{x???1,y???0}- 105 -

可以看出, 方程解的形式是以集合的序列给出的, 序列中的每一个集合是方程的一组解, 这样就很利于我们用subs把解代入原方程组进行检验： > subs(sols[2],eqns);

{1???1}

> sols2:=allvalues(sols[1]); 11sols2 := {x????1???I2,y????1???I2} 22> simplify(subs(sols2,eqns)); {I2???I2,1???1} 1.2 其他求解工具

1.2.1 数值求解

对于求代数方程的数值解问题, Maple提供了函数fsolve, fsolve的使用方法和solve很相似:

fsolve(eqns, vars, options);

其中, eqns表示一个方程、方程组或者一个程序, vars表示一个未知量或者未知量集合, options控制解的参数(诸如：complex: 复根; maxsols=n：只找

- 106 -

到n阶最小根; intervals：在给定闭区间内求根, 等). > fsolve(x^5-x+1,x);

-1.167303978

> fsolve(x^5-x+1,x,complex);

> fsolve(x^3-3*x+1,x,0..1);

.3472963553

对于多项式方程, fsolve在默认情况下以给出所有的实数解, 如果附加参数complex, 就可以给出所有的解. 但对于更一般的其他形式的方程, fsolve却往往只满足于得到一个解： > eqn:=sin(x)=x/2; 1eqn := sin(x)???x 2-1.167303978,-.1812324445???1.083954101I,-.1812324445???1.083954101I,.7648844336???.3524715460I,.7648844336???.3524715460I> fsolve(eqn); > fsolve(eqn,x,0.1..infinity);

0.1.895494267- 107 -

> fsolve(eqn,x,-infinity..-0.1);

-1.895494267

函数fsolve主要基于两个算法, 通常使用牛顿法, 如果牛顿法无效, 它就改而使用切线法. 为了使fsolve可以求得所有的实根, 我们通常需要确定这些根所在的区间. 对于单变量多项式, 函数realroot可以获得多项式的所有实根所在的区间.

> 4+6*x+x^2-x^3-4*x^5-2*x^6+x^7;

4???6x???x???x???4x???2x???x

23567> realroot(%);

函数realroot还有一个可选参数, 它是用来限制区间的最大长度的, 为了保证使用数值求解方法时收敛, 我们可以用它限制区间的最大长度： > realroot(%%,1/1000); ??1195,299?,?3313,1657?,?-633,-1265?? ????1024256????1024512????5121024????????????[[0,2],[2,4],[-2,-1]]求解方程或方程组的整数解时使用函数isolve, 它常常被用来求解不定- 108 -

方程. 例如著名的“百钱买百鸡”问题的求解过程为： > isolve({x+y+z=100,5*x+3*y+z/3=100});

{z???75???3_Z1,x???4_Z1,y???25???7_Z1}

据此可得满足该问题的三组解为：

{x, y, z}={4, 18, 78}, {x, y, z}={8, 11, 81}, {x, y, z}={12, 4, 84}

1.2.2 整数环中的方程(组)求解

利用Maple中的函数msolve(eqns, vars, n), 可以在模n的整数环中求解方程(组)eqns.

例：在Z7中求解Pell方程y?x?28 > msolve(y^7=x^3-28,7);

{x???3,y???6},{x???4,y???1},{y???0,x???0},{x???1,y???1},{y???6,x???6}, {x???2,y???1},{y???6,x???5}再如下例：

> msolve(y^4=x^3+32,5);

{x???2,y???0},{x???4,y???1},{x???4,y???2},{x???4,y???3},{x???4,y???4}

73?

?

百钱买百鸡问题：用100元钱买100只鸡, 大公鸡5元钱1只, 大母鸡3元钱1只, 小鸡1元钱3只, 问如何买法？

- 109 -

1.2.3 递归方程的求解

在Maple中, 可以求解有限差分方程(也称递归方程), 所需调用的函数是rsolve, 该函数使用的是一些比较通用的方法, 例如产生函数法、z变换法以及一些基于变量替换和特征方程的方法. 作为例子, 求解Fibonacci多项式: > eq:=f(n)=f(n-1)+2*f(n-2);

eq := f(n)???f(n???1)???2f(n???2)

> rsolve({eq,f(0)=1,f(1)=1},f(n)); 12(-1)???2 33nn当然, 并不是所有的递归形式的函数方程的解可以写成解析形式, 如果不能, Maple将保留原来的调用形式. 此时, 可用asympt函数获得它的渐进表达式, 也就是1/n的级数解. 例如, 对于一个具有超越形式的递归函数方程, 仍然可以得到解的渐进形式： > rsolve(u(n+1)=ln(u(n)+1),u(n)); rsolve(u(n???1)???ln(u(n)???1),u(n)) > asympt(%,n,5);

- 110 -

21???n_C???211122?2ln(n)???_C???_C2?????_C???ln(n)???ln(n)2????39329?9?3?1???????O??n4??n2n3?? 1.2.4 不等式(组)求解

求解一元不等式方程(组)使用命令solve： > solve((x-1)*(x-2)*(x-3)<0,x);

> solve((x-1+a)*(x-2+a)*(x-3+a) < 0, {x});

{x???1???a},{2???a???x,x???3???a}

> solve(exp(x)>x+1);

RealRange(??,Open(0)),RealRange(Open(0),?)

> solve({x^2*y^2=0,x-y=1,x<>0});

{y???0,x???1},{y???0,x???1}

对于由不等式方程组约束的最优问题的求解使用“线性规则”工具包simplex:

> with(simplex): > cnsts:={3*x+4*y-3*z<=23,

RealRange(??,Open(1)),RealRange(Open(2),Open(3))- 111 -

5*x-4*y-3*z<=10,7*x+4*y+11*z<=30};

cnsts := {3x???4y???3z???23,5x???4y???3z???10,7x???4y???11z???30}

> obj:=-x+y+2*z;

> maximize(obj,cnsts union {x>=0,y>=0,z>=0}); 149{z???,y???,x???0} 28obj := ?x???y???2z2 常微分方程求解

微分方程求解是数学研究与应用的一个重点和难点. Maple能够显式或隐

式地解析地求解许多微分方程求解. 在常微分方程求解器dsolve中使用了一些传统的技术例如laplace变换和积分因子法等, 函数pdesolve则使用诸如特征根法等经典方法求解偏微分方程. 此外, Maple还提供了可作摄动解的所有工具, 例如Poincare-Lindstedt法和高阶多重尺度法.

帮助处理常微分方程(组)的各类函数存于Detools软件包中, 函数种类主要有：可视化类的函数, 处理宠加莱动态系统的函数, 调整微分方程的函数, 处理积分因子、李对称法和常微分方程分类的函数, 微分算子的函数, 利用

- 112 -

可积性与微分消去的方法简化微分方程的函数, 以及构造封闭解的函数等. 更重要的是其提供的强大的图形绘制命令Deplot能够帮助我们解决一些较为复杂的问题.

2.1 常微分方程的解析解

求解常微分方程最简单的方法是利用求解函数dsolve. 命令格式为： dsolve(ODE);

dsolve(ODE, y(x), extra_args);

dsolve({ODE, ICs}, y(x), extra_args); dsolve({sysODE, ICs}, {funcs}, extra_args);

其中, ODE—常微分方程, y(x)—单变量的任意变量函数, Ics—初始条件, {sysODE}—ODE方程组的集合, {funcs}—变量函数的集合, extra_args—依赖于要求解的问题类型.

例如, 对于一阶常微分方程xy??yln(xy)?y可用dsolve直接求得解析解： > ODE:=x*diff(y(x),x)=y(x)*ln(x*y(x))-y(x);

- 113 -

???ODE := x???xy(x)?????y(x)ln(xy(x))???y(x) ??> dsolve(ODE,y(x)); y(x)???e?x???_C1????x 可以看出, dsolve的第一个参数是待求的微分方程, 第二个参数是未知函数. 需要注意的是, 无论在方程中还是作为第二个参数, 未知函数必须用函数的形式给出(即：必须加括号, 并在其中明确自变量), 这一规定是必须的, 否则Maple将无法区分方程中的函数、自变量和参变量, 这一点和我们平时的书写习惯不一致. 为了使其与我们的习惯一致, 可用alias将函数用别称表示： > alias(y=y(x)); > ODE:=x*diff(y,x)=y*ln(x*y)-y; - 114 -

???ODE := x?y???yln(xy)???y???x? ??> dsolve(ODE,y); ?x???_C1????y???ex 函数dsolve给出的是微分方程的通解, 其中的任意常数是用下划线起始的内部变量表示的. 在Maple中, 微分方程的解是很容易验证的, 只需要将解代入到原方程并化简就可以了. > subs(%,ODE); ????ex???xx??x???_C1???????e???????x???_C1??????ln??ex?x???_C1???????????e?x???_C1????x - 115 -

> assume(x,real): assume(_C1,real): > simplify(%); ?e?x~???_C1~????(?x~???_C1~)e????x~_C1~?x~???_C1~????(?x~???_C1~)x~_C1~ > evalb(%); evalb函数的目的是对一个包含关系型运算符的表达式使用三值逻辑系统求值, 返回的值是true, false和FAIL. 如果无法求值, 则返回一个未求值的表达式. 通常包含关系型运算符“=, <>, <, <=, >, >=”的表达式在Maple中看作是代数方程或者不等式. 然而, 作为参数传递给evalb或者出现在if或while语句的逻辑表达式中时, 它们会被求值为true或false. 值得注意的是, evalb不化简表达式, 因此在使用evalb之前应将表达式化简, 否则可能会出错. 再看下面常微分方程的求解：y??- 116 -

truey?1 2> alias(y=y(x)): > ODE:=diff(y,x)=sqrt(y^2+1); ?ODE := y???y2???1?x > dsolve(ODE,y); 函数dsolve对于求解含有未知参变量的常微分方程也完全可以胜任: > alias(y=y(x)): > ODE:=diff(y,x)=-y/sqrt(a^2-y^2); ?y ODE := y?????xy???sinh(x???_C1)a2???y2> sol:=dsolve(ODE,y); ?2a2???2a2aln??y22?sol := x???a???y???a22a2???y2???????_C1???0 由此可见, 对于不能表示成显式结果的微分方程解, Maple尽可能将结果表示成隐式解. 另外, 对于平凡解y=0常常忽略, 这一点应该引起注意.

- 117 -

dsolve对于求解微分方程初值问题也十分方便的: > ODE:=diff(u(t),t$2)+omega^2*u(t)=0; ????????2u(t)???0ODE := ?u(t)2??t???2 > dsolve({ODE,u(0)=u0,D(u)(0)=v0},u(t)); v0sin(?t)u(t)??????u0cos(?t) ?2.2 利用积分变换求解微分方程 对于特殊的微分方程, 我们还可以指定dsolve利用积分变换方法求解, 只需要在dsolve中加入可选参数method=transform即可. 其中transform是积分变换, 可以是laplace、fourier、fouriercos或者fouriersin变换. 作为例子, 我们来看一个具有阻尼的振子在阶跃冲击(Heaviside函数)下的响应： > ODE:=diff(u(t),t$2)+2*d*omega*diff(u(t),t)+omega^2*u(t)=Heaviside(t); ???????2d?ODE := ?u(t)??t2???2??u(t)?????2u(t)???Heaviside(t)????t??? > initvals:=(u(0)=u[0],D(u)(0)=v[0]);

- 118 -

initvals := u(0)???u0,D(u)(0)???v0

>

solution:=dsolve({ODE,initvals},u(t),method=laplace);

?21(?td?)?(?u0???1)cosh(t???e?????solution := u(t)???d2?2????2)????(?v0???d?2u0???d)sinh(td2?2????2d2?2????2)????? Maple给出了问题的通解, 但没有区分自由振动(d=0)、欠阻尼(01)的情况. 下面加以区分求解： > assume(omega>0): > simplify(subs(d=0,solution)); u(t)???1???cos(t?)?2u0???cos(t?)???v0sin(t?)??2 > K:=subs(d=1/5,u[0]=1,v[0]=1,solution); ?2??(????1)cosh??t?1(?1/5t?)?????e???????K := u(t)????242????25???????1?2???1?sinh??????t55??????242??25??242??????25???????? > with(plots): >

- 119 -

plot3d(rhs(%%),omega=2/3..4/3,t=0..20,style=hidden,orientation=[-30,45],axes=framed);

对于d=1的情况, 可可用下式获得结果： > limit(rhs(solution),d=1); (?2u0????2v0t???1????3u0t???t????e?2(t?))e(?t?) 再如下例： > diff(u(t),t$2)+3*diff(u(t),t)+2*u(t)=exp(-abs(t)); 2????????2u(t)???e(?t?2u(t)????3?u(t)????t???t?????) - 120 -

> dsolve(%,u(t),method=fourier); (?t)2(?2t)11(?t)u(t)???eHeaviside(t)???etHeaviside(?t)???etHeaviside(t)???eHeaviside(t)362 2.3 常微分方程组的求解 函数dsolve不仅可以用来求解单个常微分方程, 也可以求解联立的常微分方程组. 特别是对于线性微分方程组, 由于数学上具有成熟的理论, Maple的求解也是得心应手. 其命令格式为： dsolve( {eqn1, eqn2, ?, ini_conds}, {vars}); 其中, ini_conds是初始条件. > eqn1:={diff(x(t),t)=x(t)+y(t),diff(y(t),t)=y(t)-x(t)}; ??eqn1 := {x(t)???x(t)???y(t),y(t)???y(t)???x(t)} ?t?t> dsolve(eqn1,{x(t),y(t)}); {x(t)???et(_C1sin(t)???_C2cos(t)),y(t)???et(_C1cos(t)???_C2sin(t))} > eqn2:=2*diff(x(t),t$2)+2*x(t)+y(t)=2*t; ???????2x(t)???y(t)???2teqn2 := 2?x(t)??t2???- 121 -

2 > eqn3:=diff(y(t),t$2)+2*x(t)+y(t)=t^2+1; ???2?eqn3 := ?y(t)???2x(t)???y(t)???t???1??t2???2 > dsolve({eqn2, qn3, x(0)=0, D(x)(0)=1, y(0)=0, D(y)(0)=0}, {x(t),y(t)} ); 1113{x(t)???sin(2t)2???t3???t4???t,81248411111y(t)???sin(2t)2???t???t2???t3???t4}422624 2.4 常微分方程的级数解法 1) 泰勒级数解法 当一个常微分方程的解析解难以求得时, 可以用Maple求得方程解的级数近似, 这在大多数情况下是一种非常好的方法. 级数解法是一种半解析半数值的方法. 泰勒级数法的使用命令为： dsolve({ODE,Ics}, y(x), 'series'); 或dsolve({ODE,Ics}, y(x), 'type=series'); 下面求解物理摆的大幅振动方程：l???gsin?, 其中l是摆长, ?是摆角, g是- 122 -

重力加速度. > ODE:=l*diff(theta(t),t$2)=-g*sin(theta(t)); ????????gsin(?(t))ODE := l??(t)??t2???2 > initvals:=theta(0)=0,D(theta)(0)=v[0]/l; initvals := ?(0)???0,D(?)(0)???v0l > sol:=dsolve({ODE,initvals},theta(t),type=series); 1gv031gv0(v0???gl)5sol := ?(t)???t???t???t???O(t6)24l6l120lv02> Order:=11: > sol:=dsolve({ODE,initvals},theta(t),type=series); 22gv0(57gv0l???102g2v0l2???g3l3???v0)1gv031gv0(v0???gl)51gv0(11glv0???gl???v0)71sol := ?(t)???t???t???t???t???t9???O(t11)2468l6l1205040362880lllv0224426 2) 幂级数解法

对于一个符号代数系统来说, 幂级数是必不可少的微分方程求解工具. 幂级数求解函数powsolve存于工具包powseries中. 但是, 这一求解函数的

- 123 -

使用范围很有限, 它只可以用来求解多项式系数的线性常微分方程或方程组,其求解命令为：powseries[function] (prep)或直接载入软件包后用function(prep), prep为求解的线性微分方程及其初值. 例：求解：xy??y???4xy?0 > ODE:=x*diff(y(x),x$2)+diff(y(x),x)+4*x^2*y(x)=0; 22?????????4x2y(x)???0?ODE := x?y(x)???y(x)?????x2???x???? > dsolve(ODE,y(x)); 4(3/2)??0,4x(3/2)?y(x)???_C1BesselJ?0,x???_C2BesselY?????3??3?????> initvals:=y(0)=y0,D(y)(0)=0; initvals := y(0)???y0,D(y)(0)???0 > with(powseries): > sol:=powsolve({ODE,initvals}); sol := proc(powparm) ... end proc> tpsform(sol,x,16); 4416416y0???y0x3???y0x6???y0x9???y0x12???y0x15???O(x16)98165615904913286025- 124 -

也可以用powsolve给出的函数直接获得用递归形式定义的幂级数系数, 不过参数必须用_k, 这是powsolve使用的临时变量. > sol(_k); a(_k???3)?42_k 2??例：求解一维谐振子的解：y?(??x)y?0 > alias(y=y(x)): > ODE:=diff(y,x$2)+(epsilon-x^2)*y=0; 2???2?ODE := ?2y????(????x)y???0? ?x??> H:=powsolve(ODE); H := proc(powparm) ... end proc- 125 -

> tpsform(H,x,8); 111211211?1211???????2345C0???C1x????C0x????C1x?????C0???C0x????C1???C1x??????C0???C0????C0????????24??120??30?24?60?26122012????????1?121????1?C1?x7???O(x8) x6???????C1???C1????42??120??20???252?> H(_k); ?a(_k???2)???a(_k???4)? _k(_k???1)2.5 常微分方程的数值解法

在对微分方程的解析解失效后, 可以求助于数值方法求解微分方程. 数值求解的好处是只要微分方程的条件足够多时一般都可求得结果, 然而所得结果是否正确则必须依赖相关数学基础加以判断. 调用函数dsolve求常微分方程初值问题的数值解时需加入参数type=numeric.

另一方面, 常微分方程初值问题数值求解还可以选择算法, 加入参数“method=方法参数”即可, 方法参数主要有： rkf45：4~5阶变步长Runge-Kutta-Fehlberg法

- 126 -

dverk78：7~8阶变步长Runge-Kutta-Fehlberg法

classical：经典方法, 包括向前欧拉法, 改进欧拉法, 2、3、4阶龙格库塔法, Sdams-Bashford方法等 gear：吉尔单步法 mgear：吉尔多步法 2.5.1变步长龙格库塔法

下面用4~5阶Runge-Kutta-Fehlberg法求解van der Pol方程：

?y???(1?y2)y??y?0??y(0)?0,y?(0)??0.1

> ODE:=diff(y(t),t$2)-(1-y(t)^2)*diff(y(t),t)+y(t)=0; 2???2ODE := ?2y(t)?????(1???y(t))??t????y(t)????y(t)???0????t???> initvals:=y(0)=0,D(y)(0)=-0.1;

> F:=dsolve({ODE,initvals},y(t),type=numeric);

F := proc(rkf45_x) ... end proc

此时, 函数返回的是一个函数, 可以在给定的数值点上对它求值：

initvals := y(0)???0,D(y)(0)???-.1- 127 -

> F(0); ?t???0.,y(t)???0.,?y(t)???-.1??????t?? > F(1); ??t???1.,y(t)???-.144768589749425608?,y(t)???-.178104066128215944?????t?? 可以看到, F给出的是一个包括t、y(t)、D(y)(t)在内的有序表, 它对于每一个时间点可以给出一组数值表达式. 有序表的每一项是一个等式, 可对其作图描述. > plot('rhs(F(t)[2])', t=0..15, title=\ > plots[odeplot](F,[t,y(t)],0..15,title=\of the Van de Pol's Equation\

- 128 -

2.5.2吉尔法求解刚性方程 在科学和工程计算中, 常常会遇到这样一类常微分方程问题, 它可以表示成方程组：y??f(t,y),y(t)?y, 称其为刚性方程, 其解的分量数量相差很大, 分量的变化速度也相差很大. 如果用常规方法求解, 为了使变量有足够高的精度, 必须取很小的步长, 而为了使慢变分量达到近似的稳态解, 则需要很长的时间, 这样用小步长大时间跨度的计算, 必定造成庞大的计算量, 而且会使误差不断积累. 吉尔法是专门用来求解刚性方程的一种数值方法. > ODE:=diff(u(t),t)=-2000*u(t)+999.75*v(t)+1000.25,diff(v(t),t)=u(t)-v(t); ??ODE := u(t)????2000u(t)???999.75v(t)???1000.25,v(t)???u(t)???v(t) ?t?t00 > initvals:=u(0)=0,v(0)=-2; initvals := u(0)???0,v(0)???-2 - 129 -

> ansl:=dsolve({ODE,initvals},{u(t),v(t)},type=numeric,method=gear);

ansl := proc(x_gear) ... end proc

> ansl(10,0);

[t???10.,u(t)???.989893921726687442,v(t)???.979787842765888594]

> p1:=plots[odeplot] (ansl,[t,u(t)],0..20,color=red): p2:=plots[odeplot] (ansl,[t,v(t)],0..20,color=blue):

plots[display] ({p1,p2}, title=\

2.5.3 经典数值方法

Maple中常微分方程数值解法中有一类被称作是“经典”(classical)方法. 当然, 称其为经典方法不是因为它们常用或是精度高, 而是因为它们的形式简单, 经常被用于计算方法课上的教学内容. 它们是一些常见的固定步

- 130 -

长方法, 在dsolve中用参数method=classical[方法名称], 如果不特别指出, 将默认采用向前欧拉法. 主要有： foreuler：向前欧拉法(默认) hunform：Heun公式法(梯形方法, 改进欧拉法) imply：改进多项式法 rk2：二阶龙格库塔法 rk3：三阶龙格库塔法 rk4：四阶龙格库塔法 adambash：Adams-Bashford方法(预测法) abmoulton：Adams-Bashford-Moulton方法(预测法) 下面给出微分方程数值方法的参数表： 参数参数类参数用参数用法 名 型 途 initi浮点数指定初 al 的一维值向量 数组 num正整数 指定向 ber 量个数 outp'proced指定生Procedurelis：单个ut urelist'(成单个函数, 返回有序表 默认) 函数或Listprocedure：函数- 131 -

或多个函的有序表 'listproc数的有edure' 序表 proc子程序用子程参数1：未知函数的edur名 序形式个数 e 指定第参数2：自变量 一尖常参数3：函数向量 微分方参数4：导函数向量 程组的右边部分 start 浮点数 自变量 起始值 start布尔量指定数对dverk78不适用 init (默认值积分FALSE) 是否总是从起始值开始 valu浮点数指定需如果给定, 结果是e 向量(一要输出一个2?2的矩阵. 元维数组) 函数值素[1,1]是一个向量, 的自变含自变量名和函数量数值名称; 元素[2,1]是点 一个数值矩阵, 其中第一列value的输入相同, 其他列中是相应的函数值 另外, 还有一些特殊的附加参数： maxfun：整数类型, 用于最大的函数值数量, 默认值50000, 为负数时表示无限制 corrections：正整数类型, 指定每步修正值数量, 在abmoulton中使用, - 132 -

建议值≤4 stepsize：浮点数值, 指定步长 下面看一个简单的例子： > ODE:=diff(y(x),x)=y(x)-2*x/y(x); ?2xODE := y(x)???y(x)??? ?xy(x)> initvals:=y(0)=1; initvals := y(0)???1 >

sol1:=dsolve({ODE,initvals},y(x),numeric,method=classical,stepsize=0.1,start=0);

sol1 := proc(x_classical) ... end proc

而其解析解为： > sol2:=dsolve({diff(y(x),x)=y(x)-2*x/y(x), y(0)=1}, y(x)); sol2 := y(x)???2x???1 将两者图形同时绘制在同一坐标系中比较, 可以发现, 在经过一段时

- 133 -

间后, 欧拉法的数值结果会产生较大误差.

> plot({rhs(sol2),'rhs(sol1(x)[2])'},x=0..2);

求解微方程, 无论使用什么方法或者加入什么选项, 求解完成后必须利用相关数学知识进行逻辑判断, 绝对不对简单迷信Maple给出的结果, 否则很有可能得到一个对于方程本身也许还看得过去, 但在数学或者物理意义上不合理的解.

2.6摄动法求解常微分方程

由于微分方程求解的复杂性, 一般微分方程常常不能求得精确解析解, 需要借助其它方法求得近似解或数值解, 或者两种方法兼而有之. 摄动法是重要的近似求解方法.

- 134 -

摄动法又称小参数法, 它处理含小参数?的系统, 一般当?=0时可求得解x0. 于是可把原系统的解展成?的幂级数x?x?x??x???, 若这个级数当??0时一致收敛，则称正则摄动, 否则称奇异摄动. 摄动法的种类繁多, 最有代表性的是庞加莱—林斯泰特(Poicare-Lindstedt)法, 在此, 我们以该方法求解van der Pol方程：

y????(1?y)y??y?0

20122当?=0时该方程退化为数学单摆的常微分方程, 当?=1时为3.5讨论的情况, 对任意?, 该微分方程拥有一个渐进稳定的周期解, 称为极限环.

由于van der Pol方程中没有显式的时间依赖项, 不失一般性, 设初值为y(0)=0. 在庞加莱—林斯泰特法中, 时间通过变换拉伸：

???t, 其中?????

?iii?0对于y(?), van der Pol方程变为： ?y?????(1?y)y??y?0

22restart:

- 135 -

diff(y(t),t$2)-epsilon*(1-y(t)^2)*diff(y(t),t)+y(t)=0; 2????????y(t)???0?2y(t)?????(1???y(t)2)?y(t)????t???t????? > ODE:=DEtools[Dchangevar]({t=tau/omega,y(t)=y(tau)},%,t,tau); 2????????(1???y(?)2)?ODE := ??y(?)???2???2??y(?)????y(?)???0????????> e_order:=6:

> macro(e=epsilon,t=tau):

> alias(seq(y[i]=eta[i](tau),i=0..e_order)): > e:=()->e:

> for i from 0 to e_order do eta[i]:=t->eta[i](t) od:

> omega:=1+sum('w[i]*e^i','i'=1..e_order);

? := 1???w1????w2?2???w3?3???w4?4???w5?5???w6?6

> y:=sum('eta[i]*e^i','i'=0..e_order);

- 136 -

y := ?0????1?????2?2????3?3????4?4????5?5????6?6

> deqn:=simplify(collect(ODE,e),{e^(e_order+1)=0}): > for i from 0 to e_order do ode[i]:=coeff(lhs(deqn),e,i)=0 od: > ode[0]; 2????y0????y???20????0?? > ode[1];

22????????????2?2y1???????????y???y???2wy?20?0?11????y0??y0???0?????????????????> ode[2];

?2??2??????y?wy2???2??y?yy?????y?????????y2??????????????0?10???0?01???1????2y2????y1??y0???????y0??w1???2w1?????????????222?????????2?2y1????2?2y0?w2????2y0?w1???0??????????????????> dsolve({ode[0],eta[0](0)=0,D(eta[0])(0)=C[1]},eta[0](t));

y???Csin(?)

01> eta[0]:=unapply(rhs(%),t);

- 137 -

?0 := ????C1sin(?)

> ode[1];

23????2y1????C1cos(?)???y1???2w1C1sin(?)???C1cos(?)sin(?)2???0??????> map(combine,ode[1],'trig'); 21313????2y1????C1cos(?)???y1???2w1C1sin(?)???C1cos(?)???C1cos(3?)???0????44??> ode[1]:=map(collect,%,[sin(t),cos(t)]); 213?13??????ode1 := ?2w1C1sin(?)?????C???Ccos(?)???y???y???C1cos(3?)???021??141??1?4??????> dsolve({ode[1],eta[1](0)=0,D(eta[1])(0)=C[2]},eta[1](t),method=laplace); 1?sin(?)????1C3???C?w?cos(?)???1C3cos(3?)y1?????C(C???2)(C???2)????wC???C???8111112???32111??321????> map(collect,%,[sin(t),cos(t),t]); 1?sin(?)????1C3???C?w?cos(?)???1C3cos(3?)y1????????8C1(C1???2)(C1???2)????w1C1???C2???32111??321???? 111> solve({coeff(lhs(ode[1]),sin(t))=0,coeff(lhs(ode[1]),cos(t))=0});

{C???0,w???w},{C???2,w???0},{C???-2,w???0}

1111- 138 -

> w[1]:=0:C[1]:=-2: > ode[1];

2????2y1????y1???2cos(3?)???0?????? > dsolve({ode[1],eta[1](0)=0,D(eta[1])(0)=C[2]},eta[1](t),method=laplace); 11y???cos(3?)???cos(?)???Csin(?) 4412> eta[1]:=unapply(rhs(%),tau); 11?1 := ????cos(3?)???cos(?)???C2sin(?)44 > map(combine,ode[2],'trig'): > ode[2]:=map(collect,%,[sin(t),sin(3*t),cos(t),cos(3*t)]); 1?2?3?sin(?)???5sin(5?)??????ode2 := ????4w??42?????2y2????2sin(3?)???2C2cos(?)???3C2cos(3?)???y2???04????> solve({coeff(lhs(ode[2]),sin(t))=0,coeff(lhs(ode[2]),cos(t))=0}); -1{C???0,w???} 1622> assign(%): > dsolve({ode[2],eta[2](0)=0,D(eta[2])(0)=C[3]},eta[2](t),method=laplace): - 139 -

本文来源：https://www.bwwdw.com/article/l3m3.html