当前位置:文档之家› 微分代数方程理论

微分代数方程理论

微分代数方程理论
微分代数方程理论

(完整版)常微分方程发展简史——解析理论与定性理论阶段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样条法,对模型中含有的参数进行估计,模拟结果表明该方法对模型中的参数估计有效。流行病模型是微分方程中应用较多且与现实生活关系较为密切的一类模型,在本文的第五章我们考虑了流行病模型中参数的估计问题。 估计此类模型中的参数与第四章中参数的估计最大的不同是:对于流行病模

分数阶微分方程-课件

分数阶微分方程 第三讲分数阶微分方程基本理论 一、分数阶微分方程的出现背景及研究现状 1、出现背景 分数阶微积分是关于任意阶微分和积分的理论,它与整数阶微积分是统一的,是整数阶微积分的推广。 整数阶微积分作为描述经典物理及相关学科理论的解析数学工具已为人们普遍接受,很多问题的数学模型最终都可以归结为整数阶微分方程的定解问题,其无论在理论分析还是数值求解方面都已有较完善的理论。但当人们进入到复杂系统和复杂现象的研究时,经典整数阶微积分方程对这些系统的描述将遇到以下问题: (1)需要构造非线性方程,并引入一些人为的经验参数和与实际不符的假设条件; (2)因材料或外界条件的微小改变就需要构造新的模型; (3)这些非线性模型无论是理论求解还是数值求解都非常繁琐。 基于以上原因,人们迫切期待着有一种可用的数学工具和可依据的基本原理来对这些复杂系统进行建模。分数阶微积分方程非常适合于刻画具有记忆和遗传性质的材料和过程,其对复杂系统的描述具有建模简单、参数物理意义清楚、描述准确等优势,因而成为复杂力学与物理过程数学建模的重要工具之一。 2、研究现状 在近三个世纪里,对分数阶微积分理论的研究主要在数学的纯理论领域里进行,似乎它只对数学家们有用。然而在近几十年来,分数阶微分方程越来越多的被用来描述光学和热学系统、流变学及材料和力学系统、信号处理和系统识别、控制和机器人及其他应用领域中的问题。分数阶微积分理论也受到越来越多的国内外学者的广泛关注,特别是从实际问题抽象出来的分数阶微分方程成为很多数学工作者的研究热点。随着分数阶微分方程在越来越多的科学领域里出现,无论对分数阶微分方程的理论分析还是数值计算的研究都显得尤为迫切。然而由于分数阶微分是拟微分算子,它的保记忆性(非局部性)对现实问题进行了优美刻画的同时,也给我们的分析和计算造成很大困难。 在理论研究方面,几乎所有结果全都假定了满足李氏条件,而且证明方法也和经典微积分方程一样,换句话说,这些工作基本上可以说只是经典微积分方程理论的一个延拓。对分数阶微分方程的定性分析很少有系统性的结果,大多只是给出了一些非常特殊的方程的求解,且常用的求解方法都是具有局限性的。 在数值求解方面,现有分数阶方程数值算法还很不成熟,主要表现为: (1)在数值计算中一些挑战性难题仍未得到彻底解决,如长时间历程的计算和大空间域的计算等; (2)成熟的数值算法比较少,现在研究较多的算法主要集中在有限差分方法与有限单元法; (3)未形成成熟的数值计算软件,严重滞后于应用的需要。

常微分方程考研讲义第三章一阶微分方程解的存在定理

第三章一阶微分方程解的存在定理 [教学目标] 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)

《常微分方程》课程大纲

《常微分方程》课程大纲 一、课程简介 课程名称:常微分方程学时/学分:3/54 先修课程:数学分析,高等代数,空间解析几何,或线性代数(行列式,矩阵与线性方程组,线性空间F n,欧氏空间R n,特征值与矩阵的对角化), 高等数学(多元微积分,无穷级数)。 面向对象:本科二年级或以上学生 教学目标:围绕基本概念与基本理论、具体求解和实际应用三条主线开展教学活动,通过该课程的教学,希望学生正确理解常微分方程的基本概念,掌握基本理论和主要方法,具有一定的解题能力和处理相关应用问题的思维方式,如定性分析解的性态和定量近似求解等思想,并希望学生初步了解常微分方程的近代发展,为学习动力系统学科的近代内容和后续课程打下基础。 二、教学内容和要求 常微分方程的教学内容分为七部分,对不同的内容提出不同的教学要求。(数字表示供参考的相应的学时数,第一个数为课堂教学时数,第二个数为习题课时数) 第一章基本概念(2,0) (一)本章教学目的与要求: 要求学生正确掌握微分方程,通解,线性与非线性,积分曲线,线素场(方

向场),定解问题等基本概念。本章教学重点解释常微分方程解的几何意义。 (二)教学内容: 1.由实际问题:质点运动即距离与时间关系(牛顿第二运动定律),放射性元素衰变过程,人口总数发展趋势估计等,通过建立数学模型,导出微分方程。 2.基本概念(常微分方程,偏微分方程,阶,线性,非线性,解,定解问题,特解,通解等)。 3.一阶微分方程组的几何定义,线素场(方向场),积分曲线。 4.常微分方程所讨论的基本问题。 第二章初等积分法(4,2) (一)本章教学目的与要求: 要求学生熟练掌握分离变量法,常数变易法,初等变换法,积分因子法等初等解法。 本章教学重点对经典的几类方程介绍基本解法,勾通初等积分法与微积分学基本定理的关系。并通过习题课进行初步解题训练,提高解题技巧。 (二)教学内容: 1. 恰当方程(积分因子法); 2. 分离变量法 3. 一阶线性微分方程(常数变易法) 4. 初等变换法(齐次方程,伯努利方程,黎卡提方程)

