GENERALIZATION OF AN IMPULSIVE NONLINEAR SINGULAR GRONWALL-BIHARI INEQUALITY WITH DELAY

(1)

Gronwall-Bihari Inequality Shengfu Deng and Carl Prather

vol. 9, iss. 2, art. 34, 2008

Title Page

Contents

JJ II

J I

Page1of 20 Go Back Full Screen

Close

GENERALIZATION OF AN IMPULSIVE NONLINEAR SINGULAR GRONWALL-BIHARI

INEQUALITY WITH DELAY

SHENGFU DENG AND CARL PRATHER

Department of Mathematics

Virginia Polytechnic Institute and State University Blacksburg, VA 24061, USA

EMail:sfdeng@vt.edu prather@math.vt.edu

Received: 25 August, 2007

Accepted: 23 May, 2008

Communicated by: S.S. Dragomir 2000 AMS Sub. Class.: 26D15, 26D20.

Key words: Gronwall-Bihari inequality, Nonlinear, Impulsive.

Abstract: This paper generalizes a Tatar’s result of an impulsive nonlinear singular Gronwall-Bihari inequality with delay [J. Inequal. Appl., 2006(2006), 1-12] to a new type of inequalities which includesndistinct nonlinear terms.

(2)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

1. Introduction

In order to investigate problems of the form

x⁰ =f(t, x), t 6=t_k,

∆x=I_k(x), t =t_k,

Samoilenko and Perestyuk [6] first used the following impulsive integral inequality u(t)≤a+

Z t c

b(s)u(s)ds+ X

0<tk<t

η_ku(t_k), t ≥0.

Then Bainov and Hristova [2] studied a similar inequality with constant delay. In 2004, Hristova [3] considered a more general inequality with nonlinear functions in u. All of these papers treated the functions (kernels) involved in the integrals which are regular. Recently, Tatar [7] investigated the following singular inequality

u(t)≤a(t) +b(t) Z t

0

k1(t, s)u^m(s)ds+c(t) Z t

0

k2(t, s)uⁿ(s−τ)ds +d(t) X

0<t_k<t

ηku(tk), t≥0, u(t)≤ϕ(t), t∈[−τ,0], τ >0

(1.1)

where the kernelsk_i(t, s)are defined byk_i(t, s) = (t−s)^βⁱ⁻¹s^γⁱF_i(s)forβ_i >0and γ_i >−1,i= 1,2, the pointst_k(called "instants of impulse effect") are in increasing order and limk→∞t_k = +∞. This inequality was called the impulsive nonlinear singular version of the Gronwall inequality with delay by Tatar [7]. In this paper, we

(4)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

will consider an inequality u(t)≤a(t) +

n

X

i=1

Z bi(t) 0

(t−s)^βⁱ⁻¹s^rⁱf_i(t, s)w_i(u(s))ds +

m+n

X

j=n+1

Z bj(t) 0

(t−s)^β^j⁻¹s^r^jf_j(t, s)w_j(u(s−τ))ds +d(t) X

0<t_L<t

η_Lu(t_L), t≥0, (1.2)

u(t)≤ϕ(t), t ∈[−τ,0], τ >0,

wheren, mare positive integers,βl >0,rl >−1forl = 1, . . . , n+mandηL ≥0 and other assumptions are given in Section2. This inequality is more general than (1.1) since (1.2) hasnnonlinear terms.

(5)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Page5of 20 Go Back Full Screen

Close

2. Main Results

Notation: Following [1] and [5], we say w₁ ∝ w₂ forw₁, w₂ : A ⊂ R → R\{0}

if ^w_w²

1 is nondecreasing on A. This concept helps us to compare the monotonicity of different functions. Now we make the following assumptions:

(H1) all wi (i = 1, . . . , n +m) are continuous and nondecreasing on [0,∞) and positive on(0,∞), andw1 ∝w2 ∝ · · · ∝wn

(H2) a(t)andd(t)are continuous and nonnegative on[0,∞);

