Skip to main content

Some notes on conformable fractional Sturm–Liouville problems

Abstract

The conformable fractional eigenvalue problem

$$\begin{aligned} -D_{x}^{\alpha }D_{x}^{\alpha }y+q(x)y=\lambda \rho (x)y \end{aligned}$$

is considered. We employ an easy and efficient method to derive its eigenvalue asymptotic expansion. On the basis of this result, we also investigate Ambarzumyan problems related to this eigenvalue problem as an application.

Introduction

Fractional calculus is a generalization of integer differential calculus, allowing to define integrals and derivatives of real or complex order. Various types of fractional derivatives, such as Riemann–Liouville, Caputo, Grunwald–Letnikov, Riesz and Weyl, have been introduced. All of them are defined via fractional integrals, thus they inherit nonlocal properties from integral. This leads to failure to satisfy some of the basic properties owned by usual derivatives, e.g., the product rule, chain rule, Rolle’s theorem, mean value theorem, and composition rule. These inconsistencies come with difficulties and inconvenience in mathematical analysis. For this reason, some scholars introduced the concept of local fractional derivatives [5, 9, 12, 14, 20]. In 2014, Khalil et al. introduced a new local fractional derivative, called the conformable fractional derivative (CFD) [13]. Now this subject is under strong development, see [2, 7, 10, 11] and the references therein. Later, Al-Refai and Abdeljawad [6] investigated the conformable fractional Sturm–Liouville problem (CFSLP) and showed that the eigenvalues are real and simple and the eigenfunctions corresponding to distinct eigenvalues are orthogonal. Also, they established a fractional Rayleigh quotient result that can be used to estimate the first eigenvalue.

However, some authors have argued that conformable fractional derivative is not a truly fractional operator [1, 1619]. And the physical interpretation and some potential applications of this derivative seem not solid. In [8], the authors pointed out that the conformable derivative really results from the ordinary derivative with the change of \(x\rightarrow \frac{x^{\alpha }}{\alpha }\) when applied to differential functions. They also tried to contribute to the physical interpretation when these derivatives are applied to physics and engineering. In another recent paper [21], the authors provided a good account of heredity/nonheredity and locality/nonlocality. They introduced a general conformable fractional derivative (GCFD) and gave the physical and geometrical interpretations of GCFD. The above is done by a new framework named extended Gâteaux derivative and linear extended Gâteaux derivative which are natural extensions of Gâteaux derivative. So, in our opinion, the exploration of the conformable derivative and its generalizations can still be interesting and valuable.

In this note we consider the CFSLP

$$\begin{aligned} &{-}D_{x}^{\alpha }D_{x}^{\alpha }y+q(x)y=\lambda \rho (x)y,\quad \text{on }(0,1), \end{aligned}$$
(1)
$$\begin{aligned} &y(0)=y(1)=0, \end{aligned}$$
(2)

where λ is the spectral parameter and \(D_{x}^{\alpha }\) is the conformable fractional derivative of order α. In 2020, Mortazaasl and Akbarfam [15] developed some spectral theories for the CFSLP with \(\rho \equiv 1\) and deduced the asymptotic behavior of eigenvalues and eigenfunctions by analyzing the conformable fractional Volterra integral equations. They also 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,1)\) for sufficiently large n. Also in [4], uniqueness theorems for the solutions of inverse problems according to the Weyl function, two given spectra, classical spectral data, and mixed data are studied. Ambarzumyan-type problems are investigated for the conformable fractional Sturm–Liouville operator in [3]. Motivated by the idea in [3, 4, 6, 15], we intend to give an alternative proof (an easy method) for eigenvalue asymptotic estimates and acquire an application of Ambarzumyan problems as a consequence. For \(q\equiv 0\) and \(\rho \equiv 1\), it is known that the eigenfunctions of (1) are \(\sin (n\pi x^{\alpha })\) and the corresponding eigenvalues are \((\alpha n\pi )^{2}\) via a direct calculation. Note that, for \(q\equiv 0\) and \(\alpha =1\), (1) is a string equation and ρ is called a density function. For general q and ρ, we plan to apply an easy and efficient method, the Prüfer angle approach, to achieve our goal. Throughout this note we assume that the following conditions hold:

