ここで、極限\lim_{x\to c}f(x)が値αをもつためには
\lim_{x\to c-0}f(x)はxをcより小さい値からcに限りなく近づける左側極限、\lim_{x\to c+0}f(x)はxをcより大きい値からcに限りなく近づける右側極限です。
\lim_{x\to c-0}f(x)=\lim_{x\to c+0}f(x)=\alpha
である必要があります。\lim_{x\to c-0}f(x)はxをcより小さい値からcに限りなく近づける左側極限、\lim_{x\to c+0}f(x)はxをcより大きい値からcに限りなく近づける右側極限です。
したがって、微分係数f'(c)の定義式においては微分係数f'(c)が値αをもつためには
\lim_{h\to-0}\frac{f(c+h)-f(c)}{h}=\lim_{h\to+0}\frac{f(c+h)-f(c)}{h}=\alpha
が成り立つ必要があります。
以上を前提として、微分係数をもつ例ではなく微分係数をもたない例ををいくつか紹介し、その理由を考えます。
1. 定義されていない・定義できない場合
y=\dfrac{1}{x^2}のx=0における微分係数を求めてみます。
これはすなわち微分係数の定義式にc=0を代入した
\lim_{h\to0}\frac{f(0+h)-f(0)}{h}
のf(0)の値がないということなので微分係数を求めることができません。
したがって、y=\dfrac{1}{x^2}はx=0において微分係数をもちません。
このように、関数の値が定義されていない・定義できないxにおいては微分係数をもちません。
2. 連続でない点である場合
この関数のx=2における微分係数を求めてみます。
すると、微分係数の定義式にc=2を代入した
\lim_{h\to0}\frac{f(2+h)-f(2)}{h}
が値をもつかを調べることになります。
左側極限
x=2+hはx<2の範囲内にあるのでf(2+h)=-1。
したがって、
\begin{align*}\lim_{h\to-0}\frac{f(2+h)-f(2)}{h}&=\lim_{h\to-0}\frac{-1-1}{h}\\[0.5em]&=\lim_{h\to-0}\frac{-2}{h}\\[0.5em]&=\infty\end{align*}
右側極限
x=2+hはx\geqq2の範囲内にあるのでf(2+h)=1。
したがって、
\begin{align*}\lim_{h\to+0}\frac{f(2+h)-f(2)}{h}&=\lim_{h\to+0}\frac{1-1}{h}\\[0.5em]&=\lim_{h\to+0}\frac{0}{h}\\[0.5em]&=0\end{align*}
以上より、左側極限は発散して値をもたないために左側極限と右側極限の値が一致しないので、この関数はx=2において微分係数をもちません。
このように、連続でない点において微分係数の左側極限・右側極限の少なくとも一方が値をもたないために微分係数をもちません。
3. 尖っている部分の点である場合
連続関数であっても微分係数をもたない場合があります。
この関数のx=0における微分係数を求めてみると、微分係数の定義式にc=0を代入した
\lim_{h\to0}\frac{f(0+h)-f(0)}{h}=\lim_{h\to0}\frac{f(h)-f(0)}{h}
が値をもつかを調べることになります。
y=|x|を絶対値記号を使わずに表すと
y=\begin{cases}-x&(x<0)\\[0.5em]x&(x\geqq0)\end{cases}
となるので、
左側極限
x=hはx<0の範囲にあるのでf(h)=-h。
したがって、
\begin{align*}\lim_{h\to-0}\frac{f(h)-f(0)}{h}&=\lim_{h\to-0}\frac{-h-0}{h}\\[0.5em]&=\lim_{h\to-0}-1\\[0.5em]&=-1\end{align*}
右側極限
x=hはx\geqq0の範囲にあるのでf(h)=h。
したがって、
\begin{align*}\lim_{h\to+0}\frac{f(h)-f(0)}{h}&=\lim_{h\to+0}\frac{h-0}{h}\\[0.5em]&=\lim_{h\to+0}1\\[0.5em]&=1\end{align*}
以上より、左側極限と右側極限の値が一致しないので、y=|x|はx=0において微分係数をもちません。
このように関数のグラフの尖っている部分のxにおいては微分係数をもちません。
連続関数がすべてのxで微分係数をもつ、すなわち微分可能であるためには、そのグラフに尖っている部分がなく滑らかであることが直感的な条件となります。
例を挙げてみてきた通り、微分係数をもたない、すなわち微分可能でないのは
これらは、厳密な証明ではないものの命題「関数f(x)がx=aで連続でないならばf(x)はx=aで微分可能でない」が真であることの判断材料になり、間接的に対偶「関数f(x)がx=aで微分可能であるならばf(x)はx=aで連続」が真であることの判断材料になるかと思います。
- 関数が定義されていない・定義できない点
- 関数の連続でない点
- 関数の尖っている点
これらは、厳密な証明ではないものの命題「関数f(x)がx=aで連続でないならばf(x)はx=aで微分可能でない」が真であることの判断材料になり、間接的に対偶「関数f(x)がx=aで微分可能であるならばf(x)はx=aで連続」が真であることの判断材料になるかと思います。
Share: