微分方程教案微分方程的基本概念引言大家知道：高等数学的主要研究对象是函数，我们在前面的学习中，对于给定的函数«Skip Record If...»，进行了微分运算和积分运算，那么函数又是如何得到的呢？我们可以对实验中得到的数据进行处理，从中发现规律得到函数，也就是采用数据拟合的方法。
然而有些问题，往往很难根据数据直接找出所需要的函数关系，比如：我们的新型战机——歼二十战机，使其安全着陆问题；坦克装甲的设计原理，导弹对敌机的追踪问题等等。
寻找这些问题中变量之间函数关系的方法有很多，我们来介绍其中的一种——利用微分方程求解函数关系。
为此今天我们来学习微分方程的基本概念。
下面我们从一张图片开始来认识他们。
一、问题的提出我们注意到：歼—二十战机下降滑跑时，在跑道上会滑行一段距离。
因此对滑跑的跑道提出了严格的要求，那么滑行跑道满足什么样的条件才可以保障战机的安全着陆？那么，当机场跑道不足时，对它的着陆速度又有什么样的要求呢？对此，我们把它抽象成一般的数学问题：战机的安全着陆问题。
案例1 (战机的安全着陆)我国新型战机——歼二十，质量为m，以速度«Skip Record If...»着陆降落时，减速伞对飞机的阻力作用与降落时的速度成正比，此外飞机还受到另一个与时间成正比的阻力作用，试讨论飞机降落时的速度与时间的关系？要使得战机可以安全着陆也就是要使得飞机的滑跑距离小于跑道的长度。
对于此问题，我们可以先对飞机滑跑的运动状态进行分析,结合前面我们所学习的微分学知识以及牛顿第二定律，这样便可建立运动方程。
解：设飞机质量为«Skip Record If...»，着陆速度为«Skip Record If...»，若从飞机接触跑道时开始计时，飞机的滑跑距离为«Skip Record If...»，飞机的速度为«Skip Record If...»，减速伞的阻力为«Skip Record If...»，其中«Sk ip Record If...»为阻力系数。
根据牛顿第二定律可得运动方程«Skip Record If...»，«Skip Record If...»从这个例子中，将这些等式和中学里我们所学的代数方程形式做比较，你有什么发现？二、微分方程的基本概念1、定义通过比较代数方程与微分方程，从代数方程的定义（含有未知量的等式）得到：含有未知函数的导数或微分的方程称为常微分方程，简称为微分方程，记为«Skip Record If...»。
例1：判断下列等式是否为微分方程。
(1) «Skip Record If...» (2) «Skip Record If...»(3) «Skip Record If...» (4) «Skip Record If...»答案：(1) 是； (2) 是； (3) 是； (4) 否。
本质：是否含有未知函数的导数或微分是判断是否为微分方程的重要依据.将这些方程与代数方程中“次数”的概念比较，得到如下概念：2、微分方程的阶从代数方程按次（未知量的最高次数）分类得到微分方程按阶（未知函数导数的最高阶数）分类：一阶微分方程，二阶微分方程，......n阶微分方程等。
例如：指出下列微分方程的阶数。
(1) «Skip Record If...» (2) «Skip Record If...»答案：(1) 1阶； (2) 2阶。
有了“阶”的概念之后，我们将从不同的角度对微分方程进行详细的分类。
3、分类分类1:根据微分方程的阶数一阶微分方程：«Skip Record If...»或者«Skip Record If...»高阶微分方程：«Skip Record If...»或者«Skip Record If...»分类2:根据自变量的个数常微分方程(ODE)：未知函数为一元函数。
例如：«Skip Record If...»，«Skip Record If...»，«Skip Record If...»，«Skip Record If...»偏微分方程(PDE)：未知函数为多元函数例如：«Skip Record If...»分类3: 线性与非线性线性：在微分方程«Skip Record If...»中，F对未知函数y和它的各阶导数«Skip Record If...»的全体而言是一次的。
例2判断下列方程是否是线性的：（1）«Skip Record If...»（2）«Skip Record If...»（3）«Skip Record If...»（4）«Skip Record If...»答案：是，不是，不是，是。
前面的两个引例的解决过程事实上就是我们求解微分方程的过程，下面我们来介绍第三部分内容，也是我们本章的主要学习内容——微分方程的求解问题。
三、主要问题——求解微分方程从代数方程解的定义（使方程恒成立的数值）得到微分方程解的定义：使方程恒成立的函数。
1、微分方程的解:设函数«Skip Record If...»在区间«Skip Record If...»上连续, 且有直到«Skip Record If...»阶的导数.如果把«Skip Record If...»代入方程«Skip Record If...», 得到在区间«Skip Record If...»上关于«Skip Record If...»的恒等式,«Skip Record If...»则称«Skip Record If...»为方程«Skip Record If...»在区间«Skip Record If...»上的一个解.现在让我们再回到案例1，当战机的着陆初速度以及加速度都已知时，战机的滑跑距离又是什么情况的时候可以保证战机安全着陆呢？解：设战机着陆后t秒钟后战机行驶了x米，«Skip Record If...»则加速度«Skip Record If...»，从而两边积分得«Skip Record If...»,再两边积分，得«Skip Record If...»条件：«Skip Record If...»，从而«Skip Record If...»,因此，从战机开始着陆到完全停下来共需时间«Skip Record If...»，战机在这段时间内行驶了«Skip Record If...»在这个问题的解决过程中，发现«Skip Record If...»,«Skip Record If...»,都满足微分方程«Skip Record If...»，是微分方程的解。
怎么回事？下面给出以下概念：全部解：所有满足微分方程的函数的集合。
通解：相互独立的任意常数的个数与方程的阶数相等的解。
特解：确定了通解中的任意常数的解。
初始条件：为确定通解中的任意常数而在微分方程中引入的条件。
例3：判断下列函数是否是方程«Skip Record If...»的解？（1）«Skip Record If...»（2）«Skip Record If...»（3）«Skip Record If...»解：（1），（2），（3）都是解，但（1）是特解，（2）是通解，（3）是全部解。
通过这个例子，我们对全部解，通解，特解的概念进行了区别，并且可以总结出三者之间的关系：特解«Skip Record If...»通解«Skip Record If...»全部解例4：验证：函数«Skip Record If...»都是微分方程«Skip Record If...»的解。
解：对«Skip Record If...»关于t求导,«Skip Record If...»,代入方程，«Skip Record If...»从而也就验证了函数«Skip Record If...»是方程«Skip Record If...»的解。
对于«Skip Record If...»同样来验证。
总结：求导代入验证通过案例1，我们也找到一种求解微分方程的方法——两边积分求积分。
积分曲线——解«Skip Record If...»所表达的曲线，为了便于研究方程解的性质, 我们常常考虑解的图象.一阶方程(1.5)的一个特解«Skip Record If...»的图象是«Skip Record If...»平面上的一条曲线, 称为方程(1.5)的积分曲线, 而通解«Skip Record If...»的函数图象是平面上的一族曲线, 称为积分曲线族. 例如, 方程«Skip Record If...»的通解«Skip Record If...»是«Skip Record If...»平面上的一族抛物曲线.而«Skip Record If...»是过点(0, 0)的一条积分曲线.以后, 为了叙述简便, 我们对解和积分曲线这两个名词一般不加以区别.对于二阶和二阶以上的方程, 也有积分曲线和积分曲线族的概念, 只不过此时积分曲线所在的空间维数不同.积分曲线方程——«Skip Record If...»可分离变量的微分方程一.实际问题在各种反装甲弹药中，穿甲弹无疑是历史最悠久、使用最广泛的反装甲弹药。