Research Article | Open Access

# A Nonlinear Weakly Singular Retarded Henry-Gronwall Type Integral Inequality and Its Application

**Academic Editor:**Angelo Ciaramella

#### Abstract

We establish a class of new nonlinear retarded weakly singular integral inequality. Under several practical assumptions, the inequality is solved by adopting novel analysis techniques, and explicit bounds for the unknown functions are given clearly. An application of our result to the fractional differential equations with delay is shown at the end of the paper.

#### 1. Introduction

Integral inequalities play increasingly important roles in the study of existence, uniqueness, boundedness, oscillation, stability, invariant manifolds, and other qualitative properties of solutions of ordinary differential equations and integral equations. One of the best known and widely used inequalities in the study of nonlinear differential equations is Gronwall-Bellman inequality [1, 2], which can be stated as follows. If and are nonnegative continuous functions on an interval satisfying , , then , . Many papers are devoted to different generalizations of Bellman-Gronwall inequality. Very well-known generalization of Bellman-Gronwall inequality to the nonlinear case is the Bihari inequality [3]. In 1956, Bihari [3] discussed the integral inequality where is a constant. In recent years, many researchers have devoted much effort to investigating weakly singular integral inequalities. For example, Henry [4] proposed a linear integral inequality with singular kernel to investigate some qualitative properties for a parabolic differential equation, and Sano and Kunimatsu [5] gave a modified version of Henry type inequality. However, such results are expressed by a complicated power series which are sometimes inconvenient for their applications. To avoid the shortcomings of these results, Medved’ [6] presented a new method to discuss nonlinear singular integral inequalities of Henry type and their Bihari version is as follows: and the estimates of solutions are given. From then on, more attention has been paid to such inequalities with singular kernel; see [7–24] and the references cited therein. Ye and Gao [20] considered the integral inequality of Henry-Gronwall type with delay and Henry-Gronwall type retarded integral inequality with singular kernel In this paper, motivated by [6, 20], we discuss the nonlinear integral inequality of Henry-Gronwall type with delay and Henry-Gronwall type nonlinear retarded integral inequality with singular kernel

#### 2. Main Results

Throughout this paper, denotes the set of real numbers, . For convenience, before giving our main results, we cite some useful lemmas and definitions in the discussion of our proof as follows.

*Definition 1 (see [6]). *Let be a real number and . We say that a function satisfies a condition (), if
where is a continuous, nonnegative function.

Lemma 2 (discrete Jensen inequality [25]). *Let be nonnegative real numbers, is real numbers, and is a natural number. Then
*

Lemma 3 (see [6]). *(1) Let ; then
**
where is the gamma function.**(2) Let ; then
*

*Proof. *(1) Using a change of variables and successively, we have the estimate
Since , and .

(2) Using a change of variables and successively, we have the estimate
Since , , , and .

Theorem 4. *Suppose that are nonnegative continuous functions on , is a nonnegative continuous function on , , and , , are constants. Suppose that the function satisfies the following conditions:*(1)*) condition, that is, satisfies inequality (7);*(2)*subadditivity, that is, for all , .**If satisfies (5), then
**
where
*

*Proof. *Define a function by the right side of (5), that is,
Then , , and is a nonnegative, nondecreasing, and continuous function with , .

For , by the subadditivity satisfied by , we conclude
Letting in (18) and integrating both sides of inequality (18) from to , we obtain
where is chosen arbitrarily.

Define a function by the right side of (19), that is,
Then, the function is a nonnegative, nondecreasing, and continuous function with
Differentiating , we have
From (22), we obtain
Using (21), from (23) we obtain
where are defined by (14) and (15), respectively. From (24), we observe
Let in (25); we have
Since is chosen arbitrarily, from (26), we have the estimation

For , using the subadditivity of and monotony of , from (17) we have
Letting in (28) and integrating both sides of inequality (28) from to and using (27) we obtain
where , is seen as a constant, and is defined by (16).

Define a function by the right side of (29), that is,
Obviously, is a nonnegative, nondecreasing, and continuous function with
Differentiating , we have
From (33), we have
Using (31), from (34), we have
It follows that
In (36), let , and then we have
Since is chosen arbitrarily, from (32) and (37), we obtain the estimation
Noting that , from (27) and (38), we obtain our required estimations (13).

