- Research
- Open access
- Published:
Nonlinear integral inequality with power and its application in delay integro-differential equations
Advances in Difference Equations volume 2020, Article number: 142 (2020)
Abstract
New nonlinear integral inequalities (NII) are presented in this paper. Based on mathematical analysis technique, several estimation results are obtained, which not only complement the aforementioned results, but also generalize the inequalities to the more general nonlinearities. As an application, they can be employed to estimate the bound on the solutions of power integro-differential equations (IDE).
1 Introduction
As everyone knows, there exists a class of mathematical models described by differential equations, such as Malthus population model. However, a lot of differential equations do not possess the exact solution. Under this case, integral inequalities are significant for investigating the boundedness, stability, asymptotic behavior of solutions to differential equations. Gronwall [1] put forward the well-known Gronwall inequality to estimate the solution of linear differential equation. Bihari inequality [2] extended [1] to nonlinear one, and many authors have been devoted to studying NII in recent years [3–25]. For example, based on the generalized Gronwall inequality, Tian et al. [3] investigated the asymptotic behavior of switched delay systems that represent a class of systems in practical engineering and have wide application in automated highways, power systems, and so on. Pachpatte [4] considered a linear integral inequality (1.1).
Theorem 1.1
([4])
Let\(c_{0}\geq0\)and\(u, b, c, d \in C(R^{+}, R^{+})\), \(R^{+}=[0,+\infty)\). If
then
After that, Abdeldaim and El-Deeb [12] generalized (1.1) and investigated the delay integral inequality (1.2).
Theorem 1.2
([12, Theorem 2.1])
Assume that\(c_{0}\geq0\), \(u, b, c, d \in C(R^{+},R^{+})\), and\(\alpha\in C^{1}(R^{+},R^{+})\)are nondecreasing functions with\(\alpha(t)\leq t\), \(\alpha(0)=0\). If
then
Very recently, Li and Wang [21] studied the power integral inequality (1.3).
Theorem 1.3
([21, Theorem 2.1])
Suppose that\(m,n,p\in (0,1]\)are nonnegative constants, \(u, a, b, c\in C(R^{+},R^{+})\), \(\alpha\in C^{1}(R^{+},R^{+})\), \(\alpha(t)\)is nondecreasing with\(\alpha(t)\leq t\), \(\alpha(0)=0\). If
then
where
Note that inequalities (1.2) and (1.3) have been proved in the cases \(p=1\) and \(p\in(0,1]\), respectively, how about \(p>1\)? The aforementioned results are not covered, and it would also be interesting to generalize the inequalities considered in [4, 12, 21] to the more general nonlinearities, which is the motivation why we further study the above inequalities and their general cases.
We study some new power NII and establish several estimation results under the condition of \(p>1\), which not only complement the ones established in [4, 12, 21] but also generalize inequalities (1.1)–(1.3) to the more general nonlinearities. The obtained results can be employed to study the boundedness of the delay IDE. As an application, two illustrative examples are also presented.
2 Main results
Throughout the paper, \(R=(-\infty,+\infty)\), \(R^{+}=[0,+\infty)\), \(C(D,E)\) and \(C^{1}(D,E)\) defined on D with range in E are continuous functions and continuously differentiable function sets, respectively. The three lemmas are essential to proving the main results.
Lemma 2.1
([21])
Let\(a\geq0\)and\(m\geq n>0\). Then
Lemma 2.2
([25])
Assume that\(u,v\geq0\)and\(p\geq0\). Then
where\(K_{p}=1\), \(0\leq p\leq1\), and\(K_{p}=2^{p-1}\), \(p>1\).
Lemma 2.3
Suppose that\(p>0\)is a constant and\(\alpha(t)\)is a nondecreasing function with\(\alpha(t)\leq t\), \(\alpha(0)=0\), \(\alpha\in C^{1}(R^{+},R^{+})\), \(u, a, b, c, d\in C(R^{+},R^{+})\), and
Then
with
where
Proof
Define
Then \(v(t)\) is a nondecreasing function, and
Therefore,
Next we will prove the following two cases \(0< p\leq1\) and \(p>1\), respectively.
Case 1: \(0< p\leq1\).
By Lemma 2.1, we have
This combined with (2.5) yields
where \(h(t)\) and \(g(t)\) are defined by (2.3). Define \(J(t)=\int^{\alpha(t)}_{0}h(s)v(s)\,ds\), then \(J(0)=0\), \(J(t)\) is nondecreasing, \(v(t)\leq g(t)+J(t)\), and
i.e.,
Multiplying (2.6) by \(\exp (-\int^{\alpha(t)}_{0}h(s)\, ds )\) produces
Integrating the above inequality from 0 to t, we have
Since \(v(t)\leq g(t)+J(t)\), we have
This together with (2.4) produces
Case 2: \(p>1\).
Applying Lemma 2.2 to (2.5), we get
where \(k(t)\) is defined by (2.3). Since \(k(t)\) is a nondecreasing function, for fixed T,
Define
Then \(w(0)=k(T)\), w is a nondecreasing function, and
Differentiating w and using (2.7), we get
and
The above inequality multiplied by \(1-p\) gives
By simple calculation of (2.8),
Letting \(t=T\) in the above inequality, we have
Because T is arbitrary,
This together with (2.4), (2.7) implies
Based on Cases 1 and 2, we can draw a conclusion that \(u(t)\) satisfies (2.2). □
Theorem 2.1
Assume thatm, n, pare nonnegative constants satisfying\(0< m,n\leq1\), \(p>1\), \(\alpha(t)\)is nondecreasing with\(\alpha\in C^{1}(R^{+},R^{+})\), \(\alpha(t)\leq t\), \(\alpha(0)=0\), \(u, a, b, c\in C(R^{+},R^{+})\), and
Then
with
where
Proof
Construct
Then \(y(0)=0\), y is a nondecreasing function, and
By Lemma 2.1,
From (2.11) and (2.12), we have
Using Lemma 2.3,
where \(\tilde{k}(t)\) is defined as in (2.10). This associated with (2.11) yields
 □
