[論文レビュー] Riemann Integration in the Euclidean Space

Akerele Olofin Segun|arXiv (Cornell University)|Mar 21, 2024

Mathematics and Applications被引用数 4

ひとこと要約

本稿では、リーマン積分を1次元からn次元ユークリッド空間へ厳密に拡張する。ダーブォー上積分と下積分を用い、分割、上積和・下積和、細分、可積分性の基準といった基礎的概念を確立し、ℝⁿにおけるダーブォー積分とリーマン積分の同値性に至る。また、リーマン和による定積分の評価への応用も示す。

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}) に評価される。
• ブラウンシュタイン積分の評価は、複素数の因数分解と三角関数項の積の極限に依存し、π log(c²) に至る。ここで c = b/a > 1 である。