跳到内容
返回探索
数学建模 / 英语

微分方程 - 20 - 特征方程(二阶)

The Lazy Engineer · YouTube · 8:08

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文
阅读完整概览

本段为时长约120秒的白板讲解片段,介绍求解二阶齐次线性常系数微分方程的特征方程法。教师先进行简短的电子笔测试,随后写出 ay'' + by' + cy = 0,并解释为何称其为‘齐次’、‘二阶’与‘常系数’;接着假设试探解 y=ey = e^{rt},计算其导数 y' = re^{rt} 和 y'' = r2er^2e^{rt},再代回原方程,得到 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0。该片段停在此代入后的形式,尚未提取公因子 e^{rt},也未推导出二次特征方程。 这段时长为120秒的白板讲解,推导了二阶线性齐次微分方程的特征方程。从试探解y=erty=e^{rt}及其导数出发,主讲人提取公因式erte^{rt},并分别画出erte^{rt}在r>0r>0、r<0r<0和r=0r=0情形下的行为示意图,以此论证该因子恒不为零,随后将其约去,得到0=ar2+br+c0=ar^2+br+c。接着用二次公式求解该二次方程,并将±\pm号解释为对应两个根,分别记作r1r_1和r2r_2。 本视频片段讲解了利用特征方程求解二阶常系数线性齐次微分方程的方法:首先假设解的形式为 y=ey = e^{rt},由此导出一个二次特征方程;再用二次公式求出该方程的根,从而得到两个基本指数解;最后依据叠加原理,将这两个基本解组合成通解 y=C1er1t+C2er2ty = C_1 e^{r_1 t} + C_2 e^{r_2 t}。 这段时长为120秒的白板片段,介绍了求解常系数二阶线性齐次常微分方程 ay'' + by' + cy = 0 的特征方程法。它展示了指数试探解 y=ey = e^{rt}、求根的二次公式(根为 r1r_1 和 r2r_2),以及实根情形的解 y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t}。随后对剩余情形进行分类:判别式为负时得到复根,视频指出此时可用欧拉公式将指数形式转化为余弦与正弦形式;而 r1=r2r_1 = r_2 被识别为重根情形,其完整求解方法推迟至后续视频讲解。结尾处重述了整体求解流程,随后切换至非数学内容的片尾卡片。 这是关于微分方程系列讲座的第8个视频片段,为静态结束画面。画面中包含前一个视频的缩略图,其上展示了二阶线性常微分方程的一般形式:P(x)yP(x)y'' + Q(x)yQ(x)y' + R(x)y=F(x)R(x)y = F(x)。该方程配有指向各项的彩色箭头,用以说明其组成结构。画面其余部分为标准的YouTube结束页元素,包括订阅按钮及社交媒体链接。本片段无音频,亦无动态的数学推导过程。

在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。

章节

0:00开场与电子笔测试0:17定义二阶齐次常系数常微分方程0:42假设指数形式解 y=ey = e^{rt}1:14计算 y' 和 y''1:37将导数代入微分方程2:00从代入后的方程中提取公因子erte^{rt}2:12图示论证erte^{rt}恒不为零2:44约去指数因子,并命名该方程为特征方程3:19应用二次公式求解rr3:35识别两个根r1r_1和r2r_24:00推导特征方程与基本解4:21应用叠加原理构造通解4:53解法回顾6:00特征方程的建立与实根情形6:16虚根/复根情形与欧拉公式7:04重根情形7:23方法总结与后续步骤7:56片尾卡片8:00结束画面与前一个视频缩略图

学习解说文稿

依据视频画面与讲解整理,并非逐字语音转写。

视频以一页笔记本风格页面开启,标题为“2nd Order - Characteristic Equation”。主讲人先用电子笔快速绘制并擦除几道红色涂写,以测试笔触——此部分属于技术准备,不涉及数学内容。

课程随后明确本课目标问题类型:常系数、齐次、二阶微分方程。屏幕上显示为 ay′′+by′+cy=0ay'' + by' + cy = 0。主讲人将每个术语与公式本身对应说明:‘齐次’是因为方程右边等于零;‘二阶’是因为最高阶导数为 y′′y'';‘常系数’是因为 aa、bb 和 cc 均为常数。

接下来,视频引入试探解 y=erty = e^{rt}。主讲人指出 rr 是待求的未知量,并说明求解计划:对该假设形式求两次导数,将结果代回微分方程,从而获得解。

随后按顺序计算各阶导数。由y=erty = e^{rt}出发,利用链式法则明确写出一阶导数为y′=rerty' = re^{rt};再次求导得到y′′=r2erty'' = r^2e^{rt}。这三个公式被并列写在黑板上,表明它们将作为一个整体使用。

最后执行代入步骤:将y′′y''、y′y'和yy代入原方程,得到a(r2ert)+b(rert)+c(ert)a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt})。主讲人指出,该表达式等于零,因为原方程是齐次的;因此视频在代入后的方程a(r2ert)+b(rert)+c(ert)=0a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0处结束,不再进行后续代数化简。

本段以黑板上已代入的方程开场。主讲人的第一步是代数整理:将每一项中的公因子erte^{rt}提出,将表达式重写为0=ert[ar2+br+c]0=e^{rt}[ar^2+br+c]。此举使问题结构清晰呈现:一个指数乘子乘以一个关于rr的多项式。

在求解rr之前,视频暂停以说明下一步约去操作的合理性。画出一条绿色的水平tt轴示意图,并对比erte^{rt}的三种情形:当r>0r>0时,曲线从1上升;当r<0r<0时,曲线向0下降;当r=0r=0时,曲线恒定于1。该图示的数学目的在于表明:在当前讨论的实数情形下,指数因子不会取到零值。

借助这一视觉支持,主讲人指出erte^{rt}恒不为零,因此可从方程两边同时除以它。该因子被划去,留下简化后的代数条件0=ar2+br+c0=ar^2+br+c。这一剩余的二次式被明确命名为特征方程。

推导随后由微分方程转向初等代数。由于特征方程是关于rr的二次式,故直接应用二次公式,得出r=−b±b2−4ac2ar=\frac{-b\pm\sqrt{b^2-4ac}}{2a}。本片段并未重新推导二次公式,而是将其作为已知工具使用。

在最后几秒,画面聚焦于±\pm符号。主讲人将其解释为存在两个根的证据,黑板上将它们标记为r1r_1和r2r_2。该片段结束于特征根已被识别出来之时,尚未进入后续关于这些根如何构造通解的讨论。

我们首先取特征方程所得的两个根r1r_1和r2r_2,将其代入所假设的解形式y=erty = e^{rt}中,从而得到两个基本解:y1=er1ty_1 = e^{r_1 t}和y2=er2ty_2 = e^{r_2 t}。

由于该微分方程是线性齐次的,叠加原理适用——即任意有效解的线性组合仍是有效解。因此,我们将通解构造成y=C1y1+C2y2y = C_1 y_1 + C_2 y_2,其展开形式为y=C1er1t+C2er2ty = C_1 e^{r_1 t} + C_2 e^{r_2 t}。

回顾整个解法:对于一个具常系数的二阶线性齐次微分方程(ay′′+by′+cy=0ay'' + by' + cy = 0),我们假设解的形式为y=erty = e^{rt};代入后得到特征方程ar2+br+c=0ar^2 + br + c = 0;再用求根公式解出rr,得到两个根r1r_1和r2r_2;这些根对应基本解,我们对其作线性组合,即得通解。

页面以标题“2阶——特征方程”和模型问题 ay'' + by' + cy = 0 开始。其旁,教师写出试探解 y=ey = e^{rt}。这确立了核心方法:将常微分方程中的导数替换为指数试探解所导出的 r 的幂次,从而将微分方程化为关于 r 的代数方程。

正下方显示二次公式 r = (-b ± √(b² - 4ac))/(2a),其两个输出分别标记为 r₁ 和 r₂。该公式清晰表明,整个求解策略依赖于两个特征根,尤其依赖判别式 b² - 4ac。

第一种情形写作“1) r₁、r₂ 是实数。”一条绿色箭头从该行向上指向通解 y=cy = c₁e^{r₁t} + c₂e^{r₂t}。这一视觉关联说明:当两根均为实数时,解是两个指数函数的线性组合,每个根对应一个指数函数。

