文章目录
- abstract
- 概念说明
- 共轭多项式
- 共轭和多形式相关函数
- 共轭函数
- 类型1
- 类型2
- 小结
- 推广
- 例
abstract
- 二阶非齐次线性微分方程@待定系数法可以求解的经典类型2的解
- 本文给出该类型2为什么可以通过待定系数法可求解,并且待定函数要设置成什么形式,待定函数各部分确定规则
- 推理过程有一定工作量,实际应用中只要知道待定系数法可以求解此类问题,以及待定函数的形式和系数确定规则
概念说明
共轭多项式
- =,=是共轭次多项式是指,两个次多项式的对应项的系数是共轭复数
- 是共轭复数表示为;的共轭复数表示为
- 类似的,的共轭多项式可以表示为
- 由于实数的共轭复数是实数本身,从而系数全为实数的多项式的共轭多项式相等,即
- 更多共轭复数性质另见复数资料
共轭和多形式相关函数
- 若=中为非多项式函数或系数为实数多项式函数,则其共轭多项式
- 共轭多形式之和是实系数多相似,此性质可以做复数形式的结论转化为实数形式结论的转换
共轭函数
- ,则=,是某个一般函数
- 任意两个共轭多项式函数之和没有虚部(是一个实值函数)
类型1
- 回顾类型1:=
类型2
- 当=
(0)
时
- 其中都是常数,,分别是的次,次多项式,且最多一个为零
- 若,类型2退化为类型1
- 若,方程(0)成为=
- 若,方程(0)成为=
- 注意,高等代数中,0多项式没有次数(非零常数的次数定义为0),但为了形式统一,不妨将0的次数约定
- 此时方程表示为=
(1)
- 应用欧拉公式,可将三角函数表示为复指数函数的形式,
(2-1)
- ===
(2-2)
- 那么=
(3-1)
;(3-1)
- 令=,得=
(4-1)
;=(4-2)
- 将(4-1,4-2)代入到(0),得=
- =+
(5)
- 为简化形式,令=;=
- 由于==
(5)
,代入,分别得到=(6-1)
;=(6-2)
; - 显然是系数共轭多项式,它们的次数显然相同,都为=(非齐次多项式的线性组合的次数为被组合多项式中次数最高的次数同次)
- 从而式(5)改写为=+
(7),
且方程(1)改写为=+(7-0)
- 等号右边是经典类型一,即自由项为型函数的组和;由该类型的结论,我们可以求出一个次复系数多项式,使得=
(7-1)
是方程=(8)
的特解;其中按如下规则确定:若是不是特征方程的根,则取0;若是单根,则取
- 由于,则这里不会出现二重根的情况,二重根一定是实根,而不是实数,不会是二重根
- 由于系数共轭多项式,是方程(8)的解,由共轭复数的性质,=
(8-1)
为方程=(9)
的解
- 这里是共轭的次多项式
- 根据线性微分方程的解的叠加原理,==+=
(10)
是方程(7-0)的特解 - 式(10)再用欧拉公式变换为三角函数形式,得=
(11)
- =
(11-1)
- =
(11-2)
- Note:从上面两式可以看出和是共轭复数,而和由共轭复数的乘法性质,也是共轭复数
- 共轭复数之和会消去虚部,从而可将虚函数形式变为实函数的形式
- 式(11)改写为:=
(12)
- 其中=,=
- 都是次多项式
- 式(12)就是方程(1)的一个特解
- 为了获得通解,再求方程(1)对应的齐次方程的通解,则为方程(1)的通解
小结
- 类型2中方程(1)的特解可以设为=
- 这个待定函数中可以直接由确定的包括
- 都是次多项式
- 而分别按照(或):“不是特征方程的特征根”,或是"特征方程的单根"取或
- 最后两个多项式,需要将(及其一阶,二阶导)代入到类型2方程中,再通过系数比较法确定两组系数,完成求解
- 的二阶导一定要求的,而为了求二阶导一阶导也得求(不想像简单初等函数由高阶导数公式)
- 和类型1的比较
- 观察两种类型及其各自的待定函数的形式,可知两者有明显的关联
- 从类型2的推理过程运用了类型1的结论可以看出
推广
- 上述结论可以推广到阶
- 此时式(12)中的取值规则将按特征方程中含根(或)的重复次数(0次就取)
例
- 求
(1)
的一个特解
- 类型分析,此方程属于类型2方程,对应于类型2模型=,中的系数分别有
(1-1)
- ,
- 由结论2,待定函数设为=
(2)
- 特征方程
(3)
,检查=,,即不是特征根,从而(3-1)
- 由(1-1,2,3-1),可将(2)改写为
- ==+
(4)
- 都是待定系数一次多形式,分别设为,
- 将(按需求二阶导,从而一阶导也得求,再得到二阶导)代入方程(1),并整理得-=
(5)
- =+=+
- =+=+=+
- 得(5)
- 比较两端同类项系数,只要比较多项式部分因子即可)得
- 即得;,;
- 代入到(4),从而有=+