Pith. sign in

REVIEW 4 major objections 6 minor 26 references

Orthogonality of polar Legendre polynomials and approximation

T0 review · 4 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper claims that polar Legendre polynomials are orthogonal under the weight $(1-x)/(1+x)$ and that their kernel solves the constrained minimization problem.

desk verdict The paper's central extremal theorem is false due to a wrong norm computation; the true minimum for n=2 is 1/18, not 1/3, so the new results do not stand. read the letter →

arxiv 2506.04918 v1 pith:ERAZJCVG submitted 2025-06-05 math.CV

Abdelhamid Rehouma This is my paper
classification math.CV MSC 42C0533C45
keywords PolarLegendrepolynomialsOrthogonalityReproducingkernelChristoffel-DarbouxformulaExtremalproblemPIPCIRWeightedapproximation
verification ladder T0 review T1 audit T2 compute T3 formal

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 studies the polar Legendre polynomials $P_n$, defined by the identity $(x-1)P_n(x)=-(n+1)\int_x^1 L_n(z)\,dz$ with $L_n$ the Legendre polynomial. It claims that this family is orthogonal on $[-1,1]$ with respect to the weight $w(x)=(1-x)/(1+x)$, and that its squared norm is the explicit rational function $2(n+1)^2/[n(n-1)(2n-1)]$. On that basis it derives a reproducing kernel $K_n(x,y)$, its Christoffel–Darboux form, and the solution of the extremal problem: among all real polynomials of degree $n$ with $F_n(1)=1$, the integral $I_n=\int_{-1}^{1} F_n(x)^2\,w(x)\,dx$ is minimized at $M=2/\sum_{j=2}^n j(j-1)(2j-1)$, attained by the kernel ratio $K_n(x,0)/K_n(0,0)$. A final theorem transports the orthogonality to other intervals through a change of variable that respects the weight.

What carries the argument

The carrier of the argument is the pair $(P_n, w)$: the polar Legendre polynomials $P_n$ defined by $(x-1)P_n = -(n+1)\int_x^1 L_n\,dz$, and the weight $w(x)=(1-x)/(1+x)$. The identity $(n+1)Q_{n+1}(x)=(x-1)P_n(x)$ converts orthogonality of $P_n$ under $w$ into orthogonality of $Q_n$ under $1/(1-x^2)$, which the paper proves by integration by parts with the differential equation (2). The reproducing kernel $K_n(x,y)=\sum_{k=0}^n P_k(x)P_k(y)/\|P_k\|^2$ and its Christoffel–Darboux form (38) then carry the extremal problem: the Lagrange-multiplier equations (45)–(46) solve to a minimum value $1/\sum P_k(1)^2/\|P_k\|^2$, and the paper evaluates this using its claimed norm and the boundary values $P_k(1)=k+1$.

What would settle it

Evaluate directly the $n=2$ norm from the definition: $P_2(x)=\tfrac{3}{2}x(x+1)$, so $\int_{-1}^{1} P_2^2\,(1-x)/(1+x)\,dx = \tfrac{9}{4}\int_{-1}^{1} x^2(1-x^2)\,dx = 3/5$. The paper's formula (36) gives $2(3)^2/(2\cdot1\cdot3)=3$. A reader who computes this integral and finds $3/5$ would see that the norm entering the kernel and the extremal problem is not the asserted value.

Watch

Extended reading notes

Core claim

The central discovery, as the paper states it, is that the polar Legendre polynomials form an orthogonal system for the weight $(1-x)/(1+x)$ and that the whole apparatus of classical orthogonal polynomial theory—kernel, Christoffel–Darboux formula, and extremal minimizer—applies to them. Concretely, Theorem 4 claims the orthogonality $\int_{-1}^1 P_n P_m (1-x)/(1+x)\,dx = 0$ for $n\neq m$ and the norm (36); Theorem 5 then claims that the minimizer of (50) under $F_n(1)=1$ is exactly the ratio of the kernel $K_n(x,0)$ to its value at $x=0$, with minimum value $M$ given by (51). The paper also claims (Theorem 6) that composing $P_n$ with a suitable increasing function $f$ and reshaping the weight produces an orthogonal system on a new interval, with the explicit example $f(x)=4x^3/(x^2+1)^2$.

