多變數函數 II:在三維空間中理解導數與極值

第 13.5-13.10 節|互動教學式講義|曲面、切向、法向與最佳化
$\dfrac{dw}{dt}=w_xx'+w_yy',\quad D_{\mathbf u}f=\nabla f\cdot\mathbf u,\quad \nabla F(P)\perp T_PS,\quad \nabla f=\lambda\nabla g$
13.5 多變數函數的連鎖率

鏈鎖律:沿著曲面上的路徑累積變化

本節先處理一個獨立變數,再處理兩個獨立變數。依賴圖可以幫助記公式,但真正的幾何意思是:$t$ 改變時,$(x(t),y(t))$ 在 $xy$ 平面移動,曲面上的點 $(x(t),y(t),w(t))$ 也跟著移動;高度變化由 $x$ 方向與 $y$ 方向的貢獻相加。

定理 13.6 / 13.7

若 $w=f(x,y)$ 且 $x=g(t),\ y=h(t)$,則

$$\frac{dw}{dt}=w_x\frac{dx}{dt}+w_y\frac{dy}{dt}.$$

若 $x=g(s,t),\ y=h(s,t)$,則

$$\frac{\partial w}{\partial s}=w_xx_s+w_yy_s,\qquad \frac{\partial w}{\partial t}=w_xx_t+w_yy_t.$$
w_x w_y x'(t) y'(t) w x y t t $\frac{dw}{dt}=w_x x'+w_y y'$ w_x w_y x_s x_t y_s y_t w x y s t s t $\partial w/\partial s=w_x x_s+w_y y_s,\ \partial w/\partial t=w_x x_t+w_y y_t$
左:單獨立變數樹(每條分支對應一個乘積項) · 右:兩個獨立變數樹(每個 ∂/∂s 收集對 s 的所有分支)
概念辨析 · 先代入 vs. 鏈鎖律

$x,y$ 對 $t$ 顯式可代:兩種作法等價,先代入後微分常常更省事;
$f$ 抽象(例如熱力學 $U(p,V)$ 中的 $p,V$ 又依賴 $T,S$):只有鏈鎖律可用。記住:所有「鏈鎖律例題」的核心都是把單變數鏈鎖律對每條樹枝加總

單獨立變數的鏈鎖律

講義例題 1
$w=x^2y-y^2,\ x=\sin t,\ y=e^t$,求 $\dfrac{dw}{dt}\bigg|_{t=0}$
步驟 1
偏導與對 $t$ 的導數:$w_x=2xy,\ w_y=x^2-2y,\ x'=\cos t,\ y'=e^t$。
步驟 2
在 $t=0$ 時 $x=\sin 0=0,\ y=e^0=1$,故 $w_x(0,1)=0,\ w_y(0,1)=-2$;$x'(0)=1,\ y'(0)=1$。
步驟 3
套用定理 13.6:$\dfrac{dw}{dt}\bigg|_{t=0}=0\cdot 1+(-2)\cdot 1$。
$\dfrac{dw}{dt}\bigg|_{t=0}=-2$

兩個獨立變數:先代入 vs. 鏈鎖律

講義例題 3
先代入法 已知 $w=2xy,\ x=s^2+t^2,\ y=s/t$,求 $\dfrac{\partial w}{\partial s}$ 與 $\dfrac{\partial w}{\partial t}$。
步驟 1
把 $x,y$ 代入:$w=2(s^2+t^2)\cdot\dfrac{s}{t}=\dfrac{2s^3}{t}+2st$。
步驟 2
對 $s$、$t$ 微分:$\dfrac{\partial w}{\partial s}=\dfrac{6s^2}{t}+2t$,$\dfrac{\partial w}{\partial t}=-\dfrac{2s^3}{t^2}+2s$。
$\dfrac{\partial w}{\partial s}=\dfrac{6s^2}{t}+2t,\ \dfrac{\partial w}{\partial t}=-\dfrac{2s^3}{t^2}+2s$
講義例題 4
鏈鎖律法 已知 $w=2xy,\ x=s^2+t^2,\ y=s/t$,用鏈鎖律求 $\dfrac{\partial w}{\partial s}$ 與 $\dfrac{\partial w}{\partial t}$。
步驟 1
$w_x=2y,\ w_y=2x$;$x_s=2s,\ x_t=2t,\ y_s=1/t,\ y_t=-s/t^2$。
步驟 2
$\dfrac{\partial w}{\partial s}=w_x x_s+w_y y_s=2y(2s)+2x(1/t)=4ys+\dfrac{2x}{t}$。
步驟 3
代回 $x=s^2+t^2,\ y=s/t$:$\dfrac{\partial w}{\partial s}=\dfrac{4s^2}{t}+\dfrac{2(s^2+t^2)}{t}=\dfrac{6s^2}{t}+2t$。同理 $\dfrac{\partial w}{\partial t}=-\dfrac{2s^3}{t^2}+2s$。
兩法答案一致 ✓
講義例題 5
三變數 $w=xy+yz+xz$,$x=s\cos t,\ y=s\sin t,\ z=t$,求 $(s,t)=(1,2\pi)$ 處的偏導
步驟 1(偏導)
$w_x=y+z,\ w_y=x+z,\ w_z=y+x$。
步驟 2(中間變數)
$x_s=\cos t,\ y_s=\sin t,\ z_s=0$;$x_t=-s\sin t,\ y_t=s\cos t,\ z_t=1$。
步驟 3(代入 $s=1,t=2\pi$)
$x=1,\ y=0,\ z=2\pi$;$w_x=2\pi,\ w_y=1+2\pi,\ w_z=1$;$x_s=1,\ y_s=0,\ z_s=0$;$x_t=0,\ y_t=1,\ z_t=1$。
步驟 4(套鏈鎖律)
$\dfrac{\partial w}{\partial s}=(2\pi)(1)+(1+2\pi)(0)+(1)(0)=2\pi$;$\dfrac{\partial w}{\partial t}=(2\pi)(0)+(1+2\pi)(1)+(1)(1)=2+2\pi$。
$\dfrac{\partial w}{\partial s}\bigg|_{(1,2\pi)}=2\pi,\quad \dfrac{\partial w}{\partial t}\bigg|_{(1,2\pi)}=2+2\pi$
快速檢查
給 $w=xy^2,\ x=t,\ y=t^2$,求 $\dfrac{dw}{dt}\bigg|_{t=1}$。

13.5.2 隱(偏)微分

定理 13.8 隱微分

若 $F(x,y)=0$ 隱含定義 $y=y(x)$,鏈鎖律給 $F_x+F_y\,dy/dx=0$,故

$$\frac{dy}{dx}=-\frac{F_x}{F_y}\quad(F_y\ne 0).$$

若 $F(x,y,z)=0$ 隱含定義 $z=z(x,y)$,則 $\displaystyle z_x=-F_x/F_z,\ z_y=-F_y/F_z\ (F_z\ne 0)$。

