[论文解读] 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

一句话总结

本文呈現了 Ralph Henstock 在 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.

研究动机与目标

• 澄清並系統化 $\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 $ 上的上確界與下確界，以定義達布積分。
• 透過夾逼定理證明黎曼與達布積分的等價性：若 $ s(f;\mathcal{D}) $ 與 $ S(f;\mathcal{D}) $ 收斂至同一極限 $ r $，則 $ R(f;\mathcal{D}) $ 亦收斂至 $ r $。
• 引入變差等價積分器的概念，表明若積分器連續且正，則 $ 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} $ 分析費曼積分器，並證明在特定條件下，被積函數在小測度集合上的變差趨於零，暗示函數序列的幾乎處處收斂。

实验结果

研究问题

• RQ1 在何種條件下，實值函數的黎曼積分與達布積分等價？
• RQ2 黎曼完全積分是否能對非勒貝格可積函數（如具有無界變差的函數的導數）進行積分？
• RQ3 抽象亨斯托克積分框架在多大程度上可應用於威納與費曼等廣義積分？
• RQ4 在費曼被積函數背景下，極限定理——積分的極限等於極限的積分——是否對亨斯托克積分成立？
• RQ5 為何富比尼定理在威納積分器情況下失效？是否仍可在實際中具備意義地應用？

主要发现

• 透過對上、下和應用夾逼定理，證明了實值函數下黎曼積分與達布積分的等價性。
• 黎曼積分僅對有界函數存在，因為無界性會導致達布和未定義。
• 微積分積分（基於反導數）可對其導數非黎曼或勒貝格可積的函數進行積分，例如 $ F'(x) = x^{-1/2} $ 在 $[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 $ 几乎處處成立，支持亨斯托克意義下的收斂。