课程转入第二种情形,标为“2) r₁、r₂ 是虚数/复数。”教师在讲解时圈出判别式 b² - 4ac,并指出:若该量为负,则平方根内含负数,根变为复数。黑板上的文字及口头表述将此情形推广至更一般情况:复根也可能包含实部。

在复根情形下,黑板补充写道:“⇒ 利用欧拉公式引入余弦与正弦。”这是本片段中宣布的关键过渡:不将答案保留在含复指数的指数形式中,而是借助欧拉公式重写解,使正弦与余弦项显现。此处并未展开具体推导;视频仅指明下一课所需的关键工具。

第三种情形写作“3) r₁ = r₂ ⇒ 重根。”此时,二次公式给出的两个输出重合。教师明确将其标记为一种独立情形,并指出其求解步骤比实单根情形更复杂。本片段未给出重根情形下的具体公式;相关内容延后至后续视频讲解。

在结尾总结中,教师重述常系数二阶线性齐次微分方程的整体求解流程:建立特征方程,解出 r₁ 和 r₂,再将这些根代入指数试探解假设,从而得到 y。额外的箭头进一步强调从根到最终解形式之间的关联。

数学黑板消失,出现一张非教学性质的片尾卡片,含频道品牌标识与联系方式。该最终片段不再包含任何数学内容。

该视频呈现一个静态结束画面。左侧标题为“前一个视频”,下方是一张记事本缩略图;记事本上手写着标题“2阶方程(线性)”以及一般数学公式P(x)y′′+Q(x)y′+R(x)y=F(x)P(x)y'' + Q(x)y' + R(x)y = F(x)。若干彩色箭头用于突出方程的不同部分:蓝色箭头指向P(x)y′′P(x)y''项,绿色箭头指向Q(x)y′Q(x)y'项,红色箭头指向R(x)yR(x)y项,紫色箭头指向F(x)F(x)项。这一可视化分解有助于识别二阶线性常微分方程中的各个系数函数及非齐次激励函数。画面其余部分显示常规频道结束页信息,包括提示观众将作业题发送至指定邮箱、一个“订阅”按钮,以及脸书和推特账号链接。本片段无音频。

知识卡片

01

二阶齐次常系数常微分方程

视频将所研究的方程类别定义为ay′′+by′+cy=0ay'' + by' + cy = 0,并直接从该公式解释术语:齐次指方程右端为00,二阶指最高阶导数为y′′y'',常系数指aa、bb和cc均为常数。

ay′′+by′+cy=0ay'' + by' + cy = 0
02

指数形式试探解

为求解该方程,主讲人假设解的形式为y=erty = e^{rt},其中rr是待确定的未知常数。所陈述的策略是:对该形式求两次导数,并将结果代回微分方程。

y=erty = e^{rt}
03

对所设解求导

从y=erty = e^{rt}出发,一阶导数为y′=rerty' = re^{rt}(使用链式法则求得),二阶导数为y′′=r2erty'' = r^2e^{rt}。这三个表达式被并列写出,以便代入。

y′=rert,y′′=r2erty' = re^{rt}, \quad y'' = r^2e^{rt}
04

代入微分方程

将yy、y′y'和y′′y''代入ay′′+by′+cy=0ay'' + by' + cy = 0,得到a(r2ert)+b(rert)+c(ert)a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt})。由于原方程是齐次的,代入后的表达式被令等于00。

a(r2ert)+b(rert)+c(ert)=0a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0
05

提取指数试探因子

将y=erty=e^{rt}代入二阶齐次方程后,每一项都含有相同的指数因子。视频将方程重写为0=ert[ar2+br+c]0=e^{rt}[ar^2+br+c],把依赖于rr的部分单独放在一个多项式括号内。

0=ert[ar2+br+c]0 = e^{rt}[ar^2 + br + c]
06

为何可以约去erte^{rt}

主讲人分别画出erte^{rt}在r>0r>0、r<0r<0和r=0r=0下的图像,以此说明:在所展示的实数情形中,该指数函数恒不为零。由于该因子非零,方程两边可同时除以它,而不会丢失关于rr的任何解。

07

二阶情形的特征方程

一旦去掉指数因子,剩下的代数方程就称为特征方程。本片段中,它是二次式0=ar2+br+c0=ar^2+br+c,其根决定了试探解中rr的可取值。

0=ar2+br+c0 = ar^2 + br + c
08

求解特征方程

特征方程是关于rr的二次方程,因此视频采用标准的二次公式来求得其根。这便将微分方程问题转化为单变量的代数问题。

r=−b±b2−4ac2ar = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
09

由±\pm符号得到的两个根

视频突出显示了二次公式中的正负号,指出它正是产生两个独立解的来源。主讲人将这两个特征根命名为r1r_1和r2r_2,为本片段之外的下一步方法做好铺垫。

r1,r2r_1, r_2
10

特征方程法

对于二阶线性齐次微分方程ay′′+by′+cy=0ay'' + by' + cy = 0,假设其解为y=erty = e^{rt};将此假设解代入方程,可得特征方程ar2+br+c=0ar^2 + br + c = 0。

ar2+br+c=0ar^2 + br + c = 0
11

求根

利用求根公式解特征方程,求得根r1r_1和r2r_2。

r=−b±b2−4ac2ar = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
12

基本解

特征方程的每一个根rr都对应一个形如erte^{rt}的基本解;当两根互异,即为r1r_1和r2r_2时,对应的基本解分别为y1=er1ty_1 = e^{r_1 t}和y2=er2ty_2 = e^{r_2 t}。

y1=er1t,y2=er2ty_1 = e^{r_1 t}, \quad y_2 = e^{r_2 t}
13

通过叠加原理求通解

由于该微分方程是线性的,其通解是基本解的线性组合,其中C1C_1和C2C_2是由初始条件确定的任意常数。

y=C1er1t+C2er2ty = C_1 e^{r_1 t} + C_2 e^{r_2 t}
14

ay'' + by' + cy = 0 的特征方程构建

本片段介绍求解常系数二阶线性齐次常微分方程的标准方法。方程写作 ay'' + by' + cy = 0,并在其旁写出试探解 y=ey = e^{rt}。该设定的目的,是将微分方程转化为关于参数 r 的代数方程。

ay′′+by′+cy=0,y=ertay'' + by' + cy = 0, \quad y = e^{rt}
15

特征根的二次公式

指数代换之后,利用二次公式求得根。黑板上明确写出 r = (-b ± √(b² - 4ac))/(2a),并将两个结果标记为 r₁ 和 r₂。判别式 b² - 4ac 是决定接下来适用哪种情形的量。

r=−b±b2−4ac2a⇒r1,r2r = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} \Rightarrow r_1, r_2
16

情形1:实根给出 y=cy = c₁e^{r₁t} + c₂e^{r₂t}

当 r₁ 和 r₂ 为实数时,视频指出解具有所展示的指数和形式。一条绿色箭头直观地将‘r₁, r₂ 是实数’这一行与公式 y=cy = c₁e^{r₁t} + c₂e^{r₂t} 连接起来,使该情形成为分类中最简单的情形。

y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t}
17

情形2:判别式为负,产生复根

教师圈出 b² - 4ac 并解释:若该表达式为负,则平方根内含负数,特征根变为复数。黑板将该情形标注为‘虚数/复数’,讲解进一步说明:此处‘复数’包含实部,并非仅指纯虚数。

b2−4ac<0⇒complex rootsb^2 - 4ac < 0 \Rightarrow \text{complex roots}
18

在复根情形中使用欧拉公式

对于复根情形,黑板上写着‘⇒ 利用欧拉公式化为余弦/正弦形式’。该片段并未在此处执行转换,但指明了下一步所需操作:利用欧拉公式,将含复指数的指数解重写为余弦与正弦的组合形式。

