On a class of Lyapunov’s inequality involving λ -Hilfer Hadamard fractional derivative

: In this paper


Introduction
Over the past years, fractional differential theory has gained attention and importance in various fields.It has been developed extensively for different fields such as physics, mechanical and electrical theory, economics, engineering sciences, and other related fields.This is particularly relevant for fractional differential equations (FDEs) where Lyapunov's inequality represents a necessary condition of non-existence of non-trivial solutions to the second-order differential equation (SODE).m (t) + B(t)m(t) = 0, a 1 < t < a 2 , m(a 1 ) = m(a 2 ) = 0, (1.1) where B ∈ C 0 ([a 1 , a 2 ], R).
In Section 5, we treat a new class of the form ( H D r,β;λ a 1 + m)(t) + f (B(t),m(t)) As a particular case of our result, we present a Lyapunov's inequality (LPI) for the Hadamard (FBP) where a 1 and a 2 are consecutive zeros of the solution m satisfying 1 < a 1 < a 2 .We investigate this Hadamard fractional problem (1.7) by showing that for r ∈ (1, 2], the function B satisfies a 2 a 1 B(t) dt t ≥ Γ(r)4 r−1 (log a 2 − log a 1 ) r−1 . (1.8) The novelty that we deal here with, focuses λ-Hilfer type of differentiation, where λ is supposed to be a positive non-decreasing function.In fact, we present an LPI for the following Hilfer fractional boundary value problem (HFBVP) where 1 < r, β ≤ 2, r ≤ β, and a 1 and a 2 are constants.
The function B ∈ C 0 ([a 1 , a 2 ], R), and the operator H D r,β;λ a 1 + denotes a λ-Hilfer derivative operator of order r and type β.In this note, we point out that the trivial solutions are of non-interest.We further investigate problem (1.9) by showing that it admits a solution for r, β ∈ (1, 2], r ≤ β, provided that B satisfies (1.10) Below, we look for solutions of the following HFBVP So far, with a construction of an appropriate Green's function (GF) to the HFBVP given by Eq (1.9), none of the raised results in the literature recourse to HFBVP, where λ-Hilfer derivative is used instead of the ordinary derivative of FDE given by Eq (1.1), which is classical.
In a more general context, in Section 5, we prove a generalization to all previous results as well as [13,14].
Thus, it is key to investigate the following HFBVP, where for different values of r and β, we obtain a large set of new solutions.The main step here is to prove that the corresponding non-trivial solution to Eq (1.9) exists provided that is satisfied, where λ (t) 0 and λ is assumed to be positive and non-decreasing.
In the sequel, in order to achieve the aim that we look for, we need to use some fractional tools and lemmas.Therefore, new concepts of λ-Hilfer fractional derivatives and integrals of problem (1.9) are considered.To accomplish our results, we adopt the following notations.
Let us denote by [a 1 , a 2 ] the finite interval on R, 0 < a 1 < a 2 , and by S CF([a 1 , a 2 ]), S CF n ([a 1 , a 2 ]) and AS CF n ([a 1 , a 2 ]) respectively, the space of continuous functions, n times absolutely continuous, and n times continuous and continuously differentiable functions.Also, we define and ) and r > 0, then is defined in the Riemann-Liouville (RL)-sense.Definition 2.2.Let r ≥ 0, and n = exists almost everywhere on [a 1 , a 2 ] ([r] is the entire part of r) and defined in the Caputo sense [8].
For a more general context, we define a generalized Riemann-Liouville fractional integral and derivatives as follows: Definition 2.3.Let r > 0 and n be a smallest integer greater than or equal to r.Then, [8] Then, the fractional integral of order r > 0 of f with respect to the function ξ is defined by Now, we consider the new definition λ-Hilfer derivative.This novelty will be twofold.First, in the RL-sense, and second, in the Caputo-sense.In light of this, we will provide properties and lemmas involving this new concept of derivatives and theorems that are useful for the result of this paper and its application.
) and λ is a positive function.Then, the solution of m 0 is given by where GF(t, s) is defined by (2.3) Proof.By [8], the solution of FDE given by Eq (2.2) follows as Using the boundary conditions in (2.2), we found

Main result and its consequences
The contribution that we investigate below is focused on the use of a λ-Hilfer fractional integral, which is more general than the Riemann-Liouville and Hadamard integrals.The employed and necessary tools in establishing the result and its consequences are the construction of GF and the use of its maximum value on the considered interval.It is noteworthy that the novelty presented in getting the maximum value is the use of maximum principles for functions ordinary differential equations.This power tool is a simpler way for finding either the existence or non-existence of solutions of differential equations.This includes ordinary and fractional.
We are motivated by the research of Chidouh and Torres [13] and Kirane and Berikbol [14].Let us recall that in [14], the authors investigated the following LPI for the non-linear RL-FDE where, B ∈ L 1 ([a 1 , a 2 ], R) and f : R → R is a concave and a non decreasing function.They showed that if m 0 satisfying (3.1), then the following inequality is satisfied, where η stands for the maximum of |m| over [a 1 , a 2 ].The authors in [14] showed that if m 0 satisfying where 1 < r ≤ l ≤ 2, then the following Lyapunov's inequality is satisfied The result that we establish in this paper generalizes all the results presented above, and the fractional differential equation that we consider is more general than the one in the literature.We deal with a λ-Hilfer derivative operator and the corresponding function GF to the HFBVP.Precisely, we state the properties of GF which we will recourse to later in the sequel. where ), and λ is positive.Then, the GF defined in Eq (2. 3) is positive and realizes the following inequality for all (t, s) where GF(s, s) is defined by Then, the largest value of GF is given by Proof.We first consider Due to the fact that λ > 0, GF > 0 too.However, for s ≤ t, GF is given by In order to show that this function is positive, we handle the expression (λ(t) − λ(s)) r−1 as follows Now, due to the following fact since the function λ is supposed to be an increasing function, we then conclude that the Green's function GF is positive for t ≤ s.Indeed, let us write the previous inequality is with positive right side.Thus, GF is positive for all t, s ∈ [a 1 , a 2 ] in view of λ , which is positive.The next aim is to show that GF(t, s) ≤ GF(s, s).
For this matter, below is the differentiation of GF defined in Eq (2. 3) with respect to t for fixed s ∈ (a 1 , a 2 ), where t ≤ s, we get Similarly, we re-write the expression (λ(t . Now, inserting (3.6) into (3.5),one may observe that (GF) t is negative for t ≤ s and therefore G, is a decreasing function on this interval.
For the case s ≤ t, with a routine calculation one may see that the function (GF) t is a positive one and consequently the function GF is an increasing function.
This enables us to complete the proof of Theorem 3.1.Let us define h for fixed s in (a 1 , a 2 ) by Notice that for s = a 1 or s = a 2 , h(s) = 0. Let us differentiate h with respect to s.After reduction and simplification of some terms, we obtain (3.7) A corresponding unique solution of the derivative of h is therefore achieved by which leads us to conclude that the function h on (a 1 , s * ) is increasing and on (s * , a 2 ) it is decreasing.Thus, we deduce that max Now, before presenting an alternative proof which allows us to achieve the maximum value of the Green's function GF, we will explain its relevance.In dealing with this kind of Lyapunov-type inequality, one may see that once the Green function constructed, achieving its maximum value is not always an easy issue to overcome.This is due to the fractional operator in question.It may lead to a more complex analysis of the boundary value problem (cf. the difference between Riemann-Liouville and Caputo in [2,3] related to this operator).The novelty here is to use the maximum principle to overcome this difficulty, which is valid for any fractional operator.It is worthwhile to mention that the method used to deal with Lyapunov's inequality (LPI) is based on an approach analyzing the components of the Green's function into two arguments (t and s).However, the analysis of GF might be very complex.In this case, we may need to utilize another tool to overcome the difficulty.The tool that we apply here is the maximum principle, which has, in general, a big impact in a class of ordinary differential equations and partial differential equations.In our context, we use the maximum principles of functions as follows.
The two functions ξ 1 and ξ 2 defined in an interval [a 1 , a 2 ] such that To apply this principle to our boundary value problem (3.4), we split the GF defined in (2.3) into two functions (ξ 1 and ξ 2 ) as follows and It is easy to see that 0 < ξ 1 (t, s) ≤ ξ 2 (t, s) and therefore |ξ 2 |(t, s) := GF(s, s).
The function GF(s, s) is a function of s denoted by h(s).With the same computation as before, the function h attains its maximum at and therefore the maximum of GF is max .
Consequently, we get different corollaries covering different previous results.
Corollary 3.1.Let m 0 satisfying where the function B ∈ C 0 ([a 1 , a 2 ]), and 1 < r ≤ β ≤ 2.Then, is satisfied.Remark 3.1.It is worth mentioning that for r = 2, we get an analogous inequality which may be viewed as a Hartman-Winter inequality for problem (3.4),We have We shall point out that this is due to the fact that λ is an increasing function.Now, we recall that the arithmetic-geometric-harmonic inequality follows as Thus, λ(a 2 ) − λ(a 1 ) 4 Therefore, we derive the following classical LPI Proof.We apply Theorem 3.1 and we obtain directly the desired result.
Equivalently, we have which achieves the proof of this corollary.By setting λ(x) = log x, we get the HFBVP (1.7) and (1.8), and based on the following observation: the integral inequality (3.13) in Corollary 3.2 takes the following form which conducts us to the following remark.Remark 3.2.The criteria condition of existence of HFBVP (1.8) implies the existence condition of RL problem (1.2), (s > a 1 > 1).The next corollary represents the classical ordinary differential equation of order two where the necessary integral condition of existence is formulated and proved.Corollary 3.3.Let m 0 satisfying where the function B ∈ C 0 ([a 1 , a 2 ]), and 1 < r ≤ l ≤ 2.Then, (i) In addition, if λ(x) = x, then (ii) for a 2 > a 1 > 1.
Proof.We set r = 2, and therefore l = 2 and Γ(2) = 1.Now, in light of (3.13), the desired inequality (3.16) is achieved.Thus, if λ(x) = log x, for x > 1, we find ( a 2 a 1 ) from which the desired integral inequalities (3.17) and (3.16) are achieved.Below, we move to the principal focus of proving a criterion of existence of non-trivial solutions involving the Hadamard log x-Hilfer fractional derivative of order r and type l.
For r = 2, we have a new bound for the LPI in the HFDE of second order which is: 2 , and Proof.(i) It is a direct application of (3.10).
(ii) It seems obvious to the reader that the function f (x) := log x − x is a decreasing one for x > 1, and therefore the requested integral inequality (3.20) is immediate.
On the other hand, by considering (3.20) and using the same observation as before, we get Indeed, for a 1 ≤ s ≤ a 2 and log a 2 − log a 1 ≤ a 2 a 1 for a 2 > a 1 > 1, the integral inequality (3.19) leads us to the following remark.Remark 3.3.Under the same conditions as Corollary 3.4, we have Furthermore, if m 0 satisfying where the function B ∈ C 0 ([a 1 , a 2 ]) and 1 < r ≤ l ≤ 2.Then, since a 1 , a 2 > 1.

Example
In order to illustrate the LPI which corresponds to the given HFBVP problems (3.3) and (3.4), we present the following application.The key in proving this result focuses on the important inequality based on Mittag-Leffler function.
The complex function is analytic in the whole complex plane C. Now by considering Sturm-Liouville eigenvalue problem where 1 < r ≤ l ≤ 2, and by setting a 1 = 1.5, a 2 = 2, we obtain In the next theorem, the set of solutions of problem (4.1) is not empty if is satisfied.then the solution exists.
Proof.We would like to show integral inequality (3.20).For that, we apply Theorem 3.1.In other words, we assume that λ fulfills problem (4.1), there exists only one non-trivial solution depending on λ, where is valid.Or equivalently, we have which results in the proof being completed.Then, we got a family of fractional eigenvalue boundary problems associated to each eigenvalue λ and therefore to each λ.As an example, for Hadamard fractional eigenvalue problem, we take λ(x) = log x, and (4.2) and by setting λ(x) = x, we get and so on.
5. Lyapunov's inequality for a general non-linear boundary value problems (BVP) We now have a general result compared to the one stated in [14].The tools of this investigation are the concavity of the function ξ (defined under below) and a construction of an appropriate Green's function GF.Let m 0 satisfying the following HFBVP where 1 < r ≤ l ≤ 2, and the function f : In turn, p and ξ satisfy (H 2 ) p : R → R continuous and positive and ξ : R → R is continuous, concave, and non-decreasing.The two functions, B and m, defined on [a 1 , a 2 ] into R + and R, respectively, are continuous.
The two assumed conditions, (H 1 ) and (H 2 ), enable us to establish the generalization of the previous results investigated recently in [13,14].
is satisfied, then (5.1) admits a non-null solution.
In order to do so, we recall the Jensen's inequality which is needed to prove Theorem 5.1 and involves a class of concave and non-decreasing functions.However, it is worth mentioning that problem (5.1) is still open for other classes of functions.
It seems interesting to know which kind of functions may realize Lyapunov's inequality other than the one cited here.

Jensen's inequality
Lemma 5.1.Let f be an integrable function defined on [a 1 , a 2 ], and let λ be a continuous and convex function defined at least on the set [M 1 , M 2 ] where M 1 is the infimum of f and M 2 is the supremum of f .Then, Proof.We consider a Banach space E defined by E := (C[a, b]) with the Chebyshev norm m := max t∈[a 1 ,a 2 ] |m(t)|.We have seen that the non-trivial solution m can be expressed in terms of GF as where we replace B(t)m(t) by f (p(B(t), ξ(m(t))).Consequently, we obtain In view of Lemma 5.1, and since ξ is concave and non-decreasing, we get from which the desired inequality is achieved.If we set λ(t) = t, and ξ(m) = m, we obtain the linear case.Additionally, p(B(t)) = B(t), then we retrieve the result obtained for Chidouh and Torres [13].Also, if we consider the function ξ non-linear in its argument m and we set p(B(t)) = B(t), we get the result found in Kirane and Berikbol [14].

On a wide class of Lyapunov-type inequalities
In this section, we present a large class of inequalities involving fractional derivatives by selecting some appropriate values of a 1 , a 2 , and r and l.Notice that l := r + β(2 − r).We start varying parameters β and l, and therefore β tends toward 1, therefore l = 2, and by setting p(B(s)) = B(s)(a 2 − a 1 ), we obtain the following generalized Lyapunov's inequality ( H D r,1;λ a 1 + m)(t) + f (B(t),m(t)) a 2 −a 1 = 0, a 1 < t < a 2 , m(a 1 ) = m(a 2 ) = 0, ( where 1 < r ≤ l ≤ 2, and the function f : R + × R → R is supposed to satisfy (H 1 ), and p and ξ to satisfy (H 2 ).The fractional derivative associated to this HFBVP is the λ-Caputo fractional derivative.
For the second part, by taking different eventual values of r, p(B(s)), and λ, we obtain several Lyapunov's inequalities.Here, we restrict ourselves to the following particular case.

Conclusions
The criterion of existence of non-trivial solutions for different classes of HFBVP is very interesting and considered by many researchers.The investigated questions related to this matter required an appropriate construction of the Green function.Although there have been great efforts by many researchers in determining Lyapunov's inequalities, the construction is not always a simple way to achieve this.In this article, we constructed a new one based on λ-Hilfer and its properties.The investigated tools led us to achieve a large class of non-linear boundary value problems involving λ-Hilfer.In a similar way, one may consider the same fractional differential equation subject to different boundary conditions.An implication to ponder is to consider λ-Hilfer for an FDE with a Ψ-Hilfer for a class of fractional derivative boundary conditions that may matter in different disciplines such as oscillation theory, physical problems, and related ones.