本稿では、導関数と微分を紹介しています。
なお、閲覧にあたっては、以下の点にご注意ください。
- スマートフォンやタブレット端末でご覧の際、数式が見切れている場合は、横にスクロールすることができます。
平均変化率と微分係数
関数 がある区間で定義されているとし、 をその区間に属する異なる2点とする。そのとき、
は、
の値が から まで変化するときの、関数の値の変化を表し、したがって
は、関数の変化量の、 の変化量に対する割合を表す。
この商を、 と の間の、または から までの関数 の平均変化率 mean rate of change という。
図形的には、関数 のグラフ上の2点
を結ぶ直線の傾きを表している。
平均変化率はまた、しばしば、差分商 difference quotient や ニュートン商 Newton quotient とも呼ばれる。
つぎに、関数 が定義されている区間内に1点 を固定し、 をその区間内の と異なる任意の点とする。そのとき
は、 から までの関数 の平均変化率を表す。
これは、その区間内の と異なる値 に対して定義された の関数である。
もし、 を に近づけるとき、この平均変化率が有限の極限値 をもつ、すなわち
となるならば、
を関数 の における変化率 rate of change、または、微分係数 derivative と呼び、記号
で表す。
すなわち、右辺の極限が存在して、しかも有限であるとき
微分係数 が存在するとき、関数 は において微分可能である differentiable という。
上に書いた微分係数 の定義の式において、
とおけば、
であり、
が に近づくことは、 が に近づくことと同値となる。よって、上の定義式は
とも書きかえられる。
なお、より正確には、右微分係数と左微分係数の両係数が存在し、これらが一致する、すなわち
のとき微分可能といい、
微分係数が存在しないとき、その関数はその点で微分不能という。
微分可能性と連続性
関数 が において微分可能であるとする。そのとき、 ならば
両辺の極限を取ると、
ここで
したがって、
これは、関数 が において連続であることを示している。すなわち、次の定理が成り立つ。
関数 が において微分可能ならば、 は において連続である。
ただし、この逆は成り立たず、関数 が において連続であっても微分可能であるとは限らない。
片側微分係数
一般に、関数 の定義域に属する1点 において、有限の極限値
が存在するとき、
は において右側微分可能であるといい、この極限値を における右側微分係数という。
同様に、関数 の定義域に属する1点 において、有限の極限値
が存在するとき、
は において左側微分可能であるといい、この極限値を における左側微分係数という。
導関数
関数 がある区間 に属するすべての の値において微分可能であるとき、 は区間 において微分可能であるという。 が区間 において微分可能ならば、 はこの区間で連続である。
関数 が区間 において微分可能であるとき、 に属するおのおのの に、 における微分係数 を対応させれば、 で定義された新しい関数 が得られる。この関数 を の導関数 derivative と呼ぶ。
一般に、微分可能な関数 の導関数 は、
によって求められる。
この式は、微分係数の定義式の を、単に一般の点 におきかえただけにすぎない。
導関数の定義式の右辺において、 は の変化量 はそれにともなう の変化量を表している。これらはしばしば、それぞれ、 の増分、 の増分と呼ばれる(増分といっても正の数とは限らないが、独立変数 の増分は0でない数)。
古典的な記法では、 の増分、 の増分を、それぞれ、記号
で表す。
すなわち
関数 の導関数を表すには、記号 のほかに
などの記号も用いられる。
関数 からその導関数 を求めることを あるいは を について微分するという。
高次導関数
ある区間で定義された関数 が微分可能ならば、その区間で導関数 が定義される。もし、導関数 もその区間で微分可能ならば、さらに の導関数を定義することができる。それを の第2次導関数 second derivativeと呼び
と表す。
関数 が と書かれているときには、 はまた、
などとも表される。
もちろん、もっと高次の導関数を考えることもできる。すなわち、 に続けて、第3次導関数 、第4次導関数 などが定義される。一般に、 を 回徴分して得られる関数を第 次導関数 n-th derivativeと呼び、'を 個並べて書く不便さを避けるために、記号
と表す。
関数 が と書かれているときには、高次導関数は、
などとも表される。
参考文献
関連記事
0 件のコメント:
コメントを投稿