二阶线性微分方程解的结构
- 格式:doc
- 大小:787.50 KB
- 文档页数:19
二阶线性微分方程解的结构\[ \frac{d^2y}{dx^2} + p(x)\frac{dy}{dx} + q(x)y = f(x) \]其中,\(p(x)\)、\(q(x)\)和\(f(x)\)都是定义在一些区间上的函数。
解二阶线性微分方程可以分为齐次方程和非齐次方程两种情况。
齐次方程是指 \( f(x) = 0 \) 的情况,而非齐次方程则是 \( f(x) \neq 0 \) 的情况。
首先来看齐次方程。
对于齐次方程:\[ \frac{d^2y}{dx^2} + p(x)\frac{dy}{dx} + q(x)y = 0 \]可以先求出其特征方程:\[ \lambda^2 + p(x)\lambda + q(x) = 0 \]然后根据特征方程的根来确定齐次方程的解的结构。
1.当特征方程的两个根 \( \lambda_1 \) 和 \( \lambda_2 \) 相异实根时,方程的通解可以表示为:\[ y(x) = C_1e^{\lambda_1x} + C_2e^{\lambda_2x} \]其中,\(C_1\)和\(C_2\)是任意常数。
2.当特征方程的两个根 \( \lambda_1 \) 和 \( \lambda_2 \) 相等实根时,方程的通解可以表示为:\[ y(x) = (C_1 + C_2x)e^{\lambda_1x} \]其中,\(C_1\)和\(C_2\)是任意常数。
3.当特征方程的两个根 \( \lambda_1 \) 和 \( \lambda_2 \) 为共轭复根 \( \alpha \pm \beta i \) 时,方程的通解可以表示为:\[ y(x) = e^{\alpha x}(C_1\cos(\beta x) + C_2\sin(\beta x)) \]其中,\(C_1\)和\(C_2\)是任意常数。
接下来看非齐次方程。
对于非齐次方程:\[ \frac{d^2y}{dx^2} + p(x)\frac{dy}{dx} + q(x)y = f(x) \]其通解可以利用齐次方程的通解和一个特解的和来表示。
二阶微分方程解的结构定理咱们可以看看解的结构。
哎,结构这个词听起来可能有点严肃,其实就是在说,解到底长什么样,怎么组成。
简单来说,二阶微分方程的解有点像搭积木,里面有基础解和特解。
基础解就像是那些坚固的底座,得稳得住;而特解则是加上的各种花样,就像你在底座上加的那些好看又有趣的零件。
没错,基础解一般可以用公式求出来,而特解呢,通常是通过一些聪明的技巧找到的。
就好比你在找食谱,基础解是基本材料,特解是你的小创意。
然后,我们来聊聊线性组合。
线性组合听上去高大上,其实说白了,就是把几种基础解加在一起,像做沙拉一样,把生菜、西红柿和黄瓜混合在一起,最后调料一上,味道就出来了。
就算基础解再简单,混合后也能变得丰富多彩。
这个组合的过程,常常能让我们得到很多新的解,简直就像魔术一样!再说了,数学界的大神们经过研究发现,只要满足一定条件,二阶线性微分方程的解总能通过这样的线性组合来表示,简直是个“万金油”。
哦,对了,咱们还得提一提初始条件。
初始条件就像人生的起点,决定了你之后的旅程怎么走。
设定好初始条件,咱们就能找到一个唯一的解。
没错,数学的魅力就是在于它的精确性。
只要初始条件确定,解就不再是模糊的,而是有了明确的方向。
这就像你决定了目标后,沿着这条路走,就能找到属于你的风景。
说到这里,大家可能会觉得,哎呀,这些听起来真有点复杂,但当你慢慢深入,就会发现这其中的乐趣。
解方程的过程,就像解锁一扇扇门,每扇门后面都藏着新的世界。
就算是偶尔遇到一些难题,也不要气馁,耐心一点,兴许就能发现新的解法。
这就像生活,遇到困难时,咱们也得想办法突破,才能找到更好的自己。
咱们得二阶微分方程解的结构定理就像一块拼图,拼完了才能看到完整的画面。
无论是基础解、特解,还是线性组合和初始条件,都是这个拼图的重要组成部分。
每一个细节都不能忽视,缺一不可。
希望通过这个轻松的聊天,大家能对二阶微分方程有更深的了解。
就像一杯好茶,越品越有味,数学的世界也同样如此,值得咱们深入去探索。
版权所有翻版必究/浅析二阶线性微分方程解的结构定理一、二阶线性微分方程解的结构二阶线性微分方程解的一般形式是22d d ()()(),y y P x Q x y f x dx dx ++=1-1其中()P x ,()Q x 及()f x 是自变量x 的已知函数,函数()f x 称为该方程的自由项。
当()0f x =时,方程1-1成为22d d ()()0,y y P x Q x y dx dx++=1-2这个方程称为二阶齐次线性微分方程,相应地,方程1-1称为二阶非齐次线性微分方程。
定理1如果函数1()y x 与2()y x 是方程1-2的两个解,则1122()()y C y x C y x =+1-3也是方程1-2的解,其中1C ,2C 是任意常数。
定理2如果1()y x 与2()y x 是方程1-2的两个线性无关的特解,则1122()()y C y x C y x =+也是方程1-2的通解,其中1C ,2C 是任意常数。
定理3设*y 是方程1-1的一个特解,而Y 是其对应的齐次方程1-2的通解,则*y Y y =+1-4就是二阶非齐次线性微分方程1-1的通解。
定理4设1*y 与2*y 分别是方程1y ()()()P x y Q x y f x '''++=版权所有翻版必究/与2y ()()()P x y Q x y f x '''++=的特解,则12**y y +是方程12y ()()()()P x y Q x y f x f x '''++=+1-5的特解。
定理5设12y iy +是方程12y ()()()()P x y Q x y f x if x '''++=+1-6的解,其中()P x ,()Q x ,1()f x ,2()f x 为实值函数,i 为纯虚数。
则1y 与2y 分别是方程1y ()()()P x y Q x y f x '''++=2y ()()()P x y Q x y f x '''++=的解。
第五节 二阶线性微分方程解的结构内容分布图示★ 二阶线性微分方程的概念二阶线性方程的解的性质★ 定理1★ 函数的线性相关和线性无关★ 定理2 ★ 定理3★ 定理4★ 定理5 ★ 例1★ 内容小结 ★ 课堂练习★ 习题8-5★ 返回内容要点:一、二阶线性微分方程解的结构二阶线性微分方程的一般形式是)()()(22x f y x Q dx dy x P dxy d =++, (6.1) 其中)(x P 、)(x Q 及)(x f 是自变量x 的已知函数,函数)(x f 称为方程(6.1)的自由项. 当0)(=x f 时, 方程(6.1)成为0)()(22=++y x Q dx dy x P dxy d , (6.2) 这个方程称为二阶齐次线性微分方程,相应地,方程(6.1)称为二阶非齐次线性微分方程.定理1 如果函数)(1x y 与)(2x y 是方程(6.2)的两个解, 则)()(2211x y C x y C y += (6.3)也是方程(6.2)的解,其中21,C C 是任意常数.定理2 如果)(1x y 与)(2x y 是方程(6.2)的两个线性无关的特解,则)()(2211x y C x y C y +=就是方程(6.2)的通解,其中21,C C 是任意常数.定理3 设*y 是方程(6.1)的一个特解,而Y 是其对应的齐次方程(6.2)的通解,则*+=y Y y (6.4) 就是二阶非齐次线性微分方程(6.1)的通解.定理4 设*1y 与*2y 分别是方程)()()(1x f y x Q y x P y =+'+''与 )()()(2x f y x Q y x P y =+'+''的特解,则**+21y y 是方程)()()()(21x f x f y x Q y x P y +=+'+'' (6.5) 的特解.定理5 设21iy y +是方程)()()()(21x if x f y x Q y x P y +=+'+'' (6.6)的解,其中)(),(),(),(21x f x f x Q x P 为实值函数,i 为纯虚数. 则1y 与2y 分别是方程)()()(1x f y x Q y x P y =+'+''与 )()()(2x f y x Q y x P y =+'+''的解.例1 已知x x x x x x x e e xe y e xe y e xe y ---+=-=+=23221,,是某二阶非齐次线性微分方程的三个特解:(1) 求此方程的通解;(2) 写出此微分方程;(3) 求此微分方程满足6)0(,7)0(='=y y 的特解.课堂练习1.下列函数组在其定义域内哪些是线性无关的?).(,)2(;,)1(22b a e e xe e bx ax x x ≠2.给出n 阶线性微分方程的n 个解, 问能否写出这个微分方程及其通解?。
二阶微分方程解的结构\[y''(x)+p(x)y'(x)+q(x)y(x)=0\]的微分方程,其中$p(x)$和$q(x)$是已知函数。
一般来说,二阶微分方程的解的结构通常包括以下几种情况:1.常数解:如果将$y(x)=c$代入方程中,其中$c$为常数,可以发现方程两边都为零,所以$y(x)=c$是方程的一个解。
这种情况通常对应于方程的齐次形式没有$x$的因子。
2.指数解:如果将$y(x)=e^{mx}$代入方程中,可以得到一个关于$m$的代数方程,称为特征方程。
解特征方程可以得到$m$的值,从而确定了指数解$y(x)=e^{mx}$的形式。
这种情况通常对应于方程的齐次形式有$x$的因子。
3.三角函数解:如果将$y(x)=\sin mx$或$y(x)=\cos mx$代入方程中,可以得到一个关于$m$的代数方程,称为特征方程。
解特征方程可以得到$m$的值,从而确定了三角函数解的形式。
这种情况通常对应于方程的齐次形式有$x$的因子。
4.线性组合解:如果已知方程的两个解$y_1(x)$和$y_2(x)$,那么它们的线性组合$y(x)=c_1y_1(x)+c_2y_2(x)$也是方程的解。
这是因为微分方程是线性的,满足叠加原理。
5.特解:对于非齐次形式为$y''(x)+p(x)y'(x)+q(x)y(x)=f(x)$的微分方程,如果能找到一个特解$y_p(x)$,使得特解满足$f(x)=y''_p(x)+p(x)y'_p(x)+q(x)y_p(x)$,那么$y(x)=y_h(x)+y_p(x)$就是方程的一个解,其中$y_h(x)$是齐次形式的解。
需要注意的是,在求解二阶微分方程时,常常需要先求解齐次方程的解,然后再通过特解的方法求得非齐次方程的解。
齐次方程的解的结构通常可以根据特征方程$m^2+pm+q=0$的根的情况来分类:1.当特征方程有两个不相等的实根$m_1$和$m_2$时,齐次方程的解为$y(x)=c_1e^{m_1x}+c_2e^{m_2x}$,其中$c_1$和$c_2$为常数。
05第五节二阶线性微分方程解的结构二阶线性微分方程是高等数学中的重要内容,解的结构是其中一个重要方面。
本文将详细介绍二阶线性微分方程解的结构,包括齐次线性微分方程和非齐次线性微分方程的解。
我们先来讨论齐次线性微分方程的解的结构。
齐次线性微分方程一般形式为:\[a(x)y''+b(x)y'+c(x)y=0\]其中,$a(x),b(x),c(x)$为给定函数,且$a(x)\neq 0$。
1.形如$y=e^{mx}$的解设$y=e^{mx}$是方程的解,则我们有:\[a(x)m^2e^{mx}+b(x)me^{mx}+c(x)e^{mx}=0\]化简得:\[a(x)m^2+b(x)m+c(x)=0\]这是一个关于$m$的代数方程,记为$F(m)=a(x)m^2+b(x)m+c(x)$。
如果$m_1$是方程$F(m)=0$的根,那么方程的一个解就是$y_1=e^{m_1x}$。
同理,如果$m_2$是方程$F(m)=0$的根,那么方程的另一个解就是$y_2=e^{m_2x}$。
我们称$y_1$和$y_2$是方程的基本解组。
2.线性相关与线性无关如果方程有两个不同的解$y_1$和$y_2$,那么我们可以通过线性组合得到其他解:\[y=c_1y_1+c_2y_2\]其中,$c_1$和$c_2$为任意常数。
如果任意$c_1$和$c_2$的线性组合都是方程的解,那么我们称方程的两个解$y_1$和$y_2$是线性无关的;反之,如果存在一些$c_1$和$c_2$使得线性组合不是方程的解,那么我们称方程的两个解是线性相关的。
3.齐次微分方程的通解对于齐次线性微分方程,我们可以得到通解的形式。
假设方程的基本解组为$y_1$和$y_2$,那么方程的通解可以表示为:\[y=c_1y_1+c_2y_2\]其中,$c_1$和$c_2$为任意常数。
非齐次线性微分方程一般形式为:\[a(x)y''+b(x)y'+c(x)y=f(x)\]其中,$a(x),b(x),c(x)$和$f(x)$为给定函数,且$a(x)\neq0$。
5二阶线性微分方程解的结构与通解性质二阶线性微分方程是指含有未知函数及其导数的二次项的方程。
一般形式可以写为:$$y''+P(x)y'+Q(x)y=0$$其中,$y$是未知函数,$P(x)$和$Q(x)$是已知函数。
对于二阶线性微分方程,它的解的结构与通解性质与该微分方程的特征方程有关。
特征方程由方程中的系数$P(x)$和$Q(x)$唯一确定。
根据特征方程的根的不同情况,可以分为三种不同的情况讨论。
1.特征方程的根为实数:假设特征方程的根为$r_1$和$r_2$,则通解可表示为:$$y=C_1e^{r_1x}+C_2e^{r_2x}$$其中,$C_1$和$C_2$为任意常数。
2. 特征方程的根为复数:假设特征方程的根为$\alpha\pm\beta i$,则通解可表示为:$$y=e^{\alpha x}(C_1\cos{\beta x}+C_2\sin{\beta x})$$其中,$C_1$和$C_2$为任意常数。
3.特征方程的根为重根:假设特征方程的根为$r_1=r_2$,则通解可表示为:$$y=(C_1+C_2x)e^{r_1x}$$其中,$C_1$和$C_2$为任意常数。
可以看出,二阶线性微分方程的通解可表示为特解的线性组合,其中特解是由特征方程的根唯一确定的。
特解的线性组合形式能够保证通解的线性性质。
如果$y_1(x)$和$y_2(x)$是方程的两个解,那么它们的线性组合$C_1y_1(x)+C_2y_2(x)$仍然是方程的解。
这是因为微分方程中的导数是线性的,对于任意的常数$C_1$和$C_2$,有:$$\frac{d}{dx}(C_1y_1(x)+C_2y_2(x))=C_1\frac{dy_1}{dx}+C_2\f rac{dy_2}{dx}$$$$=\left(C_1y_1'(x)+C_2y_2'(x)\right)$$$$=C_1\left(-P(x)y_1(x)-Q(x)y_1(x)\right)+C_2\left(-P(x)y_2(x)-Q(x)y_2(x)\right)$$$$=-P(x)\left(C_1y_1(x)+C_2y_2(x)\right)-Q(x)\left(C_1y_1(x)+C_2y_2(x)\right)$$$$=-P(x)\left(C_1y_1(x)+C_2y_2(x)\right)-Q(x)\left(C_1y_1(x)+C_2y_2(x)\right)$$$$=0$$因此,$C_1y_1(x)+C_2y_2(x)$是方程的解。
二阶线性常微分方程的解的结构 二阶线性常系数微分方程的解的求法二阶线性常微分方程:y ’’+p(x)y ’+q(x)y=r(x) p(x)、q(x)、r(x)是区间I 上的已知函数 y ’’+p(x)y ’+q(x)y=0 齐次 y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0, 非齐次【一】对齐次方程:y ’’+p(x)y ’+q(x)y=01.若y 1(x)和y 2(x)都是上述齐次方程的解,则C 1y 1(x)+C 2y 2(x )仍是上述方程的解.2.若y 1(x)和y 2(x)在区间I 上线性无关,即αy 1(x)+βy 2(x)=0仅当α=β=0时成立, 则y=C 1y 1(x)+C 2y 2(x )即是y ’’+p(x)y ’+q(x)y=0的通解。
【y ’’+p(x)y ’+q(x)y=0的任何一个解可表示成y=C 1y 1(x)+C 2y 2(x )的形式】由上述1和2,求y ’’+p(x)y ’+q(x)y=0的通解,只需找到两个其两个线性无关的特解.【二】对非齐次方程:y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0y*(x)是其一y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0的一个特解Y(x)是对应齐次方程y ’’+p(x)y ’+q(x)y=0的某个解则1)y*’’+py*’+qy*=r 2) y ’’+py ’+qy=r两式相减:(y-y*)’’ + p(y-y*) ‘+q(y-y*)=0记Y=y-y*,则Y 是对应齐次方程y ’’+p(x)y ’+q(x)y=0的通解 y=y*+Y即:y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0的任何一个解y(x)都可以表示为:y(x)=y*(x)+Y(x) 即:非齐次方程的通解=非齐次方程的一个特解+对应其次方程的通解.如何求二阶线性常系数齐次微分方程y ’’+p(x)y ’+q(x)y=0 的通解?设y(x)是 y ’’+p(x)y ’+q(x)y=0 的解,p 、q 均为常数 则在I 内y ’’(x)+py ’(x)+qy(x)=0,恒成立所以y ’、py ’、qy 必须能够抵消掉,即y 、y ’、y ’’必须是同一类型的函数. 只能是指数函数令kxe =y 是方程y ’’+py ’+qy=0(p 、q 为常数)的解 即0k 2≡++kxe q pk )(,可得02=++q pk k02=++q pk k 是一个一元二次方程,称为y ’’+py ’+qy=0的特征方程解一元二次方程得.24,24k 2221q p p k q p p ---=-+-=则与k 1k 2对应的.,y 2121xk xk e y e ==必是y ’’+py ’+qy=0(p 、q 为常数)的解但是.,y 2121xk xk e y e ==是否线性无关?【能否构成通解y ’’+py ’+qy=0(p 、q 为常数)】 分类讨论: 1.04p 2>-q即k 1k 2是两个不等实根,且常数≠=-)(2121e x k x k x k x k e e ,即.,y 2121xk x k e y e ==线性无关所以x k xk e C eC 2121y +=2.04p 2<-q.,k 21βαβα-=+=k i 是一对共轭的复根则)s i n (c o s )()s i n (c o s )()(2)(121x i x e eex y x i x e e e x y xxi xk x x i x k -===+===-+ββαβααβα 线性无关复函数用起来不方便,不用其来构造y ’’+py ’+qy=0(p 、q 为常数)的通解取其线性组合:x e e e ix yx e e e x yx x k x k x x k xk ββααsin )(21)(ˆcos )(21)(ˆ212121=-==+=)(y ˆ),(yˆ21x x 是y ’’+py ’+qy=0(p 、q 为常数)的解,且)(y ˆ),(y ˆ21x x 线性无关. y ’’+py ’+qy=0(p 、q 为常数)的通解:)sin cos ()(21x C x C e x y xββα+= 3.042=-q p此时k 1=k 2,即重根,记重根为k ,kxe x =)(y 1必是y ’’+py ’+qy=0(p 、q 为常数)的一个解 求通解,只需再找一个与kxe x =)(y 1线性无关的解.将上述这个解表示成为待定函数但非常数)(,)(y x u e x u kx=,代入y ’’+py ’+qy=0(p 、q 为常数),得到0])(')2(''[e 2=++++++u q pk k u p k u kx ,)2,0(k 212pk k q pk -===++ 所以u ’’=0.取u(x)=x,则得到y ’’+py ’+qy=0(p 、q 为常数)的另一个解kxxe y = 此时y ’’+py ’+qy=0(p 、q 为常数)的通解为kx e x C C x )()(y 21+=如何求二阶线性常系数非齐次微分方程y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0的通解?由刚开始的分析,只需求出它的一个特解y*(x)设齐次方程通解为)()()(2211x y C x y C x y +=,)()(y 21x y x 、是齐次方程的两个线性无关解 设非齐次方程有一个形如)()()()()(2211*x y x C x y x C x y +=的解.上一行中的21,C C 已变易为待定函数接下来的任务是选择)(),(21x C x C ,使)()()()()(2211*x y x C x y x C x y +=是y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0的一个解将)()()()()(2211*x y x C x y x C x y +=代入y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0中得到:()()()()()()()()()x y x C x y x C x y x C x y x C x '''''y 22112211*+++=因为只要求出一个特解,即只要确定一组函数)(),(21x C x C ,我们就有比较大的自由度对)(),(21x C x C 加以限制,如选择)(),(21x C x C 使()()()()0''2211=+x y x C x y x C这样,()()()()()()()()()()()()()()x y x C x y x C x y x C x y x C x x y x C x y x C x 22112211*2211*'''''''''y'''y'+++=+=将()()()()()()()()()()()()()()()()()()()x y x C x y x C x y x C x y x C x x y x C x y x C x x y x C x y x C x 22112211*2211*2211*'''''''''y'''y'y +++=+=+=代入y ’’+p(x)y ’+q(x)y=r(x),r(x)≠0()()()()()()()()()()()()()()()()()()()x r x y x C x y x C q x y x C x y x C p x y x C x y x C x y x C x y x C =+++++++2211221122112211''''''''''()()x x 21y ,y 都是齐次方程的解,可将上式化简为()()()()()x r x y x C x y x C =+2211''()()()()0''2211=+x y x C x y x C 与()()()()()x r x y x C x y x C =+2211''是关于()()x C x C 21,的线性代数方程组,解之,得()()()()()()()()()()()()()()()()x y x y x y x y x r x y x y x C x y x y x y x y x y x r x y x C 21211122121221'''0','''0'==再积一次分即可求出()()x C x C 21,.这就是参数变易法求二阶线性常系数非齐次微分方程.。
附录A 线性常微分方程本课程的研究内容与常微分方程理论有非常密切的联系,因此在本附录里,我们将对线性常微分方程的知识——包括解的存在性、解的结构和求解方法做一些回顾和总结。
把包含未知函数和它的j 阶导数()j y(的方程称为常微分方程。
线性常微分方程的标准形式()(1)110()()'()()n n n y p x y p x y p x y f x --++++= (A.1) 其中n 称为方程的阶数,()j p x 和()f x 是给定的函数。
可微函数()y y x =在区间 I 上满足方程(A.1),则称其为常微分方程(A.1)在 I 上的一个解。
,()f x 称为方程(A.1)的自由项,当自由项()0f x ≡时方程(A.1)称为是齐次方程,否则称为非齐次方程。
一般来说常微分方程的解是不唯一的,我们将方程的全部解构成的集合称为解集合,解集合中全部元素的一个通项表达式称为方程的通解,而某个给定的解称为方程的特解。
在本附录里,我们重点介绍一阶和二阶常微分方程的相关知识。
A.1 一阶线性常微分方程一阶线性常微分方程表示为'()()y p x y f x x I +=∈,. (A.2) 当()0f x ≡,方程退化为'()0y p x y +=, (A.3) 假设()y x 不恒等于零,则上式等价于'()y p x y=-而()'ln 'y y y=,从而(A.3)的通解为 ()d ()p x x y x Ce -⎰= ( A.4)对于非齐次一阶线性常微分方程(A.2),在其两端同乘以函数()d p x x e ⎰()d ()d ()d '()()p x x p x x p x x e y p x e y e f x ⎰⎰⎰+=注意到上面等式的左端()d ()d ()d ''()p x x p x x p x x e y p x e y e y ⎛⎫⎰⎰⎰+= ⎪⎝⎭‘ 因此有()d ()d '()p x x p x x e y e f x ⎛⎫⎰⎰= ⎪⎝⎭‘ 两端积分()d ()d ()d p x x p x x e y C e f x x ⎰⎰=+⎰‘其中C 是任意常数。
进一步有()d ()d ()d p x x p x x y e C e f x x -⎛⎫⎰⎰=+ ⎪⎝⎭⎰‘ 综上有如下结论 定理A.1 假设()()p x f x I 和在上连续,则一阶线性非齐次常微分方程(A.1)的通解具有如下形式()d ()d ()d ()()d p x x p x x p x x y x Ce e e f x x --⎰⎰⎰=+⎰‘(A.5)其中C 是任意常数。
观察(A.4)式和(A.5)式,我们发现一阶线性非齐次常微分方程(A.1)的解等于一阶线性齐次常微分方程(A.2)的通解()d p x x Ce -⎰加上函数()d ()d *()()d p x x p x x y x e e f x x -⎰⎰=⎰。
容易验证,*()y x 是方程(A.1)的一个特解。
这符合线性方程解的结构规律。
例1 求解一阶常微分方程'21y y -=解 此时()2()1p x f x =-=,,由(A.5)式,解为2222()1d 12x x x x y x Ce e e xCe -=+⋅=-⎰‘其中C 是任意常数。
A.2 二阶线性常微分方程将具有以下形式的方程"()'()()y p x y q x y f x x I ++=∈,, (A.6) 称为二阶线性常微分方程,其中(),(),()p x q x f x 都是变量x 的已知连续函数。
称"()'()0y p x y q x y x I ++=∈,, (A.7) 为与(A.6)相伴的齐次方程.A .2.1 二阶线性微分方程解的结构首先讨论齐次方程(A.7)解的结构。
定理A.2 如果函数12()()y x y x 与是线性齐次方程(A.7)的两个解,则函数1122()()y c y x c y x =+仍为该方程的解,其中12,c c 是任意的常数。
定理1 说明齐次线性常微分方程(A.7)的解如果存在的话,一定有无穷多个。
为了说明齐次线性常微分方程(A.7)通解的结构,首先给出函数线性无关的定义。
定义A.1设函数12(),(),,()n y x y x y x 是定义在区间I 上的n 个函数,如果存在n 个不全为零的常数12,,n k k k ,,使得1122()()()0n n k y x k y x k y x ++=在区间I 上恒成立,则称函数12(),(),,()n y x y x y x 在区间上线性相关,否则称为线性无关。
例如函数221cos ,sin x x ,在整个数轴上是线性相关的,而函数x x e e -和在任何区间(,)a b 内是线性无关的。
特别的,对于两个函数的情形,它们线性相关与否,只需要看它们的比值是否为常数即可,比值为常数,那么它们线性相关,否则线性无关。
有了函数线性无关的概念,就有如下二阶线性齐次微分方程(A.7)通解结构的定理。
定理A.3假设线性齐次方程(A.7)中,函数()()p x q x 与在区间I 上连续,则方程(A.7)一定存在两个线性无关的解。
类似于代数学中齐次线性方程组,二阶线性齐次常微分方程的解集合也存在基础解系。
定理A.4 若12()()y x y x 与是二阶线性齐次常微分方程(A.7)的两个线性无关的特解,则1122()()y c y x c y x =+是该方程的通解,其中12,c c 是任意的常数。
从定理A.4可以看出二阶线性齐次常微分方程(A.7)的任何两个线性无关的特解构成其基础解系。
关于二阶线性非齐次常微分方程(A.6)的通解,有如下结论定理A.5 若函*()y x 是方程(A.6)的一个特解,()Y x 是方程(A.6)相伴的齐次方程的通解,则()()*()y x y x Y x =+是二阶线性非齐次常微分方程(A.6)的通解。
从定理A.4,A.5可以得到求解二阶线性非齐次常微分方程(A.6)的通解的一般步骤:(1)求解与(A.6)相伴的齐次方程(A.7)的线性无关的两个特解12()()y x y x 与,得该齐次方程的通解1122()()()Y x c y x c y x =+;(2)求二阶线性非齐次常微分方程(A.6)的一个特解*()y x ,那么方程(A.6)的通解为()()*()y x y x Y x =+对于一些相对复杂的问题,如下的线性微分方程的叠加原理是非常有用的。
定理A.6 设二阶线性非齐次常微分方程为12"()'()()()y p x y q x y f x f x ++=+, (A.8) 且12*()*()y x y x 与分别是1"()'()()y p x y q x y f x ++=和2"()'()()y p x y q x y f x ++=的特解,则12*()*()y x y x +是方程(A.8)的特解。
A .2.1 二阶常系数线性常微分方程的解法如果二阶线性常微分方程为"'()y py qy f x ++=, (A.9) 其中,p q 均为常数,则称为二阶常系数线性常微分方程。
以下分两种情形讨论方程(A.9)的解法。
一、二阶常系数线性齐次方程的解法此时问题为"'0y py qy ++=, (A.10) 考虑到方程中的系数,p q 均为常数,可以猜想该方程具有形如rxy e =的解,其中r 为待定常数,将'rx y re =和2"rx y r e =‘及rx y e =代入方程"'0y py qy ++=得, 2()0rx e r pr q ++=,由于0rx e ≠,因此,只要r 满足方程20r pr q ++=, (A.11)即只要r 是上述一元二次方程的根时,rxy e =就是(A.10)的解,方程(A.11)称为方程(A.10)的特征方程,它的根称为特征根。
关于特征方程(A.11)的根与微分方程(A.10)的解的关系有如下结论。
1. 特征方程具有两个不相等的实根12r r 与,即12r r ≠。
此时函数1212()()r x r x y x e y x e ==和都是微分方程(A.10)的解,且因1212r r x y e y -=≠()常数,所以12()()y x y x ,线性无关,因而常微分方程的通解为 1212()r x r x y x c e c e =+.2. 特征方程具有两个相等的实根,即122p r r ==-。
这时函数11()r x y x e =是微分方程(A.11)的一个特解,还需另找一个与之线性无关的特解2()y x 。
为此设21()()()y x u x y x =,其中()u x 为待定的函数,将2()y x 及其一、二阶导数代入方程(A.10)得,12111["(2)'()]0r x e u r p u r pr q u +++++=,注意到12p r =-是特征方程的根,且10r x e ≠,因此只要()u x 满足"()0u x =“,则12()()r x y x u x e =就是微分方程(A.10)的解。
特别地取12()r x y x xe =,此时微分方程(A.11)的通解为1111212()()r x r x r x y x c e c xe c c x e =+=+.3. 特征方程具有一对共轭复根,12r i r i αβαβ=+=-与。
这时两个线性无关的特解()()12i x i x y e y e αβαβ+-==与是两个复数解。
为了便于在实数范围内讨论问题,我们再构造两个线性无关的实数解。
由欧拉公式cos sin ix e x i x =+,可得1(cos sin )x y e x x αββ=+,2(cos sin )x y e x x αββ=-,于是由定理1知,函数121cos 2xe x y y αβ=+(),121sin 2x e x y y αβ=-() 是微分方程(A.10)的解,容易验证它们线性无关,所以这时方程的通解可以表示为12()(cos sin )x y x e c x c x αββ=+ .上述求解二阶常系数线性齐次方程的方法称为特征根法,其具体步骤可总结如下(1)写出所给微分方程的特征方程;(2)求出特征根;(3)根据特征根的三种不同情况求得对应的特解,并写出其通解。