為導(dǎo)師起草書稿，卻意外收獲博士論文……

部分研究生不大會自己找題目做研究，而是“等米下鍋”。美國南密西西比大學(xué)數(shù)學(xué)系教授丁玖回憶了自己求學(xué)和論文選題、寫作的特別經(jīng)歷。

撰文 | 丁玖（美國南密西西比大學(xué)數(shù)學(xué)系教授）

新冠疫情爆發(fā)前，我回國學(xué)術(shù)訪問、與教授們交流時，他們提到，部分研究生不大會自己找題目做研究，而是像課堂考試等發(fā)試卷那樣，等導(dǎo)師指定一個研究論題?！班祦碇场笨倹]有自助餐吃得舒暢。我們都知道，農(nóng)家自由放養(yǎng)的草雞味美汁鮮，遠非集體圈養(yǎng)的肉雞可比。蓋因肉雞飯來張口，食譜單調(diào)；而草雞到處覓食，營養(yǎng)豐富。草雞的市場價錢，也因此比肉雞貴許多。我小時候住在父母的學(xué)校教工宿舍，下雨前最愛在操場上，用大掃帚拍捉矮飛的蜻蜓來喂雞，因為它們給我們下蛋吃呢。就像念書時，視野不應(yīng)囿于教科書的方寸紙頁，選擇學(xué)位論文研究課題時，也最好能處處注意，主動出擊。就我而言，博士論文的選題雖然出于偶然得之，事先可能連導(dǎo)師李天巖（1945-2020）教授也沒想到，卻是“到處留心皆學(xué)問”的結(jié)果。其實，我赴美后寫的第一篇研究文章，是得益于我南大老同學(xué)魏木生博士的先驅(qū)性工作，而與導(dǎo)師涉足的幾個領(lǐng)域無關(guān)。雖然它未被放入我的博士論文，其誕生機緣卻與后來的學(xué)位論文有異曲同工之處。

為準確起見，本文將引進一些數(shù)學(xué)概念。我將用初等或幾何語言，以及比喻類比，來描述概念，即便讀者不全懂數(shù)學(xué)內(nèi)涵也無妨。性急的讀者不必望而生畏而減少繼續(xù)讀下去的勁頭，希望所講故事的戲劇性和啟發(fā)性燃起他們更大的閱讀火苗。

“找米下鍋”

我讀博階段的第一項研究，是關(guān)于虧秩矩陣最小二乘解的攝動理論。最小二乘法祖師爺之一高斯（Carl Friedrich Gauss，1777-1855）早在十八歲時就已萌生出該法的思想。作為哥廷根大學(xué)天文臺臺長的他，在研究天文觀測數(shù)據(jù)時發(fā)明了最小二乘法。這在幾何上與平面上給定試驗數(shù)據(jù)點的曲線擬合有關(guān)。比如說，設(shè)想在直角坐標平面上有十個點，可以看成是某個試驗結(jié)果的十組數(shù)據(jù)。它們一般不會恰巧沿著一條直線排列。但是，我們能不能畫出一條直線，使得它和這些點的“垂直距離”的平方之和最小？這就是“最小二乘問題”的簡單一例。它的答案是肯定的，其解法就是“最小二乘法”。最小二乘問題由一個矩陣確定，它是排成幾行幾列的一組數(shù)字。對于“滿秩”矩陣（即矩陣的“秩”等于行和列數(shù)之較小值），最小二乘的理論與算法已很成熟，構(gòu)成了計算數(shù)學(xué)子學(xué)科數(shù)值線性代數(shù)的一部分。

我的大學(xué)同學(xué)魏木生，在七七級江蘇高考中數(shù)學(xué)全省第一——正題及附加題皆為滿分，本科畢業(yè)后公費去了美國布朗大學(xué)留學(xué)，1986年獲博士學(xué)位。他的博士論文是關(guān)于散射波計算，這需要考慮最小二乘問題。但此時矩陣不再是滿秩的，而是“虧秩”的，即矩陣之秩小于矩陣的行和列數(shù)。他在文獻中找不到現(xiàn)成的虧秩問題攝動理論可供參考。有次在學(xué)術(shù)會議上，魏木生遇到數(shù)值代數(shù)大人物、美國科學(xué)院與工程院雙院士、斯坦福大學(xué)計算機科學(xué)系的高露博（Gene Howard Golub，1932-2007）教授，便向他求教。對方的回答讓他相當驚訝：還沒有人認真研究過此類問題。于是魏木生決定，自己動手打下這個新領(lǐng)域的第一根樁。1989年，他關(guān)于虧秩矩陣最小二乘攝動理論的首篇論文刊登于期刊《線性代數(shù)及其應(yīng)用》（Linear Algebra and Its Applications）。