(\(C_{1}\)):

\(\alpha \in (\frac{1}{2},1]\), \(q\in C[0,1]\);

(\(C_{2}\)):

\(\rho >0\) with \(\rho \in C^{2}(0,1)\).

The following is the first result.

Theorem 1.1

(Eigenvalue asymptotics)

  1. (i)

    For the potential type of (1)(2), \(\rho \equiv 1\), the Dirichlet eigenvalue \(\lambda _{n}\) satisfies

    $$\begin{aligned} \sqrt{\lambda _{n}}=\alpha n\pi +\frac{1}{2n\pi } \int _{0}^{1}x^{ \alpha -1}q(x)\,dx+o\biggl( \frac{1}{n}\biggr) \end{aligned}$$
    (3)

    for sufficiently large n.

  2. (ii)

    For the density type of (1)(2), \(q\equiv 0\), the eigenvalue \(\lambda _{n}\) satisfies

    $$\begin{aligned} \sqrt{\lambda _{n}} \int _{0}^{1}x^{\alpha -1}\rho ^{1/2}(x) \,dx=n\pi +O\biggl( \frac{1}{n}\biggr) \end{aligned}$$
    (4)

    for sufficiently large n.

In virtue of Theorem 1.1 and the fractional Rayleigh quotient result [6], we turn to study the Ambarzumyan problems related to (1). The following is the second result.

Theorem 1.2

(Ambarzumyan problems)

Consider the potential type of (1), \(\rho \equiv 1\).

  1. (i)

    If the eigenvalues of (1)(2) are \(\lambda _{n}=(\alpha n\pi )^{2}\), \(n\in \mathbb{N}\), and the function q satisfies

    $$\begin{aligned} \int _{0}^{1}x^{\alpha -1}q(x)\cos \bigl(2\pi x^{\alpha }\bigr)\,dx=0, \end{aligned}$$
    (5)

    then \(q\equiv 0\) on \((0,1)\).

  2. (ii)

    If the Neumann eigenvalues of (1) coupled with \(D_{x}^{\alpha }y(0)=D_{x}^{\alpha }y(1)=0\) are \(\mu _{n}=[\alpha (n-1)\pi ]^{2}\), then \(q\equiv 0\) on \((0,1)\).

Some preliminaries and proofs of the main results

In this section, we first recall the elementary definitions and properties of conformable fractional calculus for the reader’s convenience.

Definition 2.1

(cf. [2, 13])

