arxiv: 2604.10276 · v1 · submitted 2026-04-11 · 🧮 math.CA

Recognition: unknown

Geronimus transformation and Sobolev-type orthogonal polynomials

N. Neha

Authors on Pith no claims yet

Pith reviewed 2026-05-10 15:12 UTC · model grok-4.3

classification 🧮 math.CA

keywords Geronimus transformationsSobolev-type orthogonal polynomialsrecurrence relationsconnection formulasJacobi polynomialsChristoffel-Darboux kernelsasymptotics

0 comments

The pith

Sobolev inner product with point evaluation and derivative equals two successive Geronimus transformations.

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

The paper shows that a Sobolev-type inner product, built from the original measure plus M times evaluation at an external point a plus N times the first derivative at a, produces orthogonal polynomials identical to those from two successive Geronimus transformations of the measure. This equivalence supplies a direct bridge between Sobolev orthogonality and iterated spectral transformations on classical families. Explicit three-term and five-term recurrences for the resulting polynomials follow at once, along with connection formulas expressed through Christoffel-Darboux kernels and determinants. In the Jacobi case the ratios of certain derivatives and norms approach constants that do not depend on the parameters M and N.

Core claim

Iterated Geronimus transformations generate Sobolev-type orthogonal polynomials from classical families. A direct equivalence holds between the Sobolev inner product involving point evaluation and the first derivative at a point a outside the support of the original measure and two successive Geronimus transformations. The resulting polynomials Q_n^{M,N}(x) obey explicit three-term and five-term recurrence relations, admit connection formulas to the original and transformed polynomials via Christoffel-Darboux kernels and determinantal representations, and display asymptotic ratios of derivatives and norms that converge to parameter-independent constants in the Jacobi case.

What carries the argument

Two successive Geronimus transformations, which successively modify the measure by rational factors centered at the external point a and produce orthogonal polynomials that coincide with those of the Sobolev inner product.

Load-bearing premise

The point a lies outside the support of the original measure, keeping the Geronimus transformations well-defined without introducing singularities or changing the orthogonality relations in unexpected ways.

What would settle it

For small n, compute the inner products of the polynomials obtained after two Geronimus steps against the claimed Sobolev inner product and check whether they vanish for all lower degrees.

read the original abstract

Iterated Geronimus transformations generate Sobolev-type orthogonal polynomials from classical families. We establish a direct equivalence between a Sobolev inner product involving point evaluation and the first derivative at a point a outside the support of the original measure and two successive Geronimus transformations. Explicit three-term and five-term recurrence relations are derived for the resulting polynomials, revealing their algebraic structure. Connection formulas linking the Sobolev-type polynomials Q_n^{M,N}(x) with both the original and the transformed Geronimus polynomials are obtained via Christoffel-Darboux kernels and determinantal representations. In the Jacobi case, asymptotic analysis shows that ratios of derivatives and norms converge to explicit constants independent of the parameters M and N. These results provide a unified framework connecting spectral transformations with Sobolev orthogonality.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper links a Sobolev inner product at an exterior point to two Geronimus transformations and supplies the corresponding recurrences and asymptotics.

read the letter

The central result is a direct equivalence: the Sobolev polynomials defined by an inner product that adds point evaluation and first derivative at a point a outside the support are the same as those obtained by two Geronimus transformations of the original measure. From there the authors derive a three-term recurrence for the transformed polynomials and a five-term one for the Sobolev ones. They also give connection formulas between the original, the Geronimus, and the Sobolev families using Christoffel-Darboux kernels and determinantal expressions. In the Jacobi case they prove that certain ratios of derivatives and norms approach constants that do not depend on the parameters M and N. This is new in spelling out the exact match between the two successive transformations and the Sobolev form, plus the concrete algebraic relations that follow. The derivations build on known kernel identities, so the steps look reproducible if one follows the same path. The asymptotic constants being independent of M and N is a clean observation that could help in approximation work. The standing assumption that a is outside the support is necessary for the transformations to stay on the polynomial ring without extra complications, and the paper treats it as given. No other free parameters or post-hoc adjustments appear in the claims. The literature citations seem to cover the prior transformation theory, so the novelty sits in the specific equivalence and the five-term relation. Readers who already study modifications of orthogonal polynomials or Sobolev-type inner products will get the most from the explicit formulas and the unified view. It is a technical contribution that fits inside the existing framework rather than changing it. The paper is coherent on its own terms and the results are stated in a form that can be checked. A serious editor should send it to peer review.

Referee Report

2 major / 2 minor

