Abstract
In this paper, some new integral inequalities with ‘maxima’ are established involving Hadamard integral. Applications to Hadamard fractional differential equations with ‘maxima’ are also presented.
MSC:26A33, 26D10, 26D15.
Similar content being viewed by others
1 Introduction
It is well known that integral inequalities play a dominant role in the study of quantitative properties of solutions of differential and integral equations [1–5]. Fractional inequalities are important in studying the existence, uniqueness, and other properties of fractional differential equations. Recently many authors have studied integral inequalities on fractional calculus using Riemann-Liouville and Caputo derivatives; see [6–9] and the references therein. In [10, 11], the authors established some weakly singular integral inequalities of Gronwall-Bellman type and also applied them in the qualitative analysis of solutions to certain fractional differential equations of the Caputo type.
Another kind of fractional derivative that appears in the literature is the fractional derivative due to Hadamard, introduced in 1892 [12], which differs from the Riemann-Liouville and Caputo derivatives in the sense that the kernel of the integral contains a logarithmic function of an arbitrary exponent. Details and properties of Hadamard fractional derivative and integral can be found in [13–18]. Recently in the literature there appeared some results on fractional integral inequalities using the Hadamard fractional integral; see [19–22].
Let us recall here the definitions of Hadamard’s fractional integral and derivative [23].
Definition 1.1 The Hadamard fractional integral of order of a function , for all , is defined as
where Γ is the standard gamma function defined by , provided the integral exists, where .
Definition 1.2 The Hadamard fractional derivative of order , , of a function is given by
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 the maxima of the unknown scalar function are involved in the integral; see [24, 25] and references cited therein.
Recently in [26] some new types of integral inequalities on time scales with ‘maxima’ have been 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 new integral inequalities with ‘maxima’ involving Hadamard’s integral. The significance of our work lies in the fact that ‘maxima’ are taken on intervals which have non-constant lengths, where . Most papers take the ‘maxima’ on , where is a given constant.
The paper is organized as follows: in Section 2 we recall some results from [26] in the special case , used to prove our main results, which are presented in Section 3. In Section 4 we give applications of our results for a Hadamard fractional differential equation with ‘maxima’.
2 Preliminaries
For convenience we let throughout. The following results in Lemmas 2.1 and 2.2 are obtained by reducing the time scale , , and for all in Theorems 3.3 and 3.2 ([26], p.8 and p.6), respectively.
Lemma 2.1 ([26])
Let the following conditions be satisfied:
(H1) The functions p and .
(H2) The function with , where .
(H3) The function and satisfies the inequalities
Then
holds, where
By splitting the initial function ϕ into two functions, we deduce the following corollary.
Corollary 2.1 Let the following conditions be satisfied:
(H4) The functions p, q, and .
(H5) The function with and , where .
(H6) The function and satisfies the inequalities
Then
holds, where
with
Lemma 2.2 ([26])
Let the condition (H1) of Lemma 2.1 is satisfied. In addition, assume that:
(H7) The function is nondecreasing.
(H8) The function , where .
(H9) The function and satisfies the inequalities
Then
holds, where
The following lemma is a consequence of Jensen’s inequality, which can be found in [27].
Lemma 2.3 ([27])
Let , and let be non-negative real numbers. Then for ,
3 Main results
Theorem 3.1 Suppose that the following conditions are satisfied:
(A1) The functions p and .
(A2) The function with , where .
(A3) The function with
where .
Then the following assertions hold:
-
(i)
Suppose , then
(3.3)
where
and
with
In addition, if is a nondecreasing function, then
where
-
(ii)
Suppose , then
(3.9)
where ,
and
Moreover, if is a nondecreasing function, then
where
Proof (i) . For , by using the Cauchy-Schwarz inequality in (3.1), we get
It is easy to observe that
Substituting (3.15) in (3.14), we obtain
Applying Lemma 2.3 with , , we get the estimate
Setting , we have, for ,
and for ,
A suitable application of Corollary 2.1 for (3.16) and (3.17) leads to
where and are defined by (3.4) and (3.5), respectively. Therefore, we obtain the desired bound in (3.3).
Now, if is a nondecreasing function, then, by Lemma 2.2 with (3.16) and (3.17), it follows that
where is defined by (3.8). Thus, we get the inequality in (3.7). This completes the proof of the first part.
-
(ii)
. Let and . It is obvious that . Using the Hölder inequality in (3.1), for , we obtain
(3.18)
For the first integral in (3.18), repeating the process to get (3.15), we have
Obviously, and . Substituting (3.19) in (3.18), we get
Applying Lemma 2.3 with , , we get the following estimate:
By taking , we have
and
An application of Corollary 2.1 to (3.20) and (3.21) yields
where and are defined by (3.10) and (3.11), respectively. Thus, we get the required inequality in (3.9).
Furthermore, if is a nondecreasing function, then, by applying Lemma 2.2 to (3.21) and (3.22), we get
where is defined by (3.13). Therefore, the desired inequality (3.12) is proved. This completes the proof. □
Theorem 3.2 Suppose that the conditions (A1) and (A2) of Theorem 3.1 are satisfied. In addition we assume that:
(A4) The function .
(A5) The function with
where .
Then the following assertions hold:
-
(a)
Suppose , then
(3.24)
where
and
with is defined by (3.6).
Furthermore, if is a nondecreasing function, then
where is defined by (3.8).
-
(b)
Suppose , then
(3.28)
where ,
and
In addition, if is a nondecreasing function, then
where is defined by (3.13).
Proof (a) . By using the Cauchy-Schwarz inequality in (3.22), for , we have
By applying Lemma 2.3 with , , we get
Setting , we obtain
and
Using Corollary 2.1 for (3.32) and (3.33), it follows that
where and are defined by (3.25) and (3.26), respectively. Therefore, we get the desired inequality in (3.24).
As a special case, if is a nondecreasing function, then by applying Lemma 2.2 with (3.32) and (3.33), we have
where is defined by (3.8). Thus, we get the required inequality in (3.27). This completes the proof of the first part.
-
(b)
. Let and . Using the Hölder inequality in (3.22), for , we obtain
By applying Lemma 2.3 with , , we get
Taking , it follows that
and
Applying Corollary 2.1 for (3.34) and (3.35), we have the following estimate:
where and are defined by (3.29) and (3.30), respectively. Hence, the result (3.28) is proved.
As a special case, if is a nondecreasing function, then by using Lemma 2.2 with (3.34) and (3.35), we get
where is defined by (3.13). Thus, the required inequality in (3.31) is proved. This completes the proof. □
4 Applications to Hadamard fractional differential equations with ‘maxima’
In this section, the dependence of solutions on the orders with initial conditions and the bound of solutions for the Hadamard fractional differential equations, are investigated. We consider the following fractional differential equation with ‘maxima’:
and the initial function
where represents the Hadamard fractional derivative of order α (), , ϕ is a given continuous function on , and are constants.
The problem (4.1)-(4.3) describes a model of a fractional problem in real world phenomena in which often some parameters are involved. The values of these parameters can be measured only up to certain degree of accuracy. Hence, the orders of fractional differential equation α in (4.1) and the initial conditions in (4.2) may be subject to some errors either by necessity or for convenience. Thus, it is important to know how the solution of (4.1)-(4.3) changes when the values of α and are slightly altered.
Theorem 4.1 Let and such that . Also let be a continuous function satisfying the assumption:
(A6) There exist constants such that , for each and .
If y and z are the solutions of the initial value problems (4.1)-(4.3) and
with initial function
respectively, where are constants and is a given continuous function on such that for all , then the following estimates hold for :
-
(I)
Suppose . Then for
(4.7) -
(II)
Suppose . Then for
(4.8)
where
and
with a continuous function is defined by
Proof The solutions y and z of the initial value problems (4.1)-(4.3) and (4.4)-(4.6) satisfy the following equations:
and
respectively. So using the assumption (A6), it follows that
where is defined by (4.9), and
Applying Theorem 3.2 yields the desired inequalities (4.7) and (4.8). This completes the proof. □
In the following theorem, we give the upper bounds of solution of the Hadamard fractional differential equation with ‘maxima’ and initial conditions (4.1)-(4.3).
Theorem 4.2 Assume that:
(A7) There exist functions such that for , ,
If y is solution of the initial value problem (4.1)-(4.3) such that for all , then the following estimates hold:
-
(III)
Suppose . Then for
(4.11) -
(IV)
Suppose . Then for
(4.12)
where b, , are defined as in Theorem 3.2,
and
with a continuous function defined by
Proof The solution y of the initial value problem (4.1)-(4.3) satisfies the following equations:
For , by using the assumption (A7), it follows that
Hence Theorem 3.2 yields the estimate of the inequalities (4.11) and (4.12). This completes the proof. □
Authors’ information
Sotiris K Ntouyas is a member of Nonlinear Analysis and Applied Mathematics (NAAM) Research Group at King Abdulaziz University, Jeddah, Saudi Arabia.
References
Pachpatte BG: On some generalizations of Bellman’s lemma. J. Math. Anal. Appl. 1995, 5: 141-150.
Pachpatte BG: Inequalities for Differential and Integral Equations. Academic Press, New York; 1998.
Pachpatte BG: Explicit bounds on certain integral inequalities. J. Math. Anal. Appl. 2002, 267: 48-61. 10.1006/jmaa.2001.7743
Pachpatte BG: Integral and Finite Difference Inequalities and Applications. Elsevier, Netherlands; 2006.
Lipovan O: A retarded Gronwall-like inequality and its applications. J. Math. Anal. Appl. 2000, 252: 389-401. 10.1006/jmaa.2000.7085
Belarbi S, Dahmani Z: On some new fractional integral inequalities. J. Inequal. Pure Appl. Math. 2009.Article ID 86,10(3): Article ID 86
Dahmani Z: On Minkowski and Hermit-Hadamard integral inequalities via fractional integration. Ann. Funct. Anal. 2010, 1: 51-58. 10.15352/afa/1399900993
Dahmani Z: New inequalities in fractional integrals. Int. J. Nonlinear Sci. 2010, 9: 493-497.
Dahmani Z: The Riemann-Liouville operator to generate some new inequalities. Int. J. Nonlinear Sci. 2011, 12: 452-455.
Shao J, Meng F: Gronwall-Bellman type inequalities and their applications to fractional differential equations. Abstr. Appl. Anal. 2013.Article ID 217641, 2013: Article ID 217641
Thiramanus P, Tariboon J, Ntouyas SK: Henry-Gronwall integral inequalities with ‘maxima’ and their applications to fractional differential equations. Abstr. Appl. Anal. 2014.Article ID 276316, 2014: Article ID 276316
Hadamard J: Essai sur l’étude des fonctions données par leur développement de Taylor. J. Math. Pures Appl. 1892, 8: 101-186.
Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Butzer PL, Kilbas AA, Trujillo JJ: Compositions of Hadamard-type fractional integration operators and the semigroup property. J. Math. Anal. Appl. 2002, 269: 387-400. 10.1016/S0022-247X(02)00049-5
Butzer PL, Kilbas AA, Trujillo JJ: Fractional calculus in the Mellin setting and Hadamard-type fractional integrals. J. Math. Anal. Appl. 2002, 269: 1-27. 10.1016/S0022-247X(02)00001-X
Butzer PL, Kilbas AA, Trujillo JJ: Mellin transform analysis and integration by parts for Hadamard-type fractional integrals. J. Math. Anal. Appl. 2002, 270: 1-15. 10.1016/S0022-247X(02)00066-5
Kilbas AA: Hadamard-type fractional calculus. J. Korean Math. Soc. 2001, 38: 1191-1204.
Kilbas AA, Trujillo JJ: Hadamard-type integrals as G -transforms. Integral Transforms Spec. Funct. 2003, 14: 413-427. 10.1080/1065246031000074443
Chinchane VL, Pachpatte DB: A note on some integral inequalities via Hadamard integral. J. Fract. Calc. Appl. 2013, 4: 1-5.
Chinchane VL, Pachpatte DB: On some integral inequalities using Hadamard fractional integral. Malaya J. Mat. 2012, 1: 62-66.
Sroysang B: A study on Hadamard fractional integral. Int. J. Math. Anal. 2013, 7: 1903-1906.
Sudsutad W, Ntouyas SK, Tariboon J: Fractional integral inequalities via Hadamard’s fractional integral. Abstr. Appl. Anal. 2014.Article ID 563096, 2014: Article ID 563096
Kilbas AA, Srivastava HM, Trujillo JJ North-Holland Mathematics Studies 204. In Theory and Applications of Fractional Differential Equations. Elsevier, Amsterdam; 2006.
Bainov D, Hristova S Pure and Applied Mathematics. In Differential Equations with Maxima. Chapman & Hall/CRC, New York; 2011.
Hristova S, Stefanova K: Some integral inequalities with maximum of the unknown functions. Adv. Dyn. Syst. Appl. 2011, 6: 57-69.
Tariboon J, Thiramanus P, Ntouyas SK: Dynamic integral inequalities on time scales with ‘maxima’. J. Inequal. Appl. 2013.Article ID 564, 2013: Article ID 564
Kuczma M: An Introduction to the Theory of Functional Equations and Inequalities: Cauchy’s Equation and Jensen’s Inequality. Birkhäuser, Basel; 2009.
Acknowledgements
The research of J Tariboon is supported by King Mongkut’s University of Technology North Bangkok, Thailand.
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
All authors contributed equally in this article. They read and approved the final manuscript.
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 https://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Thiramanus, P., Tariboon, J. & Ntouyas, S.K. Integral inequalities with ‘maxima’ and their applications to Hadamard type fractional differential equations. J Inequal Appl 2014, 398 (2014). https://doi.org/10.1186/1029-242X-2014-398
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1029-242X-2014-398