use Euler’s formula to convert ert to cos/sin form\text{use Euler's formula to convert } e^{rt} \text{ to cos/sin form}
19

情形3:当 r₁ = r₂ 时出现重根

黑板上最后一种情形是 r₁ = r₂,标注为‘重根’。教师指出这种情况需要更复杂的求解方法,并将具体细节延后至后续视频讲解。因此,该片段将重根情形与实单根情形明确区分开来,而非盲目套用同一公式。

r1=r2⇒repeated rootsr_1 = r_2 \Rightarrow \text{repeated roots}
20

结尾处对整体流程进行总结

结束语重述整个方法:先引入特征方程,再解出两个根 r₁ 和 r₂,最后将它们代回原始的指数假设形式,从而得到 y。这一总结将黑板上展示的三种情形统一归于同一种求解流程之下。

21

二阶线性常微分方程的一般形式

缩略图展示了二阶线性常微分方程的标准数学表达式。该方程为P(x)y′′+Q(x)y′+R(x)y=F(x)P(x)y'' + Q(x)y' + R(x)y = F(x),其中yy是关于xx的未知函数,y′y'和y′′y''分别是其一阶与二阶导数,P(x)P(x)、Q(x)Q(x)和R(x)R(x)是系数函数,F(x)F(x)表示非齐次激励项。图中用颜色编码的箭头将每个系数与其对应的项直观地关联起来。

P(x)y′′+Q(x)y′+R(x)y=F(x)P(x)y'' + Q(x)y' + R(x)y = F(x)

详细学习笔记

按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。

符号定义 · 36

y

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    因变量在显示的方程 ay'' + by' + cy = 0 和试探解 y=ey = e^{rt} 中均记作 y。

符号

y

含义

关于 t 的未知函数;即所求微分方程的解。

适用范围

关于 t 的函数

t

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    t 出现在假设解 y=ey = e^{rt} 及其导数的指数位置上。

符号

t

含义

对 y 进行求导所依据的自变量。

适用范围

实变量

a

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    a 是方程 ay'' + by' + cy = 0 中 y'' 的系数。

  2. 声音
    观察依据

    讲话者指出 a、b 和 c 均为常数。

符号

a

含义

二阶导数项的常数系数。

适用范围

常数

b

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    b 是方程 ay'' + by' + cy = 0 中 y' 的系数。

  2. 声音
    观察依据

    讲话者指出 a、b 和 c 均为常数。

符号

b

含义

一阶导数项的常数系数。

适用范围

常数

c

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    c 是方程 ay'' + by' + cy = 0 中 y 的系数。

  2. 声音
    观察依据

    说话者指出 a、b 和 c 均为常数。

符号

c

含义

零阶项的常数系数。

适用范围

常数

r

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    r 出现在假设解 y=ey = e^{rt} 中,也出现在代入后的表达式 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt}) 中。

  2. 声音
    观察依据

    说话者指出 r 是一个待求解的未知量。

符号

r

含义

指数试探解中的未知常数参数。

适用范围

未知常数

y'

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    y' 显式地写作 y' = re^{rt}。

符号

y'

含义

y 关于 t 的一阶导数。

适用范围

y 的导数

y''

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    y'' 明确写作 y'' = r2er^2e^{rt}。

符号

y''

含义

y 关于 t 的二阶导数。

适用范围

y 的导数

a,b,c

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上展示了微分方程ay′′+by′+cy=0ay''+by'+cy=0,因此a,b,ca,b,c以系数形式出现。

  2. 声音
    观察依据

    随后,二次公式使用 a,b,ca,b,c 在 r=(−b±b2−4ac)/(2a)r=(-b\pm\sqrt{b^2-4ac})/(2a)。

待核验内容
  1. 视频未明确说明a,b,ca,b,c是常数还是函数;它们在推导过程中被用作固定系数。

符号

a,b,c

含义

二阶线性齐次微分方程及其对应的特征二次方程中的系数。

适用范围

作为所展示方程中的参数使用;屏幕上未明确给出其定义域。

y

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    试探解写作y=erty=e^{rt}。

  2. 公式
    观察依据

    微分方程写作ay′′+by′+cy=0ay''+by'+cy=0。

符号

y

含义

微分方程中待求的未知函数。

适用范围

在所展示的设定中,是关于tt的函数。

t

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    指数函数写作erte^{rt}。

  2. 图示
    观察依据

    示意图的横轴标记为tt。

  3. 声音
    观察依据

    主讲人说:“因此,若这是t轴,那么当t等于0时,我们的函数e的rt次方从1开始。”

符号

t

含义

自变量/指数函数图像中的时间轴。

适用范围

在图像中显示为横轴;未明确给出具体区间。

r

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    试探解及其导数使用rr:y=erty=e^{rt},y′=rerty'=re^{rt},y′′=r2erty''=r^2e^{rt}。

  2. 声音
    观察依据

    说话人说:“现在我们将用它来求解 r。”

待核验内容
  1. 视频讨论了图像的三种情形r>0r>0、r<0r<0和r=0r=0,但在应用二次公式前并未正式限定rr为实数。

符号

r

含义

指数试探解中的参数;后续被视作特征方程的未知根。

适用范围

在erte^{rt}中用作标量参数,在ar2+br+c=0ar^2+br+c=0中用作代数未知量。

知识点 · 18

具有常系数的二阶齐次线性常微分方程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人表示,他们正在研究常系数、齐次、二阶微分方程。

  2. 公式
    观察依据

    黑板上显示 ay'' + by' + cy = 0。

  3. 声音
    观察依据

    主讲人解释:‘齐次’是因为方程右边等于零,‘二阶’是因为最高阶导数是 y 的二阶导数,‘常系数’是因为 a、b 和 c 均为常数。

定义
解释

本片段将所研究方程的类型定义为具有常系数的线性二阶齐次微分方程。所展示的标准形式为 ay'' + by' + cy = 0,其中 y 是关于 t 的未知函数,a、b、c 为常数。主讲人明确将每个修饰语与公式中可见的特征一一对应:‘齐次’指等式右边为 0,‘二阶’指出现的最高阶导数为 y'',‘常系数’指 a、b、c 不随变量变化。

公式
ay′′+by′+cy=0ay'' + by' + cy = 0
适用条件
  1. 该方程关于 y、y' 和 y'' 是线性的。

  2. 最高阶导数为二阶。

  3. 等式右边为 0。

  4. a、b 和 c 是常数。

指数型假设解形式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 y=ey = e^{rt}。

  2. 声音
    观察依据

    主讲人表示,他们假设解 y 具有 e 的 r 乘以 t 次方的形式,其中 r 是一个待求的未知量。

  3. 声音
    观察依据

    主讲人表示,思路是将其求导两次,代回微分方程,解出 r,从而得到一个解。

方法
解释

视频引入了求解此类方程的标准试探解形式 y=ey = e^{rt}。此处 r 被视为待确定的未知常数。屏幕上和讲解中描述的方法是:取该假设形式,计算 y' 和 y'',将这些表达式代入微分方程,然后解出 r。

公式
y=erty = e^{rt}
适用条件
  1. 适用于本片段中所示的常系数齐次二阶方程。

  2. r 是一个待求的未知常数。

先修条目
  1. 具有常系数的二阶齐次线性常微分方程

将试探解代入微分方程

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt})。

  2. 声音
    观察依据

    主讲人说,将这三个表达式代入微分方程。

  3. 声音
    观察依据

    主讲人说,结果等于零,因为该方程是齐次的。

方法
解释

在写出 y、y' 和 y'' 后,视频将它们代入方程 ay'' + by' + cy = 0。由此得到屏幕上显示的表达式 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt}),主讲人指出该式等于 0,因为原方程是齐次的。

公式
a(r2ert)+b(rert)+c(ert)=0a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0
适用条件
  1. 使用之前算出的导数 y' = re^{rt} 和 y'' = r2er^2e^{rt}。

  2. 代入齐次方程 ay'' + by' + cy = 0。

先修条目
  1. 指数型假设解形式

提取公共的指数因子

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    “我们直接把 e 的 rt 次方从所有项中提取出来。”

  2. 公式
    观察依据

    黑板上的表达式从0=a(rert)+b(rert)+c(ert)0=a(re^{rt})+b(re^{rt})+c(e^{rt})过渡到0=ert[ar2+br+c]0=e^{rt}[ar^2+br+c]。

方法
解释

将试探解代入微分方程后,每一项都含有相同的因子erte^{rt}。演示的方法是将这个公共的指数因子从整个表达式中提取出来,括号内留下一个关于rr的多项式。

公式
0=ert[ar2+br+c]0 = e^{rt}[ar^2 + br + c]
适用条件
  1. 从代入后的方程0=a(rert)+b(rert)+c(ert)0=a(re^{rt})+b(re^{rt})+c(e^{rt})出发。

  2. 所有项都共享因子erte^{rt}。

