Pith. sign in

REVIEW 2 major objections 5 minor 14 references

Two independent criteria for when root functions of eigenparameter-dependent Sturm–Liouville problems stay minimal are proved to be the same.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

The two minimality criteria for root functions of Sturm-Liouville problems with a linearly eigenparameter-dependent boundary condition are equivalent, with a unified description of the exceptional associated-function removals.

T0 review reviewed 2026-07-14 challenge →

load-bearing objection Solid algebraic unification of the authors’ own two minimality criteria for root functions; the equivalence is new and the examples check out, but the bridge lemmas and one calculation are left to earlier preprints. the 2 major comments →

arxiv 2606.31623 v2 pith:WUYPZXUA submitted 2026-06-30 math.CA

Equivalence of the minimality conditions for the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter

Yagub N. Aliyev , Narmin N.Aliyeva This is my paper
classification math.CA MSC 34B2434L10
keywords Sturm–Liouville problemeigenparameter-dependent boundary conditionsroot functionsassociated functionsminimalitycharacteristic functionmultiple eigenvalues
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper treats a classical Sturm–Liouville eigenvalue problem in which one boundary condition depends linearly on the spectral parameter. Earlier work produced two distinct necessary-and-sufficient conditions for the system of eigenfunctions and associated functions to remain minimal after certain associated functions are discarded. The present paper proves that those two criteria are mathematically equivalent: they both vanish precisely when the free constants that appear in the associated functions take specific values expressed by derivatives of the characteristic function. The same equivalences also give a clean description of the exceptional cases in which removal of associated functions destroys minimality. Concrete examples with genuine triple eigenvalues confirm that both formalisms produce identical numerical conditions, thereby unifying the two approaches and clarifying the structure of the root-function system.

Core claim

For a double eigenvalue the vanishing of the functional A(y*_1) is equivalent to the choice C = −ω'''(λ₀)/(3ω''(λ₀)); for a triple eigenvalue the vanishings of A(y#_1) and A(y#_2) are equivalent to C = −ω^(IV)(λ₀)/(4ω'''(λ₀)) and to an explicit algebraic relation for the second constant D. Thus the two previously published minimality criteria coincide and the exceptional non-minimal cases are completely characterised by the same formulae.

What carries the argument

The auxiliary functionals A(y) built from the values of the root functions (and their derivatives) at the right endpoint, together with the inner-product quantities T₀ and Q₀ that Lemmas 2.1–2.2 identify with successive derivatives of the characteristic function ω; these identities convert one set of vanishing conditions into the other.

Load-bearing premise

The two lemmas that equate the inner-product quantities T₀ and Q₀ to derivatives of the characteristic function are taken as already established and are not re-proved in the paper.

What would settle it

