多變數微分四角關係:連續偏導方向導可微

連續、偏導、方向導與可微 — 4 個正式定義 × 9 個例題(含 2 條核心定理)
$\displaystyle\lim_{(x,y)\to(x_0,y_0)} f(x,y),\ \ f_x,\ f_y,\ \ D_{\vec u} f,\ \ f(x{+}\Delta x,y{+}\Delta y)=f(x,y)+f_x\Delta x+f_y\Delta y+\varepsilon_1\Delta x+\varepsilon_2\Delta y$
向下捲動 開始閱讀
第 1 節 · 概念地圖

四個概念之間的蘊涵關係:誰能推出誰?

本講義主角是定義在 $f:\mathbb{R}^2 \to \mathbb{R}$ 上的四個概念:連續偏導數存在方向導數對所有單位向量都存在可微。一變數時鏈條較強(可微 $\Rightarrow$ 連續,且導數即為唯一的「方向導」);但一旦進到兩變數,它們之間絕大多數的「蘊涵關係」都會破裂,必須用反例來看清楚邊界。

下面這張圖把成立的方向(綠色實線箭頭,標 定理)與不成立的方向(紅色虛線箭頭,標反例 例題 編號)一次列出。所有反例都建構在原點 $(0,0)$ 上,是常見的多變數病態案例。

偏導 fx, fy 連續 偏導數連續 可微 可微 連續 連續 偏導 fx, fy 存在 偏導存在 方向導 Du f 對全 u 存在 所有方向導存在 ✓ 定理 B (例題 8) ✗ 例題 9 ✓ 定理 A ✗ 例題 1 (因 fx 不存在) ✓ 定理 A ✗ 例題 4 ✓ 定理 A ✗ 例題 5 ✗ 例題 2 ✗ 例題 3 ✗ 例題 6 (方向導 ⇏ 連續)
綠色實線 = 蘊涵成立(定理);紅色虛線 = 蘊涵不成立(反例)。所有反例的具體函數見 §3、§5。

1.1 完整的 8 條蘊涵真假表

下表把上圖所有指向關係寫成「假設 ⇒ 結論」的形式。 表示恆成立 表示有反例。「方向導存在 ⇒ 偏導存在」是平凡成立(取 $\vec u = \langle 1,0\rangle$ 與 $\vec u = \langle 0,1\rangle$ 即得 $f_x, f_y$),列在表中以求完整。

蘊涵關係真假證據
連續 $\Rightarrow$ 偏導 $f_x, f_y$ 存在例題 1:$f(x,y)=|x|$
偏導 $f_x, f_y$ 存在 $\Rightarrow$ 連續例題 2:$f=\dfrac{xy}{x^2+y^2}$
偏導 $f_x, f_y$ 存在 $\Rightarrow$ 方向導 $D_{\vec u} f$ 對全 $\vec u$ 存在例題 3(同 例題 2 函數)
偏導 $f_x, f_y$ 存在 $\Rightarrow$ 可微例題 4(同 例題 2 函數)
方向導 $D_{\vec u} f$ 對全 $\vec u$ 存在 $\Rightarrow$ 偏導存在取 $\vec u = \langle 1,0\rangle, \langle 0,1\rangle$(定義即得)
方向導 $D_{\vec u} f$ 對全 $\vec u$ 存在 $\Rightarrow$ 可微例題 5:$f=\dfrac{x^3}{x^2+y^2}$
方向導 $D_{\vec u} f$ 對全 $\vec u$ 存在 $\Rightarrow$ 連續例題 6:$f=\dfrac{x^2 y}{x^4+y^2}$
可微 $\Rightarrow$ 連續、偏導存在、方向導對全 $\vec u$ 存在定理 A(例題 7)
偏導 $f_x, f_y$ 連續 $\Rightarrow$ 可微定理 B(例題 8)
可微 $\Rightarrow$ 偏導 $f_x, f_y$ 連續例題 9:$f=(x^2+y^2)\sin\frac{1}{\sqrt{x^2+y^2}}$
重點

在多變數的世界裡,「可微」是最強的條件:可微 $\Rightarrow$ 連續、$\Rightarrow$ 偏導存在、$\Rightarrow$ 方向導對所有 $\vec u$ 存在。但反過來只有「偏導連續」這個更強的條件能反推可微(定理 B),其它逆向都失敗。

