关于同名角度单位，请见「**梯度 (角)**」。
上面两个图中，标量场的值用灰度表示，越暗表示越大的数值，而其相应的梯度用藍色箭头表示。

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

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

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

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

 |
| 一元微分

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

 |
| 一元积分

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

 |
| 多元微积分

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

 |
| 微分方程

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

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

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

 |
| * 
* 论
* 编
 |

在向量微积分中，**梯度**（英語：）是一种关于多元导数的概括。平常的一元（单变量）函数的导数是标量值函数，而多元函数的梯度是向量值函数。多元可微函数f在点P上的梯度，是以f在P上的偏导数为分量的向量。

就像一元函数的导数表示这个函数图形的切线的斜率，如果多元函数在点P上的梯度不是零向量，則它的方向是这个函数在P上最大增长的方向、而它的量是在这个方向上的增长率。

梯度向量中的幅值和方向是与坐标的选择无关的独立量。

在欧几里德空间或更一般的流形之间的多元可微映射的向量值函数的梯度推广是雅可比矩阵。在巴拿赫空间之间的函数的进一步推广是弗雷歇导数。

梯度的解释
-----

将2D函数*f*(*x*, *y*) = *xe*−(*x*2 + *y*2)的梯度绘制为蓝色箭头，还绘制了这个函数的伪色图。
假設有一个房间，房间内所有点的温度由一个标量场\phi 给出的，即点(x,y,z)的温度是\phi(x,y,z)。假设温度不随时间改变。然后，在房间的每一点，该点的梯度将显示变热最快的方向。梯度的大小将表示在该方向上的溫度變化率。

考虑一座高度在(x, y)点是H(x, y)的山。H这一点的梯度是在该点坡度（或者说斜度）最陡的方向。梯度的大小告诉我们坡度到底有多陡。

梯度也可以告诉我们一个数量在不是最快变化方向的其他方向的变化速度。再次考虑山坡的例子。可以有条直接上山的路其坡度是最大的，则其坡度是梯度的大小。也可以有一条和上坡方向成一个角度的路，例如投影在水平面上的夹角为60°。则，若最陡的坡度是40%，这条路的坡度小一点，是20%，也就是40%乘以60°的余弦。

这个现象可以如下数学的表示。山的高度函数H的梯度点积一个单位向量给出表面在该向量的方向上的斜率。这称为方向導數。

定義
--

将函数*f*(*x*,*y*) = −(cos2*x* + cos2*y*)2的梯度描绘为在底面上投影的向量场。
純量函数 {\displaystyle f\colon \mathbb {R} ^{n}\mapsto \mathbb {R} }的梯度表示為：\nabla f 或{\displaystyle \operatorname {grad} f}，其中 \nabla （nabla）表示向量微分算子。

函數 f的梯度，\nabla f， 為向量場且對任意單位向量 **v** 滿足下列方程式:

{\displaystyle {\big (}\nabla f(x){\big )}\cdot \mathbf {v} =D\_{\mathbf {v} }f(x)}。
### 直角坐標系

\nabla f在三维直角坐标系中表示为

{\displaystyle \nabla f={\begin{pmatrix}{\frac {\partial f}{\partial x}},{\frac {\partial f}{\partial y}},{\frac {\partial f}{\partial z}}\end{pmatrix}}={\frac {\partial f}{\partial x}}\mathbf {i} +{\frac {\partial f}{\partial y}}\mathbf {j} +{\frac {\partial f}{\partial z}}\mathbf {k} }，
**i**, **j**, **k** 為標準的單位向量，分別指向 *x*, *y* 跟 *z* 座標的方向。
（*参看偏导数和向量。*）

虽然使用坐标表达，但结果是在正交变换下不变，从几何的观点来看，这是应该的。

舉例來講，函数{\displaystyle f(x,y,z)=2x+3y^{2}-\sin(z)}的梯度为：

{\displaystyle \nabla f={\begin{pmatrix}{2},{6y},{-\cos(z)}\end{pmatrix}}=2\mathbf {i} +6y\mathbf {j} -\cos(z)\mathbf {k} }。
### 圓柱坐標系

