偏微分

☰ Contents

利润取决于售价,也取决于卖出多少件,所以它是一个二元函数。偏微分就是处理这类函数的微积分。普通微分的每一条规则依然适用。改变的是几何:图形是一个曲面,而曲面在每个方向上的坡度都不一样。

什么是二元函数?

二元函数接收一对数 (x, y),传回一个数,写作 f(x, y)。对于 x² + y²,输入 (3, 4) 得到 9 + 16 = 25。输入是平面上的一个点,输出是它上方的高度,所以图形是一个曲面,这里是一个最低点在原点的碗。普通的微积分在这里要小心,因为曲面在每个方向上的坡度都可能不同。等高线有帮助:每一条都是某个固定高度的切片,就像地图上的等高线,而这个碗在高度 25 的切片,是通过 (3, 4)、半径为 5 的圆。有些输入必须排除,这会改变定义域:√(x − y) 需要 x ≥ y。点 (−3, 4) 的高度相同,因为平方会去掉正负号。详见 二元函数和三维空间中的曲面。

xy(1.5, 1)xz保持y不变保持y不变保持x不变

保持y不变 — 这个切面是一条普通的曲线,偏导数就是它的斜率: 3

找出一个x方向斜率为零的点。

xyz
输出是每一点上方的高度,所以图像是一个曲面,而不是曲线。 完整课程: 二元函数
z = x² + y² 在原点处最低,朝任何方向都在升高:这是一个碗形。 完整课程: 三维空间中的曲面

在高度 4 切开碗 z = x² + y²,切片是圆 x² + y² = 4,半径为 2。详见 等高线。

481216
这就是等高线图。每一级是4个单位,圈越密表示地形越陡。 完整课程: 等高线

两个变量时,极限还适用吗?

适用,但在两个变量时,极限必须沿着每一条通往该点的路径都得到同一个值,而不只是从两侧逼近。看原点附近的 f = 2xy / (x² + y²)。沿着 x 轴,f 是 0。沿着直线 y = x,f 是 2x² / 2x²,也就是 1。两条路径给出两个值,所以极限不存在。这个值取决于逼近的方向:沿着 y = mx,它在每一个距离上都是 2m / (1 + m²)。两条路径一致什么也证明不了,所以要证明极限存在需要另一种做法,通常是找一个上界。对于 x²y / (x² + y²),它的大小最多是 |y|,而 |y| 趋近 0,所以那个极限是 0。直线 y = 2x 让第一个函数处处等于 4/5,分子是 2 × 2 = 4,分母是 1 + 4 = 5。

xyr1−1f = 0.64沿射线的fθ = 20°

沿着20°的射线,不论离原点多远,f = sin 2θ = 0.64:这个值取决于逼近的方向,而不是距离

把射线转到y = −x上,读出这个值

xy
在平面上,趋近一个点的方式有无穷多种,可以沿任意路径。 完整课程: 二元函数的极限

详见 二元函数的极限。

连续的意思和单变量时一样:函数在某点的极限存在,而且等于函数在那一点的值。详见 二元函数的连续性。

a tear in the sheetthe surface cannot be walked across that pointdiscontinuous there
想象一张有裂口或台阶的曲面,那些地方就是不连续的点。 完整课程: 二元函数的连续性

什么是偏导数?

偏导数是 f 在一个方向上的变化率,另一个变量保持不变。求 ∂f/∂x 时,把 y 当作常数,照常对 x 求导;∂f/∂y 则反过来。对于 x²y + 5y²,∂f/∂x = 2xy,因为 y 是常数因子,而 5y² 是常数;同时 ∂f/∂y = x² + 10y。在 (1, 2),x 方向的斜率是 2 × 1 × 2 = 4,y 方向的斜率是 1 + 10 × 2 = 21。固定 y,就是用平行于 x 轴的平面切开曲面,切出来的是一条普通曲线,它的斜率就是 ∂f/∂x。弯曲的 ∂ 取代了 d,表示其他变量正被固定住,而不含 x 的项对 x 求导得 0。(1, 2) 和 (2, 2) 的高度分别是 22 和 28,所以这条割线的斜率是 28 − 22 = 6,比 4 大,因为切片是向上弯的。详见 偏导数。

12345510152025xyh = 1.5(3.5, 12.25)(2, 4)

弦的斜率是4 + h,所以它比f ′(2)恰好大h

沿着曲线拖动上面的点

y held constant
固定 y,只沿 x 方向走。这个切面又变回一条普通曲线。 完整课程: 偏导数