第 2 節 · 四個正式定義

把四個概念寫成嚴格的極限式

以下統一假設 $f : \mathbb{R}^2 \to \mathbb{R}$ 是定義在某個開集合上的兩變數實值函數,並令 $(x_0, y_0) \in \mathbb{R}^2$ 為討論點。

2.1 連續性

定義 1 連續(在一點連續)

$$\lim_{(x,y) \to (x_0, y_0)} f(x,y) \;=\; f(x_0, y_0),$$

則稱 $f$ 在 $(x_0, y_0)$ 連續

關鍵:兩變數的「極限存在」要求沿任何路徑趨近 $(x_0, y_0)$ 都得到同一個值。任何兩條路徑得出不同極限,就足以否決連續性。

2.2 偏導數

定義 2 $f$ 對 $x$、對 $y$ 的偏導數

分別定義為

$$f_x(x,y) \;\equiv\; \lim_{\Delta x \to 0} \dfrac{f(x+\Delta x,\, y) - f(x,y)}{\Delta x}, \qquad f_y(x,y) \;\equiv\; \lim_{\Delta y \to 0} \dfrac{f(x,\, y+\Delta y) - f(x,y)}{\Delta y},$$

前提是右側極限存在

幾何上,$f_x(x_0, y_0)$ 是把 $y$ 固定在 $y_0$、只讓 $x$ 變動所得單變數曲線在 $x_0$ 處的切線斜率;$f_y$ 同理。偏導只看坐標軸方向 — 這是它與「方向導數」最大的差別。

2.3 方向導數

定義 3 沿單位向量 $\vec{u}$ 的方向導數

設 $\vec{u} = \langle a, b \rangle$ 為單位向量($a^2 + b^2 = 1$)。$f$ 在 $\vec{u}$ 方向的方向導數定義為

$$D_{\vec u} f(x,y) \;=\; \lim_{t \to 0} \dfrac{f(x + t a,\, y + t b) - f(x,y)}{t},$$

前提是右側極限存在。

取 $\vec u = \langle 1, 0\rangle$ 即得 $f_x$,取 $\vec u = \langle 0, 1\rangle$ 即得 $f_y$。所以「方向導對所有 $\vec u$ 存在」蘊涵「偏導存在」,但反之不成立(見 例題 3)。

2.4 可微性

定義 4 $f$ 在 $(x, y)$ 可微

若存在 $\varepsilon_1, \varepsilon_2$(依賴於 $\Delta x, \Delta y$),滿足

$$\varepsilon_1, \varepsilon_2 \to 0 \quad \text{當 } \Delta x, \Delta y \to 0,$$

$$f(x+\Delta x,\, y+\Delta y) \;=\; f(x,y) + f_x(x,y)\,\Delta x + f_y(x,y)\,\Delta y + \varepsilon_1\,\Delta x + \varepsilon_2\,\Delta y,$$

則稱 $f$ 在 $(x, y)$ 可微

直觀:可微 = 可被「一個切平面」很好地近似。把切平面上的線性主部 $f_x \Delta x + f_y \Delta y$ 拿掉之後,剩下的誤差 $\varepsilon_1 \Delta x + \varepsilon_2 \Delta y$ 必須比 $\sqrt{(\Delta x)^2 + (\Delta y)^2}$ 衰減得更快(因為 $\varepsilon_1, \varepsilon_2 \to 0$)。注意可微性的定義內就引用了 $f_x, f_y$,所以可微的前提是偏導存在。

第 3 節 · 反例

哪些蘊涵不成立?六個反例

本節依序給出六個經典反例,把兩個方向之間的「期望蘊涵」一一打破。每個反例的函數都定義在 $\mathbb{R}^2$ 上、在原點附近呈現病態行為,建議搭配 §1 的概念地圖一起閱讀。

例題 1 · 連續 ⇏ $f_x, f_y$ 存在
令 $f(x,y)=|x|$。說明 $f$ 在 $(0,0)$ 連續,但 $f_x(0,0)$ 不存在。
反例

令 $f(x,y) = |x|$。

步驟 1 · 連續性

$|x|$ 對 $x$ 連續,與 $y$ 無關,所以 $f$ 在原點 $(0,0)$(事實上整個 $\mathbb{R}^2$)連續。

