第123章 教授也杠上了

第123章 教授也杠上了

舍友咽了一口唾沫，声音干涩：「这特么是哈密顿系统的几何数值积分吧？

还是在无穷维李群上的？」

王博重新看向屏幕，只觉得那一个个数学符号像是一座座大山压了下来。

「不仅要保辛，还要保李群结构，还要证明存在影子哈密顿量，还得是指数级收敛————」王博感觉自己的头皮一阵发麻，「这哪里是一道题？你哪怕说是一篇顶刊论文的核心证明部分我都相信啊！」

直到将整个题目都给看完之后，王博再没想过自己能够解开这道题目的可能性。

而翻到最下面，看着那个仿佛人畜无害的一杯奶茶奖励，王博忍不住哀嚎出声：「这杯奶茶是给人喝的吗？这特么是给菲尔兹奖得主喝的吧！

」

舍友：「我从此不敢喝奶茶。」

两人就这样沉默了好一会儿，最后只能感叹一声，什么叫高山仰止，景行行止啊。

随后他们往下面又翻了一下。

不出所料的是，下面的评论相当多，甚至都已经有上百条了。

王博深吸了一口气，滑动滑鼠滚轮，视线落在了评论区。

按照各个回复的时间顺序来看的话，甚至能够看出评论区各夫网友的心理变化过程。

像是前十分钟主要是一群人在惊叹Iy2000大佬的回归，比如【卧槽！失踪人口回归！爷爷，你关注的大佬终于更新了！】、【我去，刚打开树洞就让我看到了大佬的名字！】、【恭迎y佬回归！】等等的。

之后就是有些人开始被Iy2000大佬出的这道题吸引的。

12楼：【哈哈哈，大佬也太接地气了，一杯奶茶？这题我接了！只要不是黎曼猜想，为了这杯奶茶我也得把头磕破！】

14楼：【看到题目长度我就放心了，字数越少事儿越大，这题字数这么多，肯定只是看着唬人。等我两分钟，我去拿个草稿纸算一下，马上回来领奶茶。】

15楼：【大佬，下次能不能换成十杯马天尼？我也想喝！】

看着这些不知天高地厚的评论，王博忍不住摇了摇头：「无知者无畏啊·，——

继续往下滑，不过十几楼，评论区的画风顿时改变了，原本欢乐的气氛荡然无存，取而代之的是一片惨叫还有质疑。

28楼：【————那个，14楼是我，我回来了。我收回刚才的话，我大概是还没睡醒，刚才试图对欧拉方程做离散化，结果第一步就没看懂李群约束是个什么鬼。打扰了，这奶茶有毒。】

31楼：【？？？楼主你是认真的吗？要在离散时间步长下保持辛结构，还要约束在微分同胚群上？这特么是把几何力学和数值分析揉在一起考？这难度跨度也太大了吧！】

甚至王博还看到了另外一位他们论坛里面的知名大佬出现，ID叫YJY，而在这个论坛混的久的，见过这个名字的，都知道这位是芝加哥大学的数学教授杨杰宇，本身的等级甚至都到了6级，比这位1y2000大佬还要高。

而这位大佬的评论————

YJY：【有点意思，我也来凑个热闹。刚才简单推演了一下，试图用传统的辛欧拉格式硬算，结果发现能量误差根本压不住。那个影子哈密顿量的存在性证明是最大的拦路虎。楼主，你确定这题有基础解法？还是说你是来这就为了消遣我们？能够让你满意的答案得是什么程度的才行？】

「连这位杨教授都说压不住误差啊————」

王博忍不住感慨一声。

而除了这位大佬之外，还有一些其他的大佬也出现了，看样子这些大佬平时不出现，敢情都是在潜水，现在都被Iy大佬的这道题给钓了出来。

接着往下翻的话，那就是各种大神齐出招式，各显神通了。