不需要任何新规则。详见 计算偏导数。

x2ywaits
2xypower rule on x, with y held constant
对 x 求导:y 保持不变,作为一个因子留在结果里。 完整课程: 计算偏导数

设 f = x²y + y³。那么 ∂f/∂x = 2xy,因为 y 是常数因子,而 y³ 是常数。又 ∂f/∂y = x² + 3y²,因为 x² 是常数因子,而 y³ 求导得 3y²。

a term with no xto that derivative it is a constant
vanishes under
不含所求导变量的项就是常数,求导后会消失。 完整课程: 计算偏导数

你来试试

one variable varies, the other is held constant

f = x² + 6y。∂f/∂x 是多少?

one variable varies, the other is held constant

f = 3x²y。∂f/∂y 是多少?

二阶偏导数呢?

把偏导数再求一次导,就得到二阶偏导数,共有四个:对 x 两次、对 y 两次,以及两个混合的,先 x 后 y 和先 y 后 x。看 f = x³y²,它对 x 的一阶偏导数是 3x²y²,对 y 的是 2x³y。再求一次导得到 ∂²f/∂x² = 6xy² 和 ∂²f/∂y² = 2x³,而两个混合偏导数都是 6x²y。在 (1, 2),它们分别是 6 × 1 × 4 = 24、2,以及每个混合偏导数的 12。两个混合偏导数相等,这是混合偏导数定理:只要两者都连续,顺序就不重要,所以只需算出三个。这三个合起来衡量曲面怎么弯曲,而驻点的检定会用到全部三个。换个顺序,2x³y 对 x 求导得 6x²y,而 6 × 1 × 2 = 12,又是 12。详见 高阶偏导数。

2xwaitsy
then once in y — a different variable is held constant each time
各求一次导,度量的是沿 y 方向移动时,x 方向的斜率如何变化。 完整课程: 高阶偏导数

看 f = x²y³。那么 ∂f/∂x = 2xy³,再对 y 求导得 6xy²。另外 ∂f/∂y = 3x²y²,再对 x 求导得 6xy²。详见 混合偏导数定理。

x first
then
y first — the same result
then
试一试:2xy³ 对 y 求导,和 3x²y² 对 x 求导,都得到 6xy²。 完整课程: 混合偏导数定理

你来试试

differentiate in y, then in x

f = x³y³。∂²f/∂x∂y 是多少?

f

f = x²y³。∂²f/∂x∂y 等于 ∂²f/∂y∂x 吗?

链式法则在这里怎么用?

当 x 和 y 都取决于 t 时,z = f(x, y) 会同时因为两个原因而改变,而 dz/dt 为每个变量加上一项:z 对该变量的偏导数,乘以该变量的变化率。对于 z = xy,其中 x = t² 且 y = 3t,有 ∂z/∂x = y 和 ∂z/∂y = x,而两个变化率是 2t 和 3,所以 dz/dt = 2ty + 3x。在 t = 1 时,x = 1、y = 3,结果是 2 × 3 + 3 × 1 = 9。在很短的时间内,每个变量都让 z 上升“自己的斜率乘以自己的步长”,而小小的上升可以相加。如果 x 和 y 都取决于 s 和 t,那么 ∂z/∂s 和 ∂z/∂t 各有两项,一项经过 x,一项经过 y。只有一个变量时,这个公式就是普通的链式法则。先代入再求导,结果一致:z = 3t³ 求导得 9t²,而 9 × 1 = 9。

∇fvdz/dt = fx ẋ + fy ẏ = (3.3)(−1.1) + (0.8)(1.2) = −2.68t = 0.6

dz/dt = fx ẋ + fy ẏ = −3.73 + 1.05 = −2.68:爬升等于东向斜率乘以东向速度,加上北向斜率乘以北向速度

把行走者停在路径沿着等高线的位置

dz/dt = (∂z/∂x)(dx/dt) + (∂z/∂y)(dy/dt).

via x
via y
每个变量各加一项:z 对它的偏导数,乘以这个变量变化的快慢。 完整课程: 偏导数的链式法则

把依赖关系画成一棵树,沿每条分支相乘,再把各分支相加。详见 偏导数的链式法则。

你来试试

what does this come to?

每一项里,∂z/∂x 乘以的是

what does this come to?

dz/dt =

什么是梯度向量?