步驟 2 · 偏導 $f_x(0,0)$ 不存在

依定義

$$f_x(0,0) = \lim_{\Delta x \to 0} \dfrac{f(\Delta x, 0) - f(0,0)}{\Delta x} = \lim_{\Delta x \to 0} \dfrac{|\Delta x| - 0}{\Delta x} = \lim_{\Delta x \to 0} \dfrac{|\Delta x|}{\Delta x}.$$

右極限為 $+1$($\Delta x > 0$ 時),左極限為 $-1$($\Delta x < 0$ 時),兩者不相等,故 $f_x(0,0)$ 不存在

結論: $f$ 在 $(0,0)$ 連續,但 $f_x(0,0)$ 不存在 $\Rightarrow$ 「連續 $\Rightarrow$ 偏導存在」不成立
例題 2 · $f_x, f_y$ 存在 ⇏ 連續
令 $f(x,y)=\begin{cases}\dfrac{xy}{x^2+y^2},&(x,y)\ne(0,0)\\0,&(x,y)=(0,0)\end{cases}$。說明 $f_x(0,0),f_y(0,0)$ 存在,但 $f$ 在 $(0,0)$ 不連續。
反例

$$f(x,y) = \begin{cases} \dfrac{xy}{x^2 + y^2}, & (x,y) \ne (0,0) \\[4pt] 0, & (x,y) = (0,0) \end{cases}.$$
步驟 1 · 計算 $f_x(0,0)$ 與 $f_y(0,0)$

沿 $x$ 軸(即 $y=0$):$f(\Delta x, 0) = \dfrac{\Delta x \cdot 0}{(\Delta x)^2} = 0$,所以

$$f_x(0,0) = \lim_{\Delta x \to 0} \dfrac{f(\Delta x, 0) - f(0,0)}{\Delta x} = \lim_{\Delta x \to 0} \dfrac{0 - 0}{\Delta x} = 0.$$

同理 $f_y(0,0) = 0$。所以兩個偏導都存在且皆為 $0$

步驟 2 · 沿 $y = mx$ 路徑檢驗連續性

當 $(x, y) \to (0, 0)$ 沿直線 $y = mx$($x \ne 0$):

$$f(x, mx) = \dfrac{x \cdot mx}{x^2 + (mx)^2} = \dfrac{m x^2}{(1 + m^2)\, x^2} = \dfrac{m}{1 + m^2}.$$

此值與斜率 $m$ 有關(例如 $m = 1$ 時為 $1/2$,$m = 0$ 時為 $0$),代表沿不同直線得到不同的「極限值」,所以

$$\lim_{(x,y) \to (0,0)} f(x,y) \ \text{不存在}.$$

故 $f$ 在 $(0,0)$ 不連續

結論: $f_x(0,0) = f_y(0,0) = 0$ 都存在,但 $f$ 在 $(0,0)$ 不連續 $\Rightarrow$ 「偏導存在 $\Rightarrow$ 連續」不成立
例題 3 · $f_x, f_y$ exist ⇏ $D_{\vec u} f$ exists for all $\vec u$
沿用 $f(x,y)=\begin{cases}\dfrac{xy}{x^2+y^2},&(x,y)\ne(0,0)\\0,&(x,y)=(0,0)\end{cases}$。說明 $f_x(0,0),f_y(0,0)$ 存在,但某些方向導數 $D_{\vec u}f(0,0)$ 不存在。
反例

仍然令

$$f(x,y) = \begin{cases} \dfrac{xy}{x^2 + y^2}, & (x,y) \ne (0,0) \\[4pt] 0, & (x,y) = (0,0) \end{cases}.$$

由 例題 2 已知 $f_x(0,0) = f_y(0,0) = 0$。

步驟 · 方向導 $D_{\vec u} f(0,0)$ 沿 $ab \ne 0$ 不存在

取單位向量 $\vec u = \langle a, b \rangle$,$\|\vec u\| = 1$(即 $a^2 + b^2 = 1$),且 $ab \ne 0$。

$$D_{\vec u} f(0,0) = \lim_{t \to 0} \dfrac{f(ta, tb) - f(0,0)}{t} = \lim_{t \to 0} \dfrac{1}{t} \cdot \dfrac{(ta)(tb)}{(ta)^2 + (tb)^2}.$$

