数学建模 / 英语

偏微分方程 | 有限差分：简介

commutant · YouTube · 6:48

YouTube · commutant原视频

选中时刻 · 6:20 · 章节点是时间参考，不表示实时播放进度。

视频中的要点

01有限差分法概述
02差商近似
03示例：将常微分方程转化为有限差分方程

来自学习笔记

\frac{f(x+h) - f(x)}{h} \approx f'(x)

差商近似

选中时刻

与解析解无关

建议预备知识

导数的基本概念
微积分中极限的概念
对常微分方程的了解
导数记号 $f'(x)$
方程的基本代数变形
常微分方程的初值问题
指数函数 $e^x$
序列与递推记号
常微分方程
基础代数
函数与图像

概念关联

有限差分讲解
查看关联依据 · 0:00
已审核中文素材 v1：card「有限差分法概述」出现在 0:00——有限差分法是求解微分方程的一类数值技术。其核心思想是将微分方程中的每个导数都替换为一个代数近似式，从而得到一组纯粹的代数方程；求解该方程组即可获得原问题的近似解。
初值问题应用
查看关联依据 · 2:30
已审核中文素材 v1：knowledge_item「示例初值问题：f'=f， $f(0)=1$ 」出现在 2:30 至 5:00——所演示的具体初值问题是 f'=f，且 $f(0)=1$ 。板书上给出的精确解为 $f(x)=e^x$ ，它作为参考解，用于与有限差分近似解进行比较。
Reviewed English material v1: knowledge_item "Example initial value problem f'=f, $f(0)=1$ " at 2:30 至 5:00 — The worked example is the initial value problem f'=f with $f(0)=1$ . The exact solution displayed on the board is $f(x)=e^x$ , which serves as the reference against which the finite-difference approximation is compared.
离散化讲解
查看关联依据 · 2:35
已审核中文素材 v1：card「离散化更新规则」出现在 2:35——将前向差分代入 $f'=f$ 得到 $\frac{f(x+h)-f(x)}{h}=f(x)$ ，整理后得 $f(x+h)=(1+h)f(x)$ 。该式用当前值表示下一个值。
递推关系应用
查看关联依据 · 4:27
已审核中文素材 v1：card「近似序列的递推关系」出现在 4:27——在修正后的记号下，有限差分格式变为递推式 $f_{k+1}=(1+h)f_k$ ，初始条件为 $f_0=1$ 。这定义了整个近似序列。

编辑编排的学习路线组合数学离散数学：计数与数论数学建模数值分析与科学计算常微分方程

课程中的位置不代表概念之间存在先修关系。

在知识图谱中查看

阅读与收藏

把讲解展开来看。

被收藏 0

已审核学习内容 · 视频分析 · 中文

阅读完整概览

本入门段落讲解了用有限差分法数值求解微分方程的概念，详述了如何用代数近似（特别是差商）替代导数；随后，视频通过将简单常微分方程 f' = f 转化为有限差分方程，演示了这一过程。本片段通过用 ( $f(x+h)-f(x)$ )/h 近似 f'(x)，并将其应用于示例常微分方程 f'=f、 $f(0)=1$ ，来介绍有限差分方法。主讲人将该方程重写为 $f(x+h)=(1+h)f(x)$ ，计算出前几个近似值，随后指出精确解 $f(x)=e^x$ 与这些近似值之间存在记号冲突。为解决这一问题，黑板上引入网格点 $x_k$ =kh 和序列项 $f_k$ ，并给出递推关系 $f_{k+1}=(1+h)f_k$ 、 $f_0=1$ ，接着以 $h=0.5$ 为例展开具体计算。本节关于有限差分法的导论内容，演示了如何数值求解常微分方程 f' = f，其初始条件为 $f(0) = 1$ 。取步长 $h = 0.5$ ，视频推导出递推关系式 $f_{k+1} = (1+h)f_k$ ，并手动计算前若干个近似值。随后将这些离散点与精确解析解 $f(x) = e^x$ 一同绘图，直观且数值地展示近似误差的累积过程。主讲人最后强调：尽管本例中精确解可用于验证结果，但实现有限差分算法本身并不依赖于精确解。

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

章节

0:00有限差分法简介 1:08差商近似 1:46示例：将常微分方程转化为差分方程 2:30前向差分思想及示例常微分方程 2:45由

f(x+h)=(1+h)f(x)

逐步求解 3:24精确值与近似值之间的记号冲突 4:05引入网格点

x_k

、序列项

f_k

及其递推关系 4:56以

h=0.5

为例的具体计算 5:00建立有限差分递推关系式 5:24绘制近似值 5:48与精确解进行比较 6:20与解析解无关

学习解说文稿

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

视频首先将有限差分法定义为一种求解微分方程的数值方法。与寻求精确解析表达式的方法不同，数值方法产生的是近似解；这类解通常更易于计算，因此在实际中被广泛应用。其基本策略是遍历微分方程，并将其中每一个导数替换为一个代数形式的近似表达式。这一变换消除了所有导数，仅留下一组纯粹的代数方程。求解这组代数方程，即可得到原微分问题的近似解。

为实现该策略，必须选定一种具体的导数近似方式。最常用且最直观的选择是差商。根据基础微积分知识，函数 f'(x) 的精确定义是：当步长 h 趋近于零时，差商的极限。若选取一个足够小但非零的 h 值，则可将该极限定义放宽为直接近似：导数 f'(x) 近似等于在该小 h 值下计算出的差商。

为说明该过程，考虑如下简单的一阶常微分方程 f' = f，并满足初始条件 $f(0) = 1$ 。该问题的精确解析解广为人知，即 $f(x) = e^x$ 。应用有限差分法时，将导数项 f' 替换为其差商近似。于是原微分方程转化为代数形式的有限差分方程 ( $f(x+h) - f(x)$ )/h = $f(x)$ ，同时保留初始条件 $f(0) = 1$ 。该新方程现在可通过数值方法求解，从而近似得到函数 f 的取值。

本片段开头，黑板上写出了有限差分的一般原理： $\frac{f(x+h)-f(x)}{h} \approx f'(x)$ 。主讲人将该原理应用于示例方程 $f'=f$ 、 $f(0)=1$ ，其精确解显示为 $f(x)=e^x$ 。

将 $f'$ 替换为前向差分后，方程变为 $\frac{f(x+h)-f(x)}{h}=f(x)$ 。两边同乘 $h$ 并加上 $f(x)$ ，得到等价的更新规则 $f(x+h)=(1+h)f(x)$ 。

这种新形式使问题变为逐步推进式。从 $f(0)=1$ 出发，可得 $f(h)=1+h$ ，再得 $f(2h)=(1+h)^2$ ，依此类推，最终得到 $f(kh)=(1+h)^k$ 。

随后主讲人提醒，这种记号具有误导性，因为 $f(x)$ 已被用于表示精确解。特别地，该算法在 $h$ 处生成的值并非严格等于 $e^h$ ；实际上， $1+h$ 仅是对 $e^h$ 的一种近似。