在圓柱坐標系中，f 的梯度為：

{\displaystyle \nabla f(\rho ,\varphi ,z)={\frac {\partial f}{\partial \rho }}\mathbf {e} \_{\rho }+{\frac {1}{\rho }}{\frac {\partial f}{\partial \varphi }}\mathbf {e} \_{\varphi }+{\frac {\partial f}{\partial z}}\mathbf {e} \_{z}}，
*ρ* 是 P 點與 z-軸的垂直距離。
*φ* 是線 OP 在 xy-面的投影線與正 x-軸之間的夾角。
*z* 與直角坐標的 z 等值。
**e***ρ*, **e***φ* 跟 **e***z* 
為單位向量，指向座標的方向。

### 球坐標系

在球坐標系中：

{\displaystyle \nabla f(r,\theta ,\varphi )={\frac {\partial f}{\partial r}}\mathbf {e} \_{r}+{\frac {1}{r}}{\frac {\partial f}{\partial \theta }}\mathbf {e} \_{\theta }+{\frac {1}{r\sin \theta }}{\frac {\partial f}{\partial \varphi }}\mathbf {e} \_{\varphi }}，
其中*θ*为极角，*φ*方位角。

实值函数相对于向量和矩阵的梯度
---------------

相对于n×1向量**x**的梯度算子记作\nabla\_{\boldsymbol{x}}，定义为

\nabla\_{\boldsymbol{x}} \overset{\underset{\mathrm{def}}{}}{=} \left[ \frac{\partial }{\partial x\_1}, \frac{\partial }{\partial x\_2},\cdots,\frac{\partial }{\partial x\_n} \right]^T=\frac{\partial }{\partial \boldsymbol{x}}
### 对向量的梯度

以n×1实向量**x**为变元的实标量函数f(**x**)相对于**x**的梯度为一n×1列向量**x**，定义为

\nabla\_{\boldsymbol{x}} f(\boldsymbol{x})\overset{\underset{\mathrm{def}}{}}{=} \left[ \frac{\partial f(\boldsymbol{x})}{\partial x\_1}, \frac{\partial f(\boldsymbol{x})}{\partial x\_2},\cdots,\frac{\partial f(\boldsymbol{x})}{\partial x\_n} \right]^T=\frac{\partial f(\boldsymbol{x})}{\partial \boldsymbol{x}}
m维行向量函数\boldsymbol{f}(\boldsymbol{x})=[f\_1(\boldsymbol{x}),f\_2(\boldsymbol{x}),\cdots,f\_m(\boldsymbol{x})]相对于n维实向量**x**的梯度为一n×m矩阵，定义为

\nabla\_{\boldsymbol{x}} \boldsymbol{f}(\boldsymbol{x})\overset{\underset{\mathrm{def}}{}}{=}
\begin{bmatrix}
\frac{\partial f\_1(\boldsymbol{x})}{\partial x\_1} &\frac{\partial f\_2(\boldsymbol{x})}{\partial x\_1} & \cdots & \frac{\partial f\_m(\boldsymbol{x})}{\partial x\_1} \\
\frac{\partial f\_1(\boldsymbol{x})}{\partial x\_2} &\frac{\partial f\_2(\boldsymbol{x})}{\partial x\_2} & \cdots & \frac{\partial f\_m(\boldsymbol{x})}{\partial x\_2} \\
\vdots &\vdots & \ddots & \vdots \\
\frac{\partial f\_1(\boldsymbol{x})}{\partial x\_n} &\frac{\partial f\_2(\boldsymbol{x})}{\partial x\_n} & \cdots &\frac{\partial f\_m(\boldsymbol{x})}{\partial x\_n} \\
\end{bmatrix}=\frac{\partial \boldsymbol{f}(\boldsymbol{x})}{\partial \boldsymbol{x}}
### 对矩阵的梯度

标量函数f(\boldsymbol{A})相对于m×n实矩阵**A**的梯度为一m×n矩阵，简称梯度矩阵，定义为

