[논문 리뷰] Ralph Henstock's Lectures on the Theory of Integration

Ralph Henstock, Pat Muldowney|arXiv (Cornell University)|2015. 12. 15.

Mathematical and Theoretical Analysis참고 문헌 3인용 수 3

한 줄 요약

이 논문은 1970–71년 랄프 헨스토크의 적분 이론 강의를 다루며, 유클리드 공간에서의 리만완전(게이지) 적분을 중심으로 하되, 이를 추상적 적분 이론으로 확장한다. 실수 함수에 대해 리만 적분과 다르부 적분의 동치성을 확립하고, 절대 적분 가능하지 않은 도함수를 다룰 때 고전적 적분의 한계를 탐색하며, 헨스토크–쿠르츠바일 적분의 기초를 다지고, 위너 및 파인만 적분과 같은 일반화된 적분에의 응용을 제시한다.

ABSTRACT

These are the class notes of lectures given by Ralph Henstock at the New University of Ulster in 1970-71. The notes deal with the Riemann-complete integral (also known as the generalized Riemann integral, the gauge integral, and the Henstock-Kurzweil integral). They also introduce Henstock's abstract theory of integration.

연구 동기 및 목표

• R^\mathbb{R}^n에서의 리만완전(게이지) 적분 이론을 명확히 하고 체계화하여 이전의 작업들보다 더 명확한 서술을 제공한다.
• 실수 함수에 대해 리만 적분과 다르부 적분의 동치성을 확립함으로써 기초적 일致성을 강화한다.
• 리만 적분을 넘어서, 유계가 아닌 변동성 또는 절대 적분 가능하지 않은 도함수를 가진 함수를 다룰 수 있도록 적분 프레임워크를 확장한다. 이는 미적분학 및 미분방정식에서 나타나는 함수들에 해당한다.
• 위너 및 파인만 적분과 같은 일반화된 적분에 적용 가능한 추상적 적분 이론(헨스토크 적분)을 개발한다. 이는 푸비니 유사 정리에서의 과제에도 불구하고 가능하다.
• 특히 일반화된 적분기에서, 적분의 극한이 적분의 극한과 일치하는지 여부를 고려하여, 극한 정리의 적용 가능성을 조사한다.

제안 방법

• 브릭 I의 분할 \mathcal{D}에 대해 리만 합 R(f;\mathcal{D}) = \sum f(P)\mu(J)를 사용하며, \|\mathcal{D}\| \to 0 일 때의 극한으로 리만 적분을 정의한다.
• 다르부 합 S(f;\mathcal{D}) = \sum M(f;J)\mu(J) 및 s(f;\mathcal{D}) = \sum m(f;J)\mu(J)를 적용하며, 여기서 M(f;J)와 m(f;J)는 f가 J에 대해 각각 상한과 하한이다. 이를 통해 다르부 적분을 정의한다.
• 상한과 하한 합이 동일한 극한 r로 수렴할 경우, 리만 합 R(f;\mathcal{D})도 역시 r로 수렴함을 보여, 리만 적분과 다르부 적분의 동치성을 증명한다. 이는 쌓여가는 정리(squeeze theorem)를 적용한 것이다.
• 변동적으로 동치인 적분기 개념을 도입하며, 연속적이고 양수인 적분기의 경우, p(x_1,\ldots,x_n;C)\Delta x_1\cdots\Delta x_n 형태의 표현이 P(I)로 대체될 수 있음을 보여준다.
• 위너 밀도 함수 w(x_1,\ldots,x_n;C)의 연속성과 양수성 조건을 적용하여, 적분기의 값과 근접한 이웃 영역을 구성함으로써, 리만 합을 통한 근사가 가능하게 한다.
• 파인만 적분기의 경우 |p| = \pi^{-n/2} s^{-1}를 고려하며, 특정 조건 하에서 작은 측도를 가진 집합에서 적분기의 변동성이 0으로 수렴함을 보여, 함수 수열의 거의 everywhere 수렴을 암시한다.

실험 결과

연구 질문

• RQ1 실수 함수에 대해 리만 적분과 다르부 적분이 동치가 되는 조건은 무엇인가?
• RQ2 리만완전 적분은 르베그 적분 가능하지 않은 함수, 예를 들어 유계가 아닌 변동성을 가진 함수의 도함수를 적분할 수 있는가?
• RQ3 추상적 헨스토크 적분 프레임워크는 위너 및 파인만 적분과 같은 일반화된 적분에 어느 정도 적용될 수 있는가?
• RQ4 파인만 적분기의 맥락에서, 적분의 극한이 극한의 적분과 일치하는지 여부를 고려한 극한 정리가 헨스토크 적분에 대해 성립하는가?
• RQ5 왜 푸비니 정리는 위너 적분기의 경우 실패하는가? 그러나 실질적으로는 여전히 의미 있는 방식으로 적용될 수 있는가?

주요 결과

• 리만 적분과 다르부 적분은 상한 및 하한 합에 쌓여가는 정리를 적용함으로써 실수 함수에 대해 동치임을 입증한다.
• 리만 적분은 유계 함수에 대해서만 존재한다. 비유계일 경우 다르부 합이 정의되지 않기 때문이다.
• 미적분학적 적분(역도함수 기반)은 도함수가 리만 또는 르베그 적분 가능하지 않은 함수, 예를 들어 [0,1]에서 F'(x) = x^{-1/2}인 경우, F(x) = 2x^{1/2}인 함수를 적분할 수 있다.
• 위너 적분기 w(x_1,\ldots,x_n;C)는 연속적이고 양수이므로, 적분기의 값과 근접한 이웃 영역을 구성할 수 있으며, 이는 적분기의 변동적 동치성을 가능하게 한다.
• 파인만 적분기는 VBG* 조건을 만족하지 않지만, 여전히 \sin 및 \cos과 같은 '매우 좋은' 함수들에 대해 이론이 적용 가능하며, 실질적으로 극한 정리도 적용 가능하다.
• 수열 F_m \to F에 대해, (F_m - F)p\Delta x_1\cdots\Delta x_n의 작은 집합에서의 변동성이 0으로 수렴하면, F_m = F 거의 모든 곳에서 성립하며, 이는 헨스토크 의미에서의 수렴을 뒷받침한다.