About “complex analysis” by Ahlfors, Cartan and Kunihiko Kodaira

“苟日新,日日新,又日新” 作者: 秋水无涯 博尔赫斯曾经(大逆不道地)怀疑过所有经典文学作品的“永恒性”。在我看来,在数学中实践这种怀疑主义所要冒的风险要小得多。这是一门研究客观对象的学问(我无意卷入哲学上的争论,例如“理念”是否真实存在,数学家“发现”还是“发明”定理等等:实践者或多或少总能达成共识,而与旁观者争论是没意义的),认识总在进步。如果说有人站在巨人的肩膀上以至于觉得巨人并不高大,他大可不必为此感到羞愧。何况据说小平先生还没有他的夫人高呢。 经典的复分析理论是由3位风格各异的大师奠定的:Cauchy的积分表示观点,Weierstrass的幂级数表示观点和Riemann的复几何观点。近代恰好也有3位大师写过复分析的入门书:Ahlfors、H.Cartan以及小平邦彦。诚然,一本近代教材不可能只局限于介绍某种观点,甚至3种经典观点本身也无法截然分开,然而我们还是不难发现某种对应: Ahlfors《复分析》最精彩的部分在于提供了一个从拓扑角度看完全清晰而现代的Cauchy积分定理。他毫不掩饰自己的分析学家趣味,自得其乐地(当然同时也让读者受益无穷)讨论着函数的各种表示,函数空间内的收敛性,椭圆函数论以及超几何函数论。这些论题覆盖了经典函数论的绝大部分内容,又出之以现代观点,使得此书在数十年间一直保持着第一参考书的地位。这是3本书中我读得最早也最钟爱的一本,虽然我并不强求它是完美的:在不引入Riemann面的情况下引入层论是相当勉强的,除了让叙述稍显摩登之外没有什么意义。 Cartan的《解析函数论》则处于一种尴尬的境地。他试图把Weierstrass观点摆到图像的中心,但这里有一个天然的(?)的限制:从积分表示构造幂级数表示要比从幂级数表示构造积分表示自然得多。因而他不得不在两种观点间来回跳跃,远不如Ahlfors宏大而一致。当然他的牺牲也获得了某种回报:Weierstrass观点可以毫不费力地推广到多变元(Cauchy的大部分函数论定理也仍然正确;高维的困难之处本质上是几何的)。 小平讨论了Riemann面,讨论了调和函数和“臭名昭著”的Dirichlet原理,讨论了Abel积分,也讨论了Riemann-Roch定理——他的这本著作几乎可以用来为Riemann招魂。这个膜拜Riemann的教派大概是由Klein创始的,一传到Weyl,再传到小平。然而从Riemann到小平已将近一个世纪,这种“复古”的风气难免显得有些怪异:在讨论全纯/亚纯形式的时候,小平偏要说Abel微分并把它分为一二三类;椭圆算子的正则性以及Hodge理论原本是他的拿手好戏,他却宁愿踩着Weyl引理-Dirichlet原理这条窄道小心前行:多么讽刺啊,以Hodge理论名震天下的小平邦彦,在写书的时候竟然连Hodge的名字都不敢提!这种“爱护”对学生有何好处呢?如果小平自己都莫名其妙地不置一词,初学者又怎么知道引理8.1和定理8.1在高维妙用无穷呢? 当然,有人会说:这个特例已很有代表性(在证明了RR定理的情况下尤其如此),何必用一般性去困扰学生呢?但我意不在此。我所惋惜的是这个例子明明可以把学生引导到当时的前沿领域,引向一些激动人心的进展,作为向导的小平却宁愿带着一帮人回头走向Riemann:这是何必、何苦? 我知道一些数学家有所谓“经典情结”。Weil就是典型的例子。总有人以他读Gauss全集“读”出了Weil猜想为例宣传挖掘经典的必要性,伍鸿熙先生甚至在介绍现代Riemann几何的书里鼓励年轻人去念Gauss、Riemann和Poincare。在我看来这是一种纯粹的误导:一方面,重新拾起那些被现代数学消化了的概念毫无必要;另一方面,在经典作品里找到遗珠并非不可能,但因此鼓励初学者去撞运气则是荒唐的,我也绝不相信伍先生自己的论文是这样写出来的。 曾有人问丘成桐先生学微分几何要读什么书。丘先生明确地表示Spivak并不合适:“他自己不是搞几何的专家。”说得明白一些,“历史趣味”对于研究至多是锦上添花,读丘成桐比读Gauss要有效得多:至于那些喜欢拿“谁更伟大”说事的人,他们自己往往什么都搞不出来。 从这个意义上来说,小平的复分析是一本好书:它好在内核是新的,用现代的观点处理了Riemann留下的一些古典论题(而并不是好在“小平先生是人人景仰的大师”这些不着边际的话)。但它又是一本太过保守的书,并不能把没有经验的读者带到更远处——很可能要等到他们念Griffiths-Harris的时候才能明白:“哦,原来这里是重要的。哦,原来小平先生处理问题的手法是受这些现代观点影响。哦,原来小平先生并不是踏雪无痕,而是过分小心地把自己思想的脚印一一擦掉了。”

