Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter

Narmin N. Aliyeva; Yagub N. Aliyev

REVIEW 2 major objections 1 minor 9 cited by

Root functions of a Sturm–Liouville problem with one linear eigenparameter boundary condition are minimal in L2 and form an Lp basis under explicit necessary and sufficient conditions, without exit-space methods.

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 ↗

Root functions of a Sturm–Liouville problem with a linear eigenparameter boundary condition form a basis in Lp under explicit necessary and sufficient conditions obtained from their norms and biorthogonal structure.

T0 review reviewed 2026-07-14 challenge →

load-bearing objection Useful classical SL basis criteria with explicit formulas and an exit-space-free route, but abstract-only so the exceptional-case claims stay unchecked. the 2 major comments →

arxiv 2603.14817 v4 pith:6GZLGN4F submitted 2026-03-16 math.CA

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 34B2434L1047E05

keywords Sturm-Liouvilleeigenparameter-dependent boundary conditionsroot functionsminimalitybasis propertiesLp spacesmultiple eigenvaluescritical value

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 examines a Sturm–Liouville equation on the unit interval with a classical boundary condition at one endpoint and a boundary condition that depends linearly on the spectral parameter at the other. Explicit formulas are derived for the inner products and norms of the associated root functions; these formulas determine the structure of the system and of its biorthogonal system. From them the authors prove that the system of root functions is always minimal in L2(0,1). They further obtain necessary and sufficient conditions under which the same system forms a basis of Lp(0,1) for every 1 < p < ∞. The argument treats multiple eigenvalues and the critical value −d/c on the same footing as the generic case, and it never enlarges the underlying space to the exit space L2(0,1) ⊕ ℂ. The resulting picture exhibits a clear symmetry among the various spectral situations.

Core claim

The system of root functions of the Sturm–Liouville problem with one classical boundary condition and one boundary condition linear in the eigenparameter is minimal in L2(0,1); necessary and sufficient conditions are obtained under which this system forms a basis in Lp(0,1) for every 1 < p < ∞. The same explicit formulas govern multiple eigenvalues and the critical value −d/c, and the proofs avoid the exit-space construction L2(0,1) ⊕ ℂ.

What carries the argument

Explicit algebraic formulas for the inner products and norms of the root functions (including associated functions when eigenvalues are multiple). These formulas fix the biorthogonal system and the constants that control both minimality in L2 and basisness in every Lp.

Load-bearing premise

The explicit inner-product and norm formulas for the root functions remain valid and non-degenerate when an eigenvalue equals the critical value −d/c or has algebraic multiplicity greater than one.

What would settle it

For a concrete continuous potential and fixed boundary coefficients that produce either a multiple eigenvalue or the critical value −d/c, compute the root functions, their L2 norms, and the candidate biorthogonal system; if the system fails to be biorthogonal, or fails to be complete (or fails to be a basis when the paper’s algebraic conditions hold), the claim is false.

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

If this is right

The system of root functions is always minimal in L2(0,1).
For each 1 < p < ∞ the system is a basis of Lp(0,1) if and only if certain explicit algebraic conditions on the boundary coefficients and eigenvalues are satisfied.
The same formulas and basis criteria apply uniformly to simple eigenvalues, multiple eigenvalues, and the critical value −d/c.
Basis properties can be decided without constructing an auxiliary exit space L2(0,1) ⊕ ℂ.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The observed symmetry among spectral cases suggests that known basis criteria for classical Sturm–Liouville problems can be transferred to the eigenparameter-dependent setting by a direct algebraic substitution involving the critical value −d/c.
The explicit norm formulas open the way to computing the precise basis constant in each Lp and to deciding whether the system is unconditional or Riesz.
Analogous inner-product identities may extend, with only minor changes, to problems that place eigenparameter dependence in both boundary conditions.

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.

Desk Editor's Note

Useful classical SL basis criteria with explicit formulas and an exit-space-free route, but abstract-only so the exceptional-case claims stay unchecked.

read the letter

The one thing to know is that this paper claims necessary-and-sufficient conditions for the root functions of a Sturm–Liouville problem (classical BC at one end, linear eigenparameter dependence at the other) to form a basis in every Lp(0,1), 1

What looks new and cleanly done is the package of explicit formulas themselves, the uniform treatment of the exceptional spectral cases, and the claimed symmetry among those cases. In a corner of spectral theory that already has a large literature, those three items are legitimate incremental value for anyone who actually expands solutions in root functions. Circularity risk is low: pure existence/structure work, no fitted parameters.

