REVIEW 3 major objections 3 minor 33 references
Inverse problems for a conformable fractional Sturm-Liouville operator
T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper claims four inverse-spectral uniqueness theorems for a conformable fractional Sturm–Liouville operator, including a half-inverse theorem that uses one spectrum plus the potential on one half.
desk verdict The paper's advertised half-inverse theorem is unproven for alpha<1 due to a false decay bound, and the rest of the results are classical Sturm-Liouville theorems in conformable disguise. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The mechanism is the conformable fractional Wronskian $W_\alpha[\psi,\phi]=\psi D^\alpha_x\phi-\phi D^\alpha_x\psi$, which is independent of $x$, together with the Weyl function $M(\lambda)=-\psi(0,\lambda)/\Delta(\lambda)$. The comparison arguments form quotients such as $P_1,P_2$ and $\chi=H(\lambda)/\Delta(\lambda)$ from solutions of the two operators; the asymptotic formulas for $\phi$ and $\psi$ are used to show these quotients are entire and bounded, so Liouville's theorem forces them to be constant or zero. In the two-spectra argument, equality of spectra is converted into equality of characteristic functions through the canonical product representation $\Delta(\lambda)=\frac{\pi^{3\alpha-2}}{\alpha^3}(\lambda_0-\lambda)\prod_{n=0}^\infty \frac{\lambda_n-\lambda}{n^2}$. For the half-inverse theorem, the key identity is $D^\alpha_x[\tilde\phi D^\alpha_x\phi-\phi D^\alpha_x\tilde\phi]=(q-\tilde q)\phi\tilde\phi$, and the reflected solution $\psi(x,\lambda)=\phi(((\pi/2)^\alpha-x^\alpha)^{1/\alpha},\lambda)$ carries right-half information to the left half.
What would settle it
Using the paper's asymptotic formulas (5)-(8) and (9), evaluate $|\chi(i\tau)|$ for a fixed $\alpha<1$: the numerator is controlled by $\exp(2|\tau|(\pi/2)^\alpha/\alpha)$ and the denominator by $|\tau|\exp(|\tau|\pi^\alpha/\alpha)$, so the quotient can grow like $\exp(|\tau|(2^{1-\alpha}-1)\pi^\alpha/\alpha)$. Exhibiting such growth would refute the boundedness claim and the conclusion $\chi\equiv 0$; conversely, proving boundedness for all $\alpha\in(0,1]$ would complete the half-inverse theorem.
Extended reading notes
Core claim
The central claim is a set of uniqueness theorems for $L_\alpha(q,h,H)$, the boundary value problem $-D^\alpha_x D^\alpha_x y+q(x)y=\lambda y$ with $D^\alpha_x y(0)-hy(0)=0$ and $D^\alpha_x y(\pi)+Hy(\pi)=0$. Theorem 1 asserts that equality of the Weyl functions $M(\lambda)=-\psi(0,\lambda)/\Delta(\lambda)$ forces $q=\tilde q$ almost everywhere, $h=\tilde h$, and $H=\tilde H$. Theorem 2 asserts the same conclusion from equality of two spectra, the original spectrum and that of the Dirichlet-at-$0$ problem, and Theorem 3 from equality of eigenvalues plus norming constants. Theorem 4, the half-inverse or Hochstadt–Lieberman-type theorem, asserts that if the spectra agree, $H$ agrees, and $q=\tilde q$ on $(\pi/2,\pi)$, then $q=\tilde q$ almost everywhere on $[0,\pi]$ and $h=\tilde h$.
Load-bearing premise
The half-inverse proof assumes the quotient $\chi(\lambda)=H(\lambda)/\Delta(\lambda)$ decays as $C/|\sqrt{\lambda}|$ at infinity; the paper's estimates justify that bound only for $\alpha\ge 1$, so for $0<\alpha<1$ the Liouville step is unsupported.
Editorial extensions
If this is right
- Equality of Weyl functions would be enough to fix $q$, $h$, and $H$, so a full spectral response measurement cannot be ambiguous.
- Two spectra alone would determine the operator without norming constants, matching the classical Borg-type picture.
- When only one spectrum is known, adding norming constants would restore uniqueness.
- The half-inverse theorem would mean that knowing the right half of the potential plus one full spectrum leaves no freedom in the left half or in the left boundary parameter.
Reading between the lines
- The split point $\pi/2$ is likely a convenience: the same reflection construction should adapt to any $a\in(0,\pi)$ by using $((a^\alpha-x^\alpha)^{1/\alpha})$, so the half-inverse statement may hold with arbitrary partial-interval data.
- If the half-inverse theorem is valid, it suggests a layer-stripping reconstruction algorithm for fractional Sturm–Liouville problems: measure one spectrum, know the potential on one side, and recover the other side from the induced initial-value problem.
- The proof's boundedness estimate for $\chi(\lambda)$ is a natural stress test for $\alpha<1$; checking $|\chi(i\tau)|$ numerically could reveal whether the theorem needs a different argument below order one.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the conformable-fractional Sturm-Liouville boundary value problem -D_x^\alpha D_x^\alpha y + q(x)y = \lambda y on (0,\pi), where D_x^\alpha is the conformable derivative of order 0<\alpha\le 1, with boundary conditions D_x^\alpha y(0)-hy(0)=0 and D_x^\alpha y(\pi)+Hy(\pi)=0. It states four uniqueness theorems: recovery of q, h, H from the Weyl function (Theorem 1); recovery from two spectra (Theorem 2); recovery from eigenvalues and norming constants (Theorem 3); and a half-inverse Hochstadt-Lieberman-type theorem (Theorem 4) in which the spectrum, the right boundary parameter H, and q on (\pi/2,\pi) determine q on [0,\pi/2] and h. The proofs of Theorems 1-3 follow classical Marchenko/Gelfand-Levitan/Borg patterns, using asymptotic formulas and a product representation imported from [28]. Theorem 4 is attacked with an entire-function argument on the characteristic function \Delta(\lambda).
Significance. If established, the results would extend standard inverse spectral uniqueness results to the conformable-fractional setting. A useful implicit fact is that the change of variables t=x^\alpha/\alpha converts the operator to an ordinary Sturm-Liouville operator, so much of the content is inherited from classical theory. Theorems 1-3 appear plausible provided the asymptotic and product formulas from [28] are accepted. The advertised Hochstadt-Lieberman theorem, however, is not established for 0<\alpha<1: the proof's key growth estimate is false in that range, and the underlying interval geometry is outside the classical half-interval uniqueness regime. The paper therefore cannot be accepted in its present form.
major comments (3)
- [Section 3.3, after the definition of chi(lambda)] The assertion |\chi(\lambda)| \le C/|\sqrt{\lambda}| immediately after the definition of \chi is unsupported and, for 0<\alpha<1, is false in general. From (5), |\phi(x,\lambda)| and |\tilde\phi(x,\lambda)| are O(\exp(|\tau|x^\alpha/\alpha)), so the integral defining H(\lambda) is O(\exp(2|\tau|(\pi/2)^\alpha/\alpha)). From (9), |\Delta(\lambda)| \ge C|\sqrt{\lambda}|\exp(|\tau|\pi^\alpha/\alpha) on G_\delta. Hence the quotient has upper bound C|\sqrt{\lambda}|^{-1}\exp(|\tau|\pi^\alpha(2^{1-\alpha}-1)/\alpha), whose exponent is positive precisely when \alpha<1. Taking \lambda=-R^2 (so \sqrt{\lambda}=iR and |\tau|=R) and choosing q-\tilde q that does not vanish up to x=\pi/2 shows that the exponential growth is real, not merely an artifact of crude estimates. Thus \chi need not be bounded or decaying, Liouville's theorem cannot be applied, and the conclusion H\equiv 0 is not obtained. This is load-bearing because the rest of Theorem 4, including (16)-(17), depends on H\equiv 0.
- [Section 3.3, final paragraph] Even if H\equiv 0 were established, the last step of Theorem 4 is not justified. The proof defines \psi from \phi, obtains (17), and then says 'Taking into account Theorem 1' to conclude q=\tilde q on [0,\pi/2] and h=\tilde h. Theorem 1 requires equality of the Weyl functions of two boundary value problems, whereas (17) is an equality of Wronskians at one endpoint. No argument is given that (17) implies equality of the relevant Weyl functions, and the auxiliary boundary value problem on (0,\pi/2) is not formulated with the hypotheses needed to invoke Theorem 1. This step therefore requires a separate proof.
- [Section 3.2, Eq. (14)] Theorem 2 relies on the product representation (14) to conclude \Delta\equiv\tilde\Delta from equality of the two spectra. As displayed, however, the product runs over n=0 and contains n^2 in the denominator, so the expression is not well-defined for n=0. The authors should state the correct product formula, with the right normalization and starting index, and either prove it or cite the precise statement from [28]. This is a necessary correction because the proof of Theorem 2 depends directly on this representation.
minor comments (3)
- [Title and abstract] There are several typographical errors, including 'OPERA TOR' in the title, 'derivates' in the abstract, and 'equiped' in the introduction; these should be corrected.
- [Reference [28]] Reference [28] is dated 2009, although conformable fractional calculus was introduced in 2014; the publication year and bibliographic details should be checked and corrected.
- [Section 3.1, proof of Theorem 1] The proof states that P_1 and P_2 are O(1) and O(1/\sqrt{\lambda}) from (5)-(9), but (9) is stated only on G_\delta; the authors should briefly explain why the estimates extend to the excluded small disks around the zeros of \Delta so that Liouville's theorem can be applied.
Circularity Check
No circular derivation chain: the theorems use independent prior work [28] for asymptotics and do not assume their conclusions; the defect in Theorem 4 is a proof gap, not circularity.
full rationale
The paper's claimed derivations do not reduce to their inputs. Theorems 1–3 assume equality of Weyl functions, two spectra, or norming constants and use the resulting entire-function identities plus Liouville's theorem to force equality of the coefficients. The required asymptotic formulas and the product representation of Delta are quoted from [28], a work by different authors, so the citations are independent support rather than a self-citation chain. The target conclusions—q(x) = ~q(x), h = ~h, H = ~H—are not hidden in the hypotheses or in [28]. The only self-citation, [30], is one entry in a standard list of classical inverse Sturm-Liouville references and carries no load-bearing weight. The genuine weakness of the paper is located in Section 3.3, in the proof of Theorem 4: the asserted estimate |chi(lambda)| <= C/|sqrt(lambda)| is not justified for 0 < alpha < 1, because H(lambda) can grow like exp(2|tau|(pi/2)^alpha/alpha) while Delta(lambda) only grows like exp(|tau| pi^alpha/alpha), so the quotient is not shown to decay. That is a mathematical correctness gap, not a circularity: it does not amount to assuming the theorem or renaming fitted data as a prediction. Under the change of variables t = x^alpha/alpha the problem becomes an ordinary Sturm-Liouville operator, and the prescribed half-interval potential covers less than half of the new interval when alpha < 1; this explains why the classical Hochstadt-Lieberman conclusion may fail, but again this is an independent mathematical objection rather than an input-output identity. Accordingly, no circular step is found, and the score is low despite the serious proof defect.
Assumptions & free parameters
assumptions (4)
- domain assumption Asymptotic formulas (5)-(8) and the lower bound (9) for Delta(lambda) are taken from [28].
- domain assumption Product representation (14): Delta(lambda) = pi^(3alpha-2)/alpha^3 (lambda_0 - lambda) prod_{n=0}^infty (lambda_n - lambda)/n^2, cited from [28, Theorem 3.11].
- domain assumption Norming constant identity beta_n alpha_n = -Delta'(lambda_n), cited from [28, Lemma 3.5].
- domain assumption Eigenvalues are real, simple, and satisfy the asymptotic estimate (10), cited from [28].
Cite this review
Pith. "Pith review of Inverse problems for a conformable fractional Sturm-Liouville operator." pith.science (2026). https://pith.science/paper/EOSLUNN4
@misc{pith2026190803457,
author = {Pith},
title = {Pith review of: Inverse problems for a conformable fractional Sturm-Liouville operator},
year = {2026},
howpublished = {\url{https://pith.science/paper/EOSLUNN4}},
note = {Machine review of arXiv:1908.03457}
}
read the original abstract
In this paper, a Sturm-Liouville boundary value problem equiped with conformable fractional derivates is considered. We give some uniqueness theorems for the solutions of inverse problems according to the Weyl function, two given spectra and classical spectral data. We also study on half-inverse problem and prove a Hochstadt and Lieberman-type theorem.
Reference graph
Works this paper leans on
-
[28]
Inverse Problems in S cience and Engineering, 1-32 (2009)
Mortazaasl, H., Akbarfam, A.J.: Trace formula and inve rse nodal problem for a conformable fractional Sturm-Liouville problem. Inverse Problems in S cience and Engineering, 1-32 (2009)
work page 2009
-
[1]
Abdeljawad, T.: On conformable fractional calculus. J C omput Appl Math. 279, 57–66 (2015)
work page 2015
-
[2]
Ambarzumyan, V.A.: ¨Uber eine Frage der Eigenwerttheorie. Z. Phys. 53, 690–695 ( 1929)
work page 1929
-
[3]
Mathematical Methods in the Applied Sciences
Allahverdiev, Bilender P., Tuna H., Yal¸ cinkaya Y.: Con formable fractional Sturm-Liouville equation. Mathematical Methods in the Applied Sciences. 42 (10), 3508-3526 (2019)
work page 2019
-
[4]
Al-Towailb, M.A: A q-fractional approach to the regular Sturm-Liouville problems. Electron J Differ Equ. 88, 1–13 2017
work page 2017
- [5]
-
[6]
Baleanu, D., Guvenc, Z.B., Machado, J.T.: New trends in n anotechnology and fractional calculus applications. Springer, New York (2010)
work page 2010
-
[7]
Bestimmung der Differentialgleichung durch die Eigenwerte
Borg, G.: Eine Umkehrung der Sturm–Liouvilleschen Eige nwertaufgabe. Bestimmung der Differentialgleichung durch die Eigenwerte. Acta Math. 78, 1–96 (1946)
work page 1946
Show all 33 references
-
[8]
Society for Industrial and A pplied Mathematics, (1997)
Chadan, K., Colton, D., P¨ aiv¨ arinta, L., Rundell, W.: A n introduction to inverse scattering and inverse spectral problems. Society for Industrial and A pplied Mathematics, (1997)
1997
-
[9]
Freiling, G., Yurko V.A.: Inverse Sturm–Liouville Prob lems and their Applications, Nova Science, New York (2001)
2001
-
[10]
M., Levitan, B
Gelfand, I. M., Levitan, B. M.: On the determination of a differential equation from its spectral function, Trans. Amer. Math. Soc. 1, 253-304 (1951 )
1951
-
[11]
Gesztesy, F., Simon, B.: Inverse spectral analysis wit h partial information on the potential. II. The case of discrete spectrum. Trans. Am. Math. Soc. 352( 6), 2765-2787 (2000)
2000
-
[12]
Inverse Problems
Hald, O.H.: McLaughlin, J.R.: Solution of inverse noda l problems. Inverse Problems. 5, 307–347 (1989)
1989
-
[13]
H.: Discontinuous inverse eigenvalue problem s
Hald, O. H.: Discontinuous inverse eigenvalue problem s. Comm. Pure Appl. Math., 37, 539– 577 (1984)
1984
-
[14]
H.: The inverse Sturm-Liouville problem with s ymmetric, potentials, Acta Math
Hald, O. H.: The inverse Sturm-Liouville problem with s ymmetric, potentials, Acta Math. 141, 263-291 (1978)
1978
-
[15]
SIAM Journal on Applied Mathematics
Hochstadt, H.: Lieberman, B.: An inverse Sturm–Liouvi lle problem with mixed given data. SIAM Journal on Applied Mathematics. 34(4), 676-680 (1978)
1978
-
[16]
Horvath, M.: Inverse spectral problems and closed expo nential systems, Ann. of Math. 162 885-918 (2005)
2005
-
[17]
J Comput Appl Math
Khalil, R., Al Horani, M., Yousef, A., et al.: A newdefini tion of fractional derivative. J Comput Appl Math. 264, 65–70 (2014)
2014
-
[18]
J Comput Phys
Khosravian-Arab, H., Dehghan, M., Eslahchi, M.R.: Fra ctional Sturm-Liouville boundary value problems in unbounded domains, theory and applicatio ns. J Comput Phys. 299, 526– 560 (2015)
2015
-
[19]
Comput Math Appl
Klimek, M, Agrawaln, OP.: Fractional Sturm-Liouville problem. Comput Math Appl. 6, 795–812 (2013)
2013
-
[20]
Levinson, N.: The inverse Sturm-Liouville problem. Ma th. Tidsskr. B, 25, 25-30 (1949)
1949
-
[21]
Kluwer, Dordrecht (1991)
Levitan, B.M., Sargsjan, I.S.: Sturm-Liouville and Di rac Operators. Kluwer, Dordrecht (1991)
1991
-
[22]
London, UK: Imperial College Press, ( 2010)
Mainardi, F.: Fractional calculus and waves in linear v iscoelasticity: an introduction to mathematical models. London, UK: Imperial College Press, ( 2010)
2010
-
[23]
A.: Concerning the theory of a differentia l operator of second order, Dokl
Marchenko, V. A.: Concerning the theory of a differentia l operator of second order, Dokl. Akad. Nauk. SSR, 72, 457-470 (1950)
1950
-
[24]
Marchenko, V.A.: Some questions in the theory of one-di mensional linear differential opera- tors of the second order. I. Tr.Mosk. Mat. Obs. 1, 327-420 (19 52) (Russian). English transl. in Am.Math. Soc. Trans. 2,1-104 (1973)
1973
-
[25]
Wiley and Sons, New York, (1993)
Miller, K.S.: An Introduction to Fractional Calculus a nd Fractional Differential Equations, J. Wiley and Sons, New York, (1993)
1993
-
[26]
Inverse Ill-posed Probl
Mochizuki, K., Trooshin, I.: Inverse problem for inter ior spectral data of Sturm-Liouville operator, J. Inverse Ill-posed Probl. 9, 425-433 (2001)
2001
-
[27]
Springer, London (2010)
Monje, C.A., Chen, Y., Vinagre, B.M., et al.: Fractiona l-order systems and controls: funda- mentals and applications. Springer, London (2010)
2010
-
[29]
Academic Press, USA (19 74)
Oldham, K., Spanier, J.: The Fractional Calculus, Theo ry and Applications of Differentiation and Integration of Arbitrary Order. Academic Press, USA (19 74)
-
[30]
S.: Inverse Sturm–Liouville problems with ei genvalue dependent boundary and discontinuity conditions
Ozkan, A. S.: Inverse Sturm–Liouville problems with ei genvalue dependent boundary and discontinuity conditions. Inverse Probl. Sci. Eng., 20(6) , 857–868 (2012)
2012
-
[31]
Int J Nonlin Mech
P´ alfalvi, A.: Efficient solution of a vibration equatio n involving fractional derivatives. Int J Nonlin Mech. 45, 169–175 (2010)
2010
-
[32]
Centr Eur J Phys
Rivero, M, Trujillo, J.J., Velasco M.P.: A fractional a pproach to the Sturm-Liouville problem. Centr Eur J Phys. 11, 1246–1254 (2013)
2013
-
[33]
J Vib Control
Silva, M.F., Machado, J.A.T.: Fractional order PD α joint control of legged robots. J Vib Control. 12, 1483–1501 (2006) Current address: Department of Mathematics, Faculty of Science, Sivas Cumh uriyet University 58140 Sivas, Turkey E-mail address : sozkan@cumhuriyet.edu.tr Cu...
2006
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.