• 沒有找到結果。

Mathematics in the 21st Century

N/A
N/A
Protected

Academic year: 2021

Share "Mathematics in the 21st Century"

Copied!
81
0
0

加載中.... (立即查看全文)

全文

(1)

廿一世紀的數學展望

廿一世紀的數學展望

丘成桐教授 丘成桐教授 浙江大學 浙江大學 哈佛大學 哈佛大學

(2)

數學

(3)

„ „

數學和工程科學是社會科學的基礎

數學和工程科學是社會科學的基礎

„ „

理論物理是工程科學的基礎

理論物理是工程科學的基礎

„ „

數學是理論物理的基礎

數學是理論物理的基礎

(4)

人類科技愈進步愈能發現新現象 人類科技愈進步愈能發現新現象 種種繁複現象使人極度迷惘 種種繁複現象使人極度迷惘 ( (例如例如︰︰湍流問題、黑洞問題湍流問題、黑洞問題)) 但是主宰所有現象變化的只是幾個少數的基 但是主宰所有現象變化的只是幾個少數的基 本定律。 本定律。 Standard model ( Standard model (標準模型標準模型)) 統一了三個基本場 統一了三個基本場︰︰電磁場、弱力、強力電磁場、弱力、強力 但是重力場和這三個場還未統一 但是重力場和這三個場還未統一

物理學上的統一場論

物理學上的統一場論

(5)

重力場由廣義相對論描述,是狹義相對 重力場由廣義相對論描述,是狹義相對 論和牛頓力學的統一理論而形成的。 論和牛頓力學的統一理論而形成的。 這是愛因史丹最富有想像力的偉大創 這是愛因史丹最富有想像力的偉大創 作。 作。 愛因史丹方程是 愛因史丹方程是 其中

其中 gijgij 是測度張量(引力場),是測度張量(引力場),TijTij 是是 物質張量 物質張量 ij ij ij g T R R − = 2

(6)

弦理論希望統一重力場和其他所有場。 弦理論希望統一重力場和其他所有場。 在廿一世紀,基本數學會遇到同樣的挑戰 在廿一世紀,基本數學會遇到同樣的挑戰︰︰ 基本數學會朝統一的方向發展,只有在各門 基本數學會朝統一的方向發展,只有在各門 分支大統一后,這些分支才會放出燦爛的火 分支大統一后,這些分支才會放出燦爛的火 花,而我們才會對這些學問得到本質性的了 花,而我們才會對這些學問得到本質性的了 解。 解。

數學上的統一?

數學上的統一?

(7)

數學的大統一將會比物理的大統一來得基 數學的大統一將會比物理的大統一來得基 本,也將由統一場論孕育而出。 本,也將由統一場論孕育而出。 弦論的發展已經成功地將 弦論的發展已經成功地將 微分幾何 微分幾何 代數幾何 代數幾何 群表示理論 群表示理論 數論 數論 拓撲學 拓撲學

(8)

大自然提供了極為重要的數學模型,物理學和工程 大自然提供了極為重要的數學模型,物理學和工程 學上很多模型都是從物理直覺或從試驗觀察出來 學上很多模型都是從物理直覺或從試驗觀察出來 的。但是數學家卻可以從自己的想像,在觀察的基 的。但是數學家卻可以從自己的想像,在觀察的基 礎上創造新的架構。 礎上創造新的架構。 成功的數學架構往往是幾代數學家共 成功的數學架構往往是幾代數學家共 同努力得出的成果,也往往是數學中 同努力得出的成果,也往往是數學中 幾個不同分支合併出來的火花。例 幾個不同分支合併出來的火花。例 如,

如,Andrew WilesAndrew Wiles的工作就是由橢圓的工作就是由橢圓 曲線理論和

曲線理論和AutomorphicAutomorphic formform理論,表理論,表 示論和交換代數理論的合併得出來的 示論和交換代數理論的合併得出來的

結果。 結果。

(9)

幾何、數字(尤其是整數)和函數的架構可 幾何、數字(尤其是整數)和函數的架構可 以說是數學裡最直觀的對象,因此在數學的 以說是數學裡最直觀的對象,因此在數學的 大統一過程中會起著最要緊的作用。數學分 大統一過程中會起著最要緊的作用。數學分 析和代數則是研究這幾門學問的主要工具, 析和代數則是研究這幾門學問的主要工具, 也是基本數學和應用數學的主要橋樑。 也是基本數學和應用數學的主要橋樑。

數學的對象和工具

數學的對象和工具

(10)

數學的發展由一個變數到多個變數,由一維 數學的發展由一個變數到多個變數,由一維 到高維空間,由可換群到非交換群,由低次 到高維空間,由可換群到非交換群,由低次 方程到高次方程,由線性方程到非線性方 方程到高次方程,由線性方程到非線性方 程,都是不可逆轉的趨勢。凡此種種,都隨 程,都是不可逆轉的趨勢。凡此種種,都隨 自然而生,始得華茂。有些數學家逆時發展 自然而生,始得華茂。有些數學家逆時發展 一些 一些數學結數學結構,難以得到豐盛的果實。構,難以得到豐盛的果實。

數學的發展

數學的發展

(11)

中國古代哲學家就主張一切事物的發展都須順應自 中國古代哲學家就主張一切事物的發展都須順應自 然。 然。 „ „ 老子老子︰︰““人法地,地人法地,地 法天,天法道,道法 法天,天法道,道法 自然 自然”” „ „ 孫子兵法孫子兵法︰︰““故兵無常勢,水無常形。能因敵變故兵無常勢,水無常形。能因敵變 化而取勝者,謂之神。 化而取勝者,謂之神。”“”“激水之疾,至於漂石激水之疾,至於漂石

(12)

找尋數學方程的整數解是算術中一個重要的 找尋數學方程的整數解是算術中一個重要的 問題。對一次方程組,中國數學家對同余的 問題。對一次方程組,中國數學家對同余的 方法有很重要的貢獻,因此數學史上有著名 方法有很重要的貢獻,因此數學史上有著名 的中國餘數定理。 的中國餘數定理。 在現代計算機和密碼理論亦用到這個同余的 在現代計算機和密碼理論亦用到這個同余的 方法。 方法。

數論

數論

(13)

對任何一個素數 對任何一個素數pp,我們可以找尋方程在,我們可以找尋方程在pp同余同余 的 意 義 下 的 整 數 解 ( 同 時 也 考 慮 的 意 義 下 的 整 數 解 ( 同 時 也 考 慮 ppnn的 同 余的 同 余 解)。這種解的個數可以由計算機算出。假 解)。這種解的個數可以由計算機算出。假 如我們將這些數據全部放在一起,就可以構 如我們將這些數據全部放在一起,就可以構 成 所 謂 成 所 謂LL函 數 , 這是數論中最重要的函數。函 數 , 這是數論中最重要的函數。 它是一個很美妙的函數 它是一個很美妙的函數,,既有乘積又有無窮級既有乘積又有無窮級

(14)

L

L

函數是個複函數。它有很多重要的解析性

函數是個複函數。它有很多重要的解析性

質。從

質。從

Artin

Artin

Weil

Weil

,一直到

,一直到

Langlands

Langlands

都想了

都想了

解它。在六十年代時,

解它。在六十年代時,

Swinnerton

Swinnerton

Dyer

Dyer

Birch

Birch

L

L

函數在零點的消減次數和橢圓曲線

函數在零點的消減次數和橢圓曲線

的整數解做出一個極為深刻的猜想,影響了

的整數解做出一個極為深刻的猜想,影響了

五十年來的算術理論。這個猜想在多複變方

五十年來的算術理論。這個猜想在多複變方

程組時還沒有很好的推展。(

程組時還沒有很好的推展。(

Beilinson

Beilinson

的猜

的猜

想就是其中一種嘗試。)

想就是其中一種嘗試。)

(15)

Swinnerton

Swinnerton--DyerDyer--BirchBirch猜想可以用來解決猜想可以用來解決 一些難題。一個數學上最古老的問題就可由 一些難題。一個數學上最古老的問題就可由 它來解決 它來解決:: 找出所有正整數 找出所有正整數nn,使得它是一個有理直角,使得它是一個有理直角 三角形(三個邊的長度都是有理數)的面 三角形(三個邊的長度都是有理數)的面 積。例如 積。例如6=46=4××3/23/2,而,而{3, 4, 5}{3, 4, 5}是直角三角形是直角三角形 的邊的長度。 的邊的長度。

