Processing math: 100%
スポンサーリンク

「逆関数の微分法」「高階導関数」【解析学の基礎シリーズ】1変数実数値関数の微分編 その4

微分法

本記事の内容

本記事は逆関数の微分法、および微分の記法についての注意と小咄の記事です。
本記事を読むにあたり、微分係数と導関数と合成関数の微分について知っている必要があるため、その際は以下の記事を参照してください。

逆関数の微分法を考えるのはなぜかネ?

通常、関数というのはy=f(x)の形をしています。
これについて「f(x)を求めなさい」と言われたらば、「はいはい、OKです。」となるわけですが、必ずしもそうはいきません。

つまり、x=g(y)みたいな形の関数だって出てくるわけです。
「このx=g(y)xについて微分しなさい」と言われたらどうしましょうか。
「んなもん、y=の形に直して微分すりゃいいじゃんか」と思うかもしれません。
確かに、x=2yみたいな簡単な関数だったらそれでOKです。
しかし、x=sinyだっただらどうでしょうか。

「んなもん、y=arcsinxに直して…あれ?yについての微分だったら、高校数学でやったしわかるけど…」となるのではないでしょうか(後の記事でsinxの微分についてもちゃんと解説しますので知らなくてもOKです)。
こういうときに逆関数の微分法を使うのです。
y=arcsinxの微分については後の記事で解説します。

このように、x=g(y)で、xについて微分したくても、y=の形に簡単に直せないような関数に対して逆関数の微分法が有用なのです。

逆関数の微分法の明示

では、早速逆関数の微分法について明示しましょう。

逆関数の微分法 I, JRRの開区間、φ:IJは全単射、φ1:JIφの逆写像(逆関数)とする。このとき、φ, φ1がそれぞれIJで微分可能であれば、次が成り立つ。 (φ1)(y)=(φ(x))1(=1φ(x))(y=φ(x))

ここで少し言及しておくと、写像fに逆写像f1が存在することと、fが全単射であることは同値(必要十分条件)でした。
詳しくは、【論理と集合シリーズ】写像編 その8、およびその9を参照してください。

では、証明に行きましょう!
全単射とはどういう写像だったかを思い出せば一瞬です。

証明

I, JRRの開区間、φ:IJは全単射、φ1:JIφの逆写像とします。
また、φ, φ1がそれぞれaIb=φ1(a)Jで微分可能としましょう。

このとき、φ1φの逆写像ですので、
φ1(φ(a))=a,φ(φ1(b))=b
が成り立ちます。
これらの両辺をそれぞれxyで微分します。
このとき、φ1(φ(a)), φ(φ1(b))はそれぞれ合成関数であることに注意します。

合成関数の微分は

合成関数の微分法 I, JRRの開区間、f:IR, g:JRとする。このとき、f(I)Jとする。 faIで微分可能であり、gb=f(a)で微分可能なとき、合成関数gfaで微分可能である。 さらに、 (gf)(a)=g(b)f(a) が成り立つ。

でした。
詳しくは【解析学の基礎シリーズ】1変数実数値関数の微分編 その3を御覧ください。

さて、合成関数の微分法を用いると、
(φ1)(y)φ(x)=1,φ(x)(φ1)(y)=1
です。
(φ1)(y)φ(x)は掛け算をして1なのですから、どちらも0ではありません。
従って、φ(x)0ですので、
(φ1)(y)=(φ(x))1(=1φ(x))
です。

証明終わり

本当に成り立つのかネ?

成り立ちます。

例1. f:(0,2)(0,4)が、y=f(x)=x2で定められているとします。
また、g:(0,4)(0,2)が、g(y)=yで定められているとします。
このとき、gfの逆関数です。

g(y)=12yです。
実際、
limh0g(y+h)g(y)h=limh0y+hyh=limh0(y+hy)(y+h+y)h(y+h+y)=limh0y+hyh(y+h+y)=limh0hh(y+h+y)=limh01y+h+y=12y
です。
ここで、y=x2ですので、g(y)=12y=12xです。

一方、f(x)=2xですので、1f(x)=12xです。

高階導関数

一言で言ってしまえば、「何回も微分した導関数のこと」です。
「なぜ必要なのかネ?」と思うかもしれませんが、1回だけだと関数の形を知るのには情報量が足りないからです。

微分係数の記事の図のように視覚的にわかるので、それで説明します。

微分係数が正のときは、その点(瞬間)で増加しています。
(実は、これは定理として後にしっかり証明します。ちなみに、証明には平均値の定理という定理を使います。)

しかしながら、あくまでこれは「増加している」ということしかわかりません。
どのように増加してるのかはわからないのです。

微分係数はその瞬間(点)の変化量のことでした。
つまり、微分係数の微分係数はその瞬間の変化量の変化量なので、ある瞬間の接線の傾きの変化量のことを指します。
仮に、一度微分したときの微分係数が正だったとしましょう。
微分係数の微分係数を考えることで、「段々と緩やかになりながらも増えているのか」、それとも「まだまだ急激に増えているのか」という「増え方」がわかるのです。

このように、関数の形をより詳しく知りたいときに何度も微分したりします。
また、拡散方程式などの現象の数理モデルでも出てきます。

高階導関数 IRRの開区間とする。 f:IRの導関数fIで微分可能である時、fの導関数(f)が定まる。これをf二階導関数といい、fと書く。 同様に、fが微分可能のとき、三階導関数(f)が定まる。
以下、機能的にfk階導関数f(k)が定まる。

例えば、例1.f(x)=x2の微分はf(x)=2xで、f(x)=2で、f(3)(x)=0です。

今回は、逆関数の微分法、高階導関数について解説しました。
逆関数の微分法は、平たく言えば、y=f(x)の逆関数g(y)=xyについて微分して、その逆数をとれば、fの微分が求まるよ、ということです。

高階導関数については、導関数が微分可能ならばもう一階微分できるよね?
k階やったらその導関数をf(k)と書こうぜ、という話です。

次回は、初等関数、特に多項式関数と指数関数と対数関数の微分について解説します。

乞うご期待!

コメントをする

タイトルとURLをコピーしました