• 
    

    
    

      99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

      非線性二階脈沖微分方程解的正性的缺失

      2019-10-21 10:06:10汪婷婷范虹霞
      關(guān)鍵詞:零解邊值問題不動(dòng)點(diǎn)

      汪婷婷, 范虹霞

      (蘭州交通大學(xué) 數(shù)理學(xué)院, 甘肅 蘭州 730070)

      脈沖微分方程描述的是系統(tǒng)狀態(tài)在某一時(shí)刻突發(fā)改變的過程,對(duì)其基礎(chǔ)理論進(jìn)行研究的文章已有很多,期間脈沖微分方程邊值問題的研究也受到越來越多的關(guān)注[1-6]。在現(xiàn)有文獻(xiàn)中,大多數(shù)學(xué)者致力于討論脈沖微分方程正解的存在性,如文獻(xiàn)[1]中,F(xiàn)eng和Xie利用錐壓縮與錐拉伸不動(dòng)點(diǎn)定理討論了二階脈沖微分方程m點(diǎn)邊值問題的多個(gè)正解的存在性。而對(duì)脈沖微分方程邊值問題非零解存在性的研究,卻很少有學(xué)者關(guān)注。

      2009年,文獻(xiàn)[7]研究了二階常微分方程邊值問題

      非零解的存在性,其中α和β是正參數(shù)。

      受文獻(xiàn)[7]的啟發(fā),本文主要研究下列二階脈沖微分方程邊值問題

      (1)

      本文的主要工作是討論當(dāng)參數(shù)α或β增大時(shí),相應(yīng)積分方程的核函數(shù)的符號(hào)改變情況,并結(jié)合不動(dòng)點(diǎn)定理給出問題(1)非零解的存在性,推廣了文獻(xiàn)[7]的結(jié)果。其他有關(guān)脈沖微分方程解的研究可參見文獻(xiàn)[8-14]。

      以下列出本文要用到的假設(shè)條件:

      (H1) 1+βη>β;

      (H2) 1-αξ>0;

      (H3) 1+βη<β;

      (H4) 1-αξ<0;

      (A1) 1+βη≥β;

      (A2) 1-αξ≥0。

      1 預(yù)備知識(shí)

      設(shè)J′=J{t1,t2,…,tn}。定義空間

      本文主要結(jié)果的證明要用到以下的定理和相關(guān)引理。

      (ⅰ) ‖Au‖≤‖u‖,?u∈P∩?Ω1,‖Au‖≥‖u‖,?u∈P∩?Ω2;

      (ⅱ) ‖Au‖≤‖u‖,?u∈P∩?Ω2,‖Au‖≥‖u‖,?u∈P∩?Ω1;

      引理1 設(shè)Δ=α(1+βη)+β(1-αξ),f∈C([0,1]×(-∞,+∞),[0,+∞)),Ik∈C((-∞,+∞),[0,+∞)),則u∈PC1[0,1]∩C2(J′)是問題(1)的解當(dāng)且僅當(dāng)u是下列脈沖積分方程

      (2)

      的一個(gè)解,其中

      (3)

      證明必要性。

      設(shè)u∈PC1[0,1]∩C2(J′)是問題(1)的解,對(duì)問題(1)中的方程兩端積分可得:

      (4)

      對(duì)上式再次積分,可以得到:

      (5)

      在(4)式中,令t=1,并結(jié)合邊值條件易得:

      (6)

      在(5)式中,分別令t=ξ,t=η,并結(jié)合(6)式有:

      (7)

      (8)

      將(7)式和(8)式代入(6)式中化簡可以得到:

      (9)

      從而

      (10)

      結(jié)合(5)、(9)和(10)式化簡易得:

      其中

      充分性。

      設(shè)u(t)是脈沖積分方程(2)的解,則當(dāng)t≠tk時(shí),直接對(duì)(2)式求導(dǎo)得

      引理2[7]設(shè)條件(H1)和(H2)成立,則k(t,s)在[0,1]×[0,1]上為正,并且滿足下列性質(zhì)(P):存在一個(gè)可測(cè)函數(shù)φ:[0,1]→[0,+∞),子區(qū)間[a,b]?[0,1]和常數(shù)c,使得|k(t,s)|≤φ(s),t、s∈[0,1],并且

      |k(t,s)|≥cφ(s),t∈[a,b],s∈[0,1]。

      注1 由文獻(xiàn)[7]引理2.2的證明知,這里

      引理3[7]設(shè)條件(H3)和(H4)成立,則k(t,s)在[0,1]×[0,1]上改變符號(hào),并且滿足性質(zhì)(P)。

      注2 由文獻(xiàn)[7]引理2.3的證明知,這里

      引理4[7]如果條件(A1)和(A2)成立,那么k(t,s)在[0,1]×[0,1]上是非負(fù)的,并且滿足性質(zhì)(P);如果條件(A1)或(A2)之一不成立,那么k(t,s)在[0,1]×[0,1]上改變符號(hào),并且滿足性質(zhì)(P)。

      引理5 設(shè)條件(H3)和(H4)成立,則存在可測(cè)函數(shù)Ψ(s):[0,1]→[0,+∞),使得

      證明由(3)式,有

      其中

      情形1s≤η。若s≤ξ,s≤t,則

      若s≤ξ,s>t,則

      若s>ξ,s≤t,則

      若s>ξ,s>t,則

      情形2s>η。若s>ξ,s≤t,則

      若s>ξ,s>t,則

      2 主要結(jié)果及證明

      定理1 設(shè)(H3)和(H4)成立,f∈C([0,1]×(-∞,+∞),[0,+∞)),Ik∈C((-∞,+∞),[0,+∞)),且在[0,1]的任意子區(qū)間上f(t,u)?0。此外,設(shè)f和Ik滿足下列條件:

      則邊值問題(1)至少存在一個(gè)解u(t),滿足u(t)>0,t∈[a,b]。

      定義算子A:P→P

      (11)

      顯然,問題(1)的解u(t)是算子A的不動(dòng)點(diǎn),可以驗(yàn)證A:P→P是全連續(xù)算子。

      事實(shí)上,?u∈PC1[0,1],有Au∈PC1[0,1]。由引理3和(11)式容易得到

      由引理3、引理5和(11)式可求得

      因此,?u∈P,Au∈P,A是P→P的保錐算子。下面說明A是全連續(xù)算子。

      顯然算子A連續(xù),容易驗(yàn)證算子A映射P中的有界集為有界集且A在每個(gè)區(qū)間(tk,tk+1)(k=0,1,2,…,n)上等度連續(xù),由廣義的Arzela-Ascoli定理可知A是全連續(xù)算子。

      令Ω1={u∈PC1[0,1]:‖u‖PC1

      從而‖Au‖≤‖u‖PC1。

      則有‖Au′‖≤‖u‖PC1。所以

      ‖Au‖PC1≤‖u‖PC1,u∈P∩?Ω1。

      (12)

      因此‖Au‖≥‖u‖PC1。于是,

      ‖Au‖PC1≥‖u‖PC1,u∈P∩?Ω2。

      (13)

      所以‖Au‖≥‖u‖PC1,從而‖Au‖PC1≥‖u‖PC1,u∈P∩?Ω2。

      定理2 設(shè)(H3)和(H4)成立,f∈C([0,1]×(-∞,+∞),[0,+∞)),Ik∈C((-∞,+∞),[0,+∞)),且在[0,1]的任意子區(qū)間上f(t,u)?0。此外,設(shè)f和Ik滿足下列條件:

      則邊值問題(1)至少存在一個(gè)解u(t),滿足u(t)>0,t∈[a,b]。

      類似定理1和定理2的討論,由引理2可知,問題(1)至少存在一個(gè)解u(t),且滿足u(t)>0,t∈[a,b]。同理,由引理4可以分別得到兩個(gè)解的存在性定理,此處不再贅述。

      3 應(yīng)用

      例考察下列二階脈沖微分方程邊值問題

      (14)

      猜你喜歡
      零解邊值問題不動(dòng)點(diǎn)
      非線性n 階m 點(diǎn)邊值問題正解的存在性
      Matlab在判斷平面自治系統(tǒng)零解穩(wěn)定性中的應(yīng)用
      帶有積分邊界條件的奇異攝動(dòng)邊值問題的漸近解
      一類抽象二元非線性算子的不動(dòng)點(diǎn)的存在性與唯一性
      非線性中立型積分微分方程零解的全局漸近穩(wěn)定性
      活用“不動(dòng)點(diǎn)”解決幾類數(shù)學(xué)問題
      關(guān)于非自治系統(tǒng)零解的穩(wěn)定性討論
      不動(dòng)點(diǎn)集HP1(2m)∪HP2(2m)∪HP(2n+1) 的對(duì)合
      非線性m點(diǎn)邊值問題的多重正解
      脈沖微分系統(tǒng)的等度積分φ0-穩(wěn)定
      襄城县| 融水| 宜良县| 偃师市| 关岭| 甘孜县| 衡山县| 古蔺县| 洪洞县| 佳木斯市| 上杭县| 布拖县| 南宫市| 滨州市| 吉隆县| 盘锦市| 武乡县| 信阳市| 临潭县| 二连浩特市| 楚雄市| 定州市| 阿拉尔市| 绩溪县| 隆安县| 陇西县| 历史| 阿克苏市| 澳门| 始兴县| 无为县| 佛冈县| 龙南县| 乳山市| 襄樊市| 如东县| 蓝田县| 西昌市| 满城县| 浦县| 莆田市|