Abstract and Applied Analysis

Volume 2014, Article ID 276316, 10 pages

http://dx.doi.org/10.1155/2014/276316

## Henry-Gronwall Integral Inequalities with “Maxima” and Their Applications to Fractional Differential Equations

^{1}Nonlinear Dynamic Analysis Research Center, Department of Mathematics, Faculty of Applied Science, King Mongkut’s University of Technology North Bangkok, Bangkok 10800, Thailand^{2}Centre of Excellence in Mathematics, CHE, Si Ayutthaya Road, Bangkok 10400, Thailand^{3}Department of Mathematics, University of Ioannina, 451 10 Ioannina, Greece

Received 25 April 2014; Revised 9 June 2014; Accepted 9 June 2014; Published 25 June 2014

Academic Editor: Dumitru Baleanu

Copyright © 2014 Phollakrit Thiramanus 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

Some new weakly singular Henry-Gronwall type integral inequalities with “maxima” are established in this paper. Applications to Caputo fractional differential equations with “maxima” are also presented.

#### 1. Introduction

It is well known that Gronwall-Bellman type integral inequalities play a dominant role in the study of quantitative properties of solutions of differential and integral equations [1–5]. Usually, the integrals concerning these type inequalities have regular or continuous kernels, but some problems of theory and practicality require us to solve integral inequalities with singular kernels. For example, Henry [6] proposed a method to find solutions and proved some results concerning linear integral inequalities with weakly singular kernel. Moreover, Medved’ [7, 8] presented a new approach to solve integral inequalities of Henry-Gronwall type and their Bihari version and obtained global solutions of semilinear evolution equations. Ye and Gao [9] considered the integral inequalities of Henry-Gronwall type and their applications to fractional differential equations with delay. Ma and Pečarić [10] established some weakly singular integral inequalities of Gronwall-Bellman type and used them in the analysis of various problems in the theory of certain classes of differential equations, integral equations, and evolution equations. Shao and Meng [11] studied a certain class of nonlinear inequalities of Gronwall-Bellman type, which is used to a qualitative analysis to certain fractional differential equations. For other results on the subject we refer to [12–18] and references cited therein.

Differential equations with “maxima” are a special type of differential equations that contain the maximum of the unknown function over a previous interval. Several integral inequalities have been established in the case when maxima of the unknown scalar function are involved in the integral; see [19, 20] and references cited therein.

Recently in [21] some new types of integral inequalities on time scales with “maxima” are established, which can be used as a handy tool in the investigation of making estimates for bounds of solutions of dynamic equations on time scales with “maxima.” In this paper we establish some Henry-Gronwall type integral inequalities with “maxima.” The significance of our work lies in the fact that “maxima” are taken on intervals which have nonconstant length, where . Most of the papers take the “maxima” on , where is a given constant. We apply our results to demonstrate the bound of solutions and the dependence of solutions on the orders with initial conditions for Caputo fractional differential equations with “maxima”

The paper is organized as follows. In Section 2 we recall some results from [21] in the special case which are used to prove our main results which are presented in Section 3. In the last Section 4 we give applications of our results for an initial value problem for a Caputo fractional differential equation with “maxima.”

#### 2. Preliminaries

For convenience we let throughout . The following results in Lemmas 1 and 3 are obtained by reducing the time scales, , and for all in Theorems 3.3 and 3.2 ([21], page 8 and page 6), respectively.

Lemma 1 (see [21]). *Let the following conditions be satisfied: **the functions and ;**the function with , where ;**the function and satisfies the inequalities
**Then
**
holds, where
*

*By splitting the initial function to be two functions, we deduce the following corollary.*

*Corollary 2. Let the following conditions be satisfied:the functions , , and ;the function with and , where ;the function and satisfies the inequalities
Then
holds, where
with
*

*Lemma 3 (see [21]). Let the condition of Lemma 1 be satisfied. In addition, assume thatthe function is nondecreasing;the function , where ;the function and satisfies the inequalities
Then
holds, where
*

*The following lemma is a consequence of Jensen’s inequality which can be found in [22].*

*Lemma 4 (see [22]). Let , and let be nonnegative real numbers. Then, for ,
*

*3. Main Results*

*3. Main Results**Theorem 5. Suppose that the following conditions are satisfied:the functions and ;the function with , where ;the function with
where .*

Then the following assertions hold.Suppose ; then where with Moreover, if is a nondecreasing function, then where Suppose ; then where Moreover, if is a nondecreasing function, then where