为消除歧义，黑板上引入网格点 $x_k=kh$ ，并写作 $f(x_k)\approx f_k$ 。此处 $f_k$ 不再表示精确函数值，而是第 $k$ 个网格点上的离散近似值。

采用这一记号后，该方法被重新表述为递推关系 $f_{k+1}=(1+h)f_k$ 及初始条件 $f_0=1$ 。序列按步生成：由 $f_0$ 得到 $f_1$ ，由 $f_1$ 得到 $f_2$ ，依此类推。

最后，主讲人通过选取 $h=0.5$ 开始具体计算。黑板上列出了递推关系生成的前几项： $f_0=1$ 、 $f_1=1.5$ 、 $f_2=2.25$ 和 $f_3=3.375$ 。

视频首先建立有限差分递推关系式 $f_{k+1} = (1+h)f_k$ ，初始条件为 $f_0 = 1$ ，步长为 $h=0.5$ 。讲师口头逐步演算迭代算术过程，依次计算出 $f_1 = 1.5$ 、 $f_2 = 2.25$ 和 $f_3 = 3.375$ ，展示如何用离散代数更新规则替代连续导数。

接下来，重点转向可视化。绘制一个直角坐标系，并将计算所得的离散数对 $(x_k, f_k)$ 以绿色“×”标记形式描点。这一步将抽象的数值序列转化为几何点，为后续与底层连续函数进行直观对比奠定基础。

为评估近似效果，将精确解曲线 $y=e^x$ 以白色叠加显示。同时，出现一张对比表格，列出真实值 $f(x_k)$ 与近似值 $f_k$ 。讲师指出，数值结果始终低估了真实的指数增长，且随着 $x$ 增大，离散点与曲线之间的视觉间距不断加大，直观体现了误差累积现象。

最后，本片段回应一个常见的概念性难点。讲师阐明：尽管已知精确解 $e^x$ 有助于本次教学对比，但在实际执行有限差分法时，它完全不是必需的。该算法仅依赖微分方程的结构与初始条件，因此可应用于那些不存在闭式解析解的问题。

知识卡片

有限差分法概述

有限差分法是求解微分方程的一类数值技术。其核心思想是将微分方程中的每个导数都替换为一个代数近似式，从而得到一组纯粹的代数方程；求解该方程组即可获得原问题的近似解。

差商近似

差商用于近似函数的导数。当步长 h 足够小时，导数 f'(x) 近似等于该差商。

\frac{f(x+h) - f(x)}{h} \approx f'(x)

示例：将常微分方程转化为有限差分方程

考虑微分方程 f' = f 及其初始条件 $f(0) = 1$ 。通过将导数 f' 替换为差商近似，该方程即转化为有限差分方程 ( $f(x+h) - f(x)$ )/h = $f(x)$ 。

\frac{f(x+h) - f(x)}{h} = f(x)

前向差分近似

黑板上展示的基本有限差分思想是用邻近函数值的商来代替导数： $\frac{f(x+h)-f(x)}{h} \approx f'(x)$ 。这是将微分方程转化为代数关系的起点。

\frac{f(x+h)-f(x)}{h} \approx f'(x)

有限差分求解流程

视频描述了一种两步法：首先用近似式代替微分方程中的导数，然后求解所得的代数方程，从而获得近似解。

示例微分方程

所演示的例子是初值问题 $f'=f$ ，其中 $f(0)=1$ 。其精确解显示为 $f(x)=e^x$ ，作为数值近似的参考基准。

f' = f, \quad f(0)=1, \quad f(x)=e^x

离散化更新规则

将前向差分代入 $f'=f$ 得到 $\frac{f(x+h)-f(x)}{h}=f(x)$ ，整理后得 $f(x+h)=(1+h)f(x)$ 。该式用当前值表示下一个值。

\frac{f(x+h)-f(x)}{h}=f(x) \quad\Rightarrow\quad f(x+h)=(1+h)f(x)

数值的逐步生成

从 $f(0)=1$ 出发，该递推关系生成 $f(h)=1+h$ 、 $f(2h)=(1+h)^2$ ，且一般地生成 $f(kh)=(1+h)^k$ 。这展示了近似解如何一步步构建。

f(0)=1,\quad f(h)=1+h,\quad f(2h)=(1+h)^2,\quad f(kh)=(1+h)^k

近似不等于相等

主讲人强调，有限差分值并非精确解的值。在此例中， $1+h$ 仅近似等于 $e^h$ ，因此不应将离散输出等同于 $f(x)=e^x$ 。

1+h \approx e^h,\quad f(h)\neq e^h

网格点记号

为避免混淆精确量与近似量，该方法引入 $x_k=kh$ ，并写作 $f(x_k)\approx f_k$ 。其中， $f_k$ 表示在网格点 $x_k$ 处的离散近似。

x_k = kh, \quad f(x_k) \approx f_k

近似序列的递推关系

在修正后的记号下，有限差分格式变为递推式 $f_{k+1}=(1+h)f_k$ ，初始条件为 $f_0=1$ 。这定义了整个近似序列。

f_{k+1} = (1+h)f_k, \quad f_0 = 1

取步长 $h = 0.5$ 的具体例子

视频片段最后将递推式代入 $h=0.5$ 进行实例化。首次展示的几项依次为 $f_0=1$ 、 $f_1=1.5$ 、 $f_2=2.25$ 和 $f_3=3.375$ 。

h=0.5,\quad f_0=1,\quad f_1=1.5,\quad f_2=2.25,\quad f_3=3.375

有限差分递推公式

将微分方程转化为可求解迭代序列的核心机制。对于常微分方程 f'=f，前向差分近似得到递推式 $f_{k+1} = (1+h)f_k$ 。

f_{k+1} = (1+h)f_k, \quad f_0 = 1

迭代计算示例

演示如何利用递推关系（取 $h=0.5$ ）逐步进行算术运算，生成近似解序列：1、1.5、2.25、3.375。

图形化误差可视化

通过将离散近似值与连续精确解同图绘制，揭示系统性低估现象及偏差随自变量增大而加剧的趋势，从而直观呈现数值稳定性与精度特性。

不依赖精确解

阐明数值方法的一项基本性质：其运作基于方程本身的结构，而非要求预先知晓解析解，因而能够求解原本无法获得闭式解的常微分方程。

详细学习笔记

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

符号定义 · 17

f

依据清楚

视频直接表达

来源依据

公式
观察依据
符号 f 出现在差商公式和微分方程示例中。

符号

含义

关于单个变量 x 的函数。

适用范围

实值函数，其自变量为实数。

x

依据清楚

视频直接表达

来源依据

公式
观察依据
符号 x 作为自变量出现在差商和微分方程中。

符号

含义

函数 f 的自变量。

适用范围

实数。

h

依据清楚

视频直接表达

来源依据

公式
观察依据
符号 h 出现在差商的分母和自变量平移项中。

符号

含义

用于近似导数的一个小步长。

适用范围

