斯蒂尔杰斯积分

历史背景与思想起源

斯蒂尔杰斯的数学道路充满传奇色彩。这位三次高考失利、从未获得正式大学学位的荷兰数学家，通过自学掌握了当时最前沿的数学知识，并与埃尔米特、庞加莱等数学巨匠保持密切通信。他的研究最初集中在天体力学和连分数理论，正是在探索连分数与定积分的渐近关系时，斯蒂尔杰斯发现了传统积分概念的局限性。

19 世纪末的数学界正面临着一系列挑战：如何严格处理不连续函数？如何统一描述连续与离散的质量分布？如何将力学中的矩问题推广到更一般的情形？斯蒂尔杰斯在研究无穷区间上的矩问题时意识到，需要一种能够同时处理连续变量和离散质点的积分工具。传统的黎曼积分将区间分割为小区间并以其长度作为权重，而斯蒂尔杰斯创造性地用一个分布函数的增量替代区间长度，这一思想直接导致了斯蒂尔杰斯积分的诞生。

这一突破的历史必然性体现在两个方面：一方面，19 世纪末实分析的发展已为积分概念的推广积累了足够的技术准备，包括柯西、黎曼、达布等人对积分理论的系统化工作；另一方面，物理学中对非均匀质量分布和概率统计中对离散与连续分布统一描述的需求，为新积分理论提供了强大的应用动机。斯蒂尔杰斯的贡献在于将这些零散的思想汇聚成一个严谨的数学框架，并通过连分数理论揭示了其深刻的分析学意义。

数学基础：有界变差函数与积分定义

有界变差函数理论

斯蒂尔杰斯积分的建立依赖于一个关键概念 —— 有界变差函数。设函数 定义在区间 上，对于任意分割，称

为 关于分割 的变差。若所有可能变差的上确界有限，即

则称 是 上的有界变差函数，记为。

有界变差函数具有一系列深刻性质：

1. 分解定理：任何有界变差函数都可表示为两个单调递增函数之差，即，其中（全变差函数）和 均为单调递增函数。这一分解揭示了有界变差函数与单调函数的本质联系，为斯蒂尔杰斯积分的研究提供了重要工具。

2. 几乎处处可微性：有界变差函数几乎处处可微，且其导数勒贝格可积（这一结果后来由勒贝格证明）。

3. 全变差的可加性：对任意 ，有 。这一性质表明全变差函数是区间可加的，类似于测度的性质。

斯蒂尔杰斯积分的定义

设 和 是定义在 上的有界函数，对任意分割 和介点 ，构造斯蒂尔杰斯积分和：

记分割的细度为。若当 时，上述积分和的极限存在且与分割方式及介点选取无关，则称 关于 在 上斯蒂尔杰斯可积，记为

为了使这一定义严格化，斯蒂尔杰斯引入了达布 - 斯蒂尔杰斯上下和：

并定义上下积分：

当上下积分相等时，称 关于 可积。

可积性条件

斯蒂尔杰斯积分的存在性依赖于 和 的相互关系，核心结果包括：

1. 连续性与有界变差的对偶性：

• 若（连续）且（有界变差），则 关于 可积。
• 若 且 ，则 关于 可积。

这一惊人的对偶关系表明，连续性和有界变差是斯蒂尔杰斯积分存在的互补条件，这为分部积分公式奠定了基础。

2. 勒贝格型判据： 关于 可积的充要条件是，对任意，存在分割，使得函数 的振幅大于 的那些子区间上， 的变差总和小于 。形式化地，记

则对任意，存在分割 使得 。

核心性质与定理

线性与可加性

斯蒂尔杰斯积分具有自然的线性性质：

• 对被积函数的线性：若 关于 可积， ，则 关于 可积，且

• 对积分函数的线性：若 关于 可积， ，则 关于 可积，且

• 区间可加性：对任意，有

分部积分公式

斯蒂尔杰斯积分的分部积分公式揭示了积分中两个函数的对称关系：若 且，则

这一公式的证明巧妙地利用了积分和的重排：

其中 是子区间中的介点。当分割细度趋于零时，两端的积分和分别收敛到相应的斯蒂尔杰斯积分。

分部积分公式不仅具有理论意义，还提供了计算斯蒂尔杰斯积分的有效工具。特别地，当 是绝对连续函数时，这一公式退化为黎曼积分的分部积分公式。

中值定理

类似于黎曼积分，斯蒂尔杰斯积分也有中值定理，但其形式依赖于 的单调性：