(H3) all b_l : [0,∞) → [0,∞) are continuously differentiable and nondecreasing such that0 ≤ b_l(t) ≤ t on[0,∞), t_L ≤ b_l(t) ≤ t_L+τ for t ∈ [t_L, t_L +τ] and t_L + τ ≤ b_l(t) ≤ t_L+1 for t ∈ [t_L +τ, t_L+1], l = 1, . . . , n+ m and L = 0,1,2, . . . where t₀ = 0. The points t_L are called instants of impulse effect which are in increasing order, andlimL→∞t_L =∞;

(H4) all f_l(t, s) (l = 1, . . . , n+m) are continuous and nonnegative functions on [0,∞)×[0,∞);

(H5) ϕ(t)is nonnegative and continuous;

(H6) u(t)is a piecewise continuous function fromR→R⁺ = [0,∞)with points of discontinuity of the first kind at the pointst_L ∈ R. It is also left continuous at the pointst_L. This space is denoted byP C(R,R⁺).

Without loss of generality, we will suppose that thetLsatisfyτ < tL+1−tL ≤2τ, L= 0,1,2, . . .. As in Remark 3.2 of [7], other cases can be reduced to this one.

(6)

vol. 9, iss. 2, art. 34, 2008

JJ II

J I

Close

Theorem 2.1. Let the above assumptions hold. Suppose thatusatisfies (1.2) and is inP C([−τ,∞),[0,∞)). Then ifβ_α>−¹_p + 1andr_α >−¹_p, it holds that

u(t)≤











uL,0(t), t∈(tL, tL+τ], u_L,1(t), t∈(t_L+τ, t_L+1],

u_k,0(t), t∈(t_k, t_k+τ] ift_k+τ ≤T, u_k,1(t), t∈(t_k+τ, T] ift_k+τ < T, u_k,0(t), t∈(t_k, T] ift_k+τ > T, wheretk≤T < tk+1and

u_L,l(t) =

"

W_n⁻¹ W_n(γ_L,l,n(t)) + Z bn(t)

tL+lτ

(n+m+L+ 1)^q−1c^q_n(t) ˜f_n^q(t, s)ds

!#¹_q ,

γL,l,j(t) = W_j−1⁻¹

Wj−1(γL,l,j−1(t)) +

Z bj−1(t) tL+lτ

(n+m+L+ 1)^q−1c^q_j−1(t) ˜f_j−1^q (t, s)ds

, j 6= 1,

γ_L,l,1(t) = (n+m+L+ 1)^q−1

"

˜ a^q(t) +

n

X

i=1

Z tL+lτ 0

c^q_i(t) ˜f_i^q(t, s)w_i^q(φ(s))ds

+

n+m

X

j=n+1

Z bj(t) 0

c^q_j(t) ˜f_j^q(t, s)w^q_j(ψ(s−τ))ds+

L

X

e=1

d˜^q(t)η^q_eu^q_e−1,1(t_e)

# ,

(7)

vol. 9, iss. 2, art. 34, 2008

JJ II

J I

Close

φ(t) =







u_L,0(t), t∈(t_L, t_L+τ], t∈(t_k, t_k+τ] ift_k+τ ≤T, andt∈(t_k, T] ift_k+τ > T,

u_L,1(t), t∈(t_L+τ, t_L+1]andt ∈(t_k+τ, T] ift_k+τ < T,

ψ(t) =











ϕ(t), t ∈[−τ,0],

u_L,0(t), t∈(t_L, t_L+τ], t∈(t_k, t_k+τ] ift_k+τ ≤T, andt∈(t_k, T] ift_k+τ > T,

u_L,1(t), t∈(t_L+τ, t_L+1]andt∈(t_k+τ, T] ift_k+τ < T,

˜

a(t) = max

0≤x≤ta(x), f˜_α(t, s) = max

0≤x≤tf_α(x, s), d(t) = max˜

0≤x≤td(x), W_i(u) =

Z u ui

dv w^q_i(v¹^q)

, u >0, u_i >0,

c_α(t) =t¹^p^+β^α^+r^α⁻¹

Γ(1 +p(β_α−1))Γ(1 +pr_α) Γ(2 +p(β_α+r_α−1))