1986-87學(xué)年，魏木生在明尼蘇達大學(xué)數(shù)學(xué)及其應(yīng)用研究所做博士后。1987年秋，魏木生來我讀博的密歇根州立大學(xué)數(shù)學(xué)系，繼續(xù)他的博士后研究。李天巖教授在六七個申請者中挑選了他，因為柯朗數(shù)學(xué)科學(xué)研究所的大數(shù)學(xué)家拉克斯（Peter Lax, 1926-）教授寫了一封有力的推薦信。能讓拉克斯提筆寫信的人，當然絕非等閑之輩。的確，魏木生之所以得此殊榮，是因為他在博士論文中，推翻了拉克斯散射波理論專著的一個觀點。整整一學(xué)年，我們兩個老同學(xué)經(jīng)常偕家人驅(qū)車去購物，共同度過了許多愉快的時光。就在那個秋學(xué)季，我拜讀了魏木生寫的幾篇文章，覺得非常有意思。

魏木生博士的開創(chuàng)性工作，本質(zhì)上是通過估計虧秩最小二乘問題攝動解的誤差上界，論證了一般最小二乘解的“上半連續(xù)性”。自然界許多現(xiàn)象都是連續(xù)的，比如水是連續(xù)流動的。“解的連續(xù)性”大概是說，當所解問題的數(shù)據(jù)稍有變化時，解的變化也不大。為了能夠應(yīng)用矩陣論中著名的“奇異值分解定理”，他不得不使用以一百年前德國數(shù)學(xué)家弗羅貝尼烏斯（Ferdinand Georg Frobenius，1849-1917）名字命名的一種矩陣范數(shù)。這個范數(shù)是把m行、n列矩陣的所有元素排成有mn個分量的向量，再計算出該向量的歐幾里得范數(shù)（即所有分量平方求和，再開平方根）。讀畢全文，一股強烈感受很快涌上我的心頭：文章結(jié)論自然漂亮，數(shù)學(xué)分析也很精辟，但使用這個范數(shù)，總不及最小二乘問題本身定義所采用的向量歐幾里得范數(shù)來得自然。于是我主動出擊，集中精力苦苦思索，不久就有了頭緒，只用歐幾里得范數(shù)，獲得了一個較為簡潔的攝動界。

因為這是我來美后寫成的第一篇文章，完稿時我頗有點小激動。我的碩士論文從未投稿以求發(fā)表，一方面因為當時太太懷孕，我當然要盡點責(zé)任，加上后來又忙于出國留學(xué)，無暇整理；另一方面我早已對那個工作不再看重，蓋因來美后發(fā)現(xiàn)，國際上基于三角剖分的單純不動點算法研究已趨沉寂，不像七十年代到八十年代初那么紅火。而基于微分拓撲思想的現(xiàn)代同倫算法，生命力卻一直旺盛。我?guī)讉€師兄弟的博士論文，都與這個方法密切相關(guān)。我后來也將同倫延拓法的思想用于最優(yōu)化的研究。

興奮之余，我將文章初稿寄給了當時遠在日本京都大學(xué)數(shù)理解析研究所擔任講座教授的導(dǎo)師李天巖，請他提建議。李天巖教授很快回函，在三頁長信中對我文章的主要定理發(fā)表了具體意見，并在有關(guān)讀書研究的方法論上，給予了啟迪心智的評述。平時不大當面表揚學(xué)生的他，這次卻滿腔熱情地鼓勵了我，因為在做學(xué)問這件事上，我沒有“等米下鍋”，而是“找米下鍋”。按照他的觀點，這是一個研究生“應(yīng)盡的義務(wù)”。

師者傳道

