[论文解读] Riemann integration via primitives for a new proof to the change of variable theorem

Rodrigo López Pouso|arXiv (Cornell University)|May 30, 2011

Black Holes and Theoretical Physics参考文献 13被引用 4

一句话总结

本文通过重新定义积分方式，引入广义原函数（即不依赖可微性而模拟原函数的函数），提出了一种更清晰、更直观的黎曼积分变量替换定理的新证明。关键贡献在于提出了一种新颖的可积性判别准则，简化了Kestelman定理的证明，建立了在有界性假设下，$ f $ 在 $ G(I) $ 上的黎曼可积性与 $ f ullet G \cdot g $ 在 $ [a,b] $ 上的可积性之间的等价性，其中 $ G(t) = c + \int_a^t g(s)\,ds $。

ABSTRACT

We approach the Riemann integral via generalized primitives to give a new proof for a general result on change of variable originally proven by Kestelman and Davies. Our proof is similar to Kestelman's, but we hope readers will find it clearer thanks to the use of a new test for the Riemann integrability (which we introduce in this paper) along with some ingredients from some other more recent proofs available in the literature. We also include a bibliographical review of related results and proofs. Although this paper emphasizes in the change of variable theorem, our contributions to the Riemann integration theory are of independent interest. For instance, we present a very simple proof to the fact that continuous functions are integrable which avoids the use of uniform continuity.

研究动机与目标

• 为黎曼积分中的变量替换定理（特别是Kestelman和Davies建立的一般情形）提供一种更清晰、更易理解的证明。
• 提出一种基于广义原函数的新黎曼可积性判别法，避免依赖一致连续性或测度论概念。
• 通过整合近期文献中的新见解，在黎曼框架内保持完全严谨性，统一并澄清现有证明。
• 证明在有界性条件下，$ f \circ G \cdot g $ 的可积性蕴含 $ f $ 的可积性，反之亦然，这一结果在勒贝格积分中通常不成立。
• 为高级本科和研究生课程提供一种自包含、教学性更强的变量替换公式处理方式。

提出的方法

• 将广义原函数定义为下、上不定积分 $ F_*(x) = \underline{\int_a^x} f(y)\,dy $ 和 $ F^*(x) = \overline{\int_a^x} f(y)\,dy $，其满足类似导数界差异的不等式。
• 利用映射 $ t \mapsto \int_{G(a)}^{G(t)} f(x)\,dx $ 作为 $ f \circ G \cdot g $ 的广义原函数这一事实，使无需经典可微性即可进行分部积分推理。
• 应用一种新的可积性判别准则：若在任意区间上，上、下广义原函数之差可被任意缩小，则该函数黎曼可积。
• 利用第二基本定理的表达形式 $ G(t) = c + \int_a^t g(s)\,ds $，确保 $ G $ 绝对连续且 $ g $ 可积。
• 建立 $ f $ 在 $ G(I) $ 上的可积性与 $ f \circ G \cdot g $ 在 $ [a,b] $ 上的可积性之间的等价性，通过广义原函数证明变量替换公式。
• 避免使用测度论工具（如零测集），仅依赖黎曼积分理论和达布和的初等估计。

实验结果

研究问题

• RQ1 能否通过广义原函数重新定义积分，从而更清晰地证明黎曼积分中的变量替换定理？
• RQ2 基于广义原函数的新可积性判别准则是否能在不使用一致连续性的前提下简化Kestelman定理的证明？
• RQ3 在有界性假设下，$ f \circ G \cdot g $ 的可积性在多大程度上能蕴含 $ f $ 的可积性，反之亦然？
• RQ4 与基于经典原函数的证明相比，广义原函数方法在清晰度和适用性方面有何优势？
• RQ5 能否在保持一般性的前提下，使该证明更加初等且自包含？

主要发现

• 提出了一种基于广义原函数振荡性的新黎曼可积性判别法，使得无需使用一致连续性即可获得更简洁的可积性证明。
• 本文证明了在 $ f $ 关于 $ G(I) $ 有界时，$ f $ 在 $ G(I) $ 上黎曼可积当且仅当 $ f \circ G \cdot g $ 在 $ [a,b] $ 上黎曼可积，从而推广了Kestelman和Preiss–Uher的结果。
• 在定理1.3的广义条件下，变量替换公式 $ \int_{G(a)}^{G(b)} f(x)\,dx = \int_a^b f(G(t))g(t)\,dt $ 成立，且其证明完全避免了测度论概念。
• 与以往证明相比，该证明更简单、更透明，尤其相较于Kestelman使用零测集的原始证明，以及Davies虽初等但结构复杂的论证。
• 该方法提供了一种构造性方式，用于验证可积性并借助代换计算积分，即使 $ G $ 几乎处处不可微亦可适用。
• 该框架凸显了在黎曼积分中，$ f \circ G \cdot g $ 的可积性可蕴含 $ f $ 的可积性，这一特性在一般勒贝格积分中并不成立，因此在此情境下黎曼积分框架更具信息量。