常微分方程考研讲义第四章 高阶微分方程

第四章 高阶微分方程

[教学目标]

1. 理解高阶线性微分方程的一般理论,n阶齐次(非齐次)线性微分方程解的性质与结构,熟练掌握n阶常系数齐次线性微分方程的待定指数函数解法。 2.

掌握n阶非齐次线性微分方程的常数变易法,理解n阶常系数非齐次线性微分

方程特解的待定系数法和Laplce变换法。

3. 熟练欧拉方程与高阶方程的降阶法和幂级数解法。 4. 掌握高阶方程的应用。

[教学重难点] 重点是线性微分方程解的性质与结构,高阶方程的各种解法。难点是待定系数法求特解。 [教学方法] 讲授,实践。 [教学时间] 16学时

[教学内容] 线性微分方程的一般理论,齐次(非齐次)线性微分方程解的性质与结构,非齐次线性微分方程的常数变量易法;常系数线性方程与欧拉方程的解法,非齐线性方程的比较系数法与拉氏变换法;高阶方程的降阶法和幂级数解法及高阶方程的应用。 [考核目标]

1.理解高阶线性微分方程的一般理论,能够求解高阶常系数线性微分方程。 2.掌握n阶非齐次线性微分方程的常数变易法。

3.n阶常系数非齐次线性微分方程特解的待定系数法和Laplce变换法。 4.熟练高阶方程的降阶法和幂级数解法及高阶方程的应用。

§4.1线性微分方程的一般理论

4.1.1引言

讨论n阶线性微分方程

dnxdn?1xdx?a(t)???a(t)?an(t)x?f(t) (4.1) 1n?1nn?1dtdtdt其中ai(t)(i?1,2,?,n)及f(t)都是区间a?t?b上的连续函数 如果f(t)?0,则方程(4.1)变为:

dnxdn?1xdx?an(t)x?0 (4.2) n?a1(t)n?1???an?1(t)dtdtdt称它为n阶齐线性微分方程,而称一般的方程(4.1)为n阶非齐线性微分方程,并且通常把方程(4.2)叫对应于方程(4.1)的齐线性方程。

定理1 如果ai(t)(i?1,2,?,n)及f(t)都是区间a?t?b上的连续函数,则对于任一

(1)(n?1) ,方程(4.1)存在唯一解x??(t),定义于区间t0??a,b? x0,x0,?,x0a?t?b上,且满足初始条件:

d?(t0)dn?1?(t0)(1)(n?1)?x0,?,?x0 ?(t0)?x0, (4.3) n?1dtdt从这个定理可以看出,初始条件唯一地确定了方程(4.1)的解,而且这个解在所有ai(t)(i?1,2,?,n)及f(t)连续的整个区间a?t?b上有定义。 4.1.2 齐线性方程的解的性质与结构 讨论齐线性方程

dnxdn?1xdx?an(t)x?0 (4.2) n?a1(t)n?1???an?1(t)dtdtdt定理2(叠加原理)如果x1(t),x2(t),?,xk(t)是方程(4.2)的k个解,则它们的线性组合c1x1(t)?c2x2(t)???ckxk(t)也是(4.2)的解,这里c1,c2,?,ck是任意常数。

特别地,当k?n时,即方程(4.2)有解

x?c1x1(t)?c2x2(t)???cnxn(t) (4.4)

它含有n个任意常数。在什么条件下,表达式(4.4)能够成为n阶齐线性方程(4.2)的通解?为了讨论的需要,引进函数线性相关与线性无关及伏朗斯基(Wronsky)行列式等概念。

设x1(t),x2(t),?,xk(t)是定义在区间a?t?b上的函数,如果存在不全为零的常数

c1,c2,?,ck,使得恒等式

c1x1(t)?c2x2(t)???ckxk(t)?0

对于所有t??a,b?都成立,称这些函数是线性相关的,否则称这些函数在所给区间上线性无关,即当且仅当c1?c2???ck?0时,上述恒等式才成立, 称这些函数在所给区间上线性无关。