對于博士生怎樣做研究，李天巖教授自己的求學(xué)經(jīng)歷就是最好示范。他三十歲前的三大學(xué)術(shù)貢獻為：八頁短文《周期三意味著混沌》首次在數(shù)學(xué)上給出“混沌”概念的精確定義；率先計算性構(gòu)造布勞威爾不動點，是現(xiàn)代同倫延拓法的開山之作；歷史首次證明了計算遍歷理論中的烏拉姆猜想。其中最有名的第一項工作，是他與博士論文導(dǎo)師約克（James Yorke，1941-）合作研究的結(jié)晶，迄今被引用超過五千九百次。這在引用次數(shù)普遍大大低于實驗科學(xué)和工程領(lǐng)域的數(shù)學(xué)論文群體中，是名列前茅的。第二篇論文的作者，除約克外又加了凱洛格（Bruce Kellogg，1930-2012）。他單獨完成的第三項成果，則提供了我博士論文的靈感源泉。

我們先回顧一下，他是怎么“走運”地寫出了天下第一篇用現(xiàn)代同倫延拓法計算布勞威爾不動點的文章。這個以荷蘭數(shù)學(xué)家命名的拓撲學(xué)大定理，在最簡單的一維情形，就是初等微積分中的介值定理，其幾何性質(zhì)人人都懂：連接一條直線兩側(cè)之點的任意連續(xù)曲線必與直線相交。布勞威爾不動點定理在二維的情形就是：閉圓盤上任意一個連續(xù)自映射（即值域包含于定義域）必有不動點，即該點被映到自己。李天巖1968年畢業(yè)于臺灣新竹清華大學(xué)，當兵一年后，去了美國馬里蘭大學(xué)數(shù)學(xué)系讀博，師從約克教授。畢業(yè)前一年的1973年，他修了凱洛格教授的課《非線性方程組數(shù)值解》。課中，教授講述了加州大學(xué)伯克利分校數(shù)學(xué)系赫希（Morris Hirsch，1933-）教授十年前發(fā)表的布勞威爾不動點定理新證明。

這個簡潔反證法的思路是：假設(shè)不動點不存在，則導(dǎo)致與拓撲學(xué)某定理相矛盾。這后一定理是說，不存在將閉圓盤映到其圓周邊界的光滑映射，使得圓周上的所有點保持不動。這些拓撲學(xué)上有趣的深刻定理，可以解釋為什么人頭頂上有處不長頭發(fā)的旋窩。李天巖聽到如此新穎的證明，喜歡思考的他頓生一計：可用該思路計算定理保證存在的不動點。因為閉圓盤是個二維區(qū)域，而圓周僅是一維曲線，對于赫?？紤]的將圓盤映到圓周的映射，定義域比值域多了一維，故存在“逆像”曲線，它起始于圓周上一點而終止于原先映射的不動點集合。只要能在數(shù)值上跟隨這條“同倫曲線”，不動點就可以算出來。主動而獨立的思維，牽引出這么奇妙的新算法！創(chuàng)造性的思想，是那些靠死記硬背定義、定理、證明的讀書者難以想象的奇跡。但是對喜歡追根求源、尋找原始思想的探索者，這卻是最自然的水到渠成。

當李天巖告訴了約克他的想法后，后者全力支持他干下去，盡管他手中還有其他研究項目，眼光深遠的導(dǎo)師知道該課題的價值。經(jīng)過兩個月編程計算，李天巖的算法思想終于實現(xiàn)——薄薄的一頁打印紙，記錄了歷史上第一個現(xiàn)代同倫算法的數(shù)值結(jié)果。將在克萊姆森大學(xué)召開的不動點算法及其應(yīng)用會議的籌委會，一聽說他們用微分拓撲思想構(gòu)造了新的同倫不動點算法，而不是沿著耶魯大學(xué)經(jīng)濟學(xué)教授斯卡夫（Herbert Scarf，1930-2015） 1967年開辟的基于單純剖分和組合技巧的單純不動點算法的路線走，馬上提供了兩張機票，邀請他們赴會宣讀論文。后來，斯卡夫在會議論文集序言中，對凱洛格-李-約克文章的新思路贊不絕口。從此，現(xiàn)代同倫延拓法進入了計算數(shù)學(xué)的大舞臺。

“憑著一股牛勁”

