[논문 리뷰] Riemann integration via primitives for a new proof to the change of variable theorem

Rodrigo López Pouso|arXiv (Cornell University)|2011. 05. 30.

Black Holes and Theoretical Physics참고 문헌 13인용 수 4

한 줄 요약

이 논문은 미분 가능성 조건 없이 적분을 재정의하는 일반화된 원시함수를 통해 리만 적분에서 변수변환 정리의 더 명확한 증명을 제시한다. 주요 기여는 케스텔만의 정리를 증명하는 데 간소화된 새로운 적분 가능성 기준을 제안한 것으로, $ f $ 가 $ G(I) $ 에서 리만 적분 가능할 것임을 보장하는 조건과 $ f \circ G \cdot g $ 가 $[a,b]$ 에서 리만 적분 가능할 것임을 보장하는 조건이 동치임을 증명한다. 여기서 $ G(t) = c + \int_a^t g(s)\,ds $ 이며, 유계성 조건을 가정한다.

ABSTRACT

We approach the Riemann integral via generalized primitives to give a new proof for a general result on change of variable originally proven by Kestelman and Davies. Our proof is similar to Kestelman's, but we hope readers will find it clearer thanks to the use of a new test for the Riemann integrability (which we introduce in this paper) along with some ingredients from some other more recent proofs available in the literature. We also include a bibliographical review of related results and proofs. Although this paper emphasizes in the change of variable theorem, our contributions to the Riemann integration theory are of independent interest. For instance, we present a very simple proof to the fact that continuous functions are integrable which avoids the use of uniform continuity.

연구 동기 및 목표

• 케스텔만과 데이비스가 확립한 일반적인 경우를 포함해 리만 적분에서 변수변환 정리를 더 명확하고 접근하기 쉽게 증명하는 것.
• 균일연속성이나 측도론적 개념에 의존하지 않는 일반화된 원시함수를 기반으로 한 리만 적분 가능성의 새로운 검증 기준을 제안하는 것.
• 최근 문헌의 통찰을 활용하면서도 리만 프레임워크 내에서 철저한 엄밀성을 유지하여 기존 증명을 통합하고 명확화하는 것.
• 유계성 조건 하에서 $ f \circ G \cdot g $ 의 적분 가능성과 $ f $ 의 적분 가능성 상호 간의 동치성을 보여주는 것. 이는 일반적으로 르베그 적분에서는 성립하지 않는 결과이다.
• 고급 학부 및 대학원 수준의 수업에 적합한 자가 포함된, 교육적으로 개선된 변수변환 공식의 처리 방식을 제공하는 것.

제안 방법

• 일반화된 원시함수를 정의한다: 하한 및 상한 부정적분인 $ F_*(x) = \underline{\int_a^x} f(y)\,dy $ 와 $ F^*(x) = \overline{\int_a^x} f(y)\,dy $ 를 정의하며, 이들은 도함수의 경계와 유사한 차이 부등식을 만족한다.
• 합성함수 $ t \mapsto \int_{G(a)}^{G(t)} f(x)\,dx $ 가 $ f \circ G \cdot g $ 의 일반화된 원시함수로 작용함을 이용하여, 고전적 미분 가능성 조건 없이 치환적분의 추론이 가능하다.
• 새로운 적분 가능성 기준을 적용한다: 어떤 구간에서 상한과 하한 일반화된 원시함수 간의 차이가 임의로 작게 만들 수 있다면, 그 함수는 리만 적분 가능하다.
• 두 번째 미적분학 기본정리를 $ G(t) = c + \int_a^t g(s)\,ds $ 의 형태로 활용하여 $ G $ 가 절대연속이고 $ g $ 가 적분 가능하다는 것을 보장한다.
• 리만 적분 가능성의 동치성, 즉 $ f $ 가 $ G(I) $ 에서 적분 가능할 것임과 $ f \circ G \cdot g $ 가 $[a,b]$ 에서 적분 가능할 것임이 동치임을 증명함으로써 변수변환 공식을 일반화된 원시함수를 통해 증명한다.
• 측도론적 도구(예: 영집합)를 회피하고 오직 리만 적분 이론과 다르부 합에 대한 기본 추정만을 사용한다.

실험 결과

연구 질문

• RQ1 일반화된 원시함수를 통한 적분 재정의를 통해 리만 적분에서 변수변환 정리를 더 명확하게 증명할 수 있는가?
• RQ2 일반화된 원시함수를 기반으로 한 새로운 적분 가능성 기준이 균일연속성을 도입하지 않고 케스텔만의 정리를 증명하는 데 간소화할 수 있는가?
• RQ3 유계성 조건 하에서 $ f \circ G \cdot g $ 의 적분 가능성과 $ f $ 의 적분 가능성 간의 상호 관계는 어느 정도 성립하는가?
• RQ4 명확성과 적용 가능성 측면에서 일반화된 원시함수 접근 방식은 고전적 원시함수 기반 증명과 어떻게 비교되는가?
• RQ5 측도론적 개념을 배제하면서도 전체 일반성 유지가 가능한 기초적이고 자가 포함된 증명을 만들 수 있는가?

주요 결과

• 일반화된 원시함수의 진동을 기반으로 한 새로운 리만 적분 가능성 테스트를 제안하여, 균일연속성의 사용 없이도 더 깔끔한 적분 가능성 증명이 가능하다.
• 논문은 $ f $ 가 $ G(I) $ 에서 리만 적분 가능할 조건과 $ f \circ G \cdot g $ 가 $[a,b]$ 에서 리만 적분 가능할 조건이 동치임을 증명한다. 이는 $ f $ 가 $ G(I) $ 에서 유계일 때 성립하며, 케스텔만과 프라이스-우허의 결과를 일반화한다.
• 변수변환 공식 $ \int_{G(a)}^{G(b)} f(x)\,dx = \int_a^b f(G(t))g(t)\,dt $ 는 정리 1.3의 일반화된 조건 하에서 성립하며, 측도론적 개념을 회피한 증명을 제공한다.
• 이전의 증명들, 특히 케스텔만의 영집합을 포함한 복잡한 증명과 데이비스의 기초적이지만 복잡한 추론에 비해 더 단순하고 투명하다.
• 이 방법은 $ G $ 가 거의 어디서나 미분 가능하지 않더라도, 적분 가능성 검증과 치환적분 계산을 구체적으로 수행할 수 있도록 한다.
• 이 프레임워크는 리만 적분에서 $ f \circ G \cdot g $ 의 적분 가능성은 $ f $ 의 적분 가능성으로 이어질 수 있음을 강조한다. 이는 일반적으로 르베그 적분에서는 성립하지 않으며, 이 경우 리만 적분의 맥락에서 더 정보적인 특성을 지닌다.