Let \(0< \alpha \leq 1\) and \(f:[0,\infty )\rightarrow \mathbb{R}\).

  1. (i)

    The conformable fractional derivative of f of order α at \(x>0\) is defined by

    $$\begin{aligned} D_{x}^{\alpha }f(x)=\lim_{\epsilon \rightarrow 0} \frac{f(x+\epsilon x^{1-\alpha })-f(x)}{\epsilon }, \end{aligned}$$

    and the conformable fractional derivative at 0 is defined as \(D_{x}^{\alpha }f(0)=\lim_{x\rightarrow 0^{+}}D_{x}^{\alpha }f(x)\). Note that if f is differentiable, then

    $$\begin{aligned} D_{x}^{\alpha }f(x)=x^{1-\alpha }f'(x), \end{aligned}$$
    (6)

    where \('=\frac{d}{dx}\) is the ordinary derivative with respect to x. If \(D_{x}^{\alpha }f(x_{0})\) exists, one can say that f is α-differentiable at \(x_{0}\).

  2. (ii)

    The conformable fractional integral of f of order α is defined by

    $$\begin{aligned} I_{\alpha }f(x)= \int _{0}^{x}t^{\alpha -1}f(t)\,dt\quad \text{for }x>0. \end{aligned}$$

Proposition 2.2

(cf. [2, 13, 15])

  1. (i)

    Let \(f:[0,\infty )\rightarrow \mathbb{R}\) be any continuous function. Then, for all \(x>0\), we have

    $$\begin{aligned} D_{x}^{\alpha }I_{\alpha }f(x)=f(x). \end{aligned}$$
    (7)
  2. (ii)

    Let \(f:(0,b)\rightarrow \mathbb{R}\) be differentiable. Then, for \(x>0\), we have

    $$\begin{aligned} I_{\alpha }D_{x}^{\alpha }f(x)=f(x)-f(0). \end{aligned}$$
    (8)
  3. (iii)

    For all \(p\in \mathbb{R}\), \(D_{x}^{\alpha }(x^{p})=px^{p-\alpha }\).

  4. (iv)

    Let \(f,g:(0,\infty )\rightarrow \mathbb{R}\) be α-differentiable. Then

    $$\begin{aligned} D_{x}^{\alpha }(fg)=\bigl(D_{x}^{\alpha }f \bigr)g+f\bigl(D_{x}^{\alpha }g\bigr) \end{aligned}$$
    (9)

    and

    $$\begin{aligned} D_{x}^{\alpha }\biggl(\frac{f}{g}\biggr)= \frac{(D_{x}^{\alpha }f)g-f(D_{x}^{\alpha }g)}{g^{2}}\quad \textit{with }g\neq 0. \end{aligned}$$
    (10)
  5. (v)

    (α-chain rule) Let \(f,g:(0,\infty )\rightarrow \mathbb{R}\) be α-differentiable and \(h(x)=f(g(x))\). Then \(h(x)\) is α-differentiable, and for all x with \(x\neq 0\) and \(g(x)\neq 0\), we have

    $$\begin{aligned} D_{x}^{\alpha }h(x)=D_{x}^{\alpha }f \bigl(g(x)\bigr)\cdot D_{x}^{\alpha }g(x) \cdot g(x)^{\alpha -1}. \end{aligned}$$
    (11)
  6. (vi)

    (α-integration by parts) Let \(f,g:[a,b]\rightarrow \mathbb{R}\) be two functions such that fg is differentiable. Then

    $$\begin{aligned} \int _{a}^{b}x^{\alpha -1}f(x)D_{x}^{\alpha }g(x) \,dx=f(x)g(x)|_{a}^{b}- \int _{a}^{b}x^{\alpha -1}g(x)D_{x}^{\alpha }f(x) \,dx. \end{aligned}$$
    (12)

Proof of Theorem 1.1

(i) For \(\rho \equiv 1\), define

$$\begin{aligned} y(x)=r(x)\sin \bigl(\sqrt{\lambda }\theta (x)\bigr)\quad \text{and}\quad D_{x}^{\alpha }y(x)= \sqrt{\lambda }r(x)\cos \bigl(\sqrt{\lambda } \theta (x)\bigr). \end{aligned}$$
(13)

Taking

$$\begin{aligned} D_{x}^{\alpha } \biggl(\frac{D_{x}^{\alpha }y(x)}{y(x)} \biggr)=D_{x}^{ \alpha } \biggl( \frac{\sqrt{\lambda }\cos (\sqrt{\lambda }\theta (x))}{\sin (\sqrt{\lambda }\theta (x))} \biggr) \end{aligned}$$

and applying (1), one can obtain the phase equation

$$\begin{aligned} \theta '(x)=x^{\alpha -1} \biggl[1- \frac{q(x)}{\lambda }\sin ^{2}\bigl(\sqrt{ \lambda }\theta (x)\bigr) \biggr]. \end{aligned}$$
(14)

With each eigenvalue \(\lambda _{n}\) of (1), one can associate the Prüfer angle \(\theta _{n}(x)\equiv \theta (x;\lambda _{n})\) via (13) if one also specifies the initial condition

$$\begin{aligned} \theta _{n}(0)=0,\quad n=1,2,3,\ldots. \end{aligned}$$

In particular, \(\theta _{n}(1)=n\pi \). Integrating (14) over \([0,x]\) with \(\lambda =\lambda _{n}\), one can obtain

$$\begin{aligned} \theta _{n}(x)=\frac{1}{\alpha }x^{\alpha }- \frac{1}{\lambda _{n}} \int _{0}^{x}t^{ \alpha -1}q(t)\sin ^{2} \bigl(\sqrt{\lambda _{n}}\theta _{n}(t)\bigr)\,dt. \end{aligned}$$
(15)

Besides, integrating (14) over \([0,1]\) with \(\lambda =\lambda _{n}\), one has

$$\begin{aligned} \frac{n\pi }{\sqrt{\lambda _{n}}}=\frac{1}{\alpha }- \frac{1}{\lambda _{n}} \int _{0}^{1}x^{\alpha -1}q(x)\sin ^{2} \bigl(\sqrt{ \lambda _{n}}\theta _{n}(x)\bigr)\,dx. \end{aligned}$$
(16)

That is,

$$\begin{aligned} \sqrt{\lambda _{n}}&=\alpha n\pi +\frac{\alpha }{\sqrt{\lambda _{n}}} \int _{0}^{1}x^{\alpha -1}q(x)\sin ^{2} \bigl(\sqrt{\lambda _{n}}\theta _{n}(x)\bigr)\,dx \\ &=\alpha n\pi +\frac{\alpha }{2\sqrt{\lambda _{n}}} \int _{0}^{1}x^{ \alpha -1}q(x)\,dx - \frac{\alpha }{2\sqrt{\lambda _{n}}} \int _{0}^{1}x^{ \alpha -1}q(x)\cos \bigl(2\sqrt{ \lambda _{n}}\theta _{n}(x)\bigr)\,dx \end{aligned}$$
(17)
$$\begin{aligned} &=\alpha n\pi +O\biggl(\frac{1}{n}\biggr) \end{aligned}$$
(18)

for sufficiently large n. Substituting (18) into (15), for sufficiently large n one can obtain

$$\begin{aligned} \sqrt{\lambda _{n}}\theta _{n}(x)=n\pi x^{\alpha }+O\biggl(\frac{1}{n}\biggr). \end{aligned}$$
(19)

Then the second integral term in (17) becomes

$$\begin{aligned} \int _{0}^{1}x^{\alpha -1}q(x)\cos \bigl(2\sqrt{ \lambda _{n}}\theta _{n}(x)\bigr)\,dx&= \int _{0}^{1}x^{ \alpha -1}q(x)\cos \bigl(2n\pi x^{\alpha }\bigr)\,dx+o(1) \\ &=\frac{1}{\alpha } \int _{0}^{1}q\bigl(s^{1/\alpha }\bigr)\cos (2n \pi s)\,ds+o(1) \\ &=o(1) \end{aligned}$$
(20)

for sufficiently large n by the Riemann–Lebesgue lemma. Substituting (18) and (20) into (17), the Dirichlet eigenvalue asymptotic expansion (3) is valid.

(ii) For \(q\equiv 0\), introduce another Prüfer-type substitution

$$\begin{aligned} \lambda ^{1/2}\rho ^{1/2}(x)y(x)=R(x)\sin \bigl( \phi (x)\bigr)\quad \text{and}\quad D_{x}^{ \alpha }y(x)=R(x)\cos \bigl(\phi (x) \bigr). \end{aligned}$$
(21)

Taking

$$\begin{aligned} D_{x}^{\alpha } \biggl( \frac{D_{x}^{\alpha }y(x)}{\lambda ^{1/2}\rho ^{1/2}(x)y(x)} \biggr)=D_{x}^{ \alpha } \biggl(\frac{\cos (\phi (x))}{\sin (\phi (x))} \biggr) \end{aligned}$$

and applying (1), one can obtain

$$\begin{aligned} \phi '(x)=\lambda ^{1/2}\rho ^{1/2}(x)x^{\alpha -1}+\frac{1}{4} \biggl( \frac{\rho '(x)}{\rho (x)} \biggr)\sin 2\phi (x). \end{aligned}$$
(22)

