相关文章推荐
眉毛粗的书签  ·  第四版·  3 年前    · 
腹黑的脆皮肠  ·  HTML ...·  3 年前    · 

微分方程

数学分支
展开 4个同名词条
收藏
0 有用+1
0
微分方程, 是指含有未知函数及其导数的关系式。解微分方程就是找出未知函数。
微分方程是伴随着微积分学一起发展起来的。微积分学的奠基人 Newton 和 Leibniz 的著作中都处理过与微分方程有关的问题。微分方程的应用十分广泛,可以解决许多与导数有关的问题。物理中许多涉及变力的 运动学 、动力学问题,如空气的阻力为速度函数的落体运动等问题,很多可以用微分方程求解。此外,微分方程在化学、 工程学 、经济学和人口统计等领域都有应用。
数学领域对微分方程的研究着重在几个不同的面向,但大多数都是关心微分方程的解。只有少数简单的微分方程可以求得 解析解 。不过即使没有找到其解析解,仍然可以确认其解的部分性质。在无法求得解析解时,可以利用 数值分析 的方式,利用电脑来找到其数值解。 动力系统 理论强调对于微分方程系统的量化分析,而许多数值方法可以计算微分方程的数值解,且有一定的准确度。
中文名
微分方程
外文名
differential equation
所属学科
高等数学
理论基础
极限理论

介绍

定义式

来源及发展

微分方程研究的来源:它的研究来源极广,历史久远。 牛顿 和 G.W.莱布尼茨 创造 微分 和积分运算时,指出了它们的互逆性,事实上这是解决了最简单的微分方程 y' = f ( x )的求解问题。当人们用 微积分学 去研究几何学、力学、物理学所提出的问题时,微分方程就大量地涌现出来。牛顿本人已经解决了 二体问题 :在太阳引力作用下,一个单一的 行星 的运动。他把两个物体都理想化为质点,得到3个未知函数的3个二阶 方程组 ,经简单计算证明,可化为平面问题,即两个未知函数的两个 二阶微分方程 组。用叫做“首次积分”的办法,完全解决了它的求解问题。
微分方程
17世纪就提出了弹性问题,这类问题导致 悬链线 方程、振动弦的方程等等。总之,力学、天文学、几何学等领域的许多问题都导致微分方程。20世纪以来,随着大量的边缘科学诸如 电磁流体力学 、 化学流体力学 、 动力气象学 、 海洋动力学 、 地下水动力学 等等的产生和发展,也出现不少新型的微分方程(特别是方程组)。
在当代,甚至许多社会科学的问题亦导致微分方程,如人口发展模型、交通流模型……。因而微分方程的研究是与人类社会密切相关的。当初,数学家们把精力集中放在求微分方程的通解上,后来证明这一般不可能,于是逐步放弃了这一奢望,而转向 定解问题 : 初值问题 、 边值问题 、混合问题等。但是,即便是一阶 常微分方程 ,初等解(化为积分形式)也被证明不可能,于是转向定量方法( 数值计算 )、定性方法,而这首先要解决解的存在性、唯一性等理论上的问题。
70年代随着数学向化学和生物学的渗透,出现了大量的 反应扩散 方程。从“求通解”到“求解 定解问题 ”  数学家们首先发现微分方程有无穷个解。 常微分方程 的解会含有一个或多个任意 常数 ,其个数就是方程的阶数。偏微分方程的解会含有一个或多个任意函数,其个数随方程的阶数而定。命方程的解含有的任意元素(即任意常数或任意函数)作尽可能的变化,人们就可能得到方程所有的解,于是数学家就把这种含有任意元素的解称为“通解”。在很长一段时间里,人们致力于“求通解”。但是以下三种原因使得这种“求通解”的努力,逐渐被放弃。
第一,能求得通解的方程显然是很少的。在 常微分方程 方面,一阶方程中可求得通解的,除了 线性方程 、可分离变量方程和用特殊方法变成这两种方程的方程之外,为数是很小的。如果把求通解看作求 微商 及消去法的某一类 逆运算 ,那么,也和熟知的逆运算一样,它是带试探性而没有一定的规则的,甚至有时是不可能的(J.刘维尔首先证明 黎卡提方程 不可能求出通解),何况这种通解也是随着其自由度的增多而增加其求解的难度的。
第二,当人们要明确通解的意义的时候(在19世纪初叶分析奠基时期显然会考虑到此问题)就会碰到严重的含糊不清之处,达布在他的教学中经常提醒大家注意这些困难。这主要发生在偏微分方程的研究中。
第三,微分方程在物理学、力学中的重要应用,不在于求方程的任一解,而是求得满足某些补充条件的解。A.-L.柯西认为这是放弃“求通解”的最重要的和决定性的原因。这些补充条件即定解条件。求方程满足定解条件的解,称之为求解 定解问题 。
常微分方程 的概念、解法、和其它理论很多,比如,方程和方程组的种类及解法、解的存在性和唯一性、奇解、定性理论等等。下面就方程解的有关几点简述一下,以了解常微分方程的特点。
求通解在历史上曾作为微分方程的主要目标,一旦求出通解的表达式,就容易从中得到问题所需要的特解。也可以由通解的表达式,了解对某些参数的依赖情况,便于参数取值适宜,使它对应的解具有所需要的性能,还有助于进行关于解的其他研究。后来的发展表明,能够求出通解的情况不多,在实际应用中所需要的多是求满足某种指定条件的特解。当然,通解是有助于研究解的属性的,但是人们已把研究重点转移到 定解问题 上来。
一个 常微分方程 是不是有特解呢?如果有,又有几个呢?这是微分方程论中一个基本的问题,数学家把它归纳成基本定理,叫做存在和唯一性定理。因为如果没有解,而我们要去求解,那是没有意义的;如果有解而又不是唯一的,那又不好确定。因此,存在和唯一性定理对于微分方程的求解是十分重要的。
大部分的常微分方程求不出十分精确的解,而只能得到近似解。当然,这个近似解的精确程度是比较高的。另外还应该指出,用来描述物理过程的微分方程,以及由试验测定的 初始条件 也是近似的,这种近似之间的影响和变化还必须在理论上加以解决。
通常微分方程在很多学科领域内有着重要的应用,自动控制、各种电子学装置的设计、弹道的计算、飞机和导弹飞行的稳定性的研究、化学反应过程稳定性的研究等。这些问题都可以化为求 常微分方程 的解,或者化为研究解的性质的问题。应该说, 应用常微分方程 理论已经取得了很大的成就,但是,它的现有理论也还远远不能满足需要,还有待于进一步的发展,使这门学科的理论更加完善。

