陆山采用的办法是一种转换角度的办法,数学的论证就是这个本质。
狄利克雷L函数,L(s,χ)的原始定义是这样的:
分子是χ(n)这个值,分母就是n的s次方。此时,我们只考虑s是个实数的时候,也就是说s=1的时候,它不等于0。
那么s<1的时候,就是说比1稍微小一点,它有没有可能等于0?始终没有人能够解决。
只考虑L(s,χ)不等于0的情况——如果s比1稍微小一点,这个分母是比较可控的,c是个常数
这个猜想比黎曼假设要弱得多,至少是对L函数的黎曼猜想(广义黎曼猜想)。
广义黎曼猜想是说这个S的实部大于1/2的话不等于0,但就只是很接近1的时候不等于0。
这个猜想本质上说就是朗道-西格尔零点问题。这个问题,
就是要证明这样的一类零点是不存在的(尤其是实零点,虚零点还容易一点)
具体来说就是对于一个有限的实数序列χn,怎么样证明它并不是非负的?这就是要去证明其中有一个(至少有一个)χn是小于0的。
于是就需要发展一个技巧,来证明这个东西是不等于0的。
这就是陆山大体的思路,庞加莱想直接证明是不太现实的,那就起码在一个范围内先证明。
弄完了论文,陆山还有点时间,就让林凯来家里辅导了几天,给他一点思路上的点拨。
“记住了!凡是几何题,都不可能直接在这图形上得到答案,一定要在图形外画辅助线,别管画什么,你画就好,肯定能找到思路。
代数的解题思路是两边同时变动,乘法也好,除法也好一定要先变化,然后变化位置,就能找到思路了。”陆山把做题思路高度概括,让林凯茅塞顿开,这可比老师总结的给力多了。
“你也要自己多推导,从根源上理解,这样就不会忘记了。”陆山结束了辅导,把家里面的事情处理得差不多了就返回学校,因为那边已经来了事情。
夏国科学院刚过正月十五就打电话给了陆山,说是生产主板的设备已经准备好了,即将派人到伴矽公司调试。
电话是夏光明亲自打的,这个春节他可是没怎么休息,下面的人也是一样。不过大家心气很高,根本不在乎回不回家,陆山的设计图让很多制造业环节都得到了不同程度的启发,这么好的学习机会,谁都想尽可能多学学。这就给陆山好好涨了一波积分。
“一套新设备一天能制造500到1000块主板,速度快的话对设备的磨损就大,精度可能会降低一些。”调试员一边说一边进行调校,陆山和张凯峰他们已经围在旁边了。
“这个数字还是有点小了,不过能解决燃眉之急。”
陆山感觉还是相当遗憾的,一天500到1000块主板,撑死了也就是一年36.5万块主板。夏国的笔记本电脑需求每年都是千万级别的!
就算加上现有的产量,也不过是年产六十万块,真心有点少了。
调试员一脸的惭愧,夏国科学院不是不给力,而是需要的东西实在有点难凑齐,只能不断的用替代品来替代应有的材料。
夏国的半导体行业水平整体不高的缺陷在这一刻有了具体的反映。
陆山知道这个情况,没有多说,让夏国科学院再弄一批过来,前提是材料学有所提升。
外壳还好说一点,内部的精密设备最好以拓扑半金属半导体作为蓝本,衍生出不同性能的零部件。
夏国将陆山的新材料消化到一定程度的时候,就能反哺制造业的制造水平了。这个急不得,得等产业铺开来,就好似人体的血液流通全身一般。
“这样吧,我回头再跟科学院说一声,再造两批设备,保证生产。”
陆山做出了决定,即便夏国科学院以后吃透了材料,搞出了更好的设备也没关系,自己还能对这批设备进行升级,一时半会还不会淘汰。
调试完毕之后,陆山等人开始进行实验性的生产,生产一会之后就开始上手更改设置,调试的师傅一脸的紧张,伴矽公司的人太没溜了吧!改坏了怎么办?
没想到的是,陆山都还没出手,张凯峰等人就已经快速调整好了各个环节的参数,仅仅两次更改就把参数更改完毕,达到了自己想要的效果。
用设备的人比造设备的人竟然更熟悉设备,设计和制造中间可是天然隔着沟!这就证明伴矽公司团队的水平之高。陆山私底下可没少培训这群人,保证这些技术高层能跟上自己的脚步才行。
设备正式投产,陆山心里面轻松了一点,于是打电话给夏光明问问帮忙的价格是多少。
没想到夏光明这边竟然不收钱,说是上回陆山给超级计算机提供解决方案都没收钱,科学院这一次哪好意思收钱?
两人说了一会,陆山也就坦然接受了夏国科学院的好意,本质上就是价值的交换,如果陆山没有这个价值,科学院也不会免费帮这个忙。
陆山对朗道—西格尔零点的论文进行最后的完善,合适的时候就发表了,陈启仪在这时候打来电话,说是学校有事情要找陆山坐镇。