偏微分

数学(解析学)の多変数微分積分学における偏微分（へんびぶん、）は、多変数関数に対して一つの変数のみに関する（それ以外の変数は）微分である（全微分では全ての変数を動かしたままにするのと対照的である）。偏微分によって領域の各点で得られる微分係数と導関数はそれぞれ偏微分係数（へんびぶんけいすう、）、偏導関数（へんどうかんすう）と呼ばれる。用語の濫用として、偏微分係数や偏導関数も偏微分と呼ばれる。偏微分はベクトル解析や微分幾何学などで用いられる。
函数 の変数 に関する偏微分は
など様々な表し方がある。一般に函数の偏微分はもとの函数と同じ引数を持つ函数であり、このことを
のように記法に明示的に含めてしまうこともある。偏微分記号 ∂ が数学において用いられた最初の例の一つは、1770年以降マルキ・ド・コンドルセによるものだが、それは偏差分の意味で用いられたものである。現代的な偏微分記法はアドリアン＝マリ・ルジャンドル が導入しているが、後が続かなかった。これを1841年に再導入するのがカール・グスタフ・ヤコブ・ヤコビである。
偏微分は方向微分の特別の場合である。また無限次元の場合にこれらはガトー微分に一般化される。
定義.
2変数の場合.
簡単のため、2 変数の場合のみを詳しく述べる。"z" = "f"("x", "y") を R2 のある領域上で定義された実数値関数で、"x" と "y" とは関数関係を持たずに独立に変化することができるとする。そして "y" を任意の値 "b" で固定すると、これを "z" = "f"("x," "b") = "f"1("x") という変数 "x" の関数だと思うことができる。このとき、この "z" = "f"1("x") の "x" = "a" における微分係数
を "z" = "f"("x", "y") の、点 ("a", "b") における "x" に関する偏微分係数とよぶ。この極限を
などのように記す。"z" = "f"("x", "y") を曲面と考えると、偏微分係数 "f""x"("a", "b") は領域上の点 ("a", "b") における、"z" の "x" 方向の傾きを表している。領域 "D" ⊂ R2 の各点 ("x", "y") で "x" に関する偏微分係数が存在するとき、これを "x", "y" の関数と見た
を "z" = "f"("x", "y") の "x" に関する偏導関数と呼ぶ。領域 "D" の各点で偏導関数が定義できるとき、"z" は領域 "D" において "x" に関して偏微分可能であるという。
同様に、"x" を任意の値 "a" で固定してできる "z" = "f"("a," "y") = "f"2("y") という "y" についての関数が、ある領域 "D" に属する "y" について微分可能なら
を "z" の "y" についての偏導関数といい、"z" は "D" において "y" について偏微分可能であるという。
形式的な定義.
一般の場合、"u" = "f"("x"1, "x"2, ..., "x""n") の変数
"x""i" (1 ≤ "i" ≤ "n") に関する偏微分または偏導関数とは、R"n" のある領域 "D" の各点において極限
が存在するとき、その極限として得られる "D" 上の関数のことをいい
などであらわす。他に使われている変数を明示するときは
などの記法が使われる
高階偏導関数.
偏導関数がさらに偏微分可能ならば、偏微分を繰り返して高階（高次）の偏導関数
などを考えることができる。一般に多重指数 α = ("a"1, "a"2, ..., "a""n") に対して |α| = "a"1 + "a"2 + ... + "a""n" として
を定義することができる。
たとえば 2 変数の関数 "f"("x", "y") が偏微分可能で、さらに二つの偏導関数 "f""x" , "f""y" が偏微分可能なとき、"f" の二階の偏導関数は
の 4 つが定義できる。ここで、二つの偏導関数 "f""xy" , "f""yx" は一般には異なる関数であるが、これらの偏導関数が連続、つまり元の関数が "C"2 級であるならば、両者は一致する（ヤングの定理）。
また、一致しないものとしては、たとえば全平面で定義される関数
が挙げられる。実際このときは "f""xy"(0, 0) ≠ "f""yx"(0, 0) となる。
「偏積分」.
通常の微分に対する不定積分（原始関数）に対応する概念を、偏微分に対しても考えることができる。すなわち、偏導関数を既知としてもとの関数を復元する操作である。
例として、 を考える。偏微分するときにそうしたように を定数と見て、 に関する「偏」積分として
をとることができる。ここに、積分「定数」はもはや定数と仮定することはできず、もとの関数の引数のうち 以外のもの全てを変数とするような函数と考えなければならない。なぜならば、 での偏微分に際してその他の変数は全て定数として扱われるから、 を含まぬ任意の函数は偏微分によって消えてしまうので、そのことを勘案して不定積分を定式化せねばならない。こういったことを諸々含めた意味で、その他の変数をすべて含む未知函数を「定数」と呼ぶことにするのである。
そうすると、任意の一変数函数 を含む函数 全体の成す集合が、 に関する偏微分で となる二変数 の函数全体の成す集合を表すことがわかる。
仮に一つの函数の任意の偏微分が（例えば勾配などによって）既知であるならば、上記のやり方で以て全ての偏原始函数を同定すれば、もとの函数は定数の違いを除いて再構成することができる。