很小的正实数。

f'(x)

依据清楚

视频直接表达

来源依据

公式
观察依据
符号 f'(x) 作为导数极限定义的结果出现。

符号

f'(x)

含义

函数 f 关于 x 的导数。

适用范围

实数。

f

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板反复展示 f' = f， $f(0) = 1$ ，以及解： $f(x) = e^x$ 。
声音
观察依据
主讲人区分了微分方程的精确解 f 与有限差分法生成的近似值。

符号

含义

微分方程中的未知函数及其精确解；后文将与离散近似解形成对比。

适用范围

关于连续变量 x 的函数。

x

依据清楚

视频直接表达

来源依据

公式
观察依据
可见的公式包括 f'(x)、 $f(x+h)$ 、 $f(x)$ 以及 $x_k$ = kh。

符号

含义

微分方程及精确解中出现的连续自变量。

适用范围

连续变量；网格点记为 $x_k$ 。

h

依据清楚

视频直接表达

来源依据

公式
观察依据
前向差分公式中，h 出现在分母中，也出现在 $f(x+h)$ 中。
声音
观察依据
主讲人说要将等式两边同乘 h，之后选定 $h = 0.5$ 。

符号

含义

用于有限差分近似及定义离散网格的步长。

适用范围

正的步长；在例题中 $h = 0.5$ 。

k

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $x_k$ = kh 和 $f_{k+1} = (1+h)f_k$ 。
声音
观察依据
主讲人指出 $x_k$ 等于 k 乘以 h，并描述从 $f_0$ 到 $f_1$ 再到 $f_2$ 的递推过程。

符号

含义

用整数下标标记网格点和数列项。

适用范围

递推关系中使用的非负整数下标。

$x_k$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $x_k$ = kh。

符号

$x_k$

含义

第 k 个网格点，定义为 kh。

适用范围

离散集合 {0,h,2h,...}。

$f_k$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $f(x_k)$ ≈ $f_k$ ，以及 $f_{k+1} = (1+h)f_k$ ， $f_0 = 1$ 。
声音
观察依据
主讲人将 $f_k$ 引入为 f 在 $x_k$ 处的近似值。

符号

$f_k$

含义

f 在网格点 $x_k$ 处取值的离散近似。

适用范围

以 k 为下标的数列。

$f_0$

依据清楚

视频直接表达

来源依据

公式
观察依据
递推式模块中包含 $f_0 = 1$ 。
声音
观察依据
主讲人说我们从 $f_0$ 开始。

符号

$f_0$

含义

离散近似序列的初始项。

适用范围

序列的第一项，等于1。

$f_{k+1}$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $f_{k+1} = (1+h)f_k$ 。

符号

$f_{k+1}$

含义

离散近似序列的下一项。

适用范围

由 $f_k$ 递归定义。

知识点 · 13

有限差分法

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将有限差分法介绍为一种数值技术，通过用代数近似式代替导数来求解微分方程。
图示
观察依据
屏幕文字显示：“有限差分法”和“用近似式代替微分方程中的导数”。

定义

解释

有限差分法是用于求解微分方程的数值技术。其核心思想是将微分方程中的每个导数都替换为一个代数近似式，从而得到一个纯代数方程组，求解该方程组即可获得原问题的近似解。

公式

适用条件

适用于微分方程。
产生近似解而非精确解。

差商近似

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人解释：导数定义为当 h 趋近于零时差商的极限；而当 h 很小时，可用差商本身来近似导数。
公式
观察依据
公式 $\lim_{h \to 0} \frac{f(x+h) - f(x)}{h} = f$ '(x) 随后显示，接着是 $\frac{f(x+h) - f(x)}{h} \approx f$ '(x)。

公式

解释

差商被用来近似函数的导数。当步长 h 足够小时，导数 f'(x) 近似等于该差商。

公式

\frac{f(x+h) - f(x)}{h} \approx f'(x)

适用条件

h 必须相对较小。

先修条目

f
x
h
f'(x)

导数的前向差分近似

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板右上方显示 ( $f(x+h)-f(x)$ )/h $\approx f$ '(x)。
声音
观察依据
主讲人解释：将微分方程中的导数替换为近似表达式，并求解所得的代数方程。

定义

解释

视频通过用差商 ( $f(x+h)-f(x)$ )/h 近似导数 f'(x)，定义了基本的有限差分思想。这将微分方程转化为一个涉及函数相邻取值的代数关系。

公式

\frac{f(x+h)-f(x)}{h} \approx f'(x)

适用条件

用于将微分方程中的导数替换为近似表达式。
h 是相邻计算点之间的步长。

有限差分法的流程

依据清楚

视频直接表达

来源依据

公式
观察依据
左侧文字为“将微分方程中的导数替换为近似表达式”，右侧文字为“求解所得的代数方程，得到近似解”。
声音
观察依据
主讲人将该方法描述为：将微分方程转化为可逐次求解的形式。

方法

解释

该方法包含板书上展示的两个阶段：首先用有限差分表达式代替导数，然后求解所得的代数方程或递推关系式，从而得到近似解。

公式

适用条件

当需要微分方程的近似数值解时，可采用此方法。
替换步骤引入了步长 h。

先修条目

导数的前向差分近似

示例初值问题：f'=f， $f(0)=1$

依据清楚

视频直接表达

来源依据

公式
观察依据
左下角显示 f' = f 且 $f(0)=1$ ，其解为： $f(x)=e^x$ 。
声音
观察依据
主讲人以该方程为例进行离散化处理。

定义

解释

所演示的具体初值问题是 f'=f，且 $f(0)=1$ 。板书上给出的精确解为 $f(x)=e^x$ ，它作为参考解，用于与有限差分近似解进行比较。

公式

f' = f, \quad f(0)=1, \quad f(x)=e^x

适用条件

这是本次演示所用的具体微分方程。

f'=f 的离散化形式

依据清楚

视频直接表达

来源依据

公式
观察依据
代入后，板书显示 ( $f(x+h)-f(x)$ )/h = $f(x)$ ，再将其改写为 $f(x+h)=(1+h)f(x)$ 。
声音
观察依据
主讲人说明：将等式两边同乘 h，再加 $f(x)$ ，即得 $f(x+h)=(1+h)f(x)$ 。

公式

解释

在 f'=f 中用前向差分近似 f'，得到 ( $f(x+h)-f(x)$ )/h= $f(x)$ 。整理后得 $f(x+h)=(1+h)f(x)$ ，该关系式用当前值表示下一个值。

公式

\frac{f(x+h)-f(x)}{h}=f(x) \quad\Rightarrow\quad f(x+h)=(1+h)f(x)

适用条件

由常微分方程示例 f'=f 利用前向差分近似导出。

先修条目

导数的前向差分近似
示例初值问题：f'=f， $f(0)=1$

由递推关系得出的逐步求解法

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人称，我们可以从 $f(0)=1$ 开始，逐步求解该方程，依次得到 $f(0+h)$ 、 $f(h+h)$ 等。
公式
观察依据
黑板后续列出： $f(0)=1$ ， $f(h)=1+h$ ， $f(2h)=(1+h)^2$ 等。

