3Blue1Brown - Differential Equations 02 - But What Is a Partial Differential Equation?

Reading Guide / 阅读说明

这是 Differential Equations 系列第二集,直接承接 01 - Differential Equations, a Tourist’s Guide。上一集研究“少数状态量随时间变化”的 ODE;这一集把 state 扩展成一整条 temperature distribution,并通过 Heat Equation 解释 PDE 到底在表达什么。

这份笔记仍按“伴读型教材”处理:单独阅读时,应当能重新走完从热传导直觉到方程的推导;配合视频时,每个 Knowledge Point 都有时间定位。重点不是背

而是能够把它读成一句物理语言:某一点温度随时间变化的速度,由该点相对于周围温度分布的局部弯曲程度决定。

Connected from:

1. What This Episode Is About / 这一集在讲什么

设一根金属杆上每个位置都有温度。热量会从较热处流向较冷处,所以温度分布最终趋于平坦;但真正的问题不是“最后会相等”,而是:

What will the temperature distribution be at each point in time?

我们要追踪的不是一个 number,而是整个 function 。位置 和时间 都是输入,因此存在不同方向上的变化率:

  • :同一时刻沿杆移动时,温度怎样变。
  • :固定在同一位置时,温度怎样随时间变。

Heat Equation 把两者连起来:time evolution 由 spatial curvature 控制。视频最重要的工作,是先在离散世界中证明“一个点会趋向邻居平均值”,再让点间距趋近于零,使 Second Difference 变成二阶空间导数。

heat flows toward local balance
-> compare a point with its neighbors
-> difference of differences
-> second spatial derivative
-> heat equation

因此 PDE 并不是神秘的新运算,而是一个连续系统中“无穷多个局部更新规则”的紧凑写法。

上一集把 differential equation 理解成 local law of change,并用 finite-dimensional state 表示 pendulum:

这一集的 state 不再只有几个 coordinates,而是一整个温度函数:

两者的逻辑完全相同:

ODE: finitely many values change together
PDE: a continuum of values changes together

ODE 右侧可能依赖其他状态量;热方程右侧依赖无限接近的 spatial neighbors。换句话说,一个 PDE 可以看成沿杆每一点各有一个方程的 infinite system。

3. Class Flow / 视频脉络

  1. 用金属杆的温度分布提出 heat-flow problem。
  2. 回顾“描述 moment-to-moment change 比直接写完整 evolution 更容易”。
  3. 预告热方程与 diffusion、Brownian motion、Black-Scholes、Fourier Series 的连接。
  4. 明确 unknown function 是 ,同时依赖 space 与 time。
  5. 区分 spatial derivative 与 time derivative,引入 Partial Derivatives。
  6. 读出一维 Heat Equation:时间变化率正比于空间二阶偏导。
  7. 把连续杆像素化,用有限个温度值建立 discrete model。
  8. 比较中间点与左右邻居平均值,写出 local update law。
  9. 把“邻居平均值之差”改写为 difference of differences。
  10. 识别 Second Difference,再取连续极限得到 second derivative。
  11. 用 concavity 解释为何凹处升温、凸处降温,曲线逐渐变平。
  12. 比较 ODE 与 PDE:finite state 对 continuum state。
  13. 推广到二维和三维,引入 Laplacian。
  14. 以 Fourier 方法将在下一集求解热方程收束。

4. Core Ideas / 核心知识块

Knowledge Point 1: A PDE Evolves an Entire Distribution

Video: 00:04-01:20

一根杆在一个时刻的温度,不是一个数,而是沿位置变化的函数 。当时间也加入后,完整对象是

固定 ,得到某一时刻的 temperature profile;固定 ,得到某一点的 temperature history。

A PDE tracks a field or function changing over time, not merely a handful of numbers.

这里的“field”可以理解为:空间中每个点都分配一个值。温度、压力、电势和浓度都可以这样描述。

Knowledge Point 2: Local Laws Are Easier Than Full Evolution

Video: 01:01-01:38

我们很难直接猜出 的完整公式,却很容易说出局部趋势:hot spots cool,cool spots surrounded by warmth heat up。

这延续了 Differential Equations 的核心句:

It is easier to describe how a setup changes from moment to moment than to jump straight to its full evolution.

微分方程把“下一瞬间怎样变”写成 derivative relation。解方程则反过来从局部规律恢复全局演化。

Knowledge Point 3: The Heat Equation Is a Gateway to Diffusion

Video: 01:24-03:31

热方程并不只属于热学。只要某个量从高浓度区域向低浓度区域扩散,相似结构就会出现,例如 diffusion、Brownian motion 和 finance 中的 Black-Scholes equation。

视频也提前展示 Fourier Series:许多具有不同 frequency、amplitude 和 phase 的简单旋转或波形,可以叠加成复杂形状。Fourier 最初正是在研究热传导时发展这套方法。

关键思想是:

Complex behavior can be constructed from simple idealized building blocks.

Knowledge Point 4: Space and Time Are Separate Inputs

Video: 03:32-04:47