如前所述，李天巖教授學(xué)術(shù)生涯中三項最著名的杰出工作，都完成于他的博士生階段。其中第三篇關(guān)于“烏拉姆猜想”的論文由他獨立完成，1976年發(fā)表于美國《逼近論雜志》（Journal of Approximation Theory）。這篇文章是如何誕生的呢？1973年，約克與其合作者、波蘭科學(xué)院院士洛速達（Andrzej Lasota，1932-2006）在期刊《美國數(shù)學(xué)會匯刊》（Transactions of the American Mathematical Society）上發(fā)表了一篇現(xiàn)已成為遍歷理論經(jīng)典文獻的論文，其中證明了一個關(guān)于絕對連續(xù)不變測度的存在性定理。它斷言，定義在區(qū)間上的一類逐片拉長自映射，存在一個“不變密度函數(shù)”。密度函數(shù)是常在概率論里露面的數(shù)學(xué)對象，它是取值為非負數(shù)的函數(shù)，并且總體積分為1。即位于它的圖像之下、區(qū)間之上的“曲邊矩形”面積等于1。不變密度函數(shù)的存在性保證后，李天巖開始考慮怎樣把它計算出來?；蜓灾?，怎樣在數(shù)值上有效地逼近它。他提出了一個使用逐片常數(shù)函數(shù)的逼近法，并對洛速達和約克考慮的那類區(qū)間映射，證明了算法的收斂性。顧名思義，逐片常數(shù)函數(shù)在剖分定義域區(qū)間的那些子區(qū)間上分別取常數(shù)值。

但是李天巖卻全然不知，美國氫彈之父、波蘭裔杰出數(shù)學(xué)家烏拉姆（Stanislaw Ulam，1909-1984），在他1960年出版的一本篇幅只有一百五十頁的小書《數(shù)學(xué)問題集》（A Collection of Mathematical Problems）中，已經(jīng)提出這個方法，用來計算不變密度函數(shù)。文章寫好后，李天巖才聽說這就是十幾年前已有的烏拉姆方法。并且烏拉姆在書中猜測，只要不變密度函數(shù)存在，算法就收斂?！盀趵凡孪搿贝呱嗽谖锢砑肮こ讨杏兄匾獞?yīng)用價值的“計算遍歷理論”學(xué)科問世。李天巖文章與烏拉姆方法的“歷史性巧合”，也導(dǎo)致文章題目改動，加上了“烏拉姆猜想的一個解答”。這篇計算遍歷理論領(lǐng)域的里程碑之作最終是《弗羅貝尼烏斯-佩隆算子的有限逼近——烏拉姆猜想的一個解答》。

多年后，李天巖教授對我回憶他這篇大作的出爐經(jīng)過，十分感慨地說道：“如果我當時事先知道，這個算法的收斂性，連和馮·諾伊曼一個級別的數(shù)學(xué)家烏拉姆也未給出證明的話，可能不大敢啃這塊骨頭。”但是，年輕時的李天巖，是個“初生牛犢不怕虎”的猛士。按照自己的說法，他“憑著一股牛勁，凡事堅持到底，絕不輕易放棄?！彼J為，大人物解決不了的問題，并不能說明小人物也解決不了，大人物思考問題的途徑也不一定是解決問題的唯一途徑。在學(xué)問的道路上，只要有獨立的精神、自由的思想，只要比別人多花了一分鐘思考，就能夠?qū)⒖此评щy的問題搞個水落石出。