The soft spot is exactly the one the stress-test flags. Because we have only the abstract, there is no way to inspect the formulas, their derivation, or the verification that the resulting Gram determinants (or basis constants) stay non-zero when algebraic multiplicity exceeds one or when an eigenvalue hits −d/c. The abstract says special attention is paid to those cases, so the authors are aware of the issue; whether the proofs close it remains uncheckable. Everything else—asymptotics of the characteristic function, comparison with prior exit-space arguments—is likewise invisible. That is a limitation of the review, not a diagnosed flaw in the paper.

This is for analysts who work on eigenfunction expansions for spectral-parameter-dependent boundary conditions. A specialist will get concrete formulas and a cleaner proof route if the claims hold; a generalist will not. It is coherent on its face and sits inside a well-studied area, so it deserves a serious referee rather than a desk reject. I would send it out.

Referee Report

2 major / 1 minor

Summary. The manuscript studies a Sturm–Liouville problem on (0,1) with a classical boundary condition at one endpoint and a boundary condition that depends linearly on the spectral parameter at the other. It claims explicit formulas for the inner products and norms of the root functions, an analysis of the structure of the root-function system and its biorthogonal system, minimality of the root functions in L₂(0,1), and necessary and sufficient conditions for the system to form a basis in L_p(0,1) for every 1 < p < ∞. Special attention is announced for multiple eigenvalues and for the critical value −d/c; the approach is said to avoid the exit space L₂(0,1) ⊕ ℂ and to reveal a symmetry between spectral cases. Illustrative examples are mentioned.

Significance. If the explicit formulas are correct and remain non-degenerate for multiple eigenvalues and at λ = −d/c, the paper would give a complete elementary account of minimality and basis properties for this standard class of eigenparameter-dependent Sturm–Liouville problems, including the exceptional cases, without the exit-space construction. That would be a useful clarification and simplification in the spectral theory of ordinary differential operators with spectral-parameter-dependent boundary conditions.

major comments (2)

[Abstract] The load-bearing claims—minimality in L₂(0,1) and the necessary-and-sufficient basis criteria in L_p(0,1)—rest on explicit inner-product and norm formulas for the root functions that are asserted to control the biorthogonal system even when an eigenvalue has algebraic multiplicity greater than one or coincides with the critical value −d/c. With only the abstract available, those formulas, their derivation, and the verification that the associated Gram determinants (or equivalent basis constants) remain non-zero in the exceptional cases cannot be examined; the conclusions are therefore formally unverified.
[Abstract] The abstract presents as substantive advantages both a symmetry between different spectral cases and a simpler approach that avoids the exit space L₂(0,1) ⊕ ℂ. Without the full argument it is impossible to confirm that the approach is complete, that the symmetry is correctly stated, and that no hidden reduction to the exit-space setting is required.

minor comments (1)

[Abstract] The abstract is clear on the scope of the claims but does not indicate the precise form of the boundary conditions (coefficients a,b,c,d) or the regularity assumed on the potential; a short statement of the standing hypotheses would help readers locate the result relative to the existing literature.

Circularity Check

0 steps flagged

No circularity: abstract-only classical spectral-theory existence result with no fitted parameters or self-definitional loops

full rationale

Only the abstract is available. It states a pure existence/structure theorem in classical Sturm–Liouville theory: explicit inner-product and norm formulas for root functions are obtained and then used to prove minimality in L2(0,1) and necessary-and-sufficient basis conditions in Lp(0,1). No numerical parameters are fitted to data; no quantity is renamed as a “prediction”; no uniqueness theorem is imported from the authors’ prior work; no ansatz is smuggled via self-citation; and the abstract does not define the claimed basis criteria in terms of themselves. Dependence on the standard literature of Sturm–Liouville spectral theory is ordinary and does not constitute circularity under the stated rules. Because no load-bearing step can be quoted that reduces by construction to its own inputs, the circularity score is 0 and the steps list is empty. (Unverifiability of the exceptional-case formulas at multiple eigenvalues or at −d/c is a correctness/completeness concern, not a circularity finding.)

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

Abstract-only review of a pure-mathematics paper. No numerical free parameters appear. The work rests on the standard axiomatic background of Sturm–Liouville spectral theory on a finite interval and on the functional-analytic notions of minimality and bases in Lp. No new physical entities are introduced.

axioms (3)

domain assumption Classical Sturm–Liouville spectral theory on a compact interval (existence of eigenvalues, root functions, characteristic function).
The entire analysis of root functions and their norms presupposes the standard spectral theory of second-order regular operators.
standard math Definitions of minimality and of a Schauder basis in the Banach spaces Lp(0,1), 1 < p < ∞.
Basis and minimality claims are meaningful only inside the usual functional-analytic framework.
domain assumption The boundary condition depends linearly on the spectral parameter in the form involving constants c, d with the critical value −d/c singled out.
The problem class and the special case treated in the abstract are defined by this linear dependence.