*Remark 5. *When . The estimations (13) in Theorem 4 are reduced to the corresponding estimations in [20].

Theorem 6. *Suppose that satisfy the corresponding conditions in Theorem 4; is a constant. If satisfies (6), then the following assertions hold.**(1) Suppose . Then
**
where is defined by (14) in Theorem 4,
**
and is defined in (7) in Definition 1.**(2) Suppose that . Then
**
where
**
and .*

* Proof. *First we will prove assertion (1). Suppose that . Using Cauchy-Schwarz inequality, we obtain from (6) that
Since satisfies () condition, using (7) in Definition 1 and (9) in Lemma 3, from (53) we derive that
for all . Using discrete Jensen inequality (8) with , , from (54) we obtain
Let and . From (55) we have
We observe that
is defined by (45). By the definitions of , and in (42), (43), and (44), from (56) we see
We observe that (58) have the same form as (5) and satisfy the corresponding conditions in Theorem 4. Applying Theorem 4 to (58), we obtain our required estimations (39).

(2) Now let us prove assertion (2). Suppose . Let ; then . Using Hölder inequality, from (6) we obtain
Since satisfies () condition, using (7) and (10), from (59) we derive
for all . Using Jensen inequality (8), from (60) we have
Let and . Then, we obtain from (61) that
We observe that
where is defined by (52). Using definitions of and in (49), (50), and (51), from (62) we have
We observe that (64) have the same form as (5) and satisfy the corresponding conditions in Theorem 4. Applying Theorem 4 to (64), we obtain our required estimations (46).

#### 3. Application to Fractional Differential Equations (FDEs) with Delay

In this section, we apply our result to the following fractional differential equations (FDEs) with delay (see [20]): where represents the Caputo fractional derivative of order , , and is as in Theorem 6.

Theorem 7. *Suppose that
**
where are as in Theorem 6. Let . If is any solution of IVP (65), then the following estimates hold.**(1) Suppose . Then
**
where is defined by (14) in Theorem 4,
**
and are defined by (7) and (45), respectively.**(2) Suppose that . Then
**
where
**
and ; is defined by (52).*

*Proof. *The solution of FDEs (65) can be written as (see [24])
When , from (71) we obtain
Applying Theorem 6 to (72), we obtain our required estimations (67) and (69).

*Remark 8. *When . Let ; we can obtain the estimations similar to (67) in Theorem 7.

#### Conflict of Interests

The authors declare that they have no competing interests.

#### Acknowledgments

This research was supported by the National Natural Science Foundation of China (no. 11161018), the Guangxi Natural Science Foundation (no. 2012GXNSFAA053009), the Scientific Research Foundation of the Education Department of Guangxi Province (no. LX2014330), and the Foundation of Scientific Research Project of Fujian Province Education Department of China (no. JK2012049). The authors would like to thank the anonymous reviewers for their valuable comments and suggestions to improve the quality of the paper.

#### References