(16)

二十世紀的數論學家透過代數幾何的方法已 二十世紀的數論學家透過代數幾何的方法已 經將整數方程與幾何結合,群表示理論則提 經將整數方程與幾何結合,群表示理論則提 供數論和幾何學結合最重要的工具。在數論 供數論和幾何學結合最重要的工具。在數論 裡的 裡的GaloisGalois群和在幾何學裡的規範群,都與群和在幾何學裡的規範群,都與 群表示有關。五十年來,我們看到數論和幾 群表示有關。五十年來,我們看到數論和幾 何的研究從可交換群發展到非交換群的表示 何的研究從可交換群發展到非交換群的表示 理論。產生了

理論。產生了LanglandsLanglands理論和理論和YangYang--MillsMills理理 論。他們都在現代數學上佔有重要地位置。 論。他們都在現代數學上佔有重要地位置。

(17)

在 在LanglandsLanglands理論的想法中,一般算理論的想法中,一般算 術流形上的 術流形上的LL函數可由所謂函數可由所謂ShimuraShimura 流形的 流形的LL函數生成。在橢圓曲線的特函數生成。在橢圓曲線的特 殊情形下推出所謂 殊情形下推出所謂ShimuraShimura-- Tanniyama

Tanniyama--WeilWeil猜測。而這個猜猜測。而這個猜 測由

測由Andrew WilesAndrew Wiles十年前證明,他十年前證明,他 透過

透過FreyFrey,Serre,Serre和和RibetRibet的貢獻將困擾了數學界近三的貢獻將困擾了數學界近三 百多年的 百多年的FermatFermat猜測完全解決。就是說以下方程猜測完全解決。就是說以下方程:: n n n

z

y

x

+

=

(18)

Taylor

Taylor是是WilesWiles的學生,除了對上述的學生,除了對上述ShimuraShimura-- Tanniyama

Tanniyama--WeilWeil猜測工作有重要的貢獻外,猜測工作有重要的貢獻外, 他 最 近 還 解 決 了 一 簇 橢 圓 曲 線 上 的 他 最 近 還 解 決 了 一 簇 橢 圓 曲 線 上 的SatoSato-- Tate Tate猜測。這是關於橢圓曲線對素數同余解猜測。這是關於橢圓曲線對素數同余解 的數目分佈問題,它的分怖與物理學家 的數目分佈問題,它的分怖與物理學家E. E. Wigner Wigner在量子力學所用到的分怖極為相似,在量子力學所用到的分怖極為相似, Tayler Tayler的理論將數論帶進一個新的方向。的理論將數論帶進一個新的方向。

(19)

在二十一世紀我們可以預見 在二十一世紀我們可以預見 數論函數的理論會有長足的發 數論函數的理論會有長足的發 展,也希望他們的理論會跟幾 展,也希望他們的理論會跟幾 何、物理學逐漸凝結在一起。 何、物理學逐漸凝結在一起。 弦理論上的一個重要的代數流 弦理論上的一個重要的代數流 形叫做

形叫做CalabiCalabi--YauYau空間,它可空間,它可

以說是橢圓曲線的自然推展。我們已經逐漸見 以說是橢圓曲線的自然推展。我們已經逐漸見

到弦學上的對偶理論在深刻地影響著

(20)

-這二十年來數論學家發現很多算術函數的分 這二十年來數論學家發現很多算術函數的分 佈狀況與大型矩陣領域上的譜積分有相似的 佈狀況與大型矩陣領域上的譜積分有相似的 地方。而后者在統計物理中卻經常出現。四 地方。而后者在統計物理中卻經常出現。四 年前 年前VafaVafa和他的合作者們從弦學的理念中將和他的合作者們從弦學的理念中將 這些古典的矩陣積分推展到更一般的情形, 這些古典的矩陣積分推展到更一般的情形, 並發現這些積分與

並發現這些積分與CalabiCalabi--YauYau流形裡的全純流形裡的全純 形式積分有關。我們有理由相信弦理論會提 形式積分有關。我們有理由相信弦理論會提

供數論和幾何結合的橋樑。 供數論和幾何結合的橋樑。

(21)

幾何和拓樸

幾何和拓樸

在十九世紀中葉,複變函數開始奠基。因此 在十九世紀中葉,複變函數開始奠基。因此 刺激了各門數學學科的發展 刺激了各門數學學科的發展︰︰ 數論函數(如黎曼 數論函數(如黎曼zetazeta函數)得到嚴格的處函數)得到嚴格的處 理,解析數論這門學科因此而生。 理,解析數論這門學科因此而生。 多葉函數的出現則引起了黎曼曲面的定義。 多葉函數的出現則引起了黎曼曲面的定義。

(22)

到了二十世紀, 到了二十世紀,PoincarePoincare證明了黎曼曲證明了黎曼曲 面上存在唯一的曲率等于 面上存在唯一的曲率等于--11的黎曼度的黎曼度 量。率先引入幾何和群論的方法來研究 量。率先引入幾何和群論的方法來研究 曲面,並得出自守形函數和雙曲幾何的 曲面,並得出自守形函數和雙曲幾何的 密切關係。 密切關係。 由於對多體力學問題相空間的構造問題, 由於對多體力學問題相空間的構造問題, PoincarePoincare 對對 高維 高維空間產生濃厚的興趣空間產生濃厚的興趣 也開始奠定拓撲學的主要基礎。 也開始奠定拓撲學的主要基礎。一般來說一般來說,,在在研究空間的大研究空間的大 範圍架構 範圍架構時時。拓撲學家希望將空間用代數的方法進行分類。。拓撲學家希望將空間用代數的方法進行分類。 用同調群和基本群來控制空間的架構。 用同調群和基本群來控制空間的架構。他們在研究空間時引他們在研究空間時引 進三 進三角角化和組合的方法化和組合的方法,,但對微分拓撲來說主要的方法但對微分拓撲來說主要的方法乃是乃是 切割( 切割(SurgerySurgery)子流形。)子流形。

(23)

„

„ 高維空間用到高維空間用到ThomThom的的CobordismCobordism理論。理論。

S m a l e S m a l e 則 更 進 一 步 由則 更 進 一 步 由M o r s eM o r s e理 論 悟 出 的理 論 悟 出 的 handlebody handlebody理論,得以將高維空間的分類變理論,得以將高維空間的分類變 成計算同調群,特徵類和由基本群所產生 成計算同調群,特徵類和由基本群所產生 的代數不變量。高維空間理論 的代數不變量。高維空間理論中一個重要中一個重要 的工具是 的工具是由由WhitneyWhitney發展出發展出的一個方法,但的一個方法,但 是 是WhitneyWhitney的方法要的方法要依靠依靠到空間中二維子流到空間中二維子流 形 在 一 般 情 形 形 在 一 般 情 形 下下 不不 相相 交 。交 。

(24)

由於一般曲面在三維和四維空間會自行相 由於一般曲面在三維和四維空間會自行相 交。因此切割方法在低維空間遇到很大的 交。因此切割方法在低維空間遇到很大的 困難。可是三維和四維空間恰恰是物理學 困難。可是三維和四維空間恰恰是物理學 家最為關心的空間。在愛因 家最為關心的空間。在愛因斯坦斯坦發現廣義發現廣義 相對論后,我們知道空間會受到重力場影 相對論后,我們知道空間會受到重力場影 響而變更曲率, 響而變更曲率,空間的空間的拓撲亦隨之變動。拓撲亦隨之變動。

(25)

二十一世紀幾何學的發展有相當重要的部 二十一世紀幾何學的發展有相當重要的部 分會是有組織地解決三維和四維空間的問 分會是有組織地解決三維和四維空間的問 題。除了它們的拓撲性質外,更重要的是 題。除了它們的拓撲性質外,更重要的是 空間上的幾何和分析問題。 空間上的幾何和分析問題。 我們從二十世紀黎曼曲面的發展可以約略 我們從二十世紀黎曼曲面的發展可以約略 地 猜 測 未 來 這 個 世 紀 幾 何 和 拓 撲 學 的 走 地 猜 測 未 來 這 個 世 紀 幾 何 和 拓 撲 學 的 走

(26)

