看似艰深的数学问题与生活息息相关

　　近日举行的上海市科技奖励大会上，一个摘得自然科学一等奖的项目，在许多人眼中属于“每个字都认识，但是不知道啥意思”——数学物理反问题的理论分析与数值算法。

　　这个项目因何获奖？又与我们的生活有何关联？记者就此采访项目负责人、复旦大学数学科学学院教授程晋，他也是上海市现代应用数学重点实验室主任。

　　研究特殊“关系”数学模型

　　该项目的创新点看起来有点像“天书”：系统研究了椭圆方程反问题的唯一性及稳定性。证明多边形声软障碍反演的唯一性、两维椭圆方程双系数反演的唯一性、证明拉普拉斯方程柯西问题的对数稳定性。率先提出并开展时间分数阶扩散方程的反问题研究。得到分数阶及扩散系数反演的唯一性、证明高维有理数分数阶的Carleman估计。构造了反问题新型数值算法并给出误差分析。提出基于条件稳定性的正则化参数选取准则、构造多罚项的正则化方法以及用水平集方法反演介质不连续界面。

　　“简而言之，我们研究的对象主要是‘关系’。”程晋说。数学自诞生那天起，就因现实生活需求而发展。这个世界上信息很多，有的看得见，有的是隐藏其后的。他所领衔的项目，聚焦包含一些特殊“关系”的数学模型，从看得见的信息中获取看不见的信息。

　　程晋以阿基米德举例。古代有位国王，叫金匠造一顶纯金的皇冠，因怀疑里面掺有银子，便请阿基米德鉴定。当阿基米德进入浴盆洗澡时,水漫溢到盆外,于是悟得不同材质的物体，虽然重量相同，但因体积不同，排去的水也必不相等。根据这一道理，就可以判断皇冠是否掺假。此后，他将这一流体静力学的基本原理，即物体在液体中减轻的重量，等于排去液体的重量，总结在他的名著《论浮体》中，后来以“阿基米德原理”著称于世。

　　“这一研究过程中，寻找未知信息的唯一性和关于测量误差的稳定性是关键。”程晋说。此次获奖的项目，正攀上了这两座“大山”。据了解，相关理论已经在此次新冠病毒疫情的发展预估推演中建功。

　　用数学解决其他学科难点

　　信息反演的数学问题，看似艰深，其实与我们的生活息息相关。例如，在计算机层析成像技术（CT技术）、核磁共振数据计算分析、生命科学领域的离子通道识别、蛋白质结构测定、地球内部结构的探测技术、气候气象科学应用，以及装备制造业相关领域中，都可见其身影。

　　在工业界，无损探伤、材料定制、生产过程控制等领域中，此次获奖项目的理论研究已发挥作用。

　　“我们曾与日本一家钢铁厂合作，用数学方式建立设备维修的评估数据体系。”程教授介绍。当时钢铁厂设备都在高温状态下运行，经过一定时间，需在其产生“疲劳”前进行停机检修维护。如何在设备正常运转情况下，通过对外部观测数据的分析，获知其是否需要检修？这个技术的精准性对企业而言十分关键。如果检修早了，成本上升影响生产；如果检修晚了，未能及时发现危险信号，很可能导致事故发生。

　　当时企业请来程晋团队的同时，还请了计算物理等不同专业的三个小组共同攻关这一难题。最终，通过与企业工程师充分沟通，程晋团队成为唯一达成目标的研究小组。在这一领域深耕几十年的他，身兼上海工业与应用数学学会理事长，用数学来解决其他学科的难点问题也是他努力的方向，“如今多方关注的人工智能研究，同样可以将对数学物理反问题的理论分析与数值算法的实践嵌入其中。”

　　“我常开玩笑说，我们做的数学，主要是搞‘关系’的。可是研究数学的人，可能不太会‘搞关系’。”程晋说，随着全球经济与计算机技术的迅猛发展、数学理论与方法的不断扩充，数学将成为当代高科技的一个重要组成部分和思想库，未来大有可为。