¹_p ,

forL = 0,1, . . . , k−1, α = 1,2, . . . , n+m, l = 0,1, andi, j = 1, . . . , n where

1

p +¹_q = 1forp >0andq >1, andT is the largest number such that (2.1) W_j(γ_L,l,j(t)) +

Z bj(t) tL+lτ

(n+m+L+ 1)^q−1c_j(t) ˜f_j^q(t, s)ds ≤ Z ∞

uj

dz w_j^q(z^1/q), for all t ∈ (t_L, t_L+τ], all t ∈ (t_k, t_k +τ] if t_k +τ ≤ T and all t ∈ (t_L, T] if t_k+τ > T asl = 0, or allt∈[t_L+τ, t_L+1]and allt ∈[t_k+τ, T)ift_k+τ < T as l= 1wherej = 1, . . . , n,l = 0,1andL= 0,1. . . , k−1.

(8)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

Before the proof, we introduce a lemma which will play a very important role.

Lemma 2.2 ([1]). Suppose that

1. allw_i (i= 1, . . . , n)are continuous and nondecreasing on[0,∞)and positive on(0,∞), andw₁ ∝w₂ ∝ · · · ∝w_n.

2. a(t)is continuously differentiable intand nonnegative on[t₀, t₁),

3. allb_lare continuously differentiable and nondecreasing such thatb_l(t)≤tfor t∈[t₀, t₁)

where t₀, t₁ are constants and t₀ < t₁. If u(t) is a continuous and nonnegative function on[t₀, t₁)satisfying

u(t)≤a(t) +

n

X

i=1

Z bi(t) bi(t0)

fi(t, s)wi(u(s))ds, t0 ≤t < t1, then

u(t)≤W˜_n⁻¹

"

W˜_n(γ_n(t)) + Z bn(t)

bn(t0)

f˜_n(t, s)ds

#

, t₀ ≤t≤T₁, where

γ_i(t) = ˜W_i−1⁻¹

"

W˜i−1(γi−1(t)) +

Z bi−1(t) bi−1(t0)

f˜i−1(t, s)ds

#

, i= 2,3, . . . , n, γ1(t) =a(t0) +

Z t t0

|a⁰(s)|ds, W˜i(u) = Z u

ui

dz

w_i(z), ui >0, T1 < t1 andT1 is the largest number such that

W˜_i(γ_i(T₁)) +

Z bi(T1) bi(t0)

f˜_i(T₁, s)ds ≤ Z ∞

ui

dz

w_i(z), i= 1, . . . , n.

(9)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

Proof of Theorem2.1. Sinceβ_α >−¹_p + 1andr_α >−¹_p forα = 1, . . . , n+m, by Hölder’s inequality we obtain

u(t)≤a(t) +

n

X

i=1

Z t 0