黎曼曲面在代數幾何、數論、分析、微分 黎曼曲面在代數幾何、數論、分析、微分 幾何和複動力系統都佔有重要的地位。 幾何和複動力系統都佔有重要的地位。 在代數幾何裡,它又叫做代數曲線。義大 在代數幾何裡,它又叫做代數曲線。義大 利幾何學家們用射影幾何的方法對它做深 利幾何學家們用射影幾何的方法對它做深 入的了解並作為工具去研究高維空間的代 入的了解並作為工具去研究高維空間的代 數 流 形 。 這 種 看 法 仍 會 是 代 數 幾 何 的 主 數 流 形 。 這 種 看 法 仍 會 是 代 數 幾 何 的 主 流。弦理論一個重要的貢獻就是對代數曲 流。弦理論一個重要的貢獻就是對代數曲 線的個數的算法得到漂亮的公式。 線的個數的算法得到漂亮的公式。MoriMori的的 著名工作也是奠基在相當一般的代數流形 著名工作也是奠基在相當一般的代數流形 裡構造有理曲線。辛幾何的發展則奠基于 裡構造有理曲線。辛幾何的發展則奠基于 研究擬全純( 研究擬全純(pseudoholomorphicpseudoholomorphic)曲線的架)曲線的架 構。 構。

(27)

這些表面不同的理論已經逐漸融合,當它的 這些表面不同的理論已經逐漸融合,當它的 理論完美發展後,將會成為數學中具有威 理論完美發展後,將會成為數學中具有威 力的工具。 力的工具。

(28)

在數論上我們知道古典的

在數論上我們知道古典的modular formmodular form都是都是 在代數曲線上定義的扭曲的複函數,而曲 在代數曲線上定義的扭曲的複函數,而曲

線上

線上RiemannRiemann--RochRoch公式則往往給出這些函公式則往往給出這些函 數 的 描 述 而 因 此 得 到 很 多 重 要 的 算 術 內 數 的 描 述 而 因 此 得 到 很 多 重 要 的 算 術 內 容。例如它們可以描述一個正整數寫成不 容。例如它們可以描述一個正整數寫成不 同整數的 同整數的powerpower的和的個數。的和的個數。

(29)

由PoincarePoincare、、KoebeKoebe等人發展的單值化原理等人發展的單值化原理 使我們知道黎曼曲面都可以看作單位圓面 使我們知道黎曼曲面都可以看作單位圓面 透過離散群得出來的商空間,而這些離散 透過離散群得出來的商空間,而這些離散 群可以看作二次矩陣群的子群。 群可以看作二次矩陣群的子群。PoincarePoincare因因 此將離散群引入自守函數和黎曼曲面理論 此將離散群引入自守函數和黎曼曲面理論 中 , 他 因 此 得 出 新 的 方 法 來 構 造 自 守 函 中 , 他 因 此 得 出 新 的 方 法 來 構 造 自 守 函 數。 數。

(30)

黎曼曲面有很多獨特的性質,而其中最重 黎曼曲面有很多獨特的性質,而其中最重 要的一點是上述的單值化原理。任何一個 要的一點是上述的單值化原理。任何一個 單連通的曲面都可以用保持角度的方法映 單連通的曲面都可以用保持角度的方法映 射到球面上面去。正如我們現下用的地圖 射到球面上面去。正如我們現下用的地圖 是從地球保角不變地映射到平面上。當一 是從地球保角不變地映射到平面上。當一 艘 艘船只在海上航行時,船長可以在地圖上船只在海上航行時,船長可以在地圖上 找出準確的方向就是因為保角的緣故。我 找出準確的方向就是因為保角的緣故。我 們發現這種保角投影對任何二維曲面都可 們發現這種保角投影對任何二維曲面都可 以辦得到。 以辦得到。

(31)

單值化定理的證明多姿多彩。最 單值化定理的證明多姿多彩。最 一般和最重要的證明由 一般和最重要的證明由MorreyMorrey先先 生在 生在19381938年給出。他所需要函年給出。他所需要函 數的光滑性不多,在二十世紀非 數的光滑性不多,在二十世紀非 線性分析中占了重要的地位。無 線性分析中占了重要的地位。無 論二次二維非線性微分方程和複 論二次二維非線性微分方程和複 動力系統的理論都以它為基礎。 動力系統的理論都以它為基礎。

(32)

在高維空間的單值化也是一個重要的問題, 在高維空間的單值化也是一個重要的問題, 如何找出具體而有意思的問題是很重要的, 如何找出具體而有意思的問題是很重要的, 在複幾何的情況下,我在七十年代提出的一系列問 在複幾何的情況下,我在七十年代提出的一系列問 題已得到一些 題已得到一些解答解答,但是即使在這個情形下還未,但是即使在這個情形下還未全全 部 部完成。我曾經證明複空間的完成。我曾經證明複空間的 PoincarePoincare 猜想猜想, , 在二維在二維 空間時答案 空間時答案是完滿的是完滿的,,但是以下的高維的複但是以下的高維的複PoincarePoincare 猜想還未解決 猜想還未解決: : 如何證明同倫於射影空間的代數流如何證明同倫於射影空間的代數流 形 形必須是射影空間。必須是射影空間。

(33)

黎曼曲面第二個重要基礎就 黎曼曲面第二個重要基礎就 是如何去描述在非單連通的 是如何去描述在非單連通的 曲面 曲面上上所有保角結構。從複所有保角結構。從複 函數的觀點來看,這就是 函數的觀點來看,這就是 Teichmuller Teichmuller空間的建立。而從空間的建立。而從 代數曲線的觀點來看,它的商 代數曲線的觀點來看,它的商 空間是代數曲線的模空間。模 空間是代數曲線的模空間。模 空間和

空間和TeichunilerTeichuniler空間的關係通過空間的關係通過 mapping class mapping class group

(34)

二十世紀中葉以後人們對它們的架構有一定 二十世紀中葉以後人們對它們的架構有一定 的了解,在二十一世紀我們會繼續努力。尤 的了解,在二十一世紀我們會繼續努力。尤 其在這兩個空間的調和分析和其中的子流形 其在這兩個空間的調和分析和其中的子流形 問題。 問題。

(35)

弦理論開章明義是研究曲線在 弦理論開章明義是研究曲線在 時空中振蕩的所有經驗。而曲 時空中振蕩的所有經驗。而曲 線的軌跡就是一個黎曼曲面。 線的軌跡就是一個黎曼曲面。 弦理論因此對代數曲線的模提 弦理論因此對代數曲線的模提 供了很多新的數學公式。例如 供了很多新的數學公式。例如 E.Verlinder

E.Verlinder和和WittenWitten的公式,的公式,

這兩個公式的證明在這十五年來的數學界 這兩個公式的證明在這十五年來的數學界

有深入的影響。 有深入的影響。

(36)

三度空間和四維空間是時空本身的幾何, 三度空間和四維空間是時空本身的幾何, 可是我們對他們的了解遠沒有對黎曼曲面 可是我們對他們的了解遠沒有對黎曼曲面 來得深入。可以想像的是本世紀的數學將 來得深入。可以想像的是本世紀的數學將 會促使二維空間的研究提升到三維和四維 會促使二維空間的研究提升到三維和四維 空間。 空間。而將它們變成幾何和理論物理的主而將它們變成幾何和理論物理的主 要工具 要工具。。

(37)

三度空間的拓撲始于

三度空間的拓撲始于PoincarePoincare。他提出著名。他提出著名 的

的PoincarePoincare猜想。以後經歷猜想。以後經歷DehnDehn,,KneserKneser,, Haken

Haken,,WaldhausenWaldhausen直到直到ThurstonThurston才理出一條才理出一條 清晰的思路。 清晰的思路。 Poincare Poincare認為對任何一個封閉的三度空間,認為對任何一個封閉的三度空間, 如果任何一條閉曲線都可以連續地收縮到 如果任何一條閉曲線都可以連續地收縮到

(38)

這個漂亮的問題吸引了數學家一百年。 這個漂亮的問題吸引了數學家一百年。 不單是因為它是一個難題,也因為它是 不單是因為它是一個難題,也因為它是 研究三度空間的一個最基本問題。 研究三度空間的一個最基本問題。 在 在19781978年,年,ThurstonThurston提出全面了解三維提出全面了解三維 空間的幾何化猜測。他認為所有緊致封 空間的幾何化猜測。他認為所有緊致封 閉的三度空間必可由八種具有不同幾何 閉的三度空間必可由八種具有不同幾何 架構的三度空間構成。除了三維球和商空間外,最 架構的三度空間構成。除了三維球和商空間外,最 重要的乃是雙曲空間。 重要的乃是雙曲空間。 在所謂 在所謂““足夠大足夠大””的三度空間情形下,的三度空間情形下,ThurstonThurston証証 明了他的猜想。但是他的方法不可能推展到最一般 明了他的猜想。但是他的方法不可能推展到最一般 的三度空間上。 的三度空間上。

