Pith. sign in

REVIEW 2 major objections 4 minor 32 references

Fourier transforms of orthogonal structures on the paraboloid

T0 review · 2 major / 4 minor · reviewed 2026-08-05 · deepseek-v4-flash

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

Pith's one-line read Fourier transforms of Jacobi and Laguerre polynomials on the paraboloid factor into a unit-ball transform times a hypergeometric factor.

desk verdict 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. read the letter →

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

Hasan Özkan Çetin , Rabia Aktaş Karaman This is my paper
classification math.CA MSC 33C5033C7033C4542B10
keywords JacobipolynomialsLaguerreMultivariateorthogonalparaboloidFouriertransformParseval'sidentitycontinuousHahncontiguousrelations
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 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.

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

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

Extended reading notes

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.

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.

Editorial extensions

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.

Reading between the lines

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.
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

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 4 assumptions · 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.

assumptions (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).

how reviews work

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}
}
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 to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [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

  2. [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

  3. [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

  4. [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

  5. [4]

    Continuous Hahn polynomials, J

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

    work page 1985

  6. [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

  7. [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

  8. [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

Show all 32 references
  1. [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

    2020

  2. [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

    2022

  3. [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

    2021

  4. [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

    2020

  5. [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

    1996

  6. [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

    1998

  7. [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

    2007

  8. [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

    1984

  9. [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

    1986

  10. [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

    2019

  11. [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

  12. [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

    2013

  13. [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

    2014

  14. [22]

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

    1996

  15. [23]

    Special functions, 1st ed

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

    1971

  16. [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

    1945

  17. [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

    2020

  18. [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

  19. [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

    1991

  20. [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

    2020

  21. [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

    2021

  22. [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

    2021

  23. [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ş Ka...

    2023

  24. [1984]

    A Wiley-Interscience Publication; reprint of the 1972 edition

    1972

Pith tools

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