• Views 550
• Citations 3
• ePub 6
• PDF 364
`Discrete Dynamics in Nature and SocietyVolume 2017, Article ID 5123240, 8 pageshttps://doi.org/10.1155/2017/5123240`
Research Article

## Hartman-Wintner-Type Inequality for a Fractional Boundary Value Problem via a Fractional Derivative with respect to Another Function

1Department of Mathematics, College of Science, King Saud University, P.O. Box 2455, Riyadh 11451, Saudi Arabia
2LaSIE, Pôle Sciences et Technologies, Université de La Rochelle, avenue M. Crépeau, 17042 La Rochelle Cedex, France

Correspondence should be addressed to Bessem Samet; as.ude.usk@temasb

Received 2 January 2017; Revised 19 January 2017; Accepted 22 January 2017; Published 12 February 2017

Academic Editor: Thabet Abdeljawad

Copyright © 2017 Mohamed Jleli 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

We consider a fractional boundary value problem involving a fractional derivative with respect to a certain function . A Hartman-Wintner-type inequality is obtained for such problem. Next, several Lyapunov-type inequalities are deduced for different choices of the function . Moreover, some applications to eigenvalue problems are presented.

#### 1. Introduction

In this work, we are concerned with the following fractional boundary value problem:where , , , is a continuous function, and is the fractional derivative operator of order with respect to a certain nondecreasing function with , for all . A Hartman-Wintner-type inequality is derived for problem (1). As a consequence, several Lyapunov-type inequalities are deduced for different types of fractional derivatives. Next, we end the paper with some applications to eigenvalue problems.

Let us start by describing some historical backgrounds about Lyapunov inequality and some related works. In the late XIX century, the mathematician A. M. Lyapunov established the following result (see ).

Theorem 1. If the boundary value problemhas a nontrivial solution, where is a continuous function, then

Inequality (3) is known as Lyapunov inequality. It is proved to be very useful in various problems in connection with differential equations, including oscillation theory, asymptotic theory, eigenvalue problems, and disconjugacy. For more details, we refer the reader to  and references therein.

In , Hartman and Wintner proved that if boundary value problem (2) has a nontrivial solution, thenwhereUsing the fact thatLyapunov inequality (3) follows immediately from inequality (4). Many other generalizations and extensions of inequality (3) exist in the literature; see, for instance, [7, 1322] and references therein.

Due to the positive impact of fractional calculus on several applied sciences (see, for instance, ), several authors investigated Lyapunov-type inequalities for various classes of fractional boundary value problems. The first work in this direction is due to Ferreira , where he considered the fractional boundary value problemwhere , , , is a continuous function, and is the Riemann-Liouville fractional derivative operator of order . The main result obtained in  is the following fractional version of Theorem 1.

Theorem 2. If fractional boundary value problem (7) has a nontrivial solution, thenwhere is the Gamma function.

Observe that (3) can be deduced from Theorem 2 by passing to the limit as in (8). For other related works, we refer the reader to Ferreira [25, 26], Jleli and Samet [27, 28], Jleli et al. [29, 30], O’Regan and Samet , Al Arifi et al. , Rong and Bai , Chidouh and Torres , Agarwal and Özbekler , Ma , and the references therein.

Very recently, Ma et al.  investigated the fractional boundary value problemwhere , is a continuous function, and is the Hadamard fractional derivative operator of order . The main result in  is the following.

Theorem 3. If fractional boundary value problem (9) has a nontrivial solution, thenwhere .

In the same paper , the authors formulated the following question: How to get the Lyapunov inequality for the following Hadamard fractional boundary value problem: where , , , and is a continuous function. Note that one of our obtained results is an answer to the above question.

#### 2. Preliminaries

Before stating and proving the main results in this work, some preliminaries are needed.

Let be a certain interval in , where , . We denote by the space of real valued and absolutely continuous functions on . For , we denote by the space of real valued functions which have continuous derivatives up to order on with ; that is,Clearly, we have .

Definition 4 (see ). Let . The Riemann-Liouville fractional integral of order of is defined by

Definition 5 (see ). Let and be the smallest integer greater than or equal to . Let be a function such that . Then the Riemann-Liouville fractional derivative of order of a function is defined byfor a.e. .

Let and be the smallest integer greater than or equal to . By (see ), one denotes the set of all functions that have the representation:where and .

Lemma 6 (see ). Let , be the smallest integer greater than or equal to , and . Then exists almost everywhere on if and only if ; that is, has representation (15). In such a case, one has

