3 高阶线性微分方程解的结构
- 格式:ppt
- 大小:660.00 KB
- 文档页数:21
线性微分方程解的性质一、线性微分方程的解的结构1.1二阶齐次线性方程y ′ ′ + P ( x ) y ′ + Q ( x ) y = 0 (1)y''+P(x)y'+Q(x)y=0 \tag{1} y′′+P(x)y′+Q(x)y=0(1)定理1:如果函数 y 1 ( x ) y_1(x) y1(x)与 y 2 ( x ) y_2(x)y2(x)是方程(1)的两个解,那么y = C 1 y 1 ( x ) + C 2 y 2 ( x ) (2) y=C_1y_1(x)+C_2y_2(x) \tag{2} y=C1y1(x)+C2y2(x)(2)也是方程(1)的解,其中 C 1 , C 2 C_1,C_2 C1,C2是任意常数。
解(2)从形式上看含有C1C_1C1和C2C_2C2两个任意常数,但它不一定是方程(1)的通解。
那么在什么情况下(2)式才是方程(1)的通解呢?要解决这个问题,还得引入新概念,即函数组的线性相关与线性无关。
设 y 1 ( x ) , y 2 ( x ) , ⋅⋅⋅ , y n ( x )y_1(x),y_2(x),···,y_n(x) y1(x),y2(x),⋅⋅⋅,yn(x)为定义在区间 I I I上的n个函数,如果存在n个不全为零的常数 k 1 , k 2 , ⋅⋅⋅ , k n k_1,k_2,···,k_n k1,k2,⋅⋅⋅,kn,使得当x ∈ I x\in I x∈I时有恒等式k 1 y 1 + k 2 y 2 + ⋅⋅⋅ + k n y n = 0k_1y_1+k_2y_2+···+k_ny_n=0 k1y1+k2y2+⋅⋅⋅+knyn=0成立,那么称这n个函数在区间I上线性相关;否则线性无关。
应用上述概念可知,对于两个函数的情形,它们线性相关与否,只要看它们的比是否为常数;如果比为常数,那么它们就线性相关;否则就线性无关。