第2770章现场证明
“单值群微分方程虽然不算说明顶尖难题，但是也不是短时间内就能够解出来的。”
“秦洛这一次绝对不可能赢！”
对此，理查德米勒很有信心……
时间过的飞快，几乎眨眼之间就已经过去了好几天。
这几天中，秦洛除了头一天之外，几乎所有的时间都泡在了燕大研究所里。
在秦洛以及周明刚和众人的不屑努力之下，主动变轨技术取得了长足的进步。
正巧这天德利涅来到燕大。
恰好看到秦洛。
德利涅：？？？
秦洛现在不是应该在准备颁奖仪式的课题么？
怎么突然出现在这里？
看到秦洛，德利涅当时就懵了！
“秦洛，你怎么在这儿？你现在不是应该在研究单值群微分方程吗？”德利涅眉头紧皱，开口问道。
是的，按照他的剧本，秦洛现在应该正在研究单值群微分方程来着。
可是他现在却突然出现在这里！
德利涅差点儿不相信自己的眼睛。
“老师，单值群微分方程要研究，但是载人航天也不能放下，你说是不？”秦洛嘿嘿一笑，道：“而且德利涅老师，说出来你可能不相信我已经将单值群微分方程给研究好了。”
德利涅：？？？
他听到了什么？
秦洛已经完成了单值群微分方程论证了？
我不是在做梦吧？
就在秦洛话音刚落的瞬间，德利涅整个人猛地愣在原地。
秦洛已经完成了单值群微分方程论证！他几乎不敢相信自己的耳朵。
世界上怎么可能有人能用短短几天时间就完成一个课题的？
虽然这课题仅仅是第三类，但是这也不可能有人能够在短时间内完成的。
“咳咳~”德利涅满脸尴尬的咳嗽了一声，然后开口说道：“秦洛，你这玩笑开的可一点都不想好笑！”
玩笑？
emmmm……
秦洛耸了耸肩膀，脸上闪过一抹无奈的笑意。
这事儿搁在谁的头上谁都不会相信。
“德利涅教授，我说的都是真的，如果你不相信的话，我可以当场算给你看。”秦洛说道。
当场演算？
其实吧，这也不是不可以。
德利涅重重的点点头，道：“既然这样，那就演算给我看看，我倒想看看就这么短短几天的时间，你是这么论证出单值群微分方程的！”
“没问题！”苏云朗声应了一声，然后对着一旁的工作人员挥了挥手，后者很快拿着几张白纸送到了秦洛面前。
“老师，我现在就开始了？”
“恩~”
点点头，德利涅的目光一眨不眨的盯着秦洛，生害怕错过秦洛任何一个动作。
微微一笑，秦洛拧开笔帽，然后笔走龙蛇：如果函数f(x,y)在矩形域r上连续且关于y满足利普希茨条件，则方程dy/dx=f(x,y);存在唯一的解y=φ(x)，定义于区间|x-x0|＜=h上，连续且满足初值条件φ(x0)=y0,这里h=min(a,b/m),m=max|f(x,y)|。
设y=φ(x)是方程的定义于区间x0＜=x＜=x0+h上，满足初值条件φ(x0)=y0的解，则y=φ(x)是积分方程y=y0+∫f(x,y)dx,x0＜=x＜=x0+h的定义于x0＜=x＜=x0+h上的连续解，反之亦然。
对于所有的n，皮卡逐步逼近函数φn(x)在x0＜=x＜=x0+h上有定义，连续且满足不等式|φn(x)-y0|＜=b。
……
“秦洛这一次绝对不可能赢！”
对此，理查德米勒很有信心……
时间过的飞快，几乎眨眼之间就已经过去了好几天。
这几天中，秦洛除了头一天之外，几乎所有的时间都泡在了燕大研究所里。
在秦洛以及周明刚和众人的不屑努力之下，主动变轨技术取得了长足的进步。
正巧这天德利涅来到燕大。
恰好看到秦洛。
德利涅：？？？
秦洛现在不是应该在准备颁奖仪式的课题么？
怎么突然出现在这里？
看到秦洛，德利涅当时就懵了！
“秦洛，你怎么在这儿？你现在不是应该在研究单值群微分方程吗？”德利涅眉头紧皱，开口问道。
是的，按照他的剧本，秦洛现在应该正在研究单值群微分方程来着。
可是他现在却突然出现在这里！
德利涅差点儿不相信自己的眼睛。
“老师，单值群微分方程要研究，但是载人航天也不能放下，你说是不？”秦洛嘿嘿一笑，道：“而且德利涅老师，说出来你可能不相信我已经将单值群微分方程给研究好了。”
德利涅：？？？
他听到了什么？
秦洛已经完成了单值群微分方程论证了？
我不是在做梦吧？
就在秦洛话音刚落的瞬间，德利涅整个人猛地愣在原地。
秦洛已经完成了单值群微分方程论证！他几乎不敢相信自己的耳朵。
世界上怎么可能有人能用短短几天时间就完成一个课题的？
虽然这课题仅仅是第三类，但是这也不可能有人能够在短时间内完成的。
“咳咳~”德利涅满脸尴尬的咳嗽了一声，然后开口说道：“秦洛，你这玩笑开的可一点都不想好笑！”
玩笑？
emmmm……
秦洛耸了耸肩膀，脸上闪过一抹无奈的笑意。
这事儿搁在谁的头上谁都不会相信。
“德利涅教授，我说的都是真的，如果你不相信的话，我可以当场算给你看。”秦洛说道。
当场演算？
其实吧，这也不是不可以。
德利涅重重的点点头，道：“既然这样，那就演算给我看看，我倒想看看就这么短短几天的时间，你是这么论证出单值群微分方程的！”
“没问题！”苏云朗声应了一声，然后对着一旁的工作人员挥了挥手，后者很快拿着几张白纸送到了秦洛面前。
“老师，我现在就开始了？”
“恩~”
点点头，德利涅的目光一眨不眨的盯着秦洛，生害怕错过秦洛任何一个动作。
微微一笑，秦洛拧开笔帽，然后笔走龙蛇：如果函数f(x,y)在矩形域r上连续且关于y满足利普希茨条件，则方程dy/dx=f(x,y);存在唯一的解y=φ(x)，定义于区间|x-x0|＜=h上，连续且满足初值条件φ(x0)=y0,这里h=min(a,b/m),m=max|f(x,y)|。
设y=φ(x)是方程的定义于区间x0＜=x＜=x0+h上，满足初值条件φ(x0)=y0的解，则y=φ(x)是积分方程y=y0+∫f(x,y)dx,x0＜=x＜=x0+h的定义于x0＜=x＜=x0+h上的连续解，反之亦然。
对于所有的n，皮卡逐步逼近函数φn(x)在x0＜=x＜=x0+h上有定义，连续且满足不等式|φn(x)-y0|＜=b。
……