*Proof. *
Consider . Using the Cauchy-Schwarz inequality with (13), we get for
The first integral of (30) implies the estimate
Therefore, from (30) and (31), we obtain
Applying Lemma 4 with , , we get
Now, taking , we have
and, for ,
where and are defined by (16) and (17), respectively.

Applying Corollary 2 for (34) and (35), we obtain
where is defined by (18). Therefore, we get the required inequality in (15).

Moreover, if is a nondecreasing function, then, by applying Lemma 3 for (34) and (35), we obtain the estimate
where is defined by (21). Thus, we get the desired inequality in (20). This completes the proof of the first part.

Consider . Let , be defined by (23) and (24), respectively. It is obvious that + . Using the Hölder inequality in (13), for , we have
Repeating the process to get (31), the first integral of (38) implies the estimate
Obviously, and . From (38) and (39), it follows that
where is defined by (26). Applying Lemma 4 with , , we have
By setting , we get
and, for ,
where is defined by (25). Consequently, applying Corollary 2 with (42) and (43), we have
where is defined by (27). Therefore, the desired inequality (22) is established.

Furthermore, if is a nondecreasing function, then by applying Lemma 3 for (42) and (43) we deduce that
Thus, inequality (28) is proved. This completes the proof.

*Theorem 6. Assume thatthe conditions , of Theorem 5 are satisfied;the function ;the function with
where .*

Then the following assertions hold.Suppose ; then where with being defined by (19). Furthermore, if is a nondecreasing function, then where is defined by (21).Suppose ; then where , , and are defined by (23), (24), and (26), respectively, Furthermore, if is a nondecreasing function, then where is defined by (29).

*Proof. *
Consider . By using the Cauchy-Schwarz inequality in (46), for , we have
Applying Lemma 4 with , , we get
Taking , we have
where and are defined by (49) and (50), respectively. Using Corollary 2 for (59) and (60), it follows that
where is defined by (51). Thus, we get the result in (48).

If is a nondecreasing function, then Lemma 3 with (59) and (60) implies the estimate
where is defined by (21). Thus, the required inequality (52) is established. This completes the proof of the first part.

Consider . Let , be defined by (23) and (24), respectively. Applying the Hölder inequality in (46), we have that for
where is defined by (26). By using Lemma 4 with , , we obtain the estimate
Substituting , we get
and, for ,
where is defined by (54). An application of Corollary 2 to (65) and (66) gives
where is defined by (55). Therefore, we deduce inequality (53).

As a special case, if is a nondecreasing function, then, by Lemma 3 with (65) and (66), we get
Therefore, the desired inequality (56) is established. This completes the proof of Theorem 6.

*4. Applications to Fractional Differential Equations with “Maxima”*

*4. Applications to Fractional Differential Equations with “Maxima”**In this section, we apply our results to demonstrate the bound of solutions and the dependence of solutions on the orders with initial conditions for Caputo fractional differential equations with “maxima.” We consider the following fractional differential equations (FDEs) with “maxima”
and initial condition
where represents the Caputo fractional derivative of order , , is a given continuously differentiable function on up to order , and . We denote , . For more details on fractional differential equations, see [23, 24].*

*Theorem 7. Assume that there exist functions such that, for , ,
If is solution of the initial value problem (69)-(70), then the following estimates hold. Suppose . Then
Suppose . Then
Suppose . Then
where
and , , , , and are defined as in Theorems 5 and 6.*

*Proof. *The solution of the initial value problem (69)-(70) satisfies the following equations (see [23]):
For , by using the assumption , it follows that
Hence, Theorem 6 yields the estimate inequalities (72) and (73).

For , by using the assumption in (76), we have
Since is a nondecreasing function, Theorem 6 yields the estimate inequality (74). This completes the proof.

*Theorem 8. Let and such that . Also let be a continuous function satisfying the following assumption:there exist constants such that , for each and .*

If and are the solutions of the initial value problem (69)-(70) and with initial condition respectively, where is a given continuous function on such that for all up to order . we denote , . Then the following estimates hold for .Suppose . Then for Suppose . Then for where with

*Proof. *The solutions and of the initial value problems (69)-(70) and (80)-(81) satisfy the following equations:
respectively. So, using the assumption , it follows that
where is defined by (84) and
Applying Theorem 6 yields the desired inequalities (82) and (83). This completes the proof.

*Conflict of Interests*

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

*Acknowledgments*