待核验内容

中间数值在全部写上黑板之前已被口头陈述。

方法

解释

一旦方程改写为 $f(x+h)=(1+h)f(x)$ ，便可从初始条件出发逐步生成数值。从 $f(0)=1$ 出发，得到 $f(h)=1+h$ ， $f(2h)=(1+h)^2$ ，一般地有 f(kh)=( $1+h$ )^k。

公式

f(0)=1,\quad f(h)=1+h,\quad f(2h)=(1+h)^2,\quad f(kh)=(1+h)^k

适用条件

需要初始值 $f(0)=1$ 。
使用递推关系 $f(x+h)=(1+h)f(x)$ 。

先修条目

f'=f 的离散化形式
示例初值问题：f'=f， $f(0)=1$

精确值与近似值之间的记号冲突

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出存在记号冲突： $f(x)$ 表示精确解，而 $f(0)$ 、 $f(h)$ 、 $f(2h)$ 此前被用于表示近似值。
公式
观察依据
黑板左侧仍显示解： $f(x)=e^x$ ，右侧则列出近似值。

定义

解释

视频指出一个记号问题： $f(x)$ 已被用于表示精确解，因此用 $f(h)$ 、 $f(2h)$ …… 表示数值近似值可能引起误解。主讲人明确指出， $f(h)$ 并不等于 $e^h$ ，而只是与之近似相关。

公式

f(h) \neq e^h,\quad 1+h \approx e^h

适用条件

当将精确解 $f(x)=e^x$ 与有限差分格式产生的数值结果进行比较时出现该问题。

先修条目

示例初值问题：f'=f， $f(0)=1$
由递推关系得出的逐步求解法

网格点记号： $f_k \approx f(x_k)$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写有 $f(x_k) \approx f_k$ ，其中 $x_k$ = kh。
声音
观察依据
主讲人表示，我们不再将这些近似值称为 $f(0)$ 、 $f(h)$ 等，而是称它们为 $f_k$ ，即 f 在 $x_k$ 处的近似值。

定义

解释

为区分精确量与近似量，视频引入网格点 $x_k$ =kh，并将 $f_k$ 记作 f 在 $x_k$ 处的近似值。这使得离散未知量成为一个序列，而非精确函数的取值。

公式

x_k = kh, \quad f(x_k) \approx f_k

适用条件

k 用于标记网格点。
$f_k$ 是一个近似值，而非精确值 $f(x_k)$ 。

先修条目

精确值与近似值之间的记号冲突

近似序列的递推关系

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板将先前的函数形式替换为 $f_{k+1}=(1+h)f_k$ 和 $f_0=1$ 。
声音
观察依据
主讲人指出，序列 $f_k$ 将由上述有限差分方程定义，即由 $f_k$ 确定 $f_{k+1}$ 。

公式

解释

在修正后的记号中，有限差分法变为递推关系 $f_{k+1}=(1+h)f_k$ ，初始条件为 $f_0=1$ 。该式从起始值出发定义了整个近似序列。

公式

f_{k+1} = (1+h)f_k, \quad f_0 = 1

适用条件

由离散化方程 $f(x+h)=(1+h)f(x)$ 导出。
k 是一个非负整数下标。

先修条目

f'=f 的离散化形式
网格点记号： $f_k \approx f(x_k)$

取 $h=0.5$ 的具体计算

依据清楚

视频直接表达

来源依据

公式
观察依据
视频片段结尾处，黑板上写出 h=.5， $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$ 。
声音
观察依据
说话人说：‘我们取 h 等于0.5。’

待核验内容

该片段在引入具体计算后立即结束，尚未进行进一步解释。

方法

解释

视频通过选取 $h=0.5$ 并列出递推关系生成的前几项序列值，开启一个数值示例： $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$ 。

公式

h=0.5,\quad f_0=1,\quad f_1=1.5,\quad f_2=2.25,\quad f_3=3.375

适用条件

使用递推关系 $f_{k+1}=(1+h)f_k$ ，其中 $h=0.5$ 。

先修条目

近似序列的递推关系

有限差分递推关系

依据清楚

视频直接表达

来源依据

公式
观察依据
橙色文字显示 $f_{k+1} = (1+h)f_k$ 且 $f_0 = 1$
声音
观察依据
讲解者说明代入数值以求得 $f_1$ 、 $f_2$ 等

公式

解释

视频展示了一种离散递推关系，用于逼近连续微分方程。通过用有限差分近似代替导数，将连续问题转化为迭代公式，其中每个新值依赖于前一个值。

公式

f_{k+1} = (1+h)f_k, \quad f_0 = 1

适用条件

h 是步长
$x_k$ 等于 k 乘以 h
$f_k$ 近似 $f(x_k)$

定理与条件 · 1

该近似不等于精确的指数函数

依据清楚

视频直接表达

来源依据

声音
观察依据
说话人说：“ $f(h)$ 等于 e 的 h 次方，这并不成立，那只是一种近似。一加 h 近似等于 e 的 h 次方。”

命题

对于例子 f'=f 且 $f(0)=1$ ，有限差分值 $1+h$ 近似于 $e^h$ ，但并不等于 $e^h$ 。

前提

精确解为 $f(x) = e^x$ 。
有限差分近似给出的下一个值为 $1+h$ ，初始值为1。

量词

在本例中所选的步长为 h。

推导与证明 · 5

由微分方程构建有限差分方程

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人设定示例 f' = f，其中 $f(0) = 1$ ，指出其精确解为 $e^x$ ，然后将 f' 替换为差商，从而构造出有限差分方程。
公式
观察依据
黑板上依次写出以下方程：f' = f， $f(0) = 1$ ，解为 $f(x) = e^x$ ，以及 $\frac{f(x+h) - f(x)}{h} = f(x)$ 。

直观解释

步骤

公式
$f' = f, \quad f(0) = 1$
解释
从给定的一阶常微分方程及其初始条件出发。
步骤依据
问题陈述。
视频直接表达
公式
$\frac{f(x+h) - f(x)}{h} = f(x)$
解释
将导数 f' 替换为其差商近似式，从而得到有限差分方程。
步骤依据
差商近似式的定义。
视频直接表达

结论

该微分方程被转化为一个代数形式的有限差分方程。

推导 $f(x+h) = (1+h)f(x)$

依据清楚

视频直接表达

来源依据

声音
观察依据
讲话者说，将等式两边同时乘以 h，再加 $f(x)$ 。
公式
观察依据
黑板上的式子从 ( $f(x+h)-f(x)$ )/h = $f(x)$ 变为 $f(x+h) = (1+h)f(x)$ 。

严格证明

步骤