With each eigenvalue \(\lambda _{n}\) of (1), one can associate the Prüfer angle \(\phi _{n}(x)\equiv \phi (x;\lambda _{n})\) via (21) if one also specifies the initial condition

$$\begin{aligned} \phi _{n}(0)=0, \quad n=1,2,3,\ldots. \end{aligned}$$

In particular, \(\phi _{n}(1)=n\pi \). Now integrating both sides of (22) with \(\lambda =\lambda _{n}\), one can obtain

$$\begin{aligned} n\pi =\lambda _{n}^{1/2} \int _{0}^{1}x^{\alpha -1}\rho ^{1/2}(x) \,dx+ \frac{1}{4} \int _{0}^{1} \biggl(\frac{\rho '(x)}{\rho (x)} \biggr) \sin 2\phi _{n}(x)\,dx. \end{aligned}$$
(23)

Note that if \(\phi _{n}'(x)=0\) is valid in some subinterval of \((0,1)\), \(\sin 2\phi _{n}(x)\) will be constant in this subinterval. This implies that the function \(\rho (x)\) depends on \(\lambda _{n}\) in this subinterval from (22). This will contradict our original problem. Hence, the points satisfying \(\phi _{n}'(x)=0\) shall be isolated. Let \(f(x)=\rho ^{-1/2}(x)\), and then \(-2\rho ^{1/2}f'= (\frac{\rho '}{\rho } )\). Note that, for sufficiently large n, by (22), one has

