定積分

リーマン積分の定義

関数 \(f(x)\) は閉区間 \([a,b]\) 上で有界であるとします。
まず、閉区間の「分割」という概念を定義します。

定義(分割)

閉区間 \([a,b]\) に属する点列 \(x_0,x_1,x_2,\cdots,x_n\) を \[ a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b \] となるようにとり、区間 \([a,b]\) を以下のような小さい閉区間 \[ [x_0,x_1],~[x_1,x_2],~\cdots,~[x_{n-1},x_n] \] に分けることを分割という。このような分割を \[ \varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b \] と表す。

次に、分割の大きさについて定義します。

定義(分割の大きさ)

分割 \[ \varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b \] に対して、各小区間 \([x_{i-1},x_i]\) の長さ \(x_i-x_{i-1}\) を考える。
この中で最も長いもの、すなわち \[ |\varDelta|=\max_{1\le i\le n}(x_i-x_{i-1}) \] を分割 \(\varDelta\) の大きさという。

この「分割の大きさ」は、分割の中でいちばん長い小区間の長さを表します。 つまり、どれくらい細かく分けたかを見るための目安になり、 \(|\varDelta|\) が小さいと、より細かく区間を分けたということです。

定義(リーマン和)

区間 \([a,b]\) の分割 \[ \varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b \] に対して、各小区間 \([x_{i-1},x_i]\) ごとに任意の点 \(\xi_i\in[x_{i-1},x_i]\) を1つずつ選ぶ。
このとき、関数 \(f(x)\) に対して \[ S(f,\varDelta,{\xi_i})=\sum_{i=1}^nf(\xi_i)(x_i-x_{i-1}) \] をリーマン和という。

定義(リーマン積分)

関数 \(f(x)\) は閉区間 \([a,b]\) 上で有界であるとする。
区間 \([a,b]\) の分割 \[ \varDelta:a=x_0\lt x_1\lt x_2\lt\cdots\lt x_n=b \] に対して、各小区間 \([x_{i-1},x_i]\) ごとに任意の点 \(\xi_i\in[x_{i-1},x_i]\) を1つ選ぶ。このときのリーマン和は \[ S(f,\varDelta,{\xi_i})=\sum_{i=1}^nf(\xi_i)(x_i-x_{i-1}) \] である。このリーマン和における、分割の大きさ \(|\varDelta|\) を \(0\) に近づける極限 \[ \lim_{|\varDelta| \to 0}S(f,\varDelta,{\xi_i}) \] がある一定の値に収束するならば、\(f(x)\) は \([a,b]\) 上でリーマン積分可能であるといい、この極限値を \[ \int_a^b f(x)dx \] と書き、これを閉区間 \([a,b]\) における \(f(x)\) の定積分という。

リーマン積分可能性

定理(単調関数のリーマン積分可能性)

閉区間 \(I\) 上の単調関数は、\(I\) 上でリーマン積分可能である。

証明

定理(連続関数のリーマン積分可能性)

閉区間 \(I\) 上の連続関数は、\(I\) 上でリーマン積分可能である。

証明

演習問題

問題

\(\displaystyle\int_{0}^{1}x^2dx\) を求めよ。

解答

\(n\in\mathbb{Z}\) として区間 \([0,1]\) を \[ [0,1]=\left[0,\frac{1}{n}\right]\cup\left[\frac{1}{n},\frac{2}{n}\right]\cup\cdots\cup\left[\frac{n-1}{n},1\right] \] のように分割すると \[ \varDelta x_k=\frac{k}{n}-\frac{k-1}{n}=\frac{1}{n} \] である。
区間 \(\displaystyle\left[\frac{k-1}{n},\frac{k}{n}\right]\) から点 \(\displaystyle\frac{k}{n}\) を選ぶと、\(x^2\) のリーマン和は \[ \sum_{k=1}^n {\left(\frac{k}{n}\right)}^2\frac{1}{n} \] となる。 \[ |\varDelta| = \max_{1 \le k \le n} \varDelta x_k=\frac{1}{n} \] であり、\(|\varDelta| \to 0\) のとき \(n \to \infty\) であるから

\[ \begin{align} \lim_{n \to \infty}\sum_{k=1}^n \left(\frac{k}{n}\right)^2\frac{1}{n} &=\lim_{n \to \infty}\frac{1}{n^3}\sum_{k=1}^nk^2\\ &=\lim_{n \to \infty}\frac{1}{n^3}\cdot\frac{1}{6}n(n+1)(2n+1)\\ &=\lim_{n \to \infty}\frac{1}{6}\left(1+\frac{1}{n}\right)\left(2+\frac{1}{n}\right)\\ &=\frac{1}{6}\cdot1\cdot2\\ &=\frac{1}{3} \end{align} \]

したがって \[ \int_0^1x^2dx=\frac{1}{3} \]