About “complex analysis” by Ahlfors, Cartan and Kunihiko Kodaira Read More

Yitang Zhang at BICMR: Distribution of Prime Numbers and the Riemann Zeta Function

张益唐暑假在北京. 7 月他在母校北京大学的北京国际数学研究中心 (BICMR) 有一个系列的学术报告: Distribution of Prime Numbers and the Riemann Zeta Function I, II, III. 这个报告分三场, 原定时间是 July 8, 10, 15,  2014 16:00-17:00, 地点是镜春园 78 号院的 77201 室. BICMR 官网上这个报告的 Abstract …

Yitang Zhang at BICMR: Distribution of Prime Numbers and the Riemann Zeta Function Read More

Complex analysis 6: Harnack’s inequality

Harnack’s inequality 是关于调和函数的一个不等式, 被 A. Harnack 在 1887 年引进. 随后又被其他人重新发现, 比如 J. Serrin 和 J. Moser. 有不少重要的数学家对 Harnack’s inequality 做出各种推广. 通过Nash-Moser迭代, 人们发现在较为一般的散度型椭圆方程和抛物方程正解都具有这种性质. 从此, Harnack 不等式在偏微分方程解性质研究中发挥了巨大作用. 上世纪八十年代, P.Li 和丘成桐给出了Harnack不等式的另一种认识途径, 即所谓微分Harnack 估计. Li-Yau 对 Harnack不等式的新认识对 Ricci 流发展有重要影响. 经典椭圆型偏微分方程和抛物方程中的Harnack不等式在几何流中, …

Complex analysis 6: Harnack’s inequality Read More

Complex analysis 4: Cauchy–Riemann equations

这节的目的是 Cauchy–Riemann 方程. 注意, 我们是在不涉及导数, 解析函数的前提下做这件事. Cauchy–Riemann 方程 大名鼎鼎的 Cauchy–Riemann equations: \[\begin{cases}\frac{\partial u}{\partial x}=\frac{\partial v}{\partial y};\\ \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x}.\end{cases}\] 这是一个偏微分方程组, 是复分析的核心. Cauchy–Riemann equations 与 Maxwell’s equations Cauchy–Riemann equations 与 Maxwell’s equations 是有联系的.

Complex analysis 4: Cauchy–Riemann equations Read More

Complex analysis 3: Proofs of the fundamental theorem of algebra based on Cauchy’s theorem

Fundamental theorem of algebra(FTA)   Every polynomial of degree \(n\geqslant1\) with complex coeficients has a zero in \(\Bbb C\). 我们尝试使用 Cauchy 积分公式来证明代数基本定理. 其实有几个大同小异的证明, 基本的想法是一致的. 第一个证明属于 Anton R. Schep. Proof. Let \(p(z)=z^n+a_{n-1}z^{n-1}+\dotsb+a_1z+a_0\) be a …

Complex analysis 3: Proofs of the fundamental theorem of algebra based on Cauchy’s theorem Read More

Complex analysis 2: Variation of argument, fundamental theorem of algebra

下面的定义在多值函数中起着重要作用: 定义 设 \(f(z)\) 是一个连续复函数, \(\gamma\) 是在 \(f(z)\) 的定义域中有意义的一简单闭曲线. 设 1) \(a\) 在曲线 \(\gamma\) 上; 2) \(f(z)\) 不经过 \(0\), 即 \(0\notin f(\gamma)\); 3) 取 \(f(a)\) 辐角的一个值, 记为 \(\alpha_1\); 4) 沿着曲线 \(\gamma\), \(f(z)\) 的辐角连续变化; 5) 沿着曲线 \(\gamma\) …

Complex analysis 2: Variation of argument, fundamental theorem of algebra Read More

Complex analysis 1: What is \(\sqrt{-1}\)?

到底什么是 \(\sqrt{-1}\)? 它存在吗? 要回答这些问题, 我们先要搞清楚: 何谓数学中的”存在”? 数学中的存在性 我们从非欧几何说起. 非欧几何还会在后面被提及. 欧几里得的”几何原本”出现以后, 第五公设一直被众多数学家广为诟病. 很多人希望用前四条公设证明平行公设, 但不能成功. 这样经过长达 2000 年努力后, 数学家开始尝试另外的道路. 1820年代, 罗巴切夫斯基用一个和平行公理矛盾的命题来代替第五公设, 然后与欧氏几何的前四个公设结合成一个公理系统, 展开一系列的推理, 得出了一个又一个在直觉上匪夷所思, 但在逻辑上不矛盾的命题. 这种几何是为罗巴切夫斯基几何. 从罗巴切夫斯基创立的几何学, 得出一个极为重要的, 具有普遍意义的结论: 逻辑上互不矛盾的一组假设都有可能提供一种几何学. 现在我们可以说: 数学中的存在性, 指的就是逻辑上的无矛盾性. \(\sqrt{-1}\)的合理性 这个问题的答案, 其实就在 Ahlfors 的经典名作 …

Complex analysis 1: What is \(\sqrt{-1}\)? Read More