本文へ移動

リーマン和 — 定積分の近似

リーマン和は、関数値と区間幅の積を足し合わせて定積分を近似する方法である。リーマン積分の基礎であり、多くの数値積分法の根底をなす。

概要

数学において、リーマン和とは、与えられた区間上の関数の定積分を近似する、簡明で広く用いられる方法である。幾何学的には、定積分はしばしば曲線の下の面積として解釈される。リーマン和では、その領域を面積の計算しやすい基本的な図形の有限個の集まりで置き換える。分割した部分がより小さく、かつ多くなるにつれて、和は通常、真の積分値に近づく。

画像ギャラリー

5 画像

形式的な考え方と構成

リーマン和を作るには、まず区間を小区間に分割し、各小区間で標本点を一つ選ぶ。その点で関数値を求め、各関数値に小区間の幅を掛け、それらを加える。区間 [a,b] を幅 Δx_i の n 個の小区間に分け、標本点を x*_i とすると、リーマン和は有限和 Σ f(x*_i) Δx_i で表される。重要なパラメータは分割のメッシュ(またはノルム)、すなわち最も長い小区間の長さである。メッシュがゼロへ近づき、和がある極限値に収束するとき、その極限が [a,b] 上の関数のリーマン積分である。

代表的な選び方と実用上の型

標本点や用いる図形の選び方により、よく知られたさまざまな変種が得られ、精度と計算量にも影響する。基本的な変種には次のものがある。

  • 左リーマン和:各小区間の左端点を用いる方法であり、ときに長方形による近似と関連付けられる。
  • 右リーマン和:各小区間の右端点を用いる。
  • 中点則:各小区間の中点を用いる。同じ分割では、端点を使う方法より精度が高いことが多い。
  • 改良された公式:台形を用いる台形則と、放物線で近似するシンプソン則は、より高次の図形を当てはめて精度を向上させる。

収束と誤差

単純な図形が元の領域と正確に一致することはまれであるため、リーマン和は真の積分値と誤差をもつ。誤差の評価は関数の滑らかさと用いる公式に依存する。たとえば、適度な滑らかさを仮定すると、中点則と台形則の誤差はメッシュの二乗に比例して減少する一方、シンプソン則では通常、さらに速く減少する。小区間を小さくしてメッシュを縮小すれば誤差は減少する。メッシュがゼロへ向かう極限で収束する和は、リーマン積分を定める。この極限過程は計算の道具であると同時に、積分の基礎的な定義でもある。

用途、例と重要性

リーマン和は、手計算やコンピュータのアルゴリズムに実用的であり、離散的な和と連続的な積分を結ぶ概念的な橋渡しでもある。簡単な例として、[0,1] 上の f(x)=x を考える。n 個の等しい小区間と右端点を用いると、和は (1/n)·(1/n + 2/n + ... + n/n) となる。これは (n+1)/(2n) に簡約され、n→∞ のとき 1/2 に近づき、正確な積分値と一致する。数値解析では、リーマン和に基づく公式が求積法の基礎をなし、原始関数を解析的に得ることが難しい場合に用いられる。

歴史と区別

この概念は、19世紀の数学者ベルンハルト・リーマンにちなんで名付けられた。リーマンはこの種の和の極限を形式化することで積分を明確化したが、有限和そのものはそれ以前からさまざまな形で使われていた。リーマン積分は直観的で、多くの応用には十分である。しかし、最も一般的な積分概念ではない。現代の測度論ではルベーグ積分が導入され、より広い種類の関数を積分でき、極限過程も異なる仕方で扱う。ただし、多くの関数については両者の積分値は一致する。

関連項目と参考資料

より深く学ぶには、分割と細分、メッシュおよび極限の厳密な定義、連続関数に対する収束の証明を扱う。級数、広義積分、数値求積法とのつながりも基本的な考えを発展させる。入門書やオンライン資料には、計算例や誤差評価が掲載されている。実用的なアルゴリズムとコード例については、基本的な積分技法と数値積分の入門ページを参照するとよい。追加の資料として、リーマン和とその変種、定積分、ならびに教育リポジトリで利用できる解析学・数値計算法の標準的な文献がある(関数論面積と幾何学、多項式近似、長方形公式、台形則の補正、誤差解析)。

単純な図形の和が、分割を細かくするにつれて連続的な面積へ収束する様子を直観的に理解するには、対話型の実演、段階的な計算教材、可視化ツールを参照できる。信頼できる入門的解説や講義ノートは、数学のカリキュラムで参照される教育ポータルや大学の授業ページから探すことができる(数学の概要関数の性質伝記的注記)。

関連項目

著者

AlegsaOnline.com リーマン和 — 定積分の近似

URL: https://ja.alegsaonline.com/art/82856

共有