三界文学阁

手机浏览器扫描二维码访问

第六百四十一章 minkowski猜想和bernstein问题（第1页）

他先与郑绍远合作，用实的Monge-Ampere方程解决了着名的闵可夫斯基（Minkowski）猜想和闵可夫斯基时空中的伯恩斯坦（Bernstein）问题，此后再将他自己发展的梯度估计技术发挥到极致，终于在1975年完全解决了卡拉比猜想。

首先，对于第一陈类小于和等于零的紧卡勒流形，卡拉比猜想告诉我们，Kahler-Einstein度量总是存在。

但是即使已经具备了这些工具，仍然有许多准备工作要做。

第一道难关，是在此之前，除了复一维的情形外，还没有任何人解过复系数蒙日—安培方程。

就像登山者不断挑战更高的山岳，我则是向更高维挑战。为了培养攻克高维蒙日—安培方程的实力（它们有多么非线性是不消说的），我和我的朋友郑绍远开始研究某些高维的题目，先从实数的情况着手，然后再对付更难的复方程。

我们首先找上的是闵可夫斯基在19世纪与20世纪之交所提出的着名难题。

闵可夫斯基问题涉及先取一些预设信息为条件，然后判定符合这些条件的结构是否存在。

以一个简单多面体为例，当你检视这样的结构时，可以借由其面数、边数和尺寸来刻画它。

而闵可夫斯基问题则是反过来问：如果被告知面的形状、面积、数目和方向，你能否判定有没有符合这些条件的多面体？若有的话，是否唯一？

实际的闵可夫斯基问题的范围更广，因为它适用于任意的凸面（convexsurface），而不只是多面体。

其中各面的方向条件，则改用曲面各点的指定曲率来取代，而这些曲率则是各点的法向量（normalvector）所对应的函数值，这相当于描述曲面各点所指的方向。

然后你可以问，具有上述指定曲率的物体是否存在。

将问题这样表述的一大好处，是问题不再以纯几何的形式来呈现，它也可以写成偏微分方程。

纽约大学理工学院的鲁特维克（ErwinLutwak）解释说：“如果能解出这个几何问题，附带还可以得到一项大礼：你同时也解决了一个可怕的偏微分方程。

几何和偏微分方程之间的交互关系，是这个问题如此重要的原因之一。”

郑绍远和我找到一个方法来解这题，我们的论文在1976年发表。

不过后来发现，另一个独立的解答，已在数年前由俄罗斯数学家波戈列洛夫（AlekseiPogorelov）发表在1971年的一篇论文里。

论文是以俄文撰写的，所以郑绍远和我原先并不知道该篇论文存在。总结起来，关键在于解一个先前无人解过的复非线性偏微分方程。

即使先前不曾有人解过这个问题（波戈列洛夫除外，但是当时我们并不知道他的研究），但是关于如何处理非线性偏微分方程，却已有一套明确的既定程序，称为“连续法”（continuitymethod），这是一种采取一连串估计的方法。

方法本身并不新奇，诀窍在于能制定出一套对于手上问题特别有效的策略。

连续法的基本想法是通过一次次愈来愈准确的估计来逐渐逼近解答。

证明的本质在于论证经过足够多次的迭代之后，这个过程可以收敛到一个良好的解。

如果一切顺利，最后你得到的，仍然不会是可以作为解而写下来的明确算式，而只是证明出该方程的解的确存在。

就卡拉比猜想以及与它同性质的问题而言，证明某一偏微分方程有解，就等于几何里的存在性证明，说明给定某一“拓扑”条件，则合乎该条件的特定几何形体确实存在。

不过这也并不表示你只证明了有解，却对解一无所知。

因为你证明解存在的方案，可以转化成运用电脑计算来逼近答案的数值技巧。

喜欢数学心请大家收藏：（）数学心

杀了那个妖鬼  末世后我成了疯批alpha们的安抚剂  上流假象  还是修仙吧  君为客  第三十年明月夜  神魔剑玄录  死神不来了  迷津蝴蝶  新搬来的邻居  我真没想在过去的年代当学霸  攻略对象变成室友后，他不对劲  怪物崽崽和他的怪物监护人  枭鸢  兽世养山君[种田]  我在死亡副本当管理员  撩惹疯批顶E，笨蛋少爷他逃了  夸夸我的神探祖父穿越爹  小仓鼠今天有猫了吗  穿到虫族和军雌相亲