第517章
三人将目光齐刷刷的落在察里同学身上。
为啥又是我？！
察里一翻白眼，无语的道，“不要看我，我只是和大神说请他帮个忙，并没有说我们遇到的具体问题。不信的话，你们问大神？”
程诺从一边的桌上拿过几张空白的草稿纸，一边说道，“察里确实没有给我提及过具体的内容。不过这也不难猜，你们的研究报告，在最后的边值分析那部分，缺失了很大部分的证明过程，我想应该不是刻意漏掉的吧。”
那个男生点头，算是认可的程诺的话，“确实，在这部分，我们虽然知道想要的结果是什么，但具体的那个过程，我们几个想了好几天，都没有弄出个成果来。”
刚刚程诺的表现，已经让男生对程诺的印象改观了一些。
这个学弟，似乎并非那么寻常！
于是他试探的问道，“既然你知道了我们遇到的麻烦，那有办法解决吗？”
程诺笑了笑，竖起一根手指摆了摆，缓缓吐出两个字，“不难！”
察里同学面色一喜。
男生洛奇嘴角一抽。
为啥我有一种，观看逼王现场直播的感觉？
真相了的洛奇，静等着程诺开口。
“我想，你们之所以在这个问题上墨迹这么长时间，有很大一部分原因，是用错了方法。”
“用错了方法？”
“对！”程诺用笔帽轻轻敲击桌面，“我先问你一个问题，什么是分数阶导数的非线性微分方程？”
男生下意识的回答，“分数阶导数的非线性微分方程，可以用两个公式来概括：f一（z）+（D+Dt）（z）一f（x，（z）），z∈（0，1），还有y（0）=0=y（1）。”
程诺十分满意的点头，“说的没错。但你是否还记得，这个分阶导数，还有它的存在性条件？”
存在性条件？洛奇一愣。
程诺解释道，“Di ri chle t边值一定的情况下，分阶导数的微分方程就会存在一个这样的存在性条件。”
程诺拿起笔，在纸上唰唰唰写道，“（D0+y）（x）=（D1-y）（x），（D1-y）（x）=（D-y）（x）.”
男生看着程诺写下的一行公式，陷入了沉思。
可程诺并没有给他思考的时间。他又不是几人的老师，没有必要跟着他们的节奏走。
他接着阐述自己的观点，“你们试图想去证明分数阶导数的非线性微分方程边值存在唯一解的方法，是直接通过公式的推导，在利用Ba nac h压缩映像理论得出结果。”
“但由刚才我写的那两个存在性条件来说，这种方法是百分百错误的！”程诺笃定的语气说道。
“那……”男生忍不住开口。
程诺双手下压，笑眯眯的道，“同学，不要这么着急嘛，平稳气场，平稳气场。正确的证明方法，我马上就讲。”
程诺先是在草稿纸上写下三个关键词：Green函数、Lipschitz压缩条件、Banac h空间。
“我的证明法很简单，其实只要你们懂了我这三个关键词，明白也只是时间问题，不过为了节省双方的时间，我还是直接推导一遍吧。”程诺语气很平淡，理了理脑海中的思路，便像是讲课般的一样，边讲边写。
“第一步，采用扰动方法结合Gr een函数，进一步研究带有左右分数阶导数的微分方程边值问题，给出齐次微分方程Di r i chl e t边值问题，则一u（x）=0，x∈（0，1），y（0）=0=y（1）。”
“假设函数f（x，u）在[0，1[×（+∞，-∞）一（一oo，+o o）上是连续的，则齐次边值问题可以描述为-u''（x）=f（x，u（x）），x∈（0，1），u（0）=0=u（1）.其中u（x）表示边值问题的解。”
……
“……通过上述定理可获得边值问题在连续函数空间C[O，1]上存有唯一解．由已知条件可知，在连续空间C[O，1]上，算子T满足Li ps chi t z压缩条件，再根据Ba nac h压缩映像理论，算子T在空间上个存在唯一不动点Y∈c[o，1]，符合……”
“……通过上述定义及定理可证明，分数阶导数的非线性微分方程边值存在唯一解！”
边说边写的，程诺用了接近二十分钟的时间，将证明边值唯一解这个问题给察里四人从头到尾推导了一遍。
除了察里这个已经产生免疫力的存在，其余三位皆是处在了脑子当机的状态。
这就……结束啦？！
想当初，他们四个爆肝爆种的钻研了两天两夜，也没研究出个所以然来。
可到了程诺这，怎么就成了二十分钟的事了呢？
难道这就是天才和庸才的差距？不过也太特么的现实了吧？
米奇一脸苦色的望望察里，在盯着坐在椅子上神色自若的程诺，心中五味杂陈。
看走眼了啊！被打脸了啊！
他是在没想到，那传说中百年难遇的奇才，还真的被他给遇到了！
他走到察里面前，苦涩的问道，“察里，你的这位朋友叫什么名字？我怎么从来没听说过我们学院还有这号人物？”
察里耸耸肩，“你没听过是正常的，因为大神那种人物已经没有兴趣在学校内搞得风起云涌。最近那个火起来的程诺定理知道吧，就是大神提出来的！”
嘶——！
米奇悚然而惊！
第四百一十四章 语音会议
“我想说的就这些了，推导过程就在这，以你们的水平多看几遍就懂了，我也懒得多讲几遍了。”程诺伸了伸懒腰，从座位上站起，“察里，我先撤了，以后遇到这种事，直接把题目发过来就行了，你们这离实验大楼还是挺远的。”
为啥又是我？！
察里一翻白眼，无语的道，“不要看我，我只是和大神说请他帮个忙，并没有说我们遇到的具体问题。不信的话，你们问大神？”
程诺从一边的桌上拿过几张空白的草稿纸，一边说道，“察里确实没有给我提及过具体的内容。不过这也不难猜，你们的研究报告，在最后的边值分析那部分，缺失了很大部分的证明过程，我想应该不是刻意漏掉的吧。”
那个男生点头，算是认可的程诺的话，“确实，在这部分，我们虽然知道想要的结果是什么，但具体的那个过程，我们几个想了好几天，都没有弄出个成果来。”
刚刚程诺的表现，已经让男生对程诺的印象改观了一些。
这个学弟，似乎并非那么寻常！
于是他试探的问道，“既然你知道了我们遇到的麻烦，那有办法解决吗？”
程诺笑了笑，竖起一根手指摆了摆，缓缓吐出两个字，“不难！”
察里同学面色一喜。
男生洛奇嘴角一抽。
为啥我有一种，观看逼王现场直播的感觉？
真相了的洛奇，静等着程诺开口。
“我想，你们之所以在这个问题上墨迹这么长时间，有很大一部分原因，是用错了方法。”
“用错了方法？”
“对！”程诺用笔帽轻轻敲击桌面，“我先问你一个问题，什么是分数阶导数的非线性微分方程？”
男生下意识的回答，“分数阶导数的非线性微分方程，可以用两个公式来概括：f一（z）+（D+Dt）（z）一f（x，（z）），z∈（0，1），还有y（0）=0=y（1）。”
程诺十分满意的点头，“说的没错。但你是否还记得，这个分阶导数，还有它的存在性条件？”
存在性条件？洛奇一愣。
程诺解释道，“Di ri chle t边值一定的情况下，分阶导数的微分方程就会存在一个这样的存在性条件。”
程诺拿起笔，在纸上唰唰唰写道，“（D0+y）（x）=（D1-y）（x），（D1-y）（x）=（D-y）（x）.”
男生看着程诺写下的一行公式，陷入了沉思。
可程诺并没有给他思考的时间。他又不是几人的老师，没有必要跟着他们的节奏走。
他接着阐述自己的观点，“你们试图想去证明分数阶导数的非线性微分方程边值存在唯一解的方法，是直接通过公式的推导，在利用Ba nac h压缩映像理论得出结果。”
“但由刚才我写的那两个存在性条件来说，这种方法是百分百错误的！”程诺笃定的语气说道。
“那……”男生忍不住开口。
程诺双手下压，笑眯眯的道，“同学，不要这么着急嘛，平稳气场，平稳气场。正确的证明方法，我马上就讲。”
程诺先是在草稿纸上写下三个关键词：Green函数、Lipschitz压缩条件、Banac h空间。
“我的证明法很简单，其实只要你们懂了我这三个关键词，明白也只是时间问题，不过为了节省双方的时间，我还是直接推导一遍吧。”程诺语气很平淡，理了理脑海中的思路，便像是讲课般的一样，边讲边写。
“第一步，采用扰动方法结合Gr een函数，进一步研究带有左右分数阶导数的微分方程边值问题，给出齐次微分方程Di r i chl e t边值问题，则一u（x）=0，x∈（0，1），y（0）=0=y（1）。”
“假设函数f（x，u）在[0，1[×（+∞，-∞）一（一oo，+o o）上是连续的，则齐次边值问题可以描述为-u''（x）=f（x，u（x）），x∈（0，1），u（0）=0=u（1）.其中u（x）表示边值问题的解。”
……
“……通过上述定理可获得边值问题在连续函数空间C[O，1]上存有唯一解．由已知条件可知，在连续空间C[O，1]上，算子T满足Li ps chi t z压缩条件，再根据Ba nac h压缩映像理论，算子T在空间上个存在唯一不动点Y∈c[o，1]，符合……”
“……通过上述定义及定理可证明，分数阶导数的非线性微分方程边值存在唯一解！”
边说边写的，程诺用了接近二十分钟的时间，将证明边值唯一解这个问题给察里四人从头到尾推导了一遍。
除了察里这个已经产生免疫力的存在，其余三位皆是处在了脑子当机的状态。
这就……结束啦？！
想当初，他们四个爆肝爆种的钻研了两天两夜，也没研究出个所以然来。
可到了程诺这，怎么就成了二十分钟的事了呢？
难道这就是天才和庸才的差距？不过也太特么的现实了吧？
米奇一脸苦色的望望察里，在盯着坐在椅子上神色自若的程诺，心中五味杂陈。
看走眼了啊！被打脸了啊！
他是在没想到，那传说中百年难遇的奇才，还真的被他给遇到了！
他走到察里面前，苦涩的问道，“察里，你的这位朋友叫什么名字？我怎么从来没听说过我们学院还有这号人物？”
察里耸耸肩，“你没听过是正常的，因为大神那种人物已经没有兴趣在学校内搞得风起云涌。最近那个火起来的程诺定理知道吧，就是大神提出来的！”
嘶——！
米奇悚然而惊！
第四百一十四章 语音会议
“我想说的就这些了，推导过程就在这，以你们的水平多看几遍就懂了，我也懒得多讲几遍了。”程诺伸了伸懒腰，从座位上站起，“察里，我先撤了，以后遇到这种事，直接把题目发过来就行了，你们这离实验大楼还是挺远的。”