冯康

中国科学院院士、数学家、计算数学家

冯康(1920年9月9日-1993年8月17日) ,出生于 江苏省 南京市 , 绍兴市 人,数学家、计算机科学家 、物理学家 。他是中国有限元方法的创始人、中国计算数学与科学工程计算学科的奠基人, 曾任 中国科学院 院士、中国科学院计算中心名誉主任、中国计算数学学会理事长和名誉理事长。

冯康于1939考入重庆 中央大学 电机工程系,两年后转入物理系;1945年至1951年,冯康先后在 复旦大学物理系 、 清华大学物理系 和数学系任助教;1951年调到 中国科学院数学与系统科学研究院 ,担任助理研究员,后在苏联斯捷克洛夫数学研究所工作。1957年,冯康调入 中国科学院计算技术研究所 ,参加了中国计算技术和计算数学创建工作,1978年起任 中国科学院 计算中心主任。 1980年,他当选为 中国科学院院士 。 1993年8月17日,冯康逝世于 北京市 。

冯康的研究领域涵盖 拓扑群 、 广义函数 、 应用数学 、计算数学、科学与工程计算。他提出的“最小几乎周期拓扑群”解决了结构 表征 问题;建立了广义函数的 泛函 对偶 定理 ;开创了有限元方法;提出了自然边界 归化 和超 奇异积分 方程 理论,发展了有限元边界元自然 耦合 方法;首创 辛几何 计算方法。 冯康曾获得1982年度 国家自然科学奖 二等奖 和1987年度 国家科学技术进步奖 二等奖,在1997年被追授 国家自然科学奖一等奖 。

人物经历

1920年9月9日,冯康出生于 江苏省 南京市 ,原籍 绍兴市 ,少年时代家居 苏州市 ,他的父亲是知识分子,长年在外做文职职员,母亲操持家务,全家靠父亲薪金收入,生活水平算是中等,父亲主张让子女受到现代教育,冯康兄弟姐妹从小都很用功读书。

1926年开始,冯康先后在 江苏省苏州中学校 所属实验小学、初中部及高中部就读,学业一贯优异。中学以后,他对物理和数学有了浓厚的兴趣,这为他以后的科学生涯定了基调。

1937年,抗战开始不久,家乡遭受敌机轰炸,学校解散,随后 江南 地区沦陷。冯康和当时大多数爱国青年一样,痛恨 日本 侵略军,对抗战胜利抱着希望,离开沦陷区转到后方。

1938年秋,他随家迁至 福建省 ,有半年在家中自学,读的是 萨本栋 的《普通物理学》 。

1939年春,他以同等学历考入福建 协和学院 数理系学习,同年秋季重新考入重庆 中央大学 电机工程系学习,两年后转物理系。在大学时期兼修了电机、物理、数学三系的主课,这一基础背景对他后来的发展也起了独特的作用。

1944年,毕业后他的科学方向转为数学,主要从事 纯粹数学 研究。

1945年,担任 复旦大学 数学物理系助教(至1946年)。

1946年,担任 清华大学物理系 及数学系助教(至1950年)。

1951年,担任 中国科学院数学与系统科学研究院 助理研究员(至1956年),同年进入 苏联 斯捷克洛夫数学研究所进修(至1953年),自此期间先后受教于风格各异的数学家 陈省身 、华罗庚和苏联的Л.C. 列夫·庞特里亚金 。

1957年,进入 中国科学院计算技术研究所 工作,负责科学与工程计算及计算数学的学术指导工作,他的科研方向转为 应用数学 与计算数学,先后担任副研究员、研究员(至1978年)。

1978年,从 中国科学院 计算技术研究所分立,创立了中国科学院计算中心,出任中心主任(至1987年)。

1980年,当选为 中国科学院院士 。

1987年,担任中国科学院计算中心名誉主任。

1990年,在冯康的倡导、并亲自筹备和组织下成立中国科学院科学与工程计算国家重点实验室,该实验室由原中科院计算中心从事计算数学研究的部分课题。

1993年8月17日,逝世于 北京市 。

主要成就

科研成就

•  拓扑群 研究