梯度向量 ∇f 以两个偏导数为分量,∇f = (∂f/∂x, ∂f/∂y);它指向上升最陡的方向,它的长度就是那个方向的斜率。对于 x² + y²,∇f = (2x, 2y),所以在 (3, 4) 它是 (6, 8),正对着碗壁往上指,长度为 10,因为 36 + 64 = 100。沿单位向量 u 的斜率是 ∇f · u,也就是 |∇f| cos θ,其中 θ 是两者的夹角。它在 θ = 0 时最大,所以梯度是最陡的上坡方向;在直角时它是 0,所以梯度和每条等高线都正交,这里就是半径为 5 的圆。梯度为零表示曲面是平的,没有最陡的方向。沿单位向量 (3/5, 4/5) 的斜率是 6 × 3/5 + 8 × 4/5 = 10,也就是梯度的全长。详见 梯度向量。

∇fDu f = 0.12|∇f| = 2.6P = (1.2, 1), ∇f = (2.4, 1), φ = 87°

Du f = ∇f · u = |∇f| cos φ = 2.6 × 0.05 = 0.12:u方向上的斜率,等于梯度的长度乘以两者夹角的余弦

沿等高线转动u,直到Du f = 0

4812∇f
这个梯度向量指向你所在位置最陡的上坡方向。 完整课程: 梯度向量

这种沿着指定方向的斜率,就是方向导数。详见 方向导数。

4812∇fu0
与梯度垂直的方向坡度为零——这就是等高线保持水平的原因。 完整课程: 方向导数

在某一点贴着曲面的那个平面,叫做切平面。两个偏导数给出它在 x 和 y 方向上的倾斜程度,这就把它完全确定了。详见 切平面。

曲面在一点附近可以用贴在它上面的一个平面来近似。 完整课程: 切平面

你来试试

4812∇fu∇f · u

∇f = (10, 5),单位步长 u = (0.6, 0.8)。沿u方向的坡度是多少?

4812∇fu∇f · u

∇f = (5, 20),单位步长 u = (0.8, 0.6)。沿u方向的坡度是多少?

怎么求曲面上的极大值和极小值?

在光滑曲面的极大值或极小值处,两个偏导数都等于 0,所以把它们联立求解,再为每个点分类。对于 f = x² + 2y² − 4x + 4y,偏导数 2x − 4 和 4y + 4 只在 (2, −1) 同时为 0,那里的高度是 4 + 2 − 8 − 4 = −6。分类的方法是:把对 x 和对 y 的二阶偏导数相乘,再减去混合偏导数的平方:2 × 4 − 0 = 8,是正数,而对 x 的那个也是正数,所以这是极小值。山顶或谷底的切平面是平的,所以两个斜率在那里都消失。结果为负表示鞍点:对于 x² − y²,在原点得 2 × (−2) − 0 = −4,往一个方向上升,往另一个方向下降。配方可以证实:f 等于 (x − 2)² + 2(y + 1)² − 6,永远不会低于 −6。

xyρzθ = 20°

20°处的截面是z = (cos 2θ) ρ² = 0.77 ρ²:cos 2θ > 0时是碗形,cos 2θ < 0时是拱形,符号在45°处发生变化

转动切面,直到截面变平

水平意味着两个方向同时水平,所以两个偏导数都必须为零。 完整课程: 曲面的驻点

因为可能出现鞍点,二元函数的二阶导数检定要用到全部三个二阶偏导数。详见 曲面的驻点。

a saddleflat as well, and neither of the twoup one way, down the other
鞍点也是水平的,却一边升高一边下降:既不是最大值也不是最小值。 完整课程: 曲面的驻点
检定显示这个点是
每个方向都向上弯局部极小值
每个方向都向下弯局部极大值
一个方向向上,另一个方向向下鞍点

你来试试

xy

曲面的驻点出现在哪里?

xy

在一个水平点处,沿 x 方向上升,沿 y 方向下降,这属于哪种情况?

如果变量受到限制呢?

在限制条件 g(x, y) = 0 之下,拉格朗日乘数法可以求出 f 沿着那条曲线的最大值或最小值:令 ∇f = λ∇g,再把各分量方程和限制条件联立求解。要在直线 x + y = 10 上求 xy 的最大值,取 g = x + y − 10。那么 ∇f = (y, x) 且 ∇g = (1, 1),所以 y = λ 且 x = λ,这迫使 x = y = 5,最大值为 5 × 5 = 25。如果 ∇f 斜斜地穿过曲线,沿着曲线走一步仍然能让 f 上升,所以在最佳点,两个梯度是平行的。乘数本身也有意义:λ = 5 是把 10 调高时,最大值增加的速率。有两个限制条件时,每个条件各有自己的乘数。直线上的其他点都比较小,因为 4 × 6 = 24、3 × 7 = 21。