講義例題 6
求 $\dfrac{dy}{dx}$,已知 $y^3+y^2-5y-x^2+4=0$
步驟 1
令 $F(x,y)=y^3+y^2-5y-x^2+4$。
步驟 2
$F_x=-2x$,$F_y=3y^2+2y-5$。
步驟 3
$\dfrac{dy}{dx}=-\dfrac{F_x}{F_y}=-\dfrac{-2x}{3y^2+2y-5}$。
$\dfrac{dy}{dx}=\dfrac{2x}{3y^2+2y-5}$
講義例題 7
求 $\dfrac{\partial z}{\partial x},\dfrac{\partial z}{\partial y}$,已知 $3x^2z-x^2y^2+2z^3+3yz-5=0$
步驟 1
令 $F=3x^2z-x^2y^2+2z^3+3yz-5$。
步驟 2
$F_x=6xz-2xy^2,\ F_y=-2x^2y+3z,\ F_z=3x^2+6z^2+3y$。
步驟 3
$\dfrac{\partial z}{\partial x}=-\dfrac{F_x}{F_z}=\dfrac{2xy^2-6xz}{3x^2+6z^2+3y}$。
$\dfrac{\partial z}{\partial x}=\dfrac{2xy^2-6xz}{3x^2+6z^2+3y},\quad \dfrac{\partial z}{\partial y}=\dfrac{2x^2y-3z}{3x^2+6z^2+3y}$
概念辨析 · 鏈鎖律 ↔ 全微分

13.4 的全微分 $dw=w_x\,dx+w_y\,dy$ 與鏈鎖律相容:若 $x,y$ 都依賴 $t$,兩邊除以 $dt$ 就得到 $\frac{dw}{dt}=w_x\frac{dx}{dt}+w_y\frac{dy}{dt}$。同樣地,當 $F(x,y)=0$ 把 $y$ 視為 $x$ 的函數,全微分對 $F$ 取 $0$ 即得 $F_x+F_y\,y'=0$,這就是隱微分公式的來源。

概念題
給 $w=f(x,y)$,$x=g(s,t),\ y=h(s,t)$。下列哪一個 $\dfrac{\partial w}{\partial s}$ 的展開式是正確的?
13.5 重點整理
  • 單獨立變數:$\dfrac{dw}{dt}=w_x\,x'+w_y\,y'$。
  • 多獨立變數:對每個 $s,t$ 各畫一棵樹,沿樹枝乘起來、再沿同一變數的路徑加總。
  • 三變數版只是把樹再多一個分支(例題 5 的 $z$ 條)。
  • 隱微分:$\dfrac{dy}{dx}=-\dfrac{F_x}{F_y}$、$z_x=-\dfrac{F_x}{F_z}$、$z_y=-\dfrac{F_y}{F_z}$。記得分母不為零。
13.6 方向導數和梯度向量

方向導數:用方向切割平面看某方向的一維斜率

偏導數只看座標軸方向;方向導數看任意單位向量 $\mathbf u=(\cos\theta,\sin\theta)$。在三維圖形中,固定方向 $\mathbf u$ 等於拿一個垂直平面切曲面,截痕曲線在點上的切線斜率就是 $D_{\mathbf u}f$。

定義 13.8 / 定理 13.10 $$D_{\mathbf u}f(x,y)=\lim_{t\to0}\frac{f(x+t\cos\theta,y+t\sin\theta)-f(x,y)}{t} =\nabla f(x,y)\cdot\mathbf u.$$

3D 截痕 + 2D 等高線:兩種視角同步

左:曲面 $z=f(x,y)$ 與切割平面(沿 $\mathbf u$ 的垂直平面),平面與曲面交出黃色截痕,紅點處的切線斜率就是 $D_{\mathbf u}f$。右:俯視等高線圖,紅色 梯度、藍色 $\mathbf u$,可看出當 $\mathbf u$ 與等高線垂直(與梯度同向)時 $D_{\mathbf u}f$ 達到最大值 $\|\nabla f\|$。

$\theta$ 60°
3D 切割平面
2D 等高線
$\mathbf u$
向量(0.50, 0.87)
$\nabla f(P)$
向量(-2, -1)
$\|\nabla f\|$$\sqrt 5$
方向導數
$D_{\mathbf u}f$-1.866
夾角 cos-0.836
概念辨析 · 梯度 vs. 方向導數

$\nabla f$向量,由各偏導排成;$D_{\mathbf u}f$純量,是 $f$ 沿 $\mathbf u$ 的瞬時變化率。兩者透過內積相連:$D_{\mathbf u}f=\nabla f\cdot\mathbf u=\|\nabla f\|\cos\alpha$($\alpha$ 為 $\nabla f$ 與 $\mathbf u$ 夾角)。當 $\alpha=0$ 取最大、$\alpha=\pi/2$ 為零、$\alpha=\pi$ 取最小。

講義例題(基本算法)

講義例題 1
求 $f(x,y)=4-x^2-\dfrac14 y^2$ 在 $P=(1,2)$、沿單位向量 $\mathbf u=\cos(\pi/3)\mathbf i+\sin(\pi/3)\mathbf j$ 方向的方向導數。
步驟 1
$f_x=-2x,\ f_y=-y/2$;$\nabla f(1,2)=(-2,-1)$。
步驟 2
$\mathbf u=(\cos\tfrac\pi 3,\sin\tfrac\pi 3)=(1/2,\sqrt 3/2)$(已是單位向量)。
步驟 3
$D_{\mathbf u}f=\nabla f\cdot\mathbf u=(-2)(1/2)+(-1)(\sqrt 3/2)$。
$D_{\mathbf u}f(1,2)=-1-\dfrac{\sqrt 3}{2}\approx -1.866$
講義例題 2
陷阱題 求 $f(x,y)=x^2\sin(2y)$ 在 $(1,\pi/2)$、沿 $\mathbf v=3\mathbf i-4\mathbf j$ 方向的方向導數。
步驟 1(先正規化!)
$\|\mathbf v\|=\sqrt{9+16}=5$,故 $\mathbf u=\mathbf v/5=(3/5,-4/5)$。
步驟 2
$f_x=2x\sin 2y,\ f_y=2x^2\cos 2y$;在 $(1,\pi/2)$:$f_x=2\sin\pi=0$、$f_y=2\cos\pi=-2$。
步驟 3
$D_{\mathbf u}f=0\cdot(3/5)+(-2)\cdot(-4/5)=8/5$。
$D_{\mathbf u}f(1,\pi/2)=\dfrac{8}{5}$
講義例題 3
求梯度:$f=y\ln x+xy^2$,在 $(1,2)$
步驟 1
$f_x=\dfrac{y}{x}+y^2,\ f_y=\ln x+2xy$。
步驟 2
在 $(1,2)$:$f_x=2/1+4=6,\ f_y=\ln 1+4=4$。
$\nabla f(1,2)=6\mathbf i+4\mathbf j$
講義例題 4
用梯度求方向導數:$f=3x^2-2y^2$,從 $P(-3/4,0)$ 朝 $Q(0,1)$
步驟 1(方向向量)
$\overrightarrow{PQ}=(3/4,1)$,$\|\overrightarrow{PQ}\|=5/4$,$\mathbf u=(3/5,4/5)$。
步驟 2(梯度)
$\nabla f=(6x,-4y)$;在 $(-3/4,0)$:$\nabla f=(-9/2,0)$。
步驟 3
$D_{\mathbf u}f=(-9/2)(3/5)+0\cdot(4/5)$。
$D_{\mathbf u}f(-3/4,0)=-\dfrac{27}{10}$
快速檢查
$f=4-x^2-\dfrac14 y^2$,$P=(1,2)$,$\mathbf u=\dfrac{1}{\sqrt 2}(1,1)$。求 $D_{\mathbf u}f$(保留 3 位小數)。

