[论文解读] A brief and personal history of stochastic partial differential equations

Lorenzo Zambotti|arXiv (Cornell University)|Apr 20, 2020

Stochastic processes and financial applications被引用 4

一句话总结

这是一篇个人化且具有历史背景的记述，追溯了随机偏微分方程（SPDEs）从20世纪70年代奠基性工作到近期解决长期悬而未决问题的演变历程，包括KPZ方程的适定性问题以及三维空间中随机量化的突破性进展。本文强调了海勒（Hairer）的正规性结构理论与古比内利（Gubinelli）的拟控制分布理论作为关键进展，使具有时空白噪声驱动的奇异SPDEs得以严格处理。

ABSTRACT

We trace the evolution of the theory of stochastic partial differential equations from the foundation to its development, until the recent solution of long-standing problems on well-posedness of the KPZ equation and the stochastic quantization in dimension three.

研究动机与目标

• 追溯随机偏微分方程（SPDEs）自20世纪70年代起源以来的发展历程，直至21世纪10年代的重大突破。
• 突出乔瓦尼·达·普拉托（Giuseppe Da Prato）及其学生在具有时空白噪声的SPDEs方面的奠基性贡献。
• 解释马丁·海勒（Martin Hairer）的正规性结构理论如何解决了SPDEs中的长期难题，例如三维空间中的KPZ方程与随机量化问题。
• 对比并比较正规性结构理论与替代方法（如拟控制分布与能量解）在SPDEs求解中的影响。
• 强调SPDEs领域进展的集体性与社区协作特征，并倡导更广泛地认可该领域的重要性。

提出的方法

• 通过个人叙事与历史分析，追踪SPDEs的演变过程，重点关注关键里程碑与重要贡献者。
• 分析20世纪70年代的奠基性工作，包括卡瓦尼亚（Cabaña）、本苏桑-特马姆（Bensoussan-Temam）、帕尔杜（Pardoux）与道森（Dawson）在具有时空白噪声的SPDEs方面的研究。
• 详述SPDEs中随机积分技术的发展，特别是希尔伯特空间中的伊藤积分，以及利用积分形式化处理未定义乘积的方法。
• 提出海勒的正规性结构作为每个时空点处泰勒展开的推广，使KPZ等奇异SPDEs得以求解。
• 比较替代方法，如拟控制分布（Gubinelli-Imkeller-Perkowski）与能量解（Gonçalves-Jara, Gubinelli-Jara）在SPDEs求解中的应用。
• 强调重整化与局部展开在克服具有时空白噪声方程不适定性方面的作用。

实验结果

研究问题

• RQ1 SPDEs理论自20世纪70年代起源以来，如何演变为21世纪10年代解决重大开放问题的历程？
• RQ2 哪些关键的方法论突破使得KPZ方程等奇异SPDEs能够被严格求解？
• RQ3 马丁·海勒的正规性结构理论在时空白噪声背景下，如何克服经典随机微积分与PDE方法的局限性？
• RQ4 拟控制分布与能量解等替代方法在求解SPDEs方面，与正规性结构理论有何异同或互补之处？
• RQ5 更广泛的数学界在SPDEs近期进展中发挥了何种作用，特别是在随机量化与普遍性类的背景下？

主要发现

• 通过海勒的正规性结构理论，KPZ方程得到了严格求解，解决了数学物理中长期悬而未决的问题。
• 三维空间中的随机量化问题也通过相同的正规性结构框架得以解决，标志着构造性量子场论的重大进展。
• 正规性结构为具有时空白噪声的SPDEs提供了一套系统化的解定义方法，通过将泰勒展开推广至粗糙函数实现。
• 拟控制分布为奇异SPDEs提供了另一种有效方法，尤其适用于KPZ方程与$ abla^4_2$模型，但其适用范围不如正规性结构理论普遍。
• 能量解与鞅问题形式化为粒子系统收敛至KPZ方程提供了稳健路径，其唯一性由Gubinelli-Perkowski建立。
• 该领域的发展是数十年来集体性、累积性努力的成果，20世纪70年代的奠基性工作为21世纪10年代的重大突破奠定了基础。