以和谐为话题的作文-练海棠

毕业论文文献综述
数学与应用数学
几类三阶常微分方程的通解公式
一、前言部分

数学分析中研究了变量的各种函数及函数的微分与积分。如函数未知， 但知道变量与函
数的代数关系式，便组成代数方程，通过求解代数方程解出未知函数。同样，如果知道自 变
量、未知函数及函数的导数组成的关系式，得到的便是微分方程。如果在一个微分方程中出
现 的未知函数只含一个自变量，这个方程就叫做常微分方程。常微分方程是数学分析或基础
数学的一个组成 部分，在整个数学大厦中占据着重要位置。
塞蒙斯(Simmons)曾如此评价微分方程在数学中的 地位：“300年来分析是数学里首要
的分支，而微分方程又是分析的心脏．这是初等微积分的天然后继 课，又是为了解物理科学
的一门最重要的数学，而且在它所产生的较深的问题中，它又是高等分析里大部 分思想和理
论的根源．”很多物理与技术问题可以化归为常微分方程的求解问题，如自动控制、各种电< br>子学装置的设计、弹道的计算、飞机和导弹飞行的稳定性的研究、化学反应过程稳定性的研
究等。 数学的其他分支的新发展，如复变函数、李群、组合拓扑学等，都对常微分方程的发
展产生了深刻的影响 ，而上述这些问题都可以化为求常微分方程的解，因此，学好微分方程
的求解相当重要．微分方程的理论 逐步完善的时候，利用它就可以精确地表述事物变化所遵
循的基本规律，只要列出相应的微分方程，有了 解方程的方法。微分方程也就成了最有生命
力的数学分支。又因为许多力学，电学与生物化学的模型都可 以归结为高阶微分方程的模型
(见文献
[1，2
])，因此探求高阶微分方程的求解是 一项既有实际意义又有理论意义的工作。
二、主题部分

有关三阶常微分方程的求解 研究已经取得了较为丰富的结果，许多数学家早已经对这
个课题展开过讨论，并做了很多相关的课题研究 和论文。现将已有文献的研究结果综述如下：
文献[2]中讲述线性微分方程的基本理论和常微分方程 的解法，也简单介绍某些高阶微
分的降阶方法。关于线性微分方程的解法，作者介绍了五种较常用的方法 ：（1）求常系数
齐次线性微分方程的基本解组的特征根法（欧拉待定指数函数法）；（2）求常系数非 齐次
线性微分方程的特解的待定系数法和拉普拉斯变换法；（3）求一般非齐次线性微分方程特

解的常数变异法；（4）求一般二阶齐次线性微分方程的幂级数解法。
文献[3]针对 自由项为几类常见类型的三阶常系数非齐次线性微分方程，得到了求此类
微分方程的特解公式，使求三阶 常系数非齐次线性微分方程的特解更加简易。其主要结果如
下：
定理1 设有三阶常系数非齐次线性微分方程
y'''py''qy'dyP
m
< br>x

e

x
(1)
对应的齐次方程的特征方程记为
r
3
pr
2
qrd0
(2)
若令
f

r

rprqrd
，且
yH

x

e
为微分方程(1)的解, 其中
H

x

为多项式
32

x
函数, 则
H

x

需满足下列恒等式
''
f


''

''
f



H

x

f



H

x
H

x

H
'''

x

P
m

x


2
定理2 设有三阶常系数非齐次线性微分方程(1),则方程(1) 的特解形式可写为
y
*
x
k
Q
m

x

e

x
,
其中
Q
m

x



bx
j
j0
m
j
且
(1)当

不是特征根时, 则
k0
且多项式
Q
m

x

的系数满足

f
''




b
j
[a
j


j1

f



b
j1


j1

j2


b
j2


j3

b
j3
]

f




2
1
'
(2)当

是单特征根时, 则
k1
且多项式
Q
m

x

的系数满足

a
j

f
''



b
j

'
j2bj2j3b

j3



j2
f




j12

1
(3)当

是二重特征根时, 则
k2
且多项式
Q
m

x

的系数满足

a
j
b
j

''


j3

b
j3



f




(j1)

j2


2
(4)当

是三重特征根时, 则
k3
且多项式
Q
m

x

的系数满足

b
j

a
j
(j1)

j2

j3


其中,
jm,m1,L1,0< br>；而
b
m1
b
m2
b
m3
0< br>。
文献[4-5]通过将高阶微分方程转化为微分方程组，并结合二阶微分方程组的刘维尔公< br>式，获得了三阶微分方程的通解公式，其主要结果如下：
对于有解


x

,


x

的三阶变系数齐次线性微分方程
yp

x

yq

x

yr

x

y0
，
通过变量代换可以转化为微分方程组


'
zrz(1q)z
2
,
''
1
''

1< br>


'

'

'

z
2
r
''
z
1
q
''
z
2
,



1

'
z

3
a
''
(rz
1
qz
2
),