冯康最早的工作(没有发表)是 辛群 的生成子和四维数 代数基本定理 的拓扑证明。接着他研究 周期拓扑群理论,这是1934年由 约翰·冯·诺依曼 创始的,与酉阵表现密切相连。按照群所有的酉阵表现的多寡分出两种极端类型:极大殆周期群-有“足够多”的酉阵表现;极小殆周期群-没有非平凡酉阵表现。1936年A. 安德烈·韦伊 (Weil)及H.弗勒登塔尔(Freudenthal)解决了极大群的 表征 问题,它们就是紧群与 欧几里得 向量 群的直积。1940年冯·诺依曼及E.威格纳(Wigner)对于极小群作出了重要进展,但其表征问题一直没有解决。

1950年,冯康率先对线性李(Lie)群(及其覆盖群)解决了这一问题:没有非平凡酉阵表现的充要条件是“本质上”不可交换与非紧。这一成果在后来的表现论和物理应用中愈显出其重要性。

•  广义函数论 研究

1954年起,冯康开展广义函数系统性理论(50年代初L.施瓦尔茨(Schwartz)提出)的研究,发表了《 广义函数论 》长篇综合性论文,也含有一些自己的新成果,推动了这项理论在中国的发展。他还建立了 广义函数 中离散型函数(δ函数及其 导数 )与连续型函数之间的对偶 定理 。他应 华罗庚 的建议,建立了广义 梅林变换 理论,对于 偏微分方程 和解析函数论等均有应用,国外迟至60年代才出现类似的工作。

• 计算数学研究

1957年根据国家12年科学发展规划,中国要填补电子 计算机 研制与应用领域的空白,冯康调往新成立的计算技术研究所,参加中国计算技术与计算数学的开创工作,由于他在物理及数学方面的坚实基础和渊博知识,为他在计算数学领域的业务指导工作及他个人的研究工作起了重要作用。他作为计算数学这门新兴学科的先行者和带头人,特别重视理论和实践的结合。

在冯康的指导下, 中国科学院计算技术研究所 第3研究室承担了大量的国防、 国民经济 各部门的实际计算任务。冯康亲自讲授了有关的物理、力学知识及计算数学理论,对所有的课题都亲自过问,进行具体的指导;在天气数值预报、大型水坝 应力 计算、 核武器 内爆 分析与计算、核武器 中子 迁移 方程 计算、航天运输工具的高速 空气动力学 计算、 大庆油田 地下油水驱动问题、飞机翼气动力颤振性计算、 汽轮机叶片 流场计算、 流体力学 稳定性计算等方面取得了一系列学术上有创见性的理论成果及实际效果,并为 电子 计算机 及其应用的普及推广做出了开创性的成绩。

• 有限元法的创始

20世纪50年代末,冯康在解决大型水坝计算问题的 集体研究 实践的基础上,独立于西方创造了一整套解 微分方程 问题的系统化、现代化的计算方法,当时命名为基于 变分原理 的差分方法,即现时国际通称的有限元方法,其系统的理论、总结论文《基于变分原理的差分格式》被刊于1965年《应用数学与计算数学》,是中国独立于西方系统地创始了有限元法的标志,该文提出了对于二阶椭圆型 方程 各类 边值问题 的系统性的 离散化 方法。为保证几何上的灵活适应性,对区域Ω可作适当的任意剖分,取相应的分片 插值 函数,它们形成一个有限 维空间 S,是原问题的解空间即C.Л. 索伯列夫 (Соболев) 广义函数 空间H1(Ω)的 子空间 。基于 变分原理 ,把与原问题等价的在H1(Ω)上的正定二次泛函数极小问题化为有限维子空间S上的 二次函数 的极小问题,正定性质得到严格保持。这样得到的离散形式叫做基于变分原理的差分格式,即当今的标准有限元方法。文中给出了离散解的稳定性 定理 、逼近性定理和收敛性定理,并揭示了此方法在 边界条件处理 、特性保持、灵活适应性和理论牢靠等方面的突出优点。这些特别适合于解决复杂的大型问题,并便于在 计算机 上实现。

• 自然边界 归化 及自然边界元方法的提出

20世纪60年代以来,有限元方法对于求解有界区域的椭圆 边值问题 取得了极大的成功,被广泛应用于 工程技术 和科学计算中,是计算数学的重大成就。但是有些实际计算问题的计算区域是无界的,用有界区域来近似无界区域时,为达到所需的精度,会使计算量大大增加,边界元方法是解决此问题的一种有效途径。关于对 微分方程 作边界归化的思想,早在上一世纪就已出现,但应用于数值计算却是本世纪60年代才开始,这就是边界元方法,即将微分方程归化为边界上的 积分方程 。

