全微分

ウィキペディア

全微分

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2024/01/03 18:48 UTC 版)

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

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

例えば、函数 f(t,x,y) の t に関する全微分商は

${\frac {\mathit {df}}{\mathit {dt}}}={\frac {\partial f}{\partial t}}{\frac {\mathit {dt}}{\mathit {dt}}}+{\frac {\partial f}{\partial x}}{\frac {\mathit {dx}}{\mathit {dt}}}+{\frac {\partial f}{\partial y}}{\frac {\mathit {dy}}{\mathit {dt}}}$