把分子分母化簡:$(ta)(tb) = t^2 ab$,$(ta)^2 + (tb)^2 = t^2 (a^2 + b^2) = t^2$,故

$$D_{\vec u} f(0,0) = \lim_{t \to 0} \dfrac{1}{t} \cdot \dfrac{t^2 ab}{t^2} = \lim_{t \to 0} \dfrac{ab}{t}.$$

當 $ab \ne 0$,$\dfrac{ab}{t} \to \pm\infty$(隨 $t$ 趨於 $0^+$ 或 $0^-$ 而異號),故極限不存在

結論: 沿坐標軸方向($\vec u = \langle 1, 0\rangle$ 或 $\langle 0, 1\rangle$)時方向導等於 $f_x$ 或 $f_y$,皆為 $0$;但對任何非坐標軸方向($ab \ne 0$)方向導不存在。所以「偏導存在 $\Rightarrow$ 方向導對所有 $\vec u$ 存在」不成立
例題 4 · $f_x, f_y$ 存在 ⇏ 可微
沿用 $f(x,y)=\begin{cases}\dfrac{xy}{x^2+y^2},&(x,y)\ne(0,0)\\0,&(x,y)=(0,0)\end{cases}$。說明 $f_x(0,0),f_y(0,0)$ 存在,但 $f$ 在 $(0,0)$ 不可微。
反例 利用 定理 A 反推

仍然令

$$f(x,y) = \begin{cases} \dfrac{xy}{x^2 + y^2}, & (x,y) \ne (0,0) \\[4pt] 0, & (x,y) = (0,0) \end{cases}.$$
步驟 · 由「不連續」反推「不可微」

由 例題 2:$f_x(0,0) = f_y(0,0) = 0$ 都存在,但 $f$ 在 $(0,0)$ 不連續。

而 定理 A(即 例題 7)告訴我們「可微 $\Rightarrow$ 連續」。對其取逆否命題:

$$\text{不連續} \;\Longrightarrow\; \text{不可微}.$$

所以 $f$ 在 $(0,0)$ 不可微

結論: 偏導 $f_x(0,0) = f_y(0,0) = 0$ 雖然存在,$f$ 卻不可微 $\Rightarrow$ 「偏導存在 $\Rightarrow$ 可微」不成立
例題 5 · 所有 $\vec u$ 的 $D_{\vec u} f$ 存在 ⇏ 可微
令 $f(x,y)=\begin{cases}\dfrac{x^3}{x^2+y^2},&(x,y)\ne(0,0)\\0,&(x,y)=(0,0)\end{cases}$。說明所有方向導數 $D_{\vec u}f(0,0)$ 都存在,但 $f$ 在 $(0,0)$ 不可微。
反例

$$f(x,y) = \begin{cases} \dfrac{x^3}{x^2 + y^2}, & (x,y) \ne (0,0) \\[4pt] 0, & (x,y) = (0,0) \end{cases}.$$
步驟 1 · 計算 $D_{\vec u} f(0,0)$

取 $\vec u = \langle a, b \rangle$,$\|\vec u\| = 1$,即 $a^2 + b^2 = 1$。

$$D_{\vec u} f(0,0) = \lim_{t \to 0} \dfrac{f(ta, tb) - 0}{t} = \lim_{t \to 0} \dfrac{1}{t} \cdot \dfrac{(ta)^3}{(ta)^2 + (tb)^2} = \lim_{t \to 0} \dfrac{1}{t} \cdot \dfrac{t^3 a^3}{t^2 (a^2 + b^2)} = \lim_{t \to 0} \dfrac{t \cdot a^3}{t} = a^3.$$

所以 $D_{\vec u} f(0,0) = a^3$ 對所有單位向量 $\vec u$ 都存在。特別地:

  • 取 $\vec u = \langle 1, 0\rangle$:$f_x(0,0) = D_{\langle 1, 0\rangle} f(0,0) = 1^3 = 1$。
  • 取 $\vec u = \langle 0, 1\rangle$:$f_y(0,0) = D_{\langle 0, 1\rangle} f(0,0) = 0^3 = 0$。
步驟 2 · 假設可微 ⇒ 矛盾

