「」至此。關於含有未知函数及其偏导数的方程，請見「**偏微分方程**」。

|  |
| --- |
| 系列條目 |
| 微积分学 |
|  |
| 
* 函数
* 极限论
* 微分学
* 积分

* 微积分基本定理
* 微积分发现权之争（英语：）

 |
| 基础概念（含极限论和级数论）

| 
實數性質 |
| --- |
| 函数 · 单调性 · 初等函数 · 數列 · 极限 · 实数的构造（1=0.999…） · 无穷（銜尾蛇） · 無窮小量 · ε-δ語言 · 实无穷（英语：） · 大O符号 · 最小上界 · 收敛数列 · 芝诺悖论 · 柯西序列 · 单调收敛定理 · 夹挤定理 · 波尔查诺-魏尔斯特拉斯定理 · 斯托尔兹-切萨罗定理 · 上极限和下极限 · 函數極限 · 渐近线 · 邻域 · 连续 · 連續函數 · 不连续点 · 狄利克雷函数 · 稠密集 · 一致连续 ·  · 海涅-博雷尔定理 · 支撑集 · 欧几里得空间 · 点积 · 外积 · 三重积 · 拉格朗日恒等式 · 等价范数 · 坐標系 · 多元函数 · 凸集 · 巴拿赫不动点定理 · 级数 · 收敛级数（英语：） · 几何级数 · 调和级数 · 項測試 · 格兰迪级数 · 收敛半径 · 审敛法 · 柯西乘积 · 黎曼级数重排定理 · 函数项级数（英语：） · 一致收斂 · 迪尼定理 |
| 
數列與級數 |
| 
連續 |
| 
函數 |

 |
| 一元微分

|  |
| --- |
| 差分 · 均差 · 微分 · 微分的线性（英语：） · 导数（流数法 · 二阶导数 · 光滑函数 · 高阶微分 · 莱布尼兹记号（英语：） · 幽灵似的消失量） · 介值定理 · 中值定理（罗尔定理 · 拉格朗日中值定理 · 柯西中值定理） · 泰勒公式 · 求导法则（乘积法则 · 广义莱布尼茨定则（英语：） · 除法定则 · 倒数定则 · 链式法则） · 洛必达法则 · 反函数的微分 · Faà di Bruno公式（英语：） · 对数微分法 · 导数列表 · 导数的函数应用（单调性 · 切线 · 极值 · 驻点 · 拐点 · 求导检测（英语：） · 凸函數 · 凹函數 · 簡森不等式 · 曲线的曲率 · 埃尔米特插值） · 达布定理 · 魏尔施特拉斯函数 |

 |
| 一元积分

|  |
| --- |
| * 积分表
 |
| 
定义 |
| * 不定积分
* 定积分
* 黎曼积分
* 达布积分
* 勒贝格积分
* 积分的线性
 |
| 
求积分的技巧（换元积分法 · 三角换元法 · 分部积分法 · 部分分式积分法 · 降次积分法） 微元法 · 积分第一中值定理 · 积分第二中值定理 · **微积分基本定理** · 反常積分 · 柯西主值 · 積分函數（Β函数 · Γ函数 · 古德曼函数 · 椭圆积分） · 數值積分（矩形法 · 梯形公式 · 辛普森積分法 · 牛顿-寇次公式） · 积分判别法 · 傅里叶级数（狄利克雷定理 · 周期延拓） · 魏尔施特拉斯逼近定理 · 帕塞瓦尔定理 · 刘维尔定理 |

 |
| 多元微积分

|  |
| --- |
| 偏导数 · 隐函数 · 全微分（微分的形式不变性） · 二阶导数的对称性 · 全微分 · 方向導數 · 标量场 · 向量場 · 梯度（Nabla算子） · 多元泰勒公式 · 拉格朗日乘数 · 黑塞矩陣 · 鞍點 · 多重积分（逐次积分（英语：） · 积分顺序（英语：）） · 积分估值定理 · 旋转体 · 帕普斯-古尔丁中心化旋转定理 · 祖暅-卡瓦列里原理 · 托里拆利小号 · 雅可比矩阵 · 广义多重积分（高斯积分） · 若尔当曲线 · 曲线积分 · 曲面积分（施瓦茨的靴（俄语：）） · 散度 · 旋度 · 通量 · 可定向性 · **格林公式** · **高斯散度定理** · **斯托克斯定理**及其外微分形式 · 若尔当测度 · 隐函数定理 · 皮亚诺-希尔伯特曲线 · 积分变换 · 卷积定理 · 积分符号内取微分 (莱布尼茨积分定则（英语：）) · 多变量原函数的存在性（全微分方程） · 外微分的映射原像存在性（恰当形式） · 向量值函数 · 向量空间内的导数推广（英语：）（加托导数 · 弗雷歇导数（英语：） · 矩阵的微积分（英语：）） · 弱微分 |

 |
