察里他们这个课题组，就是操纵持续函数和 Ba nac h紧缩映像实际，研讨分数阶导数的非线性微分方程边值存在解的题目。
“我想，你们之以是在这个题目上墨迹这么长时候，有很大一部分启事，是用错了体例。”
男生洛奇嘴角一抽。
除了察里这个已经产生免疫力的存在，其他三位皆是处在了脑筋当机的状况。
男生下认识的答复，“分数阶导数的非线性微分方程，能够用两个公式来概括：f 一( z)+(D +Dt)(z)一f( x，(z))，z∈(0，1)，另有y(0)=0=y(1)。”
时候一分一秒的流逝，十几分钟后，程诺将手中的那摞A4纸放回桌面，笑道，“我刚才重新到尾把你们的研讨的内容看了一遍，如果我猜的不错的话，你们应当是在最后基于Banach紧缩映像的微分方程边值阐发碰到费事了吧？”
“……通过上述定义及定理可证明，分数阶导数的非线性微分方程边值存在独一解！”
程诺非常对劲的点头，“说的没错。但你是否还记得，这个分阶导数，另有它的存在性前提？”
程诺从一边的桌上拿过几张空缺的草稿纸，一边说道，“察里确切没有给我提及过详细的内容。不过这也不难猜，你们的研讨陈述，在最后的边值阐发那部分，缺失了很大部分的证明过程，我想应当不是决计遗漏的吧。”
察里再次欲哭无泪。
程诺解释道，“ Di ri chle t边值必然的环境下，分阶导数的微分方程就会存在一个如许的存在性前提。”
“假定函数 f(x，u)在[ 0， 1[×(+∞，-∞)一(一oo，+o o)上是持续的，则齐次边值题目能够描述为-u''(x)=f(x，u(x))，x∈(0，1)，u(0)=0=u(1).此中u(x)表示边值题目的解。”
“但由刚才我写的那两个存在性前提来讲，这类体例是百分百弊端的！”程诺笃定的语气说道。
程诺拿起笔，在纸上唰唰唰写道，“(D0+y)(x)=(D1-y)(x)，(D1-y)(x)=(D-y)(x).”
存在性前提？洛奇一愣。
米奇一脸苦色的望望察里，在盯着坐在椅子上神采自如的程诺，心中五味杂陈。
可程诺并没有给他思虑的时候。他又不是几人的教员，没有需求跟着他们的节拍走。
察里同窗面色一喜。
程诺一页页不急不缓的今后翻着，固然程诺没有决计加快速率，但在察里的那三位课题组同构成员的眼中，就像是见了鬼一样。
这就……结束啦？！
阿谁男生点头，算是承认的程诺的话，“确切，在这部分，我们固然晓得想要的成果是甚么，但详细的阿谁过程，我们几个想了好几天，都没有弄出个服从来。”