为什么可以约去erte^{rt}

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    “但在所有这些情形中,我们注意到 e 的 rt 次方永远不会为零;对于任意 r 值,它在整个定义域上恒不为零。”

  2. 图示
    观察依据

    一幅绿色示意图展示了 erte^{rt} 的三种情况:当 rr 为正时递增,rr 当 1 为负时递减趋近于零,且当 r=0r=0 时为常数。

待核验内容
  1. 口述的论证是直观的、分情况讨论的,而非基于指数函数性质的严格证明。

方法
解释

视频指出,无论rr为正、为负还是为零,指数因子都不等于零;由于该因子非零,方程两边可同时除以它,而不会改变关于rr的解集。

公式
适用条件
  1. 在所展示的定义域上,因子erte^{rt}被假定为非零。

  2. 此步骤用于分离出关于rr的代数条件。

先修条目
  1. 提取公共的指数因子

二阶情形下的特征方程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    “因此,我最终得到的是我们称之为特征方程的东西。”

  2. 公式
    观察依据

    黑板上写出0=ar2+br+c0 = ar^2 + br + c。

定义
解释

在约去公共的指数因子后,剩余的关于rr的代数方程即被认定为特征方程;本片段中,该方程是二次式ar2+br+c=0ar^2+br+c=0。

公式
0=ar2+br+c0 = ar^2 + br + c
适用条件
  1. 由二阶线性齐次微分方程,借助试探解y=erty=e^{rt}得到。

  2. 要求先约去非零因子erte^{rt}。

先修条目
  1. 提取公共的指数因子
  2. 为什么可以约去erte^{rt}

用二次公式求解特征方程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    “现在我们可以用求根公式来解出 r。”

  2. 公式
    观察依据

    黑板上写下r=−b±b2−4ac2ar = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}。

待核验内容
  1. 视频提到了二次公式,但并未通过配方法重新推导该公式。

方法
解释

一旦识别出特征方程是关于rr的二次方程,视频便应用标准二次公式,得到rr的可能取值。

公式
r=−b±b2−4ac2ar = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
适用条件
  1. 特征方程必须是关于rr的二次方程。

  2. 所展示的公式假设了标准形式ar2+br+c=0ar^2+br+c=0。

先修条目
  1. 二阶情形下的特征方程

±\pm符号给出两个特征根

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    “这里有个加减号,这意味着我们实际上有两个根。”

  2. 公式
    观察依据

    黑板圈出±\pm符号,随后写下r1,r2r_1, r_2。

待核验内容
  1. 该片段未讨论判别式导致两根重合或变为复数的情形;它仅指出,在当前设定下,±\pm给出两个根。

定义
解释

主讲人强调,二次公式中的加减号为rr生成两个独立的解,这两个解随后被命名为r1r_1和r2r_2。

公式
r1,r2r_1, r_2
适用条件
  1. 适用于所展示的带±\pm符号的二次求解公式。

  2. 本片段中,两个根被引入为不同的标签,未进一步分情况讨论。

先修条目
  1. 用二次公式求解特征方程

特征方程

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    特征方程 D = ar^2 + br + c 被写在黑板上。

  2. 声音
    观察依据

    我们成功推导出了可用于求解 r 的特征方程。

定义
解释

对于二阶线性齐次常系数微分方程,特征方程是将假设解形式 y=ey = e^{rt} 代入微分方程后所得的一个二次代数方程。

公式
ar2+br+c=0ar^2 + br + c = 0
适用条件
  1. 该微分方程必须是线性的、齐次的,且系数为常数。

特征方程的根

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    根由公式 r = (-b ± √(b2−4b^2 - 4ac)) / 2a 给出。

  2. 声音
    观察依据

    因此,r 的结果为负 b 加减 b 的平方减去 4ac 的平方根,再除以 2 倍的 a。

公式
解释

特征方程的根通过二次公式求得,该公式提供了构造基本解所需的 r 值。

公式
r=−b±b2−4ac2ar = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
适用条件
  1. a 不等于0

先修条目
  1. 特征方程

基本解

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    两个解写作 y1=er1ty_1 = e^{r_1 t} 和 y2=er2ty_2 = e^{r_2 t}。

  2. 声音
    观察依据

    于是我们得到两个可能的解:一个是 y1,等于 e 的 r1 乘以 t 次方;另一个是 y2,等于 e 的 r2 乘以 t 次方。

定义
解释

特征方程的每一个根都对应一个指数函数,该函数是原微分方程的一个解。

公式
y1=er1t,y2=er2ty_1 = e^{r_1 t}, \quad y_2 = e^{r_2 t}
适用条件
  1. r1r_1 和 r2r_2 是特征方程的两个互异根。

先修条目
  1. 特征方程的根

通解

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    通解写作 y=C1er1t+C2er2ty = C_1 e^{r_1 t} + C_2 e^{r_2 t}。

  2. 声音
    观察依据

    由于方程是线性的,我们可以将最终解定义为 y1 与 y2 的线性组合,即 C1 乘以 e 的 r1t 次方,加上 C2 乘以 e 的 r2 乘以 t 次方。

公式
解释

由于该微分方程是线性的,其任意解的线性组合仍是它的解。通解由两个基本解的线性组合构成。

公式
y=C1er1t+C2er2ty = C_1 e^{r_1 t} + C_2 e^{r_2 t}
适用条件
  1. 该微分方程是线性且齐次的。

  2. r1r_1 和 r2r_2 是两个互异的实根。

先修条目
  1. 基本解
定理与条件 · 8

指数因子的非零性

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    但在所有这些情况下,我们注意到 e 的 rt 次方恒不为零;对任意 r 值,它在整个定义域上均非零。

  2. 图示
    观察依据

    该图像显示指数曲线始终位于 tt轴上方,在正-rr 和负-rr 情况下,等于 1 在 r=0r=0 情况下。

待核验内容
  1. 该命题针对实数r,tr,t以图像与口头叙述方式呈现;本片段未形式化阐述指数函数背后的定理。

命题
命题

对于视频中讨论的情形,erte^{rt}恒不为零,因此可从方程中约去。

前提
  1. 该表达式形如erte^{rt},黑板上展示了其实值情形。

  2. 所考虑的方程为0=ert(ar2+br+c)0=e^{rt}(ar^2+br+c)。

量词

对视频中讨论的所有实值情形中展示的rr与tt取值。

化简为特征方程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    因此,我最终得到的是我们称之为特征方程的东西。

  2. 公式
    观察依据

    黑板上写下 0=ar2+br+c0 = ar^2 + br + c 在划去 erte^{rt}。

命题
命题

消去非零因子erte^{rt}后,微分方程的代换简化为代数方程0=ar2+br+c0=ar^2+br+c,该方程称为特征方程。

前提
  1. 从0=ert(ar2+br+c)0=e^{rt}(ar^2+br+c)出发。

  2. 利用ert≠0e^{rt}\neq 0这一事实。

量词

本片段讨论的是二阶线性齐次方程。

二次公式给出两个特征根。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    这意味着我们实际上得到两个根……一个根记作 r₁,另一个根记作 r₂。

  2. 公式
    观察依据

    二次公式以±\pm形式呈现,r1,r2r_1,r_2写在底部。

待核验内容
  1. 本片段未说明重根或非实根的情形;它仅根据所展示的±\pm形式直接断言存在两个根。

命题
命题

由于解的表达式中含有±\pm,特征方程得出两个根,分别记为r1r_1和r2r_2。

前提
  1. 特征方程通过r=(−b±b2−4ac)/(2a)r=(-b\pm\sqrt{b^2-4ac})/(2a)求解。

量词

本段展示的是该二次方程的解。

线性微分方程的叠加原理

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    由于这两个解均成立,又因我们处理的是线性二阶微分方程……而它具有线性性质,因此可定义最终解……等于 y1 与 y2 的线性组合

定理
命题

如果 y1y_1 和 y2y_2 是某个线性齐次微分方程的解,那么任意线性组合 C1y1+C2y2C_1 y_1 + C_2 y_2 也是该方程的解。

前提
  1. 该微分方程是线性的。

  2. 该微分方程是齐次的。

量词

对任意常数 C1C_1 和 C2C_2。

