常微分方程简介.doc

第七章 常微分方程简介 我们已经学完一元函数微积分的基本内容．回顾微积分的产生和发展，就会发现它与人们求解微分方程的需要有密切关系．20世纪以前，微分方程问题主要来源于几何学、力学和物理学，而现在它几乎渗透到自然科学和一些社会科学的各个领域，已成为人们研究科学技术，解决实际问题的不可缺少的有力工具． 本章我们主要介绍常微分方程的基本概念，一阶微分方程的初等解法，可降阶的高阶方程及常系数线性方程的求解方法，它是本课程的一个重要组成部分． §7.1 基本概念 微分方程及其解的定义 利用数学手段研究自然现象和社会现象，或解决工程技术问题，一般先要建立数学模型，再对数学模型进行简化和求解，最后结合实际问题对结果进行分析和讨论．数学模型最常见的表达方式是包含自变量和未知函数的方程，在很多情况下未知函数的导数(或微分)也会在方程中出现，于是便自然地称这类方程为微分方程． 定义7.1.1 联系着自变量、未知函数及其某些导数的方程称为微分方程． 只含一个自变量的方程称为常微分方程，自变量多于一个的称为偏微分方程．微分方程中实际出现的导数的最高阶数称为微分方程的阶． 于是阶常微分方程的一般形式是 ， (1.1) 其中是个变元的已知函数，且一定出现．(注意，这里我们仅引用了多元函数的记号，它是一元函数记号在形式上的推广．) 本章只介绍常微分方程，并简称为微分方程或方程． 定义7.1.2 如果方程(1.1)的左边函数对未知函数和它的各阶导数的全体而言是一次的，则称它为线性微分方程，否则称它为非线性微分方程． 阶线性微分方程的一般形式是： ， (1.2) 其中和都是的已知函数． 例如，下面的方程都是常微分方程： ， (1.3) ， (1.4) (是常数)， (1.5) 它们的阶数分别为1，1，2．方程(1.5)是线性的，而方程(1.3)和(1.4)是非线性的． 定义7.1.3 设函数在区间上连续，且有直到阶的导数，若把及其相应的各阶导数代入方程(1.1)，得到关于的恒等式，即在上 ， 则称为方程(1.1)在区间上的解，若由关系式所确定的隐函数是方程(1.1)的解，则称为方程(1.1)的隐式解． 例如，从定义7.1.3可以直接验证： 函数和都是方程(1.3)在区间上的解，而是它的隐式解． 函数是方程(1.4)在区间上的一个解，而是方程(1.4)在区间上的解，其中为任意常数． 3) 函数，都是方程(1.5)在区间上的解，而且对任意常数和， 也是方程(1.5)在区间上的解． 今后对解与隐式解不加区别，统称它们为解．一般情况下也不再指明解的定义区间． 从上面的讨论可知，微分方程的解可以包含一个或几个任意常数(与方程的阶数有关)，而有的解不含任意常数．为了加以区别，我们给出如下定义： 定义7.1.4 方程(1.1)的含有个独立的任意常数的解称为它的通解．不含任意常数的解称为它的特解． 这里说个任意常数是独立的，其含义是指它们不能合并而使得任意常数的个数减少．例如对于两个任意常数的情形，设函数在区间上连续，若在上常数或常数，则称函数在上线性无关，这时易知表达式 中的两个任意常数是独立的． 例1 验证函数是方程(1.5)的通解，其中为任意常数． 解 ， ， 将的表达式代入方程(1.5)有 ， ， 所以对任意常数，都是方程(1.5)的解，又由于 常数 (，Z) 即是两个独立的任意常数，因此是方程(1.5)的通解． 类似验证 (A,B为任意常数)也是方程(1.5)的通解．而和则是方程(1.5)的两个特解． 定义7.1.5 为了确定方程(1.1)的特解而给出的附加条件称为定解条件，求方程(1.1)的满足定解条件的特解的问题称为定解问题．方程(1.1)的一种常用的定解条件是初始条件，它的一般提法是 ，，…， ， (1.6) 其中， ，，…，是任给的个常数． 求方程(1.1)满足初始条件(1.6)的解的问题称为初值问题