热方程

1. 公式
   观察依据

   黑板上展示了解的形式：$u(t,x) = e^{λt} S(x)$。

$u(t,x)$

热方程的未知函数或解，依赖于时间 t 和空间 x。

关于两个变量 t 和 x 的函数。

1. 声音
   观察依据

   讲师指出时间出现在热方程中，且解依赖于 t。

2. 公式
   观察依据

   t 出现在 ∂u/∂t 和 $e^{λt}$ 中。

t

时间变量。

出现在时间导数和指数因子中的变量。

1. 声音
   观察依据

   讲师指出解依赖于 x，且 x 此处也是一个坐标。

2. 公式
   观察依据

   x 出现在 ∂^2u/∂$x^2$ 和 $S(x)$ 中。

x

空间变量或空间坐标。

出现在二阶空间导数和特征函数 $S(x)$ 中的变量。

1. 声音
   观察依据

   讲师将 λ 称为特征值，并指出时间导数会提出一个 λ。

2. 公式
   观察依据

   λ 出现在 $e^{λt}$ 和 $λ e^{λt}$ 中，且 $S = e^{λt}$ ∂S/∂$x^2$。

λ

与分离出的时间因子 $e^{λt}$ 相关联的特征值。

指数中乘以 t 的标量参数，且在代入后作为系数出现。

1. 声音
   观察依据

   讲师称 S 为特征函数，因为它仅依赖于 x。

2. 公式
   观察依据

   黑板上显示了 $u(t,x) = e^{λt}S(x)$ 中的 $S(x)$，以及代入后的方程中的 S。

$S(x)$

分离解中的空间因子；讲师将其描述为特征函数。

关于 x 的函数。

1. 公式
   观察依据

   黑板最上方一行写着：热传导方程 ∂u/∂t = ∂^2u/∂$x^2$。

$\frac{\partial u}{\partial t}$

u 关于时间 t 的一阶偏导数。

热传导方程的左端。

1. 公式
   观察依据

   黑板最上方一行写着：热传导方程 ∂u/∂t = ∂^2u/∂$x^2$。

$\frac{\partial^2 u}{\partial x^2}$

u 关于空间 x 的二阶偏导数。

热方程的右端项。

1. 公式
   观察依据

   黑板右侧显示 $λ e^{λt} S = e^{λt}$ ∂S/∂$x^2$。

$\lambda e^{\lambda t} S$

对 $e^{λt}S(x)$ 应用时间导数所得结果，其中 S 视为仅含空间变量的因子。

将分离变量形式代入热方程后得到的左端项。

1. 公式
   观察依据

   黑板右侧显示 $λ e^{λt} S = e^{λt}$ ∂S/∂$x^2$。

$e^{\lambda t}\frac{\partial S}{\partial x^2}$

代入后黑板上写出的空间导数一侧的表达式；所展示的导数记号在口述的二阶导数意义上存在歧义。

将分离变量形式代入热方程后得到的右端项。

1. 公式
   观察依据

   黑板上展示了热方程：∂u/∂t = ∂²u/∂x²，以及分离变量形式的解：$u(t,x) = e^{λt} S(x)$。

$u(t,x)$

温度，或关于时间 t 和空间 x 的未知函数。

关于两个变量 t 和 x 的函数。

1. 声音
   观察依据

   讲师称 λ 是‘某个数乘以我的函数’。

2. 公式
   观察依据

   分离变量形式的解写作 $e^{λt} S(x)$，随后 λ 被确定为 -k^$2π^2$。

λ

与分离变量解中空间算子 d²/dx² 相关联的特征值。

标量参数；在此例中，对于正弦特征函数，它取负值。

1. 公式
   观察依据

   黑板上写出 $S(x) = \sin kπx$。

2. 声音
   观察依据

   讲师表示他正在寻找函数 S，且这些函数将是正弦函数。

$S(x)$

分离变量解 $u(t,x) = e^{λt}S(x)$ 中的空间特征函数。

关于 x 的函数。

1. 声音
   观察依据

   主讲人将本视频介绍为热方程专题，并称其为三大基本偏微分方程中的第二个。

2. 公式
   观察依据

   黑板上写有热方程：∂u/∂t = ∂^2u/∂$x^2$。

该片段将一维热方程定义为一个偏微分方程，它关联了 u 对时间的一阶导数与 u 对空间的二阶导数；主讲人通过指出‘此时时间变量进入方程’，将其与拉普拉斯方程加以对比。

