常系数线性方程的解法.docVIP

§4.2常系数线性方程的解法 议论常系数线性方程的解法时， 需要涉及实变量的复值函数及复指数函数的问题， 我们 在4.2.1中预先赐予介绍。 4.2.1复值函数与复值解 如果关于区间a t b中的每一实数t，有复数z(t) (t)i (t)与它对应，其中 (t)和 (t)是区间a t b上定义的实函数， i是虚数单位，我们就说在区间 at b上给定了 一个复值函数 z(t)。如果实函数 (t)，(t)当t趋于t0时有极限，我们就称复值函数 z(t)当 t趋于t0 时有极限，并且定义 limz(t)lim (t)ilim (t) t t0 t t0 tt0 如果lim z(t) z(t0)，我们就称z(t)在t0连续。显然，z(t)在t0 连续相当于 (t)、 (t)在 tt0 t0连续。当z(t)在区间a t b上每一点都连续时，就称 z(t)在区间a t b上连续。如 果极限lim z(t) z(t0)存在，就称 z(t)在t0有导数（可微）。且记此极限为 dz(t0)也许 t t0 t t0 dt z(t0)。显然z(t)在t0处有导数相当于 (t)、 (t)在t0处有导数，且 dz(t0) d(t0) id (t0) dt dt dt 如果z(t)在区间a tb上每点都有导数，就称 z(t)在区间a tb上有导数。关于高阶 导数可以近似地定义。 设z1(t),z2(t)是定义在a t b上的可微函数，c是复值常数，容易考据下列等式成立： dz1(t) z2(t) dz(t1)dz(t2) dt dt dt d cz1(t) cdz(t1) dt dt d z1(t)z2(t) dz(t1) z2(t)z1(t) dz(t2) dt dt dt 在议论常系数线性方程时，函数 eKt 将起着重要的作用，这里 K是复值常数，我们现在 给出它的定义，并且议论它的简单性质。 设K i 是任一复数，这里 , 是实数，而t为实变量，我们定义 eKt e(i )t et (cos t isin t) 有上述定义立刻推得 cos t 1(eit eit)sint 1(eit eit) 2 2i 并且用K i表示复数K i 的共轭复数。 其他，还可容易证明函数 eKt拥有下面的重要性质： e(K1K2)teK1teK2t deKt KeKt ，其中t为实变量 dt dn dtn(eKt) KneKt 由此可见，实变量的复值函数的求导公式与实变量的实值函数的求导公式完全近似， 而 复指数函数拥有与实指数函数完全近似的性质。 现在我们引进线性方程的复值解的定义。定义于区间 at b上的实变量复值函数 z(t)称为方程（4.1）的复值解，如果 dn a1(t) dn1 an1(t) d an(t)z(t) f(t) z(t) z(t) z(t) dtn dtn1 dt 关于a tb恒成立。 定理8 如果方程（4.2）中所有系数 ( )( i 1,2,, )都是实值函数，而 ait n xz(t) (t) i(t)是方程的复值解，则 z(t)的实部 (t)、虚部 (t)和共轭复值函数 z(t)也都是方程（4.2）的解。 定理9 dn a1(t) dn1 an1 d an(t)x u(t)iv(t)有复值解 若方程 x x (t)x dtn dtn1 dt xU(t) iV(t)，这里ai (t)(i 1,2,,n)及u(t)，v(t)都是实函数，那么这个解的实部 U(t)和虚部V(t)分别是方程 dnx a1 dn1x an1(t) dx an(t)xu(t) dtn (t) 1 dt dtn dnx a1 dn1x an1(t) dx v(t) 和 dtn (t) an(t)x 的解。 dtn 1 dt 4.2.2常系数齐线性方程和欧拉方程 为了书写上的方便引入下述符号： L[y]y(n) p(x)y(n1) p n1 (x)y p(x)y 1 n 并把L称为线性微分算子 .把算子作用于函数 y上时，就是指对 y施加上式右端的微分运 . 关于算子有以下两个性质： 1)常数因子可以提到算子符号外面：L[ky]kL[y] 证明：实际上L[ky] [ky](n) p1(x)[ky](n1) pn1(x)[ky]pn(x)[ky] = kyn kp1(x)yn1 kpn1(x)y kpn(x)y = [ n p1 ( x ) y n1 pn1 ( ) pn ( x ) y ] ky xy = kL[y] 算子作用于两个函数和的结果等于算子分别作用于各个函数的结果之和： L[y1 y2]L[y1]L[y2] 证明： L[y1 y2][y1 y2]n p1(x)[y1 y2]n1 pn1(x)[y1y2] pn(x)[y1y2] = n n1 pn(x