常微分方程教学课件.pptxVIP

常微分方程

汇报人：AA

2024-01-25

引言

常微分方程的基本概念

常微分方程的求解方法

常微分方程的定性理论

常微分方程的数值解法

常微分方程的应用举例

01

引言

常微分方程的研究历史可以追溯到17世纪，当时数学家开始研究曲线切线问题和物体运动问题。

19世纪，柯西、刘维尔等数学家进一步发展了常微分方程的理论，研究了其解的存在性、唯一性和稳定性等问题。

18世纪，欧拉、拉格朗日等数学家对常微分方程进行了深入研究，建立了常微分方程的基本理论。

20世纪以来，随着计算机技术的发展，常微分方程的数值解法得到了广泛应用，为实际问题的解决提供了有力支持。

02

常微分方程的基本概念

1

2

3

描述微分方程中未知函数最高阶导数的阶数。

微分方程的阶

满足微分方程的函数，可以是显式解或隐式解。

微分方程的解

满足微分方程及初始条件的解。

初值问题的解

线性微分方程

未知函数及其各阶导数均为一次的微分方程。

通解

包含任意常数的解，能表示微分方程所有解的解族。

特解

满足特定初始条件或边界条件的解。

通解与特解的关系

特解是通解在特定条件下的具体表现，通解包含特解。

03

常微分方程的求解方法

当微分方程的形式可以写成y=f(x)g(y)时，可以使用分离变量法。

分离变量法的适用条件

分离变量法的步骤

分离变量法的应用

首先将微分方程改写为dy/dx=f(x)g(y)的形式，然后对两边同时积分，得到∫dy/g(y)=∫f(x)dx+C，其中C为常数。

该方法适用于求解一些简单的微分方程，如指数增长模型、放射性衰变等。

一阶线性微分方程的形式

y+p(x)y=q(x)，其中p(x)和q(x)是已知函数。

一阶线性微分方程的解法

首先找到一个合适的积分因子e^∫p(x)dx，然后将微分方程两边同时乘以该积分因子，得到一个新的微分方程d/dx(e^∫p(x)dx*y)=e^∫p(x)dx*q(x)。对新方程两边同时积分，即可求得原微分方程的通解。

一阶线性微分方程的应用

该方法适用于求解一些具有实际应用背景的微分方程，如电路中的RC电路、RLC电路等。

可降阶的高阶微分方程的形式

y=f(x,y)或y=f(y,y)，其中f是已知函数。

可降阶的高阶微分方程的解法

对于形如y=f(x,y)的微分方程，可以令y=p，从而将原方程降为一阶微分方程求解。对于形如y=f(y,y)的微分方程，可以通过适当的变量替换将其转化为可分离变量的形式进行求解。

可降阶的高阶微分方程的应用

该方法适用于求解一些具有特殊形式的高阶微分方程，如弹簧振子的运动方程、天体运动中的开普勒问题等。

01

02

03

04

常微分方程的定性理论

如果一个解在某个区间上存在，那么在一定条件下，这个解可以延拓到更大的区间上。延拓的条件通常涉及到函数的光滑性和解的有界性。

解的延拓

常微分方程的奇点是指使得方程不再满足通常解的存在性和唯一性条件的点。奇点可以分为可去奇点、本性奇点和无穷远奇点等类型，不同类型的奇点对应着不同的解的行为。

奇点分类

稳定性

稳定性描述的是解在受到小扰动后的行为。如果受到小扰动后，解仍然能够保持接近原来的轨道，则称该解是稳定的。否则，称该解是不稳定的。

渐近性态

渐近性态研究的是当时间趋于无穷时，解的行为。例如，如果解趋于某个常数或周期函数，或者趋于无穷，都属于渐近性态的研究范畴。通过渐近性态的分析，可以了解解的长期行为。

05

常微分方程的数值解法

一种基本的数值解法，通过迭代的方式逐步逼近微分方程的解。它采用前向差分公式，将微分方程转化为差分方程进行求解。

欧拉法

在欧拉法的基础上，采用更高精度的差分公式进行逼近，以提高数值解的精度。常见的改进欧拉法有中点法和梯形法。

改进欧拉法

误差来源

数值解法在求解常微分方程时会产生误差，主要来源于差分公式的截断误差和迭代过程中的舍入误差。

稳定性分析

稳定性是指数值解法在长时间迭代过程中误差的累积情况。稳定的数值解法能够保证误差在一定范围内，不会无限增长。常见的稳定性分析方法有绝对稳定性和相对稳定性分析。

06

常微分方程的应用举例

牛顿第二定律

描述物体运动状态的改变与所受合外力之间的关系，常微分方程可用来求解物体的运动轨迹和速度。

热传导方程

描述热量在物体内部或物体之间的传递过程，常微分方程可用来求解温度分布和热量传递速率。

波动方程

描述波动现象（如声波、光波等）的传播过程，常微分方程可用来求解波动方程的解，进而分析波动的性质。

03

电气工程

在电路分析、电磁场理论等领域，常微分方程可用来描述电路中的电流、电压以及电磁场的分布和变化。

01

控制工程

在控制系统中，常微分方程可用来描述系统的动态行为，进而设计控制器以实现所需的系统性