函数の全微分

微分法の分野における全微分（ぜんびぶん、）は多変数の場合の函数の微分である。

 を （あるいはより一般に可微分多様体）の開集合として、全微分可能な函数  の全微分を  と書けば、これは
 
のように表される。全微分と偏微分の区別のため、全微分には "丸くない d" を用い、偏微分には "丸い d" つまり ∂ を用いる。以下、扱う函数は全て全微分を持つものと仮定するから、同時にそれは偏微分可能であり、また  は上記の式として表すことが可能となることに注意。 

伝統的には、あるいは現代においても自然科学などの分野においてしばしば、微分  などを無限小として扱う。一方現代数学的な取扱いでは、微分形式（特に微分 1-形式）と考える。これは完全に形式的な式と考えることもできるし、線型写像として扱うこともできる。函数  の点  における微分  は、各ベクトル  に対して  を通る -方向への方向微分を対応付ける線型写像になる。この意味において全微分は、全微分係数（全導函数）である。このことは函数の終域を  やほかのベクトル空間あるいは多様体に取り換えても通用する。

全微分と線型近似 
全微分可能な函数  の点  における全微分商 (total derivative) は、函数 

を近似する線型写像であり、 が十分小さいとき

と書くことができる。

現代数学において、この写像は  の  における全微分 (total differential)  と呼ばれる（この意味において、全微分商と全微分は同義である）。微分小  を  の第 -成分  を対応させる写像  と見れば、写像としての等式
 
が成り立ち、上記の近似式は

と書くことができる。

伝統的には、自然科学の広範な分野において、微分小  を微小変分  それ自身と考えることがよく行われる。このとき、 の全微分  はその変分の線型主要部であり、上記の近似式は
 
あるいは

と書くことができる。

線型写像としての全微分

実線型空間 
 がベクトル空間  の開集合で、 は微分可能とする。任意の点  における全微分  は、各ベクトル  に対して方向微分を割り当てる線型写像、即ち

である。 は R-値であるから、これは線型形式であり、また  をベクトルの第 -成分を取り出す写像（双対基底）
 
とすれば、上記は
 
と書ける。あるいはまた勾配を用いて
 
と書くこともできる。右辺は点乗積である。

多様体 

一般の場合において、点  における全微分  は接ベクトル  に対して、その方向への方向微分を割り当てる。接ベクトル （ は  を満たす  内の曲線）に対し、
 
である。従って全微分  は  の点  における余接空間  の元である。

 を適当な座標系のもとで表示するために、点  の近傍  で定義された写像  で  となるものをとる。 の標準基底を  とすれば、相異なる  この曲線  は  が  の基底であり、
 
と偏微分を得ることができる。先の例と同様に  は写像  の全微分とすれば、これは  の元であって、 の双対基底を成し、上記は
 
と書ける。

接ベクトル  を（微分作用素）と見れば、 を得る。

連鎖律 

 は可微分函数で、,  は滑らかな曲線とすると、合成函数の微分は
 
と書ける。多様体の場合にも同様のことが成り立つ。

無限小と微分形式 
無限小変分としての全微分を考えることは全微分を理解する単純な方法である。たとえば時刻  と時刻  に依存する  個の変数  の函数  を考えるとき、 の無限小変分は
 
で与えられる。しばしばこの式は「経験論的」な無限小の間の関係として解釈されるが、変数  および  を函数と思えば、 はこれらの函数と  の合成と解釈できるから、上記は微分 1-形式の間の等式として完全に意味を持ち、外微分に関する連鎖律からすぐに得られる。このような観点に立つ利点は、変数間の任意の依存関係を扱うことができることである。たとえば、 のとき、 が成り立つ。特に全ての変数  が  の函数ならば
 
となる。

可積分性 

各全微分  は 1-形式である。即ち
 
と表示できる。微分形式の解析学においてカルタン微分  は 2-形式 
 
である。 が実際に -級函数  の全微分  であるとき、即ち  のとき二階微分の対称性により

が成り立つ。

局所的には常にこの逆が成り立つ:
 1-形式  が  を満足するならば、その点の適当な近傍において  の原始函数、すなわち可微分函数  で  を満足するものが存在する。

ゆえに  を可積分条件と呼ぶことがある。これは具体的には任意の  に対して
 , 
あるいは 
 
が成り立つことである。

多くの場合には、さらに大域的な原始函数が存在して  はその全微分になる。これは例えば、微分形式が の領域、より一般にはあるいは単連結領域上で定義される場合などである。

多様体  上の任意の 1-形式が可積分条件を満たす（つまり、原始函数を持ちその全微分となる）という主張は、一次の  が自明であることと同値である。

微分積分学の基本定理 
 において任意の -形式  を考えるとき、次元の関係から必ず  が成立する。従って  において可積分条件が成り立ち、適当な可微分函数  が存在して , 即ち  が成立する。これは一変数の場合の微分積分学の基本定理に他ならない。

全微分方程式 

完全微分方程式 (total differential equation) は、全微分に関する方程式として書ける微分方程式である。外微分の性質により、このような方程式は空間の内在的かつ幾何学的な性質を記述するものと理解することができる。

一般化 
同様にして（成分ごとに考えて）ベクトル値函数の全微分も定義できる。可微分多様体間の可微分写像に対する一般化として微分写像が得られる。

函数解析学において全微分は、フレシェ微分によって容易に一般化することができる。変分法ではと呼ばれる。

参考文献 
 Alle Lehrbücher der Analysis, üblicherweise Band 2, „Mehrere Veränderliche“, etc.

出典 

微分積分学
微分作用素
数学に関する記事