的 input space 有两个方向。一种画法把 放在平面上,temperature 画成上方曲面;另一种画法把每个时刻的 曲线做成动画。两者等价。

要避免一个视觉误区:

  • 曲面的一个 horizontal axis 是 position,另一个是 time。
  • 动画中的曲线只画 position-temperature;time 由动画播放本身表达。
  • 这不同于二维金属板的 temperature surface,其中两个水平轴都是 spatial directions。

Knowledge Point 5: Partial Derivatives Ask Direction-Specific Questions

Video: 04:47-06:51

多输入函数有不止一种 rate of change。Partial Derivatives 的操作仍然是 ordinary derivative,只是一次改变一个 input,同时固定其他 inputs:

前者问“沿杆走一点,温度变多少”;后者问“站在原地等一会儿,温度变多少”。每个 partial derivative 只讲完整变化故事的一部分。

读 derivative notation 时,可以先把它想成 tiny output change 与 tiny input change 的比,再记住它真正编码的是 step size 趋于零时的 limit,而不是某个有限小步的比值。

Knowledge Point 6: The Heat Equation Couples Time Change to Spatial Curvature

Video: 06:51-07:58

一维 heat equation 是

其中 是 thermal diffusivity / 热扩散率,决定材料均匀化温度的快慢。

方程左边是 fixed location 的 instantaneous temperature change;右边不是 temperature 本身,也不是 spatial slope,而是 spatial slope 的变化率,即 curvature。

Where the temperature distribution curves, it changes in time in the direction that flattens that curvature.

Knowledge Point 7: Discretization Exposes the Physical Mechanism

Video: 07:58-09:16

把连续杆像素化为等间距 points。取连续三个点,温度分别为 。中间点与邻居平均值比较:

  • 若结果 ,邻居平均更热, 上升。
  • 若结果 ,邻居平均更冷, 下降。
  • 差异越大,改变越快。

因此离散更新规律可写成

这一步的重要性在于:方程不是凭空猜出的,而是 local averaging tendency 的直接翻译。

Knowledge Point 8: Neighbor Averaging Becomes a Second Difference

Video: 09:16-11:29

把右侧重排:

定义相邻的一阶差

则括号中是

也就是“difference of differences”,即 Second Difference。它测量的仍然是中间值和邻居平均值的偏离,只是换成更接近 calculus 的语言。

A second difference measures whether successive first differences are increasing or decreasing.

Knowledge Point 9: The Continuous Limit Turns Second Difference into Second Derivative

Video: 11:29-12:59

若点间距为 ,正确缩放后的 central second difference 是

当 :

因此,连续 heat equation 就是离散 neighbor-averaging rule 的极限版本。二阶导数的新直觉是:

Second derivatives measure how a value compares with the average of its nearby neighbors.

这与 10 - Higher Order Derivatives 中“second derivative measures changing slope”完全一致,只是这里给了它局部平均的物理解释。

Knowledge Point 10: Curvature Predicts the Direction of Temperature Change

Video: 12:21-13:18

若 temperature graph 向上弯,,该点低于附近趋势,所以 ,它会升温。若图像向下弯,,该点高于附近趋势,所以 ,它会降温。

Local shapeEvolution
valley / concave uppositivepositiverises
straight locallyzerozerono immediate change
peak / concave downnegativenegativefalls

所以 heat flow 对 temperature profile 具有 smoothing effect:peaks fall,valleys rise,curved regions flatten。

Knowledge Point 11: A PDE Is an Infinite System of Coupled Equations

Video: 13:18-14:29

ODE model 通常追踪有限个 numbers,例如多个物体的位置坐标。PDE 则追踪 continuum 中无限多个 values;杆上的每个位置都有自己的 time derivative。

但热方程具有 locality:每一点的变化只依赖 infinitesimally nearby points。空间导数把这种 neighbor dependence 压缩在一个符号中。

One PDE is like a system of infinitely many equations, one for each point in space.

Knowledge Point 12: The Laplacian Generalizes Spatial Curvature

Video: 14:29-15:32

若温度依赖多个空间方向,所有 spatial second derivatives 相加:

这个 operator 称为 Laplacian。多维 heat equation 写成

直觉没有改变:一维邻居是 left and right;多维邻居来自 all directions。Laplacian 测量一个点相对于周围平均趋势是偏高还是偏低。若学过 vector calculus,还可写成

即 gradient 的 divergence。

Knowledge Point 13: Interpretation Comes Before Solution

Video: 15:32-16:02

本集到这里完成的是“读懂 PDE”,还没有正式求解。下一集将用 Fourier Series 把复杂 initial temperature profile 分解为简单 modes,而每个 mode 都能独立演化。

这延续 DE1 的方法论:analytic solution 很重要,但在求解前,先明确 unknown object、inputs、derivative directions、local mechanism 和 state evolution,才能真正理解公式。

5. Deep Phrases / 深句对应表