Remark 2.1
When \(0< p\leq1\), inequality (2.9) has been studied in [12, Theorem 2.1] and [21, Theorem 2.1]. However, the above results cannot be applied to the case \(p>1\). In Theorem 2.1, we further investigate (2.9) under the condition of \(p>1\). To some extent, our result extends the results in [12, Theorem 2.1] and [21, Theorem 2.1].
Theorem 2.2
Suppose thatp, q, m, nare nonnegative constants with\(q\geq m>0\), \(q\geq n>0\), \(p>0\), \(\alpha(t)\)is nondecreasing with\(\alpha\in C^{1}(R^{+},R^{+})\), \(\alpha(t)\leq t\), \(\alpha(0)=0\), \(u, a, b, c\in C(R^{+},R^{+})\), and
Then
with
where
Proof
Construct
Then \(z(0)=0\), z is a nondecreasing function, and
By Lemma 2.1,
Applying Lemma 2.3 to (2.19), we can obtain
where \(\hat{h}(t)\), \(\hat{g}(t)\), and \(\hat{k}(t)\) are defined by (2.15). This associated with (2.17) yields (2.14). □
Remark 2.2
Inequality (2.13) generalizes the ones in [4, 12, 21] to the more general nonlinear case.
3 Examples
Now, we study the boundedness of the integral equation and IDE with delay.
Example 3.1
Consider the Volterra type integral equation with delay
where \(a, b, c\in C(R,R)\), \(\alpha\in C^{1}(R^{+},R^{+})\), \(\alpha (t)\leq t\), \(\alpha(0)=0\), \(\alpha(t)\) is a nondecreasing function. Then (3.1) satisfies
Let \(u(t)=|x(t)|\) and rewrite (3.2):
By Theorem 2.1,
with
where
which illustrates that the solution of (3.1) is bounded.
Example 3.2
Consider the delay IDE
and \(x(t)=\varphi(t)\), \(t\in[d,0]\) with \(-\infty< d=\inf\{\tau (t),t\in I\}\leq0\), \(\tau(t)\leq t\), where \(x(t)\) and \(x(\tau(t))\) are the state and state delay, respectively. \(F\in C(R^{+}\times R\times R,R)\) and \(G\in C(R^{+}\times R,R)\) satisfy
where \(b,c\in C(R^{+},R^{+})\), \(q\geq m>0\), \(q\geq n>0\), \(p>0\). Integrating (3.3) produces
Letting \(u(t)=|x(t)|\), then
Employing Theorem 2.2 to (3.4) produces the following: when \(0< p\leq1\),
where
when \(p>1\),
with
where
References
Gronwall, T.H.: Note on the derivatives with respect to a parameter of the solutions of a system of differential equations. Ann. Math. 20, 292–296 (1919)
Bihari, I.: A generalization of a lemma of Bellman and its application to uniqueness problems of differential equations. Acta Math. Acad. Sci. Hung. 7, 71–94 (1956)
Tian, Y.Z., Cai, Y.L., Sun, Y.G.: Asymptotic behavior of switched delay systems with nonlinear disturbances. Appl. Math. Comput. 268, 522–533 (2015)
Pachpatte, B.G.: Inequalities for Differential and Integral Equations. Academic Press, London (1998)
Zada, A., Ali, W., Park, C.: Ulam’s type stability of higher order nonlinear delay differential equations via integral inequality of Gronwall–Bellman–Bihari’s type. Appl. Math. Comput. 350, 60–65 (2019)
Jiang, F.C., Meng, F.W.: Explicit bounds on some new nonlinear integral inequalities with delay. J. Comput. Appl. Math. 205, 479–486 (2007)
Feng, Q.H., Meng, F.W., Zheng, B.: Gronwall–Bellman type nonlinear delay integral inequalities on time scales. J. Math. Anal. Appl. 382, 772–784 (2011)
Gu, J., Meng, F.W.: Some new nonlinear Volterra–Fredholm type dynamic integral inequalities on time scales. Appl. Math. Comput. 245, 235–242 (2014)
Liu, H.D.: A class of retarded Volterra–Fredholm type integral inequalities on time scales and their applications. J. Inequal. Appl. 2017, Article ID 293 (2017)
Liu, H.D.: Some new integral inequalities with mixed nonlinearities for discontinuous functions. Adv. Differ. Equ. 2018, Article ID 22 (2018)
Li, W.N.: Some new dynamic inequalities on time scales. J. Math. Anal. Appl. 319, 802–814 (2006)
Abdeldaim, A., El-Deeb, A.A.: On generalized of certain retarded nonlinear integral inequalities and its applications in retarded integro-differential equations. Appl. Math. Comput. 256, 375–380 (2015)
Tian, Y.Z., Fan, M., Meng, F.W.: A generalization of retarded integral inequalities in two independent variables and their applications. Appl. Math. Comput. 221, 239–248 (2013)
Fan, M., Tian, Y.Z., Meng, F.W.: A class of dynamic integral inequalities with mixed nonlinearities and their applications in partial dynamic systems time scales. Adv. Differ. Equ. 2019, Article ID 12 (2019)
Tian, Y.Z., El-Deeb, A.A., Meng, F.W.: Some nonlinear delay Volterra–Fredholm type dynamic integral inequalities on time scales. Discrete Dyn. Nat. Soc. 2018, Article ID 5841985 (2018)
Agarwal, R.P., Deng, S., Zhang, W.: Generalization of a retarded Gronwall-like inequality and its applications. Appl. Math. Comput. 165, 599–612 (2005)
Saker, S.H.: Applications of Opial inequalities on time scales on dynamic equations with damping terms. Math. Comput. Model. 58, 1777–1790 (2013)
Xu, R., Meng, F.W.: Some new weakly singular integral inequalities and their applications to fractional differential equations. J. Inequal. Appl. 2016, Article ID 78 (2016)
Xu, R., Ma, X.T.: Some new retarded nonlinear Volterra–Fredholm type integral inequalities with maxima in two variables and their applications. J. Inequal. Appl. 2017, Article ID 187 (2017)
Wang, W.S., Zhou, X.L., Guo, Z.H.: Some new retarded nonlinear integral inequalities and their applications in differential-integral equations. Appl. Math. Comput. 218, 10726–10736 (2012)
Li, Z.Z., Wang, W.S.: Some nonlinear Gronwall–Bellman type retarded integral inequalities with power and their applications. Appl. Math. Comput. 347, 839–852 (2019)
Boudeliou, A.: On certain new nonlinear retarded integral inequalities in two independent variables and applications. Appl. Math. Comput. 335, 103–111 (2018)
Wan, L.L., Xu, R.: Some generalized integral inequalities and there applications. J. Math. Inequal. 7, 495–511 (2013)
Luo, Y.Y., Xu, R.: Some new weakly singular integral inequalities with discontinuous functions for two variables and their applications. Adv. Differ. Equ. 2019, Article ID 387 (2019)
Hilderbrandt, T.H.: Introduction to the Theory of Integration. Academic Press, New York (1963)
Acknowledgements
The authors sincerely thank the editor and anonymous reviewers for their careful reviews and useful suggestions on improving the presentation of the paper.
Availability of data and materials
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Funding
This work was supported by the National Natural Science Foundation of China under grant nos. 61807015, 61703180, the Natural Science Foundation of Shandong Province (ZR2017LF012), A Project of Shandong Province Higher Educational Science and Technology Program (J17KA157), and the Doctoral Scientific Research Foundation of University of Jinan (1008398).
Author information
Authors and Affiliations
Contributions
The authors contributed equally to this work. They both read and approved the final version of the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Tian, Y., Fan, M. Nonlinear integral inequality with power and its application in delay integro-differential equations. Adv Differ Equ 2020, 142 (2020). https://doi.org/10.1186/s13662-020-02596-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-020-02596-y