对于实特征根,解是两个指数函数的线性组合

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t},该式直接位于‘1) r1r_1, r2r_2 是实数’这一行的上方。

  2. 声音
    观察依据

    讲解者表示:若 r1r_1 与 r2r_2 是实数,则所得解将恰好形如该式。

命题
命题

若特征根 r1r_1 与 r2r_2 为实数,则该微分方程的解为 y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t}。

前提
  1. 该常微分方程为 ay'' + by' + cy = 0,其中 a、b、c 为常数。

  2. 特征根 r1r_1 和 r2r_2 是实数。

量词

对于所展示的二阶常系数齐次常微分方程,当 r1r_1 和 r2r_2 为实数时。

判别式为负时,产生复特征根。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人指出,用求根公式解 r 时,若判别式为负,则平方根内出现负数,从而得到复数。

  2. 公式
    观察依据

    在该讲解过程中,黑板上圈出了表达式 b2−4b^2 - 4ac。

命题
命题

若在 r 的求根公式中,b2−4b^2 - 4ac 为负,则所得特征根为复数。

前提
  1. 根由公式 r = (-b ± √(b2−4b^2 - 4ac))/(2a) 计算得出。

  2. 判别式 b2−4b^2 - 4ac 为负。

量词

只要所展示的求根公式中判别式为负。

欧拉公式将指数形式转化为余弦与正弦形式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板在复根情形下写下“⇒ 利用欧拉公式转为余弦/正弦形式”。

  2. 声音
    观察依据

    主讲人指出,欧拉公式将使我们能把这种指数形式转化为余弦与正弦的组合。

命题
命题

在复根情形下,欧拉公式被用于将指数形式的解重写为余弦与正弦的组合。

前提
  1. 特征根为复数。

  2. 解最初以指数形式表示。

量词

针对所展示的复根情形。

重根情形需要更复杂的求解方法

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上写着“3) r1=r2r_1 = r_2 ⇒ 重根”。

  2. 声音
    观察依据

    主讲人指出,若得到重根,则需采用稍复杂一些的方法,但相关内容将在后续视频中讲解。

命题
命题

当 r1=r2r_1 = r_2 时,求解步骤比实单根情形更复杂,相关内容延后至后续视频讲解。

前提
  1. 特征根满足 r1=r2r_1 = r_2。

量词

针对所展示的重根情形。

推导与证明 · 7

对所假设的指数形式解求导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上先写出 y=ey = e^{rt},再写出 y' = re^{rt},最后写出 y'' = r2er^2e^{rt}。

  2. 声音
    观察依据

    主讲人说 y 的导数等于 r 乘以 e 的 rt 次方,因为对其求导时需运用链式法则进行乘法运算。

  3. 声音
    观察依据

    主讲人说 y 的二阶导数等于 r 的平方乘以 e 的 rt 次方。

严格证明
步骤
  1. 公式
    y=erty = e^{rt}
    解释

    从黑板上写出的假设解形式出发。

    步骤依据

    视频中给出的假设。

    视频直接表达
  2. 公式
    y′=rerty' = re^{rt}
    解释

    对 t 求一次导数。

    步骤依据

    主讲人明确将因子 r 归因于链式法则。

    视频直接表达
  3. 公式
    y′′=r2erty'' = r^2e^{rt}
    解释

    对 t 再求一次导数。

    步骤依据

    二阶导数直接写在黑板上并口头陈述。

    视频直接表达
结论

试探解及其前两阶导数为 y=ey = e^{rt},y' = re^{rt},以及 y'' = r2er^2e^{rt}。

将 y、y' 和 y'' 代入 ay'' + by' + cy = 0。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt})。

  2. 声音
    观察依据

    主讲人说将这三个表达式代入我们的微分方程。

  3. 声音
    观察依据

    主讲人说它等于零,因为该方程是齐次的。

严格证明
步骤
  1. 公式
    ay′′+by′+cy=0ay'' + by' + cy = 0
    解释

    从原始的二阶齐次方程开始。

    步骤依据

    此前在视频片段中工作区顶部已显示。

    视频直接表达
  2. 公式
    a(r2ert)+b(rert)+c(ert)a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt})
    解释

    用 r2er^2e^{rt} 替换 y'',用 re^{rt} 替换 y',用 e^{rt} 替换 y。

    步骤依据

    使用紧接此步骤之前推导出的导数。

    视频直接表达
  3. 公式
    a(r2ert)+b(rert)+c(ert)=0a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0
    解释

    令代入后的表达式等于零。

    步骤依据

    主讲人指出,等式右边为零是因为该方程是齐次的。

    视频直接表达
结论

假设的解代入后得到方程 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0。

从指数形式的试探解出发推导特征方程

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上依次显示ay′′+by′+cy=0ay''+by'+cy=0、0=a(rert)+b(rert)+c(ert)0=a(re^{rt})+b(re^{rt})+c(e^{rt})、0=ert[ar2+br+c]0=e^{rt}[ar^2+br+c]、0=ar2+br+c0=ar^2+br+c。

  2. 声音
    观察依据

    讲解中明确提取公因式 erte^{rt},并论证其恒不为零,两边同除以该式,并将所得结果命名为特征方程。

待核验内容
  1. 中间一行0=a(rert)+b(rert)+c(ert)0=a(re^{rt})+b(re^{rt})+c(e^{rt})在前两项上似乎与所给出的导数y′=rerty'=re^{rt}和y′′=r2erty''=r^2e^{rt}存在类似抄写错误的不匹配;黑板上最终的因式分解形式与0=ert(ar2+br+c)0=e^{rt}(ar^2+br+c)一致。这一点需对照原始帧序列进行核查。

严格证明
步骤
  1. 公式
    ay′′+by′+cy=0ay'' + by' + cy = 0
    解释

    从黑板顶部所示的二阶线性齐次微分方程开始。

    步骤依据

    题目给定的条件设置。

    视频直接表达
  2. 公式
    y=ert,y′=rert,y′′=r2erty = e^{rt},\quad y' = re^{rt},\quad y'' = r^2e^{rt}
    解释

    代入指数形式的试探解及其前两阶导数。

    步骤依据

    这些公式明确书写在黑板右侧。

    视频直接表达
  3. 公式
    0=ert[ar2+br+c]0 = e^{rt}[ar^2 + br + c]
    解释

    代入后,从所有项中提取公因式erte^{rt}。

    步骤依据

    如音频所述,提取各项共有的指数项:“把 e 的 rt 次方从所有项中提出来。”

    视频直接表达
  4. 公式
    ert≠0e^{rt} \neq 0
    解释

    注意,在所讨论的情形中,该指数因子恒不为零。

    步骤依据

    结合图像及口头解释:erte^{rt} 在正数、负数和零时均不为零rr。

    视频直接表达
  5. 公式
    0=ar2+br+c0 = ar^2 + br + c
    解释

    两边同除以非零因子erte^{rt},从而分离出关于rr的代数方程。

    步骤依据

    由于00除以一个非零量仍为00,该因子被约去;主讲人将结果称为特征方程。

    视频直接表达
结论

代入法将微分方程化简为特征二次式ar2+br+c=0ar^2+br+c=0。

求解特征二次式以得到rr。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上先写出r=−b±b2−4ac2ar = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a},然后写出r1,r2r_1, r_2。

  2. 声音
    观察依据

    主讲人指出,二次方程用于求解rr,接着说明正负号给出两个根。

待核验内容
  1. 该片段未展示二次公式本身的推导过程,仅展示了其应用。

严格证明
步骤
  1. 公式
    0=ar2+br+c0 = ar^2 + br + c
    解释

    从上一步推导所得的特征方程出发。

    步骤依据

    这是在应用二次公式之前立即写出的方程。

    视频直接表达
  2. 公式
    r=−b±b2−4ac2ar = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}
    解释

    应用二次公式求解rr。

    步骤依据

    主讲人明确说道:“我们可以用二次方程来求解 r。”

    视频直接表达
  3. 公式
    r1,r2r_1, r_2
    解释

    将±\pm理解为产生两个不同的根,并将其标记为r1r_1和r2r_2。

    步骤依据

    主讲人指出存在两个根,黑板上写出标记r1,r2r_1,r_2。

    视频直接表达
结论

特征方程通过二次公式得到两个根,记为r1r_1和r2r_2。

特征方程的推导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上展示了将 y=ey=e^{rt}、y'=re^{rt}、y''=r2er^2e^{rt} 代入 ay''+by'+cy=0,得到 0=e0 = e^{rt}[ar^2+br+c]。