English core sentence中文记忆句
A PDE evolves an entire function, not just a finite list of numbers.PDE 推动的是整个函数随时间演化,而不只是有限个数。
A partial derivative records change in one input direction while the others are held fixed.偏导数只沿一个输入方向观察变化,其余输入保持不动。
The heat equation connects temporal change to spatial curvature.热方程把时间上的变化率交给空间上的弯曲程度决定。
A point tends toward the average of its neighbors.每一点都倾向于靠近邻居的平均状态。
A second difference is a difference between consecutive first differences.二阶差分就是相邻一阶差分之间的差。
Second derivatives measure how a value compares with the average of nearby values.二阶导数衡量一个值相对于附近平均趋势是偏高还是偏低。
Peaks fall, valleys rise, and the distribution smooths out.峰会下降,谷会抬升,整个分布逐渐变平。
A PDE is an infinite system of locally coupled equations.PDE 可以看成无穷多个只与附近相互作用的方程。
The Laplacian is the multidimensional analogue of a second derivative.Laplacian 是二阶导数在多维空间中的对应物。
Complex solutions can be assembled from simple modes.复杂解可以由简单模式叠加构成。

6. Common Mistakes / 常见误区

  1. 把 中的大写 和输入 混淆。 是 temperature function, 是 time input。
  2. 认为 partial derivative 是一种完全不同的 derivative。 运算本质相同,差别在于多输入函数中要说明沿哪个方向变化。
  3. 把 当作温度随时间的变化。 是 spatial slope; 才是固定位置随时间的变化。
  4. 认为 heat equation 说热量总是向右流。 方程没有固定方向;它由局部高低与 curvature 决定。
  5. 只把 记成“concavity”。 更有用的解释是该点相对于邻居平均值的偏差。
  6. 在离散模型里漏掉间距缩放。 从 second difference 到 second derivative 时需除以 ;常数可以并入 diffusivity,但 dimensional scaling 不能忽略。
  7. 把二维 input surface 当成二维金属板。 的两个 inputs 是一维 space 加 time;二维板应是 。
  8. 以为 partial 意味着 PDE 比 ODE 更简单。 “partial”描述 derivative 类型,不代表问题只做了一部分。
  9. 认为每一点依赖全空间所有点。 热方程的微分形式是 local;global influence 通过持续的局部作用传播。

7. Formula Map / 公式地图

Temperature field

Spatial and temporal partial derivatives

Discrete neighbor-averaging law

Central second difference

Continuous second derivative

One-dimensional heat equation

Laplacian and multidimensional heat equation

8. Confusion / Questions / 自测问题

  1. 为什么一根杆在某一时刻的 state 是一个 function,而不是一个 number?
  2. 固定 与固定 分别得到什么图像?
  3. 用一句话区分 和 。
  4. 为什么中间点温度低于两个邻居的平均值时会升高?
  5. 怎样把 改写为 difference of differences?
  6. second difference 为什么会在连续极限中变成 second derivative?
  7. 若 ,该点温度接下来向哪个方向改变?为什么?
  8. 为什么说一个 PDE 像 infinite system of equations?
  9. Laplacian 在二维或三维中测量什么?
  10. Fourier series 为什么可能适合求解 heat equation?

9. Source Anchors / 字幕定位

TimeTopic
00:04From ODE to the heat equation
00:12Temperature distribution on an object
01:01Local change versus full evolution
01:24Diffusion and other applications
01:59Fourier-series preview
03:32Build the heat equation
03:40The function
04:28Time axis versus literal animation
04:47Finite state versus an evolving function
05:14Spatial partial derivative
05:34Temporal partial derivative
06:20Derivatives as limiting ratios
06:51Read the heat equation
07:58Discrete or pixelated model
08:18A point compared with neighbor average
09:16Rearranging into differences
10:11Difference of differences
11:03Second difference
11:29Continuous limit
12:21Curvature and sign
12:53Second derivative as neighbor comparison
13:18PDE versus ODE
14:22Infinite system of equations
14:29Higher-dimensional objects
14:44Laplacian
15:23Divergence of gradient
15:43Next: solving with Fourier

10. After Watching Summary / 看完压缩版

热传导问题追踪的是整条 temperature distribution 。因为 function 同时依赖 space 和 time,所以要分别使用 spatial 与 temporal Partial Derivatives。一维 Heat Equation

表示某一点温度随时间的变化率,正比于该点温度曲线的空间二阶导数。

这个方程来自简单的局部机制:每个点都趋向其左右邻居的平均温度。离散表达中,这种偏离可改写成 Second Difference;当点间距趋于零,它变成 。因此 peak 处 ,温度下降;valley 处 ,温度上升,整个 profile 被逐渐 smooth out。

ODE 追踪有限个 changing values,PDE 追踪 continuum 中无限多个 values,所以一个 PDE 可视为每个空间点各有一个、彼此局部耦合的 infinite system。推广到多维后,空间二阶导数之和成为 Laplacian,热方程写作 。下一步将用 Fourier Series 把复杂初始分布拆成容易演化的简单 modes。

11. Knowledge Graph Connections / 知识图谱连接