On some mixed integral inequalities and its applications

advertisement
Theoretical Mathematics & Applications, vol.5, no.1, 2015, 1-14
ISSN: 1792-9687 (print), 1792-9709 (online)
Scienpress Ltd, 2015
On some mixed integral inequalities
and its applications
S.D. Kendre
1
and S.G. Latpate2
Abstract
In this paper, we establish some mixed integral and integro-differential
inequalities which can be used as handy tools to study properties of solutions of a certain mixed integral and differential equations.
Mathematics Subject Classification: 45A05; 45B05; 45D05
Keywords: Integral inequality; Integral equations; Explicit bound
1
Introduction
In the theory of differential, integral and integro-differential equations one
often has to deal with certain differential and integro-differential inequalities.
In the last few years with the development of the theory of nonlinear differential and integral equations, many authors have established several integral
1
Department of Mathematics, University of Pune, Pune-411007, India.
E-mail:sdkendre@yahoo.com, ksubhash@math.unipune.ac.in
2
Department of Mathematics, Nowrosjee Wadia College of Arts and Science,
Pune-411001, India. E-mail: sglatpate@gmail.com
Article Info: Received : August 20, 2014. Revised : September 30, 2014.
Published online : January 10, 2015.
2
On some mixed integral inequalities
and integro-differential inequalities, see [1, 2, 4, 6, 7, 8, 9, 10, 11, 12]. These
inequalities play an important role in the study of some properties of differential, integral and integro-differential equations. Existence of solutions of a
certain mixed integral and integro-differential equations were studied in [3, 13]
by M. B. Dhakne and H. L. Tidke.
In this paper, we establish mixed integral and integro-differential inequalities which provide an explicit bound on unknown function. In particular we
extend the result established by B. G. Pachpatte in [12]. Some applications
are also given to convey the importance of our results.
2
Preliminary
Before proceeding to the statement of our main result, we state some important integral inequalities that will be used in further discussion.
Lemma 2.1 (Fangcui Jiang and Fanwei Meng [5]). Assume that a ≥
0, p ≥ q ≥ 0, and p 6= 0, then
q
q q−p
p − q pq
ap ≤ k p a +
k , for any k > 0.
p
p
(2.1)
Theorem 2.2 (Pachpatte [12]). Let u(t), a(t), b(t), c(t) ∈ C(I = [α, β], R+ ), a(t)
be continuously differentiable on I, a0 (t) ≥ 0 and
Z
Z
t
u(t) ≤ a(t) +
α
Z
µZ
β
If p =
c(s)u(s)ds,
t ∈ I.
(2.2)
α
¶
s
c(s) exp
β
b(s)u(s)ds +
b(σ)dσ ds < 1, then
α
α
µZ
t
u(t) ≤ M exp
¶
Z
t
b(s)ds +
α
µZ
0
s
a (s) exp
α
¶
b(σ)dσ ds,
t ∈ I,
(2.3)
α
where
·
µZ s
¶
¸
Z β
Z s
1
0
M=
a(α) +
c(s)
a (τ ) exp
b(σ)dσ dτ ds ,
1−p
α
α
τ
t ∈ I. (2.4)
3
S.D. Kendre and S.G. Latpate
3
Main Results
In this section, we state and prove mixed nonlinear integral inequalities to
obtain explicit bound on solutions of a certain mixed integral equations.
Theorem 3.1. Let u(t), f (t), g(t), c(t), c0 (t) ∈ C(I = [α, β], R+ ) and p ≥
q ≥ 0, p 6= 0 be constants. If
Z t
Z β
p
q
u (t) ≤ c(t) +
f (s)u (s)ds +
g(s)up (s)ds
Z
β
and Q =
α
µZ
s
g(s) exp
α
α
¶
n1 f (σ)dσ ds < 1, then
α
¡R s
¢ ¢
0
[c
(τ
)
+
n
f
(τ
)]
exp
n
f
(σ)dσ
dτ ds
2
1
α
α
τ
up (t) ≤
1−Q
¶
¶ Z t
µZ t
µZ t
0
n1 f (σ)dσ ds,
mf (s)ds +
[c (s) + n2 f (s)] exp
× exp
c(α) +
Rβ
g(s)
¡R s
α
s
α
(3.1)
q q−p
p − q pq
where k > 0, n1 = k p and n2 =
k .
p
p
Proof. Define a function z(t) by
Z t
Z
q
z(t) = c(t) +
f (s)u (s)ds +
α
β
g(s)up (s)ds,
α
1
p
then u(t) ≤ z (t),
Z
β
z(α) = c(α) +
g(s)up (s)ds
(3.2)
α
and
q
z 0 (t) = c0 (t) + f (t)uq (t) ≤ c0 (t) + f (t)z p (t).
(3.3)
¿From Lemma 2.1 and (3.3), we have
z 0 (t) ≤ c0 (t) + n1 f (t)z(t) + n2 f (t),
or, equivalently,
0

