微分の定義と基本性質

微分は関数の「瞬間的な変化率」を表す概念であり、接線の傾きとして幾何学的に解釈できます。

微分係数の定義

関数 の点 における微分係数 は次の極限で定義されます。

この極限が存在するとき、 は点 で微分可能であるといいます。

同値な定義として もあります。

幾何学的意味

は点 と点 を結ぶ割線の傾きです。 の極限をとると、割線は接線に近づきます。

したがって は曲線 の点 における接線の傾きです。

微分可能性と連続性

が点 で微分可能ならば、 で連続です。

証明: より です。

逆は成り立ちません。 で連続ですが微分可能ではありません。

導関数

が区間 の各点で微分可能なとき、 の導関数といい、, , などと書きます。

微分の基本公式

を定数、 を微分可能な関数とすると

のとき です。

べき関数の微分

を正の整数とすると です。

証明:二項定理より なので

この公式は が実数のときも成り立ちます。

合成関数の微分(連鎖律)

で微分可能、 で微分可能なら、 で微分可能で

ライプニッツの記法では と書けます。

高階微分

がさらに微分可能なとき、その導関数を または と書き、 の2階導関数といいます。同様に 階導関数 を帰納的に定義します。

が存在するとき、 回微分可能であるといいます。すべての が存在するとき、 は無限回微分可能または滑らかであるといい、 と書きます。