Compactly supported, orthogonal, continuous piecewise polynomial multiresolution analysis

Jeffrey S. Geronimo; Lidia Fern\'andez; Plamen Iliev

arxiv: 2412.02908 · v2 · submitted 2024-12-03 · 🧮 math.CA · cs.NA· math.NA

Compactly supported, orthogonal, continuous piecewise polynomial multiresolution analysis

Lidia Fern\'andez , Jeffrey S. Geronimo , Plamen Iliev This is my paper

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

classification 🧮 math.CA cs.NAmath.NA

keywords multiresolution analysisscaling functionshypergeometric functionsMellin transformFourier transformpiecewise polynomialsorthogonal waveletscompactly supported

0 comments

The pith

Scaling functions in C^0 orthogonal multiresolution analyses for piecewise continuous polynomials admit explicit hypergeometric representations.

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

The paper establishes explicit representations using hypergeometric functions for the scaling functions of these analyses. It also derives closed formulas for their Mellin and Fourier transforms. This provides concrete expressions that make the functions more accessible for computation and analysis. Some new such analyses with rational scaling function coefficients are presented.

Core claim

We present explicit representations in terms of hypergeometric functions for the scaling functions in the C^0 orthogonal multiresolution analyses associated with piecewise continuous polynomials. Closed formulas for the Mellin transform of these functions as well as their Fourier transforms are derived. Some new multiresolution analyses whose scaling functions have coefficients that are rational numbers are introduced and discussed.

What carries the argument

The scaling functions of the C^0 orthogonal multiresolution analyses associated with piecewise continuous polynomials, expressed via hypergeometric functions.

If this is right

Closed formulas for the Mellin transforms of the scaling functions become available.
Closed formulas for the Fourier transforms of the scaling functions are obtained.
New multiresolution analyses with rational coefficients in the scaling functions can be constructed.
Explicit representations facilitate further study of these orthogonal bases.

Where Pith is reading between the lines

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

These formulas could enable more efficient numerical implementations of the associated wavelet transforms.
Connections might exist to other families of orthogonal polynomials or spline-based wavelets.
The rational coefficient cases may simplify exact computations in discrete settings.
Further work could explore higher regularity or different support lengths.

Load-bearing premise

The scaling functions admit representations in terms of hypergeometric functions.

What would settle it

A direct numerical computation of one of the scaling functions that fails to match the proposed hypergeometric expression at multiple points.

read the original abstract

We present explicit representations in terms of hypergeometric functions for the scaling functions in the $C^0$ orthogonal multiresolution analyses associated with piecewise continuous polynomials. Closed formulas for the Mellin transform of these functions as well as their Fourier transforms are derived. Some new multiresolution analyses whose scaling functions have coefficients that are rational numbers are introduced and discussed.

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.

Desk Editor's Note private letter to a colleague

The paper gives explicit hypergeometric formulas for scaling functions in orthogonal piecewise polynomial MRAs along with their transforms and some rational examples.

read the letter

The paper delivers explicit hypergeometric formulas for the scaling functions in C^0 orthogonal multiresolution analyses built from piecewise continuous polynomials. It also supplies closed expressions for the Mellin and Fourier transforms of these functions and introduces some new examples with rational coefficients. What stands out is the move to closed forms. Prior work on these MRAs likely had implicit or recursive descriptions, so having hypergeometric representations makes them more accessible for analysis and computation. The rational coefficient cases are a nice addition that could simplify things further. The approach appears sound based on the structure: it starts from known MRA properties and derives the representations. The stress-test note indicates no internal inconsistencies or hidden assumptions in the claim. Still, the novelty hinges on whether these particular hypergeometric expressions have appeared elsewhere in the literature on wavelets or orthogonal polynomials. If the paper includes comparisons or shows how the identities are derived step by step, that would strengthen it. One potential soft spot is that without seeing the full derivations, it's difficult to assess how involved the hypergeometric identities are or if they rely on any non-obvious steps. The paper seems to avoid circular reasoning by using standard MRA theory as the base. This is specialized material for people working on multiresolution analyses and wavelets. Someone in that subfield would find the explicit formulas useful for their own work or as a reference. It is worth sending to peer review so that experts can verify the derivations and assess the new examples. The paper shows clear engagement with the topic through constructive results.

Referee Report

0 major / 1 minor

Summary. The manuscript claims to provide explicit representations in terms of hypergeometric functions for the scaling functions in the C^0 orthogonal multiresolution analyses associated with piecewise continuous polynomials. It derives closed formulas for the Mellin transform of these functions as well as their Fourier transforms, and introduces some new multiresolution analyses whose scaling functions have rational coefficients.