例題 5:最大上升方向(溫度等高線)

金屬板上的等溫線與梯度

$T=20-4x^2-y^2$
例題 5
$T(x,y)=20-4x^2-y^2$,$P=(2,-3)$
求從 $P$ 出發溫度增加最快方向與最大增加率;紅箭頭 = $\nabla T$,橢圓 = 等溫線。
分析
$\nabla T$$(-8x,-2y)$
$\nabla T(2,-3)$$(-16,6)$
$\|\nabla T\|$$2\sqrt{73}$
單位℃/cm
推導

$T_x=-8x,\ T_y=-2y$;$\nabla T(2,-3)=(-16,6)$。最大上升方向沿此向量;最大增加率為其長度 $\sqrt{256+36}=2\sqrt{73}$ ℃/cm。

概念題
已知 $\nabla f(P)=(3,4)$。在 $P$ 處 $f$ 沿任何單位向量的最大方向導數為何?

例題 7:梯度垂直等高線(直觀)

講義例題 7
對 $f(x,y)=y-\sin x$,畫出對應 $c=0$ 的等高線,並在曲線上數個點求法向量。

$\nabla f=(-\cos x,1)$ 在曲線上每一點都垂直於切向(曲線切向 $(1,\cos x)$ 與 $\nabla f=(-\cos x,1)$ 內積 $=-\cos x+\cos x=0$)。在等高線上前進 $f$ 不變,所以梯度(最大變化方向)必與等高線正交。這個性質在 13.7 切平面、13.8 鞍點分析裡會反覆出現。

三變數梯度

定義 13.10 $$\nabla f(x,y,z)=f_x\mathbf i+f_y\mathbf j+f_z\mathbf k,\qquad D_{\mathbf u}f=\nabla f\cdot\mathbf u.$$

在三維中:梯度垂直於 等位面 $f(x,y,z)=c$(不再是曲線而是曲面),長度仍為最大方向導數。

例題 8:等位面與梯度

$f=x^2+y^2-4z$ 的等位面
例題 8
$f(x,y,z)=x^2+y^2-4z$,$P=(2,-1,1)$
求 $\nabla f(P)$、最大上升方向與最大增加率;藍色為通過 $P$ 的等位面 $f=-1$。
計算
$\nabla f$$(2x,2y,-4)$
$\nabla f(P)$$(4,-2,-4)$
$\|\nabla f(P)\|$$6$
最大上升方向$(2/3,-1/3,-2/3)$
概念辨析 · 「$\mathbf u$ 必須是單位向量」

例題 4 給的方向是 $\overrightarrow{PQ}=(3/4,1)$,長度 $5/4\ne 1$。若直接用它代公式會得到錯誤的「方向導數」(量綱多一倍)。永遠先除以 $\|\mathbf v\|$ 再代入。例題 2 的 $\mathbf v=3\mathbf i-4\mathbf j$ 也是同樣的陷阱。

概念題
公式 $D_{\mathbf u}f=\nabla f\cdot\mathbf u$ 中,下列哪個量「必須」是單位向量?
13.6 重點整理
  • 方向導數定義:$D_{\mathbf u}f=\lim_{t\to 0}\frac{f(P+t\mathbf u)-f(P)}{t}$;計算式:$D_{\mathbf u}f=f_x\cos\theta+f_y\sin\theta=\nabla f\cdot\mathbf u$。
  • 梯度 $\nabla f=(f_x,f_y)$(或 $(f_x,f_y,f_z)$):最大上升方向,最大率 $\|\nabla f\|$;最快下降為 $-\nabla f$。
  • 梯度垂直等高線(2D)垂直等位面(3D)
  • $\mathbf u$ 一定要先正規化;非單位向量請先除以其長度。
13.7 切平面和法線

切平面與法線:$\nabla F(P)$ 是曲面的法向量

曲面若寫成 $F(x,y,z)=0$,切平面和法線可以統一由 $\nabla F(P)$ 決定。這裡不只看平面投影,而是在三維中同時看曲面、貼住曲面的切平面,以及穿過切點的法線。

定義 13.11 / 定理 13.13

若 $F$ 在 $P=(x_0,y_0,z_0)$ 可微,且 $P$ 在曲面 $F(x,y,z)=0$ 上、$\nabla F(P)\ne0$,則切平面為

$$F_x(P)(x-x_0)+F_y(P)(y-y_0)+F_z(P)(z-z_0)=0.$$

法線通過 $P$,方向向量也是 $\nabla F(P)$。

概念辨析 · $\nabla F$ 的兩個身分

13.6:對 $f(x,y)$,$\nabla f(x_0,y_0)$ 在 2D 平面中是「等高線 $f=c$」的法向量;
13.7:對 $F(x,y,z)$,$\nabla F(x_0,y_0,z_0)$ 在 3D 空間中是「等位面 $F=c$」的法向量。
形式相同,但所在空間不同。當 $F=f(x,y)-z$ 時,$\nabla F=(f_x,f_y,-1)$,第三個分量恆為 $-1$;這就是把 $z=f(x,y)$ 翻譯為 $F=0$ 形式時的代價。

曲面、切平面與法線(講義例題)

曲面 + 黃色切平面
例題 1
$F=x^2+y^2+z^2-4=0$(球面,半徑 2)
$\nabla F(P)=2P$,方向就是從原點射向 $P$。
計算結果
法向量(2, 2, 2√2/√1)
切平面x+y+√2 z=4

兩曲面交線的切線(外積)

向量工具 外積:同時垂直於兩個向量的方向

外積只在三維向量中使用。若 $\mathbf a=(a_1,a_2,a_3)$、$\mathbf b=(b_1,b_2,b_3)$,則

$$\mathbf a\times\mathbf b=(a_2b_3-a_3b_2,\ a_3b_1-a_1b_3,\ a_1b_2-a_2b_1).$$

它的方向同時垂直於 $\mathbf a$ 與 $\mathbf b$;長度等於以 $\mathbf a,\mathbf b$ 為邊的平行四邊形面積。兩曲面交線的切向量必須同時躺在兩個曲面的切平面內,因此要同時垂直於兩個法向量 $\nabla F$ 與 $\nabla G$,所以可用 $\nabla F\times\nabla G$ 找方向。