由于 归化 的方法不同,各种边界元方法的数值效果也不尽相同。冯康根据这类问题的物理特性,引用 雅克·阿达马 (Hadamard)型超奇异核,提出自然归化的概念,即通过自然归化后,能量不变,从而保持了问题的本质不变。在这个概念下,他提出了自然边界元方法。该方法除所有边界元方法共有的优点外,还具备许多独特之处:由于通过自然归化后能量不变,使原来椭圆型 边值问题 的性质都保留,从而保证了自然积分方程的解的存在性、唯一性及稳定性,并且也保证了与有限元方法自然而直接地 耦合 ,由此形成一个有限元与边界元兼容并蓄而自然耦合的整体性系统,能够灵活适应于大型复杂问题,便于分解计算。这是当前与 并行计算 相关而兴起的区域分解方法的先驱工作。作为特例,冯康对 赫尔曼·冯·亥姆霍兹 ( 亥姆霍兹陨击坑 ) 方程 建立了与经典的无穷远处的索墨菲尔德( 索末菲环形山 )辐射条件相对应的有穷远处的积分型辐射条件,具有理论与应用的价值。

20世纪70年代,在间断有限元理论方面,冯康建立了间断函数类的 亨利·庞加莱 (Poincaré)型 不等式 ,并在此基础上建立了间断有限元 函数空间 的嵌入理论,这在国际上是先进的。

冯康还将椭圆方程的经典理论推广到具有不同维数的组合 流形 ,即由不同维数的流形组成的几何结构,在国际上为首创,为组合弹性结构理论提供了严密的 数学基础 ,解决了有限元法对于组合结构的收敛性问题。此项工作的成果,被写进了专著《 弹性结构的数学理论 》,受到工程界的欢迎。鉴于诸如机器人以及 空间站 等高度复杂结构的出现,这一方向会有很大的发展前景,现正由他的学生和一些国外学者在继续工作。

与此同时,冯康对传统的将椭圆 方程 归化 为边界 积分方程 的 弗雷德霍姆 (Fredholm)理论作了重要发展,提出自然归化的概念作为边界归化的标准方法,形成了自然边界元方法,它能和有限元法自然 耦合 而统于一体,实质上成为后来兴起的适合于 并行计算 的区域分解法的先驱。

冯康倡导的自然边界元方法被国内外专家称为当今国际上边界元方法的三大流派之一。

•   哈密顿 体系哈密顿算法的创立

1984年起,冯康将研究重点从以椭圆方程为主的平衡态 稳态 问题转向以哈密顿方程及 波动方程 为主的动态问题。同年在微分几何和 微分方程 国际会议上发表的论文《差分格式与辛几何》,首次系统地提出哈密顿方程和哈密顿算法(即辛几何算法或辛几何格式),提出从辛几何内部系统构成算法并研究其性质的途径,提出了他对整个问题领域的独特见解,从而开创了哈密顿算法这一新领域,这是计算物理、 计算力学 和计算数学的相互结合渗透的前沿界面。自此以后,冯康领导中国科学院计算中心的一个研究小组,将纯理论的 辛几何 和现代的科学工程计算有机地结合起来,系统地开展了这方面的研究。

• 发展中国科学事业

冯康还为中国计算数学学科的发展多次提出重要的指导性意见,如,创办中国性的计算数学学术刊物,成立中国计算数学学会;向中央领导同志提出紧急建议,呼吁社会各方面重视科学与工程计算,倡议成立科学与工程计算开放实验室,倡议将科学与工程计算列入国家基础研究重点项目等等。特别是,他论证了“实验、理论、计算已成为科学方法上相辅相成的而又相对独立,可以相互补充代替而又彼此不可缺少的三个重要环节”,指出“科学与工程计算作为一门工具性、方法性、边缘交叉性的新科学已经开始了自己的新发展,它包括了近年不断形成的各个计算性学科,如计算数学、计算物理、 计算力学 、 计算化学 以及计算地震学等各种计算性工程学。计算数学则是它们的联系纽带和共性基础”。说明了计算手段对于科学技术进步的重要性和迫切性,从而在科学技术发展的战略高度上阐明了科学与工程计算的地位和作用,这将有力地促进计算数学在中国的 四个现代化 中发挥它应有的作用。后来,科学与工程计算开放实验室建成,“科学与工程计算的方法和理论”被列为“八五”期间国家重点关键基础研究项目,冯康为该项目的首席专家。