由此定义不难推出如下的两个结论:

1)在函数组y1,y2,?yn中如果有一个函数为零,则y1,y2,?yn在(a,b)上线性相关.

2)如果两个函数y1,y2之比比式

y1在(a,b)有定义,则它们在(a,b)上线性无关等价于y2y1在(a,b)上不恒等于常数. y2例1函数组y1?ex,y?e?x在任意区间上都是线性无关的.

y1ex解 比式=?x?e2x不恒等于常数在任意区间上成立:

y2e例2函数组y1?sin2x,y2?cos2x,y3?1在区间(??,??)上线性相关. 解 若取c1?1,c2?1,c3??1则1?sin2x?1?cos2x?(?1)1?0故已知函数组在

(??,??)上线性相关.

设函数x1(t),x2(t),?,xk(t)在区间a?t?b上均有k?1阶导数,行列式

x1(t) W?x1(t),x2(t),?,xk(t)??W(t)?x2(t)'x2(t)???xk(t)'xk(t)x1'(t)???

(k?1)(k?1)x1(k?1)(t)x2(t)?xk(t)称为这些函数的伏朗斯基行列式。

定理3 若函数x1(t),x2(t),?,xn(t)在区间a?t?b上线性相关,则在?a,b?上它们的伏朗斯基行列式W(t)?0。

证明:由假设,即知存在一组不全为零的常数c1,c2,?,cn,使得

c1x1(t)?c2x2(t)???cnxn(t)?0, a?t?b (4.6) 依次对t微分此恒等式,得到

''?c1x1'(t)?c2x2(t)???cnxn(t)?0?''''''?c1x1(t)?c2x2(t)???cnxn(t)?0 ? (4.7)

????????????cx(n?1)(t)?cx(n?1)(t)???cx(n?1)(t)?022nn?11把(4.6)和(4.7)看成关于c1,c2,?,cn的齐次线性代数方程组,它的系数行列式就则它的系数行列式必须为零,即W(t)?0 (a?t?b)。

反之,其逆定理一般不成立。 例如函数

是W?x1(t),x2(t),?,xn(t)?,由线性代数的理论知道,要此方程组存在非零解,

?t2 ?1?t?0?0 ?1?t?0 x1(t)??和 x1(t)??2

0 0?t?1 t 0?t?1 ??在区间?1?t?1上,W[x1(t),x2(t)]?0,但在此区间上却是线性无关的。因为,假设存在恒等式

c1x1(t)?c2x2(t)?0 ?1?t?1 (4.8)

则当?1?t?0时,可知c1?0;当0?t?1时,可知c2?0.即当且仅当c1?c2?0时,(4.8)式对一切?1?t?1成立.故x1(t),x2(t)是线性无关的.

推论1 如果函数组x1(t),x2(t),?,xn(t)的朗斯基行列式W(t)在区间[a,b]上某一点x0处不等于零,即W(x0)?0,则该函数组在[a,b]上线性无关.

但是,如果x1(t),x2(t),?,xn(t)是齐线性方程(4.2)的解,那么就有下面的定理:

定理4 如果方程(4.2)的解x1(t),x2(t),?,xn(t)在区间a?t?b上线性无关,则W?x1(t),x2(t),?,xn(t)?在这个区间的任何点上都不等于零,即

W(t)?0 (a?t?b)。

证明:采用反证法。设有某个t0,a?t0?b,使得W(t0)?0。考虑关于

c1,c2,?,cn的齐次线性代数方程组

?c1x1(t0)?c2x2(t0)???cnxn(t0)?0?'''c1x1(t0)?c2x2(t0)???cnxn(t0)?0? ? (4.9) ????????????cx(n?1)(t)?cx(n?1)(t)???cx(n?1)(t)?00220nn0?11

联系客服:779662525#qq.com(#替换为@)