,徐源也没有在科大校园内过多停留耽搁时间。
公开课结束后当天晚上便返回燕京。
在课上灵感迸发碰撞让他对蒙日安培方程自由边界光滑性问题有了新思路,肯定是想尽快让自己完全沉浸在公式证明中,也好早日彻底完成证明省得影响年后的本科毕业答辩。
另外值得一提的是,他也收到了赛区初评答辩被送到全国组委会的参赛小组名单。
其中包括邓艳娜所在的队伍。
不过最终国奖和高教社杯的评选,还需要他们去燕京参加专家面试。
而这次高教社杯专家面试是在燕京大学举行,徐源自然没时间过去凑热闹。
时间如白驹过隙,转瞬即逝。
很快便是两个月过去。
这天晚上七点,徐源吃过饭独自来到讨论室。
面对桌面上大量写满数学公式的草稿纸,他习以为常径直坐到旁边椅子上,拿起笔便接着下午演算的步骤继续推演证明。
旁边垃圾桶里能看到很多零食外包装,说明他是长时间待在这里。
实际情况也确实如此。
从科大回来后他便全身心证明蒙日安培方程自由边界光滑性问题。
每天除了吃饭睡觉大部分都在讨论室。
并且为保证自己能始终保持深度学习状态,里面可没少堆放零食食物。
每当身体能量消耗太快,便拿起食物边吃边继续推演证明。
加上陈雨然也会经常过来投喂,倒是不用担心深度学习状态下挨饿的问题。
就是长时间没注意个人形象管理,整个人的造型看上去显得有些犀利。
但徐源已经顾不上去管这个。
因为这两个月来他的收获可以说巨大,除了进度快达到百分之九十外,更是成功通过证明消除掉了其中一个必要条件。
也就是说他让蒙日安培方程的研究更进了一步。
现在的蒙日安培方程理论,则可以新表述为当两个区域一致凸的时候最优传输解光滑。
丝毫不夸张的讲,单是去除掉一个条件,这份成果便足以引起大家对偏微分方程的关注。
更能作为自己的毕业论文。
但谁让他是一个比较追求完美的人,既然都下定决心研究蒙日安培方程了,那就必须要彻底证明自然边界条件下的蒙日安培方程完整光滑性。
仅解决一半留个坑搁那,完全不是他的作风。
为此他每次去找唐时宏交流讨论时,都没有提起自己已经证明了其中一个条件。
否则唐时宏说不定会提前开始毕业答辩,让他放弃后续的证明。
“想要解决区域一致凸这个条件,难度果然比另外那个条件高了很多。”
“计算稍微有一点跑偏,就会导致进度下降。”
这时徐源撕掉手中的那张草稿纸揉成团,边扔进垃圾桶边自顾自低喃。
在最重要的一致凸这个条件上,他的证明遇到了瓶颈导致进度时不时下降,每次发生这种情况便说明步骤出现了问题是错误的。
以至于每天垃圾桶里都满是废掉的草稿。
很快徐源暂时停笔站起身在讨论室内走动起来,重新对刚才的证明过程思索。
这也是他平时常用的方法。
当身体处于运动的状态下,他发现思维会更加敏捷些容易碰撞出新思路。
所以每当方向走偏进度条下降,他都会具体分析先找到问题所在,然后再重新继续往下证明。
要不然明知道思路陷入了误区,依旧去计算只会越错越多。
“现在可以确定原有的证明方法是无法解决掉一致凸的必要条件。”
“必须要重新确定思路才行……”
……
“偏微分方程是数学物理方程,想要完成数学的证明或许可以试试使用物理方法。”
“这应该是可行的。”
突然随着一个新的念头在脑海中迸发,徐源顿时停下脚步越说眼睛越亮,就像是困在某个陌生的地方终于找到了出路。
下秒他近乎飞奔到椅子处坐下,快速拿起桌面上的笔在新的草稿纸上演算起来。
可以说瞬间便进入到了深度学习状态。
说明眼下精神很是专注。
这次他继续使用勒让德变换,并借助拉格朗日方法尝试证明。
笔尖在草稿纸上快速滑动之下,只见一个又一个符号跃入纸上。
“det&nbp;du=&nbp;f”
……
“|duz&nbp;du0|≤&nbp;c|z|α”
“|du&nbp;duy|≤|du&nbp;du……”
……
时间一分一秒流逝,被徐源写满数学公式的草稿纸也越来越多。
直到又过去大半个小时,他在写完最后一个数学符号后突然停下动作,眼神中流露出惊喜之色。
“成功了。”
整个人怔了小半分钟,缓缓挺起身体吐出三个字。
因为在他的视野中,面板上的进度条直接增长到了百分之百。
这说明他成功消除掉了两个必要条件,证明自然边界条件下蒙日安培方程的整体光滑性。
其实这两个月来他已经把方程研究透彻,顺利解决掉其中一个条件便是最好说明。
从某方面来讲,他距离彻底证明就差了一堵墙。
只不过始终没找到破墙的方法。
今天尝试用物理方法证明数学问题,让他成功找到了那处契机,完成全部证明自然是水到渠成的事。
此刻徐源紧紧握着拳头