第一中值定理：设 ， 为单调递增函数，则存在 使得

第二中值定理：设 ， 且单调，则存在 使得

这些中值定理在证明积分估计和渐近公式中发挥着关键作用，特别是在概率统计和数值分析中。

与黎曼积分的联系

当积分函数 时，斯蒂尔杰斯积分退化为黎曼积分：

更一般地，若 可导且（黎曼可积），则斯蒂尔杰斯积分可化为黎曼积分：

这一结果建立了两种积分之间的桥梁，表明斯蒂尔杰斯积分确实是黎曼积分的自然推广。

应用与推广

数学物理中的矩问题

斯蒂尔杰斯积分的最初动机之一是解决矩问题。给定一个矩序列，其中，矩问题研究如何由这些矩确定测度。斯蒂尔杰斯通过引入以分布函数 为权重的积分

将离散质点系的矩和连续分布的矩统一起来，从而建立了经典矩问题的理论框架。

这一工作的深远影响在于，它将分析学、概率论和算子理论联系起来，为后来希尔伯特空间中自伴算子的谱理论奠定了基础。特别地，斯蒂尔杰斯矩问题的解的唯一性条件（Carleman 条件）至今仍是研究的热点。

概率论中的应用

斯蒂尔杰斯积分在概率论中具有核心地位，它提供了描述随机变量分布的统一框架：

1. 分布函数与期望：随机变量 的期望 可表示为斯蒂尔杰斯积分

其中 是分布函数。这一表示同时包含了离散型（ 为阶梯函数）和连续型（ 绝对连续）随机变量的情形。

2. 切比雪夫不等式：利用斯蒂尔杰斯积分可简洁证明概率论中的基本不等式。设随机变量 的期望 ，方差 ，则对任意 ，有

证明中关键一步是将概率表示为斯蒂尔杰斯积分：

数论中的应用

斯蒂尔杰斯积分在解析数论中提供了强有力的工具，特别是在处理数论函数的求和时：

1. 黎曼 ζ 函数的近似：黎曼 ζ 函数 可表示为斯蒂尔杰斯积分

其中 是取整函数。通过分部积分可得

其中 是小数部分函数，这一表达式为 ζ 函数的解析延拓提供了途径。

2. 素数定理的证明：素数计数函数 可表示为斯蒂尔杰斯积分

其中 是切比雪夫函数。通过分部积分和（这是素数定理的等价形式），可得到 。

现代分析中的推广

斯蒂尔杰斯积分启发了后来测度论和泛函分析的发展，主要推广方向包括：

1. 勒贝格 - 斯蒂尔杰斯积分：由单调增加右连续函数 生成的测度 满足 ，基于此可定义勒贝格 - 斯蒂尔杰斯积分，它克服了黎曼 - 斯蒂尔杰斯积分对函数连续性的限制。

2. Radon-Nikodym 定理：该定理揭示了绝对连续测度与密度函数的关系，是斯蒂尔杰斯积分中 这一关系的推广。

3. Riesz 表示定理：Hilbert 空间上的有界线性泛函可表示为内积，这一深刻结果的一个特例是： 上的连续线性泛函可表示为斯蒂尔杰斯积分

其中 。这建立了泛函分析与斯蒂尔杰斯积分的本质联系。

结语

斯蒂尔杰斯积分从根本上改变了对积分的理解，它打破了黎曼积分中区间长度作为唯一权重的限制，引入了分布函数作为更一般的权重概念，从而为现代测度论铺平了道路。回顾斯蒂尔杰斯的工作，我们看到数学创新往往源于对具体问题的深入思考，从连分数到矩问题，从力学应用到函数论研究，斯蒂尔杰斯将这些看似不相关的领域通过新的积分概念统一起来。

这一发展历程给我们的启示是：数学概念的推广不是形式上的游戏，而是对现实问题和数学内部矛盾的深刻回应。斯蒂尔杰斯积分的成功在于它既保留了黎曼积分的直观几何意义，又极大地拓展了其应用范围，这种 "向后兼容" 的创新使得新理论能够被数学界迅速接受并发展。

今天，斯蒂尔杰斯积分已成为分析学的基础工具，在概率论、数论、泛函分析、物理学等领域发挥着不可替代的作用。从自学成才的数学家到现代分析的奠基者，斯蒂尔杰斯的故事也激励着我们跨领域的思维碰撞和对传统观念的勇敢突破。当我们在课堂上学习斯蒂尔杰斯积分时，不仅在掌握一种数学工具，更是在传承一种勇于探索、追求统一的数学精神。