【SPONSORED LINK】

ワンステップ数学5|微分不可能な例と直感的な理解

関数f(x)を微分して導関数f'(x)を考えることにより,xy平面上のグラフy=f(x)の接線の傾きを考えることができるのでした.

また,これにより関数f(x)の増減を考えることもできますね.

このように,微分法は関数の増減を調べるためにとても便利ですが,関数はいつでも微分可能であるとは限りません.

「微分可能でないこと」を「微分不可能」と言いますが,高校数学では微分不可能であるような関数を扱うことは多くありません.

とはいえ,数学IIIでは微分の考え方をある程度扱う以上,微分不可能であるような例も知っておくとより理解が深まります.

この記事では,微分不可能な関数について考えます.

【SPONSORED LINK】

微分可能性の定義と性質

最初に

  • 微分可能性の定義
  • 微分可能性と連続性の関係

をみておきましょう.

微分可能性の定義

関数が微分可能であるとは次のように定義されます.

[微分可能性] 関数f(x)と実数 a に対して,極限

\begin{align*} \lim_{b\to a}\frac{f(b)-f(a)}{b-a}\bra{=\lim_{h\to 0}\frac{f(a+h)-f(a)}{h}} \end{align*}

が有限の値として存在するとき,f(x)x=a微分可能であるという.また,微分可能でないとき,微分不可能であるという.

定義式は

  • \lim\limits_{b\to a}\dfrac{f(b)-f(a)}{b-a}
  • \lim\limits_{h\to 0}\dfrac{f(a+h)-f(a)}{h}

の2つ考えられますが,これらが等しいことについては以下の記事で説明しています.

微分可能性を考えるときには

  • どの関数が
  • どこで

という2つが重要です.

直感的には,「f(x)x=aで微分可能である」とは,「グラフy=f(x)x=aで『接線が引ける』=『なめらか』である」ということを表しています.

また,前後しますが,極限についても定義を確認しておきましょう.

[極限] 関数f(x)と実数 a に対して,極限\lim\limits_{x\to a}f(x)が存在するとは,

  • x>ax\to aとする右極限\lim\limits_{x\to a+0}f(x)
  • x<ax\to aとする左極限\lim\limits_{x\to a-0}f(x)

が共に存在して一致することをいう.なお,a=0のときは

  • 右極限を\lim\limits_{x\to +0}f(x)
  • 左極限を\lim\limits_{x\to -0}f(x)

と書く.

この「右極限」と「左極限」は数学IIIの範囲ですね.

関数f(x)x=aで微分可能であるとは,図形的にはy=f(x)のグラフがx=aで滑らかであるということである.

連続性の定義

次に連続性の定義を確認しましょう.

[連続性] 関数f(x)と実数 a に対して,\lim\limits_{x\to a}f(x)が存在してf(a)に一致するとき,f(x)x=a連続であるという.また,連続でないとき不連続であるという.

微分可能性と同様に,連続性を考えるときには

  • どの関数が
  • どこで

という2つが重要です.

直感的には,f(x)x=aが連続である」とは,「グラフy=f(x)x=aで『繋がっている』」ということを表しています.

逆に「f(x)x=aが不連続である」とは,「グラフy=f(x)x=aで『切れて』いる」ということになります.

また,\lim\limits_{x\to a}f(x)が存在して」いても,それが「f(a)に一致」していなければ連続ではありません.

関数f(x)x=aで連続であるとは,図形的にはy=f(x)のグラフがx=aで繋がっているということである.

微分可能性と連続性の関係

次の[微分可能性と連続性]は重要です.

[微分可能性と連続性] 関数f(x)と実数 a に対して,f(x)x=aで微分可能であればf(x)x=aで連続である.

パッと書かれるとピンとこないかも知れませんが,

 関数f(x)x=aで微分可能
y=f(x)のグラフはx=aでなめらかである
→前提としてグラフは繋がっていなければならない
→連続でなければならない

と考えれば,直感的に理解できますね.

関数f(x)と実数 a に対して,f(x)x=aで微分可能であることから,極限

\begin{align*} \lim\limits_{b\to a}\frac{f(b)-f(a)}{b-a} \end{align*}

が有限の値として存在する.この極限値を\alphaとすると,

\begin{align*} &\lim_{b\to a}(f(b)-f(a)) \\=&\lim_{b\to a}\frac{f(b)-f(a)}{b-a}\cdot(b-a) \\=&\alpha\cdot0 =0 \end{align*}

が成り立つ.以上より,f(x)x=aで連続であることが従う.

極限

\begin{align*} \lim_{b\to a}\frac{f(b)-f(a)}{b-a} \end{align*}

について,分母は\lim\limits_{b\to a}(b-a)=0なので,もし分子の極限が0でなければ\lim\limits_{b\to a}\dfrac{f(b)-f(a)}{b-a}が有限の値になり得ませんから,分子の極限も0になるしかないというところですね.

さて,[微分可能性と連続性]の対偶も大切です.