Let be a nondecreasing function with , for all .

Definition 7 (see ). Let . The fractional integral of order of with respect to the function is defined by

Definition 8 (see ). Let and be the smallest integer greater than or equal to . Let be a function such that exists almost everywhere on . In this case, the fractional derivative of order of with respect to the function is defined byfor a.e. .

The following lemma is crucial for the proof of our main result.

Lemma 9. Let and be the smallest integer greater than or equal to . Suppose that the function belongs to the space . Then

Proof. At first, observe that, from Lemma 6, exists for a.e. . Now, using the change of variable , , the chain rule yields Therefore, we obtain Next, using the change of variable , we obtain which proves the desired result.

In the sequel, we denote by the functional space defined by

Definition 10 (see ). Let and be the smallest integer greater than or equal to . Let , where and . The Hadamard fractional derivative of order of is defined by

We refer the reader to Ferreira  for the proofs of the following results.

Lemma 11. Let , , , and . Then is a solution of the boundary value problemif, and only if, satisfies the integral equationwhere

Lemma 12. The Green function defined by (27) satisfies the following properties:(i) for all , .(ii)For all , one has

#### 3. A Hartman-Wintner-Type Inequality for Boundary Value Problem (1)

In this section, a Hartman-Wintner-type inequality is established for fractional boundary value problem (1).

Problem (1) is investigated under the following assumptions:(A1).(A2).(A3).(A4) is a nondecreasing function with , for all .

We have the following result.

Theorem 13. Under assumptions (A1)–(A4), if fractional boundary value problem (1) has a nontrivial solution , then

Proof. Suppose that is a nontrivial solution of (1). Let us define the function byUsing Lemma 9, for all , we haveOn the other hand, since is a solution of (1), we haveTherefore, is a nontrivial solution of the Riemann-Liouville fractional boundary value problemwhere , , and is the function defined byNow, by Lemma 11, we obtainwhere is the Green function defined by (27). Next, let us consider the Banach space equipped with the standard normClearly, since is nontrivial, we have . Further, using (35) and Lemma 12, we havewhich yieldsTherefore, we obtainthat is,Using the change of variable , we getNote that by (27) we haveTherefore,which is desired inequality (29).

#### 4. Lyapunov-Type Inequalities for Different Choices of the Function

In this section, using Theorem 13, several Lyapunov-type inequalities are deduced for different choices of the function .

##### 4.1. The Case ,

Taking , , in Theorem 13, we deduce the following Hartman-Wintner-type inequality.

Corollary 14. If fractional boundary value problem (1) has a nontrivial solution , where , , , then

Next, let us define the function bySince is continuous on and , there exists some such thatTherefore, from inequality (44), we obtain the following Lyapunov-type inequality.

Corollary 15. If fractional boundary value problem (1) has a nontrivial solution , where , , , then

In order to compute the value of for and , we have to study the variations of the function defined by (45). Observe thatwhere is the function defined bywith and . A simple computation yieldsfor all , where and . Next, we putWe consider three cases.

Case 1 (if ). In this case, we have and if and only if . Moreover, we have for and for . Therefore,Thus, in this case we obtainNext, using (53), we deduce from Corollary 15 the following Lyapunov-type inequality in the case .

Corollary 16 (the case ). If fractional boundary value problem (1) has a nontrivial solution , where , , , then

Case 2 (if ). In this case, we have and has two distinct zeros atwhereIt can be easily seen thatMoreover, we have for and for . Therefore,

Case 3 (if ). In this case, we have and has two distinct zeros at and . It can be easily seen thatMoreover, we have for and for . Therefore,

Observe that, for (), problem (1) is equivalent to problem (7). Moreover, in this case we haveTherefore, using (61) and Corollary 15, we obtain inequality (8), which is due to Ferreira .

##### 4.2. A Lyapunov-Type Inequality via Hadamard Fractional Derivative

Taking in Theorem 13, we deduce the following Hartman-Wintner-type inequality for the following Hadamard fractional boundary value problem:where , , , and is a continuous function.

Corollary 17. If fractional boundary value problem (62) has a nontrivial solution , where , , then

Now, define the function byObserve thatwhere is the function defined bywith and . A simple computation yieldswhereObserve that has two distinct zeros atIt can be easily seen thatMoreover, we have for and for . Therefore, we deduce thatNext, combining (63) with (72), we obtain the following Lyapunov-type inequality for fractional boundary value problem (62).

Corollary 18. If fractional boundary value problem (62) has a nontrivial solution , where , , thenwhere

Observe that, in the particular case , inequality (73) reduces to inequality (10) which is due to Ma et al. .

Remark 19. Corollary 18 is an answer to the open problem proposed in .

#### 5. Applications to Eigenvalue Problems

Now, we present an application of the Hartman-Wintner-type inequality given by Theorem 13 to eigenvalue problems.

We say that the scalar is an eigenvalue of the fractional boundary value problemwhere , , , and with , for all , if problem (75) has at least a nontrivial solution .

We have the following result which provides a lower bound of the eigenvalues of problem (75).

Corollary 20. If is an eigenvalue of problem (75), thenwhere and .

Proof. Suppose that is an eigenvalue of problem (75). Then problem (75) admits a nontrivial solution. Applying Theorem 13 with , we obtainUsing the change of variable , we obtainwhich proves the desired inequality.

Taking , , in Corollary 20, we obtain the following result.

Corollary 21. If is an eigenvalue of problem (75) with , , , , then

Taking in Corollary 20, we obtain the following result.

Corollary 22. If is an eigenvalue of the Hadamard fractional boundary value problemwhere , , and , then

#### Competing Interests

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

#### Acknowledgments

The third author extends his appreciation to Distinguished Scientist Fellowship Program (DSFP) at King Saud University (Saudi Arabia).

#### References

1. A. Liapounoff, “Problème général de la stabilité du mouvement,” Annales de la faculté des sciences de Toulouse Mathématiques, vol. 9, pp. 203–474, 1907.
2. A. Beurling, “Un théorème sur les fonctions bornées et uniformément continues sur l'axe réel,” Acta Mathematica, vol. 77, pp. 127–136, 1945.
3. G. Borg, “On a Liapounoff criterion of stability,” American Journal of Mathematics, vol. 71, pp. 67–70, 1949.
4. R. C. Brown and D. B. Hinton, “Opial's inequality and oscillation of 2nd order equations,” Proceedings of the American Mathematical Society, vol. 125, no. 4, pp. 1123–1129, 1997.
5. R. S. Dahiya and B. Singh, “A Lyapunov inequality and nonoscillation theorem for a second order non-linear differential-difference equation,” Journal of Mathematical and Physical Sciences, vol. 7, pp. 163–170, 1973.
6. G. S. Guseinov and A. Zafer, “Stability criteria for linear periodic impulsive Hamiltonian systems,” Journal of Mathematical Analysis and Applications, vol. 335, no. 2, pp. 1195–1206, 2007.
7. P. Hartman, Ordinary Differential Equations, John Wiley & Sons, New York, NY, USA, 1964, Birkhuser, Boston, Mass, USA 1982.
8. P. Hartman and A. Wintner, “On an oscillation criterion of Liapounoff,” American Journal of Mathematics, vol. 73, pp. 885–890, 1951.
9. B. G. Pachpatte, “Inequalities related to the zeros of solutions of certain second order differential equations,” Facta Universitatis, Series: Mathematics and Informatics, vol. 16, pp. 35–44, 2001.
10. W. T. Reid, “A matrix equation related to a non-oscillation criterion and Liapunov stability,” Quarterly of Applied Mathematics, vol. 23, pp. 83–87, 1965.
11. B. Singh, “Forced oscillation in general ordinary differential equations,” Tamkang Journal of Mathematics, vol. 6, pp. 5–11, 1975.
12. A. Wintner, “On the non-existence of conjugate points,” American Journal of Mathematics, vol. 73, pp. 368–380, 1951.
13. D. Çakmak, “Lyapunov-type integral inequalities for certain higher order differential equations,” Applied Mathematics and Computation, vol. 216, no. 2, pp. 368–373, 2010.
14. S. B. Eliason, “Lyapunov type inequalities for certain second order functional differential equations,” SIAM Journal on Applied Mathematics, vol. 27, no. 1, pp. 180–199, 1974.
15. L. Jiang and Z. Zhou, “Lyapunov inequality for linear Hamiltonian systems on time scales,” Journal of Mathematical Analysis and Applications, vol. 310, no. 2, pp. 579–593, 2005.
16. C. Lee, C. Yeh, C. Hong, and R. P. Agarwal, “Lyapunov and Wirtinger inequalities,” Applied Mathematics Letters, vol. 17, no. 7, pp. 847–853, 2004.
17. B. G. Pachpatte, “Lyapunov type integral inequalities for certain differential equations,” Georgian Mathematical Journal, vol. 4, no. 2, pp. 139–148, 1997.
18. S. Panigrahi, “Liapunov-type integral inequalities for certain higher-order differential equations,” Electronic Journal of Differential Equations, vol. 28, pp. 1–14, 2009.
19. N. Parhi and S. Panigrahi, “Liapunov-type inequality for higher order differential equations,” Mathematica Slovaca, vol. 52, no. 1, pp. 31–46, 2002.
20. A. n. Tiryaki, “Recent developments of Lyapunov-type inequalities,” Advances in Dynamical Systems and Applications, vol. 5, no. 2, pp. 231–248, 2010.
21. X. Yang, “On Liapunov-type inequality for certain higher-order differential equations,” Applied Mathematics and Computation, vol. 134, no. 2-3, pp. 307–317, 2003.
22. X. Yang and K. Lo, “Lyapunov-type inequality for a class of even-order differential equations,” Applied Mathematics and Computation, vol. 215, no. 11, pp. 3884–3890, 2010.
23. A. A. Kilbas, H. M. Srivastava, and J. Trujillo, Theory and Applications of Fractional Differential Equations, vol. 204 of North-Holland Mathematics Studies, Elsevier Science B.V., Amsterdam, The Netherlands, 2006.
24. R. A. C. Ferreira, “A Lyapunov-type inequality for a fractional boundary value problem,” Fractional Calculus and Applied Analysis, vol. 16, no. 4, pp. 978–984, 2013.
25. R. A. C. Ferreira, “On a Lyapunov-type inequality and the zeros of a certain Mittag-Leffler function,” Journal of Mathematical Analysis and Applications, vol. 412, no. 2, pp. 1058–1063, 2014.
26. R. A. C. Ferreira, “Lyapunov-type inequalities for some sequential fractional boundary value problems,” Advances in Dynamical Systems and Applications, vol. 11, no. 1, pp. 33–43, 2016.
27. M. Jleli and B. Samet, “Lyapunov-type inequalities for a fractional differential equation with mixed boundary conditions,” Mathematical Inequalities & Applications, vol. 18, no. 2, pp. 443–451, 2015.
28. M. Jleli and B. Samet, “Lyapunov-type inequalities for fractional boundary value problems,” Electronic Journal of Differential Equations, vol. 88, pp. 1–11, 2015.
29. M. Jleli, M. Kirane, and B. Samet, “Lyapunov-type inequalities for fractional partial differential equations,” Applied Mathematics Letters, vol. 66, pp. 30–39, 2017.
30. M. Jleli, L. Ragoub, and B. Samet, “A Lyapunov-type inequality for a fractional differential equation under a Robin boundary condition,” Journal of Function Spaces, vol. 2015, Article ID 468536, 5 pages, 2015.
31. D. O'Regan and B. Samet, “Lyapunov-type inequalities for a class of fractional differential equations,” Journal of Inequalities and Applications, vol. 2015, article 247, 10 pages, 2015.
32. N. Al Arifi, I. Altun, M. Jleli, A. Lashin, and B. Samet, “Lyapunov-type inequalities for a fractional p-Laplacian equation,” Journal of Inequalities and Applications, vol. 2016, article 189, 2016.
33. J. Rong and C. Bai, “Lyapunov-type inequality for a fractional differential equation with fractional boundary conditions,” Advances in Difference Equations, vol. 2015, article 82, 2015.
34. A. Chidouh and D. F. Torres, “A generalized Lyapunov's inequality for a fractional boundary value problem,” Journal of Computational and Applied Mathematics, vol. 312, pp. 192–197, 2017.
35. R. P. Agarwal and A. Özbekler, “Lyapunov type inequalities for mixed nonlinear Riemann-Liouville fractional differential equations with a forcing term,” Journal of Computational and Applied Mathematics, vol. 314, pp. 69–78, 2017.
36. D. Ma, “A generalized Lyapunov inequality for a higher-order fractional boundary value problem,” Journal of Inequalities and Applications, vol. 2016, article no. 261, 2016.
37. Q. Ma, C. Ma, and J. Wang, “A Lyapunov-type inequality for a fractional differential equation with Hadamard derivative,” Journal of Mathematical Inequalities, vol. 11, no. 1, pp. 135–141, 2007.
38. D. Idczak and S. Walczak, “Fractional sobolev spaces via Riemann-Liouville derivatives,” Journal of Function Spaces and Applications, vol. 2013, Article ID 128043, 15 pages, 2013.