{\displaystyle \nabla \_{\boldsymbol {A}}f({\boldsymbol {A}}){\overset {\underset {\mathrm {def} }{}}{=}}{\begin{bmatrix}{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{11}}}&{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{12}}}&\cdots &{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{1n}}}\\{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{21}}}&{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{22}}}&\cdots &{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{2n}}}\\\vdots &\vdots &\ddots &\vdots \\{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{m1}}}&{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{m2}}}&\cdots &{\frac {\partial f({\boldsymbol {A}})}{\partial a\_{mn}}}\\\end{bmatrix}}={\frac {\partial f({\boldsymbol {A}})}{\partial {\boldsymbol {A}}}}}
### 法则

以下法则适用于实标量函数对向量的梯度以及对矩阵的梯度。

* 线性法则：若f(\boldsymbol{A})和g(\boldsymbol{A})分别是矩阵A的实标量函数，c1和c2为实常数，则
\frac{\partial [c\_1 f(\boldsymbol{A})+c\_2 g(\boldsymbol{A})]}{\partial \boldsymbol{A}}=c\_1\frac{\partial f(\boldsymbol{A})}{\partial \boldsymbol{A}}+c\_2 \frac{\partial g(\boldsymbol{A})}{\partial \boldsymbol{A}}

* 乘积法则：若f(\boldsymbol{A})，g(\boldsymbol{A})和h(\boldsymbol{A})分别是矩阵A的实标量函数，则
\frac{\partial f(\boldsymbol{A})g(\boldsymbol{A})}{\partial \boldsymbol{A}}=g(\boldsymbol{A})\frac{\partial f(\boldsymbol{A})}{\partial \boldsymbol{A}}+f(\boldsymbol{A}) \frac{\partial g(\boldsymbol{A})}{\partial \boldsymbol{A}}
\frac{\partial f(\boldsymbol{A})g(\boldsymbol{A})h(\boldsymbol{A})}{\partial \boldsymbol{A}}=g(\boldsymbol{A})h(\boldsymbol{A})\frac{\partial f(\boldsymbol{A})}{\partial \boldsymbol{A}}+f(\boldsymbol{A})h(\boldsymbol{A})\frac{\partial g(\boldsymbol{A})}{\partial \boldsymbol{A}}+f(\boldsymbol{A})g(\boldsymbol{A})\frac{\partial h(\boldsymbol{A})}{\partial \boldsymbol{A}}

* 商法则：若g(\boldsymbol{A})\neq 0，则
\frac{\partial f(\boldsymbol{A})/ g(\boldsymbol{A})}{\partial \boldsymbol{A}}=\frac{1}{g(\boldsymbol{A})^2} \left[ g(\boldsymbol{A})\frac{\partial f(\boldsymbol{A})}{\partial \boldsymbol{A}}-f(\boldsymbol{A}) \frac{\partial g(\boldsymbol{A})}{\partial \boldsymbol{A}} \right]

* 链式法则：若**A**为m×n矩阵，且y=f(\boldsymbol{A})和g (y)分别是以矩阵**A**和标量y为变元的实标量函数，则
{\displaystyle {\frac {\partial g(f({\boldsymbol {A}}))}{\partial {\boldsymbol {A}}}}={\frac {dg(y)}{dy}}{\frac {\partial f({\boldsymbol {A}})}{\partial {\boldsymbol {A}}}}}

流形上的梯度
------

一个黎曼流形M上的对于任意可微函数f的梯度\nabla f是一个向量场，使得对于每个向量 \xi， 

\langle \nabla f, \xi \rangle := \xi f
其中\langle \cdot, \cdot \rangle代表M上的内积（度量）而
\xi f (p), p\in M是f在點p，方向為\xi (p)的方向導數。换句话说，如果\varphi :U\subseteq M\mapsto \mathbb{R}^n為p附近的局部座標，在此座標下有\xi (x)=\sum\_j a\_j (x)\frac{\partial}{\partial x\_{j} },則\xi f (p)将成为：

