第一章---认识常微分方程

1.1 常微分方程 (m{ODE}) 的由来与其分类

常微分方程是对於单一自变数函数的微分方程

。如果我们定义一个单一自变数函数为 y=f(x) ,那么对于该函数的常微分方程是一个必须含有该函数的导数(可以是大于 0 阶的任意阶导数)的方程,但是可以不含有该函数本身。

在日常的生活中,我们也会经常遇到常微分方程。物理学中的很多问题都是通过求解常微分方程得到的。在电路理论中,常微分方程的应用也甚是广泛,比如在如下图所示的含有动态元件的一个交流电路中,其基尔霍夫电压方程就是一个常微分方程:

图1.1---RLC电路。图片来源:自个画的。

利用上图中的方向列写 KVL

v(t)-u_L(t)-u_C(t)-u_R(t)=0

其中支路电流和电压分别为:

i_v(t)=i_L(t)=i_C(t)=i_R(t)

i_C(t)=Ccdot frac{mathrm{d} u_Cleft ( t 
ight )}{mathrm{d} t}

u_L(t)=Lcdotfrac{mathrm{d} i_Lleft ( t 
ight )}{mathrm{d} t}=Lcdotfrac{mathrm{d} i_Cleft ( t 
ight )}{mathrm{d} t}=Lcdotfrac{mathrm{d}}{mathrm{d} t}left( Ccdotfrac{mathrm{d}u_Cleft ( t 
ight )}{mathrm{d} t} 
ight)=LCcdot frac{mathrm{d^2}u_Cleft ( t 
ight )}{mathrm{d} t^2}      left( 1 
ight)

u_R(t)=i_R(t)cdot R=i_C(t)cdot R=CRcdot frac{mathrm{d} u_Cleft ( t 
ight )}{mathrm{d} t}     left( 2 
ight)

从而将 left( 1 
ight), left( 2 
ight) 代入 KVL 有:

v(t)-LCcdot frac{mathrm{d^2}u_Cleft ( t 
ight )}{mathrm{d} t^2}-u_C(t)-CRcdot frac{mathrm{d} u_Cleft ( t 
ight )}{mathrm{d} t}=0          left( 1.1.1 
ight)

若电压源的函数 v(t) 已知,那么这个方程中唯一的未知量就是 u_C(t) ,这个 u_C(t) 就是一个单一自变数(一元)函数,在上面的方程中包含了 u_C(t) 的一阶和二阶导数还有其本身,所以这就是一个关于 u_C(t) 的常微分方程。至于其类型,在下一节中会进行讨论。

1.2 常微分方程的分类

首先,不按阶数进行分类是总的分类,这种总的分类分为两大类:

自治常微分方程 一般的自治常微分方程具有以下形式:

F(y,y{},y{},...,y^{(n)})=0

也就是说,自治的常微分方程中不显含自变数。

非自治常微分方程 一般的自治常微分方程具有以下形式:

F(x,y,y{},y{},...,y^{(n)})=0

也就是说,自治的常微分方程中显含自变数。

举两个例子来说明来说明一下自治与非自治之间的区别:

方程 left( 1.1.1 
ight)

v(t)-LCcdot frac{mathrm{d^2}u_Cleft ( t 
ight )}{mathrm{d} t^2}-u_C(t)-CRcdot frac{mathrm{d} u_Cleft ( t 
ight )}{mathrm{d} t}:=F(u_C,u_C,u_C,v(t))=0

中不显含自变数 t ,所以是自治常微分方程。而:

xcdot y{}(x)+x^2cdot y{}left( x 
ight)+yleft( x 
ight)+x:=F(x,y,y{},y{})=0          left( 1.2.1 
ight)

中显含了自变数 x ,所以是非自治的常微分方程。

进一步,按照阶数进行分类:

常微分方程的阶数:常微分方程的阶数由方程中的最高阶导数项的阶数决定。

比如一个五阶的常微分方程为:

y^{(5)}+x^2cdot y^{(3)}+ 4cdot y+(sin x)cdot y=0          (1.2.2)

在方程 (1.2.2) 中,最高阶微分项为 y^{(5)} ,所以,这是一个五阶的常微分方程。一般对于高于二阶的导数用 y^{(n)}(ngeq2) 进行表示,主要是为了少写一点 号。方程 (1.2.2) 中虽缺少了 y 的四阶导数和一阶导数,但并不影响该方程的阶数,即:常微分方程的阶数仅由方程中的最高阶导数项决定。

再进一步,按照次数进行分类:

常微分方程的次数:一个均为有理项的常微分方程的次数由方程中的最高阶导数项的次数决定。