Load-bearing premise

The paper's extremal and kernel results all depend on a specific formula for the weighted integral of the square of $P_n$; if that integral has a different value, the claimed minimum and minimizer change.

Editorial extensions

If this is right

  • The extremal polynomial for the constrained weighted integral is exactly the normalized kernel $K_n(x,0)/K_n(0,0)$.
  • The minimum value $M$ is given by a closed-form rational sum over degrees $2$ through $n$.
  • The change-of-variable theorem produces explicit orthogonal systems on other intervals for any increasing $f$ satisfying the weight relation (56), including the rational example (57).
  • The Christoffel–Darboux formula gives a finite-sum representation of $K_n(x,0)$ in terms of boundary values and derivatives, usable in quadrature and approximation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The same Lagrange-multiplier scheme would apply to any orthogonal polynomial family with an explicit norm; the paper's formulas (47)–(54) are structurally general, so a corrected norm would still leave the kernel-ratio form of the minimizer intact.
  • The rational map in (57) is a Möbius-like transformation of the interval; the orthogonality transported through it could provide integration rules for integrands with endpoint singularities of the form $(1-x)/(1+x)$.
  • Directly verifying the low-degree cases would pin down which of the paper's explicit constants are dependable for numerical work.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

4 major / 6 minor

Summary. The paper defines a family of 'polar Legendre polynomials' P_n by (n+1)L_n = [(x-1)P_n]' and (n+1)Q_{n+1} = (x-1)P_n, then claims orthogonality with respect to the weight (1-x)/(1+x), derives kernel and Christoffel-Darboux formulas, and solves an extremal problem: among real degree-n polynomials with F(1)=1, minimize ∫_{-1}^{1} F_n(x)^2 (1-x)/(1+x) dx. The claimed minimizer and minimum are given in Theorem 5, equations (51)-(54). The paper also states a norm formula for P_n in Theorem 4, equation (36), and gives a generalization via a change of variables in Theorem 6.

Significance. If correct, the paper would provide an explicit orthogonality system, reproducing kernel, and exact extremal polynomial for a nonstandard weight, which would be a useful addition to the theory of polar Legendre polynomials. The definitions in (20)-(25) are explicit, and the orthogonality of the Q_n system in Theorem 3 is standard and plausible. However, the central norm formula is wrong, the extremal expansion omits the square-integrable basis element P_1, and Theorem 5 fails already for n=2. These are not presentation issues: they change the mathematical content of the main claims. No machine-checked or reproducible computation is supplied to counterbalance the algebraic errors.

major comments (4)
  1. [§3.1, Eq. (36)] Equation (36) is incorrect. From (24), (n+1)Q_{n+1}(x) = (x-1)P_n(x), so ||P_n||^2 = ∫ P_n^2 (1-x)/(1+x) dx = (n+1)^2 ∫ Q_{n+1}^2/(1-x^2) dx. Using the correct Q-norm (34) for Q_{n+1} gives ||P_n||^2 = 2(n+1)/(n(2n+1)). The paper instead uses Q_n in the last integral and obtains 2(n+1)^2/[n(n-1)(2n-1)]. For n=2 the true value is 3/5, not 3. This error propagates into the kernel formulas (37)-(41) and into the extremal formulas (47), (51), and (53)-(54).
  2. [§3.3, Theorem 5] The minimization omits the square-integrable basis element P_1. From (22), P_1(x) = x+1, so P_1(1) = 2 and ||P_1||^2 = ∫_{-1}^{1} (x+1)^2 (1-x)/(1+x) dx = 4/3. A degree-2 polynomial with F(1)=1 can be written as a_1 P_1 + a_2 P_2 with 2a_1 + 3a_2 = 1. Minimizing (4/3)a_1^2 + (3/5)a_2^2 subject to this constraint gives M = 1/18, attained at a_1 = 1/12 and a_2 = 5/18. Equation (51) gives 1/3 for n=2 and equation (52) gives the wrong extremal polynomial. Thus the 'if and only if' statement in Theorem 5 is false.
  3. [§2, Eq. (29)] Equation (29) is inconsistent with the differential equation (26). Substituting x=1 into (26) gives 4P'_n(1) - n(n+1)P_n(1) = 0; with P_n(1) = n+1 this yields P'_n(1) = n(n+1)^2/4, not n(n^2-1)/4. The proof replaces the coefficient n(n+1) by n(n-1). The explicit example P_2(x) = 3(x^2+x)/2 has P'_2(1) = 9/2, confirming the corrected value. Any formula that uses P'_n(1) inherits this error.
  4. [§3.2, Eq. (41)] Formula (41) is not well-defined as written: for k=0 and k=1 the factor ((k-3)!!)^2 involves negative double factorials, and the displayed sum starts at k=0. If the intended sum starts at k=2, the expression omits the k=1 term, which is required because P_1 is square-integrable and appears in the reproducing kernel of the space of polynomials of degree n that belong to L^2 with the weight (1-x)/(1+x). Consequently the identities (53)-(54), which identify the minimizer with the normalized kernel at x=0, do not follow.
minor comments (6)
  1. [Abstract and §1] The terms 'integral Legendre polynomials' and 'PIPCIR' are used without definition, and the heading in §3.1 contains the typo 'Ortogonality'.
  2. [§3.1, Theorem 3 proof] The sentence 'because Q_n(x) = 0, Q_n(-1) = 0' should read Q_n(1) = 0; as written it is false.
  3. [§1, Eq. (15)] Equation (15) is ambiguous for odd n and gives incorrect signs for n=2 and n=4; it should be stated with an explicit parity convention for n.
  4. [§3.1, Theorem 4 proof] The proof cites formula (35), which is the statement being proved; the intended reference is the Q-orthogonality relation (33).
  5. [§3.3, Theorem 6 proof] The proof refers to 'Theorem 1', but no Theorem 1 is stated in the paper; the change of variables leading to (58) should be written out in full.
  6. [References] References [14] and [15] appear mismatched: [14] lists Gradshteyn and Ryzhik under the title 'Table of Integrals, Series and Products', while [15] lists an AMS Bulletin article under the same title; the attributions should be corrected.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the derivation chain is internal to the definitions; the fatal norm error in (36) is a computational/indexing mistake, not a circular step.

full rationale

The paper's derivation chain is self-contained and does not reduce to its own inputs. The objects Q_n and P_n are fixed by the definitions (4) and (20), the orthogonality theorems are proved from those definitions together with standard Legendre identities, and the extremal calculation in Theorem 5 uses the orthogonal basis and Lagrange multipliers in the standard way. There is no fitted parameter, no external data, and no 'prediction' that is an input renamed. The kernel formulas are standard reproducing-kernel identities, and the one self-citation ([21]) accompanies formulas also attributed to Szego ([1]) and to standard references; it is not load-bearing. The paper does contain serious mathematical errors: equation (36) derives from (24) only if Q_{n+1} is incorrectly replaced by Q_n, and the degree-2 admissible polynomial must include P_1, whose square norm is 4/3, so the claimed minimum 1/3 in (51) is false and the direct minimization gives 1/18. The proof of Theorem 6 also refers to a nonexistent 'Theorem 1', a missing reference. These are correctness flaws, not circularity: no step is equivalent by construction to its own premise, and no self-citation chain forces the central claim. The paper would still need correction of (36), (47), (51), and (52), but circularity is not the issue.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

The central derivation depends on the norm formula (36), which is wrong, and on an unjustified truncation of the orthogonal expansion. No new physical or mathematical entities are introduced.

assumptions (3)
  • standard math The paper assumes the standard Legendre identities in [23] are correct and can be combined with the definition of Q_n.
    The paper uses the Legendre differential equation, recurrence, and integral identities throughout without proof.
  • domain assumption The Christoffel-Darboux formula (38) and the reproducing kernel property (40) hold for the P_n system.
    These are standard results from [1], [13], and [21], but they require a correct orthogonal norm. The paper uses the incorrect norm from (36).
  • ad hoc to paper The minimizing polynomial may be expanded in the system P_k for k starting at 2, omitting P_1.
    The paper silently drops k=0 and k=1 in equations (47) and (48) even though P_1 has finite norm and nonzero value at x=1, which changes the minimization result.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Orthogonality of polar Legendre polynomials and approximation." pith.science (2026). https://pith.science/paper/ERAZJCVG

@misc{pith2026250604918,
  author       = {Pith},
  title        = {Pith review of: Orthogonality of polar Legendre polynomials and approximation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ERAZJCVG}},
  note         = {Machine review of arXiv:2506.04918}
}
abstract

Let $\{Q_{n}(x)\}$ be a system of integral Legendre polynomials of degree exactly n,and let $\{P_{n}(x)\}$ be polar polynomials primitives of integral Legendre polynomials. We derive some identities and relations and extremal problems and minimization involving of polar integral Legendre polynomials.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

26 extracted references · 25 canonical work pages

  1. [25]

    H.Pijeira.Cabrera and Y.Jos\' e Bello Cruz and W.Urbina , On Polar Legendre polynomials,Rocky Mountain Journal of Mathematics,RMJ (2008),vol 38,1-10. \

    work page 2008

  2. [20]

    Belinsky, Integrals of Legendre polynomials and solution of some partial differential equations, Journal of Applied Analysis, Vol

    R. Belinsky, Integrals of Legendre polynomials and solution of some partial differential equations, Journal of Applied Analysis, Vol. 6, No. 2 (2000), pp. 259--282

    work page 2000

  3. [1]

    Szego , Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, Vol.23, Amer

    G. Szego , Orthogonal Polynomials, 4th ed., American Mathematical Society Colloquium Publications, Vol.23, Amer. Math. Soc. Providence,RI, 1978

    work page 1978

  4. [2]

    J. Shen, T. Tang, L.-L. Wang, Spectral methods: algorithms, analysis and applications, (Springer,2011)

    work page 2011

  5. [3]

    Graduate School Theses and Dissertations

    Jemal Emina Gishe, A finite family of q-orthogonal polynomials and resultants of Chebyshev polynomials. Graduate School Theses and Dissertations. University of South Florida

    work page

  6. [4]

    Gishe\ ,M

    J. Gishe\ ,M. E. H. Ismail, Resultants of Chebyshev Polynomials, Journal for Analysis and its Applications 27 (2008), no. 4, 499-508

    work page 2008

  7. [5]

    Alberto Grunbaum, Random walks and orthogonal polynomials: some challenges, Probability, Geometry and Integrable Systems MSRI Publications,2007,Volume 55

    F. Alberto Grunbaum, Random walks and orthogonal polynomials: some challenges, Probability, Geometry and Integrable Systems MSRI Publications,2007,Volume 55

    work page 2007

  8. [6]

    G. V. Milovanovi\' c , A. S. Cvestkovi\' c , M. M.\ Mateji\' c , Remark on orthogonal polynomials induced by the modified Chebychev measure of the second kind. Facta Universitatis ( Nis) Ser. Math.Inform, 21, 2006, pp. 13-21

    work page 2006

Show all 26 references
  1. [7]

    Doha, E.H., Abd-Elhameed, W.M., Alsuyuti, M.M.: On using third and fourth kinds Chebyshev polynomials for solving the integrated forms of high odd-order linear boundary value problems. J. Egypt. Math. Soc. 23, 397--405 (2015)

    2015

  2. [8]

    Foupouagnigni, On difference and differential equations for modifications of classical orthogonal polynomials

    M. Foupouagnigni, On difference and differential equations for modifications of classical orthogonal polynomials. Habilitation Thesis, Department of Mathematics and Computer Science. University of Kassel, Kassel, January 2006

    2006

  3. [9]

    Marcellan, J

    F. Marcellan, J. Petrolinho, Orthogonal polynomials and quadratic transformations, Portugaliae Mathematica, Vol.56 Fasc.1(1999)

    1999

  4. [10]

    Mohammad M. Jamel, Mehdi Dehghan, On rational classical orthogonal polynomials and their applications for explicit computation of inverse Laplace transforms,Mathematical Problems in Engineering 2005:2 (2005), pp. 215--230

    2005

  5. [11]

    J. C. Mason, D. C. Handscomb, Chebyshev polynomials, (Chapman&Hall, London, 2003)

    2003

  6. [12]

    \ J. P. Boyd, Chebyshev and Fourier spectral methods, (Dover, 2nd edn., Mineola, 2001)

    2001

  7. [13]

    Abramowitz and I.A

    M. Abramowitz and I.A. Stegun (Eds.), Handbook of Mathematical Functions, 10th Edition, Dover, New York, 1972

    1972

  8. [14]

    K. H. Kwon, L. L. Little John, Table of Integrals, Series and Products. Academic Press (1980)

    1980

  9. [15]

    I. S. Gradshteyn,\ I. M. Ryzhik, On derivatives of orthogonal polynomials II, Bulletin of AMS, vol. 42 ( 1940), pp. 261-264

    1940

  10. [16]

    Dilcher, K

    K. Dilcher, K. B. Stolarsky, Resultants and Discriminants of Chebyshev and related polynomials, Transactions of the Amer. Math. Soc. 357 (2004), 965-981

    2004

  11. [17]

    Karlin, J

    S. Karlin, J. McGregor, Linear growth models with many types and multidimensional Hahn polynomials, in Theory and applications of special functions, 261288, ed. R. A. Askey, Academic Press,New York, 1975

    1975

  12. [18]

    Farrell, O.Ross, B., Solved Problems, The Macmollan Company, New York, 1963

    1963

  13. [19]

    L., Wong, R., A uniform asymptotic expansion of the Jacobi polynomials with error bounds, Canad

    Frenzen, C. L., Wong, R., A uniform asymptotic expansion of the Jacobi polynomials with error bounds, Canad. J. Math. 37(5) (1985), 979--1007

    1985

  14. [21]

    Rehouma and M

    A. Rehouma and M. J. Atia, Study of an example of Markov chains involving Chebyshev polynomials. Integral transforms and special functions. Received 22January 2022. Accepted 1 July 2022. https://doi.org/10.1080/10652469.2022.2098286

    2022

  15. [22]

    Algerian Journal of Engineering Architectureand Urbanism Vol

    Abdelhamid REHOUMA, Asymptotic of polar orthogonal polynomials on the unit circle and their reversed polynomials. Algerian Journal of Engineering Architectureand Urbanism Vol. 5 Nr. 2, 2021

    2021

  16. [23]

    Abramowitz and I

    M. Abramowitz and I. Stegun, Eds, Handbook of mathematical functions,Dover Publications, 1965

    1965

  17. [24]

    T. S. Chihara, An introduction to orthogonal polynomials, Gordon and Breach,New York, 1978

    1978

  18. [26]

    Askey, Orthogonal Polynomials and Special Functions, Regional Conf

    R. Askey, Orthogonal Polynomials and Special Functions, Regional Conf. Ser.Appl. Math. 21, SIAM, Philadelphia,1975

    1975

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.