• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    脈沖積分—微分系統(tǒng)的Razumikhin型穩(wěn)定性定理

    2011-01-10 03:36:58呂濯纓鄭艷琳張來(lái)亮
    關(guān)鍵詞:零解微分矛盾

    呂濯纓,鄭艷琳,張來(lái)亮

    (1.山東科技大學(xué)公共課題部,山東濟(jì)南 250031;2.山東科技大學(xué)理學(xué)院,山東黃島 266510)

    0 引 言

    脈沖積分 —微分系統(tǒng)作為非線性脈沖微分系統(tǒng)的一個(gè)重要分支,在自然科學(xué)中有著廣泛的應(yīng)用背景,如物理學(xué)中的電路模擬器與生物學(xué)中的神經(jīng)網(wǎng)絡(luò)系統(tǒng)等.近年來(lái),學(xué)者們對(duì)其的研究也產(chǎn)生了一些成果[1-5].在對(duì)該系統(tǒng)的研究中,解的定性理論已有一定進(jìn)展,但解的穩(wěn)定性理論還僅有比較結(jié)果和極為少量的直接結(jié)果,而且在直接結(jié)果中對(duì)V函數(shù)要求條件較高.基于此,本文利用Lyapunov函數(shù)直接方法并借助研究泛函微分方程的Razumikhin技巧的思想,減弱了在脈沖點(diǎn)對(duì)V函數(shù)的限制條件,得到了脈沖積分 —微分系統(tǒng)零解的穩(wěn)定性的直接判定準(zhǔn)則.

    考慮如下脈沖積分 —微分系統(tǒng),

    其中:

    (i)N為正整數(shù)集;

    (ii)f:R+×S(ρ)×Rn在[tk,tk+1)×S(ρ)×Rn上連續(xù),S(ρ)={x∈Rn:|x|<ρ},k∈N;

    (iv)0<t1<t2< …<tk< …,且tk→∞(k→∞);

    (v)Jk(x):S(ρ)→Rn(?k∈N);

    (vi)對(duì)上述ρ,存在ρ1:0<ρ1≤ρ,使得當(dāng)x∈S(ρ1)時(shí),有 Jk(x)∈S(ρ);

    (vii) K(t,t,0)≡0,f(t,0,0) ≡0,Jk(0) ≡0(?k∈N),保證系統(tǒng)(1)的零解存在.

    另外,我們總假定f,Jk滿足一定條件以保證系統(tǒng)(1)的解整體存在唯一.

    定義1 若函數(shù)V:R+×Rn→R+在 G上連續(xù)且滿足,

    定義2 稱系統(tǒng)(1)的零解為:

    (i)穩(wěn)定的,若對(duì) ?ε>0,t0∈R+,?δ= δ(t0,ε)>0,使當(dāng)|x0|<δ時(shí),有|x(t,t0,x0)|≤ε,t≥t0;

    則稱函數(shù)V∈V0.若V∈V0,則,

    (ii)一致穩(wěn)定的,若(i)中的δ與t0無(wú)關(guān);

    (iii)吸引的,若對(duì) ?ε>0,t0∈R+,?δ= δ(t0)>0,T= T(t0,ε)>0,使當(dāng)|x0|<δ時(shí)有, |x(t,t0,x0)|≤ε,t≥t0+T;

    (iv)一致吸引的,若(iii)中的δ,T均與t0無(wú)關(guān);

    (v)漸近穩(wěn)定的,若(i)與(iii)同時(shí)成立;

    (vi)一致漸近穩(wěn)定的,若(ii)與(iv)同時(shí)成立.為方便起見(jiàn),我們引入下列記號(hào):

    K={a∈C[R+,R+]:a(s)關(guān)于s嚴(yán)格單增,且 a(0)=0};

    Ω1={P∈C[R+,R+]:P(s)關(guān)于s非減, P(s)>s,s>0,且 P(0)=0};

    Ω2={H∈C[R+,R+]:H(s)關(guān)于s非減, H(s)>0,s>0,且 H(0)=0}.

    1 主要結(jié)果

    定理 設(shè)存在函數(shù)V∈V0,a,b∈K,P∈Ω1及 H∈Ω2滿足:

    (i)a(|x|)≤V(t,x)≤b(|x|),(t,x)∈[t0,∞)×S(ρ);

    (ii)對(duì)所有 k∈N及x∈S(ρ1)有,

    (iii)對(duì)系統(tǒng)(1)的任意解 x(t),當(dāng)V(s,x(s))≤P(V(t,x(t))),t′≤s≤t,t′≥t0時(shí),有,

    其中,g:[t0,∞)→R+局部可積;

    (iv)?τ>0,λ>0,使得對(duì) ?k∈N有,2τ<tk-tk-1≤λ,同時(shí),對(duì)任意μ>0,有,

    則系統(tǒng)(1)的零解是一致漸近穩(wěn)定的.

    證明 ?ε:0<ε≤ρ1,?δ=δ(ε)>0,滿足, P(b(δ))≤a(ε).?t0∈R+,不妨設(shè),t0∈[tk-1, tk),記V(t)=V(t,x(t)),則當(dāng)|x0|<δ時(shí),有,

    即,|x(t0)|<ε.

    下證,

    首先證明,

    若不然,?t—∈(t0,tk),使得 V(t—)> b(δ)> V(t0),則令,

    那么,由V在(t0,tk)上連續(xù)知,V(t*)=b(δ),D+V(t*)>0,且V(t)≤V(t*),t∈[t0,t*],于是,

    由(iii)知,

    矛盾,故(2)成立.

    由(2)及(ii)知,

    同理可證,

    然后證明,

    先證,?t*∈[tk,tk+1)滿足,

    若不然,對(duì)所有 t∈[tk,tk+1)有,

    由式(3)與(6)有,

    由(iii)知,

    于是,

    又由式(3)與(6)有,

    則,

    與(iv)矛盾,故式(5)成立.

    然后再證,

    由式(3)知,

    由(iii)知,D+V(t—)<0,矛盾,故式(8)成立.

    由式(8)及(ii)有,

    又由式(3)知,

    同理可證,

    由數(shù)學(xué)歸納法知,對(duì)于j=0,1,2,…,有,

    從而,

    因此,|x(t)|<ε,t≥t0,即系統(tǒng)(1)的零解是一致穩(wěn)定的.

    由系統(tǒng)(1)零解的一致穩(wěn)定性知,對(duì)于ε=ρ1,?ρ>0,滿足 P(b(δ))= a(ρ1),使得對(duì) ?t0∈R+,當(dāng)|x0|<δ時(shí),有|x(t)|≤ρ1,且V(t)≤P(b(δ)),t>t0.對(duì) ?ε:0<ε<ρ1,由 P(s)>s, s>0知,?d= d(ε)>0,滿足,

    設(shè)N為滿足P(b(δ))≤a(ε)+Nd的最小正整數(shù),下證,?ri∈[tk+i,tk+i+τ],使得

    顯然,式(9)0成立.設(shè)式(9)i對(duì)某個(gè)i:0≤i<N成立,須證,?ri+1∈[tk+i+1,tk+i+1+τ]有,

    首先證明,?ri+1∈[tk+i+1,tk+i+1+τ],使得,

    若不然,對(duì)所有 t∈[tk+i+1,tk+i+1+τ]有,

    則,P(V(t))>V(t)+d>a(ε)+(N-i-1)d+d= a(ε)+(N-i)d≥V(s),ri≤s≤t, t∈[tk+i+1,tk+i+1+τ].

    由(iii)有,

    則,

    又,

    于是,

    故,

    與(iv)矛盾,故式(10)成立.

    下面再證明,

    若不然,?t—∈(ri+1,tk+i+2)使,

    則,?t*∈[ri+1,—t)及—t∈(t*,—t)使,V(t*) =a(ε)+(N-i-1)d,D+V(—t )>0,且V(t*)<V(—t),于是,

    由(iii)知,D+V(t—)≤0,矛盾,故式(11)成立.

    然后再證 ?r*

    i+1∈[ri+1,tk+i+2)使,

    若不然,對(duì)所有 t∈[ri+1,tk+i+2)有,

    由式(11)有,

    V(s)≤P(V(t)),ri+1≤s≤t,t∈[ri+1,tk+i+2),則由(iii)知,D+V(t)≤-g(t)H(V(t)),t∈[ri+1,tk+i+2),于是,

    又由式(11)及式(13),

    故,

    從而,

    與(iv)矛盾,故式(12)成立.

    最后,證明,

    若不然,?t⌒∈(r*

    i+1,tk+i+2)使,

    則,?~t ∈ [ri*+1,ti+i+2) 及∧t∈ (~t ,⌒t]使, P(V(~t))=a(ε)+(N-i-1)d,D+V(∧t)>0,且V(~t)<V(∧t).由,式(11)有,

    由(iii)知,D+V(∧t)≤0,矛盾,故式(14)成立.

    由式(14)及(ii)有,

    又由式(11)知,

    同理可證,

    由數(shù)學(xué)歸納法知,對(duì)于j=2,3,…,有,

    即式(9)i+1成立.

    從而式(9)i對(duì)所有i=0,1,…,N均成立.

    當(dāng)i=N時(shí),

    于是,|x(t)|≤ε,t≥tk+N+1.令,T=T(ε)= (N+2)λ,則,t0+T=t0+(N+2)λ>tk-1+(N +2)λ≥tk+N+1,因此,

    即系統(tǒng)(1)的零解是一致漸近穩(wěn)定的.

    [1]傅希林,閻寶強(qiáng),劉衍勝.脈沖微分系統(tǒng)引論[M].北京:科學(xué)出版社,2004.

    [2]Fu X L,Zhang L Q.On Boundedness of Solutions of Impulsive Integre-differential Systems with Fixed Moments of Impulsive Effects[J].Acta Mathematica Scientia,1997,17(2):219-229.

    [3]Shen J H,Yan J R.Razumikhin-type Stability Theorems for Impulsive Functional Differential Equations[J].Nonlinear Analysis, 1998,33(1):519-537.

    [4]呂濯纓,傅希林.脈沖積分微分方程的有界性與Lagrange穩(wěn)定性[J].科學(xué)技術(shù)與工程,2005,5(16):1121-1122.

    [5]呂濯纓,董斌,李曉迪.脈沖積分—微分系統(tǒng)解的有界性[J].成都大學(xué)學(xué)報(bào)(自然科學(xué)版),2008,27(2):109-111.

    猜你喜歡
    零解微分矛盾
    幾類樹(shù)的無(wú)矛盾點(diǎn)連通數(shù)
    再婚后出現(xiàn)矛盾,我該怎么辦?
    中老年保健(2021年2期)2021-08-22 07:29:58
    Matlab在判斷平面自治系統(tǒng)零解穩(wěn)定性中的應(yīng)用
    擬微分算子在Hp(ω)上的有界性
    矛盾的我
    對(duì)矛盾說(shuō)不
    童話世界(2020年13期)2020-06-15 11:54:50
    上下解反向的脈沖微分包含解的存在性
    非線性中立型積分微分方程零解的全局漸近穩(wěn)定性
    非線性中立型積分微分方程零解的全局漸近穩(wěn)定性
    借助微分探求連續(xù)函數(shù)的極值點(diǎn)
    汶上县| 日喀则市| 凌云县| 台南市| 陆丰市| 东乌珠穆沁旗| 虹口区| 南木林县| 黄平县| 孝义市| 正阳县| 江山市| 志丹县| 雷州市| 靖远县| 公安县| 海淀区| 长治市| 宁城县| 呈贡县| 满洲里市| 义马市| 临夏县| 屏山县| 江安县| 宣城市| 上杭县| 广饶县| 乡宁县| 临洮县| 斗六市| 渭源县| 抚松县| 亳州市| 西林县| 彭州市| 上栗县| 阿克陶县| 淮安市| 丰城市| 砀山县|