公式
$\frac{f(x+h)-f(x)}{h}=f(x)$
解释
从常微分方程 f' = f 出发，代入前向差分近似。
步骤依据
将有限差分近似定义应用于本例方程。
视频直接表达
公式
$f(x+h)-f(x)=h f(x)$
解释
将等式两边同时乘以 h。
步骤依据
当 h 视为步长时的代数等价关系。
视频直接表达
公式
$f(x+h)=(1+h)f(x)$
解释
等式两边同时加上 $f(x)$ ，并提取公因式。
步骤依据
基础代数变形。
视频直接表达

结论

离散化方程可写为 $f(x+h) = (1+h)f(x)$ 。

前若干个近似值的推导

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，我们可以从 $f(0) = 1$ 出发，利用有限差分方程求出 $f(0+h)$ ，再求 $f(h+h)$ ，依此类推。
公式
观察依据
黑板后续显示： $f(0) = 1$ ， $f(h) = 1+h$ ， $f(2h) = (1+h)^2$ ，等等。

待核验内容

口述的推导过程早于黑板上部分书写内容的出现。

严格证明

步骤

公式
$f(0)=1$
解释
使用给定的初始条件。
步骤依据
该初值问题示例的题目陈述。
视频直接表达
公式
$f(h)=(1+h)f(0)=1+h$
解释
在 $x = 0$ 处应用递推关系。
步骤依据
由 $f(x+h) = (1+h)f(x)$ 出发。
视频直接表达
公式
$f(2h)=(1+h)f(h)=(1+h)^2$
解释
再次在 $x = h$ 处应用递推关系。
步骤依据
重复应用同一递推关系。
视频直接表达
公式
$f(kh)=(1+h)^k$
解释
将该规律延续 k 步。
步骤依据
以因子（ $1+h$ ）进行重复乘法。
依据视频推导

结论

从 $f(0)=1$ 出发，有限差分格式得到 f(kh)=( $1+h$ )^k。

从函数递推关系推导出序列的递推关系。

依据清楚

视频直接表达

来源依据

公式
观察依据
板书引入 $x_k$ =kh 和 $f(x_k)$ ≈ $f_k$ ，然后将更新式改写为 $f_{k+1}=(1+h)f_k$ ，其中 $f_0=1$ 。
声音
观察依据
说话人指出，序列 $f_k$ 将由上述有限差分方程定义。

严格证明

步骤

公式
$x_k=kh$
解释
定义该方法所用的网格点。
步骤依据
引入离散记号，以避免与精确函数混淆。
视频直接表达
公式
$f(x_k)\approx f_k$
解释
令 $f_k$ 表示 f 在 $x_k$ 处的近似值。
步骤依据
板书和语音中均陈述了新记号。
视频直接表达
公式
$f_{k+1}=(1+h)f_k,\quad f_0=1$
解释
将 $f(x+h)=(1+h)f(x)$ 翻译为序列的递推形式。
步骤依据
代入 $x=x_k$ ，并利用 $x_k$ 和 $f_k$ 的定义。
视频直接表达

结论

有限差分方法等价地表示为递推式 $f_{k+1}=(1+h)f_k$ ，其中 $f_0=1$ 。

近似值的迭代计算

依据清楚

视频直接表达

来源依据

声音
观察依据
讲解者口述运算过程：“我代入 f 零等于一……乘以一加零点五……结果是一点五”
公式
观察依据
绿色文字列出 $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$

数值验证

步骤

公式
$f_0 = 1$
解释
从给定的初始条件出发
步骤依据
题目陈述中已给出
视频直接表达
公式
$f_1 = (1 + 0.5)f_0 = 1.5(1) = 1.5$
解释
将 $k=0$ 与 $h=0.5$ 代入递推关系式
步骤依据
有限差分递推关系的定义
视频直接表达
公式
$f_2 = (1 + 0.5)f_1 = 1.5(1.5) = 2.25$
解释
将 $k=1$ 与新算出的 $f_1$ 代入
步骤依据
递归应用该公式。
视频直接表达
公式
$f_3 = (1 + 0.5)f_2 = 1.5(2.25) = 3.375$
解释
代入 $k = 2$ 和新计算出的 $f_2$ 。
步骤依据
递归应用该公式。
视频直接表达

结论

近似值序列通过迭代生成：1、1.5、2.25、3.375。

例题详解 · 3

将一个简单常微分方程转化为有限差分方程

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人逐步演示如何将 f' = f 转化为有限差分方程。
公式
观察依据
方程 f' = f、 $f(0) = 1$ 以及 $\frac{f(x+h) - f(x)}{h} = f(x)$ 被同时显示出来。

题目

利用差商近似式，将微分方程 f' = f 及其初始条件 $f(0) = 1$ 转化为有限差分方程。

已知条件

微分方程：f' = f
初始条件： $f(0) = 1$
近似式：f' ≈ $\frac{f(x+h) - f(x)}{h}$

目标

写出对应的有限差分方程。

步骤

公式
$f' = f$
解释
在微分方程中识别出导数项。
步骤依据
给定问题。
视频直接表达
公式
$\frac{f(x+h) - f(x)}{h} = f(x)$
解释
用差商代替 f'。
步骤依据
差商近似。
视频直接表达

结果

有限差分方程为 $\frac{f(x+h) - f(x)}{h} = f(x)$ ，且满足初始条件 $f(0) = 1$ 。

检验

讲解者指出，原常微分方程的精确解为 $f(x) = e^x$ ，该解可作为数值近似的基准。

$h=0.5$ 的数值示例

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $h=5$ ， $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$ 。
声音
观察依据
主讲人说：‘我想以某个特定 h 值的具体计算作为总结。我们取 h 等于0.5。’

待核验内容

视频片段在主讲人详细解释所列数字之前就结束了。

题目

计算微分方程 f' = f 的前几个有限差分近似值，其中 $f(0) =1$ ，步长 $h =0.5$ 。

已知条件

f 的导数等于 f
f 在 0 处的函数值等于 1
h 等于 0.5
$f_{k+1} = (1+h)f_k$

目标

针对所选步长，求出 $f_0$ 、 $f_1$ 、 $f_2$ 、 $f_3$ 。

步骤

公式
$f_0=1$
解释
使用初始条件。
步骤依据
给定递推关系的起始值。
视频直接表达
公式
$f_1=(1+0.5)f_0=1.5$
解释
应用一次递推关系。
步骤依据
由 $f_{k+1}=(1+h)f_k$ ，其中 $h=0.5$ 。
视频直接表达
公式
$f_2=(1+0.5)f_1=2.25$
解释
再次应用递推关系。
步骤依据
重复应用同一递推关系。
视频直接表达
公式
$f_3=(1+0.5)f_2=3.375$
解释
第三次应用递推关系。
步骤依据
重复应用同一递推关系。
视频直接表达

结果

f 下标 0 等于 1，f 下标 1 等于 1.5，f 下标 2 等于 2.25，f 下标 3 等于 3.375

检验

每个值都直接由前一个值乘以1.5得到，与黑板上所列各项一致。

用有限差分法求解微分方程 f' = f。

依据清楚

视频直接表达

来源依据

