数学 | 最新の教材

多変数のベクトル値関数が連続微分可能な点に関しては、その多変数ベクトル値関数を方向微分するプロセスは1変数ベクトル値関数を微分するプロセスと実質的に等しくなります。

多変数関数が全微分可能である場合には偏微分可能であることが保証される一方、その逆は成り立つとは限りません。ただ、多変数関数が連続微分可能である場合には全微分可能であることが保証される一方、その逆は成り立つとは限りません。

多変数のベクトル値関数（ベクトル場）のすべての変数を任意の経路で動かす状況を想定した微分概念を全微分と呼びます。

偏微分可能な多変数のベクトル値関数（ベクトル場）どうしのベクトル差として定義される多変数のベクトル値関数もまた偏微分可能です。

偏微分可能な多変数のベクトル値関数（ベクトル場）どうしのベクトル和として定義される多変数のベクトル値関数もまた偏微分可能です。

偏微分可能な多変数のベクトル値関数（ベクトル場）のスカラー倍として定義される多変数のベクトル値関数もまた偏微分可能です。

多変数のベクトル値関数（ベクトル場）の偏導関数が偏微分可能である場合には偏導関数の偏導関数が得られますが、これを2階の偏導関数と呼びます。同様に、3階の偏導関数、4階の偏導関数なども定義可能です。これらを高階の偏導関数と呼びます。

多変数のベクトル値関数（ベクトル場）の変数を特定の線分に沿ってまっすぐ動かす状況を想定した微分概念を方向微分と呼びます。

多変数のベクトル値関数は偏微分可能な点において連続であるとは限りません。微分可能性から連続性を保証するためには全微分と呼ばれる微分概念が必要です。

偏微分可能な多変数のベクトル値関数（ベクトル場）と、すべての成分関数が全微分可能な多変数のベクトル値関数の合成関数として定義される多変数のベクトル値関数もまた偏微分可能です。

偏微分可能な多変数のベクトル値関数（ベクトル場）と全微分可能な多変数関数（スカラー場）の合成関数として定義される多変数関数もまた偏微分可能です。

多変数のベクトル値関数（ベクトル場）を特定の変数に関して偏微分することとは、他の変数の値を固定することで得られる1変数のベクトル値関数をシンプルな1次式で近似する（線型近似）ことを意味します。

多変数のベクトル値関数（ベクトル場）を偏微分するプロセスは1変数のベクトル値関数（曲線）を微分するプロセスと実質的に等しいため、偏微分を行う際には微分に関する諸々の公式を活用できます。

多変数のベクトル値関数（ベクトル場）が定義域上の点においてすべての変数に関して偏微分可能である場合、その点におけるそれぞれの成分関数のそれぞれの変数に関する偏微分係数を成分とする行列が存在します。これをヤコビ行列と呼びます。

多変数のベクトル値関数（ベクトル場）が与えられたとき、1つの変数以外のすべての変数の値を固定し、あたかも1変数のベクトル値関数であるかのようにみなした上で定義される微分概念を偏微分と呼びます。