ニュートン=コーツの積分公式
📂数値解析 ニュートン=コーツの積分公式 定義 f : [ a , b ] → R f : [a,b] \to \mathbb{R} f : [ a , b ] → R が[ a , b ] [a,b] [ a , b ] で積分可能であり、[ a , b ] [a,b] [ a , b ] を間隔がh : = b − a n \displaystyle h:= {{b-a} \over {n}} h := n b − a の一定でa = x 0 < ⋯ < x n = b a = x_{0} < \cdots < x_{n} = b a = x 0 < ⋯ < x n = b のようなノードポイントに分けたとしよう。以下のように定義された数値積分オペレーター I n p I_{n}^{p} I n p をニュートン-コーツの公式 と言う。
I n p ( f ) : = ∑ i = 0 n w i f ( x i )
I_{n}^{p} (f) := \sum_{i=0}^{n} w_{i} f ( x_{i} )
I n p ( f ) := i = 0 ∑ n w i f ( x i )
i = 0 , 1 , ⋯ , n i=0,1,\cdots , n i = 0 , 1 , ⋯ , n に対してx i : = a + i h x_{i} := a + i h x i := a + ih であり、l i l_{i} l i はラグランジュの公式 で使われる多項式 l i ( x ) : = ∏ i ≠ j ( x − x j x i − x j ) \displaystyle l_{i} (x) := \prod_{i \ne j} \left( {{ x - x_{j} } \over { x_{i} - x_{j} }} \right) l i ( x ) := i = j ∏ ( x i − x j x − x j ) を意味する。重みweight w i w_{i} w i はw i : = ∫ a b l i ( x ) d x \displaystyle w_{i} := \int_{a}^{b} l_{i} (x) dx w i := ∫ a b l i ( x ) d x と同様に定義されている。 誤差 f ∈ C n + 2 [ a , b ] f \in C^{n+2} [a,b] f ∈ C n + 2 [ a , b ] としよう。
C n : = { 1 ( n + 2 ) ! ∫ 0 n μ 2 ( μ − 1 ) ⋯ ( μ − n ) d μ , n is even 1 ( n + 1 ) ! ∫ 0 n μ ( μ − 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}
C n := ⎩ ⎨ ⎧ ( n + 2 )! 1 ∫ 0 n μ 2 ( μ − 1 ) ⋯ ( μ − n ) d μ ( n + 1 )! 1 ∫ 0 n μ ( μ − 1 ) ⋯ ( μ − n ) d μ , n is even , n is odd
そしてあるξ ∈ [ a , b ] \xi \in [a,b] ξ ∈ [ a , b ] に対して
E n p ( f ) = { C n h n + 3 f ( n + 2 ) ( ξ ) , n is even C n h n + 2 f ( 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}
E n p ( f ) = { C n h n + 3 f ( n + 2 ) ( ξ ) C n h n + 2 f ( n + 1 ) ( ξ ) , n is even , n is odd
特殊化 台形則 が1 1 1 次ポリノミアル補間 を使い、シンプソンの法則 が2 2 2 次ポリノミアル補間 を使っているなら、p p p 次について一般化することを考えるのは当然だ。ニュートン-コーツの積分公式は、近似時にその多項式の次数を上げて作ることができる全てのルールを含んでいる。
(1) p = 1 p=1 p = 1 : I 1 ( f ) : = h [ f ( a ) + f ( b ) ] I^{1} (f) := h [ f(a) + f(b) ] I 1 ( f ) := h [ f ( a ) + f ( b )] (2) p = 2 p=2 p = 2 : I 2 ( f ) : = h 3 [ f ( a ) + 4 f ( a + b 2 ) + f ( b ) ] I^{2} (f) := {{h} \over {3}} \left[ f(a) + 4 f \left( {{a + b} \over {2}} \right) + f(b) \right] I 2 ( f ) := 3 h [ f ( a ) + 4 f ( 2 a + b ) + f ( b ) ] 3 − 8 3-8 3 − 8 の法則three-Eights rule (3) p = 3 p=3 p = 3 : I 3 ( f ) : = 3 h 8 [ f ( a ) + 3 f ( a + h ) + 3 f ( b − h ) + f ( b ) ] I^{3} (f) := {{3h} \over {8}} \left[ f(a) + 3 f ( a + h ) + 3 f ( b - h ) + f(b) \right] I 3 ( f ) := 8 3 h [ f ( a ) + 3 f ( a + h ) + 3 f ( b − h ) + f ( b ) ] ブールの法則 boole’s rule (4) p = 4 p=4 p = 4 : I 4 ( f ) : = 2 h 45 [ 7 f ( a ) + 32 f ( a + h ) + 12 f ( a + b 2 ) + 32 f ( b − h ) + 7 f ( 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] I 4 ( f ) := 45 2 h [ 7 f ( a ) + 32 f ( a + h ) + 12 f ( 2 a + b ) + 32 f ( b − h ) + 7 f ( b ) ]