[논문 리뷰] Riemann Integration in the Euclidean Space

Akerele Olofin Segun|arXiv (Cornell University)|2024. 03. 21.

Mathematics and Applications인용 수 4

한 줄 요약

이 논문은 리만 적분을 1차원에서 n차원 유클리드 공간으로 엄밀하게 확장하는 것을 제안한다. 다르부 상적분과 하적분을 사용하여, 분할, 상합과 하합, 정(finial) 및 적분 가능성 기준과 같은 기초 개념을 수립하고, ℝⁿ에서 다르부 적분과 리만 적분이 동치임을 보이며, 리만 합을 통한 정적분의 평가 응용을 포함한다.

ABSTRACT

The so-called Riemann sums have their origin in the efforts of Greek mathematicians to find the center of gravity or the volume of a solid body. These researches led to the method of exhaustion, discovered by Archimedes and described using modern ideas by MacLaurin in his extit{Treatise of Fluxions} in 1742. At this times the sums were only a practical method for computing an area under a curve, and the existence of this area was considered geometrically obvious. The method of exhaustion consists in almost covering the space enclosed by the curve with $n$ geometric objects with well-known areas such as rectangles or triangles, and finding the limit (though this topic was very blurry at these early times) when $n$ increases. One of its most remarkable application is squaring the area $\mathcal{A}$ enclosed by a parabola and a line.

연구 동기 및 목표

• 클래식한 리만 적분을 ℝ에서 ℝⁿ으로 다르부 접근법을 사용하여 확장하는 것.
• 고차원에서 상적분과 하적분의 개념을 체계화하는 것.
• ℝⁿ에서 다르부 적분 가능성과 리만 적분 가능성의 동치성을 확립하는 것.
• 구체적인 예를 들어 리만 합이 정적분 평가에 어떻게 활용될 수 있는지 보여주는 것.
• 다차원 유클리드 공간에서 리만 적분을 이해하기 위한 체계적인 프레임워크를 제공하는 것.

제안 방법

• 유계 구간의 분할을 정의하여 ℝⁿ에서의 도메인을 부분구간으로 나누는 유한한 점들의 집합으로 간주한다.
• 부분구간에서 함수의 상한과 하한을 사용하여 상다르부 합과 하다르부 합을 도입한다.
• 분할의 정을 통해 하합은 증가하고 상합은 감소함을 증명한다.
• 모든 분할에 대한 상합의 하한으로 상리만 적분을, 하합의 상한으로 하리만 적분을 정의한다.
• 모든 유계 함수에 대해 하적분이 항상 상적분보다 작거나 같음을 증명한다.
• 압착정리와 텔레스코프 급수를 사용하여 리만 합의 극한을 평가하고, 이를 정적분과 연결한다.

실험 결과

연구 질문

• RQ1 다르부 접근법을 ℝ에서 ℝⁿ으로 일반화할 수 있는 방법은 무엇인가?
• RQ2 고차원에서 상다르부 적분과 하다르부 적분이 일치하기 위한 조건은 무엇인가?
• RQ3 분할의 정이 상합과 하합의 수렴에 어떤 영향을 미치는가?
• RQ4 리만 합은 다중 차원에서 정적분을 평가하는 데 어떻게 활용될 수 있는가?
• RQ5 ℝⁿ에서 리만 합의 극한과 정적분의 값 사이의 관계는 무엇인가?

주요 결과

• ℝⁿ의 닫힌 구간에서 정의된 임의의 유계 함수에 대해 하다르부 적분은 항상 상다르부 적분보다 작거나 같다.
• 다르부 적분이 존재하는 것은 상적분과 하적분이 일치할 때이며, 이는 리만 적분 가능성과 동치이다.
• f(x) = x²에 대해 [2,5]에서 리만 합의 극한은 ∫₂⁵ x² dx = 39로 수렴한다.
• n→∞일 때, ∑(b−a)/n ⋅ (a + k(b−a)/n)⁻²의 극한은 ∫ₐᵇ x⁻² dx = 1/a − 1/b와 같다.
• 브로스타인 적분 ∫₀^π log(a² + b² − 2ab cos x) dx는 b > a일 때 2π log(max{a,b})로 평가된다.
• 브로스타인 적분의 평가는 복소수 인수분해와 삼각함수 항의 곱의 극한에 기반하며, c = b/a > 1일 때 π log(c²)를 도출한다.