偏微分

在數學中，偏微分（英語：partial derivative）的定義是：一個多變量的函數（或稱多元函數），對其中一個變量（導數）微分，而保持其他變量恆定^{[註 1]}。

偏微分的作用與價值在向量分析和微分幾何以及機器學習領域中受到廣泛認可。

函數 $f$ 關於變量 $x$ 的偏微分寫為 $f_{x}^{\prime }$ 或 ${\frac {\partial f}{\partial x}}$ 。偏微分符號 $\partial$ 是全微分符號 $d$ 的變體，由阿德里安-馬里·勒壤得引入，並在雅可比的重新引入後得到普遍接受。

簡介

f = x 2 + xy + y 2

的圖像。我們希望求出函數在點

(1, 1)

的對

x

的偏微分；對應的切線與

xOz

平面平行。

這是上圖中

y = 1

時的圖像片段。

假設ƒ是一個多元函數。例如：

z=f(x,y)=x^{2}+xy+y^{2}

因為曲面上的每一點都有無窮多條切線，描述這種函數的導數相當困難。偏微分就是選擇其中一條切線，並求出它的斜率。通常，最感興趣的是垂直於 $y$ 軸（平行於 $xOz$ 平面）的切線，以及垂直於 $x$ 軸（平行於 $yOz$ 平面）的切線。

一種求出這些切線的好辦法是把其他變量視為常數。例如，欲求出以上的函數在點 $(1, 1)$ 的與 $xOz$ 平面平行的切線。右圖中顯示了函數的圖像以及這個平面。左圖中顯示了函數在平面 $y = 1$ 上是什麼樣的。我們把變量 $y$ 視為常數，通過對方程式求導，我們可以發現 $f$ 在點 $(x, y)$ 的導數，記為：

{\frac {\partial f}{\partial x}}=2x+y

於是在點 $(1, 1)$ 的 $xOz$ 平面平行的切線的斜率是3。

{\frac {\partial f}{\partial x}}=3

在點 $(1, 1)$ ，或稱「 $f$ 在 $(1, 1)$ 的關於 $x$ 的偏微分是3」。

定義

函數 $f$ 可以解釋為 $y$ 為自變數而 $x$ 為常數的函數：

f(x,y)=f_{x}(y)=\,\!x^{2}+xy+y^{2}

。

也就是說，每一個 $x$ 的值定義了一個函數，記為 $f x$ ，它是一個一元函數。也就是說：

f_{x}(y)=x^{2}+xy+y^{2}

。

一旦選擇了一個 $x$ 的值，例如 $a$ ，那麼 $f (a, y)$ 便定義了一個函數 $f a$ ，把 $y$ 映射到 $a 2 + ay + y 2$ ：

f_{a}(y)=a^{2}+ay+y^{2}

。

在這個表達式中， $a$ 是常數，而不是變量，因此 $f a$ 是只有一個變量的函數，這個變量是 $y$ 。這樣，便可以使用一元函數的導數的定義：

f_{a}'(y)=a+2y

以上的步驟適用於任何 $a$ 的選擇。把這些導數合併起來，便得到了一個函數，它描述了 $f$ 在 $y$ 方向上的變化：

{\frac {\partial f}{\partial y}}(x,y)=x+2y

這就是 $f$ 關於 $y$ 的偏微分，在這裡，∂是一個彎曲的d，稱為偏微分符號。為了把它與字母d區分，∂有時讀作「der」、「del」、「dah」或「偏」，而不是「dee」。

一般地，函數 $f (x 1,..., x n)$ 在點 $(a 1,..., a n)$ 關於 $x i$ 的偏微分定義為：

{\frac {\partial f}{\partial x_{i}}}(a_{1},\ldots ,a_{n})=\lim _{h\to 0}{\frac {f(a_{1},\ldots ,a_{i}+h,\ldots ,a_{n})-f(a_{1},\ldots ,a_{n})}{h}}

在以上的差商中，除了 $x i$ 以外的所有變量都是固定的。這個固定值的選擇決定了一個一元函數 $f_{a_{1},\ldots ,a_{i-1},a_{i+1},\ldots ,a_{n}}(x_{i})=f(a_{1},\ldots ,a_{i-1},x_{i},a_{i+1},\ldots ,a_{n})$ ，根據定義，

{\frac {df_{a_{1},\ldots ,a_{i-1},a_{i+1},\ldots ,a_{n}}}{dx_{i}}}(a_{1},\ldots ,a_{n})={\frac {\partial f}{\partial x_{i}}}(a_{1},\ldots ,a_{n})

這個表達式說明了偏微分的計算可以化為一元導數的計算。

多變量函數的一個重要的例子，是歐幾里德空間 $R n$ （例如 $R 2 或 R 3$ ）上的純量值函數 $f (x 1,... x n)$ 。在這種情況下， $f$ 關於每一個變量 $x j$ 具有偏微分 $\partial f /\partial x j$ 。在點 $a$ ，這些偏微分定義了一個向量：