• 科研成果奖励

人才培养

冯康注重培养年轻优秀的人才,在他的指导与关怀下,中国科学院计算中心计算数学专业逐步形成了一个年轻的优秀人才梯队,1980年与1988年两度中国最年轻的研究员都出在计算中心,都是在他的亲自关怀下成长的。截至1993年,根据 中国科学技术信息研究所 、国家工程技术数字研究馆信息、全国图书馆参考咨询联盟,冯康培养学生情况如下:

荣誉表彰

社会兼职

个人作品

主要论著

1Feng Kang. Minimally almost perio dic to pological groups. Science Record (Academia Sinica), 1950, 3(2): 161-166.

2冯康。广义函数论。数学进展,1955,1(3):405-590.

3冯康。 广义函数 的 对偶 关系。数学进展,1957,3(1):201-208.

4冯康。广义Mellin变换。数学学报,1957,7(2):242-267.

5冯康。基于 变分原理 的差分格式。 应用数学 与计算数学,1965,2(4):237-261.

6冯康。组合 流形 上的椭圆 方程 和组合弹性结构。计算数学,1979,1(3):199-208.

7冯康。间断有限元理论。计算数学,1979,1(4):378-385.

8冯康。 微分 和积分方程、有限和无限元。计算数学,1980,2(1):100-105.

9冯康, 石钟慈 。弹性结构的数学理论。 北京 :科学出版社,1981.

个人生活

冯康家中有兄妹四人,冯康是家中的老二,大哥冯焕赴美留学,任 通用电气 工程师;妹妹冯慧是中科院动物研究所研究员,妹夫叶笃正是气象学家, 中国科学院院士 ;弟弟 冯端 是物理学,中国科学院院士。

冯康由于在抗战初期患 骨结核 ,并因在困难环境下失医,使脊椎致残,给他的生活带来过不少折磨和痛苦。

人物评价

冯康是中国计算数学的先驱和创始人,对中国计算数学事业所做的杰出贡献,为组建和指导中国计算数学队伍做出了重大贡献,带领一个小组的 科技人员 走出了从实践到理论,再从理论到实践的发展中国计算数学的成功之路,是世界数学史上具有重要地位的科学家。 (《 科学新闻 》评)

冯康学识渊博,对于物理学、数学、 计算机科学 等领域都有较深的知识。在科学研究上,他总是能把握住事物的本质,运用 辩证法 进行分析,发现和抓住在理论上和应用上都有广阔的发展前景的课题,提出独到的思想见解,并应用过硬的基本功去解决具体困难,成功地开创新方向、新道路,开辟一个又一个有重要实际意义的新领域,带领一批又一批人在新方向上做出卓越的贡献。 (《 中国新闻出版报 》评)

冯康在科研工作中提倡理论联系实际和对科学的严谨态度。他对于理论上的问题一丝不苟,对于每提出的一种计算方法都是在实际计算中检验,对于经过考验的好的计算方法都努力推广使用,使其变为生产力,为四化建设服务。他不仅自己身体力行,而且对于科研人员也是这样要求。 ( 中国科学院 计算中心评)

中国近代数学能够超越西方或与之并驾齐驱的主要原因有三个,主要是讲能够在数学历史上很出名的有三个:一个是 陈省身 教授在示性类方面的工作,一个是 华罗庚 在多复变函数方面的工作,一个是冯康在有限元计算方面的工作。 (1997年春 丘成桐 在 清华大学 所作题为“中国数学发展之我见”的报告)

后世纪念

1994年,设立 冯康科学计算奖 (FengKangPrize),于1995年首次颁发,用于纪念 中国科学院院士 冯康,旨在奖励在科学计算领域做出突出贡献的海内外年龄低于45岁的华人科学家。

参考资料

  1. 冯康的科学生涯——我的回忆 腾讯网 2024-03-19
  2. 纪念冯康先生 纪念冯康先生 2024-03-19
  3. 科学人生百年-冯康 科学人生百年 2024-03-19
  4. 冯康:将科学研究与国家应用结合起来 中国科学院 2024-03-19
  5. 个人简况 中国科学院 2024-03-19
  6. 冯康的计算数学人生 中国科学院科普云平台 2020-01-08
  7. 冯康 中国科学院 2020-01-08