若 $f$ 在 $(0,0)$ 可微,則對任一 $\vec u = \langle a, b\rangle$($a^2 + b^2 = 1$)必有

$$D_{\vec u} f(0,0) \;=\; f_x(0,0)\, a + f_y(0,0)\, b \;=\; 1 \cdot a + 0 \cdot b \;=\; a.$$

但由步驟 1,$D_{\vec u} f(0,0) = a^3$。要求

$$a^3 = a \quad\Longleftrightarrow\quad a(a^2 - 1) = 0 \quad\Longleftrightarrow\quad a \in \{0,\, 1,\, -1\}.$$

對其它單位向量(如 $\vec u = \langle \tfrac{1}{\sqrt 2}, \tfrac{1}{\sqrt 2}\rangle$,$a = \tfrac{1}{\sqrt 2}$)就不滿足,矛盾。所以 $f$ 在 $(0,0)$ 不可微

結論: 方向導 $D_{\vec u} f(0,0) = a^3$ 對所有 $\vec u$ 存在,$f$ 仍然不可微 $\Rightarrow$ 「方向導對全 $\vec u$ 存在 $\Rightarrow$ 可微」不成立
(順帶一提:此 $f$ 在 $(0,0)$ 連續,因為 $\big|\tfrac{x^3}{x^2+y^2}\big| \le |x| \to 0$。所以本例同時說明「方向導對全 $\vec u$ 存在 + 連續」也仍不蘊涵可微。)
例題 6 · 所有 $\vec u$ 的 $D_{\vec u} f$ 存在 ⇏ 連續
令 $f(x,y)=\begin{cases}\dfrac{x^2y}{x^4+y^2},&(x,y)\ne(0,0)\\0,&(x,y)=(0,0)\end{cases}$。說明所有方向導數 $D_{\vec u}f(0,0)$ 都存在,但 $f$ 在 $(0,0)$ 不連續。
反例

$$f(x,y) = \begin{cases} \dfrac{x^2 y}{x^4 + y^2}, & (x,y) \ne (0,0) \\[4pt] 0, & (x,y) = (0,0) \end{cases}.$$
步驟 1 · 計算 $D_{\vec u} f(0,0)$

取 $\vec u = \langle a, b \rangle$,$\|\vec u\| = 1$。

$$D_{\vec u} f(0,0) = \lim_{t \to 0} \dfrac{f(ta, tb) - 0}{t} = \lim_{t \to 0} \dfrac{1}{t} \cdot \dfrac{(ta)^2 (tb)}{(ta)^4 + (tb)^2} = \lim_{t \to 0} \dfrac{1}{t} \cdot \dfrac{t^3 a^2 b}{t^4 a^4 + t^2 b^2} = \lim_{t \to 0} \dfrac{a^2 b}{t^2 a^4 + b^2}.$$

分情況:

  • $b \ne 0$:$\displaystyle\lim_{t \to 0} \dfrac{a^2 b}{t^2 a^4 + b^2} = \dfrac{a^2 b}{b^2} = \dfrac{a^2}{b}$。
  • $b = 0$(即 $\vec u = \langle \pm 1, 0\rangle$):$f(ta, 0) = \dfrac{(ta)^2 \cdot 0}{\ldots} = 0$,所以 $D_{\vec u} f(0,0) = 0$。

故方向導對所有單位向量 $\vec u$ 都存在,數值為

$$D_{\vec u} f(0,0) = \begin{cases} \dfrac{a^2}{b}, & b \ne 0 \\[4pt] 0, & b = 0 \end{cases}.$$
步驟 2 · 沿不同路徑趨近原點 ⇒ 不連續

沿坐標軸 $y = 0$:$f(x, 0) = \dfrac{x^2 \cdot 0}{x^4 + 0} = 0 \to 0$。

沿拋物線 $y = x^2$($x \ne 0$):

$$f(x, x^2) = \dfrac{x^2 \cdot x^2}{x^4 + (x^2)^2} = \dfrac{x^4}{x^4 + x^4} = \dfrac{1}{2}.$$

當 $x \to 0$,沿軸路徑得 $0$、沿拋物線路徑得 $\tfrac{1}{2}$,兩條路徑得到不同極限值,故