\nabla f(a)=\left({\frac {\partial f}{\partial x_{1}}}(a),\ldots ,{\frac {\partial f}{\partial x_{n}}}(a)\right)

這個向量稱為 $f$ 在點 $a$ 的梯度。如果 $f$ 在定義域中的每一個點都是可微的，那麼梯度便是一個向量值函數 $\nabla f$ ，它把點 $a$ 映射到向量 $\nabla f (a)$ 。這樣，梯度便決定了一個向量場。

一個常見的符號濫用是在歐幾里得空間R³中用單位向量 $\mathbf {\hat {i}} ,\mathbf {\hat {j}} ,\mathbf {\hat {k}}$ 來定義Nabla算子 (∇) 如下:

\nabla ={\bigg [}{\frac {\partial }{\partial x}}{\bigg ]}\mathbf {\hat {i}} +{\bigg [}{\frac {\partial }{\partial y}}{\bigg ]}\mathbf {\hat {j}} +{\bigg [}{\frac {\partial }{\partial z}}{\bigg ]}\mathbf {\hat {k}}

或者，更一般地，對於n維歐幾里得空間Rⁿ 的坐標(x₁, x₂, x₃,...,x_n)和單位向量( $\mathbf {{\hat {e}}_{1}} ,\mathbf {{\hat {e}}_{2}} ,\mathbf {{\hat {e}}_{3}} ,\dots ,\mathbf {{\hat {e}}_{n}}$ ):

\nabla =\sum _{j=1}^{n}{\bigg [}{\frac {\partial }{\partial x_{j}}}{\bigg ]}\mathbf {{\hat {e}}_{j}} ={\bigg [}{\frac {\partial }{\partial x_{1}}}{\bigg ]}\mathbf {{\hat {e}}_{1}} +{\bigg [}{\frac {\partial }{\partial x_{2}}}{\bigg ]}\mathbf {{\hat {e}}_{2}} +{\bigg [}{\frac {\partial }{\partial x_{3}}}{\bigg ]}\mathbf {{\hat {e}}_{3}} +\dots +{\bigg [}{\frac {\partial }{\partial x_{n}}}{\bigg ]}\mathbf {{\hat {e}}_{n}}

例子

考慮一個圓錐的體積 $V$ ；它與高度 $h$ 和半徑 $r$ 有以下的關係：

V(r,h)={\frac {\pi r^{2}h}{3}}

。

$V$ 關於 $r$ 的偏微分為：

{\frac {\partial V}{\partial r}}={\frac {2\pi rh}{3}}

，它描述了高度固定而半徑變化時，圓錐的體積的變化率。

$V$ 關於 $h$ 的偏微分為：

{\frac {\partial V}{\partial h}}={\frac {\pi r^{2}}{3}}

，它描述了半徑固定而高度變化時，圓錐的體積的變化率。

現在考慮 $V$ 關於 $r$ 和 $h$ 的全微分。它們分別是：

{\frac {\operatorname {d} V}{\operatorname {d} r}}=\overbrace {\frac {2\pi rh}{3}} ^{\frac {\partial V}{\partial r}}+\overbrace {\frac {\pi r^{2}}{3}} ^{\frac {\partial V}{\partial h}}{\frac {\partial h}{\partial r}}

以及

{\frac {\operatorname {d} V}{\operatorname {d} h}}=\overbrace {\frac {\pi r^{2}}{3}} ^{\frac {\partial V}{\partial h}}+\overbrace {\frac {2\pi rh}{3}} ^{\frac {\partial V}{\partial r}}{\frac {\partial r}{\partial h}}

現在假設，由於某些原因，高度和半徑的比 $k$ 需要是固定的：

k={\frac {h}{r}}={\frac {\partial h}{\partial r}}

這便給出了關於 $r$ 的全微分：

{\frac {\operatorname {d} V}{\operatorname {d} r}}={\frac {2\pi rh}{3}}+k{\frac {\pi r^{2}}{3}}

可以化簡為：

{\frac {\operatorname {d} V}{\operatorname {d} r}}=k\pi r^{2}

類似地，關於 $h$ 的全微分是：

{\frac {\operatorname {d} V}{\operatorname {d} h}}=\pi r^{2}

含有未知函數的偏微分的方程式，稱為偏微分方程式，它在物理學、工程學，以及其它應用科學中經常會見到。

與關於 $r$ 和 $h$ 二者相關的全微分是由雅可比矩陣給出的，它的形式為梯度向量 $\nabla V=({\frac {\partial V}{\partial r}},{\frac {\partial V}{\partial h}})=({\frac {2}{3}}\pi rh,{\frac {1}{3}}\pi r^{2})$ 。