Summary. The paper establishes a direct equivalence between Sobolev-type orthogonal polynomials defined via an inner product that augments the original measure with point evaluation and first-derivative terms at an exterior point a, and the sequence obtained by applying two successive Geronimus transformations to the underlying classical orthogonal polynomial family. Explicit three-term and five-term recurrences are derived for the resulting polynomials Q_n^{M,N}(x), together with connection formulas to the original and transformed polynomials expressed through Christoffel-Darboux kernels and determinantal representations. Asymptotic analysis is provided in the Jacobi case, asserting that certain ratios of derivatives and norms converge to constants independent of the parameters M and N.

Significance. If the claimed equivalence and derivations hold, the work supplies a concrete algebraic bridge between iterated spectral transformations and Sobolev orthogonality, yielding explicit recurrences and connection formulas that clarify the structure of the modified polynomials. The reported parameter-independent asymptotic limits in the Jacobi setting, if confirmed, constitute a falsifiable prediction that strengthens the result's utility for further analysis of modified orthogonal systems.

major comments (2)

The central equivalence between the Sobolev inner product and two successive Geronimus transformations is asserted via the Christoffel-Darboux kernel and determinantal representations, but the manuscript does not explicitly verify that the five-term recurrence obtained after the second transformation exactly reproduces the bilinear form including the derivative term at a; a direct comparison of the leading coefficients or the action on the monic polynomials would confirm the equivalence without circular appeal to the transformation theory.
In the asymptotic analysis for the Jacobi case, the claim that the ratios of derivatives and norms converge to constants independent of M and N is stated without an explicit expression for those constants or a demonstration that the dependence cancels in the limit; this independence is load-bearing for the unified-framework conclusion and requires a concrete computation from the derived recurrences.

minor comments (2)

The notation for the Sobolev polynomials Q_n^{M,N}(x) and the parameters M, N should be introduced with a brief reminder of their relation to the point masses or weights in the inner product, to avoid ambiguity when reading the recurrence derivations.
A short table or explicit listing of the three-term and five-term recurrence coefficients for a representative classical family (e.g., Jacobi) would improve readability of the algebraic-structure claims.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the constructive comments, which will help improve the clarity and rigor of the manuscript. We address each major comment point by point below.

read point-by-point responses

Referee: The central equivalence between the Sobolev inner product and two successive Geronimus transformations is asserted via the Christoffel-Darboux kernel and determinantal representations, but the manuscript does not explicitly verify that the five-term recurrence obtained after the second transformation exactly reproduces the bilinear form including the derivative term at a; a direct comparison of the leading coefficients or the action on the monic polynomials would confirm the equivalence without circular appeal to the transformation theory.

Authors: We agree that an explicit verification would strengthen the presentation. While the equivalence follows from the properties of iterated Geronimus transformations and the Christoffel-Darboux kernel, we will add a direct computation in the revised manuscript comparing the leading coefficients and the action of the five-term recurrence on monic polynomials to confirm that it reproduces the full Sobolev bilinear form, including the first-derivative term at a. revision: yes
Referee: In the asymptotic analysis for the Jacobi case, the claim that the ratios of derivatives and norms converge to constants independent of M and N is stated without an explicit expression for those constants or a demonstration that the dependence cancels in the limit; this independence is load-bearing for the unified-framework conclusion and requires a concrete computation from the derived recurrences.

Authors: We thank the referee for this observation. The manuscript states that the ratios converge to explicit constants independent of M and N, but we acknowledge that the explicit expressions and the cancellation mechanism were not detailed sufficiently. In the revision we will include a concrete computation from the five-term recurrence relations, showing explicitly how the M- and N-dependence cancels and providing the limiting constants. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper derives an equivalence between the specified Sobolev inner product (point evaluation plus derivative at exterior point a) and two successive Geronimus transformations via explicit three- and five-term recurrences, Christoffel-Darboux connection formulas, and determinantal representations. These steps rely on standard properties of orthogonal polynomials and the well-definedness condition that a lies outside the support, without any reduction of the central claim to a fitted parameter, self-definition, or load-bearing self-citation chain. The asymptotic analysis in the Jacobi case is likewise presented as independent of M and N, confirming the derivation chain remains self-contained against external benchmarks in transformation theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work rests on standard properties of classical orthogonal polynomials and Geronimus transformations from the literature; no new free parameters, invented entities, or ad-hoc axioms are introduced in the abstract.

axioms (2)

domain assumption Classical orthogonal polynomials satisfy three-term recurrences and have known Christoffel-Darboux kernels.
Invoked implicitly when deriving connection formulas and recurrences for the transformed polynomials.
domain assumption Geronimus transformations preserve orthogonality with respect to modified measures when the point lies outside the support.
Central to the equivalence claim with the Sobolev inner product.

pith-pipeline@v0.9.0 · 5419 in / 1255 out tokens · 53952 ms · 2026-05-10T15:12:42.674068+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

20 extracted references

[1]

Alfaro, F

