要介绍沙可夫斯基的学术贡献,我们不妨从离散混沌理论讲起。离散混沌理论最著名的奠基性数学原理就是李天岩–约克的“周期三意味着混沌”定理(T.-Y. Li and J. A. Yorke, “Period three implies chaos”, American Mathematical Monthly, 1975, 82: 985–992)。这条定理说的是一个从区间到区间的连续映射如果有周期3的解的话,它就是“混沌”的。具体一点的通俗表述如下:考虑一个连续映射 。假定存在一个点 ,满足 或者 ,这里 是映射 的 次迭代。那么: (1)对任何一个正整数 ,映射 都有周期 的解。 (2)在区间中存在一个不可数的点集,使得映射 从其中任何一个点出发的迭代结果数列既不是周期的,又不趋向于任何一个周期解,以致它的最终走向是不可预测的混乱。由此可以推出,映射 对初始条件具有高度的敏感性。 映射 在上述意义下是“混沌”的。显然,如果 ,即映射 有周期3的解,这满足定理的条件,从而定理的结论说 便有所有正周期的解。1975 年,约克在德国东柏林举行的“第七届非线性振荡国际会议”上报告了这条“李–约克定理”。那次会议是在Spree河的一条船上举办的。在船上,沙可夫斯基友好地对约克说:你这“周期三意味着所有周期”的结论呀,我在十年前的文章里就已经证明了,而且我把其中的周期隐含规律都说清楚了。不过,沙可夫斯基说的论文是用俄文发表在乌克兰数学杂志上的(Co-existence of cycles of a continuous mapping of the line into itself, Ukrainian Mathematical Journal, 1964, 16: 61–71),约克当然无从知晓。沙可夫斯基定理的大意是,如果把所有的正整数 按如下的次序排列起来:那么,对于一个连续映射 ,如果 有周期为 的解并且在上面从左至右的次序中 排在 左面的话,则 也有周期为 的解。定理中的符号 除了表示次序还表示前后两个周期数的依赖关系。本质上,沙可夫斯基定理是一个拓扑学结论。它的确包括了李–约克定理中的第一部分,即如果该映射有周期为3的解,那么它就有所有其它正整数周期的解。但是,它完全没有涉及到李–约克定理中的第二部分,即该映射对初始条件的高度敏感性。而现代的混沌数学理论正是建立在这个最根本的敏感性条件之上,与“具有所有周期”这一特性其实关系不大。因此,今天学术界里说的李–约克定理,指的只是它的第二部分。不过,尊重原文的历史性标题,也为了让普通读者容易记住,习惯上大家还是保留原来的说法,即李–约克定理是一个关于“周期三意味着混沌”的有趣结论。沙可夫斯基是以他上面这条数学定理闻名于世的。不过,沙可夫斯基的这个研究成果并非一蹴而就。早在1960 年,当沙可夫斯基还是个在读研究生时,他就研究了诸如 的迭代过程,并总结起来发表了文章“一维迭代过程收敛的充分必要条件”(Necessary and sufficient conditions for the convergence of one-dimensional iterative processes, Ukrainian Mathematical Journal, 1960, 12, no. 4),证明了在所有指标 时迭代周期的排序:。次年,他又发表了文章“单实变量连续函数的可约性及其相应迭代过程稳态点的结构”(The reducibility of a continuous function of a real variable and the structure of the stationary points of the corresponding iteration process, Dokl. Akad. Nauk SSSR, 1961, 139(5): 1067–1070),证明了在指标 时对所有 的迭代周期的排序:。而上面所说的那条完整的著名定理,是他 1962 年投稿最后于 1964 年正式发表的。
图2 天性乐观的沙可夫斯基
1967年,沙可夫斯基第一次出国,到了捷克首都布拉格参加一个关于非线性振荡的国际会议。会上,他报告了对一维差分方程 的研究,其中介绍了上面那条关于不同周期的周期解共存和排序的定理。会议组织者在会议论文集发表了几乎所有与会报告的全文,却仅用一页纸以摘要形式刊登沙可夫斯基的报告(Proc. 4th Conf. on Nonlinear Oscillations, Academia, Prague, 1968, p. 249)。组委会负责人对他解释说,你那个结果只是基于最简单差分方程的颇为奇怪的自然数排序,很难与深刻的非线性振荡理论联系起来。而事实上,那个时代的许多数学家对一维动力系统都带有类似的偏见。于是,这条漂亮的定理就像睡美人一样沉睡了十多年,直到沙可夫斯基遇见约克之后,因为它支持了离散混沌理论,才引起数学界的广泛兴趣和关注。沙可夫斯基定理后来被翻译为英文(P. Stefan, A theorem of Sharkovskii on the existence of periodic orbits of continuous endomorphisms of the real line, Commun. Math. Phys. 1977, 54, 237–248)。顺便提及,Sharkovsky ordering的称谓,首先出自德国数学家 Peter Kloeden的文章“关于沙可夫斯基共存周期排序”(On Sharkovsky’s cycle coexistence ordering, Bull. Austral. Math. Soc., 1979, 20, 171–177)。1994年6月,数学家们在西班牙La Manga召开了题为“沙可夫斯基定理之后30年:新视觉”(Thirty years after Sharkovsky’s theorem: New perspectives)的国际会议,特别回顾并表彰了沙可夫斯基的杰出贡献。
1995年,著名俄裔美国数学家Yakov G. Sinai 在他的专著《遍历理论的现代问题》(Modern Problems of Ergodic Theory)第11章“沙可夫斯基序和费根鲍姆数的普适性”中写道:“大约 20 年前,我持有一种平常心态,认为一维动力系统的结构相对简单,可以被完全理解;此外,对一维成立的论断一般在高维情形都没有类似结果。但后来的发展表明,这两种看法都是错误的。一是在这里发现了令人惊讶和意想不到的新模式,二是其中一些结果可以很自然地转移到任何维度的案例中”。
图4 约克在庆祝沙可夫斯基82岁生日学术会议上发言
沙可夫斯基毕生的数学研究集中在动力系统理论、微分和差分方程、数学物理和拓扑学。沙可夫斯基一生发表了约250篇论文和7本专著,留下了上面提及的著名Sharkovsky ordering, 以及Sharkovsky space, Sharkovsky set, Sharkovsky stratification, maximum period in the sense of Sharkovsky, 等等。他发展了一维动力系统的拓扑理论基础,研究了各种点集吸引流域的拓扑结构,并建立了动力系统简单性和复杂性的一些判别标准。他在任意紧集上的动力系统的一般理论中获得了一批基本结果。特别是,他证明了动力系统吸引子的不可压缩性。他还描述了几乎所有动力系统的全局稳定性类型,并为具有不同渐近线的轨道组成的集合给出了精确的界限描述。更重要的是,他开创了动力系统理论的一个新方向:组合动力学。此外,他还研究了数学物理的无限维动力系统和非线性边值问题,并提出了一个“理想湍流”概念,用确定性数学系统来模拟时间和空间中复杂的湍流特性。
沙可夫斯基于1936年12月7日出生在乌克兰基辅,自小喜欢数学。1951年,他在中学参加过基辅青年数学家奥林匹克竞赛并获一等奖。1953–1958年,他进入了基辅的国立Taras Shevchenko大学,就读于数学力学学院。毕业后,1958–1961年间他在基辅的乌克兰科学院数学研究所读研究生。1961年,他以题为“一维迭代过程的若干理论问题”(Some problems of the theory of one-dimensional iterative processes)的毕业论文获博士学位,后来于1967年以“关于离散动力系统的-极限集”(On -limit sets of the discrete dynamical systems)为题的博士论文获国家科学博士学位。沙可夫斯基1961年获得博士学位之后毕生都在基辅的乌克兰科学院数学研究所工作,直至离世。期间,1964–1983 年、1999–2000年以及 2014年之后,他也在母校国立Taras Shevchenko大学兼任数学教授。沙可夫斯基在乌克兰科学院数学研究所工作期间,于1974–1987年担任微分方程研究室主任、1987–2017年担任动力系统理论研究室主任。2017年他80岁正式退休,成为荣休资深研究员。沙可夫斯基1978年被选为乌克兰科学院通讯院士,2006年成为正式院士。他获得的主要荣誉包括:
多年来,沙可夫斯基一直是我目前主编的《国际分叉与混沌杂志》(International Journal of Bifurcation and Chaos)的荣誉编辑。不幸的是,从现在起我与他联络的通讯邮址asharkov@imath.kiev.ua 变成了一个静默的历史记号。今天,我谨以这篇短文感谢他的支持和贡献,并表达对他的崇敬和怀念。