JOVANA
Library Glossary Getting Started Three Levels Fields How it works Mission
Join the mission
All guides

多元函數與偏導數

當輸入從一個數變成 R^n 中的一點時,會發生什麼。我們定義多元函數與偏導數,並看到為什麼僅有偏導數是一個很弱的概念。

從直線到 R^n

在一元微積分中,輸入位於實數軸上,導數只度量一個斜率。現在輸入是 R^n 中的一點 x = (x_1, ..., x_n),而多元函數 f: U -> R 把這樣一點映為一個實數。定義域 U 是 R^n 的開子集,因此 U 中每一點都有一個完全落在 U 內的小球——一個鄰域。能夠朝每個方向移動的餘地,正是我們談論導數所需要的。

一個好用的圖像是水平集 {x : f(x) = c}:對 f(x, y) = x^2 + y^2 它們是圓,圖像是一個碗。極限與連續性的定義和在直線上一樣,只是現在 |x - a| 是歐氏距離,因此 x -> a 意味著該點同時從所有方向逼近 a。

偏導數與方向導數

最簡單的導數是固定其餘變量、只讓一個變量變化。f 關於 x_j 在 a 處的偏導數,就是一元函數 t -> f(a + t e_j) 的普通導數,其中 e_j 是第 j 個座標方向。更一般地,對單位向量 v,方向導數是下面的極限,即沿方向 v 離開 a 時的變化率。

Partial derivative of f at a in direction e_j:

  D_j f(a) = lim_{t -> 0} ( f(a + t e_j) - f(a) ) / t

Directional derivative in unit direction v:

  D_v f(a) = lim_{t -> 0} ( f(a + t v) - f(a) ) / t

Worked example: f(x, y) = x^2 y,  a = (1, 3).

  Hold y fixed:  d/dx ( x^2 * 3 ) = 6x,  at x=1 gives  D_1 f(a) = 6.
  Hold x fixed:  d/dy ( 1 * y )   = 1,    so          D_2 f(a) = 1.

Now a diagonal direction v = (1/sqrt2, 1/sqrt2):

  g(t) = f(1 + t/sqrt2, 3 + t/sqrt2)
  g'(0) = 6 * (1/sqrt2) + 1 * (1/sqrt2) = 7/sqrt2.

Notice 7/sqrt2 = (6, 1) . (1/sqrt2, 1/sqrt2) — partials predicted it.
透過固定變量計算偏導數,再算一個方向導數。

為什麼偏導數還不夠

教訓是:偏導數只探測座標軸方向,甚至所有方向導數都存在,f 仍可能不連續。我們需要一個更強的條件,能同時控制 f 沿每條路徑的行為。那就是全導數,下一篇的主題。