$$\lim_{(x,y) \to (0,0)} f(x,y) \text{ 不存在},$$

$f$ 在 $(0,0)$ 不連續

結論: 方向導對所有 $\vec u$ 都存在,但 $f$ 不連續 $\Rightarrow$ 「方向導對全 $\vec u$ 存在 $\Rightarrow$ 連續」不成立
注意拋物線路徑 $y = x^2$ 不是直線,所以「只沿直線檢驗」不足以證明連續,這正是兩變數極限的微妙之處。
第 4 節 · 正向蘊涵

哪些蘊涵恆成立?兩條核心定理

反例這麼多,看似四個概念互不相關。但其實有兩條保底的正向蘊涵,它們把「可微」放在中央:可微推出其它三件事;偏導連續又推回可微。這兩條合起來就是多變數微分學的骨幹。

4.1 定理 A · 可微 ⇒ 連續、偏導存在、方向導對全 $\vec u$ 存在

定理 A 可微的三個必要條件

若 $f$ 在 $(x, y)$ 可微,則

  1. $f$ 在 $(x, y)$ 連續
  2. 偏導 $f_x(x, y),\, f_y(x, y)$ 存在
  3. 所有單位向量 $\vec u$,方向導 $D_{\vec u} f(x, y)$ 存在,且
$$D_{\vec u} f(x, y) \;=\; f_x(x, y)\, a + f_y(x, y)\, b, \qquad \vec u = \langle a, b \rangle.$$
例題 7 · 定理應用
若 $f$ 在 $(x,y)$ 可微,說明 $f$ 在該點連續,且 $f_x,f_y,D_{\vec u}f$ 對所有單位向量 $\vec u$ 都存在。
教科書定理

此處使用「可微 $\Rightarrow$ 連續,且 $f_x, f_y, D_{\vec u} f$ 存在」這個標準定理;它的逆命題不成立 — 反例見 §3 的例題 1、例題 2、例題 4。

常用方式: 定理 A 在反推時格外好用 — 想證明某 $f$ 在某點不可微,常常透過驗證它在該點不連續(如例題 4)或某個方向導不存在來達成。

4.2 定理 B · 偏導 $f_x, f_y$ 連續 ⇒ 可微

定理 B 可微的充分條件(最常用的判別法)

若 $f_x, f_y$ 在 $(x, y)$ 的某鄰域內存在且在 $(x, y)$ 連續,則 $f$ 在 $(x, y)$ 可微

例題 8 · 定理應用
若 $f_x,f_y$ 在 $(x,y)$ 的某鄰域存在且在 $(x,y)$ 連續,說明 $f$ 在 $(x,y)$ 可微。
教科書定理

此處使用「$f_x, f_y$ 存在且連續 $\Rightarrow$ 可微」這個標準定理。它的逆命題不成立 — 反例就是下節的例題 9。

實務意義: 大部分初等函數(多項式、$\sin, \cos, e^x$、$\ln$ 等的合成、四則,且分母不為零之處)的偏導本身就是初等函數因此連續,所以它們在開區域上自動可微。定理 B 是日常計算「不必驗 $\varepsilon$」就能知道可微的依據。
定理 A:必要條件

可微 ⇒ 連續、偏導存在、方向導存在。
用法:反推不可微(找不連續或方向導不存在的點)。

定理 B:充分條件

偏導連續 ⇒ 可微。
用法:正向證可微(驗證偏導本身連續即可)。

第 5 節 · 進階反例

例題 9:可微 ⇏ 偏導連續

這是全篇最精緻的反例,也是 定理 B 的逆命題不成立的直接證據。它示範了:一個函數可以真的可微(用 $\varepsilon$ 構造驗證),但是它的偏導 $f_x, f_y$ 在該點本身不連續。換言之,「可微」未必能保證「偏導是連續函數」。

例題 9 · 可微 ⇏ $f_x, f_y$ 連續
令 $f(x,y)=\begin{cases}(x^2+y^2)\sin\dfrac{1}{\sqrt{x^2+y^2}},&(x,y)\ne(0,0)\\0,&(x,y)=(0,0)\end{cases}$。證明 $f$ 在 $(0,0)$ 可微,但 $f_x,f_y$ 在 $(0,0)$ 不連續。
反例 $\varepsilon$ 構造法