(39)

1980 1980年,我的朋友年,我的朋友HamiltonHamilton發展了一套發展了一套 非線性微分方程組。他利用幾何空間的 非線性微分方程組。他利用幾何空間的 曲率( 曲率(RicciRicci曲率)來變動空間的幾何。曲率)來變動空間的幾何。 因此得到一些漂亮的定理。于是我建議 因此得到一些漂亮的定理。于是我建議 他用這個方法來證明 他用這個方法來證明ThurstonThurston的幾何化的幾何化 猜測。 猜測。 這是數學史上一個非常艱巨的事業。用到的工具是非 這是數學史上一個非常艱巨的事業。用到的工具是非 線性方程和黎曼幾何的理論。三十年來我們幾何分析 線性方程和黎曼幾何的理論。三十年來我們幾何分析

(40)

Hamilton Hamilton首先在正曲率的情形下解決了方程首先在正曲率的情形下解決了方程 收斂性問題,奠定了重要的基礎。這裡僥 收斂性問題,奠定了重要的基礎。這裡僥 倖地避開了微分方程的奇異點問題。但是 倖地避開了微分方程的奇異點問題。但是 在 一 般 情 形 下 , 奇 異 點 是 不 可 避 免 的 。 在 一 般 情 形 下 , 奇 異 點 是 不 可 避 免 的 。 Hamilton Hamilton花了二十年的時間去研究奇異點的花了二十年的時間去研究奇異點的 性質。 性質。

(41)

對于一個非線性微分方程組,奇異點的架 對于一個非線性微分方程組,奇異點的架 構極為複雜。所幸 構極為複雜。所幸HamiltonHamilton方程乃是拋物形方程乃是拋物形 方程,它有比較好的性質。我在 方程,它有比較好的性質。我在19851985年與年與 李偉光剛好完成在流形上的線性拋物方程 李偉光剛好完成在流形上的線性拋物方程 的精細估計。我向 的精細估計。我向HamiltonHamilton提出要將這個估提出要將這個估 計用到他的方程上。 計用到他的方程上。

(42)

Hamilton Hamilton因此提出了新的看法來接納我的建因此提出了新的看法來接納我的建 議。他看出我和李偉光的估計辦法最好在 議。他看出我和李偉光的估計辦法最好在 由他的方程產生的孤立子上去研究。孤立 由他的方程產生的孤立子上去研究。孤立 子有很多特殊的性質,因此我們的估計比 子有很多特殊的性質,因此我們的估計比 較容易了解,也可以推展到 較容易了解,也可以推展到HamiltonHamilton的方的方 程。 程。

(43)

在 在19901990年,年,HamiltonHamilton成功地推導了這個估計成功地推導了這個估計 而得到奇異點的深入研究。這些研究可以 而得到奇異點的深入研究。這些研究可以 說有劃時代的重要性。在 說有劃時代的重要性。在19951995年,他在適年,他在適 當的條件下,找到全部了解 當的條件下,找到全部了解ThurstonThurston問題的問題的 方法。這是極有深度的研究。 方法。這是極有深度的研究。 但是還有一些奇異點的問題尚未解決。如 但是還有一些奇異點的問題尚未解決。如 何控制奇異點切除的問題要到三年多以前 何控制奇異點切除的問題要到三年多以前

(44)

44

Perelman

Perelman

對上述

對上述

Li

Li

Yau

Yau

Hamilton

Hamilton

估計做出更深入的了解,仿照他們的

估計做出更深入的了解,仿照他們的

方法,引進了新的時空上的長度和體

方法,引進了新的時空上的長度和體

積來控制奇異點的變化。

積來控制奇異點的變化。

這些研究極為複雜。三年來很多人嘗試

這些研究極為複雜。三年來很多人嘗試

補上

補上

Perelman

Perelman

遺留下來未證明的空白。直到

遺留下來未證明的空白。直到

最近,朱熹

最近,朱熹

平和他的合作伙伴曹懷東和陳兵龍才將

平和他的合作伙伴曹懷東和陳兵龍才將

(45)

我們可以想像二十一世紀的數學家將會花 我們可以想像二十一世紀的數學家將會花 很多功夫來消化 很多功夫來消化和和深入研究這些空間的幾深入研究這些空間的幾 何和調和分析。然後將三度空間的幾何應 何和調和分析。然後將三度空間的幾何應 用到物理學,數論 用到物理學,數論和和代數幾何中去。代數幾何中去。

(46)

微分方程組的奇異點是十分重要而又非常 微分方程組的奇異點是十分重要而又非常 困難的問題。在工程上,在物理上,在計 困難的問題。在工程上,在物理上,在計 算數學上都遇到同樣的問題。流體力學和 算數學上都遇到同樣的問題。流體力學和 廣義相對論首要的問題就是如何處理奇異 廣義相對論首要的問題就是如何處理奇異 點。上述三度空間的方法應當會有更大發 點。上述三度空間的方法應當會有更大發 揮威力的地方。除了上述方法成功地處理 揮威力的地方。除了上述方法成功地處理 奇異點外,古典 奇異點外,古典的的代數幾何有代數幾何有HironakaHironaka理理 論, 論,用用blow upblow up的方法成功地處理代數空間的方法成功地處理代數空間 的奇異點。希望這些方法能夠得到統一。 的奇異點。希望這些方法能夠得到統一。

(47)

四維空間的研究極為困難。到目前為 四維空間的研究極為困難。到目前為 止連一個讓人信服的猜測都沒有。最 止連一個讓人信服的猜測都沒有。最 重要的四維流形是由代數曲面形成的, 重要的四維流形是由代數曲面形成的, 但目前人們還沒有辦法將其作細致的 但目前人們還沒有辦法將其作細致的 拓撲分類。四維空間拓撲的第一個突 拓撲分類。四維空間拓撲的第一個突 破是由

破是由DonaldsonDonaldson引入引入YangYang--MillsMills理理 論完成的。以後

論完成的。以後SeibergSeiberg--WittenWitten在九十年代得到另一個突在九十年代得到另一個突 破。總體來說,前途還很漫長。這將是幾何學、幾何分析 破。總體來說,前途還很漫長。這將是幾何學、幾何分析 學、代數幾何學以及物理學一個共同的研究領域。幾何分 學、代數幾何學以及物理學一個共同的研究領域。幾何分 析是我們在七十年代發展出來的理論,在一九七六年我利 析是我們在七十年代發展出來的理論,在一九七六年我利

(48)

在四維空間還有一個極為重要的幾何結構四維空間還有一個極為重要的幾何結構就是就是 selfself- -dual

dual 度量的存在性,度量的存在性,TaubesTaubes 在相當一般的情形下,在相當一般的情形下, 證明 證明它它的存在性,但是在四維拓樸的存在性,但是在四維拓樸的發展中沒有的發展中沒有得得 到應有的注意,問題 到應有的注意,問題在在於我們對它們的模空間不了於我們對它們的模空間不了 解,無從給予拓樸不變量的意義。無論 解,無從給予拓樸不變量的意義。無論是是 Einstein Einstein 度量或

度量或selfself--dual dual 度量,度量,它們它們在四維空間時的幾何意在四維空間時的幾何意 義都需要深入的研究,

義都需要深入的研究,selfself--dual dual 空間的空間的 twistortwistor space space 有自然的可積複結構,這個結構值得去探討,應當 有自然的可積複結構,這個結構值得去探討,應當

和代數幾何的方法甚至弦理論有關。 和代數幾何的方法甚至弦理論有關。

(49)

四維到八維空間都有重要的幾何和物理意義。六維 四維到八維空間都有重要的幾何和物理意義。六維

