MathLabs
定理已证明

叠加原理

命题陈述

若 y1y_1 与 y2y_2 都满足 ay′′+by′+cy=0ay'' + by' + cy = 0,则对任意常数 c1,c2c_1,c_2,组合 y=c1y1+c2y2y=c_1y_1+c_2y_2 也满足该方程。此外,若朗斯基行列式 W(y1,y2)=y1y2′−y2y1′W(y_1,y_2) = y_1y_2' - y_2y_1' 在某点非零,则方程的每个解都具有此形式。

为什么成立?

求导是线性运算:和的导数等于导数的和,常数可以提出。由于方程左边只是 yy、y′y'、y′′y'' 乘以常数再相加而成,代入两个解的组合后,不过是把两个零相加。

证明思路

设 L[y]=ay′′+by′+cyL[y] = ay''+by'+cy。由于求导对常数 kk 满足 (u+v)′=u′+v′(u+v)'=u'+v' 及 (ku)′=ku′(ku)'=ku',算子 LL 是线性的:L[c1y1+c2y2]=a(c1y1+c2y2)′′+b(c1y1+c2y2)′+c(c1y1+c2y2)=c1(ay1′′+by1′+cy1)+c2(ay2′′+by2′+cy2)=c1L[y1]+c2L[y2]L[c_1y_1+c_2y_2] = a(c_1y_1+c_2y_2)'' + b(c_1y_1+c_2y_2)' + c(c_1y_1+c_2y_2) = c_1(ay_1''+by_1'+cy_1) + c_2(ay_2''+by_2'+cy_2) = c_1L[y_1]+c_2L[y_2]。

因为 y1,y2y_1,y_2 是方程的解,所以 L[y1]=0L[y_1]=0 且 L[y2]=0L[y_2]=0,于是 L[c1y1+c2y2]=c1⋅0+c2⋅0=0L[c_1y_1+c_2y_2]=c_1\cdot 0+c_2\cdot 0=0:该组合仍是解。这就证明了前半部分。

对于后半部分,线性常微分方程理论保证二阶方程的解空间恰好是二维的(初始条件 y(x0)=y0y(x_0)=y_0、y′(x0)=y0′y'(x_0)=y_0' 确定唯一一个解,给出两个自由参数)。若朗斯基行列式 W(y1,y2)=y1y2′−y2y1′W(y_1,y_2)=y_1y_2'-y_2y_1' 在某点 x0x_0 非零,意味着线性方程组 c1y1(x0)+c2y2(x0)=y0c_1y_1(x_0)+c_2y_2(x_0)=y_0、c1y1′(x0)+c2y2′(x0)=y0′c_1y_1'(x_0)+c_2y_2'(x_0)=y_0' 对任意初始数据都有唯一解 (c1,c2)(c_1,c_2)。因此每个解都对应某个 c1y1+c2y2c_1y_1+c_2y_2,即 {y1,y2}\{y_1,y_2\} 张成整个二维解空间。

用到此定理的主题

分步证明

该定理暂无分步证明。

参考文献

  1. William E. Boyce, Richard C. DiPrima (2017). Elementary Differential Equations and Boundary Value Problems
  2. Lawrence Perko (2001). Differential Equations and Dynamical Systems