1. 引言
近年来,随着科学技术的快速发展,常微分方程的定性分析和求解问题已经成为了物理学、通信和工程技术等领域中必不可少的数学工具,也是非线性常微分方程理论研究的必备基础理论 [1] [2] 。在常微分方程的教学中,有一章节专门介绍了微分方程的定性分析方法和求解问题,由于常微分方程课程的内容具有高度的抽象性,并且学时非常少,不容易被学生所理解。为了提高常微分方程的课堂教学质量,激发学生对常微分方程定性分析和求解的学习兴趣,适应高等学校教育教学改革的需要,在常微分方程教学中,在多媒体教学背景下引入Maple软件 [3] [4] [5] 的教学是迫在眉睫的事情。
2. Maple软件的简介和应用
Maple软件 [6] 是由加拿大滑铁卢大学研发是一个非常强大的数学和工程计算软件,被广泛应用在物理学、数学、工程技术和教育等领域中,它不但可以处理大量的数学运算,还具有非常强大的符号计算能力,被称为“数学家的软件”。近年来,随着计算机技术的快速发展,Maple软件已经被广泛的应用在数学的教学和科研中。例如,在文献 [7] [8] [9] 中,许多专家和学者已经将Maple软件应用在高等数学和线性代数的教学中,并且获得了非常好的教学效果,还进一步激发了学生的学习热情和学习兴趣。在文献 [6] 中,李姝敏从一阶常微分方程的求解、常微分方程的级数解等方面介绍了Maple软件的应用。但是,对于Maple软件在常微分方程的相图的绘制、复杂的高阶的常微分的求解等方面,目前报道的文献仍然还很少。本文基于Maple软件的强大计算功能,将其应用在常微分方程定性分析和求解的教学中,目的是将复杂的数学公式可视化,提高课堂的教学质量。
3. 利用Maple绘制微分系统的相图
常微分方程的相图是指微分方程的解在相平面上的轨迹所组成的图形,相平面是以微分方程的未知函数及其导数为坐标轴的平面。在不求解微分方程的情况下,可以通过绘制相图分析微分方程解的行为。通过Maple软件,绘制常微分方程的相图,这样可以通过可视化的方式进一步理解常微分方程的解的行为和性质。
例1:考虑如下的微分系统的平面相图
(1)
微分系统有如下的首次积分:
(2)
可以根据系统(1)和系统(2)绘制平面系统(1)的相图,如图1所示。
Figure 1. Plane phase diagram of system (1)
图1. 系统(1)的平面相图
可以通过运行如下的程序可以绘制图1(a)。
restart;with(plots);
b := -1;a := -4;
H := (z, y) -> 1/2*y^2 - 1/4*b*z^4 + 1/2*a*z^2;
solve(b*z^3 - a*z = 0, z);
z0 := 0;z1 := 2;z2 := -2;
A := implicitplot({H(z, y) = H(0, 2), H(z, y) = H(0, 3), H(z, y) = H(0, 4), H(z, y) = H(0.5, 0), H(z, y) = H(z0, 0), H(z, y) = H(z1, 0), H(z, y) = H(z2, 0)}, z = -10 .. 10, y = -5 .. 5, color = blue, thickness = 2);
B := plots[pointplot]([[2, 0], [-2, 0], [0, 0]], axes = normal, thickness = 6, color = red);;
display(A, B);
运行(Enter键),即可得到图1(a)。同时,也可以通过Maple软件绘制图1(b)的相图。由于图1(b)的程序与图1(a)的程序相似,因此,这里省略。
通过以上的例子,可以得出一个重要的结论:Maple软件辅助常微分方程教学的重要性,可以通过Maple软件与常微分方程学习的章节之间的衔接点,利用Maple软件的强大计算能力和可视化能力,将现代的Maple数学软件辅助教学引入到常微分方程的教学中,给课堂教学全新的、生动的和可视化的教学体验。而且,通过运行Maple数学软件的代码,学生可以通过平面相图更清晰的和高效的获得平面相图的轨道性质。因此,Maple数学软件辅助教学是一个非常重要的教学尝试。
4. Maple在常微分方程求解方面的应用
在常微分方程的教学中,经常需要求解方程的通解,但是对于一些复杂的高阶的常微分方程的求解问题通过人工直接求解仍然是十分困难的事情,而且求解过程需要大量的计算,对于数学基础比较薄弱的学生来说,在计算过程中还存在很大的挑战。因此,在常微分方程的教学中,引入Maple数学软件辅助教学完成求解常微分方程的解的问题。
例2:考虑常系数线性方程
的通解。
利用Maple软件编程后,可得上述方程的通解为:
。
相应的Maple程序如下:
with(DEtools, odeadvisor);
ode := diff(y(x), x, x) - 2*diff(y(x), x) + 2*y(x) = 0;
odeadvisor(ode);
dsolve(ode);
运行(Enter键),即可得到以上方程的通解。
例3:考虑方程
的通解。
利用Maple软件编程后,可得上述方程的通解为:
相应的Maple程序如下:
with(DEtools, odeadvisor);
ode := diff(y(x), x, x, x, x) - 2*diff(y(x), x, x, x) + 5*diff(y(x), x, x) = 0;
odeadvisor(ode);
dsolve(ode);
运行(Enter键),即可得到以上方程的通解。
可见,通过利用Maple软件辅助常微分方程的教学,在Maple软件中输入代码,很容易获得常微分方程的通解。这相比传统的教学模式要好的多,可以进一步激发学生对于常微分方程的学习兴趣。
5. 总结
本文利用Maple软件绘制常微分方程的平面相图,并且求解了常微分方程的通解。通过利用Maple软件绘制二维常微分方程的相图,可以更容易观察平面相图的平衡点的中心点和鞍点。而且,利用Maple软件获得了常微分方程的通解。Maple软件在常微分教学中的应用可以极大的激发学生对于常微分方程的学习兴趣,进一步提高教学质量。在常微分方程的教学中引入Maple软件的教学意义重大。