89楼：【我不信邪，刚刚把这道题发给了我杰青导师，问他是不是我们课本上的思考题。结果我导师盯着看了五分钟，问我是不是想换课题？他说这题目如果是真的，那提出解法的人至少在几何数值积分领域有极深的造诣。他还问我是不是在哪个顶级期刊的预印本上看到的————我不敢说是论坛上为了骗奶茶的题。】

93楼：【我也问了————我师兄说，能做出来这道题，这学期的组会我都可以不用去了。但我感觉他在忽悠我，因为他自己拿着笔算了一个小时，最后把纸撕了。】

112楼：【目前来看，可能的切入点有两个。一是利用凯莱变换把李代数映射过去，但计算量会爆炸：二是构造某种特殊的算子分裂。但怎么分裂才能保结构？这完全是盲区啊！楼主，能不能给个提示？这奶茶我不要了，我就想知道答案！】

135楼：【总结一下：这是一道伪装成奶茶题的菲尔兹奖预备题。鉴定完毕，散了吧，这奶茶只有神仙能喝。】

看到这里，王博对这个最后的总结表示十分的赞同。

而他旁边的舍友耸了耸肩，说道：「得，这种题根本就不是咱们能搞出来的「」

。

王博也是苦笑着摇摇头，不过还是有些不信邪地将题目给抄了下来，毕竟ly

大佬都在最开始说了，这道题有多种解法，说不定他就能够想出来一种呢？

就是不知道，得是多么精彩的解法，才能够赢得y大佬的认可啊。

「睡了睡了～」

一夜无话。

第二天一早八点多，王博便前往了实验室——如果换成正常上课期间的话，他大概每天早上七点多就会过去了。

在实验室又是研究了一上午的课题，实在是感觉收效甚微。

「唉————这日子什么时候才是个头啊！」

他轻叹一声，目光在自己的工位上一扫，然后就扫到了自己昨晚上抄写下来的那道题。

「唔————那就看一看吧，就当做是放空一下思想了。」

做不出来也不要紧。

就这样，他看着纸上面写下的这道题，感觉自己的思想仿佛真的要放空了————

根本找不到思路！

就这样，不知道过去多久。

「看什么呢？这么入神？」

身后突然传来的一道声音，把正在发呆的王博吓得一个激灵，手里的笔差点没戳到脸上。

他猛地回过头，只见一位头发略显灰白的中年人正站在他身后，手里端着个保温杯，目光透过眼镜片，好奇地打量着他桌上的那张纸。

「老————老板？咳，刘老师。」王博赶紧站了起来，把那一瞬间的慌乱压了下去。

来人正是他的博士生导师，刘正阳教授，震旦大学数院的顶梁柱之一，主攻椭圆型偏微分方程和几何分析，在这个领域内那是响当当的人物。

刘正阳摆了摆手，示意他坐下，目光却没离开那张纸：「我看你盯着这玩意儿看了快二十分钟了，连我走到你后面都没发现。怎么，又是哪个新发的paper里的难题？」

王博挠了挠头，有些不好意思地说道：「不是paper，老师，您还记得我跟您提过的那个偏微分树洞论坛吗？就是上次我那个边界项处理卡住，帮我解决问题的那个大佬。」

「记得啊。」刘正阳眼神一亮，拉过旁边的一把椅子坐下，「那个叫Iy2000

的神秘人是吧？我还说过有机会想认识一下他呢，他对奇点分析的直觉很可怕。

怎么，他又发新东西了？」

「嗯，他这次没回答问题，反而出了一道题，说是————谁做出来请谁喝奶茶。」王博苦笑着把那张抄得工工整整的草稿纸推到了导师面前，「我刚才做课题实在没啥思路，就看了一下这道题。」

「喝奶茶？有点意思，我听你之前描述，这人应该年龄也挺大，心态倒是还挺年轻。」刘正阳推了推眼镜，嘴角挂着一丝轻松的笑意，「来，我看看这道题。

「」

他拿起王博的那张草稿纸开始看了起来。

