第 8 讲:切线与法面、多元极值和 Lagrange 乘子

梯度不仅用于计算方向导数,它还是连接多元微分、几何和优化的桥梁:等值面的法向量、约束极值的乘子条件都来自梯度。

参数曲线的切线与法平面

空间曲线

r(t)=(x(t),y(t),z(t))\mathbf r(t)=(x(t),y(t),z(t))

在 t=t0t=t_0 处若 r′(t0)≠0\mathbf r'(t_0)\ne\mathbf0,切向量就是

T=r′(t0).\mathbf T=\mathbf r'(t_0).

过点 r(t0)\mathbf r(t_0)、方向为 T\mathbf T 的直线是切线。以 T\mathbf T 为法向量、过该点的平面称为法平面。

若曲线由两个曲面交线

F(x,y,z)=0,G(x,y,z)=0F(x,y,z)=0,\qquad G(x,y,z)=0

给出,那么切向量同时垂直于两个梯度,可取

T=∇F×∇G.\mathbf T=\nabla F\times\nabla G.

前提是两个梯度不平行,叉积不为零。

曲面的切平面与法线

隐式曲面 F(x,y,z)=0F(x,y,z)=0 在点 P0P_0 处若 ∇F(P0)≠0\nabla F(P_0)\ne0,梯度是法向量。切平面为

∇F(P0)⋅(r−r0)=0.\nabla F(P_0)\cdot(\mathbf r-\mathbf r_0)=0.

对显式曲面 z=f(x,y)z=f(x,y),令

F(x,y,z)=f(x,y)−z,F(x,y,z)=f(x,y)-z,

法向量可取 (fx,fy,−1)(f_x,f_y,-1),于是切平面等价于一阶线性化:

z−z0=fx(x0,y0)(x−x0)+fy(x0,y0)(y−y0).z-z_0=f_x(x_0,y_0)(x-x_0)+f_y(x_0,y_0)(y-y_0).

无约束极值

若可微函数在区域内部点取得局部极值,则该点满足

∇f=0.\nabla f=0.

这是必要条件,不是充分条件。驻点可能是极大、极小、鞍点,甚至二阶判别仍无法决定。

对二元函数,在驻点记

A=fxx,B=fxy,C=fyy,Δ=AC−B2.A=f_{xx},\qquad B=f_{xy},\qquad C=f_{yy},\qquad \Delta=AC-B^2.

则:

  • Δ>0,A>0\Delta>0,A>0:严格局部极小;
  • Δ>0,A<0\Delta>0,A<0:严格局部极大;
  • Δ<0\Delta<0:鞍点;
  • Δ=0\Delta=0:二阶判别失效,要回到定义、配方或高阶项。

这就是判断 Hessian 正定、负定或不定的二维版本。

闭区域上的最值

连续函数在有界闭区域上必能取到最大最小值。候选点来自三处:

  1. 区域内部的驻点;
  2. 边界上的驻点和端点、拐角;
  3. 函数不可微但有定义的点。

算出全部候选值后直接比较。只做 ∇f=0\nabla f=0 会漏掉边界最值。

边界若可参数化为 r(t)\mathbf r(t),就把 f(r(t))f(\mathbf r(t)) 化成一元函数;若边界由等式给出,也可用 Lagrange 乘子。

条件极值与 Lagrange 乘子

在约束

g(x,y)=0g(x,y)=0

上求 ff 的极值。约束曲线的切向量与 ∇g\nabla g 垂直;极值点沿约束的切向变化率为零,所以 ∇f\nabla f 也垂直于切线。正则点处两个梯度平行:

∇f+λ∇g=0,g=0.\nabla f+\lambda\nabla g=0,\qquad g=0.

定义 Lagrange 函数

L(x,y,λ)=f(x,y)+λg(x,y),L(x,y,\lambda)=f(x,y)+\lambda g(x,y),

解 Lx=Ly=Lλ=0L_x=L_y=L_\lambda=0 得到候选点。

多个约束 g1=⋯=gm=0g_1=\cdots=g_m=0 时,

∇f+∑i=1mλi∇gi=0.\nabla f+\sum_{i=1}^{m}\lambda_i\nabla g_i=0.

乘子法给的是必要条件。还要:

  • 检查约束梯度是否退化;
  • 找全方程组的解;
  • 若约束集合有边界或不光滑点,单独处理;
  • 根据题意或比较函数值决定极大、极小。

一个直观例子

在椭圆 x2/a2+y2/b2=1x^2/a^2+y^2/b^2=1 上求离原点最远点,相当于极值

f=x2+y2,g=x2a2+y2b2−1.f=x^2+y^2,\qquad g=\frac{x^2}{a^2}+\frac{y^2}{b^2}-1.

方程 ∇f+λ∇g=0\nabla f+\lambda\nabla g=0 会给出坐标轴上的候选点。最终比较 a2,b2a^2,b^2,较长半轴的端点最远。乘子 λ\lambda 的数值不是目标,候选点和目标函数值才是答案。

一条统一主线

  • 曲面 F=cF=c 的法向量是 ∇F\nabla F;
  • 无约束极值要求 ∇f=0\nabla f=0;
  • 有约束极值要求 ∇f\nabla f 落在约束梯度张成的法空间里。

这样理解后,切平面和 Lagrange 乘子不再是两套孤立公式。

评论