[논문 리뷰] Two point Gauss-Legendre Quadrature Rule for Riemann-Stieltjes integrals

Mohammad W. Alomari|arXiv (Cornell University)|2014. 02. 20.

Mathematical Inequalities and Applications참고 문헌 16인용 수 3

한 줄 요약

이 논문은 Riemann-Stieltjes 적분 ∫₋₁¹ f(t) dg(t)를 근사하기 위해 두 점의 가우스-레지온드르 구적법을 제안한다. 이는 근사치로 ±√3/3에서의 가중합을 사용한다. g(−1), g(1), 및 ∫₋₁¹ g(t) dt에 대한 A와 B의 명시적 공식을 유도하고, 리프시츠 연속성과 L₂ 도함수 등의 다양한 부드러움 조건 하에서 날카로운 오차 한계를 확립한다.

ABSTRACT

In order to approximate the Riemann--Stieltjes integral $\int_a^b {f\left( t ight)dg\left( t ight)}$ by $2$--point Gaussian quadrature rule, we introduce the quadrature rule \begin{align*} \int_{ - 1}^1 {f\left( t ight)dg\left( t ight)} \approx A f\left( { - \frac{\sqrt 3 }{3}} ight) + B f\left( {\frac{\sqrt 3 }{3}} ight), \end{align*} for suitable choice of $A$ and $B$. Error estimates for this approximation under various assumptions for the functions involved are provided as well.

연구 동기 및 목표

• 표준 리만 적분보다 덜 연구된 리만-스틸티제스 적분을 위해 특화된 두 점의 가우스-레지온드르 구적법을 개발하는 것.
• 적분자 g(t)가 항등함수일 필요가 없는 더 일반적인 리만-스틸티제스 설정으로 고전적인 가우스 구적법 기법을 확장하는 것.
• 구적법의 가중치 A와 B를 구간 [−1,1]의 끝점에서의 g 및 g의 적분에 대한 명시적 표현을 유도하는 것.
• 리프시츠 연속성과 L₂ 도함수를 포함한 f와 g에 대한 다양한 정규성 조건 하에서 구적법의 날카로운 오차 추정치를 제공하는 것.
• 특히 페아노 커널과 공분산 유형의 경계를 사용하는 현대적인 부등식 기반 오차 분석을 활용하여 리만-스틸티제스 적분의 수치적 방법에 격차를 메우는 것.

제안 방법

• 다항식의 차수 ≤1에 대해 정확성이 보장되도록 구적법을 구성하여, f(t) = 1과 f(t) = t를 대입함으로써 근사식 ∫₋₁¹ f(t) dg(t) ≈ A f(−√3/3) + B f(√3/3)에 대한 연립방정식을 도출한다.
• 가중치 A와 B의 명시적 공식은 A = (3/(2√3)) [∫₋₁¹ g(t) dt − ((3−√3)/3)g(1) − ((√3+3)/3)g(−1)] 및 B = (3/(2√3)) [((3+√3)/3)g(1) + ((3−√3)/3)g(−1) − ∫₋₁¹ g(t) dt] 로 유도된다.
• 오차 분석은 페아노 커널 표현과 공분산 유형의 부등식을 사용하여 수행되며, 특히 기능 T(h,h) = (1/2)‖h‖₂² − (1/4)(∫₋₁¹ h(t) dt)²를 활용한다.
• 오차 기능에 코시-슈바르츠 부등식을 적용함으로써 오차 경계를 유도하고, σ(f)와 σ(g′)에 대한 경계를 도출한다. 여기서 σ(h) = 2T(h,h)이다.
• 리프시츠 연속성, L₂ 도함수, 유계 변동성 등의 다양한 부드러움 조건 하에서 검증되며, 각 경우에 대해 별개의 오차 추정치를 도출한다.
• 이론적 결과는 g(t) = t일 경우(표준 가우스-레지온드르로 축소됨) 및 단조 증가하는 적분자에 대해 절대값 및 헬더 유형의 부등식을 사용하여 일반화된다.

실험 결과

연구 질문

• RQ1 표준 리만 적분에서부터 임의의 적분자 g(t)를 가진 리만-스틸티제스 적분으로 두 점의 가우스-레지온드르 구적법을 어떻게 일반화할 수 있는가?
• RQ2 리만-스틸티제스 설정에서 g(−1), g(1), 및 ∫₋₁¹ g(t) dt에 대해 구적법의 가중치 A와 B에 대한 명시적 공식은 무엇인가?
• RQ3 f와 g가 모두 리프시츠 연속적이거나 L₂(−1,1)에 도함수를 가지는 경우, 구적법의 날카로운 오차 경계는 무엇인가?
• RQ4 오차 추정치는 적분자 g와 피적분함수 f의 부드러움과 변동성에 따라 어떻게 달라지는가?
• RQ5 헬더 부등식이나 절대값 경계를 사용하여 오차 분석을 단조성 또는 유계 변동성 적분자로 확장할 수 있는가?

주요 결과

• 구적법 ∫₋₁¹ f(t) dg(t) ≈ A f(−√3/3) + B f(√3/3)는 모든 선형 함수 f(t) = 1 및 f(t) = t에 대해 정확하므로 정밀도 차수 1을 확보한다.
• 가중치 A와 B는 g(−1), g(1), 및 [−1,1]에서 g의 적분에 대해 명시적으로 주어지며, 임의의 적분자 g에 대해 계산 가능한 구적법임을 보장한다.
• f와 g가 모두 절대 연속적이며 f′, g′ ∈ L₂(−1,1)인 경우, 오차는 σ¹ᐟ²(f) · σ¹ᐟ²(g′)로 경계되며, 여기서 σ(h) = 2T(h,h)이고 T(h,h) = (1/2)‖h‖₂² − (1/4)(∫₋₁¹ h(t) dt)²이다.
• 리프시츠 연속성 상수 L_f와 L_g를 가질 경우, 오차는 (4/3)L_f L_g 이하로 경계되며, 이 경계는 날카로운 것이다.
• g(t) = t일 경우, 구적법은 표준 두 점 가우스-레지온드르 법으로 축소되며, 오차 경계는 |∫₋₁¹ f(t) dt − f(−√3/3) − f(√3/3)| ≤ (H_f / (r+1)) [((3−√3)/3)^(r+1) + ((3+√3)/3)^(r+1)] 가 된다. 여기서 H_f는 헬더 상수이다.
• 정리 4의 오차 경계는 날카로우며, 상수를 줄일 수 없으며, 이는 오차의 페아노 커널 표현에 코시-슈바르츠 부등식을 적용한 증명에 기반한다.