李自尊

(1. 四川大學(xué) 數(shù)學(xué)學(xué)院, 四川 成都 610064; 2. 百色學(xué)院 數(shù)學(xué)與統(tǒng)計(jì)學(xué)院, 廣西 百色 533000)

積分不等式是研究微分方程和積分方程的重要工具.通過(guò)對(duì)積分不等式中未知函數(shù)的估計(jì),可以研究某些微分方程解的存在性、唯一性、有界性和穩(wěn)定性等定性性質(zhì)[1-3].通過(guò)對(duì)非連續(xù)函數(shù)積分不等式中未知函數(shù)進(jìn)行估計(jì),可以研究某些脈沖微分方程解的一些性質(zhì)[4-16].2007年Iovane[4]研究了非連續(xù)函數(shù)積分不等式

其中,a(t)>0,q(t)≥1,f(t)≥0,g(t)≥0,βi≥0.2013年嚴(yán)勇[5]研究了含有時(shí)滯的脈沖積分不等式

2015年米玉珍等[6]研究了含有未知函數(shù)復(fù)合的積分不等式

其中,w(u)是定義在[0,∞)上的單調(diào)不減連續(xù)函數(shù)且當(dāng)u>0時(shí),w(u)>0.

本文在上述研究的基礎(chǔ)上，研究了一類含三項(xiàng)未知函數(shù)復(fù)合的非連續(xù)函數(shù)積分不等式

(*)

1 主要結(jié)果

假設(shè)

(H1)φ在[0,∞)上是嚴(yán)格單增的連續(xù)函數(shù),對(duì)任意u>0,ψ(u)>0;

(H3)a(t)是定義在[t0,∞)上的連續(xù)函數(shù),a(t0)≠0;

(H4)fi(t,s)(i=1,2)、f(t,s)和g(s,t)是定義在[t0,∞)×[t0,∞)上的非負(fù)連續(xù)函數(shù);

(H5)βi≥0是常數(shù).

?t∈[ti,ti+1),

其中

j=2,3, ?t∈[t0,t1),

Ei(t)=e1(t)+

βk(φ(u(ti-1))),

?t∈[ti,ti+1),i=1,2,…,

?t∈[ti,ti+1),i=1,2,…

j=2,3, ?t∈[ti,ti+1).

證明令

(1)

由f(t,s)、g(t,s)和w(u(t))都是連續(xù)函數(shù)得

(2)

由(1)和(2)式,則(*)式變?yōu)?/p>

(3)

首先,考慮情況t∈[t0,t1),任意取定T∈[t0,t1),對(duì)于任意的t∈[t0,T],由(3)式得

φ(u(t))≤e1(t)+

(4)

令

則v(x)為非負(fù)不減的連續(xù)函數(shù),且

φ(u(t))≤v(t),u(t)≤φ-1(v(t)),

v(t0)=e1(t0).

對(duì)(5)式求導(dǎo)可得

(6)

令

(7)

則

是不減的.由(6)和(7)式可得

(8)

從t0到t積分(8)式的兩邊,并利用Wi(t)的定義得到

W1(v(t))-W1(v(t0))≤

(9)

令

θ1(t)=W1(v(t)),

(10)

(11)

由(10)和(11)式,則(9)式變?yōu)?/p>

θ1(t)≤e2(t)+

令

v1(t)=e2(t)+

則v1(t)在[t0,t1)上是連續(xù)不減的函數(shù),且θ1(t)≤v1(t),v1(t0)=e2(t0).

定義函數(shù)

i=1,2,

(13)

則

對(duì)(14)式的兩邊從t0到t積分,得到

(15)

由(7)、(13)和(15)式可得

Φ2(v1(t))-Φ2(v1(t0))≤

(16)

由(16)式可得

(17)

由(13)式可以推出

(18)

由(17)和(18)式可變?yōu)?/p>

(19)

令

(20)

θ2(t)≤e3(t)+

令

v2(t)=e3(t)+

則v2(t)在[t0,t1)上是連續(xù)不減函數(shù),且θ2(t)≤v2(t),v2(t0)=ρ2(t0).對(duì)v2(t)求導(dǎo)可得

由(23)式可得

對(duì)(24)式的兩端從t0到t積分得

Φ3(v2(t))-Φ3(v2(t0))≤

則由(25)式可得

由(18)和(26)式可推出

(27)

由(5)、(10)和(20)式推出

(28)

所以可得

u(t)≤φ-1(v(t))≤

其中

由T的任意性可得

u(t)≤φ-1(v(t))≤

即當(dāng)t∈[t0,t1)時(shí)證明了估計(jì)式.

當(dāng)t∈[t1,t2)時(shí),任意取T1∈[t1,t2),當(dāng)t∈[t1,T1]時(shí),不等式(3)變?yōu)?/p>

β1φ(u(t1-0))≤

β1φ(u(t1-0)).

(29)

令Γ(t)表示(29)式的右邊,

E1(t)=e1(t)+

則Γ(t)是單調(diào)不減函數(shù),且有

φ(u(t))≤Γ(t),

φ(u(t1))≤Γ(t1)=E1(t1)=

β1φ(u(t1-0)).