严格证明
步骤
  1. 公式
    ay′′+by′+cy=0ay'' + by' + cy = 0
    解释

    从一般的二阶线性齐次微分方程出发。

    步骤依据

    题目给出的条件。

    视频直接表达
  2. 公式
    y=ert,y′=rert,y′′=r2erty = e^{rt}, \quad y' = re^{rt}, \quad y'' = r^2e^{rt}
    解释

    假设解的形式为 y=ey = e^{rt},并计算其一阶与二阶导数。

    步骤依据

    待定系数法/试探解法。

    视频直接表达
  3. 公式
    a(r2ert)+b(rert)+c(ert)=0a(r^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0
    解释

    将假设的解及其导数代入微分方程。

    步骤依据

    代数代入。

    视频直接表达
  4. 公式
    ert(ar2+br+c)=0e^{rt}(ar^2 + br + c) = 0
    解释

    提取公因式 e^{rt}。

    步骤依据

    因式分解。

    视频直接表达
  5. 公式
    ar2+br+c=0ar^2 + br + c = 0
    解释

    由于 e^{rt} 恒不为零,因此特征方程必须成立。

    步骤依据

    零乘积性质。

    依据视频推导
结论

得到特征方程 ar^2 + br + c=0c = 0。

根据特征根的性质对解的形式进行分类

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板在展示二次公式与一般指数解之后,将内容分为三个编号的情形进行组织。

  2. 声音
    观察依据

    主讲人依次讲解三种情况:实根、虚根/复根,以及重根。

直观解释
步骤
  1. 公式
    解释

    从二阶常系数齐次常微分方程 ay'' + by' + cy = 0 和试探解 y=ey = e^{rt} 出发。

    步骤依据

    这些内容明确写在页面顶部的黑板上。

    视频直接表达
  2. 公式
    r=−b±b2−4ac2a⇒r1,r2r = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a} \Rightarrow r_1, r_2
    解释

    利用求根公式求解所得的特征二次方程,得到两个根 r1r_1 和 r2r_2。

    步骤依据

    求根公式及其对 r1r_1、r2r_2 的推导结果展示在黑板上。

    视频直接表达
  3. 公式
    y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t}
    解释

    对于实根情形,视频将解表示为两个指数函数的线性组合。

    步骤依据

    该公式直接写在情形 1 的正上方,主讲人口头将其与实数 r1r_1 和 r2r_2 关联起来。

    视频直接表达
  4. 公式
    解释

    若判别式为负,则根变为复数,视频指出此时需借助欧拉公式,将指数形式转化为余弦与正弦形式。

    步骤依据

    情形 2 在黑板上写作“虚根/复根”,并标注“⇒ 利用欧拉公式转为余弦/正弦形式”,主讲人还解释了平方根内为负数的机制。

    视频直接表达
  5. 公式
    r1=r2⇒repeated rootsr_1 = r_2 \Rightarrow \text{repeated roots}
    解释

    若两个根重合,视频将其标记为重根情形,并说明其求解方法更为复杂。

    步骤依据

    情形 3 写在黑板上,主讲人明确表示将详细讲解留待后续视频。

    视频直接表达
结论

该片段将解法策略分为三类,依据特征根的不同:实数相异根、复数根和重根。

整体求解流程的总结

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人总结道,关键在于引入特征方程,这是求解常系数二阶线性齐次微分方程的底层方法。

  2. 声音
    观察依据

    他补充说,问题归结为求出 r1r_1 和 r2r_2,再将它们代回原始假设,从而得到 y。

直观解释
步骤
  1. 公式
    解释

    识别该微分方程为常系数二阶线性齐次常微分方程。

    步骤依据

    在结尾处的语音总结中明确指出。

    视频直接表达
  2. 公式
    解释

    列出特征方程,并求解两个根 r1r_1 和 r2r_2。

    步骤依据

    与屏幕上显示的二次公式及主讲人的总结措辞一致。

    视频直接表达
  3. 公式
    解释

    将这些根代入指数形式的假设解,从而得到函数 y。

    步骤依据

    主讲人称,这正是我们获得函数 y 的方式,与屏幕上显示的 y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t} 一致。

    视频直接表达
结论

整体方法是:推导特征方程,求出 r1r_1 和 r2r_2,再将它们代入指数解模板,从而得到 y。

图示与动画 · 12

开场标题与笔测试

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    页面标题显示为2阶——特征方程。

  2. 动画
    观察依据

    说话人提到要解决笔的问题时,画出红色涂改痕迹,随后将其擦除。

图中对象
  1. 标题文字:2阶——特征方程

  2. 红色涂改痕迹

变化过程
  1. 红色涂改痕迹横贯整页。

  2. 涂改痕迹被擦除。

不变量
  1. 笔记本风格的背景始终可见。

  2. 标题在开场过程中始终保持在页面顶部。

数学含义

这一视觉序列属于非数学性的准备环节:它在课程开始前确认数字笔工作正常。

写出一般微分方程

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    该方程逐部分写出,最终呈现为 ay'' + by' + cy = 0。

图中对象
  1. 方程 ay'' + by' + cy = 0

变化过程
  1. 各项从左到右依次添加,直至整个方程完整呈现。

不变量
  1. 方程完成后保持在同一行显示。

数学含义

视觉上的逐步构建过程与所研究方程类别的口头定义相吻合。

将试探解及其各阶导数归为一组

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一个大型蓝色大括号将 y=ey = e^{rt}、y' = re^{rt} 和 y'' = r2er^2e^{rt} 三者归为一组。

图中对象
  1. 蓝色大括号

  2. 三个等式:y=ey = e^{rt}、y' = re^{rt}、y'' = r2er^2e^{rt}

变化过程
  1. 这三行独立公式在视觉上被围成一个整体组。

不变量
  1. 各公式在加括号过程中本身不发生变化。

数学含义

该括号提示:这三个表达式将在下一步代入中联合使用。

图像对比 erte^{rt} 对于不同符号的 rr

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    在方程下方绘制了一幅绿色坐标示意图,横轴标注为tt。

  2. 声音
    观察依据

    说话者在绘制曲线的同时,描述了r>0r>0、r<0r<0和r=0r=0这三种情形。

待核验内容
  1. 纵轴在画面上未明确标注,但根据上下文可知它表示erte^{rt}的取值。

图中对象
  1. 绿色横轴标注为tt

  2. 绿色纵轴

  3. 上升的指数曲线

  4. 趋近于该轴的下降指数曲线

  5. 高度为1的水平直线

变化过程
  1. 首先绘制一条上升曲线,以表示情形r>0r>0。

  2. 接着绘制一条递减曲线,以表示情形r<0r<0,该曲线趋近于零。

  3. 最后,画出一条高度为1的水平直线,表示r=0r=0的情形。

不变量
  1. 所有绘制的曲线均从值 1 开始,当 t=0t=0。

  2. 在所显示的图中,没有任何绘制的曲线穿过至负值区域。

数学含义

该示意图用于说明:在所考虑的实数情形下,erte^{rt}恒不为零,从而可在代数推导中对该因子进行除法运算。

通过视觉上的约去,得到特征方程

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    因子 erte^{rt} 在 0=ert[ar2+br+c]0=e^{rt}[ar^2+br+c] 中以绿色划去。

  2. 公式
    观察依据

    一条新的紫色线条写出0=ar2+br+c0=ar^2+br+c。

图中对象
  1. 括号方程中的因子erte^{rt}

  2. 绿色划去标记

  3. 紫色重写的方程0=ar2+br+c0=ar^2+br+c

变化过程
  1. 指数因子被标出并划去。

  2. 剩余的二次表达式在新行中重写。

不变量
  1. 约分后,系数a,b,ca,b,c和变量rr保持不变。

数学含义

类似动画的板书操作展示了除以非零因子所带来的代数结果:微分方程代换简化为仅含rr的纯代数方程。

突出显示两根结构

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    二次公式中的±\pm被圈出。

  2. 公式
    观察依据

    板书随后在公式下方写出r1,r2r_1, r_2。

图中对象
  1. 被圈出的±\pm符号

  2. 二次公式

  3. 标注r1r_1和r2r_2

变化过程
  1. 引导观众注意正负号。

  2. 板书底部引入两个根的标签。

