뉴턴-코테스 적분 공식
📂수치해석 뉴턴-코테스 적분 공식 정의 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 ) ]