指数関数の不定積分
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)が指数関数であるものとします。つまり、\(f\)がそれぞれの\(x\in I\)に対して定める値は、\(a>0\)を満たす実数\(a\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =a^{x}
\end{equation*}であるということです。ただし、\(a=1\)の場合には、\begin{equation*}f\left( x\right) =1^{x}=1
\end{equation*}となり、\(f\)は定数関数になります。定数関数の不定積分や定積分については既に扱ったため、以降では\(a>0\)かつ\(a\not=1\)の場合について考えます。
指数関数\(a^{x}\)は連続であるため不定積分が存在しますが、具体的には以下のようになります。
命題（指数関数の不定積分）
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\(a>0\)かつ\(a\not=1\)を満たす\(a\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =a^{x}
\end{equation*}と表されるものとする。\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=\frac{a^{x}}{\ln \left( a\right) }+C
\end{equation*}である。ただし、\(C\)は積分定数である。
\end{equation*}と表されるものとする。\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=\frac{a^{x}}{\ln \left( a\right) }+C
\end{equation*}である。ただし、\(C\)は積分定数である。
例（指数関数の不定積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left( \frac{1}{2}\right) ^{x}
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} \)上に定義された指数関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left(
\frac{1}{2}\right) }+C \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2^{-1}\right) }+C \\
&=&-\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2\right) }+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} \)上に定義された指数関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left(
\frac{1}{2}\right) }+C \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2^{-1}\right) }+C \\
&=&-\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2\right) }+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（指数関数の不定積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =e^{x}
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} \)上に定義された指数関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{e^{x}}{\ln \left( e\right) }+C \\
&=&e^{x}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} \)上に定義された指数関数であるため、先の命題より、\(f\)の不定積分は、\begin{eqnarray*}\int f\left( x\right) dx &=&\frac{e^{x}}{\ln \left( e\right) }+C \\
&=&e^{x}+C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例（指数関数の不定積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =3\cdot 2^{x}+7
\end{equation*}を定めるものとします。\(f\)は連続関数であるため不定積分を持ちます。具体的には、\begin{eqnarray*}\int f\left( x\right) dx &=&\int \left( 3\cdot 2^{x}+7\right) dx\quad
\because f\text{の定義} \\
&=&\int 3\cdot 2^{x}dx+\int 7dx\quad \because \text{関数の和の不定積分} \\
&=&3\int 2^{x}dx+\int 7dx\quad \because \text{関数の定数倍の不定積分} \\
&=&3\cdot \frac{2^{x}}{\ln \left( 2\right) }+7x+C\quad \because \text{指数関数と定数関数の不定積分} \\
&=&\frac{3}{\ln \left( 2\right) }2^{x}+7x+C
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。\(f\)は連続関数であるため不定積分を持ちます。具体的には、\begin{eqnarray*}\int f\left( x\right) dx &=&\int \left( 3\cdot 2^{x}+7\right) dx\quad
\because f\text{の定義} \\
&=&\int 3\cdot 2^{x}dx+\int 7dx\quad \because \text{関数の和の不定積分} \\
&=&3\int 2^{x}dx+\int 7dx\quad \because \text{関数の定数倍の不定積分} \\
&=&3\cdot \frac{2^{x}}{\ln \left( 2\right) }+7x+C\quad \because \text{指数関数と定数関数の不定積分} \\
&=&\frac{3}{\ln \left( 2\right) }2^{x}+7x+C
\end{eqnarray*}となります。
例（指数関数の不定積分）
関数\(h:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}h\left( x\right) =x\left( \frac{1}{2}\right) ^{x}
\end{equation*}を定めるものとします。\(h\)は区間\(\mathbb{R} \)上で連続であるため不定積分が存在します。\(h\)は恒等関数\(x\)と指数関数\(\left( \frac{1}{2}\right) ^{x}\)の積として定義される関数です。恒等関数\(x\)は微分するとシンプルになり、指数関数\(e^{x}\)は積分してもそれほど複雑にならないため、\begin{eqnarray*}f\left( x\right) &=&x \\
g^{\prime }\left( x\right) &=&\left( \frac{1}{2}\right) ^{x}
\end{eqnarray*}と定義すれば、\begin{equation*}
h=f\cdot g^{\prime }
\end{equation*}という関係が成立します。さらに、\begin{eqnarray*}
f^{\prime }\left( x\right) &=&1 \\
g\left( x\right) &=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }
\end{eqnarray*}です。関数\(f,g\)はともに\(C^{1}\)級であるため、\begin{eqnarray*}\int h\left( x\right) dx &=&\int \left( f\cdot g^{\prime }\right) \left(
x\right) dx\quad \because h=f\cdot g^{\prime } \\
&=&\left( f\cdot g\right) \left( x\right) -\int \left( f^{\prime }\cdot
g\right) \left( x\right) dx\quad \because \text{部分積分} \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x-\int \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }dx \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x-\frac{1}{\ln \left( \frac{1}{2}\right) }\int \left( \frac{1}{2}\right)
^{x}dx\quad \because \text{関数の積の不定積分} \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x-\frac{1}{\ln \left( \frac{1}{2}\right) }\cdot \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }+C \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }\left[ x-\frac{1}{\ln \left( \frac{1}{2}\right) }\right] +C \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2^{-1}\right) }\left[ x-\frac{1}{\ln \left( 2^{-1}\right) }\right] +C \\
&=&-\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2\right) }\left[ x+\frac{1}{\ln \left( 2\right) }\right] +C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。\(h\)は区間\(\mathbb{R} \)上で連続であるため不定積分が存在します。\(h\)は恒等関数\(x\)と指数関数\(\left( \frac{1}{2}\right) ^{x}\)の積として定義される関数です。恒等関数\(x\)は微分するとシンプルになり、指数関数\(e^{x}\)は積分してもそれほど複雑にならないため、\begin{eqnarray*}f\left( x\right) &=&x \\
g^{\prime }\left( x\right) &=&\left( \frac{1}{2}\right) ^{x}
\end{eqnarray*}と定義すれば、\begin{equation*}
h=f\cdot g^{\prime }
\end{equation*}という関係が成立します。さらに、\begin{eqnarray*}
f^{\prime }\left( x\right) &=&1 \\
g\left( x\right) &=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }
\end{eqnarray*}です。関数\(f,g\)はともに\(C^{1}\)級であるため、\begin{eqnarray*}\int h\left( x\right) dx &=&\int \left( f\cdot g^{\prime }\right) \left(
x\right) dx\quad \because h=f\cdot g^{\prime } \\
&=&\left( f\cdot g\right) \left( x\right) -\int \left( f^{\prime }\cdot
g\right) \left( x\right) dx\quad \because \text{部分積分} \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x-\int \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }dx \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x-\frac{1}{\ln \left( \frac{1}{2}\right) }\int \left( \frac{1}{2}\right)
^{x}dx\quad \because \text{関数の積の不定積分} \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x-\frac{1}{\ln \left( \frac{1}{2}\right) }\cdot \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }+C \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }\left[ x-\frac{1}{\ln \left( \frac{1}{2}\right) }\right] +C \\
&=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2^{-1}\right) }\left[ x-\frac{1}{\ln \left( 2^{-1}\right) }\right] +C \\
&=&-\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( 2\right) }\left[ x+\frac{1}{\ln \left( 2\right) }\right] +C
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
指数関数の定積分
先の命題を用いると、指数関数の定積分を以下のように特定できます。
命題（指数関数の定積分）
区間上に定義された関数\(f:\mathbb{R} \supset I\rightarrow \mathbb{R} \)がそれぞれの\(x\in I\)に対して定める値が、\(a>0\)かつ\(a\not=1\)を満たす\(a\in \mathbb{R} \)を用いて、\begin{equation*}f\left( x\right) =a^{x}
\end{equation*}と表されるものとする。\(b<c\)を満たす点\(b,c\in I\)を任意に選んだとき、\(f\)は\(\left[ b,c\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{b}^{c}f\left( x\right) dx &=&\left[ \frac{a^{x}}{\ln \left( a\right) }\right] _{b}^{c} \\
&=&\frac{a^{c}-a^{b}}{\ln \left( a\right) }
\end{eqnarray*}となる。
\end{equation*}と表されるものとする。\(b<c\)を満たす点\(b,c\in I\)を任意に選んだとき、\(f\)は\(\left[ b,c\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{b}^{c}f\left( x\right) dx &=&\left[ \frac{a^{x}}{\ln \left( a\right) }\right] _{b}^{c} \\
&=&\frac{a^{c}-a^{b}}{\ln \left( a\right) }
\end{eqnarray*}となる。
例（指数関数の不定積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\left( \frac{1}{2}\right) ^{x}
\end{equation*}を定めるものとします。\(b<c\)を満たす点\(b,c\in I\)を任意に選んだとき、\begin{eqnarray*}\int_{b}^{c}f\left( x\right) dx &=&\int_{b}^{c}\left( \frac{1}{2}\right)
^{x}dx\quad \because f\text{の定義} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }\right] _{b}^{c}\quad \because \text{指数関数の定積分} \\
&=&\frac{\left( \frac{1}{2}\right) ^{c}-\left( \frac{1}{2}\right) ^{b}}{\ln
\left( \frac{1}{2}\right) }
\end{eqnarray*}となります。したがって、例えば、\begin{eqnarray*}
\int_{0}^{1}f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right)
^{1}-\left( \frac{1}{2}\right) ^{0}}{\ln \left( \frac{1}{2}\right) }=\frac{\frac{1}{2}-1}{\ln \left( \frac{1}{2}\right) }=\frac{1}{2\ln \left( 2\right)
} \\
\int_{-1}^{1}f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right)
^{1}-\left( \frac{1}{2}\right) ^{-1}}{\ln \left( \frac{1}{2}\right) }=\frac{\frac{1}{2}-2}{\ln \left( \frac{1}{2}\right) }=\frac{3}{2\ln \left( 2\right)
} \\
\int_{-1}^{0}f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right)
^{0}-\left( \frac{1}{2}\right) ^{-1}}{\ln \left( \frac{1}{2}\right) }=\frac{1-2}{\ln \left( \frac{1}{2}\right) }=\frac{1}{\ln 2}
\end{eqnarray*}などとなります。
\end{equation*}を定めるものとします。\(b<c\)を満たす点\(b,c\in I\)を任意に選んだとき、\begin{eqnarray*}\int_{b}^{c}f\left( x\right) dx &=&\int_{b}^{c}\left( \frac{1}{2}\right)
^{x}dx\quad \because f\text{の定義} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }\right] _{b}^{c}\quad \because \text{指数関数の定積分} \\
&=&\frac{\left( \frac{1}{2}\right) ^{c}-\left( \frac{1}{2}\right) ^{b}}{\ln
\left( \frac{1}{2}\right) }
\end{eqnarray*}となります。したがって、例えば、\begin{eqnarray*}
\int_{0}^{1}f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right)
^{1}-\left( \frac{1}{2}\right) ^{0}}{\ln \left( \frac{1}{2}\right) }=\frac{\frac{1}{2}-1}{\ln \left( \frac{1}{2}\right) }=\frac{1}{2\ln \left( 2\right)
} \\
\int_{-1}^{1}f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right)
^{1}-\left( \frac{1}{2}\right) ^{-1}}{\ln \left( \frac{1}{2}\right) }=\frac{\frac{1}{2}-2}{\ln \left( \frac{1}{2}\right) }=\frac{3}{2\ln \left( 2\right)
} \\
\int_{-1}^{0}f\left( x\right) dx &=&\frac{\left( \frac{1}{2}\right)
^{0}-\left( \frac{1}{2}\right) ^{-1}}{\ln \left( \frac{1}{2}\right) }=\frac{1-2}{\ln \left( \frac{1}{2}\right) }=\frac{1}{\ln 2}
\end{eqnarray*}などとなります。
例（指数関数の定積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =3\cdot 2^{x}+7
\end{equation*}を定めるものとします。\(a<b\)を満たす\(a,b\in \mathbb{R} \)を任意に選んだとき、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\int_{a}^{b}\left( 3\cdot 2^{x}+7\right)
dx\quad \because f\text{の定義} \\
&=&\int_{a}^{b}3\cdot 2^{x}dx+\int_{a}^{b}7dx\quad \because \text{関数の和の定積分} \\
&=&3\int_{a}^{b}2^{x}dx+\int_{a}^{b}7dx\quad \because \text{関数の定数倍の定積分} \\
&=&3\cdot \left[ \frac{2^{x}}{\ln \left( 2\right) }\right] _{a}^{b}+\left[ 7x\right] _{a}^{b}+C\quad \because \text{指数関数と定数関数の不定積分}
\end{eqnarray*}となります。したがって、例えば、\begin{eqnarray*}
\int_{-1}^{2}f\left( x\right) dx &=&3\cdot \left[ \frac{2^{x}}{\ln \left(
2\right) }\right] _{-1}^{2}+\left[ 7x\right] _{-1}^{2}+C \\
&=&3\cdot \left( \frac{2^{2}-2^{-1}}{\ln \left( 2\right) }\right) +\left[
14-\left( -7\right) \right] +C \\
&=&\frac{21}{2\ln 2}+21+C
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。\(a<b\)を満たす\(a,b\in \mathbb{R} \)を任意に選んだとき、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\int_{a}^{b}\left( 3\cdot 2^{x}+7\right)
dx\quad \because f\text{の定義} \\
&=&\int_{a}^{b}3\cdot 2^{x}dx+\int_{a}^{b}7dx\quad \because \text{関数の和の定積分} \\
&=&3\int_{a}^{b}2^{x}dx+\int_{a}^{b}7dx\quad \because \text{関数の定数倍の定積分} \\
&=&3\cdot \left[ \frac{2^{x}}{\ln \left( 2\right) }\right] _{a}^{b}+\left[ 7x\right] _{a}^{b}+C\quad \because \text{指数関数と定数関数の不定積分}
\end{eqnarray*}となります。したがって、例えば、\begin{eqnarray*}
\int_{-1}^{2}f\left( x\right) dx &=&3\cdot \left[ \frac{2^{x}}{\ln \left(
2\right) }\right] _{-1}^{2}+\left[ 7x\right] _{-1}^{2}+C \\
&=&3\cdot \left( \frac{2^{2}-2^{-1}}{\ln \left( 2\right) }\right) +\left[
14-\left( -7\right) \right] +C \\
&=&\frac{21}{2\ln 2}+21+C
\end{eqnarray*}となります。
例（指数関数の定積分）
関数\(h:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}h\left( x\right) =x\left( \frac{1}{2}\right) ^{x}
\end{equation*}を定めるものとします。恒等関数\(x\)は微分するとシンプルになり、指数関数\(e^{x}\)は積分してもそれほど複雑にならないため、\begin{eqnarray*}f\left( x\right) &=&x \\
g^{\prime }\left( x\right) &=&\left( \frac{1}{2}\right) ^{x}
\end{eqnarray*}と定義すれば、\begin{equation*}
h=f\cdot g^{\prime }
\end{equation*}という関係が成立します。さらに、\begin{eqnarray*}
f^{\prime }\left( x\right) &=&1 \\
g\left( x\right) &=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }
\end{eqnarray*}です。関数\(f,g\)はともに\(C^{1}\)級であるため、\(a<b\)を満たす\(a,b\in \mathbb{R} \)を任意に選んだとき、\begin{eqnarray*}\int_{a}^{b}h\left( x\right) dx &=&\int_{a}^{b}\left( f\cdot g^{\prime
}\right) \left( x\right) dx\quad \because h=f\cdot g^{\prime } \\
&=&\left[ \left( f\cdot g\right) \left( x\right) \right] _{a}^{b}-\int_{a}^{b}\left( f^{\prime }\cdot g\right) \left( x\right) dx\quad
\because \text{部分積分} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}-\int_{a}^{b}\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }dx \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}-\frac{1}{\ln \left( \frac{1}{2}\right) }\int_{a}^{b}\left( \frac{1}{2}\right) ^{x}dx\quad \because \text{関数の積の定積分} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}-\frac{1}{\ln \left( \frac{1}{2}\right) }\cdot \left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }\right] _{a}^{b} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}\left( 1-\frac{1}{\ln \left( \frac{1}{2}\right) }\right)
\end{eqnarray*}となります。したがって、例えば、\begin{eqnarray*}
\int_{-1}^{2}h\left( x\right) dx &=&\left[ \frac{\left( \frac{1}{2}\right)
^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{-1}^{2}\left( 1-\frac{1}{\ln
\left( \frac{1}{2}\right) }\right) \\
&=&\frac{\left( \frac{1}{2}\right) ^{2}2-\left( \frac{1}{2}\right)
^{-1}\left( -1\right) }{\ln \left( \frac{1}{2}\right) }\left( 1-\frac{1}{\ln
\left( \frac{1}{2}\right) }\right) \\
&=&-\frac{5}{2\ln \left( 2\right) }\left( 1+\frac{1}{\ln \left( 2\right) }\right)
\end{eqnarray*}となります。
\end{equation*}を定めるものとします。恒等関数\(x\)は微分するとシンプルになり、指数関数\(e^{x}\)は積分してもそれほど複雑にならないため、\begin{eqnarray*}f\left( x\right) &=&x \\
g^{\prime }\left( x\right) &=&\left( \frac{1}{2}\right) ^{x}
\end{eqnarray*}と定義すれば、\begin{equation*}
h=f\cdot g^{\prime }
\end{equation*}という関係が成立します。さらに、\begin{eqnarray*}
f^{\prime }\left( x\right) &=&1 \\
g\left( x\right) &=&\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }
\end{eqnarray*}です。関数\(f,g\)はともに\(C^{1}\)級であるため、\(a<b\)を満たす\(a,b\in \mathbb{R} \)を任意に選んだとき、\begin{eqnarray*}\int_{a}^{b}h\left( x\right) dx &=&\int_{a}^{b}\left( f\cdot g^{\prime
}\right) \left( x\right) dx\quad \because h=f\cdot g^{\prime } \\
&=&\left[ \left( f\cdot g\right) \left( x\right) \right] _{a}^{b}-\int_{a}^{b}\left( f^{\prime }\cdot g\right) \left( x\right) dx\quad
\because \text{部分積分} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}-\int_{a}^{b}\frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }dx \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}-\frac{1}{\ln \left( \frac{1}{2}\right) }\int_{a}^{b}\left( \frac{1}{2}\right) ^{x}dx\quad \because \text{関数の積の定積分} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}-\frac{1}{\ln \left( \frac{1}{2}\right) }\cdot \left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }\right] _{a}^{b} \\
&=&\left[ \frac{\left( \frac{1}{2}\right) ^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{a}^{b}\left( 1-\frac{1}{\ln \left( \frac{1}{2}\right) }\right)
\end{eqnarray*}となります。したがって、例えば、\begin{eqnarray*}
\int_{-1}^{2}h\left( x\right) dx &=&\left[ \frac{\left( \frac{1}{2}\right)
^{x}}{\ln \left( \frac{1}{2}\right) }x\right] _{-1}^{2}\left( 1-\frac{1}{\ln
\left( \frac{1}{2}\right) }\right) \\
&=&\frac{\left( \frac{1}{2}\right) ^{2}2-\left( \frac{1}{2}\right)
^{-1}\left( -1\right) }{\ln \left( \frac{1}{2}\right) }\left( 1-\frac{1}{\ln
\left( \frac{1}{2}\right) }\right) \\
&=&-\frac{5}{2\ln \left( 2\right) }\left( 1+\frac{1}{\ln \left( 2\right) }\right)
\end{eqnarray*}となります。
指数関数との合成関数の積分
指数関数との合成関数もしくはそのような合成関数を含む関数を積分する際には、置換積分や部分積分などを利用します。具体例を挙げます。
例（指数関数との合成関数の積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =2^{-x}
\end{equation*}を定めるものとします。この関数\(f\)は指数関数\(2^{x}\)と関数\(-x\)の合成関数です。\(f\)は\(\mathbb{R} \)上で連続であるため不定積分が存在します。そこで、\begin{equation}u=-x \quad \cdots (1)
\end{equation}とおくと、変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =-u \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\mathbb{R} \)とすれば、その値域は\(\mathbb{R} \)となり、これは\(f\)の定義域と一致します。加えて、\(g\)は\(C^{1}\)級です。また、\(g\)は狭義単調減少であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =-x \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int 2^{-x}dx\quad \because f\text{の定義} \\
&=&\int 2^{u}g^{\prime }\left( u\right) du\quad \because \left( 1\right)
,\left( 2\right) \text{および置換積分} \\
&=&\int -2^{u}du\quad \because \left( 2\right) \\
&=&-\int 2^{u}du\quad \because \text{関数の定数倍の不定積分} \\
&=&-\frac{2^{u}}{\ln \left( 2\right) }+C\quad \because \text{指数関数の不定積分} \\
&=&-\frac{2^{-x}}{\ln \left( 2\right) }+C\quad \because \left( 3\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
\end{equation*}を定めるものとします。この関数\(f\)は指数関数\(2^{x}\)と関数\(-x\)の合成関数です。\(f\)は\(\mathbb{R} \)上で連続であるため不定積分が存在します。そこで、\begin{equation}u=-x \quad \cdots (1)
\end{equation}とおくと、変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =-u \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\mathbb{R} \)とすれば、その値域は\(\mathbb{R} \)となり、これは\(f\)の定義域と一致します。加えて、\(g\)は\(C^{1}\)級です。また、\(g\)は狭義単調減少であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =-x \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int 2^{-x}dx\quad \because f\text{の定義} \\
&=&\int 2^{u}g^{\prime }\left( u\right) du\quad \because \left( 1\right)
,\left( 2\right) \text{および置換積分} \\
&=&\int -2^{u}du\quad \because \left( 2\right) \\
&=&-\int 2^{u}du\quad \because \text{関数の定数倍の不定積分} \\
&=&-\frac{2^{u}}{\ln \left( 2\right) }+C\quad \because \text{指数関数の不定積分} \\
&=&-\frac{2^{-x}}{\ln \left( 2\right) }+C\quad \because \left( 3\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
演習問題
問題（指数関数の積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\frac{\pi ^{x}}{2}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
問題（指数関数の積分）
関数\(h:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}h\left( x\right) =x^{2}\left( \frac{1}{2}\right) ^{x}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int h\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int h\left( x\right) dx
\end{equation*}を求めてください。
問題（指数関数の積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =7^{2x+3}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。
問題（指数関数の積分）
関数\(f:\mathbb{R} \rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} \)に対して、\begin{equation*}f\left( x\right) =\frac{3^{x}+4^{x}}{5^{x}}
\end{equation*}を定めるものとします。定積分\begin{equation*}
\int_{0}^{1}f\left( x\right) dx
\end{equation*}を求めてください。
\end{equation*}を定めるものとします。定積分\begin{equation*}
\int_{0}^{1}f\left( x\right) dx
\end{equation*}を求めてください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】