有CalabiCalabi--YauYau空間,七維有空間,七維有G2G2空間,八維有空間,八維有Spin(7)Spin(7) 和 和hyperkahlerhyperkahler空間,它們在弦理論中都佔有重要的位空間,它們在弦理論中都佔有重要的位 置。這些空間的研究牽涉到數學 置。這些空間的研究牽涉到數學不同的不同的領域。領域。 我們對它們的存在性和模空間仍不甚了了 我們對它們的存在性和模空間仍不甚了了。。 六維以上的幾何架構除了上述以外,最重要恐怕就是 六維以上的幾何架構除了上述以外,最重要恐怕就是 複架構的存在性問題。非代數的複流形可能會成為二 複架構的存在性問題。非代數的複流形可能會成為二 十一世紀數學的一個重要方向。最近弦學家也在考慮 十一世紀數學的一個重要方向。最近弦學家也在考慮 這些架構。我們希望它們的研究對代數流形會有幫助。 這些架構。我們希望它們的研究對代數流形會有幫助。 高維的代數流形的分類大致上需要更靈活的結構來幫 高維的代數流形的分類大致上需要更靈活的結構來幫 忙 忙,,正如正如 CobordismCobordism 理論理論,,我們可能需要在更大範圍我們可能需要在更大範圍 的複空間來考慮流形如何改變它們的拓樸和子流形 的複空間來考慮流形如何改變它們的拓樸和子流形。。

(50)

弦理論發現有不同的量子場論可以互相同 弦理論發現有不同的量子場論可以互相同

構(

構(isomorphicisomorphic),然而),然而scalescale剛好相反。在剛好相反。在 半徑為

半徑為RR的圓上的場論與半徑為的圓上的場論與半徑為1/R1/R的圓上的圓上 的 場 論 同 構 。 因 而 推 出 某 些 強

的 場 論 同 構 。 因 而 推 出 某 些 強 Coupling Coupling Constant

Constant 的 理 論 可 以 同 另 一 個 弱的 理 論 可 以 同 另 一 個 弱 Coupling Coupling Constant

Constant的理論同構,而后者可以從漸進分的理論同構,而后者可以從漸進分 析理論來計算。

析理論來計算。(Coupling Constant (Coupling Constant 可以解可以解 釋如下,假設場論由 釋如下,假設場論由 LagrangianLagrangian L L 給出,我給出,我 們 可 以 產 生 新 的 場 論 , 其 們 可 以 產 生 新 的 場 論 , 其 LagrangianLagrangian 是是 L+CL L+CL’’ 這 個 常 數這 個 常 數 CC 就 是就 是 coupling coupling constant ) constant ) 。。

(51)

由於 由於RR→→1/R1/R這種奇妙的對稱可以保持量子場論的這種奇妙的對稱可以保持量子場論的 架構,使得我們可以用擾動性的方法去計算非擾 架構,使得我們可以用擾動性的方法去計算非擾 動性的場論,在數學上有驚人的結果。 動性的場論,在數學上有驚人的結果。最動人心最動人心 弦的定理乃是由此引出的鏡對稱可以用來找出 弦的定理乃是由此引出的鏡對稱可以用來找出 Calabi

Calabi--YauYau 空間中代數曲線的公式空間中代數曲線的公式。。

更要注意的一點是時空的架構可能因此有基本理 更要注意的一點是時空的架構可能因此有基本理 念的改變。極小的空間不再有意義。時空的量子 念的改變。極小的空間不再有意義。時空的量子 化描述需要更進一步的探討。物理學家和幾何學 化描述需要更進一步的探討。物理學家和幾何學 家都希望能夠找尋一個幾何架構來描述這個量子 家都希望能夠找尋一個幾何架構來描述這個量子

(52)

約在兩百年前,

約在兩百年前,GaussGauss發現發現GaussGauss曲率的曲率的 理念而理解到內蘊幾何時,就覺察到空 理念而理解到內蘊幾何時,就覺察到空 間的理念與時而變與人類對大自然的了 間的理念與時而變與人類對大自然的了 解有密切關係。 解有密切關係。 這二十年來,超對稱的理念深深地影響著基本物理 這二十年來,超對稱的理念深深地影響著基本物理 和數學的發展。在 和數學的發展。在實實驗上雖然尚未發現超對稱,但驗上雖然尚未發現超對稱,但 在數學上卻起著凝聚各門分支的作用。我們寧願相 在數學上卻起著凝聚各門分支的作用。我們寧願相 信在極高能量時,超對稱確實存在。但如何看待超 信在極高能量時,超對稱確實存在。但如何看待超 對稱在現實時空中的殘餘,應當會是現代應用物理 對稱在現實時空中的殘餘,應當會是現代應用物理 和應用數學的一個重要命題。 和應用數學的一個重要命題。

(53)

舉例來說,在超對稱的架構中,規範場和 舉例來說,在超對稱的架構中,規範場和 電 磁 場 會 與 完 全 不 相 關 的 子 流 形 理 論 同 電 磁 場 會 與 完 全 不 相 關 的 子 流 形 理 論 同 構。是否意味著這種日常能見的場論可以 構。是否意味著這種日常能見的場論可以 用不同的手法來處理? 用不同的手法來處理? 對偶的看法使得我們猜測複幾何和辛幾何 對偶的看法使得我們猜測複幾何和辛幾何 有對偶的關係 有對偶的關係,,大部分重要的動力系統可大部分重要的動力系統可 以在辛幾何的架構上來考慮 以在辛幾何的架構上來考慮,,這是否意味這是否意味 著很多重要的動力系統問題可以變成複幾 著很多重要的動力系統問題可以變成複幾

(54)

在空間中找尋雅致的子流形是了解空間的 在空間中找尋雅致的子流形是了解空間的 一 個 重 要 環 節 。 在 我 們 見 到 平 坦 的 空 間 一 個 重 要 環 節 。 在 我 們 見 到 平 坦 的 空 間 裡,我們就看到很多漂亮圖形。但是在三 裡,我們就看到很多漂亮圖形。但是在三 維球裡,這些圖形會改變。在三維的圓環 維球裡,這些圖形會改變。在三維的圓環 裡,二維 裡,二維球球不能連續地收縮成一點。這些不能連續地收縮成一點。這些 二維 二維球卻球卻提供了空間的重要訊息。提供了空間的重要訊息。 微分幾何學家對子流形的研究有很長久的歷史 微分幾何學家對子流形的研究有很長久的歷史,, 也應用它們到空間結構上去 也應用它們到空間結構上去,,但是沒有有但是沒有有 系統的結構性的研究 系統的結構性的研究。。弦學理論卻提供了弦學理論卻提供了 這樣的結構 這樣的結構。。

(55)

在弦理論的影響下,有很多不同的子流形 在弦理論的影響下,有很多不同的子流形 受到重視。它們叫做 受到重視。它們叫做BraneBrane。弦學家不單考。弦學家不單考 慮子流形,還考慮子流形上的規範場。這 慮子流形,還考慮子流形上的規範場。這 一點為數學家提供了新的看法。 一點為數學家提供了新的看法。 在十年前,我和一位博士后 在十年前,我和一位博士后ZaslowZaslow就用這就用這 種新的看法找出 種新的看法找出K3K3曲面有理曲線的個數問曲面有理曲線的個數問 題。我們發現這些數字與

題。我們發現這些數字與modular formmodular form有有 關。對代數幾何學家來說,這是值得驚訝 關。對代數幾何學家來說,這是值得驚訝

的結果。后來,

(56)

一般來說,我們希望用拓撲或代數的方法來描述有宏 一般來說,我們希望用拓撲或代數的方法來描述有宏 觀意義的子流形,在這個領域裡,最重要的問題無過 觀意義的子流形,在這個領域裡,最重要的問題無過 于 于HodgeHodge猜測。猜測。 Hodge Hodge猜測的重要性在於猜測的重要性在於它提供它提供一個有效的方法去描一個有效的方法去描 述 述代數流形裡面可用多項式來定義的子流形代數流形裡面可用多項式來定義的子流形的同調的同調 群 群。無論在代數、算術、還是在幾何裡,這都是舉足。無論在代數、算術、還是在幾何裡,這都是舉足 輕重的猜測。對于這個世紀的數學發展,這應當是一 輕重的猜測。對于這個世紀的數學發展,這應當是一 個重要的命題,很可能是幾何分析一個主要目標。在 個重要的命題,很可能是幾何分析一個主要目標。在 數論裡,

數論裡,由由GrothendieckGrothendieck、、DeligneDeligne以來發展的以來發展的motivicmotivic理理 論試圖理解這些子流形。 論試圖理解這些子流形。TateTate猜測則在算術流形猜測則在算術流形上考上考 慮同樣的問題。 慮同樣的問題。 我本人相信應當將代數流形推廣到一般的複流形來考 我本人相信應當將代數流形推廣到一般的複流形來考 慮 慮Hodge Hodge 猜測猜測,,同時應當考慮更一般的子流形同時應當考慮更一般的子流形。。

(57)

