이 글은 일반적인 참고문헌 목록을 포함하고 있지만, 그에 상응하는 인라인 인용구가 충분하지 않기 때문에 대체로 검증되지 않은 상태로 남아 있다. 좀 더 정밀한 인용구를 도입하여 이 기사를 개선할 수 있도록 도와주십시오.(2018년 9월)(이 템플릿 메시지를 제거하는 방법과 시기 알아보기)
2점 가우스와 사다리꼴 사다리꼴 사다리꼴 사다리꼴 사다리꼴 사다리꼴 사다리꼴의 비교. 그 파란 선은 다항 y=7x3− 8x2− 3x+3{\textstyle y())=7x^{3}-8x^{2}-3x+3}의[−1, 1]에 필수적이다.mw-parser-output .frac{white-space:nowrap}.mw-parser-output.frac.num,.mw-parser-output.frac .den{:80%;line-height:0;vertical-align:슈퍼 font-size}.mw-parser-output.frac .den{()).vertical-align:}의 서브 .mw-parser-output .sr-only{국경:0;클립:rect(0,0,0,0), 높이:1px, 마진:-1px, 오버 플로: 숨어 있었다. 패딩:0;위치:절대, 너비:1px}2⁄3. 사다리꼴 규칙은 (- )+ ( )=- y과 같은 주황색 점선의 적분을 반환한다 The 2-point Gaussian quadrature rule returns the integral of the black dashed curve, equal to . Such a result is exact, since the green region has the same area as the sum of the red regi온스
수치 분석에서, 4차 규칙은 함수의 한정된 적분의 근사치로, 일반적으로 통합 영역 내의 지정된 지점에서 함수 값의 가중 합으로 언급된다. (자세한 내용은 숫자 통합을 참조하십시오. 칼 프리드리히 가우스의 이름을 딴 n-point 가우스 사분법 규칙은 [1]2n - 1 이하의 다항식에 대해 i= 1, ...,n에 대한i 적절한 선택으로i 정확한 결과를 산출하기 위해 구성된 사분법 규칙이다. 직교 다항식을 사용하는 현대식 공식은 칼 구스타프 자코비 1826에 의해 개발되었다.[2] 그러한 규칙에 대한 통합의 가장 일반적인 도메인은 [-1, 1]로 간주되므로 규칙은 다음과 같이 명시된다.
2n - 1 이하의 다항식에 대해 정확하다. 이 정확한 규칙은 Gauss-Legendre 사분법 규칙으로 알려져 있다. 사분법 규칙은 [-1, 1]에서 f(x)가 2n - 1 이하의 다항식으로 잘 추정된 경우에만 위 적분법에 대한 정확한 근사치가 될 것이다.
Gauss-Legendre 사분법 규칙은 일반적으로 엔드포인트 특이치를 가진 통합 기능에 사용되지 않는다. 대신, 통합과 통합이 다음과 같이 기록될 수 있는 경우
여기서 g(x)는 낮은 수준의 다항식으로 잘 추정되며, 대체 노드 x 및 이(가) 있는 가중치는 일반적으로 보다 정확한 4각 규칙을 제공한다. 이런 것들은 가우스-자코비 사분법칙으로 알려져 있다.
위에서 언급된 가장 간단한 통합 문제의 경우 즉 f(x)는 [- ,에서 다항식으로 잘 추정되며 관련 직교 다항식은 Pn(x)로 표기된 범례 다항식이다. n번째 다항식이 Pn(1) = 1을 주기 위해 정규화된 상태에서 i번째 가우스 노드, x는in P의 i번째 루트가 되며 가중치는 공식(Abramowitz & Stegun 1972, p.87) harv 오류: 대상 없음: CITREFAbramowitzStegun72 (도움말)
일부 저차 4차 규칙은 아래에 표로 표시된다(전체 구간 [-1, 1], 다른 구간은 아래 절을 참조하십시오).
점 수, n
점i, x
무게i, w
1
0
2
2
±0.57735...
1
3
0
0.888889...
±0.774597...
0.555556...
4
±0.339981...
0.652145...
±0.861136...
0.347855...
5
0
0.568889...
±0.538469...
0.478629...
±0.90618...
0.236927...
간격 변경
[a,b] 이상의 적분은 가우스 사분법 규칙을 적용하기 전에 [-1, 1] 이상의 적분으로 변경해야 한다. 이러한 간격의 변경은 다음과 같은 방법으로 수행할 수 있다.
= - {
지점 가우스 사분법, ) 규칙을 적용하면 다음과 같은 근사치가 발생한다.
2점 가우스 4차 규칙 예제
2점 가우스 사분법 규칙을 사용하여 =에서= 까지 로켓에 의해 덮인 미터 단위의 거리를 대략적으로 측정한다.
표 1에 제시된 가중치와 가위표를 사용할 수 있도록 한계를 변경한다. 또한 절대적 상대적 참 오차를 찾으십시오. 참값은 11061로 주어진다.34m
해결책
먼저 통합의 한계를[, ] 에서[- , 1이(가) 제공하는 [ - 1,\right]로 변경하십시오.
다음으로 표 1의 2점 규칙에 대한 가중 요소와 함수 인수 값을 구한다.
이제 우리는 Gauss 사분법 공식을 사용할 수 있다.
그 이후
참 값이 절대 상대 참 오류인 11061.34m임을 감안할 때 given }\}은는)
기타 양식
통합 문제는 Ω 양의 중량 함수를 통합에 도입하고 [-1, 1] 이외의 간격을 허용함으로써 약간 더 일반적인 방법으로 표현할 수 있다. 즉, 문제는 계산하는 것이다.
a, b, Ω의 일부 선택. a= -1, b= 1, Ω(x) = 1의 경우 문제는 위에서 고려한 것과 동일하다. 다른 선택은 다른 통합 규칙으로 이어진다. 이것들 중 일부는 아래에 표로 되어 있다. 등식 번호는 아브라모위츠와 스테건(A&S)에 주어진다.
각 p는nj≠n에 대해 다른 다항식j p와 직교하도록 구성되고 x는k 해당 집합의 범위에 있으므로 위의 모든 직교 다항식에도 이 값이 적용된다.
n개 노드 x를ip의n 0으로 선택하면 2n - 1 이하의 모든 다항식 h(x)에 대해 Gauss-quadrature 계산 적분을 정확하게 만드는 n개의i 가중치가 존재한다. 또한 이러한 모든 노드 x는i 개방 간격(a,b)에 위치한다(Stoer & Bulirsch 2002, 페이지 172–175).
이 주장의 첫 번째 부분을 증명하려면 h(x)를 2n - 1 이하의 다항식이 되도록 한다. 직교 다항식 p로n 나누면
여기서 q(x)는 n- 1 이하(divisor p의n 정도와 divisor p의 값의 합계가 배당금의 합계와 같아야 하기 때문)의 몫이고, r(x)는 n - 1 이하(divisor의 정도가 항상 divisor의 몫보다 작기 때문에)의 몫이다. p는nn보다 작은 모든 단수들에 직교한다고 가정하기 때문에 q(x)의 몫에 직교해야 한다. 그러므로
나머지 r(x)은 n- 1 이하이므로, lagrange 다항식li(x)로 보간점을 사용하여 정확히 보간할 수 있다.
우리는 가지고 있다.
그러면 그것의 적분은 같을 것이다.
여기서i, xi 노드와 관련된 중량은 li(x)의 가중 적분과 같도록 정의된다(중량에 대한 다른 공식은 아래 참조). 그러나 x는i 모두 p의n 뿌리여서 위의 나누기 공식은 다음과 같은 것을 말해준다.
나로서는 그래서 우리는 마침내 갖게 되었다.
이는 2n - 1 이하의 모든 다항식 h(x)에 대해 그 적분은 가우스 4차 합계에 의해 정확히 주어진다는 것을 증명한다.
청구서의 두 번째 부분을 입증하려면 다항식 p의n 인수 형식을 고려한다. 어떤 복잡한 결합 뿌리는 전체 실선에 대해 엄격히 긍정적이거나 엄격히 부정적인 2차 인자를 산출할 것이다. a에서 b까지의 구간을 벗어난 루트에 대한 어떤 요인도 그 구간에서 부호를 변경하지 않을 것이다. 마지막으로, a에서 b까지의 간격 내에 기형적인 x에i 해당하는 인자의 경우, p에n 1개의 인자를 더 곱하여 새로운 다항식을 만든다.
이 다항식은 현재 모든 뿌리가 고른 다항성을 가지고 있기 때문에 a에서 b까지의 간격에 걸쳐 부호를 변경할 수 없다. 그래서 일체형
중량 함수 Ω(x)은 항상 음수가 아니므로 그러나p는n n-1 이하의 모든 다항식과 직교하므로 제품의 정도
적어도 n은 되어야 한다. 그러므로 p는na에서 b까지의 간격에 모두 진짜인 뚜렷한 뿌리를 가지고 있지 않다.
가중치에 대한 일반 공식
가중치는 다음과 같이 표현할 수 있다.
(1)
여기서 는 ( x 의 x x의 계수임 이를 입증하기 위해 Lagrange 보간법을 하면 r를다음과 같이 나타낼 수 있다는 점에 유의하십시오.
왜냐하면 r(x)은 n보다 작은 정도를 가지며, 따라서 n개의 다른 지점에서 얻는 값에 의해 고정되기 때문이다. 양쪽에 Ω(x)을 곱하고 a에서 b로 통합
따라서 w는i 다음과 같이 주어진다.
에 대한 이 통합 표현은 다음과 같이 직교 다항식 n( x) 및- ( ) 의 단위로 표현할 수 있다.
우리는 쓸 수 있다.
여기서 은(는) p 의 x n displaystyle 의 계수임의 한도를 i 에 적용함. L'Hepitale를 사용하여 산출량
따라서 우리는 다음과 같이 가중치에 대한 일체적 표현을 쓸 수 있다.
(2)
통합 및 쓰기
수확하다
을(를) 제공했다
( x ) {\에 직교하는 k - 1의 다항식이다 따라서, q(x)가 최대 n번째 수준의 다항식이라면, 우리는 다음과 같이 한다.
우측에 있는( ) = p - 1( ) )=에 대한 적분을 다음과 같이 평가할 수 있다. ( ) -은(는) n - 1의 다항식이기 때문에 다음과 같다.
여기서 s(x)는 - 2 의 다항식이다s(x)는 n- 1( ) 과 직교하기 때문에 우리는 다음과 같이 한다.
그러면 우리는 쓸 수 있다.
괄호 안의 용어는 n- 의 다항식이며 따라서 - ( x) 에 직교한다 따라서 적분은 다음과 같이 기록될 수 있다.
등식 (2)에 따라 이를 n′ ( ) 로 나누어 가중치를 구하며, 이 가중치는 등식 (1)로 식을 산출한다.
can also be expressed in terms of the orthogonal polynomials and now . In the 3-term recurrence relation the term with vanishes, so in Eq. (1) can be replaced by .
가중치가 양수라는 증거
다음 다항식의 - 을(를) 고려하십시오.
여기서, 와 같이 x는j 다항식 ( x) 의 루트 f( )= f 의 정도가 - 1 보다 작기 때문에 ) 에서 얻은 가중치와 노드를 포함하는 가우스 4차 공식이 적용된다 j에 ( )= 0 가 i와 같지 않기 때문에, 우리는 다음과 같은 결과를 얻었다.
) 및 모두 음이 함수가므로 w i >을 따른다.
가우스 사분법 규칙 계산
가우스 사분법 규칙의 노드 x와i가중치를i 계산하는 알고리즘은 많다. 가장 인기 있는 것은 O(n2) 연산이 필요한 골루브-웰슈 알고리즘,O(n2) 연산이 필요한 평가에 3개월의 재발을이용한 뉴턴의 = 0 해결 방법, O(n) 연산이 필요한 대형 n에 대한 점증식이다.
재발관계
Orthogonal polynomials with for for a scalar product , degree and leading coefficient one (i.e. monic orthogonal polynomials) 재발 관계를 만족한다.
및 스칼라 제품 정의
for where n is the maximal degree which can be taken to be infinity, and where . First of all, the polynomials defined by th)= 1 으로 시작하는 e 반복 관계는 선행 계수 1과 올바른 정도를 갖는다. 에 의한 시작점을 부여하면 r 의 직교성을 유도로 나타낼 수 있다= = 의 경우
이제 , 1,… ,이 직교라면, + {\displaystyle p_{r+1}, 그 다음에도 p + 1 그 이유는 다음과 같다
첫 스칼라 제품 p{\가 동일한 직교 다항식을 만나는 제품을 제외하고 모든 스칼라 제품이 사라진다. 그러므로
그러나 스칼라 제품이(, g)=( , ) 가우스 사분법의 경우)를 만족하면 재발 관계는 3개월의 재발 관계로 감소한다. < - , 는r- 1.보다 작거나 같은 수준의 다항식이다. 반면에 는 r - 1보다 작거나 같은 수준의 모든 다항식과 직교한다. 따라서 s< r- 1에 대해( x , s)= (, s)=0 (xp_{r},}, = 이 있다. 그런 다음 다음과 같은 반복 관계를 단순화하십시오.
또는
(- 1( x ) 0{\ 0 여기서
(the last because of , since differs from by a degree less than r).
골럽-웰슈 알고리즘
The three-term recurrence relation can be written in matrix form where 0}일 경우())&, p_ᆬ())&, \ldots, p_ᆭ())\end{bmatrix}}^{\mathsf{T}}&},나 n{\displaystyle \mathbf{e}_{n}}은 n{n\displaystyle}을 표준 기준 벡터, 즉, enx[0 달려가서 01]T{\displaystyle \mathbf{e}_{n}={\begin{bmatrix}0&, \ldots &, 0&, 1\end{bmatrix}}^{\mathsf{T}}.},, J는so-cal 있다.납 자코비 행렬:
가우스 사분법의 노드로 사용되는 n도까지의 다항식의 j 는 이 3각형 행렬의 고유값을 계산하여 찾을 수 있다. 이 절차는 골럽-웰슈 알고리즘으로 알려져 있다.
가중치와 노드를 계산하려면 요소가 있는 대칭 3각형 J 을(를) 고려하는 것이 바람직하다.
J와 은(는) 행렬이 비슷하므로 동일한 고유값(노드)을 갖는다. 가중치는 해당 고유 벡터로 계산할 수 있다. (이 고유값j x와 연관된 정규화된 고유벡터(즉, 유클리드 규범이 1과 동일한 고유벡터)인 경우, 해당 중량은 이 고유벡터의 첫 번째 성분, 즉 다음과 같이 계산할 수 있다.
스토어와 Bulirsch는 이 오류 추정치는 주문 2n 파생상품의 추정이 어려울 수 있고 나아가 실제 오류는 파생상품에 의해 설정된 한계보다 훨씬 적을 수 있기 때문에 실무상 불편하다고 말한다. 또 다른 접근방식은 순서가 다른 두 가지 가우스 사분법 규칙을 사용하고, 두 결과의 차이로 오차를 추정하는 것이다. 이를 위해 가우스-크론로드 사분법 규칙이 유용할 수 있다.
간격 [a,b]을 세분화하면, 새로운 하위절차의 Gauss 평가 지점은 이전의 평가 지점(홀수 번호의 경우 0 제외)과 절대 일치하지 않으므로, 통합은 모든 지점에서 평가되어야 한다. Gauss-Kronrod 규칙은 결과 규칙이 순서가 2n + 1인 방식으로 n 포인트 규칙에 n + 1 포인트를 추가함으로써 생성된 Gauss 4차 규칙의 확장이다. 이를 통해 저차 추정치의 함수 값을 재사용하면서 고차 추정치를 계산할 수 있다. 가우스 사분법 규칙과 그 크론로드 확장자 사이의 차이는 근사 오차의 추정치로 종종 사용된다.
가우스-로바토 규칙
로바토 사분법(Abramowitz & Stegun 1972, 페이지 888)이라고도 알려져 있는 harv error: no target: CITREFABramowitzStegun1972 (도움말)은 네덜란드의 수학자 르후엘 로바토의 이름을 딴 것이다. 다음과 같은 차이가 있는 가우스 사분법과 유사하다.
Gautschi, Walter (1970). "On the construction of Gaussian quadrature rules from modified moments". Math. Comp. Vol. 24. pp. 245–260. doi:10.1090/S0025-5718-1970-0285117-6. MR0285177.
Piessens, R. (1971). "Gaussian quadrature formulas for the numerical integration of Bromwich's integral and the inversion of the laplace transform". J. Eng. Math. Vol. 5, no. 1. pp. 1–9. Bibcode:1971JEnMa...5....1P. doi:10.1007/BF01535429.
Danloy, Bernard (1973). "Numerical construction of Gaussian quadrature formulas for and ". Math. Comp. Vol. 27, no. 124. pp. 861–869. doi:10.1090/S0025-5718-1973-0331730-X. MR0331730.
Riener, Cordian; Schweighofer, Markus (2018). "Optimization approaches to quadrature: New characterizations of Gaussian quadrature on the line and quadrature with few nodes on plane algebraic curves, on the plane and in higher dimensions". Journal of Complexity. 45: 22–54. arXiv:1607.08404. doi:10.1016/j.jco.2017.10.002.
Stoer, Josef; Bulirsch, Roland (2002), Introduction to Numerical Analysis (3rd ed.), Springer, ISBN978-0-387-95452-3.
Walter Gautschi: "A Software Repository for Gaussian Quadratures and Christoffel Functions," SIAM, ISBN978-1-611976-34-2(2020).
특정
^근사치 당 methus nova integrium valores per inveniendi. 수신: 통신. Soc. Sci. 괴팅겐 수학. 밴드 3, 1815, S. 29–76, 갈리카, 데이티어트 1814, 베르케, 밴드 3, 1876, S. 163–196.
^C. G. J. 자코비: 우에베르 고우의 뉴 메소데, 다이하 베르테 데르 앙탈레 나헤룽스웨이즈 주 finden.인: Journal Für Reine und Angelwandte Mathik. 밴드 1, 1826, S. 301–308, (온라인), 언드 베르케, 밴드 6