logo

ニュートン=コーツの積分公式 📂数値解析

ニュートン=コーツの積分公式

定義 1

f:[a,b]Rf : [a,b] \to \mathbb{R}[a,b][a,b]で積分可能であり、[a,b][a,b]を間隔がh:=ban\displaystyle h:= {{b-a} \over {n}}の一定でa=x0<<xn=ba = x_{0} < \cdots < x_{n} = bのようなノードポイントに分けたとしよう。以下のように定義された数値積分オペレーターInpI_{n}^{p}ニュートン-コーツの公式と言う。 Inp(f):=i=0nwif(xi) I_{n}^{p} (f) := \sum_{i=0}^{n} w_{i} f ( x_{i} )


  • i=0,1,,ni=0,1,\cdots , nに対してxi:=a+ihx_{i} := a + i hであり、lil_{i}ラグランジュの公式で使われる多項式li(x):=ij(xxjxixj)\displaystyle l_{i} (x) := \prod_{i \ne j} \left( {{ x - x_{j} } \over { x_{i} - x_{j} }} \right)を意味する。
  • 重みweightwiw_{i}wi:=abli(x)dx\displaystyle w_{i} := \int_{a}^{b} l_{i} (x) dxと同様に定義されている。

誤差

fCn+2[a,b]f \in C^{n+2} [a,b]としよう。 Cn:={1(n+2)!0nμ2(μ1)(μn)dμ,n is even1(n+1)!0nμ(μ1)(μn)dμ,n is odd C_{n} := \begin{cases} \displaystyle {{1} \over {(n+2)! }} \int_{0}^{n} \mu^2 ( \mu - 1 ) \cdots ( \mu - n ) d \mu & , n \text{ is even} \\ \displaystyle {{1} \over {(n+1)! }} \int_{0}^{n} \mu ( \mu - 1 ) \cdots ( \mu - n ) d \mu & , n \text{ is odd} \end{cases} そしてあるξ[a,b] \xi \in [a,b]に対して Enp(f)={Cnhn+3f(n+2)(ξ),n is evenCnhn+2f(n+1)(ξ),n is odd E_{n}^{p} (f) = \begin{cases} C_{n} h^{n+3} f^{(n+2)} ( \xi ) & , n \text{ is even} \\ C_{n} h^{n+2} f^{(n+1)} ( \xi ) & , n \text{ is odd} \end{cases}

特殊化

台形則11次ポリノミアル補間を使い、シンプソンの法則22次ポリノミアル補間を使っているなら、pp次について一般化することを考えるのは当然だ。ニュートン-コーツの積分公式は、近似時にその多項式の次数を上げて作ることができる全てのルールを含んでいる。

台形則

  • (1) p=1p=1: I1(f):=h[f(a)+f(b)]I^{1} (f) := h [ f(a) + f(b) ]

シンプソンの法則

  • (2) p=2p=2: I2(f):=h3[f(a)+4f(a+b2)+f(b)]I^{2} (f) := {{h} \over {3}} \left[ f(a) + 4 f \left( {{a + b} \over {2}} \right) + f(b) \right]

383-8の法則three-Eights rule

  • (3) p=3p=3: I3(f):=3h8[f(a)+3f(a+h)+3f(bh)+f(b)]I^{3} (f) := {{3h} \over {8}} \left[ f(a) + 3 f ( a + h ) + 3 f ( b - h ) + f(b) \right]

ブールの法則boole’s rule

  • (4) p=4p=4: I4(f):=2h45[7f(a)+32f(a+h)+12f(a+b2)+32f(bh)+7f(b)]I^{4} (f) := {{2h} \over {45}} \left[ 7 f(a) + 32 f ( a + h ) + 12 f \left( {{a + b} \over {2}} \right) + 32 f(b - h) + 7 f(b) \right]

  1. Atkinson. (1989). An Introduction to Numerical Analysis(2nd Edition): p263. ↩︎