$$\begin{aligned} \frac{1}{4} \biggl(\frac{\rho '}{\rho } \biggr)\sin 2\phi _{n}&=\frac{1}{4}\bigl(-2 \rho ^{1/2}f' \bigr)\sin 2\phi _{n} \frac{\phi _{n}'}{\lambda _{n}^{1/2}\rho ^{1/2}x^{\alpha -1}+\frac{1}{4} (-2\rho ^{1/2}f' )\sin 2\phi _{n}} \\ &=- \biggl(\frac{1}{2}\lambda _{n}^{-1/2}x^{1-\alpha }f' \sin 2\phi _{n} \biggr) \frac{\phi _{n}'}{1-\frac{1}{2}\lambda _{n}^{-1/2}x^{1-\alpha }f'\sin 2\phi _{n}} \\ &=-\sum_{k=0}^{\infty } \biggl( \frac{1}{2}\lambda _{n}^{-1/2}x^{1- \alpha }f' \sin 2\phi _{n} \biggr)^{k+1}\phi _{n}' \\ &=-\frac{\lambda _{n}^{-1/2}}{2}x^{1-\alpha }f'\sin 2\phi _{n} \cdot \phi _{n}'+O\biggl(\frac{1}{\lambda _{n}^{1/2}}\biggr). \end{aligned}$$

Then, by (23), for sufficiently large n, one gets

$$\begin{aligned} n\pi ={}&\lambda _{n}^{1/2} \int _{0}^{1}x^{\alpha -1}\rho ^{1/2}(x) \,dx- \frac{\lambda _{n}^{-1/2}}{2} \int _{0}^{1}x^{1-\alpha }f'(x)\sin 2 \phi _{n}\cdot \phi _{n}'\,dx +O\biggl( \frac{1}{\lambda _{n}^{1/2}}\biggr) \\ ={}&\lambda _{n}^{1/2} \int _{0}^{1}x^{\alpha -1}\rho ^{1/2}(x) \,dx- \frac{\lambda _{n}^{-1/2}}{2} \biggl(f'(1)- \int _{0}^{1}\frac{d}{dx}\bigl[x^{1- \alpha }f'(x) \bigr]\cos 2\phi _{n}\,dx \biggr) \\ &{}+O\biggl(\frac{1}{\lambda _{n}^{1/2}}\biggr) \\ ={}&\lambda _{n}^{1/2} \int _{0}^{1}x^{\alpha -1}\rho ^{1/2}(x) \,dx+O\biggl( \frac{1}{\lambda _{n}^{1/2}}\biggr). \end{aligned}$$
(24)

