前面的其他问题,最多也就是将他稍微阻拦了一下,但只有这个问题,尚且让他找不到一个好的思路。
“或许,应该尝试一下其他的角度?”
萧易略微思索。
不过,就在这个时候,办公室的门被敲响了。
“请进。”
他看向了门口,随后梁秋实打开了门,走了进来。
“老师!我顶不住了!求救!”
一进来,梁秋实就赶忙喊道。
萧易一脸疑惑地问道:“怎么了?”
梁秋实无奈地说道:“我的那个论文,现在遇到了最后一个问题,始终不知道该怎么解决!”
“只能找老师帮忙了!”
萧易顿时失笑起来,说道:“嚯,现在才知道来找我啊,距离截止日期都只剩下1个半月了都。”
梁秋实双手合十,欠身道:“我是真的没办法了,老师,这个问题太难了!”
萧易摇摇头,说道:“好了好了,当初你选题的时候我就和你说过,你这个问题很难,老实说,现在你才被难住,都已经算是有点超乎我的预料了。”
听到老师这么说,梁秋实便嘿嘿一笑,看起来好像还有点小骄傲的样子。
萧易也没有管他这个样子,随后便说道:“好了,给我看看吧,你现在被哪个地方难住了。”
“好的。”
梁秋实随后便从他手中的包里取出了一叠草稿纸,然后开始给萧易展示了起来。
“就是这个问题……”
“证明函数域F^n上的友好测度μ一定是非均匀强极值,以及拓展到非齐次Baker-Sprindzuk猜想的证明,我始终搞不明白。”
他的脸上露出了相当为难的样子,看得出来,这个问题算是将他这位数学天才给难住了。
萧易接了过来,仔细看起了梁秋实的证明过程。
梁秋实的这个论文课题,涉及到的是将实数域上关于非齐次丢番图近似的方法推广到函数域的情形。
丢番图逼近理论一直是数论领域中难度相当高的一个课题,研究的是有理数或代数数对实数的逼近问题,以及相关的度量理论和计数理论,有着相当久远的研究历史,能够追溯到古希腊时代丢番图的研究工作,同样,其也一直是数学界翻来覆去研究的课题之一。
而梁秋实的这个课题,难度当然也就相当高了。
一般的博士生想要搞清楚这篇论文,可能都存在不小的难度。
所以当初梁秋实选择这个课题的时候,萧易还进行过劝说。
最终没想到的是,他能够将这个课题研究到现在这样的地步,算是挺出人意料的。
而且,其实梁秋实在之前已经完成了一个成果,他给出了极值测度和非均匀极值测度之间的等价性质,这可以看作是非齐次情形下的转移原理。
而这个成果已经足以作为硕士毕业论文完成了,发一区什么的都是小意思,就算是评上优秀毕业论文都完全是随随便便。
而梁秋实完成这个成果的时候,已经是在去年的时候了,于是他没有满足那个成果,继续开展深入的研究,最终研究到了这个程度。
萧易简单看了看,随后便说道:“我记得你在之前,好像已经证明了友好测度是强收缩了的吧?”
“是的。”梁秋实疑惑地问道:“但是这个和现在这个问题有什么联系呢?”
萧易笑道:“既然你已经完成了这一步,那么接下来应该怎么做,其实你只要再好好想想就行了。”
“比如说,多去想想你之前的成果,极值测度和非均匀极值测度之间的等价性质,也就是说,你的这个方法也可以证明,强极值和非均匀强极值也一样是等价的。”
听到萧易的这个提醒,梁秋实的目光中闪烁起了思索的光芒,而后,他就进入到了思索的状态当中。
时间慢慢过去,他恍然大悟,惊喜道:“转移原理!”
“没错,就是这样。”萧易打了个响指:“现在,我们已经知道友好测度μ是强极值的,这是Ghosh证明的结果,你在之前的成果中就已经引用过了,另一方面,μ也是强收缩的,那么,你知道接下来该怎么办了。”
梁秋实连连点头:“我明白了。”
不过随后他的脸上又浮现出了疑惑的表情:“那么我们接下来该怎么解决非齐次Baker-Sprindzuk猜想呢?”
萧易微微一笑,笑道:“对于一个猜想问题,我们首先就要搞清楚,这个猜想让我们讨论的是怎样一个问题。”
“对于Y∈F^(m×n)和θ∈F^m,我们定义非齐次丢番图指数ω(Y,θ)为使不等式组在任意大的T下都有解的实数ω的上确界。”
“这里,不等式组描述了Yq+p+θ与q的逼近关系,类似地,