OVERVIEW
スカラー場の微分とは？
ユークリッド空間もしくはその部分集合を定義域とし、実数を値としてとる写像をスカラー場や多変数関数と呼びます。スカラー場の極限や連続性について学んだ知識を土台に、本節ではスカラー場の微分について考えます。
1変数関数の変数は数直線を移動する一方で多変数関数の変数は多次元空間上を移動するため、多変数関数の微分を定義するにあたり、1変数関数の微分の概念をどのような形で拡張すればよいかが問題になります。1変数関数の微分に関する多くの性質が多変数関数の微分にも継承されますが、多変数であることに由来する特殊な性質や問題も存在します。
MATERIALS
テキストの一覧
SECTION 1
偏微分
多変数関数をあたかも1変数関数のように見なした場合に得られる微分概念を偏微分と呼びます。1変数関数において微分可能性は連続性を含意するのに対し、多変数関数において偏微分性は連続性を含意しません。
偏導関数
スカラー場（多変数関数）が定義域上の任意の点においてある変数に関して偏微分可能であるならば、定義域上のそれぞれの点に対してそこでのその変数に関する偏微分係数を定めるスカラー場が定義可能です。これを偏導関数と呼びます。
勾配ベクトル
スカラー場（多変数関数）が定義域上の点においてすべての変数に関して偏微分可能であるならば、そこの点におけるそれぞれの変数に関する偏微分係数からなるベクトルが存在します。これを勾配ベクトルと呼びます。また、スカラー場の定義域上のそれぞれの点に対してそこでの勾配ベクトルを定めるベクトル場を勾配ベクトル場と呼びます。
偏微分可能性と連続性
1変数関数が定義域上の点において微分可能である場合にはその点において連続であることが保証される一方、スカラー場（多変数関数）に関しては、偏微分可能な点において連続であるとは限りません。
SECTION 2
方向微分
多変数関数の変数を特定のベクトルの方向へ移動する状況を想定した微分概念を方向微分と呼びます。偏微分と同様、方向微分もまた連続性を必ずしも含意しません。
方向導関数
スカラー場（多変数関数）が定義域上の任意の点においてある方向に関して方向微分可能であるならば、定義域上のそれぞれの点に対してそこでのその方向に関する方向微分係数を定めるスカラー場が定義可能です。これを方向導関数と呼びます。
方向微分可能性と連続性
スカラー場（多変数関数）が定義域上の点において任意の方向に関して方向微分可能である場合においても、そのスカラー場はその点において連続であるとは限りません。
SECTION 3
全微分
微分可能性から連続性を導くためには偏微分や方向微分とは異なる微分概念が要請されます。それを全微分と呼ばれる概念として定式化します。
全微分係数
スカラー場（多変数関数）が偏微分可能もしくは方向微分可能である場合においても連続であるとは限りません。微分可能性から連続性を導くためには新たな微分概念が必要であるため、それを全微分と呼ばれる概念として定式化します。
全微分と偏微分の関係
スカラー場（多変数関数）が定義域上の点において全微分可能である場合、その点において偏微分可能であることが保証されるとともに、そこでの全微分係数と勾配ベクトルは一致します。
全微分と方向微分の関係
スカラー場（多変数関数）が定義域上の点において全微分可能であるとき、そのスカラー場はその点において任意の方向に関して方向微分可能であるとともに、方向微分係数は勾配ベクトルと方向ベクトルの内積と一致します。
