二阶线性常微分方程中的共振现象
当时,激励指数项与齐次解不独立。视频首先求解齐次方程,得到,因此已存在于齐次解中。正是这种重叠导致特解试探形式必须加以修正。
Jeffrey Chasnov · YouTube · 5:34
本白板片段处理非齐次常微分方程,重点讨论待定系数法中的共振问题。主讲人首先通过求解齐次方程,得到,从而得出。由于激励项含有,视频明确指出:朴素的特解试探形式必须乘以,由此得到试探形式。片段余下部分计算和,但在代入原微分方程及确定常数之前停止。 本节演示如何用待定系数法求非齐次常微分方程 的一个特解。由于激励项 与齐次解发生共振,故采用试探形式 x = Ate^{-t}。视频中将该试探解及其导数代入常微分方程,约去公因子 ,合并同类项,并解出系数 ,从而得到最终特解 te^{-t}。 这个4秒片段展示了一块静止的白板,上面显示了使用待定系数法求解二阶线性非齐次常微分方程特解的最终代数步骤。所解方程为 ,通过代入假设形式求解,得到系数 ,最终特解为 te^{-t}。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
该片段从方程开始,并说明当前直接目标是求一个特解,而非通解。
在猜测特解之前,主讲人先检查对应的齐次方程,因为激励项可能已属于齐次解空间。
采用标准的指数试探解,齐次方程导出特征多项式,该多项式可因式分解为。
因此,通解(补函数)为。板书随后在视觉上将激励项与齐次模态关联起来,揭示共振问题。
由于这种重叠,常规的非共振猜测被替换为修正的试探形式,其中仍待确定。
为代入常微分方程做准备,利用乘积法则计算一阶导数:。
再求一次导得到,该式化简为。本片段到此结束,尚未将这些表达式代回微分方程并求解。
我们从试探特解 开始,该形式被选中是因为激励项 与齐次解发生共振。其导数为 和 。
接下来,我们将这些表达式代入微分方程左端 ,得到 。
由于 恒不为零,我们可以两边同除以 ,将方程化简为 。
现在我们合并同类项。与 成比例的项为 ,它们相加得 ,并完全抵消。常数项为 ,化简后为 。
令剩余的常数项等于方程右端,得 。将其代回初始试探形式,即得特解为 。
白板上显示微分方程。其下方展示了代换步骤,化简后得到。最终的特解写在底部,为。
当时,激励指数项与齐次解不独立。视频首先求解齐次方程,得到,因此已存在于齐次解中。正是这种重叠导致特解试探形式必须加以修正。
将代入齐次方程得到,该式可因式分解为。因此,特征根为和,对应两个齐次模态和。
在待定系数法中,若激励项与某个齐次解重复,则朴素猜测需乘以。此处重复的模态是,因此正确的试探形式是,而非。
本片段计算共振试探解的导数:首先,;其次,。这些表达式接下来将被代入常微分方程以确定,但该最后一步在此片段中未展示。
求解具有常系数的非齐次线性常微分方程时,若激励函数的形式与齐次解相同(即发生共振),则标准试探解需乘以。此处由于属于齐次解,故试探特解取为,而非。
为确定待定系数,将试探解及其各阶导数代入原微分方程。对,利用、和,可得到一个等式,其中可从所有项中约去。
约去后,将剩余表达式按的幂次展开并归类。由于共振情形下特征方程的性质,各项的系数之和为零。剩余的常数项等于方程右端的常数,由此解出。本例中,得出。
待定系数确定后,将其代回试探形式,即可写出最终特解。当时,该常微分方程的特解为。
为求解非齐次常微分方程,我们假设一个特解形式,并将其代入方程。按的幂次对各项进行归类,得到。其中的系数为,常数项为。令成立,即可写出最终的特解。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
因变量在所展示的常微分方程及试探解中均记为 x。
x
微分方程中关于 t 的未知函数。
关于 t 的函数;视频片段中未明确给出其定义域。
自变量以 t 的形式出现在 、e^{rt} 及试探特解 中。
t
该常微分方程的自变量(类时间参数)。
实变量;未显示具体区间。
一阶导数在常微分方程中记为 ,后续被显式计算。
x 关于 t 的一阶导数。
在 x 可导处有定义。
二阶导数在常微分方程中记为 ,后续被显式计算。
x 关于 t 的二阶导数。
在 x 二阶可导处有定义。
r 出现在试探齐次解 ^{rt} 中,也出现在特征多项式 中。
r
用于齐次试探解中的指数增长率参数。
从特征方程中求解出的代数未知量。
乘以所展示齐次解中的 。
乘在齐次模态 上的任意常数。
积分常数;其具体数值未给出。
乘以所展示齐次解中的 。
乘在齐次模态 上的任意常数。
积分常数;其具体数值未给出。
A 被引入为试探特解 中的未知系数。
A 的最终取值在此片段中尚未得出。
A
对应共振型特解试探形式的待定系数。
需通过代入常微分方程确定的常数。
变量 x 在微分方程和试探解中作为因变量(函数)出现。
x
常微分方程中的因变量(t 的函数)。
t 的实值函数。
变量 t 在 和 te^{-t} 中作为自变量出现。
t
自变量(时间)。
实数。
常数 A 在试探特解 x = Ate^{-t} 中引入,并在后续求解。
A
待定系数,在特解中求解。
实常数。
符号 出现在微分方程及其导数表达式中。
x 关于 t 的一阶导数。
t 的实值函数。
说话人表示,他们想求解微分方程 x 二阶导加3乘 x 一阶导加2乘 x 等于2乘 e 的负 t 次方的一个特解。
黑板上显示 。
该片段研究微分方程,特别关注求其一个特解,而非通解。强迫项为指数形式,且说话人立即指出其指数与齐次方程的某一个模态相匹配。
具有常系数的线性二阶常微分方程。
右端项为。
本片段的目标仅为建立并开始计算一个特解。
说话人说:‘对于齐次方程,若我们仅尝试设 x 等于 e 的 rt 次方,便可得到特征方程 r 的平方加3乘 r 加2等于0。’
黑板上写出‘齐次方程:试设 ^{rt}’,接着写出‘ => ()()=0’。
为求解对应的齐次方程,视频采用标准的指数试探解。代入后得到特征多项式,其因式分解形式为。由此确定两个齐次指数解和。
适用于常系数线性常微分方程所对应的齐次方程。
此处得到两个互异的实根。
主讲人指出,齐次解为某个常数乘以 ,再加上另一个常数乘以 。
黑板上显示 。
从激励项 向齐次解中的 项画出一个箭头。
由特征方程的根 和 ,写出齐次解为 。图示箭头强调:激励项 与某一个齐次模态具有相同的指数因子,因此常规的非共振试探解将失效。
特征方程的根互异且为实数。
这是齐次常微分方程的通解。
主讲人表示,为求特解,必须尝试令 x 等于某个未知系数,并将等式右端乘以 t,即取 。
黑板上写下“特解试探:试取 ”。
因为已经满足齐次方程,视频通过乘以来修正常规的待定系数法猜测。所选试探解为,其中是待定系数,需将试探解代入常微分方程后确定。
当激励项与齐次解模态重叠时使用。
此处重叠发生在上,因此插入一个因子。
主讲人用语言陈述乘积法则:第一个函数的导数乘以第二个函数,加上第一个函数乘以第二个函数的导数。
黑板上显示 =Ae^{-t}(1-t)。
对应用乘积法则求导得到。该表达式随后用于计算二阶导数。
对 t 求导。
对和应用乘积法则。
主讲人再次使用乘积法则,并指出结果为负一加 t 加上第一个函数乘以第二个函数的导数,最终得负一。
黑板上显示 =Ae^{-t}(-1+t-1)。
花括号将括号内的各项归为一组,主讲人就此评述其组合形式。
展示了未化简的形式,但视频片段在写出化简后的二阶导数或代入常微分方程(ODE)所得结果之前就结束了。
对再求一次导数得到。括号内的项合并为,因此化简后的形式为,但本片段中屏幕上的化简并未完全完成。
从先前已计算出的一阶导数继续推导。
再次对和应用乘积法则。
板书显示“特解尝试形式:x = Ate^{-t}”,并附有其一阶与二阶导数。
当非齐次项正比于 ,且 -1 是特征方程的根时,待定系数法的标准做法是将常规猜测形式乘以 t。本视频采用这种共振形式 x = Ate^{-t}。
激励项包含 。
-1 是齐次特征方程的单根。
主讲人说:“因此我们将它代入微分方程,即 x 双点加 3x 点加 2x。”
左侧算子 在试探解区块下方被重写。
将候选特解及其导数代入原微分方程的左侧,以确定未知系数 A。
使用试探形式 x = Ate^{-t} 计算 x、 和 。
主讲人解释:在消去 后,将含 t 的项与不含 t 的项分别合并。
黑板上显示合并后的表达式 ()。
代入试探解并提取公因子 后,所得表达式被整理为 t 的系数项与常数项。这使得它可与微分方程右侧进行匹配。
公因子 已从等式两边消去。
二阶导数 一阶导数
视频展示了一个具有常系数的二阶线性常微分方程,其右侧为一个常数非齐次项。
该方程是线性的。
系数为常数(1、3、2)。
右侧为一个常数(2)。
将含 A 的项代入该常微分方程以求解 A。
特解的具体假设形式在当前画面中未明确写出。
一种求解非齐次线性常微分方程特解的方法:先假设一个带有未知系数的解的形式,将其代入方程,再求出这些系数。
适用于具有常系数的线性常微分方程。
非齐次项必须属于特定类型(例如多项式、指数函数、正弦或余弦函数)。
说话者指出,难点在于 是齐次方程的一个解。
齐次解包含项 。
一个箭头在视觉上将激励项 与 中的 部分关联起来。
对于常微分方程,激励因子属于齐次解空间,因为是特征方程的一个根。
考虑对应的齐次方程。
采用指数试探解。
特征方程为。
针对该特定常微分方程及其齐次解。
说话者表示,此时需将等式右端乘以 t,得到 。
黑板上写出特解形式:尝试设 。
该片段通过本例演示了这一规则,但并未陈述带有完整条件的普遍定理。
当强迫项含有与齐次解相同的指数因子时,特解试探形式需乘以;此处选取的形式为。
该常微分方程是具常系数的线性方程。
非齐次项包含一个已在齐次解中出现的因子。
该结论针对视频片段中所解的具体例题而给出;更一般的规则虽被暗示,但此处未作形式化证明。
说话者指出,尝试设 ^{rt} 可得特征方程 ,其因式分解为 ()()=0。
黑板上显示齐次方程的求解过程:尝试设 ^{rt},则得 ⇒ ()()=0。
从给定常微分方程的齐次形式出发。
所展示的非齐次常微分方程对应的齐次方程。
尝试指数形式的解。
如视频中所述,这是求解常系数线性常微分方程的标准方法。
代入后得到特征多项式。
音频明确指出,这是由试探解所得的特征方程。
对二次式进行因式分解。
黑板上展示了代数因式分解过程。
直接写出两个根。
对因式分解后的方程应用零积律。
齐次解的指数为和,由此构造出由和组成的通解。
主讲人用乘积法则口头计算了一阶导数和二阶导数。
黑板上写出 x=Ate^{-t},然后 =Ae^{-t}(1-t),再然后 =Ae^{-t}(-1+t-1)。
视频片段在将这些导数代入常微分方程并求解 A 之前就结束了。
从所选的特解试探形式出发。
选择该形式是因为 与齐次解重合。
对 和 应用乘积法则。
主讲人明确描述了‘第一项的导数乘以第二项,加上第一项乘以第二项的导数’。
提取公因式 。
黑板上展示了代数化简过程。
再次对 应用乘积法则求导。
这是与口述推导相对应的标准展开式;黑板呈现的是合并后的结果,而非每一步中间过程。
将各项合并为屏幕上显示的括号形式。
与黑板上写出的公式一致。
化简括号内的表达式。
对进行算术化简;该最终化简步骤在视频片段结束前未完全写出。
试探特解的导数为和,为下一步代入常微分方程(ODE)做准备。
黑板上展示了逐步代入与化简过程,最终得出 。
主讲人叙述了含 t 项的消去过程以及剩余方程的求解过程。
从原始的非齐次微分方程出发。
黑板上显示的题目陈述。
使用试探特解及其计算所得的一阶与二阶导数。
针对共振强迫项的待定系数法。
将 x、 和 代入常微分方程左端。
直接代数代入。
提取公因式指数项 。
乘法对加法的分配律。
方程两边同除以 (该式恒不为零),以简化方程。
对非零公因子进行代数约去。
展开并按 t 的幂次合并同类项。
多项式归类。
化简系数:,且 -2A + 。
算术化简。
求解所得关于待定系数的线性方程。
基础代数。
试探特解中的待定系数为 。
=(A 减去 3A 加上 2A)乘以 t,再加上(负 2A 加上 3A),结果等于 2,因此 A 等于 2
特解的初始猜测形式未显示,但代数推导步骤暗示代入了某种特定形式。
将假设的特解及其各阶导数代入常微分方程后,各项按 t 的幂次进行归类。
代数化简并合并同类项。
t 的系数化简为零(),常数项化简为 A(-2A + )。
算术运算。
令剩余的常数项等于常微分方程右端,从而解出 A 的值。
多项式(或函数)相等。
待定系数 A 等于 2。
整个片段是一个求解所显示常微分方程特解的完整例题。
黑板上的推演从该常微分方程出发,依次完成齐次解、共振试探解(ansatz)及导数计算。
该例题在本片段中未完成,因为在视频片段结束前尚未解出系数 A。
当强制项的指数函数与齐次解重叠时,求的一个特解。
该常微分方程为。
对应的齐次方程具有特征多项式。
齐次解为。
设定正确的共振试探解以求得特解,并计算代入所需的导数。
求解齐次特征方程。
在尝试后,直接在黑板上展示。
根据两个根写出齐次解。
实根互异情形下的标准结论;在黑板上给出。
由于本身已是齐次模态,需将朴素猜测乘以。
主讲人明确指出这是共振情形下所需的修正方式。
对试探解求一次导数。
乘积法则在音频中讲解,并在黑板上写出。
再次求导。
第二次应用乘积法则;黑板上展示的是未化简形式。
该片段确立了正确的共振试探解,并计算出和,但未得出的最终数值。
验证需将、和代入原常微分方程,并比对的各项系数;此步骤在本片段中未展示。
整段内容专门用于求解微分方程 的特解。
求微分方程 的一个特解。
该微分方程为 。
齐次解中包含 项,表明与激励函数发生共振。
确定特解 的具体形式及其系数。
因发生共振,提出一个乘以 t 的试探解。
当强制项的指数与齐次方程的特征根重合时,待定系数法的标准规则。
计算试探解所需的各阶导数。
求导的乘积法则与链式法则。
代入常微分方程,消去 ,并合并同类项。
代数运算与比较系数。
求解未知系数 A。
化简合并后的方程,得到 。
将 A 代回试探形式,写出最终的特解。
根据已解出的系数定义特解。
等于 2t 乘以 e 的负 t 次方
将 te^{-t} 及其导数代回原常微分方程,方程成立。
从上方方程中的激励项向齐次解中的项画出一条箭头。
上方方程
齐次解
箭头标注
出现一条新的箭头标注,连接右侧的指数项与齐次解中对应的指数项。
添加箭头时,代数公式本身保持不变。
该箭头标示出共振问题:激励项含有与某一齐次解相同的指数因子,从而引出后续在特解试探中乘以的操作。
当讲解者提到合并括号内各项时,于的括号表达式下方画出一个大括号。
简化后的结果被讨论,但在片段结束前未完整重写。
公式
括号下方的花括号标注
在分组后的项下方添加一个花括号,以强调它们的组合关系。
前置因子保留在分组表达式之外。
这种视觉分组突出了括号内各项应被合并,从而得到简化后的因子。
数码笔逐行书写代入后的方程,并将含 t 与不含 t 的项分别归类。
黑色背景上的手写数学表达式。
代数表达式的各行随讲话者叙述依次出现。
各项在黑板上被分组并直观化简。
原始微分方程与试探解始终显示在屏幕顶部。
视觉演进过程与将试探解代入常微分方程、合并同类项以求解 A 的代数步骤相对应。
讲话者在黑板底部写下“te^{-t}”。
最终方程 te^{-t}。
将 代入试探解的一般形式,从而得到具体的特解。
试探解 x = Ate^{-t} 的结构保持不变,仅常数 A 被确定下来。
这一视觉呈现标志着推导结束,给出了特解的显式公式。
黑底手写数学公式。
微分方程
代数代入步骤
最终的特解
文字在整个4秒片段中保持静止。
画面呈现了使用待定系数法求解特解的最终代数步骤。
讲解者指出,难点在于是齐次方程的一个解,因此试探特解必须乘以。
从 到 项的箭头在 中直观地标出了重叠部分。
由于等式右端与 成正比,人们可能会直接尝试形如 的特解。
视频表明,在共振情形下该尝试失败,因为本身已属于齐次解,故正确的试探解应为。
视频明确使用 x = Ate^{-t} 而非 x = Ae^{-t} 作为特解形式。
当激励项 已是齐次解的一部分时,学生可能错误地猜测特解为 x = Ae^{-t}。
当发生共振(激励项的指数与特征方程的某个根重合)时,试探解必须乘以 t,以确保其与齐次解线性无关。
板书内容从非齐次常微分方程过渡到‘齐次方程:尝试 ^{rt}’。
特解的讨论需首先理解对应的齐次方程及其特征根。
因式分解之后,给出显示的解。
齐次解直接由特征方程法求得的根导出。
箭头将激励项与齐次解的分量相连。
主讲人解释:这种重叠迫使我们在特解试探函数中乘以。
认识到是一种齐次模态,正是这一认识促使我们采用共振试探形式。
写出后,黑板依次计算出和。
所选试探解随后被求导,以便代入微分方程。
二阶导数由先前写出的一阶导数计算得出。
二阶导数的计算直接依赖于已求得的一阶导数。
主讲人从陈述试探解过渡到说‘因此我们将它代入微分方程’。
所选的试探解形式直接用于代入步骤,以计算常微分方程左端的表达式。
主讲人在写出代入后的表达式后,立即说‘因此我们合并各项’。
代入后得到的复杂表达式必须合并并化简,以分离出待定系数。
该方法被直接应用于屏幕上显示的常微分方程。
待定系数法是用于求解所展示的特定二阶线性非齐次常微分方程的技术。
主讲人明确指出:难点在于是齐次方程的解,因此右边必须乘以。
箭头标注将激励项与齐次模态关联起来。
黑板上先显示,然后显示。
黑板上显示和。
说话人用语言口头应用了两次乘积法则。
二阶导数的最终化简在片段结束前未完全写出。
该片段在计算完导数后即结束,尚未将导数代入常微分方程。
本片段中未给出A的值。
黑板上写有‘尝试 x = Ate^{-t}’作为特解。
推导过程展示了将试探解代入后如何得到方程 。
特解 te^{-t}
已覆盖 · 常微分方程被展示出来,并说明了目标是求一个特解。
已覆盖 · 齐次试探解及对应的特征方程被写出并完成因式分解。
已覆盖 · 齐次解已给出,与的共振现象用箭头标出。
已覆盖 · 主讲人引入修正后的特解试探形式。
已覆盖 · 利用乘积法则计算试探解的一阶导数。
已覆盖 · 二阶导数以未化简形式计算并作视觉分组;该片段在代入方程及求解系数A之前结束。
已覆盖 · 引入共振试探解 x = Ate^{-t} 及其导数。
已覆盖 · 将试探解代入常微分方程,进行代数化简,并解得 。
已覆盖 · 写出最终的特解 te^{-t}。
已覆盖 · 整个4秒片段展示了一块静止的白板,上面写着求解常微分方程的最终步骤。
已审核的主题路径