第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.微分方程:某些物理过程的数学模型 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,λλ,则

[VIP专享]大学数学偏微分方程理论学习

偏微分方程理论学习 一.偏微分方程发展简介 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年发表的《热的解析理论》是数学史上的经典文献之一。傅里叶研究的主要是吸热或放热物体内部任何点处的温度随空间和时间的变化规律。在对物体的物理性状作出一定的限制(如均匀、各向同性)后,他根据物理原理推导出了三维空间的热传导方程,x k z y x ??=??+??+??T T T T 2222222其中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)/(.sin ),(T 2222n t l k n n l x n e b t x ππ 为了满足初始条件,必须有 ∑∞==1.sin )(n n l x n b x f π

常微分方程的求解与定性分析

学生实验报告(4) 一、实验综述 . 归纳和学习求解常微分方程(组)的基本原理和方法; 2. 掌握解析、数值解法,并学会用图形观察解的形态和进行解的定性分析; 3. 熟悉MATLAB软件关于微分方程求解的各种命令; 4. 通过范例学习建立微分方程方面的数学模型以及求解全过程; 通过该实验的学习,使学生掌握微分方程(组)求解方法(解析法、欧拉法、梯度法、改进欧拉法等),对常微分方程的数值解法有一个初步了解,同时学会使用MATLAB软件求解微分方程的基本命令,学会建立微分方程方面的数学模型。这对于学生深入理解微分、积分的数学概念,掌握数学的分析思维方法,熟悉处理大量的工程计算问题的方法是十分必要的。 二、实验过程(实验步骤、记录、数据、分析) 1.开启MATLAB软件平台,开启MATLAB编辑窗口; 2.根据问题,建立的线性规划模型,并编写求解规划模型的M文件; 3.保存文件并运行; 4.观察运行结果(数值或图形),并不断地改变参数设置观察运行结果; 5.根据观察到的结果和体会,写出实验报告。 三、实验要求与任务 根据实验内容和步骤,完成以下实验,要求写出实验报告(实验目的→问题→数学模型→算法与编程→计算结果→分析、检验和结论) 1.求微分方程的解析解,并画出它们的图形。 y '= y + 2 x, y (0) = 1, 0< x <1;

程序如下:由y=dsolve('Dy=y+2*x','y(0)=1','x')得出解析解y =-2*x-2+3*exp(x) 建立函数m 文件:function y=myfun4(x) y=-2*x-2+3*exp(x) 画图函数为fplot('myfun4',[0,1]) 图形如下: 2.求微分方程?? ???====-+]100[0)0(;0)0(01.03t u u u u u 的数值解,要求编写求解程序。 首先建立函数M 文件:function dy=myfun5(t,y) dy=zeros(2,1); dy(1)=y(2); dy(2)=0.1*(y(1).^3)-y(1); 输入命令:[T,Y]=ode15s('myfun5',[0,10],[0,1]); plot(T,Y(:,1),'-',T,Y(:,2),'*');

常微分方程发展简史--适定性理论阶段

第二讲 常微分方程发展简史——适定性理论阶段 高阶方程 ● 1734年12月, Bernoulli Daniel 在给当时在圣彼得堡的Euler 的信中说, 他已经解决了一端固定在墙上而另一端自由的弹性横梁的横向位移问题, 他得到了一个四阶线性常微分方程 44 4,d y k y dx = 其中k 是常数, x 是横梁上距自由端的距离, y 是在x 点的相对于横梁为弯曲位置的垂直位移. Euler 在1735年6月前的回信中说道, 他也已经发现了这个方程, 对这个方程, 除了用级数外无法积分. 他确实得到了四个级数解, 这些级数代表圆函数和指数函数, 但在当时Euler 没有了解到这一点. 1739年9月, Euler 在给Bernoulli John 的信中指出, 上述方程的解可以表示成 1[(cos cosh )(sin sinh )],x x x x y a k k b k k =+-- 其中b 可由条件()0y l =来确定. ● 弹性问题促使Euler 考虑求解常系数一般线性方程的数学问题. 1739年9月, Euler 在给Bernoulli John 的信中首次提到了常系数齐次常微分方程, 并说他已取得了成功. ● 在1743年至1750年间, Euler 考虑了$n$阶常系数齐次线性方程 ()(1)11(),n n n n y a y a y a y f x --'++???++= 第一次引入了特解、通解的概念, 指出通解必包含n 个任意常数, 而且是由n 个特解分别乘以任意常数后相加而成的, 创立了求解$n$阶常系数线性齐次微分方程的完整解法--特征方程法. 讨论了特征根是单根、重根、共轭复根和复重根的情形, 这样Euler 完整解决了常系数线性齐次方程求解问题. ● 1750年至1751年, Euler 讨论了n 阶常系数线性非齐次方程, 他又提出了一种降低方程阶的解法. Euler 还是微分方程近似解的创始人, 他提出了的``欧拉折线法"不仅解决了常微分方程解的存在性的证明, 而且也是常微分方程数值计算的最主要的方法之一. 1750年, Euler 又给出了求解微分方程的级数解法. 1768年至1769年, Euler 还将积分因子法推广到高阶方程, 以及利用变换可以将变系数的Euler 方程化为常系数线性方程. ● 在Euler 工作的基础上, 1763年D'Alembert 给出了求非齐次线性方程通解的方法, 即非齐次方程的通解等于齐次方程的通解加上一个非齐次方程的特解. ● 1762年至1765年间, Lagrange J 对高阶变系数线性齐次方程的研究也迈出了一步, 并引出伴随方程 (这个名字是1873年Fuchs Lazarus 取的, Lagrange 并未给它取名), 同时发现一个定理: 非齐次线性常微分方程的伴随方程的伴随方程, 就是原来方程对应的齐次

常微分方程期末复习提要(1)

常微分方程期末复习提要 中央电大 顾静相 常微分方程是广播电视大学本科开放教育数学与应用数学专业的统设必修课程.本课程的主要任务是要使学生掌握常微分方程的基本理论和方法,增强运用数学手段解决实际问题的能力.本课程计划学时为54,3学分,主要讲授初等积分法、基本定理、线性微分方程组、线性微分方程、定性理论简介等内容。本课程的文字教材是由潘家齐教授主编、中央电大出版社出版的主辅合一型教材《常微分方程》.现已编制了28学时的IP 课件供学生在网上学习. 一、复习要求和重点 第一章 初等积分法 1.了解常微分方程、常微分方程的解的概念,掌握常微分方程类型的判别方法. 常微分方程与解的基本概念主要有:常微分方程,方程的阶,线性方程与非线性方程,解,通解,特解,初值问题。 2.了解变量分离方程的类型,熟练掌握变量分离方程解法. (1)显式变量可分离方程为: )()(d d y g x f x y = ; 当0≠g 时,通过积分??+=C x x f y g y d )()(d 求出通解。 (2)微分形式变量可分离方程为: y y N x M x y N x M d )()(d )()(2211=; 当0)()(21≠x M y N 时,通过积分 ??+=C x x M x M y y N y N d ) ()(d )()(2112求出通解。 3.了解齐次方程的类型,熟练掌握齐次方程(即第一类可化为变量可分离的方程)的解法. 第一类可化为变量可分离方程的一阶齐次微分方程为: )(d d x y g x y = ; 令x y u =,代入方程得x u u g x u -=)(d d ,当0)(≠-u u g 时,分离变量并积分,得?=-u u g u x C )(d 1e ,即)(e u C x ?=,用x y u =回代,得通解)(e x y C x ?=. 4.了解一阶线性方程的类型,熟练掌握常数变易法,掌握伯努利方程的解法. (1)一阶线性齐次微分方程为: 0)(d d =+y x p x y 通解为:?=-x x p C y d )(e 。 (2)一阶线性非齐次微分方程为: )()(d d x f y x p x y =+; 用常数变易法可以求出线性非齐次方程的通解:??+?=-]d e )([e d )(d )(x x f C y x x p x x p 。 (3)伯努利方程为:)1,0()()(d d ≠=+n y x f y x p x y n ,

相关主题
文本预览
相关文档 最新文档