公式
观察依据
左侧显示 f' = f， $f(0) = 1$ ；右侧显示离散计算过程及对比表格。
声音
观察依据
讲解者从问题设定到误差比较，完整演示整个例题。

题目

用步长 $h = 0$ 处的初始条件 f(1 using a step size of $h = 0.5$ 近似求解微分方程 f' = f，并将结果与精确解进行比较。

已知条件

微分方程：f' = f
初始条件： $f(0) = 1$
步长： $h = 0.5$
精确解： $f(x) = e^x$

目标

计算离散近似值 $f_k$ ，并将其与真实函数值进行对比以评估精度。

步骤

公式
$f_{k+1} = (1+h)f_k$
解释
基于导数的前向差分近似，建立有限差分递推关系。
步骤依据
常微分方程的标准有限差分离散化方法。
视频直接表达
公式
$f_0 = 1, f_1 = 1.5, f_2 = 2.25, f_3 = 3.375$
解释
迭代计算该序列的前几项。
步骤依据
将数值代入递推关系进行算术运算。
视频直接表达
公式
$f(0)=1, f(0.5)≈1.65, f(1)≈2.72, f(1.5)≈4.48$
解释
在对应网格点 $x_k = 0$ , 0.5, 1, 1.5 处求精确解 $e^x$ 的值。
步骤依据
直接计算已知解析解的值。
视频直接表达
公式
$Compare f_k vs f(x_k)$
解释
观察发现，近似值始终低于精确值，且随着 x 增大，二者差距不断拉大。
步骤依据
通过观察所绘制的点图及数值表格进行直观判断。
视频直接表达

结果

有限差分法生成序列 {1, 1.5, 2.25, 3.375}，该序列在相应网格点处低估了 $e^x$ 的真实值，体现了截断误差的累积效应。

检验

讲解者明确地将计算所得的 $f_k$ 值与表格中的数值及图像上的曲线所显示的 $e^{x_k}$ 值进行了对比。

图示与动画 · 5

公式与文字的顺序书写

依据清楚

视频直接表达

来源依据

动画
观察依据
讲解者讲话时，手写文字与公式依次出现在黑色背景上。

图中对象

黑色背景
白色与彩色手写文字
公式

变化过程

文字‘有限差分法’出现。
文字‘替代导数……’出现。
箭头及文字‘求解所得的……’出现。
导数的极限定义出现。
近似公式出现。
示例常微分方程及其解出现。
该示例对应的有限差分方程出现。

不变量

黑色背景保持不变。
手写风格保持一致。

数学含义

视觉演进过程与授课逻辑流程相呼应，先引入概念，再将其应用于具体示例。

整体黑板布局

依据清楚

视频直接表达

来源依据

图示
观察依据
黑板布局为：左上方是标题，右上方是一般公式，中部为说明性文字，下方是示例常微分方程及其变换。

图中对象

标题“有限差分法”
一般公式 ( $f(x+h)-f(x)$ )/h $\approx f$ '(x)
文本：“用近似式代替微分方程中的导数”
文本：“求解所得的代数方程，得到近似解”
示例常微分方程：f' = f， $f(0) = 1$
解： $f(x) = e^x$

变化过程

右下部分逐步从函数记号重写为序列记号。
当 $h = 0.5$ 时的一个具体数值列表出现在末尾附近。

不变量

标题及通用前向差分公式在视频大部分时间中始终可见。
左侧精确解 $f(x) = e^x$ 始终保留在黑板上作为参考。

数学含义

版面在视觉上区分了通用方法、示例微分方程、精确解以及不断演化的离散逼近方案。

从函数值到序列项的视觉重写

依据清楚

视频直接表达

来源依据

动画
观察依据
黑板上的内容从 $f(x+h) = (1+h)f(x)$ 及一列数值，过渡到更简洁的记号： $f(x_k)$ ≈ $f_k$ ， $x_k$ = kh，再进一步变为 $f_{k+1} = (1+h)f_k$ ， $f_0 = 1$ 。

图中对象

$f(x+h)$ 等于 ( $1+h$ ) 乘以 $f(x)$
$f(0)=1$ ， $f(h)=1+h$ ， $f(2h)=(1+h)^2$ ，等等。
f 在 $x_k$ 处的函数值约等于 $f_k$
xₖ 等于 k 乘以 h
f 下标 k 加 1 等于 1 加 h 的和乘以 f 下标 k
f 下标 0 等于 1

变化过程

原先的数值列表被替换为带下标的序列记号。
递推关系改用下标 k 而非自变量 x 来表述。

不变量

乘性因子( $1+h$ )保持不变。
初始值仍为1。

数学含义

这一视觉变化体现了概念上的转变：从含义模糊的函数取值记号，转向定义明确的近似值离散序列。

$h=0.5$ 计算的呈现

依据清楚

视频直接表达

来源依据

动画
观察依据
右上方新出现一个区块，列出 h=.5， $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$ 。

待核验内容

该数值示例仅展示了开头部分，随后片段即结束。

图中对象

h等于5
f下标0等于1
f下标1等于1.5
f下标2等于2.25
f下标3等于3.375

变化过程

用具体的数值取代纯符号形式的递推关系，以展示一个实际情形。

不变量

这些数值由同一递推关系 $f_{k+1}=(1+h)f_k$ 生成。

数学含义

黑板通过选取特定的步长，将抽象方法实例化，以展示该数列在实际中是如何计算的。

数值解与精确解的图形对比

依据清楚

视频直接表达

来源依据

动画
观察依据
坐标轴首先出现，随后是代表近似值的绿色‘x’标记，最后是代表精确解的白色曲线。
声音
观察依据
说话人说：“现在我可以把这些点大致画在图上……”

图中对象

坐标轴
绿色“×”标记，表示点 ( $x_k$ , $f_k$ )
白色曲线，表示 $y = e^x$
数值数据表格

变化过程

绘制坐标轴
按顺序绘制近似点
叠加精确解曲线
对比表格出现

不变量

步长 h 保持为0.5
初始条件 $f(0)=1$ 保持不变

数学含义

视觉叠加图表明，尽管有限差分法能追踪指数增长的大致形状，但它系统性地滞后于真实曲线，体现了数值误差累积的概念。

易错点 · 2

将有限差分计算所得的值误认为是精确函数值

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人提醒道：用 $f(h)$ 、 $f(2h)$ …… 等有限差分近似值来代表精确解 $f(x)$ ，会产生概念混淆；并强调：‘ $f(h)$ 等于 e 的 h 次方’这一说法是错误的。

误区

人们可能错误地认为，递推关系所生成的值（例如 $f(h)=1+h$ ）恰好等于真实解 $f(x)=e^x$ 在对应点处的精确函数值。

说明

视频明确区分了近似与相等： $1+h$ 仅近似等于 $e^h$ ，而离散量应单独记为 $f_k$ 近似于 $f(x_k)$ 。

关于数值方法需要精确解的误解

依据清楚

视频直接表达

来源依据

声音
观察依据
说话人说道：“我们无需知道这个实际解，也能实现有限差分法。”

误区

学生可能误以为有限差分等数值逼近方法在实施前必须已知精确的解析解。

说明

视频澄清：有限差分法仅依赖微分方程本身和初始条件运行；此处使用精确解仅为教学目的，用于与计算结果比对以验证精度，并非算法的输入。

概念关系 · 10

有限差分法 → 差商近似

依据清楚

依据视频推导

来源依据

声音
观察依据
主讲人指出，首要任务是说明我们将采用哪一类近似方法，并引出差商。

应用

解释

差商是一种特定的代数近似，在有限差分法的一般框架内用于替代导数。

导数的前向差分近似 → 有限差分法的流程

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板将前向差分公式置于文字描述之上，该文字描述的是用差分代替导数并求解代数方程的过程。

应用

解释

前向差分公式是黑板所描述的有限差分工作流程中所使用的工具。

有限差分法的流程 → 示例初值问题：f'=f， $f(0)=1$

依据清楚

视频直接表达

来源依据

图示
观察依据
一般方法的文字说明与其下方的具体例子 f'=f、 $f(0)=1$ 配对呈现。

应用

解释

该初值问题示例用于演示一般的有限差分步骤。

示例初值问题：f'=f， $f(0)=1 \to f$ '=f 的离散化形式

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板将 f'=f 变形为 ( $f(x+h)-f(x)$ )/h= $f(x)$ ，再进一步变形为 $f(x+h)=(1+h)f(x)$ 。

应用

解释

通过对示例常微分方程应用前向差分近似，得到离散化方程。

f'=f 的离散化形式 → 由递推关系得出的逐步求解法

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人指出，重写后的方程使我们能从 $f(0)=1$ 出发逐步求解。

应用

解释

递推形式 $f(x+h)=(1+h)f(x)$ 正是实现数值逐点生成的关键。

由递推关系得出的逐步求解法 → 精确值与近似值之间的记号冲突

依据清楚

视频直接表达

来源依据

声音
观察依据
在列出 $f(0)$ 、 $f(h)$ 、 $f(2h)$ 后，主讲人指出这会与精确解 $f(x)$ 的记号产生冲突。

对比

解释

最初为便于表示增量值而采用的记号，与精确解的记号发生了冲突。

精确值与近似值之间的记号冲突 → 网格点记号： $f_k \approx f(x_k)$

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板将原先含义模糊的数值列表替换为 $f(x_k)\approx f_k$ 和 $x_k$ =kh。

应用

解释

新引入的下标记号专门用于解决记号冲突。

网格点记号： $f_k \approx f(x_k)$ → 近似序列的递推关系

依据清楚

视频直接表达

来源依据

公式
观察依据
使用新记号后，更新规则重写为 $f_{k+1}=(1+h)f_k$ ，其中 $f_0=1$ 。

应用

解释

一旦定义了 $f_k$ 和 $x_k$ ，有限差分格式就表示为一个序列的递推关系。

近似序列的递推关系 → $h=0.5$ 的数值示例

依据清楚

视频直接表达

来源依据

公式
观察依据
由该递推关系生成具体列表：h=.5， $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$ 。

应用

解释

该数值例子用特定步长对递推关系进行了实例化。

显式欧拉法背景 → 有限差分递推关系

依据清楚

补充解释

来源依据

公式
观察依据
展示具体递推式 $f_{k+1}=(1+h)f_k$
声音
观察依据
标题卡片显示“有限差分方法”

特例

解释

视频中推导出的递推关系，是显式欧拉法应用于线性常微分方程 f'=f 时所得的一般形式的一个特例。

问题定位 · 13

什么是有限差分法？它们如何运作？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人定义了有限差分法。

涉及知识点

有限差分法

如何利用差商来近似导数？

依据清楚

视频直接表达

来源依据

公式
观察依据
展示了差商近似的公式。

涉及知识点

差商近似

您能演示一个将微分方程转化为有限差分方程的例子吗？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人将 f' = f 转化为一个有限差分方程。

涉及知识点

将一个简单常微分方程转化为有限差分方程

有限差分法中使用的前向差分近似是什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
右上角公式：( $f(x+h)-f(x)$ )/h ≈ f'(x)。

涉及知识点

导数的前向差分近似

有限差分法如何将微分方程转化为代数方程？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板文字指出：用近似式代替导数，然后求解所得的代数方程。

涉及知识点

有限差分法的流程
导数的前向差分近似

如何用前向差分对常微分方程 f'=f 进行离散化？

依据清楚

视频直接表达

来源依据

公式
观察依据
该例子从 f'=f 变换为 $f(x+h)=(1+h)f(x)$ 。

涉及知识点

示例初值问题：f'=f， $f(0)=1$
f'=f 的离散化形式

为什么步长为 h 时的有限差分值不等于精确解 $e^h$ ？

依据清楚

视频直接表达

来源依据

声音
观察依据
主讲人明确指出： $f(h)$ 不等于 $e^h$ ，仅与之近似相关。

涉及知识点

精确值与近似值之间的记号冲突
将有限差分计算所得的值误认为是精确函数值
该近似不等于精确的指数函数

有限差分记号中符号 $f_k$ 和 $x_k$ 分别表示什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上写出 $f(x_k)$ ≈ $f_k$ ，其中 $x_k$ =kh。

涉及知识点

网格点记号： $f_k \approx f(x_k)$

定义本例中近似序列的递推关系是什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上显示 $f_{k+1}=(1+h)f_k$ 且 $f_0=1$ 。

涉及知识点

近似序列的递推关系

当 $h=0.5$ 时，前几个计算出的值是什么？

依据清楚

视频直接表达

来源依据

公式
观察依据
黑板上列出 h=.5， $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$ 。

涉及知识点

取 $h=0.5$ 的具体计算
$h=0.5$ 的数值示例

如何计算有限差分序列中的后续各项？

依据清楚

视频直接表达

来源依据

声音
观察依据
说话人详细演算 f1、f2、f3 的算术步骤

涉及知识点

有限差分递推关系
近似值的迭代计算

有限差分近似解在图形上和数值上如何与精确解进行比较？

依据清楚

视频直接表达

来源依据

公式
观察依据
对比 $f(x)$ 值与 $f_k$ 值的表格
动画
观察依据
展示离散点与连续曲线之间发散趋势的图像

涉及知识点

用有限差分法求解微分方程 f' = f。
数值解与精确解的图形对比

覆盖情况与待核验内容

已覆盖 · 介绍有限差分法及其目的。

已覆盖 · 解释差商作为导数的一种近似。

已覆盖 · 应用差商将一个简单的常微分方程转化为有限差分方程。

已覆盖 · 黑板上给出一般前向差分公式和本例的常微分方程，并由讲述者将离散化后的方程重写为 $f(x+h)=(1+h)f(x)$ 。

已覆盖 · 讲述者解释从 $f(0)=1$ 出发逐步求解的过程，并推导出 $f(h)=1+h$ ， $f(2h)=(1+h)^2$ ，以及通式 f(kh)=( $1+h$ )^k。

已覆盖 · 讲述者指出精确函数 $f(x)$ 与近似值之间的记号冲突，并强调 $1+h$ 仅是 $e^h$ 的一个近似。

已覆盖 · 黑板上引入 $x_k$ =kh 和 $f(x_k)$ ≈ $f_k$ ，然后将该方法重写为递推式 $f_{k+1}=(1+h)f_k$ ，且 $f_0=1$ 。

已覆盖 · 以 $h=0.5$ 进行具体计算，展示 $f_0=1$ ， $f_1=1.5$ ， $f_2=2.25$ ， $f_3=3.375$ ，随后片段结束。

已覆盖 · 建立递推关系式，并手动计算前四项的近似值。

已覆盖 · 绘制坐标系并标出离散的近似点。

已覆盖 · 叠加精确解曲线，并制作数值对比表格。

已覆盖 · 围绕数值方法与精确解相互独立这一概念展开讨论。

探索视频中的知识

打开视频知识图谱 →

有限差分讲解定位 0:00
查看关联依据
已审核中文素材 v1：card「有限差分法概述」出现在 0:00——有限差分法是求解微分方程的一类数值技术。其核心思想是将微分方程中的每个导数都替换为一个代数近似式，从而得到一组纯粹的代数方程；求解该方程组即可获得原问题的近似解。
初值问题应用定位 2:30
查看关联依据
已审核中文素材 v1：knowledge_item「示例初值问题：f'=f， $f(0)=1$ 」出现在 2:30 至 5:00——所演示的具体初值问题是 f'=f，且 $f(0)=1$ 。板书上给出的精确解为 $f(x)=e^x$ ，它作为参考解，用于与有限差分近似解进行比较。
Reviewed English material v1: knowledge_item "Example initial value problem f'=f, $f(0)=1$ " at 2:30 至 5:00 — The worked example is the initial value problem f'=f with $f(0)=1$ . The exact solution displayed on the board is $f(x)=e^x$ , which serves as the reference against which the finite-difference approximation is compared.
离散化讲解定位 2:35
查看关联依据
已审核中文素材 v1：card「离散化更新规则」出现在 2:35——将前向差分代入 $f'=f$ 得到 $\frac{f(x+h)-f(x)}{h}=f(x)$ ，整理后得 $f(x+h)=(1+h)f(x)$ 。该式用当前值表示下一个值。
递推关系应用定位 4:27
查看关联依据
已审核中文素材 v1：card「近似序列的递推关系」出现在 4:27——在修正后的记号下，有限差分格式变为递推式 $f_{k+1}=(1+h)f_k$ ，初始条件为 $f_0=1$ 。这定义了整个近似序列。

偏微分方程 | 有限差分：简介

把讲解展开来看。

章节

学习解说文稿

知识卡片

有限差分法概述

差商近似

示例：将常微分方程转化为有限差分方程

前向差分近似

有限差分求解流程

示例微分方程

离散化更新规则

数值的逐步生成

近似不等于相等

网格点记号

近似序列的递推关系

取步长 h=0.5h = 0.5h=0.5 的具体例子

有限差分递推公式

迭代计算示例

图形化误差可视化

不依赖精确解

详细学习笔记

f

x

h

f'(x)

f

x

h

k

xkx_kxk​

fkf_kfk​

f0f_0f0​

fk+1f_{k+1}fk+1​

有限差分法

差商近似

导数的前向差分近似

有限差分法的流程

示例初值问题：f'=f，f(0)=1f(0)=1f(0)=1

f'=f 的离散化形式

由递推关系得出的逐步求解法

精确值与近似值之间的记号冲突

网格点记号：fk≈f(xk)f_k \approx f(x_k)fk​≈f(xk​)

近似序列的递推关系

取 h=0.5h=0.5h=0.5 的具体计算

有限差分递推关系

该近似不等于精确的指数函数

由微分方程构建有限差分方程

推导 f(x+h)=(1+h)f(x)f(x+h) = (1+h)f(x)f(x+h)=(1+h)f(x)

前若干个近似值的推导

从函数递推关系推导出序列的递推关系。

近似值的迭代计算

将一个简单常微分方程转化为有限差分方程

h=0.5h=0.5h=0.5 的数值示例

用有限差分法求解微分方程 f' = f。

公式与文字的顺序书写

整体黑板布局

从函数值到序列项的视觉重写

h=0.5h=0.5h=0.5计算的呈现

数值解与精确解的图形对比

将有限差分计算所得的值误认为是精确函数值

关于数值方法需要精确解的误解

有限差分法 → 差商近似

导数的前向差分近似 → 有限差分法的流程

有限差分法的流程 → 示例初值问题：f'=f，f(0)=1f(0)=1f(0)=1

示例初值问题：f'=f，f(0)=1→ff(0)=1 \to ff(0)=1→f'=f 的离散化形式

f'=f 的离散化形式 → 由递推关系得出的逐步求解法

由递推关系得出的逐步求解法 → 精确值与近似值之间的记号冲突

精确值与近似值之间的记号冲突 → 网格点记号：fk≈f(xk)f_k \approx f(x_k)fk​≈f(xk​)

网格点记号：fk≈f(xk)f_k \approx f(x_k)fk​≈f(xk​) → 近似序列的递推关系

近似序列的递推关系 → h=0.5h=0.5h=0.5 的数值示例

显式欧拉法背景 → 有限差分递推关系

什么是有限差分法？它们如何运作？

如何利用差商来近似导数？

您能演示一个将微分方程转化为有限差分方程的例子吗？

有限差分法中使用的前向差分近似是什么？

有限差分法如何将微分方程转化为代数方程？

如何用前向差分对常微分方程 f'=f 进行离散化？

为什么步长为 h 时的有限差分值不等于精确解 ehe^heh？

有限差分记号中符号 fkf_kfk​ 和 xkx_kxk​ 分别表示什么？

取步长 $h = 0.5$ 的具体例子

$x_k$

$f_k$

$f_0$

$f_{k+1}$

示例初值问题：f'=f， $f(0)=1$

网格点记号： $f_k \approx f(x_k)$

取 $h=0.5$ 的具体计算

推导 $f(x+h) = (1+h)f(x)$

$h=0.5$ 的数值示例

$h=0.5$ 计算的呈现

有限差分法的流程 → 示例初值问题：f'=f， $f(0)=1$

示例初值问题：f'=f， $f(0)=1 \to f$ '=f 的离散化形式

精确值与近似值之间的记号冲突 → 网格点记号： $f_k \approx f(x_k)$

网格点记号： $f_k \approx f(x_k)$ → 近似序列的递推关系

近似序列的递推关系 → $h=0.5$ 的数值示例

为什么步长为 h 时的有限差分值不等于精确解 $e^h$ ？

有限差分记号中符号 $f_k$ 和 $x_k$ 分别表示什么？

当 $h=0.5$ 时，前几个计算出的值是什么？