The dual eigenvalue problems of the conformable fractional Sturm–Liouville problems

In this paper, we are concerned with the eigenvalue gap and eigenvalue ratio of the Dirichlet conformable fractional Sturm–Liouville problems. We show that this kind of differential equation satisfies the Sturm–Liouville property by the Prüfer substitution. That is, the nth eigenfunction has n−1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$n-1$\end{document} zero in (0,π)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$( 0,\pi ) $\end{document} for n∈N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$n\in \mathbb{N}$\end{document}. Then, using the homotopy argument, we find the minimum of the first eigenvalue gap under the class of single-well potential functions and the first eigenvalue ratio under the class of single-barrier density functions. The result of the eigenvalue gap is different from the classical Sturm–Liouville problem.

Here, λ is the spectral parameter, ρ(x), q(x) ∈ L 2 α (0, π) are real, ρ(x) > 0 a.e., and D α x is the conformable fractional derivative of order α, 0 < α ≤ 1. This type of fractional derivative was first studied by Khalil et al. in 2014 [17]. One can also see [1,6] for some basic properties and main results. The conformable fractional Sturm-Liouville problems (CF-SLP) have been studied in various areas of science and in many fields in engineering, see [4,11,13] and the references therein. In particular, Zhao and Luo [21] gave physical and geometrical interpretations of the conformable derivative and generalized the definition of conformable fractional derivative by means of linear extended Gâteaux derivative to general conformable fractional derivative.
In 2017, Al-Refai and Abdeljawad [3] showed that the eigenvalues of the CFSLP with separated boundary conditions which include conformable fractional derivatives of order α, 1/2 < α ≤ 1, are all real and simple. In particular, the eigenfunctions corresponding to distinct eigenvalues are α-orthogonal with respect to the weight function ρ(x). They also gave the fractional Rayleigh quotient to identify the eigenvalues. Recently, Mortazaasl and Akbarfam [19] investigated the trace formula of the eigenvalues and studied the inverse nodal problem of the CFSLP with conformable fractional boundary conditions of order α, 0 < α ≤ 1. They showed that the eigenvalues of the CFSLP with separated boundary conditions are all real and simple, and the nth eigenfunction has precisely n -1 nodes in the interval (0, π) for sufficiently large n. They also solved the uniqueness problem of the inverse nodal problem and gave a reconstruction formula by using the nodal data.
Meanwhile, Adalar and Ozkan [2] studied the inverse spectral problems of the CFSLP and gave uniqueness theorems according to the Weyl function, two eigenvalues-sets, and the sequences which consist of eigenvalues and norming constants.
For the classical Sturm-Liouville problem -y + q(x)y = λρ(x)y, the optimal estimates of eigenvalue gaps and eigenvalue ratios have attracted much attention for a long time, see [5,10,[14][15][16]18]. What we call the dual problem here is the focus on the issue related to the eigenvalue gap of the Schrödinger equation -y + q(x)y = λy and the eigenvalue ratio of the string equation -y = λρ(x)y. It was showed that, for the Dirichlet Schrödinger equation, the constant potential function gives the minimal eigenvalue gaps λ 2λ 1 when the potential function q is assumed to be convex [18], symmetric single-well [5], or single-well [14]. On the restriction of the space E[h, H, M] ≡ {q : h ≤ q ≤ H, π 0 q(x) dx = M}, the symmetric 1-step function gives the minimal eigenvalue gap [10]. On the other hand, for the Dirichlet string equation, the constant density function gives the minimal eigenvalue ratio λ 2 /λ 1 when the density function ρ is assumed to be concave, symmetric single-barrier [15], or single-barrier [14]. On the restriction of the space E[h, H, M], the symmetric 1-step function gives the minimal eigenvalue ratio [16]. It shall be mentioned that Cheng et al. [9] in 2014 investigated the dual eigenvalue problems of the Dirichlet Sturm-Liouville problem with the p-Laplacian operator and showed that λ 2λ 1 ≥ 2 p -1 for the Schrödinger type equation with ρ(x) ≡ 1 and single-well potential functions, while λ 2 /λ 1 ≥ 2 p for the string type equation with q(x) ≡ 0 and single-barrier density functions. In particular, the equalities hold when the potential function and the density function are constant in each case respectively.
In the present paper, we consider the first eigenvalue gap λ 2λ 1 and eigenvalue ratio λ 2 /λ 1 of the Dirichlet CFSLP. By the help of the Prüfer substitution, we show the nth eigenfunction has n -1 zeros in (0, π) for n ∈ N. This generalizes one result of [19]. Then, using the homotopy argument, we find the minimum of λ 2λ 1 and λ 2 /λ 1 .

