[论文解读] The origin of infinitely divisible distributions: from de Finetti's problem to Levy-Khintchine formula

Francesco Mainardi, Sergei Rogosin|ArXiv.org|Jan 12, 2008

Complex Systems and Time Series Analysis参考文献 81被引用 21

一句话总结

本文追溯了从德·菲内蒂 1929 年的奠基性工作到经典的勒维-金辛公式，无限可分分布的历史发展，确立了稳定分布和无限可分分布特征函数的数学传承脉络。本文首次提供了金辛 1937 年开创性论文的英文翻译，该论文形式化了特征函数对数的积分表示，从而完整构建了无限可分分布的理论框架。

ABSTRACT

The article provides an historical survey of the early contributions on infinitely divisible distributions starting from the pioneering works of de Finetti in 1929 up to the canonical forms developed in the thirties by Kolmogorov, Levy and Khintchine. Particular attention is paid to single out the personal contributions of the above authors that were published in Italian, French or Russian during the period 1929-1938. In Appendix we report the translation from the Russian into English of a fundamental paper by Khintchine published in Moscow in 1937.

研究动机与目标

• 重建从德·菲内蒂 1929 年的工作到勒维-金辛公式的无限可分分布的历史演变。
• 厘清代·菲内蒂、科尔莫戈罗夫、勒维和金辛在 1929–1938 年间，特别是在意大利文、法文和俄文出版物中的个人贡献。
• 首次提供金辛 1937 年论文的英文翻译，该论文是勒维-金辛公式推导的基础性著作。
• 建立特征函数对数的规范形式与相应分布无限可分性之间的数学等价性。
• 通过提供详尽的、带注释的参考书目和关键先驱人物的传记背景，为未来研究提供支持。

提出的方法

• 对早期无限可分分布相关文献进行历史综述，重点关注德·菲内蒂、科尔莫戈罗夫、勒维和金辛的原始出版物。
• 分析无限可分性概念的演变，始于德·菲内蒂 提出将分布分解为独立同分布随机变量之和的问题。
• 通过证明特征函数的对数可表示为包含勒维测度、高斯分量和漂移项的积分，推导出勒维-金辛公式。
• 使用截断积分（例如 ∫|u|>ε）的逼近技术处理奇点，并证明收敛至规范形式。
• 应用极限过程当 ε → 0，表明表达式 log φ(t) = itγ − at² + ∫(e^{itu}−1−itu/(1+u²)) dG(u) 是某个特征函数的对数。
• 通过证明任何此类函数均对应一个无限可分分布，验证了勒维-金辛表示的充分性。

实验结果

研究问题

• RQ1 无限可分性的概念如何从德·菲内蒂 1929 年的工作中浮现，其原始表述是什么？
• RQ2 科尔莫戈罗夫和勒维在德·菲内蒂 初始成果之后，对无限可分分布理论的发展起到了何种作用？
• RQ3 金辛 1937 年的论文如何推动了勒维-金辛公式的正式推导，为何该结果具有决定性意义？
• RQ4 为何勒维-金辛公式被视为规范形式，它如何统一了所有无限可分分布的表示？
• RQ5 金辛 1937 年论文的英文翻译对现代概率论与随机过程研究者具有何种意义？

主要发现

• 术语‘无限可分’首次以印刷形式出现在 G.M. 巴利 1936 年未出版的论文中，但并未被一致使用。
• 金辛首次形式化定义了无限可分分布：即对任意正整数 n，均可表示为 n 个独立同分布随机变量之和的分布。
• 勒维-金辛公式被确立为无限可分分布特征函数对数的规范表示形式。
• 该公式的形式为 log φ(t) = itγ − at² + ∫(e^{itu}−1−itu/(1+u²)) dG(u)，其中 G 为有界且非减的函数。
• 证明表明，任何此类形式的函数均为某个特征函数的对数，从而确认了其对应分布的无限可分性。
• 当 ε → 0 时的极限过程受到均匀控制，确保即使在 u = 0 处，规范形式的收敛性与有效性，其中借助戈宁科对积分尾部一致性的补充估计得以实现。