1. 因变量为 $u(t,x)$。

2. 该方程包含一个时间导数和两个空间导数。

1. 声音
   观察依据

   讲师表示希望将两部分分离，并寻找形如 $e^{λt}$ 乘以 x 的函数的解。

2. 公式
   观察依据

   黑板上写出解的形式：$u(t,x)=e^{λt}S(x)$。

讲师提出寻找乘积形式的解，即一个依赖于时间的指数因子与一个依赖于空间的因子 $S(x)$ 相乘；他明确将此方法类比于求解常微分方程组——其中 $e^{λt}$ 乘以一个特征向量；而此处的空间因子被称为特征函数，因为它依赖于 x。

1. 所寻求的解被设为 t 的函数与 x 的函数的乘积。

2. λ 被视为特征值。

3. $S(x)$ 被视为特征函数。

1. 热方程的定义

1. 声音
   观察依据

   讲师表示，他将所提出的解代入微分方程，以探明决定 $S(x)$ 的条件。

2. 公式
   观察依据

   黑板上显示：$λ e^{λt} S = e^{λt}$ ∂S/∂$x^2$。

1. 所展示的右侧导数写作 ∂S/∂$x^2$，而口头讲解中提到的是两个空间导数以及该函数的二阶导数。

该方法是将 $u(t,x)=e^{λt}S(x)$ 代入热方程。对时间求导会带出 λ，使等式左边变为 $λ e^{λt}S$。在空间部分，讲者指出存在两个空间导数，从而得到一个含 S 的二阶导数乘以 $e^{λt}$ 的表达式。

1. 采用乘积形式 $u(t,x)=e^{λt}S(x)$。

2. 左边对 t 求导，右边对 x 求二阶导。

1. 热方程的定义
2. 分离变量形式的试探解

1. 声音
   观察依据

   讲者说：‘并且我总是消去 e 的 λt 次方’，接着指出他得到了一个本征值方程。

2. 动画
   观察依据

   讲者在代入后的方程两边的 $e^{λt}$ 因子上画出对角线消去标记。

1. 最终简化后的方程在片段结束前未完整写出；仅能听到下一行开头的语音：‘因此，我的函数的二阶导数是’。

代入后，公共因子 $e^{λt}$ 同时出现在等式两边，并被直观地和口头地消去。讲者指出剩余的关系即为未知函数 $S(x)$ 的本征值方程。

1. 代入后，相同的非零指数因子 $e^{λt}$ 必须同时出现在等式两边。

1. 将分离变量形式代入热方程

1. 公式
   观察依据

   黑板上显示“热方程 ∂u/∂t = ∂²u/∂x²”和“解 $u(t,x)=e^{λt}S(x)$”。

2. 声音
   观察依据

   讲师解释说，λ 是一个乘在函数上的数，并指出 S 是一个正弦函数。

对于热方程，讲师采用形如 $u(t,x)=e^{λt}S(x)$ 的分离变量解。时间部分呈指数依赖关系，而空间部分 $S(x)$ 被选取为满足二阶导数算子的本征值问题。

1. 应用于热方程 ∂u/∂t = ∂²u/∂x²。

2. 空间因子 $S(x)$ 被视为 d²/dx² 的本征函数。

1. 公式
   观察依据

   讲师写出 $S(x)=\sin kπx$。

2. 声音
   观察依据

   他指出函数 S 将是正弦函数，并提问：对应的本征值是多少？

1. 筛选出这些正弦模态的边界条件在此片段中未予说明。

本例中所用的空间本征函数是自变量为 kπx 的正弦函数。对其求二阶导数后，结果仍是同一正弦函数乘以一个常数，因此它是二阶导数算子的本征函数。

1. 用作 $u(t,x)=e^{λt}S(x)$ 中的空间因子。

2. 整数指标 k 用于标记不同的模态。

1. 热方程的分离变量解

1. 声音
   观察依据

   讲师指出，对函数求二阶导数会使 kπ 出现两次，并带有一个负号。

2. 公式
   观察依据

   黑板上显示 $λ = -k^2π^2$。

对 $\sin (kπx)$ 求两次导数，会两次引出因子 kπ，并引入一个负号，从而得到空间算子的特征值 $λ = -k^2π^2$。

1. 适用于 $S(x) = \sin (kπx)$。

