Lyapunov-type inequalities for mixed non-linear forced differential equations within conformable derivatives

We state and prove new generalized Lyapunov-type and Hartman-type inequalities for a conformable boundary value problem of order \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha \in (1,2]$\end{document}α∈(1,2] with mixed non-linearities of the form \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \bigl(\mathbf{T}_{\alpha }^{a} x\bigr) (t)+r_{1}(t) \bigl\vert x(t) \bigr\vert ^{\eta -1}x(t)+r_{2}(t)\bigl\vert x(t) \bigr\vert ^{ \delta -1}x(t)=g(t), \quad t\in (a,b), $$\end{document}(Tαax)(t)+r1(t)|x(t)|η−1x(t)+r2(t)|x(t)|δ−1x(t)=g(t),t∈(a,b), satisfying the Dirichlet boundary conditions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$x(a)=x(b)=0$\end{document}x(a)=x(b)=0, where \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$r_{1}$\end{document}r1, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$r_{2}$\end{document}r2, and g are real-valued integrable functions, and the non-linearities satisfy the conditions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$0<\eta <1<\delta <2$\end{document}0<η<1<δ<2. Moreover, Lyapunov-type and Hartman-type inequalities are obtained when the conformable derivative \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathbf{T}_{\alpha }^{a}$\end{document}Tαa is replaced by a sequential conformable derivative \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathbf{T}_{\alpha }^{a} \circ \mathbf{T}_{\alpha }^{a}$\end{document}Tαa∘Tαa, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\alpha \in (1/2,1]$\end{document}α∈(1/2,1]. The potential functions \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$r_{1}$\end{document}r1, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$r_{2}$\end{document}r2 as well as the forcing term g require no sign restrictions. The obtained inequalities generalize some existing results in the literature.


Introduction
The Lyapunov inequality and its generalizations have been indispensable in the investigation of various topics of differential equations including oscillation theory, stability theory, intervals of disconjugacy, and eigenvalue problems [1][2][3][4][5]. The problem was initiated by Lyapunov himself who established a necessary condition for the existence of solutions for the boundary value problem (BVP)  holds, where r is a real-valued integrable function. Since then (1.2) is referred to as the Lyapunov inequality. In [7], Wintner was ahead and replaced |r(t)| by the function r + (t) and obtained the following slightly different version of the Lyapunov inequality: where r + (t) = max{r(t), 0}. This inequality is considered to be the best reachable one in the sense that the constant 4 in (1.3) cannot be replaced by any other larger constant (see [6] and [8,Theorem 5.1]). In his remarkable book, Hartman [8] was beyond this estimate and obtained a generalized version as follows: The study of this problem on various types of differential and difference equations over the last years has resulted in different versions of Lyapunov-type inequalities; the reader may consult the papers [9][10][11][12][13] and the first chapter in [14] for a complete view. In parallel to the intensive investigation tendency amongst researchers, Agarwal et al. in [15] has recently considered the mixed non-linear BVP of the form x(a) = x(b) = 0, (1.5) where the non-linearities satisfy 0 < η < 1 < δ < 2 (1.6) and no sign restrictions are imposed on the real-valued integrable potential functions r 1 , r 2 , and obtained the following Hartman-type and Lyapunov-type inequalities.
At some earlier time in [16] and under the same conditions, the same authors considered the mixed non-linear forced BVP of the form where g is a real-valued integrable function and obtained the following Hartman-type and Lyapunov-type inequalities.
It is to be noted that the forcing function g in (1.10) requires no sign restriction as well. Furthermore, inequality (1.11) implies (1.12) because, upon applying the arithmeticgeometric mean, we get The reader can also figure out that both inequalities (1.11) and (1.12) reduce to the classical Hartman-type and Lyapunov-type inequalities as η → 1and δ → 1 + , respectively.
Fractional differential equations have proved direct evolvement into multidisciplinary subjects such as viscoelasticity, ground water flows, boundary layer theory, granular flows, dynamics of cold atoms in optical lattices, plasma turbulence, and dynamics of polymeric materials; see, for instance, [17,18]. The development of these equations in the last years has recently led to a tremendous number of papers which have studied different qualitative topics. Amongst them is the investigation of Lyapunov inequality which was initiated by Ferreria in [19] and continued by other scholars [20][21][22][23][24][25][26][27][28][29][30][31][32][33][34][35]. On the other hand, the newly defined conformable fractional calculus was initiated in [36] and studied later on in the papers [37,38] where many properties of conformable operators were introduced. Apart from its simple application, nevertheless, it has been realized that this topic proves to be essential and profitable in generating new types of fractional operators [39]. However, the progress in this direction is still at its earliest stage [40][41][42][43].
The objective of this paper is to state and prove new generalized Lyapunov-type and Hartman-type inequalities for a conformable boundary value problem of order α ∈ (1, 2] with mixed non-linearities of the form satisfying the Dirichlet boundary conditions x(a) = x(b) = 0, where r 1 , r 2 , and g are realvalued integrable functions, and the non-linearities satisfy the conditions 0 < η < 1 < δ < 2. Moreover, Lyapunov-type and Hartman-type inequalities are obtained when the conformable derivative T a α is replaced by a sequential conformable derivative T a α • T a α , α ∈ (1/2, 1]. The potential functions r 1 , r 2 as well as the forcing term g require no sign restrictions. The obtained inequalities generalize and compliment some existing results in the literature.

Preliminaries on conformable derivatives
This section is devoted to stating some preliminaries on higher-order fractional conformable derivatives. We borrow the notations and terminology from the recent papers [36,37].
If g is differentiable, then one should note the following essential identity: Moreover, the conformable fractional integral of order 0 < α ≤ 1 starting at a ≥ 0 is defined by or following the notation in [36] as Throughout this article, we shall apply the conformable integral in (2.3). In case of higher order, the following definition is adopted.

Definition 2.2 ([37])
Let n < α ≤ n + 1 and set γ = αn. Then the conformable fractional derivative starting from a of a function g : [a, ∞) → R of order α, where g (n) (t) exists, is defined by In case a = 0, we write T α .
Note that if α = n + 1, then γ = 1 and the fractional derivative of g becomes g (n+1) (t). Also, when n = 0 (or α ∈ (0, 1)), then γ = α and the definition coincides with that in Definition 2.1. From (2.4), it is an immediate consequence that if n < α ≤ n + 1, then γ = αn and if, moreover, the (n + 1)st derivative (or the derivative of g (n) ) exists, then we have In case of higher order, the following definition is valid.

Definition 2.4 ([37])
Let α ∈ (n, n + 1] and set γ = αn. Then the left conformable fractional integral starting at a of order α is defined by Notice that if α = n + 1 then γ = 1 and hence which is the iterative integral of g, n + 1 times over (a, t].
Example 2.5 In virtue of [37], we recall that Indeed, if μ ∈ R such that α + μn > 0, then the conformable fractional integral of (ta) μ of order α ∈ (n, n + 1] is The following is a generalization of Lemma 2.3.
Then, for all t > a, we have Example 2.8 In view of [37], we recall that the solution of the following conformable fractional initial value problem for α ∈ (0, 1].

Results and discussion
Prior to proceeding to the main theorems, we state the following key lemma which was proved in [15].

Lemma 3.1 ([15]) If A is positive and B, z are non-negative, then
for any α ∈ (0, 2). The equality holds if and only if B = z = 0.
The investigation of Lyapunov inequalities is delivered in two separate folds.

A Lyapunov-type inequality for mixed forced conformable BVP
In this subsection, we consider the following mixed forced conformable BVP: where α ∈ (1, 2], the non-linearities satisfy (1.6), and the potential functions r 1 , r 2 , and forcing term g are real-valued integrable functions which do not require any sign restriction. The solution of (3.2) is valid for all real-valued functions x(t) with T a α x(t) exists and is integrable on [a, b] such that it satisfies (3.2). The Lyapunov inequality for BVP (3.2) is established.
Consider the following (local) conformable BVP: ∈ (a, b), where α ∈ (1, 2]. The Green's function and its properties are given in the following two lemmas.

Lemma 3.3 ([44])
The Green's function H defined above has the following properties: The following Lyapunov-type inequality was proved for the BVP: in the frame of conformable derivatives [44]. In what follows, we make use of the following notation: holds, where η 0 and δ 0 are defined in (1.8).
Proof Let x be a positive solution of (3.2) in (a, b) with x(a) = x(b) = 0. On the basis of Lemma 3.2, the solution of BVP (3.2) is given by
This completes the proof.

Theorem 3.7 (Hartman-type inequality) If x(t) is a negative solution of BVP
holds, where η 0 and δ 0 are defined in (1.8).
Proof Let x be a negative solution of (3

), then we can consider z(t) = -x(t) as a positive solution of the BVP
in (a, b). By using (3.3) and (3.14), z(t) can be expressed as where μ 1 and μ 2 are defined in (3.11) and Repeating the same steps as in Theorem 3.6, we obtain (3.13), which completes the proof.

Theorem 3.8 (Hartman-type inequality) If x(t) is a solution of BVP (3.2) which has no zero in (a, b), then the inequality
holds, where η 0 and δ 0 are defined in (1.8).

Theorem 3.11 (Lyapunov-type inequality) If x(t) is a solution of BVP (3.2) which has no zero in
If we set r 2 (t) = 0 in BVP (3.2), then we obtain the following particular forced sub-linear BVP: (3.20) (3.20) which has no zero in (a, b), then the following Hartman-type and Lyapunov-type inequalities hold:
If we set r 1 (t) = 0 in BVP (3.2), then we obtain the following particular forced super-linear BVP: (a, b), then the following Hartman-type and Lyapunov-type inequalities hold:

Corollary 3.15 If x(t) is a solution of BVP (3.24) which has no zero in
where α 0 is defined in (3.18).

A Lyapunov-type inequality for mixed forced sequential conformable BVP
In this section, we consider the following mixed forced sequential conformable BVP: (3.25) where α ∈ (1/2, 1] and the non-linearities, the potential functions, and forcing term satisfy the same assumptions as in (3.2). The solution of (3.25) is valid for x(t) defined on [a, b] such that T a α T a α x(t) exists and is integrable on [a, b] and such that x(t) satisfies (3.25). The Lyapunov inequality for (3.25) is established.
Consider the following sequential conformable BVP: for t ∈ (a, b), where α ∈ (1/2, 1]. The following two lemmas, which were developed in [44], contain the Green's function corresponding to BVP (3.26) and its estimate properties. (3.27) where G is the Green's function of BVP (3.26) defined by
Proof In the proof, we make use of the solution representation To avoid redundancy with the proof of Theorem 3.6, we omit the remaining part of the proof.
The proof is straightforward and it follows from (3.29) and inequality (3.32).
Finally, we conclude this paper with the following remark. The results obtained for BVP (3.2) can be extended to the forced mixed non-linear problem in the frame of conformable derivatives with positive and negative coefficients ⎧ ⎨ ⎩ T a α x(t) ± r 1 (t)|x(t)| η-1 x(t) ∓ r 2 (t)|x(t)| δ-1 x(t) = g(t), x(a) = x(b) = 0.
Moreover, similar results to Theorem 3.21 and Theorem 3.22 can be obtained for the sequential conformable problem with positive and negative coefficients of the form It might be of interest to find similar results for the more general equation of the form where the non-linearities satisfy 0 < γ 1 < · · · < γ m < 1 < γ m+1 < · · · < γ n < 2, and no sign restriction is imposed on the forcing term g(t) and the potential functions r j (t), j = 1, . . . , n. The formulations and the proofs of the results are left to the reader.

Conclusion
Conformable derivatives are naturally local fractional derivatives which allow deriving with respect to arbitrary order. Recently, it has been realized that conformable derivatives are essential in generating new types of fractional operators; see, for instance, the results reported in [39]. In this article, we have accommodated the concept and the properties of conformable derivatives to establish new generalized Lyapunov-type and Hartman-type inequalities for a boundary value problem with mixed non-linearities, α ∈ (1, 2]. In addition, the main results are carried out for the sequential conformable derivatives of the form T a α • T a α , α ∈ (1/2, 1]. The corresponding classical Lyapunov-type and Hartman-type inequalities are obtained in the limiting cases α → 2and α → 1 -, respectively. The obtained inequalities generalize and compliment some existing results in the literature.