其他学科关系

常微分方程的形成与发展是和力学、天文学、物理学,以及其他科学技术的发展密切相关的。数学的其他分支的新发展,如 复变函数 、李群、组合拓扑学等,都对常微分方程的发展产生了深刻的影响,当前计算机的发展更是为常微分方程的应用及理论研究提供了非常有力的工具。

分类

常微分方程 (ODE)是指微分方程的自变量只有一个的方程 [2] 。最简单的常微分方程,未知数是一个实数或是复数的函数,但未知数也可能是一个向量函数或是矩阵函数,后者可对应一个由常微分方程组成的系统。
一般的n阶 常微分方程 具有形式:
[5 ]
其中
是
的已知函数,并且必含有
。
偏微分方程 (PDE)是指微分方程的自变量有两个或以上 [2] ,且方程式中有未知数对自变量的偏微分。偏微分方程的阶数定义类似常微分方程,但更细分为椭圆型、双曲线型及抛物线型的偏微分方程,尤其在二阶偏微分方程中上述的分类更是重要。有些偏微分方程在整个自变量的值域中无法归类在上述任何一种型式中,这种偏微分方程则称为混合型。
最常见的二阶椭圆方程为调和方程:
。
若
是
的一次有理式,则称方程
为n阶线性方程,否则即为非线性微分方程。
一般的,n阶线性方程具有形式:
其中,
均为x的已知函数。
若线性微分方程的系数均为常数,则为常系数线性微分方程。

举例

以下是 常微分方程 的一些例子,其中u为未知的函数, 自变量 为x,c及ω均为常数。
非齐次一阶常系数 线性微分方程 :
非齐次一阶非线性微分方程:
以下是 偏微分方程 的一些例子,其中u为未知的函数, 自变量 为x及t或者是x及y。
齐次一阶 线性偏微分方程 :
拉普拉斯方程 ,是椭圆型的齐次二阶常系数线性偏微分方程:
KdV方程 , [3] 是三阶的 非线性偏微分方程 :

微分方程的解

对于一阶线性常微分方程,常用的方法是 常数变易法 :
对于方程:y'+p(x)y+q(x)=0,可知其通解:
,然后将这个通解代回到原式中,即可求出C(x)的值。
二阶常系数齐次常微分方程
对于二阶常系数齐次常微分方程,常用方法是求出其特征方程的解
对于方程:
可知其通解:
其特征方程:
根据其特征方程,判断根的分布情况,然后得到方程的通解
一般的通解形式为:
若
,则有
若
,则有
在 共轭复数 根的情况下:
。r=α±βi
常微分方程 常见的约束条件是函数在特定点的值,若是高阶的微分方程,会加上其各阶导数的值,有这类约束条件的常微分方程称为初值问题。
若是二阶的常微分方程,也可能会指定函数在二个特定点的值,此时的问题即为边界值问题。若边界条件指定二点数值,称为 狄利克雷边界条件 (第一类边值条件),此外也有指定二个特定点上导数的边界条件,称为诺伊曼边界条件(第二类边值条件)等。
偏微分方程常见的问题以边界值问题为主,不过边界条件则是指定一特定超曲面的值或导数需符定特定条件。
针对 常微分方程 的初值问题, 皮亚诺存在性定理 可判别解的存在性,柯西-利普希茨定理 [4] 则可以判别解的存在性及唯一性。
针对 偏微分方程 ,柯西-克瓦列夫斯基定理可以判别解的存在性及唯一性。 皮亚诺存在性定理可以判断 常微分方程初值问题 的解是否存在。