求好人帮忙，二阶差分方程的通解和一阶线性非齐次微分方程的通解！给上过程，谢谢、
求好人帮忙，二阶差分方程的通解和一阶线性非齐次微分方程的通解！给上过程，谢谢、 125
1、x_{n+2}+6x_{n+1}+8x_{n}=2
即(x_{n+2}+4x_{n+1}-2/3)+2(x_{n+1}+4x_{n}-2/3)=0
令y_{n}=x_{n+1}+4x_{n}-2/3，则
y_{n+1}=-2y_{n}
解得：y_{n}=y_{1}*(-2)^{n}
即x_{n+1}+4x_{n}-2/3=y_{1}*(-2)^{n-1}
适当待定系数，可得
x_{n+1}+(y_{1}/4)*(-2)^{n+1}-2/15=-4[x_{n}+(y_{1}/4)*(-2)^{n}-2/15]
令z_{n}=x_{n}-(y_{1}/2)*(-2)^{n-1}-2/15
则z_{n+1}=-4z_{n}
解得：z_{n}=z_{1}*(-4)^{n-1}
从而，x_{n}-(y_{1}/2)*(-2)^{n-1}-2/15=z_{1}*(-4)^{n-1}
即：x_{n}=(y_{1}/2)*(-2)^{n-1}+z_{1}*(-4)^{n-1}+2/15
而y_{1}=x_{2}+4x_{1}-2/3，z_{1}=x_{1}-(y_{1}/2)-2/15
代入化简可得：
x_{n}=(-4x_{1})[(-2)^{n-2}-(-4)^{n-2}]+(x_{2}/2)[(-2)^{n-1}-(-4)^{n-1}]
&&&&&&&&& -(1/3)*(-2)^{n-1}+(1/5)*(-4)^{n-1}-2/15
2、令y=u*e^{-x^{3}}是原方程的解代入化简可得
解得：u=Ae^{6x}-1/6
从而原方程的解为：
y=(Ae^{6x}-1/6)*e^{-x^{3}}
第二题化简有误,更正如下:
令y=u*e^{-x^{3}}是原方程的解代入化简可得u'=1解得：u=x+A
从而原方程的解为：y=(x+A)*e^{-x^{3}}
第二题还有一凑微分法，方程两边同乘以右边的倒数，便化为
e^{x^{3}}y'+3x^{2}e^{x^{3}}y=1
而3x^{2}e^{x^{3}}=e^{x^{3}}'
从而方程化为
[ye^{x^{3}}]'=1
积分得ye^{x^{3}}=x+A
即：y=(x+A)*e^{-x^{3}}
第一题整没问题，最后答案写错一个符号，应该是：x_{n}=(-4x_{1})[(-2)^{n-2}-(-4)^{n-2}]+(x_{2}/2)[(-2)^{n-1}-(-4)^{n-1}]&&&&&&&&& -(1/3)*(-2)^{n-1}+(1/5)*(-4)^{n-1}+2/15
呃。。这个是通解吗？
稍等给你上图
你可以带入验算
你验算一下~
特征方程r^2+6r+8=0& r=-2,-4特解 ：x*=(2)/(6+8+1) = 2/15通解：xn=C1(-2)^n+C2(-4)^n+2/15好像这个是第一题的解额。第二题的没有问题、、、第一题代入公式的话这个像是通解、数学建模的题目、、没学过不懂得怎么验算
你截取的不是通解,因为y_{1},z_{1}互相关联，可以把他们都表示成x_{1},x_{2}的形式，常数部分分离出去，特解是
后边那三项。这个解答形式不唯一，还可以重新组合，比如
我用书上的公式解的话。答案只有 &+2/15
你书上的解答严密，没有问题。与我给你的答案也不矛盾，只是把指数函数合并了，常数不同而已。
你可以令n=1,2,3验算特解部分。
当然，2/15确实是一个特解。但一般情况下，它强加了：这个特解不过是个平庸解，恒为常数。
对于一般情况，比如给出x_{1},x_{2}这样的初值，一般而言他们不相等，更不用说恰好都等于2/15。所以我给的特解更适用于一般情况。
提问者 的感言：感谢 相关知识
相关知识等待您来回答
理工学科领域专家
& &SOGOU - 京ICP证050897号二元一阶常系数线性微分方程组初等解法的讨论--《河南科学》2012年12期
二元一阶常系数线性微分方程组初等解法的讨论
【摘要】：利用代数方程的初等解法,将二元一阶常系数线性微分方程组化为一阶线性微分方程求解,并且讨论二元一阶常系数线性微分方程组的特殊形式解.
【作者单位】：
【关键词】：
【基金】：
【分类号】：O175.14【正文快照】：
对于二元一阶线性微分方程组:x1x2′=a bc dx1x2+f(1t)f(2t),x(1t0)x(2t0)=η1η2,(1)一般都是用基解矩阵或拉普拉斯变换等方法,给出解法[1],但这两种方法都比较繁琐.2000年,赵临龙[2]对具有“对称”结构的一阶线性微分方程组:x1x2′=a b-b ax1x2+f(1t)f(2t),x(1t0)x(2t0)=η
欢迎：、、)
支持CAJ、PDF文件格式，仅支持PDF格式
【共引文献】
中国期刊全文数据库
杨继明;[J];宝鸡文理学院学报(自然科学版);2001年01期
杨继明,蔡炯辉;[J];宝鸡文理学院学报(自然科学版);2002年01期
俞兰芳;[J];重庆邮电学院学报(自然科学版);2004年03期
贡韶红;[J];长春大学学报;2003年06期
刘婧,杨淑芹;[J];大连海事大学学报;2004年03期
韩宇健,李朝星;[J];佛山科学技术学院学报(自然科学版);1998年03期
倪华;林发兴;;[J];福州大学学报(自然科学版);2006年01期
李浩荣,窦霁虹,童训华,王引弟,杨功能;[J];高等理科教育;2004年04期
张鹏强,黄继强,代平力;[J];固原师专学报;2004年06期
孙宁,曹东坡,黄秋和;[J];河北大学学报(自然科学版);1998年03期
中国博士学位论文全文数据库
杨建新;[D];厦门大学;2001年
李元杰;[D];四川大学;2003年
吴群刚;[D];清华大学;2002年
陈晓东;[D];合肥工业大学;2004年
王桥医;[D];中南大学;2004年
匡登峰;[D];天津大学;2005年
朱先奎;[D];清华大学;1995年
何玉琳;[D];浙江大学;2008年
中国硕士学位论文全文数据库
徐源;[D];西安理工大学;2001年
孔庆凯;[D];四川大学;2001年
王庆江;[D];南京理工大学;2002年
宁静;[D];陕西师范大学;2004年
张骥骧;[D];昆明理工大学;2003年
申建伟;[D];昆明理工大学;2003年
阿布力米提.阿布都热衣木;[D];西北大学;2004年
俞美华;[D];南京理工大学;2004年
王朝辉;[D];南京理工大学;2004年
熊光红;[D];西安科技大学;2004年
【相似文献】
中国期刊全文数据库
刘迎东;[J];北京交通大学学报;2004年06期
伍卓群;陈铭俊;周钦德;;[J];吉林大学学报(理学版);1963年02期
彭仕章;;[J];西安科技大学学报;1984年02期
仇淑芬;[J];首都师范大学学报(自然科学版);1986年01期
杨启贵;[J];广西师范大学学报(自然科学版);2002年03期
谢淳;罗治国;;[J];湘南学院学报;2009年05期
路俊培;张丹丹;刘衍胜;;[J];科学技术与工程;2009年23期
李红玉;孙经先;;[J];应用泛函分析学报;2010年01期
陈友朋;钱明忠;陈滨;;[J];高等数学研究;2011年03期
金晓龙;;[J];机械制造与自动化;2011年04期
中国重要会议论文全文数据库
任孝安;;[A];固体力学进展及应用——庆贺李敏华院士90华诞文集[C];2007年
肖嘉;叶康生;袁驷;;[A];第六届全国土木工程研究生学术论坛论文集[C];2008年
张磊;袁礼;;[A];中国力学学会学术大会'2009论文摘要集[C];2009年
徐自祥;周德云;苏军;刘荣桂;;[A];全国自动化新技术学术交流会会议论文集（一）[C];2005年
李云;彭德茂;;[A];数学·物理·力学·高新技术研究进展——1998（7）卷——中国数学力学物理学高新技术交叉研究会第7届学术研讨会论文集[C];1998年
徐鉴;齐欢欢;;[A];中国力学学会学术大会'2009论文摘要集[C];2009年
刘播;王勋;黄冬冬;;[A];数学·力学·物理学·高新技术交叉研究进展——2010（13）卷[C];2010年
戴元军;王晓纯;高建岭;;[A];北京力学会第15届学术年会论文摘要集[C];2009年
中国博士学位论文全文数据库
李红玉;[D];山东大学;2005年
苏敏;[D];兰州大学;2009年
张兴秋;[D];山东大学;2006年
夏银华;[D];中国科学技术大学;2008年
朱春蓉;[D];西北大学;2009年
金承日;[D];哈尔滨工业大学;2006年
王金凤;[D];哈尔滨工业大学;2011年
吴勇旗;[D];郑州大学;2005年
胡军其;[D];复旦大学;2007年
郭志明;[D];中山大学;2001年
中国硕士学位论文全文数据库
张凤;[D];渤海大学;2012年
姚锋平;[D];苏州大学;2004年
张晓东;[D];山东大学;2009年
符美芬;[D];南京信息工程大学;2007年
余锡伦;[D];江西理工大学;2012年
江波;[D];南京信息工程大学;2006年
林永华;[D];厦门大学;2008年
王俊彦;[D];吉林大学;2009年
宋文东;[D];郑州大学;2008年
范晓丽;[D];山东大学;2010年
&快捷付款方式
&订购知网充值卡
400-819-9993
《中国学术期刊（光盘版）》电子杂志社有限公司
同方知网数字出版技术股份有限公司
地址：北京清华大学 84-48信箱 知识超市公司
出版物经营许可证 新出发京批字第直0595号
订购热线：400-819-82499
服务热线：010--
在线咨询：
传真：010-
京公网安备74号线性常微分方程_百度百科
线性常微分方程
本词条缺少名片图，补充相关内容使词条更完整，还能快速升级，赶紧来吧！
线性常微分方程是微分方程中出现的未知函数和该函数各阶导数都是一次的，称为线性常微分方程。它的理论是常微分方程理论中基本上完整、在实际问题中应用很广的一部份。
微分方程中出现的未知函数和该函数各阶导数都是一次的，称为线性常微分方程。它的理论是理论中基本上完整、在实际问题中应用很广的一部份。　　线性一阶常微分方程 　在初等常微分方程中已经知道方程
y┡+p(x)y=Q(x)　 　 (1)
及其对应的齐次线性方程
y┡+p(x)y=0　 　 (2)
的解法，得到(2)的通解和满足初始条件y(x0)=y0的特解分别为：
(1)的通解和满足初始条件y(x0)=y0的特解分别为：
方程(1)、(2)及其解有以下的重要的性质。　　①y(x)呏0是(2)的解，称为明显解。如果p(x)在x0连续,则满足零初始条件y(x0)=0的解必为明显解。②方程(2)的任意两个解y1与y2的线性组合C1y1+C2y2也是(2)的解,C1,C2是任意常数。③y*(x)是(2)的满足条件y(x0)=1的特解。④(2)的解的全体构成一维线性空间，明显解是零元素。⑤ 方程(1)的通解(4)等于(1)的一个特解加上(2)的通解。⑥Y(x)是(1)的满足零初始条件y(x0)的特解。⑦若Q(x)=Q1(x)+Q2(x),又已知yi(x)是y┡+p(x)y=Qj(x),(i=1,2)的解,则y1(x)+y2(x)是方程(1)的解（叠加原理）。　　易见，线性代数方程组的解也具有类似的性质。线性常微分方程组和线性高阶常微分方程的解也有同样的性质。　　线性一阶常微分方程组 　这种方程组可写成如下形式
若其中αij(x),?i(x)在x的区间(α,b)上为连续，则方程(6)的满足的解(y1(x),y2(x),…,yn(x))在区间(α,b)上存在而且惟一。　　为方便计，(6)可写为向量方程
式中而对应的是
仿照中那样，对于任意m个n元向量函数y1(x),y2(x),…,ym(x)，可以定义它们在区间(α,b)上的线性相关与。当这些函数都是同一个方程(8)的解时,它们的线性相关性或独立性可由其在(α,b)中的任一点x0为线性相关或独立来决定。特别,当m=n时成立等式(9)其中后一行列式称为y1,y2,…,yn的朗斯基行列式。由它在(α,b)中任一点的值等于零或不等于零，可判定y1，y2，…yn在(α,b)中是(8)的线性相关解或线性独立解。由此，方程(8)必存在n个线性独立解,而任何n+1个解都是线性相关的。　　对应于方程(1)与(2)的前述7条性质,方程(7)与(8)也有如下的性质。①y(x)呏0是(8)的明显解。若A(x)在x0连续，则满足条件y(x0)=0的解必为明显解。②方程(8)的任意几个解的线性组合也是(8)的解。(8)的通解可表为,其中C1，C2，…，Cn为n个任意常数，y1(x),y2(x),…,yn(x)是(8)的任何n个线性独立解,称之为(8)的一个基本解组,由它们的n2个分量构成的方阵称为基解方阵。③若y(x),(i=1,2,…,n)是(8)的基本解组,使对应的基解方阵Y*（x）满足初值条件Y*(x0)=E（E为单位方阵）,则(8)的任一解y(x)可表示为y(x)=Y*(x)y(x0)。但仅当与A(t)为可交换时(即B(t)A(t)=A(t)B(t)），Y*(x)才能写成的形式。④(8)的解的全体构成n维线性空间，任何一个基本解组都可作为此空间的基底，明显解是零元素。⑤方程(7)的通解等于它的一个特解加上(8)的通解，且可表示为：
式中y0=y(x0)。⑥(10)式右边第二项是方程(7)的满足零初始条件y(x0)=0的特解。⑦若?(x)=?1(x)+?2(x),又已知yi(x)是的解,则y1(x)+y2(x)是(7)的解。　　线性高阶常微分方程 　这种方程可写为如下形式
此方程可借助于引进新的未知函数化为一阶方程组。令y1=y,y2=y┡,y3=y″,…,yn=y(n-1)，则(11)化为若改记(12)为向量方程，则这时式(9)中的，而朗斯基行列式成为式中y1,y2,…,yn表示(11)所对应的齐次方程的任意n个解，而(11)的通解是对应的(12)的通解(10)的第一个分量。　　由于黎卡提方程y┡=p(x)y2+Q(x)y+R(x)可借代换化为u的线性二阶方程或线性方程组
所以即使是只含两个未知函数的线性方程组（或是二阶线性方程）也未必能用初等方法求出通解。但可证明：如果已知(8)或(11)所对应的齐次方程的k个线性独立解，则该齐次方程即可被降为只含n-k个未知函数的线性方程组或线性n-k阶方程。由此可得重要结论:当n=2时,如果方程
y&+p1(x)y┡+p2(x)y=0　 (13)
的一个非零特解y1为已知，则可求出它的通解，且具有如下形式：
对n=2时的方程(8)也成立类似的结论。但对
y&+p1(x)y┡+p2(x)y=q(x)， 　(14)
仅当已知它的两个特解时才能求出其通解;对于n=2时的方程组(7)，也是如此。　　方程(13)在应用数学中颇为重要，对它还有幂级数解法、广义幂级数解法、定积分解法以及解的定性讨论等内容。　　伴随微分方程 　以A*(x)记方程(8)中A(x)(可能为复方阵函数)的方阵，则称
为(8)的伴随微分方程。不难证明：(8)的任一基解方阵φ(x)与(15)的任一基解方阵Ψ(x)必满足恒等式
Ψ*(x)φ(x)=C，
C是（复的）常数方阵。　　借助于(12)，易证线性齐次高阶方程
Lny=y(n)+p1(x)y(n-1)+…+pny=0 　 　(16)
的伴随方程是　对于(16)和(17)成立拉格朗日恒等式：设pi(x)在区间(α,b)上为n-i次，u(x)与v(x)在(α,b)上为n次连续可微，则有
把(18)在(α,b)的任一子区间(x1,x2)上积分,即得格林公式：
这两个公式对讨论边值问题很有用处。此外，由(18)还可看出:如果υ(x)是(17)的非，则尌(x)是(16)的积分因子。　　常系数线性方程组与常系数线性高阶方程 　对于常系数一阶线性组
及其对应的齐次方程组
按照前述线性一阶常微分方程组的理论和矩阵函数的知识可得(21)的通解为
。　 　(22)
(20)的通解为
为了实用上的需要，还须知道eAx的具体表达式。　　称λ的n次代数方程│A-λE│=0为(21)的特征方程，它的根为(21)的特征根。可以证明：若λi是特征根,Γi是对应的特征向量,则eΓi是(21)的解；又若λi≠λj都是特征根,则eΓi与eΓj是(21)的两个线性独立解。因此,如果(21)有n个不同的特征根λ1,λ2,…,λn,则它的通解是
一般,当特征方程可能有重根时,可借助于线性代数中化为法式的理论来求(21)的通解。设非奇异方阵p使p-1Ap=B具若尔当法式，则线性变换y=pz可以化(21)为
其中Bj为nj阶若尔当块,n1+n2+…+nr=n。若记Bj=λjEj+Nj则有而(24)的通解为(21)的通解是
由此可见у的各个分量都具有
的形式，pkj(x)是x的次数不大于(nj-1)的多项式，系数是C1,C2,…,Cn的齐次线性组合。　　若(20)与(21)是由线性常系数高阶方程
y(n)+p1y(n-1)+…+pny=q(x)　 (27)
y(n)+p1y(n-1)+…+pny=0　 (28)
化来，则特征方程是
λn+p1λ(n-1)+…+pn-1λ+pn=0，　 　(29)
而(26)中的y1即(28)的通解。这时A的右上角有一个n-1阶子行列式之值为1，故(29)的每一i重根λ*只对应于一个i阶若尔当块，而y1中前面的多项式必为i-1次。又若(27)为实系数而有复特征根，则必成对出现。实用上常以 eαxcosβx与eαxsinβx这两实解代替两个共轭复解。　　虽然从理论上说，(20)或(27)的特解可按公式(23)右边的第二项来求,其中eAtt=peBttp-1。但在具体计算时是相当麻烦的。当q(x)或?(x)的各分量为多项式、正弦余弦函数、指数函数、或三者的乘积之和时，不难得知对应的特解所应具有的形式，然后可用待定系数法来求特解。此外，也可采用符号方法或拉普拉斯变换法求特解。法是把常系数线性微分方程的求解问题化为线性代数方程或方程组的求解问题，求解时把初始条件一起考虑在内，不必先求通解再求特解，在工程技术中有广泛的应用。此外，还有用留数理论求方程(20)或(21)解的方法。　　欧拉方程和周期系数线性方程 　这是两种可化为常系数的变系数线性方程。二者有本质的不同，前者是切实可行的，后者只有理论上的价值。欧拉方程是形如
xny(n)+α1x(n-1)y(n-1)+…+αn-1xy┡+αny=?(x)　(30)
的方程，经自变量的代换x=et就可化为常系数，这时有
不难写出所对应的、以t为自变量的常系数线性方程。对比(30)更一般的方程
(αx+β)ny(n)+α1(αx+β)(n-1)y(n-1)+…+αny=?(x)可作代换αx+β=et。又对方程组(7),只要αij(x)=αijφ(x)对一切i，j，则用代换总可把(7)化为常系数。　　若(8)中的A(x)对x有周期ω，而Y(x)是一基解方阵，则Y(x+ω)也是，故Y(x+ω)=Y(x)C,C为非奇异方阵。由线性代数知有方阵B使C=eωB,令p(x)=Y(x)e-Bx，则p(x)也有周期ω。若在(8)中作变换y=p(x)z,则z将满足常系数方程
C的特征根ρi与B的特征根λi之间存在关系,ρi与λi分别称为周期系数方程(8)的特征乘数和特征指数。由（31）易见这时(8)的任意解的每一分量是形如e·φi(x)的函数的线性组合,其中φi(x)为x的多项式,系数是x的周期为ω的周期函数。但即使对于极简单的马蒂厄方程
y&+(λ+μcosx)y=0，　 　 　(32)
对应的一阶方程组的变换方阵C也写不出来，而只知有ρ1ρ2=1这个关系式。为研究 (32)的解的性质，只能在(λ，μ)平面中画出无数条曲线（它们的方程只能近似地确定）,分此平面为无数个属于两种类型的区域,然后说明在两类区域中或位于曲线上的点(λ，μ)，其所对应的方程(32)的解会具有一些什么样的性质。关于方程(32)以及比它更广的很有实用价值的
y&+φ(x)y=0，φ(x+π)=φ(x)
都有专著。　　参考书目　　谦编：《常微分方程讲义》,第2版，人民教育出版社，北京，1982。　　R.贝尔曼著，张燮译：《常微分方程的解的稳定性理论》,科学出版社，北京,1957。(R.Bellman,StαbilityTheory of Differentiαl Equαtions , McGraw-Hill,New York, 1953.)　　E.L.Ince,Ordinαry Differentiαl Equαtions , Dover, New York, 1944. 上传我的文档
 下载
 收藏
该文档贡献者很忙，什么也没留下。
 下载此文档
正在努力加载中...
一阶线性微分方程解的存在唯一性证明
下载积分：600
内容提示：一阶线性微分方程解的存在唯一性证明
文档格式：DOC|
浏览次数：11|
上传日期： 13:52:30|
文档星级：
该用户还上传了这些文档
一阶线性微分方程解的存在唯一性证明
官方公共微信}