µ
¶
Z t
z(t)
0


³ R
´ ≤ [c (t) + n2 f (t)] exp −n1
f (s)ds .
t
α
exp n1 α f (s)ds
(3.4)
4
On some mixed integral inequalities
Setting t = s; in (3.4) and integrating with respect to s from α to t, we have
µZ t
¶ Z t
µZ t
¶
0
z(t) ≤ z(α) exp
n1 f (s)ds +
[c (s) + n2 f (s)] exp
n1 f (σ)dσ ds.
α
α
s
(3.5)
As up (t) ≤ z(t) from equation (3.5), we have
µZ t
¶ Z t
µZ t
¶
p
0
u (t) ≤ z(α) exp
n1 f (s)ds +
[c (s) + n2 f (s)] exp
n1 f (σ)dσ ds.
α
α
s
(3.6)
Now from (3.2) and (3.6), we have
Z
µZ
β
¶
s
n1 f (σ)dσ ds
z(α) ≤ c(α) + z(α)
g(s) exp
α
α
¶ ¶
µZ s
µZ s
Z β
0
n1 f (σ)dσ dτ ds,
[c (τ ) + n2 f (τ )] exp
+
g(s)
τ
α
α
or, equivalently,
¶ ¶
µ
µZ s
Z β
n1 f (σ)dσ ds
z(α) 1 −
g(s) exp
α
α
¶ ¶
µZ s
µZ s
Z β
0
n1 f (σ)dσ dτ ds,
[c (τ ) + n2 f (τ )] exp
g(s)
≤ c(α) +
z(α) ≤
c(α) +
Rβ
α
τ
α
α
g(s)
¡R s
α
[c0 (τ ) + n2 f (τ )] exp
1−Q
¡R s
τ
¢ ¢
n1 f (σ)dσ dτ ds
.
(3.7)
Using inequality (3.7) in (3.6), we obtain the desired inequality (3.1). This
completes the proof.
Remark 1. It is interesting to note that when p = q = 1 the Theorem 3.1
reduces to the inequality stated in Theorem 2.2 and when p = 1 and g = 0 it
reduces to well known Gronwall-Bellman inequality.
Theorem 3.2. Let u(t), f (t), g(t), h(t) ∈ C(I, R+ ) and c ≥ 0 be a constant.
If
Z
p
t
u (t) ≤ c +
α
·
Z s
Z
q
q
h(s) u (s) +
f (σ)u (σ)dσ +
α
β
¸
p
g(σ)u (σ)dσ ds, for t ∈ I,
α
5
S.D. Kendre and S.G. Latpate
then
µZ
¶
t
p
u (t) ≤ c exp
Z
n1 A(σ)dσ +
α
where
·
Z
t
A(t) = h(t) 1 +
α
µZ
t
n2 B(s) exp
n1 A(σ)dσ ,
α
1
f (σ)dσ +
n1
Z
¶
t
(3.8)
s
¸
β
g(σ)dσ ,
·
¸
Z t
B(t) = h(t) 1 +
f (σ)dσ ,
α
α
and p, q, n1 , n2 are as same defined in Theorem 3.1.
Proof. Denoting a function z(t) by
·
Z t
Z s
Z
q
q
z(t) = c +
h(s) u (s) +
f (σ)u (σ)dσ +
α
α
¸
β
p
g(σ)u (σ)dσ ds,
α
1
we have u(t) ≤ z p (t), z(α) = c, z(t) is a nondecreasing and
·
¸
Z t
Z β
0
q
q
p
z (t) = h(t) u (t) +
f (σ)u (σ)dσ +
g(σ)u (σ)dσ
α
α
·
¸
Z t
Z β
q
q
p
p
≤ h(t) z (t) +
f (σ)z (σ)dσ +
g(σ)z(σ)dσ
α
α
½·
¸
¸
¾
·Z β
Z t
q
≤ h(t) 1 +
f (σ)dσ z p (t) +
g(σ)dσ z(t) .
α
(3.9)
α
An application of Lemma 2.1 to (3.9), we have
¸
¾
½·
¸
·Z β
Z t
0
g(σ)dσ z(t)
z (t) ≤ h(t) 1 +
f (σ)dσ [n1 z(t) + n2 ] +
α
α
½ ·
¸
·
¸¾
Z t
Z β
Z t
1
= h(t) n1 1 +
f (σ)dσ +
g(σ)dσ z(t) + n2 1 +
f (σ)dσ
n1 α
α
α
= n1 A(t)z(t) + n2 B(t),
or, equivalently,


