1変数関数の積の定積分

関数の積の定積分

\(a<b\)を満たす実数\(a,b\in \mathbb{R} \)を端点とする有界な閉区間\(\left[ a,b\right] \)上に定義された2つの関数\begin{eqnarray*}f &:&\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \\
g &:&\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{eqnarray*}が与えられたとき、それぞれの\(x\in \left[ a,b\right] \)に対して、\begin{equation*}\left( fg\right) \left( x\right) =f\left( x\right) \cdot g\left( x\right)
\end{equation*}を定める新たな関数\begin{equation*}
fg:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \end{equation*}が定義可能です。

関数\(f,g\)がともに\(\left[ a,b\right] \)上で有界かつリーマン積分可能であるならば、関数\(fg\)もまた\(\left[a,b\right] \)上で有界かつリーマン積分可能であることが保証されます。

まずは以下の補題を示します。

先の命題を踏まえた上で以下を示します。

リーマン積分可能な関数の定数倍、和、差などはいずれもリーマン積分可能であり、さらにそれらの定積分について以下の関係\begin{eqnarray*}
&&\left( a\right) \ \int_{a}^{b}\left( cf\right) \left( x\right) dx=c\cdot
\int_{a}^{b}f\left( x\right) dx \\
&&\left( b\right) \ \int_{a}^{b}\left( f+g\right) \left( x\right)
dx=\int_{a}^{b}f\left( x\right) dx+\int_{a}^{b}g\left( x\right) dx \\
&&\left( c\right) \ \int_{a}^{b}\left( f-g\right) \left( x\right)
dx=\int_{a}^{b}f\left( x\right) dx-\int_{a}^{b}g\left( x\right) dx
\end{eqnarray*}が成り立つことはすでに示した通りです。先の命題はリーマン積分可能な関数の積もまたリーマン積分可能であることを保証しますが、その定積分\begin{equation*}
\int_{a}^{b}\left( fg\right) \left( x\right) dx
\end{equation*}を具体的に特定する指針は与えてくれません。積分可能な関数の積の定積分を具体的に導出する方法については場を改めて解説します。

演習問題