亚洲免费av电影一区二区三区,日韩爱爱视频,51精品视频一区二区三区,91视频爱爱,日韩欧美在线播放视频,中文字幕少妇AV,亚洲电影中文字幕,久久久久亚洲av成人网址,久久综合视频网站,国产在线不卡免费播放

        ?

        基于積分法優(yōu)化皮卡定理存在唯一性證明

        2020-10-20 15:21:04黃鑫茹
        西部論叢 2020年7期

        黃鑫茹

        摘 要:皮卡定理的證明有四步,第一步是將初值問題等價于積分問題,第二步是用逐次替代法構(gòu)造皮卡序列,第三步是證明皮卡序列一致收斂,第四步是證明唯一性。第四步普遍采用的是設(shè)兩個解做兩個解的差再用歸納法,本文用兩個解的差,再湊函數(shù)利用最后積分得到我們要的結(jié)果。

        關(guān)鍵詞:皮卡序列; 逐次迭代法 ;條件;判別法 ;不等式積分

        證明初值問題其中在矩形區(qū)域:,上連續(xù),并且對滿足條件:即存在,使對所有,常成立,則初值問題在區(qū)間上的解存在且唯一,這里,

        由五個命題來證明存在唯一性,命題一:初值問題等價于積分方程:(1)。證明:若為初值問題的連續(xù)解,則對第一式從到取定積分得 即 故為(1)式的連續(xù)解。反之若為(1)式的連續(xù)解,則有 由于在上連續(xù),從而連續(xù),故對上式兩邊求導(dǎo),得 且 即為初值問題的連續(xù)解。構(gòu)造逐步逼近函數(shù)列

        (2)

        命題二:對于所有,連續(xù)且滿足。用數(shù)學(xué)歸納法證明:當(dāng)時,,顯然在上連續(xù),且設(shè)命題二當(dāng)時成立,即上連續(xù)且。當(dāng)時 。由在上連續(xù)性知,在上連續(xù),從而在上連續(xù)且即命題二當(dāng)時成立,從而命題二對所有都成立。

        命題三:函數(shù)序列在上一致收斂,記,。

        證明:考慮函數(shù)項(xiàng)級數(shù),

        (3)。它的前n項(xiàng)部分和為,于是一致收斂性與級數(shù)(3)一致收斂性等價。通過找規(guī)律對級數(shù)(3)的通項(xiàng)進(jìn)行估計由條件可知

        設(shè)對于正整數(shù)n,有不等式,則當(dāng)時,由條件有

        于是由數(shù)學(xué)歸納法得知,對所有正整數(shù)n,有,其中。從而當(dāng)時,,

        由于正項(xiàng)級數(shù)收斂,由判別法知,級數(shù)(2)在上一致收斂。因而函數(shù)序列在上一致收斂。

        現(xiàn)設(shè),,則由在的連續(xù)性和一致收斂性得,在上連續(xù),且

        命題四:是積分方程(1)定義于上連續(xù)解。證明:由條件有以及在的一致收斂得函數(shù)列在上一致收斂于函數(shù),因此對(2)式兩邊取極限得, 即。故是積分方程(1)定義于上連續(xù)解。

        命題五:設(shè)是積分方程(1)定義于上的一個連續(xù)解,則,。證明:設(shè),則是定義于上非負(fù)連續(xù)函數(shù),由? ?及條件得:

        令 則是定義于,且,,,于是,,對最后一個不等式從積分得,故,即

        由于用積分法證明唯一性涉及連續(xù)性因此有了第四步的證明連續(xù)解,因?yàn)榉e分法雖然比兩解的歸納法復(fù)雜但是它更通俗易懂。

        99精品人妻少妇一区二区| 亚洲日本中文字幕乱码| 亚洲综合偷自成人网第页色| 热久久国产欧美一区二区精品| 放荡的闷骚娇妻h| 中文字幕人妻系列一区尤物视频| 国产一区资源在线播放| 日本中国内射bbxx| 欧美熟妇精品一区二区三区| 国产成人亚洲综合小说区| 视频一区视频二区自拍偷拍| 亚洲av无码国产综合专区| 国产亚洲av手机在线观看| 亚洲无码激情视频在线观看| 精品极品一区二区三区| 国99久9在线 | 免费| 国产AV无码专区亚洲AⅤ| 扒下语文老师的丝袜美腿| 亚洲av无一区二区三区| 在熟睡夫面前侵犯我在线播放| 无码的精品免费不卡在线| 亚洲高清av一区二区| 熟女一区二区三区在线观看| 香蕉视频在线精品视频| 日韩久久久黄色一级av| 久久精品国产亚洲av四区| 东京热久久综合久久88| 亚洲人成网站77777在线观看| 元码人妻精品一区二区三区9| 国产偷国产偷亚洲综合av| 欧洲熟妇色xxxxx欧美老妇伦| 色综合另类小说图片区| 中文乱码字幕人妻熟女人妻| 午夜精品久久久久久久99老熟妇| 亚洲精品人成无码中文毛片| 无码伊人久久大香线蕉| 国产成人精品一区二三区孕妇| 曰韩人妻无码一区二区三区综合部| 天天躁日日躁狠狠躁一区| 国产另类av一区二区三区| 国产精久久一区二区三区|