リーマン和

曲線の下の面積を近似する4つの方法。左法 法は、それぞれ各小区間の左端と右端を用いて近似値を求めます。上法法は、それぞれ各小区間の最大値と最小値の端点を用いて近似値を求めます。小区間が左上から右下に向かって半分に減っていくにつれて、合計値は収束します。

数学においてリーマン和とは、有限和による積分の近似の一種です。19世紀のドイツの数学者ベルンハルト・リーマンにちなんで名付けられました。非常に一般的な応用の一つは数値積分、すなわちグラフ上の関数や直線の面積を近似することです。この分野では、リーマン和は長方形則とも呼ばれます。また、曲線の長さやその他の近似にも適用できます。

合計は、測定対象領域と相似な領域を形成する形状(長方形台形放物線、または立方体など、場合によっては無限小)に領域を分割し、それぞれの形状の面積を計算し、最後にこれらの小さな領域をすべて加算することによって計算されます。このアプローチは、微積分の基本定理によって閉形式の解を求めることが容易でない場合でも、定積分の数値近似値を求めるために使用できます。

小さな図形で囲まれた領域は通常、測定対象領域と全く同じ形状ではないため、リーマン和は測定対象領域の面積と異なります。この誤差は、領域をより細かく分割し、より小さな図形を用いることで軽減できます。図形が小さくなるにつれて、和はリーマン積分に近づきます。

定義

を実数 の閉区間上で定義された関数とし、分割として、つまり とする。 上の の分割を持つリーマン和は、およびとして定義れる [ 1 ]のどを選択する かによって、異なるリーマン和が生じる可能性がある。最終的には、関数がリーマン積分可能で、被加数の差または幅がゼロに近づく 場合、これは問題にならない

リーマン和の種類

異なるタイプのリーマン和を与える具体的な選択肢:

  • すべてのiに対して、この方法は左則[2] [3]であり、左リーマン和を与える
  • すべてのiに対して、この方法は正しい規則[2] [3]であり、正しいリーマン和を与える
  • すべてのiに対して、この方法は中点則[2] [3]であり、中位のリーマン和を与える
  • (つまり、を超える上限)の場合、この方法は上則であり、上リーマン和または上ダルブー和を与えます
  • (つまり、上のf最小値)の場合、この方法は下側の規則であり、下側のリーマン和または下側のダルブー和を与えます

これらのリーマン和法はすべて、数値積分を行うための最も基本的な方法の一つです。大まかに言えば、関数がリーマン積分可能であるとは、分割が「どんどん細かくなる」につれてすべてのリーマン和が収束することを意味します。

リーマン和として導出されるわけではありませんが、左右のリーマン和の平均をとることは台形則であり、台形和を与えます。これは、加重平均を用いて積分を近似する非常に一般的な方法のうち、最も単純なものの一つです。複雑なものとしては、シンプソン則ニュートン・コーツの公式が挙げられます

与えられた分割上の任意のリーマン和(つまり、の間の任意の選択に対して)は、下側のダルブー和と上側のダルブー和の間に含まれる。これはダルブー積分の基礎となり、これは最終的にリーマン積分と等価である。

リーマン和法

4つのリーマン和法は、通常、等しい大きさの部分区間を用いるのが最適です。したがって、区間[ a , b ]は、それぞれの長さの部分区間に分割されます

パーティション内のポイントは

左規則

4つの部分区間を用いた[0, 2]上のx↦x3の左リーマン

左ルールでは、関数は部分区間の左端における値で近似されます。これにより、底辺Δ x、高さf ( a + i Δ x )の複数の長方形が得られます。これをi = 0, 1, ..., n − 1について行い、得られた面積を合計すると、次の式が得られます

左リーマン和は、fがこの区間で単調減少する場合には過大評価となり、単調増加する場合には過小評価となる。この式の誤差は となる 。ここでは区間における絶対値の最大値である。

右リーマン則

4つの部分区間を用いた[0, 2]上のx↦x3リーマン

右則の場合、関数は部分区間の右端における値で近似されます。これにより、底辺Δ x、高さf ( a + i Δ x )の長方形が複数生成されます。これをi = 1, ..., nについて行い、得られた面積を合計すると、 次の式が得られます。

右リーマン和は、f単調減少 の場合は過小評価となり、単調増加の場合は過大評価となります。この式の誤差は となります。 ここでは区間 における絶対値の最大値です。

中点規則

4つの部分区間を用いた[0, 2]上のx↦x3中点リーマン

中点則では、関数は部分区間の中点における値で近似されます。最初の部分区間ではf ( a + Δ x /2) 、次の部分区間ではf ( a + 3Δ x /2)となり、これをf ( b − Δ x /2)まで繰り返します。得られた面積を合計すると、

この式の誤差は、区間における絶対値の 最大値です。この誤差は台形和の誤差の半分です。したがって、中位リーマン和はリーマン和への最も正確なアプローチです。

一般化中点則

一般化中点則の公式は、拡張中点積分としても知られ、次のように与えられます。ここで、は区間の数であり、偶数微分を表します

区間 上で定義された関数の積分はとなる。したがって、 と仮定することで、この一般化された中点積分公式を適用することができる。この公式は、被積分関数が高度に振動する関数である場合の数値積分に特に有効である。

台形則

4つの部分区間を用いた[0, 2]上のx↦x↦3台形

台形則の場合、関数は部分区間の左右の端点における値の平均で近似されます。平行辺b 1b 2、高さhの台形の面積公式を用い、得られた面積を合計すると、

