関数の積の定積分
\(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] \)上で有界かつリーマン積分可能であることが保証されます。
まずは以下の補題を示します。
\end{equation*}を定める関数\(f^{2}:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)を定義する。\(f\)が\(\left[ a,b\right] \)上で有界かつリーマン積分可能であるならば、\(f^{2}\)もまた\(\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*}を具体的に特定する指針は与えてくれません。積分可能な関数の積の定積分を具体的に導出する方法については場を改めて解説します。
\end{equation*}を定めるものとします。多項式関数\(2x-1\)および正弦関数\(\sin \left( x\right) \)は\(\left[ 1,2\right] \)上で連続であるため\(\left[ 1,2\right] \)上で積分可能です。したがって、\(f\)は\(\left[ 1,2\right] \)上で積分可能な関数どうしの積として定義される関数であるため\(\left[ 1,2\right] \)上で積分可能です。
\end{equation*}を定めるものとします。恒等関数\(x\)および自然指数関数\(e^{x}\)および自然数ベキ関数\(x^{2}\)は\(\left[ 0,5\right] \)上で連続であるため\(\left[ 0,5\right] \)上で積分可能です。したがって、\(f\)は\(\left[ 0,5\right] \)上で積分可能な関数どうしの積および差として定義される関数であるため\(\left[ 0,5\right] \)上で積分可能です。
演習問題
\end{equation*}を定めるものとします。\(f\)は\(\left[ 0,1\right] \)上でリーマン積分可能であることを示してください。
\end{equation*}を定めるものとします。\(f\)は\(\left[ 1,2\right] \)上でリーマン積分可能であることを示してください。
\end{equation*}を定める関数\(g:\mathbb{R} \supset \left[ a,b\right] \rightarrow \mathbb{R} \)を定義します。\(f\)が\(\left[a,b\right] \)上でリーマン積分可能である場合には\(g\)もまた\(\left[ a,b\right] \)上でリーマン積分可能であることを示してください。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】