1987年初夏前，我在通過兩門外語（英文和中文都不算外語）考試后，一邊繼續(xù)修課，一邊積極跟上一個嶄新領(lǐng)域——線性規(guī)劃內(nèi)點算法。它與我在南大讀碩士的最優(yōu)化方向相關(guān)，起始于印度人卡瑪卡（Narendra Karmarkar，1956-）于1984年發(fā)表的一篇開創(chuàng)性論文。這個領(lǐng)域當時在國際優(yōu)化界已開始熱浪滾滾，跟進的研究者趨之若鶩。許多人甚至預(yù)測卡瑪卡在上世紀結(jié)束前將會獲得諾貝爾經(jīng)濟學(xué)獎，就像最早提出線性規(guī)劃有效計算方法的蘇聯(lián)數(shù)學(xué)家康托諾維奇（Leonid Kantorovich，1912-1986）當年那樣。不過這個預(yù)測沒有變成現(xiàn)實。李教授考慮到我的老本行是數(shù)學(xué)規(guī)劃，建議我跟上內(nèi)點算法快速發(fā)展的步伐。他的一些素有學(xué)術(shù)往來的朋友，如日本最優(yōu)化理論著名學(xué)者小島政和（Masakazo Kojima，1944-）教授，常寄來這方面的文章預(yù)印本。斯坦福大學(xué)運籌學(xué)博士葉蔭宇等幾個華人學(xué)者，也開始嶄露頭角。我力圖多了解這些最新的研究成果，慢慢靠近學(xué)術(shù)前沿，并完成了幾篇關(guān)于線性相補問題內(nèi)點算法的文章。其中與導(dǎo)師合作的第一篇，有幸在1991年發(fā)表于美國工業(yè)與應(yīng)用數(shù)學(xué)會那年新辦的《SIAM最優(yōu)化雜志》（SIAM Journal on Optimization）創(chuàng)刊號上。我曾打算將這些內(nèi)容整理成我的博士論文，但后來的結(jié)局卻是始料未及的。

西海岸之旅

1989年3月，我三歲女兒跟著她奶奶來到美國。這是我們父女首次相會，盡管她在底特律機場見到我時用一口純正揚州話對我說：“我在照片上見過爸爸的”。那年六月初春學(xué)季剛完，本學(xué)年告一段落，李教授開講的三學(xué)季課程《[0, 1]上的遍歷理論》也圓滿落下帷幕。雖然那時他的主要興趣已不在混沌和遍歷理論，而是在矩陣特征值及多元多項式方程組同倫求解，但是我們這些弟子增長了見識、開闊了眼界，對他直到八十年代中期的研究成果，有了比較清晰的了解。確實，如果對導(dǎo)師過去的工作都一無所知，那還成什么學(xué)生？要想成為好學(xué)生，不光要理解導(dǎo)師目前的工作，也需要知悉導(dǎo)師過去干了些什么，否則可被稱為一個跛足的弟子。這和怎樣對待科學(xué)史道理相同。偉大的全能數(shù)學(xué)家龐加萊（Henri Poincaré，1854-1912）告誡過我們：“如果我們想要預(yù)見數(shù)學(xué)的將來，適當?shù)耐緩绞茄芯窟@門科學(xué)的歷史和現(xiàn)狀?！边@句話被數(shù)學(xué)史名著《古今數(shù)學(xué)思想》的作者克萊因（Morris Kline，1908-1992）放在了序言的最前面。了解歷史和認識現(xiàn)狀同樣重要，因為歷史是一面鏡子。德國數(shù)學(xué)家希爾伯特（David Hilbert，1962-1943）最優(yōu)秀的弟子外爾（Hermann Weyl，1885-1955），曾經(jīng)提到自己“喜歡講授數(shù)學(xué)史”，說得非常有道理。

趁我去北加州開會之機，我們?nèi)矣媱澰诹路萦斡[一次美洲大陸西海岸，這是我來美后第一回長途旅游。

從密歇根州到舊金山市的那個月，我們?nèi)以谘赝静簧俚胤搅粝铝俗阚E。我和許多南大老同學(xué)、老熟人再次相聚。在旅途的第一站伊利諾伊大學(xué)厄巴納-香檳分校，我與大學(xué)同窗胡著信不期而遇，整晚聊天；還和與我同機赴美讀博士的南大化學(xué)系七八級學(xué)生李巧英重逢。然后我家老小去了堪薩斯城，得到了韓國師兄李弘九一家的熱情招待，李弘九在密蘇里大學(xué)堪薩斯分校任教。抵達摩門教大本營鹽湖城后，在猶他大學(xué)讀博士的尹光炎同學(xué)開車帶我們一睹鹽湖風(fēng)光。如今他和我昔日同窗中的另兩名“江蘇高考狀元”，已開始飽覽“夕陽無限好”的退休景色。

到了舊金山灣區(qū)，我見到了已在斯坦福大學(xué)統(tǒng)計系獲得博士學(xué)位的張硯凝同學(xué)。出生于北京、大學(xué)成績優(yōu)秀并且熱愛長跑的他，當年考上中國科學(xué)院計算中心研究生并留洋深造。我來美讀書后收到的第一封在美老同學(xué)來信，就是他熱情洋溢的“歡迎明信片”，他也在第二封信中對我給新生女兒取名“易之”大加贊賞：“不愧了你的文學(xué)功底”。后來，事業(yè)有成的張硯凝，長跑熱情沒有降溫，參加過好幾次馬拉松，包括著名的波士頓國際馬拉松比賽。

