张同,数学家。从事气体动力学欧拉方程黎曼问题的理论研究,取得一系列原创性重要成果。他和其学生由于二维黎曼问题的系列研究被国际同行誉为该领域的“中国学派”。
张同
张同,数学家。从事气体动力学欧拉方程黎曼问题的理论研究,取得一系列原创性重要成果。他和其学生由于二维黎曼问题的系列研究被国际同行誉为该领域的“中国学派”。
张同_张同[数学家] -人物介绍
张同,原名张学樵。1932年12月9日出生于重庆兴隆巷。5岁时其母因肺结核故去,此后其父再不归宿,他和4个姐妹全由外祖母照管,生活窘困,5人中先后有3人患过肺结核。抗战爆发后迁居市郊沙坪坝。在树人学校上完小学及初中后,于1948年考入重庆清华中学,从初一起一直住校并享受清贫奖学金。1949年12月重庆解放后,张同及其两个姐姐先后参军。次年他因被疑患有肺结核未痊愈而复员,尔后入重庆市一中,于1952年毕业。为响应青年团报考本区学校的建议,他考入重庆大学数学系,并名列榜首。1953年因院系调整而转入四川大学,直至1956年毕业,时年23岁。
1952至1956年,正值国家开展第一个五年计划建设,全国掀起了向科学进军的热潮,国家为全部大学生都提供了助学金待遇,张同所在年级的同学猛增至120人。在大学期间对他影响最大的是柯召和周雪鸥两位老师。周雪鸥讲授了微积分及常微分方程的全部课程,讲课深入浅出、生动诱人,富有启发性。柯召从一年级到四年级共开设了高等代数、线性代数、数论导引和矩阵论四门课,讲课如行云流水,展示出数学的无限魅力。1956年春,柯召指导张同十分顺利地完成了毕业论文《矩阵代数的反自同构》,在他毕业前由柯召和他联名发表于《四川大学学报》。
张同从初中起就表现出歌唱及表演才能,常活跃于学校舞台上,但体质较差,初二时曾患过肺结核。参军复员后始认真锻炼身体,加之大学时代伙食条件大为改善,体质逐渐增强,后被选入校田径队,并获得过成都市大学生运动会200米跑第4名。大学时代他曾任年级学生会副主席,分管文娱体育。在他精心策划组织下,他们年级屡获校文艺汇演大奖,数学系获校运动会团体总分冠军,其中过半分数均系他们年级的贡献。大学毕业时的他已成为一个学业优秀、身体健壮、性格开朗的青年,与解放前判若两人。但由于家庭原因,他从未被评为“三好”学生。
张同_张同[数学家] -学术贡献
中国科学院数学所
大学毕业后,张同被分配到中国科学院数学所,研究偏微分方程,研究室主任为吴新谋。偏微分方程是当时国内基础十分薄弱而需重点发展的学科。1年以后,正当苏联专家来华讲学之际,张同奉命响应全国干部下放劳动的号召,于1957年12月下放农村劳动。8个半月后,在大跃进形势下奉调提前回所。1960 年,因两位进修教师期满回校之需,吴新谋组织丁夏畦和张同与他们合作完成了关于常系数方程组椭圆性定义的论文。该文实际上只是玩了一点矩阵论,不料却引出了华罗庚、林伟和吴兹潜之玉石之作。但不无遗憾的是,这却是张同从1956至1962年6年间参加的唯一一项数学研究工作。
大跃进之后进入了困难时期,一切政治运动暂停。此前,原子弹及三峡大坝工程的研究部门分别向数学所提出了有关冲击波及涌波的问题。这些问题都可以归结为非线性双曲型守恒律的间断解研究。按照领导的安排,政审不能参加国防任务的张同和郭於法等4人组成一个小组,由张同任组长,自行研读文献,各自选题从事有关基础理论研究。在调研中,张同被I.M.盖尔范德(Gelfand)的文章《拟线性方程理论中的某些问题》中有关黎曼问题的论述所深深打动。
欧拉方程
描写气体运动的基本方程是欧拉方程,它由质量、动量和能量3个守恒律组成,它的最大特点和困难在于解中会出现间断现象,冲击波就是一种压缩性的间断。1858年,黎曼紧紧抓住了间断现象这一特点,提出并解决了欧拉方程一种最简单的间断初值问题(即初值为含有一个任意间断的阶梯函数),被后人称为黎曼问题。黎曼构造出了它的4类解,它们分别由前、后向疏散波(记为和)和前、后向冲击波(记为和)组装而成,即(或)+(或),并利用相平面分析方法给出了此4类解的判别条件。黎曼的这一工作开创了微分方程“广义解”概念及“相平面分析”方法之先河,具有极大的超前性。黎曼用敏锐的洞察力和巨大的原创力为非线性双曲型守恒律的数学理论奠定了第一块基石。1975年美国出版的《科学传记词典》中的《黎曼传》称,这一工作是“黎曼在数学物理方面最好的工作”。但由于黎曼所研究的是一个简化模型(一维等熵流)而不为力学家们所接受。直到二战期间,在原子弹及超音速飞行研究的推动下,应用数学权威R.柯朗(Courant)和K.O.弗里德里希斯(Friedrichs)才将黎曼的结果推广到一维非等熵流,在前向波及后向波之间添加了一道接触间断(记为J,它是不同密度气体的界面)。黎曼解被推广为(或)+J+(或)。R,S和J统称为欧拉方程的基本波。1962年,张同被这一工作的简洁、优美和深刻所深深打动,毅然将黎曼问题选定为自己的研究方向,希望把黎曼的工作推广到更一般的方程,甚至高维的情形。他在几乎不被周围人们理解和接受的情况下,兴致盎然地走上了一条充满挑战的探索之路。
几个月后,张同对盖尔范德文中提出的未解决的问题悟出了一个富有几何直观的想法:用构造凸包的方法将欧拉方程中的凸函数推广至非凸函数,从而巧妙地将黎曼的结果推广至非凸方程的情形,并澄清了有关的熵条件。1963年张同在指导中国科技大学数学系首届毕业论文时,这一想法演化成李才中、肖玲等4人的毕业论文。该工作进一步推广完善后,由张同和肖玲联名于1963年底投稿《数学学报》。遗憾的是该文直到1977年才以3页的摘要在《数学学报》发表,而全文直到1981年才在美国Journal of Math.Anal.Appl.发表。当1984年张同首次出访德国的海德堡大学时,听众们对凸包方法仍感到十分新鲜有趣。
与此同时,吴新谋指导的毕业论文小组曾试图将黎曼的结果推广至初值含有两个间断的情形,其实质是研究两个黎曼解中所含的四道基本波的相互作用,该情形可划分为16种子情形,其中只有(+)+(+)一种子情形获得解决。在此基础上,张同和郭於法找出了前向疏散、后向压缩的一般初值,并用相平面分析方法,证明了整体解的存在性,以及初值所具有的前向疏散、后向压缩性质对时间的不变性。这是欧拉方程整体间断解存在性证明的第一个结果。1965年在《数学学报》上发表后,1967年至1975年间,后续性研究在美、苏和我国先后出现,其中包括对方程和对初值的推广以及惟一性的证明3个方面。在1985年丁夏畦、陈贵强和罗佩珠的著名工作出现以前,此文被视为我国在间断解研究方面在国际上最有影响的工作,美国国家科学院P.拉克斯(Lax)院士曾称其为“中国初值”。
1963年的大好工作形势在1964年再次被政治运动所打断,直至1972年才逐步恢复。1972年至1979年间,张同和肖玲、丁夏畦、王靖华、李才中共合作完成论文6篇,内容涉及凸与非凸的黎曼问题及波的相互作用。在这些工作中,他们以硬分析为工具,在相平面上深入地研究了R线和S线的几何性质,发展了相平面分析方法,形成了自己的风格。
1978年终于迎来了改革开放的新时代。中国科学院数学研究所45岁以下的研究人员大批被公派出国进修,而时年46岁的张同在国内继续研究黎曼问题,并致力培养更年轻的一代。他曾去中科院研究生院讲授数理方程,颇受欢迎。为了帮助青年学者尽快走向研究前沿,1983年张同和北大姜礼尚完全自发地在北京香山植物园联合主办了“偏微分方程暑期讲习班”。当时国家基金委尚未成立,经费十分困难,幸好得到数学所微分方程研究室主任王光寅的大力支持,使得当时国内偏、微分方程学科的青年教师和绝大多数研究生得以参加,学员达80人之多。王光寅,姜礼尚和吴兰成,张同和肖玲分别开设了3门课程,传授自己的专长。结业考试后,选出了陈贵强、辛周平、吉敏和胡钡4名优秀学员,分别在数学所和北大免费培训。他们后来大都取得了十分优异的成就,成为国际知名学者。在办班期间,张同既任负责人又授课,由于劳累过度,出现大便潜血,经医院诊断为十二指肠溃疡出血;但他仍坚持工作,直到讲习班圆满结束(此病迁延多年,8次出血,直到老年才痊愈)。由于讲习班成效显著,在许多高校要求下,连续办了五届。从第四届起复旦大学李大潜也参加合办。最后一届在苏州大学(姜礼尚时任苏州大学校长),为期一学期,共开设了8门课。这5届学员中不少人已活跃于国内、外的学术圈中。始料未及的是,学员中有5人先后成了张同的学生,在他的带领下共同开创了对二维黎曼问题的系统研究。
在对一维问题进行了深入研究的基础上,1984年张同开始考虑二维问题,和学生陈贵强合作完成了两篇论文,一篇澄清了二维非线性双曲型守恒律的一些基本概念,另一篇给出了二维冲击波反射问题中出现正规反射的充要条件(它是对J.冯・诺伊曼(von Neumann)提出的有关判别法在数学上的精确化,二维冲击波的反射问题可以看成是二维黎曼问题的一个特例)。
欧拉方程的二维黎曼问题是一个著名难题,在20世纪80年代甚至它的提法都有待澄清。1985年,张同和学生郑玉玺研究了以下最简二维模型(单个守恒律)的黎曼问题:
初值:u(x,y,t)当t=0时在(x,y)平面上的1至4象限分别为任意常数u1,u2,u3,u4。
当t>0时,初值在原点发出的4条射线上的间断,将生成四道平面基本波R或S。此问题的实质是研究这四道平面基本波如何相互作用,即要研究初值在原点的奇性当t>0时如何演化。通过深入分析原点所引起的R和S的奇性,构造出了上述问题的5类解。它是二维黎曼问题研究的一个实质性的突破,1989 年发表于《美国数学会会刊》。
张同著作
汇集了张同与其学生和同事们1963至1986年间合作的有关工作,张同和肖玲联名于1989年在英国朗文出版社著名的Pitman丛书中出版了专著《气体动力学中的黎曼问题和波的相互作用》。两年后,美、荷、德的数学家和力学家在《美国数学会公告》等杂志上发表了4篇书评。J.斯莫勒(Smoller)在书评中写道,“乍一看,人们可能会感到惊讶,整本书就贡献给这样一个很特殊的问题(指黎曼问题)?回答是:这个问题是整个非线性双曲型守恒律领域中迄今最重要的问题。”其他书评还称该专著可以认为是柯朗和弗里德里希斯1948年出版的名著《超音速流和冲击波》的“有价值的补充”或“续篇”。
国门打开后,国际同行对张同的工作予以高度评价。春天终于来临,1978年丁夏畦与张同等同获《全国科技大会重大成果奖》;1983年张同与肖玲同获《中国科学院二等成果奖》。
在1985年对单个守恒律的二维黎曼问题取得突破性的进展后,张同就转向了欧拉方程的二维黎曼问题:
初值:(p,U,p)(x,y,t)当t=0时,在(x,y)平面上1至4象限分别为常状态。
1986年9月根据中科院与美国国家基金会的有关协定,由美方提名,张同赴马里兰大学访问刘太平教授半年。期间张同访问加州伯克利时,与前学生郑玉玺一起对解决上述问题提出了以下的分析和猜想:
(1)初值在原点发出的4条射线上间断,每条初始间断线在t>0时发射出3道平面基本波(或)+J+(或)。这12 道波在(x,y,t)空间中将在一个以原点为顶点的锥体中相互作用。为了使问题简化而又不失实质,他们引进了假设:每条初始间断线在t>0时只发射出一道平面基本波。这样问题就简化成四道基本波的相互作用。
(2)根据四道波的不同组合,将问题分成16类。
(3)利用他们自创的广义特征分析方法,对每类都找出了相互作用锥的边界,它们由若干固定边界(特征面、音速面)和/或自由边界(冲击波面)组装而成。锥外的解为超音流动,由初值的4个常状态和四道平面基本波构成;锥内为待求的跨音流动。
(4)对锥内的解的结构(冲击波、滑移面、音速面和漩涡如何分布与组装)提出了一套猜想,它包括了气体的膨胀、冲击波的反射及漩涡的形成等结构。猜想中提出了跨音流动中若干新的定解问题。
总而言之,一维黎曼问题澄清了守恒律的基本波,而二维黎曼问题则揭示出这些基本波在跨音流动中相互作用所形成的各种基本流场结构。
此套猜想于1987年5月在伯克利举行的有关会议上宣布后引起强烈反响。会议主持人美国国家科学院J.格利姆(Glimm)院士在次年发表的综述性文章中称:“一套完整的猜想已经形成”。1990年“猜想”以38页的篇幅在美国发表。后续性的工作有以下三方面:
A.完善分类:根据漩度的符号将滑移面分为两类(J+,J-)舒尔茨―里恩(Schulz-Rinne),拉克斯和刘旭东,张同、陈贵强和杨树礼将分类最终完善为19类。其中主要的6类(四道R,四道S和四道J各两类)都包含在原来的分类中。
B.数值实验:从1993到2002年舒尔茨―里恩,科林斯(Collins)和格莱兹(Glaz),拉克斯和刘旭东,张同,陈贵强和杨树礼,库尔干诺夫(Kurganov)和塔德莫(Tadmor)分别用4种完全不同的计算格式对猜想做数值实验,计算结果完全相同,与猜想基本相符。
C.严格证明:严格证明极其困难。从1986年起,张同先后带领他的9位学生从简化模型入手,逐步向欧拉(Euler)方程逼近,主要进展如下:
C1.最简模型(单个守恒律)已完全解决。除前述与郑玉玺合作的工作外,张同与张朋在进一步考查初值为3片常数的情形时,发展了广义特征方法,得到了冲击波相互作用时出现类马赫反射的充分必要条件。19世纪马赫在实验室中发现了马赫反射,冯・诺伊曼(von Neumann)曾给出过一个出现马赫反射的判别条件,至今有关的实验及数值模拟研究结果无数,但数学上严格的证明尚无。此结果可以认为是向这一难题迈出的第一小步。
C2.根据力学的启示,李荫藩和曾亦明于1985年在进行计算方法研究时曾将欧拉方程可拆分为零压流方程(反映惯性效应)和压差流方程(反映压差效应):
张同等进一步澄清了前者的基本波为J±,后者的基本波为R±和S±。前者的黎曼问题已由张同、盛万成、李杰权和陈绍仲完全解决。其中主要结果于1999年被收入《美国数学会专题报告》系列中。有意义的是一类新的非线性波一Dirac-Delta冲击波出现在J+和J-的相互作用中,它由密度的Delta函数支撑在冲击波面上而构成,描述了质量在低维流形上的集中现象。(最有趣的是此一新现象在欧拉方程的数值实验中也有所反映,Delta冲击波在亚音流中被磨光成smoothed delta波。)此前,这类新的非线性波由张同、谭得春和杨树礼在研究一个非物理的守恒律组时发现,除澄清了它出现的数学机制及传播规律外,还证明了它对粘性扰动的稳定性。关于Dirac-Delta冲击波的研究至今不断。
压差流为跨音流,共分12类。在超音光滑解的范围内,张同和戴自换发现了方程的一种“特征分解”,进而证明了静止气体向真空的膨胀(第一类情形的极端情况)存在超音解,它不含间断,波的相互作用锥的边界由特征和真空构成。
C3.欧拉方程:20世纪五六十年代苏美学者曾考虑过静止气体向真空的膨胀,但问题远未解决。1999年张同的前学生李杰权,经过数年的探索,十分巧妙地找到了一组黎曼不变量,将非性双曲型方程组变换成线性退化双曲型方程组,从而圆满解决了该问题,终于跨出了严格证明“猜想”的第一步,这是高维欧拉方程非轴对称解大范围存在性的第一个证明。
还应该提及的是,张同和郑玉玺曾将4片常状态的初值推广为无穷多片常状态,而考虑欧拉方程的轴对称解,将问题归结为一个三维动力体系的奇点连接问题。不同于有关经典理论,此时轨道可通过间断(冲击波)来过渡。他们经过精细分析将问题完全解决,共构造出5类解,其中包含了漩涡、真空、冲击波、疏散波及常状态的不同组合,并找到了一个漩涡的精确解。
1996年,张同与杨树礼联名申报中国科学院自然科学奖时,所长龙瑞麟写信征集美国国家科学院J.格利姆(Glimm)院士(2004年获美国国家科学奖章)的评议意见。格利姆在回信中写道:
“张教授关于气体动力学中二维黎曼问题的工作,在国际学术圈中定义和领导了一个极其重要的研究方向。我认为二维黎曼问题是非线性守恒律研究中最重要的理论问题。张教授对此问题已经做出了权威性的(definitive)贡献。他的工作是原创性的纯理论的,之后被补充以数值计算的研究。”
“张同教授的主要成就是对全部二维黎曼解给出了一套内容丰富的图像,这些图像远远超过了人们过去的认识,并引发出广为传播的兴趣。”
是年,张同和杨树礼同获中国科学院自然科学奖二等奖。1984年以来张同曾多次应邀赴美、德、法、日、台、港、澳开展合作研究、进行学术访问、参加国际会议。1989年8月在日本召开的“非线性偏微分方程及其应用研讨会”上做90分钟邀请报告。1998年12月在北京召开的“第一届世界华人数学家大会”上做45分钟邀请报告。
张同和他的9位学生在1986至1998年间的有关工作汇集成一本专著《气体动力学中的二维黎曼问题》,它也被收入了英国朗文出版社著名的Pitman丛书中,于1998年出版。2000年,美国数学会的《数学评论》杂志上发表的书评中称这一研究群体为“中国学派”。
2004年张同和李杰权、张朋同获北京市科学技术奖一等奖。
研究课题:气体动力学
1986年,张同和郑玉玺完成了论文《气体燃烧理论的黎曼问题》,美国《微分方程杂志》的审稿意见称:“此文给出了具反应项的一维气体动力学方程黎曼问题第一套完整的解。此问题于1945年由柯朗和弗里德里希斯基本上按同样的形式提出,并给出了一个特解。直到此文出现之前,人们关于这个问题的认识差不多一直停留在那个状态。……它是一个巨大进展,且肯定会给此题目的研究带来崭新的面貌。……一个重要的问题……确实是一次有价值的努力。”此后,张同在1988年美国数学会和美国工业及应用数学会联合主办的《夏季讨论会》上对此问题提出了一套全面的构想:考虑了反应速度从有限(ZND)到无限(CJ);粘性从有到无,方程从最简模型到气体动力学。经过他与合作者的不断努力,已完成论文6篇。对最简模型这套构想已基本得到证明,对气体动力学方程也取得了一些实质性进展。
张同性格开朗,待人真诚;淡泊名利,甘于寂寞;坚持探索,独创一派。他带领学生们经过40年的不懈努力,终于在一个重要的难题上开创出一条新路。他曾说:“我喜欢数学就像我喜欢音乐一样,都是为了追求世上的美”。他总是陶醉于数学和音乐的美好境界之中,快乐地与学生们一起做着他们自己的数学,也品味着人生。他还说:“中国数学界有许多人比我聪明,比我用功,我非常佩服他们。就我个人而言,只是很幸运地来到了数学所这块宝地,很幸运地选了一个好题目,把精力都集中到了这个小小的领域中,形成了一点特色而已,它的真正的价值还有待时间的考验。”“这个题目的攻坚战才刚开始,我最大的愿望是能有青年人把我们找到的这条路坚持走下去,胜利正在向他们招手”。
张同_张同[数学家] -人物年表
1932年12月9日 出生于重庆兴隆巷。
1950-1951年 解放军二野十一军三十一师文工队队员。
1952-1953年 在重庆大学数学系学习。
1953-1956年 在四川大学数学系学习。
1956年9月 中国科学院数学研究所任研究实习员;1962年4月任助理研究员;1979年3月任副研究员;1986年6月任研究员、博士生导师。
1998年5月退休、返聘。
张同_张同[数学家] -主要论著
1 柯召,张同.矩阵代数的反自同构.四川大学学报,1956,2:41-48
2 丁夏畦,马汝念,王康廷,张同.二阶常系数偏微分方程椭圆性的定义.科学记录,1960,4:126-128
3 张同,郭於法.空气动力学方程的一类初值问题.数学学报,1965,15:386-396
4 Ding Xia-Qi,Zhang Tong,Wang Ching-Hua,Hsiao Ling,Li TsaiChung. A study of a global solutions for quasilinear hyperbohc system of conservation laws. Sci. Sinica, 1973, 16: 317―335
5 张同,李才中,肖玲,非凸典型拟线性双曲组的一类初值问题的整体解.科学通报,1975,11:506―507
6 张同,李玲.非凸一维绝流的黎曼问题.数学学报,1979,22:719―732
张同_张同[数学家] -参考资料
[1] 中国数字科技馆http://www.cdstm.cn/zhuanlue/persondetails.jsp?personid=175911