\xi(f \mid\_{p}) := \sum\_j a\_j(\frac{\partial}{\partial x\_{j} }(f \circ \varphi^{-1}) \mid\_{\varphi (p)})。
函数的梯度和外微分相关，因为\xi f = df(\xi)，实际上內積容许我们可以用一种标准的方式将1-形式df和向量场\nabla f建立联系。由\nabla f的定義，df(\xi)=\langle \nabla f, \xi \rangle，这样f的梯度可以"等同"于0-形式的外微分df，這裡"等同"意味著：兩集合\{df \}和\{\nabla f \}之間有1對1的滿射。

由定義可算**流形**上\nabla f的局部座標表達式為：

 \nabla f=\sum\_{ik} g^{ik}\frac{\partial f}{\partial x^{k}}\frac{\partial}{\partial x^{i}}。
請注意這是**流形**上對黎曼度量 ds^2=\sum\_{ij}g\_{ij}dx^i dx^j 的公式，跟\mathbb {R} ^{n} 裡直角座標的公式不同。常常我們寫時會省略求和\sum符號，不過為了避免混淆，在這裡的公式還是加上去了。

参看
--

* 雅可比矩阵
* 散度
* 旋度
* 偏导数
* 索貝爾算子
* 向量分析
* 离子梯度
* 梯度下降法
* 等位集合（Level set）
* 外微分
* 在圆柱和球坐标系中的del

参考文献
----

### 引用

1. ↑  Beauregard & Fraleigh (1973, p. 84)
2. ↑  Bachman (2007, p. 76)  
Beauregard & Fraleigh (1973, p. 84)  
Downing (2010, p. 316)  
Harper (1976, p. 15)  
Kreyszig (1972, p. 307)  
McGraw-Hill (2007, p. 196)  
Moise (1967, p. 683)  
Protter & Morrey, Jr. (1970, p. 714)  
Swokowski et al. (1994, p. 1038)
3. ↑  Protter & Morrey, Jr. (1970, pp. 21,88)
4. ↑  Bachman (2007, p. 77)  
Downing (2010, pp. 316–317)  
Kreyszig (1972, p. 309)  
McGraw-Hill (2007, p. 196)  
Moise (1967, p. 684)  
Protter & Morrey, Jr. (1970, p. 715)  
Swokowski et al. (1994, pp. 1036,1038–1039)
5. ↑  Kreyszig (1972, pp. 308–309)  
Stoker (1969, p. 292)
6. ↑  Beauregard & Fraleigh (1973, pp. 87,248)  
Kreyszig (1972, pp. 333,353,496)
7. ↑  Schey 1992，第139–142頁.
8. ↑  张贤达 (2004, p. 258)

### 来源

书籍
* Bachman, David, New York: McGraw-Hill, 2007, ISBN 0-07-148121-4
* Beauregard, Raymond A.; Fraleigh, John B. Boston: Houghton Mifflin Company（英语：）, 1973, ISBN 0-395-14017-X
* Downing, Douglas, Ph.D. New York: Barron's（英语：）, 2010, ISBN 978-0-7641-4461-5
* Dubrovin, B. A.; Fomenko, A. T.; Novikov, S. P.. Graduate Texts in Mathematics 2nd. Springer. 1991. ISBN 978-0-387-97663-1.
* Harper, Charlie, New Jersey: Prentice-Hall, 1976, ISBN 0-13-487538-9
* Kreyszig, Erwin,  3rd, New York: Wiley, 1972, ISBN 0-471-50728-8
* 10th. New York: McGraw-Hill. 2007. ISBN 0-07-144143-3.
* Moise, Edwin E. Reading: Addison-Wesley, 1967
* Protter, Murray H.; Morrey, Jr. Charles B.  2nd, Reading: Addison-Wesley, 1970, LCCN 76087042
* Schey, H. M.  2nd. W. W. Norton. 1992. ISBN 0-393-96251-2. OCLC 25048561.
* Stoker, J. J. New York: Wiley, 1969, ISBN 0-471-82825-4
* Swokowski, Earl W.; Olinick, Michael; Pence, Dennis; Cole, Jeffery A.  6th, Boston: PWS Publishing Company, 1994, ISBN 0-534-93624-5
* 张贤达, 清华大学出版社, 2004, ISBN 9787302092711 （中文（中国大陆））