欧拉公式、振子与通往拉普拉斯变换的道路

原标题Euler’s Formula, Oscillators and the Road to Laplace Transforms

复指数函数用共同的数学语言描述旋转、衰减和弹簧运动。

频道
3Blue1Brown
发布
2025年10月5日
视频
27:49
阅读
5 分钟
幻灯片
7
原文
英语
在 YouTube 打开
往下滚动阅读时,视频会缩到右下角继续播放。字幕跟随阅读语言。
阅读语言共 2 种语言可读
由 AI 从英语原文翻译。打开“对照原文”可以逐段核对。
摘要

30 秒看懂

3Blue1Brown 从导数出发,建立复指数函数的视觉直觉,再将其应用于阻尼谐振子。课程展示复数 s 平面上的根如何描述振荡和衰减,并预告作为系统工具的拉普拉斯变换。

  1. 1虚指数产生旋转e^(it) 的速度是位置乘以 i,也就是在复平面上旋转四分之一圈。
  2. 2s 平面编码运动实部控制增长或衰减,虚部控制旋转。
  3. 3微分方程变成代数将 e^(st) 代入弹簧方程,得到特征多项式 ms² + μs + k。
  4. 4从复根还原实数运动沿相反方向旋转的指数解组合成实数正弦和余弦函数。
  5. 5阻尼改变根负实部对应衰减;阻尼足够强时振荡可以消失。

要点建议

  1. 乘以 i 会让复数向量旋转 90 度,因此 e^(it) 沿单位圆运动。
  2. s 的实部和虚部分别描述 e^(st) 的增长或衰减与振荡。
  3. 把指数函数代入常系数线性微分方程,会得到关于 s 的多项式。
  4. 对于无阻尼弹簧,虚数根通过线性组合产生实数正弦和余弦解。
  5. 阻尼改变根的位置,足够大的阻尼可使振荡消失;重根需要额外形式的解。
  6. 周期外力驱动的振子仍然是线性的,但方程是非齐次的,因此受迫项的系数受到约束。
全文

按章节阅读整理后的全文

只看原始文稿
01

为什么需要复指数?

系列第一章通过导数介绍指数函数。虚数指数对应旋转。

系列第一章通过建立对复指数函数的直觉,为拉普拉斯变换做准备。这个目标本身也很有价值:理解为什么欧拉公式和一种看似奇怪的代入方法,有助于解决物理中常见的微分方程。

函数 e^t 等于自己的导数。除了把导数看作图像的斜率,也可以想象数轴上一个位置为 e^t 的点:它的速度始终等于位置,起点是 1,因此它向右越走越快。

对于 e^(2t),速度是位置的两倍,增长更快。对于 e^(−0.5t),速度方向相反,大小是位置的一半。点越来越慢地接近零,这就是指数衰减。

现在考虑 e^(it),它的导数是函数本身乘以 i。复数向量乘以 i 会旋转 90 度:a + bi 的乘积为 −b + ai。因此,速度始终与位置垂直。

速度是四分之一圈旋转
幻灯片 1 / 7速度是四分之一圈旋转e^(it) 的导数将位置向量旋转 90 度。

点从 1 出发,速度大小等于位置大小,于是以每单位时间一弧度的速度沿单位圆逆时针运动。经过 π 个时间单位后,它到达 −1,于是 e^(iπ) = −1。这幅动态图解释了著名的恒等式。

单位圆上的欧拉恒等式
幻灯片 2 / 7单位圆上的欧拉恒等式经过 π 个时间单位,旋转的点到达 −1。

对于复数输入,最好不要把指数函数理解为重复乘法。一种定义方式是使用收敛的泰勒级数。相比逐项检查无穷和,通过导数和初始值来理解运动,更容易看出圆周轨迹。

02

读懂 s 平面

每个点代表一个指数函数,具有自己的旋转速度以及增长或衰减速率。这些概念为弹簧例子做准备。

复平面上的每个点 s 都可以代表一个完整函数 e^(st)。如果 s = 2i,旋转速度就是 e^(it) 的两倍;更一般地,虚部给出角频率和方向。

当 s 同时具有实部和虚部时,运动将增长或衰减与旋转结合起来。例如 s = −0.5 + i 时,点沿螺旋线向内运动,大小逐渐缩小。工程师将可能指数所在的平面称为 s 平面。

s 平面中的衰减螺旋
幻灯片 3 / 7s 平面中的衰减螺旋负实部产生衰减,虚部产生旋转。

这种导数关系本身就是微分方程。现在反过来看:物理中的微分方程能否说明为什么要使用复指数函数?弹簧上的物体就是一个核心例子。

03

谐振子

牛顿定律给出弹簧和阻尼的微分方程。代入指数函数后得到二次方程。

令 x(t) 表示偏离平衡位置的位移。一阶导数是速度,二阶导数是加速度。指向平衡位置的恢复力近似与位移成正比,而阻尼力可以建模为与速度成正比。

弹簧方程
幻灯片 4 / 7弹簧方程恢复力将位移和加速度联系起来。