Therefore, one can obtain the eigenvalue asymptotic

$$\begin{aligned} \sqrt{\lambda _{n}} \int _{0}^{1}x^{\alpha -1}\rho ^{1/2}(x) \,dx=n\pi +O\biggl( \frac{1}{n}\biggr). \end{aligned}$$
(25)

 □

Remark 2.3

Assume that \(\rho \equiv 1\). For the same issue for (1) coupling with the Neumann boundary conditions \(D_{x}^{\alpha }y(0)=D_{x}^{\alpha }y(1)=0\), one can derive the similar expansion by the following arguments. From the phase equation (14), let \(\lambda =\mu _{n}\) with \(\theta _{n}(0)=\frac{\pi }{2}\) and \(\theta _{n}(1)=(n-\frac{1}{2})\pi \). Applying the same calculation, one can obtain

$$\begin{aligned} \sqrt{\mu _{n}}=\alpha (n-1)\pi +\frac{1}{2(n-1)\pi } \int _{0}^{1}x^{ \alpha -1}q(x)\,dx+o\biggl( \frac{1}{n}\biggr) \end{aligned}$$
(26)

for sufficiently large n.

Before proving Theorem 1.2, we have to quote the fractional Rayleigh quotient result from [6].

Proposition 2.4

([6, Lemma 12])

For the fractional eigenvalue problem (1) it holds that

$$\begin{aligned} \lambda _{1}=\min_{y\neq 0} \frac{\int _{0}^{1}x^{\alpha -1}(D_{x}^{\alpha }y(x))^{2}\,dx-\int _{0}^{1}x^{\alpha -1}q(x)(y(x))^{2}\,dx}{\int _{0}^{1}x^{\alpha -1}(y(x))^{2}\,dx}. \end{aligned}$$
(27)

Now it suffices to give the proof of Theorem 1.2.

Proof of Theorem 1.2

(i) By the eigenvalue estimates (3), one has

$$\begin{aligned} \int _{0}^{1}x^{\alpha -1}q(x)\,dx=0. \end{aligned}$$
(28)

Next, under the assumption, we will show that \(\sin (\pi x^{\alpha })\) is the first eigenfunction and then apply Proposition 2.4. Now \(\sin (\pi x^{\alpha })\) satisfies (2) and

$$\begin{aligned} (\alpha \pi )^{2}=\lambda _{1}\leq \frac{\int _{0}^{1}x^{\alpha -1}(D_{x}^{\alpha }\sin (\pi x^{\alpha }))^{2}\,dx-\int _{0}^{1}x^{\alpha -1}q(x)\sin ^{2} (\pi x^{\alpha })\,dx}{\int _{0}^{1}x^{\alpha -1}\sin ^{2}(\pi x^{\alpha })\,dx}, \end{aligned}$$
(29)

where

$$\begin{aligned} & \int _{0}^{1}x^{\alpha -1}\bigl(D_{x}^{\alpha } \sin \bigl(\pi x^{\alpha }\bigr)\bigr)^{2}\,dx= \int _{0}^{1}x^{\alpha -1}(\alpha \pi )^{2}\cos ^{2}\bigl(\pi x^{\alpha }\bigr)\,dx= \frac{\alpha \pi ^{2}}{2}, \\ & \int _{0}^{1}x^{\alpha -1}q(x)\sin ^{2} \bigl(\pi x^{\alpha }\bigr)\,dx= \frac{1}{2} \biggl( \int _{0}^{1}x^{\alpha -1}q(x)\,dx- \int _{0}^{1}x^{ \alpha -1}q(x)\cos \bigl(2\pi x^{\alpha }\bigr)\,dx \biggr)=0 \end{aligned}$$

and