$\nabla F\times\nabla G$ 為交線方向
例題 5
$x^2+2y^2+2z^2=20,\ x^2+y^2+z=4$
描述兩曲面交線在 $P=(0,1,3)$ 的切線;交線切向 = 兩法向量的外積。
三向量
$\nabla F$(白)$(0,4,12)$
$\nabla G$(藍)$(0,2,1)$
$\nabla F\times\nabla G$(黃)$(-20,0,0)$
交線方向沿 $-x$ 軸

講義例題完整解題步驟

講義例題 1
對等位面 $F(x,y,z)=x^2+y^2+z^2-4=0$,說明 $\nabla F$ 與曲面法向量的關係。
幾何
$F=0$ 即 $x^2+y^2+z^2=4$,為以原點為中心、半徑 $r=2$ 的球面。
$\nabla F$
$\nabla F=(2x,2y,2z)$。在球面上每一點 $\nabla F$ 等於 $2$ 倍位置向量,因此自然沿球面的徑向,正是球面切平面的法向量。
球面,$r=2$;任一點切平面的法向量 $=2(x,y,z)$。
講義例題 2
求曲面 $z^2-2x^2-2y^2=12$ 在 $(1,-1,4)$ 的切平面。
步驟 1
令 $F=z^2-2x^2-2y^2-12$。$\nabla F=(-4x,-4y,2z)$,在 $P$:$\nabla F=(-4,4,8)$。
步驟 2
切平面:$-4(x-1)+4(y+1)+8(z-4)=0$。
$-4x+4y+8z-24=0$,化簡 $-x+y+2z=6$
講義例題 3
$z=f(x,y)$ 形式 求曲面 $z=1-\dfrac{x^2+4y^2}{10}$ 在 $(1,1,1/2)$ 的切平面。
步驟 1(兩種寫法)
令 $F=f(x,y)-z=1-\dfrac{x^2+4y^2}{10}-z$,則 $F_x=-x/5,\ F_y=-4y/5,\ F_z=-1$。
步驟 2(在 $P$)
$F_x(1,1)=-1/5,\ F_y(1,1)=-4/5,\ F_z=-1$。
步驟 3
切平面:$-\dfrac15(x-1)-\dfrac45(y-1)-(z-\dfrac12)=0$。乘 $-10$ 得 $2(x-1)+8(y-1)+10(z-1/2)=0$。
$2x+8y+10z=15$
講義例題 4
求曲面 $xyz=12$ 在 $(2,-2,-3)$ 的法線。
步驟 1
$F=xyz-12$,$\nabla F=(yz,xz,xy)$。
步驟 2
在 $P$:$\nabla F=((-2)(-3),(2)(-3),(2)(-2))=(6,-6,-4)$。
步驟 3(法線參數式)
法線通過 $P=(2,-2,-3)$,方向向量為 $(6,-6,-4)$,所以先寫成參數式 $$x=2+6t,\qquad y=-2-6t,\qquad z=-3-4t.$$ 這裡的同一個參數 $t$ 表示沿著同一條直線走的距離比例。
步驟 4(參數式轉對稱式)
從三個參數式各自解出 $t$: $$t=\frac{x-2}{6},\qquad t=\frac{y+2}{-6},\qquad t=\frac{z+3}{-4}.$$ 因為三式描述的是同一條直線上的同一個參數,所以把三個 $t$ 相等,即得到對稱式。
$\dfrac{x-2}{6}=\dfrac{y+2}{-6}=\dfrac{z+3}{-4}$
快速檢查
$F=x^2+y^2+z^2-9=0$(球面)在 $(1,2,2)$ 的切平面為 $x+2y+2z=k$,求 $k$。
概念題
若曲面 $F(x,y,z)=0$ 在某點 $P$ 滿足 $\nabla F(P)=\mathbf 0$,關於定理 13.13 的切平面公式,下列何者正確?
13.7 重點整理
  • 對曲面 $F(x,y,z)=0$,$\nabla F(P)$ 即切平面的法向量、也是法線方向。
  • 切平面:$F_x(P)(x-x_0)+F_y(P)(y-y_0)+F_z(P)(z-z_0)=0$。
  • $z=f(x,y)$ 形式:令 $F=f(x,y)-z$,則切平面為 $f_x(x-x_0)+f_y(y-y_0)-(z-z_0)=0$。
  • 兩曲面交線的切向 = $\nabla F\times\nabla G$;外積給出同時垂直於兩個法向量的方向。
  • 定理 13.13 的使用條件包含 $\nabla F(P)\ne0$;若條件不滿足,不能直接套切平面公式。
13.8 兩變數函數的極值

極值地形:水平切平面不等於一定有極值

臨界點的意思是 $f_x=f_y=0$ 或偏導不存在;若 $f_x=f_y=0$,幾何上代表切平面水平。但水平切平面可能是碗底、帽頂,也可能是鞍點,因此還需要二階偏導數檢定。

定理 13.15-13.17

若 $f_x(a,b)=0,\ f_y(a,b)=0$ 且二階偏導連續,令

$$d=f_{xx}(a,b)f_{yy}(a,b)-[f_{xy}(a,b)]^2.$$

$d>0,f_{xx}>0$ 為相對極小;$d>0,f_{xx}<0$ 為相對極大;$d<0$ 為鞍點;$d=0$ 則本檢定無結論。

二階偏導檢定的直覺

這裡只用講義前面已經建立的「增量」與「微分近似」來看。從點 $(a,b)$ 移到附近點 $(a+u,b+v)$,也就是令 $$u=\Delta x,\qquad v=\Delta y,$$ 函數高度的改變量是 $$\Delta f=f(a+u,b+v)-f(a,b).$$

講義 13.4 說過,若函數可微,第一個線性近似來自全微分: $$\Delta f\approx df=f_x(a,b)u+f_y(a,b)v.$$ 這一整塊稱為一階項,因為它只含有 $u$、$v$ 的一次方。幾何上,一階項描述切平面的傾斜:往 $x$ 方向走 $u$,高度約改變 $f_x(a,b)u$;往 $y$ 方向走 $v$,高度約改變 $f_y(a,b)v$。

可是二階偏導檢定只在講義定理 13.17 的條件下使用,也就是 $$f_x(a,b)=0,\qquad f_y(a,b)=0.$$ 因此在臨界點,一階項變成 $$f_x(a,b)u+f_y(a,b)v=0\cdot u+0\cdot v=0.$$ 這表示切平面是水平的;只看一階近似時,附近所有方向的高度改變都被估成 $0$,所以它無法分辨此點是極大、極小,還是鞍點。

下一步要問:既然一階項消失,那高度的下一層變化從哪裡來?答案是:看斜率本身怎麼變。$f_x$ 和 $f_y$ 也是 $x,y$ 的函數,所以從 $(a,b)$ 移到 $(a+u,b+v)$ 時,可以再用一次線性近似:

$$f_x(a+u,b+v)\approx f_x(a,b)+f_{xx}(a,b)u+f_{xy}(a,b)v,$$ $$f_y(a+u,b+v)\approx f_y(a,b)+f_{yx}(a,b)u+f_{yy}(a,b)v.$$

在臨界點 $f_x(a,b)=f_y(a,b)=0$,所以上式變成:沿路走動時,$x$ 方向斜率大約由 $f_{xx}u+f_{xy}v$ 控制,$y$ 方向斜率大約由 $f_{yx}u+f_{yy}v$ 控制。也就是說,二階偏導數描述的是「斜率的變化」。

把這些斜率變化累積成高度變化,就得到二階項: $$\frac12\left(f_{xx}(a,b)u^2+2f_{xy}(a,b)uv+f_{yy}(a,b)v^2\right).$$ 它含有 $u^2$、$uv$、$v^2$,所以叫二階項。前面的 $\frac12$ 可理解為:斜率不是一開始就跳到終點的大小,而是從 $0$ 逐漸變化,累積高度時取到平均效果。這裡不需要額外定理,只要抓住講義的想法:一階項看「斜率」,二階項看「斜率如何改變」。

因此在臨界點附近,扣掉原本高度後主要看

$$f(a+u,b+v)-f(a,b)\approx \frac12\left(f_{xx}u^2+2f_{xy}uv+f_{yy}v^2\right).$$

$d=f_{xx}f_{yy}-f_{xy}^2$ 的作用,就是判斷這個二階式在所有方向 $(u,v)$ 上是否同號。若 $d>0$,所有方向的二階變化同號;再看 $f_{xx}$:正表示附近都較高,是相對極小;負表示附近都較低,是相對極大。若 $d<0$,不同方向的二階變化有正有負,所以是鞍點。若 $d=0$,二階資訊不足,正如講義所說,要改用圖形或其他方法判斷。

概念辨析 · 「臨界點」的兩種來源

定義 13.13:$(a,b)$ 是 $f$ 的臨界點,若
(1)$f_x(a,b)=f_y(a,b)=0$,或
(2)$f_x$ 或 $f_y$ 在 $(a,b)$ 不存在。
兩類都可能是極值;二階檢定法 (定理 13.17) 只能用在情況 (1)。

3D 地形 + 2D 等高線:5 種典型情況

3D 曲面與臨界點
2D 等高線
例題 1
函數$f=2x^2+y^2+8x-6y+20$
$(-2,3)$ 是相對極小
分類
臨界點(-2, 3)
$d$8
結論相對極小,f=3
概念辨析 · 鞍點與水平切平面

鞍點滿足 $\nabla f(P)=0$ 但不是極值點:沿某些方向是極小、沿其他方向卻是極大(典型如 $f=y^2-x^2$ 在 $(0,0)$)。所以「水平切平面」不蘊含「極值」,必須再做二階檢定。

講義例題完整解題步驟

講義例題 1
求 $f(x,y)=2x^2+y^2+8x-6y+20$ 的臨界點,並判斷相對極值。
步驟 1(找臨界點)
$f_x=4x+8=0\Rightarrow x=-2$;$f_y=2y-6=0\Rightarrow y=3$。臨界點 $(-2,3)$。
步驟 2(二階檢定)
$f_{xx}=4,\ f_{yy}=2,\ f_{xy}=0$;$d=4\cdot 2-0=8>0$ 且 $f_{xx}=4>0$。
步驟 3(代回)
$f(-2,3)=8+9-16-18+20=3$。
$(-2,3)$ 是相對極小(也是絕對極小),$f=3$。
講義例題 2
偏導不存在 對 $f(x,y)=1-(x^2+y^2)^{1/3}$,找出臨界點並判斷是否為相對極值。
步驟 1
對任意 $(x,y)\ne (0,0)$:$f_x=-\dfrac{2x}{3(x^2+y^2)^{2/3}}$、$f_y=-\dfrac{2y}{3(x^2+y^2)^{2/3}}$。在 $(0,0)$ 分母為 $0$ — 偏導不存在
步驟 2
$(0,0)$ 仍是臨界點(屬定義 13.13 的情況 2)。
步驟 3(直接比較)
對任意 $(x,y)\ne(0,0)$,$f(x,y)=1-(x^2+y^2)^{1/3}<1=f(0,0)$。
$(0,0)$ 是相對極大,$f(0,0)=1$。注意:此處無法用二階檢定(偏導不存在),只能用直接比較。
講義例題 3
求 $f(x,y)=-x^3+4xy-2y^2+1$ 的臨界點,並用二階偏導數檢定分類。
步驟 1
$f_x=-3x^2+4y=0$、$f_y=4x-4y=0\Rightarrow y=x$。代回:$-3x^2+4x=0\Rightarrow x(3x-4)=0$。臨界點 $(0,0)$、$(4/3,4/3)$。
步驟 2
$f_{xx}=-6x,\ f_{yy}=-4,\ f_{xy}=4$。
在 $(0,0)$:$d=0\cdot(-4)-16=-16<0$ → 鞍點。
在 $(4/3,4/3)$:$f_{xx}=-8$,$d=(-8)(-4)-16=16>0$ 且 $f_{xx}<0$ → 相對極大。
步驟 3(值)
$f(4/3,4/3)=-(4/3)^3+4(4/3)^2-2(4/3)^2+1=-64/27+32/9+1=59/27$。
$(0,0)$ 鞍點;$(4/3,4/3)$ 相對極大 $f=59/27\approx 2.185$。
講義例題 4
$d=0$ 失效 求 $f(x,y)=x^2y^2$ 的臨界點,並判斷這些點的極值性質。
步驟 1
$f_x=2xy^2,\ f_y=2x^2y$。$f_x=f_y=0$ 的解集為兩條臨界軸:座標軸 $\{x=0\}\cup\{y=0\}$(無限多個臨界點)。
步驟 2
$f_{xx}=2y^2,\ f_{yy}=2x^2,\ f_{xy}=4xy$。在座標軸上 $d=0$ → 二階檢定失效。
步驟 3(代數結構)
$f=x^2y^2\ge 0$,且在座標軸上 $f=0$。
座標軸上每點都是非嚴格相對極小(也是絕對極小)。

例題 5:閉區域上的絕對極值(4 步驟流程)

$f=\sin(xy)$ 在 $[0,\pi]\times[0,1]$

內部臨界曲線 $xy=\pi/2$ + 邊界
講義例題 5
求 $f(x,y)=\sin(xy)$ 在閉區域 $0\le x\le\pi,\ 0\le y\le1$ 上的絕對極值。
步驟 1(內部臨界點)
$f_x=y\cos(xy),\ f_y=x\cos(xy)$。在內部 $0
步驟 2(另一個臨界點)
在整個區域中還有 $(0,0)$ 使 $f_x=f_y=0$,且 $f(0,0)=0$。講義特別指出,因為 $0\le xy\le\pi$,所以 $0\le\sin(xy)\le1$,因此 $0$ 會是絕對最小值,$1$ 會是絕對最大值。
步驟 3(四條邊界逐一檢查)