數論學家為了研究算術而大膽地改變空間 數論學家為了研究算術而大膽地改變空間 的定義。他們所引進的概念可能在現象界 的定義。他們所引進的概念可能在現象界 會有真實的意義。其中一個重要的幾何叫 會有真實的意義。其中一個重要的幾何叫 做

做ArakelovArakelov幾何。它在幾何。它在FaltingsFaltings證明證明MordellMordell猜猜 測 時 得 到 應 用 。 這 是 很 吸 引 人 的 一 種 幾 測 時 得 到 應 用 。 這 是 很 吸 引 人 的 一 種 幾 何。我們不單考慮在複數上定義的空間, 何。我們不單考慮在複數上定義的空間, 也考慮同余于 也考慮同余于pp的空間,而且要將所有這些的空間,而且要將所有這些 空間一同處理。這種空間是否含有物理意 空間一同處理。這種空間是否含有物理意

(58)

從相反的觀點來說,弦學家提出 從相反的觀點來說,弦學家提出holographic holographic principle principle ,希望,希望用用空間邊界上的知識來確定空間邊界上的知識來確定 空間本身的物理狀況。 空間本身的物理狀況。他們發展出他們發展出AdSAdS/CFT/CFT 的理論 的理論已經得出很多豐富的幾何結果。已經得出很多豐富的幾何結果。 但是數學家還沒有提出很好的辦法來描述這 但是數學家還沒有提出很好的辦法來描述這 個

個principle. Hilbert principle. Hilbert 提出過一個問題可能與它提出過一個問題可能與它 有關

有關: : 在流形的邊界上任何兩點的距離已經在流形的邊界上任何兩點的距離已經 決定,可否決定流形的幾何。

(59)

現 下 來 談 談 數 學 分 析 。 從 微 積 分 發 展 以 現 下 來 談 談 數 學 分 析 。 從 微 積 分 發 展 以

後,數學分析在

後,數學分析在EulerEuler,,LagrangeLagrange,,GaussGauss,, Fourier Fourier 等 人 的 大 力 發 展 下 已 成 為 基 礎 數等 人 的 大 力 發 展 下 已 成 為 基 礎 數 學、應用數學、工程學、經濟學和物理學 學、應用數學、工程學、經濟學和物理學 不可缺少的學問。從上述的討論亦可以看 不可缺少的學問。從上述的討論亦可以看 到,近幾十年來發展的幾何分析是構造幾 到,近幾十年來發展的幾何分析是構造幾 何架構不可或缺的工具。 何架構不可或缺的工具。 函數結構和分析學 函數結構和分析學

(60)

牛頓力學中第一個重要問題就是引力問題 牛頓力學中第一個重要問題就是引力問題。。 星體問題的研究沿襲至今,產生了動力系統 星體問題的研究沿襲至今,產生了動力系統 很 多 重 要 而 漂 亮 的 問 題 。 由 於 很 多 重 要 而 漂 亮 的 問 題 。 由 於 PoincarePoincare ,, kolmogorov

kolmogorov ,, ArnoldArnold ,, MoserMoser 一 直 到 最 近一 直 到 最 近 Mather

Mather,,HermannHermann等人的工作,我們曉得星體等人的工作,我們曉得星體 問題的複雜性,尤其是三體問題已經出現了 問題的複雜性,尤其是三體問題已經出現了 Chaos Chaos的現象。這個動力系統的理論變得極為的現象。這個動力系統的理論變得極為 困難,尤其是 困難,尤其是 KAM KAM 的理論只有在輕微擾動時的理論只有在輕微擾動時 始能成立。在非擾動的 始能成立。在非擾動的HamiltonHamilton系統沒有強有系統沒有強有 力的辦法來了解多體的穩定性。非線性常微 力的辦法來了解多體的穩定性。非線性常微 分方程組多姿多彩,他們的深入了解應當可 分方程組多姿多彩,他們的深入了解應當可 以幫助偏微分方程的研究。 以幫助偏微分方程的研究。

(61)

動力系統用到的辦法

動力系統用到的辦法影響了影響了幾何學中的幾何學中的測地線測地線研研 究,例如

究,例如geodesicgeodesic流的流的ergodieergodie理論,理論, 閉測地線個數閉測地線個數 的問題。

的問題。MorseMorse在這方面有大貢獻,以後又在這方面有大貢獻,以後又有有ConlyConly 的工作,

的工作,geodesicgeodesic的理論在的理論在微分微分幾何中幾何中發展很快發展很快,, 例如

例如equavarantequavarant cohomologycohomology 在證明閉測地線的存在在證明閉測地線的存在 和算他們的個數起了很大作用 和算他們的個數起了很大作用,,閉測地線閉測地線的長度的長度 和 和LaplacianLaplacian算子的譜有密切的關係,也許這些理論算子的譜有密切的關係,也許這些理論 可以反過來幫忙多體問 可以反過來幫忙多體問題題。。 在 流 形 上 在 流 形 上,我們可以想像用點結合起來形成圖,我們可以想像用點結合起來形成圖 后 , 后 ,用用多體問題多體問題方法方法來處理來處理其其上的幾何上的幾何動力動力問問 題。

題。事實上在處理事實上在處理Hamilton Hamilton 的的RicciRicci流時流時,,LiLi-Yau-Yau Hamilton

(62)

歷來 歷來科學家科學家都都很重視多體問題,很重視多體問題, 尤其是尤其是 體數很大的時候,無論古典或量子化的多體 體數很大的時候,無論古典或量子化的多體 問題,都還有很多困難。一般說來,統計物 問題,都還有很多困難。一般說來,統計物 理提供主要的方法。從

理提供主要的方法。從MorreyMorrey開始到開始到VaradhanVaradhan 和姚鴻澤等人的工作

和姚鴻澤等人的工作我們發覺我們發覺流體方程可由流體方程可由 多體問題推導。

多體問題推導。DysonDyson,,LeonardLeonard,,LiebLieb等人都等人都 為量子多體問題的穩定性做出重要的數學結 為量子多體問題的穩定性做出重要的數學結

果。 果。

(63)

„ „ 粒子極多時,我們可用流體方程來逼近粒子極多時,我們可用流體方程來逼近粒粒 子的變化 子的變化,但是粒子的殘餘性質不見得全,但是粒子的殘餘性質不見得全 部由連續方程吸收。尤其是粒子不算太多 部由連續方程吸收。尤其是粒子不算太多 也不算太少的時候,古典的流體方程和 也不算太少的時候,古典的流體方程和 Navier

Navier--StokesStokes方程未必能夠準確地描述粒方程未必能夠準確地描述粒 子的所有物理現象。反過來說研究流體方 子的所有物理現象。反過來說研究流體方 程的學人亦企圖用粒子的隨機過程來逼近 程的學人亦企圖用粒子的隨機過程來逼近 和描述方程的動態變化。 和描述方程的動態變化。在各種重要的線在各種重要的線 性或非線性方程加上隨機過程將是數學應 性或非線性方程加上隨機過程將是數學應 用到工程學上一個重要方向 用到工程學上一個重要方向。。

(64)

除了流體方程和描述表面張力的方程外, 除了流體方程和描述表面張力的方程外, 十九世紀的分析學家大致上致力于線性方 十九世紀的分析學家大致上致力于線性方 程的研究。基本波動方程的模式是線性的 程的研究。基本波動方程的模式是線性的 (波的疊加成線性現象)。另外一個基本 (波的疊加成線性現象)。另外一個基本 原因是任何非線性方程的研究必須奠基于 原因是任何非線性方程的研究必須奠基于 線性方程的深入了解。(到目前為止,非 線性方程的深入了解。(到目前為止,非 線性方程的嚴格處理大致上仍在于控制它 線性方程的嚴格處理大致上仍在于控制它 們的線性化方程。) 們的線性化方程。)

(65)

十九世紀時數學家對 十九世紀時數學家對LaplaceLaplace算子、熱傳導算子、熱傳導 方程、波動方程和 方程、波動方程和TricomiTricomi方程這些線性方方程這些線性方 程做了深入的研究。種種不同的積分變換 程做了深入的研究。種種不同的積分變換 如

如FourierFourier、、LaplaceLaplace變換等成為數學分析的變換等成為數學分析的 重要支柱。 重要支柱。FourierFourier級數的發現有劃時代的級數的發現有劃時代的 重要性,它與線性算子的譜分析有密切的 重要性,它與線性算子的譜分析有密切的 關係, 關係,它與積分方程理論它與積分方程理論引起了引起了HilbertHilbert空間空間 的