Construct any concrete Sturm–Liouville problem with a known double or triple eigenvalue, compute both the A-functionals and the corresponding derivatives of ω, and check whether the claimed numerical relations for the free constants C (and D) hold; any mismatch would refute the equivalence.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper studies the Sturm–Liouville problem (1.1)–(1.3) with a boundary condition linear in the eigenparameter and establishes the equivalence of two previously obtained minimality criteria for the system of root functions. After introducing the characteristic function ω(λ) and a family of functionals A(·) on eigenfunctions and associated functions, the authors prove three algebraic equivalence theorems: for a double eigenvalue, A(y*_1)=0 if and only if the free constant C equals −ω'''(λ_{0})/(3ω''(λ_{0})) (Theorem 3.1); for a triple eigenvalue, A(y#_1)=0 iff C=−ω^(IV)(λ_{0})/(4ω'''(λ_{0})) (Theorem 3.2) and A(y#_2)=0 iff the explicit relation (3.1) for D holds (Theorem 3.3). Two fully worked triple-eigenvalue examples recompute both characterizations independently and recover identical conditions on C and D, confirming consistency.

Significance. If the equivalence holds, the paper supplies a unified description of the exceptional choices of associated functions that destroy minimality, clarifying a phenomenon already noted as exceptional in the literature (e.g., Shkalikov [14]). The contribution is incremental rather than foundational: it reconciles two criteria that both originate in the authors’ own recent preprints [3,4]. The explicit algebraic reductions in Theorems 3.1–3.2 and the independent numerical verification in the examples are concrete strengths that make the equivalence checkable. The work is of interest to specialists working on basis properties of root systems for eigenparameter-dependent Sturm–Liouville problems, but its novelty is limited to the comparison of the two prior approaches.

major comments (2)
  1. Lemmas 2.1 and 2.2, which equate the inner-product quantities T_{0} and Q_{0} to derivatives of the characteristic function ω (T_{0} = A(y_{0})·ω''(λ_{0})/2 and the corresponding formula for Q_{0}), are stated without proof and are used as the essential bridge between the A-functionals and the ω-derivative conditions. These lemmas are load-bearing for the interpretation of the equivalence; either short proofs or precise citations to the statements in [3] or [4] should be supplied so that the present paper is self-contained on this point.
  2. Theorem 3.3 asserts the equivalence for A(y#_2)=0 after “lengthy calculations” that are omitted. While the two concrete examples recompute both sides independently and recover the same algebraic relation (4.1) and (4.2), the general derivation remains unverifiable from the text alone. At least a sketch of the key cancellations (or a reference to a supplementary calculation) is needed for the triple-eigenvalue case to be fully rigorous.
minor comments (5)
  1. Section 1, line after (1.2): the punctuation “, ,” is a typographical error.
  2. Equation (2.4) writes λ_k y_0 while the surrounding text concerns a multiple eigenvalue λ_0; the index should be consistent.
  3. The abstract and introduction claim “several examples,” yet only two triple-eigenvalue examples are given; a double-eigenvalue illustration would strengthen the claim of Theorems 3.1.
  4. References [3] and [4] are listed as preprints dated 2026; permanent arXiv identifiers or DOIs should be supplied for reproducibility.
  5. Notation for the adjusted associated functions (y*, y#, ŷ, etc.) proliferates rapidly; a short summary table of the definitions would improve readability.

Circularity Check

1 steps flagged

Mild self-citation load-bearing: equivalence of authors' own prior criteria rests on unproved bridging lemmas from the same series, but the algebraic verification of Theorems 3.1-3.3 is independent and non-tautological.

specific steps
  1. self citation load bearing [Introduction (p.2) + Lemmas 2.1-2.2 + opening of Section 3]
    "In our previous papers [3] and [4] we developed two different approaches for the minimality and basis properties of the root functions of this problem. ... The following three theorems proof equvalence of the minimality conditions [3] and [4]. Lemma 2.1 If λ0 is a multiple eigenvalue, then T0 = A(y0) · ω''(λ0)/2 . Lemma 2.2 ... Q0 = A(ŷy1) ω''(λ0)/2 + A(y0) · ω'''(λ0)/6 ."

    The two minimality criteria whose equivalence is the paper's main result are taken from the authors' own contemporaneous preprints [3] and [4]; the key identities that convert the inner-product quantities T0/Q0 into derivatives of ω (and thereby define the special constants C1, C2, D1 that appear in the A-functionals) are likewise stated without proof and belong to the same author series. The algebraic steps that follow are independent, but the identification of what is being equated and the bridge that makes the two sides comparable rest on that self-citation chain.

full rationale

The paper's central claim is an algebraic equivalence (Theorems 3.1-3.3) between two minimality criteria previously obtained by the same authors in preprints [3] and [4]. The proofs expand A(y*_1)=0 (resp. A(y#_1)=0, A(y#_2)=0) using the definitions of the adjusted associated functions and the free constants C1/C2/D1, then simplify to explicit conditions on C (and D) in terms of derivatives of the characteristic function ω. This algebra is self-contained in the present text (fully written for the λ0 eq -d/c case of 3.1-3.2; analogous for the other case; lengthy but asserted for 3.3) and is independently confirmed by the two triple-eigenvalue examples, which recompute both the A-functionals and the ω-derivative conditions and obtain identical numerical relations. No quantity is fitted to data and then re-predicted, no uniqueness theorem is imported to forbid alternatives, and no ansatz is smuggled. The only circularity-adjacent element is that the two criteria being equated, together with the load-bearing Lemmas 2.1-2.2 that identify T0 and Q0 with ω-derivatives (used to define C1, C2, D1), originate in the authors' own prior preprints and are stated here without proof or external verification. That is ordinary self-citation of setup, not a reduction of the equivalence claim itself to a tautology or fit; hence a modest score of 3 rather than 0 or 6+.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 1 invented entities

The paper is pure analysis; it inherits the standard Sturm-Liouville setting and the authors’ earlier definitions of the A-functionals and of the adjusted associated functions. No numerical parameters are fitted. The only non-standard ingredients are the unproved lemmas that convert inner-product quantities into derivatives of ω, which are treated as given.

axioms (3)
  • domain assumption q is real-valued and continuous on [0,1]; a,b,c,d real with ad-bc<0; 0≤β<π
    Standing hypotheses of the boundary-value problem (1.1)–(1.3) that guarantee the characteristic function is well-defined and the eigenvalues are real.
  • domain assumption For a multiple eigenvalue, (y_{0},y_{0})=-(ad-bc)A^{2}(y_{0}) (equation (2.8))
    Used throughout the definitions of T_{0} and Q_{0}; taken as known from the spectral theory of the problem.
  • ad hoc to paper Lemmas 2.1 and 2.2 equating T_{0} and Q_{0} to derivatives of the characteristic function ω
    Stated without proof in Section 2 and used as the bridge that converts the A-functional conditions into statements about ω; presumed to follow from the authors’ earlier work.
invented entities (1)
  • The family of functionals A(y), A(y*), A(y#) defined by (2.7),(2.12),(2.26),(2.28),(2.35) no independent evidence
    purpose: To encode the boundary values that appear in the minimality criteria and to make the equivalence statements algebraic.
    These quantities are introduced by the authors (already in prior papers) specifically for the analysis of this problem; they have no independent existence outside the present series.

reviewed 2026-07-14 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivalence of the minimality conditions for the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter." pith.science (2026). https://pith.science/paper/WUYPZXUA

@misc{pith2026260631623,
  author       = {Pith},
  title        = {Pith review of: Equivalence of the minimality conditions for the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/WUYPZXUA}},
  note         = {Machine review of arXiv:2606.31623}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

We study the minimality of the system of root functions associated with a Sturm--Liouville problem whose boundary condition depends linearly on the eigenparameter. Two different criteria for minimality were previously obtained using independent approaches. In this paper, we establish the equivalence of these criteria and provide a unified characterization of the exceptional cases in which the removal of certain associated functions fails to preserve minimality. The theoretical results are illustrated by several examples involving multiple eigenvalues, demonstrating the consistency of the two approaches and clarifying the structure of the corresponding root function systems.

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

14 extracted references · 2 linked inside Pith

  1. [1]

    N. B. Kerimov, Y. N. Aliyev, The basis property in L_p of the boundary value problem rationally dependent on the eigenparameter, Studia Mathematica 174(2) (2006), 201--212

    2006

  2. [2]

    Y. N. Aliyev, Minimality of the system of root functions of Sturm-Liouville problems with decreasing affine boundary conditions, Colloquium Mathematicum 109(1) (2007), 147-162

    2007

  3. [3]

    Aliyev, N

    Y. Aliyev, N. Aliyeva Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter. Preprint (2026) . https://doi.org/10.48550/arXiv.2603.14817

    Pith/arXiv arXiv doi:10.48550/arxiv.2603.14817 2026

  4. [4]

    Aliyev, N

    Y. Aliyev, N. Aliyeva Minimality of the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter. Preprint (2026) . https://doi.org/10.48550/arXiv.2606.21965

    Pith/arXiv arXiv doi:10.48550/arxiv.2606.21965 2026

  5. [5]

    Aliyev, E.A

    Z.S. Aliyev, E.A. Aghayev, The basis properties of the system of root functions of Sturm-Liouville problem with spectral parameter in the boundary condition, Proceedings of IMM of NAS of Azerbaijan. 32 (2010), 63-72

    2010

  6. [6]

    P. A. Binding and P. J. Browne, Application of two parameter eigencurves to Sturm-Liouville problems with eigenparameter-dependent boundary conditions, Proc. Roy. Soc. Edinburgh 125A (1995), 1205-1218

    1995

  7. [7]

    P. A. Binding, P. J. Browne and B. A. Watson, Equivalence of inverse Sturm-Liouville problems with boundary conditions rationally dependent on the eigenparameter, J. Math. Anal. Appl. 291 (2004), 246-261

    2004

  8. [8]

    Charles T. Fulton, Two-point boundary value problems with eigenvalue parameter contained in the boundary conditions,Proceedings of the Royal Society of Edinburgh Section A: Mathematics, 77(3-4) (1977), 293-308

    1977

  9. [9]

    N. B. Kerimov and Y. N. Aliyev, The basis property in L_p of the boundary value problem rationally dependent on the eigenparameter, Studia Math. 174(2) (2006), 201-212

    2006

  10. [10]

    E. I. Moiseev and N. Yu. Kapustin, On the singularities of the root space of a spectral problem with a spectral parameter in the boundary condition, Dokl. Akad. Nauk, 66(1) (2002), 14-18

    2002

  11. [11]

    M. A. Naimark, Linear differential operators, 2nd edn, Nauka, Moscow, 1969 (in Russian); English trans. of 1st edn, Parts I,II, Ungar, New York, 1967, 1968

    1969

  12. [12]

    Russakovskii, Operator treatment of a boundary-value problem with the spectral parameter appearing rationally in the boundary conditions (in Russian)

    E.M. Russakovskii, Operator treatment of a boundary-value problem with the spectral parameter appearing rationally in the boundary conditions (in Russian). Theory Funct. Funct. Anal. Appl. 30, (1978) 120-128

    1978

  13. [13]

    A. A. Shkalikov, Boundary value problems for ordinary differential equations with a parameter in the boundary conditions (Russian. English summary), Tr. Semin. Im. I. G. Petrovskogo 9 (1983) 190-229

    1983

  14. [14]

    A. A. Shkalikov, Basis Properties of Root Functions of Differential Operators with Spectral Parameter in the Boundary Conditions, Diff. Equat., 55:5 (2019), 631–643

    2019

This paper was first reviewed by grok-4.5 on July 14, 2026.