exp
³R
t
0
z(t)
n A(σ)dσ
α 1
µ Z t
¶

´ ≤ n2 B(t) exp −
n1 A(σ)dσ .
(3.10)
α
By integrating (3.10), we get
µZ t
¶ Z t
µZ t
¶
z(t) ≤ z(α) exp
n1 A(σ)dσ +
n2 B(s) exp
n1 A(σ)dσ ds.
α
α
s
(3.11)
6
On some mixed integral inequalities
As up (t) ≤ z(t) from (3.11), we obtain
µZ t
¶ Z t
µZ t
¶
p
u (t) ≤ z(α) exp
n1 A(σ)dσ +
n2 B(s) exp
n1 A(σ)dσ ds.
α
α
s
(3.12)
Using z(α) = c in (3.12), we get the desired inequality (3.8) and hence the
proof.
Remark 2. Note that when p = q = 1 the Theorem 3.2 reduces to the
inequality established by B.G. Pachpatte in ([12] page no.40).
Corollary 3.3. Let u(t), f (t), g(t), h(t) be as same defined in Theorem 3.2
and 1 ≤ c(t) be a nondecreasing. If
¸
·
Z β
Z s
Z t
p
q
q
p
g(σ)u (σ)dσ ds, for t ∈ I,
f (σ)u (σ)dσ +
h(s) u (s) +
u (t) ≤ c(t) +
α
α
α
(3.13)
then
µZ
p
p
¶
t
Z
p
n1 A(σ)dσ + c (t)
u (t) ≤ c (t) exp
α
µZ
t
¶
t
n1 A(σ)dσ ,
n2 B(s) exp
s
α
(3.14)
where p ≥ q ≥ 1, A(t), B(t) and n1 , n2 are as same defined in Theorem 3.2 and
Theorem 3.1 respectively.
Proof. Since 1 ≤ c(t) and nondecreasing, from (3.13), we have
µ
¶p
·µ
¶q
µ
¶q
µ
¶p
¸
Z t
Z s
Z β
u(t)
u(s)
u(σ)
u(σ)
≤1+
h(s)
(s) +
f (σ)
(σ)dσ +
g(σ)
(σ)dσ ds,
c(t)
c(s)
c(σ)
c(σ)
α
α
α
(3.15)
for t ∈ I. Applying Theorem 3.2 to (3.15), we get (3.14). This completes the
proof.
Theorem 3.4. Let u(t), u0 (t), f (t), g(t), c(t), c0 (t) ∈ C(I, R+ ) and u(α) = 0.
If
Z
0
p
t
[u (t)] ≤ c(t) +
Z
q
β
f (s)u (s)ds +
α
α
g(s)[u0 (s)]p ds
(3.16)
7
S.D. Kendre and S.G. Latpate
Z
µZ
β
and Q1 =
g(s) exp
α
¶
s
q
(σ − α) n1 f (σ)dσ ds < 1, then
α
¡ Rs
¢ ¢
0
q
q
[c
(τ
)
+
(τ
−
α)
n
f
(τ
)]
exp
n
(σ
−
α)
f
(σ)dσ
dτ ds
2
1
α
α
τ
[u0 (t)]p ≤
1 − Q1
µ Z t
¶
× exp n1
(s − α)q f (s)ds
α
µ Z t
¶
Z t
0
q
q
+
[c (s) + (s − α) n2 f (s)] exp n1
(s − α) f (s)ds ds,
(3.17)
Rβ
c(α) +
g(s)
¡R s
α
s
p, q, n1 , n2 are as same defined in Theorem 3.1.
Proof. Define a function z(t) by
Z
Z t
q
f (s)u (s)ds +
z(t) = c(t) +
then u(t) ≤
Rt
α
β
g(s)[u0 (s)]p ds,
α
α
1
p
z (s), z(t) is a nondecreasing,
Z β
g(s)[u0 (s)]p (s)ds
z(α) = c(α) +
(3.18)
α
and
q
z 0 (t) ≤ c0 (t) + (t − α)q f (t)z p (t), .
(3.19)
Applying Lemma 2.1 to (3.19), we have
z 0 (t) ≤ c0 (t) + (t − α)q f (t)[n1 z(t) + n2 ]
= c0 (t) + n1 (t − α)q f (t)z(t) + n2 (t − α)q f (t)
= c0 (t) + n1 (t − α)q f (t)z(t) + n2 (t − α)q f (t),
or, equivalently,
0