*Acknowledgments**This research is supported by the Centre of Excellence in Mathematics, the Commission on Higher Education, Thailand. Sotiris K. Ntouyas is a member of Nonlinear Analysis and Applied Mathematics (NAAM) Research Group at King Abdulaziz University, Jeddah, Saudi Arabia.*

*References*

*References*

- B. G. Pachpatte, “On some generalizations of Bellman’s lemma,”
*Journal of Mathematical Analysis and Applications*, vol. 5, pp. 141–150, 1995. View at Google Scholar - B. G. Pachpatte,
*Inequalities for Differential and Integral Equations*, Academic Press, New York, NY, USA, 1998. - B. G. Pachpatte, “Explicit bounds on certain integral inequalities,”
*Journal of Mathematical Analysis and Applications*, vol. 267, no. 1, pp. 48–61, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - B. G. Pachpatte,
*Integral and Finite Difference Inequalities and Applications*, Elsevier, Amsterdam, The Netherlands, 2006. - 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 Scopus - D. Henry,
*Geometric Theory of Semilinear Parabolic Equations*, Springer, New York, NY, USA, 1981. - M. Medveď, “A new approach to an analysis of Henry type integral inequalities and their Bihari type versions,”
*Journal of Mathematical Analysis and Applications*, vol. 214, no. 2, pp. 349–366, 1997. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - M. Medved', “Integral inequalities and global solutions of semilinear evolution equations,”
*Journal of Mathematical Analysis and Applications*, vol. 267, no. 2, pp. 643–650, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - 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 - Q. Ma and J. Pečarić, “Some new explicit bounds for weakly singular integral inequalities with applications to fractional differential and integral equations,”
*Journal of Mathematical Analysis and Applications*, vol. 341, no. 2, pp. 894–905, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - J. Shao and F. Meng, “Gronwall-Bellman type inequalities and their applications to fractional differential equations,”
*Abstract and Applied Analysis*, vol. 2013, Article ID 217641, 7 pages, 2013. View at Publisher · View at Google Scholar - D. Qian, Z. Gong, and C. Li, “A generalized Gronwall inequality and its application to fractional differential equations with Hadamard derivatives,” in
*Proceedings of the 3rd Conference on Nonlinear Science and Complexity (NSC '10)*, pp. 1–4, Cankaya University, 2010. - S. Y. Lin, “Generalized Gronwall inequalities and their applications to fractional differential equations,”
*Journal of Mathematical Analysis and Applications*, vol. 2013, article 549, 2013. View at Google Scholar - 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 Scopus - Z. Denton and A. S. Vatsala, “Fractional integral inequalities and applications,”
*Computers and Mathematics with Applications*, vol. 59, no. 3, pp. 1087–1094, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - H. El-Owaidy, A. Ragab, and A. Abdeldaim, “On some new integral inequalities of Growall-Bellman type,”
*Applied Mathematics and Computation*, vol. 106, no. 2-3, pp. 289–303, 1999. View at Publisher · View at Google Scholar · View at Scopus - H. Ye, Y. Ding, and J. Gao, “The existence of a positive solution of ${D}^{\alpha}\left[x\left(t\right)-x\left(0\right)\right]x(t)f(t,{x}_{t})$,”
*Positivity*, vol. 11, no. 2, pp. 341–350, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at Scopus - 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 Zentralblatt MATH · View at Scopus - D. Bainov and S. Hristova,
*Differential Equations with Maxima, Pure and Applied Mathematics*, Chapman & Hall/CRC, New York, NY, USA, 2011. - S. Hristova and K. Stefanova, “Some integral inequalities with maximum of the unknown functions,”
*Advances in Dynamical Systems and Applications*, vol. 6, pp. 57–69, 2011. View at Google Scholar - J. Tariboon, P. Thiramanus, and S. K. Ntouyas, “Dynamic integral inequalities on time scales with ‘maxima’,”
*Journal of Inequalities and Applications*, vol. 2013, article 564, 2013. View at Publisher · View at Google Scholar - M. Kuczma,
*An Introduction to the Theory of Functional Equations and Inequalities: Cauchy’s Equation and Jensen’s Inequality*, Birkhäauser, 2009. - A. A. Kilbas, H. M. Srivastava, and J. J. Trujillo,
*Theory and Applications of Fractional Differential Equations*, vol. 204 of*North-Holland Mathematics Studies*, Elsevier, 2006. - I. Podlubny,
*Fractional Differential Equations*, Academic Press, New York, NY, USA, 1999.

*
*