的發現發現。。LaplaceLaplace算子算子和和DiracDirac算子的譜分析算子的譜分析 在群表示理論、數論、幾何學上都有重大 在群表示理論、數論、幾何學上都有重大

(66)

各種不同的積分變換除了幫忙解決線性微分方程式 各種不同的積分變換除了幫忙解決線性微分方程式

外,也將

外,也將EulerEuler的發散的發散函數理論得到嚴格化,函數理論得到嚴格化,Zeta Zeta 函函 數因此得到解析延拓

數因此得到解析延拓(Analytic continuation) Fourier (Analytic continuation) Fourier 變變 換可以用來證明

換可以用來證明Poisson Summation formula Poisson Summation formula ,這個公,這個公 式仍然是一般函數作解析延拓時的主要工具,可是 式仍然是一般函數作解析延拓時的主要工具,可是 數論上重要的 數論上重要的LL函數的延拓問題還沒有全部解決,它函數的延拓問題還沒有全部解決,它 有深遠 有深遠的算術意義,我們需要新的解析延的算術意義,我們需要新的解析延拓拓的工具,的工具, 有了解

有了解析延拓,泛函方程析延拓,泛函方程 (functional equation) (functional equation) 才有意才有意 義 義。。 有了泛函方程我們才知道 有了泛函方程我們才知道這些函數的對稱關係,這些這些函數的對稱關係,這些 函數的零點因此有特殊的性質, 函數的零點因此有特殊的性質,因此因此

(67)

黎曼猜測 黎曼猜測ZetaZeta函數的主要零點是在函數的主要零點是在Re s=1/2Re s=1/2的的 線上,我們當然希望黎曼和廣義的黎曼猜想得 線上,我們當然希望黎曼和廣義的黎曼猜想得 到解決,這些問題有深遠的算術意義,它們可 到解決,這些問題有深遠的算術意義,它們可 否單用解析方法去全部解決,是值得思考的,它 否單用解析方法去全部解決,是值得思考的,它 是否跟離散群 是否跟離散群、、算術幾何算術幾何、、譜分析或數學物理譜分析或數學物理 有關。在弦理論中也產生了很多有算術意義的 有關。在弦理論中也產生了很多有算術意義的 函數,它們的解析延拓還未解決,它們的算術 函數,它們的解析延拓還未解決,它們的算術 性質值得去研究。它們有沒有適當的泛函方程 性質值得去研究。它們有沒有適當的泛函方程

(68)

一般來說在分析中,我們希望找到一組簡 一般來說在分析中,我們希望找到一組簡 單而易於控制的函數來表示任意一個函數或 單而易於控制的函數來表示任意一個函數或 一個波 一個波 ,除了正弦和餘弦函數外還有各種,除了正弦和餘弦函數外還有各種 正交多項式

正交多項式orthogonal polgromial orthogonal polgromial ,函數不,函數不 同的表示引導出不同的收斂的方法 同的表示引導出不同的收斂的方法,,這些問這些問 題極為有意義, 題極為有意義,CarelsonCarelson 著名的著名的LL22 函數收斂函數收斂 定理可說是分析學中劃時代創作。有界函數 定理可說是分析學中劃時代創作。有界函數 卻有截然不同的表現, 卻有截然不同的表現, CarelsonCarelson解決的一維解決的一維 的複函數理論的 的複函數理論的CoronaCorona問題還未推廣到高維問題還未推廣到高維 空間,在高維複幾何中,這是有迫切需要的 空間,在高維複幾何中,這是有迫切需要的 。 。我們對有界全純函數組成的我們對有界全純函數組成的BanachBanach代數理代數理 解不深。這些 解不深。這些BanachBanach 代數的譜分析還待深代數的譜分析還待深 入研究 入研究。。

(69)

在十九世紀中葉,多維變分法開始發展。 在十九世紀中葉,多維變分法開始發展。

當時研究主要集中在

當時研究主要集中在LapalceLapalce算子(算子(DirichletDirichlet 原理),以後推展到一般的橢圓形算子系 原理),以後推展到一般的橢圓形算子系 統,成為方程解存在的一個主要辦法。 統,成為方程解存在的一個主要辦法。 調和分析和勢場理論對 調和分析和勢場理論對LaplaceLaplace算子提供了算子提供了 深入的了解。我們也因此有一個基礎去研 深入的了解。我們也因此有一個基礎去研 究非線性橢圓方程的正則性問題,從而解 究非線性橢圓方程的正則性問題,從而解

(70)

儘管如此,我們對非線性橢圓微分方程組 儘管如此,我們對非線性橢圓微分方程組 了解還是不夠深入, 了解還是不夠深入,他們解的奇異點還待他們解的奇異點還待 了解 了解。本世紀會從幾何和物理的觀點去探。本世紀會從幾何和物理的觀點去探 討。正如 討。正如HamiltonHamilton工作中對奇異點的處理將工作中對奇異點的處理將 會提供我們以後工作很多提示。 會提供我們以後工作很多提示。各種不同各種不同 的

的ScaleScale會出現會出現,,如何有效處理如何有效處理scaling scaling 可能可能 會從物理學裡得到啟示 會從物理學裡得到啟示。。 橢圓方程描述與時間無關的幾何或物理狀 橢圓方程描述與時間無關的幾何或物理狀 況。動態的方程 況。動態的方程極極為困難,進展也比較緩為困難,進展也比較緩 慢 , 慢 , 如 何 尋 找如 何 尋 找非 線 性 量 的 估 計 是 主 要 問非 線 性 量 的 估 計 是 主 要 問 題。 題。一般的能量估值是積分估值一般的能量估值是積分估值,,不足以不足以 控制極為精細而有趣的現象 控制極為精細而有趣的現象。。

(71)

拋物方程與橢圓方程比較接近,其正則性 拋物方程與橢圓方程比較接近,其正則性 也比較容易處理。上述的 也比較容易處理。上述的HamiltonHamilton、李偉光、李偉光 和我對拋物方程組的研究提供了非線性拋 和我對拋物方程組的研究提供了非線性拋 物方程一個有用的估值原則。我們在這些 物方程一個有用的估值原則。我們在這些 方程的特殊解( 方程的特殊解(solitonsoliton)中先得到一些重要)中先得到一些重要 的量,然後利用極大值原理來證明它在一 的量,然後利用極大值原理來證明它在一 般情形下滿足不等式。 般情形下滿足不等式。HamiltonHamilton和我發現這和我發現這 個原理是一般拋物方程共同的基本特性, 個原理是一般拋物方程共同的基本特性,

(72)

拋 物 方 程 不 單 有 它 本 身 的 幾 何 和 物 理 意 拋 物 方 程 不 單 有 它 本 身 的 幾 何 和 物 理 意 義,它對橢圓方程也提供了新的方法。舉 義,它對橢圓方程也提供了新的方法。舉 例來說,線性的熱方程是連接局部幾何和 例來說,線性的熱方程是連接局部幾何和 流形上譜的一個橋樑。從物理上說這是古 流形上譜的一個橋樑。從物理上說這是古 典力學過渡到量子力學一個過程。從這個 典力學過渡到量子力學一個過程。從這個 觀點來看,一個與時間無關的方程在尋找 觀點來看,一個與時間無關的方程在尋找 解時,很可能透過拋物方程得到深入的了 解時,很可能透過拋物方程得到深入的了 解。 解。

(73)

二十一世紀的微分幾何一個最重要的問題 二十一世紀的微分幾何一個最重要的問題 是 是EinsteinEinstein方程解的存在性問題。在代數流方程解的存在性問題。在代數流 形的理論裡有所謂幾何穩定性的理念。二 形的理論裡有所謂幾何穩定性的理念。二 十年前,我提出方程存在性與這種穩定性 十年前,我提出方程存在性與這種穩定性 有關。這個想法己經成為一個重要的研究 有關。這個想法己經成為一個重要的研究 方向。 方向。在研究在研究KahlerKahler流形上的度量問題上流形上的度量問題上,, 最重要的突破是由 最重要的突破是由DonaldsonDonaldson作出的作出的。這種。這種 穩定性的研究與辛幾何裡面的

穩定性的研究與辛幾何裡面的moment mapmoment map 密切相關,

(74)

