pith. sign in

arxiv: 2605.23720 · v1 · pith:GGR3Z57Unew · submitted 2026-05-22 · 🧮 math.CA

On a general method for deriving a fourth-order differential equation satisfied by Laguerre-Hahn orthogonal polynomials with new results for the class 0 analogous to Hermite

Mohamed Khalfallah , Pascal Maroni , Z\'elia da Rocha This is my paper

Pith reviewed 2026-05-25 02:30 UTC · model grok-4.3

classification 🧮 math.CA MSC 42C0533C45
keywords Laguerre-Hahn orthogonal polynomialsstructure relationsfourth-order differential equationsemiclassical polynomialsclass zeroalgebraic eliminationHermite polynomialsorthogonal polynomial sequences
0
0 comments X

The pith

Laguerre-Hahn orthogonal polynomials satisfy a fourth-order linear differential equation derived from their structure relations by successive differentiation and algebraic elimination.

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

The paper presents a constructive method that starts from the defining structure relations of Laguerre-Hahn orthogonal polynomial sequences and generates four additional structure relations together with a fourth-order linear differential equation. The procedure applies successive differentiation to the relations and then eliminates auxiliary quantities algebraically until the system closes. Semiclassical and classical orthogonal polynomials appear as special cases inside the same framework. Explicit symbolic computations produce new results for the class-zero case that parallel the known Hermite situation, plus one worked example from class one.

Core claim

A general algorithm exists that, given the structure relations admitted by any Laguerre-Hahn orthogonal polynomial sequence, produces four further structure relations and a fourth-order linear differential equation through repeated differentiation followed by algebraic elimination; the same procedure recovers the semiclassical and classical families when the appropriate parameters are inserted.

What carries the argument

The elimination algorithm that augments the original structure relations by their derivatives and removes variables algebraically to obtain a closed fourth-order system.

If this is right

  • Four structure relations exist for every Laguerre-Hahn orthogonal polynomial sequence.
  • Every such sequence satisfies a fourth-order linear differential equation.
  • Semiclassical families arise as special cases inside the same derivation.
  • Explicit new relations and the fourth-order equation are now available for the entire class-zero family, analogous to the Hermite case.
  • An explicit fourth-order equation is obtained for at least one semiclassical family of class one.

Where Pith is reading between the lines

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

  • The same differentiation-plus-elimination pattern could be tried on orthogonal polynomial families whose structure relations are known but whose differential equations are not yet derived.
  • Implementation inside a computer-algebra system would allow automatic generation of the relations and equation for any concrete Laguerre-Hahn weight once the initial structure relations are supplied.
  • The parallel with the Hermite case suggests the method may also produce new explicit results for other low-class semiclassical families that have not yet been treated in detail.

Load-bearing premise

The structure relations satisfied by Laguerre-Hahn polynomials are rich enough that differentiation and elimination close exactly at fourth order.

What would settle it

For an explicit Laguerre-Hahn polynomial of class zero, compute its actual minimal-order differential equation by other means and check whether that equation is fourth order and identical to the one produced by the algorithm.

read the original abstract

In this work, we develop a constructive method for deriving four structure relations and a fourth-order linear differential equation satisfied by Laguerre-Hahn orthogonal polynomial sequences. The method relies on a combination of structure relations, their successive derivatives, and algebraic elimination techniques. Particular attention is given to semiclassical and classical families, which are recovered as special cases within this general framework. The approach is systematized in the form of an algorithm. Using symbolic computations, we obtain explicit new results for Laguerre-Hahn polynomials of class zero, analogous to the Hermite case. In addition, we present results for a semiclassical example of class 1.

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.

Referee Report

0 major / 2 minor

Summary. The manuscript develops a constructive method, systematized as an algorithm, for deriving four structure relations and a fourth-order linear differential equation satisfied by Laguerre-Hahn orthogonal polynomial sequences. The approach combines existing structure relations with successive differentiation and algebraic elimination; classical and semiclassical families are recovered as special cases. Explicit new results are obtained via symbolic computation for class-zero Laguerre-Hahn polynomials (analogous to the Hermite case) and for one class-one semiclassical example.

Significance. If the elimination procedure closes at fourth order as claimed and the explicit formulas are correct, the work supplies a verifiable algorithmic framework for obtaining higher-order differential equations for Laguerre-Hahn polynomials, extending known results for classical orthogonal polynomials. The explicit, checkable formulas for the class-zero case constitute a concrete contribution that can be independently validated.