reviewed 2026-07-14 · how reviews work

0 comments

Cite this review

Pith. "Pith review of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter." pith.science (2026). https://pith.science/paper/6GZLGN4F

@misc{pith2026260314817,
  author       = {Pith},
  title        = {Pith review of: Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6GZLGN4F}},
  note         = {Machine review of arXiv:2603.14817}
}

Share X Bluesky LinkedIn Reddit HN

read the original abstract

This paper studies a Sturm--Liouville boundary value problem in which one of the boundary conditions depends linearly on the spectral parameter. The differential equation is considered on the interval $(0,1)$ with a classical boundary condition at one endpoint and an eigenparameter--dependent boundary condition at the other. Explicit formulas for the inner products and norms of the root functions are obtained. These relations make it possible to analyze the structure of the system of root functions and the corresponding biorthogonal system. Using these results, the minimality of the system of root functions in $L_2(0,1)$ is established. Furthermore, the basis properties of the system of root functions in the spaces $L_p(0,1)$, $1<p<\infty$, are investigated. Necessary and sufficient conditions under which the system forms a basis are derived. Special attention is given to the cases of multiple eigenvalues and the case when the eigenvalue coincides with the critical value $-d/c$. The obtained results reveal a symmetry between different spectral cases and provide a simpler approach that avoids the use of the exit space $L_2(0,1) \oplus \mathbb{C}$. Several examples are presented to illustrate the theoretical results.

discussion (0)

Forward citations

Cited by 9 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

Fast Optical Variability of the TeV Blazar PKS 1725+123 Observed by SVOM-VT and Insights from Multi-wavelength Follow-up Observations
astro-ph.HE 2026-06 conditional novelty 7.0

PKS 1725+123 showed minute-timescale optical variability with bluer-when-brighter behavior and an unusually high synchrotron peak, reproduced by a two-zone spine-sheath jet model using simultaneous multi-wavelength data.
Equivalence of the minimality conditions for the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter
math.CA 2026-06 conditional novelty 5.0

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 ...
Equivalence of the minimality conditions for the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter
math.CA 2026-06 unverdicted novelty 5.0

The paper establishes equivalence between two minimality criteria for root functions of Sturm-Liouville problems with eigenparameter-dependent boundary conditions and unifies the description of cases where minimality ...
Fast Optical Variability of the TeV Blazar PKS 1725+123 Observed by SVOM-VT and Insights from Multi-wavelength Follow-up Observations
astro-ph.HE 2026-06 unverdicted novelty 5.0

PKS 1725+123 showed minute-timescale optical variability in a high state with high synchrotron peak frequency; a two-zone spine-sheath jet model is proposed to fit the multi-wavelength SED.
Minimality of the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter
math.CA 2026-06 conditional novelty 5.0

Minimality of root-function systems after removing one function is characterized by inequalities such as C ≠ -ω'''/(3ω'') and D ≠ C^2 + ... in terms of derivatives of the characteristic function.
Minimality of the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter
math.CA 2026-06 unverdicted novelty 5.0

Reformulates criteria for minimality and basis properties of root functions in Sturm-Liouville problems with eigenparameter-dependent boundary conditions using the characteristic function.
Minimality of the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter
math.CA 2026-06 unverdicted novelty 5.0

Root-function biorthogonal systems and minimality criteria for Sturm–Liouville problems with linear eigenparameter boundary conditions are rewritten via the characteristic function and its derivatives.
Fast Optical Variability of the TeV Blazar PKS 1725+123 Observed by SVOM-VT and Insights from Multi-wavelength Follow-up Observations
astro-ph.HE 2026-06 unverdicted novelty 4.0

PKS 1725+123 reached an unprecedented optical high state with minute-scale variability and a high synchrotron peak, reproduced by a two-zone spine-sheath jet model.
Minimality of the root functions of Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter
math.CA 2026-06 unverdicted novelty 4.0

Reformulates criteria for minimality of root functions in Sturm-Liouville problems with linear eigenparameter boundary dependence directly in terms of the characteristic function.

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

Sturm-Liouville problems with a boundary condition depending linearly on an eigenparameter

The reading

Core claim §

What carries the argument

Load-bearing premise §

What would settle it §

If this is right

Where Pith is reading between the lines

discussion (0)

Core claim

Load-bearing premise

What would settle it