第四百一十三章 解惑

 yx=d1-yx，d1-yx=d-yx.”

    男生看着程诺写下的一行公式，陷入了沉思。

    可程诺并没有给他思考的时间。他又不是几人的老师，没有必要跟着他们的节奏走。

    他接着阐述自己的观点，“你们试图想去证明分数阶导数的非线性微分方程边值存在唯一解的方法，是直接通过公式的推导，在利用banach压缩映像理论得出结果。”

    “但由刚才我写的那两个存在性条件来说，这种方法是百分百错误的！”程诺笃定的语气说道。

    “那……”男生忍不住开口。

    程诺双手下压，笑眯眯的道，“同学，不要这么着急嘛，平稳气场，平稳气场。正确的证明方法，我马上就讲。”

    程诺先是在草稿纸上写下三个关键词：green函数、lipschitz压缩条件、banach空间。

    “我的证明法很简单，其实只要你们懂了我这三个关键词，明白也只是时间问题，不过为了节省双方的时间，我还是直接推导一遍吧。”程诺语气很平淡，理了理脑海中的思路，便像是讲课般的一样，边讲边写。

    “第一步，采用扰动方法结合green函数，进一步研究带有左右分数阶导数的微分方程边值问题，给出齐次微分方程dirichlet边值问题，则一ux=0，x∈0，1，y0=0=y1。”

    “假设函数fx，u在[0，1[x ∞，-∞一一oo， oo上是连续的，则齐次边值问题可以描述为-u''''''''x=fx，ux，x∈0，1，u0=0=u1.其中ux表示边值问题