特征线法的适用范围
视频将特征线法引入为求解一次线性偏微分方程的一种技术。这一适用范围既出现在标题卡片上,也在开篇旁白中予以说明。
Partial Differential Equations · YouTube · 10:39
这段时长为150秒的白板讲解片段,开启了关于一阶线性偏微分方程特征线法的系列课程。它首先展示三种渐趋一般的方程形式,随后聚焦于常系数齐次情形。接着写出一个具体例题:+=0,且满足初值条件 =sin y,并将其归类为线性、一阶、齐次、常系数方程。片段最后将该偏微分方程改写为 (5,2)·∇u=0 的形式,并明确指出此形式旨在引出方向导数论证,但本片段内未推导任何特征曲线,也未给出方程的解。 这段时长为 150 秒的视频讲解了如何将一阶线性齐次常系数偏微分方程 (边界条件为 )重写为 (5,2)·∇。主讲人定义 ∇,展开点积以说明该重写等价于原方程;随后将结果解释为:u 沿方向 (5,2) 的方向导数为零。由此,他得出结论:u 沿方向 (5,2) 的曲线为常数,这些曲线被称为特征曲线。最后部分,黑板画面切换为 u 在 x-y 平面上的 3D 曲面图,曲面上绘有黑色曲线,用以直观呈现这些特征曲线及“解为常数”的结论。 本片段时长150秒,讲解常系数一阶偏微分方程的特征线法,其边界条件为 。视频首先展示函数 的旋转3D图像,曲面上的黑色曲线被识别为特征曲线,沿这些曲线 u 保持不变。随后板书将该偏微分方程改写为 (5,2)·∇,将其解释为在方向 (5,2) 上的方向导数为零。接着视频切换至俯视轮廓图,显示平行的对角线等值条带,并在其中一条条带上标注一个直角三角形,进而推导出斜率 。最后,通过积分该常微分方程,得到特征线族 。 本节演示了特征线法求解具常系数的一阶线性偏微分方程。首先,将方向向量 (5,2) 对应的特征曲线定义为一族平行直线 ,并在图像中可视化展示。主讲人解释:因变量 u 沿这些曲线保持不变,从而得到一般解 ,其中 f 是任意函数。最后,应用特定边界条件 ,确定 f 必为正弦函数,进而得到特解。 本片段完成了对一阶线性偏微分方程(边界条件为)的解的推导。将边界条件代入通解形式,可确定任意函数为,从而得到最终显式解。随后,本片段转入对该解曲面的3D可视化呈现,并通过旋转展示其波动结构与对角取向,最后以简短音频片尾预告下一主题——变系数情形。
在学习检查器中查看要点和时刻,或切换阅读标签查看完整笔记。
依据视频画面与讲解整理,并非逐字语音转写。
视频开头点明主题:特征线法。标题卡片与旁白均将讨论范围限定在一次线性偏微分方程,使观众明确该方法是作为此类偏微分方程的求解技术而被介绍的。
黑板上随后列出三种典型形式,按一般性递增排列:第一种为 au_x + bu_y = 0;第二种为 ;最后一种为 。黄色编号与下划线清晰表明,这种区分并非表面修饰:情形1具有常系数,情形2允许变系数,而情形3还额外包含关于 u 的零阶项及非零右端项。
在确立分类框架后,主讲人聚焦于情形1,取 、。因此所演示的问题是方程组 ,并附以初始条件 。该问题尚未求解,而是作为贯穿后续讲解的具体实例。
在对方程进行代数操作之前,主讲人先对其进行分类:该偏微分方程称为线性的,是因为仅对 u 施以常数乘法与偏微分运算;称为一次的,是因为只出现 与 ;称为齐次的,是因为所有含 u 的项均位于等式一侧,而另一侧为0;又称为常系数的,是因为 与 的系数是固定数值5与2。此处需注意:“齐次”描述的是偏微分方程本身,而非初始条件,因为 显然不恒为零。
首个实际求解步骤是代数重写:将方程 改写为 (5, 2)·∇。主讲人明确指出,此举旨在转向方向导数的语言。本片段止步于此设定阶段,因此特征曲线与最终解仅被预告,未在此段展开。
该片段以手写黑板开场,问题写作 ,并附有边界条件 。红色文字将其归类为线性、一阶、齐次、常系数。下方,主讲人已将该偏微分方程重写为 ,首要任务是阐明该记号的含义。
他回顾了二元函数梯度的定义:。用文字表述,第一个分量是关于的偏导数,第二个分量是关于的偏导数。该定义直接写在黑板上项的正上方。
接着他讲解点积。利用欧几里得点积的定义,化为。关键在于,这并非一个新方程;它只是将原偏微分方程以向量形式重新表达。
通过将展开后的表达式与原始行进行比对,讲师确认了二者等价。他强调,目前尚未证明任何深刻结论:这种重写仅是将相同信息以更紧凑的方式呈现,而等式右侧仍为。
重写的用意随之变得清晰。新的黄色文字显示:沿方向的方向导数为零。讲师使用标准恒等式——任意向量与梯度的点积即为该向量方向上的方向导数——因此正意味着该方向导数消失。
他从几何角度解释方向向量: 表示移动 5 在 方向上的单位长度,对应于每 2 在 方向上的单位长度。由于该方向上的导数为零,函数 沿着与该方向相切的曲线移动时保持不变。
由此引出本片段的核心特征线法思想:沿方向的曲线为常数。黑板上明确写出这一结论,讲师随后将此类曲线命名为特征曲线。其逻辑链条为:将偏微分方程改写为点积形式,识别该点积即为方向导数,令该方向导数为零,并由此推出解沿对应曲线为常数。
随后,演示在视觉上向前跃进。黑板被一幅3维曲面图取代,其水平轴分别为和,垂直轴为。讲师说明他正在展示实际解的形态,从而使关于常数性的抽象陈述与几何图像并置呈现。
在着色曲面上,用黑色曲线标出沿方向的特征曲线。其含义是:沿每一条黑色曲线,曲面的高度(即的取值)保持不变。片段结束时,他仍在介绍该图像的坐标轴。
视频起始画面为函数 的旋转3D图像。水平坐标轴为 x 和 y,垂直坐标轴为 u,因此彩色曲面的高度代表解的取值。
绘制于该曲面上的黑色曲线被识别为特征曲线。由于它们在图像中呈平坦且水平状,沿其中任一条曲线移动时高度 u 不发生变化;因此 u 沿每条特征曲线保持恒定。
讲解者指出,曲面整体的正弦形状源于边界条件 ,但此处关键的几何要点在于特征线的方向,而非振荡形态。
板书将问题重述为偏微分方程,边界数据为 ,并将该偏微分方程以向量形式改写为 (5,2)·∇。
该重写形式被理解为:u 沿方向(5,2)的方向导数为零。因此,u 沿指向方向(5,2)的曲线保持不变。
视频随后切换为 u 在 xy 平面上的俯视等高线图。彩色条带代表等值线,且呈现为一组平行的对角条纹。
为提取这些等值线的斜率,讲解者在其中一条条带上标注了一个直角三角形:水平方向长 5 个单位,竖直方向长 2 个单位。这直观地表示了方向向量(5,2)。
由该三角形可读出每条特征线的斜率为纵坐标变化量比横坐标变化量,即 。于是,几何方向条件转化为平面上曲线所满足的一个常微分方程。
最后的板书写出常微分方程 ,并通过两边对 x 积分来求解。
积分得 ,其中 c 为任意常数。这是直线的方程;改变 c 即得到一族平行的特征线,u 沿这些线保持恒定。
视频从分析方向向量 对应的特征曲线开始。这些曲线由常微分方程 定义,积分后得到一族平行直线 。常数 被识别为 y 轴截距。一幅可视化图示强化了这一理解:图中呈现一组平行斜线,每条独立直线(或色带)对应一个特定的 值。改变 仅是选取另一条特征曲线。
接下来,利用因变量 沿每条特征曲线保持不变这一概念。由于 在沿由 标记的曲线上移动时保持不变, 在任意点 的取值仅取决于该点所处的曲线。通过对直线方程进行变形,可将曲线标签表示为 。因此,该偏微分方程的通解可表述为 ,其中 是单变量的任意函数。
最后,将该方法应用于一个具体问题:求解 ,并满足边界条件 。为求出特定函数 ,将边界条件代入通解。令 代入 ,得到 。将其与给定的边界条件 相等,得 。这表明任意函数 是正弦函数。将 代回通解,即得特解 。
我们现已获得通解及边界条件。为求出特定函数f,将代入通解,得;将其与边界条件联立,即得。
将该特定函数代回通解,即得最终显式答案:。此函数同时满足偏微分方程及给定边界条件。
为直观呈现该解,我们考察3D曲面图:。该曲面呈现波状结构,颜色梯度表示u的取值,从波谷处的蓝色() 变为峰值处的红色()。这些波的对角线取向直接反映了正弦函数参数中线性组合 () in the argument of the sine function.
至此,常系数情形下的特征线法已介绍完毕。在下一节中,我们将把该方法推广至含变系数的偏微分方程。
视频将特征线法引入为求解一次线性偏微分方程的一种技术。这一适用范围既出现在标题卡片上,也在开篇旁白中予以说明。
主讲人将一次线性偏微分方程分为三类,按一般性递增排列:常系数齐次型、变系数齐次型,以及含 项与右端项 的一般情形。
情形1是所展示的最简单情形: 与 的系数均为常数,且方程为齐次的。
所选示例实现了情形 1,其中 且 ,并在直线 上添加了条件 。
该示例方程被判定为线性、一阶、齐次且具常系数。讲解直接依据所展示的公式,逐一说明每个标签的依据。
“齐次”是指:将所有含 u 及其导数的项移至等式一侧后,另一侧为0。它并不要求初始条件为零。
该偏微分方程被重写为常系数向量与 u 的梯度之间的点积。此形式被视作引入方向导数推理的切入点。
黑板上给出问题、,并标注其为线性、一阶、齐次、常系数偏微分方程。本知识卡片记录了在应用任何求解方法之前,所研究偏微分方程的类型。
讲师将的梯度定义为其一阶偏导数组成的向量。该定义是理解偏微分方程紧凑向量形式所必需的。
利用点积的定义,展开为。主讲人借此说明该向量方程只是原标量偏微分方程的一种重写形式。
这种重写很有用,因为它揭示了该方程本质上是关于一个方向导数的陈述。一旦偏微分方程化为的形式,其左侧便可直接理解为沿方向的变化率。
方程 表示函数 在方向 上的方向导数为零。讲师还从几何角度解释了该方向:每 5 个单位长度在 中,对应于每 2 个单位长度在 。
由方向导数为零这一事实,课程推断出沿方向的曲线保持不变。这些曲线随后被称为特征曲线,这也是本片段所引入的特征线法的核心思想。
临近结尾时,主讲人切换到一个3维的图像,坐标轴分别为、和。绘制在曲面上的黑色曲线可视化了特征方向,并直观地印证了解沿这些曲线保持常值的结论。
在 的 3D 图像中,曲面上显示的黑色曲线被刻画为高度 u 不发生变化的曲线。直观上看,它们是曲面上平坦的水平线,因此每一条都是该解的等值线。
常系数偏微分方程 被重写为(5,2)·∇。这以向量形式表达了相同条件,并为基于方向变化的几何解释做好准备。
由于(5,2)·∇,u 在方向(5,2)上的变化率为零。因此,u 沿指向该方向的曲线保持恒定。
从正上方俯视时,解呈现为平行的对角线等高线条带。这些条带代表函数 u 取相同值的点集,从而证实特征线是彼此平行的等值曲线。
向量(5,2)表示在 x 方向上移动5个单位、在 y 方向上移动2个单位。将其理解为‘纵坐标变化量比横坐标变化量’,即可得到 xy 平面上每条特征线的斜率。
特征曲线满足简单的常微分方程 。对 x 积分后得到一族直线 ,其中不同的常数 c 标记不同的特征线。
对于与方向向量 (a,b) 对应的具常系数一阶偏微分方程,其特征曲线由求解 得到。对方向 (5,2),此式化为 。对该式积分,得到一族平行直线 ,其中 c 是代表 y 截距的任意常数。c 的每个不同取值都在 xy 平面上定义一条特定的特征曲线。
特征线法求解齐次线性偏微分方程的一个关键性质是:因变量 u 沿每一条特征曲线保持为常数。由于这些曲线由常数 参数化,因此 u 在任意点 (x, y) 处的取值仅取决于经过该点的那条特征曲线所对应的 c 值。于是,最一般的解可写为 ,其中 f 是一个关于单变量的任意可微函数。将 c 的表达式代入,即得 。
为求得偏微分方程初值/边值问题的特定解,需确定通解中出现的任意函数 f。这通过应用给定的边界条件来实现。对于边界条件 ,我们将 代入通解 ,从而简化为 。将此结果与边界条件联立,得到 ,由此确定函数 f 即为正弦函数。于是特解为 。
偏微分方程 在边界条件 下的唯一解,可通过确定通解中任意函数 f 得到。将 代入得 ,从而得到最终的显式表达式。
按知识点查看条件、步骤和证据。补充解释与视频直接内容分别标明。
未知函数在形如 0 和 的方程中记作 u。
主讲人提到“u 关于 x 的偏导数”以及“关于 y 的偏导数”。
u
一个关于两个变量的未知标量函数,隐含地记为 ,其一阶偏导数出现在该偏微分方程中。
关于变量 x 和 y 的函数;视频片段中未明确说明其定义域。
系数写作 、、、,边界条件为 。
x, y
该偏微分方程的自变量。
出现在所展示的全部三个偏微分方程形式中,也出现在 中。
主讲人说:“u 关于 x 的偏导数。”
u 关于 x 的偏导数,等价于 ∂u/∂x。
出现在所展示的全部三个偏微分方程形式中,也出现在 中。
主讲人说:“u 关于 y 的偏导数。”
u 关于 y 的偏导数,等价于 ∂u/∂y。
第一种情况写作 au_x + bu_y = 0,讲师将其识别为常系数情形。
“其中 a 和 b 是常数。”
a, b
在第一种偏微分方程情形中,乘在 和 上的系数是常数。
第二种和第三种情形分别显示为 以及 。
“此时 a 和 b 是 x 与 y 的函数,因此我们面对的是变系数情形。”
,
在第二和第三种情形中,乘在 和 上的系数函数是变量系数函数。
第三个展示的方程含有 + 项。
“一项不包含任何偏导数、仅涉及 u 的项。”
在一般情形中,乘在零阶项 u 上的系数函数。
第三个展示的方程右侧为 。
“一个关于 x 和 y 的函数形式的右端项。”
一般一阶线性偏微分方程右端的非齐次驱动力项或源项。
例题的偏微分方程写作。
其中 a 等于五,b 等于二。
,
为该偏微分方程示例所选取的具体常数系数。
示例方程组的第二行为 。
当 x 等于零时,函数 u 在该直线上的取值由 sin y 给出。
在直线 上对 u 所规定的初始/边界条件。
重写后的偏微分方程表示为 (5,2)·∇。
讲师指出,这种形式将便于引入方向导数的相关论证。
该视频片段在结束前并未在屏幕上显式展开 ∇u。
u 的梯度向量,由所显示的点积形式可知,即其一阶偏导数组成的向量。
向量 (5,2) 出现在重写后的方程 (5,2)·∇ 中。
这直接源于示例中给定的系数 和 。
(5,2)
由示例偏微分方程中 和 的系数构成的常向量。
标题卡片显示“特征线法”,副标题为“(求解一阶线性偏微分方程的一种方法)”。
“这正是我们用来求解一阶线性偏微分方程的方法。”
该视频将特征线法介绍为一种求解一阶线性偏微分方程的技术;标题卡片与讲解词均明确指出了这一适用范围。
适用于一阶线性偏微分方程。
本系列以复习/作业辅导形式呈现,而非完整的课程讲授。
依次写出三个方程:au_x + bu_y = 0;;。
“我将把它分成三个不同的视频,分别对应这三种情形。”
主讲人按一般性递增顺序将该主题分为三类:第一类具常系数且齐次;第二类具变系数且齐次;第三类为最一般的情形,具变系数、含 u 的零阶项,且右端非零。
第一个方程中,a 和 b 为常数。
第二个方程:a 和 b 依赖于 x 和 y。
第三个方程:还包含 项及右端项 。
第一个方程被高亮显示,并标记为情形1:au_x + bu_y = 0。
第一种情形就是这里所示的情形,其系数为常数。
情形1是最简明的展示形式,其中偏导数前的系数不依赖于 x 或 y,且方程右边等于零。
a 和 b 是常数。
不含导数的 u 项不存在。
右端项为0。
黑板上显示的方程组为 {; }。
我们的偏微分方程是 u 对 x 的偏导数的五倍加上 u 对 y 的偏导数的两倍,结果为零;当 x 等于零时,函数 u 在该直线上的取值由 sin y 给出。
讲师选取情形 1 的一个具体实例,取 且 ,然后将该偏微分方程与条件 配对。这在直线 上构建了一个初值问题。
这是常系数情形下的一种特定选择。
该条件规定了函数 u 在竖直线 上的取值。
红色文字列出:“线性、一阶、齐次、常系数。”
主讲人依次解释每个性质:线性,是因为仅出现常数乘法和微分运算;一阶,是因为只出现一阶导数;齐次,是因为所有含 u 的项都在等式一侧,而0在另一侧;常系数,是因为5和2均为常数。
该例题方程被识别为一个线性、一阶、齐次、具常系数的偏微分方程。旁白直接依据所显示的公式,逐一说明每个标签的判定依据。
线性指的是对 u 及其导数所进行的运算。
一阶意味着不出现二阶或更高阶的导数。
齐次意味着将所有含 u 的项移至等式一侧后,右侧为0。
常系数意味着5和2不依赖于 x 或 y。
黄色文字写出:“将偏微分方程改写为 (5,2)·∇”。
“第一步……是将其改写为特定形式。这将使我们能够运用涉及方向导数的论证。”
该片段在讲师使用方向导数执行下一步之前就结束了。
常系数偏微分方程被重写为(5,2)·∇。这种重述将系数整合为一个固定向量,为通过方向导数来理解该偏微分方程做好了准备。
用于展示例题中系数为5和2的情形。
旨在将偏微分方程与方向导数的推理联系起来。
左上角板书文字将问题列为 {, }。
右上角红色文字为:“线性、一阶、齐次、常系数。”
该片段呈现了一个一阶线性齐次偏微分方程(具常系数),并附带 上的边界条件。分类结果直接写在黑板上,而非推导得出。
该偏微分方程关于 和 是线性的。
其阶数为一阶,因为仅出现一阶偏导数。
它是齐次的,因为等式右边为 0。
系数 5 和 2 均为常数。
在 ∇u 上方,讲师写下了 (,)。
他说明 ∇u 是一个向量,其第一个分量是 u 对 x 的偏导数,第二个分量是 u 对 y 的偏导数。
对于标量函数 ,其梯度是由它对各变量的一阶偏导数组成的向量。本片段中引入梯度,专门用于解释偏微分方程的紧凑形式。
u 必须对 x 和 y 具有偏导数。
该陈述适用于二元变量情形。
主讲人解释说,点积是将两个向量的第一分量相乘,再加上第二分量相乘后的结果之和。
黑板上显示 (5,2)·∇,口述展开式为 。
本片段利用点积将偏微分方程重写为向量形式;展开该点积后,恰好恢复原标量方程。
两个运算对象均为二维向量。
该等式是点积的代数展开。
新出现的黄色文字为:“即 u 沿方向 (5,2) 的方向导数为零。”
主讲人指出:若某向量与梯度的点积即为该方向上的方向导数,则此处 u 沿方向 (5,2) 的方向导数等于零。
一旦偏微分方程被写成(5,2)·∇的形式,讲者便将左侧解释为函数u沿方向(5,2)的方向导数。这正是重写该方程的概念动因。
这一解释将向量(5,2)视作所选定的方向。
该方程表明,这一方向导数为零。
黄色文字写道:“因此,u沿方向(5,2)的曲线为常数。”
讲者指出,若函数在某一方向上的导数为零,则u必沿该方向的任意曲线保持常数。
随后他将这些曲线称为特征曲线,并说明图中绘制的黑色线条即为其示例。
本视频未在所展示的偏微分方程语境之外,明确说明支撑‘常数性’结论所需的正则性假设。
该解法步骤在于:由方向导数为零推出解u沿所有与方向(5,2)相切的曲线保持常数;在本次讲座中,这些曲线被称为特征曲线。
函数u沿方向(5,2)的方向导数为零。
所考虑的曲线均位于该方向上。
在123处,板书视图切换为一个以x、y和u为坐标轴的3D曲面图。
讲师表示他正在展示实际解的样貌,并指出该图像为u的曲面图。
本片段中未给出所绘曲面的精确公式。
讲师跳至解的图形预览。该曲面图将u可视化为x和y的函数,而曲面上的黑色线条则表示沿方向(5,2)上u保持不变的曲线。
该图像仅为辅助理解的视觉工具,本片段中并未推导出解的公式。
“在本系列视频中,我将介绍特征线法……这是我们求解一阶线性偏微分方程所采用的方法。”
标题卡字幕:“(一种求解一阶线性偏微分方程的方法)”
在本视频系列中,特征线法正是所讲授的、用于求解一阶线性偏微分方程的方法。
该陈述的适用范围限于讲话者所指的这一系列讲座。
它仅涉及一阶线性偏微分方程,不包括非线性方程或高阶方程。
针对本系列所讨论的一阶线性偏微分方程类别。
红色批注列出了“线性、一阶、齐次、常系数”。
主讲人从板书显示的方程出发,逐一说明每个描述词的依据。
方程是线性的、一阶的、齐次的,且具有常系数。
该方程的读法与黑板上显示的完全一致。
系数5和2被视为常数。
针对黑板上具体展示的这个偏微分方程示例。
黑板文字:“将偏微分方程改写为(5,2)·∇”。
“这将使我们能够运用涉及方向导数的论证。”
实际的方向导数论证在此片段中尚未呈现。
将+=0重写为(5,2)·∇u=0,旨在便于引入方向导数的相关论证。
示例中的系数为5和2。
∇u 表示函数 u 的梯度。
对应本片段末尾所展示的示例。
讲师展开点积运算,并指出回看原方程,这正是他们之前所得的结果。
板书同时显示与(5,2)·∇。
对本问题而言,(5,2)·∇只是的另一种写法。
u是x和y的函数。
u 的梯度等于 u 对 x 的偏导数与 u 对 y 的偏导数所组成的向量。
对于所展示的 u 和固定向量(5,2)。
黑板文字写道:“因此 u 沿方向(5,2)的曲线为常数。”
讲师指出,若函数在某一方向上的方向导数为零,则该函数 u 必然沿任何位于该方向的曲线为常数。
该片段未明确说明可微性或光滑性假设。
该论证以课堂断言的形式呈现,而非完整的严格证明。
若 u 在方向(5,2)上的方向导数为零,则 u 沿方向(5,2)的曲线为常数。
(5,2)·∇。
所考虑的曲线位于方向(5,2)上。
在所展示的偏微分方程背景下,这些曲线位于方向(5,2)上。
主讲人指出,u 沿每条特征曲线保持常数;若持续沿方向5、2行进,u 仍保持常数。
黑板上写道:因此,u 沿方向为(5,2)的曲线保持常数。
若(5,2)·∇,则 u 沿方向为(5,2)的曲线保持常数。
该偏微分方程写作 (5,2)·∇。
人们沿着方向为 (5,2) 的曲线移动。
对于每一条方向为 (5,2) 的特征曲线,u 取某个特定的常数值。
说话者称这些确实是完全平行的直线。
等高线图显示出间距均匀的平行对角条带。
俯视图中显示的特征曲线是平行的直线。
方向固定为 (5,2)。
所展示的解具有常数系数。
所有展示的特征线都具有相同的方向和斜率。
黑板上的推导从+=0过渡到(5,2)·∇u=0。
主讲人称此为“第一步……将其改写为特定形式”。
∇u=(, ) 这一中间展开式在本片段结束前并未明确写出。
从黑板上写出的示例偏微分方程出发。
给定的问题陈述。
将二元函数 u 的梯度识别为其一阶偏导数构成的向量。
梯度的标准定义;本片段中未在屏幕上明确写出。
将常数系数5和2打包成一个向量,并与梯度作点积。
使用梯度记号对等式左边进行代数重写。
该例题偏微分方程等价地表示为(5,2)·∇,从而建立方向导数的推理框架。
讲师逐项口头展开点积项。
黑板上写有(5,2)·∇u=0,以及更早的偏微分方程+=0。
将 u 的梯度定义为它的各偏导数组成的向量。
讲者给出的二元函数梯度定义。
将 ∇u 的显式表达式代入点积运算。
利用上述定义直接代入。
通过对应分量相乘再相加,展开点积。
欧几里得点积的定义。
令展开后的表达式等于零,从而复原原始偏微分方程。
屏幕上显示的向量方程右端为0。
紧凑形式的方程(5,2)·∇,与原始偏微分方程完全等价。
黄色说明文字出现,指出其方向导数解释。
讲者解释此次重写的意义,并将点积与梯度的结合联系到方向导数。
该片段并未单独证明一般方向导数恒等式;而是将其作为已知背景直接引用。
从向量形式的重写后偏微分方程出发。
这是前一步推导后所展示的方程。
将方向向量与梯度的点积解释为函数 u 沿该方向的方向导数。
讲师所引用的标准方向导数恒等式。
得出结论:当沿切向量为(5,2)的曲线移动时,u 不发生变化。
若函数在某一方向上的导数为零,则该函数沿该方向的曲线为常数,正如讲座中所述。
该偏微分方程表明,u 沿方向为(5,2)的特征曲线保持常数。
说话者由 y 的变化量除以 x 的变化量导出 ,然后对等式两边关于 x 积分。
黑板上显示 ,接着 。
每条特征线的斜率由方向(5,2)读出:2 每横向移动 5 个单位,纵向上升
该结论源自口头讲解以及等高线图上所标注的三角形。
对常微分方程两边关于 x 进行积分。
主讲人明确指出,我们只需对两边关于 x 积分即可。
积分结果得到一条斜率为、任意常数为 c 的直线方程。
对右侧为常数的方程进行标准积分;常数 c 标记一族平行的特征线。
特征曲线即为直线 。
讲师说:'我们可以直接将此处的方程变形,得出 c 等于 y 减去五分之二倍的 x。'
表达式 () 出现在通解公式中函数 f 的内部。
从特征曲线的方程出发。
方向(5,2)的特征曲线定义。
两边同时减去()x,从而解出常数 c。
代数运算。
用于标记特征曲线的常数 c 可用坐标 x 和 y 表示为 - ()x。
展示方程组 {, },随后进行逐步代入:。
主讲人解释将 代入通解,并令其等于边界条件,以求出函数 f。
写出由特征线法导出的通解。
该偏微分方程的通解形式。
将边界条件代入通解:令 。
根据给定边界条件 进行代入。
化简函数 f 内部的表达式。
算术化简:()*。
将代入所得结果与给定的边界条件相等。
已知边界条件 。
确定函数 f 本身。
由于对任意 y 都有 ,因此函数 f 就是正弦函数。
通解中的任意函数 f 被确定为正弦函数,即对任意自变量 z,都有 。
等于 ,而 等于正弦 y
从特征线法导出的通解出发。
视频中给出的解的一般形式。
将 代入通解,以应用边界条件。
代数代入。
将代入结果与给定的边界条件 相等,从而求出具体的函数 f。
给定的边界条件。
将求得的具体函数 f 代回通解,得到最终的显式解。
函数复合。
同时满足该偏微分方程和边界条件的唯一解为 。
黑板上显示{; }。
讲师指出、,并解释在处的边界条件。
随后,同一例题被重写为(5,2)·∇。
本片段内未得到最终解。
考虑一阶线性偏微分方程,并附加条件。
偏微分方程:。
条件:。
这是常系数情形的一个具体实例,其中、。
设定问题,并通过将偏微分方程改写为适用于方向导数论证的形式,开始特征线法。
将偏微分方程及其初始条件写成一个方程组。
直接显示在黑板上,并在音频中加以描述。
求解前先对偏微分方程进行分类。
主讲人明确指出这些性质,并从公式出发对其作出解释。
利用系数向量与梯度重写微分算子。
作为运用方向导数的第一步而提出。
该片段在设定阶段结束:例题已完成分类,并被重写为(5,2)·∇,但此处并未完成求解。
验证仅限于片段内的自洽性检查:重写所得的向量(5,2)与方程中的系数一致,且分类结果与所展示的方程相符。
一幅3D曲面图取代了黑板视图;坐标轴分别标记为 x、y 和 u。
讲师表示他将展示实际解的形态,并将该图描述为 u 的曲面图。
他指出,图中绘制的黑色曲线是解保持常数的特征曲线。
本片段未给出所绘制解的精确解析表达式。
本片段在讲师完成坐标轴说明前就结束了。
展示该偏微分方程解曲面的形态,以及常数性断言在几何上如何体现。
该偏微分方程已被重写为(5,2)·∇。
讲师声称u沿方向为(5,2)的曲线保持不变。
显示了一个3D的曲面图,其上绘有黑色曲线。
利用该图像直观呈现解与特征曲线。
从手写板书切换至x-y平面上u的3D曲面图。
讲师明确表示他将跳至后续内容,以展示实际解。
读取坐标轴:x和y为水平坐标,u为解的竖直方向取值。
图像中的坐标轴标注与讲师的描述共同明确了各轴含义。
观察曲面上绘制的黑色曲线;这些曲线代表方向(5,2)上的曲线。
讲师指出,特征曲线以黑色绘制。
沿每条黑色曲线,曲面高度保持不变,说明该处 u 为常数。
这与先前的论断一致:方向导数为零意味着 u 沿这些曲线恒定。
解被可视化为 (x,y,u)-空间中一个起伏的曲面,黑色特征曲线指示了 u 保持不变的方向。
直观验证是:黑色曲线位于曲面的等高区域上,这与“沿方向(5,2)的曲线 u 恒定”的口述结论一致。
黑板上写出方程组 ,并给出边界条件 。
3D 图与等高线图分别呈现对应的解曲面及其等值带。
本片段未展示闭式解的完整推导过程;此处仅推导了特征几何结构与特征方程。
通过识别特征方向和特征曲线,分析一阶偏微分方程,并结合边界条件 。
偏微分方程:。
边界条件:。
该偏微分方程在黑板上被描述为线性、一阶、齐次、常系数的方程。
找出该偏微分方程的几何意义,并推导特征曲线的方程。
该偏微分方程被重写为与梯度的点积形式。
在从 3D 图切换至文字幻灯片的过渡时刻,直接显示在黑板上。
点积为零被解释为沿方向(5,2)的方向导数为零。
该结论在黑板上及音频中均被明确陈述。
方向(5,2)给出了特征直线的斜率。
由口述的“纵坐标变化量除以横坐标变化量”解释及带标注的直角三角形推导得出。
对常微分方程进行积分,得到一族特征直线。
写在黑板上并口头讲解。
特征线是平行直线 ,且 u 在每条这样的直线上保持恒定。
等高线图呈现出与斜率一致的平行对角条带,与推导出的特征方程相符。
题目 {, } 写在黑板上。
讲师逐步讲解如何求解这个带边界条件的一阶线性偏微分方程。
最终代入得到的解 在视频结束前并未明确写出,但所有组成部分均已呈现。
求偏微分方程 在边界条件 下的解 。
偏微分方程:
边界条件:
求出同时满足该偏微分方程和边界条件的具体函数 。
根据偏微分方程的系数,确定特征曲线。
对于形如 的偏微分方程,其特征曲线满足 。此处 ,。
求解特征曲线所满足的常微分方程,从而得到不变量 c。
对 积分,得 。整理后可将常数 c 单独分离出来。
利用不变量 c 写出通解。
由于 u 沿特征曲线为常数,因此 u 必为特征不变量 c 的任意函数。
应用边界条件,确定其中的任意函数 f。
将 代入通解,并令其等于给定的边界条件。
确定函数 f。
由 可知,f 就是正弦函数。
将具体的函数 f 代回通解中。
在 中,用 sin 替换 f。
答案是根据所展示的步骤逻辑推导得出的,尽管最终表达式在视频片段结束前并未明确写在黑板上。
5 乘以 u 对 x 的偏导数加上 2 乘以 u 对 y 的偏导数等于 0
求偏微分方程 在边界条件 下的解 。
偏微分方程:
边界条件:
确定显式函数 。
根据特征方程确定通解。
常系数偏微分方程的特征线法。
在 处应用边界条件,以确定任意函数 f。
将 代入通解,得到 ,该函数必须等于 。
将所确定的函数 f 代入通解形式,写出最终的显式解。
将已确定的函数 f 直接代入。
该解满足偏微分方程 以及边界条件 。
绿色标题“特征线法”,橙色副标题“(一种求解一阶线性偏微分方程的方法)”,背景为黑色。
黑色背景
绿色标题文字
橙色副标题文字
不出现任何数学动画;标题保持静止,讲师在此期间介绍该级数。
主题标签固定为“特征线法”。
范围标签固定为“一阶线性偏微分方程”。
画面在任何公式出现之前,先确立主题与应用领域。
三个青色方程自上而下依次写出。
添加标有1、2、3的黄色圆圈,并用黄色下划线分别标出每个方程中依次出现的系数项。
三个青色偏微分方程公式
标有1、2、3的黄色圆圈数字
系数项下方的黄色下划线
首先,常系数方程被标记为情形1。
接着,变系数齐次方程被标记为情形2。
最后,含与的一般方程被标记为情形3。
下划线将注意力依次从a、b转移到、,再转移到与。
三个方程一旦写出,便同时保持可见。
从简单到一般的排序顺序不变。
视觉序列编码了渐进的普遍性:常系数,再到变系数,最后增加零阶项及非零右端项。
青色系统{; }出现在左侧。
红色分类文字出现在右侧。
黄色说明与方程出现在下方:“将偏微分方程改写为(5,2)·∇”。
青色例题系统
红色分类列表
黄色重写说明与方程
首先引入示例偏微分方程及其条件。
红色列表对偏微分方程进行分类。
黄色线条将偏微分方程改写为梯度点积形式。
示例中的系数在整个过程中保持为5和2。
初始条件在整个过程中保持为 。
板书内容从问题陈述出发,过渡到定性分类,再进入该方法所用的第一个代数变形步骤。
黑板风格画面:左上方显示偏微分方程组,右上方显示分类文字,下方显示重写的向量方程。
当讲师讲解符号含义时,在 ∇u 和向量表达式周围添加了绿色批注。
蓝色偏微分方程组 {, }
红色分类文字:“线性、一阶、齐次、常系数。”
黄色文字:“将偏微分方程重写为 (5,2)·∇”
绿色手写注释 (,) 位于 ∇u 上方
绿色括号/下划线标记向量方程的若干部分
讲师在 ∇u 上方添加 (,)。
绿色标记强调点积结构以及正在相乘的各个分量。
原始偏微分方程及边界条件在整个时段内持续可见。
分类文字保持不变。
视觉标注将紧凑的向量方程分解为梯度分量与点积项,使观众能看清它复现出 。
两条新的黄色项目符号行出现在重写的偏微分方程下方。
黑板略微向上滚动,为新文字腾出空间。
黄色文字:“即,u 沿方向 (5,2) 的方向导数为零。”
黄色文字:“因此 u 沿方向 (5,2) 的曲线为常数。”
新的解释性要点写在向量方程下方。
黑板向上移动以容纳新增的行。
偏微分方程、边界条件、方程分类以及重写的向量形式保留在屏幕上。
视觉变化体现了重写带来的概念性收获:该偏微分方程被理解为沿某一方向的方向导数为零,进而被理解为沿特征曲线保持常数。
约在123秒时,手写黑板视图切换为3D绘图窗口。
该图像显示标有x、y和u轴的坐标系、一个彩虹色曲面,以及绘制在该曲面上的黑色曲线。
视频片段中未指明所用绘图软件的具体名称。
曲面的确切公式未予展示。
3D坐标框,其坐标轴标记为x、y、u
彩虹色起伏曲面
绘制在曲面上的黑色曲线
底部边缘显示绘图界面控件
黑板被替换为一个3D图形。
在讲师讲解图像时,观察视角基本保持固定。
一旦图像铺满屏幕,先前的手写内容便不再处于主要焦点位置。
该曲面表示此前讨论过的同一未知函数u。
该图像提供了对解的几何预览:u以x-y平面上方的高度形式呈现,而黑色曲线则展示了特征方向(5,2),沿此方向解被断言为常数。
一个3D曲面图,坐标轴为 x、y、u,通过旋转展示黑色曲线水平地铺展在曲面上。
讲解者指出,这些黑色特征曲线是水平的直线,且 u 沿每条曲线保持不变。
表示 的彩色3D曲面。
绘制在曲面上的黑色曲线。
坐标轴分别标注为 x、y 和 u。
视点围绕该曲面旋转。
黑色曲线作为等高线始终附着于曲面。
沿每条黑色曲线,高度 u 保持不变。
曲面可视化中,这些曲线呈水平状态。
动画支持了如下结论:特征线是解曲面的等高线。
黑板幻灯片列出了该偏微分方程、其分类、重写形式(5,2)·∇,以及结论:u 沿方向(5,2)的曲线为常数。
黑色背景上的手写公式与项目符号要点。
视频从3D 图切换至简洁的文字总结。
该偏微分方程仍为 。
方向向量仍为(5,2)。
本幻灯片将视觉观察形式化为梯度与方向向量点积的解释。
俯视等高线图出现,带有平行的对角色带及红色标注(5,2)。
主讲人称这是从正上方俯视的更佳图像,且这些线条完全平行。
xy 平面上的等高线图。
平行的对角色带。
红色标签(5,2)。
视图从3维曲面变为2维等高线表示。
特征线保持平行。
所指示的方向仍为(5,2)。
等高线图通过在平面内直接显示水平集,使常数 u 的几何结构更清晰。
在一个等高线带上绘制了一个绿色直角三角形,水平方向标注为5,垂直方向标注为2,并沿该色带画有一支箭头。
绿色水平线段,标注为5。
绿色垂直线段,标注为2。
沿一条等高线绘制的绿色箭头。
三角形在等高线图上逐步绘制出来。
竖直方向位移与水平方向位移的比值为2:5。
标注将方向向量(5,2)转化为斜率 。
黑板上写道:沿方向(5,2)的曲线由 定义,即 。
手写的一阶微分方程及其在黑色背景上的积分解。
方程 后紧跟着其积分形式 。
在整个推导过程中,斜率始终保持为。
本页幻灯片记录了该片段的最终数学结论:特征曲线是斜率为的直线。
一幅 2D 图像出现,显示一组平行的对角线,以红、黄、绿、蓝等色带着色。一个绿色直角三角形表示斜率为 ,其水平直角边标有“5”,垂直直角边标有“2”。红色文字“(5,2)”写在图像上方。
平行的对角线
坐标轴(x,y)
斜率三角形
方向向量标签(5,2)
该图像用于直观表示特征曲线族 。
不同颜色的色带代表常数 c 的不同取值,即不同的特征曲线。
所有直线的斜率恒为。
方向向量(5,2)在整个定义域内保持不变。
图示表明解 在每一条这样的平行直线上均为常数。从一条直线移动到另一条直线,对应于改变任意常数 c 的取值,从而可能改变 u 的取值。
该偏微分方程为 ,但其伴随的条件是 ,该条件并非恒等于零。
主讲人通过将所有含 u 的项移至等式一侧,并使另一侧得到 0,来定义齐次性。
由于该方程被称为齐次方程,人们可能错误地预期其初始条件也应为零。
此处的‘齐次’仅针对偏微分方程本身:所有含 u 的项均位于等式一侧,而右侧为0。边界条件 仍可取非零值。
‘它是一阶的,因为这里只出现了一阶导数。’
示例中仅出现了 和 。
有人可能误以为‘一阶’指的是 u 的幂次,或指只有一个方程。
在此语境中,‘一阶’意味着所出现的最高阶导数是一阶偏导数,即 或 。
讲师说道:“所以这里我们没做任何花哨的操作,只是重写了该偏微分方程。”
有人可能认为将改写为(5,2)·∇会改变问题。
讲师强调这只是记号上的重写;展开点积后恰好还原为原始偏微分方程。
讲师将(5,2)解释为“每在y方向上升两个单位,就在x方向前进五个单位”。
学习者可能将(5,2)读作两个互不相关的数,而非平面上的一个方向。
在本片段中(5,2)被解释为一个单一方向:每在 y 方向上移动 5 个单位,就在 x 方向上移动 2 个单位。
说话人指出正弦形状源于边界条件,但仅关注特征曲线即可揭示方向(5,2)。
有人可能认为曲面的正弦外观决定了特征方向。
该片段将全局振荡轮廓(源于边界条件 )与特征几何结构分离开来,后者由偏微分方程(PDE)中方向 (5,2) 所决定。
引言部分提到了一阶线性偏微分方程,随后讲者表示将把该主题分为三种情形。
屏幕上展示的三个方程正是这种划分的具体体现。
‘一阶线性偏微分方程’这一总主题,依据系数类型以及低阶项或右端项是否存在,被组织为屏幕上展示的三类子类。
情形1即屏幕上分类体系中的第一个方程。
‘第一种情形就是此处所示的这种,其系数为常数。’
具常系数的齐次方程,是该三分法分类体系中最简单的一种特例。
例题 符合形式 au_x+bu_y=0,其中 ,。
“此处 a 和 b 的一种取法是:a 为五,b 为二。”
抽象的常系数情形,通过在已讲解的例题中选取具体的数值系数而得到实例化。
红色分类列表写在该例题系统旁边。
主讲教师解释该例题为何具备列表中每一项所列性质。
该例题在问题设定阶段即包含了对其偏微分方程(PDE)的定性分类。
完成分类后,黑板上写出:“将 PDE 改写为 (5,2)·∇”。
主讲教师将此作为求解该问题的第一步。
识别出常系数结构,便能将系数归并为固定向量 (5,2),并将 PDE 改写为梯度形式。
改写后的方程为 (5,2)·∇。
“这将使我们能够运用涉及方向导数的论证。”
方向导数的解释本身在此片段中被提出,但未作进一步展开。
梯度点积形式被引入,作为从代数型偏微分方程通往特征线法所使用的几何语言的桥梁。
讲师首先定义 ∇u,随后立即在点积(5,2)·∇u 中使用它。
(5,2)·∇u 的展开依赖于已知 ∇。
完成点积重写后,黑板上的下一段文字将结果解释为方向导数。
正是点积形式使讲师得以应用方向导数的解释。
第二条新要点由第一条推出:方向导数为零,意味着函数沿该方向的曲线上为常数。
讲师明确指出,导数为零意味着 u 必须沿该方向的任意曲线上保持常数。
特征曲线结论被表述为依赖于方向导数为零这一陈述。
讲师表示他正在展示实际解,并指向曲面图上黑色的特征曲线。
曲面图用于直观呈现“u 沿特征曲线为常数”这一抽象论断。
黑板上将 改写为 (5,2)。
代数形式的偏微分方程与方向导数表述被呈现为同一条件的等价形式。
黑板指出:由于在方向 (5,2) 上的方向导数为零,因此 u 沿该方向的曲线上保持常数。
利用方向导数为零这一事实,得出 u 在特征曲线上为常数。
字幕明确指出:“一种求解一阶线性偏微分方程的方法”。
主讲人重复了相同的适用范围。
屏幕上展示了三个方程,并分别标为1、2、3。
主讲人称该系列将分为三个对应的案例。
第一种情况……即系数为常数的情形。
情形1中不包含 、、 和 。
黑板上显示 {; }。
主讲人指出 ,,并描述了在 处的条件。
红色文字列出了“线性、一阶、齐次、常系数。”
每项描述均通过口头说明加以论证。
“它是齐次的,因为一旦我们将所有含 u 的项移到等式一侧,另一侧就只剩下零。”
黄色文字:“将偏微分方程改写为(5,2)·∇。”
“这将使我们能够运用涉及方向导数的论证。”
主讲人宣布了下一阶段内容,但本片段在实际展开前即结束。
仅展示了改写后的形式,未展示特征方程或解法。
该问题针对的是本片段中已宣布但未实际展开的内容。
讲师提问:“那么我们为何要这样做?”并回答:这使我们能够对方向导数作出相关论述。
主讲人逐一分量地定义了∇u。
主讲人将点积展开为+。
板书文字指出:u在方向(5,2)上的方向导数为零。
已覆盖 · 标题卡片与口述导言确立了本系列的主题与范围。
已覆盖 · 写出三类偏微分方程形式,并依次标注为情形1、2和3。
已覆盖 · 引入具体例题:+=0,且满足初值条件 =sin y。
已覆盖 · 该例题所对应的偏微分方程被归类为线性、一阶、齐次、常系数方程。
已覆盖 · 将该偏微分方程改写为 (5,2)·∇u=0 的形式,为后续方向导数论证做准备;本片段在此步骤前结束。
已覆盖 · 黑板上展示了该偏微分方程、边界条件、分类结果以及重写后的向量形式;主讲人定义 ∇。
已覆盖 · 主讲人展开点积运算,并验证其结果重现了 。
已覆盖 · 新板书文字将该方程解释为沿方向 (5,2) 的方向导数为零,并由此得出解沿该方向的曲线为常数。
已覆盖 · 画面切换至 的 3D 曲面图,其上绘有黑色特征曲线;主讲人预览了解的几何结构。
已覆盖 · 3D 曲面旋转动画,配合口述指出特征曲线即为 u 的等高线。
已覆盖 · 黑板幻灯片将偏微分方程重写为 (5,2)·∇,并指出 u 沿方向 (5,2) 保持常数。
已覆盖 · 自上而下的等高线图、平行带状区域,以及斜率 在方向(5,2)上的几何标注。
已覆盖 · 写出常微分方程 ,并积分得 。
已覆盖 · 特征曲线及常数 c 的讲解与可视化。
已覆盖 · 一般解形式 的推导。
已覆盖 · 应用边界条件,求出该偏微分方程示例的具体解。
已覆盖 · 在白板上从通解形式和边界条件出发推导最终解。
已覆盖 · 代表解的3D曲面图的可视化展示与旋转。
已覆盖 · 音频片尾,提及下一视频主题;不包含新的数学内容。
已审核中文素材 v1:card「特征线法的适用范围」出现在 0:00——视频将特征线法引入为求解一次线性偏微分方程的一种技术。这一适用范围既出现在标题卡片上,也在开篇旁白中予以说明。
已审核中文素材 v1:card「二元函数的梯度」出现在 2:35——讲师将的梯度定义为其一阶偏导数组成的向量。该定义是理解偏微分方程紧凑向量形式所必需的。
已审核中文素材 v1:card「对所展示的偏微分方程问题进行分类」出现在 2:30——黑板上给出问题、,并标注其为线性、一阶、齐次、常系数偏微分方程。本知识卡片记录了在应用任何求解方法之前,所研究偏微分方程的类型。
已审核中文素材 v1:card「方向导数解释」出现在 4:03——方程 表示函数 在方向 上的方向导数为零。讲师还从几何角度解释了该方向:每 5 个单位长度在 中,对应于每 2 个单位长度在 。