设质量为 m、阻尼系数为 μ、弹簧常数为 k,齐次方程为 mx″ + μx′ + kx = 0。初始位置和速度从一族解中选出一个解。简单的正比阻尼项是对实际阻力的近似。

尝试令 x(t) = e^(st)。每求一次导都相当于乘以 s,因此代入得到 e^(st)(ms² + μs + k) = 0。指数函数永不为零,所以问题归结为特征方程 ms² + μs + k = 0。

特征多项式
幻灯片 5 / 7特征多项式指数代入将微分方程转为代数问题。

没有阻尼时,μ = 0,根为 s = ±i√(k/m)。令 ω = √(k/m),两个复指数解沿相反方向旋转;弹簧越强,角频率越高。

04

从复根得到实数解

相反方向旋转的虚指数函数组合成实数振荡。初始条件从解的族中选出一个解。

物体的实际位置必须是实数。可以取实部,也可以把 e^(iωt) 与 e^(−iωt) 相加,得到 2cos(ωt)。由于齐次方程是线性的,解的加权和仍是解。

方向相反的指数旋转
幻灯片 6 / 7方向相反的指数旋转根 ±iω 组合成实数振荡。

可以选择系数来满足初始位置和速度。用实数表示,同一族解可写为 A cos(ωt) + B sin(ωt)。例如,两个指数项的系数都取 1,就得到初始位置为 2、初始速度为 0 的解。

既然正弦和余弦已经能解决这个简单例子,为什么还用复指数?方程发生变化时,它们尤其方便。重新引入正阻尼后,根会离开虚轴,进入 s 平面的左半部分。

05

阻尼与推广

根随阻尼变化,同样的方法也适用于其他常系数线性方程。重根需要特殊处理。

在欠阻尼情况下,根具有负实部和非零虚部,因此运动既衰减又振荡。阻尼足够强时,根变成负实数,产生不振荡的衰减;两者之间的重根边界需要特殊形式的解。

阻尼改变根的位置
幻灯片 7 / 7阻尼改变根的位置二次公式将阻尼振子的根定位在复平面上。

同样的代入方法适用于包含更高阶导数的常系数齐次线性方程:微分方程变成关于 s 的多项式。互异根产生可以组合的指数解;重根则需要额外因子,例如 t 的幂。

06

受迫运动与拉普拉斯变换

周期外力使方程成为非齐次方程,并约束其解。后续章节将介绍系统化的变换方法。

许多物理问题还加入外力。在光穿过材料的一种模型中,电荷像受周期性光波驱动的阻尼振子,而光波频率不一定与振子的自然频率相同。

受迫方程仍然是线性的,但它是非齐次方程。通解由外力对应的特解与齐次解组成,因此受迫响应的系数受到约束。在图示的非退化情况下,结果可以表示为四个指数项。

这引出一个系统性问题:给定微分方程,怎样找出指数成分及其系数?拉普拉斯变换提供了一种方法,也将这个故事与傅里叶分析联系起来,包括指数函数的连续组合。

在后续章节中,变换会将时间函数转为一种语言,使微分变为代数运算,同时纳入初始条件项。这推广了这里使用的指数代入法背后的直觉。

同频道的其他文章

20 张幻灯片40:44EN → 简体中文
3Blue1Brown· 2026年10月16日Grant Sanderson:现在是投身数学的最好时机Grant Sanderson, Constantin Kogler · 3Blue1Brown学生担心 AI 已经解决了数学。Grant Sanderson 却认为恰恰相反:即使机器证明定理的能力超过人类,数学这套制度依然有价值,而新人正迎来一个难得的机会,可以参与重塑它。MathematicsAI for scienceHuman-AI Collaboration+2
29 张幻灯片51:55EN → 简体中文
3Blue1Brown· 2026年9月18日AI 解不出的最后一道 IMO 题Grant Sanderson · 3Blue1BrownGrant Sanderson 带你走一遍 2025 年 IMO 第 6 题——前沿模型没做出来的铺砖谜题——以及要证明一种构造最优,需要怎样的视觉耐心。MathematicsAI researchReasoning & test-time compute+2
0:55EN → 简体中文
3Blue1Brown· 2026年7月24日64 块方糖谜题:六组相等距离一个 4×4×4 的方糖块有三种颜色;证明总能找到六对同色方糖,且每对距离相等。MathematicsEducation
幻灯片2:25EN → 简体中文
3Blue1Brown· 2026年6月12日香农如何测量英语的信息熵一场猜字母游戏帮助克劳德·香农估算英语文本的信息量,也揭示了预测与压缩之间的联系。MathematicsAI History
幻灯片1:02EN → 简体中文
3Blue1Brown· 2026年6月10日月球机器人与最优二进制编码谜题四个方向出现的频率不同,每条指令最少需要多少比特?MathematicsScience Communication
4 张幻灯片32:19EN → 简体中文
3Blue1Brown· 2026年6月7日重新理解熵:预测为何有助于压缩语言从机器人的移动编码出发,理解前缀码、Shannon 信息量和语言的熵。MathematicsScience Communication