1. 从一道“猜答案”的题说起:为什么要单独学非齐次方程
很多人学微分方程时,被卡住的第一个坎不是齐次方程,而是非齐次方程。齐次方程好歹有套固定的特征方程流程,代入、求根、写通解,三步走完,清清楚楚。但一遇到非齐次,等式右边多了个函数,很多人就懵了——这多出来的东西到底怎么处理?
先说结论:非齐次方程的通解,永远等于“对应齐次方程的通解”加上“一个特解”。用公式写就是 y = y_h + y*。这个结构是整章的地基,后面所有方法都是围绕“怎么找到那个 y*”展开的。
常系数非齐次线性微分方程的标准形式是:
y'' + p y' + q y = f(x)
其中 p、q 是常数,f(x) 是非齐次项(也叫右端项)。这门课的核心问题只有一个:已知 f(x) 的具体形式,怎么把特解 y* 猜出来。
为什么说“猜”?因为常系数线性微分方程有一个特别好的性质——右端项是某种类型的函数时,特解往往也是同一类型。于是数学家们总结出了一套“待定系数法”:先根据右端项的形式设出特解的基本形状,再把特解代回方程去解那几个未知系数。整个过程看起来像是猜,实际上每一步都有规则可循,猜得有章法。
这篇文章只讲两种最常见的右端项形式:多项式型 f(x) = e^(λx) P_m(x),以及三角型 f(x) = e^(λx) [P_m(x) cos(ωx) + Q_n(x) sin(ωx)]。掌握了这两种,应付考试和工程里的绝大多数问题都够用了。
2. 核心思路:待定系数法的底层逻辑与适用边界
2.1 为什么可以“设出特解的形式”
很多人第一次接触待定系数法,心里会有个疑问:凭什么说右端项是 e^(λx) 乘以多项式,特解就一定是同样形式?这背后的原因,得从“微分算子”的角度理解,才不至于变成背公式。
把求导看成一种运算,记作 D,则 D(e^(λx) x^k) = e^(λx)(λ x^k + k x^(k-1))。你会发现,e^(λx) 乘以任何多项式,经过求导后仍然保持 e^(λx) 乘以另一个多项式的形式。而常系数线性微分方程左边的每项都是 y 的各阶导数乘以常数,所以整个方程左边作用在 e^(λx) Q_m(x) 上的结果,仍然是 e^(λx) 乘一个多项式。
关键结论:如果让特解 y* = e^(λx) Q_m(x),那么代入方程后两边都含有公因子 e^(λx),可以约掉。剩下的就是两个多项式之间的恒等式,通过对比系数,就能把 Q_m(x) 里的每个系数确定下来。
这个逻辑的妙处在于,它把“微分方程求解”转化成了“多项式恒等对比”,机械化程度非常高。哪怕你对微分方程本身不太有感觉,只要会做多项式展开和合并同类项,就能算出正确的特解。
2.2 特解“乘 x^k”的本质:共振修正
这里有一个所有初学者都会踩的点:什么时候特解需要额外乘以 x 的幂次?
规则一句话概括:设出特解形式后,如果发现特解中的每一项都与对应齐次方程的通解线性相关(也就是被“特征根”撞上了),就必须通解乘 x^k,k 取使两者不再线性相关的最小正整数。
打个现实里的比方:你在荡秋千,如果你推秋千的节奏恰好和秋千自然振动的频率完全一致,秋千就会越荡越高,这就是共振。微分方程里的“共振”也一样——外力 f(x) 的形式如果恰好和齐次方程本身的某个解“同频”,特解就不能简单地沿用原形式,必须乘以 x^k 来调整“震幅的多项式次数”,才能保证方程左边能产生那个右端项。
这里的 k 取多少,取决于 λ(或 λ ± iω)作为特征根的重数:
- λ 不是特征根,k = 0,不乘;
- λ 是单特征根(重数 1),k = 1,乘一个 x;
- λ 是二重特征根(重数 2),k = 2,乘 x²。
为了把这个判断做对,你必须先把齐次方程的特征方程解出来。所以做题顺序永远是:先求齐次通解,再判断 λ 是不是特征根,最后才设特解。跳过第一步直接设特解,是错误率最高的一种习惯。
2.3 使用条件:什么时候“猜”得出来
待定系数法虽然方便,却有限制。它只适用于常系数线性方程,而且右端项必须是以下类型的有限组合:多项式、指数函数、正弦余弦函数,以及它们的乘积。也就是说 f(x) 必须是“指数多项式三角型”的有限线性组合。
凡是右端项出现分式、对数、绝对值、分段函数、含任意函数形式的项,待定系数法就失效了。这时候得换武器,比如常数变易法。常数变易法适用面更广,但积分往往比较痛苦。在工程应用中,能用待定系数法的题目占大多数,所以优先掌握它是性价比最高的路径。
3. 第一种形式拆解:f(x) = e^(λx) P_m(x)
3.1 特解设法的完整表格
右端项是 e^(λx) 乘以 m 次多项式 P_m(x),这在物理和工程中极其常见,比如强迫振动中的指数衰减驱动力、电路中的指数激励等。拿到这种题,直接按表设特解:
| 条件 | 特解形式 |
|---|---|
| λ 不是特征根 | y* = e^(λx) Q_m(x) |
| λ 是单特征根 | y* = x e^(λx) Q_m(x) |
| λ 是二重特征根 | y* = x² e^(λx) Q_m(x) |
这里的 Q_m(x) 是系数待定的 m 次多项式,写成 a_m x^m + a_(m-1) x^(m-1) + ... + a_0,有多少个系数要确定,就有多少个未知数。每个未知数通过代入后对比同类项系数,列出一个线性方程,最后解方程组得到。
一个容易被忽略的细节:即使原方程右端的 P_m(x) 缺了某些低次项(比如只有 x² 项,没有一次项和常数项),你设 Q_m(x) 时也必须把完整的多项式形式写出来——所有次数从 m 到 0 的项都要带。原因是求导和约化过程中,低次项会反复出现,你只设高次项的话,代入方程后对比系数时会发现低次项的方程对不上,结果永远解不出来。
3.2 实操案例:λ 非特征根的情形
先看一个最简单的。解方程:
y'' - 3y' + 2y = x² + 1
第一步求齐次方程 y'' - 3y' + 2y = 0 的通解。特征方程是 r² - 3r + 2 = 0,因式分解得 (r-1)(r-2) = 0,特征根 r₁ = 1,r₂ = 2。齐次通解为:
y_h = C₁ e^x + C₂ e^(2x)
第二步判断 λ。右端项是多项式 x² + 1,可以理解为 e^(0·x) 乘以二次多项式,所以 λ = 0。特征根是 1 和 2,0 不是特征根,于是特解设为:
y* = A x² + B x + C
注意,虽然右端没有一次项,Q(x) 依然要保留 Bx 项和常数项 C。
第三步代入求系数。逐项求导:
y*' = 2A x + B,y*'' = 2A
代入原方程:
(2A) - 3(2A x + B) + 2(A x² + B x + C) = x² + 1
整理得:
2A x² + (2B - 6A) x + (2A - 3B + 2C) = x² + 1
对比系数,得到方程组:
- x² 系数:2A = 1,所以 A = 1/2;
- x 系数:2B - 6A = 0,代入 A = 1/2 得 2B - 3 = 0,B = 3/2;
- 常数项:2A - 3B + 2C = 1,代入 A = 1/2,B = 3/2,得 1 - 9/2 + 2C = 1,即 2C = 9/2,C = 9/4。
特解为 y* = (1/2)x² + (3/2)x + 9/4,原方程通解:
y = C₁ e^x + C₂ e^(2x) + (1/2)x² + (3/2)x + 9/4
这题虽然简单,但系数对比的过程完整展示了方法的全貌。建议你在纸上亲自算一遍,尤其是代入整理那一步,慢一点没关系,算多了自然就快。
3.3 实操案例:λ 是特征根的情形
现在把难度升一级。解方程:
y'' - 2y' + y = e^x
齐次方程 y'' - 2y' + y = 0 的特征方程是 r² - 2r + 1 = 0,即 (r-1)² = 0,特征根 r = 1 是二重根。齐次通解:
y_h = (C₁ + C₂ x) e^x
这里有个关键判断:右端是 e^x,对应 λ = 1,恰好是二重特征根。正是最需要警惕的情况——如果不乘 x,直接设 y* = A e^x,代入后左边会得 0,怎么都凑不出右端的 e^x。
根据规则,二重根要乘 x²,所以特解设为:
y* = A x² e^x
可能有人会问:为什么不乘 x 而乘 x²?验证一下就知道。逐项求导:
y*' = A(2x + x²) e^x
y*'' = A(2 + 4x + x²) e^x
代入 y'' - 2y' + y,每一项都含有 e^x,提取公因子后得到:
A[(2 + 4x + x²) - 2(2x + x²) + x²] e^x = A[2 + 4x + x² - 4x - 2x² + x²] e^x = 2A e^x
方程要求这个结果等于 e^x,所以 2A = 1,A = 1/2。
通解为:
y = (C₁ + C₂ x) e^x + (1/2) x² e^x
注意特解里 x² 的来源:因为特征根的重数是 2,虚设多项式 Q(x) 的次数本应为 0(常数),乘以 x² 后次数升到 2。如果把特解写成 (A x² + B x + C)e^x 再代入,B 和 C 最终都会被解成 0,所以直接从 A x² e^x 设起,省去无效计算。
这个案例其实透露了一个通用经验:一旦判定 λ 是特征根,特解中的多项式次数会整体抬高。二重根抬高 2 次,单根抬高 1 次。抬高后,原来低次项对应的系数在代入后多半会自行消失,但为了严谨和避免初学者出错,初期还是建议写完整形式,熟练后再跳过那些注定为 0 的项。
4. 第二种形式拆解:三角型右端项
4.1 特解设法的完整表格与原理
第二类常见右端项是含三角函数的:
f(x) = e^(λx) [P_m(x) cos(ωx) + Q_n(x) sin(ωx)]
这类问题的物理背景非常直白——强迫振动中,外力本身是简谐激励,可能还带指数衰减或增长因子。求解时依然用待定系数法,但形式上要复杂一些,因为三角函数通过求导会互相转化,sin 会变成 cos,cos 会变成 sin,所以特解必须同时包含正余弦两项。
特解设法的规则:
| 条件 | 特解形式 |
|---|---|
| λ + iω 不是特征根 | y* = e^(λx)[S_N(x) cos(ωx) + T_N(x) sin(ωx)] |
| λ + iω 是特征根(单根) | y* = x e^(λx)[S_N(x) cos(ωx) + T_N(x) sin(ωx)] |
这里 N 取 m 和 n 中的较大值。S_N(x) 和 T_N(x) 都是次数为 N 的待定多项式,各项系数均为待定未知数。
有些教材只写了右端是 cos 或 sin 单项的情形,但实际做题时右端往往是二者同时出现。哪怕右端只有 A cos(ωx) 一项,特解也必须设成 C₁ cos(ωx) + C₂ sin(ωx) 两项。原因在于求导会改变函数类型,如果你只设 cos 形式,代入方程后 sin 项的系数将无法匹配,整体无解。这是这部分最容易丢掉的特解形式完整性问题。
判断是否与特征根相撞,看的是复数 λ + iω,严格来说不是单独看 λ 或 ω。比如 λ = 0,ω = 2,那就看 i2 是否是特征方程 r² + pr + q = 0 的根。只有特征方程存在纯虚根且虚部恰好等于 ω 时,才需要乘 x。这个判断方式很多人记混,值得反复强调。
4.2 实操案例:右端只有 cos 的情形
解方程:
y'' + 4y = cos(2x)
齐次方程特征方程是 r² + 4 = 0,特征根 r = ±2i。齐次通解:
y_h = C₁ cos(2x) + C₂ sin(2x)
注意,右端 cos(2x) 对应 λ = 0,ω = 2,那么 λ + iω = 2i,恰好是特征根。也就是说,外力频率和系统固有频率相同,纯粹是共振情形。特解必须乘 x:
y* = x[A cos(2x) + B sin(2x)]
逐项求导:
y*' = A cos(2x) + B sin(2x) + x[-2A sin(2x) + 2B cos(2x)]
y*'' = -4A sin(2x) + 4B cos(2x) + x[-4A cos(2x) - 4B sin(2x)]
代入 y'' + 4y:
第一部分的非 x 项为 -4A sin(2x) + 4B cos(2x); 第二部分的 x 项为 x[-4A cos(2x) - 4B sin(2x)]; 加上 4y* 得 4x[A cos(2x) + B sin(2x)]。 x 的项正好抵消。剩下的:
-4A sin(2x) + 4B cos(2x) = cos(2x)
对比系数:
- cos(2x) 系数:4B = 1,B = 1/4;
- sin(2x) 系数:-4A = 0,A = 0。
特解 y* = (1/4) x sin(2x),通解:
y = C₁ cos(2x) + C₂ sin(2x) + (1/4) x sin(2x)
注意几个细节:特解中 A 最终为 0,意味着 cos 分量在调整后没有出现,但这不意味着一开始可以不设 A。因为求导过程中,B sin(2x) 项的导数会产生 cos 项,为了平衡右端的 cos(2x),A 才被解为 0。如果你只设 xB sin(2x),结果不可能对得上。
4.3 实操案例:带指数的三角型
再看一个混合型:
y'' - y = e^x cos(2x)
齐次方程 y'' - y = 0 的特征方程是 r² - 1 = 0,特征根 r = ±1。齐次通解:
y_h = C₁ e^x + C₂ e^(-x)
右端项是 e^x cos(2x),对应 λ = 1,ω = 2,λ + iω = 1 + 2i。这个复数不是特征根(特征根只有 ±1),所以特解形式直接设为:
y* = e^x[A cos(2x) + B sin(2x)]
这里右端没有 sin 项,但特解必须保留 sin 项,理由同上。
逐项求导。先记住一个恒等式:如果 u = e^x cos(2x),则 u' = e^x(cos(2x) - 2 sin(2x)),u'' = e^x(-3 cos(2x) - 4 sin(2x))。同理,若 v = e^x sin(2x),则 v' = e^x(sin(2x) + 2 cos(2x)),v'' = e^x(-3 sin(2x) + 4 cos(2x))。
于是:
y*' = e^x[(A + 2B) cos(2x) + (B - 2A) sin(2x)]
y*'' = e^x[(-3A + 4B) cos(2x) + (-4A - 3B) sin(2x)]
代入 y'' - y,公因子 e^x 提取后:
[(-3A + 4B) - A] cos(2x) + [(-4A - 3B) - B] sin(2x) = cos(2x)
整理:
(-4A + 4B) cos(2x) + (-4A - 4B) sin(2x) = cos(2x)
对比系数:
- cos(2x):-4A + 4B = 1
- sin(2x):-4A - 4B = 0
联立解得 A = -1/8,B = 1/8。
特解 y* = e^x[-1/8 cos(2x) + 1/8 sin(2x)],通解:
y = C₁ e^x + C₂ e^(-x) + (1/8) e^x[sin(2x) - cos(2x)]
这题的运算量明显上来了。初学时建议先把 e^x cos(2x) 和 e^x sin(2x) 各自的一阶二阶导数单独写在草稿上,再代入,不要直接在原式里硬展开,那样极易出错。熟练之后,可以尝试用“指数换元法”——把 cos 和 sin 换成复指数形式,求解后再取实部,计算会对称一些,但前期不推荐。
5. 实战综合:叠加原理与多形式右端项
5.1 右端项是多块相加时的处理策略
实际题目里,右端项经常不是单一形式,而是多个不同类型函数相加,比如:
y'' + 3y' + 2y = x + e^(-x)
很多新手会试图直接设一个同时包含 x 和 e^(-x) 的特解,这种做法不是不可以,但特解形式容易设错,尤其当两个子项对应的“撞根”情况不一致时,很容易漏乘或重乘 x。
最稳妥的做法是调用叠加原理:如果 f(x) = f₁(x) + f₂(x),那么分别求方程 y'' + 3y' + 2y = f₁(x) 和 y'' + 3y' + 2y = f₂(x) 的特解 y₁* 和 y₂*,原方程的一个特解就是 y₁* + y₂*。
这套处理方式和线性代数里“非齐次线性方程组特解分解”是同一个思想,核心依据就是微分算子本身是线性的:
L(y₁* + y₂*) = L(y₁*) + L(y₂*) = f₁ + f₂ = f
所以分批处理,思路清晰,每一小步只需要判断一个子项与特征根的关系,出错概率大幅降低。
5.2 多块右端项的完整解题演示
解方程:
y'' + 3y' + 2y = x + e^(-x)
齐次方程特征方程 r² + 3r + 2 = 0,因式分解后 (r+1)(r+2) = 0,特征根 r₁ = -1,r₂ = -2。齐次通解:
y_h = C₁ e^(-x) + C₂ e^(-2x)
先处理 f₁(x) = x,对应 λ = 0。0 不是特征根,设 y₁* = A x + B。
代入:
y₁*' = A,y₁*'' = 0
0 + 3A + 2(Ax + B) = x
整理得 2Ax + (3A + 2B) = x。对比系数,2A = 1,A = 1/2;3A + 2B = 0,代得 3/2 + 2B = 0,B = -3/4。所以 y₁* = (1/2)x - 3/4。
再处理 f₂(x) = e^(-x),对应 λ = -1。这里关键点来了:λ = -1 恰好是特征方程的单根,所以特解必须乘 x。设 y₂* = C x e^(-x)。
求导:
y₂*' = C e^(-x)(1 - x)
y₂*'' = C e^(-x)(x - 2)
代入 y'' + 3y' + 2y,提取 e^(-x):
C[(x - 2) + 3(1 - x) + 2x] = C[(x - 2 + 3 - 3x + 2x)] = C[1]
方程右边 e^(-x) 的系数是 1,所以 C = 1。y₂* = x e^(-x)。
完了吗?没有。注意 y₂* 实际上乘 x 后是 x e^(-x),而齐次通解里有 C₁ e^(-x),x e^(-x) 与 C₂ e^(-2x) 线性无关,也没有撞到二重根,所以不需要再乘更高次幂。两个子特解加起来:
y* = (1/2)x - 3/4 + x e^(-x)
最终通解:
y = C₁ e^(-x) + C₂ e^(-2x) + (1/2)x - 3/4 + x e^(-x)
这个例子值得反复体会。因为它展示了叠加原理下,你只需要分别处理每个子项,各自判断“撞不撞根”。第二步如果不乘 x 直接设 y₂* = C e^(-x),代入左边得到 0,右边 e^(-x) 永远凑不出来,这是非齐次方程里最经典的错误。
5.3 特解系数解不出来?先检查这三件事
在实际做题时,一旦对比系数后方程出现矛盾(比如求出 0 = 1),不要急着怀疑“方法失效”,按顺序排查:
- 特解形式是否设全了?比如三角型只设了 cos 忘了 sin,多项式漏了低次项。
- 是否漏乘了 x?λ 或 λ + iω 是特征根却没乘 x,必然导致代入后无论如何调节系数都无法匹配。
- 有没有化简错误?求导后合并同类项时,指数函数和三角函数的系数特别容易算串,建议每一步合并同类项后都回看一眼,别急着往方程里代。
这三条自查顺序,几乎能定位掉九成以上的错误。剩下的一成往往是计算失误,无他,重算一遍就好。
6. 常见错误与排查技巧实录
6.1 问题速查表
下面这张表是我学生时代和后来辅导别人时常常见到的错误汇总,整理出来方便你对照检查:
| 常见错误 | 现象 | 解决办法 |
|---|---|---|
| 右端多项式缺项,特设多项式也跟着缺项 | 对比系数时发现方程对不上 | 特设多项式必须写完整,m 次就要带着 m 到 0 全部项 |
| λ 是特征根却忘乘 x | 代入后左边为 0,无法匹配右端 | 解齐次特征根后先列出来,再与 λ 比对 |
| λ + iω 与特征根的关系判断错 | 在共振情形漏乘 x | 先判断 r² + pr + q = 0 是否有根等于 λ ± iω |
| 三角型特设只写 cos 或只写 sin | 对比另一项系数时始终矛盾 | 特设必须同时包含 cos 和 sin,即使右端只有一种 |
| 求导过程不化简就代入 | 计算量爆炸,极易出错 | 分步求导,先合并同类项再代入 |
| 把齐次通解的任意常数代入到特解 | 最终结果“看似正确”但通解被破坏 | 特解系数完全由方程确定,不含任意常数 |
每一个问题背后都对应不少“惨案”。比如漏乘 x 的错误,在考试中属于典型的概念性失误,一旦出现,整道题分基本拿不到。所以做题之前先花 30 秒把特征根列清楚,再动笔,这点时间非常值。
6.2 一个隐蔽性很强的细节:λ 是特征根时特解多项式次数的抬升
很多人记住了“单根乘 x,二重根乘 x²”,但忽略了乘完之后,待定多项式的次数应当如何变化。我们回头看看 3.3 那题,原本右端 e^x 对应的多项式次数 m = 0,设 Q₀(x) = A。但因为二重根,特解变成 x²·Ae^x。如果机械理解成“把 Q 的次数抬升”,那 Q 的次数就从 0 变到 2,即特解含 A x² e^x,正好与正确结果一致。
但如果你把“乘 x²”和“多项式次数抬升”两件事叠加起来处理,比如右端本来是 e^x·x(m = 1),且 λ 是二重根,正确的特解应该设成 x² e^x (A x + B) = e^x(A x³ + B x²)。有人会误设成 x² e^x (A x³ + B x² + C x + D) 或者漏掉低次项,这两种都是不稳定的。稳妥的理解方式永远是:先写下基本形式 e^x Q_m(x),然后整体乘以 x^k,其中 k 是特征根重数。乘完之后展开整理,再取出未知系数,不要先抬升多项式的次数再去乘。
6.3 用初始条件确定任意常数的完整收尾
做题时还经常要求满足初始条件。比如方程:
y'' + 4y = cos(2x),y(0) = 1,y'(0) = 0
我们前面已经得到通解:
y = C₁ cos(2x) + C₂ sin(2x) + (1/4) x sin(2x)
代入 y(0) = 1:C₁ = 1。
求导:
y' = -2C₁ sin(2x) + 2C₂ cos(2x) + (1/4) sin(2x) + (1/2) x cos(2x)
代入 y'(0) = 0:2C₂ = 0,C₂ = 0。
所以满足初值条件的解是:
y = cos(2x) + (1/4) x sin(2x)
注意这里出现了一个很有意义的细节:特解中 x sin(2x) 这一项,在 t 增大时会呈现“幅度线性增长”的振荡,这就是共振现象在数学上的体现。系统以固有频率受到激励,振幅随时间不断增大,工程上要尽量避免,否则结构可能被破坏。
用初始条件确定常数时,要注意的是必须在“齐次通解 + 特解”这个完整式子上代入,而不是只在齐次通解里代入。因为特解不含任意常数,本身也参与了初值的匹配。我见过不少人把特解丢在一边,只用齐次通解去满足初值,结果整条曲线从一开始就偏离正确解,后面全错。
7. 学习建议与两个高频问题的深度追问
7.1 先练手还是先记表?我的建议
很多初学者看到特解表格,第一反应是“背下来就好了”。真上了考场,给的右端项往往和表格里的形式略有出入,一紧张就不知道套哪个。我的建议是:别先死记,先做三道完整例题,把设特解、代入、对比系数、解方程这套流程完整走一遍。有了手感之后,再看表格,那些条件(是不是特征根、要不要乘 x、多项式次数多高)就自然有了画面感,记忆成本大幅降低。
练习时特意选三个类型:λ 不是特征根的、λ 是单根的、λ 是二重根的。把三题并排比较,你会发现特解形式从 e^x 多项式到 x e^x 多项式再到 x² e^x 多项式,变化规律一目了然。这就是“做三道题胜过背三页表”的学习逻辑。三角型同理,分别练非共振和共振各一题,就足够应付绝大多数考查场景了。
7.2 学了待定系数法,还需要常数变易法吗
要。待定系数法虽然快,但是对右端项形式有严格限制。反过来,常数变易法可以处理任意右端项,代价是计算过程包含积分,且每一步都要带着齐次方程的线性无关解做运算。
我的建议是:优先掌握待定系数法,因为考试和基础应用里绝大多数是非齐次项简单的情形,用待定系数法一步到位、不容易出错。但必须理解常数变易法的推导思路,至少知道它怎么由齐次通解中的常数“变易”而来。万一右端项里出现 e^(1/x)、ln x、分式这类非标准函数,你还有退路。
7.3 特征根是复数时,特解该怎么设
特征根是复数时,齐次通解里的指数函数会转化成三角函数,这在物理上对应振荡行为。非齐次项如果是三角函数,实际上就是在判断 λ ± iω 是否等于特征根 α ± iβ。比较时需同时比较实部和虚部,只有实部、虚部都相等才算“撞根”。
举个例子,y'' + y = sin(x),这里的 λ = 0,ω = 1,λ + iω = i。特征根是 ±i,因此发生共振,特解需要乘 x。如果你只是看“右端有三角函数”就直接设 y* = A cos x + B sin x,代入后左边同样什么都凑不出来,因为每一项都被齐次通解吸收了。这又一次说明,解齐次方程这个前置动作永远不能省。
8. 写在最后:从形式到本质的一点体会
我教这门课、自己复习备考的时候,反复体会到一个道理:微分方程求解的难点往往不在计算,而在“判断”。你得先判断方程类型,判断特征根,判断共振条件,判断特解形式——每一步判断都是一次对基本概念的检验。真正动手算的步骤反而机械,只要细心就不会错。
待定系数法的本质,是用有限的函数类去匹配方程的结构。它之所以有效,是因为常系数线性微分方程对某些函数类具有“封闭性”:e^(λx)、多项式、正余弦函数,它们经过线性组合和求导后还在这几类函数里。抓住这个本质,你就不会在题目变化时发慌,因为你始终知道特解长什么样、为什么要长这样。
如果你正在备考或刚学到这一章,我的建议就一句话:不要赶进度,把每一道例题都算到“结果代回去验证成立”为止。按我上面的思路,一类一类地过,先多项式指数型、再三角型、再做叠加型,最后用初值条件收尾,这一章的框架就能稳稳立起来。之后无论遇到什么组合、什么变化,你都会发现,核心方法始终是同一个:设形式、代入、对比、解系数。
这个小技巧,送给你。