| 微分方程

|  |
| --- |
| 常微分方程 · 柯西-利普希茨定理 · 皮亚诺存在性定理 · 分离变数法 · 级数展开法 · 积分因子 · 拉普拉斯算子 · 欧拉方法 · 柯西-欧拉方程 · 伯努利微分方程 · 克莱罗方程 · 全微分方程 · 线性微分方程 · 叠加原理 · 特徵方程式 · 朗斯基行列式 · 微分算子法 · 差分方程 · 拉普拉斯变换 · 偏微分方程（拉普拉斯方程 · 泊松方程） · 施图姆-刘维尔理论 · N体问题 · 积分方程 |

 |
| 相关数学家
牛顿 · 莱布尼兹 · 柯西 · 魏尔斯特拉斯  · 黎曼 · 拉格朗日 · 欧拉 · 帕斯卡 · 海涅 · 巴罗 · 波尔查诺 · 狄利克雷 · 格林 · 斯托克斯 · 若尔当 · 达布 · 傅里叶 · 拉普拉斯 · 雅各布·伯努利 · 約翰·白努利 · 阿达马 · 麦克劳林 · 迪尼 · 沃利斯 · 费马 · 达朗贝尔 · 黑维塞 · 吉布斯 · 奥斯特罗格拉德斯基 · 刘维尔 · 棣莫弗 · 格雷果里 · 玛达瓦（英语：） · 婆什迦羅第二 · 阿涅西 · 阿基米德
 |
| 历史名作
从无穷小量分析来理解曲线（英语：） · 分析学教程（英语：） · 无穷小分析引论 · 用无穷级数做数学分析（英语：） · 流形上的微积分（英语：） · 微积分学教程 · 纯数学教程（英语：） · 机械原理方法论（英语：）
 |
| 分支学科

|  |
| --- |
| 实变函数论 · 複分析 · 傅里叶分析 · 变分法 · 特殊函数 · 动力系统 · 微分几何 · 微分代数 · 向量分析 · 分数微积分 · 玛里亚温微积分（英语：） · 随机分析 · 最优化 · 非标准分析 |

 |
| * 
* 论
* 编
 |

在数学中，**偏导数**（英語：）的定義是：一個多變量的函数（或稱多元函數），對其中一個變量（導數）微分，而保持其他变量恒定。

偏导数的作用与价值在向量分析和微分几何以及机器学习领域中受到广泛认可。

函数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*)的导数，记为：

{\displaystyle {\frac {\partial f}{\partial x}}=2x+y}
于是在点(1, 1)的xOz平面平行的切线的斜率是3。

{\displaystyle {\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的值定义了一个函数，记为fx，它是一个一元函数。也就是说：

f\_x(y) = x^2 + xy + y^2。
一旦选择了一个x的值，例如a，那么*f*(*x*,*y*)便定义了一个函数fa，把y映射到*a*2 + *ay* + *y*2：

f\_a(y) = a^2 + ay + y^2。
在这个表达式中，a是**常数**，而不是**变量**，因此fa是只有一个变量的函数，这个变量是y。这样，便可以使用一元函数的导数的定义：

f\_a'(y)= a + 2y
以上的步骤适用于任何a的选择。把这些导数合并起来，便得到了一个函数，它描述了f在y方向上的变化：

{\displaystyle {\frac {\partial f}{\partial y}}(x,y)=x+2y}
这就是f关于y的偏导数，在这裡，∂是一个弯曲的*d*，称为**偏导数符号**。为了把它与字母*d*区分，∂有时读作"der"、"del"、"dah"或"偏"，而不是"dee"。

一般地，函数*f*(*x*1,...*x**n*)在点(*a*1,...*an*)关于xi的偏导数定义为：

{\displaystyle {\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}}}
在以上的差商中，除了xi以外的所有变量都是固定的。这个固定值的选择决定了一个一元函数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)，根据定义，