不变量
  1. 二次公式的其余部分保持不变,而其含义则从一个符号表达式转变为两个命名解。

数学含义

视觉强调将代数量±\pm直接与两个特征根的存在性关联起来。

分步手写白板演示

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    视频中展示了一个数字白板, narrator 边讲解边逐步写出各个方程。

图中对象
  1. 数字白板

  2. 手写方程

  3. 箭头

  4. 下划线

变化过程
  1. 方程按顺序书写。

  2. 箭头连接相关概念。

  3. 关键术语用下划线或方框标出。

不变量
  1. 背景始终保持带横线的笔记本纸张纹理。

数学含义

视觉演进过程与数学推导的逻辑流程一致,帮助观众从微分方程逐步跟进至通解。

该方法的静态白板布局

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    一页笔记本风格的白板上,顶部写着标题“2nd 阶 — 特征方程”,其后依次列出常微分方程、试探解、二次公式、通解以及三个编号的情形。

图中对象
  1. 标题行

  2. 常微分方程 ay'' + by' + cy = 0

  3. 试探解 y=ey = e^{rt}

  4. 求 r 的二次公式

  5. 通解 y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t}

  6. 编号情形 1、2、3

变化过程
  1. 随着讲解推进,页面下半部分逐步填入这三种编号情形。

不变量
  1. 顶部公式在整个片段中始终可见。

  2. 该页面始终保持为一块静态的笔记本式白板。

数学含义

视觉组织方式与逻辑结构一致:先呈现一般方法,再给出根的公式,最后进行情形分类。

连接实根情形与指数解的箭头

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    从标注为‘1) r1r_1, r2r_2 是实数’的行处,画出一条绿色箭头,向上指向所展示的解 y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t}。

图中对象
  1. 情形1的文字说明

  2. 通解公式

  3. 绿色箭头

变化过程
  1. 一条新的绿色箭头从情形1向上指向解公式。

不变量
  1. 周围公式保持不变。

数学含义

该箭头以视觉方式表明:实根情形采用所展示的指数和形式解。

在复根情形的讲解中高亮判别式

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    当讲解判别式为负的情形时,平方根内的表达式 b2−4b^2 - 4ac 被绿色圆圈标出。

图中对象
  1. 二次求根公式

  2. 判别式 b2−4b^2 - 4ac

  3. 绿色圆圈

变化过程
  1. 在 b2−4b^2 - 4ac 周围添加一个绿色圆圈。

不变量
  1. 二次公式其余部分保持不变。

数学含义

高亮部分标出了决定根是否为复数的那个量的符号。

最后着重强调根如何代入并生成解。

依据清楚
视频直接表达
来源依据
  1. 动画
    观察依据

    在末尾附近新增若干绿色箭头,其中包括一个指向 r1r_1、r2r_2 的箭头,以及其他强调根与最终解形式之间关系的箭头。

待核验内容
  1. 每个后期箭头的确切指向略显模糊,因为多个箭头是快速连续添加的。

图中对象
  1. r1r_1, r2r_2

  2. 通解公式

  3. 绿色箭头

变化过程
  1. 新增箭头,更明确地连接根的记号与解的表达式。

不变量
  1. 底层公式保持不变。

数学含义

结尾处的注释再次强化了主讲人的总结:一旦求出 r1r_1 和 r2r_2,便将其代回以得到 y。

结束画面缩略图展示

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    静态结束画面显示一张先前视频的缩略图,图中为便签纸上手写的数学公式。

  2. 图示
    观察依据

    彩色箭头指向方程的不同部分:蓝色指向 P(x)yP(x)y'',绿色指向 Q(x)yQ(x)y',红色指向 R(x)yR(x)y,紫色指向 F(x)F(x)。

图中对象
  1. 带有手写方程的记事本

  2. 彩色箭头

  3. 文字标签

不变量
  1. 该方程在整个片段中保持静止。

  2. 彩色箭头始终突出显示特定项。

数学含义

视觉布局通过颜色编码,将二阶线性常微分方程的一般形式各组成部分逐一分解,使每个系数函数与其对应的导数项或变量项相关联。

易错点 · 5

混淆‘齐次’‘二阶’和‘常系数’这些术语的含义

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人明确将‘齐次’对应为等式右边等于零,‘二阶’对应为最高阶导数是 y 的二阶导数,‘常系数’对应为 a、b、c 均为常数。

误区

学习者可能将这些描述性术语视作模糊的名称,而非所展示方程的精确特征。

说明

视频直接将每个术语与方程 ay'' + by' + cy = 0的可见部分关联起来:‘齐次’指等式右边为 0,‘二阶’指 y'' 是最高阶导数,‘常系数’指 a、b、c 均为常数。

不要约去 erte^{rt} 除非你已知它不为零

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    讲解者强调 erte^{rt} 在两边同时除以它之前永远不会为零。

  2. 图示
    观察依据

    该图像专门用于说明:在所展示的案例中,指数函数不会取到零值。

误区

人们可能在未检查指数因子是否可能为零的情况下,就自动将其作为除数。

说明

视频通过证明 erte^{rt}在所讨论的实数情形下保持非零,因此除以它是合法的。

±\pm并非装饰性符号;它表明存在两个解。

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    “这里有个加号和减号,这意味着我们实际上得到两个根。”

  2. 图示
    观察依据

    ±\pm被圈出,且标注了r1,r2r_1,r_2。

待核验内容
  1. 该片段未提醒重根或复根等例外情况,因此该陈述应仅在所展示的有限情境下理解。

误区

学习者可能忽略加减号,误以为二次公式只为rr给出唯一数值。

说明

主讲人强调,±\pm产生两个根,随后分别命名为r1r_1和r2r_2。

不要将第二种情况仅视为纯虚数

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人说:“虚数或复数,这意味着它也包含一个实部。”

  2. 公式
    观察依据

    黑板将情况2标注为“虚数/复数”。

误区

有人可能单看“虚数”一词,便误以为根没有实部。

说明

视频明确将标签拓宽为“虚数/复数”,且主讲人指出复数包含实部。

重根解与实数相异根公式并不相同

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板仅写出“3) r1=r2r_1 = r_2 ⇒ 重根”,而未给出重根解的公式。

  2. 声音
    观察依据

    主讲人表示这种情况需要更复杂的处理,将在后续视频中讨论。

误区

观众可能认为 y=c1er1t+c2er2ty = c_1 e^{r_1 t} + c_2 e^{r_2 t} 仍直接适用,即使 r1=r2r_1 = r_2。

说明

该片段单独标出重根情形,并明确推迟讲解其更复杂的求解方法。

概念关系 · 15

具有常系数的二阶齐次线性常微分方程 → 指数型假设解形式

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在定义该类方程后,主讲人表示将假设解 y 具有 e^{rt} 的形式。

  2. 公式
    观察依据

    板书从 ay'' + by' + cy = 0过渡到 y=ey = e^{rt}。

应用
解释

指数型试探解被专门引入,作为求解前述已定义的常系数齐次二阶常微分方程的方法。

指数型假设解形式 → 对所假设的指数形式解求导

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    由 y=ey = e^{rt} 出发,板书推导出 y' = re^{rt} 和 y'' = r2er^2e^{rt}。

证明依赖
解释

该求导推导依赖于所假设的形式 y=ey = e^{rt};若无此试探假设,便无法以这种方式得到所展示的导数表达式。

对所假设的指数形式解求导 → 将 y、y' 和 y'' 代入 ay'' + by' + cy = 0。

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    代入后的表达式恰好使用了三个带括号的公式:y、y' 和 y''。

证明依赖
解释

代入步骤利用先前推导出的 y、y' 和 y'' 的表达式,重写原始微分方程。

提取公共的指数因子 → 为什么可以约去erte^{rt}

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    在提取出公因式erte^{rt}后,主讲人立即分析该因式是否可能为零。

证明依赖
解释

只有在提取出公共的指数因子之后,除以erte^{rt}的理由才变得相关。

为什么可以约去erte^{rt} → 二阶情形下的特征方程

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    指数因子被约去后,方程从0=ert[ar2+br+c]0=e^{rt}[ar^2+br+c]变为0=ar2+br+c0=ar^2+br+c。

证明依赖
解释

通过消去非零的指数因子,得到特征方程。

