何为常微分方程?
-
定义
解:y=
积分:[x,y拆分不开](无法分开x,y)
积分曲线:解或积分在平面上的图形
n阶:(显式一般更好解)
定义区间:y在区间内连续且有连续的n阶导数
通解:独立常量个数(C1…Cn)与阶数相同
初值条件:n个,当x0时,y的各阶导数的值
设 y = φ(x) 在某区间 x ∈ (a, b) 内连续并有连续的一阶导数,且
在该区间内满足
F(x, φ(x), φ′(x)) ≡ 0 或 φ′(x) ≡ f(x, φ(x))
则称 y = φ(x) 为上述一阶常微分方程的一个解,而区间 (a, b)为该解的定义区间。Important
-
存在唯一性:
初值条件确定解的存在性;
定义区间上f连续且对有连续的偏导数确定解的唯一性
-
关键前提:在之前定义之下(包括不要求的控制条件)解存在且唯一
常微分方程的分类与解法「识别,转化,求解」
一阶:
-
可分离变量方程
-
微分方程:
-
若g(y0)=0,则y0为方程的解 「有可能包含在通解内」
-
-
齐次微分方程
- 微分方程:
- 解法:令 u=y/x
- g()为 零次齐次函数
-
一阶线性(未知函数与导数是一次的)微分方程
- 方程形式:
- 解法(常数变易法):先观察特殊的齐次方程:⇒
3.对于一般的非齐次方程:线性叠加原理:令,带回求u(x)非齐次通解=非齐次特解+齐次通解=====
满足初值条件 的解可写成
====
在区间内都适用.关注初值条件、定义区间(特别是不在定义区间内的特殊点,比如分母为0)!!
-
伯努利方程
- 方程形式:
- 解法:(同除)换元令,变为一阶线性微分方程
-
全微分方程
-
概念
=0
-
判定
-
求原函数u(x,y)
-
法一:曲线积分
u(x,y) = \int_{(x_0,y_0)}^{(x,y)} M(x,y)dx+ N(x,y)dy=$$\int_{x_{0}}^{x} M(\xi, y_{0}) d \xi+\int_{y_{0}}^{y} N(x, \eta) d \eta,
-
法二:不定积分
- 有
- 得
- 又有
- 所以
- 可解得
-
法三:硬凑
-
一些典型形式
分项组合,凑典型形式
-
-
-
法四:==积分因子法==:
对于不满足判定的,通过乘u(x,y)使之满足全微分方程
分项组合,构造典型形式
-
求积分因子(不一定唯一)
μ满足
如何找积分因子
一般情况下,上述方程并不容易解。。。但在特殊情况下:
● 存在µ与y无关:
● 存在µ与x无关:
解以上两个可分离变量方程可得
乘以原方程 的两边即得一个全微分方程并求解
条件 积分因子表达式 说明 积分因子仅是的函数 积分因子仅是的函数 积分因子是的函数 积分因子是的函数 积分因子是的函数 积分因子是的函数 积分因子是的函数 -
-
二阶特殊形式:求解:
-
可降阶的:
-
两次求导
-
换元,令(关键在于保证只有两个变量)
-
【自治方程】
以y为自变量,p为未知函数
得p==y’,再解一次微分方程
本质上通过换元(自变量与未知函数),进行两次一阶微分方程求解
若有初值条件,在进行了一次一阶微分方程求解后,即可使用初值条件确定一个C
-
-
二阶常系数线性齐次微分方程:
根的类型 特征方程 特征根 通解 解的特征 两个不相等的实根 两个线性无关的指数函数 两个相等的实根 指数函数与线性项乘积 两个共轭复根 振荡型指数函数 -
二阶常系数线性非齐次微分方程:
- 求特解(根据右侧函数形式对 y 的形式做出假设,求解):
-
:(为n次多项式)
思路:令y=,利用多项式的性质求解
结论:α不是特征方程的根(0 重→n 次):y=;α是单根(1 重→n+1 次):y=;α是二重根(2 重→n+2 次):
-
-
- 求特解(根据右侧函数形式对 y 的形式做出假设,求解):
二阶一般形式:解的结构:
- (非齐次)
- 微分算子L(y)运算规则:L(Cy)=CL(y),L(y1+y2)=L(y1)+L(y2)
- ⇒若y1,y2线性无关,齐次的通解:Y=C1y1+C2y2(求齐次的通解只须求两个特解)
- 非齐次的通解y=Y+(非齐次的特解)
线性微分方程解的一般结构
概念
L[y]为算子,一种映射,对函数y的函数
初值条件:
-
线性算子性质
L(Cy)=CL(y),L(y1+y2)=L(y1)+L(y2),即L(c1y1+c2y2)=c1L(y1)+c2L(y2)
齐次线性方程不同解的线性组合仍是它的解
-
函数线性相关,线性无关
Important
-
朗斯基行列式
性质:要不恒为0;要不恒不为0
充要条件:不同解之间线性相关/无关↔朗斯基行列式(处处)等于/不等于0
-
通解结构
- 一些铺垫性质
- n 阶齐次线性方程若有 个线性无关的解,它们的任意线性组合即为通解(含个待定系数)
- 一定有:n 阶齐次方程必有 n 个线性无关的解(它们的集合称为基本解组——联想向量基)
- ⇒所有解的组合构成n维线性空间
线性微分方程组
原理:
任意n阶常微分方程都可以转化为一阶n维(元)常系数方程组:
,令,有:
意义:说明了与线性微分方程的关联性
e.g.通解结构:齐次方程通解+非齐次方程特解↔
变动常数法:↔
特征方程法:特征根法↔, 通过求解特征方程获得基解矩阵
概念
基本解组:
基本解矩阵:
朗斯基行列式:
Important
朗斯基行列式
性质:要不恒为0;要不恒不为0
充要条件:不同解之间线性相关/无关↔朗斯基行列式(处处)等于/不等于0
解法:
-
齐次:
,令,下求v,λ:
带入,有:⇒
要使v有非零解,则
求得λ,v(高斯消元法或比例法),分类讨论:
若所有特征根λ都是单根:
【n*1矩阵/ n维向量】
= (c 是一个n维的任意常向量)【n*n矩阵】
有复数根
由于复数特征值与特征向量均共轭,故只需求一个特征值所对应的特征向量,将该向量实部虚部拆成两项即可
有重根【不考察】
设矩阵A的特征方程有k重特征根,则
对应于,方程组有下述形式的k个线性无关的解:
……对于矩阵A和特征值入,广义特征向量v的阶数k是满足以下条件的最小整数:
且 .- 当时, 是普通特征向量(即 )。
- 当是广义特征向量。
-
非齐次:
变动任意常数法:
带回原式:
最终有: