Nonlinear Gronwall – Bellman Type Inequalities and Their Applications

In this paper, some nonlinear Gronwall–Bellman type inequalities are established. Then, the obtained results are applied to study the Hyers–Ulam stability of a fractional differential equation and the boundedness of solutions to an integral equation, respectively.


Introduction
The study of Gronwall-Bellman inequalities has been paid much attention and developed at a high rate in the last three decades.These inequalities play an important role in many fields.They are applied to the investigation of the stability, boundedness, global existence, uniqueness, and continuous dependence on the initial or boundary value and parameters of solutions to differential equations, integral equations, as well as difference equations [1][2][3][4][5][6][7][8][9][10][11].They are also used to study the regularized family of models for homogeneous incompressible two-phase flows [12], the state of the high nonlinear circuit [13], the Cousin problems and the emergence of the Sheaf Concept [14].
Recently, Willett [15] discussed the linear inequality: and Lin [16] extended the study to the linear inequality as follows: Several generalizations of the Gronwall inequality were established and then applied to prove the uniqueness of solutions for fractional differential equations with various derivatives.
In this paper, we are concerned with the following nonlinear Gronwall-Bellman-type inequality: Mathematics 2017, 5, 31; doi:10.3390/math5020031www.mdpi.com/journal/mathematicsSome new results are obtained and then applied to investigate the qualitative properties of differential and integral equations.
This paper is organized as follows: In Section 2, we introduce some definitions and notations.Some nonlinear Gronwall-Bellman-type inequalities are presented in Section 3. In Section 4, the obtained results are applied to prove the Hyers-Ulam stability of a fractional differential equation and the boundedness of the solutions to a integral equation.

Preliminaries
In this section, we recall some standard definitions and notations.Lemma 1. (see [17]).Assume that a ≥ 0, p ≥ q ≥ 0 with p = 0.Then, for any b > 0, we have: Lemma 2. (see [15]) Suppose that: where v i w j where

Main Results
In this section, we will establish some nonlinear Gronwall-Bellman-type inequalities.The first result is the following: where l i is the Lipschitz constants, and all the functions are nonnegative and continuous on [0,T), with b i (i = 1, 2, • • •, n) are bounded and nondecreasing functions.If the following inequality is satisfied: then: for any b > 0 and t ∈ [0, T], where: Proof.Denote u p (x) = v(x), then we have u According to Lemma 1: Now let: x ∈ [0, T), for locally integrable functions ϕ.Then: By mathematical induction method, we have: Let r = 1 p b 1−p p .We assert that: for any k ∈ N and In fact, (i) If k = 1, then: So we know the inequality ( 17) holds for k = 1.
(ii) Assume that the inequality ( 17) holds for k = j; that is: (iii) For k = j + 1, we have: Owing to the monotonicity of b i (i = 1, 2, • • •, n) , we get: Interchanging the order of integration, we have: Let i = (j + 1) , then: This implies that the inequality (17) holds for k = j + 1.Hence, it holds for any k ∈ N.
and according to the property of the Gamma function, Hence: This completes the proof.
By Theorem 1, the main result in [16] is a special case of Theorem 1 for p = 1, f i (t, u(t)) = u(t).
Corollary 1. (see [16]).For any t ∈ [0, T): where all the functions are non-negative and continuous.The constants are the bounded and monotonic increasing functions on [0,T).Then: Corollary 2. Under the hypothesis of Theorem 1, if a(x) is increasing on [0.T], then: Proof.Since a(x) is increasing, ã(x) is also increasing: The proof is completed.
where T i is the Lipschitz constant.If the following inequality is satisfied: where E i (i = 0, 1, • • •, n) is defined inductively as the composition of i + 1 functional operators; i.e., where: Let: Then: By Inequality (37), we derive that z(x) is nonnegative and increasing.According to Corollary 1, we have: Combing (39) with (37): where: By Lemma 2, we obtain: By inequalities (39) and (42), we obtain (32).The proof is completed.

Applications
In this section, we present two examples as applications of our results.

Example 1.
The following initial value problems of fractional differential equation was considered in [16]: In this section, we study the Hyers-Ulam stability of this initial value problem.As we know, if u(t) is a solution of the differential Equation (44), then u(t) satisfies the following integral equation: then there exists a solution of (44) such that |u(t) − u ε (t)| ≤ kε for all t ∈ [0, T].Where: Proof.According to (45), we know that u ε (t) satisfies: Then: By Theorem 1, we have: where b i (t) = This includes the integer and fractional integral parts.We assert the solution of this integral equation is bounded on [0, T], provided ω i , g i , f i ( i = 1, 2, • • • , n) satisfy the assumptions of Corollary 3. Theorem 4. Let u be a solution of (50) on [0, T].If ω i , g i , f i (i = 1, 2, • • • , n) satisfy the assumptions of Corollary 7, then for x ∈ [0, T]: Remark 1.The result of Corollary 3 also can be used to prove the uniqueness of solutions to fractional differential equations.
)|; l is the Lipschitz constant.D β R and I β R denote the Riemann-Liouville fractional derivative and fractional integral operators, respectively.The uniqueness of solutions was proved by Gronwall-Bellman inequality.