二阶情形下的特征方程 → 用二次公式求解特征方程

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    现在我们可以用二次方程来求解 r。

应用
解释

一旦识别出特征方程是一个二次方程,就应用二次公式来求解它。

用二次公式求解特征方程 → ±\pm符号给出两个特征根

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    所显示的公式中包含±\pm,接下来写出的对象是r1,r2r_1,r_2。

包含
解释

解的公式中包含结构特征(±\pm),这一特征导致我们命名两个根。

特征方程 → 特征方程的根

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    特征方程 ar^2+br+c=0c=0 直接关联到其根 r = (-b ± √(b2−4b^2 - 4ac)) / 2a。

应用
解释

对特征方程应用二次公式以求得其根。

特征方程的根 → 基本解

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    根 r1r_1 和 r2r_2 分别作为基本解 y1=er1ty_1 = e^{r_1 t} 与 y2=er2ty_2 = e^{r_2 t} 中的指数。

应用
解释

特征方程的根决定了基本指数解中的指数。

基本解 → 通解

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    基本解 y1y_1 和 y2y_2 通过线性组合构成通解 y=C1y1+C2y2y = C_1 y_1 + C_2 y_2。

包含
解释

通解以基本解为其基础。

二阶常系数齐次常微分方程的特征方程法 → 特征根的二次公式

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板将常微分方程及试探解写在求 r 的二次公式上方。

  2. 声音
    观察依据

    主讲人将利用二次公式求解 r 描述为特征方程法的一部分。

应用
解释

特征方程法将微分方程问题简化为求解关于 r 的一个二次方程。

特征根的二次公式 → 情形1:实根给出指数和形式的解

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    ‘1) r1r_1, r2r_2 是实数’这一行直接写在二次公式输出 r1r_1, r2r_2 的正下方。

特例
解释

实根解的形式是二次根框架在两个根均为实数时的特例。

问题定位 · 17

本片段中介绍的是哪一类微分方程?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人命名了常系数、齐次、二阶微分方程。

  2. 公式
    观察依据

    黑板上显示 ay'' + by' + cy = 0。

涉及知识点
  1. 具有常系数的二阶齐次线性常微分方程

该视频为何假设解的形式为 y=ey = e^{rt}?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    主讲人表示,他们假设 y 具有 e^{rt} 的形式,并将求解 r。

涉及知识点
  1. 指数型假设解形式

本课中,如何由 y=ey = e^{rt} 计算出 y' 和 y''?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 y' = re^{rt} 且 y'' = r2er^2e^{rt}。

  2. 声音
    观察依据

    主讲人提到了一阶导数的链式法则。

涉及知识点
  1. 对所假设的指数形式解求导

将所假设的解代入微分方程后会发生什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    黑板上显示 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt})。

  2. 声音
    观察依据

    主讲人说,要把这三个表达式代入微分方程。

涉及知识点
  1. 将试探解代入微分方程
  2. 将 y、y' 和 y'' 代入 ay'' + by' + cy = 0。

在推导特征方程时,为什么可以除以erte^{rt}?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    说话者解释说erte^{rt}永远不会为零,因此可以将其约去。

涉及知识点
  1. 为什么可以约去erte^{rt}
  2. 二阶情形下的特征方程

此处展示的二阶情形对应的特征方程是什么?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    我们称之为特征方程的东西

  2. 公式
    观察依据

    0=ar2+br+c0=ar^2+br+c被写在黑板上。

涉及知识点
  1. 二阶情形下的特征方程

本视频中,你如何求解特征方程的 rr?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    我们可以用二次方程来求解 r

  2. 公式
    观察依据

    r=(−b±b2−4ac)/(2a)r=(-b\pm\sqrt{b^2-4ac})/(2a)已写出。

涉及知识点
  1. 用二次公式求解特征方程

二次公式中的 ±\pm对特征方程的根意味着什么?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    我们这里有加减号……实际上得到两个根。

  2. 公式
    观察依据

    ±\pm被圈出,r1,r2r_1,r_2已写出。

涉及知识点
  1. ±\pm符号给出两个特征根

为什么讲师在消去 erte^{rt}之前先将其作图?

依据清楚
视频直接表达
来源依据
  1. 图示
    观察依据

    erte^{rt}的三种情况在 tt-轴上被草绘出来。

  2. 声音
    观察依据

    主讲人利用该图像论证指数函数恒不为零。

涉及知识点
  1. 为什么可以约去erte^{rt}

如何求二阶微分方程对应特征方程的根?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    二次公式被明确写出。

涉及知识点
  1. 特征方程
  2. 特征方程的根

为什么对线性微分方程可以使用解的线性组合?

依据清楚
视频直接表达
来源依据
  1. 声音
    观察依据

    因为该方程是线性的,我们可以将最终解定义为 y1 和 y2 的线性组合……

涉及知识点
  1. 线性微分方程的叠加原理
  2. 通解

二阶常系数齐次常微分方程的特征方程法是什么?

依据清楚
视频直接表达
来源依据
  1. 公式
    观察依据

    标题及顶部公式呈现了特征方程的建立过程。

  2. 声音
    观察依据

    结尾总结将特征方程命名为背后的根本过程。

涉及知识点
  1. 二阶常系数齐次常微分方程的特征方程法
  2. 特征根的二次公式
覆盖情况与待核验内容

已覆盖 · 开场问候、笔的问题说明及红色涂改测试;除标题外无任何数学内容。

已覆盖 · 主讲人定义了这类方程,并写出 ay'' + by' + cy = 0。

已覆盖 · 引入假设解 y=ey = e^{rt},并说明整体求解思路。

已覆盖 · 根据试探解计算导数:y' = re^{rt} 和 y'' = r2er^2e^{rt}。

已覆盖 · 将三个公式归类并代入微分方程,得到 a(r2er^2e^{rt}) + b(re^{rt}) + c(e^{rt}) = 0。

已覆盖 · 黑板上展示了代入后的方程以及因式分解式 0=ert[ar2+br+c]0=e^{rt}[ar^2+br+c]。

已覆盖 · 一幅绿色草图通过比较 erte^{rt}在 rr 取正值、负值和零时的情形,来说明其恒不为零。

已覆盖 · 指数因子被划去,特征方程 0=ar2+br+c0=ar^2+br+c被写出。

已覆盖 · 应用二次公式求解rr。

已覆盖 · 强调±\pm,并将两个根标记为r1,r2r_1,r_2。

已覆盖 · 特征方程的推导及两个基本解的识别。

已覆盖 · 叠加原理的解释以及通解的构造。

已覆盖 · 从微分方程到通解的整个求解过程回顾。

已覆盖 · 介绍了常系数二阶线性齐次常微分方程、试探解、二次公式,以及实根情形下的指数和解。

已覆盖 · 呈现了虚根/复根情形,解释了判别式为负的情形,并指出欧拉公式可将指数形式转化为余弦与正弦形式。

已覆盖 · 引入重根情形 r1=r2r_1 = r_2,并说明其详细求解方法留待后续视频讲解。

已覆盖 · 总结整体求解流程:列出特征方程,求出 r1r_1 和 r2r_2,再代回得到 y。

已覆盖 · 片尾卡片,含频道品牌标识与联系方式;无数学内容。

已覆盖 · 静态结束画面,展示二阶线性常微分方程的一般形式。

探索视频中的知识

打开视频知识图谱 →

  • 常微分方程 讲解定位 0:17
    查看关联依据

    已审核中文素材 v1:card「二阶齐次常系数常微分方程」出现在 0:17——视频将所研究的方程类别定义为ay′′+by′+cy=0ay'' + by' + cy = 0,并直接从该公式解释术语:齐次指方程右端为00,二阶指最高阶导数为y′′y'',常系数指aa、bb和cc均为常数。

  • 特征方程 讲解定位 4:00
    查看关联依据

    Reviewed English material v1: knowledge_item "Characteristic Equation" at 4:00 至 6:00 — For a second-order linear homogeneous differential equation with constant coefficients, the characteristic equation is a quadratic algebraic equation obtained by substituting the assumed solution form y=ey = e^{rt} into the differential equation.

    已审核中文素材 v1:knowledge_item「特征方程」出现在 4:00 至 6:00——对于二阶线性齐次常系数微分方程,特征方程是将假设解形式 y=ey = e^{rt} 代入微分方程后所得的一个二次代数方程。