微分の定義と基本性質
微分は関数の「瞬間的な変化率」を表す概念であり、接線の傾きとして幾何学的に解釈できます。
微分係数の定義
関数 の点 における微分係数 は次の極限で定義されます。
この極限が存在するとき、 は点 で微分可能であるといいます。
同値な定義として もあります。
幾何学的意味
は点 と点 を結ぶ割線の傾きです。 の極限をとると、割線は接線に近づきます。
したがって は曲線 の点 における接線の傾きです。
微分可能性と連続性
が点 で微分可能ならば、 は で連続です。
証明: より です。
逆は成り立ちません。 は で連続ですが微分可能ではありません。
導関数
が区間 の各点で微分可能なとき、 を の導関数といい、, , などと書きます。
微分の基本公式
を定数、 を微分可能な関数とすると
のとき です。
べき関数の微分
を正の整数とすると です。
証明:二項定理より なので
この公式は が実数のときも成り立ちます。
合成関数の微分(連鎖律)
が で微分可能、 が で微分可能なら、 は で微分可能で
ライプニッツの記法では と書けます。
高階微分
がさらに微分可能なとき、その導関数を または と書き、 の2階導関数といいます。同様に 階導関数 を帰納的に定義します。
が存在するとき、 は 回微分可能であるといいます。すべての で が存在するとき、 は無限回微分可能または滑らかであるといい、 と書きます。