![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
Abstract
We investigate a certain class of nonlinear Gronwall–Bellman–Pachpatte type of integral inequalities involving retarded term and nonlinear integrals. Our results derive some new inequalities as well as give an upper bound estimation of the unknown function. The significance of these inequalities originate from the truth that it is far applicable in specific situations in which different available inequalities do not apply legitimately. Our consequences additionally can be used as powerful tools in the analysis of certain classes of differential equations, integral equations, and evolution equations. An example is also illustrated to show the validity of our established theorems.
1. Introduction
Integral inequalities possess an exceptionally advantageous position in the improvement of the hypothesis of ordinary differential and integral equations. In this account, fundamental integral inequality by Gronwall [Citation1] and Bellman [Citation2] contributes a significant part in examining the stability and asymptotic behaviour in order to find the solutions of integral equations. In the ongoing years, Gronwall–Bellman type inequalities have been enormously improved by the affirmation of their importance and inherent value in numerous branches of the applied sciences. These inequalities with their linear and nonlinear generalizations have earned much consideration in the works of Abdeldaim et al. [Citation3], Bainov et al. [Citation4], Bihari [Citation5], El-Owaidy et al. [Citation6], Jiang et al. [Citation7], Kim [Citation8], Liu et al. [Citation9], Ngoc et al. [Citation10], Oguntuase [Citation11], Pachpatte [Citation12], Pachpatte [Citation13], Wang et al. [Citation14], Zhou et al. [Citation15].
Furthermore, El-Owaidy et al. [Citation16] introduced a new essential inequality of the type
(1)
(1) in which the integrand function incorporates the power and makes it tougher to estimate the unknown function where
. Nevertheless, many real life issues that have been formulated for differential equations in the past were sometimes based on initial value problems. As a matter of fact, include a critical memory impact that can be interpreted in a more sophisticated version of differential equation that integrates delayed or retarded arguments. In these circumstances, we need to speak about some retarded nonlinear integral inequalities. In this record, Agarwal et al. [Citation17] discovered the integral inequality as
(2)
(2) where
,
are positive, continuous and non-decreasing functions on
and
with n terms on the right integral of inequality. The concept of recursion is expected to get the estimation. Very recently, Abdeldaim et al. [Citation18] proved the retarded inequality of another kind
(3)
(3) such that
and
and multiplication of two functions exist on the right of the third term, that's a unique form of inequality (Equation2
(2)
(2) ). Moreover, El-Deeb et.al [Citation19] investigated the retarded Volterra–Fredholm type integral inequality
(4)
(4) where
,
and
is a constant. Other than the results referenced over, a number of examiners have observed many beneficial integral inequalities, mainly stimulated by their applications in exclusive parts of the differential equations (see Boudeliou [Citation20], Ferreira et al. [Citation21], Khan et al. [Citation22], Lipovan [Citation23], Belmor et al. [Citation24], Lipovan [Citation25], Wang et al. [Citation26], Ul-Haq et al. [Citation27], Xu et al. [Citation28]).
However, in some circumstances, various classes of powered delay integral and differential equations, it is expected to inspect new delay inequalities so as to survive and accomplish the ideal objectives. Therefore, in this article, we explore certain new generalizations of retarded integral inequalities with power for previous well-known results, which can be utilized as helpful apparatuses to demonstrate the classifications of integral inequalities and integral equations. Lastly, we give one example to describe the benefit of our results.
2. Results and discussion
Given notations will be followed throughout this text for the ease of reading: ,
denotes the set of real numbers,
be the class of all continuous functions defined on set N with range in the set S and
(H1) | The function | ||||
(H2) |
| ||||
(H3) | Let | ||||
(H4) |
|
Presently, a principle lemma which will be utilized later in verification of the exhibited paper is given below:
Lemma 2.1
[Citation29]
Let ,
and
, then
(5)
(5)
Proof.
inequality (Equation5(5)
(5) ) is valid for
, but if
and
, then
by [Citation29], we have
for any L>0. Let L = 1, we get (Equation5
(5)
(5) ).
Theorem 2.2
If the conditions (H1)–(H3) and
(6)
(6) hold. Then
(7)
(7) provided with
(8)
(8)
Proof.
Denote
(9)
(9)
is non-decreasing function, so (Equation6
(6)
(6) ) restates as
(10)
(10) differentiating (Equation9
(9)
(9) ) and employ (Equation10
(10)
(10) ), we get
(11)
(11) (Equation11
(11)
(11) ) becomes
(12)
(12) Integrate the both sides of (Equation12
(12)
(12) ) from
to u, we have
(13)
(13) where
be as defined in (Equation8
(8)
(8) ). Consider
(14)
(14) and
(15)
(15) Clearly
in (Equation15
(15)
(15) ), so
and
from (Equation8
(8)
(8) ), taking derivative (Equation15
(15)
(15) ) and from (Equation14
(14)
(14) ), we deduce
(16)
(16) or, equivalently,
(17)
(17) by integrating (Equation17
(17)
(17) ) from
to u, it is noticed that
(18)
(18) the required estimation in (Equation7
(7)
(7) ) can be obtained by combining (Equation10
(10)
(10) ), (Equation14
(14)
(14) ) and (Equation18
(18)
(18) ).
Theorem 2.3
Suppose that (H1), (H2), (H3) be satisfied. Moreover
(19)
(19) for all
such that
is a positive constant. Then
(20)
(20) where
(21)
(21)
(22)
(22)
(23)
(23)
Proof.
Let
(24)
(24) therefore, (Equation19
(19)
(19) ) reaches to
(25)
(25) by applying Lemma 2.1 and (Equation25
(25)
(25) ) into (Equation24
(24)
(24) ), it follows that
(26)
(26) where
,
and
are quoted in (Equation21
(21)
(21) ), (Equation22
(22)
(22) ) and (Equation23
(23)
(23) ) respectively. For an arbitrary
, fixed
and taking
by the right hand side of (Equation26
(26)
(26) ), we deduce
(27)
(27) (Equation26
(26)
(26) ) can be carried out as
(28)
(28) since
is non-dereasing, hence we can write (Equation27
(27)
(27) ) by using (Equation28
(28)
(28) ) as the following
(29)
(29) take
, then
, therefore (Equation29
(29)
(29) ) yields
(30)
(30) Multiplying both sides of (Equation30
(30)
(30) ) by
, integrating the resultant inequality and applying
, we attain
(31)
(31) substituting
in (Equation31
(31)
(31) ) and from (Equation28
(28)
(28) ), we get
(32)
(32) so (Equation25
(25)
(25) ) leads to
(33)
(33) the arbitrariness of
in (Equation33
(33)
(33) ) gives the desired bound in (Equation20
(20)
(20) ). This completes the proof.
Remark 2.1
If ,
,
, then Theorem 2.3 converts to Theorem 3.2 due to Abdeldaim et al. [Citation3].
Remark 2.2
By taking ,
,
,
and
, then Theorem 2.3 will be a slight variation of Theorem 2.2 with
given in Abdeldaim et al. [Citation18].
Another interesting and slightly different version of the nonlinear integral inequality may be stated as follows.
Corollary 2.4
If (H1), (H2), (H5) ,
,
be fulfilled and
(34)
(34) with
. Then
(35)
(35) where
,
,
and
.
Proof.
The proof of Corollary 2.4 procee ds in much a comparable way as in the evidence of Theorem 2.2 with a few alterations. We leave the information to the reader.
Theorem 2.5
The assumptions (H1), (H2), (H4), (H5) be satisfied. Also
(36)
(36) with
,
are constants and
. Then
(37)
(37) ∀
, provided with
(38)
(38)
(39)
(39)
(40)
(40)
(41)
(41)
,
,
are the inverses of Ω, Λ, ξ and
is chosen such that
(42)
(42)
(43)
(43)
(44)
(44)
Proof.
Fixing for an arbitrary
and letting
(45)
(45) (Equation36
(36)
(36) ), (Equation45
(45)
(45) ) imply that
(46)
(46) since
is non-decreasing, then (Equation45
(45)
(45) ) equals to
(47)
(47) where
(48)
(48) and
(49)
(49) by the definition of
, utilizing (Equation47
(47)
(47) ), (Equation49
(49)
(49) ) and
, we have
(50)
(50) so that
(51)
(51)
(52)
(52) integrate (Equation52
(52)
(52) ), using (Equation39
(39)
(39) ) and (Equation49
(49)
(49) ), we get
(53)
(53) for
. Denoting
(54)
(54) (Equation53
(53)
(53) ), (Equation54
(54)
(54) ) gives
(55)
(55) differentiate (Equation54
(54)
(54) ) and applying (Equation55
(55)
(55) ), we observe that
(56)
(56) implies
(57)
(57) inequality (Equation57
(57)
(57) ) by integrating and using (Equation40
(40)
(40) ), (Equation55
(55)
(55) ) yields the estimate
(58)
(58)
(59)
(59) we conclude from(Equation55
(55)
(55) ) and (Equation59
(59)
(59) ) that
(60)
(60) substitute (Equation60
(60)
(60) ) in (Equation47
(47)
(47) ), take integral from
to u in the resulting inequality, use (Equation41
(41)
(41) ) and let
, we obtain
(61)
(61) therefore from (Equation46
(46)
(46) )
(62)
(62) the arbitrary nature of
in (Equation62
(62)
(62) ) produces the acquired inequality in (Equation37
(37)
(37) ).
3. Application
This segment is about to indicate a prompt use of Theorem 2.3 for analysing the boundedness of the following retarded integral equation of Volterra type is indicated
(63)
(63)
Example 3.1
Let ,
,
,
and
be continuous functions on
,
be as defined in (H2). If
satisfies (Equation63
(63)
(63) ), then
(64)
(64) provided with
(65)
(65)
(66)
(66)
(67)
(67)
Proof.
We note that Equation (Equation63(63)
(63) ) is transformed into
(68)
(68) Suppose that
, hence (Equation68
(68)
(68) ) takes the form
(69)
(69) Using Lemma 2.1 on the right hand side of the inequality (Equation69
(69)
(69) ), we get
(70)
(70) put
(71)
(71) from (Equation70
(70)
(70) ), (Equation71
(71)
(71) ) and Lemma 2.1, we conclude
(72)
(72) substitute (Equation72
(72)
(72) ) in (Equation71
(71)
(71) ), we gather
(73)
(73)
where
,
,
are as mentioned in (Equation65
(65)
(65) ), (Equation66
(66)
(66) ) and (Equation67
(67)
(67) ), respectively. The required bound (Equation64
(64)
(64) ) can be attained by the suitable application of Theorem 2.3 in (Equation73
(73)
(73) ) with some alterations, therefore we omit the details.
4. Conclusion
The intent of this paper is to formulate some new nonlinear Gronwall–Bellman–Pachpatte type of inequalities of one independent variable. Unlike some former results in the literature, the integral inequalities taken into consideration right here include the retarded term, which brings about challenges in the estimation of unknown functions on the upper bounds. It can be accompanied that the received inequalities generalize and expand some current consequences and permit us to contemplate the stability, boundedness and asymptotic behaviour of the solutions of a class of more general retarded nonlinear differential, integral and integro-differential equations. Using our method, the integral inequality can be further studied with more dimensions.
Acknowledgements
Editor comments and those of the reviewers were highly insightful and enabled us to greatly improve the quality of our manuscript.
Disclosure statement
No potential conflict of interest was reported by the authors.
Additional information
Funding
References
- Gronwall TH. Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann Math. 1919;20:292–296. doi: 10.2307/1967124
- Bellman R. The stability of solutions of linear differential equations. Duke Math J. 1943;10:643–647. doi: 10.1215/S0012-7094-43-01059-2
- Abdeldaim A, Yakout M. On some new integral inequalities of Gronwall-Bellman-Pachpatte type. Appl Math Comput. 2011;217:7887–7899.
- Bainov D, Simeonov P. Integral inequalities and applications. Dordrecht: Kluwer Academic Publishers; 1992.
- Bihari I. A generalization of a lemma of Bellman and its applications to uniqueness problems of differential equations. Acta Math Acad Sci Hungar. 1956;7:81–94. doi: 10.1007/BF02022967
- El-Owaidy H, Ragab AA, Abuleela W, et al. On some new nonlinear integral inequalities of Gronwall-Bellman type. Kyungpook Math J. 2014;54:555–575. doi: 10.5666/KMJ.2014.54.4.555
- Jiang FC, Meng FW. Explicit bounds on some new nonlinear integral inequalities with delay. J Comput Appl Math. 2007;205:479–486. doi: 10.1016/j.cam.2006.05.038
- Kim YH. Bellman and Pachpatte type integral inequalities with applications. Nonlinear Anal Theory Methods Appl. 2009;71(12):e2641–e2656. doi: 10.1016/j.na.2009.06.009
- Liu HD, Meng FW. Some new generalized Volterra-Fredholm type discrete fractional sum inequalities and their applications. J Inequal Appl. 2016;2016:213, 16 pages. doi: 10.1186/s13660-016-1152-7
- Ngoc PHA, Anh TT. Stability of nonlinear Volterra equations and applications. Appl Math Comput. 2019;341:1–14.
- Oguntuase JA. On integral inequalities of Gronwall-Bellman-Bihari in several variables. J Ineq Pure Appl Math. 2000;12. Article ID 20.
- Pachpatte BG. Explicit Bounds on certain integral inequalities. J Math Anal Appl. 2002;267:48–61. doi: 10.1006/jmaa.2001.7743
- Pachpatte BG. Inequalities for differential and integral equations. London: Academic Press; 1998.
- Wan LL, Xu R. Some generalized integral inequalities and their applications. J Math Inequal. 2013;7(3):495–511. doi: 10.7153/jmi-07-44
- Zhou J, Shen J, Zhang WN. A powered Gronwall-type inequality and applications to stochastic differential equations. Discrete Contin Dyn Syst. 2016;36(12):7207–7234. doi: 10.3934/dcds.2016114
- El-Owaidy H, Ragab A, Abdeldaim A. On some new integral inequalities of Gronwall-Bellman type. Appl Math Comput. 1999;106:289–303.
- Agarwal RP, Deng SF, Zhang WN. Generalization of a retarded Gronwall-like inequality and its applications. Appl Math Comput. 2005;165:599–612.
- Abdeldaim A, EI-Deeb AA. On generalized of certain retarded nonlinear integral inequalities and its applications in retarded integro-differential equations. Appl Math Comput. 2015;256:375–380.
- EI-Deeb AA, Ahmed RG. On some generalizations of certain nonlinear retarded integral inequalities for Volterra-Fredholm integral equations and their applications in delay differential equations. J Egypt Math Soc. 2017;25:279–285. doi: 10.1016/j.joems.2017.02.001
- Boudeliou A. On certain new nonlinear retarded integral inequalities in two independent variables and applications. Appl Math Comput. 2018;335:103–111.
- Ferreira RAC, Torres DFM. Generalized retarded integral inequalities. Appl Math Lett. 2009;22:876–881. doi: 10.1016/j.aml.2008.08.022
- Khan H, Tunc C, Alkhazan A, et al. A generalization of Minkowski's inequality by Hahn integral operator. J Taibah Univ Sci. 2018;7(3):506–513. doi: 10.1080/16583655.2018.1493859
- Lipovan O. Integral inequalities for retarded Volterra equations. J Math Anal Appl. 2006;323:349–358. doi: 10.1016/j.jmaa.2005.08.097
- Belmor B, Ravichandran C, Jarad F. Nonlinear generalized fractional differential equations with generalized fractional integral conditions. J Taibah Univ Sci. 2020;14(1):114–123. doi: 10.1080/16583655.2019.1709265
- Lipovan O. A retarded Gronwall-like inequality and its applications. J Math Anal Appl. 2000;252:389–401. doi: 10.1006/jmaa.2000.7085
- Wang WS, Luo RC, Li ZZ. A new nonlinear retarded inequality and its applications. J Inequal Appl. 2010;2010(8). Art. ID 462163.
- Ul-Haq W, Rehman N, Al-Hussain A. Hermite–Hadamard type inequalities for r-convex positive stochastic processes. J Taibah Univ Sci. 2019;13(1):87–90. doi: 10.1080/16583655.2018.1537210
- Xu R, Ma XT. Some new retarded nonlinear Volterra-Fredholm type integral inequalities with maxima in two variables and their applications. J Inequal Appl. 2017;2017(187):25.
- Lakshmikantham V, Leela S. Differential and integral inequalities. Theory and applications. New York (NY): Academic Press; 1969.