我也與南大七八級的數(shù)學(xué)才子戴建崗再次相會。他正在斯坦福大學(xué)數(shù)學(xué)系撰寫博士論文（他現(xiàn)任康奈爾大學(xué)運籌學(xué)與信息工程學(xué)院講座教授，同時任職香港中文大學(xué)（深圳）數(shù)據(jù)科學(xué)學(xué)院院長）。之前的三月初，他專門去了舊金山國際機場替我接機，將我母親和女兒送到飛往底特律的登機口。我們在美麗的斯坦福校園漫步，游覽這所世界名校。家母在校園中央的著名大教堂前留了影。這是斯坦福夫人為紀念1885年與她共同創(chuàng)建學(xué)校的鐵路大王丈夫而建立的。四分之一世紀后的2013年感恩節(jié)前，我去看望已在那里工作的女兒。在萬里無云的藍天下，我們兩人在這座美麗教堂前留下合照，讓八十五歲高齡的家母再次目睹壯觀的斯坦福建筑。

書稿中的閃光

在旅途動身前，李天巖教授問我是否有興趣，根據(jù)他剛結(jié)束課程的現(xiàn)成講稿，幫他補完成一本中文書初稿。臺灣某個學(xué)術(shù)基金會希望他出版此書。去年他在日本碰到美國普渡大學(xué)數(shù)學(xué)系莫宗堅（1940-）教授，二人商榷了此事，這也是他開這門課的初衷之一。李教授承諾從國家科學(xué)基金會獎給他的夏季研究資助中，撥出一份給我，這樣我就可以集中精力寫書，而不必分心于教書工作。我當然愿意啦，這不光是鞏固已學(xué)知識的極好機會，更給我未來學(xué)術(shù)寫作提供了一個練兵場所。

回到密歇根后，我很快進入狀態(tài)，開始起草導(dǎo)師交代的書稿。該書的基本框架已具雛形，只需添加作為預(yù)備知識的基礎(chǔ)部分，并統(tǒng)一書面表達和語言符號。我馬不停蹄地伏案工作了兩個月。這也是我重新梳理知識、鍛煉學(xué)術(shù)寫作的過程，給我日后自己寫書提供了極好的練筆機會。更重要的是，在撰寫關(guān)于絕對連續(xù)不變測度計算的烏拉姆方法那一章的某個瞬間，我無意中靈光一閃，為一項新研究創(chuàng)造了契機。

李教授計劃出版的這本中文著作，主要講的是在遍歷理論中有廣泛應(yīng)用的一類正算子——弗羅貝尼烏斯-佩隆算子，它是把非負函數(shù)映成非負函數(shù)的線性算子，并保持積分不變，前一個性質(zhì)就是“正算子”的定義。算子的名稱借用了兩個德國數(shù)學(xué)家名字，實際上與他們風(fēng)馬牛不相及。只是因為這個無窮維算子繼承了非負矩陣的若干好性質(zhì)，并由于先是1907年的佩?。∣skar Perron，1880-1975）、然后是1912年的弗羅貝尼烏斯，建立了非負矩陣的一般理論，以至于烏拉姆在《數(shù)學(xué)問題集》中把他們的名字借了過來，給該算子命名。這種“張冠李戴”的現(xiàn)象，在數(shù)學(xué)史中并不鮮見，比如解非線性方程組的牛頓法并非由牛頓正式提出，他只是用它逼近了一個多項式方程的根。牛頓法收斂性理論的系統(tǒng)研究，歸功于二十世紀俄羅斯數(shù)學(xué)家康拓諾維奇。微積分中求不定型極限的洛必達法則，更是個“欺世盜名”的結(jié)果。被洛必達（Guillaume de l'H?pital，1661-1704）放在他1696年書中的這個法則，實際上由瑞士數(shù)學(xué)家約翰伯努利（Johann Bernoulli，1667-1748）發(fā)現(xiàn)。不變密度函數(shù)是弗羅貝尼烏斯-佩隆算子的不動點。李教授書稿的前面幾章，講的都是算子不動點的存在性定理和性質(zhì)，最后一章才涉及它們的計算，標題為“弗羅貝尼烏斯-佩隆算子的有限逼近”，內(nèi)容為烏拉姆方法以及李天巖關(guān)于烏拉姆猜想、對于洛速達-約克區(qū)間映射族收斂性的漂亮證明。

