解析学基礎/二階微分

出典: フリー教科書『ウィキブックス（Wikibooks）』

目次 1 二階微分 2 二階微分の意味 3 例 4 多変数の場合

[編集] 二階微分

二階微分とは、関数の導関数をさらに微分したもののことです。つまり、f(x)の二階微分とは、

のことです。ふつうは

のように書きます。肩に乗った2の場所が、上と下で異なることに注意しましょう。あるいは、y',f'(x)のような記号に合わせるなら、y'',f''(x)などと書きます。

[編集] 二階微分の意味

さて、二階微分はこのように定義されるのですが、ではここで定義した二階微分にはどのような意味があるのか考えてみましょう。

関数の微分には、その関数の変化の割合、あるいは接線の傾きという意味がありました。今度はそれをさらに微分したわけですから、「変化の割合の変化の割合」、「接線の傾きの変化の割合」が求められたことになります。つまり、y''が大きければそれに従って接線の傾きがどんどん大きくなっていきますし、逆に負であれば接線の傾きは小さくなっていきます。

物理的な視点で見ると、物体の位置を時間の関数としてみなしたときに、その関数の微分は物体の速度を表すのでした。そのような物理的な視点で二階微分を見てみると、これは加速度を表していることになります。

[編集] 例

二階微分には上の節で見たような意味があるので、これを使うと、ある点の近くでの関数のようす、言い換えればグラフの形を調べるのに、微分だけを使っていたときよりも詳しく調べることができます。ここでは具体的な関数について少し調べてみましょう。

y = x²の場合

まずはよく知っている二次関数について調べてみましょう。計算してみると、y' = 2x,y'' = 2となることはすぐにわかりますね。この場合、y''の値はxによらず常に一定の正の値を取ることがわかりました。つまり、グラフの左のほうでは接線の傾きは負ですが、だんだん右に来るにつれて0に近づき、そしてあるところからは正になります。確かに既によく知っているこの関数のグラフの形を表していますね。

この二次関数は「下に凸」な関数であると言うのは知っているでしょう。二次関数に限らず一般に、関数の二階微分が正であるとき、その関数は下に凸であるといいます。もちろん二階微分が負なら上に凸です。

ところで、微分の符号が変わるとき、関数は極値をとるというのでした。この場合、(x,y) = (0,0)が極値でした。微分だけではここまでしかわかりませんが、二階微分を使えば、これが極小値なのか極大値もわかります。つまり、二階微分が正なら「下に凸」なのですから、グラフを見ればわかるように、極小値です。同様に負ならば極大値です。0のときは残念ながら二階微分だけではよくわかりません。（さらに何回か微分するとわかるかもしれません）

y = x³ − 3xの場合

二次関数は既によく知っているので面白くないですね。微分を使うメリットは、知らない関数のことを詳しく調べられることです。そこで、とりあえずこのような三次関数を調べてみましょう。

計算してみるとy' = 3x² − 3,y'' = 6xです。先ほどと同様に考えると、x=-1では微分が0で二階微分が負なので、極大値をとります。x=1では微分が0で二階微分が正なので、極小値をとります。ここまでは先ほどと同じですね。

先ほどと少し違うのは、x=0で二階微分の符号が変わることです。つまり、それより左では上に凸だった関数が、それより右では下に凸に変わるのです。上に凸か下に凸かというのは、言ってみればグラフの曲がり方が違うので、このような点のことを変曲点と呼びます。

具体的な関数で調べましたが、一般の関数でも同じように計算すれば同じことがわかります。一般に成り立つことを表の形でまとめておきます。

	y'' > 0	y'' = 0	y'' < 0
y' > 0		変曲点の可能性がある
y' = 0	極小値		極大値
y' < 0		変曲点の可能性がある

二階微分が0になることは、その点が変曲点であるための必要条件ではありますが、十分条件ではないことに注意しましょう。

[編集] 多変数の場合

多変数関数では、偏微分を考えます。n変数関数の二階微分とは、この関数をある変数x_iで微分してから、さらにx_jで微分することです。x_iとx_jは同じでも異なっても構いませんが、記号は少し変わります。同じ変数で2回微分した場合は

と、異なる変数で1回ずつ微分した場合は

と書きます。