时滞微分方程的定性研究
时滞微分方程的定性研究
【摘要】：微分方程是近代数学的一个重要的学科分支，随着现代化社会的发展，无论是在工程、宇航等自然科学领域还是在经济、金融等社会科学领域，都有着广泛的应用。在力学、物理学、生态学、生物学、经济学等多种应用技术中往往用时滞微分方程比常微分方程来刻划更符合实际。国内外学者也对时滞泛函微分方程的基本理论及定性理论进行了卓有成效的研究。有关时滞泛函微分方程的研究无论在理论上还是在应用上都具有非常重要的意义。开展这方面的研究，一方面将丰富和发展时滞泛函微分方程理论，另一方面也为一些问题的实际应用提供必要的理论基础。本文就时滞微分方程定性理论中的一些问题作了深入系统的研究，主要围绕以下几个方面展开：1、时滞微分方程周期解的存在性问题。本文第二章第一节，第三章第二节中给出了描述两个种群的捕食系统的时滞微分方程模型，并利用重合度理论中的延拓定理给出了周期解存在的充分条件。利用重合度研究周期解的多重性的问题已有许多工作。第三章第二节在研究具非单调功能性反应的捕食一食饵系统时，通过选择不同的相空间，区域划分，解的先验估计等手段，克服了计算算子拓扑度的困难，保证了系统至少有两个正周期解。这两类系统的正周期解的存在性不仅具有生态学应用价值，同时对时滞泛函微分方程理论研究也非常重要。第二章第二节利用非紧性测度的k-集压缩原理及某些分析技巧研究了二阶时滞微分方程，推广与改进了一些相关结果。第三章第一节利用锥映射
不动点定理研究了时滞微分方程周期解的多重性问题，得到了多个正解存在的充分条件，所用的手段是比较新的。2．时滞微分方程周期解的存在性，唯一性及全局吸引性。第四章利用比较原理及不动点定理得到了时滞微分方程的正周期解存在性定理。一方面在非时滞的情况下通过构造比较函数，利用Brouwer不动点定理得到非时滞微分方程正周期解的存在唯一性，及周期解全局吸引的充分条件。另一方面，在时滞存在的情况下利用周期性与非时滞情况相比较得到周期解的存在性，唯一性。由于此时构造Lyapunov泛函比较困难，【关键词】：时滞微分方程重合度周期解积分方程不动点定理渐近稳定性全局吸引性
【学位授予单位】：山西大学
【学位级别】：博士
【学位授予年份】：2006
【分类号】：O175
【目录】：中文摘要4-6英文摘要6-9中文目录9-11英文目录11-13主要符号表13-14第一章序言14-251.1研究背景14-181.2本文主要工作及内容安排18-201.3预备知识20-25第二章时滞微分方程周期解的存在性25-402.1一类时滞捕食系统周期解的存在性25-322.2一类时滞微分方程的周期解32-40第三章时滞微分方程多个周期解的存在性
40-653.1时滞微分方程多个周期解的存在性40-513.2时滞微分系统多个周期解的存在性51-653.2.1引言51-533.2.2单调情形53-583.2.3非单调情形58-613.2.4应用61-65第四章时滞微分方程周期解的存在性唯一性与全局吸引性65-734.1引言65-674.2非时滞微分方程周期解的存在性唯一性及全局吸引性67-694.3时滞微分方程周期解的存在性唯一性及全局吸引性69-73第五章积分方程的渐近稳定性与全局吸引性73-825.1引言73-745.2积分方程解的全局吸引性74-785.3积分方程解的渐近稳定性78-805.4应用80-82总结82-84致谢84-85参考文献85-94攻读博士学位期间的主要研究成果94-95承诺书95 本论文购买请联系页眉网站。
(完整版)常微分方程发展简史——解析理论与定性理论阶段3常微分
第三讲 常微分方程发展简史——解析理论 与定性理论阶段 3、常微分方程解析理论阶段：19世纪 19世纪为常微分方程发展的解析理论阶段. 作为微分方程向复数域的推广, 微分方程解析理论是由Cauchy 开创的. 在Cauchy 之后,重点转向大范围的研究。 级数解和特殊函数 这一阶段的主要结果之一是运用幂级数和广义幂级数解法, 求出一些重要的二阶线性方程的级数解, 并得到极其重要的一些特殊函数. 常微分方程是17、18世纪在直接回答物理问题中兴起的. 在着手处理更为复杂的物理现象, 特别是在弦振动的研究中, 数学家们得到了偏微分方程. 用变量分离法解偏微分方程的努力导致求解常微分方程的问题. 此外, 因为偏微分方程都是以各种不同的坐标系表出的, 所以得到的常微分方程是陌生的, 并且不能用封闭形式解出. 为了求解应用分离变量法与偏微分方程后得到的常微分方程, 数学家们没有过分忧虑解的存在性和解应具有的形式, 而转向无穷级数的方法. 应用分离变量法解偏微分方程而得到的常微分方程中最重要的是Bessel 方程. 222 ()0x y xy x n y '''++-= 其中参数n 和x 都可以是复的. 对Bessel 来说, n 和x 都是实的. 此方程的特殊情形早在1703年Bernoulli Jacobi 给Leibnitz 的信中就已提到, 后来Bernoulli Daniel 、Euler 、Fourier 、Poisson 等都讨论过此问题. 对此方程的解的最早的系统研究是由Bessel 在研究行星运动时作出的. 对每个n , 此方程存在两个独立的基本解, 记作()n J x 和()n Y x , 分别称为第一类Bessel 函数和第二类Bessel 函数, 它们都是特殊函数或广义函数（初等函数之外的函数）. Bessel 自1816年开始研究此方程, 首先给出了积分关系式 20 ()cos(sin ).2n q J x nu x u du ππ=-? 1818年Bessel 证明了()n J x 有无穷多个零点. 1824年, Bessel 对整数n 给出了递推关系式 11()2()()0n n n xJ x nJ x xJ x +--+= 和其他的关于第一类Bessel 函数的关系式. 后来又有众多的数学家（研究天体力学的数学家）独立地得到了Bessel 函数及其表达式和关系式. Bessel 为微分方程解析理论作出了巨大贡献。 解析理论中另一重要内容是Legendre 方程的级数解和Legendre 多项式方面的结果. 1784年, Legendre 研究了Legendre 方程2 (1)20x y xy y λ'''-++=, 给出了幂级数形式的解, 得到
常微分方程知识点总结
常微分方程知识点总结 常微分方程知识点你学得怎么样呢？下面是的常微分方程知识 点总结，欢迎大家阅读！ 微分方程的概念 方程对于学过中学数学的人来说是比较熟悉的；在初等数学中 就有各种各样的方程，比如线性方程、二次方程、高次方程、指数方程、对数方程、三角方程和方程组等等。这些方程都是要把研究的问题中的已知数和数之间的关系找出来，列出包含一个数或几个数的一个或者多个方程式，然后取求方程的解。 但是在实际工作中，常常出现一些特点和以上方程完全不同的 问题。比如：物质在一定条件下的运动变化，要寻求它的运动、变化的规律；某个物体在重力作用下自由下落，要寻求下落距离随时间变化的规律；火箭在发动机推动下在空间飞行，要寻求它飞行的轨道，等等。 物质运动和它的变化规律在数学上是用函数关系来描述的，因此，这类问题就是要去寻求满足某些条件的一个或者几个函数。也就是说，凡是这类问题都不是简单地去求一个或者几个固定不变的数值，而是要求一个或者几个的函数。 解这类问题的基本思想和初等数学解方程的基本思想很相似， 也是要把研究的问题中已知函数和函数之间的关系找出来，从列出的包含函数的一个或几个方程中去求得函数的表达式。但是无论在方程
的形式、求解的具体方法、求出解的性质等方面，都和初等数学中的解方程有许多不同的地方。 在数学上，解这类方程，要用到微分和导数的知识。因此，凡是表示函数的导数以及自变量之间的关系的方程，就叫做微分方程。 微分方程差不多是和微积分同时先后产生的，苏格兰数学家耐普尔创立对数的时候，就讨论过微分方程的近似解。牛顿在建立微积分的同时，对简单的微分方程用级数来求解。后来瑞士数学家雅各布?贝努利、欧拉、法国数学家克雷洛、达朗贝尔、拉格朗日等人又不断地研究和丰富了微分方程的理论。 常微分方程的形成与发展是和力学、天文学、物理学，以及其他科学技术的发展密切相关的。数学的其他分支的新发展，如复变函数、李群、组合拓扑学等，都对常微分方程的发展产生了深刻的影响，当前计算机的发展更是为常微分方程的应用及理论研究提供了非常 有力的工具。 牛顿研究天体力学和机械力学的时候，利用了微分方程这个工具，从理论上得到了行星运动规律。后来，法国天文学家勒维烈和英国天文学家亚当斯使用微分方程各自计算出那时尚未发现的海王星 的位置。这些都使数学家更加深信微分方程在认识自然、改造自然方面的巨大力量。 微分方程的理论逐步完善的时候，利用它就可以精确地表述事物变化所遵循的基本规律，只要列出相应的微分方程，有了解方程的方法。微分方程也就成了最有生命力的数学分支。
偏微分方程理论的归纳与总结
偏微分方程基本理论的归纳与总结 偏微分方程是储存自然信息的载体,自然现象的深层次性质可以通过数学手段从方程中推导出来.最为一种语言,微分方程在表达自然定律方面比文字具有更强的优越性.微分方程是一个庞大的体系,它的基本问题就是解的存在性和唯一性.该学科的主要特征是不存在一种可以统一处理大多数偏微分方程的适定性问题的普适的方法和理论.这是与常微分方程有显著差异的地方.这种特性使得我们将方程分为许多种不同类型,这种分类的依据主要来自数学与自然现象这两个方面.从数学的角度,方程的类型一般总是对应于一些普遍的理论和工具.换句话讲,如果能建立一个普遍性的方法统一处理一大类方程问题,那么这个类型就被划分出来.而从自然现象的角度,我们又可以根据不同的运动类型以及性质将方程进行分类.当然这两种方式常常不能截然区分,通常它们是相互关联的,这就造成方程的概念有许多重叠现象. 根据数学的特征,偏微分方程主要被分为五大类,它们是： （1）线性与拟微分方程,研究这类方程的主要工具是Fourier分析方法； （2）椭圆型方程,它的方法是先验估计+泛函分析手段； （3）抛物型方程,主要是Galerkin方法,算子半群,及正则性估计； （4）双曲型方程,对应于Galerkin方法； （5）一阶偏微分方程,主要工具是数学分析方法. 从自然界的运动类型出发,偏微分方程可分为如下几大类： （1）稳态方程（非时间演化方程）； （2）耗散型演化方程,这类方程描述了时间演化过程中伴有能量损耗与补充的自然运动.相变与混沌是它们的主要内容； （3）保守系统,如具有势能的波方程.该系统控制的运动是与外界隔离的,及无能量输入,也无能量损耗.行波现象与周期运动是它们的主要特征； （4）守恒律系统,这类方程是一阶偏微分方程组,它们与保守系统具有类似的性质,可视为物质流的守恒.激波行为是由守恒律系统来控制. 下面具体来介绍三类经典方程： 三类典型方程：椭圆型方程,抛物型方程,双曲型方程,即偏微分方程模型的建立,解问题的解法以及三类典型方程的基本理论. 关于三类典型方程定解问题的解题方法,它们主要是分离变量法、积分变换法、特征线法、球面平均法、降维法和Green 函数方法. 关于三类典型方程的基本理论——极值原理和能量估计,并由此给出了解的唯一性和稳定性的相关结论. 具体来说,关于二阶线性椭圆形方程,我们研究它的古典解和弱解.前者主要介绍了基本解、调和函数的基本性质、Green 函数、极值原理、最大模估计、能量方法和变分原理；而后者的研究则需要知道Sobolev空间的相关知识再加以研究；关于二阶线性抛物型方程,主要研究它的Fourier 变换、特殊的求解方法、基本解、方程式和方程组的最大值原理以及最大模估计、带有非经典边界条件和非局部项的方程式的最大值原理及能量方法；关于二阶线性双曲型方程,主要研究初值问题的求解方法、初值问题的能量不等式与解的适定性、以及混合问题的能量模估计与解的适定性. 椭圆、抛物和双曲这三类线性偏微分方程解的适定性问题,它们分别以拉普拉斯方程、热传导方程和波动方程作为代表.具体地说,对于某些规则的求解区域试图求出满足特定线性偏微分方程和定解条件的具体解,这就决定了存在性问题；再利用方程本身所具有的特殊性质,将证明所求解是唯一的,也就解决了唯一性问题；关于连续依赖性问题,需要在不同函数空
随机微分方程的适定性及微分方程参数的贝叶斯估计方法
随机微分方程的适定性及微分方程参数的贝叶斯估计方法 本论文主要研究了以下两个方面的内容。一是讨论了随机薛定谔方程解的适定性,包括解的爆破性质和整体解的存在性和唯一性；二是用贝叶斯惩罚B样条方法给出了几类常微分方程模型中参数(常值参数以及时变参数)的估计.关于这些问题的研究背景和动机我们在第一章中给予介绍。微分方程的数学理论研究在物理学,医学,生物学,金融学等应用科学中发挥着重要作用。薛定谔方程是一类特殊的微分方程,其在原子、分子、固体物理、核物理、化学等领域中被广泛应用.然而,在现实生活中,很多事情都是不确定的,是受随机因素干扰的,本文在第一部分考虑了在噪声影响下的薛定谔方程即随机薛定谔方程的解的动力学性质。 具体来说,在第二章,我们讨论了在可加噪声和二次位势双重作用下,随机薛定谔方程解的爆破性质,我们得到了不管位势是排斥型还是吸引型,任意有限能量的初值均可能产生爆破解,并且爆破时间可以任意小.这与确定型薛定谔方程不同,对确定性方程来说,排斥型位势具有阻止解爆破的效应。因此,这部分结果表明,噪声对薛定谔方程解的动力学行为的影响比位势的影响要强。与爆破性质对应的,我们在第三章讨论了在Stratonovich型乘积噪声影响下的薛定谔-泊松方程组整体解的适定性。与确定型薛定谔-泊松方程组不同的是,我们建立了随机意义下的交换子估计,进而得到了薛定谔-泊松方程组整体解的存在性和唯一性。 在研究随机薛定谔方程适定性的过程中我们发现,方程中的参数对解的动力学性质产生了重要影响,甚至不同参数会导致方程具有完全不同的动力学行为。这就提示我们在应用微分方程的数学理论之前,应当首先确定微分方程中的参数.为此,本文第二部分提出了一种非参数统计方法——贝叶斯惩罚B样条法,根据观测数据去估计微分方程模型中的参数,这其中包括估计常值参数和时变参数两种情形。我们在第四章中介绍了贝叶斯惩罚B样条法的一般理论,并且考虑了对于2×2的线性方程组及非线性方程组(Lotka-Volterra模型),在所有状态变量的观测数据均已知的情形下,用贝叶斯惩罚B样条法,对模型中含有的参数进行估计,模拟结果表明该方法对模型中的参数估计有效。流行病模型是微分方程中应用较多且与现实生活关系较为密切的一类模型,在本文的第五章我们考虑了流行病模型中参数的估计问题。 估计此类模型中的参数与第四章中参数的估计最大的不同是：对于流行病模
二次微分方程的通解
教学目的：使学生掌握二阶常系数齐次线性微分方程的解法，了解二阶常系数非齐 次线性微分方程的解法 教学重点：二阶常系数齐次线性微分方程的解法 教学过程： 一、二阶常系数齐次线性微分方程 二阶常系数齐次线性微分方程 方程 y py qy 0 称为二阶常系数齐次线性微分方程 其中p 、q 均为常数 如果y 1、y 2是二阶常系数齐次线性微分方程的两个线性无关解 那么y C 1y 1C 2y 2就是它的通解 我们看看 能否适当选取r 使y e rx 满足二阶常系数齐次线性微分方程 为此将 y e rx 代入方程 y py qy 0 得 (r 2 pr q )e rx 0 由此可见 只要r 满足代数方程r 2 pr q 0 函数y e rx 就是微分方程的解 特征方程 方程r 2 pr q 0叫做微分方程y py qy 0的特征方程 特征方程 的两个根r 1、r 2可用公式 2 422,1q p p r -±+-= 求出 特征方程的根与通解的关系 (1)特征方程有两个不相等的实根r 1、r 2时 函数x r e y 11=、x r e y 22=是方程的两个线性无 关的解 这是因为
函数x r e y 11=、x r e y 22=是方程的解 又x r r x r x r e e e y y )(212121-==不是常数 因此方程的通解为 x r x r e C e C y 2121+= (2)特征方程有两个相等的实根r 1r 2时 函数x r e y 11=、x r xe y 12=是二阶常系数齐次线性微分方程的两个线性无关的解 这是因为 x r e y 11=是方程的解 又 x r x r x r x r x r x r qxe e xr p e xr r xe q xe p xe 111111)1()2()()()(1211++++=+'+'' 0 )()2(121111=++++=q pr r xe p r e x r x r 所以x r xe y 12=也是方程的解 且x e xe y y x r x r ==1112不是常数 因此方程的通解为 x r x r xe C e C y 1121+= (3)特征方程有一对共轭复根r 1, 2i 时 函数y e ( i )x 、y e (i )x 是微分方程的 两个线性无关的复数形式的解 函数y e x cos x 、y e x sin x 是微分方程的两个线性无关 的实数形式的解 函数y 1e ( i )x 和y 2e (i )x 都是方程的解 而由欧拉公式 得 y 1e ( i )x e x (cos x i sin x ) y 2e ( i )x e x (cos x i sin x ) y 1y 22e x cos x ) (2 1cos 21y y x e x +=βα y 1y 22ie x sin x ) (21sin 21y y i x e x -=βα 故e x cos x 、y 2e x sin x 也是方程解 可以验证 y 1e x cos x 、y 2e x sin x 是方程的线性无关解 因此方程的通解为
常微分方程考研讲义第三章一阶微分方程解的存在定理
第三章一阶微分方程解的存在定理 [教学目标] 1.理解解的存在唯一性定理的条件、结论及证明思路，掌握逐次逼近法，熟练近似解 的误差估计式。 2.了解解的延拓定理及延拓条件。 3.理解解对初值的连续性、可微性定理的条件和结论。 [教学重难点] 解的存在唯一性定理的证明，解对初值的连续性、可微性定理的证明。 [教学方法] 讲授，实践。 [教学时间] 12学时 [教学内容] 解的存在唯一性定理的条件、结论及证明思路，解的延拓概念及延拓条件，解对初值的连续性、可微性定理及其证明。 [考核目标] 1.理解解的存在唯一性定理的条件、结论，能用逐次逼近法解简单的问题。 2.熟练近似解的误差估计式，解对初值的连续性及可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。 §1 解的存在性唯一性定理和逐步逼近法 微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。 例如方程
2dy y dx = 过点(0,0)的解就是不唯一，易知0y =是方程过(0,0)的解，此外，容易验证，2y x =或更一般地，函数 2 0 0() c<1 x c y x c x ≤≤?=?-≤? 都是方程过点(0,0)而且定义在区间01x ≤≤上的解，其中c 是满足01c <<的任一数。 解的存在唯一性定理能够很好地解释上述问题，它明确地肯定了方程的解在一定条件下的存在性和唯一性。另外，由于能得到精确解的微分方程为数不多，微分方程的近似解法具有重要的意义，而解的存在唯一性是进行近似计算的前提，如果解本身不存在，而近似求解就失去意义；如果存在不唯一，不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。 1．存在性与唯一性定理： （1）显式一阶微分方程 ),(y x f dx dy = （3.1） 这里),(y x f 是在矩形域：00:||,||R x x a y y b -≤-≤ （3.2） 上连续。 定理1：如果函数),(y x f 满足以下条件：1）在R 上连续：2）在R 上关于变量y 满足李普希兹（Lipschitz ）条件，即存在常数0L >，使对于R 上任何一对点1(,)x y ， 2(,)x y 均有不等式1212(,)(,)f x y f x y L y y -≤-成立，则方程（3.1）存在唯一的解()y x ?=，在区间0||x x h -≤上连续，而且满足初始条件 00()x y ?= （3.3）
偏微分方程理论学习-USTC
偏微分方程理论学习 一． 偏微分方程发展简介 1. 常微分方程 十七世纪微积分创立之后，常微分方程理论立刻就发展起来，当时应用常微分方程，解决几何与理学中的新问题。结果是在天体理学中不仅能得到并解释早先已经知晓的那些事实，而且得到了性的发现（例如，海王星的发现就是在对微分方程分析的基础上作出的）。 2. 偏微分方程 偏微分方程的研究要晚得多，对物理学中出现的偏微分方程研究在十八世纪中叶导致了分析学的一个新的分支------数学物理方程的建立。 J.达朗贝尔（D’Alembert ）（1717-1783）、L.欧拉（Euler ）（1707-1783）、D.伯努利(Bernoulli )（1700-1782）、J.拉格朗日(Lagrange )（1736-1813）、P.拉普拉斯(Laplace )（1749-1827）、S.泊松(Poisson )（1781-1840）、J.傅里叶(Fourier )（1768-1830）等人的工作为这一学科分支奠定了基础。它们在考察具体的数学物理问题中，所提出的思想与方法，竟适用于众多类型的微分方程，成为十九世纪末偏微分方程一般理论发展的基础。 十九世纪，偏微分方程发展的序幕是由法国数学家傅里叶拉开的，他于1822年发表的《热的解析理论》是数学史上的经典文献之一。傅里叶研究的主要是吸热或放热物体内部任何点处的温度随空间和时间的变化规律。在对物体的物理性状作出一定的限制（如均匀、各向同性）后，他根据物理原理推导出了三维空间的热传导方程 其中k 是一个参数，其值依赖于物体的质料。傅里叶当时解决的是如下特殊的热传导问题：设所考虑的物体为两端保持在温度0度、表面绝热且无热流通过的柱轴。在此情形下求解上述热传导方程，因为柱轴只涉及一维空间，所以这个问题也就是求解偏微分方程 ??? ????<<=>==??=??,0),()0,(,0,0),(,0),0(T T 222l x x f x T t t l T t T x k x ， 其中后面两项分别是边界条件和初始条件。傅里叶为解这个方程用了分离变量法，他得到满足方程和边界条件的级数解为 为了满足初始条件，必须有
一阶微分方程解的存在定理
第三章 一阶微分方程解的存在定理 [教学目标] 1. 理解解的存在唯一性定理的条件、结论及证明思路，掌握逐次逼近法，熟练近似解的误差估计式。 2. 了解解的延拓定理及延拓条件。 3. 理解解对初值的连续性、可微性定理的条件和结论。 [教学重难点] 解的存在唯一性定理的证明，解对初值的连续性、可微性定理的证明。 [教学方法] 讲授，实践。 [教学时间] 12学时 [教学内容] 解的存在唯一性定理的条件、结论及证明思路，解的延拓概念及延拓条件，解对初值的连续性、可微性定理及其证明。 [考核目标] 1.理解解的存在唯一性定理的条件、结论，能用逐次逼近法解简单的问题。 2.熟练近似解的误差估计式，解对初值的连续性及可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。 §1 解的存在性唯一性定理和逐步逼近法 微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。 例如方程 dy dx =过点(0,0)的解就是不唯一，易知0y =是方程过(0,0)的解，此外，容易验证，2 y x =或更一般地，函数 2 0 0() c<1x c y x c x ≤≤?=?-≤? 都是方程过点(0,0)而且定义在区间01x ≤≤上的解，其中c 是满足01c <<的任一数。 解的存在唯一性定理能够很好地解释上述问题，它明确地肯定了方程的解在一定条件下的存在性 和唯一性。另外，由于能得到精确解的微分方程为数不多，微分方程的近似解法具有重要的意义，而解的存在唯一性是进行近似计算的前提，如果解本身不存在，而近似求解就失去意义；如果存在不唯一，不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。 1．存在性与唯一性定理： （1）显式一阶微分方程 ),(y x f dx dy = （3.1） 这里),(y x f 是在矩形域：00:||,||R x x a y y b -≤-≤ （3.2）
高阶线性微分方程常用解法介绍
高阶线性微分方程常用解法简介 关键词：高阶线性微分方程 求解方法 在微分方程的理论中，线性微分方程是非常值得重视的一部分内容，这不仅 因为线性微分方程的一般理论已被研究的十分清楚，而且线性微分方程是研究非线性微分方程的基础，它在物理、力学和工程技术、自然科学中也有着广泛应用。下面对高阶线性微分方程解法做一些简单介绍. 讨论如下n 阶线性微分方程：1111()()()()n n n n n n d x d x dx a t a t a t x f t dt dt dt ---++++= （1），其中()i a t （i=1,2,3,,n ）及f(t)都是区间a t b ≤≤上的连续函数，如果 ()0f t ≡，则方程（1）变为 1111()()()0n n n n n n d x d x dx a t a t a t x dt dt dt ---++++= （2），称为n 阶齐次线性微分方程，而称一般方程（1）为n 阶非齐次线性微分方程，简称非齐次线性微分方程，并且把方程（2）叫做对应于方程（1）的齐次线性微分方程. 1.欧拉待定指数函数法 此方法又叫特征根法，用于求常系数齐次线性微分方程的基本解组。形如 111121[]0,(3),n n n n n n n d x d x dx L x a a a x dt dt dt ---≡++++=其中a a a 为常数，称为n 阶常系数齐次线性微分方程。 111111111111[]()()()n t n t t t t n n n n n n n t t n n n n n n n d e d e de L e a a a e dt dt dt a a a e F e F a a a n λλλλλλλλλλλλλλλλ---------≡++++=++++≡≡++++其中=0(4)是的次多项式. ()F λ为特征方程，它的根为特征根. 1.1特征根是单根的情形 设12,,,n λλλ是特征方程111()0n n n n F a a a λλλλ--≡++++=的n 个彼此不相等的根，则应相应地方程（3）有如下n 个解：12,,,.n t t t e e e λλλ（5）我们指出这n 个解在区间a t b ≤≤上线性无关，从而组成方程的基本解组. 如果(1,2,,)i i n λ=均为实数，则（5）是方程（3）的n 个线性无关的实值 解，而方程（3）的通解可表示为1212,n t t t n x c e c e c e λλλ=+++其中12,,,n c c c 为任意常数. 如果特征方程有复根，则因方程的系数是实常数，复根将称对共轭的出现.设1i λαβ=+是一特征根，则2i λαβ=-也是特征根，因而于这对共轭复根
第5章 定性和稳定性理论简介(常微分方程)
第5章定性和稳定性理论简介 在十九世纪中叶,通过Liouville等人的工作,人们已经知道绝大多数微分方程不能用初等积分法求解.这个结果对微分方程理论的发展产生了极大的影响,使微分方程的研究发生了一个转折.既然初等积分法有着不可克服的局限性,那么是否可以不求微分方程的解,而从微分方程本身来推断其性质呢?定性理论和稳定性理论正是在这种背景下发展起来的.前者由法国数学家Poincare(1854-1912)在19世纪80年代所创立,后者由俄国数学家Liapunov(1857-1918)在同年代所创立.它们共同的特点就是在不求出方程解的情况下,直接根据微分方程本身的结构与特点,来研究其解的性质.由于这种方法的有效性,近一百多年以来它们已经成为常微分方程发展的主流.本章对定性理论和稳定性理论的一些基本概念和基本方法作一简单介绍. 第一讲§5.1 稳定性（Stability）概念(5课时) 一、教学目的：理解稳定、渐近稳定和不稳定的概念；掌握零解的稳 定、渐近稳定的概念；学会判定一些简单微分方程零 解的稳定和渐近稳定性。 二、教学要求：理解稳定、渐近稳定和不稳定的概念；掌握简单微分 方程零解的稳定和渐近稳定性的判定。 三、教学重点：简单微分方程零解的稳定和渐近稳定性的判定。 四、教学难点：如何把一般解的稳定性转化为零解的稳定性。 五、教学方法：讲练结合教学法、提问式与启发式相结合教学法。 六、教学手段：传统板书与多媒体课件辅助教学相结合。 七、教学过程：
1．稳定性的定义 考虑微分方程组 (,)dx f t x dt = （5.1） 其中函数(,)f t x 对n x D R ∈?和(,)t ∈-∞+∞连续，对x 满足局部Lipschitz 条件。 设方程（5.1）对初值01(,)t x 存在唯一解01(,,)x t t x ?=，而其它解记作00(,,)x x t t x = 。 现在的问题是：当01x x -很小是，差 0001(,,)(,,) x t t x t t x ?-的变化是否也很小？本章向量1 2 (,,,)T n x x x x = 的范数取 1 221n i i x x =?? = ? ?? ∑。 如果所考虑的解的存在区间是有限区间，那么这是解对初值的连续依赖性，在第二章的定理2.7已有结论。现在要考虑的是解的存在区间是无穷区间，那么解对初值不一定有连续依赖性，这就产生了Liapunov 意义下的稳定性概念。 定义 5.1 如果对于任意给定的0 ε>和00t ≥都存在0(,)0 t δδε=>, 使得只要 01x x δ -<，就有 0001(,,)(,,)x t t x t t x ?ε -< 对一切0t t ≥成立，则 称（5.1）的解01(,,)x t t x ?=是稳定的。否则是不稳定的。 定义5.2 假定01(,,)x t t x ?=是稳定的，而且存在11(0)δδδ<≤，使得只要 011x x δ-< ，就有 0001l i m ((,,) (,,))0t x t t x t t x ?→∞ -= ，则称 （5.1）的解01(,,)x t t x ?=是渐近稳定的。 为了简化讨论，通常把解01(,,)x t t x ?=的稳定性化成零解的稳定性问题.下面记00()(,,) x t x t t x =01()(,,)t t t x ??=作如下变量代换. 作如下变量代 换.
浅谈微分方程的起源与发展史
浅谈微分方程的起源与发展史 摘要:微分方程起源于17世纪，简单的微分方程分别是牛顿、莱布尼茨和伯努利从几何和力学问题上解决的问题。这些早期发现开始于1690年，这逐渐导致一些特殊的微分方程的“特殊技能”的发展。虽然这些特殊的技术只适用于相对较少的情况下，但是他们可以解决许多微分方程在力学和几何中的问题，所以，他们的研究具有非常重要的现实意义。这些特殊的方法和问题，将有助于我们解决很多问题。 引言：很多的科学问题是需要人们根据事物的变化率来确定事物的特征。比如，我们可以 试着用已知的速度或加速度来计算粒子的位置，又比如，一些放射性物质可能是已知的衰变率，这就要求我们在一个给定的时间内确定材料的总量。通过这些例子，我们可以发现，如果知道自变量、未知函数以及函数的导数（或者微分）组成的关系式，得到的就是微分方程。最后再通过微分方程求出未知函数。 关键字：微分方程起源发展史 一、微分方程的思想萌芽 微分方程就是联系着自变量，未知函数以及其导数的关系式。微分方程理论的发展是跟随着微积分理论的建立发展起来的，一般地，客观世界的时间要服从一定的客观规律，这种连接，用数学语言表达，即是抽象为微分方程，一旦获得或研究的解决方案是明确的空气动力学行为，变量之间的规律是一目了然的。例如在物体运动中，唯一的计算就与瞬间速度之间有着紧密的联系，其结果往往形成一个微分方程，一旦求出解或研究清楚气动力学行为，就明确的掌握了物体的运动规律。 1.1微分方程的起源：微分方程起源于17世纪，简单的微分方程分别是牛顿、莱布 尼茨和伯努利从几何和力学问题上解决的问题。这些早期发现开始于1690年，这逐渐导致一些特殊的微分方程的“特殊技能”的发展。 1.2微分方程在实际问题中的应用：运用微分方程理论解决一些实际问题，即根 据生物学，物理学，化学，几何学等学科的实际问题及相关知识建立微分方程，讨论该方程解的性质，并由所得的解或解的性质反过来解释该实际过程。物质运动和它的变化规律在数学上是用函数关系描述的,但是在实际问题中往往不能直接写出反映运动规律的函数,却比较容易建立这些变量与他们的导数之间的关系式,即微分方程。只有一个自变量的微分方程称为常微分方程,简称微分方程。 例1 传染病模型 传染病（瘟疫）经常在全世界各地流行，假设传染病传播期间其他地区的总 x，在t时的健康人数为)(t y，染病人数不变，为常数n，最开始的染病人数为 人数为)(t x。 因为总人数为常数n
高数(下)要点(含微分方程)——自己整理的
第六章 微分方程 一、一阶微分方程 1、一阶线性方程 )()(x Q y x P dx dy =+ ])([)()(C dx e x Q e y dx x P dx x P +?? =?-通解 2、伯努利方程 )1,0()()(d d ≠=+n y x Q y x P x y n ).()(d d 1111x Q y x P x y n n n =+?---令.1n y z -= 二、可降阶的高阶方程 1．)()(x f y n = n 次积分 2． )',("y x f y = 不显含y 令)('x p y =，化为一阶方程 ),('p x f p =。 3． )',("y y f y = 不显含自变量 令)('y p y =，dy dp p dx y d =22，化为一阶方程。 三、线性微分方程 )()()()(1)1(1)(x f y x a y x a y x a y n n n n =+'+++-- ， 0)(≡x f 时称为齐次的，0)(≡/x f 称为非齐次的。 1．二阶线性齐次线性方程 0)()(=+'+''y x Q y x P y （1） 如果函数)(1x y 与)(2x y 是方程(1)的两个解， 则 )()(2211x y C x y C y += 也是(1)的解,其中21,C C 是任意常数。 如果)(1x y 与)(2x y 是方程(1)的两个线性无关的特解, 则 )()(2211x y C x y C y += (21,C C 是任意常数)是(1)的通解. 两个函数)(1x y 与)(2x y 线性无关的充要条件为
C x y x y ≡/) () (21（常数） 2．二阶线性非齐次线性方程 设 )(*x y 是二阶线性非齐次线性方程 )()()(x f y x Q y x P y =+'+'' 的一个特解,)(x Y 是它对应的齐次方程(1)的通解,则 )()(*x y x Y y += 是该方程 的通解. 设)(* 1x y 与 )(*2x y 分别是二阶线性非齐次方程 )()()(1x f y x Q y x P y =+'+'' 与 )()()(2x f y x Q y x P y =+'+'' 的两个特解。则+ )(* 1x y )(* 2x y 是 )()()()(21x f x f y x Q y x P y +=+'+'' 的特解。（叠加原理） 3.二阶线性常系数齐次方程 0'"=++qy py y 特征方程02 =++q pr r ，特征根 ,r r 4．二阶线性常系数非齐次方程 i) 如果 x m e x P x f λ)()(=, 则二阶线性常系数非齐次方程具有形如 x m k e x Q x y λ)(*= 的特解。 其中，)(x P m 是 m 次多项式, )(x Q m 也是系数待定的m 次多项式； 2,1,0=k 依照λ为特征根的重数而取值. i) 如果 []x x P x x P e x f n l x ωωλsin )(cos )()(+=, 则二阶线性常系数非齐次方程的特解可设为 [] x x R x x R e x y m m x k ωωλsin )(cos )() 2()1(*+=
二次微分方程的通解
第六节 二阶常系数齐次线性微分方程 教学目的：使学生掌握二阶常系数齐次线性微分方程的解法，了解二阶常系数非齐 次线性微分方程的解法 教学重点：二阶常系数齐次线性微分方程的解法 教学过程： 一、二阶常系数齐次线性微分方程 二阶常系数齐次线性微分方程: 方程 y ''+py '+qy =0 称为二阶常系数齐次线性微分方程, 其中p 、q 均为常数. 如果y 1、y 2是二阶常系数齐次线性微分方程的两个线性无关解, 那么y =C 1y 1+C 2y 2就是它的通解. 我们看看, 能否适当选取r , 使y =e rx 满足二阶常系数齐次线性微分方程, 为此将y =e rx 代入方程 y ''+py '+qy =0 得 (r 2+pr +q )e rx =0. 由此可见, 只要r 满足代数方程r 2+pr +q =0, 函数y =e rx 就是微分方程的解. 特征方程: 方程r 2+pr +q =0叫做微分方程y ''+py '+qy =0的特征方程. 特征方程的两个根r 1、r 2可用公式 2 422,1q p p r -±+-= 求出. 特征方程的根与通解的关系: (1)特征方程有两个不相等的实根r 1、r 2时, 函数x r e y 11=、x r e y 22=是方程的两个线性无关的解. 这是因为, 函数x r e y 11=、x r e y 22=是方程的解, 又 x r r x r x r e e e y y )(212121-==不是常数. 因此方程的通解为 x r x r e C e C y 2121+=. (2)特征方程有两个相等的实根r 1=r 2时, 函数x r e y 11=、x r xe y 12=是二阶常系数齐次线性微
常微分方程考试大纲
常微分方程考试大纲 Ⅰ. 课程性质 本课程是高等师范院校数学与应用数学专业和信息与计算科学专业的一门重要的核心基础课，是进一步学习泛函分析、数学物理方程、微分几何的必要准备，本身在工程力学、流体力学、电路振荡分析、工业自动控制以及化工，生物、医学、经济、管理等领域有广泛的应用。通过本课程的学习，不仅为后续课程打下基础，而且以穿插其中的在历史上成功利用微分方程解释实际现象的著名范例来培养学生用数学理论解决实际问题的意识和初步能力。是数学系数学与应用数学、信息与计算科学两个本科专业的必修课。 Ⅱ. 课程设置目的与要求 通过常微分方程的教学，使学生掌握建立常微分方程模型的基本过程和方法，正确理解常微分方程的基本概念，掌握基本理论和基本方法，获得比较熟练的基本运算技能，对常微分方程的定性理论有初步的了解，培养学生分析问题和解决问题的能力，为学生学习数学的其它课程和物理学等有关课程打下基础，从而有助于学生胜任中学数学教学，为实施素质教育提供建模思想方面的训练和准备。 Ⅲ. 课程内容与考核目标 第一章 绪论 （一）学习目的和要求 通过本章的学习，掌握从实际问题建立常微分方程模型的基本过程和常用方法，理解初值条件的实际含义。掌握微分方程的基本概念，特别是解、通解、初值问题、特解等概念及其关系。理解一阶常微分方程的积分曲线与方向场之间的关系，并初步了解其中所包含的定性思想。 （二）课程主要内容 1．微分方程：某些物理过程的数学模型 2．基本概念 （1）常微分方程和偏微分方程。
（2）线性和非线性。 （3）解和隐式解。 （4）通解和特解。 （5）积分曲线和方向场。 （三）考核知识点 1．微分方程的数学模型。 2．微分方程的基本概念。 （四）考核要求 1．微分方程：某些物理过程的数学模型 （1）理解：微分方程的数学模型。 2．基本概念 （1）理解：微分方程的基本概念。 第二章 一阶微分方程的初等解法 （一）学习目的和要求 通过本章的学习，掌握变量分离方程、齐次方程、线性方程、伯努利方程和恰当方程的解法。理解变量变换思想方法和积分因子方法，并能应用于求解一些特殊的常微分方程。掌握四类典型的一阶隐方程的解法。 （二）课程主要内容 1．变量分离方程与变量变换 （1）变量分离方程。 （2）可化为变量分离方程的类型、应用举例。 2．线性方程与常数变易法 3．恰当方程与积分因子法 4．一阶隐方程与参数表示 （三）考核知识点 1．变量分离方程与可化为变量分离方程的解法。 2．线性方程的常数变易法。 3．恰当方程与积分因子法。 4．一阶隐方程的参数方法。 （四）考核要求
(完整word版)微分方程稳定性理论简介
第五节 微分方程稳定性理论简介 这里简单介绍下面将要用到的有关内容： 一、 一阶方程的平衡点及稳定性 设有微分方程 ()dx f x dt = （1） 右端不显含自变量t ，代数方程 ()0f x = （2） 的实根0x x =称为方程（1）的平衡点（或奇点），它也是方程（1）的解（奇解） 如果从所有可能的初始条件出发，方程（1）的解()x t 都满足 0lim ()t x t x →∞ = （3） 则称平衡点0x 是稳定的（稳定性理论中称渐近稳定）；否则，称0x 是不稳定的（不渐近稳定）。 判断平衡点0x 是否稳定通常有两种方法，利用定义即（3）式称间接法，不求方程（1）的解()x t ，因而不利用（3）式的方法称直接法，下面介绍直接法。 将()f x 在0x 做泰勒展开，只取一次项，则方程（1）近似为： 0'()()dx f x x x dt =- （4） （4）称为（1）的近似线性方程。0x 也是（4）的平衡点。关于平衡点0x 的稳定性有如下的结论： 若0'()0f x <，则0x 是方程（1）、（4）的稳定的平衡点。 若0'()0f x >，则0x 不是方程（1）、（4）的稳定的平衡点 0x 对于方程（4）的稳定性很容易由定义（3）证明，因为（4）的一般解是 0'()0()f x t x t ce x =+ （5） 其中C 是由初始条件决定的常数。
二、 二阶（平面）方程的平衡点和稳定性 方程的一般形式可用两个一阶方程表示为 112212 () (,)()(,) dx t f x x dt dx t g x x dt ?=??? ?=?? （6） 右端不显含t ，代数方程组 1212 (,)0 (,)0f x x g x x =?? =? （7） 的实根0012 (,)x x 称为方程（6）的平衡点。记为00 012(,)P x x 如果从所有可能的初始条件出发，方程（6）的解12(),()x t x t 都满足 101lim ()t x t x →∞ = 20 2lim ()t x t x →∞ = （8） 则称平衡点00 012(,)P x x 是稳定的（渐近稳定）；否则，称P 0是不稳定的（不渐 近稳定）。 为了用直接法讨论方法方程（6）的平衡点的稳定性，先看线性常系数方程 11112 22122 () ()dx t a x b x dt dx t a x b x dt ?=+??? ?=+?? （9） 系数矩阵记作 1122a b A a b ??=???? 并假定A 的行列式det 0A ≠ 于是原点0(0,0)P 是方程（9）的唯一平衡点，它的稳定性由的特征方程 det()0A I λ-= 的根λ（特征根）决定，上方程可以写成更加明确的形式： 2120()det p q p a b q A λλ?++=? =-+??=? （10） 将特征根记作12,λλ，则
《常微分方程》课程大纲
《常微分方程》课程大纲 一、课程简介 课程名称：常微分方程学时/学分：3/54 先修课程：数学分析，高等代数,空间解析几何，或线性代数（行列式，矩阵与线性方程组，线性空间F n，欧氏空间R n，特征值与矩阵的对角化）, 高等数学（多元微积分，无穷级数）。 面向对象：本科二年级或以上学生 教学目标：围绕基本概念与基本理论、具体求解和实际应用三条主线开展教学活动，通过该课程的教学，希望学生正确理解常微分方程的基本概念，掌握基本理论和主要方法，具有一定的解题能力和处理相关应用问题的思维方式，如定性分析解的性态和定量近似求解等思想，并希望学生初步了解常微分方程的近代发展，为学习动力系统学科的近代内容和后续课程打下基础。 二、教学内容和要求 常微分方程的教学内容分为七部分，对不同的内容提出不同的教学要求。(数字表示供参考的相应的学时数，第一个数为课堂教学时数，第二个数为习题课时数) 第一章基本概念（2，0） （一）本章教学目的与要求： 要求学生正确掌握微分方程，通解，线性与非线性，积分曲线，线素场（方
向场），定解问题等基本概念。本章教学重点解释常微分方程解的几何意义。 （二）教学内容： 1．由实际问题：质点运动即距离与时间关系（牛顿第二运动定律），放射性元素衰变过程，人口总数发展趋势估计等，通过建立数学模型，导出微分方程。 2．基本概念（常微分方程，偏微分方程，阶，线性，非线性，解，定解问题，特解，通解等）。 3．一阶微分方程组的几何定义，线素场（方向场），积分曲线。 4．常微分方程所讨论的基本问题。 第二章初等积分法（4，2） （一）本章教学目的与要求： 要求学生熟练掌握分离变量法，常数变易法，初等变换法，积分因子法等初等解法。 本章教学重点对经典的几类方程介绍基本解法，勾通初等积分法与微积分学基本定理的关系。并通过习题课进行初步解题训练，提高解题技巧。 （二）教学内容： １. 恰当方程（积分因子法）; ２. 分离变量法 ３. 一阶线性微分方程（常数变易法） ４. 初等变换法（齐次方程，伯努利方程，黎卡提方程）