2. 使用二阶导数算子 d²/dx²。

1. 空间算子的正弦本征函数

1. 声音
   观察依据

   讲师指出，若已知多个解，且方程是线性的，则可取基本解的线性组合。

2. 公式
   观察依据

   他将通解写作从 1 到无穷大的关于 k 的求和形式。

1. 最终完整公式在每一帧中并非完全清晰可辨，但通过口述解释与可见项可确定其预期的级数形式。

由于热传导方程是线性的，讲师通过将所有模态 k 对应的基本分离解相加来构造通解，每个模态乘以系数 $B_k$。

1. 要求该偏微分方程具有线性性质。

2. 使用之前求得的特征对（$\sin (kπx)$，-k²π²）。

3. 该求和式在所展示的构造中对 k＝1、2、3、…… 进行。

1. 热方程的分离变量解
2. 对 $\sin (kπx)$ 求二阶导数所得的特征值。

1. 公式
   观察依据

   黑板标题为“视频8.3：热传导方程”，其后为 $\frac{\partial u}{\partial t}=\frac{\partial^2 u}{\partial x^2}$。

2. 声音
   观察依据

   本次讲座的背景是热传导方程的解族。

该片段展示了热传导方程——一个将温度 u 对时间的导数与其空间二阶导数联系起来的偏微分方程。在讲师的物理诠释中，u 表示一根材料细杆内的温度，热量沿杆传导，并从两端散失。

1. u 是时间 t 和位置 x 的函数

2. 所显示的方程采用单位扩散系数，因为没有常数乘在 $\frac{\partial^2 u}{\partial x^2}$ 前面。

1. 公式
   观察依据

   黑板上写着“解 $u(t,x)=e^{\lambda t}S(x)$”。

2. 声音
   观察依据

   主讲人将所显示的这一族函数称为特征函数和特征值。

通过寻找时间依赖与空间依赖可分离的乘积解来求解热方程：一个关于时间的指数因子乘以一个关于空间的函数。该空间函数被视为特征函数，而指数中的参数则被视为对应的特征值。

1. S 是空间部分

2. $\lambda$ 是控制时间因子的特征值

1. 一维热传导方程

1. 公式
   观察依据

   黑板上显示 $d^2S = \lambda S = \frac{\partial^2 S}{\partial x^2}$，其中部分被划掉。

2. 声音
   观察依据

   主讲人提及这一族特征函数和特征值。

1. 第一个表达式因粉笔涂改而视觉上模糊；可辨识的数学内容是特征值关系 $\lambda S=S$''。

空间因子 $S(x)$ 满足二阶导数算子的特征值方程。黑板上被划掉的部分表示修订，但保留下来的关系表明 $\lambda S$ 等于 S 的二阶导数。

1. S 在 x 处二阶可导

2. λ 是与 S 相关联的特征值

1. 分离变量所得的乘积解

1. 公式
   观察依据

   黑板上写着“通解 $u(t,x)=\sum_{k=1}^{\infty}B$_ke^{-k^$2\pi^2t$}$S_k$"。

2. 声音
   观察依据

   主讲人称这是这些解的组合，并将其称为通解。

所展示的通解是分离解构成的无穷线性组合。每一项都包含一个系数 $B_k$、一个指数型时间衰减因子 $e^{-k^2\pi^2t}$，以及一个空间特征函数 $S_k$。

1. k 取遍所有正整数

2. 该公式假设所列出的正弦模态构成了相关的解族

1. 分离变量所得的乘积解
2. 空间部分的特征值方程

1. 声音
   观察依据

   讲者说：‘现在时间项进入热方程。我们有一个时间导数，并与两个空间导数相匹配。’

2. 公式
   观察依据

   黑板上的方程为 ∂u/∂t = ∂^2u/∂$x^2$。

本节介绍的热方程，一侧含一个时间导数，另一侧含两个空间导数。

1. 正在讨论的方程是写在黑板上的热方程。

本讲段中展示的函数为 $u(t,x)$。

1. 声音
   观察依据

   讲师指出，这与求解常微分方程组完全类似：其中提取出 $e^{λt}$，λ 为特征值，并出现一个特征向量；而此处则是一个特征函数，因为它依赖于 x。

将热方程的解设为 $e^{λt}S(x)$ 的形式，类似于用 $e^{λt}$ 乘以特征向量来求解常微分方程组，只不过此处的空间因子是一个特征函数，而非向量。