M. Alfaro, F. Marcell´ an, A. Pe˜ na and M. L. Rezola, When do linear combinations of orthogonal polynomials yield new sequences of orthogonal polynomials?, J. Comput. Appl. Math.233(2010), no. 6, 1446–1452

2010
[2]

Alfaro, A

M. Alfaro, A. Pe˜ na, M. L. Rezola and F. Marcell´ an Espa˜ nol, Orthogonal polynomials associated with an inverse quadratic spectral transform, Comput. Math. Appl.61(2011), no. 4, 888–900

2011
[3]

´Alvarez-Nodarse, J

R. ´Alvarez-Nodarse, J. Arves´ u Carballo and F. Marcell´ an Espa˜ nol, On the Krall-type polynomials, J. Appl. Math.2004, no. 5, 359–369

2004
[4]

Bavinck, Differential and difference operators having orthogonal polynomials with two linear perturbations as eigenfunctions, J

H. Bavinck, Differential and difference operators having orthogonal polynomials with two linear perturbations as eigenfunctions, J. Comput. Appl. Math.92(1998), no. 2, 85–95

1998
[5]

M. I. Bueno Cachadina and F. Marcell´ an Espa˜ nol, Darboux transformation and perturbation of linear functionals, Linear Algebra Appl.384(2004), 215–242

2004
[6]

M. I. Bueno Cachadina, A. Dea˜ no and E. Tavernetti, A new algorithm for computing the Geronimus transformation with large shifts, Numer. Algorithms54(2010), no. 1, 101–139

2010
[7]

T. S. Chihara,An introduction to orthogonal polynomials, Mathematics and its Applications, Vol. 13, Gordon and Breach, New York, 1978

1978
[8]

M. S. Derevyagin, J. C. Garc´ ıa-Ardila and F. Marcell´ an Espa˜ nol, Multiple Geronimus transforma- tions, Linear Algebra Appl.454(2014), 158–183

2014
[9]

M. S. Derevyagin and F. Marcell´ an Espa˜ nol, A note on the Geronimus transformation and Sobolev orthogonal polynomials, Numer. Algorithms67(2014), no. 2, 271–287. Double Geronimus transformation and Asymptotics 13

2014
[10]

Y. L. Geronimus, On polynomials orthogonal on the circle, on trigonometric moment-problem and on allied Carath´ eodory and Schur functions, C. R. (Doklady) Acad. Sci. URSS (N.S.)39(1943), 291–295

1943
[11]

Y. L. Geronimus,Orthogonal polynomials: Estimates, asymptotic formulas, and series of polynomials orthogonal on the unit circle and on an interval, authorized translation from the Russian, Consultants Bureau, New York, 1961

1961
[12]

F. A. Gr¨ unbaum, L. Haine and E. I. Horozov, Some functions that generalize the Krall-Laguerre polynomials, J. Comput. Appl. Math.106(1999), no. 2, 271–297

1999
[13]

Hermoso, E

C. Hermoso, E. J. Huertas, A. Lastra and F. Marcell´ an, Higher-order recurrence relations, Sobolev- type inner products and matrix factorizations, Numer. Algorithms92(2023), no. 1, 665–692

2023
[14]

Hounga, M

C. Hounga, M. N. Hounkonnou and A. Ronveaux, New families of orthogonal polynomials, J. Com- put. Appl. Math.193(2006), no. 2, 474–483

2006
[15]

Iliev, Krall-Jacobi commutative algebras of partial differential operators, J

P. Iliev, Krall-Jacobi commutative algebras of partial differential operators, J. Math. Pures Appl. (9)96(2011), no. 5, 446–461

2011
[16]

M. E.-H. Ismail,Classical and quantum orthogonal polynomials in one variable, Encyclopedia of Mathematics and its Applications, 98, Cambridge Univ. Press, Cambridge, 2005

2005
[17]

K. H. Kwon, D. W. Lee, F. Marcell´ an and S. B. Park, On kernel polynomials and self-perturbation of orthogonal polynomials, Ann. Mat. Pura Appl. (4)180(2001), no. 2, 127–146

2001
[18]

Marcell´ an and Y

F. Marcell´ an and Y. Xu, On Sobolev orthogonal polynomials, Expo. Math.33(2015), no. 3, 308–352

2015
[19]

J. A. Shohat, On mechanical quadratures, in particular, with positive coefficients, Trans. Amer. Math. Soc.42(1937), no. 3, 461–496

1937
[20]

V. P. Spiridonov and A. Zhedanov, Discrete Darboux transformations, the discrete-time Toda lattice, and the Askey-Wilson polynomials, Methods Appl. Anal.2(1995), no. 4, 369–398. †Department of Mathematics, Indian Institute of Technology, Roorkee-247667, Ut- tarakhand, India Email address:neha@ma.iitr.ac.in, neharani0777@gmail.com

1995