按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！
刚刚程诺的表现，已经让男生对程诺的印象改观了一些。
这个学弟，似乎并非那么寻常！
于是他试探的问道，“既然你知道了我们遇到的麻烦，那有办法解决吗？”
程诺笑了笑，竖起一根手指摆了摆，缓缓吐出两个字，“不难！”
察里同学面色一喜。
男生洛奇嘴角一抽。
为啥我有一种，观看逼王现场直播的感觉？
真相了的洛奇，静等着程诺开口。
“我想，你们之所以在这个问题上墨迹这么长时间，有很大一部分原因，是用错了方法。”
“用错了方法？”
“对！”程诺用笔帽轻轻敲击桌面，“我先问你一个问题，什么是分数阶导数的非线性微分方程？”
男生下意识的回答，“分数阶导数的非线性微分方程，可以用两个公式来概括：f一z＋d＋dtz一fx，z，z∈0，1，还有y0=0=y1。”
程诺十分满意的点头，“说的没错。但你是否还记得，这个分阶导数，还有它的存在性条件？”
存在性条件？洛奇一愣。
程诺解释道，“dirihlet边值一定的情况下，分阶导数的微分方程就会存在一个这样的存在性条件。”
程诺拿起笔，在纸上唰唰唰写道，“d0＋yx=d1…yx，d1…yx=d…yx。”
男生看着程诺写下的一行公式，陷入了沉思。
可程诺并没有给他思考的时间。他又不是几人的老师，没有必要跟着他们的节奏走。
他接着阐述自己的观点，“你们试图想去证明分数阶导数的非线性微分方程边值存在唯一解的方法，是直接通过公式的推导，在利用banah压缩映像理论得出结果。”
“但由刚才我写的那两个存在性条件来说，这种方法是百分百错误的！”程诺笃定的语气说道。
“那……”男生忍不住开口。
程诺双手下压，笑眯眯的道，“同学，不要这么着急嘛，平稳气场，平稳气场。正确的证明方法，我马上就讲。”
程诺先是在草稿纸上写下三个关键词：green函数、lipshitz压缩条件、banah空间。
“我的证明法很简单，其实只要你们懂了我这三个关键词，明白也只是时间问题，不过为了节省双方的时间，我还是直接推导一遍吧。”程诺语气很平淡，理了理脑海中的思路，便像是讲课般的一样，边讲边写。
“第一步，采用扰动方法结合green函数，进一步研究带有左右分数阶导数的微分方程边值问题，给出齐次微分方程dirihlet边值问题，则一ux=0，x∈0，1，y0=0=y1。”
“假设函数fx，u在＇0，1＇×＋∞，…∞一一oo，＋oo上是连续的，则齐次边值问题可以描述为…u'；'；x=fx，ux，x∈0，1，u0=0=u1。其中ux表示边值问题的解。”
…………
“……通过上述定理可获得边值问题在连续函数空间c＇o，1＇上存有唯一解．由已知条件可知，在连续空间c＇o，1＇上，算子t满足lipshitz压缩条件，再根据banah压缩映像理论，算子t在空间上个存在唯一不动点y∈＇o，1＇，符合……”
“……通过上述定义及定理可证明，分数阶导数的非线性微分方程边值存在唯一解！”
边说边写的，程诺用了接近二十分钟的时间，将证明边值唯一解这个问题给察里四人从头到尾推导了一遍。
除了察里这个已经产生免疫力的存在，其余三位皆是处在了脑子当机的状态。
这就……结束啦？！
想当初，他们四个爆肝爆种的钻研了两天两夜，也没研究出个所以然来。
可到了程诺这，怎么就成了二十分钟的事了呢？
难道这就是天才和庸才的差距？不过也太特么的现实了吧？
米奇一脸苦色的望望察里，在盯着坐在椅子上神色自若的程诺，心中五味杂陈。
看走眼了啊！被打脸了啊！
他是在没想到，那传说中百年难遇的奇才，还真的被他给遇到了！
他走到察里面前，苦涩的问道，“察里，你的这位朋友叫什么名字？我怎么从来没听说过我们学院还有这号人物？”
察里耸耸肩，“你没听过是正常的，因为大神那种人物已经没有兴趣在学校内搞得风起云涌。最近那个火起来的程诺定理知道吧，就是大神提出来的！”
嘶！
米奇悚然而惊！
第四百一十四章 语音会议（）
414章
“我想说的就这些了，推导过程就在这，以你们的水平多看几遍就懂了，我也懒得多讲几遍了。”程诺伸了伸懒腰，从座位上站起，“察里，我先撤了，以后遇到这种事，直接把题目发过来就行了，你们这离实验大楼还是挺远的。”
他抬起手腕看了看时间，指了指门外，“时间也不早了，没别的事情的话，我就走了。”
“那个……等等！”待程诺往门口走了几步的时候，脸色变幻不定的米洛大声叫住了程诺。
“对不起！我刚才不应该质疑你的实力。”米洛对程诺弯腰致歉。
程诺无所谓的摆摆手，“安啦，安啦，已经习惯了，我也没有记恨你的意思啊！”
“不管你信不信，但我真的没把这事放在心上。”程诺转过身，背对着众人挥挥手，“走啦！”
一日的悠闲时光，程诺可不好如此的肆意浪费。
…………
次日。
程诺背着包，来到麻省理工学院校内的一家咖啡馆，点了一杯咖啡，一边悠闲的喝着，一边开始今天的工作。
按照课题的时间安排，今天是这个关于几何同调性课题组的第一次正式会议。
虽然这次课题组的档次很高，由一位正教授、两位副教授和一位研究生组成，但主要讨论的内容，无非还是研究的整体框架，外加研究任务的具体分工之类的事情。
戴上耳机，程诺和普林斯顿的三位教授开始通话。
程诺：“喂喂喂，听得清吗？”
米勒：“哈哈哈，汤姆你的声音听起来很年轻嘛！”
程诺没有接话，问道，“组长在吗？”
哈奇：“稍等一下，老大在接电话，马上好。”
几十秒后……
伯恩：“汤姆，抱歉久等了。既然人都到齐了，那我们就不闲聊了，直接进入正题吧！”
米勒：“ok！”
哈奇：“ok！”
程诺：“ok。”
气氛沉默几秒后，先是传来几声轻咳，接着伯恩教授的声音响起，“我们都知道，程诺定理的提出，直接将几何中的代数簇和复代数簇深刻的联系在一起。同时，只存在于拓扑空间中的同调方法，也有了适用在簇与概形的可能。”
“不得不说，程诺定理的提出对我们几何界的影响实在是太大了。还有那个叫程诺的年轻人，即便是我，也是佩服不已啊。如果有可能的话，我还真想去求教他一番。”
程诺在耳机里听到伯恩这波对程诺的吹捧，也不由有些脸红。
我现在……有那么厉害吗？
好在伯恩教授也很快结束了这番无意义的吹捧，继续神色庄重的说道，“我们本课题的目的，就是在结合程诺定理的基础上，推导出实用于代数簇的同调定理，进而通过同调性定理……”
伯恩教授讲话方式似乎很像华国式领导，明明就是三言两语，言简意赅的东西，被伯恩教授添添加加的说了接近小半个小时。
幸好这是语音会议，程诺还能走走神。至于现在就在伯恩教授面前的米勒和哈奇，恐怕很难受吧。
“我先说这些。接下来，我们各抒己见，先把这个课题的整体框架搭起来吧。”伯恩教授终于结束了他的絮絮叨叨。
气氛再次陷入沉默。
米勒教授打破这种尴尬的气氛，“汤姆，要不你说几句吧？”
“啊，我？”程诺愣了一下，他刚才以为是米勒要先说呢？搞半天是想让他说。
他脑海中理了理思路，“那我就说一下我的观点吧。”
“我们都知道，同调是拓扑空间范畴上的一个正变函子，也就是说他不改变箭头的方向。同时满足包括exision lemma在内的一系列公理。在一个链复形上拥有降次运算，比如说边界运算：dn：n→n…1。进行两次的边界运算后，便会得到0：dn…1*dn：n→n…2=0。”
“……设 x 是 fq上的 d 维光滑射影簇，约定é=x…fq，在射影簇x上，我们可以定义fx，f^2x，f^x，……射影簇x上fq^n点集xfq^n恰好是自同态f^nx：x→χ的不动点集！”
“那怎么计算射影簇上的不动点集的数量呢？”程诺还未说完，米勒教授就忍不住问道。
程诺笑了笑，缓缓开口说道：“lefshetz不动点定理！”
米勒：“lefshetz不动点定理？”
程诺加重语气，“对，就是lefshetz不动点定理！”
“设 x 是一个紧微分实流形， f：x→ x 是一个微分映射， f 的一个不动点是指一个点 xin x 使得 fx=x 。对于 x 的一个不动点 x ，微分 df_｛x｝是切空间 t_｛x｝x 的一个线性变换。称一个不动点 x 是非退化的，如果 1…dfx是可逆的。这个条件是说这个不动点具有‘重数 1 ’！”
程诺几乎是不假思索的说出这段话。
“是这样啊，刚才我还真的一时没有反应过来！”那边传来米勒恍然的声音。
伯恩教授也接着开口说道，“我的切入点也和汤姆先生的观点差不多。利用同调群在拓扑中的基本性质，通过构建一个光滑代数射影簇，运用不动点集进行切入。”
接着，伯恩教授又把他的想法给程诺三人讲了一下。
大同小异。
除了在一些具体的细节上有些分不清优劣的区别外，大体的内容是相同的。
米勒教授是主攻拓扑学的，虽然对几何内容的了解比不上其余三人，但他作为拓扑学领域小有名气的青年数学家，对拓扑学的同调群自然是了解颇深。
但即便是他，在经过程诺的解释后，也是对这个方案提不出任何瑕疵。
哈奇教授也没有异议。
伯恩当即拍板，“既然如此，那就按照我和汤姆的这个来。至于那些不同的细节，到时候看谁的方案运算过程简单一些，采用谁的就行。”
切入点敲定，剩下的事情就简单了。
虽然一些东西在没有真正运算出结果前是没法提出具体的处理措施的，但搭建一个只包含骨骼的框架并不需要如此精确的东西。
用了一上午的时间，在程诺连喝了三杯咖啡后，框架终于被搭建好，同时任务也分配完毕。
在米勒和伯恩几人眼中，程诺自然是被当做和他们同一等级的数学家，因此，分配任务时并没有占到任何便宜。
看着自己任务列表里那一个个事项，程诺活动活动手指。
第四百一十五章 忘乎自我（）
415章
课题的研究周期，预定在两个月到三个月之内。
对几位教授级别的成员来说，这个时间虽然说不上多长，但也并非异常紧凑。
但对于领了同样工作量的程诺，算是一个颇大的挑战。
虽然程诺现在的数学水平已经无法用正常的在校学生的水平来衡量，但相较于世界数学