Table of Contents Author Guidelines Submit a Manuscript
Journal of Control Science and Engineering
Volume 2016 (2016), Article ID 9527680, 8 pages
http://dx.doi.org/10.1155/2016/9527680
Research Article

Some New Generalized Retarded Gronwall-Like Inequalities and Their Applications in Nonlinear Systems

1School of Mathematics, Qilu Normal University, Jinan, Shandong 250013, China
2Department of Automation, China University of Petroleum (Beijing), Changping, Beijing 102249, China

Received 15 November 2015; Accepted 15 February 2016

Academic Editor: Petko Petkov

Copyright © 2016 Haiyong Qin et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

The Gronwall inequalities are of significance in mathematics and engineering. This paper generalizes the Gronwall-like inequalities from different perspectives. Using the proposed inequalities, the difficulties to discuss the controllability of integrodifferential systems of mixed type can be solved. Meanwhile, two examples as their applications are also given to show the effectiveness of our main results.

1. Introduction

Integral inequalities provide a powerful and important tool in the study of qualitative properties of solutions of nonlinear differential, integral, and integrodifferential equations, as well as in the modeling of science and engineering problems (see [1]). One of the most famous inequalities of this type is known as “Gronwall’s inequality,” “Bellman’s inequality,” or “Gronwall-Bellman’s inequality” (see [2, 3]). Recently, the celebrated Gronwall inequality and its generalizations play increasingly important roles in the qualitative analysis of differential, integral, and integrodifferential equations. Based on the different purposes, many researchers put their efforts in exploring new inequalities and their applications in many fields, and many useful Gronwall-like integral inequalities have been established in various problems (see [417]).

Lipovan [18] proved a Gronwall-like inequality, and in order to show its applications, Lipovan applied his main results to the qualitative analysis of solutions to certain integral equations, functional differential equations, and retarded differential equations. Ye et al. [19] gave a generalized Gronwall inequality with singularity which can be applied to weakly singular Volterra integral equations and fractional integral and integrodifferential equations. Liu [20] proved a comparison result, which is widely known later and always used to provide explicit bounds on solutions and estimate on noncompactness. In addition, some existence theorems of solutions and iterative approximation of the unique solution for the nonlinear integrodifferential equations of mixed type are obtained. However, it is worth mentioning that it is difficult to deal with integrodifferential systems which include a Fredholm operator in nonlinearity unless powerful integral inequalities are established.

In this paper, we prove a generalization of the Gronwall inequality. As an application, we show that the inequality can be applied to the controllability analysis of abstract control system and existence analysis. Sufficient conditions ensuring the controllability of certain impulsive integrodifferential system of mixed type are obtained. The main difficulties from the Fredholm operator can be overcome.

The rest of the paper is organized as follows. In Section 2, we present some preliminaries and lemmas and prove some generalized Gronwall-like inequalities. In Section 3, we discuss the controllability of impulsive integrodifferential systems of mixed type in a Banach space as an application. In Section 4, we give another example to illustrate the application of our main results vividly. Finally, conclusions are given in Section 5.

2. Integral Inequalities

In this section, we present a generalization of the Gronwall-like inequality which can be called a comparison result in many literatures (see [20]). Unless otherwise stated, we denote , in this paper.

Lemma 1. Suppose that , , . Let be nondecreasing with for and let , be nondecreasing with , on . If where is a nonnegative, continuous function defined on , and there exist nonnegative constants such that , then, for , one has where , , is chosen so that for all lying in the interval .

Proof. Noting the conditions we imposed, we have Let us denote Obviously, we have and Since and on , then By the definitions of , we obtain that integrate both sides, and we conclude that Because is increasing on , we get

Remark 2. Next, we shall show that Lemma 1 generalizes some existing results:(1)For , , and , we obtain theorem in [18]. Further supposing that , we get the celebrated Bihari’s inequality.(2)Set . Note that ; then the previous result (2) holds.(3)Compared with Theorem in [19], this lemma has a different range of applications.

