Pith. sign in

REVIEW 2 major objections 4 minor 32 references

Fourier transforms of Jacobi and Laguerre polynomials on the paraboloid factor into a unit-ball transform times a hypergeometric factor.

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 ↗

T0 review · deepseek-v4-flash

2026-08-05 05:42 UTC pith:FHMIXQSP

load-bearing objection A clean, expected extension of the cone/ball Fourier-transform program to the paraboloid; the d=1 math checks out, but the main theorems need convergence hypotheses and the general-d induction needs to be shown before the results are fully trustworthy as stated. the 2 major comments →

arxiv 2509.04994 v1 pith:FHMIXQSP submitted 2025-09-05 math.CA

Fourier transforms of orthogonal structures on the paraboloid

Hasan \"Ozkan \c{C}etin , Rabia Akta\c{s} Karaman This is my paper
classification math.CA MSC 33C5033C7033C4542B10
keywords Jacobi polynomialsLaguerre polynomialsMultivariate orthogonal polynomialsparaboloidFourier transformParseval's identitycontinuous Hahn polynomialscontiguous relations
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 paper aims to establish explicit closed forms for the Fourier transforms of the Jacobi and Laguerre polynomial families defined on the solid paraboloid in R^{d+1}. Each transform splits into the already-known Fourier transform of an orthogonal polynomial on the unit ball, multiplied by a one-variable factor built from Gamma functions and a terminating hypergeometric function (a 3F2 for Jacobi, a 2F1 for Laguerre) that carries the paraboloid radial coordinate and its frequency. Applying Parseval's identity to these splits, the paper defines two new families of multivariate special functions, A and B, and proves orthogonality relations for them with explicit norm constants. The new families also admit equivalent descriptions as products of continuous Hahn polynomials with the ball functions, and they satisfy contiguous relations. Why it matters: the same method previously produced unit-ball, simplex, and cone analogues, so this completes the picture for parabolic domains and gives explicit dual objects for Fourier expansions there.

Core claim

The central claim is Theorem 3.1: the Fourier transform of the Jacobi-on-paraboloid function h_{m,k} equals F(g_d), the unit-ball transform from Lemma 2.1, times 2^{ζ+η−1}, a Pochhammer symbol (|k|+μ+β+(d+1)/2)_{m−|k|}, the Gamma ratio Γ(ζ+|k|/2−iξ_{d+1}/2)Γ(η+iξ_{d+1}/2)/Γ(|k|/2+ζ+η), and a terminating 3F2 at unit argument. Theorem 3.4 is the Laguerre analogue: the same ball factor times 2^{ζ+|k|/2−iξ_{d+1}}, the same Pochhammer symbol, Γ(ζ+|k|/2−iξ_{d+1})/(m−|k|)!, and a terminating 2F1 at argument 2. Theorems 3.2 and 3.5 use Parseval's identity to turn these factorizations into orthogonality of new families A and B, expressed through continuous Hahn polynomials, with norm constants.

What carries the argument

The central object is the function h_{m,k}(t,x;...) defined in (3.1)/(3.4): the product of a Jacobi (or Laguerre) polynomial in the radial paraboloid variable, a weight built from (1+tanh t) and (1−tanh t) (Jacobi) or from the exponential (Laguerre), and the unit-ball factored function g_d from (2.23). The mechanism is separation of variables in the Fourier integral: after the substitution u=(1+tanh t)/2 (Jacobi) or u=e^t (Laguerre), the ball part factors out as F(g_d) exactly as in Lemma 2.1, and the remaining one-dimensional integral is a beta integral (Jacobi) or a Gamma integral (Laguerre), which evaluates to a terminating hypergeometric factor Θ=3F2(...;1) or Λ=2F1(...;2). The paper the

Load-bearing premise

The formulas rest on evaluating the radial Fourier integral as a beta-type (or Gamma-type) integral; this requires convergence conditions on the parameters — for example ζ+|k|/2>0 and η>0 in the Jacobi case — that the statements of Theorems 3.1 and 3.4 do not spell out.

What would settle it

