常系数线性微分方程的解法.pptVIP

§4.2常系数线性微分方程的解法

4.2.1复值函数与复值解

如果实函数(t)和(t)当t趋t0时有极限,则称复值函数z(t)当

t趋t0时有极限,并且定义

limz(t)lim(t)ilim(t)

tt0tt0tt0



如果limz(t0),则称z(t)在t0连续

tt0

显然,z(t)在t0连续相当于(t)和(t)在t0连续.

当z(t)在区间atb上每一点都连续时,就称z(t)在区间

atb上连续.

z(t)在t0可导可微

z(t)z(t)

如果极限lim0存在,就称z(t)在t有导数（可微）

tt0

0tt0

dz(t0)dz(t)

记为或z(t),.

dt0dttt0

显然z(t)在t0有导数相当于(t)和(t)在t0有导数,且

dz(t)d(t)d(t

00i0)

dtdtdt

如果z(t)在区间atb上每点都有导数,就称z(t)在区间

atb上有导数,对于高阶导数可以类似的定义.

设z1(t),z2(t)是定义在atb上的可微函数,c是复值常数,

容易验证和差、常数倍、乘积的导数与实函相同.

在讨论常系数线性微分方程时,函数ekt将起着重要的作用,其中

k是复值函数,我们现在给出它的定义,并且讨论它的简单性质.

设Ki任一实值函数,这里,是实数,而t为实变量,则有

下面的欧拉公式.eixcosxisinx欧拉公式eixcosxisinx

eKteiteteitetcostisint

由上述定义推得

11

costeiteitsinteiteit

22i

此外,函数ekt还有下面重要性质：



(1)e(K1K2)teK1teK2t

deKtd[KeKt]deKt

(2)KeKt,其中t为实变量,K

dtdtdt

dn(eKt)

(3)kneKt.

dtn

下面引进线性微分方程复值解的定义.

定义于区间atb上的实变量复值函数xz(t),如果满足

dnz(t)dn1z(t)dz(t)

a(t)a(t)a(t)z(t)f(t)(4.1)

dtn1dtn1n1dtn

对于atb恒成立，则称实变量复值函数xz(t)称为方程(4.1)

的复值解.

最后,我们给出在今后讨论中要用到的两个重要结论：

dnz(t)dn1z(t)dz(t)

a(t)