起初，他的神情还很随意，毕竟在他看来，网络论坛上的题目，就算是高手出的，也就是个思维体操的水平。

虽然他是做椭圆方程的，但几何分析不分家，对于流体力学和哈密顿系统，他也有相当深厚的造诣。

然而，当他的目光扫过题目描述，落在那个「李群约束」和「能量误差指数级收敛」的要求上时，他嘴角的笑意逐渐凝固了。

「哈密顿动力学系统————离散时间演化算子————」

刘正阳喃喃自语，眉头渐渐皱了起来，原本靠在椅背上的身体也慢慢坐直，最后干脆前倾，凑到了桌面上。

「笔给我。」

王博赶紧递上笔。

刘正阳接过笔，在题目下方的空白处快速写下了一个经典的辛格式公式。

「如果用生成函数法来构造辛映射，确实可以保证辛结构守恒————」

他写了几行，笔尖突然顿住，随后在后面打了个大大的叉。

「不对，这样虽然保辛，但无法保证流体粒子始终在保体积微分同胚群上，如果是有限维系统还行，但这可是无穷维的欧拉方程，直接离散化会导致数值解飞出李群流形。」

「那————用变分积分器？」

刘正阳又换了个思路，在纸上画了个离散拉格朗日量的示意图。

王博在一旁大气都不敢出，看着导师那原本舒展的眉头越锁越紧，手中的笔速也越来越快，但划掉的算式也越来越多。

「也不行————变分法虽然能保结构，但很难控制长时间的能量误差达到指数级收敛。要做到0（e^（—c/t）），这要求这种算法几乎就是解析解的某种高阶逼近，或者是利用了某种极其深刻的几何对称性————」

十分钟过去了。

二十分钟过去了。

原本只是想顺便看看的刘正阳，此刻已经完全沉浸进去了，就连保温杯里的水也没顾上喝一口。

他尝试了凯莱变换的无穷维推广，尝试了李代数上的半隐式格式，甚至尝试引入辅助变量来强行约束————

但每一种思路，推导到最后几步时，都会遇到一个无法逾越的逻辑鸿沟，要么是计算量爆炸，要么是精度达不到要求。

「这道题————」

终于，刘正阳停下了笔。

他看着已经被画得乱七八糟的草稿纸，深吸了一口气，眼神中哪里还有半点轻视，取而代之的是一种遇到了同级别对手、甚至更强对手时的凝重和兴奋。

「这道题可不简单啊。」刘正阳摘下眼镜，揉了揉眉心，语气严肃地说道，「王博，这道题的构造难度，涉及到了几何数值积分领域最前沿的未解问题。能出这道题的人，他对李群几何和数值分析的理解，深不可测。」

王博在一旁听得心惊肉跳：「老师，连您也————觉得很难？」

「不是难，是非常棘手。」刘正阳坦然承认，「我刚才试了三种常规思路，都走不通，想要解决它，必须跳出常规的数值离散化思维，可能需要用到更底层的代数工具。特别是这题目的要求还不让用计算机来辅助————」

说完，刘正阳没有把草稿纸还给王博，而是直接将那张纸折叠好，郑重地放进了自己的衬衫口袋里，「嗯，这道题我就先收下了，回头再看看。」

「至于你，这种问题就别多看了，对你现在的研究方向没有太大帮助，还是专注你自己的课题上面吧。」

刘正阳拍了拍王博的肩膀，随后也没多说，离开了这里。

王博沉默片刻，看着老师离开的背影，不由寻思起来。

他这位老师怕不是跟这道题杠上了吧？

不过连他的老师都说这道题棘手了一一在这一点上他挺想吐槽的，棘手不就是难么？他严重怀疑老师是在嘴硬——他之后也还是别在这上面花太多功夫了。

这种题，大概只有真正的天才才能够解决了。

而曾经的他以为自己是数学天才，但经过这么多年被数学的拷打，他已经明白了，自己只对普通人来说是天才而已。

须知，天才之上，还有天才啊。

>

—