Significance. If the derivations hold, the explicit hypergeometric representations and closed-form transforms would constitute a useful contribution to the theory of compactly supported orthogonal MRAs, enabling more precise analysis of approximation properties and transform-domain behavior in this class of bases. The examples with rational coefficients are a concrete strength that could support computational applications.

minor comments (1)

The abstract refers to 'some new multiresolution analyses' without indicating their number or the specific degrees of the underlying piecewise polynomials; this detail would help readers assess the scope of the new constructions.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their review and for recognizing the potential utility of the explicit hypergeometric representations, closed-form transforms, and new rational-coefficient examples in our manuscript. No specific major comments were provided in the report, so we have no points to address point-by-point at this time. We remain available to supply additional details or clarifications should the referee have further questions regarding the derivations.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's central contribution is the explicit derivation of hypergeometric representations for scaling functions in C^0 orthogonal MRAs associated with piecewise polynomials, along with closed Mellin and Fourier transform formulas. These are presented as constructive results building on standard MRA theory without any self-definitional reductions, fitted inputs renamed as predictions, or load-bearing self-citations that collapse the argument. The introduction of new examples with rational coefficients is likewise independent of the target formulas. No quoted steps reduce by construction to inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based on the abstract, the paper relies on domain assumptions about the existence of the MRAs and standard mathematical tools for special functions, without introducing new free parameters or entities.

axioms (2)

domain assumption Existence of C^0 orthogonal multiresolution analyses associated with piecewise continuous polynomials
The paper builds upon the assumption that such MRAs exist and have scaling functions amenable to hypergeometric representation.
standard math Standard identities and properties of hypergeometric functions
Used to derive the explicit representations and transforms.

pith-pipeline@v0.9.0 · 5586 in / 1407 out tokens · 51347 ms · 2026-05-23T08:09:16.639084+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

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

Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

explicit representations in terms of hypergeometric functions for the scaling functions... Closed formulas for the Mellin transform... Fourier transforms
Foundation/AlexanderDuality.lean alexander_duality_circle_linking unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

orthogonal MRA... piecewise polynomial splines... ultraspherical polynomials

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

23 extracted references · 23 canonical work pages

[1]

Alpert, G

B. Alpert, G. Beylkin, R. Coifman, and V. Rokhlin, Wavelet-like bases for the fast solution of second-kind integral equations , SIAM J. Math. Anal., 14, (1993), 159–184

work page 1993
[2]

G. E. Andrews, R. Askey, and R. Roy, Special Functions , Encyclopedia Math. Appl. 71 Cambridge University Press, Cambridge, UK, (1999)

work page 1999
[3]

Bachmayr, A

M. Bachmayr, A. Cohen and W. Dahmen, Parametric PDEs: sparse or low-rank approxi- mations, IMA J. Numer. Anal. 38, (2018), 1661–1708

work page 2018
[4]

Bailey, Generalized Hypergeometric Series , Cambridge University Press, Cambridge, UK, (1935)

W.N. Bailey, Generalized Hypergeometric Series , Cambridge University Press, Cambridge, UK, (1935)

work page 1935
[5]

K. Brix, M. Campos Pinto, C. Canuto, and W. Dahmen, Multilevel preconditioning of discon- tinuous Galerkin spectral element methods. Part I: geometr ically conforming meshes , IMA J. Numer. Anal. 35 (2015), 1487–1532

work page 2015
[6]

ˇCern´ a and K

D. ˇCern´ a and K. Fiˇ nkov´ a,Option pricing under multifactor Black-Scholes model usin g or- thogonal spline wavelets , Math. Comput. Simulation, 220, (2024), 309–340

work page 2024
[7]

Daubechies, Ten Lectures on Wavelets , CBMS-NSF Regional Series in Applied Math, 61 SIAM, Philadelphia, 1992

I. Daubechies, Ten Lectures on Wavelets , CBMS-NSF Regional Series in Applied Math, 61 SIAM, Philadelphia, 1992

work page 1992
[8]