(t−s)^p(βⁱ⁻¹⁾s^prⁱds

¹_p Z bi(t) 0

f_i^q(t, s)w_i^q(u(s))ds

!¹_q

+

m+n

X

j=n+1

Z t 0

(t−s)^p(β^j⁻¹⁾s^pr^jds

¹_p Z bj(t) 0

f_j^q(t, s)w_j^q(u(s−τ))ds

!¹_q

+ X

0<tL<t

d(t)η_Lu(t_L)

≤a(t) +

n

X

i=1

c_i(t)

Z bi(t) 0

!¹_q

+

m+n

X

j=n+1

c_j(t)

Z bj(t) 0

f_j^q(t, s)w^q_j(u(s−τ))ds

!¹_q

+ X

0<tL<t

d(t)η_Lu(t_L) where we useb_α(t)≤tand the definition ofc_α(t). Now we use the following result [4]:

IfA₁, . . . , A_nare nonnegative forn ∈N, then forq >1, (A1+· · ·+An)^q≤n^q−1(A^q₁+· · ·+A^q_n).

Sincet_k ≤t≤T < t_k+1, we have u^q(t)≤(1 +n+m+k)^q−1

"

a^q(t) +

n

X

i=1

c^q_i(t) Z bi(t)

0

+

m+n

X

j=n+1

c^q_j(t) Z bj(t)

0

f_j^q(t, s)w^q_j(u(s−τ))ds+

k

X

L=1

d^q(t)η^q_Lu^q(t_L)

# .

(10)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

We note that˜a(t)≥a(t),d(t)˜ ≥d(t)andf˜_α(t, s)≥f_α(t, s)and they are continuous and nondecreasing int. The above inequality becomes

u^q(t)≤(1 +n+m+k)^q−1

"

˜ a^q(t) +

n

X

i=1 k−1

X

L=0

c^q_i(t) Z tL+1

tL

f˜_i^q(t, s)w_i^q(u(s))ds

+ c^q_i(t) Z bi(t)

tk

f˜_i^q(t, s)w_i^q(u(s))ds

!

+

m+n

X

j=n+1 k−1

X

L=0

c^q_j(t) Z tL+1

tL

f˜_j^q(t, s)w_j^q(u(s−τ))ds

+ c^q_j(t) Z bj(t)

tk

f˜_j^q(t, s)w^q_j(u(s−τ))ds

! +

k

X

L=1

d˜^q(t)η^q_Lu^q(t_L)

# . (2.2)

In the following, we apply mathematical induction with respect tok.

(1)k = 0. We note thatt₀ = 0and we have for any fixed˜t∈[0, t₁] (2.3) u^q(t)≤(n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z bi(t)

0

f˜_i^q(˜t, s)w_i^q(u(s))ds

+

m+n

X

j=n+1

c^q_j(˜t) Z bj(t)

0

f˜_j^q(˜t, s)w_j^q(u(s−τ))ds

#

fort ∈[0,˜t]sincec_α(t)are nondecreasing.

Now we considert˜∈ [0, τ] ⊂ [0, t₁] andt ∈ [0,˜t]. Note that 0 ≤ b_j(t) ≤ t so

−τ ≤b_j(t)−τ ≤0fort ∈[0,˜t]. Sinceu(t)≤ϕ(t)fort∈[−τ,0], we have u^q(t)≤z0,0(t), t∈[0,˜t],

(11)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

where

(2.4) z_0,0(t) = (n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z bi(t)

0

+

m+n

X

j=n+1

c^q_j(˜t) Z bj(˜t)

0

f˜_j^q(˜t, s)w_j^q(ϕ(s−τ))ds

# . It implies that

(2.5) u(t)≤z_0,0(t)^1/q, t ∈[0,t].˜ Thus, (2.4) becomes

(2.6) z_0,0(t)≤(n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z bi(t)

0

f˜_i^q(˜t, s)w^q_i(z_0,0^1/q(s))ds

+

m+n

X

j=n+1

0

f˜_j^q(˜t, s)w_j^q(ϕ(s−τ))ds

# . By Lemma2.2, (2.6) and (2.1), we have

z_0,0(t)≤W_n⁻¹

"

W_n(˜γ_0,0,n(t)) + Z bn(t)

0

(n+m+ 1)^q−1c_n(˜t) ˜f_n^q(˜t, s)ds

# ,

˜

γ_0,0,j(t) = W_j−1⁻¹

Wj−1(˜γ0,0,j−1(t)) +

Z bj−1(t) 0

(n+m+ 1)^q−1cj−1(˜t) ˜f_j−1^q (˜t, s)ds

#

, j 6= 1,

(12)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

˜

γ_0,0,1(t) = (n+m+ 1)^q−1

"

˜ a^q(˜t) +

n+m

X

j=n+1

Z bj(˜t) 0

c^q_j(˜t) ˜f_j^q(˜t, s)w^q_j(ψ(s−τ))ds

#

sinceψ(t) = ϕ(t)fort ∈[−τ,0].

Since (2.5) is true for anyt∈[0,t]˜ and˜γ0,0,j(˜t) = γ0,0,j(˜t), we have u(˜t)≤z_0,0(˜t)^1/q ≤u_0,0(˜t).

We know that˜t∈[0, τ]is arbitrary so we replace˜tbytand get (2.7) u(t)≤u_0,0(t), fort∈[0, τ].

This implies that the theorem is true fort∈[0, τ]andk = 0.

For t ∈ [τ,t]˜ and ˜t ∈ [τ, t₁], use the assumption (H3) and then we know that b_α(τ) =τ andτ ≤b_α(t)≤t₁fort∈[τ, t₁]andα= 1, . . . , n+m. Thus,

0≤b_α(t)−τ ≤t₁−τ ≤τ

sinceτ < t₁−t₀ =t₁ ≤2τ. Using this fact, (2.3) and (2.7), we get u^q(t)≤(n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z τ

0

+

n

X

i=1

c^q_i(˜t) Z bi(t)

τ

f˜_i^q(˜t, s)w^q_i(u(s))ds

+

m+n

X

j=n+1

c^q_j(˜t) Z τ

0

f˜_j^q(˜t, s)w_j^q(ψ(s−τ))ds

+

m+n

X

j=n+1

τ

f˜_j^q(˜t, s)w^q_j(u(s−τ))ds

#

(13)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

≤(n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z τ

0

f˜_i^q(˜t, s)w_i^q(u_0,0(s))ds

+

n

X

i=1

c^q_i(˜t) Z bi(t)

τ

+

m+n

X

j=n+1

c^q_j(˜t) Z τ

0

+

m+n

X

j=n+1

τ

f˜_j^q(˜t, s)w^q_j(u_0,0(s−τ))ds

#

≤(n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z τ

0

f˜_i^q(˜t, s)w_i^q(φ(s))ds

+

n

X

i=1

c^q_i(˜t) Z bi(t)

τ

+

m+n

X

j=n+1

0

f˜_j^q(˜t, s)w^q_j(ψ(s−τ))ds

#

:=z0,1(t),

where we use the definitions ofφandψ. Thus,

(2.8) u(t)≤z_0,1^1/q(t), t ∈[τ,˜t].

(14)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

Therefore,

z_0,1 ≤(n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z τ

0

f˜_i^q(˜t, s)w^q_i(φ(s))ds

+

n

X

i=1

c^q_i(˜t) Z bi(t)

τ

f˜_i^q(˜t, s)w^q_i(z_0,1^1/q(s))ds

+

m+n

X

j=n+1

0

# . Using Lemma2.2, (2.1) andb_α(τ) =τ, we obtain fort∈[τ,˜t]

z_0,1(t)≤W_n⁻¹

"

W_n(˜γ_0,1,n(t)) + Z bn(t)

τ

(n+m+ 1)^q−1c^q_n(˜t) ˜f_n^q(˜t, s)ds

# ,

˜

γ0,1,j(t) = W_j−1⁻¹

Wj−1(˜γ0,1,j−1(t)) +

Z bj−1(t) τ

(n+m+ 1)^q−1c^q_j−1(˜t) ˜f_j−1^q (˜t, s)ds

#

, j6= 1,

˜

γ_0,1,1(t) = (n+m+ 1)^q−1

"

˜ a^q(˜t) +

n

X

i=1

Z τ 0

c^q_i(˜t) ˜f_i^q(˜t, s)w_i^q(φ(s))ds +

n+m

X

j=n+1

Z bj(˜t) 0

c^q_j(˜t) ˜f_j^q(˜t, s)w_j^q(ψ(s−τ))ds

# .

(15)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

Since (2.8) is true for anyt ∈[τ, t1]andγ˜0,1,1(˜t) = γ0,1,1(˜t), we have u(˜t)≤z_0,1^1/q(˜t)≤u_0,1(˜t).

We know that˜t∈[τ, t₁]is arbitrary so we replace˜tbytand get (2.9) u(t)≤u0,1(t), t∈[τ, t1].

This implies that the theorem is valid fort ∈[τ, t₁]andL= 0.

(2)L = 1. First we considert ∈(t1,˜t],wheret˜∈(t1, t1+τ]is arbitrary. Note that τ < t2−t1 ≤2τ. (H3) givesbα(t1) = t1 andt1 ≤bα(t)≤t1+τfort∈(t1, t1+τ] so t₁ −τ ≤ b_α(t)−τ ≤ t₁ for t ∈ (t₁, t₁ +τ]. By (2.7) and (2.9), (2.2) can be written as

u^q(t)≤(n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z τ

0

+ Z t1

τ

+

n

X

i=1

c^q_i(˜t) Z bi(t)

t1

+

m+n

X

j=n+1

c^q_j(˜t) Z τ

0

+ Z t1

τ

+

n

X

j=1

t1

f˜_j^q(˜t, s)w^q_j(u(s−τ))ds+ ˜d^q(˜t)η^q₁u^q(t₁)

#

≤(n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z t1

0

+

n

X

i=1

c^q_i(˜t) Z bi(t)

t1

(16)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

+

m+n

X

j=n+1

0

f˜_j^q(˜t, s)w_j^q(ψ(s−τ))ds+ ˜d^q(˜t)η^q₁u^q_0,1(t₁)

#

:=z_1,0(t),

where we use the definitions ofφandψ so

(2.10) u(t)≤z_1,0^1/q(t), t∈(t₁,t].˜ Thus,

z_1,0(t)≤(n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z t1

0

+

n

X

i=1

c^q_i(˜t) Z bi(t)

t1

f˜_i^q(˜t, s)w_i^q(z^1/q_1,0(s))ds

+

m+n

X

j=n+1

0

f˜_j^q(˜t, s)w^q_j(ψ(s−τ))ds+ ˜d^q(˜t)η^q₁u^q_0,1(t₁)

# . By Lemma2.2, (2.1) andbα(t1) =t1, we obtain fort∈(t1,˜t]

z_1,0(t)≤W_n⁻¹

"

W_n(˜γ_1,0,n(t)) + Z bn(t)

t1

(n+m+ 2)^q−1c^q_n(˜t) ˜f_n^q(˜t, s)ds

# ,

˜

γ_1,0,j(t) = W_j−1⁻¹

Wj−1(˜γ1,0,j−1(t)) +

Z bj−1(t) t1

(n+m+ 2)^q−1c^q_j−1(˜t) ˜f_j−1^q (˜t, s)ds

#

, j6= 1,

(17)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

˜

γ_1,0,1(t) = (n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

Z t1

0

c^q_i(˜t) ˜f_i^q(˜t, s)w^q_i(φ(s))ds +

n+m

X

j=n+1

Z bj(˜t) 0

c^q_j(˜t) ˜f_j^q(˜t, s)w^q_j(ψ(s−τ))ds+ ˜d^q(˜t)η^q₁u^q_0,1(t₁)

# . Since (2.10) is true for anyt ∈(t₁,˜t]and˜γ_1,0,1(˜t) =γ_1,0,1(˜t), we have

u(˜t)≤z_1,0^1/q(˜t)≤u_1,0(˜t).

We know that˜t∈(t₁, t₁+τ]is arbitrary so we replace˜tbytand get (2.11) u(t)≤u_1,0(t), t∈(t₁, t₁+τ].

This implies that the theorem is valid fort ∈(t₁, t₁+τ]andL= 1.

We now consider t ∈ [t₁ +τ,˜t], where ˜t ∈ [t₁ +τ, t₂] is arbitrary. Again, by (H3) we havet₁ +τ ≤ b_α(t) ≤ t₂ fort ∈ [t₁ +τ, t₂]andb_α(t₁ +τ) = t₁+τ so t₁ ≤b_α(t)−τ ≤t₂−τ ≤t₁+τ sinceτ < t₂−t₁ ≤2τ. Obviously, by (2.7), (2.9) and (2.11), (2.2) becomes

u^q(t)≤(n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z t1+τ

0

+

n

X

i=1

c^q_i(˜t) Z bi(t)

t1+τ

+

m+n

X

j=n+1

c^q_j(˜t) Z t1+τ

0

(18)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

+

m+n

X

j=n+1

t1+τ

f˜_j^q(˜t, s)w_j^q(u(s−τ))ds+ ˜d^q(˜t)η₁^qu^q_1,0(t₁)

#

≤(n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z t1+τ

0

+

n

X

i=1

c^q_i(˜t) Z bi(t)

t1+τ

+

m+n

X

j=n+1

0

f˜_j^q(˜t, s)w^q_j(ψ(s−τ))ds+ ˜d^q(˜t)η₁^qu^q_0,1(t₁)

#

:=z_1,1(t), that is,

(2.12) u(t)≤z_1,1^1/q(t), t∈[t₁+τ,˜t].

Thus,

z_1,1(t)≤(n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

c^q_i(˜t) Z t1+τ

0

+c^q_i(˜t) Z bi(t)

t1+τ

f˜_i^q(˜t, s)w^q_i(z_1,1^1/q(s))ds +

m+n

X

j=n+1

0

f˜_j^q(˜t, s)w^q_j(ψ(s−τ))ds+ ˜d^q(˜t)η^q₁u^q_0,1(t₁)

# .

(19)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

Using Lemma2.2, (2.1) andbα(t1+τ) =t1+τ, we obtain fort∈(t1,t]˜ z1,1(t)≤W_n⁻¹

"

Wn(˜γ1,1,n(t)) + Z bn(t)

t1+τ

(n+m+ 2)^q−1c^q_n(˜t) ˜f_n^q(˜t, s)ds

# ,

˜

γ1,1,j(t) = W_j−1⁻¹ h

Wj−1(˜γ1,1,j−1(t)) +

Z bj−1(t) t1+τ

(n+m+ 2)^q−1c^q_j−1(˜t) ˜f_j−1^q (˜t, s)ds

#

, j6= 0,

˜

γ_1,1,1(t) = (n+m+ 2)^q−1

"

˜ a^q(˜t) +

n

X

i=1

Z t1+τ 0

c^q_i(˜t) ˜f_i^q(˜t, s)w^q_i(φ(s))ds +

n+m

X

j=n+1

Z bj(˜t) 0

c^q_j(˜t) ˜f_j^q(˜t, s)w^q_j(ψ(s−τ))ds+ ˜d^q(˜t)η^q₁u^q_0,1(t₁)

# . Since (2.12) is true for anyt ∈(t₁,˜t]and˜γ_1,1,1(˜t) =γ_1,1,1(˜t), we have

u(˜t)≤z_1,1^1/q(˜t)≤u_1,1(˜t).

We know that˜t∈[t₁ +τ, t₂]is arbitrary so we replacet˜bytand get u(t)≤u_1,1(t), t∈[t₁+τ, t₂].

This implies that the theorem is valid fort ∈[t₁+τ, t₂]andL= 1.

(3) Finally, suppose that the theorem is valid fork, then fork+ 1we redefineφand ψ by replacingkwithk+ 1. In a similar manner as in steps (1) and (2), we can see that the theorem holds fort∈(t_k+1, T]⊂(t_k+1, t_k+2].

The proof is now completed.

(20)

vol. 9, iss. 2, art. 34, 2008

Title Page Contents

JJ II

J I

Close

References

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

[2] D.D. BAINOV AND S.G. HRISTOVA, Impulsive integral inequalities with a deviation of the argument, Math. Nachr., 171 (1995), 19–27.

[3] S.G. HRISTOVA, Nonlinear delay integral inequalities for piecewise continuous functions and applications, J. Inequal. Pure Appl. Math., 5(4) (2004), Art. 88.

[ONLINE:http://jipam.vu.edu.au/article.php?sid=441].

[4] M. MEDVED, A new approach to an analysis of Henry type integral inequalities and their Bihari type versions, J. Math. Anal. Appl., 214 (1997), 349–366.

[5] M. PINTO, Integral inequalities of Bihari-type and applications, Funkcial. Ek- vac., 33 (1990), 387–403.

[6] A.M. SAMOILENKO AND N.A. PERESTJUK, Stability of the solutions of differential equations with impulsive action, Differential Equations, 13 (1977), 1981–1992 (Russian).

[7] N.E. TATAR, An impulsive nonlinear singular version of the Gronwall-Bihari inequality, J. Inequal. Appl., 2006 (2006), 1–12.