µ
¶
Z t
z(t)
0
q
q

³ R
´  ≤ [c (t) + n2 (t − α) f (t)] exp −n1
(s − α) f (s)ds .
t
q
α
exp n1 α (s − α) f (s)ds
(3.20)
By integrating (3.20), we get
³
exp n1
Rt
α
Z
z(t)
(s −
α)q f (s)ds
t
´ ≤ z(α) +
[c0 (s) + n2 (s − α)q f (s)]
α
µ
Z
s
¶
q
(s − α) f (s)ds ds,
× exp −n1
α
8
On some mixed integral inequalities
µZ
¶
t
Z
q
t
[c0 (s) + n2 (s − α)q f (s)]
α
µZ t
¶
q
× exp
n1 (σ − α) f (σ)dσ ds.
n1 (s − α) f (s)ds +
z(t) ≤ z(α) exp
α
s
(3.21)
As [u0 (t)]p ≤ z(t) from (3.21), we have
µZ t
¶ Z t
0
p
q
[u (t)] ≤ z(α) exp
n1 (s − α) f (s)ds +
[c0 (s) + n2 (s − α)q f (s)]
α
α
µZ t
¶
q
exp
n1 (σ − α) f (σ)dσ ds.
s
(3.22)
Now from (3.18) and (3.22), we have
¶
µZ s
Z β
q
n1 (σ − α) f (σ)dσ ds
z(α) ≤ c(α) + z(α)
g(s) exp
α
α
¶ ¶
µZ s
µZ s
Z β
q
0
q
n1 (σ − α) f (σ)dσ dσ ds,
[c (τ ) + n2 (τ − α) f (τ )] exp
+
g(s)
τ
α
α
¶ ¶
µ
µZ s
Z β
q
n1 (σ − α) f (σ)dσ ds ≤ c(α)
z(α) 1 −
g(s) exp
α
α
¶ ¶
µZ s
µZ s
Z β
q
0
q
n1 (σ − α) f (σ)dσ dτ ds,
[c (τ ) + n2 (τ − α) f (τ )] exp
+
g(s)
τ
α
α
¡R s
¡R s
¢ ¢
Rβ
c(α) + α g(s) α [c0 (τ ) + n2 (τ − α)q f (τ )] exp τ n1 (σ − α)q f (σ)dσ dτ ds
z(α) ≤
.
1 − Q1
(3.23)
The required inequality (3.17) follows, from inequalities (3.22) and (3.23). This
completes the proof.
Theorem 3.5. Let u(t), f (t), g(t), h(t) ∈ C(I, R+ ) and c ≥ 0 be a constant.
If
Z
0
p
·
t
[u (t)] ≤ c +
Z
q
h(s) u (s) +
α
then
p
q
t
[u (t)] ≤ c exp
0
p
g(σ)[u (σ)] dσ ds, for t ∈ I,
α
¶
Z
µZ
t
n1 A1 (σ)dσ +
α
¸
β
f (σ)u (σ)dσ +
α
µZ
0
Z
s
t
n2 B1 (s) exp
α
¶
n1 A1 (σ)dσ ,
s
(3.24)
9
S.D. Kendre and S.G. Latpate
where
·
Z
t
1
A1 (t) = h(t) [t − α] +
[σ − α] f (σ)dσ +
n1
α
q
Z
·
Z
q
g(σ)dσ ,
α
¸
t
B1 (t) = h(t) [t − α] +
¸
β
q
q
[σ − α] f (σ)dσ
α
and p, q, n1 , n2 are as same defined in Theorem 3.1.
Proof. Denoting a function z(t) by
Z
·
t
z(t) = c +
Z
q
s
h(s) u (s) +
α
Z
q
f (σ)u (σ)dσ +
α
¸
β
p
g(σ)[u(σ)] dσ ds,
α
1
we have u0 (t) ≤ z p (t), z(α) = c, z(t) is a nondecreasing and
·
¸
Z t
Z β
q
q
0
p
z (t) = h(t) u (t) +
f (σ)u (σ)dσ +
g(σ)[u (σ)] dσ
α
α
·
¸
Z t
Z β
q
q
q p
q
p
≤ h(t) [t − α] z (t) +
[σ − α] f (σ)z (σ)dσ +
g(σ)z(σ)dσ
α
α
½·
¸
¸
¾
·Z β
Z t
q
q
q
≤ h(t) [t − α] +
[σ − α] f (σ)dσ z p (t) +
g(σ)dσ z(t) .
0
α
α
(3.25)
An application of Lemma 2.1 to (3.25), we have
½·
0
Z
q
z (t) ≤ h(t)
¸
t
·Z
q
β
¸
¾
g(σ)dσ z(t)
[t − α] +
[σ − α] f (σ)dσ [n1 z(t) + n2 ] +
α
α
½ ·
¸
Z t
Z β
1
q
q
= h(t) n1 [σ − α] +
[σ − α] f (σ)dσ +
g(σ)dσ z(t)
n1 α
α
·
¸¾
Z t
q
q
+n2 [t − α] +
[σ − α] f (σ)dσ
α
= n1 A1 (t)z(t) + n2 B1 (t),
or, equivalently,


