初值问题(IVP)
初值问题被呈现为一个微分方程附加一个初始条件的形式。本片段中引入了缩写IVP,所展示的具体设定是一个一阶方程加上一个形如的条件。
The Math Sorcerer · YouTube · 4:53
这段时长120秒的白板讲解片段介绍了微分方程中的初值问题(IVP)。主讲人写出通用的一阶方程,解释仅表示一个包含和的表达式,然后添加初始条件,并标注为 I.C.。为从图形上阐明其含义,白板展示了一个样本通解,包含若干垂直平移的曲线,代表对应不同常数的无穷多个解;最后,在其中一条曲线上标出点,以说明初始条件迫使解经过该点,从而从整个解族中选定唯一的一个特解。 这段时长为120秒的白板片段通过对比含一个参数的解族与由初始条件选定的特解,引出初值问题。第一个例子使用微分方程 、解族 ,以及初始条件 ,并用一条红色曲线经过点 (,) 来展示所选特解。讲解者随后给出 作为示意性的特解,因为它不再含有任意常数。后半部分将该思想推广至二阶方程 (x,y,y'),指出需要两个初始条件: 和 y'()=。下方的一族曲线、一个高亮的点以及一条虚线切线直观地表明:第二个条件固定了所选点处的斜率。 本视频片段讲解二阶常微分方程的初值问题(IVP)概念。它指出:此类问题需要两个初始条件——函数在某一点处的取值,以及其一阶导数(即斜率)在该点处的取值。主讲人以一个含两个任意常数的假设性通解为例,演示了为何必须同时使用这两个初始条件,才能解出常数并得到唯一的特解。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
片段开头点明主题:初值问题,缩写为 IVP;此处强调其目的为概念性理解——阐释这类问题的含义,而非求解某个具体方程。
首先引入的数学对象是一个通用的一阶微分方程,写作。主讲人立即说明:仅是涉及变量和的表达式的记号,并举出例如和等实例。
接下来,为该微分方程附加一项额外要求:初始条件。板书上将其标记为I.C.。微分方程与这一条件合在一起,便构成本节所讨论的初值问题。
为解释该条件的含义,主讲人转向几何图像。单独求解微分方程会产生一个任意常数,如示例族所示。对取不同值会得到不同的曲线,因此仅凭微分方程本身便对应无穷多个解。
最后一步将从几何角度解释为:解必须经过点。板书上,该点被标在曲线族的某一条曲线上。因此,初始条件并不会产生一种新的解;它只是从先前展示的无穷多解族中选出一个特定解。
黑板标题为“初值问题(I.V.P.)”。左侧第一个例子是微分方程 ,附加条件 被标为初始条件。右侧是一族青色曲线,代表多个解;主讲人指出新绘制的红色曲线即为该初值问题的解。
课程随后陈述本节所阐释的规则:若解中含一个任意常数,如所展示的解族 ,则一个初始条件足以确定一个特解。从几何上看,该条件意味着所选解必须经过点 。
为了使概念具体化,主讲人给出了一个固定常数后最终答案可能呈现形式的例子:。这被称为特解,因为任意常数已被消去。
第二个例子改变了微分方程的阶数。黑板上现在显示的是,主讲人将其描述为二阶方程,因为等式右端包含了、以及一阶导数。
对于这个二阶例子,主讲人指出需要两个初始条件。它们被写作和:第一个条件固定了解在处的函数值,第二个条件固定了该点处的斜率。
一组位置较低的青色曲线被画出,用以表示二阶问题的众多可能解。其中一条曲线经过标定点,并在该点处画出一条虚线切线,直观地表达了附加条件。
我们来看二阶微分方程的初值问题,写作 (x, y, y')。为唯一确定一个解,我们需要在特定点 处给出两个初始条件。第一个条件 表示解曲线必须经过点 (, )。
第二个条件 y'() = 指定了该点处解曲线的斜率。从几何上看,这意味着曲线在点 (, ) 处的切线斜率为 。
求解二阶微分方程时,其通解将包含两个任意常数,例如 。由于存在两个未知常数,我们需要两个相互独立的方程来解出它们。
这两个初始条件恰好提供了所需的两个方程。通过将 、 和 代入通解及其导数,便可解出 和 。这一过程得出唯一满足该微分方程及全部初始条件的特解。
初值问题被呈现为一个微分方程附加一个初始条件的形式。本片段中引入了缩写IVP,所展示的具体设定是一个一阶方程加上一个形如的条件。
微分方程写作形式。主讲人解释道:只是涉及和的表达式的简写,并举出例如和等实例。
所添加的要求称为初始条件,简写为I.C.。它指定了未知函数在特定输入处的取值。
不带初始条件地求解微分方程,会得到一个含一个任意常数的解族。所展示的示例是,其中对的每一种取值都对应一条不同的解曲线,因此在施加初始条件之前存在无穷多个解。
从图形上看,表示解曲线必须经过点。视频片段通过在该族曲线中的一条曲线上标出该点来说明这一点,表明初始条件从无穷多个可能解中选出一个特定解。
视频通过将一个微分方程与一个初始条件配对来定义初值问题。在第一个例子中,方程为,条件为。该条件在几何上被理解为:解曲线必须经过点。
黑板上展示了族。主讲人解释道:当一个解含有一个任意常数时,它构成一个单参数族;而一个初始条件就足以从中选出该族中的一个特定成员。
特解是指在任意常数被确定后,从该族中得到的那个特定成员。主讲人以为例加以说明,并明确指出它之所以称为‘特解’,是因为其中不再含有任何剩余的。
第二个例子通过写出将方程阶数提升至二阶。主讲人指出,等式右端可能包含、以及一阶导数。
对于屏幕上显示的二阶方程,视频指出需要两个初始条件。它们是和,即解的函数值与解的斜率均在同一点处给定。
在下方图示中,从曲线族中选取一条经过的曲线,并在该点处画出一条虚线切线。这直观地展现了的作用:它不仅确定了曲线所经过的位置,还确定了曲线在该点的方向。
二阶常微分方程的初值问题需要两个初始条件,才能确定唯一的特解。这些条件指定了函数 y 及其一阶导数 y'(即斜率)在给定点 处的取值。
二阶微分方程的通解包含两个任意常数。为求解初值问题的特解,需将两个初始条件同时代入,建立由两个方程组成的方程组,再解此方程组以确定这两个常数的值。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
主讲人说:“因此,IVP 是初值问题的简便缩写。”
黑板上在标题“初值问题”旁写着缩写“(I.V.P.)”。
IVP
初值问题的缩写。
微分方程中使用的记号。
主讲人说:“假设我们有一个微分方程,即 dy dx,它等于右边这一堆含 x 和 y 的表达式。”
黑板上显示左端为。
因变量对自变量的导数。
微分方程的记号。
主讲人说:“为了表示这一点,我将写作 f 关于 x 和 y 的函数,即 。这表示右边是一堆含 x 和 y 的表达式。”
黑板上显示,并附有注释:“含 x 和 y 的表达式”。
一个依赖于变量和的一般表达式,用作微分方程右端。
函数/表达式记号。
主讲人说:“然后我们有一个条件,y 在 x₀ 处的值等于 y₀。”
黑板上显示。
初始条件所施加的指定输入值;从几何上看,是所需点的横坐标。
自变量的取值。
主讲人说:“然后我们有一个条件,y 在 x₀ 处的值等于 y₀。”
黑板上显示。
解在处被规定的取值;从几何上看,是所需点的纵坐标。
因变量的取值。
主讲人说:“这被称为初始条件……我通常将其简写为 IC。”
黑板上显示“初始条件(I.C.)”。
IC
初始条件的缩写。
微分方程中使用的记号。
主讲人说:“你会得到类似,你知道的,x 的平方加上,你知道的,c 或者类似的东西。你会得到一个常数。在这种情况下,你会得到一个任意常数。”
黑板上展示了例题的通解。
C
微分方程通解中的任意常数。
解族参数。
黑板标题为“初值问题(I.V.P.)”。
I.V.P.
初值问题的缩写
本课中使用的标签
出现在 、(x,y,y') 和 中。
主讲人在描述二阶示例的右侧时提到了包括 x 在内的变量。
x
自变量
所展示的微分方程示例中的实变量
作为因变量出现在 、 和 中。
主讲人讨论了经过某一点的解曲线,以及如何在 中求出常数 c。
y
关于 x 的因变量或未知函数
所展示示例中的函数值
在 中显示。
主讲人指出,利用初始条件可以求出常数 c,并将所得结果称为特解,因为其中不再含有 c。
C
单参数解族中的任意常数
所展示的通解中的常数参数
见于 ,以及后文的 y'()=。
主讲人指出解经过该点,并在选取曲线时进一步提到 、。
指定的初始 x 值
初始条件中的点坐标
主讲人将本节主题引入为“初值问题”,并说:“我只想解释一下它们背后的概念以及它们的含义。”
黑板标题为“初值问题(I.V.P.)”。
视频通过名称及缩写定义该主题,而非给出完全形式化的陈述。初值问题被呈现为一个微分方程问题,同时附带一个初始条件,该条件指定了解的起始点。
本片段中展示的具体形式是一个一阶微分方程,外加一个初始条件。
主讲人说:“假设我们有一个微分方程,即 ,它等于右边这一堆含 x 和 y 的表达式。”
黑板上显示,并标注“含 x 和 y 的表达式”,还举了例子如和。
该片段将一阶微分方程写成形式,其中右端是涉及和的任意表达式。主讲人强调,仅是一种记号,表示“含x和y的某些表达式”。
该方程是一阶的,因为只出现了首阶导数。
右端可能同时依赖于和。
主讲人说:“接着我们有一个条件:y在x₀处的值等于y₀。这称为初始条件。”
黑板上写出,并标注为“初始条件(I.C.)”。
初始条件是附加在微分方程上的额外要求,写作。它固定了未知函数在特定输入处的取值。
它与微分方程配对,构成一个初值问题。
本片段中,针对一个一阶方程给出一个标量初始条件。
主讲人说:“如果你解一个微分方程……会得到一个常数。本例中,你会得到一个任意常数。因此你可能会得到无穷多个解……每个C的选择对应一个解。”
黑板上显示及若干垂直平移的曲线。
求解微分方程(不带初始条件)时,所得结果是一族含有一个任意常数的解。在演示的可视化例子中,代表无穷多个解,每个的取值对应其中的一个解。
这是以一个含一个任意常数的一阶例子来说明的。
取不同数值,就得到解族中的不同成员。
主讲人说:“这个初始条件……意味着你的解曲线经过该点。因此,它实际上是从无穷多个解中挑选出一个特定的解。”
黑板上显示了,并有一个红点标在解族中某一条曲线上。
从图形上看,初始条件要求解曲线必须经过点。在通解族所包含的无穷多条曲线中,恰好只有经过该点的那一条被选为初值问题的特解。
点必须位于所选定的解曲线上。
这一解释是通过所展示的解族曲线直观给出的。
黑板上的标题:“初值问题(I.V.P.)”。
黑板上显示 ,并附有标注为“初始条件(I.C.)”的 。
主讲人解释道,初始条件可从无穷多个解中选定唯一一个解。
视频将初值问题呈现为一个微分方程加上一个初始条件。在第一个例子中,微分方程为 ,附加条件 表明解曲线必须经过点 (,)。
一阶微分方程
一个初始条件用于从解族中选出一个特解
黑板上显示 ,并在其旁边绘制了一组青色曲线。
主讲人指出:只要解中包含一个任意常数,该解就构成一个单参数族;要得到特解,需要一个初始条件。
本课以 作为展示的通解族。常数 C 标记了无穷多条解曲线,图中展示了该族中若干条相互平行的成员曲线。
解中包含一个任意常数
C 的每一个取值对应族中的一条曲线
主讲人说:“因此这被称为特解,因为它不含任何 c。”
黑板上显示示例 ,这是在讨论初始条件如何确定 C 之后给出的。
主讲人明确指出,示例 是为说明概念而构造的,并非源自完整演算过程。
特解是指在初始条件固定了任意常数后,从解族中得到的具体成员。在本视频示例中,解族 在 C 被选定后,变为某条具体曲线,例如 。
由通解通过固定任意常数而得到
不包含任何剩余的自由常数
黑板上显示 (x,y,y')。
说话人说:“现在我们得到了一个二阶微分方程。”
第二个示例通过在左侧使用二阶导数,并使右端依赖于 x、y 和一阶导数 y',提高了微分方程的阶数。
出现的最高阶导数是二阶导数
右端可包含 x、y 和 y'
黑板上在二阶示例下方显示 和 y'()=。
说话人说:“现在我们需要两个初始条件。”
对于该二阶示例,视频指出需要两个初始条件:一个用于确定解在 处的函数值,另一个用于确定该点处的斜率。
适用于所展示的二阶微分方程
两个条件都在同一个 x 值 0 处给出
黑板上显示 Ex (x, y, y'),并给出初始条件 和 y'()=。
主讲人解释:这需要满足两点:函数图像经过某一点,且在该点处具有特定的斜率。
二阶常微分方程的初值问题,需给出该方程本身,以及两个初始条件:函数 y 在某特定点 处的取值,以及其一阶导数 y'(即斜率)在同一点处的取值。
该微分方程为二阶。
两个初始条件均在同一点 处给出。
主讲人写出一个假设性的通解 。
主讲人说:“你会有两个 C,因此必须同时利用这两个条件来确定这两个 C。”
二阶微分方程的通解包含两个任意常数。为求出满足初值问题的特解,必须同时应用两个初始条件来解出这两个常数。
该微分方程是线性齐次的,且具有常系数(由示例隐含)。
主讲人说:“所以你可能会得到无穷多个解……每个C的取值对应一个解,对吧?你有无穷多个解。”
黑板上显示了以及对应于不同常数的多条曲线。
该结论是针对该例子非正式地陈述的,而非以完全一般性的方式加以证明。
求解该微分方程得到一族含一个任意常数的解,从而产生无穷多个解,其中每一个解对应这个常数的一个取值。
该微分方程已解出,其形式中含一个任意常数,如示例所示。
对任意常数的每一个取值,都对应一个解。
说话人说:“这意味着x坐标是x零,y坐标是y零。因此,你的解经过这个点。”
黑板上显示初始条件旁标有,且曲线上标有一个点。
条件意味着解曲线必须经过点。
初始条件写作。
对于给定的值和,解必须满足该点条件。
说话人说:“因此,它所做的就是从无穷多个解中选出一个特定的解。”
一个红点被置于青色曲线族中的一条曲线上,直观地凸显出这一条曲线。
所选曲线的唯一性通过所绘曲线族直观呈现;未陈述任何一般性的存在唯一性定理。
将初始条件加入微分方程,便从该微分方程自身所拥有的无穷多个解中,选定一个特定解。
该微分方程产生一族解曲线。
初始条件指定了一个点,所求解必须经过该点。
在所展示的解曲线族中,该条件挑出经过指定点的那条曲线。
主讲人指出:只要解中含一个任意常数,或构成一个单参数解族,要确定一个特解,就需要一个初始条件。
该陈述以口头方式针对所展示的一阶例子给出;视频片段未在此例之外提供形式化的定理陈述。
当解中包含一个任意常数时,需要一个初始条件来确定一个特解。
解族中恰好含有一个任意常数
有一个初始条件可用于确定该常数
针对所展示的单参数解族
写出二阶方程后,主讲人说:“因此我们现在需要两个初始条件。”
黑板上随后显示 和 y'()=。
该片段是在所展示的二阶例子背景下陈述这一点的,并未给出一般性证明。
对于屏幕上显示的二阶微分方程,需要两个初始条件。
该微分方程如黑板上所写,为二阶。
例如 (x,y,y')
主讲人指出,初始条件在图形上表明我们的解曲线经过该点;而在选定某一条特定解曲线之前,存在无穷多条可能的解曲线。
在青色解曲线族中,一条红色曲线经过标出的点 (,)。
在第一个例子中,初始条件 在图形上选取了经过点 (,) 的解曲线。
存在一族解曲线。
指定了点 (,)。
针对屏幕上显示的一阶初值问题示例
主讲人说:“不仅如此,它还保证了该点处的斜率就是这个值。”
在下方曲线族中选定的点处,画出了一条虚线切线。
口述句子在完整复述符号条件前就中断了,但黑板上已写出 y'()=。
对于二阶例子,附加条件 y'()= 确定了所选解在 处的斜率。
该微分方程为二阶。
指定了点 和期望的斜率 。
针对所展示的二阶初值问题例子。
讲解者逐步阐释其图形含义:求解得到一个任意常数,因而有无穷多个解;接着,初始条件意味着解必须经过;因此它便确定了一个特定解。
黑板上依次显示、,然后在其中一条曲线上标出一个点。
画出了若干条垂直平移的曲线,并在其中一条上高亮标出一个点。
该论证以解释性和可视化为主,而非形式化证明。
从一个含一个任意常数的已解微分方程实例出发。
主讲人指出,解微分方程通常会得到一个常数,此处这个任意常数为case one。
改变可产生多条解曲线,每选定一个常数值就对应一条解曲线。
主讲人明确指出存在无穷多个解,每个的取值对应一个解。
将初始条件改写为坐标为的点。
主讲人指出,x 坐标为,y 坐标为。
要求解经过,便能从该解族中唯一确定出一条曲线。
主讲人总结道,初始条件是从无穷多个解中选取一个特定解。
初始条件通过强制解的图像经过指定的点,将解族转化为一个特定解。
主讲人说:“因此,为了表示这一点,我将写作 f 乘以 x 逗号 y。这整句话的意思是:我们有一些含 x 和 y 的表达式。”
黑板上写出,并标注为“含 x 和 y 的表达式”,随后给出例子和。
用紧凑记号代替未具体指定的右端表达式。
主讲人介绍了用以表示涉及和的表达式的记号。
一个可能的具体右端项是。
主讲人将此作为“含x与y的表达式”的一个例子。
另一个可能的具体右端项是。
主讲人将此作为同一记号的另一个例子。
在此语境中,并非特定公式,而是由变量和构造出的任意表达式的简写。
说话人从通解族 出发,指出利用初始条件可求出常数 c,从而得到一个特解。
一条红色解曲线经过点 (,),穿插于青色曲线之间。
数值 被明确引入,仅作为一个示意性的虚构例子,并非通过展示代入计算所得结果。
黑板上展示了含一个参数的解曲线族。
直接在黑板上显示。
初始条件规定所求解必须经过点(, )。
口头陈述,并写在黑板上。
利用初始条件可确定任意常数,从而得到该函数族中唯一的一个具体成员。
主讲人解释初始条件的作用。
主讲人举例说明当常数 C 确定后,所得特解可能呈现的形式。
音频中明确说明这是一个虚构的示例。
一阶初值问题被理解为:通过对族 施加条件 ,从中选出一条曲线,从而得到不含剩余常数的特解。
黑板上补充写出 (x, y, y'),以及 、y'() = 。
主讲人指出新例子是二阶的,因此需要两个初始条件。
先画出一族较低位置的青色曲线,再从中选出一条经过点(, )的曲线,并用虚线切线标出该点处的斜率。
该片段未展示二阶方程的显式通解公式,仅以图形方式示意选择过程。
主讲人将一阶示例替换为一个二阶微分方程,其右端依赖于 x、y 和 y′。
写在黑板上,并在音频中加以描述。
第一个初始条件再次用于选出经过指定点的那条积分曲线。
以口头方式陈述,并写在二阶方程下方。
增加第二个初始条件,用以指定同一点处的斜率。
以口头方式陈述,并写在第一个初始条件下方。
图示中同时画出一族解中被选定的一条曲线,以及该点处的切线,二者共同满足两个初始条件。
在图中以高亮显示的曲线和虚线切线呈现。
对于所展示的这个二阶示例,初值问题(IVP)需要在 处给出两组数据:函数值 和斜率 。
讲解者说明如何利用两个初始条件,求出通解中的两个常数 和 ,从而得到特解。
一条红色曲线经过点 (, ),且在该点处具有指定斜率,代表该特解。
从含有两个任意常数的通解出发,例如 。
这是二阶常微分方程通解的标准形式。
将第一个初始条件 代入通解。
由此得到一个关于 和 的方程。
将第二个初始条件 y'() = 代入通解的导数。
由此得到另一个关于 和 的方程。
解这个由两个方程组成的方程组,求出 和 的具体数值。
将这些值代回通解,即可得到唯一的特解。
两个初始条件对于确定通解中的两个常数而言,既是必要的,也是充分的,从而可求出初值问题的唯一特解。
主讲人说:“我们来看两个例子。所以example one。假设我们有一个微分方程……接着我们有一个条件:x₀处的y等于y₀。”
黑板上显示“Ex”后接和,并标注为“初始条件(I.C.)”。
主讲人宣布了两个例子,但本片段中实际展开的仅有例1。
写出一个通用的一阶初值问题,包含一个微分方程和一个初始条件。
一个右端项依赖于和的微分方程。
一个指定的点。
用标准记号表示该问题。
将微分方程写成一阶形式。
主讲人明确将此作为示例微分方程引入。
将解释为一个占位符,代表任何涉及和的表达式。
主讲人说明这便是全部记号的含义,并举例如和。
添加初始条件。
主讲人写出并称此条件为初始条件。
初值问题写作连同。
黑板上直接显示这两行,第二行标注为“初始条件(I.C.)”。
主讲人说:“如果你解一个微分方程……你会得到类似……x 的平方加……c……在这种情况下,你会得到一个任意常数。因此你可能会得到无穷多个解……”,随后又说:“这是从无穷多个解中选取一个特定解。”
黑板上显示。
绘制多条青色曲线,然后在其中一条曲线上标出一个红色点。
示例仅作示意之用;视频并未展示导出该示例的微分方程。
阐释初始条件如何作用于微分方程的解族。
通解族。
一个初始条件,等价于点。
展示初始条件如何选出唯一一条解曲线。
显示一个含单参数的解曲线族。
主讲人将此视为求解含一个任意常数的微分方程后的典型结果。
绘制若干条沿竖直方向平移的抛物线,以表示对的不同选择。
主讲人指出存在无穷多个解,每个的选择对应一个解。
标出与初始条件对应的点。
主讲人将重写为坐标点。
选择经过标记点的曲线。
主讲人指出解必须经过该点,从而选出一个特解。
初始条件从族中选出唯一一个经过的成员。
视觉演示在一条青色曲线上标出一个红点,与口述解释相吻合。
黑板上显示 ,,以及 。
主讲人解释道:一个初始条件足以确定一个单参数族;并以 为例,说明一个特解。
一条红色曲线穿过点 (,),它位于一组青色解曲线之中。
示例 明确说明仅为图示而构造;视频片段并未展示通过某个具体数值点推导出 的代入过程。
已知所展示的一阶微分方程 ,其通解族为 ,请解释初始条件如何生成一个特解。
y 对 x 的导数等于 f 以 x 和 y 为自变量的函数值
y 等于 x 的2次方加 C
初始条件
指出初始条件如何从解族中选出唯一一个解。
从黑板上展示的单参数解族出发。
直接作为通解示例呈现。
施加初始条件:要求解经过点 (,)。
在黑板上写出,并以口头方式解释其图形含义,即初值条件(I.C.)的几何意义。
利用该条件确定任意常数。
主讲人表示,一旦使用该方法,你就能求出常数 c。
主讲人以此作为所得特解的一个示例。
音频中明确说明,这是为说明答案可能长什么样而虚构的示例。
通过确定常数 C 可得到一个特解;视频中给出的示意结果是 。
从图形上看,所选的红色曲线经过标出的点 (,),符合所给定的初始条件。
黑板上写出 (x,y,y'),并附有 和 y'()=。
主讲人指出这是一个二阶微分方程,因此现在需要两个初始条件。
画出一族较低位置的青色曲线,其中一条曲线经过点 (,),并用虚线切线表示该点处的斜率。
对于这个二阶例子,黑板上并未写出显式的通解公式;该片段仅从几何角度演示了两个条件的作用。
已知屏幕上显示的二阶微分方程 (x,y,y'),请说明为选出唯一解所需提供的初始数据。
(x,y,y')
绘制出一族可能的解曲线
在下方的曲线族中标出点 (, )
确定该二阶示例所需的初始条件的个数及其含义。
写出黑板上所示的二阶微分方程。
直接显示并口头说明其阶数为二。
添加第一个初始条件,使解曲线经过指定的点。
写在黑板上,并描述为选取经过点 、 的那条曲线。
添加第二个初始条件,以指定该点处的斜率。
写在黑板上,并通过图中虚线表示的切线加以强调。
该二阶示例需要两个初始条件: 和 y'() = 。
下方图示中既展示了一条经过点 (, ) 的选定曲线,也展示了该点处的切线方向,与所陈述的两个条件完全吻合。
主讲人写下 ,并明确说明:‘我完全是凭空编的。’
展示二阶常微分方程通解的形式。
给出一个二阶微分方程(未显式求解)。
说明通解中将包含两个任意常数。
写出一个假设的通解。
为说明存在两个常数 和 。
y 等于 C 下标1乘以 e 的 x 次方,加上 C 下标2乘以 x 的2次方
主讲人指出,这是一个虚构的例子,仅用于阐释概念,并非此前所写微分方程的实际解。
黄色手写字体先写出标题“初值问题”,再添加“(I.V.P.)”。
主讲人引入本主题,并说明IVP是初值问题的缩写。
标题文字“初值问题”
缩写“(I.V.P.)”
标题先被写出。
缩写随后添加在标题之后。
背景保持黑色。
书写颜色保持黄色。
视频片段以点明主题并介绍其标准缩写开始。
黑板上先写出“Ex”,然后是,接着是,随后标注“含x和y的表达式”,最后给出例子和。
讲解者说明等式右边是某个涉及和的表达式。
标注“Ex”。
方程。
标注“含x和y的表达式”。
例子和。
该方程从左到右逐步构建。
解释性标注添加在等式右边的上方。
具体示例表达式写在注释下方。
所有主体文字均为黄色。
方程保持居中,位于黑板左半侧。
图示序列定义了一阶标准形式,并阐明仅是关于和的表达式的记号。
在微分方程下方,黑板上写出,画出一个箭头,并标注为“初始条件(I.C.)”。
说话人称该条件为初始条件,并将其简写为 IC。
方程
箭头
标注“初始条件(I.C.)”
在微分方程下方另起一行书写。
一个箭头从该标注指向方程。
原始的微分方程始终显示在上方。
书写内容保持黄色。
通过为微分方程附加一个点条件,问题得以完成。
右侧黑板上用青色写出,并绘制若干条垂直堆叠、开口向上的青色曲线。
主讲人称:求解得到一个任意常数,因此有无穷多个解,每个的取值对应一个解。
公式
多条青色抛物线曲线
先写出公式。
随后在其下方依次绘制若干条曲线。
这些曲线保持相同的基本形状。
它们主要区别在于竖直方向的位置,代表不同的常数。
该图表示由任意常数变化所生成的一族单参数解。
在初始条件附近添加了一个红色箭头和红色文字,然后在一个青色曲线上放置了一个红色点。
讲解者指出,该解经过此点,从而从无穷多个解中选定一个特定解。
红色文字
红色箭头
青色曲线上的一颗红色点
坐标对以红色书写。
在曲线族的某一条曲线上放置一颗红色点。
青色曲线族保持可见。
初始条件方程保留在左侧。
红色点直观地体现条件 通过选择经过 的曲线。
在黑板右侧多条青色曲线中,画出一条红色曲线,使其经过已标出的点 (, )。
说话者说:“因此,此处这条红色曲线就是该初值问题的解。”
青色解曲线族
红色解曲线
点的标签(,)
通过标记点添加一条特定的红色曲线
所选曲线在视觉上与其他青色曲线区分开来
周围的青色曲线族仍保持可见
点(,)持续被标记
该图示说明:初值问题从解曲线族中选定唯一一支,即经过指定点的那条曲线。
在红色曲线附近手写标注“初值问题的解”。
红色曲线
手写标签“初值问题的解”
文字标签写在所选曲线旁边
底层的曲线族与点保持不变
该注释指出红色曲线是对应于该初值问题的特解。
黑板添加了示例表达式 置于先前的族 下方。
说话人说:“你会得到类似 y 等于……x 的平方加四这样的结果,比如说。”
说话人明确将此表述为一个虚构的例子,而非由某个数值点计算得出的结果。
公式
公式
黑板上写出一个将 C 替换为 4 的具体例子
一般函数族 仍清晰显示在上方
这一可视化步骤将抽象的单参数函数族转化为某个特解的具体示例。
在二阶示例下方绘制了一组较低位置的青色波浪形曲线。
一个标有 (, ) 的黄色点被置于其中一条曲线上。
在该点处画出一条虚线切线。
讲解者指出,这些条件选取了经过点 、 的曲线,并保证该点处的斜率。
切线上未标出精确的数值斜率;符号化条件 y'() = 单独写在黑板上。
下方的青色曲线族
黄色点 (, )
经过该点所选的曲线
虚线切线
针对二阶情形,绘制出一族新的曲线
通过标记的点选出其中一条曲线
在该点处添加一条切线
上方的一阶示例仍保留在黑板上
符号条件 和 y'()= 依然可见
类似动画效果的黑板推演过程表明:二阶初值问题在几何上需要同时给定点条件和斜率条件,才能确定解。
在蓝色曲线上点 (, ) 处画出一条黄色切线,并在其旁标注文字‘斜率 ’。
代表解族的蓝色曲线
黄色点(, )
黄色虚线切线
文字“斜率 ”
在指定点处画出一条切线。
该切线的斜率标记为 。
点(, )在曲线上保持固定。
初始条件 y'() = 决定了解曲线在初始点 处的斜率。
绘制一条红色曲线,使其恰好经过点(, ),且与黄色切线的斜率一致。
蓝色曲线族
红色曲线
黄色点(, )
黄色切线
从一族蓝色曲线中画出一条特定的红色曲线。
该红色曲线经过点(, )。
红色曲线在 处的斜率为 。
该红色曲线表示满足该初值问题两个初始条件的唯一特解。
主讲人说:“所以这一切的意思就是,我们有一些含 x 和 y 的表达式……这个记号所表示的就只是这个。”
黑板将标注为“含 x 和 y 的表达式”,并列举了诸如和等例子。
学生可能认为代表某一个特定的复杂函数,而非代表和中任意表达式的占位符。
在本片段中,被明确解释为“含 x 和 y 的表达式”的简写,并以和等为例说明。
主讲人说,求解得到一个任意常数,以及“无穷多个解……每一个 C 的取值对应一个解。”
为绘制了若干条互不相同的曲线。
学生可能预期单个微分方程自身就能确定一条唯一的解曲线。
视频表明,若无初始条件,则存在一族解,其中每一个任意常数的取值对应一个解。
主讲人提问:“那么这在图形上意味着什么?”随后解释该解经过点。
在其中一条曲线上标出一个红点,用以表示该条件。
学生可能仅把看作一个公式,而忽略其几何意义。
从图像上看,初始条件意味着解曲线必须经过特定点,从而从解族中选出其中一个成员。
主讲人说:“因此这被称为特解,因为它不含任何 c。”
人们可能误以为:只要解的表达式中含参数,就已是初值问题的最终答案。
视频将族函数 与一个特解(如 )区分开来;后者的任意常数已被确定,因此不再含有自由的 c。
在引入 (x,y,y') 后,主讲人说:“因此我们现在需要两个初始条件。”
和 y'()= 这两个条件均写在二阶示例下方。
人们可能沿用一阶方程的规则,预期单个初始条件即可确定二阶方程的解。
在屏幕上展示的这个二阶例子中,视频明确添加了第二个条件:y'()=,从而同时固定了函数值与斜率。
黑板上先写出,然后在其下方添加。
主讲人先引入微分方程,接着说:“然后我们有一个条件。”
视频片段中呈现的初值问题由一个微分方程及其初始条件共同构成。
初始条件被直接写在微分方程的正下方。
主讲人在建立微分方程后说道:“然后我们有一个条件。”
初始条件被应用于微分方程的解,从而构成一个完整的初值问题。
主讲人将“无穷多个解”与“从无穷多个解中挑选出一个特定解”进行对比。
首先显示多条青色曲线,随后用红色点标出其中一条。
该视频片段将微分方程的全部解族与初始条件所选定的唯一特解进行了对比。
主讲人指出,初始条件意味着解曲线经过该点,从而确定了唯一的一个特解。
黑板将与点关联,并在一条曲线上标出该点。
特解的选择取决于将初始条件理解为图像必须经过这一要求。
黑板写出,并用示例和加以注释。
主讲人说,这种记号表示“一些含x和y的表达式”。
在微分方程形式中,符号蕴含了关于变量和的任意表达式这一概念;本片段将此视为同一公式项的一部分。
主讲人将一个初始条件与从单参数解族中找出特解的过程联系起来。
黑板上显示 ,以及 ;随后又写出 。
初值问题中的初始条件,正是将通解族转化为特解的关键。
黑板上先展示解族 ,再给出具体例子 。
从青色解族中选出一条红色曲线。
特解是更广泛的单参数解族中的一个成员。
黑板上从 过渡到 (x,y,y')。
主讲人说:“那么现在我们有了一个二阶微分方程,因此需要两个初始条件。”
第二个例子将初值问题的思想,从一阶方程推广到了二阶方程。
在微分方程 (x, y, y') 下,黑板上列出了初始条件 和 y'() = 。
主讲人明确指出需要两个初始条件。
由于所展示的方程是二阶的,因此初值问题需要两个初始条件,而不是一个。
黑板上写出了 y'() = 。
在下方曲线族中选定的点处,画出了一条虚线切线。
主讲人称该条件保证了该点处的斜率。
符号形式的斜率条件 y'() = ,通过在选定的点处所画的切线直观地表示出来。
讲解者将两个初始条件与通解中常数的确定联系起来。
初值问题的初始条件被代入通解,以确定任意常数并求得特解。
开场旁白介绍了“初值问题”及其缩写IVP。
黑板标题:“初值问题(I.V.P.)”。
主讲人解释说,表示“一些含x和y的表达式”。
黑板上的注释及示例、。
黑板上写出,并标注为“初始条件(I.C.)”。
主讲人将这一行称为初始条件。
主讲人说,求解会得到一个任意常数,从而产生无穷多个解,每个的取值对应一个解。
黑板上展示及多条曲线。
主讲人提问该条件在图形上的含义,并回答:解曲线经过点。
在一个解族的曲线上标出一个红点。
主讲人将解族与初始条件所确定的特解进行对比。
先显示多条青色曲线,再由红点选定其中一条。
标题“初值问题(I.V.P.)”可见。
黑板上展示了 ,并附有初始条件 。
主讲人指出,一个任意常数意味着需要一个初始条件来确定特解。
主讲人指出,特解中不含任意常数 c。
黑板上展示了一个例子:。
黑板上展示了微分方程 (x,y,y'),并附带初始条件 和 y'()=。
主讲人指出,这个二阶例子需要两个初始条件。
在下方曲线族中选定的点处,画出了一条虚线切线。
主讲人指出,该条件保证了该点处的斜率。
讲解者说:‘这需要满足两点……它经过这个点,并且在该点处具有这一特定斜率。’
已覆盖 · 介绍主题名称及缩写 IVP。
已覆盖 · 写出通用的一阶微分方程,并解释。
已覆盖 · 添加初始条件,并标注为 I.C.。
已覆盖 · 说明求解会得到一个任意常数,从而产生无穷多条解曲线,图示为。
已覆盖 · 从图形角度解释:初始条件迫使解曲线经过,从而选出其中一条特定曲线。
已覆盖 · 开场画面状态及红色标出的特解曲线被加以说明。
已覆盖 · 主讲人指出,一个任意常数对应一个初始条件,且该条件用于选出经过该点的那条曲线。
已覆盖 · 例题 被引入,作为不含剩余任意常数的特解。
已覆盖 · 黑板切换至二阶方程 (x,y,y')。
已覆盖 · 写出并讨论两个初始条件: 和 y'()=。
已覆盖 · 画出一族较低位置的曲线,从中选出一条经过点 (,) 的曲线,并用一条切线示意该点处的斜率条件。
已覆盖 · 二阶常微分方程的两个初始条件及其几何意义的解释。
已覆盖 · 如何利用这两个初始条件,代入通解以求出其中两个常数,从而得到特解的解释。
已审核的主题路径