この記事には参考文献や外部リンクの一覧が含まれていますが、脚注によって参照されておらず、情報源が不明瞭です。脚注を導入して、記事の信頼性向上にご協力ください。(2011年12月)
二つの図で、白と黒で表されるスカラー場は黒の方が値が高く、対応する勾配は青矢印で表されている。
ベクトル解析におけるスカラー場の勾配(こうばい、英: gradient; グラディエント)は、各点においてそのスカラー場の変化率が最大となる方向への変化率の値を大きさにもつベクトルを対応させるベクトル場である。簡単に言えば、任意の量の空間における変位を、傾きとして表現(例えば図示)することができるが、そこで勾配はこの傾きの向きや傾きのきつさを表している。
ユークリッド空間上の関数の勾配を、別なユークリッド空間に値を持つ写像に対して一般化したものは、ヤコビ行列で与えられる。さらに一般化して、バナッハ空間から別のバナッハ空間への写像の勾配をフレシェ微分を通じて定義することができる。
解釈2 変数関数 f ( x , y ) = x e − x 2 − y 2 {\displaystyle f(x,y)=xe^{-x^{2}-y^{2}}} の勾配を ⇒擬色描画された関数の上の青矢印として描画したもの
一つの部屋を、その部屋の温度を与えるスカラー場 T と考えれば、各点 (x, y, z) における温度を T(x, y, z) と書くことができる(ここでは温度は時間変化を起こさないものと仮定する)。部屋の各点において、T の勾配は最も早く温度が上昇する方向を指し、その大きさはその方向でどれほど早く温度が上昇するかを示している。
点 (x, y) における海抜が H(x, y) であるような曲面を考える。ある点における H の勾配は、その点においてもっとも傾き(縦断勾配)が急峻であるような方向を指すベクトルで、その大きさはその点でのもっとも急峻な傾きの値によって与えられる。
勾配からは、内積を取ることにより、最も変化の大きい方向以外の方向でも、そのスカラー場がどれほど変化するかを知ることができる。丘陵のもっとも急峻な傾きが 40% とすると、その丘陵を真っ直ぐ上る道の最も急峻な傾きも 40% となるが、代わりに適当な角度をつけて丘陵をぐるりと回る道を行けば、傾きはもっと緩やかになるはずである。例えば、道と真っ直ぐ坂を上がる方向との間の角度が、水平面に投影して 60° になっていれば、その道の最も急峻な傾きは 20%(40% に 60° の余弦を掛けたもの)になるはずである。
この考察を数学的に述べると以下のようになる。丘陵の高さを表す関数 H が微分可能であるものとすれば、H の勾配に単位ベクトルとの内積をとれば、そのベクトルの方向への丘陵の傾きが得られる。もう少し形式的に書くと、H が可微分であるとき、H の勾配と与えられた単位ベクトルとの内積は、その単位ベクトルの方向への H の方向微分に等しい。
定義関数 f(x, y) = −(cos2x + cos2y)2 の勾配を、底面に射影したベクトル場として描いたもの
スカラー関数 f (x1, x2, x3, ..., xn) の勾配(勾配ベクトル場)は、ベクトル微分作用素 ∇(ナブラ記号)を用いて、∇ f あるいは ∇→ f と書かれる。勾配を grad f と書くことも広く行われている。
f の勾配 ∇ f とは、各点 x において任意の空間ベクトル v とのドット積が f の v に沿う方向微分に一致するベクトル場として一意的に定義される。式で書けば、勾配は ( ∇ f ( x ) ) ⋅ v = D v f ( x ) {\displaystyle (\nabla f(x))\cdot \mathbf {v} =D_{\mathbf {v} }f(x)}
で決定されるということである。直交座標系において、勾配は成分が f の偏微分で与えられるベクトル場 ∇ f = ∂ f ∂ x 1 e 1 + ⋯ + ∂ f ∂ x n e n {\displaystyle \nabla f={\frac {\partial f}{\partial x_{1}}}\mathbf {e} _{1}+\cdots +{\frac {\partial f}{\partial x_{n}}}\mathbf {e} _{n}}
である。ただし、ei はこの座標系の目地を描く直交単位ベクトルである。関数が例えば時間のようなパラメータにも依存する場合、その勾配とは単に空間成分の微分のみからなるベクトルを指すことも多い。
三次元デカルト座標系においてこれは、i, j, k を基本単位ベクトルとして ∂ f ∂ x i + ∂ f ∂ y j + ∂ f ∂ z k {\displaystyle {\frac {\partial f}{\partial x}}\mathbf {i} +{\frac {\partial f}{\partial y}}\mathbf {j} +{\frac {\partial f}{\partial z}}\mathbf {k} }