$x=0$:$f(0,y)=\sin 0=0$,整條 $y$ 軸邊界都是最小值點。

$y=0$:$f(x,0)=\sin 0=0$,整條 $x$ 軸邊界都是最小值點。

$x=\pi$:$f(\pi,y)=\sin(\pi y)$,$0\le y\le1$。在 $y=1/2$ 得最大值 $1$;在 $y=0,1$ 得最小值 $0$,特別包含講義列出的點 $(\pi,1)$。

$y=1$:$f(x,1)=\sin x$,$0\le x\le\pi$。在 $x=\pi/2$ 得最大值 $1$;在 $x=0,\pi$ 得最小值 $0$,其中 $x=\pi$ 也就是同一個點 $(\pi,1)$。

步驟 4(比較)
最大候選值為 $1$,出現在區域內滿足 $xy=\pi/2$ 的點,並包含邊界點 $(\pi/2,1)$ 與 $(\pi,1/2)$。最小候選值為 $0$,出現在整條 $x$ 軸、整條 $y$ 軸,以及額外的邊界點 $(\pi,1)$。
絕對最大值為 $1$;絕對最小值為 $0$。最小值點要明確包含 $(\pi,1)$,不能只寫成「邊界端點」而略過。
快速檢查
在某臨界點 $f_{xx}=2,\ f_{yy}=8,\ f_{xy}=3$。$d=f_{xx}f_{yy}-f_{xy}^2$ 為?該點分類為?
流程題(多選)
假設 $f$ 在閉有界區域 $R$ 上連續。要在 $R$ 上求 $f$ 的絕對極值,必須檢查哪些候選點?(請選擇所有正確項,按「檢查」)
13.8 重點整理(4 步驟流程)
  • 步驟 1(找臨界點):解 $f_x=f_y=0$,並另列偏導不存在的點。
  • 步驟 2(二階檢定定理 13.17):$d=f_{xx}f_{yy}-f_{xy}^2$。$d>0,f_{xx}>0$ 為極小;$d>0,f_{xx}<0$ 為極大;$d<0$ 為鞍點;$d=0$ 失效。
  • 步驟 3($d=0$ 時):回到函數的代數結構(如 $f=x^2y^2\ge 0$)或圖形判斷。
  • 步驟 4(閉區域):再加上邊界檢查(含角點);極值定理 (定理 13.15) 保證最大最小存在。
13.9 兩變數函數極值的應用(補充)

應用題(補充):把限制畫成幾何物件

13.9 不列入考試範圍,這裡只保留最大體積與最大利潤兩個建模例題作為補充。兩題都回到同一件事:先把問題寫成二變數函數,再找臨界點或比較可行區域。

例題 1:限制平面下的最大盒子

x 1.33
y 2.00
盒子 + 限制平面
例題 1
$6x+4y+3z=24$
$z=8-2x-\frac43y,\quad V=xyz$。
目前盒子
z2.67
V7.11
狀態可行;不可行時會自動拉回
最大點$(4/3,2,8/3)$
$V_{max}$$64/9$

例題 2:利潤曲面

x/1000 2.00
y/1000 4.00
曲面頂點 = 最大利潤
例題 2
$P=8x+10y-0.001(x^2+xy+y^2)-10000$
顯示時座標用千件為單位。
利潤
P(x,y)18000
最大點(2000, 4000)
最大利潤18000
應用題的共同模式

(1) 建模:把問題寫成 $F(x,y)$ 或 $F(x,y,z)$ 加限制;
(2) 消變數:用限制把 $z$(或一個變數)以另兩個表達,化為二變數函數;
(3) 找臨界點:解 $\nabla F=0$;
(4) 判型:二階檢定或實際情境(最大化體積→必有最大值);
(5) 代回:給原問題的答案。

講義例題 1:最大盒子體積(5 步驟)

講義例題 1
在第一卦限中,長方體的三個邊長 $x,y,z$ 滿足 $6x+4y+3z=24$。求使體積 $V=xyz$ 最大的 $x,y,z$ 與最大體積。
步驟 1(建模 + 消變數)
$z=\dfrac{24-6x-4y}{3}=8-2x-\dfrac{4y}{3}$;代入得 $V(x,y)=xy(8-2x-\dfrac{4y}{3})=8xy-2x^2y-\dfrac{4xy^2}{3}$。
步驟 2(偏導)
$V_x=8y-4xy-\dfrac{4y^2}{3}=y(8-4x-\dfrac{4y}{3})$;$V_y=8x-2x^2-\dfrac{8xy}{3}=x(8-2x-\dfrac{8y}{3})$。
步驟 3(解臨界點)
$x,y>0$,所以 $8-4x-4y/3=0$ 即 $y=6-3x$;$8-2x-8y/3=0$ 即 $3x+4y=12$。代入:$3x+4(6-3x)=12\Rightarrow -9x=-12\Rightarrow x=4/3,\ y=2$。
步驟 4(驗證為極大)
由問題本身(盒子體積有上限)為極大;亦可二階檢定確認。
步驟 5(代回求 $V$)
$z=8-8/3-8/3=8/3$;$V=\dfrac{4}{3}\cdot 2\cdot\dfrac{8}{3}=\dfrac{64}{9}$。
$x=4/3,\ y=2,\ z=8/3$;$V_{\max}=\dfrac{64}{9}$ 立方單位。

講義例題 2:最大利潤(含二階驗證)

講義例題 2
已知利潤函數 $P(x,y)=8x+10y-0.001(x^2+xy+y^2)-10000$,其中 $x,y$ 為產品 1 與產品 2 的產量。求最大利潤與對應產量 $(x,y)$。
步驟 1(偏導)
$P_x=8-0.001(2x+y)$;$P_y=10-0.001(x+2y)$。
步驟 2(解臨界點)
$2x+y=8000,\ x+2y=10000$。聯立得 $x=2000,\ y=4000$。
步驟 3(二階檢定)
$P_{xx}=-0.002,\ P_{yy}=-0.002,\ P_{xy}=-0.001$;$d=(-0.002)^2-(-0.001)^2=3\times 10^{-6}>0$ 且 $P_{xx}<0$ → 相對最大。
步驟 4(代回)
$P=16000+40000-0.001(4{\cdot}10^6+8{\cdot}10^6+16{\cdot}10^6)-10000=56000-28000-10000=18000$。
$x=2000,\ y=4000$;最大利潤 $\$18,\!000$。
13.9 重點整理
  • 應用題模式:建模 → 消變數 → 找臨界點 → 判型 → 代回。
  • 盒子例題:限制 $6x+4y+3z=24$,最大體積 $V_{\max}=64/9$ at $(4/3,2,8/3)$。
  • 利潤例題:$x=2000,\ y=4000$,$P_{\max}=\$18{,}000$;二階檢定 $d>0,\ P_{xx}<0$ 確認為極大。
13.10 Lagrange 乘數法(補充)

受限制最佳化:讓等高線剛好貼住限制曲線