$$f(x,y) = \begin{cases} (x^2 + y^2)\, \sin\!\dfrac{1}{\sqrt{x^2 + y^2}}, & (x,y) \ne (0,0) \\[4pt] 0, & (x,y) = (0,0) \end{cases}.$$
步驟 1 · 計算 $f_x(0,0), f_y(0,0)$

沿 $x$ 軸($y = 0$):$f(\Delta x, 0) = (\Delta x)^2 \sin\!\dfrac{1}{|\Delta x|}$,所以

$$f_x(0,0) = \lim_{\Delta x \to 0} \dfrac{(\Delta x)^2 \sin\!\frac{1}{|\Delta x|} - 0}{\Delta x} = \lim_{\Delta x \to 0} \Delta x \cdot \sin\!\dfrac{1}{|\Delta x|} = 0.$$

(因為 $\big|\sin\!\tfrac{1}{|\Delta x|}\big| \le 1$,整體被 $|\Delta x|$ 夾擠至 $0$。)

同理 $f_y(0,0) = 0$。

步驟 2 · 對 $(x, y) \ne (0, 0)$ 計算偏導

令 $r = \sqrt{x^2 + y^2}$,把 $f = r^2 \sin\!\tfrac{1}{r}$ 對 $x$ 偏微分:

$$\dfrac{\partial f}{\partial x} = 2x\, \sin\!\dfrac{1}{\sqrt{x^2 + y^2}} \;-\; \dfrac{x \cos\!\dfrac{1}{\sqrt{x^2 + y^2}}}{\sqrt{x^2 + y^2}}.$$

同理

$$\dfrac{\partial f}{\partial y} = 2y\, \sin\!\dfrac{1}{\sqrt{x^2 + y^2}} \;-\; \dfrac{y \cos\!\dfrac{1}{\sqrt{x^2 + y^2}}}{\sqrt{x^2 + y^2}}.$$
步驟 3 · $\partial f/\partial x$ 在 $(0, 0)$ 不連續

沿 $x$ 軸取極限(即把 $y = 0$ 代入並讓 $x \to 0$):

$$\dfrac{\partial f}{\partial x}(x, 0) \;=\; 2x\, \sin\!\dfrac{1}{|x|} \;-\; \dfrac{x}{|x|}\, \cos\!\dfrac{1}{|x|}.$$

當 $x \to 0$,第一項 $2x\sin\!\tfrac{1}{|x|} \to 0$(被 $|2x|$ 夾擠);但第二項 $\dfrac{x}{|x|}\, \cos\!\tfrac{1}{|x|} = \pm \cos\!\tfrac{1}{|x|}$ 在 $\pm 1$ 之間振盪,沒有極限。所以

$$\lim_{(x,y) \to (0,0)} \dfrac{\partial f}{\partial x}(x,y) \ \text{不存在},$$

從而 $\partial f/\partial x$ 在 $(0, 0)$ 不連續。同理 $\partial f / \partial y$ 在 $(0, 0)$ 也不連續。

步驟 4 · 驗證 $f$ 在 $(0, 0)$ 可微($\varepsilon$ 構造)

$$\varepsilon_1 \;=\; \Delta x\, \sin\!\dfrac{1}{\sqrt{(\Delta x)^2 + (\Delta y)^2}}, \qquad \varepsilon_2 \;=\; \Delta y\, \sin\!\dfrac{1}{\sqrt{(\Delta x)^2 + (\Delta y)^2}}.$$

(i) $\varepsilon_1, \varepsilon_2 \to 0$: $|\sin| \le 1$,所以 $|\varepsilon_1| \le |\Delta x| \to 0$,同理 $\varepsilon_2 \to 0$。

(ii) 等式成立: 因 $f(0,0) = f_x(0,0) = f_y(0,0) = 0$,由 定義 4 待證的等式右側為

$$0 + 0 \cdot \Delta x + 0 \cdot \Delta y + \varepsilon_1 \Delta x + \varepsilon_2 \Delta y \;=\; \big[(\Delta x)^2 + (\Delta y)^2\big]\, \sin\!\dfrac{1}{\sqrt{(\Delta x)^2 + (\Delta y)^2}}.$$

而左側