関数f(x)と実数 a に対して,f(x)x=aで不連続であれば,f(x)x=aで微分不可能である.

なお,[微分可能性と連続性]の逆は成り立たないことに注意してください.つまり,連続であっても微分不可能であることもありえます.

微分可能性は連続性の上に成り立つから,そもそも不連続なら微分不可能である.

微分可能性の例

それでは,いくつか例を考えます.

次のそれぞれの関数f(x)x=0で微分可能か.

  1. f(x)=\begin{cases}x&(x<0)\\ x+1&(x\geqq0)\end{cases}
  2. f(x)=\begin{cases}x&(x\neq0)\\ 1&(x=0)\end{cases}
  3. f(x)=|x|
  4. f(x)=\begin{cases}0&(x<0)\\ x^2&(x\geqq0)\end{cases}

例1

関数

\begin{align*} f(x)=\begin{cases}x&(x<0)\\ x-1&(x\geqq0)\end{cases} \end{align*}

について,右極限は

\begin{align*} \lim_{x\to+0}f(x)=\lim_{x\to+0}(x-1)=-1 \end{align*}

であり,左極限は

\begin{align*} \lim_{x\to-0}f(x)=\lim_{x\to-0}x=0 \end{align*}

だから,右極限と左極限は一致しない.

よって,極限\lim\limits_{x\to0}f(x)が存在しないからf(x)x=0で不連続なので,f(x)x=0で微分不可能である.

Rendered by QuickLaTeX.com

例2

関数

\begin{align*} f(x)=\begin{cases}x&(x\neq0)\\ 1&(x=0)\end{cases} \end{align*}

について,右極限は

\begin{align*} \lim_{x\to+0}f(x)=\lim_{x\to+0}x=0 \end{align*}

であり,左極限は

\begin{align*} \lim_{x\to-0}f(x)=\lim_{x\to-0}x=0 \end{align*}

だから,右極限と左極限は一致するので,極限\lim\limits_{x\to0}f(x)が存在して0となる.

しかし,f(0)=1だから,\lim\limits_{x\to0}f(x)\neq f(0)となってf(x)x=0で不連続である.したがって,f(x)x=0で微分不可能である.

Rendered by QuickLaTeX.com

右極限\lim\limits_{x\to+0}f(x)f(0)が異なっていれば不連続となるので,

\lim\limits_{x\to+0}f(x)==0\neq1=f(0)だからf(x)x=0で不連続」

としても問題ありません.

例3

関数f(x)=|x|について,\dfrac{f(b)-f(0)}{b-0}の右極限は

\begin{align*} \lim_{b\to+0}\frac{f(b)-f(0)}{b-0} =&\lim_{b\to+0}\frac{|b|-|0|}{b} \\=&\lim_{b\to+0}\frac{b}{b} \\=&\lim_{b\to+0}1 =1 \end{align*}

であり,左極限は

\begin{align*} \lim_{b\to-0}\frac{f(b)-f(0)}{b-0} =&\lim_{b\to-0}\frac{|b|-|0|}{b} \\=&\lim_{b\to-0}\frac{-b}{b} \\=&\lim_{b\to-0}(-1) =-1 \end{align*}

だから,右極限と左極限は一致せずf(x)x=0で微分不可能である.

Rendered by QuickLaTeX.com

まずy=f(x)のグラフはx=0で「尖っている」ので微分不可能なように見えますが,f(x)x=0で連続なので例1,例2のように「不連続性から微分不可能」とはできません.

よって,微分可能であることは定義から示す必要があるわけですね.

なお,証明において

  • b>0なら|b|=b
  • b<0なら|b|=-b

であることに注意してください.

例4

関数

\begin{align*} f(x)=\begin{cases}0&(x<0)\\ x^2&(x\geqq0)\end{cases} \end{align*}

について,\dfrac{f(b)-f(0)}{b-0}の右極限は

\begin{align*} \lim_{b\to+0}\frac{f(b)-f(0)}{b-0} =&\lim_{b\to+0}\frac{b^2-0^2}{b} \\=&\lim_{b\to+0}\frac{b^2}{b} \\=&\lim_{b\to+0}b =0 \end{align*}

であり,左極限は

\begin{align*} \lim_{b\to-0}\frac{f(b)-f(0)}{b-0} =&\lim_{b\to-0}\frac{0-0}{b} \\=&\lim_{b\to-0}\frac{0}{b} \\=&\lim_{b\to-0}0 =0 \end{align*}

だから,右極限と左極限は一致し,f(x)x=0で微分可能である.

Rendered by QuickLaTeX.com

このように,x=0を境目にして異なる式で表されていても,「つなぎ目」の境界でなめらかに繋がっていれば,微分可能となります.

シェアする

  • このエントリーをはてなブックマークに追加

フォローする

最後までありがとうございました

以下の関連記事もいかがですか?

SPONSORED LINK
関連記事

記事一覧はこちらからどうぞ!

記事

一覧へ

Twitterを

フォロー

TouTube

を見る

オススメ

参考書

大学数学の

姉妹ブログ