1. 通过分离时间与空间依赖关系来寻求偏微分方程的解。

本讲段中对常微分方程组与热方程所作的比较。

1. 声音
   观察依据

   讲师称他消去了 $e^{λt}$，从而得到一个特征值方程。

2. 动画
   观察依据

   在等式两侧的指数因子上画出了消去标记。

1. 屏幕上该片段内未完成最终简化后的精确公式。

将 $u(t,x)=e^{λt}S(x)$ 代入热方程，并约去公因子 $e^{λt}$ 后，剩余的关系式即为 S 的本征值方程。

1. 代入后的方程两侧均含有相同的因子 $e^{λt}$。

针对本片段所采用的分离变量解形式。

1. 声音
   观察依据

   讲师指出，对该函数求二阶导数后仍得到 $\sin (kπx)$，因此它是一个特征函数，对应的特征值为 -k²π²。

2. 公式
   观察依据

   黑板上显示 $S(x)$＝sin kπx 且 λ＝-k^$2π^2$。

对于 $S(x)$＝$\sin (kπx)$，应用二阶导数算子可得 d²$S/dx$² ＝ -k²π² $S(x)$，因此对应的特征值为 λ＝-k²π²。

1. $S(x)$ 等于 $\sin (kπx)$。

2. 所考虑的算子是 d²/dx²。

针对构造中所用的每个模态指标 k。

1. 声音
   观察依据

   讲师指出，若已知若干个解，且方程是线性的，则只需将这些基本解作线性组合即可。

1. 叠加原理的证明未在此片段中展示；仅陈述了该原理。

由于热传导方程是线性的，已知的分离变量解的和也是解，而通解则通过对所有模态作此类组合得到。

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

2. 求和式中的每一项都是热传导方程的一个已知解。

在级数所用的基本解的带指标族上进行。

1. 声音
   观察依据

   讲师指出，对时间 t 的依赖表现为快速衰减；且当 k 增大时，求和式中靠后的项衰减得极快。

2. 公式
   观察依据

   所展示的因子是 $e^{-k^2\pi^2t}$。

在所展示的一般解中，第 k 阶模态的时间因子为 $e^{-k^2\pi^2t}$；随着 k 增大，负指数的绝对值增大，因此靠后的项随时间衰减得更快。

1. k 是一个正整数

2. t 大于等于0

3. 通解使用所展示的因子 $e^{-k^2\pi^2t}$

对每个正整数 k 和非负时间 t，k 越大，指数衰减速率越快。

1. 声音
   观察依据

   主讲人指出衰减最慢的项对应 k 等于一，其系数为 $b_1$，时间因子为 $e^{-\pi^2t}$。

2. 公式
   观察依据

   令 $k=1$ 代入 $e^{-k^2\pi^2t}$ 给出 $e^{-π^2t}$.

1. 口述的系数被听作 $b_1$，而板书记号为 $B_k$。

在所展示求和式中由正整数 k 标记的各模态中，衰减最慢者出现在 $k = 1$，其时间因子为 $e^{-\pi^2t}$。

1. k 取遍所有正整数

2. 衰减因子为 $e^{-k^2\pi^2t}$

3. t 大于等于0

对于正整数模态指数 k，最小衰减率出现在 $k=1$处。

1. 声音
   观察依据

   讲师指出：当 x 为零时，正弦值为零；当 x 为一时，正弦值为 kπ 的正弦，结果仍为零。

2. 公式
   观察依据

   黑板上列出了 $S(x)=\sin k\pi x$。

对每个正整数 k，$\sin (kπx)$ 等于 0 在 $x = 0$ 和在 $x = 1$，因此所显示的空间本征函数满足所述的固定端边界条件。

1. k 是一个正整数。

2. 空间本征函数是 $\sin(k\pi x)$。

对所有正整数 k，函数 $\sin(k\pi x)$ 在两个端点 $x=0$ 和 $x=1$ 处均为零。

1. 声音
   观察依据

   讲师描述了一根两端温度保持为零的材料杆，热量在杆内流动，并随着杆逐渐趋近冻结而从两端散失。

在讲师的物理描述中，解模态的指数衰减对应于杆内初始存在的热量通过两端（两端温度保持为零）向外散失，从而使杆逐渐趋近冻结。

1. u 表示材料杆中的温度。

2. 两端温度保持为零