當我快要寫完這章，整個書稿就要大功告成之時，腦袋里突然冒出一個疑問。從計算數(shù)學(xué)角度看，用逐片常數(shù)函數(shù)逼近一般函數(shù)是最簡單粗糙的做法。為什么不能采用逐片線性甚至逐片二次函數(shù)來逼近呢？常識告訴我們，如用水平線來近似懸鏈線，精度遠低于用連接曲線上兩點的線段逼近它。于是我好奇心大盛，馬上拿起紙筆，畫圖演算起來。三十多年來，我一直致力于計算遍歷理論的研究，而這趟千里之行，就從此處開始。它與我之前的內(nèi)點算法研究毫不相干，分屬相距十萬八千里的兩個天地。由于我既在美國掌握了純數(shù)學(xué)分支遍歷理論的基本知識，又早有南大老本行計算數(shù)學(xué)專業(yè)打下的良好基礎(chǔ)，我的思路比較清晰，進展也相當順利。我注意到烏拉姆方法既是保正性、保積分的一種保結(jié)構(gòu)算法，又屬于傳統(tǒng)的投影算法范疇。于是我就沿著這兩個方向來推廣它。很快，我就構(gòu)造出兩類基于逐片線性或逐片二次多項式的新算法。第一類依賴于迦遼金投影原理，另一類因使用了有限維的馬爾科夫算子而保結(jié)構(gòu)，我將之命名為馬爾科夫有限逼近法。以俄羅斯數(shù)學(xué)家名字冠名的馬爾科夫算子，比弗羅貝尼烏斯-佩隆算子范圍更廣，它定義為保持非負函數(shù)積分不變的正算子。對于烏拉姆方法能收斂的洛速達-約克類區(qū)間映射，我證明了新算法的收斂性。為證實高階數(shù)值方法收斂更快，我用系里的太陽-工作站電腦（指計算機公司Sun Microsystems推出的工作站——編者注），輸入自己編制的Fortran程序，進行計算比較。數(shù)值試驗結(jié)果顯示它們比烏拉姆方法收斂快得多，差距之大就像呂布的赤兔馬同呂布本人賽跑。后來，兩位華人教授從理論上研究了逐片線性馬爾科夫有限逼近法的收斂速率，加上我和李教授于1998年發(fā)表的后續(xù)文章，最終建立了此類算法的收斂速率理論和誤差估計。

1989年八月底，我完成了李天巖教授中文專著的初稿。作為副產(chǎn)品，也拿出兩篇研究文章。連我也感驚奇的是，這本書我連草稿都沒打，每章每節(jié)基本上是根據(jù)李教授課程講義的概述，先在腹中醞釀一番，然后一氣呵成地寫下，這大大節(jié)省了寫作時間。在兩個月內(nèi)，我不僅起草了一本中文書，還做了一些有意義的研究。當我把書稿交給導(dǎo)師，并獻上了論文初稿時，他先是驚訝，看完后覺得滿意。從此，我再也沒有過問那本書稿的命運。遺憾的是，李天巖教授一直忙于多項式方程組數(shù)值解方面的宏偉研究計劃，基本上已離開混沌動力系統(tǒng)和遍歷理論這個早年讓他揚名天下的領(lǐng)域，因而從未有暇修改完成這本著作，殊為可惜。而我則相反，從導(dǎo)師課程中學(xué)習(xí)遍歷理論培養(yǎng)出的興趣，加上這段寫作、研究的獨特經(jīng)歷，讓我離開了內(nèi)點算法，投身于計算遍歷理論，多年來樂此不倦，并與中國科學(xué)院計算數(shù)學(xué)與科學(xué)工程計算研究所的周愛輝博士合作，在2006年通過清華大學(xué)出版社出版了研究生中文教材《確定性系統(tǒng)的統(tǒng)計性質(zhì)》。它對應(yīng)的英文版則在2008年底由該出版社和德國的施普林格出版社聯(lián)合出版。

