“该项目包含了汤善健自上世纪90年代以来,在随机控制领域所耕耘的多项成果,如对法国科学院院士J. M. Bismut于1976年所提出的倒向随机 Riccati 方程的解的存在唯一性的证明, 对美国工程院院士R. Brockett在1983年国际数学家大会的邀请报告中提出的非线性滤波中的有限维估计代数在状态空间维数高于4的分类问题的证明, 以及关于Poisson点过程驱动的非线性倒向随机微分方程的解的存在唯一性定理。这三项成果都发表在控制与优化领域的国际权威期刊《美国工业与应用数学会控制与优化杂志》(SIAM Journal on Control and Optimization),是随机控制理论的基础性结果,为随机控制理论的应用和进一步发展提供了基本的工具和方法。
……”
▲
倒向随机Riccati 微分方程
创新方法 解开二十七年难题
1976年,法国科学院院士J. M. Bismut在研究随机系数的线性二次随机最优控制问题时在《美国工业与应用数学会控制与优化杂志》提出了一个一般形式的倒向随机 Riccati微分方程。“这是一个对称矩阵取值的二次非线性倒向随机微分方程,等价于该非马氏的(non-Markovian)最优控制问题所联系的动态规划微分方程,是一种广义形式的Bellman方程。它的解是构造线性二次随机最优控制的线性反馈系数的关键量。”汤善健介绍。
J. M. Bismut是微分几何大家,也是倒向随机微分方程之父。他在上世纪70年代提出了倒向随机微分方程这一新的数学研究对象,并完整地建立了线性倒向随机微分方程的可解性理论。生成元是一般Lipschitz非线性的倒向随机微分方程的解的存在唯一性,1990年被E. Pardoux和中国科学院院士彭实戈合作解决。一般形式的倒向随机 Riccati微分方程的生成元关于第二个未知变元是平方增长的,比Lipschitz非线性复杂得多。在上世纪70年代,J. M. Bismut仅在一些特别情形用不动点定理证明了它的解是存在唯一的,并指出一般情形下解的存在唯一性无法用不动点定理来证明。
受Bismut的上述公开问题的激发,M. Kobylanski在她的博士论文里建立了一维的二次倒向随机微分方程的可解性理论,并于2000年发表在《概率年刊》(Annals of Probability)。但她的证明依赖于一维倒向随机微分方程的解的比较定理,无法处理多维的二次倒向随机微分方程组。
2003年,汤善健证明了最优控制的随机Hamilton系统定义的正向随机流是可逆的,进而彻底解决了Bismut的上述公开问题, 发表在《美国工业与应用数学会控制与优化杂志》。