3. 杆内初始时刻存在热量

对于两端固定为零温度的该杆，所展示的衰减解被理解为热量随时间不断散失。

1. 声音
   观察依据

   讲师说：“每当我需要求这些系数时，这就是一个傅里叶正弦级数。这里只有正弦项，没有余弦项。”

2. 公式
   观察依据

   所展示的初始条件方程中仅包含 $\sin(k\pi x)$ 项。

在这个热方程例子中，根据初始条件确定系数 $B_k$ 是一个傅里叶正弦级数问题，而不是包含余弦项的完整傅里叶级数问题。

1. 空间基函数为 $S_k(x)=\sin(k\pi x)$。

2. 初始分布曲线在 $0<x<1$ 区间内由正弦展开式表示。

对于所展示的例子，其中 $u(0,x)=1$，且基函数为 $\sin(k\pi x)$。

1. 声音
   观察依据

   主讲人明确指出稳态是整根杆都处于零度温度的状态。

2. 图示
   观察依据

   图中勾勒出的后续时刻曲线向下趋近于横轴。

在所描绘的演化过程中，稳态温度分布为整根杆上 $u=0$。

1. 每个模态均带有因子 $e^{-k^2\pi^2 t}$。

2. 图中所示的边界值始终保持为零。

当 $t \to \infty$ 时，对 $0 \le x \le 1$ 成立。

1. 声音
   观察依据

   讲师说：“再次强调，我们有无穷多个解。我们讨论的是一个偏微分方程。我们需要匹配的是一个完整的函数，因此必须用到所有这些解。”

由于热方程是一个偏微分方程，且初始数据是一个完整的函数，因此解必须使用无穷多个分离的模态，而非单个模态。

1. 该问题是偏微分方程

2. 存在一个完整的初始函数需要匹配

对于所展示的热方程设定，需要无穷多个解模态。

1. 声音
   观察依据

   主讲人讲解了分离变量、代入、约去公因子以及最终得到的本征值方程。

2. 公式
   观察依据

   黑板上显示 $u(t,x)=e^{λt}S(x)$，随后写出 $λ e^{λt}S=e^{λt}$∂S/∂$x^2$，并在 $e^{λt}$ 上画出约去标记。

1. 视频片段中最后写出的化简步骤不完整；主讲人口述的语句以‘因此，我的函数的二阶导数是’开头，但在该片段结束前未说完。

1. 公式

   $$\frac{\partial u}{\partial t}=\frac{\partial^2 u}{\partial x^2}$$
   解释

   从黑板上写出的热方程出发。

   步骤依据

   本讲片段中给出的热方程定义。

   视频直接表达
2. 公式

   $$u(t,x)=e^{\lambda t}S(x)$$
   解释

   假设一个分离变量形式的解，其时间部分为指数函数，空间部分为函数 $S(x)$。

   步骤依据

   主讲人陈述的分离变量试探解形式。

   视频直接表达
3. 公式

   $$\frac{\partial}{\partial t}\left(e^{\lambda t}S(x)\right)=\lambda e^{\lambda t}S(x)$$
   解释

   对所假设的解关于时间求导；指数函数求导后引出因子 λ。

   步骤依据

   讲师提到时间导数会提出一个λ，这是$e^{λt}$的标准求导法则。

   视频直接表达
4. 公式

   $$\frac{\partial^2}{\partial x^2}\left(e^{\lambda t}S(x)\right)=e^{\lambda t}\frac{\partial^2 S}{\partial x^2}$$
   解释

   对假设解关于空间变量求二阶导数；时间因子保留在空间导数之外并与其相乘。

   步骤依据

   讲师指出存在两个空间导数，并写出代入后的空间部分表达式，即$e^{λt}$乘以S的导数表达式。

   依据视频推导
5. 公式

   $$\lambda e^{\lambda t}S=e^{\lambda t}\frac{\partial^2 S}{\partial x^2}$$
   解释

   将代入热方程后的含时间导数的一侧与含空间导数的一侧相等。

   步骤依据

   代入热方程。

   视频直接表达
6. 公式

   $$\lambda S=\frac{\partial^2 S}{\partial x^2}$$
   解释

   两边同时约去公共因子$e^{λt}$，从而得到关于S的本征值方程。

   步骤依据

   讲师明确约去了$e^{λt}$，并称所得结果为本征值方程。

   依据视频推导