达恩是个非常聪明的人,所以漆昊看到系统面板上的字后,脸上没出现一点异样。
要说苏联老大哥搞援助真是一点都不含糊啊。
当然,他们爸权主义肯定是有的,但是有事真上,对待自己兄弟也是真使力气,连罗马尼亚这种也管。
罗马尼亚是苏东阵营里独立性最强的国家之一,1958年,罗马尼亚还成功迫使苏联撤走驻扎在罗境内的苏军,这在东欧卫星国里非常特殊。
当年美国为了帮助欧洲国家恢复战后经济,提出了著名的马歇尔计划,也就是欧洲复兴计划,苏联担心东欧这帮小弟,会抵挡不住资本主义糖衣炮弹的诱惑,所以苏联也搞出了一个类似马歇尔计划的莫洛托夫计划,用于支持
成员国的工业化和经济发展。
莫洛托夫计划诞生时,由苏联牵头,波兰、匈牙利、罗马尼亚、捷克斯洛伐克以及保加利亚等国一起,组建了经济互助委员会,这个就是经互会。
当然了,苏联大家长式的管理模式,让各国很不爽。
所以大家就总结了一下。
跟着老大哥的好处:没把你当外人。
跟着老大哥的坏处:没把你当外人。
漆昊一边听着达恩讲罗马尼亚的现状,一边分析着这次的任务。
达恩人不坏,一个数学家能去争取普通人的利益本来就不容易。
要知道,大多数数学家精力都在数学上,平时连生活都走极简化的路线,哪还有空管陌生人?
就跟鲁迅一样,能说出“数学救不了罗马尼亚”这种话,说明达恩已经认识到了数学对社会运作规律影响的局限性。
开办学校,为普通人奔走,漆昊甚至觉得达恩就是另外一个版本的他。
不过系统所说的红色碎片肯定不止罗马尼亚一片,否则就不叫碎片了。
漆昊唯一在意的是系统提到苏联最重要的工程项目,那会是什么?
本来就打算尝试帮助达恩的漆昊,现在更没有了拒绝的理由,所以他说:“我可以试试。”
正在喋喋不休的达恩愣住了:“您是说您愿意帮我?”
漆昊点头。
达恩激动得一把抓住漆昊的手。
“哦,漆教授,我们该如何开始?您需要什么尽管跟我说。”
漆昊十分庆幸达恩没像勋宗一样,给他来个亲吻礼,他说:“达恩先生,你先别激动,我说了是试试,具体怎么帮,帮到什么程度,我还得想一想。”
“您说,您说,从哪儿开始都行。”
漆昊想了一下最近的安排,蛋白质折叠模块他还得继续学习,冯那边的智能作战系统也要跟进,奥特尔巴耶夫那个NS方程的反例也卡在半路上,漆昊犹豫了下说:“这样吧,我最近很忙,需要等等,这段时间有空我会想办
法的,你如果要在这里待一段时间的话,我可以让人给你安排宿舍。”
达恩非常高兴,有宿舍住着意味着他能省下一大笔钱,他不由地感叹漆昊的贴心:“漆教授,真是太感谢您了,您忙什么,需不需要我帮忙?我虽然比不上您,但数学上的东西我还能搭把手。’
漆吴看了他一眼,忽然想起一件事。
“达恩先生,你看过奥特尔巴耶夫那个NS方程的证明吗?”
达恩的表情变了一下,先是困惑,然后有一点不屑地说:“哈萨克斯坦那个?”
“对,就是那个,宣称证明了三维NS方程强解存在性的。”
“没看过,我也不打算看。”
“为什么?”
“漆教授,您可能不太了解我们东欧的数学传统,哈萨克斯坦在苏联时期确实有一些不错的数学家,但论数学,我们罗马尼亚才是最强的,我们出过奇普里安·马诺莱斯库,他IMO历史上唯一一位参赛三次,三次全部满分的选
手,这个纪录到今天都没人打破,哈萨克斯坦有什么?他们连一个IMO满分都没有。
漆昊愣了一下。
罗马尼亚人的数学居然这么强,看来他还是小看了罗马尼亚这个地方了。
不过漆吴还是没急着下结论。
他对达恩说:“这个等我看了再说吧,你先去休息。”
达恩知道漆昊要忙,不方便打扰得他只能同意了。
漆吴让诺维科夫带达恩去宿舍,自己先回了家。
漆昊陪了一天家人之后,又回到了学校,开始了工作。
经过一天休息后,他神清气爽地坐到书桌前,打开电脑,调出奥特尔巴耶夫的论文。
他之前原本打算找到奥特尔巴耶夫证明中的反例,经过这一段时间的尝试,他锁定了奥特尔巴耶夫论文里核心抽象定理6.1。
这个定理是整个证明的核心,奥特尔巴耶夫用一个抽象的能量估计框架把NS方程的解的存在性归约到了一个关于迭代算子谱半径的命题上,如果定理6.1成立,那么整个证明成立,如果定理6.1不成立,后面所有的推导都不用
看了。
他把定理6.1的证明拆成了四个步骤,然后逐步验证,第一步没问题,第二步没问题,第三步时,他发现奥特尔巴耶夫用了一个关于迭代序列一致有界的引理,但这个引理的条件在三维情形下不满足,奥特尔巴耶夫在证明里
用了一个截断函数来绕开这个条件,但截断函数的引入会破坏迭代算子的紧性,导致第四步的收敛性证明失效。
漆神拿起笔在草稿纸下结束推导构造了一个满足定理6.1所没假设但迭代算子是收敛的例子。
因为那一段时间来的思考,漆神的推导比我想象中要顺利得少。
我花了两个大时把推导写完,检查了一遍确认有没漏洞前,郝杰打开了小眼,把推导过程拍照发了出去。
漆神的账号很多发表动态,正在刷小眼的粉丝们突然看到郝杰的动态前,一个个都兴奋有比,但等我们看含糊漆神照片下的内容前一个个都傻眼了。
?=G1 G2
dim(G1)=21
A是?下自伴算子,特征值:Aen=入nen
1=入1<入z,入手,...,入noo
对任意u∈?,正交分解:u=ux+uz, un∈G, uz∈ G2
双线性映射L(','):
L(u, v)=-(uz, V2)Wz
wz∈ G2为固定单位向量
巴耶夫陶哲轩原条件(Y1)-(Y4)
(Y1)(Au, u)≥||u||2
||L(u, v)||≤ C|| A3u|||A3v||, ?< 0
(Y2)若 e是A的特征向量,则e,L(e,e))= 0
广告位置下