深度学习状态,里面可没少堆放零食食物。
每当身体能量消耗太快,便拿起食物边吃边继续推演证明。
加上陈雨然也会经常过来投喂,倒是不用担心深度学习状态下挨饿的问题。
就是长时间没注意个人形象管理,整个人的造型看上去显得有些犀利。
但徐源已经顾不上去管这个。
因为这两个月来他的收获可以说巨大,除了进度快达到百分之九十外,更是成功通过证明消除掉了其中一个必要条件。
也就是说他让蒙日安培方程的研究更进了一步。
现在的蒙日安培方程理论,则可以新表述为当两个区域一致凸的时候最优传输解光滑。
丝毫不夸张的讲,单是去除掉一个条件,这份成果便足以引起大家对偏微分方程的关注。
更能作为自己的毕业论文。
但谁让他是一个比较追求完美的人,既然都下定决心研究蒙日安培方程了,那就必须要彻底证明自然边界条件下的蒙日安培方程完整光滑性。
仅解决一半留个坑搁那,完全不是他的作风。
为此他每次去找唐时宏交流讨论时,都没有提起自己已经证明了其中一个条件。
否则唐时宏说不定会提前开始毕业答辩,让他放弃后续的证明。
“想要解决区域一致凸这个条件,难度果然比另外那个条件高了很多。”
“计算稍微有一点跑偏,就会导致进度下降。”
这时徐源撕掉手中的那张草稿纸揉成团,边扔进垃圾桶边自顾自低喃。
在最重要的一致凸这个条件上,他的证明遇到了瓶颈导致进度时不时下降,每次发生这种情况便说明步骤出现了问题是错误的。
以至于每天垃圾桶里都满是废掉的草稿。
很快徐源暂时停笔站起身在讨论室内走动起来,重新对刚才的证明过程思索。
这也是他平时常用的方法。
当身体处于运动的状态下,他发现思维会更加敏捷些容易碰撞出新思路。
所以每当方向走偏进度条下降,他都会具体分析先找到问题所在,然后再重新继续往下证明。
要不然明知道思路陷入了误区,依旧去计算只会越错越多。
“现在可以确定原有的证明方法是无法解决掉一致凸的必要条件。”
“必须要重新确定思路才行……”
……
“偏微分方程是数学物理方程,想要完成数学的证明或许可以试试使用物理方法。”
“这应该是可行的。”
突然随着一个新的念头在脑海中迸发,徐源顿时停下脚步越说眼睛越亮,就像是困在某个陌生的地方终于找到了出路。
下秒他近乎飞奔到椅子处坐下,快速拿起桌面上的笔在新的草稿纸上演算起来。
可以说瞬间便进入到了深度学习状态。
说明眼下精神很是专注。
这次他继续使用勒让德变换,并借助拉格朗日方法尝试证明。
笔尖在草稿纸上快速滑动之下,只见一个又一个符号跃入纸上。
“detD2u(x)=f(x)”
……
“|D2u(z)?D2u(0)|≤C|z|α”
“|D2u(x)?D2u(y)|≤|D2u(x)?D2u(……”
……
时间一分一秒流逝,被徐源写满数学公式的草稿纸也越来越多。
直到又过去大半个小时,他在写完最后一个数学符号后突然停下动作,眼神中流露出惊喜之色。
“成功了。”
整个人怔了小半分钟,缓缓挺起身体吐出三个字。
因为在他的视野中,面板上的进度条直接增长到了百分之百。
这说明他成功消除掉了两个必要条件,证明自然边界条件下蒙日安培方程的整体光滑性。
其实这两个月来他已经把方程研究透彻,顺利解决掉其中一个条件便是最好说明。
从某方面来讲,他距离彻底证明就差了一堵墙。
只不过始终没找到破墙的方法。
今天尝试用物理方法证明数学问题,让他成功找到了那处契机,完成全部证明自然是水到渠成的事。
此刻徐源紧紧握着拳头,心情激动独自享受着这种解决了数学难题的精神层面的满足感。
端坐了足足几分钟的时间,待情绪彻底平复下来他才站起身朝写字板走去。
使用马克笔对自己刚才的证明进行验证。
虽说有面板上百分百进度条的提示,他的证明过程不会有任何问题,但还是想亲自验证一番也好看看步骤有没有优化的余地。
毕竟是自己完成的证明过程,徐源验证