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

初值问题

The Math Sorcerer · YouTube · 4:53

打开原视频
阅读与收藏

把讲解展开来看。

被收藏 0

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

这段时长120秒的白板讲解片段介绍了微分方程中的初值问题(IVP)。主讲人写出通用的一阶方程dydx=f(x,y)\frac{dy}{dx}=f(x,y),解释f(x,y)f(x,y)仅表示一个包含xx和yy的表达式,然后添加初始条件y(x0)=y0y(x_0)=y_0,并标注为 I.C.。为从图形上阐明其含义,白板展示了一个样本通解y=x2+Cy=x^2+C,包含若干垂直平移的曲线,代表对应不同常数CC的无穷多个解;最后,在其中一条曲线上标出点(x0,y0)(x_0,y_0),以说明初始条件迫使解经过该点,从而从整个解族中选定唯一的一个特解。 这段时长为120秒的白板片段通过对比含一个参数的解族与由初始条件选定的特解,引出初值问题。第一个例子使用微分方程 dy/dx=f(x,y)dy/dx = f(x,y)、解族 y=x2+Cy = x^2 + C,以及初始条件 y(x0)=y0y(x_0)=y_0,并用一条红色曲线经过点 (x0x_0,y0y_0) 来展示所选特解。讲解者随后给出 y=x2+4y = x^2 + 4 作为示意性的特解,因为它不再含有任意常数。后半部分将该思想推广至二阶方程 d2y/dx2=fd^2y/dx^2 = f(x,y,y'),指出需要两个初始条件:y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1。下方的一族曲线、一个高亮的点以及一条虚线切线直观地表明:第二个条件固定了所选点处的斜率。 本视频片段讲解二阶常微分方程的初值问题(IVP)概念。它指出:此类问题需要两个初始条件——函数在某一点处的取值,以及其一阶导数(即斜率)在该点处的取值。主讲人以一个含两个任意常数的假设性通解为例,演示了为何必须同时使用这两个初始条件,才能解出常数并得到唯一的特解。

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

章节

0:00初值问题导引0:22通用微分方程dydx=f(x,y)\frac{dy}{dx}=f(x,y)0:54初始条件y(x0)=y0y(x_0)=y_01:14通解族与任意常数1:36通过图形选取特解2:00初值问题与所选定的解曲线2:11一个任意常数与一个初始条件2:33特解示例:y=x2+4y = x^2 + 42:52二阶微分方程示例3:17二阶情形所需的两个初始条件3:33曲线选取与切线解释4:00二阶常微分方程的初始条件4:22求特解

学习解说文稿

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

片段开头点明主题:初值问题,缩写为 IVP;此处强调其目的为概念性理解——阐释这类问题的含义,而非求解某个具体方程。

首先引入的数学对象是一个通用的一阶微分方程,写作dydx=f(x,y)\frac{dy}{dx}=f(x,y)。主讲人立即说明:f(x,y)f(x,y)仅是涉及变量xx和yy的表达式的记号,并举出例如x+yx+y和x2+sin⁡yx^2+\sin y等实例。

接下来,为该微分方程附加一项额外要求:初始条件y(x0)=y0y(x_0)=y_0。板书上将其标记为I.C.。微分方程与这一条件合在一起,便构成本节所讨论的初值问题。

为解释该条件的含义,主讲人转向几何图像。单独求解微分方程会产生一个任意常数,如示例族y=x2+Cy=x^2+C所示。对CC取不同值会得到不同的曲线,因此仅凭微分方程本身便对应无穷多个解。

最后一步将y(x0)=y0y(x_0)=y_0从几何角度解释为:解必须经过点(x0,y0)(x_0,y_0)。板书上,该点被标在曲线族的某一条曲线上。因此,初始条件并不会产生一种新的解;它只是从先前展示的无穷多解族中选出一个特定解。

黑板标题为“初值问题(I.V.P.)”。左侧第一个例子是微分方程 dydx=f(x,y)\frac{dy}{dx}=f(x,y),附加条件 y(x0)=y0y(x_0)=y_0被标为初始条件。右侧是一族青色曲线,代表多个解;主讲人指出新绘制的红色曲线即为该初值问题的解。

课程随后陈述本节所阐释的规则:若解中含一个任意常数,如所展示的解族 y=x2+Cy=x^2+C,则一个初始条件足以确定一个特解。从几何上看,该条件意味着所选解必须经过点 (x0,y0)(x_0,y_0)。

为了使概念具体化,主讲人给出了一个固定常数后最终答案可能呈现形式的例子:y=x2+4y=x^2+4。这被称为特解,因为任意常数已被消去。

第二个例子改变了微分方程的阶数。黑板上现在显示的是d2ydx2=f(x,y,y′)\frac{d^2y}{dx^2}=f(x,y,y'),主讲人将其描述为二阶方程,因为等式右端包含了xx、yy以及一阶导数y′y'。

对于这个二阶例子,主讲人指出需要两个初始条件。它们被写作y(x0)=y0y(x_0)=y_0和y′(x0)=y1y'(x_0)=y_1:第一个条件固定了解在x0x_0处的函数值,第二个条件固定了该点处的斜率。

一组位置较低的青色曲线被画出,用以表示二阶问题的众多可能解。其中一条曲线经过标定点(x0,y0)(x_0,y_0),并在该点处画出一条虚线切线,直观地表达了附加条件y′(x0)=y1y'(x_0)=y_1。

我们来看二阶微分方程的初值问题,写作 d2y/dx2=fd^2y/dx^2 = f(x, y, y')。为唯一确定一个解,我们需要在特定点 x0x_0 处给出两个初始条件。第一个条件 y(x0)=y0y(x_0) = y_0 表示解曲线必须经过点 (x0x_0, y0y_0)。

第二个条件 y'(x0x_0) = y1y_1 指定了该点处解曲线的斜率。从几何上看,这意味着曲线在点 (x0x_0, y0y_0) 处的切线斜率为 y1y_1。

求解二阶微分方程时,其通解将包含两个任意常数,例如 y=C1ex+C2x2y = C_1 e^x + C_2 x^2。由于存在两个未知常数,我们需要两个相互独立的方程来解出它们。

这两个初始条件恰好提供了所需的两个方程。通过将 x0x_0、y0y_0 和 y1y_1 代入通解及其导数,便可解出 C1C_1 和 C2C_2。这一过程得出唯一满足该微分方程及全部初始条件的特解。

知识卡片

01

初值问题(IVP)

初值问题被呈现为一个微分方程附加一个初始条件的形式。本片段中引入了缩写IVP,所展示的具体设定是一个一阶方程加上一个形如y(x0)=y0y(x_0)=y_0的条件。

02

通用的一阶微分方程

微分方程写作形式dydx=f(x,y)\frac{dy}{dx}=f(x,y)。主讲人解释道:f(x,y)f(x,y)只是涉及xx和yy的表达式的简写,并举出例如x+yx+y和x2+sin⁡yx^2+\sin y等实例。

dydx=f(x,y)\frac{dy}{dx}=f(x,y)
03

初始条件

所添加的要求y(x0)=y0y(x_0)=y_0称为初始条件,简写为I.C.。它指定了未知函数在特定输入x0x_0处的取值。

y(x0)=y0y(x_0)=y_0
04

含一个任意常数的通解族

不带初始条件地求解微分方程,会得到一个含一个任意常数的解族。所展示的示例是y=x2+Cy=x^2+C,其中对CC的每一种取值都对应一条不同的解曲线,因此在施加初始条件之前存在无穷多个解。

y=x2+Cy=x^2+C
05

初始条件的图形意义

从图形上看,y(x0)=y0y(x_0)=y_0表示解曲线必须经过点(x0,y0)(x_0,y_0)。视频片段通过在该族曲线中的一条曲线上标出该点来说明这一点,表明初始条件从无穷多个可能解中选出一个特定解。

06

初值问题(一阶例子)

视频通过将一个微分方程与一个初始条件配对来定义初值问题。在第一个例子中,方程为dydx=f(x,y)\frac{dy}{dx}=f(x,y),条件为y(x0)=y0y(x_0)=y_0。该条件在几何上被理解为:解曲线必须经过点(x0,y0)(x_0,y_0)。

dydx=f(x,y),y(x0)=y0\frac{dy}{dx}=f(x,y), \quad y(x_0)=y_0
07

单参数族与一个初始条件

黑板上展示了族y=x2+Cy=x^2+C。主讲人解释道:当一个解含有一个任意常数时,它构成一个单参数族;而一个初始条件就足以从中选出该族中的一个特定成员。

y=x2+Cy=x^2+C
08

特解

特解是指在任意常数被确定后,从该族中得到的那个特定成员。主讲人以y=x2+4y=x^2+4为例加以说明,并明确指出它之所以称为‘特解’,是因为其中不再含有任何剩余的cc。

y=x2+4y=x^2+4
09

二阶微分方程例子

第二个例子通过写出d2ydx2=f(x,y,y′)\frac{d^2y}{dx^2}=f(x,y,y')将方程阶数提升至二阶。主讲人指出,等式右端可能包含xx、yy以及一阶导数y′y'。

d2ydx2=f(x,y,y′)\frac{d^2y}{dx^2}=f(x,y,y')
10

二阶情形下的两个初始条件

对于屏幕上显示的二阶方程,视频指出需要两个初始条件。它们是y(x0)=y0y(x_0)=y_0和y′(x0)=y1y'(x_0)=y_1,即解的函数值与解的斜率均在同一点x0x_0处给定。

y(x0)=y0,y′(x0)=y1y(x_0)=y_0, \quad y'(x_0)=y_1
11

斜率条件的几何意义

在下方图示中,从曲线族中选取一条经过(x0,y0)(x_0,y_0)的曲线,并在该点处画出一条虚线切线。这直观地展现了y′(x0)=y1y'(x_0)=y_1的作用:它不仅确定了曲线所经过的位置,还确定了曲线在该点的方向。

12

二阶初值问题

二阶常微分方程的初值问题需要两个初始条件,才能确定唯一的特解。这些条件指定了函数 y 及其一阶导数 y'(即斜率)在给定点 x0x_0 处的取值。

d2ydx2=f(x,y,y′),y(x0)=y0,y′(x0)=y1\frac{d^2y}{dx^2} = f(x, y, y'), \quad y(x_0) = y_0, \quad y'(x_0) = y_1
13

求通解中的常数

二阶微分方程的通解包含两个任意常数。为求解初值问题的特解,需将两个初始条件同时代入,建立由两个方程组成的方程组,再解此方程组以确定这两个常数的值。

详细学习笔记

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

符号定义 · 22

IVP

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

    主讲人说:“因此,IVP 是初值问题的简便缩写。”

  2. 公式
    观察依据

    黑板上在标题“初值问题”旁写着缩写“(I.V.P.)”。

符号

IVP

含义

初值问题的缩写。

适用范围

微分方程中使用的记号。

dydx\frac{dy}{dx}

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

    主讲人说:“假设我们有一个微分方程,即 dy dx,它等于右边这一堆含 x 和 y 的表达式。”

  2. 公式
    观察依据

    黑板上显示左端为dydx\frac{dy}{dx}。

符号

dydx\frac{dy}{dx}

含义

因变量yy对自变量xx的导数。

适用范围

微分方程的记号。

f(x,y)f(x,y)

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

    主讲人说:“为了表示这一点,我将写作 f 关于 x 和 y 的函数,即 f(x,y)f(x, y)。这表示右边是一堆含 x 和 y 的表达式。”

  2. 公式
    观察依据

    黑板上显示f(x,y)f(x,y),并附有注释:“含 x 和 y 的表达式”。

符号

f(x,y)f(x,y)

含义

一个依赖于变量xx和yy的一般表达式,用作微分方程右端。

适用范围

函数/表达式记号。

x0x_0

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

    主讲人说:“然后我们有一个条件,y 在 x₀ 处的值等于 y₀。”

  2. 公式
    观察依据

    黑板上显示y(x0)=y0y(x_0)=y_0。

符号

x0x_0

含义

初始条件所施加的指定输入值;从几何上看,是所需点的横坐标。

适用范围

自变量的取值。

y0y_0

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

    主讲人说:“然后我们有一个条件,y 在 x₀ 处的值等于 y₀。”

  2. 公式
    观察依据

    黑板上显示y(x0)=y0y(x_0)=y_0。

符号

y0y_0

含义

解在x=x0x=x_0处被规定的取值;从几何上看,是所需点的纵坐标。

适用范围

因变量的取值。

IC

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

    主讲人说:“这被称为初始条件……我通常将其简写为 IC。”

  2. 公式
    观察依据

    黑板上显示“初始条件(I.C.)”。

符号

IC

含义

初始条件的缩写。

适用范围

微分方程中使用的记号。

C

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

    主讲人说:“你会得到类似,你知道的,x 的平方加上,你知道的,c 或者类似的东西。你会得到一个常数。在这种情况下,你会得到一个任意常数。”

  2. 公式
    观察依据

    黑板上展示了例题的通解y=x2+Cy=x^2+C。

符号

C

含义

微分方程通解中的任意常数。

适用范围

解族参数。

I.V.P.

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

    黑板标题为“初值问题(I.V.P.)”。

符号

I.V.P.

含义

初值问题的缩写

适用范围

本课中使用的标签

x

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

    出现在 dy/dx=f(x,y)dy/dx = f(x,y)、d2y/dx2=fd^2y/dx^2 = f(x,y,y') 和 y=x2+Cy = x^2 + C 中。

  2. 声音
    观察依据

    主讲人在描述二阶示例的右侧时提到了包括 x 在内的变量。

符号

x

含义

自变量

适用范围

所展示的微分方程示例中的实变量

y

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

    作为因变量出现在 dy/dx=f(x,y)dy/dx = f(x,y)、y(x0)=y0y(x_0)=y_0 和 y=x2+Cy = x^2 + C 中。

  2. 声音
    观察依据

    主讲人讨论了经过某一点的解曲线,以及如何在 y=x2+Cy = x^2 + C 中求出常数 c。

符号

y

含义

关于 x 的因变量或未知函数

适用范围

所展示示例中的函数值

C

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

    在 y=x2+Cy = x^2 + C 中显示。

  2. 声音
    观察依据

    主讲人指出,利用初始条件可以求出常数 c,并将所得结果称为特解,因为其中不再含有 c。

符号

C

含义

单参数解族中的任意常数

适用范围

所展示的通解中的常数参数

x0x_0

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

    见于 y(x0)=y0y(x_0)=y_0,以及后文的 y'(x0x_0)=y1y_1。

  2. 声音
    观察依据

    主讲人指出解经过该点,并在选取曲线时进一步提到 x0x_0、y0y_0。

符号

x0x_0

含义

指定的初始 x 值

适用范围

初始条件中的点坐标

知识点 · 12

初值问题(IVP)

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

    主讲人将本节主题引入为“初值问题”,并说:“我只想解释一下它们背后的概念以及它们的含义。”

  2. 公式
    观察依据

    黑板标题为“初值问题(I.V.P.)”。

定义
解释

视频通过名称及缩写定义该主题,而非给出完全形式化的陈述。初值问题被呈现为一个微分方程问题,同时附带一个初始条件,该条件指定了解的起始点。

公式
适用条件
  1. 本片段中展示的具体形式是一个一阶微分方程,外加一个初始条件。

先修条目
  1. 一阶微分方程的一般形式
  2. 初始条件

一阶微分方程的一般形式

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

    主讲人说:“假设我们有一个微分方程,即 dy/dxdy/dx,它等于右边这一堆含 x 和 y 的表达式。”

  2. 公式
    观察依据

    黑板上显示dydx=f(x,y)\frac{dy}{dx}=f(x,y),并标注“含 x 和 y 的表达式”,还举了例子如x+yx+y和x2+sin⁡yx^2+\sin y。

公式
解释

该片段将一阶微分方程写成形式dydx=f(x,y)\frac{dy}{dx}=f(x,y),其中右端是涉及xx和yy的任意表达式。主讲人强调,f(x,y)f(x,y)仅是一种记号,表示“含x和y的某些表达式”。

公式
dydx=f(x,y)\frac{dy}{dx}=f(x,y)
适用条件
  1. 该方程是一阶的,因为只出现了首阶导数dydx\frac{dy}{dx}。

  2. 右端可能同时依赖于xx和yy。

初始条件

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

    主讲人说:“接着我们有一个条件:y在x₀处的值等于y₀。这称为初始条件。”

  2. 公式
    观察依据

    黑板上写出y(x0)=y0y(x_0)=y_0,并标注为“初始条件(I.C.)”。

定义
解释

初始条件是附加在微分方程上的额外要求,写作y(x0)=y0y(x_0)=y_0。它固定了未知函数在特定输入x0x_0处的取值。

公式
y(x0)=y0y(x_0)=y_0
适用条件
  1. 它与微分方程配对,构成一个初值问题。

  2. 本片段中,针对一个一阶方程给出一个标量初始条件。

先修条目
  1. 一阶微分方程的一般形式

通解包含一个任意常数

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

    主讲人说:“如果你解一个微分方程……会得到一个常数。本例中,你会得到一个任意常数。因此你可能会得到无穷多个解……每个C的选择对应一个解。”

  2. 公式
    观察依据

    黑板上显示y=x2+Cy=x^2+C及若干垂直平移的曲线。

方法
解释

求解微分方程(不带初始条件)时,所得结果是一族含有一个任意常数的解。在演示的可视化例子中,y=x2+Cy=x^2+C代表无穷多个解,每个CC的取值对应其中的一个解。

公式
y=x2+Cy=x^2+C
适用条件
  1. 这是以一个含一个任意常数的一阶例子来说明的。

  2. CC取不同数值,就得到解族中的不同成员。

先修条目
  1. 一阶微分方程的一般形式

初始条件选取一个特定的解

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

    主讲人说:“这个初始条件……意味着你的解曲线经过该点。因此,它实际上是从无穷多个解中挑选出一个特定的解。”

  2. 公式
    观察依据

    黑板上显示了(x0,y0)(x_0,y_0),并有一个红点标在解族中某一条曲线上。

方法
解释

从图形上看,初始条件要求解曲线必须经过点(x0,y0)(x_0,y_0)。在通解族所包含的无穷多条曲线中,恰好只有经过该点的那一条被选为初值问题的特解。

公式
适用条件
  1. 点(x0,y0)(x_0,y_0)必须位于所选定的解曲线上。

  2. 这一解释是通过所展示的解族曲线直观给出的。

先修条目
  1. 初始条件
  2. 通解包含一个任意常数

一阶常微分方程的初值问题设定

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

    黑板上的标题:“初值问题(I.V.P.)”。

  2. 公式
    观察依据

    黑板上显示 dy/dx=f(x,y)dy/dx = f(x,y),并附有标注为“初始条件(I.C.)”的 y(x0)=y0y(x_0)=y_0。

  3. 声音
    观察依据

    主讲人解释道,初始条件可从无穷多个解中选定唯一一个解。

定义
解释

视频将初值问题呈现为一个微分方程加上一个初始条件。在第一个例子中,微分方程为 dy/dx=f(x,y)dy/dx = f(x,y),附加条件 y(x0)=y0y(x_0)=y_0 表明解曲线必须经过点 (x0x_0,y0y_0)。

公式
dydx=f(x,y),y(x0)=y0\frac{dy}{dx}=f(x,y), \quad y(x_0)=y_0
适用条件
  1. 一阶微分方程

  2. 一个初始条件用于从解族中选出一个特解

单参数解族

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

    黑板上显示 y=x2+Cy = x^2 + C,并在其旁边绘制了一组青色曲线。

  2. 声音
    观察依据

    主讲人指出:只要解中包含一个任意常数,该解就构成一个单参数族;要得到特解,需要一个初始条件。

定义
解释

本课以 y=x2+Cy = x^2 + C 作为展示的通解族。常数 C 标记了无穷多条解曲线,图中展示了该族中若干条相互平行的成员曲线。

公式
y=x2+Cy=x^2+C
适用条件
  1. 解中包含一个任意常数

  2. C 的每一个取值对应族中的一条曲线

先修条目
  1. 一阶常微分方程的初值问题设定

特解

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

    主讲人说:“因此这被称为特解,因为它不含任何 c。”

  2. 公式
    观察依据

    黑板上显示示例 y=x2+4y = x^2 + 4,这是在讨论初始条件如何确定 C 之后给出的。

待核验内容
  1. 主讲人明确指出,示例 y=x2+4y = x^2 + 4 是为说明概念而构造的,并非源自完整演算过程。

定义
解释

特解是指在初始条件固定了任意常数后,从解族中得到的具体成员。在本视频示例中,解族 y=x2+Cy = x^2 + C 在 C 被选定后,变为某条具体曲线,例如 y=x2+4y = x^2 + 4。

公式
y=x2+4y=x^2+4
适用条件
  1. 由通解通过固定任意常数而得到

  2. 不包含任何剩余的自由常数

先修条目
  1. 单参数解族

二阶微分方程示例

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

    黑板上显示 d2y/dx2=fd^2y/dx^2 = f(x,y,y')。

  2. 声音
    观察依据

    说话人说:“现在我们得到了一个二阶微分方程。”

定义
解释

第二个示例通过在左侧使用二阶导数,并使右端依赖于 x、y 和一阶导数 y',提高了微分方程的阶数。

公式
d2ydx2=f(x,y,y′)\frac{d^2y}{dx^2}=f(x,y,y')
适用条件
  1. 出现的最高阶导数是二阶导数

  2. 右端可包含 x、y 和 y'

先修条目
  1. 一阶常微分方程的初值问题设定

二阶初值问题的初始条件

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

    黑板上在二阶示例下方显示 y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1。

  2. 声音
    观察依据

    说话人说:“现在我们需要两个初始条件。”

定义
解释

对于该二阶示例,视频指出需要两个初始条件:一个用于确定解在 x0x_0 处的函数值,另一个用于确定该点处的斜率。

公式
y(x0)=y0,y′(x0)=y1y(x_0)=y_0, \quad y'(x_0)=y_1
适用条件
  1. 适用于所展示的二阶微分方程

  2. 两个条件都在同一个 x 值 0 处给出

先修条目
  1. 二阶微分方程示例

二阶常微分方程的初值问题

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

    黑板上显示 Ex d2y/dx2=fd^2y/dx^2 = f(x, y, y'),并给出初始条件 y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1。

  2. 声音
    观察依据

    主讲人解释:这需要满足两点:函数图像经过某一点,且在该点处具有特定的斜率。

定义
解释

二阶常微分方程的初值问题,需给出该方程本身,以及两个初始条件:函数 y 在某特定点 x0x_0 处的取值,以及其一阶导数 y'(即斜率)在同一点处的取值。

公式
d2ydx2=f(x,y,y′),y(x0)=y0,y′(x0)=y1\frac{d^2y}{dx^2} = f(x, y, y'), \quad y(x_0) = y_0, \quad y'(x_0) = y_1
适用条件
  1. 该微分方程为二阶。

  2. 两个初始条件均在同一点 x0x_0 处给出。

通解与常数

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

    主讲人写出一个假设性的通解 y=C1ex+C2x2y = C_1 e^x + C_2 x^2。

  2. 声音
    观察依据

    主讲人说:“你会有两个 C,因此必须同时利用这两个条件来确定这两个 C。”

方法
解释

二阶微分方程的通解包含两个任意常数。为求出满足初值问题的特解,必须同时应用两个初始条件来解出这两个常数。

公式
y=C1ex+C2x2y = C_1 e^x + C_2 x^2
适用条件
  1. 该微分方程是线性齐次的,且具有常系数(由示例隐含)。

先修条目
  1. 二阶常微分方程的初值问题
定理与条件 · 7

一阶微分方程在施加初始条件之前可能有无穷多个解。

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

    主讲人说:“所以你可能会得到无穷多个解……每个C的取值对应一个解,对吧?你有无穷多个解。”

  2. 公式
    观察依据

    黑板上显示了y=x2+Cy=x^2+C以及对应于不同常数的多条曲线。

待核验内容
  1. 该结论是针对该例子非正式地陈述的,而非以完全一般性的方式加以证明。

命题
命题

求解该微分方程得到一族含一个任意常数的解,从而产生无穷多个解,其中每一个解对应这个常数的一个取值。

前提
  1. 该微分方程已解出,其形式中含一个任意常数,如示例y=x2+Cy=x^2+C所示。

量词

对任意常数CC的每一个取值,都对应一个解。

初始条件意味着解经过点(x0,y0)(x_0,y_0)。

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

    说话人说:“这意味着x坐标是x零,y坐标是y零。因此,你的解经过这个点。”

  2. 公式
    观察依据

    黑板上显示初始条件旁标有(x0,y0)(x_0,y_0),且曲线上标有一个点。

命题
命题

条件y(x0)=y0y(x_0)=y_0意味着解曲线必须经过点(x0,y0)(x_0,y_0)。

前提
  1. 初始条件写作y(x0)=y0y(x_0)=y_0。

量词

对于给定的值x0x_0和y0y_0,解必须满足该点条件。

初始条件从该曲线族中选出一个解。

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

    说话人说:“因此,它所做的就是从无穷多个解中选出一个特定的解。”

  2. 图示
    观察依据

    一个红点被置于青色曲线族中的一条曲线上,直观地凸显出这一条曲线。

待核验内容
  1. 所选曲线的唯一性通过所绘曲线族直观呈现;未陈述任何一般性的存在唯一性定理。

命题
命题

将初始条件加入微分方程,便从该微分方程自身所拥有的无穷多个解中,选定一个特定解。

前提
  1. 该微分方程产生一族解曲线。

  2. 初始条件指定了一个点(x0,y0)(x_0,y_0),所求解必须经过该点。

量词

在所展示的解曲线族中,该条件挑出经过指定点的那条曲线。

一个任意常数需要一个初始条件

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

    主讲人指出:只要解中含一个任意常数,或构成一个单参数解族,要确定一个特解,就需要一个初始条件。

待核验内容
  1. 该陈述以口头方式针对所展示的一阶例子给出;视频片段未在此例之外提供形式化的定理陈述。

命题
命题

当解中包含一个任意常数时,需要一个初始条件来确定一个特解。

前提
  1. 解族中恰好含有一个任意常数

  2. 有一个初始条件可用于确定该常数

量词

针对所展示的单参数解族

二阶例子需要两个初始条件

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

    写出二阶方程后,主讲人说:“因此我们现在需要两个初始条件。”

  2. 公式
    观察依据

    黑板上随后显示 y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1。

待核验内容
  1. 该片段是在所展示的二阶例子背景下陈述这一点的,并未给出一般性证明。

命题
命题

对于屏幕上显示的二阶微分方程,需要两个初始条件。

前提
  1. 该微分方程如黑板上所写,为二阶。

量词

例如 d2y/dx2=fd^2y/dx^2 = f(x,y,y')

初始条件选取了经过给定点的那条曲线。

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

    主讲人指出,初始条件在图形上表明我们的解曲线经过该点;而在选定某一条特定解曲线之前,存在无穷多条可能的解曲线。

  2. 图示
    观察依据

    在青色解曲线族中,一条红色曲线经过标出的点 (x0x_0,y0y_0)。

命题
命题

在第一个例子中,初始条件 y(x0)=y0y(x_0)=y_0 在图形上选取了经过点 (x0x_0,y0y_0) 的解曲线。

前提
  1. 存在一族解曲线。

  2. 指定了点 (x0x_0,y0y_0)。

量词

针对屏幕上显示的一阶初值问题示例

第二个初始条件确定了该点处的斜率。

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

    主讲人说:“不仅如此,它还保证了该点处的斜率就是这个值。”

  2. 图示
    观察依据

    在下方曲线族中选定的点处,画出了一条虚线切线。

待核验内容
  1. 口述句子在完整复述符号条件前就中断了,但黑板上已写出 y'(x0x_0)=y1y_1。

命题
命题

对于二阶例子,附加条件 y'(x0x_0)=y1y_1 确定了所选解在 x=x0x=x_0 处的斜率。

前提
  1. 该微分方程为二阶。

  2. 指定了点 x0x_0 和期望的斜率 y1y_1。

量词

针对所展示的二阶初值问题例子。

推导与证明 · 5

通过图像推导初始条件如何选定一个解

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

    讲解者逐步阐释其图形含义:求解得到一个任意常数,因而有无穷多个解;接着,初始条件意味着解必须经过(x0,y0)(x_0,y_0);因此它便确定了一个特定解。

  2. 公式
    观察依据

    黑板上依次显示y=x2+Cy=x^2+C、(x0,y0)(x_0,y_0),然后在其中一条曲线上标出一个点。

  3. 图示
    观察依据

    画出了若干条垂直平移的曲线,并在其中一条上高亮标出一个点。

待核验内容
  1. 该论证以解释性和可视化为主,而非形式化证明。

直观解释
步骤
  1. 公式
    y=x2+Cy=x^2+C
    解释

    从一个含一个任意常数的已解微分方程实例出发。

    步骤依据

    主讲人指出,解微分方程通常会得到一个常数,此处这个任意常数为case one。

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

    改变CC可产生多条解曲线,每选定一个常数值就对应一条解曲线。

    步骤依据

    主讲人明确指出存在无穷多个解,每个CC的取值对应一个解。

    视频直接表达
  3. 公式
    (x0,y0)(x_0,y_0)
    解释

    将初始条件y(x0)=y0y(x_0)=y_0改写为坐标为(x0,y0)(x_0,y_0)的点。

    步骤依据

    主讲人指出,x 坐标为x0x_0,y 坐标为y0y_0。

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

    要求解经过(x0,y0)(x_0,y_0),便能从该解族中唯一确定出一条曲线。

    步骤依据

    主讲人总结道,初始条件是从无穷多个解中选取一个特定解。

    视频直接表达
结论

初始条件通过强制解的图像经过指定的点(x0,y0)(x_0,y_0),将解族转化为一个特定解。

微分方程中符号f(x,y)f(x,y)的含义

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

    主讲人说:“因此,为了表示这一点,我将写作 f 乘以 x 逗号 y。这整句话的意思是:我们有一些含 x 和 y 的表达式。”

  2. 公式
    观察依据

    黑板上写出f(x,y)f(x,y),并标注为“含 x 和 y 的表达式”,随后给出例子x+yx+y和x2+sin⁡yx^2+\sin y。

直观解释
步骤
  1. 公式
    dydx=f(x,y)\frac{dy}{dx}=f(x,y)
    解释

    用紧凑记号f(x,y)f(x,y)代替未具体指定的右端表达式。

    步骤依据

    主讲人介绍了用以表示涉及xx和yy的表达式的记号。

    视频直接表达
  2. 公式
    x+yx+y
    解释

    一个可能的具体右端项是x+yx+y。

    步骤依据

    主讲人将此作为“含x与y的表达式”的一个例子。

    视频直接表达
  3. 公式
    x2+sin⁡yx^2+\sin y
    解释

    另一个可能的具体右端项是x2+sin⁡yx^2+\sin y。

    步骤依据

    主讲人将此作为同一记号的另一个例子。

    视频直接表达
结论

在此语境中,f(x,y)f(x,y)并非特定公式,而是由变量xx和yy构造出的任意表达式的简写。

第一个例子中,从通解族过渡到特解。

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

    说话人从通解族 y=x2+Cy=x^2+C 出发,指出利用初始条件可求出常数 c,从而得到一个特解。

  2. 图示
    观察依据

    一条红色解曲线经过点 (x0x_0,y0y_0),穿插于青色曲线之间。

待核验内容
  1. 数值 C=4C=4 被明确引入,仅作为一个示意性的虚构例子,并非通过展示代入计算所得结果。

直观解释
步骤
  1. 公式
    y=x2+Cy=x^2+C
    解释

    黑板上展示了含一个参数的解曲线族。

    步骤依据

    直接在黑板上显示。

    视频直接表达
  2. 公式
    y(x0)=y0y(x_0)=y_0
    解释

    初始条件规定所求解必须经过点(x0x_0, y0y_0)。

    步骤依据

    口头陈述,并写在黑板上。

    视频直接表达
  3. 公式
    C is determinedC \text{ is determined}
    解释

    利用初始条件可确定任意常数,从而得到该函数族中唯一的一个具体成员。

    步骤依据

    主讲人解释初始条件的作用。

    视频直接表达
  4. 公式
    y=x2+4y=x^2+4
    解释

    主讲人举例说明当常数 C 确定后,所得特解可能呈现的形式。

    步骤依据

    音频中明确说明这是一个虚构的示例。

    视频直接表达
结论

一阶初值问题被理解为:通过对族 y=x2+Cy = x^2 + C 施加条件 y(x0)=y0y(x_0) = y_0,从中选出一条曲线,从而得到不含剩余常数的特解。

将初值问题的思想从一阶推广到二阶。

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

    黑板上补充写出 d2y/dx2=fd^2y/dx^2 = f(x, y, y'),以及 y(x0)=y0y(x_0) = y_0、y'(x0x_0) = y1y_1。

  2. 声音
    观察依据

    主讲人指出新例子是二阶的,因此需要两个初始条件。

  3. 图示
    观察依据

    先画出一族较低位置的青色曲线,再从中选出一条经过点(x0x_0, y0y_0)的曲线,并用虚线切线标出该点处的斜率。

待核验内容
  1. 该片段未展示二阶方程的显式通解公式,仅以图形方式示意选择过程。

视觉说明
步骤
  1. 公式
    d2ydx2=f(x,y,y′)\frac{d^2y}{dx^2}=f(x,y,y')
    解释

    主讲人将一阶示例替换为一个二阶微分方程,其右端依赖于 x、y 和 y′。

    步骤依据

    写在黑板上,并在音频中加以描述。

    视频直接表达
  2. 公式
    y(x0)=y0y(x_0)=y_0
    解释

    第一个初始条件再次用于选出经过指定点的那条积分曲线。

    步骤依据

    以口头方式陈述,并写在二阶方程下方。

    视频直接表达
  3. 公式
    y′(x0)=y1y'(x_0)=y_1
    解释

    增加第二个初始条件,用以指定同一点处的斜率。

    步骤依据

    以口头方式陈述,并写在第一个初始条件下方。

    视频直接表达
  4. 公式
    one curve + tangent direction\text{one curve + tangent direction}
    解释

    图示中同时画出一族解中被选定的一条曲线,以及该点处的切线,二者共同满足两个初始条件。

    步骤依据

    在图中以高亮显示的曲线和虚线切线呈现。

    视频直接表达
结论

对于所展示的这个二阶示例,初值问题(IVP)需要在 x0x_0 处给出两组数据:函数值 y0y_0 和斜率 y1y_1。

求特解

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

    讲解者说明如何利用两个初始条件,求出通解中的两个常数 C1C_1 和 C2C_2,从而得到特解。

  2. 动画
    观察依据

    一条红色曲线经过点 (x0x_0, y0y_0),且在该点处具有指定斜率,代表该特解。

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

    从含有两个任意常数的通解出发,例如 y=C1ex+C2x2y = C_1 e^x + C_2 x^2。

    步骤依据

    这是二阶常微分方程通解的标准形式。

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

    将第一个初始条件 y(x0)=y0y(x_0) = y_0 代入通解。

    步骤依据

    由此得到一个关于 C1C_1 和 C2C_2 的方程。

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

    将第二个初始条件 y'(x0x_0) = y1y_1 代入通解的导数。

    步骤依据

    由此得到另一个关于 C1C_1 和 C2C_2 的方程。

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

    解这个由两个方程组成的方程组,求出 C1C_1 和 C2C_2 的具体数值。

    步骤依据

    将这些值代回通解,即可得到唯一的特解。

    视频直接表达
结论

两个初始条件对于确定通解中的两个常数而言,既是必要的,也是充分的,从而可求出初值问题的唯一特解。

例题详解 · 5

例1:初值问题的设定

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

    主讲人说:“我们来看两个例子。所以example one。假设我们有一个微分方程……接着我们有一个条件:x₀处的y等于y₀。”

  2. 公式
    观察依据

    黑板上显示“Ex”后接dydx=f(x,y)\frac{dy}{dx}=f(x,y)和y(x0)=y0y(x_0)=y_0,并标注为“初始条件(I.C.)”。

待核验内容
  1. 主讲人宣布了两个例子,但本片段中实际展开的仅有例1。

题目

写出一个通用的一阶初值问题,包含一个微分方程和一个初始条件。

已知条件
  1. 一个右端项依赖于xx和yy的微分方程。

  2. 一个指定的点(x0,y0)(x_0,y_0)。

目标

用标准记号表示该问题。

步骤
  1. 公式
    dydx=f(x,y)\frac{dy}{dx}=f(x,y)
    解释

    将微分方程写成一阶形式。

    步骤依据

    主讲人明确将此作为示例微分方程引入。

    视频直接表达
  2. 公式
    f(x,y) means "stuff with x’s 且 y’s"f(x,y)\text{ means "stuff with }x\text{'s \text{且} }y\text{'s"}
    解释

    将f(x,y)f(x,y)解释为一个占位符,代表任何涉及xx和yy的表达式。

    步骤依据

    主讲人说明这便是全部记号的含义,并举例如x+yx+y和x2+sin⁡yx^2+\sin y。

    视频直接表达
  3. 公式
    y(x0)=y0y(x_0)=y_0
    解释

    添加初始条件。

    步骤依据

    主讲人写出并称此条件为初始条件。

    视频直接表达
结果

初值问题写作dydx=f(x,y)\frac{dy}{dx}=f(x,y)连同y(x0)=y0y(x_0)=y_0。

检验

黑板上直接显示这两行,第二行标注为“初始条件(I.C.)”。

示例:利用y=x2+Cy=x^2+C说明初始条件的图形意义。

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

    主讲人说:“如果你解一个微分方程……你会得到类似……x 的平方加……c……在这种情况下,你会得到一个任意常数。因此你可能会得到无穷多个解……”,随后又说:“这是从无穷多个解中选取一个特定解。”

  2. 公式
    观察依据

    黑板上显示y=x2+Cy=x^2+C。

  3. 图示
    观察依据

    绘制多条青色曲线,然后在其中一条曲线上标出一个红色点(x0,y0)(x_0,y_0)。

待核验内容
  1. 示例y=x2+Cy=x^2+C仅作示意之用;视频并未展示导出该示例的微分方程。

题目

阐释初始条件如何作用于微分方程的解族。

已知条件
  1. 通解族y=x2+Cy=x^2+C。

  2. 一个初始条件y(x0)=y0y(x_0)=y_0,等价于点(x0,y0)(x_0,y_0)。

目标

展示初始条件如何选出唯一一条解曲线。

步骤
  1. 公式
    y=x2+Cy=x^2+C
    解释

    显示一个含单参数的解曲线族。

    步骤依据

    主讲人将此视为求解含一个任意常数的微分方程后的典型结果。

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

    绘制若干条沿竖直方向平移的抛物线,以表示对CC的不同选择。

    步骤依据

    主讲人指出存在无穷多个解,每个CC的选择对应一个解。

    视频直接表达
  3. 公式
    (x0,y0)(x_0,y_0)
    解释

    标出与初始条件对应的点。

    步骤依据

    主讲人将y(x0)=y0y(x_0)=y_0重写为坐标点(x0,y0)(x_0,y_0)。

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

    选择经过标记点的曲线。

    步骤依据

    主讲人指出解必须经过该点,从而选出一个特解。

    视频直接表达
结果

初始条件从族y=x2+Cy=x^2+C中选出唯一一个经过(x0,y0)(x_0,y_0)的成员。

检验

视觉演示在一条青色曲线上标出一个红点,与口述解释相吻合。

一阶初值问题示例

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

    黑板上显示 dy/dx=f(x,y)dy/dx = f(x,y),y(x0)=y0y(x_0)=y_0,以及 y=x2+Cy = x^2 + C。

  2. 声音
    观察依据

    主讲人解释道:一个初始条件足以确定一个单参数族;并以 y=x2+4y = x^2 + 4 为例,说明一个特解。

  3. 图示
    观察依据

    一条红色曲线穿过点 (x0x_0,y0y_0),它位于一组青色解曲线之中。

待核验内容
  1. 示例 y=x2+4y=x^2+4 明确说明仅为图示而构造;视频片段并未展示通过某个具体数值点推导出 C=4C=4 的代入过程。

题目

已知所展示的一阶微分方程 dy/dx=f(x,y)dy/dx = f(x,y),其通解族为 y=x2+Cy = x^2 + C,请解释初始条件如何生成一个特解。

已知条件
  1. y 对 x 的导数等于 f 以 x 和 y 为自变量的函数值

  2. y 等于 x 的2次方加 C

  3. 初始条件 y(x0)=y0y(x_0)=y_0

目标

指出初始条件如何从解族中选出唯一一个解。

步骤
  1. 公式
    y=x2+Cy=x^2+C
    解释

    从黑板上展示的单参数解族出发。

    步骤依据

    直接作为通解示例呈现。

    视频直接表达
  2. 公式
    y(x0)=y0y(x_0)=y_0
    解释

    施加初始条件:要求解经过点 (x0x_0,y0y_0)。

    步骤依据

    在黑板上写出,并以口头方式解释其图形含义,即初值条件(I.C.)的几何意义。

    视频直接表达
  3. 公式
    find C\text{find } C
    解释

    利用该条件确定任意常数。

    步骤依据

    主讲人表示,一旦使用该方法,你就能求出常数 c。

    视频直接表达
  4. 公式
    y=x2+4y=x^2+4
    解释

    主讲人以此作为所得特解的一个示例。

    步骤依据

    音频中明确说明,这是为说明答案可能长什么样而虚构的示例。

    视频直接表达
结果

通过确定常数 C 可得到一个特解;视频中给出的示意结果是 y=x2+4y=x^2+4。

检验

从图形上看,所选的红色曲线经过标出的点 (x0x_0,y0y_0),符合所给定的初始条件。

二阶初值问题示例

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

    黑板上写出 d2y/dx2=fd^2y/dx^2 = f(x,y,y'),并附有 y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1。

  2. 声音
    观察依据

    主讲人指出这是一个二阶微分方程,因此现在需要两个初始条件。

  3. 图示
    观察依据

    画出一族较低位置的青色曲线,其中一条曲线经过点 (x0x_0,y0y_0),并用虚线切线表示该点处的斜率。

待核验内容
  1. 对于这个二阶例子,黑板上并未写出显式的通解公式;该片段仅从几何角度演示了两个条件的作用。

题目

已知屏幕上显示的二阶微分方程 d2y/dx2=fd^2y/dx^2 = f(x,y,y'),请说明为选出唯一解所需提供的初始数据。

已知条件
  1. d2y/dx2=fd^2y/dx^2 = f(x,y,y')

  2. 绘制出一族可能的解曲线

  3. 在下方的曲线族中标出点 (x0x_0, y0y_0)

目标

确定该二阶示例所需的初始条件的个数及其含义。

步骤
  1. 公式
    d2ydx2=f(x,y,y′)\frac{d^2y}{dx^2}=f(x,y,y')
    解释

    写出黑板上所示的二阶微分方程。

    步骤依据

    直接显示并口头说明其阶数为二。

    视频直接表达
  2. 公式
    y(x0)=y0y(x_0)=y_0
    解释

    添加第一个初始条件,使解曲线经过指定的点。

    步骤依据

    写在黑板上,并描述为选取经过点 x0x_0、y0y_0 的那条曲线。

    视频直接表达
  3. 公式
    y′(x0)=y1y'(x_0)=y_1
    解释

    添加第二个初始条件,以指定该点处的斜率。

    步骤依据

    写在黑板上,并通过图中虚线表示的切线加以强调。

    视频直接表达
结果

该二阶示例需要两个初始条件:y(x0)=y0y(x_0) = y_0 和 y'(x0x_0) = y1y_1。

检验

下方图示中既展示了一条经过点 (x0x_0, y0y_0) 的选定曲线,也展示了该点处的切线方向,与所陈述的两个条件完全吻合。

假设的通解

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

    主讲人写下 y=C1ex+C2x2y = C_1 e^x + C_2 x^2,并明确说明:‘我完全是凭空编的。’

题目

展示二阶常微分方程通解的形式。

已知条件
  1. 给出一个二阶微分方程(未显式求解)。

目标

说明通解中将包含两个任意常数。

步骤
  1. 公式
    y=C1ex+C2x2y = C_1 e^x + C_2 x^2
    解释

    写出一个假设的通解。

    步骤依据

    为说明存在两个常数 C1C_1 和 C2C_2。

    视频直接表达
结果

y 等于 C 下标1乘以 e 的 x 次方,加上 C 下标2乘以 x 的2次方

检验

主讲人指出,这是一个虚构的例子,仅用于阐释概念,并非此前所写微分方程的实际解。

图示与动画 · 11

标题与缩写同时出现

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

    黄色手写字体先写出标题“初值问题”,再添加“(I.V.P.)”。

  2. 声音
    观察依据

    主讲人引入本主题,并说明IVP是初值问题的缩写。

图中对象
  1. 标题文字“初值问题”

  2. 缩写“(I.V.P.)”

变化过程
  1. 标题先被写出。

  2. 缩写随后添加在标题之后。

不变量
  1. 背景保持黑色。

  2. 书写颜色保持黄色。

数学含义

视频片段以点明主题并介绍其标准缩写开始。

写出一个通用的微分方程。

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

    黑板上先写出“Ex”,然后是dydx=\frac{dy}{dx}=,接着是f(x,y)f(x,y),随后标注“含x和y的表达式”,最后给出例子x+yx+y和x2+sin⁡yx^2+\sin y。

  2. 声音
    观察依据

    讲解者说明等式右边是某个涉及xx和yy的表达式。

图中对象
  1. 标注“Ex”。

  2. 方程dydx=f(x,y)\frac{dy}{dx}=f(x,y)。

  3. 标注“含x和y的表达式”。

  4. 例子x+yx+y和x2+sin⁡yx^2+\sin y。

变化过程
  1. 该方程从左到右逐步构建。

  2. 解释性标注添加在等式右边的上方。

  3. 具体示例表达式写在注释下方。

不变量
  1. 所有主体文字均为黄色。

  2. 方程保持居中,位于黑板左半侧。

数学含义

图示序列定义了一阶标准形式,并阐明f(x,y)f(x,y)仅是关于xx和yy的表达式的记号。

初始条件被添加在方程下方。

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

    在微分方程下方,黑板上写出y(x0)=y0y(x_0)=y_0,画出一个箭头,并标注为“初始条件(I.C.)”。

  2. 声音
    观察依据

    说话人称该条件为初始条件,并将其简写为 IC。

图中对象
  1. 方程y(x0)=y0y(x_0)=y_0

  2. 箭头

  3. 标注“初始条件(I.C.)”

变化过程
  1. 在微分方程下方另起一行书写。

  2. 一个箭头从该标注指向方程。

不变量
  1. 原始的微分方程始终显示在上方。

  2. 书写内容保持黄色。

数学含义

通过为微分方程附加一个点条件,问题得以完成。

通解族被绘出

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

    右侧黑板上用青色写出y=x2+Cy=x^2+C,并绘制若干条垂直堆叠、开口向上的青色曲线。

  2. 声音
    观察依据

    主讲人称:求解得到一个任意常数,因此有无穷多个解,每个CC的取值对应一个解。

图中对象
  1. 公式y=x2+Cy=x^2+C

  2. 多条青色抛物线曲线

变化过程
  1. 先写出公式。

  2. 随后在其下方依次绘制若干条曲线。

不变量
  1. 这些曲线保持相同的基本形状。

  2. 它们主要区别在于竖直方向的位置,代表不同的常数CC。

数学含义

该图表示由任意常数变化所生成的一族单参数解。

初始点标定其中一条曲线

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

    在初始条件附近添加了一个红色箭头和红色文字(x0,y0)(x_0,y_0),然后在一个青色曲线上放置了一个红色点。

  2. 声音
    观察依据

    讲解者指出,该解经过此点,从而从无穷多个解中选定一个特定解。

图中对象
  1. 红色文字(x0,y0)(x_0,y_0)

  2. 红色箭头

  3. 青色曲线上的一颗红色点

变化过程
  1. 坐标对以红色书写。

  2. 在曲线族的某一条曲线上放置一颗红色点。

不变量
  1. 青色曲线族保持可见。

  2. 初始条件方程y(x0)=y0y(x_0)=y_0保留在左侧。

数学含义

红色点直观地体现条件 y(x0)=y0y(x_0)=y_0 通过选择经过 (x0,y0)(x_0,y_0) 的曲线。

从青色解曲线族中选出的红色曲线

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

    在黑板右侧多条青色曲线中,画出一条红色曲线,使其经过已标出的点 (x0x_0, y0y_0)。

  2. 声音
    观察依据

    说话者说:“因此,此处这条红色曲线就是该初值问题的解。”

图中对象
  1. 青色解曲线族

  2. 红色解曲线

  3. 点的标签(x0x_0,y0y_0)

变化过程
  1. 通过标记点添加一条特定的红色曲线

  2. 所选曲线在视觉上与其他青色曲线区分开来

不变量
  1. 周围的青色曲线族仍保持可见

  2. 点(x0x_0,y0y_0)持续被标记

数学含义

该图示说明:初值问题从解曲线族中选定唯一一支,即经过指定点的那条曲线。

为所选曲线添加的标注名称

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

    在红色曲线附近手写标注“初值问题的解”。

图中对象
  1. 红色曲线

  2. 手写标签“初值问题的解”

变化过程
  1. 文字标签写在所选曲线旁边

不变量
  1. 底层的曲线族与点保持不变

数学含义

该注释指出红色曲线是对应于该初值问题的特解。

特解的一个书面示例

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

    黑板添加了示例表达式 y=x2+4y = x^2 + 4置于先前的族 y=x2+Cy = x^2 + C 下方。

  2. 声音
    观察依据

    说话人说:“你会得到类似 y 等于……x 的平方加四这样的结果,比如说。”

待核验内容
  1. 说话人明确将此表述为一个虚构的例子,而非由某个数值点计算得出的结果。

图中对象
  1. 公式 y=x2+Cy = x^2 + C

  2. 公式 y=x2+4y = x^2 + 4

变化过程
  1. 黑板上写出一个将 C 替换为 4 的具体例子

不变量
  1. 一般函数族 y=x2+Cy = x^2 + C 仍清晰显示在上方

数学含义

这一可视化步骤将抽象的单参数函数族转化为某个特解的具体示例。

通过曲线选取与切线展示的二阶示例

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

    在二阶示例下方绘制了一组较低位置的青色波浪形曲线。

  2. 图示
    观察依据

    一个标有 (x0x_0, y0y_0) 的黄色点被置于其中一条曲线上。

  3. 图示
    观察依据

    在该点处画出一条虚线切线。

  4. 声音
    观察依据

    讲解者指出,这些条件选取了经过点 x0x_0、y0y_0 的曲线,并保证该点处的斜率。

待核验内容
  1. 切线上未标出精确的数值斜率;符号化条件 y'(x0x_0) = y1y_1 单独写在黑板上。

图中对象
  1. 下方的青色曲线族

  2. 黄色点 (x0x_0, y0y_0)

  3. 经过该点所选的曲线

  4. 虚线切线

变化过程
  1. 针对二阶情形,绘制出一族新的曲线

  2. 通过标记的点选出其中一条曲线

  3. 在该点处添加一条切线

不变量
  1. 上方的一阶示例仍保留在黑板上

  2. 符号条件 y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1 依然可见

数学含义

类似动画效果的黑板推演过程表明:二阶初值问题在几何上需要同时给定点条件和斜率条件,才能确定解。

可视化初始斜率

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

    在蓝色曲线上点 (x0x_0, y0y_0) 处画出一条黄色切线,并在其旁标注文字‘斜率 y1y_1’。

图中对象
  1. 代表解族的蓝色曲线

  2. 黄色点(x0x_0, y0y_0)

  3. 黄色虚线切线

  4. 文字“斜率 y1y_1”

变化过程
  1. 在指定点处画出一条切线。

  2. 该切线的斜率标记为 y1y_1。

不变量
  1. 点(x0x_0, y0y_0)在曲线上保持固定。

数学含义

初始条件 y'(x0x_0) = y1y_1 决定了解曲线在初始点 x0x_0 处的斜率。

绘制特解

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

    绘制一条红色曲线,使其恰好经过点(x0x_0, y0y_0),且与黄色切线的斜率一致。

图中对象
  1. 蓝色曲线族

  2. 红色曲线

  3. 黄色点(x0x_0, y0y_0)

  4. 黄色切线

变化过程
  1. 从一族蓝色曲线中画出一条特定的红色曲线。

不变量
  1. 该红色曲线经过点(x0x_0, y0y_0)。

  2. 红色曲线在 x1x_1 处的斜率为 y0y_0。

数学含义

该红色曲线表示满足该初值问题两个初始条件的唯一特解。

易错点 · 5

误将f(x,y)f(x,y)理解为某个特定的固定函数

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

    主讲人说:“所以这一切的意思就是,我们有一些含 x 和 y 的表达式……这个记号所表示的就只是这个。”

  2. 公式
    观察依据

    黑板将f(x,y)f(x,y)标注为“含 x 和 y 的表达式”,并列举了诸如x+yx+y和x2+sin⁡yx^2+\sin y等例子。

误区

学生可能认为f(x,y)f(x,y)代表某一个特定的复杂函数,而非代表xx和yy中任意表达式的占位符。

说明

在本片段中,f(x,y)f(x,y)被明确解释为“含 x 和 y 的表达式”的简写,并以x+yx+y和x2+sin⁡yx^2+\sin y等为例说明。

认为仅凭微分方程本身就能得出唯一解

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

    主讲人说,求解得到一个任意常数,以及“无穷多个解……每一个 C 的取值对应一个解。”

  2. 图示
    观察依据

    为y=x2+Cy=x^2+C绘制了若干条互不相同的曲线。

误区

学生可能预期单个微分方程自身就能确定一条唯一的解曲线。

说明

视频表明,若无初始条件,则存在一族解,其中每一个任意常数CC的取值对应一个解。

将初始条件视为纯粹的代数条件

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

    主讲人提问:“那么这在图形上意味着什么?”随后解释该解经过点(x0,y0)(x_0,y_0)。

  2. 图示
    观察依据

    在其中一条曲线上标出一个红点,用以表示该条件。

误区

学生可能仅把y(x0)=y0y(x_0)=y_0看作一个公式,而忽略其几何意义。

说明

从图像上看,初始条件意味着解曲线必须经过特定点(x0,y0)(x_0,y_0),从而从解族中选出其中一个成员。

将通解与特解混淆

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

    主讲人说:“因此这被称为特解,因为它不含任何 c。”

误区

人们可能误以为:只要解的表达式中含参数,就已是初值问题的最终答案。

说明

视频将族函数 y=x2+Cy=x^2+C 与一个特解(如 y=x2+4y=x^2+4)区分开来;后者的任意常数已被确定,因此不再含有自由的 c。

假设每个常微分方程只需一个初始条件

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

    在引入 d2y/dx2=fd^2y/dx^2 = f(x,y,y') 后,主讲人说:“因此我们现在需要两个初始条件。”

  2. 公式
    观察依据

    y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1 这两个条件均写在二阶示例下方。

误区

人们可能沿用一阶方程的规则,预期单个初始条件即可确定二阶方程的解。

说明

在屏幕上展示的这个二阶例子中,视频明确添加了第二个条件:y'(x0x_0)=y1y_1,从而同时固定了函数值与斜率。

概念关系 · 11

一阶微分方程的一般形式 → 初值问题(IVP)

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

    黑板上先写出dydx=f(x,y)\frac{dy}{dx}=f(x,y),然后在其下方添加y(x0)=y0y(x_0)=y_0。

  2. 声音
    观察依据

    主讲人先引入微分方程,接着说:“然后我们有一个条件。”

包含
解释

视频片段中呈现的初值问题由一个微分方程及其初始条件共同构成。

初始条件 → 一阶微分方程的一般形式

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

    初始条件y(x0)=y0y(x_0)=y_0被直接写在微分方程dydx=f(x,y)\frac{dy}{dx}=f(x,y)的正下方。

  2. 声音
    观察依据

    主讲人在建立微分方程后说道:“然后我们有一个条件。”

应用
解释

初始条件被应用于微分方程的解,从而构成一个完整的初值问题。

通解包含一个任意常数 → 初始条件选取一个特定的解

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

    主讲人将“无穷多个解”与“从无穷多个解中挑选出一个特定解”进行对比。

  2. 图示
    观察依据

    首先显示多条青色曲线,随后用红色点(x0,y0)(x_0,y_0)标出其中一条。

对比
解释

该视频片段将微分方程的全部解族与初始条件所选定的唯一特解进行了对比。

初始条件 → 初始条件选取一个特定的解

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

    主讲人指出,初始条件意味着解曲线经过该点,从而确定了唯一的一个特解。

  2. 公式
    观察依据

    黑板将y(x0)=y0y(x_0)=y_0与点(x0,y0)(x_0,y_0)关联,并在一条曲线上标出该点。

证明依赖
解释

特解的选择取决于将初始条件理解为图像必须经过(x0,y0)(x_0,y_0)这一要求。

一阶微分方程的一般形式 → 一阶微分方程的一般形式

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

    黑板写出f(x,y)f(x,y),并用示例x+yx+y和x2+sin⁡yx^2+\sin y加以注释。

  2. 声音
    观察依据

    主讲人说,这种记号表示“一些含x和y的表达式”。

包含
解释

在微分方程形式中,符号f(x,y)f(x,y)蕴含了关于变量xx和yy的任意表达式这一概念;本片段将此视为同一公式项的一部分。

一阶常微分方程的初值问题设定 → 特解

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

    主讲人将一个初始条件与从单参数解族中找出特解的过程联系起来。

  2. 公式
    观察依据

    黑板上显示 y=x2+Cy=x^2+C,以及 y(x0)=y0y(x_0)=y_0;随后又写出 y=x2+4y=x^2+4。

应用
解释

初值问题中的初始条件,正是将通解族转化为特解的关键。

单参数解族 → 特解

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

    黑板上先展示解族 y=x2+Cy=x^2+C,再给出具体例子 y=x2+4y=x^2+4。

  2. 图示
    观察依据

    从青色解族中选出一条红色曲线。

包含
解释

特解是更广泛的单参数解族中的一个成员。

一阶常微分方程的初值问题设定 → 二阶微分方程示例

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

    黑板上从 dy/dx=f(x,y)dy/dx=f(x,y) 过渡到 d2y/dx2=fd^2y/dx^2=f(x,y,y')。

  2. 声音
    观察依据

    主讲人说:“那么现在我们有了一个二阶微分方程,因此需要两个初始条件。”

推广
解释

第二个例子将初值问题的思想,从一阶方程推广到了二阶方程。

二阶微分方程示例 → 二阶初值问题的初始条件

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

    在微分方程 d2y/dx2=fd^2y/dx^2 = f(x, y, y') 下,黑板上列出了初始条件 y(x0)=y0y(x_0) = y_0 和 y'(x0x_0) = y1y_1。

  2. 声音
    观察依据

    主讲人明确指出需要两个初始条件。

应用
解释

由于所展示的方程是二阶的,因此初值问题需要两个初始条件,而不是一个。

二阶初值问题的初始条件 → 通过曲线选取与切线展示的二阶示例

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

    黑板上写出了 y'(x0x_0) = y1y_1。

  2. 图示
    观察依据

    在下方曲线族中选定的点处,画出了一条虚线切线。

  3. 声音
    观察依据

    主讲人称该条件保证了该点处的斜率。

应用
解释

符号形式的斜率条件 y'(x0x_0) = y1y_1,通过在选定的点处所画的切线直观地表示出来。

二阶常微分方程的初值问题 → 通解与常数

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

    讲解者将两个初始条件与通解中常数的确定联系起来。

应用
解释

初值问题的初始条件被代入通解,以确定任意常数并求得特解。

问题定位 · 13

在微分方程中,IVP代表什么?

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

    开场旁白介绍了“初值问题”及其缩写IVP。

  2. 公式
    观察依据

    黑板标题:“初值问题(I.V.P.)”。

涉及知识点
  1. 初值问题(IVP)

记号f(x,y)f(x,y)在dydx=f(x,y)\frac{dy}{dx}=f(x,y)中表示什么?

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

    主讲人解释说,f(x,y)f(x,y)表示“一些含x和y的表达式”。

  2. 公式
    观察依据

    黑板上的注释及示例x+yx+y、x2+sin⁡yx^2+\sin y。

涉及知识点
  1. 一阶微分方程的一般形式

一阶微分方程的初始条件如何书写?

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

    黑板上写出y(x0)=y0y(x_0)=y_0,并标注为“初始条件(I.C.)”。

  2. 声音
    观察依据

    主讲人将这一行称为初始条件。

涉及知识点
  1. 初始条件

为什么求解微分方程常常得到无穷多个解?

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

    主讲人说,求解会得到一个任意常数,从而产生无穷多个解,每个CC的取值对应一个解。

  2. 公式
    观察依据

    黑板上展示y=x2+Cy=x^2+C及多条曲线。

涉及知识点
  1. 通解包含一个任意常数

初始条件y(x0)=y0y(x_0)=y_0的图形意义是什么?

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

    主讲人提问该条件在图形上的含义,并回答:解曲线经过点(x0,y0)(x_0,y_0)。

  2. 图示
    观察依据

    在一个解族的曲线上标出一个红点。

涉及知识点
  1. 初始条件选取一个特定的解
  2. 初始条件

初始条件如何将通解转化为特解?

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

    主讲人将解族与初始条件所确定的特解进行对比。

  2. 图示
    观察依据

    先显示多条青色曲线,再由红点选定其中一条。

涉及知识点
  1. 通解包含一个任意常数
  2. 初始条件选取一个特定的解

此处展示的一阶例子中,什么是初值问题?

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

    标题“初值问题(I.V.P.)”可见。

  2. 公式
    观察依据

    黑板上展示了 dy/dx=f(x,y)dy/dx = f(x, y),并附有初始条件 y(x0)=y0y(x_0) = y_0。

涉及知识点
  1. 一阶常微分方程的初值问题设定
  2. 单参数解族
  3. 特解

为什么单参数族只需一个初始条件?

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

    主讲人指出,一个任意常数意味着需要一个初始条件来确定特解。

涉及知识点
  1. 单参数解族
  2. 特解
  3. 一个任意常数需要一个初始条件

什么使得一个解被称为‘特解’,而非通解?

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

    主讲人指出,特解中不含任意常数 c。

  2. 公式
    观察依据

    黑板上展示了一个例子:y=x2+4y=x^2+4。

涉及知识点
  1. 特解
  2. 将通解与特解混淆

为什么这个二阶例子需要两个初始条件,而不是一个?

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

    黑板上展示了微分方程 d2y/dx2=fd^2y/dx^2=f(x,y,y'),并附带初始条件 y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1。

  2. 声音
    观察依据

    主讲人指出,这个二阶例子需要两个初始条件。

涉及知识点
  1. 二阶微分方程示例
  2. 二阶初值问题的初始条件
  3. 二阶例子需要两个初始条件
  4. 假设每个常微分方程只需一个初始条件

初始条件 y'(x0x_0)=y1y_1 在图中如何以几何方式体现?

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

    在下方曲线族中选定的点处,画出了一条虚线切线。

  2. 声音
    观察依据

    主讲人指出,该条件保证了该点处的斜率。

涉及知识点
  1. 二阶初值问题的初始条件
  2. 第二个初始条件确定了该点处的斜率。
  3. 通过曲线选取与切线展示的二阶示例

为什么二阶初值问题需要两个初始条件?

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

    讲解者说:‘这需要满足两点……它经过这个点,并且在该点处具有这一特定斜率。’

涉及知识点
  1. 二阶常微分方程的初值问题
覆盖情况与待核验内容

已覆盖 · 介绍主题名称及缩写 IVP。

已覆盖 · 写出通用的一阶微分方程,并解释f(x,y)f(x,y)。

已覆盖 · 添加初始条件y(x0)=y0y(x_0)=y_0,并标注为 I.C.。

已覆盖 · 说明求解会得到一个任意常数,从而产生无穷多条解曲线,图示为y=x2+Cy=x^2+C。

已覆盖 · 从图形角度解释:初始条件迫使解曲线经过(x0,y0)(x_0,y_0),从而选出其中一条特定曲线。

已覆盖 · 开场画面状态及红色标出的特解曲线被加以说明。

已覆盖 · 主讲人指出,一个任意常数对应一个初始条件,且该条件用于选出经过该点的那条曲线。

已覆盖 · 例题 y=x2+4y=x^2+4 被引入,作为不含剩余任意常数的特解。

已覆盖 · 黑板切换至二阶方程 d2y/dx2=fd^2y/dx^2=f(x,y,y')。

已覆盖 · 写出并讨论两个初始条件:y(x0)=y0y(x_0)=y_0 和 y'(x0x_0)=y1y_1。

已覆盖 · 画出一族较低位置的曲线,从中选出一条经过点 (x0x_0,y0y_0) 的曲线,并用一条切线示意该点处的斜率条件。

已覆盖 · 二阶常微分方程的两个初始条件及其几何意义的解释。

已覆盖 · 如何利用这两个初始条件,代入通解以求出其中两个常数,从而得到特解的解释。

探索视频中的知识

已审核的主题路径