全微分

微分積分学における多変数函数の全微分商、全微分係数あるいは単に全微分は、外生的な変数の変分に対する函数の変分の割合の極限である。このとき、外生的な変数による直接的な影響のみならず函数が持つ他の内生的変数を通じてもたらされる影響をも考慮する必要がある。これはより弱い概念である偏微分を用いるのでは有効な結果を得られないような解析学的主張に対して、より多くの結果を得られるということであり、またこの意味において、微分積分学の様々な概念がこの全微分をもとにして定義される。現代数学の多くの文献において、全微分を単に微分のように言うことはよくある。というより偏微分との区別のための強調語の過ぎないのでこの姿勢の方が本来自然である。

多変数函数に対する全微分可能性は、多変数の微分積分学における基本性質の一つである。函数の与えられた点における全微分可能性は、函数が局所的に線型変換で近似されることを意味している。これに対し、偏微分は、任意方向を持つ直線上における線形近似に過ぎず、全体としては線型近似になるとは限らない。函数 f}} の変数 t}} に関する全微分の計算において、t}} 以外の変数を定数と見なすことは必要でなく、実際他の変数が t}} に依存することが許される。全微分では f}} の t}} に対する依存関係として、このような変数間の陰伏的な従属関係も含めて考えるのである198-203}}。その意味において函数の全微分商は、函数の偏微分商とは異なる。

例えば、函数 //f//}} の t}} に関する全微分商は

であり、これはまた

と簡約することができる。両辺に無限小変分 dt}} を掛ければ

と書くこともできる。最後の式は、df}} を多変数函数 f}} の無限小変分と見ることも、線型主要部と見ることもできる。f}} は t}} に依存しているのだから、その変分には t}} に関する f}} の偏微分からの寄与がいくらかはあるはずであるが、ほかの変数 x, y}} に関する f}} の偏微分からの寄与も同様に来るはずである。無限小変分 dt}} に対する x}} および y}} の全微分を考えることにより、無限小変分 dx}} および dy}} が求まるから、これらを用いて df}} への寄与を知ることができる。

フレシェ微分は無限次元空間上で定義される全微分の一般化で、局所線型近似としての全微分の性質を受け継ぐ。

1. 導入
-----

函数 //f//: R → R}} に対し、その点 p}} における微分係数とは、一般に

なる極限として定義される。この形で定式化すると、h}} で割るということが多変数の //F//: Rmsup の場合にはできないから、もう少し違った形を探らねばならない。

微分係数 //f'//}}}} は函数 //y// =}} //f//}} のグラフ上の点 )}} における接線の傾きであり、またその接線は

で表され、これは一次函数

のグラフでもある。この函数は

あるいは

と書くとき、誤差項 //r//}} が //h// → 0}} の極限において h}} よりも早く 0}} に収束する、すなわち

が成り立つという意味において函数 f}} を近似するものである。

この形であれば多変数の //F//: R'//msup の場合にも意味を持たせることができる。即ち、h}} は //Rmsup のベクトルであり、また//F}}}} は Rmsup から Rmsup への線型写像である。一変数の実函数 //f//: R → R}} の点 //p// ∈ R}} における微分係数 //f//}} はふつうは数と解釈されるが、それに対して多変数の場合にはこれら線型変換は微分行列 , ヤコビ行列あるいは基本行列  などと呼ばれる行列で表される。

2. 変数同士の陰伏的な関係と微分
-----------------

函数 f}} は二つの変数 x, y}} の函数とする。通常はこれらは互いに独立であると仮定するところだが、これらが従属関係を持つ状況を考えなければならない場面も存在する。例えば y}} が x}} の函数で、f}} の定義域を Rmsup 内の曲線に制限するとすれば、このとき x}} に関する f}} の偏微分は、f}} の変化率を正しくあたえるものとならない。しかし全微分はそれらの依存関係も汲んで捉えることができる。

例えば //f// =}} //xy//}} を考える。x}} に関する f}} の変化率は普通は x}} に関する偏微分商、今の場合 fraction で得られるが、y}} が x}} に依存するならば、x}} を動かすとき y}} を固定することができないから、この偏微分商は x}} の変分に対する f}} の変化率を正しく与えない。

今制約条件として直線 //y// =}} //x//}} 上に話を限れば、//f// =}} //f// =}} //x//exp である。この場合、f}} の x}} に関する全微分商は

である。y}} に x}} の式を実際に代入する代わりに、同じ結果を連鎖律を用いて

と得ることができる。これが偏微分商と一致しないこと:

に注意せよ。

陰伏的な従属関係を代入を実行して解消することはしばしば有効なことだが、連鎖律を用いる方がより汎用で効果的な手法である。時刻 t}} と時刻 t}} に依存する n}} 個の変数 pmsub の函数 //M//}} を考えるとき、M}} の全微分商

は、多変数函数の微分に関する連鎖律により

と書ける。例えば //f//, //y//)}} の全微分商は

となる。ここに fraction の項が現れないのは f}} が独立変数 t}} に直接依存していないことによる。

3. 全微分可能性
---------

Rmsup の開集合 U}} と U}} の点 p}} に対し、写像 //F//: //U// → Rmsup が p}} において全微分可能あるいは単に微分可能であるとは、線型写像 //L//: Rmsup が存在して、

を満たすことを言う。ここに、h}} は Rmsup のベクトル、各量を挟む二重縦棒 ‖}} はそれぞれ Rmsup または Rmsup のベクトルのノルムである。

この線型写像 L}} は、存在するならば一意に定まる。これを F}} の p}} における'//全微分  または単に微分と呼び、//DF//}}, //DF//msub, //dF//msub, //F}}}} などで表す。

4. 参考文献
-------

Konrad Königsberger: //Analysis 2//. Springer-Verlag, Berlin/Heidelberg, 2000, ISBN 3-540-43580-8.
A. D. Polyanin and V. F. Zaitsev, //Handbook of Exact Solutions for Ordinary Differential Equations //, Chapman & Hall/CRC Press, Boca Raton, 2003. ISBN 1-58488-297-2
From thesaurus.maths.org [1]

5. 関連項目
-------

函数の全微分: 函数の微分の多変数版の記述。
微分写像: 可微分多様体間の写像の全微分可能性について。

6. 外部リンク
--------

https://web.archive.org/web/20081006073754/http://www.sv.vt.edu/classes/ESM4714/methods/df2D.html