Theorem 1.2 Consider the CFSLP with q(x) ≡ 0 and single-barrier density functions with a transition point at π/2. Then
Equality holds if and only if ρ is constant.
Remark 1 By setting ρ(x) ≡ 1 and q(x) ≡ 0 for all x ∈ [0, π], the first two eigenvalues are and the corresponding normalized eigenfunctions are We find that the eigenvalue gap is while the eigenvalue ratio is This shows that the minimum of λ 2λ 1 does not occur at the constant potential. This is not the same as the classical Sturm-Liouville problems. The constant potential is the minimizer of λ 2λ 1 only if α = 1. However, the minimizer of the eigenvalue ratio is the same as the classical Sturm-Liouville problems.
This paper is organized as follows. In Sect. 2, we give some basic definitions and properties of the conformable fractional calculus. We also give some lemmas that would help us to prove the main theorems. Finally, we prove our main results, Theorems 1.1-1.2, in Sect. 3.

Preliminaries
In this section, we first introduce basic definitions and properties of the conformable fractional calculus theory that can be found in [1,17]. (a) The conformation fractional derivative of f of order α is defined by for all x > 0.
(b) The conformation fractional integral of f of order α is defined by for all x > 0. Here, the last integral is the usual Riemann improper integral.
Next, we introduce two lemmas that will be used when we prove the main theorems. In the proof of the main theorems, we transfer the problems of finding the eigenvalue gap/ratio of the CFSLP to the problems of finding the zero gap/ratio of some trigonometric equations. There is a p-Laplacian version in [9], and we set p = 2 in this paper.  At the end of this section, we show that the CFSLP satisfies the Sturm-Liouville property, i.e., the CFSLP has infinitely many eigenvalues {λ n } n∈N satisfying λ 1 < λ 2 < · · · < λ n < · · · , and the corresponding eigenfunction y(x, λ n ) has n -1 zeros in (0, π). Define the modified Prüfer substitution We find This implies that It can be showed that F(x, t) ≡ x α-1 [cos 2 (t) + (λρ(x)q(x)) sin 2 (t)] is Lipschitz in t. In particular, by analyzing the function θ , we can prove Lemma 2.4. The proof is similar to [20, Lemma 2.3] so we omit it here. One can also refer to [7,8,12].
Then we havė Hence, by the α-integration by parts, This completes the proof.

Proof of the main theorems
Proof of Theorem 1.1 For M > 0, we denote is bounded on Q M , and hence E[q] attains its minimum at some q 0 in Q M . Taking q(x) ∈ Q M that will be assigned in the following, we define by q(x, s) ≡ sq(x)+ (1s)q 0 (x) a one-parameter family of potential functions where s ∈ [0, 1]. By Lemma 2.5, there exist 0 ≤ x -< x 0 < x + ≤ π such that y 2 (x 0 , 0) = 0 and < 0 on (x -, x + ).
In the following, we show that the case x -≤ π/2 ≤ x + is the only possibility.
(a) Assume x -≤ π/2 ≤ x + . Let By the optimality of q 0 , we find that This implies that q 0 (x) = q(x) on (0, π) is a one-step function. (b) Assume x -> π/2 (the case for x + < π/2 is similar). Without loss of generality, we assume that q is of the form M on (x -, π).