$$\begin{aligned} \int _{0}^{1}x^{\alpha -1}\sin ^{2} \bigl(\pi x^{\alpha }\bigr)\,dx=\frac{1}{2} \int _{0}^{1}x^{\alpha -1}\bigl(1-\cos \bigl(2\pi x^{\alpha }\bigr)\bigr)\,dx= \frac{1}{2\alpha } \end{aligned}$$

by (5) and (28). The above shows that \(\sin (\pi x^{\alpha })\) achieves the minimum value and is thus the first eigenfunction. Substituting this into (1), we obtain \(q\equiv 0\) on \((0,1)\).

(ii) By (26),

$$\begin{aligned} \int _{0}^{1}x^{\alpha -1}q(x)\,dx=0. \end{aligned}$$

Let \(y_{1}(x)\) be the first Neumann eigenfunction with \(\mu _{1}=0\). One may assume, without loss of generality, that \(y_{1}(x)>0\) on \([0,1]\). Taking into account the relation

$$\begin{aligned} D_{x}^{\alpha } \biggl(\frac{D_{x}^{\alpha }y_{1}(x)}{y_{1}(x)} \biggr)=q(x)- \biggl( \frac{D_{x}^{\alpha }y_{1}(x)}{y_{1}(x)} \biggr)^{2}, \end{aligned}$$

one can obtain

$$\begin{aligned} 0&= \int _{0}^{1}x^{\alpha -1}q(x)\,dx=\biggl[ \frac{D_{x}^{\alpha }y_{1}(x)}{y_{1}(x)}\biggr]_{0}^{1}+ \int _{0}^{1}x^{ \alpha -1} \biggl( \frac{D_{x}^{\alpha }y_{1}(x)}{y_{1}(x)} \biggr)^{2}\,dx \\ &= \int _{0}^{1}x^{\alpha -1} \biggl( \frac{D_{x}^{\alpha }y_{1}(x)}{y_{1}(x)} \biggr)^{2}\,dx. \end{aligned}$$

Then \(D_{x}^{\alpha }y_{1}(x)=0\) on \((0,1)\), and hence \(y_{1}(x)\) is a constant on \((0,1)\). This implies \(q\equiv 0\) on \((0,1)\). □

Availability of data and materials

Not applicable.