有理项是指该项的指数是整数,不能为分数。比如:

y+(y)^{1 over 2}=0

不能说是一个 0.5 阶的常微分方程。

方程 (1.1.3) 为五阶一次常微分方程,因为其最高阶导数项的次数为一次。再来看一个方程:

(y^{(4)})^5+x^{10}cdot (y)^7+(ln x)cdot y^3=0          (1.2.3)

方程 (1.2.3)中最高阶导数项是 y^{(4)} ,其次数是五次,所以,这是一个四阶五次的常微分方程,尽管 y 的指数是 7 ,但很可惜, y 不是最高阶导数项,所以他就算有一亿次也不能决定该方程的次数。

按线性或者非线性进行分类:

一个线性常微分方程,必须同时满足以下三个条件:

  1. 不能含有 y 的自乘项。
  2. 不能含有 y 的同阶导数的自乘项或不同阶导数的互乘项。
  3. 不能含有 y 和其任意阶导数的互乘项。

分别举个例子:

y^{(4)}+(xy)^4=0         (1.2.4)

方程 (1.2.4) 是一个非线性的常微分方程,因为含有自变数本身的自乘项 y^4

ycdot y^{(3)}+(y^{(6)})^3+x=0          left(1.2.5 
ight)

方程 (1.2.5) 是一个非线性的常微分方程,因为含有 y 的同阶导数的自乘项 (y^{(6)})^3 和不同阶导数的互乘项 ycdot y^{(3)}

3xcdot y^{(4)}cdot y+cos x=0          left(1.2.6 
ight)

方程 (1.2.6) 是一个非线性的常微分方程,因为含有 y和其任意阶导数的互乘项  y^{(4)}cdot y

按照齐次或非齐次类型进行分类:

齐次常微分方程:方程中除了待求函数 y 以及其任意阶导数和他们的系数外,不能再有其他已知函数或者常数。

非齐次常微分方程:方程中除了待求函数 y 以及其任意阶导数和他们的系数外,可以再有其他已知函数或者常数,所含有的额外已知的函数或者常数称为非齐次项

例如:

方程 (1.1.1),(1.2.1),(1.2.5),(1.2.6) 均为非齐次常微分方程,因为都含有非齐次项,分别为:

v(t)     (1.1.1)

x      (1.2.1)

x     (1.2.5)

cos x     (1.2.6)

而方程 (1.2.2)sim(1.2.4) 都是齐次常微分方程。

最后,按照系数进行分类:

常系数常微分方程:方程中待求函数 y 的系数以及其任意阶导数的系数都为常数。

变系数常微分方程:方程中待求函数 y 的系数以及其任意阶导数的系数至少有一个不为常数。

上面的例子中,只有方程 (1.1.1) 为常系数常微分方程,其余全部是变系数常微分方程。

将一个常微分方程分好类之后就可以对其进行命名了,我们就以方程 (1.1.1) 为例,来说说如何对一个常微分方程进行命名:

首先,将方程 left( 1.1.1 
ight) 化为标准形式:

frac{mathrm{d^2}u_Cleft ( t 
ight )}{mathrm{d} t^2}+{R over L}cdot frac{mathrm{d} u_Cleft ( t 
ight )}{mathrm{d} t}+{1 over LC}u_C(t)-{1 over LC}v(t)=0          left( 1.1.1 
ight)

所谓标准形式,就是将最高阶导数项的系数化为 1 ,并将导数的阶按从高到低的顺序从左往右排,非齐次项写在最后。

从而,方程 (1.1.1) 的全名是:二阶一次非齐次线性常系数自治常微分方程

一次的常微分方程并不一定是线性的,因为尽管最高阶导数项的次数为一次,但其余与 y 有关的各项的次数不一定为一,也就是说含有了自乘或者互乘项,从而不是线性的。但高次的常微分方程一定不是线性的

对一个常微分方程进行命名需要考察其阶数、次数、齐次性、是否线性、是否是常系数和是否自治。

但在一般的应用中,我们仅考察一个常微分方程的阶数、是否齐次、是否线性和是否常系数就够了,所以,方程 (1.1.1) 的名字可以简化为:

二阶非齐次线性常系数常微分方程

—练习:

利用简化的命名方式,对方程 (1.2.1)sim(1.2.6) 进行命名

答案我会留在评论里。


还没关注专栏《数学及自然科学》的朋友们请赶快关注吧!您的支持是我最大动力!

本专栏既有干货又有科普,一定会有您想看的文章~

也顺便关注一下作者好啦~听说长得好看的人都点了关注呐!

看完记得点赞哦~


推荐阅读:
相关文章