{\displaystyle {\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关于每一个变量xj具有偏导数∂*f*/∂*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在定义域中的每一个点都是可微的，那么梯度便是一个向量值函数∇*f*，它把点a映射到向量∇*f*(*a*)。这样，梯度便决定了一个向量场。

一个常见的符号滥用是在欧几里得空间**R**3中用单位向量 \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***n* 的坐标(x1, x2, x3,...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 r h}{3}，它描述了高度固定而半径变化时，圆锥的体积的变化率。
V关于h的偏导数为：

\frac{ \partial V}{\partial h} = \frac{\pi r^2}{3}，它描述了半径固定而高度变化时，圆锥的体积的变化率。
现在考虑V关于r和h的全导数。它们分别是：

\frac{\operatorname dV}{\operatorname dr} = \overbrace{\frac{2 \pi r h}{3}}^\frac{ \partial V}{\partial r} + \overbrace{\frac{\pi r^2}{3}}^\frac{ \partial V}{\partial h}\frac{\partial h}{\partial r}
以及

\frac{\operatorname dV}{\operatorname dh} = \overbrace{\frac{\pi r^2}{3}}^\frac{ \partial V}{\partial h} + \overbrace{\frac{2 \pi r h}{3}}^\frac{ \partial V}{\partial r}\frac{\partial r}{\partial h}
现在假设，由于某些原因，高度和半径的比k需要是固定的：

k = \frac{h}{r} = \frac{\partial h}{\partial r}
这便给出了关于r的全导数：

\frac{\operatorname dV}{\operatorname dr} = \frac{2 \pi r h}{3} + k\frac{\pi r^2}{3}
可以化简为：

\frac{\operatorname dV}{\operatorname dr} = k\pi r^2
类似地，关于h的全导数是：

{\displaystyle {\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)。

记法
--

在以下的例子中，设f为x、y和z的函数。

f的一阶偏导数为：

\frac{ \partial f}{ \partial x} = f\_x = \partial\_x f
二阶偏导数为：

\frac{ \partial^2 f}{ \partial x^2} = f\_{xx} = \partial\_{xx} f
二阶混合偏导数为：

\frac{\partial^2 f}{\partial y \, \partial x} = \frac{\partial}{\partial y} \left( \frac{\partial f}{\partial x} \right) = f\_{xy} = \partial\_{yx} f
高阶偏导数为：

\frac{ \partial^{i+j+k} f}{ \partial x^i\, \partial y^j\, \partial z^k } = f^{(i, j, k)}
当处理多变量函数时，有些变量可能互相有关，这样就需要明确指定哪些变量是固定的。在诸如统计力学的领域中，f关于x的偏导数，把y和z视为常数，通常记为：

\left( \frac{\partial f}{\partial x} \right)\_{y,z}

正式定义和性质
-------

像导数一样，偏导数也是定义为一个极限。设U为**R***n*的一个开子集，*f* : *U* → **R**是一个函数。我们定义f在点***a*** = (*a*1, ... *a**n*) ∈ *U*关于第i个变量xi的偏导数为：

\frac{ \partial }{\partial x\_i }f(\mathbf{a}) =
\lim\_{h \rightarrow 0}{
f(a\_1, \dots , a\_{i-1}, a\_i+h, a\_{i+1}, \dots ,a\_n) -
f(a\_1, \dots ,a\_n) \over h }
即使在某个给定的点a，所有的偏导数∂*f*/∂*x**i*(*a*)都存在，函数仍然不一定在该点连续。然而，如果所有的偏导数在a的一个邻域内存在并连续，那么f在该邻域内完全可微分，且全导数是连续的。在这种情况下，我们称f是一个C1函数。

偏导数\frac{\partial f}{\partial x}可以视为定义在*U*内的另外一个函数，并可以再次求偏导数。如果所有的混合二阶偏导数在某个点（或集合）连续，我们便称f为在该点（或集合）的一个C2函数；在这种情况下，根据克莱罗定理，偏导数可以互相交换：

\frac{\partial^2f}{\partial x\_i\, \partial x\_j} = \frac{\partial^2f} {\partial x\_j\, \partial x\_i}。

参考文献
----

* George B. Thomas & Ross L. Finney.. Addison-Wesley Publishing Company, Inc. 1994: 833–840. ISBN 0-201-52929-7.

参见
--

* 达朗贝尔算子
* 复合函数求导法则
* 旋度
* 方向導數
* 散度
* 外导数
* 梯度
* 雅可比矩阵
* 拉普拉斯算子
* 二階導數的對稱性
* 三乘积法则，又称为循环链式法则。