$$f(0 + \Delta x,\, 0 + \Delta y) \;=\; \big[(\Delta x)^2 + (\Delta y)^2\big]\, \sin\!\dfrac{1}{\sqrt{(\Delta x)^2 + (\Delta y)^2}}.$$

兩側相等,所以等式成立。

(i) + (ii) ⇒ 由 定義 4,$f$ 在 $(0, 0)$ 可微

結論: $f$ 在 $(0, 0)$ 可微(步驟 4),但 $f_x, f_y$ 在 $(0, 0)$ 不連續(步驟 3)$\Rightarrow$ 「可微 $\Rightarrow$ 偏導連續」不成立,亦即 定理 B 的逆命題不成立。
第 6 節 · 速查與結語

定義 / 定理 / 反例 一頁速查

定義四個定義
定義 1 · 連續在 $(x_0, y_0)$ 連續
$\displaystyle\lim_{(x,y) \to (x_0, y_0)} f(x,y) = f(x_0, y_0)$
定義 2 · 偏導數偏導數
$f_x = \displaystyle\lim_{\Delta x \to 0} \dfrac{f(x+\Delta x, y) - f(x, y)}{\Delta x}$,$\;f_y$ 同理
定義 3 · 方向導數方向導數($\vec u = \langle a,b\rangle$, $\|\vec u\|=1$)
$D_{\vec u} f(x,y) = \displaystyle\lim_{t \to 0} \dfrac{f(x+ta,\, y+tb) - f(x,y)}{t}$
定義 4 · 可微可微
存在 $\varepsilon_1,\varepsilon_2\to0$ 使得 $f(x{+}\Delta x, y{+}\Delta y) = f(x,y) + f_x \Delta x + f_y \Delta y + \varepsilon_1 \Delta x + \varepsilon_2 \Delta y$
定理兩條核心定理
定理 A · 可微 ⇒ ⋯可微 ⇒ 連續、偏導與方向導存在
可微 $\Rightarrow$ 連續 $\wedge$ $f_x, f_y$ 存在 $\wedge$ $D_{\vec u} f = f_x a + f_y b$ 對所有 $\vec u$ 存在
逆命題不成立。反例:例題 1(連續但偏導不存在)、例題 2(偏導存在但不連續)、例題 4(偏導存在但不可微)。
定理 B · 偏導連續 ⇒ 可微$f_x, f_y$ 連續 ⇒ 可微
$f_x, f_y$ 在某鄰域存在且在該點連續 $\Rightarrow$ $f$ 在該點可微
逆命題不成立。反例:例題 9($f = (x^2+y^2)\sin\tfrac{1}{\sqrt{x^2+y^2}}$ 可微但 $f_x, f_y$ 在原點不連續)。
CF反例函數對照
編號函數(在原點外)用途
例題 1$f = |x|$連續但偏導不存在
例題 2 / 3 / 4$f = \dfrac{xy}{x^2+y^2}$偏導存在 ⇏ 連續 / 方向導 / 可微
例題 5$f = \dfrac{x^3}{x^2+y^2}$方向導存在 ⇏ 可微
例題 6$f = \dfrac{x^2 y}{x^4+y^2}$方向導存在 ⇏ 連續
例題 9$f = (x^2+y^2)\sin\dfrac{1}{\sqrt{x^2+y^2}}$可微 ⇏ 偏導連續
流程判別流程
  1. 看 $f$ 在 $(x_0, y_0)$ 是否連續:若不連續 ⇒ 不可微(定理 A 的逆否)。
  2. 計算 $f_x, f_y$ 並檢查是否在 $(x_0, y_0)$ 鄰域連續:若是 ⇒ 可微(定理 B)。
  3. 若 $f_x, f_y$ 存在但不連續,須回到 定義 4 構造 $\varepsilon_1, \varepsilon_2$ 親自驗證(如 例題 9)。
  4. 檢驗某個方向 $\vec u$ 的方向導 $D_{\vec u} f$ 是否符合線性公式 $f_x a + f_y b$:若不符不可微(如 例題 5)。
一句話總結

多變數的「可微」遠強於「偏導存在」;要證可微,最方便的工具是 定理 B(偏導連續 ⇒ 可微);要否決可微,最方便的工具是 定理 A 的逆否(不連續 ⇒ 不可微)或方向導不滿足線性公式。