[論文レビュー] Ralph Henstock's Lectures on the Theory of Integration

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

Mathematical and Theoretical Analysis参考文献 3被引用数 3

ひとこと要約

この論文は、リーマン完備（ゲージ）積分をユークリッド空間で扱い、抽象的積分理論へと拡張する1970–71年のヘンストックの講義を提示する。実数値関数に対してリーマン積分とダーブォー積分の同等性を確立し、絶対可積分でない導関数を扱う際の古典的積分の限界を検討し、ヘンストック＝カールツヴァイル積分の基礎的土台を築くとともに、ウィENER積分やファインマン積分といった一般化積分への応用を検討する。

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.

研究の動機と目的

• \(\mathbb{R}^n\) におけるリーマン完備（ゲージ）積分の理論を明確化・体系化し、以前の研究よりも明瞭な解説を提供すること。
• 実数値関数に対してリーマン積分とダーブォー積分の同等性を確立し、基礎的整合性を強化すること。
• リーマン積分の枠組みを超えて、有界変動でない関数や絶対可積分でない導関数を扱えるようにするための統合的枠組みを構築すること。
• 一般化積分（ウィナー積分やファインマン積分を含む）に適用可能な抽象的積分理論（ヘンストック積分）を発展させること。ただし、Fubini型定理の困難さを伴う。
• 極限定理（積分の極限と極限の積分が等しい）が一般化積分器の文脈で成立するかを検討すること。

提案手法

• 区間 \( 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(I) \) の代わりに \( p(x_1,\ldots,x_n;C)\Delta x_1\cdots\Delta x_n \) を用いることができる、と示す。
• ウィナー密度関数 \( w(x_1,\ldots,x_n;C) \) の連続性と正値性を応用し、被積分関数の値に一様に近い近傍を構成することで、リーマン和による近似が可能になる。
• ファインマン積分器を \( |p| = \pi^{-n/2} s^{-1} \) として取り扱い、特定の条件下で、小測度集合上での被積分関数の変動がゼロに近づくことを示し、関数列のほとんど everywhere での収束を示唆する。

実験結果

リサーチクエスチョン

• RQ1 実数値関数に対してリーマン積分とダーブォー積分が同等となる条件は何か？
• RQ2 リーマン完備積分は、有界変動でない関数の導関数など、ルベーグ可積分でない関数をも積分できるか？
• RQ3 抽象的ヘンストック積分枠組みは、ウィナー積分やファインマン積分といった一般化積分にどの程度適用可能か？
• RQ4 ファインマン被積分関数の文脈において、ヘンストック積分の極限定理（積分の極限＝極限の積分）は成立するか？
• RQ5 ウィナー積分器ではなぜFubiniの定理が成立しないのか？しかし実用上、意味のある形で適用可能か？

主な発見

• 上界と下界の和の squeeze theorem を適用することで、実数値関数に対してリーマン積分とダーブォー積分が同等であることが示された。
• リーマン積分は有界関数にしか定義されない。非有界関数ではダーブォー和が未定義になるためである。
• 微分積分学的積分（原始関数に基づく積分）は、リーマン積分やルベーグ積分で可積分でない関数、たとえば \( F'(x) = x^{-1/2} \) on \( [0,1] \) に対して、\( 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 \) の変動がゼロに近づくならば、\( F_m = F \) 几乎 everywhere であることが示され、ヘンストック意味での収束を支持する。