WIIS

1変数関数の積分

自然対数関数の原始関数・不定積分・定積分

目次

Mailで保存
Xで共有

自然対数関数の原始関数

区間上に定義された自然対数関数\(f:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)が与えられているものとします。つまり、\(f\)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x\right)
\end{equation*}を定めるということです。自然対数関数の定義域は\(\mathbb{R} _{++}\)であるため\(I\subset \mathbb{R} _{++}\)であることに注意してください。

自然対数関数は連続であるため原始関数が存在しますが、具体的には以下の通りです。

命題(自然対数関数の原始関数)
区間上に定義された関数\(f:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x\right)
\end{equation*}を定めるものとする。定数\(C\in \mathbb{R} \)を任意に選んだ上で、それぞれの\(x\in I\)に対して、\begin{equation*}F\left( x\right) =x\ln \left( x\right) -x+C
\end{equation*}を定める関数\(F:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)を定義する。\(F\)は\(f\)の原始関数である。すなわち、\begin{equation*}\forall x\in I:F^{\prime }\left( x\right) =f\left( x\right)
\end{equation*}が成り立つ。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(自然対数関数の原始関数)
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x\right)
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} _{++}\)上に定義された連続関数であるため、先の命題より、定数\(C\in \mathbb{R} \)を任意に選んだ上で、それぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}F\left( x\right) =x\ln \left( x\right) -x+C
\end{equation*}を定める関数\(F:\mathbb{R} _{++}\rightarrow \mathbb{R} \)を定義したとき、\(F\)は\(f\)の原始関数になります。実際、任意の\(x\in \mathbb{R} _{++}\)について、\begin{eqnarray*}F^{\prime }\left( x\right) &=&\frac{d}{dx}\left[ x\ln \left( x\right) -x+C\right] \\
&=&\frac{d}{dx}x\ln \left( x\right) -\frac{d}{dx}x+\frac{d}{dx}C \\
&=&\ln \left( x\right) \frac{d}{dx}x+x\frac{d}{dx}\ln \left( x\right) -1+0 \\
&=&\ln \left( x\right) +x\cdot \frac{1}{x}-1 \\
&=&\ln \left( x\right) \\
&=&f\left( x\right)
\end{eqnarray*}となりますが、この結果は先の命題の主張と整合的です。

 

自然対数関数の不定積分

連続関数には原始関数と不定積分が存在することが保証されるとともに両者は一致するため、先の命題を踏まえると、連続関数である自然対数関数について以下が成り立ちます。

命題(自然対数関数の不定積分)
区間上に定義された関数\(f:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x\right)
\end{equation*}を定めるものとする。\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=x\ln \left( x\right) -x+C
\end{equation*}である。ただし、\(C\)は積分定数である。
証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(自然対数関数の不定積分)
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x\right)
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} _{++}\)上に定義された自然対数関数であるため、先の命題より、\(f\)の不定積分は、\begin{equation*}\int f\left( x\right) dx=x\ln \left( x\right) -x+C
\end{equation*}となります。ただし、\(C\)は積分定数です。
例(自然対数関数の不定積分)
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\ln \left( 2x\right)
\end{equation*}を定めるものとします。対数法則より、\begin{equation*}
\ln \left( 2x\right) =\ln \left( 2\right) +\ln \left( x\right)
\end{equation*}が成立するため、\(f\)は定数関数と自然対数関数の和であり連続です。したがって不定積分が存在しますが、具体的には、\begin{eqnarray*}\int f\left( x\right) dx &=&\int \left[ \ln \left( 2\right) +\ln \left(
x\right) \right] dx \\
&=&\int \ln \left( 2\right) dx+\int \ln \left( x\right) dx\quad \because
\text{和の法則} \\
&=&x\ln \left( 2\right) +x\ln \left( x\right) -x+C\quad \because \text{定数関数と自然対数関数の不定積分}
\end{eqnarray*}となります。