Compute the right- and left-hand sides of (3.3) for d=1, m=2, k1=1, ζ=−1, η=2, ξ2=0: near u=0 the defining integral behaves like u^{−3/2} and diverges, while the proposed formula stays finite (it contains Γ(−1/2)); the mismatch would show the identity needs explicit convergence hypotheses.

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

Share X Bluesky LinkedIn Reddit HN

If this is right

  • Fourier coefficients of functions on the paraboloid can be computed in closed form for the Jacobi and Laguerre polynomial bases, for every degree m and every dimension d≥1.
  • The A and B families provide explicitly orthogonal systems in the frequency domain, with norms expressible through Gamma functions and the known ball norms, so they can serve as ready-made bases for L^2 expansions over the paraboloid.
  • The contiguous relations of Theorems 3.3 and 3.6 imply the new families close under parameter shifts; hypergeometric calculus then yields three-term recurrences and differential operators for them.
  • In one dimension the results reduce to transforms and orthogonality expressed by continuous Hahn polynomials, tying the multivariate families to the classical hypergeometric orthogonal ladder.

Where Pith is reading between the lines

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

  • The same beta-integral separation should produce explicit Fourier transforms for other paraboloid weight families — e.g., shifted or multi-parameter Laguerre weights, or q-analogue weights — by substituting the corresponding one-variable integral evaluation.
  • The positivity assumptions in Theorems 3.2 and 3.5 are probably removable by analytic continuation, since both sides of the displayed identities are meromorphic in the parameters once the defining integrals are interpreted in the distributional sense.
  • Because the frequency-domain functions A and B are explicit products of Gamma ratios, Hahn polynomials, and the D_k ball factor, they could support sampling or Parseval-frame constructions on parabolic domains without numerical evaluation of the Fourier transform.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper defines functions h_{m,k} on R^{d+1} by pulling Jacobi and Laguerre polynomials on the solid paraboloid back to hyperbolic/exponential coordinates, and claims explicit formulas for their Fourier transforms. Theorem 3.1 states that the Fourier transform of the Jacobi-paraboloid function is a product of the ball-domain transform F(g_d), a beta-type Gamma factor, a Pochhammer symbol, and a terminating 3F2 factor (continuous Hahn polynomial); Theorem 3.4 states the analogous Laguerre-paraboloid result with a 2F1 factor. Using Parseval's identity, the paper then defines two new families A^{(d+1)}_{m,k} and B^{(d+1)}_{m,k} (Theorems 3.2 and 3.5) and proves contiguous relations for them (Theorems 3.3 and 3.6). The d=1 computations are explicit and the parameter matching that reduces the Parseval integrals to known orthogonalities is plausible. However, the theorems are stated for unrestricted real parameters while the proofs evaluate convergent beta/gamma integrals only in restricted regions, and the general-d proofs of Theorems 3.2 and 3.5 are asserted by induction without showing the induction step.

Significance. If the stated factorization formulas are valid under appropriate hypotheses, they provide a new family of Fourier-transform identities for orthogonal structures on the paraboloid, extending earlier work on the ball and cone, and the A and B families constructed via Parseval constitute genuinely new multivariate orthogonal functions expressed through continuous Hahn polynomials. The explicit d=1 formulas and the contiguous relations are concrete and checkable. The main weakness is not the overall strategy but the unqualified parameter statements and the missing higher-dimensional induction details; these are load-bearing because Theorems 3.1 and 3.4 are the basis for everything that follows.

major comments (2)
  1. [Section 3.1, Theorem 3.1; Section 3.4, Theorem 3.4] Theorems 3.1 and 3.4 state the Fourier-transform formulas for arbitrary real α, ζ, η, β, µ, γ, but the proofs evaluate integrals that converge only under additional hypotheses. In the proof of Theorem 3.1, the substitution u=(1+tanh t)/2 turns the t-integral into ∫_0^1 u^{ζ+|k|/2-1-iξ_{d+1}/2}(1-u)^{η-1+iξ_{d+1}/2} times a Jacobi polynomial, which converges only if ζ+|k|/2>0 and η>0. In Theorem 3.4, after u=e^t, the integral requires ζ+|k|/2>0. As a concrete failure, take d=1, k_1=0, m=0, ζ=0, η=1, α=1, µ=1/2, β=γ=0; then h=(1-tanh t)sech^2 x and the t-Fourier integral diverges as t→-∞, while the right-hand side of (3.3) is finite for generic ξ. Thus the displayed identities are not valid as ordinary Fourier transforms without added parameter restrictions or an explicit analytic-continuation statement. This is load-bearing because (3.3) and (3.6) are the paper's central formulas.
  2. [Section 4, Proofs of Theorems 3.2 and 3.5] The proofs of Theorems 3.2 and 3.5 are summarized as 'The proof follows by induction on d', but only the d=1 case is actually computed. The induction step is not demonstrated: one must verify that the x-integrals in d variables reduce to the known ball orthogonality via Lemma 2.2 and that the t/frequency integrals factor correctly for general d. Since Theorems 3.2 and 3.5 are stated for all d≥1 and the A and B families are the second main contribution, this missing step is a gap in the proof. Please either supply the induction step explicitly or state a precise reduction to Lemma 2.2 and the one-dimensional computation.
minor comments (4)
  1. [Section 3.4, Eq. (3.4)] The definition of h_{m,k} in (3.4) contains 'e^{- e^t/2 + bt}' with an undefined parameter b; it should presumably be e^{-e^t/2 + ζt + (|k|/2)t} to match (3.5). Please correct the typo and ensure all parameters are defined at the point of use.
  2. [Section 2.3, Lemma 2.1] Lemma 2.1 is imported from [10] and is not re-derived. This is acceptable as a citation, but the paper should explicitly state in the text that the x-domain transform is taken from [10] and should repeat the hypotheses under which (2.25) holds, since the later theorems inherit those hypotheses.
  3. [Theorems 3.2 and 3.5] The positivity assumptions α1, α2, ζ1, ζ2, η1, η2 > 0 are stated without explanation. They are presumably intended to guarantee convergence of the dxdt integrals on the left-hand sides, but the connection is not shown; a few sentences justifying convergence (or a counterexample showing why positivity is needed) would strengthen the presentation.
  4. [Throughout] There are many small typos and inconsistent notations, e.g., 'B^{(d+1)}_{m,k}(it,ix,;...)' with an extra comma in Theorem 3.5, and the use of both 'P^...' and 'Q^n_{k,m}' without always specifying which definition is meant. A careful proofreading pass is recommended.

Circularity Check

0 steps flagged

No significant circularity: the paraboloid Fourier transforms are derived by variable separation and standard integral evaluations; the self-cited ball-transform lemma is an independent input, not a self-justifying premise.

full rationale

The derivation chain is a standard reduction. The paper defines h_{m,k} on the paraboloid as a product of a function of t (Jacobi or Laguerre factors) and g_d on the unit ball (eq. (3.2) and (3.5)). In the proofs of Theorems 3.1 and 3.4, the substitution u=(1+tanh t)/2 (Jacobi case) or u=e^t (Laguerre case) separates the (d+1)-dimensional Fourier integral into F(g_d) times a one-dimensional beta-type integral, which is then evaluated using the hypergeometric series of the Jacobi/Laguerre polynomial and Euler's beta/Gamma integral. This is a direct computation, not a definition of the answer in terms of itself. The only self-citation is Lemma 2.1 from [10], used to write F(g_d) explicitly; that lemma is a prior, parameter-explicit formula from a different domain (unit ball), and it does not assume the paraboloid result being proved. The new families A and B are constructed from the computed Fourier kernels via Parseval's identity, and their orthogonality follows from the known orthogonalities of Gegenbauer and Jacobi/Laguerre polynomials; this is a legitimate construction, not a circular prediction. The absence of stated convergence hypotheses in Theorems 3.1 and 3.4 is a rigor/correctness concern, but not an instance of circular reasoning: the displayed integrals converge under implicit parameter restrictions and the proofs are valid there. Thus no step reduces the paper's claims to their own inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper contributes symbolic derivations; no numerical fits are involved. The main external inputs are the unit-ball Fourier transform lemma from [10] (same group) and Xu's orthogonality results for the paraboloid. The parameter matching in the proofs is an ad hoc restriction that shapes the new function families.

axioms (4)
  • domain assumption Lemma 2.1: explicit Fourier transform formula for g_d (unit ball)
    The paper's main transform formulas (3.3) and (3.6) are built directly on (2.25) from [10]; the result is cited, not re-derived.
  • domain assumption Xu's orthogonality of Jacobi and Laguerre polynomials on the paraboloid ([31])
    The proofs of Theorems 3.2 and 3.5 use the orthogonality of Q and R families as an input (Section 2.2, equations (2.11)-(2.16)); the paper relies on these as established.
  • ad hoc to paper Parameter matching relations in the proofs of Theorems 3.2 and 3.5
    The identifications µ1=µ2=α1+α2−1/2, β1=β2=ζ1+ζ2−α1−α2−1/2, γ1=γ2=η1+η2−1 are imposed specifically to make the integrals reduce to known orthogonality relations. They are chosen by hand and restrict the domain of validity of the new orthogonality identities.
  • standard math Standard beta and gamma integral evaluations and hypergeometric contiguous relations
    Used throughout the proofs, e.g., the evaluation of ∫_0^1 u^a(1-u)^b du and the contiguous relations (4.3), (4.4).

pith-pipeline@v1.4.0-alltime-deepseek-medium · 24117 in / 19681 out tokens · 174076 ms · 2026-08-05T05:42:24.184625+00:00 · methodology

0 comments
Cite this review

Pith. "Pith review of Fourier transforms of orthogonal structures on the paraboloid." pith.science (2026). https://pith.science/paper/FHMIXQSP

@misc{pith2026250904994,
  author       = {Pith},
  title        = {Pith review of: Fourier transforms of orthogonal structures on the paraboloid},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FHMIXQSP}},
  note         = {Machine review of arXiv:2509.04994}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

The purpose of this paper is to obtain Fourier transforms of multivariate orthogonal structures on the paraboloid such as Laguerre polynomials on the paraboloid and Jacobi polynomials on the paraboloid, and to define two new families of multivariate orthogonal functions by using Parseval's identity. In addition, some contiguous relations for these families of functions are given, and the obtained results are expressed in terms of the continuous Hahn polynomials.

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

32 extracted references · 32 canonical work pages

  1. [1]

    Handbook of mathematical functions with formulas, graphs, and mathematical tables

    Abramowitz, M., Stegun, I.A., editors. Handbook of mathematical functions with formulas, graphs, and mathematical tables. John Wiley & Sons, Inc., New York; John Wiley & Sons, Inc., New York,

    work page

  2. [2]

    Aktaş Karaman, R., Area, I.Fourier transforms of orthogonal polynomials on the cone, Numerical Algorithms, https://doi.org/10.1007/s11075-025-02112-x, 2025

    work page doi:10.1007/s11075-025-02112-x 2025

  3. [3]

    Monomial and Rodrigues orthogonal polynomials on the cone, Journal of Mathematical Analysis and Applications, 522 (2), 126977, 2023

    Aktaş, R., Branquinho, A., Foulquie-Moreno, A., Xu, Y. Monomial and Rodrigues orthogonal polynomials on the cone, Journal of Mathematical Analysis and Applications, 522 (2), 126977, 2023

    work page 2023

  4. [4]

    Continuous Hahn polynomials, J

    Askey, R. Continuous Hahn polynomials, J. Phys. A, 18 (16), L1017-L1019, 1985

    work page 1985

  5. [5]

    Integral transforms and their applications, 3rd ed

    Davies, B. Integral transforms and their applications, 3rd ed. (Texts in Applied Mathematics; Vol. 41). Springer-Verlag, New York, 2000

    work page 2000

  6. [6]

    Orthogonal polynomials of several variables, 2nd ed

    Dunkl, C.F., Xu, Y. Orthogonal polynomials of several variables, 2nd ed. (Encyclopedia of Mathe- matics and its Applications; Vol. 155). Cambridge University Press, Cambridge, 2014

    work page 2014

  7. [7]

    A Note on Pure Recurrence Relations, Am

    Fasenmyer, C. A Note on Pure Recurrence Relations, Am. Math. Monthly., 56(1), 14–17, 1949

    work page 1949

  8. [8]

    Some classes of special functions using Fourier transforms of some two-variable orthogonal polynomials, Integral Transforms and Spec.Funct., 31(6), 437–470, 2020

    Güldoğan, E., Aktaş, R., Area, I. Some classes of special functions using Fourier transforms of some two-variable orthogonal polynomials, Integral Transforms and Spec.Funct., 31(6), 437–470, 2020

    work page 2020

  9. [9]

    Güldoğan Lekesiz, E., Aktaş, R., Area, I. Fourier transforms of some special functions in terms of orthogonal polynomials on the simplex and continuous Hahn polynomials, Bulletin of the Iranian Mathematical Society, 48 (6), 3535-3560, 2022

    work page 2022

  10. [10]

    Güldoğan Lekesiz, E., Aktaş, R., Area, Fourier transform of the orthogonal polynomials on the unit ball and continuous Hahn polynomials, Axioms, 11(10), 558, 2022

    work page 2022

  11. [11]

    Fourier transforms of some finite bivariate orthogonal polynomials, Symmetry, 13 (3), 452, 2021

    Güldoğan Lekesiz, E., Aktaş, R., Masjed-Jamei, M. Fourier transforms of some finite bivariate orthogonal polynomials, Symmetry, 13 (3), 452, 2021

    work page 2021

  12. [12]

    Fourier transform, quantum mechanics and quantum field theory on the manifold of general relativity, Eur

    Horwitz, L.P. Fourier transform, quantum mechanics and quantum field theory on the manifold of general relativity, Eur. Phys. J. Plus, 135:479, 2020

    work page 2020

  13. [13]

    On Jacobi and continuous Hahn polynomials, Proc

    Koelink, H.T. On Jacobi and continuous Hahn polynomials, Proc. Amer. Math. Soc., 124(3), 887- 898, 1996

    work page 1996

  14. [14]

    Convolutions for orthogonal polynomials from Lie and quantum algebra representations, SIAM J

    Koelink, H.T., Van der Jeugt, J. Convolutions for orthogonal polynomials from Lie and quantum algebra representations, SIAM J. Math. Anal., 29, 794–822, 1998

    work page 1998

  15. [15]

    Koepf, W., Masjed-Jamei, M.TwoclassesofspecialfunctionsusingFouriertransformsofsomefinite classes of classical orthogonal polynomials, Proc. Amer. Math. Soc., 135(11), 3599-3606, 2007. FOURIER TRANSFORMS OF SOME SPECIAL FUNCTIONS 25

    work page 2007

  16. [16]

    Special orthogonal polynomial systems mapped onto each other by the Fourier- Jacobi transform

    Koornwinder, T.H. Special orthogonal polynomial systems mapped onto each other by the Fourier- Jacobi transform. In: Orthogonal polynomials and applications (Bar-le-Duc, 1984). (Lecture Notes in Math.; Vol. 1171). Springer, Berlin, p. 174-183, 1985

    work page 1984

  17. [17]

    Group theoretic interpretations of Askey’s scheme of hypergeometric orthogonal polynomials

    Koornwinder, T.H. Group theoretic interpretations of Askey’s scheme of hypergeometric orthogonal polynomials. In: Orthogonal polynomials and their applications (Segovia, 1986). (Lecture Notes in Math.; Vol. 1329). Springer, Berlin, p. 46-72., 1988

    work page 1986

  18. [18]

    Some schemata for applications of the integral transforms of mathematical physics, Mathematics, 7, 254, 2019

    Luchko, Y. Some schemata for applications of the integral transforms of mathematical physics, Mathematics, 7, 254, 2019

    work page 2019

  19. [19]

    Two classes of special functions using Fourier transforms of gener- alized ultraspherical and generalized Hermite polynomials, Proc

    Masjed-Jamei, M., Koepf, W. Two classes of special functions using Fourier transforms of gener- alized ultraspherical and generalized Hermite polynomials, Proc. Amer. Math. Soc., 140(6), 2053- 2063, 2012

    work page 2053

  20. [20]

    Two finite classes of orthogonal functions, Appl

    Masjed-Jamei, M., Koepf, W. Two finite classes of orthogonal functions, Appl. Anal., 92(11), 2392- 2403, 2013

    work page 2013

  21. [21]

    A finite class of orthogonal functions generated by Routh-Romanovski polynomials, Complex Var

    Masjed-Jamei, M., Marcellán, F., Huertas, E.J. A finite class of orthogonal functions generated by Routh-Romanovski polynomials, Complex Var. Elliptic Equ., 59(2), 162-171, 2014

    work page 2014

  22. [22]

    Petkovsek, M., Wilf, H.S., Zeilberger, D. A = B. A K Peters, Ltd., Wellesley, Mass, 1996

    work page 1996

  23. [23]

    Special functions, 1st ed

    Rainville, E.D. Special functions, 1st ed. Chelsea Publishing Co., Bronx, N.Y., 1971

    work page 1971

  24. [24]

    The contiguous function relations forpFq with application to Bateman’sJu,ν n and Rice’sH n(ζ, p, ν)Bull

    Rainville, E.D. The contiguous function relations forpFq with application to Bateman’sJu,ν n and Rice’sH n(ζ, p, ν)Bull. Amer. Math. Soc. 51 (10), 714–723, 1945

    work page 1945

  25. [25]

    Analytical solutions of some general classes of differential and integral equations by using the Laplace and Fourier transforms, Filomat, 34 (9), 2869-2876, 2020

    Srivastava, H.M., Masjed-Jamei, M., Aktaş, R. Analytical solutions of some general classes of differential and integral equations by using the Laplace and Fourier transforms, Filomat, 34 (9), 2869-2876, 2020

    work page 2020

  26. [26]

    Some multivariable orthogonal polynomials of the Askey tableau-continuous families, J

    Tratnik, M.V. Some multivariable orthogonal polynomials of the Askey tableau-continuous families, J. Math. Phys., 32(8), 2065–2073, 1991

    work page 2065

  27. [27]

    Some multivariable orthogonal polynomials of the Askey tableau-discrete families, J

    Tratnik, M.V. Some multivariable orthogonal polynomials of the Askey tableau-discrete families, J. Math. Phys., 32(9), 2337–2342, 1991

    work page 1991

  28. [28]

    Orthogonal polynomials and Fourier orthogonal series on a cone, J

    Xu, Y. Orthogonal polynomials and Fourier orthogonal series on a cone, J. Fourier Anal. Appl., 26 (2020), Paper No. 36, 42 pp

    work page 2020

  29. [29]

    Approximation and localized polynomial frame on conic domains, J

    Xu, Y. Approximation and localized polynomial frame on conic domains, J. Funct. Anal., 281 (2021), no. 12, Paper No. 109257, 94 pp

    work page 2021

  30. [30]

    Laguerre expansions on conic domains, J

    Xu, Y. Laguerre expansions on conic domains, J. Fourier Anal. Appl., 27 (2021), no. 4, Paper No. 64, 36 pp

    work page 2021

  31. [31]

    Fourier orthogonal series on a paraboloid, J

    Xu, Y. Fourier orthogonal series on a paraboloid, J. d’Analyse Math., 149 (2023), 251-279. (H. Özkan Çetin)Ankara University, F aculty of Science, Department of Mathematics, 06100, Tandoğan, Ankara, Türkiye Email address, H. Özkan Çetin:hasanozkan.cetin@msu.edu.tr (R. Aktaş Karaman)Ankara University, F aculty of Science, Department of Mathemat- ics, 06100...

    work page 2023

  32. [1984]

    A Wiley-Interscience Publication; reprint of the 1972 edition

    work page 1972