この式の誤差は、の絶対値の最大値であるになります

関数の台形和で得られる近似値は、その関数の左側の和と右側の和の平均と同じです。

積分との関連

領域上の1次元リーマン和について、部分区間の最大サイズがゼロに縮小する(つまり、部分区間のノルムの極限がゼロになる)と、一部の関数ではすべてのリーマン和が同じ値に収束します。この極限値が存在する場合、それは関数の領域上の定リーマン積分として定義されます

有限サイズの領域において、部分区間の最大サイズがゼロに縮小すると、部分区間の数は無限大になります。有限分割の場合、リーマン和は常に極限値の近似値となり、この近似値は分割が細かくなるほど向上します。以下のアニメーションは、部分区間の数を増やす(最大部分区間サイズを小さくする)ことで、曲線の下の「面積」をより良く近似できることを示しています。

ここで赤い関数は滑らかな関数であると仮定されているため、部分区間の数が無限大になるほど、3つのリーマン和はすべて同じ値に収束します

右リーマン和とxx 2積分との比較

たとえば、曲線y = x 2上の [0, 2] の下の面積は、リーマン法を使用して手順的に計算できます。

まず、区間[0, 2]をn個の部分区間に分割し、それぞれの部分区間の幅を とする。これらはリーマン長方形(以下、「ボックス」)の幅である。正しいリーマン和を用いるため、ボックスのx座標の順序は となる。したがって、ボックスの高さの順序は となる。重要な事実として、 、 、 である

各ボックスの面積は、したがってn番目の右リーマン和は次のようになります。

n → ∞の極限を考えると、ボックスの数が増えるにつれて、近似値は曲線の下の面積の実際の値に近づくことがわかります。したがって、

この方法は、より機械的な方法で計算された定積分と一致します。

関数は区間全体で連続かつ単調増加であるため、右リーマン和は積分を最も過大評価します(一方、左リーマン和は積分を最も過小評価します)。この事実は図から直感的に明らかであり、関数の性質が積分の推定精度をどのように決定するかを示しています。右リーマン和と左リーマン和は単純ですが、台形則シンプソンの定理といったより高度な積分推定手法に比べて精度が低い場合が多くあります。

例の関数には簡単に見つけられる原始導関数があるため、リーマン和による積分の推定は主に学術的な演習です。ただし、すべての関数に原始導関数があるわけではないため、和による積分の推定が実用上重要であることを覚えておく必要があります。


高次元

リーマン和の基本的な考え方は、領域を分割によって複数の部分に「分割」し、各部分の「サイズ」にその部分で関数が取る値を乗じ、これらの積をすべて合計することです。これを一般化することで、2次元以上の領域上の関数のリーマン和が可能になります

直感的には、領域を分割するプロセスは簡単に理解できますが、領域をどのように分割するかという技術的な詳細は、1次元の場合よりもはるかに複雑になり、領域の幾何学的形状の側面が関係します。[4]

二次元

二次元では、領域はとなるように複数の二次元セルに分割できます。各セルは で表される「面積」を持つと解釈できます[5]二次元リーマン和です

三次元

3次元では、領域はとなるように複数の3次元セルに分割されます。各セルは で表される「体積」を持つと解釈できます。3次元リーマン和は[6]で、 となります

任意の次元数

高次元リーマン和も同様のパターンに従います。n次元リーマン和はであり、つまりn次元セル内のn次元体積 を持つ点です

一般化

高い一般性において、リーマン和は、集合に含まれる任意の点、基礎集合上の測度を表す式で表すことができます。大まかに言えば、測度とは集合の「大きさ」、この場合は集合の大きさを与える関数です。1次元では長さ、2次元では面積、3次元では体積など、多くの場合、測度は長さとして解釈されます

参照

参考文献

  1. ^ ヒューズ=ハレット、デボラ、マッカラム、ウィリアム・G、他 (2005).微積分学(第4版). Wiley. p. 252(定義には多くの同等のバリエーションがありますが、この参照はここで示されているものと非常によく似ています。)
  2. ^ abc Hughes-Hallett, Deborah; McCullum, William G.; et al. (2005). Calculus (4th ed.). Wiley. p. 340.これまでに、リーマン和を使用して積分を推定する方法は3つあります。1.左ルールでは、各サブ区間の左端点を使用します。2.右ルールでは、各サブ区間の右端点を使用します。3.中点ルールでは、各サブ区間の中点を使用します。
  3. ^ abc Ostebee, Arnold; Zorn, Paul (2002).図形的、数値的、記号的観点からの微積分学(第2版). p. M-33.左則、右則、中点則による近似和はすべてこの定義に適合する。
  4. ^ スウォコウスキー, アール・W. (1979).微積分学と解析幾何学(第2版). ボストン, MA: プリンドル, ウェーバー & シュミット. pp.  821– 822. ISBN 0-87150-268-2
  5. ^ Ostebee, Arnold; Zorn, Paul (2002).図形・数値・記号論的観点からの微積分(第2版). p. M-34.平面領域Rを、おそらく大きさや形が異なるm個の小領域R 1 , R 2 , R 3 , ..., R mに分割する。部分領域R iの「大きさ」は、その面積Δ A iと表される。
  6. ^ スウォコウスキー, アール・W. (1979).微積分学と解析幾何学(第2版). ボストン, MA: プリンドル, ウェーバー&シュミット. pp.  857– 858. ISBN 0-87150-268-2
Retrieved from "https://en.wikipedia.org/w/index.php?title=Riemann_sum&oldid=1322381525"