minor comments (2)
  1. [Introduction] The abstract states that the method recovers classical families as special cases, but the manuscript should explicitly identify which classical orthogonal polynomials (e.g., Hermite, Laguerre) arise and in which section the recovery is demonstrated.
  2. [Section 2] Notation for the structure relations and the elimination steps should be introduced with a clear table or numbered list early in the algorithmic description to aid readability.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of the manuscript, the recognition of its algorithmic contribution, and the recommendation for minor revision. No major comments appear in the report, so we have no specific points requiring point-by-point rebuttal. We will incorporate any minor editorial or presentational improvements in the revised version.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper describes an algorithmic procedure that begins from given structure relations satisfied by Laguerre-Hahn orthogonal polynomials, then applies successive differentiation followed by algebraic elimination to obtain four structure relations and a closed fourth-order linear differential equation. This is presented as a general constructive method that recovers classical and semiclassical cases as special instances and is verified explicitly via symbolic computation on class-0 and class-1 examples. No step reduces by definition to the target result, no fitted parameter is relabeled as a prediction, and no load-bearing premise rests on a self-citation chain; the output is an explicit, checkable formula whose closure is directly tested by the reported computations.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no information on free parameters, axioms, or invented entities; all fields are therefore empty.

pith-pipeline@v0.9.0 · 5651 in / 1198 out tokens · 26543 ms · 2026-05-25T02:30:22.372787+00:00 · methodology

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

37 extracted references · 37 canonical work pages

  1. [1]

    J. Alaya. Quelques r´ esultats nouveaux dans la th´ eorie des polynˆ omes de Laguerre- Hahn, 1996. Th` ese de Doctorat, Univ. Tunis II (in French)

    work page 1996

  2. [2]

    Alaya and P

    J. Alaya and P. Maroni. Symmetric Laguerre-Hahn forms of class s = 1.Integral Transforms Spec. Funct., 4:301–320, 1996

    work page 1996

  3. [3]

    Askey and J

    R. Askey and J. Wimp. Associated Laguerre and Hermite polynomials.Proc. R. Soc. Edinb., 96A:15–37, 1984

    work page 1984

  4. [4]

    Belmehdi, J

    S. Belmehdi, J. Dini, P. Maroni, and A. Ronveaux. 4th order differential equation for the co-modified of semi-classical orthogonal polynomials.J. Comput. Appl. Math., 29(2):225–231, 1989

    work page 1989

  5. [5]

    Belmehdi and A

    S. Belmehdi and A. Ronveaux. The fourth-order differential equation satisfied by the associated orthogonal polynomials.Rend. Mat. Appl., 11(2):313–326, 1991

    work page 1991

  6. [6]

    Ben Salah and M

    I. Ben Salah and M. Khalfallah. A large family of third degree Laguerre–Hahn linear functionals of class zero.Integral Transforms Spec. Funct., 36(12):1023– 1044, 2025

    work page 2025

  7. [7]

    Ben Salah and P

    I. Ben Salah and P. Maroni. The connection between self-associated two- dimensional vector functionals and third degree forms.Adv. Comput. Math., 13(1):51–77, 2000

    work page 2000

  8. [8]

    S. Bochner. ¨Uber Sturm-Liouvillesche polynomsysteme.Math. Z., 29:730–736, 1929

    work page 1929

  9. [9]

    Bouakkaz

    H. Bouakkaz. Les polynˆ omes orthogonaux de Laguerre-Hahn de classe z´ ero, 1990. Th` ese de doctorat, Univ. Pierre et Marie Curie, Paris (in French)

    work page 1990

  10. [10]

    Bouakkaz and P

    H. Bouakkaz and P. Maroni. Description des polynˆ omes orthogonaux de Laguerre- Hahn de classe z´ ero. In C. Brezinski, L. Gori, and A. Ronveaux, editors, Orthogonal Polynomials and Their Applications, pages 189–194. Baltzer, Basel, 1991

    work page 1991

  11. [11]

    Polynˆ omes Orthogonaux et Applications: Proceedings of the Laguerre Symposium held at Bar-le-Duc, October 15–18, 1984

    Claude Brezinski, Andr´ e Draux, Alphonse P Magnus, Pascal Maroni, and Andr´ e Ronveaux. Polynˆ omes Orthogonaux et Applications: Proceedings of the Laguerre Symposium held at Bar-le-Duc, October 15–18, 1984. volume 1171 of”Lecture Notes in Mathematics”. Springer, ”Berlin, Heidelberg”, 1985

    work page 1984

  12. [12]

    Buendia, J

    E. Buendia, J. S. Dehesa, and F. J. Galvez. The distribution of the zeros of the polynomial eigenfunctions of ordinary differential operators of arbitrary order. In 35 M. Alfaro et al., editors,Orthogonal Polynomials and Their Applications, volume 1329 ofLect. Notes Math., pages 222–235, Berlin, 1988. Springer-Verlag

    work page 1988

  13. [13]

    Bustoz and M

    J. Bustoz and M. E. H. Ismail. The associated ultraspherical polynomials and theirq-analogues.Can. J. Math., 34:718–736, 1982

    work page 1982

  14. [14]

    T. S. Chihara.An introduction to orthogonal polynomials. Gordon and Breach Science Publishers, New York-London-Paris, 1978

    work page 1978

  15. [15]

    J. S. Dehesa, F. Marcell´ an, and A. Ronveaux. On orthogonal polynomials with perturbed recurrence relations.J. Comput. Appl. Math., 30:203–212, 1990

    work page 1990

  16. [16]

    J. Dini. Sur les formes lin´ eaires et les polynˆ omes orthogonaux de Laguerre-Hahn,

    work page

  17. [17]

    Pierre et Marie Curie, Paris (in French)

    Th` ese de doctorat, Univ. Pierre et Marie Curie, Paris (in French)

    work page

  18. [18]

    J. Dzoumba. Sur les polynˆ omes de Laguerre-Hahn, 1985. Th` ese de doctorat, Univ. Pierre et Marie Curie, Paris (in French)

    work page 1985

  19. [19]

    W. N. Everitt and L. L. Littlejohn. Orthogonal polynomials and spectral theory: a survey. In C. Brezinski, L. Gori, and A. Ronveaux, editors,Orthogonal Polyno- mials and Their Applications, volume 9 ofIMACS Ann. Comput. Appl. Math., pages 21–55, Basel, 1991. J. C. Baltzer AG Publishers

    work page 1991

  20. [20]

    W. Hahn. On Differential Equations for Orthogonal Polynomials.Funkcialaj Ekvac., 21:1–9, 1978

    work page 1978

  21. [21]

    W. Hahn. ¨Uber Differentialgleichungen f¨ ur Orthogonalpolynome.Monatsh. Math., 95:269–274, 1983

    work page 1983

  22. [22]

    Letessier

    J. Letessier. Some results on co-recursive associated Laguerre and Jacobi polynomials.SIAM J. Math. Anal., 25:528–548, 1994

    work page 1994

  23. [23]

    A. F. Loureiro, P. Maroni, and Z. da Rocha. The generalized Bochner condition about classical orthogonal polynomials revisited.J. Math. Anal. Appl., 322:645– 667, 2006

    work page 2006

  24. [24]

    A. P. Magnus. Riccati acceleration of the Jacobi continued fractions and Laguerre- Hahn polynomials. In H. Werner and H. T. Bunger, editors,Pad´ e Approximation and Its Applications, volume 1071 ofLect. Notes Math., pages 213–230, Berlin,

    work page

  25. [25]

    Marcell´ an and A

    F. Marcell´ an and A. Ronveaux. Co-recursive orthogonal polynomials and fourth order differential equation.J. Comput. Appl. Math., 25(1):105–109, 1989

    work page 1989

  26. [26]

    P. Maroni. Les polynˆ omes orthogonaux auto-associ´ es modulo deux.Port. Math., 42:195–202, 1983

    work page 1983

  27. [27]

    P. Maroni. Prol´ egom` enes ` a l’´ etude des polynˆ omes orthogonaux semi-classiques. Ann. Mat. Pura Appl., 149:165–184, 1987

    work page 1987

  28. [28]

    P. Maroni. Une th´ eorie alg´ ebrique des polynˆ omes orthogonaux. In C. Brezinski, L. Gori, and A. Ronveaux, editors,Orthogonal polynomials and their applica- tions, volume 9 ofIMACS Ann. Comput. Appl. Math., pages 95–130, Basel, 1991. Baltzer

    work page 1991

  29. [29]

    P. Maroni. Fonctions Eul´ eriennes, Polynˆ omes orthogonaux classiques.Techniques de l’Ing´ enieur, A154:1–30, 1994

    work page 1994

  30. [30]

    P. Maroni. An introduction to second degree forms.Adv. Comput. Math., 3:59–88, 1995

    work page 1995

  31. [31]

    Maroni and M

    P. Maroni and M. Mejri. Some semiclassical orthogonal polynomials of class one. Eurasian Math. J., 2:108–128, 2011. 36

    work page 2011

  32. [32]

    Ronveaux

    A. Ronveaux. Fourth-order differential equations for the numerator polynomials. J. Phys. A, 21:749–753, 1988

    work page 1988

  33. [33]

    Ronveaux

    A. Ronveaux. 4th order differential equations and orthogonal polynomials of the Laguerre-Hahn class. In C. Brezinski, L. Gori, and A. Ronveaux, editors, Orthogonal polynomials and their applications, volume 9 ofIMACS Ann. Comput. Appl. Math., pages 379–385, Basel, 1991. Baltzer

    work page 1991

  34. [34]

    Ronveaux, S

    A. Ronveaux, S. Belmehdi, J. Dini, and P. Maroni. Fourth-order differential equation for the co-modified of semi-classical orthogonal polynomials.J. Comput. Appl. Math., 29:225–231, 1990

    work page 1990

  35. [35]

    Ronveaux and F

    A. Ronveaux and F. Marcell´ an. Co-recursive orthogonal polynomials and fourth- order differential equation.J. Comput. Appl. Math., 25:105–109, 1989

    work page 1989

  36. [36]

    Ronveaux, A

    A. Ronveaux, A. Zarzo, and E. Godoy. Fourth-order differential equations sat- isfied by the generalized co-recursive of all classical orthogonal polynomials.J. Comput. Appl. Math., 59(3):295–328, 1995

    work page 1995

  37. [37]

    J. Wimp. Explicit formulas for the associated Jacobi polynomials and some applications.Can. J. Math., 39(4):983–1000, 1987. 37

    work page 1987