pith. sign in

arxiv: 2407.06995 · v4 · pith:SLRMSGWYnew · submitted 2024-07-09 · 🧮 math.CA

Characterization of classical orthogonal polynomials in two continuous variables

Maurice Kenfack Nangho , Kerstin Jordaan , Bleriod Jiejip Nkwamouo This is my paper

Pith reviewed 2026-05-23 23:17 UTC · model grok-4.3

classification 🧮 math.CA
keywords orthogonal polynomialstwo variablesPearson equationRodrigues formulaclassical polynomialspartial differential equationstructure relationmoment functionals
0
0 comments X

The pith

Orthogonal polynomials in two continuous variables satisfy five equivalent characterizing properties under suitable conditions on the weight.

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

The paper shows that for polynomials orthogonal with respect to a weight function in two variables, the matrix Pearson equation, a second-order linear partial differential equation, orthogonality of the gradients, a matrix Rodrigues formula with tensor products, and the first structure relation are all equivalent. This set of equivalences supplies a definition of classical orthogonal polynomials in two variables and connects the theory to both weight functions and moment functionals. A nontrivial example is given to show how the characterizations work in practice.

Core claim

We prove, under suitable conditions, the equivalence of the matrix Pearson equation of the weight, the second order linear partial differential equation, the orthogonality of the gradients, the matrix Rodrigues formula involving tensor products of matrices, and the first structure relation for a family of polynomials in two continuous variables orthogonal with respect to a weight function. We introduce a notion of classical orthogonal polynomials in two variables and relate the corresponding theory for weight functions and moment functionals.

What carries the argument

Equivalence among the matrix Pearson equation, second-order linear PDE, gradient orthogonality, matrix Rodrigues formula with tensor products, and first structure relation

If this is right

  • Classical orthogonal polynomials in two variables can be identified by verifying any one of the five equivalent properties.
  • The definition applies equally to moment functionals and to weight functions.
  • The theory supplies a uniform way to recognize classical families beyond the one-variable case.

Where Pith is reading between the lines

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

  • The equivalences may simplify the search for new classical families by reducing the task to solving one of the five equations.
  • The matrix-valued Rodrigues formula could be used to generate explicit examples whose orthogonality is then automatic.

Load-bearing premise

The weight function satisfies suitable conditions that make the five listed properties equivalent.

What would settle it

A concrete weight function obeying the suitable conditions for which exactly one of the five properties holds while another fails.

read the original abstract

For a family of polynomials in two continuous variables, orthogonal with respect to a weight function, we prove, under suitable conditions, the equivalence of the following properties: the matrix Pearson equation of the weight, the second order linear partial differential equation, the orthogonality of the gradients, the matrix Rodrigues formula involving tensor products of matrices, and the so-called first structure relation. We then introduce a notion of classical orthogonal polynomials in two variables and relate the corresponding theory for weight functions and moment functionals. Finally, we present a nontrivial example that illustrates and delineates our contribution to the field.

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 paper proves, under suitable conditions on the weight function, the equivalence of five properties for families of orthogonal polynomials in two continuous variables: the matrix Pearson equation of the weight, the second-order linear partial differential equation satisfied by the polynomials, the orthogonality of their gradients, the matrix Rodrigues formula involving tensor products, and the first structure relation. It then defines classical orthogonal polynomials in two variables, relates the theory for weights and moment functionals, and illustrates the results with a nontrivial example.

Significance. If the equivalences hold under the stated conditions, the work supplies a unified characterization framework for classical orthogonal polynomials in two variables that parallels the classical one-variable theory. The explicit connection between weight-function and moment-functional approaches, together with the nontrivial example, strengthens the contribution and may support further extensions in multivariate orthogonal polynomials.

minor comments (2)
  1. [Introduction] The abstract and introduction refer to 'suitable conditions' without an early, self-contained statement of those conditions; a dedicated paragraph or theorem statement listing the precise hypotheses (e.g., support, differentiability, positivity) would improve readability.
  2. [Section 3] Notation for the matrix-valued weight and the tensor-product Rodrigues formula should be introduced with an explicit example of the matrix dimensions before the general statements in the equivalence theorems.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work, the accurate summary of the main results, and the recommendation of minor revision. No specific major comments are provided in the report.

Circularity Check

0 steps flagged

Equivalence proofs form a self-contained characterization with no circular reduction

full rationale

The manuscript proves mutual equivalence of five properties (matrix Pearson equation of the weight, second-order linear PDE, orthogonality of gradients, matrix Rodrigues formula, and first structure relation) under suitable conditions on the weight, then defines classical orthogonal polynomials in two variables via those equivalences and supplies a nontrivial example. Each step is an if-and-only-if argument relating independently stated analytic properties of the weight or the orthogonal system; none reduces by construction to a fitted parameter, a self-referential definition, or a load-bearing self-citation. The derivation chain therefore remains non-circular and externally falsifiable through direct verification of the listed differential or integral relations.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract alone; the work relies on standard background results in orthogonal polynomials that are not enumerated here.

pith-pipeline@v0.9.0 · 5627 in / 1134 out tokens · 19800 ms · 2026-05-23T23:17:11.169305+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

  • IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    We prove, under suitable conditions, the equivalence of the following properties: the matrix Pearson equation of the weight, the second order linear partial differential equation, the orthogonality of the gradients, the matrix Rodrigues formula involving tensor products of matrices, and the so-called first structure relation.

  • IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear
    ?
    unclear

    Relation between the paper passage and the cited Recognition theorem.

    Definition 12. … A weight function ρ on Ω is classical if there exists a symmetric 2-matrix … Φ … and … ψi … such that det(D1,D2)≠0 and div(ρΦ)=ρ(ψ1,ψ2).

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Characterization theorems for orthogonal polynomials

    Al-Salam W A. Characterization theorems for orthogonal polynomials. In: Nevai P , editor. Orthogo- nal polynomials. Dordrecht: Springer; 1990. p. 1–24

    work page 1990

  2. [2]

    A matrix Rodrigues formula for classical orthogonal polynomials in two variables

    ´Alvarez de Morales M, Fern´ andez L, P´ erez TE, Pi˜ nar MA. A matrix Rodrigues formula for classical orthogonal polynomials in two variables. J. Approx. Theory . 2009;157(1):32–52

    work page 2009

  3. [3]

    Orthogonal polynomials and diffusion operators

    Bakry D, Orevkov S and Zani M. Orthogonal polynomials and diffusion operators. arXiv preprint arXiv:1309.5632. 2013 Sep 22

    work page arXiv 2013

  4. [4]

    Introduction to matrix analysis

    Bellman R. Introduction to matrix analysis. Society for Industrial and Applied Mathematics; 1997. (Classics in Applied Mathematics)

    work page 1997

  5. [5]

    Classical orthogonal polynomials in two variables: a matrix approach

    Fern´ andez L, P´ erez TE, Pi˜ nar MA. Classical orthogonal polynomials in two variables: a matrix approach. Numer. Algorithms. 2005;39(1):131–142

    work page 2005

  6. [6]

    Orthogonal polynomials of several variab les

    Dunkl CF, Xu Y . Orthogonal polynomials of several variab les. Cambridge University Press; 2014

    work page 2014

  7. [7]

    A practical guide to pseudospectral methods

    Fornberg B. A practical guide to pseudospectral methods . Cambridge university press; 1998

    work page 1998

  8. [8]

    Two-variable analogues of the classical orthogonal polynomials

    Koornwinder T. Two-variable analogues of the classical orthogonal polynomials. In: Askey RA, editor. Theory and application of special functions. Acade mic Press; 1975 p. 435-495

    work page 1975

  9. [9]

    Orthogonality and recursion formulas for p olynomials in n variables

    Kowalski MA. Orthogonality and recursion formulas for p olynomials in n variables. SIAM J. Math. Anal.. 1982;13(2):316–323

    work page 1982

  10. [10]

    The recursion formulas for orthogonal pol ynomials in n variables

    Kowalski MA. The recursion formulas for orthogonal pol ynomials in n variables. SIAM J. Math. Anal.. 1982;13(2):309–315

    work page 1982

  11. [11]

    Krall HL, Sheffer IM, Orthogonal polynomials in two var iables. Ann. Mat. Pura Appl.. 1967;76(1):325–376

    work page 1967

  12. [12]

    Orthogonal polynomial solutions to ord inary and partial differential equations

    Littlejohn LL. Orthogonal polynomial solutions to ord inary and partial differential equations. In: Alfaro M, Dehesa JS, Marcell´ an FJ, Rubio de Frances JL, Vinuesa J, editors. Orthogonal Polynomials and their Applications. Proceedings of an International Sy mposium held in Segovia, Spain, Sept.22– 27, 1986. Berlin: Springer; 1988. p.98–124. (Lecture Not...

    work page 1986

  13. [13]

    Orthogonal polynomials of several variabl es

    Lyskova AS. Orthogonal polynomials of several variabl es. In: Doklady Akademii Nauk, vol. 316, no. 6, pp. 1301-1306. Russian Academy of Sciences, 1991

    work page 1991

  14. [14]

    On bivariate classical orthogonal polynomials

    Marcell´ an F, Marriaga M, P´ erez TE and Pi˜ nar MA. On bivariate classical orthogonal polynomials. Appl. Math. Comput.. 2018;325:340–357. 20

    work page 2018

  15. [15]

    and Jiejip Nkwamouo B

    Kenfack Nangho M. and Jiejip Nkwamouo B. Embedding theo rems and completeness of orthogonal polynomials systems associated with classical Weights in t wo variables, In progress

    work page

  16. [16]

    Classical orthog onal polynomials of a discrete variable on nonuniform grids

    Nikiforov AF, Suslov SK and Uvarov VB. Classical orthog onal polynomials of a discrete variable on nonuniform grids. Dokl. Akad. Nauk SSSR, 1986;291(5):1056 –1059

    work page 1986

  17. [17]

    Jacobi pseudospectral method for solving o ptimal control problems

    Williams P . Jacobi pseudospectral method for solving o ptimal control problems. J. Guid. Control Dynam. 2004;27(2): 293–297

    work page 2004

  18. [18]

    Orthogonal Polynomials in two variables

    Suetin PK. Orthogonal Polynomials in two variables. An alytical Method and Special functions. Am- sterdam: Gordon and Breach Science Publishers; 1984

    work page 1984

  19. [19]

    On multivariate orthogonal polynomials

    Xu Y . On multivariate orthogonal polynomials. SIAM J. M ath. Anal.. 1993;24:783–794. 21

    work page 1993