该方程组的前两项构成新的二元方程组，再由刘维尔公式及必要的积分运算,最终可得出方
程的 通解。
文献[6-10]在原有教材的基础上研究了一类三阶常系数非其次线性微分方程特解的简便< br>公式，而且利用该公式可容易地在计算机上编程计算。其主要结果如下：
定理3 设有三阶常系数非齐次线性微分方程
ypyqyry

A
3
x
3
A
2
x
2
A
1
x A
0

e

x
(3)
及对应的齐次微分方程的特征方程

3
p

2
q

r0
，
设
F(

)

p

q
< br>r
，记
FF(

)

p

q

r
，
3232
FF(

)3
2
2p

q
，
e
1
F(

)3

p
，则
2
(1) 当

不是特征方程的根时，令
3F
'
16((F
'
)
2
eF)2F
'
1
1
A AA
1
，
A
3
，
a
2

2
A
3
A
2
，
a
1


a
3

32
32
FFFFF
F
6((F
'
)
3
2eFF
'
F
2
)2((F
'
)
2
eF)F
'
1
a
0
AAA A
0
，
321
F
4
F
3
F
2
F

则方程(3) 有特解
y
*


a
3
x
3
a
2
x
2
a
1< br>xa
0

e

x
； (4)
(2) 当

是特征方程的单根时，令
3(e
2
F
'
)e1
e1
1
aAAA
1
，
aAA

a
3

，，
A
132
2 32
3
(F
'
)
3
(F
'
)
2< br>2F
'
(F
'
)
2
3F
'
4F'
6e(e
2
2F
'
)2(e
2
F'
)e1
a
0
AAAA
0
，
321
'4'3'2
(F)(F)(F)F
则方程(3) 有特解
y
*
x

a
3
x
3
a
2x
2
a
1
xa
0

e

x
； (5)
(3) 当

是特征方程的二重根时，令

a
3

11 1111
A
3
，
a
2

2
A
3
A
2
，
a
1

3
A
3

2
A
2
A
1
，
20e4e12ee3e6e< br>3111
a
0

4
A
3

3A
2

2
A
1
A
0
，
ee2e2e
则方程(3) 有特解
y
*
x
2

a
3
x
3
a
2
x
2
a1
xa
0

e

x
； (6)
(4) 当

是特征方程的三重根时，令
a
3

则方程(3) 有特解
1111

A
3
，
a
2
A2
，
a
1
A
1
，
a
0
A
0
，
12060246
y
*
x
3
a
3
x
3
a
2
x
2
a
1
xa
0

e

x
。 (7)
文献[11]给出了复常系数线性齐次徽分方程的通解公式，并利用变量替换的方法，给出了一类复变系数线性齐次微分方程的通解公式。
复系数三阶线性齐次微分方程
y'''

y''

y'

y0
（8）
这里

,

,

C
的特征方程为 y
3


y
2


y
< br>0
（*）
令
yx 

3
'
，则（*）化为
x(abi)x(cdi)0< br> （
*
）
3
2< br>
3



)
，
bI
m
(

)
，
cR
e
(

)
，其中
aR
e
(
33273

2

2

2

3


dI
m
( 

)
则可求得（
*
'
）的根
x
1,x
2
,x
3
，从而得到方程（*）的根
y
1
x
1

，
273
3
y
2
x
2


3
，
y
3
x
3


3
，再应用三阶齐次线性微分方程解的结构定理，文献[11]获得了
如下结果：
定理4 复系数三阶线性齐次微分方程
y'''

y''

y'

y0
（9）
2

3



)
，
b I
m
(

)
，
cR
e
(
)
，其中

,

,

C
，
aR
e
(
33273
2

3
< br>dI
m
(

)
，则
273
1 当

1
为实数（
B0
）
1）

1
0
（
A0
）
a．且

2
0
时，方程（9）的通解为
y(c
1
c
2
xc
3
x)e
b．且

2
0
时， 方程（9）的通解为
y(c
1
c
2
x)e
2）且

1
f0

Af0

时，方程（9）的通解为
y c
1
e
2）且

1
p0

Ap0

时，方程（9）的通解为
yc
1
e
2 当

1
为虚数
(B0)
时，方程（9）的通解为
(u
0
)x
3
2
x
3

2

2


(2u
0
)x
3

c
3
e
c
2
e
c
2
e

(u
1
v
1
)x
3

(u
2
v
2
) x
3

c
3
e
c
3
e
(u< br>3
v
3
)x
3



(u4
v
4
)x
3

(u
5
v5
)x
3

(u
6
v
6
)x< br>3

yc
1
e
(u
7
v
7)x
3

c
2
e
(u
8
v8
)x
3

c
3
e
(u
9
v
9
)x
3

，
c
1
,c
2
,c
3
为任意复常数。
定理5 三阶复变系数线性齐次微分方程
(

x

)
3
y'''(3

< br>
)(

x

)
2
y''(

2
x



)(

x
)y'

y0
（10）
其中

,

R
，

,

,

C
，且

0
则
1 当

1
为实数（
B0
）
1）

1
0
（
A0
）
a．且

2
0
时，方程（10）的通解为