Corollary 3. Suppose that , , . Let , be nondecreasing with , on . If where is nonnegative constants, then, for , one has

Remark 4. It is easy to get the following results. (1)Assume that and ; we know that corollary in [18] is valid.(2)With and , we obtain the celebrated Gronwall-Bellman inequality.

Theorem 5. Suppose that , , . Let be nondecreasing with for and let , be nondecreasing with , on . If where are nonnegative constants, , and , then, for , one has where , is a positive constant, and represents the inverse of .

Proof. By Lemma 1 and Remark 2 (2), for , there exists a constant such that Define we have Integrating from to , we get then Since we can deduce that Let Observe that and It is easy to get that there exists a such that ; then . Therefore The proof is completed.

Remark 6. (i) If , we have ; that is, .
(ii) Generally speaking, the spectral radius of Fredholm operators should not be less than one. However, there is no doubt that here the above inequality is satisfied as a particular case.

3. Controllability of Differential Systems of Mixed Type

In this section, we shall give an application to show that the proposed inequalities are useful in investigating the existence of mild solutions and controllability of differential systems of mixed type. Unfortunately, since the spectral radius of Fredholm operators should not be less than one, the inequality used in previous paper may be not suitable (see [2126]). Therefore, more powerful integral inequalities should be established to solve the problem. In order to illustrate this problem, we consider the following impulsive integrodifferential system in a Banach space: where operators and are defined as follows: is a family of linear operators which generates an evolution operator where is the space of all bounded linear operators in and is a Banach space. Assume that and . is continuous. . , are impulsive functions, and and represent the right and the left limits of at , respectively. is a bounded linear operator and the control function is given in and is a Banach space. Set and . is continuous on , , , and the right limit exists, . Obviously, is a Banach space with the norm .

Suppose that the following hypotheses are satisfied. is a family of linear operators, generating an equicontinuous evolution system ; that is, is equicontinuous for and for all bounded subsets .For any , is uniformly continuous on and are bounded on . There exist functions and , such that where . Define The linear operator is defined by (i) has an invertible operator which takes values in and there exist positive constants and such that and ;(ii)there exists such that, for any bounded set , Define ; represents the Kuratowski noncompactness measure.There exist such that, for any equicontinuous set, , such that Define .

Theorem 7. Assume that conditions hold. Then the system (25) is controllable.

Proof. Using (i), for every , without loss of generality, define the control where . Define operator as follows: clearly, using the control , the fixed point of operator is a solution of the system (25), and ; that is, system (25) is controllable. From the conditions we imposed, it is easy to get that operator is continuous.
Set . Assume that there exists such that . Next, we shall use the method of piecewise discussion.(i)When , From Ji et al. [23], we know that there exists such that for any . Thus where Let ; then ; we have Since , then by Theorem 5, there exists a constant such that , ; that is, there exists a constant independent of such that , . The above inequality implies that . From , there also exists a constant independent of such that Thus .(ii)When ,Then and From results (38) and similar to the proof of (i), we can know that there exists that does not depend on such that . So , .
By the same method as above, we can prove that there exists a constant that does not depend on such that Let ; then , . Thus is a bounded set in . Take ; let ; obviously is a bounded open set in and . From the choice of , we know that if and , we have .
Let be a countable set and . By and , it is easy to see that is equicontinuous on each , .
Next, we shall prove that is relatively compact for each . In the same way, we discuss step by step as follows. (i)When Let , ; then . ThusBy Remark 6 (i), we have , . Thus ; that is, is a relatively compact set in . Since , , then is a relatively compact set in .(ii)For , we know Similar to the proof of (i), we can deduce that , . Therefore , . In particular, , so is a relatively compact set in . Similarly, we can show that is a relatively compact set in . Thus is a relatively compact set in .
In conclusion, we deduce that has at least one fixed point in by the Mönch fixed point theorem; that is, system (25) has at least one mild solution in . Thus system (25) is controllable on .