我相信大部分的微分方程組會有相似的現 我相信大部分的微分方程組會有相似的現 象。我們可以人為地加上時間而構成新的 象。我們可以人為地加上時間而構成新的 方程組。當時間趨于無窮時,希望找出原 方程組。當時間趨于無窮時,希望找出原 方程的解,或帶奇異點的解。(奇異點的 方程的解,或帶奇異點的解。(奇異點的 存在性會與上述方程的穩定性有關。)這 存在性會與上述方程的穩定性有關。)這 種穩定性應當比古典的概念來得廣泛,它 種穩定性應當比古典的概念來得廣泛,它 與代數幾何裡的幾何不變理論密切相關。 與代數幾何裡的幾何不變理論密切相關。

(75)

非線性波動方程比拋物方程困難。其中一個主要原因 非線性波動方程比拋物方程困難。其中一個主要原因 時在有限的速度下,我們沒有很好的方法去控制不同 時在有限的速度下,我們沒有很好的方法去控制不同 的波互相消減的辦法。在可積系統的波動方程中,有 的波互相消減的辦法。在可積系統的波動方程中,有 所謂

所謂inverse scatteringinverse scattering的方法將非線性方程轉變成的方法將非線性方程轉變成 比較容易處理的線性方程,從而問題得到解決。 比較容易處理的線性方程,從而問題得到解決。

Glimm

Glimm對一維空間的對一維空間的Conservation lawConservation law和以後非線性和以後非線性 Schordinger Schordinger方程的研究都對非線性波動有一定貢方程的研究都對非線性波動有一定貢 獻。然而流體學家的擾動方法、幾何光學和 獻。然而流體學家的擾動方法、幾何光學和WKBWKB的半的半 古典方法都還需要嚴格的處理。一般來說,大範圍和 古典方法都還需要嚴格的處理。一般來說,大範圍和 長時間的波動方程的處理僅在弱場的情形下比較成 長時間的波動方程的處理僅在弱場的情形下比較成

(76)

有物理或幾何意義的方程往往是橢圓方程、拋物 有物理或幾何意義的方程往往是橢圓方程、拋物

方程和波動方程的組合

方程和波動方程的組合,,NavierNavier--StokesStokes方程就是方程就是 一個很好的例子。如何處理這種組合是一個挑 一個很好的例子。如何處理這種組合是一個挑 戰。如何研究這種方程組的 戰。如何研究這種方程組的scalescale問題無論在數值問題無論在數值 分析或理論上都需要解決。微分方程的穩定性分 分析或理論上都需要解決。微分方程的穩定性分 析可能需要更前一步的了解。如何處理帶奇異點 析可能需要更前一步的了解。如何處理帶奇異點 的解的穩定性?一個重要的例子是廣義相對論中 的解的穩定性?一個重要的例子是廣義相對論中 的 的KerrKerr解的穩定性,至今仍未明朗。另外一方解的穩定性,至今仍未明朗。另外一方 面, 面,線性方程組的研究還需更進一步的發展線性方程組的研究還需更進一步的發展,群,群 表示家將線性微分方程組的理論發展得淋漓盡 表示家將線性微分方程組的理論發展得淋漓盡 致,

致,調調和分析,和分析,hyperfunctionhyperfunction 和和 DD--modulimoduli理論,理論, 都是他們的工具。

(77)

在上述所有討論裡,有兩個重要的理念在物 在上述所有討論裡,有兩個重要的理念在物

理、數學和應用科學中都是非常重要的 理、數學和應用科學中都是非常重要的︰︰

第一個是

第一個是scalescale的問題。的問題。理論理論物理物理學的學的HierachyHierachy問問 題就是一個例子。引力場和其他力場的 題就是一個例子。引力場和其他力場的scalescale相相 差極遠,如何統一,如何解釋?在古典物理, 差極遠,如何統一,如何解釋?在古典物理, 微分方程、微分幾何和數值分析中都有不同 微分方程、微分幾何和數值分析中都有不同 scale scale融合的問題。在統計物理和高能物理融合的問題。在統計物理和高能物理

(78)

第二個重要的理念是 第二個重要的理念是SymmetrySymmetry(對稱)(對稱) 群和群的表示論的理念 群和群的表示論的理念 有限群 有限群︰︰如鏡對稱、雪花對稱、如鏡對稱、雪花對稱、 數論中常用的 數論中常用的GaloisGalois群。群。 連續群(李群) 連續群(李群)︰︰在規範場論中在規範場論中 起著重要的作用。 起著重要的作用。 非緊離散群 非緊離散群︰︰在數論和幾何上的用途。在數論和幾何上的用途。 無限維對稱 無限維對稱︰︰規範場中的規範群。規範場中的規範群。 Duality

Duality比比SymmetrySymmetry更廣義,不同理論的廣義更廣義,不同理論的廣義同構將同構將 是二十一世紀重要命題。

(79)

對稱的理念可說是 對稱的理念可說是各門各門科學中最基本的工科學中最基本的工 具。但運用之妙,存乎一心,在于作者的 具。但運用之妙,存乎一心,在于作者的 經驗和直覺。二十一世紀基礎科學的基本 經驗和直覺。二十一世紀基礎科學的基本 命題 命題︰︰如何將對稱的物理基本現象與非對如何將對稱的物理基本現象與非對 稱的世界聯合? 稱的世界聯合? Symmetry Breaking Symmetry Breaking 眾生色相,何由而生? 眾生色相,何由而生? 基本的物理定律是時間對稱的,為何我們 基本的物理定律是時間對稱的,為何我們 擔憂時光消逝?因為直觀世界不是時間對 擔憂時光消逝?因為直觀世界不是時間對

(80)

熱力學第二基本定律說

熱力學第二基本定律說︰︰RandomnessRandomness隨時間而增。隨時間而增。 Boltzmann

Boltzmann發現發現EntropyEntropy也隨時間增長。這是一個奇也隨時間增長。這是一個奇 妙的定理,到如今還未得到徹底的了解。

妙的定理,到如今還未得到徹底的了解。

時間的箭咀在廣義相對論中是一 時間的箭咀在廣義相對論中是一

個重要的題目。

個重要的題目。Roger PenroseRoger Penrose和和 Hawking Hawking都花了很多時間討論。這都花了很多時間討論。這 是因為 是因為EinsteinEinstein方程對時間來說是方程對時間來說是 對稱的,然而在現實世界,時間是 對稱的,然而在現實世界,時間是 不對稱的。如何在廣義相對論裡定義熵( 不對稱的。如何在廣義相對論裡定義熵(entropyentropy)) 是一個重要問題。 是一個重要問題。

(81)

今日的演講,由於時間的緣故,不可能包 今日的演講,由於時間的緣故,不可能包 括其他有趣的數學,尤其是與工程有關的 括其他有趣的數學,尤其是與工程有關的 數學。然而很明顯的,應用數學需要建立 數學。然而很明顯的,應用數學需要建立 在 基 本 數 學 上 。 反 過 來 說 , 好 的 工 程 問 在 基 本 數 學 上 。 反 過 來 說 , 好 的 工 程 問 題,尤其是現代的電子計算機會提供基礎 題,尤其是現代的電子計算機會提供基礎 數學不可代替的幫助,而有意義的應用數 數學不可代替的幫助,而有意義的應用數 學的問題也會逐漸變成基礎數學主流的一 學的問題也會逐漸變成基礎數學主流的一 部分。所以我說二十一世紀的數學是趨向 部分。所以我說二十一世紀的數學是趨向

參考文獻

相關文件

對於每一個重數為 的特徵值,求一組有k個線性.

(non-hypoelliptic) 的線性偏微分方程式而發展起來的一門學問。 許多大數學家如約瑟夫.孔 恩 (Joseph Kohn), 路易.尼倫博格 (Louis Nirenberg), 拉爾斯.霍曼德 (Lars

Hamilton 以很多方式從跟均曲率流 (mean curvature flow) 做類比 得到關於他的 Ricci 流的直觀。曲線縮短流 (curve shortening flow) 已被 Grayson 研究過,而

了⼀一個方案,用以尋找滿足 Calabi 方程的空 間,這些空間現在通稱為 Calabi-Yau 空間。.

有鑑於青年朋友在生涯發展的過程中,會面臨不同階段如求學、就業等抉

在 2004 年和 2005 年期間,喬根森利用手術植入的小無線電發射機跟蹤 28 條

《小偵探》 :小朋友,你知道誰是歐巴馬嗎?請你查一查他的資料,與全班分

反之, 有了 parametric equation, 我們可利用這些在 R n 的 direction vectors, 利 用解聯立方程組的方法求出和這些 direction vectors 垂直的 normal vectors,