一阶线性常微分方程的标准形式
一阶线性微分方程可写成的形式。在此形式中,因变量及其导数仅以一次幂出现,且它们的系数和仅为自变量的函数。
Dr. Trefor Bazett · YouTube · 5:07
本视频片段以初值问题 y' + , 为例,介绍求解一阶线性微分方程的积分因子法。讲师首先识别出标准形式,接着计算积分因子 ,然后将整个方程两边同乘该因子,并开始化简左右两边,演示了左边如何变为乘积 的精确导数。 本视频片段演示了使用积分因子法求解一阶线性常微分方程的最后阶段。从精确导数形式 出发,教师对两边积分,得到通解 + Ce^{-4x}。教学中特别强调了积分常数(+C)的作用:在求积分因子时,该常数可省略;但在求解微分方程时,它不可或缺。最后,代入初始条件 ,确定 ,从而得到特解 。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
视频开头即介绍积分因子法,作为一种求解一阶线性微分方程的技术。黑板上给出的具体例子是初值问题 ,其初始条件为 。
讲师讲解了一阶线性方程的判定标准。通过在等式右边隐含地添加一个 ,该方程被视作 。由于 、 和 的系数均为关于 的函数,且所有变量均呈一次幂,因此它符合标准形式。其中 的系数被标记为 ,即 ;而等式右边被标记为 ,即 。
接着,给出了积分因子的公式:。对本题代入 后得到 。讲师说明,积分常数被省略,因为任意一个有效的积分因子均可使用,故为简便起见选取 。
该方法的核心步骤随即展开:将原微分方程各项同乘积分因子 ,从而得到方程 。右边则利用指数运算法则化简为 。
最后,讲师聚焦于左边表达式 。他指出,该式恰好是将乘积法则应用于 的导数后所得的结果。因此,左边被重写为 ,为后续直接积分做好准备。
我们从左侧为全导数形式的方程开始:。为求出 y,我们对等式两边关于 x 积分。
左侧的导数积分相互抵消,仅剩下 ;右侧则计算 的不定积分,结果为 ()。
关键在于,我们必须在右侧加上积分常数 +C。虽然此前求积分因子时可忽略常数,但求解微分方程时必须保留由 C 表示的通解族。
现在我们得到 。为解出 y,我们将整个等式两边同乘 。分配该因子后,得到通解: + Ce^{-4x}。
接下来,我们代入题目所给的初始条件:。将 和 代入通解,即可解出常数 C 的具体取值。
方程变为 + Ce^{0}。由于 ,该式简化为 。两边同时减去 ,得 。
最后,将 代回通解,即得特解:。至此,本初值问题的积分因子法求解完毕。
一阶线性微分方程可写成的形式。在此形式中,因变量及其导数仅以一次幂出现,且它们的系数和仅为自变量的函数。
积分因子定义为的不定积分的指数函数。计算时,通常将积分常数设为零,因为任意非零常数倍的积分因子同样有效。
为求解该微分方程,将等式两边每一项都乘以积分因子 。这使得左边变为乘积 的精确导数,从而可直接对两边关于 进行积分。
当求解形如 的方程时,对等式两边关于 x 积分可消去左侧的导数,从而得到 。这依赖于微积分基本定理。
对具有线性指数的指数函数进行积分的标准法则为 ^{kx} ^{kx} + C。本例中,。
求积分因子时可以省略积分常数,因为任意非零倍数均可使用;但在对微分方程本身进行积分以定义通解空间时,积分常数是必需的。
积分后得到方程 ... + C。为解出 ,需在等式两边同乘 (或 ),并进行分配运算。
将给定的 和 值代入通解,解所得的代数方程,求出满足初始状态的具体常数 C。
初值问题(IVP)的最终答案,是将计算出的 C 代回通解后所得的具体函数。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
黑板上显示的方程为 y' + ,其中 y' 出现在方程中。
y'
未知函数 y 关于 x 的导数。
x 的函数
黑板上显示的方程 y' + 及初始条件 中均出现了 y。
y
待求解的未知因变量或函数。
x 的函数
黑板上在 、、 和 中均将 x 标为自变量。
x
自变量。
实数
教师将 写在系数下方4 在方程 y' + 中。
教师指出,y 的系数函数通常记作 。
一阶线性微分方程标准形式中 y 的系数函数。
关于 x 的函数
教师在等式右侧的 下方写下 。
教师指出,该系数函数被称为 。
一阶线性微分方程标准形式中的非齐次项或激励函数。
关于 x 的函数
教师写出 。
教师将 称为积分因子。
用于求解一阶线性微分方程的积分因子。
关于 x 的函数
在 中,自然指数函数的底数写作 e。
e
自然对数的底数。
数学常数
积分号 用于积分因子的表达式中。
不定积分算子。
微积分算子。
微分 dx 写在积分因子公式中积分的末尾。
dx
表示对 x 积分的微分。
微积分记号。
初始条件写作 。
函数 y 在 处的初始值。
有理数。
算子 被写在黑板上,表示对 x 求导。
对 x 的导数算子。
微积分算子。
符号 y 在解题过程中始终作为因变量出现,例如在表达式 和 中。
y
一阶线性常微分方程的因变量(未知函数)。
关于 x 的函数
讲师解释,该方程是一个一阶线性微分方程,因为 y'、y 和 1 的系数都是关于 x 的函数。
讲师将 y 的系数标记为 ,将等式右边标记为 。
一阶线性微分方程具有 y' + 的形式,其中因变量 y 及其导数 y' 均以一次幂出现,且它们的系数均为自变量 x 的函数。
该方程必须是一阶的(最高阶导数为 y')。
该方程必须关于 y 和 y' 是线性的(即 y 和 y' 均为一次幂,且不相乘)。
讲师给出积分因子的公式。
讲师写出 。
积分因子 通过对系数函数 求不定积分后再取指数得到。通常省略积分常数,因为任意一个有效的积分因子均可使用。
微分方程必须化为标准形式 y' + 。
讲师解释,该方法需将方程每一项都乘以积分因子。
教师写出:' + 。
为应用积分因子法,需将标准形式的微分方程两边同乘已求出的积分因子 。
积分因子 必须由 正确计算得出。
主讲人说:“现在我要进行积分,这样左边就得到 e 的4x 次方乘以 y;我这里做的只是对一个导数进行积分,因此它会相互抵消。”
黑板显示从 过渡到 。
当对等式两边同时关于 x 积分时,导数的积分会相互抵消,从而剩下原函数。此处,。
被积函数必须是关于积分变量的全导数。
主讲人说:“这等价于 e 的3x 次方关于 x 的积分,结果是三分之一乘以 e 的3x 次方。”
黑板显示 。
指数函数 e^{kx} 的不定积分是 ()e^{kx} 加上一个积分常数。
k 是一个非零常数。
主讲人解释道:“你之前无需写出 + C,因为那一步只是为了求积分因子……但现在我转向求解原方程,而我所得到的这个表达式中包含一个不定积分,此时我确实需要加上 + C;这个 + C 将用于满足初始条件。”
求积分因子时,任意一个有效的因子均可使用,因此积分常数可以省略。但通过不定积分求解微分方程时,必须保留常数 C,以构成通解并应用初始条件。
该说明适用于从求积分因子过渡到求解完整常微分方程的过程。
说话人说:‘我注意到左边还留着 e 的4x 次方乘以 y,我不希望它留在那里,所以我将写成 y 等于 e 的负4x 次方乘以……’。
黑板展示代数变形: 变为 + Ce^{-4x}。
为求显式解 ,需将方程两边同乘以积分因子的倒数(即 ),并将其分配至右侧各项。
该方程呈 … + C 的形式。
主讲人说道:“我们其实还有这个初始条件,即 y 在零处的值等于四分之三……我们来看看如何处理它……代入时令 x 等于零,此时 y 的值等于四分之三。”
黑板展示代入过程: ⇒ ⇒ 。
将给定的初始值(,)代入通解,求出积分常数 C 的具体数值。
给出了一个初始条件 。
主讲人说道:“如果我想将这个结果与我刚刚算出的 y 值结合起来,就能得到最终答案——看,这里就是:y 等于三分之一乘以 e 的负 x 次方加 c,等于一;而 e 的负四 x 次方就是最终答案。”
黑板上显示最终框出的答案:。
将计算得出的常数 C 代入通解后所得的微分方程的具体解。
常数 C 已由初始条件确定。
教师指出,左边与 乘以 y 关于 x 的导数相同,且可用乘积法则验证。
教师写出:。
将标准形式的微分方程两边同乘其积分因子 后,左边简化为精确导数 。
该微分方程为标准形式:y' + 。
是定义为 的积分因子。
适用于所有有效的线性一阶微分方程。
教师逐步演示将 代入公式并计算该积分的过程。
教师写出 。
在给定方程 y' + 中,识别 y 的系数。
标准形式的定义。
将 代入积分因子公式。
积分因子的公式。
对 4 关于 x 求不定积分,省略积分常数。
幂函数的积分法则及任意常数 的选取。
该示例方程的积分因子为 。
教师指出最右侧存在一点简化。
教师写出 。
将积分因子乘以原方程右侧的函数。
乘以积分因子的方法。
利用指数运算法则合并指数。
指数的乘法法则:。
修正后方程的右侧化简为 。
连续口述讲解积分与变量分离的步骤。
在数字黑板上依次书写代数变形过程。
从乘以积分因子后得到的精确导数形式出发。
视频中此前的步骤(本片段未完整展示,但黑板状态已暗示该步骤)。
对等式两边关于 x 进行积分。
微积分基本定理/原函数的定义。
计算右侧的积分,并加上积分常数。
指数函数的积分法则。
两边同乘 以解出 y。
代数变形。
将 分配进去,并化简指数()。
指数运算法则。
该微分方程的通解为 + Ce^{-4x}。
口述代入 、 的过程。
写出方程 ,并随后框出 及最终答案。
写出初始条件。
题目中已给出(黑板上可见)。
将 和 代入通解。
满足初始条件的定义。
利用 进行化简。
算术化简。
两边同时减去 ,解出 C。
代数运算。
将 代回通解。
特解的定义。
满足初始条件的特解为 。
黑板上显示:y' + ,。
本视频片段未得到初值问题的最终解。
使用积分因子法求解初值问题 y' + ,其中 。
微分方程:y' +
初始条件:
求出同时满足该微分方程和初始条件的显式函数 。
将微分方程写成标准形式。
题目中已给出。
确定系数函数 。
标准形式的定义。
计算积分因子。
积分因子的公式。
将微分方程的每一项都乘以积分因子。
积分因子法。
将等式左边重写为一个乘积的导数,并化简右边。
逆用乘积法则及指数运算法则。
本片段在最终求出 的表达式之前结束。
本片段中未执行该步骤。
黑板顶部显示的问题陈述:y' + ,。
讲话者全程提及“我的解”和“初始条件”。
求解初值问题:y' + ,且 。
微分方程:y' +
初始条件:
积分因子(已预先算出):
求出显式函数 ,使其同时满足该微分方程与初始条件。
识别左侧为积分因子与 y 的乘积的导数。
逆向应用乘积法则。
对等式两边积分以消去导数。
积分运算。
解出 y,得到通解。
代数运算。
利用初始条件 确定积分常数。
代入法。
写出最终的特解。
常数 C 的代入。
y 等于 1 除以 3,再乘以 e 的负 x 次方,加上 e 的负 4x 次方
验证 。验证常微分方程:y' = -1/3 ;y'+。正确。
讲师使用彩色笔在黑色数字白板上逐步书写数学解题步骤。
数字白板
彩色笔
数学文字
新方程与标签自上而下依次添加。
随着解题过程推进,先前的步骤始终可见。
背景始终保持黑色。
讲师始终位于右下角。
视觉呈现顺序与数学推导的逻辑步骤相一致,使观众能够实时跟随解题方法。
数字墨水在黑色背景上依次呈现,对应说话人书写方程的过程。
数字黑板
手写数学表达式
方程按行依次出现,与说话人的推导步骤一一对应。
颜色在白色、粉红色/红色和蓝色之间切换,以区分方程的不同部分或突出重点。
说话人始终位于右下角。
背景保持黑色。
求解该常微分方程所需的代数与微积分运算步骤的可视化呈现。
用红色方框圈出最终方程 。
红色矩形框
最终解的方程
在文字周围画上方框。
方框内的文字保持不变。
强调问题已解答完毕,且最终结果已得出。
讲师针对积分因子的不定积分中缺失的 +C 可能引发的困惑进行说明。
学生常常疑惑:为什么在计算积分因子的不定积分时,不包含积分常数(+C)?
任何有效的积分因子都可用于该方法。选取任意常数 可在不丧失一般性的前提下简化计算。
主讲人针对可能产生的困惑作出说明:‘你或许会觉得这有点奇怪——我之前告诉过你不必写出 +c,但此前无需写出 +c,是因为那一步仅涉及求积分因子。’
学生可能误以为积分常数(+C)应始终省略或始终保留,从而混淆了‘求积分因子’这一步与‘求解微分方程’这一步。
求积分因子时,任一有效的函数均可使用,因此可省略 +C(它最终也会被约去)。而通过积分求解微分方程时,+C 是必需的,用于表示应用初始条件前的解族。
教师明确提到,要使用乘积法则来验证这一简化过程。
左侧化简为单一导数这一结论,直接依赖于微积分中乘积法则的逆向应用。
主讲人提到‘对导数进行积分,使其相互抵消’。
在分离出 y 之前,必须理解积分是微分的逆运算。
主讲人从通解过渡到应用初始条件。
必须先求出含 C 的通解,才能利用初始条件解出 C。
将 代入通解公式。
将由初始条件解得的 C 值代入通解,从而得到特解。
教师解释了省略该常数的原因。
教师讲解左侧的化简过程。
解释为何积分因子中省略了 +C。
展示两边同乘 的代数步骤。
将 和 代入。
已覆盖 · 介绍一阶线性微分方程中积分因子的概念。
已覆盖 · 说明所给方程为何是线性的,并指出其中的 和 。
已覆盖 · 给出积分因子的公式,并针对具体例题进行计算。
已覆盖 · 将微分方程两边同乘积分因子,并化简右侧。
已覆盖 · 利用逆乘积法则,将等式左边重写为一个乘积的导数。
已覆盖 · 积分步骤的设置。
已覆盖 · 对等式两边同时进行积分。
已覆盖 · 关于积分常数必要性的讨论。
已覆盖 · 代数变形,求出通解 。
已覆盖 · 利用初始条件求解 C。
已覆盖 · 写出最终的特解并作总结。