References

  1. Abdelhakim, A.A., Machado, J.A.T.: A critical analysis of the conformable derivative. Nonlinear Dyn. 95, 3063–3073 (2019)

    Article  Google Scholar 

  2. Abdeljawad, T.: On conformable fractional calculus. J. Comput. Appl. Math. 279, 57–66 (2015)

    MathSciNet  Article  Google Scholar 

  3. Adalar, I.: Ambarzumyan-type theorem for conformable Sturm–Liouville problem. In: 7th International Congress on Fundamental and Applied Sciences, Prishtina, Kosovo, 6 October (2020)

    Google Scholar 

  4. Adalar, I., Ozkan, A.S.: Inverse problems for a conformable fractional Sturm–Liouville operator. J. Inverse Ill-Posed Probl. 28(6), 775–782 (2020)

    MathSciNet  Article  Google Scholar 

  5. Adda, F.B., Cresson, J.: About non-differentiable functions. J. Math. Anal. Appl. 263(2), 721–737 (2001)

    MathSciNet  Article  Google Scholar 

  6. Al-Refai, M., Abdeljawad, T.: Fundamental results of conformable Sturm–Liouville eigenvalue problems. Complexity 2017, Article ID 3720471 (2017)

    MathSciNet  Article  Google Scholar 

  7. Anderson, D.R., Avery, R.I.: Fractional-order boundary value problem with Sturm–Liouville boundary conditions. Electron. J. Differ. Equ. 2015, 29 (2015)

    MathSciNet  Article  Google Scholar 

  8. Anderson, D.R., Camrud, E., Ulness, D.J.: On the nature of the conformable derivative and its applications to physics. J. Fract. Calc. Appl. 10(2), 92–135 (2019)

    MathSciNet  Google Scholar 

  9. Babakhani, A., Daftardar-Gejji, V.: On calculus of local fractional derivatives. J. Math. Anal. Appl. 270(1), 66–79 (2002)

    MathSciNet  Article  Google Scholar 

  10. Batarfi, H., Losada, J., Nieto, J.J., Shammakh, W.: Three-point boundary value problems for conformable fractional differential equations. J. Funct. Spaces 2015, Article ID 706383 (2015)

    MathSciNet  MATH  Google Scholar 

  11. Bayour, B., Torres, D.F.M.: Existence of solution to a local fractional nonlinear differential equation. J. Comput. Appl. Math. 321, 127–133 (2017)

    MathSciNet  Article  Google Scholar 

  12. Chen, Y., Yan, Y., Zhang, K.: On the local fractional derivative. J. Math. Anal. Appl. 362(1), 17–33 (2010)

    MathSciNet  Article  Google Scholar 

  13. Khalil, R., Al Horani, M., Yousef, A., Sababheh, M.: A new definition of fractional derivative. J. Comput. Appl. Math. 264, 65–70 (2014)

    MathSciNet  Article  Google Scholar 

  14. Kolwankar, K.M., Gangal, A.D.: Fractional differentiability of nowhere differentiable functions and dimensions, chaos: an interdisciplinary. J. Nonlinear Sci. 6(4), 505–513 (1996)

    MATH  Google Scholar 

  15. Mortazaasl, H., Akbarfam, A.J.: Trace formula and inverse nodal problem for a conformable fractional Sturm–Liouville problem. Inverse Probl. Sci. Eng. 28(4), 524–555 (2020)

    MathSciNet  Article  Google Scholar 

  16. Ortigueira, M.D., Martynyuk, V., Fedula, M., Machado, J.T.: The failure of certain fractional calculus operators in two physical models. Fract. Calc. Appl. Anal. 22(2), 255–270 (2019)

    MathSciNet  Article  Google Scholar 

  17. Ortigueira, M.D., Tenreiro Machado, J.A.: What is a fractional derivative? J. Comput. Phys. 293, 4–13 (2015)

    MathSciNet  Article  Google Scholar 

  18. Tarasov, V.E.: No violation of the Leibniz rule. No fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 18(11), 2945–2948 (2013)

    MathSciNet  Article  Google Scholar 

  19. Tarasov, V.E.: No nonlocality. No fractional derivative. Commun. Nonlinear Sci. Numer. Simul. 62, 157–163 (2018)

    MathSciNet  Article  Google Scholar 

  20. Xiaojun, Y., Baleanu, D.: Fractal heat conduction problem solved by local fractional variation iteration method. Therm. Sci. 17(2), 625 (2013)

    Article  Google Scholar 

  21. Zhao, D., Luo, M.: General conformable fractional derivative and its physical interpretation. Calcolo 54, 903–917 (2017)

    MathSciNet  Article  Google Scholar 

Download references

Acknowledgements

This work is partially supported by the Ministry of Science and Technology, Taiwan, under contract no. MOST 109-2115-M-507-001.

Funding

Not applicable.

Author information

Authors and Affiliations

Authors

Contributions

The author wrote the draft and derived the theorem. He also read and approved the final manuscript.

Corresponding author

Correspondence to Wei-Chuan Wang.

Ethics declarations

Ethics approval and consent to participate

Not applicable.

Consent for publication

Not applicable.

Competing interests

The author declares that he has no competing interests.

Additional information

Abbreviations

Not applicable.

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 http://creativecommons.org/licenses/by/4.0/.

Reprints and Permissions

About this article

Verify currency and authenticity via CrossMark

Cite this article

Wang, WC. Some notes on conformable fractional Sturm–Liouville problems. Bound Value Probl 2021, 103 (2021). https://doi.org/10.1186/s13661-021-01581-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-021-01581-y

Keywords

  • Conformable fractional Sturm–Liouville problem
  • Eigenvalue expansion
  • Prüfer-type substitution
  • Ambarzumyan problem