許多最佳化問題會限制可使用的點,例如點必須落在某條曲線、某個曲面,或兩個曲面的交線上。這些限制會使問題變複雜,因為最佳解可能出現在可行區域的邊界。Lagrange 乘數法的想法是:在限制曲線上取得極值時,目標函數的等高線會和限制曲線相切,所以兩者的梯度方向平行。

矩形內接橢圓:等高線相切的幾何

橢圓 + 雙曲線
講義圖 53-54
$f(x,y)=4xy,\quad \dfrac{x^2}{3^2}+\dfrac{y^2}{4^2}=1$
$(x,y)$ 是第一象限頂點,矩形邊長為 $2x$ 與 $2y$。
相切點
$(3/\sqrt2,2\sqrt2)$
等高線值$4xy=24$
條件$\nabla f=\lambda\nabla g$

限制式可看成 $g(x,y)=x^2/3^2+y^2/4^2$ 的固定等高線 $g(x,y)=1$。目標函數 $f(x,y)=4xy$ 的等高線是一族雙曲線 $4xy=k$。若 $k$ 太小,雙曲線和橢圓交在許多可行點;把 $k$ 逐漸放大,最後仍能碰到橢圓的那一條雙曲線會剛好與橢圓相切。相切時,兩條曲線的法向量平行,也就是

$$\nabla f(x,y)=\lambda\nabla g(x,y).$$

若 $\nabla f(x,y)=\lambda\nabla g(x,y)$,講義稱這個純量 $\lambda$ 為拉格朗日乘數。

定理 13.19

令 $f$ 與 $g$ 具有連續一階偏導數,且 $f$ 在光滑限制曲線 $g(x,y)=c$ 上的 $(x_0,y_0)$ 取得極值。若 $\nabla g(x_0,y_0)\ne 0$,則存在實數 $\lambda$ 使得

$$\nabla f(x_0,y_0)=\lambda\nabla g(x_0,y_0).$$
講義證明想法

把限制曲線寫成 $\mathbf r(t)=x(t)\mathbf i+y(t)\mathbf j$,且 $\mathbf r'(t)\ne 0$。令 $h(t)=f(x(t),y(t))$。因為 $f$ 在限制曲線上於 $(x_0,y_0)$ 取得極值,所以對應的 $h(t)$ 在 $t_0$ 有極值,故 $h'(t_0)=0$。

$$h'(t_0)=f_x(x_0,y_0)x'(t_0)+f_y(x_0,y_0)y'(t_0)=\nabla f(x_0,y_0)\cdot\mathbf r'(t_0)=0.$$

因此 $\nabla f(x_0,y_0)$ 垂直於曲線切向量 $\mathbf r'(t_0)$。另一方面,依定理 13.12,$\nabla g(x_0,y_0)$ 也垂直於同一條限制曲線的切向量。兩個向量都垂直於同一個切向方向,所以它們平行,因此存在 $\lambda$ 使 $\nabla f=\lambda\nabla g$。

Lagrange 乘數法

同時解下列三個方程:

$$f_x(x,y)=\lambda g_x(x,y),\qquad f_y(x,y)=\lambda g_y(x,y),\qquad g(x,y)=c.$$
比較候選值

把第一步得到的每個解代回 $f$。最大的值給出受限制最大值,最小的值給出受限制最小值。

講義的另一種寫法

$$F(x,y,\lambda)=f(x,y)-\lambda\bigl(g(x,y)-c\bigr),$$

再把 $F$ 視為無限制問題求解。

操作順序

先寫目標函數,再寫限制函數;接著列梯度方程,最後比較所有候選點。

例題 1:單一限制式的 Lagrange 乘數法

講義例題 1
在 $x>0,\ y>0$ 且滿足限制式 $(x^2/3^2)+(y^2/4^2)=1$ 的條件下,求 $f(x,y)=4xy$ 的最大值。
步驟 1(寫出限制函數)
令 $g(x,y)=\dfrac{x^2}{3^2}+\dfrac{y^2}{4^2}=1$。
步驟 2(列出梯度方程)
$\nabla f(x,y)=4y\mathbf i+4x\mathbf j$,且 $\lambda\nabla g(x,y)=\dfrac{2\lambda x}{9}\mathbf i+\dfrac{\lambda y}{8}\mathbf j$。所以 $$4y=\frac{2}{9}\lambda x,\qquad 4x=\frac{1}{8}\lambda y,\qquad \frac{x^2}{3^2}+\frac{y^2}{4^2}=1.$$
步驟 3(消去 $\lambda$)
由第一式得 $\lambda=\dfrac{18y}{x}$。代入第二式: $$4x=\frac18\left(\frac{18y}{x}\right)y\quad\Rightarrow\quad x^2=\frac{9}{16}y^2.$$
步驟 4(代回限制式)
$$\frac19\left(\frac{9}{16}y^2\right)+\frac1{16}y^2=1\quad\Rightarrow\quad y^2=8.$$ 因為 $y>0$,取 $y=2\sqrt2$。接著 $x^2=\dfrac{9}{16}(8)=\dfrac92$,所以 $x=\dfrac3{\sqrt2}$。
步驟 5(求最大值)
$$f\left(\frac3{\sqrt2},2\sqrt2\right)=4\left(\frac3{\sqrt2}\right)(2\sqrt2)=24.$$
最大值為 $24$,發生在 $\left(\dfrac3{\sqrt2},2\sqrt2\right)$。

例題 3:三變數的 Lagrange 乘數法

講義例題 3
在限制式 $2x-3y-4z=49$ 下,求 $f(x,y,z)=2x^2+y^2+3z^2$ 的最小值。
步驟 1(寫出限制)
令 $g(x,y,z)=2x-3y-4z=49$。
步驟 2(列出系統)
$\nabla f=4x\mathbf i+2y\mathbf j+6z\mathbf k$,$\lambda\nabla g=2\lambda\mathbf i-3\lambda\mathbf j-4\lambda\mathbf k$,所以 $$4x=2\lambda,\qquad 2y=-3\lambda,\qquad 6z=-4\lambda,\qquad 2x-3y-4z=49.$$
步驟 3(解 $\lambda$)
由前三式得 $x=\lambda/2,\ y=-3\lambda/2,\ z=-2\lambda/3$。代入限制式: $$2\left(\frac\lambda2\right)-3\left(-\frac{3\lambda}{2}\right)-4\left(-\frac{2\lambda}{3}\right)=49,$$ $$\frac{49}{6}\lambda=49\quad\Rightarrow\quad \lambda=6.$$
步驟 4(代回)
$x=3,\ y=-9,\ z=-4$,因此 $$f(3,-9,-4)=2(3)^2+(-9)^2+3(-4)^2=147.$$
最小值為 $147$,發生在 $(3,-9,-4)$。由原函數與限制式可看出沒有最大值。

例題 4:區域內的最佳化

