[논문 리뷰] Existence and computation of Riemann-Stieltjes integrals through Riemann integrals

Rodrigo López Pouso|arXiv (Cornell University)|2011. 07. 11.

Advanced Thermodynamics and Statistical Mechanics참고 문헌 3인용 수 3

한 줄 요약

이 논문은 유계 함수의 리만-스틸체스 적분의 존재성과 계산을 리만 적분을 통해 필수적이고 충분한 조건으로 설정한다. 이는 적분자 $ G $ 가 리만 적분 가능한 함수 $ g $ 의 부정적분이라면, $ f $ 가 $ G $ 에 대해 리만-스틸체스 적분 가능할 조건은 $ fg $ 가 리만 적분 가능할 때이며, 이 경우 리만-스틸체스 적분은 $ fg $ 의 리만 적분과 같다.

ABSTRACT

We study the existence of Riemann-Stieltjes integrals of bounded functions against a given integrator. We are also concerned with the possibility of computing the resulting integrals by means of related Riemann integrals. In particular, we present a new generalization to the well-known formula for continuous integrands and continuously differentiable integrators.

연구 동기 및 목표

• 주어진 적분자 $ G $ 에 대해 유계 함수의 리만-스틸체스 적분 존재성을 위한 필요 및 충분 조건을 설정하는 것.
• 연속 미분 가능한 $ G $ 를 넘어서 일반적인 적분자를 허용하는 고전적 공식 $ \int f\,dG = \int fG'\,dx $ 의 확장.
• 레베그 적분을 피하고 리만 적분 이론만을 사용하여 리만-스틸체스 적분을 계산하는 방법 제공.
• 적분자 $ f $ 가 유계이지만 반드시 리만 적분 가능하지 않은 경우를 다루어 이전 결과를 일반화하는 것.
• 리만 적분 가능 함수 $ g $ 의 부정적분인 $ G $ 인 경우 리만-스틸체스 적분과 리만 적분 간의 관계를 명확히 하는 것.

제안 방법

• 적분자 $ G(x) = c + \int_a^x g(y)\,dy $ 를 정의하며, 여기서 $ g $ 는 $[a,b]$ 에서 리만 적분 가능하다.
• 혼합 리만 합 추정법(보조정리 2.1)을 사용하여 리만-스틸체스 합과 $ fg $ 의 리만 적분 간의 차이를 근사한다.
• 리만 적분에 대한 정밀한 평균값 정리(정리 1.2)를 적용하여 부분구간에서 $ g $ 의 진동을 제어한다.
• 진동 한계를 이용하여 리만-스틸체스 합의 수렴성과 $ fg $ 의 리만 적분 가능성 간의 동치성을 확립한다.
• 필요성의 증명을 위해, $ f $ 가 $ G $ 에 대해 리만-스틸체스 적분 가능하다면 $ fg $ 는 반드시 리만 적분 가능해야 하며, 이는 노름 기반의 진동 추정을 통해 보인다.
• 리만-스틸체스 적분의 부분적분 공식을 활용하여 대칭적 적분 가능성 조건을 유도한다(보조정리 3.2).

실험 결과

연구 질문

• RQ1 유계 함수 $ f $ 가 부정리만 적분인 적분자 $ G $ 에 대해 리만-스틸체스 적분 가능할 조건은 무엇인가?
• RQ2 적분자 $ G(x) = c + \int_a^x g(y)\,dy $ 일 때, 리만-스틸체스 적분 $ \int_a^b f\,dG $ 는 리만 적분 $ \int_a^b fg\,dx $ 로 계산될 수 있는가?
• RQ3 리만-스틸체스 적분 가능성 $ f $ 가 $ G $ 에 대해 어떻게 $ fg $ 의 리만 적분 가능성과 관련이 있는가?
• RQ4 리만-스틸체스 적분이 리만 적분으로 줄어들게 하기 위해 $ G $ 와 $ f $ 가 갖추어야 할 최소한의 정규성 조건은 무엇인가?
• RQ5 만일 $ f $ 와 $ G $ 가 모두 리만 적분 가능 밀도로 정의된다면 대칭적 적분 가능성 조건을 유도할 수 있는가?

주요 결과

• 유계 함수 $ f $ 는 $ G(x) = c + \int_a^x g(y)\,dy $ 일 때, $ fg $ 가 $[a,b]$ 에서 리만 적분 가능할 조건과 동치로 리만-스틸체스 적분 가능하다.
• 조건이 성립할 경우 리만-스틸체스 적분은 $ \int_a^b f\,dG = \int_a^b fg\,dx $ 를 만족하며, 이는 리만 적분을 통해 직접 계산 가능하다.
• 증명 과정은 레베그 적분을 피하고 리만 적분 이론 내에서 완전히 유지되며, $ f $ 가 레베그 가측이 아닐 경우에도 성립한다.
• 고전적 공식 $ \int f\,dG = \int fG'\,dx $ 는 $ G' = g $ 가 연속적이지 않더라도 리만 적분 가능일 경우로 일반화된다.
• 필요성은 $ g $ 의 진동에 대한 노름 기반 추정을 통해 보이며, $ fg $ 의 적분 가능성 실패는 리만-스틸체스 적분 가능성 실패를 암시한다.
• 보조정리 3.2 는 대칭적 적분 가능성 조건을 설정한다: $ \alpha $ 와 $ \beta $ 가 리만 적분 가능하고, 둘 중 하나가 부정리만 적분이라면, $ \int \alpha\,d\beta $ 와 $ \int \beta\,d\alpha $ 는 모두 존재하며, 둘 다 $ fg $ 의 리만 적분과 같다.