畢業(yè)和工作

大概在1989年十月的某天上午，李天巖教授來到我的教學(xué)助理辦公室，親切地對我說：“你可以考慮明年畢業(yè)，就把最新的這兩篇文章整理成你的博士論文吧?！蔽倚拇娓屑?，同意他的安排。我們這一批直接從大陸招來的博士生，除我是1986年一月來美，其余的幾個都是國內(nèi)名校七七級（“77級”是恢復(fù)高考后的首屆大學(xué)生——編者注）的，分別畢業(yè)于吉林大學(xué)、武漢大學(xué)、廈門大學(xué)等，加上一個從美國私立名校西北大學(xué)投奔他來，由訪問學(xué)者身份搖身一變的博士研究生，都是1986年八月進校的。很自然我可以比他們早點畢業(yè)。上一年，我來自北師大七七級的師姐已經(jīng)博士畢業(yè)，找到了大學(xué)教職，就在李教授布勞威爾不動點計算論文開始名揚天下的所在地——克萊姆森大學(xué)數(shù)學(xué)系擔任助理教授。那時，美國的經(jīng)濟還比較強勁，大學(xué)教書的新位置也不少。

找工作的難易度，和經(jīng)濟形勢甚至社會環(huán)境的好壞線性相關(guān)。1957年，蘇聯(lián)的衛(wèi)星上了天，把美國嚇了一大跳，以為自己的科技水平落到對方后頭去了。高層領(lǐng)導(dǎo)一聲號令，美國的大學(xué)馬上開始膨脹，導(dǎo)致六十年代的新科博士俏得很，個個都能謀到一份大學(xué)教書的好差事。結(jié)果是，他們當中的一部分，由于先天不足或后天懈怠，在競爭激烈的學(xué)術(shù)環(huán)境中敗下陣來，待遇每況愈下，尤其在研究型大學(xué)。密歇根州立大學(xué)的教授中也有這樣的人，在老教授中的比例不算太低。我記得有一次，導(dǎo)師遠遠指著一名學(xué)術(shù)地位不太高的教授的辦公室，對弟子開玩笑說：當我還在高中讀書的時候，他就是教授了，但他現(xiàn)在的薪水差不多只是我的一半。當李教授1974年拿到博士學(xué)位時，美國博士的好日子已經(jīng)過去，很多人找不到飯碗。他能幸運地謀到一份大學(xué)教職，而許多像他這樣的中國臺灣博士只好打道回府。不過后來不少人由于臺灣經(jīng)濟騰飛而賺了大錢。他又告訴過我們，他的第一個博士研究生、來自臺灣的朱天照，1982年拿到學(xué)位時，情況又一次倒轉(zhuǎn)，校園面試機會多得應(yīng)接不暇。最終朱博士選擇了北卡羅來納州立大學(xué)。他的研究表現(xiàn)十分出色，六年后就破格榮升到正教授了。

然而沒想到的是，我1990年畢業(yè)，正巧趕上美國大學(xué)教職行情最嚴峻的新一輪周期！好在我找到了正式助理教授位置，但那是后話了。

寫于2024年3月24日星期日

美國哈蒂斯堡夏日山莊

注：本文根據(jù)2016年由商務(wù)印書館出版的《親歷美國教育：三十年的體驗與思考》第六章《博士論文》修改而成。

致謝：感謝朱慧堅博士提出兩處修改意見，增加了敘述的準確性。

本文受科普中國·星空計劃項目扶持

出品：中國科協(xié)科普部

監(jiān)制：中國科學(xué)技術(shù)出版社有限公司、北京中科星河文化傳媒有限公司

特 別 提 示

1. 進入『返樸』微信公眾號底部菜單“精品專欄“，可查閱不同主題系列科普文章。

2. 『返樸』提供按月檢索文章功能。關(guān)注公眾號，回復(fù)四位數(shù)組成的年份+月份，如“1903”，可獲取2019年3月的文章索引，以此類推。

版權(quán)說明：歡迎個人轉(zhuǎn)發(fā)，任何形式的媒體或機構(gòu)未經(jīng)授權(quán)，不得轉(zhuǎn)載和摘編。轉(zhuǎn)載授權(quán)請在「返樸」微信公眾號內(nèi)聯(lián)系后臺。