邊界 + 內部
例題 4
$f=x^2+2y^2-2x+3,\quad x^2+y^2\le 10$
先做邊界,再做內部。
結論
最大值$24$,於 $(-1,\pm3)$
最小值$2$,於 $(1,0)$
講義例題 4
在限制區域 $x^2+y^2\le 10$ 上,求 $f(x,y)=x^2+2y^2-2x+3$ 的極值。
步驟 1(拆成兩種情況)
因為限制是 $x^2+y^2\le 10$,要分成邊界圓周 $x^2+y^2=10$ 與圓盤內部兩部分。
步驟 2(邊界上用 Lagrange 乘數法)
在 $x^2+y^2=10$ 上,令 $g=x^2+y^2$。由 $$\nabla f=(2x-2,4y),\qquad \lambda\nabla g=(2\lambda x,2\lambda y)$$ 得 $$2x-2=2\lambda x,\qquad 4y=2\lambda y,\qquad x^2+y^2=10.$$
步驟 3(邊界候選點)
若 $y\ne0$,第二式給 $\lambda=2$,所以 $2x-2=4x$,得 $x=-1$;代回圓得 $y=\pm3$,此時 $f(-1,\pm3)=24$。若 $y=0$,則 $x=\pm\sqrt{10}$;其中 $f(\sqrt{10},0)=13-2\sqrt{10}\approx6.675$。
步驟 4(內部用 13.8 方法)
在圓盤內部,解 $\nabla f=0$: $$2x-2=0,\qquad 4y=0\quad\Rightarrow\quad (x,y)=(1,0),$$ 且 $(1,0)$ 在 $x^2+y^2<10$ 內,$f(1,0)=2$。
合併兩部分:最大值為 $24$,發生在 $(-1,\pm3)$;最小值為 $2$,發生在 $(1,0)$。
兩個限制條件

若有兩個限制函數 $g$ 與 $h$,講義引入第二個拉格朗日乘數 $\mu$,並解

$$\nabla f=\lambda\nabla g+\mu\nabla h,$$

其中兩個限制函數的梯度向量不平行。

例題 5:兩個限制式的最佳化

球面與平面的交線
例題 5
$T=20+2x+2y+z^2$
$x^2+y^2+z^2=11,\quad x+y+z=3$。
極端溫度
最低溫$25$
最高溫$91/3$
講義例題 5
設 $T(x,y,z)=20+2x+2y+z^2$ 表示球面 $x^2+y^2+z^2=11$ 上各點的溫度。求平面 $x+y+z=3$ 與該球面交線上的最高與最低溫度。
步驟 1(兩個限制)
$$g(x,y,z)=x^2+y^2+z^2=11,\qquad h(x,y,z)=x+y+z=3.$$
步驟 2(列出梯度方程)
$$\nabla T=2\mathbf i+2\mathbf j+2z\mathbf k,$$ $$\lambda\nabla g=2\lambda x\mathbf i+2\lambda y\mathbf j+2\lambda z\mathbf k,\qquad \mu\nabla h=\mu\mathbf i+\mu\mathbf j+\mu\mathbf k.$$ 因此 $$2=2\lambda x+\mu,\qquad 2=2\lambda y+\mu,\qquad 2z=2\lambda z+\mu,$$ $$x^2+y^2+z^2=11,\qquad x+y+z=3.$$
步驟 3(先化簡)
第一式減第二式得 $\lambda(x-y)=0$。再與第三式整理,可得到講義列出的系統: $$\lambda(x-y)=0,\qquad 2z(1-\lambda)-\mu=0,\qquad x^2+y^2+z^2=11,\qquad x+y+z=3.$$
步驟 4(分情況)
若 $\lambda=0$,可得 臨界點 $(3,-1,1)$ 與 $(-1,3,1)$。若 $\lambda\ne0$,則 $x=y$,並可得 $$x=y=\frac{3\pm2\sqrt3}{3},\qquad z=\frac{3\mp4\sqrt3}{3}.$$
步驟 5(比較溫度)
$$T(3,-1,1)=T(-1,3,1)=25,$$ $$T\left(\frac{3-2\sqrt3}{3},\frac{3-2\sqrt3}{3},\frac{3+4\sqrt3}{3}\right)=\frac{91}{3}\approx30.33,$$ $$T\left(\frac{3+2\sqrt3}{3},\frac{3+2\sqrt3}{3},\frac{3-4\sqrt3}{3}\right)=\frac{91}{3}\approx30.33.$$
交線上的最低溫為 $T=25$,最高溫為 $T=91/3$。
13.10 重點整理
  • 單一限制:在光滑限制曲線 $g(x,y)=c$ 上,若 $\nabla g\ne0$,受限制極值點滿足 $\nabla f=\lambda\nabla g$。
  • 幾何圖像:目標函數等高線與限制曲線相切,兩者法向量平行。
  • 操作流程:列方程 → 解候選點 → 代回目標函數比較。
  • 區域限制如 $x^2+y^2\le10$:要同時檢查邊界與內部。
  • 兩個限制:使用 $\nabla f=\lambda\nabla g+\mu\nabla h$,再和兩個限制式一起解。
速查 · 13.5-13.10

本頁速查

鏈鎖律(單變數)定理 13.6
$\dfrac{dw}{dt}=w_x\,x'+w_y\,y'$
鏈鎖律(雙變數)定理 13.7
$w_s=w_x x_s+w_y y_s$;$w_t=w_x x_t+w_y y_t$
隱微分定理 13.8
$\dfrac{dy}{dx}=-\dfrac{F_x}{F_y}$;$z_x=-\dfrac{F_x}{F_z}$;$z_y=-\dfrac{F_y}{F_z}$
方向導數定義 13.8 / 定理 13.10
$D_{\mathbf u}f=\nabla f\cdot\mathbf u$($\mathbf u$ 須為單位向量)
梯度性質定理 13.11 / 13.12
最大上升 = $\nabla f$;最大率 = $\|\nabla f\|$;垂直於等高線 / 等位面
切平面 + 法線定義 13.11 / 定理 13.13
$F_x(P)(x-x_0)+F_y(P)(y-y_0)+F_z(P)(z-z_0)=0$
$z=f(x,y)$ 形式— —
令 $F=f-z$;切平面 $f_x(x-x_0)+f_y(y-y_0)-(z-z_0)=0$
兩曲面交線切向外積
交線方向 = $\nabla F\times\nabla G$
臨界點定義定義 13.13
$\nabla f(P)=0$ 或 $f_x,f_y$ 在 $P$ 不存在
二階檢定定理 13.17
$d=f_{xx}f_{yy}-f_{xy}^2$:$d>0,f_{xx}>0$ 極小;$d>0,f_{xx}<0$ 極大;$d<0$ 鞍;$d=0$ 失效
極值定理定理 13.15
閉、有界 $R$ 上連續函數必有絕對最大與最小值
拉格朗日乘數法定理 13.18
單一限制:$\nabla f=\lambda\nabla g$,再加上 $g(x,y)=c$
兩個限制13.10
$\nabla f=\lambda\nabla g+\mu\nabla h$,再加上兩個限制式