例(自然対数関数の不定積分)
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\frac{1}{x\left[ 3+\ln \left( x\right) \right] }
\end{equation*}を定めるものとします。\(f\)は連続関数であるため不定積分が存在します。そこで、\begin{equation}u=3+\ln \left( x\right) \quad \cdots (1)
\end{equation}とおくと、\begin{equation*}
\ln \left( x\right) =u-3
\end{equation*}となるため、\(x\in \mathbb{R} _{++}\)の場合には変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =e^{u-3} \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\left( -3,+\infty \right) \)とすれば、その値域は\(\mathbb{R} _{++}\)となり、これは\(f\)の定義域と一致します。加えて、\(g\)は\(C^{1}\)級です。また、\(g\)は狭義単調増加であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =3+\ln \left( x\right) \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int \frac{1}{x\left[ 3+\ln \left( x\right) \right] }dx\quad \because f\text{の定義} \\
&=&\int \frac{1}{e^{u-3}u}g^{\prime }\left( u\right) du\quad \because \left(
1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \frac{1}{e^{u-3}u}e^{u-3}du\quad \because \left( 2\right) \\
&=&\int \frac{1}{u}du\quad \because \left( 2\right) \\
&=&\ln \left( \left\vert u\right\vert \right) +C\quad \because \text{整数ベキ関数の不定積分} \\
&=&\ln \left( \left\vert 3+\ln \left( x\right) \right\vert \right) +C\quad
\because \left( 3\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。
例(自然対数関数との合成関数の積分)
関数\(f:\mathbb{R} \supset \left( -\frac{3}{2},+\infty \right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( -\frac{3}{2},+\infty \right) \)に対して、\begin{equation*}f\left( x\right) =\ln \left( 2x+3\right)
\end{equation*}を定めるものとします。この関数\(f\)は自然対数関数\(f\left( x\right) \)と多項式関数\(2x+3\)の合成関数であるため連続であり、したがって不定積分を持ちます。そこで、\begin{equation}u=2x+3 \quad \cdots (1)
\end{equation}とおくと、変数\(u\)に関する関数\begin{equation}x=g\left( u\right) =\frac{u-3}{2} \quad \cdots (2)
\end{equation}を得ます。\(g\)の定義域を\(\mathbb{R} _{++}\)とすれば、その値域は\(\left( -\frac{3}{2},+\infty \right) \)となり、これは\(f\)の定義域と一致します。加えて、\(g\)は\(C^{1}\)級です。また、\(g\)は狭義単調増加であるため単射であり、逆関数\begin{equation}u=g^{-1}\left( x\right) =2x+3 \quad \cdots (3)
\end{equation}が存在します。したがって、\begin{eqnarray*}
\int f\left( x\right) dx &=&\int \ln \left( 2x+3\right) dx\quad \because f\text{の定義} \\
&=&\int \ln \left( u\right) g^{\prime }\left( u\right) du\quad \because
\left( 1\right) ,\left( 2\right) \text{および置換積分} \\
&=&\int \ln \left( u\right) \frac{1}{2}du\quad \because \left( 2\right) \\
&=&\frac{1}{2}\int \ln \left( u\right) du\quad \because \text{関数の定数倍の不定積分} \\
&=&\frac{1}{2}\left[ u\ln \left( u\right) -u\right] +C\quad \because \text{自然対数関数の不定積分} \\
&=&\frac{u}{2}\left[ \ln \left( u\right) -1\right] +C \\
&=&\frac{2x+3}{2}\left[ \ln \left( 2x+3\right) -1\right] +C\quad \because
\left( 3\right)
\end{eqnarray*}となります。ただし、\(C\)は積分定数です。

 

自然対数関数の定積分

自然対数関数の原始関数が明らかになったため、微分積分学の第2基本定理を用いることにより自然対数関数の定積分を特定できます。具体的には以下の通りです。

命題(自然対数関数の定積分)
区間上に定義された関数\(f:\mathbb{R} _{++}\supset I\rightarrow \mathbb{R} \)はそれぞれの\(x\in I\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x\right)
\end{equation*}を定めるものとする。\(a<b\)を満たす点\(a,b\in I\)を任意に選んだとき、\(f\)は\(\left[ a,b\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\left[ x\ln \left( x\right) -x\right] _{a}^{b} \\
&=&\left[ b\ln \left( b\right) -b\right] -\left[ a\ln \left( a\right) -a\right] \end{eqnarray*}となる。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(自然対数関数の定積分)
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\ln \left( x\right)
\end{equation*}を定めるものとします。\(f\)は区間\(\mathbb{R} _{++}\)上に定義された自然対数関数であるため、先の命題より、\begin{eqnarray*}\int_{0}^{1}f\left( x\right) dx &=&\left[ x\ln \left( x\right) -x\right] _{0}^{1} \\
&=&\left[ \ln \left( 1\right) -1\right] -0 \\
&=&-1
\end{eqnarray*}となります。

例(自然対数関数の定積分)
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\ln \left( 2x\right)
\end{equation*}を定めるものとします。\(a<b\)を満たす\(a,b\in \mathbb{R} _{++}\)を任意に選んだとき、\(f\)は\(\left[ a,b\right] \)上でリーマン積分可能であり、定積分は、\begin{eqnarray*}\int_{a}^{b}f\left( x\right) dx &=&\int_{a}^{b}\ln \left( 2x\right) dx \\
&=&\int_{a}^{b}\left[ \ln \left( 2\right) +\ln \left( x\right) \right] dx\quad \because \text{対数法則} \\
&=&\int_{a}^{b}\ln \left( 2\right) dx+\int_{a}^{b}\ln \left( x\right)
dx\quad \because \text{関数の和の定積分} \\
&=&\left[ x\ln \left( 2\right) \right] _{a}^{b}+\left[ x\ln \left( x\right)
-x\right] _{a}^{b}\quad \because \text{定数関数と自然対数関数の定積分}
\end{eqnarray*}となります。したがって、例えば、\begin{eqnarray*}
\int_{1}^{2}f\left( x\right) dx &=&\left[ x\ln \left( 2\right) \right] _{1}^{2}+\left[ x\ln \left( x\right) -x\right] _{1}^{2} \\
&=&\left[ 2\ln \left( 2\right) -1\ln \left( 2\right) \right] +\left[ 2\ln
\left( 2\right) -2\right] -\left[ 1\ln \left( 1\right) -1\right] \\
&=&2\ln \left( 2\right) -\ln \left( 2\right) +2\ln \left( 2\right) -2-0+1 \\
&=&3\ln \left( 2\right) -1
\end{eqnarray*}となります。

 

自然対数関数と純変化量定理

純変化量定理を再掲します。これは微分積分学の第2基本定理から導かれます。

命題(純変化量定理)
\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界閉区間上に定義された関数\(f:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)が\(\left[ a,b\right] \)上で連続かつ\(\left( a,b\right) \)上で微分可能であるものとする。さらに、関数\(\frac{df}{dx}:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)は\(\left[ a,b\right] \)上でリーマン積分可能であるものとする。この場合には、以下の関係\begin{equation*}f\left( b\right) -f\left( a\right) =\int_{a}^{b}\frac{df\left( x\right) }{dx}dx
\end{equation*}が成立する。

導関数\(\frac{df}{dx}\)がそれぞれの点\(x\in \left( a,b\right) \)に対して定める値、すなわち点\(x\)における\(f\)の微分係数\begin{equation*}\frac{df\left( x\right) }{dx}=\lim_{h\rightarrow 0}\frac{f\left( x+h\right)
-f\left( x\right) }{h}
\end{equation*}とは、点\(x\)における\(f\left(x\right) \)の瞬間変化率に相当する概念です。純変化量定理によると、この瞬間変化率\(\frac{df\left( x\right) }{dx}\)を区間\(\left[ a,b\right] \)上で積分することにより、変数\(x\)が点\(a\)から点\(b\)へ変化する場合の前後における\(f\left( x\right) \)の変化量\begin{equation*}f\left( b\right) -f\left( a\right)
\end{equation*}が得られます。

関数\(f\)が自然対数関数\(\ln \left( x\right) \)である場合、導関数\(\frac{df}{dx}\)は\(\frac{1}{x}\)ですが、これは連続であるためリーマン積分可能であり、したがって純変化定理を利用できます。つまり、瞬間変化率\(\frac{df}{dx}\)が\(\frac{1}{x}\)であるような状況においては、もとの自然対数関数\(f\)の変化量\(f\left( b\right) -f\left( a\right) \)は、自然対数関数の定積分と一致するということです。

例(自然対数関数と純変化量定理)
外国語の学習に\(t\geq 0\)時間費やした時点における外国語スキルのレベルが、\begin{equation*}S\left( t\right) =\ln \left( t+1\right)
\end{equation*}であるものとします。時点\(0\)から時点\(t\)までのスキルレベルの増加量は、\begin{eqnarray*}S\left( t\right) -S\left( 0\right) &=&\ln \left( t+1\right) -\ln \left(
1\right) \\
&=&\ln \left( t+1\right)
\end{eqnarray*}ですが、同じことを純変化量定理を用いて導きます。任意の時点\(t\geq 0\)におけるスキルレベルの瞬間増加量は、\begin{equation}\frac{dS\left( t\right) }{dt}=\frac{1}{t+1} \quad \cdots (1)
\end{equation}です。導関数\(\frac{dS}{dt}\)は連続関数であるため、\(t>0\)を任意に選んだとき、\(\frac{dS}{dt}\)は\(\left[ 0,t\right] \)上においてリーマン積分可能です。したがって、時点\(0\)から時点\(t\)までのスキルレベルの増加量は、\begin{eqnarray*}S\left( t\right) -S\left( 0\right) &=&\int_{0}^{t}\frac{dS\left( s\right) }{ds}ds\quad \because \text{純変化量定理}
\\
&=&\int_{0}^{t}\frac{1}{s+1}ds\quad \because \left( 1\right) \\
&=&\left[ \ln \left( s+1\right) \right] _{0}^{t} \\
&=&\ln \left( t+1\right) -\ln \left( 1\right) \\
&=&\ln \left( t+1\right)
\end{eqnarray*}となります。これは先の結果と整合的です。また、時点\(t_{1}\)から時点\(t_{2}\)までのスキルレベルの増加量は、\begin{eqnarray*}S\left( t_{2}\right) -S\left( t_{1}\right) &=&\int_{t_{1}}^{t_{2}}\frac{dS\left( s\right) }{ds}ds\quad \because \text{純変化量定理} \\
&=&\int_{t_{1}}^{t_{2}}\frac{1}{s+1}ds\quad \because \left( 1\right) \\
&=&\left[ \ln \left( s+1\right) \right] _{t_{1}}^{t_{2}} \\
&=&\ln \left( t_{2}+1\right) -\ln \left( t_{1}+1\right)
\end{eqnarray*}となります。

 

演習問題

問題(自然対数関数の積分)
関数\(f:\mathbb{R} _{++}\rightarrow \mathbb{R} \)はそれぞれの\(x\in \mathbb{R} _{++}\)に対して、\begin{equation*}f\left( x\right) =\log _{10}\left( x\right)
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(自然対数関数の積分)
関数\(f:\mathbb{R} \supset \left( 2,+\infty \right) \rightarrow \mathbb{R} \)はそれぞれの\(x\in \left( 2,+\infty\right) \)に対して、\begin{equation*}f\left( x\right) =\ln \left( x-2\right) ^{3}
\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) =x\ln \left( x\right)
\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{\ln \left( x\right) }{x}
\end{equation*}を定めるものとします。不定積分\begin{equation*}
\int f\left( x\right) dx
\end{equation*}を求めてください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

プレミアム会員専用コンテンツです
ログイン】【会員登録