- T. H. Gronwall, “Note on the derivatives with respect to a parameter of the solutions of a system of differential equations,”
*Annals of Mathematics. Second Series*, vol. 20, no. 4, pp. 292–296, 1919. View at: Publisher Site | Google Scholar | MathSciNet - R. Bellman, “The stability of solutions of linear differential equations,”
*Duke Mathematical Journal*, vol. 10, pp. 643–647, 1943. View at: Publisher Site | Google Scholar | Zentralblatt MATH | MathSciNet - I. A. Bihari, “A generalization of a lemma of Bellman and its application to uniqueness problems of differential equations,”
*Acta Mathematica Academiae Scientiarum Hungaricae*, vol. 7, pp. 81–94, 1956. View at: Publisher Site | Google Scholar | MathSciNet - D. Henry,
*Geometric Theory of Semilinear Parabolic Equations*, Springer, Berlin, Germany, 1981. - H. Sano and N. Kunimatsu, “Modified Gronwall's inequality and its application to stabilization problem for semilinear parabolic systems,”
*Systems & Control Letters*, vol. 22, no. 2, pp. 145–156, 1994. View at: Publisher Site | Google Scholar | MathSciNet - M. Medved’, “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 Site | Google Scholar | MathSciNet - M. Medveď, “Nonlinear singular integral inequalities for functions in two and $n$ independent variables,”
*Journal of Inequalities and Applications*, vol. 5, no. 3, pp. 287–308, 2000. View at: Publisher Site | Google Scholar | MathSciNet - Q. H. Ma and E. H. Yang, “Estimates on solutions of some weakly singular Volterra integral inequalities,”
*Acta Mathematicae Applicatae Sinica*, vol. 25, no. 3, pp. 505–515, 2002 (Chinese). View at: Google Scholar | MathSciNet - Y. Wu and S. F. Deng, “Generalization of some weakly singular Volterra integral inequalities,”
*Journal of Sichuan University: Natural Science Edition*, vol. 41, no. 3, pp. 473–478, 2004 (Chinese). View at: Google Scholar | MathSciNet - K. M. Furati and N.-E. Tatar, “Behavior of solutions for a weighted Cauchy-type fractional differential problem,”
*Journal of Fractional Calculus*, vol. 28, pp. 23–42, 2005. View at: Google Scholar | MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - M. Medved’, “On singular versions of Bihari and Wendroff-Pachpatte type integral inequalities and their application,”
*Tatra Mountains Mathematical Publications*, vol. 38, pp. 163–174, 2007. View at: Google Scholar | MathSciNet - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - W. Cheung, Q. Ma, and S. Tseng, “Some new nonlinear weakly singular integral inequalities of wendroff type with applications,”
*Journal of Inequalities and Applications*, vol. 2008, Article ID 909156, 12 pages, 2008. View at: Publisher Site | Google Scholar - 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 Site | Google Scholar | MathSciNet - S. Deng and C. Prather, “Generalization of an impulsive nonlinear singular Gronwall-Bihari inequality with delay,”
*Journal of Inequalities in Pure and Applied Mathematics*, vol. 9, no. 2, 11 pages, 2008. View at: Google Scholar | MathSciNet - Y. Wu, “A new type of weakly singular Volterra integral inequalities,”
*Acta Mathematicae Applicatae Sinica*, vol. 31, no. 4, pp. 584–591, 2008. View at: Google Scholar | MathSciNet - S. Mazouzi and N. Tatar, “New bounds for solutions of a singular integro-differential inequality,”
*Mathematical Inequalities & Applications*, vol. 13, no. 2, pp. 427–435, 2010. View at: Publisher Site | Google Scholar | MathSciNet - H. Wang and K. Zheng, “Some nonlinear weakly singular integral inequalities with two variables and applications,”
*Journal of Inequalities and Applications*, vol. 2010, Article ID 345701, 12 pages, 2010. View at: Publisher Site | Google Scholar - 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 Site | Google Scholar | Zentralblatt MATH | MathSciNet - A. Abdeldaim and M. Yakout, “On some new integral inequalities of Gronwall-Bellman-Pachpatte type,”
*Applied Mathematics and Computation*, vol. 217, no. 20, pp. 7887–7899, 2011. View at: Publisher Site | Google Scholar | Zentralblatt MATH - Q. H. Ma and E. H. Yang, “Bounds on solutions to some nonlinear Volterra integral inequalities with weakly singular kernels,”
*Annals of Differential Equations*, vol. 27, no. 3, pp. 283–292, 2011. View at: Google Scholar - K. Zheng, “Bounds on some new weakly singular Wendroff-type integral inequalities and applications,”
*Journal of Inequalities and Applications*, vol. 2013, article 159, 2013. View at: Publisher Site | Google Scholar | MathSciNet - I. Podlubny,
*Fractional Differential Equations*, Academic Press, New York, NY, USA, 1999. View at: MathSciNet - M. Kuczma,
*An Introduction to the Theory of Functional Equations and Inequalities: Cauchys Equation and Jensens Inequality*, University of Katowice, Katowice, Poland, 1985.

#### Copyright

Copyright © 2014 Yuanhua Lin 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.