[論文レビュー] 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

ひとこと要約

本稿では、微分可能性を要件としない反導関数に類似した関数である一般化原始関数を用いて、リーマン積分における変数変換定理のより明確な証明を提示する。主な貢献は、ケステルマンの定理の証明を簡略化する新しい可積分性基準の導入であり、$ f $ が $ G(I) $ 上でリーマン可積分であることと、$ f \circ 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.

研究の動機と目的

• ケステルマンおよびデイヴィスが確立した一般の場合におけるリーマン積分における変数変換定理の、より明確で理解しやすい証明を提供すること。
• 微分可能性や測度論的概念に依存しない、一般化原始関数に基づく新しいリーマン可積分性の判定基準を導入すること。
• 最近の文献からの洞察を活用しつつも、リーマン枠組み内で完全な厳密性を保ちつつ、既存の証明を統一的かつ明確にすること。
• 有界性の仮定のもとで、$ 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 一般化原始関数に基づく新しい可積分性基準は、一様連続性を仮定せずにケステルマンの定理の証明を簡略化できるか？
• RQ3 有界性の仮定のもとで、$ f \circ G \cdot g $ の可積分性が $ f $ の可積分性を意味する範囲はどの程度か？またその逆は成り立つか？
• RQ4 明確さと適用可能性の観点から、一般化原始関数を用いた手法は、古典的な原始関数に基づく証明と比べてどのように異なるか？
• RQ5 変数変換公式に対して、完全な一般性を保ちつつ、初等的かつ自己完結的な証明を構築できるか？

主な発見

• 一般化原始関数の振動に基づく新しいリーマン可積分性の判定基準が導入され、一様連続性を用いない明確な可積分性証明が可能になった。
• 関数 $ f $ が $ G(I) $ 上で有界であると仮定すると、$ f $ が $ G(I) $ 上でリーマン可積分であることと、$ f \circ G \cdot g $ が $[a,b]$ 上でリーマン可積分であることの同値性が確立され、ケステルマンおよびプレス＝ウヘルの結果が一般化された。
• 変数変換公式 $ \int_{G(a)}^{G(b)} f(x)\,dx = \int_a^b f(G(t))g(t)\,dt $ は、定理1.3の一般化された条件下で成り立ち、測度論的概念を避ける証明がなされた。
• 特にケステルマンの元々の証明（零集合を含む）やデイヴィスの初等的だが複雑な議論と比較して、証明はより単純かつ透明性に富んでいる。
• この手法により、$ G $ が至る所で微分可能でない場合でも、置換による可積分性の確認と積分の計算が構成的に行える。
• リーマン積分では $ f \circ G \cdot g $ の可積分性が $ f $ の可積分性を意味することがあるが、これは一般にルベーグ積分では成り立たない。この点で、リーマンの枠組みは、この文脈においてより情報量が多い。