exp
³R
t
α
0
z(t)
n1 A1 (σ)dσ
µ Z t
¶

´ ≤ n2 B1 (t) exp −
n1 A1 (σ)dσ .
α
(3.26)
10
On some mixed integral inequalities
By integrating (3.26), we get
µZ t
¶ Z t
µZ t
¶
z(t) ≤ z(α) exp
n1 A1 (σ)dσ +
n2 B1 (s) exp
n1 A1 (σ)dσ ds.
α
α
s
(3.27)
As [u0 (t)]p ≤ z(t) from (3.27), we obtain
µZ t
¶ Z t
µZ t
¶
0
p
[u (t)] ≤ z(α) exp
n1 A1 (σ)dσ +
n2 B1 (s) exp
n1 A1 (σ)dσ ds.
α
α
s
(3.28)
Using z(α) = c in (3.28), we get the desired inequality (3.24) and hence the
proof.
4
Applications
One of the main motivations for the study of different type inequalities
given in the previous sections is to apply them as tools in the study of various classes of integral equations. In the following section we give application
of some theorems of previous sections. In fact we discuss the boundedness
behavior of solutions of a nonlinear mixed integral equations.
Example 1. Consider the following general mixed nonlinear integral equation
Z t
Z β
p
q
y (t) = x(t) +
F (s, y (s))ds +
G(s, y p (s))ds,
(4.1)
α
α
for t ∈ I, where p ≥ q ≥ 0, p 6= 0, y(t) is unknown function, x ∈ C(I, Rn ), F, G ∈
C(I × Rn , Rn ),
I = [α, β], Rn is n dimensional Euclidean space with norm |.|.
Suppose that the functions x, y, F, G in equation (4.1) satisfy the following
conditions :
|x(t)| ≤ c(t),
q
(4.2)
q
|F (s, y )| ≤ g(s)|y| ,
p
p
|G(s, y )| ≤ f (s)|y| ,
(4.3)
(4.4)
11
S.D. Kendre and S.G. Latpate
where p ≥ q ≥ 0, p 6= 0, c, f, g are as same defined in Theorem 3.1. If y(t), t ∈ I
is a solution of equation (4.1) and Q < 1, then
¡R s
¡R s
¢ ¢
Rβ
c(α) + α g(s) α [c0 (τ ) + n2 f (τ )] exp τ n1 f (σ)dσ dτ ds
p
|y(t)| ≤
1−Q
µZ t
¶ Z t
µZ t
¶
0
× exp
mf (s)ds +
[c (s) + n2 f (s)] exp
n1 f (σ)dσ ds,
α
α
s
(4.5)
where Q, n1 , n2 are as same defined in Theorem 3.1.
¿From equation (4.1)-(4.4), we obtain
Z t
Z β
p
q
|y(t)| ≤ |x(t)| +
f (s)|y(s)| ds +
g(s)|y(s)|p ds.
α
(4.6)
α
An application of Theorem 3.1, we get (4.6). This show that solution y(t) is
bounded.
Example 2. Consider the following general mixed nonlinear integrodifferential equation
Z β
Z t
q
0
p
G (s, [y 0 (s)]p ) ds,
(4.7)
F (s, y (s)) ds +
[y (t)] = x(t) +
α
α
for t ∈ I, where p ≥ q ≥ 0, p 6= 0, y(t) is unknown function, x ∈ C(I, Rn ), F, G ∈
C(I × Rn , Rn ),
I = [α, β], Rn is n dimensional Euclidean space with norm |.|.
Suppose that the functions x, y, F, G in equation (4.7) satisfy the following
conditions
|x(t)| ≤ c(t),
(4.8)
p
|F (t, s, y p )| ≤ g(t, s) |y 0 | ,
(4.9)
|G(t, s, y q )| ≤ f (t, s)|y|q ,
(4.10)
where p ≥ q ≥ 0, p 6= 0, c, f, g are as same defined in Theorem 3.4. If y(t), t ∈ I
is a solution of equation (4.7) and Q< 1, then
¡R s 0
¡ Rs
¢ ¢
Rβ
q
q
c(α)
+
g(s)
[c
(τ
)
+
(τ
−
α)
n
f
(τ
)]
exp
n
(σ
−
α)
f
(σ)dσ
dτ ds
2
1
α
α
τ
|y(t)|p ≤
1 − Q1
µ Z t
¶
× exp n1
(s − α)q f (s)ds
α
µ Z t
¶
Z t
0
q
q
+
[c (s) + (s − α) n2 f (s)] exp n1
(s − α) f (s)ds ds,
(4.11)
α
s
12
On some mixed integral inequalities
where Q1 , n1 , n2 are as same defined in Theorem 3.4. From equation (4.7)(4.10), we obtain
Z t
Z β
0
p
q
|y (t)| ≤ c(t) +
f (s)|y(s)| ds +
g(s)|y 0 (s)|p ds.
(4.12)
α
α
Applying Theorem 3.4 to (4.12), we get (4.11).
Example 3. We calculate the explicit bound on the solution of the following
nonlinear integral equation of the form:
Z t
Z 7
1
3
u(s)ds +
su3 (s)ds
(4.13)
u (t) = 6 +
0
0 1+s
where u(t) are defined as in Theorem 3.1 and we assume that every solution
u(t) of (4.13) exists on R+ .
q−p
q
−1
kp =
By Theorem 3.1, we have p = 3, q = 2, n1 = pq k p = 23 k 3 , n2 = p−q
p
1 23
1
k , α = 0, β = 1, k > 0, f (s) = 1+s
, g(s) = s and
3
¶
µZ s
Z β
n1 f (σ)dσ ds
Q=
g(s) exp
α
α
µ
¶
Z 1
Z s
2 1
1
√
=
s exp
dσ ds
3 3k 0 σ+1
0
´√
³ √
2
√ +2
3
3 3 3 k + 23 3 k
k
³
´
=
< 1, for any k > 0.
√
2 9k 2/3 + 9 3 k + 2
Thus all the conditions of the Theorem 3.1 are satisfied, hence we obtain
¶ 
µ