4. The Uniqueness and Global Existence of Solutions

Consider the following integral equation: where , , with and , are nondecreasing with , on . Assume that (45) has a solution on some maximal interval of existence . Moreover, if ,

Theorem 8. Assume that with nondecreasing, for . If then (45) has a unique solution defined on . Moreover, if is bounded on and if either , is bounded on or , , then its solution is bounded on .

Proof. Suppose that, on some interval , (45) has two solutions , ; we obtain Denote ; we have Set Then and . There exists , whereFrom Theorem 5, we know that From Remark 6, , ; then , and the uniqueness of the solution can be obtained.
Next, we will show that the solution is global; that is, , where is the maximal time of existence. If , we set , and we obtain that as for . By Lemma 1 and , we deduce that Since is bounded on and either , is bounded on or , satisfies; then is bounded on . Thus the previous inequality (55) contradicts (46). Thus the global existence is proved.

5. Conclusions

This paper generalizes a more general Gronwall-like inequality with a Fredholm operator. Using the proposed inequality, we solve a difficult problem in the research of the controllability of integrodifferential systems of mixed type in Banach space. Meanwhile, we also prove the uniqueness and global existence of solutions for a class of integral equations. Therefore, the results we obtained are very important and powerful tools. However, it should be more useful than we can imagine in qualitative properties of many other nonlinear problems, such as existence, estimation of solutions, dependence of solutions on parameters in nonlinear analysis, and control.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

  1. B. G. Pachpatte, Inequalities for Differential and Integral Equations, Academic Press, New York, NY, USA, 1998. View at MathSciNet
  2. T. H. Gronwall, “Note on the derivatives with respect to a parameter of the solutions of a system of differential equations,” The Annals of Mathematics. Second Series, vol. 20, no. 4, pp. 292–296, 1919. View at Publisher · View at Google Scholar · View at MathSciNet
  3. R. Bellman, “The stability of solutions of linear differential equations,” Duke Mathematical Journal, vol. 10, pp. 643–647, 1943. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  4. Y. Jalilian and R. Jalilian, “Existence of solution for delay fractional differential equations,” Mediterranean Journal of Mathematics, vol. 10, no. 4, pp. 1731–1747, 2013. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  5. O. Lipovan, “Integral inequalities for retarded Volterra equations,” Journal of Mathematical Analysis and Applications, vol. 322, no. 1, pp. 349–358, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  6. W.-S. Wang, “A generalized retarded Gronwall-like inequality in two variables and applications to BVP,” Applied Mathematics and Computation, vol. 191, no. 1, pp. 144–154, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  7. R. P. Agarwal, S. Deng, and W. Zhang, “Generalization of a retarded Gronwall-like inequality and its applications,” Applied Mathematics and Computation, vol. 165, no. 3, pp. 599–612, 2005. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  8. S. Guo, I. Moroz, L. Si, and L. Han, “Several integral inequalities and their applications in nonlinear differential systems,” Applied Mathematics and Computation, vol. 219, no. 9, pp. 4266–4277, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  9. Y.-H. Lan and Y. Zhou, “High-order Dα-type iterative learning control for fractional-order nonlinear time-delay systems,” Journal of Optimization Theory and Applications, vol. 156, no. 1, pp. 153–166, 2013. View at Publisher · View at Google Scholar
  10. Q. Feng and F. Meng, “Some new Gronwall-type inequalities arising in the research of fractional differential equations,” Journal of Inequalities and Applications, vol. 2013, article 429, 2013. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  11. K. Zheng, W. Feng, and C. Guo, “Some new nonlinear weakly singular inequalities and applications to Volterra-type difference equation,” Abstract and Applied Analysis, vol. 2013, Article ID 912874, 6 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  12. B. Zheng, “Some new Gronwall-Bellman-type inequalities based on the modified Riemann-Liouville fractional derivative,” Journal of Applied Mathematics, vol. 2013, Article ID 341706, 8 pages, 2013. View at Publisher · View at Google Scholar · View at MathSciNet
  13. H. Wang and B. Zheng, “Some new dynamic inequalities and their applications in the qualitative analysis of dynamic equations,” WSEAS Transactions on Mathematics, vol. 12, no. 10, pp. 967–978, 2013. View at Google Scholar · View at Scopus
  14. Y.-H. Kim, “Gronwall, Bellman and Pachpatte type integral inequalities with applications,” Nonlinear Analysis: Theory, Methods & Applications, vol. 71, no. 12, pp. e2641–e2656, 2009. View at Publisher · View at Google Scholar
  15. H. Ye and J. Gao, “Henry-Gronwall type retarded integral inequalities and their applications to fractional differential equations with delay,” Applied Mathematics and Computation, vol. 218, no. 8, pp. 4152–4160, 2011. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus
  16. J. Wang, X. Xiang, W. Wei, and Q. Chen, “The generalized Gronwall inequality and its application to periodic solutions of integrodifferential impulsive periodic system on Banach space,” Journal of Inequalities and Applications, vol. 2008, Article ID 430521, 22 pages, 2008. View at Publisher · View at Google Scholar
  17. Y. Peng, X. Xiang, and W. Wei, “Nonlinear impulsive integro-differential equations of mixed type with time-varying generating operators and optimal controls,” Dynamic Systems and Applications, vol. 16, no. 3, pp. 481–496, 2007. View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  18. O. Lipovan, “A retarded Gronwall-like inequality and its applications,” Journal of Mathematical Analysis and Applications, vol. 252, no. 1, pp. 389–401, 2000. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet · View at Scopus
  19. H. Ye, J. Gao, and Y. Ding, “A generalized Gronwall inequality and its application to a fractional differential equation,” Journal of Mathematical Analysis and Applications, vol. 328, no. 2, pp. 1075–1081, 2007. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  20. L. Liu, “Iterative method for solutions and coupled quasi-solutions of nonlinear integro-differential equations of mixed type in Banach spaces,” Nonlinear Analysis: Theory, Methods & Applications, vol. 42, pp. 583–598, 2000. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  21. H. Qin and X. Zuo, “Controllability of nonlocal boundary conditions for impulsive differential systems of mixed type in banach spaces,” in Proceedings of the 10th IEEE International Conference on Control and Automation (ICCA '13), pp. 1015–1019, IEEE, Hangzhou, China, June 2013. View at Publisher · View at Google Scholar · View at Scopus
  22. Y. Li and H. Zhang, “The solutions of initial value problems for nonlinear second order integro-differential equations of mixed type in Banach spaces,” Journal of Shandong University (Natural Science), vol. 45, pp. 93–98, 2010 (Chinese). View at Google Scholar
  23. S. Ji, G. Li, and M. Wang, “Controllability of impulsive differential systems with nonlocal conditions,” Applied Mathematics and Computation, vol. 217, no. 16, pp. 6981–6989, 2011. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  24. L. Liu, F. Guo, C. Wu, and Y. Wu, “Existence theorems of global solutions for non-linear Volterra type integral equations in Banach spaces,” Journal of Mathematical Analysis and Applications, vol. 309, no. 2, pp. 638–649, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  25. F. Guo, L. Liu, Y. Wu, and P.-F. Siew, “Global solutions of initial value problems for nonlinear second-order impulsive integro-differential equations of mixed type in Banach spaces,” Nonlinear Analysis. Theory, Methods & Applications, vol. 61, no. 8, pp. 1363–1382, 2005. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus
  26. L. Liu, C. Wu, and F. Guo, “Existence theorems of global solutions of initial value problems for nonlinear integrodifferential equations of mixed type in banach spaces and applications,” Computers & Mathematics with Applications, vol. 47, no. 1, pp. 13–22, 2004. View at Publisher · View at Google Scholar · View at Scopus