(30)

Γ(t)兩邊關(guān)于t求導(dǎo)得

(31)

(31)式兩邊同時(shí)除以w1(φ-1(Γ(t)))可得

(32)

(32)式兩邊從t1到t積分可得

W1(Γ(t))-W1(Γ(t1))≤

則

(33)

(33)式變?yōu)?9)式的形式,利用相同的方法可以得到估計(jì)式

?t∈[t1,t).

同理,對(duì)任意自然數(shù)k,當(dāng)t∈[tk,tk+1)時(shí),可以得到未知函數(shù)的估計(jì)式

?t∈[tk,tk+1).

綜上定理得證.

3 在脈沖微分方程中的應(yīng)用

本節(jié)用得到的結(jié)果給出脈沖微分系統(tǒng)解的上界估計(jì).考慮脈沖微分系統(tǒng)

Δ(x)|t=ti=βix(ti-0),x(t0)=c,

(35)

|F(t,x)|≤f(t)|xm|+

g(t)|x|ln|x|+h(t)e|x|,

(36)

其中,f(t)、g(t)和h(t)是[t0,∞)上連續(xù)的非負(fù)函數(shù)，0

推論1在條件(36)成立的情況下,系統(tǒng)(34)和(35)所有的解x(t)滿足估計(jì)式

?t∈[ti,ti+1),

(37)

其中

Ei(t)=c+

βk(φ(u(ti-1))),

?t∈[ti,ti+1),i=1,2,…

j=2,3, ?t∈[t0,t1),

?t∈[ti,ti+1),i=1,2,…

j=2,3, ?t∈[ti,ti+1).

(38)

證明脈沖微分方程(34)與(35)等價(jià)于積分方程

(39)

利用條件(36),由(39)式可得

(40)

令u(t)=|x(t)|,由(40)式可得不等式

(41)

令w1(u)=um,w2(u)=uln(u),w3(u)=eu,看出(41)式是(3)式的特殊形式,且(41)式中的函數(shù)滿足定理1的條件.由定理1可以推出x(t)的估計(jì)式(37).

[1] AGARWAL R P, DENG S F, ZHANG W N. Generalization of a retarded Gronwall-like inequality and its applications[J]. Appl Math Comput,2005,165(3):599-612.

[2] WANG W S. A generalized retarded Gronwall-like inequality in two variables and applications to BVP[J]. Appl Math Comput,2007,191(1):144-154.

[3] 王五生,李自尊. 一類新的非線性時(shí)滯積分不等式及其應(yīng)用[J]. 四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2012,35(2):180-183.

[4] IOVANE G. Some new integral inequalities of Bellman-Bihari type with delay for discontinuous functions[J]. Nonlinear Anal,2007,66(2):498-508.

[5] 嚴(yán)勇. 一類帶脈沖項(xiàng)的Gronwall-Bellman型積分不等式的推廣及應(yīng)用[J]. 四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2013,36(4):603-609.

[6] 米玉珍,鐘吉玉. 非連續(xù)函數(shù)的Bellman-Bihari 型積分不等式的推廣[J]. 四川大學(xué)學(xué)報(bào)(自然科學(xué)版),2015,52(1):33-38.

[7] BORYSENKO S D. About asymptotical stability on linear approximation of the systems with impulse influence[J]. Ukrain Mat Zh,1983,35(2):144-150.

[8] BORYSENKO S D, CIARLETTA M, IOVANE G. Integro-sum inequalities and motion stability of systems with impulse perturbations[J]. Nonlinear Anal,2005,62(3):417-428.

[9] GALLO A, PICCIRILLO A M. About new analogies of Gronwall-Bellman-Bihari type inequalities for discontinuous functions and estimated solutions for impulsive differential systems[J]. Nonlinear Anal,2007,67(5):1550-1559.

[10] GALLO A, PICCIRILLO A M. About some new generalizations of Bellman-Bihari results for integro-functional inequalities with discontinuous functions and applications[J]. Nonlinear Anal,2009,71(12):e2276-e2287.

[11] 李自尊. 脈沖積分不等式未知函數(shù)的估計(jì)[J]. 四川師范大學(xué)學(xué)報(bào)(自然科學(xué)版),2013,36(2):258-262.

[12] 柳長(zhǎng)青,李自尊. 一類新的非連續(xù)函數(shù)積分不等式及其應(yīng)用[J]. 理論數(shù)學(xué),2013,3(1):4-8.

[13] 孟東沅. 一類新型不連續(xù)函數(shù)的積分不等式及應(yīng)用[J]. 數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),2009,39(2):161-166.

[14] MI Y Z, DENG S F, LI X P. Nonlinear integral inequalities with delay for discontinuous functions and their applications[J]. J Inequal Appl,2013,2013:1-11.

[15] MITROPOLSKI Y A, IOVANE G, BORYSENKO S D. About a generalization of Bellman-Bihari type inequalities for discontinuous functions and their applications[J]. Nonlinear Anal,2007,66(10):2140-2165.

[16] WANG W S, LI Z Z. A new class of impulsive integral inequalities and its application[C]//2011 International Conference on Multimedia Technology,2011,3(1):1897-1899.