対数関数の微分
自然対数関数に限定されない一般の対数関数もまた微分可能なのでしょうか。関数\(f:\mathbb{R} _{++}\supset X\rightarrow \mathbb{R} \)が一般の対数関数であるものとします。つまり、\(f\)がそれぞれの\(x\in X\)に対して定める値が、\(a>0\)かつ\(a\not=1\)を満たす\(a\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =\log _{a}\left( x\right)
\end{equation*}と表されるということです。対数法則より、\begin{equation*}
\log _{a}\left( x\right) =\frac{\ln \left( x\right) }{\ln \left( a\right) }
\end{equation*}という関係が成り立つため、結局、関数\(f\)は自然対数関数\(\ln \left( x\right) \)の定数倍（\(\frac{1}{\ln \left( a\right) }\)倍）として定義される関数であるため微分可能です。微分係数は以下の通りです。
命題（対数関数の微分）
関数\(f:\mathbb{R} _{++}\supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、\(a>0\)かつ\(a\not=1\)を満たす\(a\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =\log _{a}\left( x\right)
\end{equation*}と表されるものとする。\(f\)が定義域上の点\(b\in X\)を含め周辺の任意の点において定義されているならば\(f\)は点\(b \)において微分可能であるとともに、そこでの微分係数は、\begin{equation*}f^{\prime }\left( b\right) =\frac{1}{b\cdot \ln \left( a\right) }
\end{equation*}となる。
例（対数関数の微分）
対数関数は\(\mathbb{R} _{++}\)上に定義可能であるため、それぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\log _{a}\left( x\right)
\end{equation*}を定める関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)が定義可能です。ただし、\(a>0\)かつ\(a\not=1\)です。\(\mathbb{R} _{++}\)は解集合であるため、定義域上の点を任意に選んだとき、\(f\)はその点を含め周辺の任意の点において定義されています。すると先の命題より\(f\)は微分可能であり、導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f^{\prime }\left( x\right) =\frac{1}{x\cdot \ln \left( a\right) }
\end{equation*}を定めます。
\end{equation*}を定める関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)が定義可能です。ただし、\(a>0\)かつ\(a\not=1\)です。\(\mathbb{R} _{++}\)は解集合であるため、定義域上の点を任意に選んだとき、\(f\)はその点を含め周辺の任意の点において定義されています。すると先の命題より\(f\)は微分可能であり、導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f^{\prime }\left( x\right) =\frac{1}{x\cdot \ln \left( a\right) }
\end{equation*}を定めます。
例（対数関数の微分）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\frac{\log _{2}\left( x\right) }{x}
\end{equation*}を定めるものとします。関数\(f\)は対数関数\(\log _{2}\left( x\right) \)と恒等関数\(x\)の商として定義されているため微分可能であり、その導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\left( \frac{\log _{2}\left( x\right) }{x}\right) ^{\prime }\quad \because f\text{の定義} \\
&=&\frac{\left( \log _{2}\left( x\right) \right) ^{\prime }\cdot x-\log
_{2}\left( x\right) \cdot \left( x\right) ^{\prime }}{x^{2}}\quad \because
\text{微分可能な商} \\
&=&\frac{\frac{1}{x\cdot \ln \left( 2\right) }\cdot x-\log _{2}\left(
x\right) \cdot 1}{x^{2}}\quad \because \text{恒等関数および自然対数関数の微分} \\
&=&\frac{\frac{1}{\ln \left( 2\right) }-\log _{2}\left( x\right) }{x^{2}} \\
&=&\frac{1-\ln \left( 2\right) \log _{2}\left( x\right) }{x^{2}\ln \left(
2\right) } \\
&=&\frac{1-\ln \left( 2\right) \frac{\ln \left( x\right) }{\ln \left(
2\right) }}{x^{2}\ln \left( 2\right) }\quad \because \log _{2}\left(
x\right) =\frac{\ln \left( 2\right) }{\ln \left( x\right) } \\
&=&\frac{1-\ln \left( x\right) }{x^{2}\ln \left( 2\right) }
\end{eqnarray*}を定めます。
\end{equation*}を定めるものとします。関数\(f\)は対数関数\(\log _{2}\left( x\right) \)と恒等関数\(x\)の商として定義されているため微分可能であり、その導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\left( \frac{\log _{2}\left( x\right) }{x}\right) ^{\prime }\quad \because f\text{の定義} \\
&=&\frac{\left( \log _{2}\left( x\right) \right) ^{\prime }\cdot x-\log
_{2}\left( x\right) \cdot \left( x\right) ^{\prime }}{x^{2}}\quad \because
\text{微分可能な商} \\
&=&\frac{\frac{1}{x\cdot \ln \left( 2\right) }\cdot x-\log _{2}\left(
x\right) \cdot 1}{x^{2}}\quad \because \text{恒等関数および自然対数関数の微分} \\
&=&\frac{\frac{1}{\ln \left( 2\right) }-\log _{2}\left( x\right) }{x^{2}} \\
&=&\frac{1-\ln \left( 2\right) \log _{2}\left( x\right) }{x^{2}\ln \left(
2\right) } \\
&=&\frac{1-\ln \left( 2\right) \frac{\ln \left( x\right) }{\ln \left(
2\right) }}{x^{2}\ln \left( 2\right) }\quad \because \log _{2}\left(
x\right) =\frac{\ln \left( 2\right) }{\ln \left( x\right) } \\
&=&\frac{1-\ln \left( x\right) }{x^{2}\ln \left( 2\right) }
\end{eqnarray*}を定めます。
例（対数関数の微分）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =x\log _{3}\left( x\right) -x
\end{equation*}を定めるものとします。関数\(x\log _{3}\left( x\right) \)は恒等関数\(x\)と対数関数の積であるため微分可能であり、その導関数は、\begin{eqnarray*}\left( x\log _{3}\left( x\right) \right) ^{\prime } &=&\left( x\right)
^{\prime }\cdot \log _{3}\left( x\right) +x\cdot \left( \log _{3}\left(
x\right) \right) ^{\prime }\quad \because \text{微分可能な関数の積} \\
&=&1\cdot \log _{3}\left( x\right) +x\cdot \frac{1}{x\cdot \ln \left(
3\right) }\quad \because \text{恒等関数および対数関数の微分} \\
&=&\log _{3}\left( x\right) +\frac{1}{\ln \left( 3\right) }
\end{eqnarray*}すなわち、\begin{equation}
\left( x\log _{3}\left( x\right) \right) ^{\prime }=\log _{3}\left( x\right)
+\frac{1}{\ln \left( 3\right) } \quad \cdots (1)
\end{equation}となります。したがって、\(f\)は微分可能な関数\(x\log _{3}\left( x\right) \)と恒等関数\(x\)の差として定義されているため微分可能であり、導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\left( x\log _{3}\left( x\right) -x\right)
^{\prime }\quad \because f\text{の定義} \\
&=&\left( x\log _{3}\left( x\right) \right) ^{\prime }-\left( x\right)
^{\prime }\quad \because \text{微分可能な関数の差} \\
&=&\log _{3}\left( x\right) +\frac{1}{\ln \left( 3\right) }-1\quad \because
\left( 1\right) \text{および恒等関数の微分}
\end{eqnarray*}を定めます。
\end{equation*}を定めるものとします。関数\(x\log _{3}\left( x\right) \)は恒等関数\(x\)と対数関数の積であるため微分可能であり、その導関数は、\begin{eqnarray*}\left( x\log _{3}\left( x\right) \right) ^{\prime } &=&\left( x\right)
^{\prime }\cdot \log _{3}\left( x\right) +x\cdot \left( \log _{3}\left(
x\right) \right) ^{\prime }\quad \because \text{微分可能な関数の積} \\
&=&1\cdot \log _{3}\left( x\right) +x\cdot \frac{1}{x\cdot \ln \left(
3\right) }\quad \because \text{恒等関数および対数関数の微分} \\
&=&\log _{3}\left( x\right) +\frac{1}{\ln \left( 3\right) }
\end{eqnarray*}すなわち、\begin{equation}
\left( x\log _{3}\left( x\right) \right) ^{\prime }=\log _{3}\left( x\right)
+\frac{1}{\ln \left( 3\right) } \quad \cdots (1)
\end{equation}となります。したがって、\(f\)は微分可能な関数\(x\log _{3}\left( x\right) \)と恒等関数\(x\)の差として定義されているため微分可能であり、導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\left( x\log _{3}\left( x\right) -x\right)
^{\prime }\quad \because f\text{の定義} \\
&=&\left( x\log _{3}\left( x\right) \right) ^{\prime }-\left( x\right)
^{\prime }\quad \because \text{微分可能な関数の差} \\
&=&\log _{3}\left( x\right) +\frac{1}{\ln \left( 3\right) }-1\quad \because
\left( 1\right) \text{および恒等関数の微分}
\end{eqnarray*}を定めます。
例（対数関数の微分）
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\log _{3}\left( \frac{3}{x}\right) +\frac{3}{x}
\end{equation*}を定めるものとします。関数\(\log _{3}\left( \frac{3}{x}\right) \)は有理関数\(\frac{3}{x}\)と対数関数\(\log _{3}\left( x\right) \)の合成関数として定義されているため微分可能であり、その導関数は、\begin{eqnarray*}\left( \log _{3}\left( \frac{3}{x}\right) \right) ^{\prime } &=&\left.
\left( \log _{3}\left( y\right) \right) ^{\prime }\right\vert _{y=\frac{3}{x}}\cdot \left( \frac{3}{x}\right) ^{\prime }\quad \because \text{合成関数の微分} \\
&=&\left. \frac{1}{y\cdot \ln \left( 3\right) }\right\vert _{y=\frac{3}{x}}\cdot \left( -\frac{3}{x^{2}}\right) \quad \because \text{対数関数および有理関数の微分} \\
&=&\frac{1}{\frac{3}{x}\cdot \ln \left( 3\right) }\cdot \left( -\frac{3}{x^{2}}\right) \\
&=&\frac{1}{\ln \left( 3\right) }\cdot \left( -\frac{1}{x}\right) \\
&=&-\frac{1}{x\ln \left( 3\right) }
\end{eqnarray*}すなわち、\begin{equation}
\left( \log _{3}\left( \frac{3}{x}\right) \right) ^{\prime }=-\frac{1}{x\ln
\left( 3\right) } \quad \cdots (1)
\end{equation}となります。したがって、\(f\)は微分可能な関数\(\log _{3}\left( \frac{3}{x}\right) \)と有理関数\(\frac{3}{x}\)の和として定義されているため微分可能であり、導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\left( \log _{3}\left( \frac{3}{x}\right) +\frac{3}{x}\right) ^{\prime } \\
&=&\left( \log _{3}\left( \frac{3}{x}\right) \right) ^{\prime }+\left( \frac{3}{x}\right) ^{\prime } \\
&=&-\frac{1}{x\ln \left( 3\right) }-\frac{3}{x^{2}} \\
&=&\frac{-x-3\ln \left( 3\right) }{x^{2}\ln \left( 3\right) }
\end{eqnarray*}を定めます。
\end{equation*}を定めるものとします。関数\(\log _{3}\left( \frac{3}{x}\right) \)は有理関数\(\frac{3}{x}\)と対数関数\(\log _{3}\left( x\right) \)の合成関数として定義されているため微分可能であり、その導関数は、\begin{eqnarray*}\left( \log _{3}\left( \frac{3}{x}\right) \right) ^{\prime } &=&\left.
\left( \log _{3}\left( y\right) \right) ^{\prime }\right\vert _{y=\frac{3}{x}}\cdot \left( \frac{3}{x}\right) ^{\prime }\quad \because \text{合成関数の微分} \\
&=&\left. \frac{1}{y\cdot \ln \left( 3\right) }\right\vert _{y=\frac{3}{x}}\cdot \left( -\frac{3}{x^{2}}\right) \quad \because \text{対数関数および有理関数の微分} \\
&=&\frac{1}{\frac{3}{x}\cdot \ln \left( 3\right) }\cdot \left( -\frac{3}{x^{2}}\right) \\
&=&\frac{1}{\ln \left( 3\right) }\cdot \left( -\frac{1}{x}\right) \\
&=&-\frac{1}{x\ln \left( 3\right) }
\end{eqnarray*}すなわち、\begin{equation}
\left( \log _{3}\left( \frac{3}{x}\right) \right) ^{\prime }=-\frac{1}{x\ln
\left( 3\right) } \quad \cdots (1)
\end{equation}となります。したがって、\(f\)は微分可能な関数\(\log _{3}\left( \frac{3}{x}\right) \)と有理関数\(\frac{3}{x}\)の和として定義されているため微分可能であり、導関数\(f^{\prime }:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{eqnarray*}f^{\prime }\left( x\right) &=&\left( \log _{3}\left( \frac{3}{x}\right) +\frac{3}{x}\right) ^{\prime } \\
&=&\left( \log _{3}\left( \frac{3}{x}\right) \right) ^{\prime }+\left( \frac{3}{x}\right) ^{\prime } \\
&=&-\frac{1}{x\ln \left( 3\right) }-\frac{3}{x^{2}} \\
&=&\frac{-x-3\ln \left( 3\right) }{x^{2}\ln \left( 3\right) }
\end{eqnarray*}を定めます。
対数関数の片側微分
片側微分に関しても同様の命題が成り立ちます。
命題（対数関数の片側微分）
関数\(f:\mathbb{R} _{++}\supset X\rightarrow \mathbb{R} \)がそれぞれの\(x\in X\)に対して定める値が、\(a>0\)かつ\(a\not=1\)を満たす\(a\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =\log _{a}\left( x\right)
\end{equation*}と表されるものとする。\(f\)が定義域上の点\(b\in X\)以上の周辺の任意の点において定義されているならば\(f\)は点\(b\)において右側微分可能であるとともに、そこでの右側微分係数は、\begin{equation*}f^{\prime }\left( b+0\right) =\frac{1}{b\cdot \ln \left( a\right) }
\end{equation*}となる。また、\(f\)が定義域上の点\(b\in X\)以下の周辺の任意の点において定義されているならば\(f\)は点\(b\)において左側微分可能であるとともに、そこでの左側微分係数は、\begin{equation*}f^{\prime }\left( b-0\right) =\frac{1}{b\cdot \ln \left( a\right) }
\end{equation*}となる。
\end{equation*}と表されるものとする。\(f\)が定義域上の点\(b\in X\)以上の周辺の任意の点において定義されているならば\(f\)は点\(b\)において右側微分可能であるとともに、そこでの右側微分係数は、\begin{equation*}f^{\prime }\left( b+0\right) =\frac{1}{b\cdot \ln \left( a\right) }
\end{equation*}となる。また、\(f\)が定義域上の点\(b\in X\)以下の周辺の任意の点において定義されているならば\(f\)は点\(b\)において左側微分可能であるとともに、そこでの左側微分係数は、\begin{equation*}f^{\prime }\left( b-0\right) =\frac{1}{b\cdot \ln \left( a\right) }
\end{equation*}となる。
例（対数関数の片側微分）
関数\(f:\mathbb{R} \supset \left[ 2,3\right] \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left[ 2,3\right] \)に対して、\begin{equation*}f\left( x\right) =2\log _{2}\left( x\right) +1
\end{equation*}を定めるものとします。定義域の内点\(a\in \left(2,3\right) \)を任意に選んだとき、\(f\)は点\(a\)の周辺において定義されているため点\(a\)において微分可能であり、\begin{eqnarray*}f^{\prime }\left( a\right) &=&2\cdot \left. \left( \log _{2}\left( x\right)
\right) ^{\prime }\right\vert _{x=a}+\left( 1\right) ^{\prime }\quad
\because \text{微分可能な関数の定数倍・和} \\
&=&2\cdot \left( \left. \frac{1}{x\ln \left( x\right) }\right\vert
_{x=a}\right) +0\quad \because \text{対数関数および定数関数の微分} \\
&=&\frac{2}{a\ln \left( a\right) }
\end{eqnarray*}となります。一方、\(f\)は定義域の境界点である\(2\)や\(3\)において通常の意味で微分可能ではありません。\(f\)は点\(2\)以上の周辺の任意の点において定義されているため点\(2\)において右側微分可能であり、\begin{eqnarray*}f^{\prime }\left( 2+0\right) &=&2\cdot \left. \left( \log _{2}\left(
x\right) \right) _{+}^{\prime }\right\vert _{x=2}+\left( 1\right)
_{+}^{\prime }\quad \because \text{右側微分可能な関数の定数倍・和} \\
&=&2\cdot \left( \left. \frac{1}{x\ln \left( x\right) }\right\vert
_{x=2}\right) +0\quad \because \text{対数関数および定数関数の右側微分} \\
&=&\frac{2}{2\ln \left( 2\right) } \\
&=&\frac{1}{\ln \left( 2\right) }
\end{eqnarray*}となります。また、\(f\)は点\(3\)以下の周辺の任意の点において定義されているため点\(3\)において左側微分可能であり、\begin{eqnarray*}f^{\prime }\left( 3-0\right) &=&2\cdot \left. \left( \log _{2}\left(
x\right) \right) _{-}^{\prime }\right\vert _{x=3}+\left( 1\right)
_{-}^{\prime }\quad \because \text{左側微分可能な関数の定数倍・和} \\
&=&2\cdot \left( \left. \frac{1}{x\ln \left( x\right) }\right\vert
_{x=3}\right) +0\quad \because \text{対数関数および定数関数の左側微分} \\
&=&\frac{2}{3\ln \left( 3\right) }
\end{eqnarray*}となります。したがって\(f\)は微分可能であり、導関数\(f^{\prime }:\mathbb{R} \supset \left[ 2,3\right] \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left[ 2,3\right] \)に対して、\begin{equation*}f^{\prime }\left( x\right) =\frac{2}{x\ln \left( x\right) }
\end{equation*}を定めることが明らかになりました。
\end{equation*}を定めるものとします。定義域の内点\(a\in \left(2,3\right) \)を任意に選んだとき、\(f\)は点\(a\)の周辺において定義されているため点\(a\)において微分可能であり、\begin{eqnarray*}f^{\prime }\left( a\right) &=&2\cdot \left. \left( \log _{2}\left( x\right)
\right) ^{\prime }\right\vert _{x=a}+\left( 1\right) ^{\prime }\quad
\because \text{微分可能な関数の定数倍・和} \\
&=&2\cdot \left( \left. \frac{1}{x\ln \left( x\right) }\right\vert
_{x=a}\right) +0\quad \because \text{対数関数および定数関数の微分} \\
&=&\frac{2}{a\ln \left( a\right) }
\end{eqnarray*}となります。一方、\(f\)は定義域の境界点である\(2\)や\(3\)において通常の意味で微分可能ではありません。\(f\)は点\(2\)以上の周辺の任意の点において定義されているため点\(2\)において右側微分可能であり、\begin{eqnarray*}f^{\prime }\left( 2+0\right) &=&2\cdot \left. \left( \log _{2}\left(
x\right) \right) _{+}^{\prime }\right\vert _{x=2}+\left( 1\right)
_{+}^{\prime }\quad \because \text{右側微分可能な関数の定数倍・和} \\
&=&2\cdot \left( \left. \frac{1}{x\ln \left( x\right) }\right\vert
_{x=2}\right) +0\quad \because \text{対数関数および定数関数の右側微分} \\
&=&\frac{2}{2\ln \left( 2\right) } \\
&=&\frac{1}{\ln \left( 2\right) }
\end{eqnarray*}となります。また、\(f\)は点\(3\)以下の周辺の任意の点において定義されているため点\(3\)において左側微分可能であり、\begin{eqnarray*}f^{\prime }\left( 3-0\right) &=&2\cdot \left. \left( \log _{2}\left(
x\right) \right) _{-}^{\prime }\right\vert _{x=3}+\left( 1\right)
_{-}^{\prime }\quad \because \text{左側微分可能な関数の定数倍・和} \\
&=&2\cdot \left( \left. \frac{1}{x\ln \left( x\right) }\right\vert
_{x=3}\right) +0\quad \because \text{対数関数および定数関数の左側微分} \\
&=&\frac{2}{3\ln \left( 3\right) }
\end{eqnarray*}となります。したがって\(f\)は微分可能であり、導関数\(f^{\prime }:\mathbb{R} \supset \left[ 2,3\right] \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left[ 2,3\right] \)に対して、\begin{equation*}f^{\prime }\left( x\right) =\frac{2}{x\ln \left( x\right) }
\end{equation*}を定めることが明らかになりました。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】