deBoor, Splines as linear combination of B-splines , Approximation Theory II (G

C. deBoor, Splines as linear combination of B-splines , Approximation Theory II (G. Lorentz, C. Chui, and L. Schumaker, eds.), Academic Press, NY, (1976) , 1–47

work page 1976
[9]

deBoor, A

C. deBoor, A. DeVore, and A. Ron, The Structure of Finitely Generated Shift-Invariant Spaces in L2(Rd), J. Funct. Anal. 119, (1994), 37–78

work page 1994
[10]

T. J. Dijkema, C. Schwab, and R. Stevenson, An adaptive wavelet method for solving high- dimensional elliptic PDEs , Constr. Approx. 30 (2009), 423–455

work page 2009
[11]

G. C. Donovan, J. S. Geronimo, and D. P. Hardin, Intertwining Multiresolution Analyses and the Construction of Piecewise Polynomial Wavelets , SIAM J. Math. Anal., 27 (1996), 1791–1815

work page 1996
[12]

G. C. Donovan, J. S. Geronimo, and D. P. Hardin, Orthogonal Polynomials and the Construc- tion of Piecwise Polynomials Smooth Wavelets , SIAM J. Math. Anal., 30 (1999), 1029–1056

work page 1999
[13]

J. S. Geronimo and P. Iliev, A Hypergeometric Basis for the Alpert Multiresolution Anal ysis, SIAM J. Math. Anal., 47 (2015), 654–668

work page 2015
[14]

J. S. Geronimo, P. Iliev, W. Van Assche, Alpert multiwavelets and Legendre-Angelesco mul- tiple orthogonal polynomials , SIAM J. Math. Anal. 49 (2017), 626–645

work page 2017
[15]

J. S. Geronimo and F. Marcell´ an, On Alpert multiwavelets , Proc. Amer. Math. Soc., 143 (2015), 2479–2494

work page 2015
[16]

S. S. Goh, T. N. T. Goodman, and S. L. Lee Orthogonal polynomials, biorthogonal polyno- mials and spline functions , Appl. Comput. Harmon. Anal. 52 (2021), 141–164

work page 2021
[17]

T. N. T. Goodman and S. L. Lee, Wavelets of Multiplicity r’, Trans. Amer. Math. Soc., 342 (1994), 307–324

work page 1994
[18]

Han and M

B. Han and M. Michelle, Wavelets on intervals derived from compactly supported bio rthogonal multiwavelets, Appl. Comput. Harmon. Anal. 53 (2021), 270–331

work page 2021
[19]

D. P. Hardin, B. Kessler, and P. R. Massopust, Multiresolution Analyses and Fractal Func- tions, J. Approx. Theory, 71, (1992), 104–120

work page 1992
[20]

Herve, Analyses Multir´ esolutions de Multiplicit´ e d

L. Herve, Analyses Multir´ esolutions de Multiplicit´ e d. Applications ` a l’Interpolation Dyadique, Appl. Compul. Harmon Anal., 1, (1994), 299–315

work page 1994
[21]

Jia and Z

R. Jia and Z. Shen, Multiresolution analysis and Wavelets , Proc. Edinburgh Math. Soc. 37 (1994), 271–300

work page 1994
[22]

Kingsbury and J

N. Kingsbury and J. Magarey, Wavelet Transforms in Image Processing In: A. Prochazka, P. Rayner, J. Uhlir, N. Kingsbury (eds.), Signal Analysis an d Prediction, Springer, 2013

work page 2013
[23]

Szeg˝ o, Orthogonal polynomials, AMS Colloq

G. Szeg˝ o, Orthogonal polynomials, AMS Colloq. Publ, 23, AMS, Providence, RI, 1939. COMPACTLY SUPPORTED ORTHOGONAL POLYNOMIAL MRA 23 LF, Instituto de Mathem ´aticas and Departamento de Matematica Aplicada, Univer- sidad de Granada, Granada, Spain Email address : lidiafr@ugr.es JG, School of Mathematics, Georgia Institute of Technology , Atlanta, GA 30332...

work page 1939

[1] [1]

Alpert, G

B. Alpert, G. Beylkin, R. Coifman, and V. Rokhlin, Wavelet-like bases for the fast solution of second-kind integral equations , SIAM J. Math. Anal., 14, (1993), 159–184

work page 1993

[2] [2]

G. E. Andrews, R. Askey, and R. Roy, Special Functions , Encyclopedia Math. Appl. 71 Cambridge University Press, Cambridge, UK, (1999)

work page 1999

[3] [3]

Bachmayr, A

M. Bachmayr, A. Cohen and W. Dahmen, Parametric PDEs: sparse or low-rank approxi- mations, IMA J. Numer. Anal. 38, (2018), 1661–1708

work page 2018

[4] [4]

Bailey, Generalized Hypergeometric Series , Cambridge University Press, Cambridge, UK, (1935)

W.N. Bailey, Generalized Hypergeometric Series , Cambridge University Press, Cambridge, UK, (1935)

work page 1935

[5] [5]

K. Brix, M. Campos Pinto, C. Canuto, and W. Dahmen, Multilevel preconditioning of discon- tinuous Galerkin spectral element methods. Part I: geometr ically conforming meshes , IMA J. Numer. Anal. 35 (2015), 1487–1532

work page 2015

[6] [6]

ˇCern´ a and K

D. ˇCern´ a and K. Fiˇ nkov´ a,Option pricing under multifactor Black-Scholes model usin g or- thogonal spline wavelets , Math. Comput. Simulation, 220, (2024), 309–340

work page 2024

[7] [7]

Daubechies, Ten Lectures on Wavelets , CBMS-NSF Regional Series in Applied Math, 61 SIAM, Philadelphia, 1992

I. Daubechies, Ten Lectures on Wavelets , CBMS-NSF Regional Series in Applied Math, 61 SIAM, Philadelphia, 1992

work page 1992

[8] [8]

deBoor, Splines as linear combination of B-splines , Approximation Theory II (G

C. deBoor, Splines as linear combination of B-splines , Approximation Theory II (G. Lorentz, C. Chui, and L. Schumaker, eds.), Academic Press, NY, (1976) , 1–47

work page 1976

[9] [9]

deBoor, A

C. deBoor, A. DeVore, and A. Ron, The Structure of Finitely Generated Shift-Invariant Spaces in L2(Rd), J. Funct. Anal. 119, (1994), 37–78

work page 1994

[10] [10]

T. J. Dijkema, C. Schwab, and R. Stevenson, An adaptive wavelet method for solving high- dimensional elliptic PDEs , Constr. Approx. 30 (2009), 423–455

work page 2009

[11] [11]

G. C. Donovan, J. S. Geronimo, and D. P. Hardin, Intertwining Multiresolution Analyses and the Construction of Piecewise Polynomial Wavelets , SIAM J. Math. Anal., 27 (1996), 1791–1815

work page 1996

[12] [12]

G. C. Donovan, J. S. Geronimo, and D. P. Hardin, Orthogonal Polynomials and the Construc- tion of Piecwise Polynomials Smooth Wavelets , SIAM J. Math. Anal., 30 (1999), 1029–1056

work page 1999

[13] [13]

J. S. Geronimo and P. Iliev, A Hypergeometric Basis for the Alpert Multiresolution Anal ysis, SIAM J. Math. Anal., 47 (2015), 654–668

work page 2015

[14] [14]

J. S. Geronimo, P. Iliev, W. Van Assche, Alpert multiwavelets and Legendre-Angelesco mul- tiple orthogonal polynomials , SIAM J. Math. Anal. 49 (2017), 626–645

work page 2017

[15] [15]

J. S. Geronimo and F. Marcell´ an, On Alpert multiwavelets , Proc. Amer. Math. Soc., 143 (2015), 2479–2494

work page 2015

[16] [16]

S. S. Goh, T. N. T. Goodman, and S. L. Lee Orthogonal polynomials, biorthogonal polyno- mials and spline functions , Appl. Comput. Harmon. Anal. 52 (2021), 141–164

work page 2021

[17] [17]

T. N. T. Goodman and S. L. Lee, Wavelets of Multiplicity r’, Trans. Amer. Math. Soc., 342 (1994), 307–324

work page 1994

[18] [18]

Han and M

B. Han and M. Michelle, Wavelets on intervals derived from compactly supported bio rthogonal multiwavelets, Appl. Comput. Harmon. Anal. 53 (2021), 270–331

work page 2021

[19] [19]

D. P. Hardin, B. Kessler, and P. R. Massopust, Multiresolution Analyses and Fractal Func- tions, J. Approx. Theory, 71, (1992), 104–120

work page 1992

[20] [20]

Herve, Analyses Multir´ esolutions de Multiplicit´ e d

L. Herve, Analyses Multir´ esolutions de Multiplicit´ e d. Applications ` a l’Interpolation Dyadique, Appl. Compul. Harmon Anal., 1, (1994), 299–315

work page 1994

[21] [21]

Jia and Z

R. Jia and Z. Shen, Multiresolution analysis and Wavelets , Proc. Edinburgh Math. Soc. 37 (1994), 271–300

work page 1994

[22] [22]

Kingsbury and J

N. Kingsbury and J. Magarey, Wavelet Transforms in Image Processing In: A. Prochazka, P. Rayner, J. Uhlir, N. Kingsbury (eds.), Signal Analysis an d Prediction, Springer, 2013

work page 2013

[23] [23]

Szeg˝ o, Orthogonal polynomials, AMS Colloq

G. Szeg˝ o, Orthogonal polynomials, AMS Colloq. Publ, 23, AMS, Providence, RI, 1939. COMPACTLY SUPPORTED ORTHOGONAL POLYNOMIAL MRA 23 LF, Instituto de Mathem ´aticas and Departamento de Matematica Aplicada, Univer- sidad de Granada, Granada, Spain Email address : lidiafr@ugr.es JG, School of Mathematics, Georgia Institute of Technology , Atlanta, GA 30332...

work page 1939