∇f∇gx + 2y = 1两次相交

x + 2y = 1与椭圆相交两次:沿着椭圆在两个交点之间走,x + 2y会超过1,所以两个交点都不是最大值

把直线向上滑动,直到它刚好碰到椭圆

g = k
求 f 的最小值,但只能沿着一条固定的路径——这就是约束。 完整课程: 拉格朗日乘数法

先用 λ 把各分量方程中的 x 和 y 表示出来,再代入限制条件。详见 拉格朗日乘数法。

g = k∇f∇g
所以在最优点,两个梯度必须平行,只相差一个乘数 λ。 完整课程: 拉格朗日乘数法

怎么在曲面下积分?

在平面的一个区域上积分,就是积分两次,每个变量各一次,得到的是曲面下方的体积。先固定 y 对 x 积分,得到一个截面的面积,再把这些面积对 y 积分。对于 xy 在 x 从 0 到 2、y 从 0 到 3 的长方形上,内层积分是 x²y/2,代入上下限后得 2y,而 2y 的外层积分是 y²,结果是 9。体积由许多薄片组成,每一片是截面积乘以一个很小的厚度,就像面积由许多细长条组成一样。区域不是长方形时,积分的上下限会改变:在 y = x 下方的三角形上,对 y 的内层积分从 0 到 x。这个长方形上的积分还可以拆成乘积,因为 xy 是 x 乘 y,而 2 × 9/2 = 9。

one slice
曲线下方的切片叠成面积。曲面下方的切片叠成体积。 完整课程: 曲面下方的体积

用符号写,A(y) = ∫ f(x, y) dx 且 V = ∫ A(y) dy。详见 曲面下方的体积。

stack the slice areas along y
an integral of integrals
沿 y 方向把切面面积叠起来:V = ∫ A(y) dy——积分套积分,两个 ∫ 符号。 完整课程: 曲面下方的体积

值得点名的错误

延续下来的单变量规则在微分法则(英文)中,优化的想法在微分的应用(英文)中,向量的语言则在向量(英文)中。相关指南:积分的应用与极坐标曲线(英文)。

轮到你了

三题试一试,点选作答。

x²y 对 x 的偏导数 ∂/∂x

x²y 对 y 的偏导数 ∂/∂y

求 ∂f/∂x 时,你把 y 当作

常见问题

什么是偏导数?
它是多变量函数对其中一个变量的变化率,其余的变量保持固定。在曲面上,它就是你往正东或正北走时量到的坡度,但不是斜着走的坡度。用弯曲的符号代替普通的 d,正是为了提醒你:还有别的变量存在,而且它们被刻意固定住了。
偏导数怎么算?
对你选定的变量求导,把其他每个变量都当成常数。如果函数是 x 的平方乘 y 再加 y 的立方,那么对 x 求导得 2xy,因为在这次计算里 y 只是一个数,而 y 的立方那一项则完全消失。不需要任何新规则,只需要守住“其余保持不动”这个纪律。
梯度向量告诉你什么?
它指向上升最陡的方向,它的长度就是那个方向有多陡。它的分量就是各个偏导数,所以它把两个坡度装进同一个对象里。它也永远和通过该点的等高线垂直,这就是为什么水往下流时,会和地图上的等高线成直角。
为什么混合偏导数会相等?
对任何二阶偏导数连续的函数,先对 x 再对 y 求导,和先对 y 再对 x 求导,结果相同。顺序不重要。这就是混合偏导数定理,它是一个真正的定理,而不是显而易见的事实——对刻意构造出来的函数它可能不成立,但对实际会遇到的函数从来不会失效。
什么是鞍点?
它是两个偏导数都为零的点,但曲面在那里既不是山顶也不是谷底——它往一个方向上升,往另一个方向下降,就像山口或马鞍。鞍点在单变量微积分里没有对应的东西,所以曲面上的驻点需要用二阶导数检定来分类,而不能直接当成极大值或极小值。
什么是拉格朗日乘数?
它是在变量必须满足某个限制条件时,求函数最佳值的方法。在限制条件上的最佳点,函数的梯度和限制条件的梯度平行,所以把其中一个设成另一个的倍数,再和限制条件一起解。乘数本身也有意义:它衡量的是限制条件稍微放宽时,最佳值会改善多少。
Mr. Chalk