R s 2 √31k
Z
Z
 1 1  2/3 s exp τ 3(σ+1) dσ

k
 ds + 6
u(t) ≤ 
s
dτ



τ +1
0 3
0
³
×
exp
1−





=




R1
0
k 3
2 √
1
3 3k
³
s exp
Rt
1
0 s+1
2 √
1
3 3k
!
2
√
3 +2
2 3 k −3
´
ds
Rs
1
0 σ+1
√
3
!
k−2
√
3
4(9k2/3 +9 k+2)
3 3
1−
´
dσ ds

t
+
k 2/3 exp
0
2
√

+ 6 (t + 1) 3 3 k
2
√
√
3 +2
3
k+2 3 k
2(9k2/3 +9
Z
!
√
3
√
3
k+2)
k
³
2 √
1
3 3k
Rt
1
τ s+1
3(τ + 1)
´
ds
 31
dτ 
 31
2
1 ³
√
+ k (t + 1) 3 3 k
2


´

−1 
 .



S.D. Kendre and S.G. Latpate
13
References
[1] A. Abdeldaim and M.Yakout, On some new inequalities of GronwallBellman-Pachpatte type, Appl. Math. Comput., 217, (2011), 7887-7899.
[2] R. Bellman, The stability of solutions of linear differential equations, Duke
Math. J., 10, (1943), 643 -647.
[3] M.B. Dhakne and G.B. Lamb, On globle existance of abstrct nonlinear
integrodifferential equations, Indian J. of pure and appl. math., 33(5),
665-676.
[4] H. El-Owaidy, A. Ragab and A. Abdeldaim,On some new integral inequalities of Growall Bellman type, Appl. Math. Comput., 106, (1999),
289-303.
[5] Fangcui Jiang and Fanwei Meng, Explicit bounds on some new nonlinear
integral inequality with delay, J. Comput. Appl. Math., 205, (2007),
479-486.
[6] Fan Wei Meng and Wei Nian Li, On some new integral inequalitise and
their applications, Appl. Math. Comput., 148, (2004), 381-392.
[7] H. T. Gronwall, Note on the derivatives with respect to a parameter of the
solutions of a system of differential equations, Ann. Math., 2, (1918-1919),
292-296.
[8] Lianzhong Li, Fanwei Mengb, Leliang Hea;Some generalized integral inequalities and their applications, J. Math. Anal. Appl., 372, (2010), 339349.
[9] B.G. Pachpatte, A note on Gronwall type integral and integro differential
inequalities, Tamkang J. Math., 8, (1977), 53-59.
[10] B.G. Pachpatte, On some fundamental integro differential inequalities for
differential equations, Chinese J. Math., 6(1), (1978), 17-23.
[11] B.G. Pachpatte, Inequalities for Differential and Integral Equations, Academic Press, New York and London, 1998.
14
On some mixed integral inequalities
[12] B.G. Pachpatte, Integral and finite difference inequalities and applications, North-Holland Mathematics studies, 205, 2006.
[13] H.L. Tidke and M.B. Dhakne, Existance of solutions for nolinear mixed
type integrodifferential equation of second order, Surveys in Mathematics
and its Applications, 5, (2010), 61-72
[14] Young-Ho, Kim, Gronwall-Bellman and Pachpatte type integral inequalities with applications, Nonlinear Anal., 71, (2009), e2641-e2656.
Download