REVIEW 3 major objections 6 minor 25 references
Two characterizations of Sheffer-Dunkl sequences
T0 review · 3 major / 6 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Two Stieltjes integrals characterize exactly when a polynomial sequence is Sheffer-Dunkl
desk verdict A natural and probably true Dunkl-analog of Thorne and Sheffer, but the proof skips a convergence step and the examples use distributions rather than the stated BV functions. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The machinery is the Dunkl analogue of exponential generating functions. The Dunkl operator $\Lambda_\nu f(x)=f'(x)+\frac{2\nu+1}{2}\frac{f(x)-f(-x)}{x}$ replaces $d/dx$; the gamma-type numbers $\gamma_{n,\nu}$ replace $n!$, with $\gamma_{n,-1/2}=n!$; and the Dunkl kernel $E_\nu(t)=\sum_{n\ge 0} t^n/\gamma_{n,\nu}$ replaces $e^t$. The translation $\tau_y f(x)=\sum \Lambda_\nu^n f(x)\,y^n/\gamma_{n,\nu}$ replaces ordinary translation and obeys the binomial identity $\tau_t((\cdot)^n)(x)=\sum_k \binom{n}{k}_\nu t^k x^{n-k}$, with $\binom{n}{k}_\nu=\gamma_{n,\nu}/(\gamma_{k,\nu}\gamma_{n-k,\nu})$. The integral characterizations work because $L_f$ and $\tau_t$ commute and because the associated Dunkl polynomials satisfy the same binomial convolution identity, so substituting the integral representation into the generating function factorizes into $E_\nu(x\bar f(t))\int E_\nu(u\bar f(t))\,d\beta_\nu(u)$.
What would settle it
Check the theorem against the paper's own truncated example, $g(t)=1-t$. Its would-be moment functional $p \mapsto p(0)-\gamma_1 p'(0)$ is not representable by any bounded-variation signed measure on $\mathbb{R}$: it is unbounded on $C[-1,1]$ (the polynomials $x(1-x^2)^m$ witness this), even though the moments $1,-\gamma_1,0,0,\ldots$ are those of $\delta_0+\gamma_1\delta'_0$, which is a distribution. This computation settles the scope of the theorem as stated.
Extended reading notes
Core claim
The paper's central result is a pair of equivalent integral characterizations. Theorem 1 says that for formal series $g(t)=\sum \mu_{n,\nu}t^n/\gamma_{n,\nu}$ and $f(t)=\sum a_n t^n/\gamma_{n,\nu}$ with nonzero leading coefficients, a sequence $\{s_{n,\nu}\}$ is the Sheffer-Dunkl sequence for $(g,f)$ if and only if some function $\alpha_\nu$ of bounded variation on $\mathbb{R}$ has moments $\mu_{n,\nu}=\int x^n\,d\alpha_\nu(x)$ and satisfies $\int L_f^r s_{n,\nu}(x)\,d\alpha_\nu(x)=\gamma_{n,\nu}\delta_{n,r}$. Theorem 3 says $\{s_{n,\nu}\}$ is Sheffer-Dunkl if and only if some bounded-variation $\beta_\nu$ with nonzero zeroth moment represents $s_{n,\nu}(x)=\int \tau_t(p_{n,\nu})(x)\,d\beta_\nu(t)$, where $p_{n,\nu}$ are the associated Dunkl polynomials for $f$. In the first form the moments of $\alpha_\nu$ are the coefficients of $g(t)$; in the second, the moments of $\beta_\nu$ are the coefficients of $1/g(t)$. The proofs run through the generating identity $1/(g(\bar f(t)))\,E_\nu(x\bar f(t))=\sum s_{n,\nu}(x)t^n/\gamma_{n,\nu}$ and the degree-lowering action of $L_f$.
Load-bearing premise
The load-bearing premise is that any allowed generating series can be written as the moment sequence of a signed measure of bounded total variation on the real line; if some allowed $g(t)$ has no such function, the theorem as stated does not cover that $g$.
Editorial extensions
If this is right
- For any Sheffer-Dunkl sequence, the function $g(t)$ is recoverable from the $\alpha_\nu$ moments by $g(t)=\int E_\nu(xt)\,d\alpha_\nu(x)$, and $1/g(t)$ is recoverable from the $\beta_\nu$ moments by $1/g(t)=\int E_\nu(xt)\,d\beta_\nu(t)$; the integral data and the generating pair determine each other.
- The two characterizations give a practical test: to show a polynomial family is Sheffer-Dunkl it is enough to produce a bounded-variation moment function satisfying the degree-lowering orthogonality, or to represent each polynomial as a Dunkl-translation average of the associated polynomials.
- In the limit $\nu=-1/2$, both theorems recover the classical Thorne and Sheffer characterizations, with $\gamma_{n,\nu}=n!$, $E_\nu(t)=e^t$, and $\tau_t$ equal to ordinary translation.
- For the truncated, discrete truncated, and second-kind families in Section 4, the same $\alpha_\nu$ works for both the continuous and discrete operators $L_f$ and $L_{G_\nu}$, so the characterization transfers across the discrete Dunkl calculus.
- For Bernoulli-Dunkl and Euler-Dunkl polynomials, the $\alpha_\nu$ measures are constructed explicitly, while the corresponding $\beta_\nu$ measures require solving moment problems for $B_{n,\nu}(0)$ and $E_{n,\nu}(0)$, which the paper leaves open.
Reading between the lines
- Editorial inference: The examples that use $\delta'_0$ and $\delta''_0$ suggest the theorems would extend naturally to moment functionals or distributions rather than bounded-variation functions; read that way, bounded variation becomes a sufficient but unnecessary hypothesis, and the two characterizations are really dual statements about polynomial moment functionals.
- Editorial inference: The duality between the $\alpha_\nu$ moments (coefficients of $g$) and $\beta_\nu$ moments (coefficients of $1/g$) suggests a transfer principle: a construction for one moment sequence yields the other by inversion in the ring of formal series, so solving the $\beta_\nu$ problem for truncated Appell-Dunkl polynomials would automatically give a solution for a related family wit
- Editorial inference: The open $\beta_\nu$ moment problems for Bernoulli-Dunkl and Euler-Dunkl sequences invite comparison with the classical Bernoulli and Euler moment representations; if a positive measure exists, it would give integral formulas for $B_{n,\nu}(0)$ and $E_{n,\nu}(0)$ and likely extend to the discrete Boole-Dunkl families by the same transfer.
- Editorial inference: Since the Dunkl kernel has subexponential growth, the $\alpha_\nu$ constructed by the Fourier technique are often tempered distributions; one testable extension is to check whether the same integral identities hold with the Dunkl transform pairing, which would place the characterizations in a harmonic-analysis setting rather than a purely formal one.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes two Stieltjes-integral characterizations of Sheffer-Dunkl sequences, paralleling the classical theorems of Thorne and Sheffer. Theorem 1 asserts that a sequence {s_n,ν} is Sheffer-Dunkl for (g,f) if and only if there is a bounded-variation function α on R such that the moment integrals exist and ∫ L_f^r s_n dα = γ_{n,ν} δ_{n,r}. Theorem 3 asserts the analogous characterization s_n(x)=∫ τ_t(p_n)(x)dβ(t) for a bounded-variation β whose moments are the coefficients of 1/g. The proofs use the Boas/Widder moment representation and formal generating-function identities. Section 4 applies the results to truncated, discrete, Bernoulli, Euler, and Boole-Dunkl polynomials, constructing the corresponding 'measures' in several cases.
Significance. Should the theorems hold, they would extend to the Dunkl setting a classical bridge between umbral calculus and the moment problem, and they would give a practical way to identify Sheffer-Dunkl sequences from their moments. The algebraic computations in Section 4 are original and useful, and the paper is clearly written at the formal-expansion level. However, the proofs do not currently justify the key analytic step of integrating the Dunkl exponential against a bounded-variation measure, and the converse of Theorem 1 is established only for the Appell-Dunkl case. These gaps leave the main claims only partially supported. The explicit construction of distributions in examples 4.1 and 4.3 is a further discrepancy with the stated function-of-bounded-variation hypotheses.
major comments (3)
- [§2, eq. (2.2)] The equality g(t)=∫ Eν(xt)dα is asserted immediately after defining α through its moments, but the stated hypotheses only ensure existence of the moment integrals ∫ x^n dα. They do not imply that the Dunkl exponential Eν(xt) is integrable with respect to α, nor that the integral equals its termwise moment series. Consequently the subsequent application of ∫ dα to the generating function in (1.9) is not a justified operation. The same issue recurs in §3 and in Corollaries 2 and 4, where ∫ Eν(xf(t))dβ is treated as an ordinary integral. The proofs would need either additional growth assumptions on α and β, or an explicit statement that all such identities are interpreted as formal power series, together with a justification of termwise integration.
- [§2, proof of Theorem 1, converse] The linear system displayed after 'we obtain the following system of equations' does not contain the coefficients a_n of f(t) from (1.7). For r=n it gives c_n (γ_n/γ_0) μ_0 = γ_n, but the actual condition ∫ L_f^n s_n dα = γ_n includes a factor (a_1)^n from the leading term of L_f, and for r<n the mixed powers Λ^k in L_f produce additional contributions. The system is therefore the one appropriate to L_f=Λ (the Appell-Dunkl case f(t)=t), and the construction of s_n satisfying (2.1) is not valid for a general f. Thus the 'if' direction of Theorem 1 remains unproved for the full class of Sheffer-Dunkl sequences.
- [§4.1, §4.3] The 'measures' α_ν constructed in these examples are δ0 + γ1 δ'_0 and δ0 − (γ2/2)δ''_0, which are distributions, not functions of bounded variation on R as required by Theorems 1 and 3. The moment integrals exist in a distributional sense, but the theorems as stated do not apply to such objects. The authors either need to extend the theorems to a distributional formulation or provide genuine bounded-variation functions with the same moment properties that also satisfy the necessary integral identities.
minor comments (6)
- [§4.4, §4.6] The statements 'we do not know to solve it' are honest limitations, but they should be flagged as open cases in the text; this is not a technical error.
- [§3, eq. (3.2)] In equation (3.2), the notation Q_n(t) conflicts with the use of t as the formal variable; using u for the integration variable would remove the ambiguity.
- [§2, eq. (2.1)] In Theorem 1, equation (2.1) writes L_r^f while the rest of the paper uses L_f^r; the notation should be unified.
- [§4.1] The phrase 'we start giving the function α_ν(x) corresponding to the Theorem 1' is misleading because the object described is not a function but a distribution.
- [§3, proof of Theorem 3] The proof uses the commutativity of L_f and τ_t with a citation to [11]; it would help to state precisely which result in [11] is being used.
- [Throughout] There are numerous typographical errors (e.g., 'Sheffer' in the abstract vs the title, 'Stieltjes' spelling, and inconsistent spacing in equations); a careful proofreading is needed.
Circularity Check
No significant circularity; the theorems are substantive equivalences and the cited prior work is background, not an assumed conclusion.
full rationale
The paper proves two iff characterizations of Sheffer-Dunkl sequences. The forward directions construct the measure from the Taylor data of g via the Widder/Boas theorem and derive the integral identities by formal manipulation of the generating function; the backward directions solve triangular systems or use the translation action to recover the operator condition. No parameter is fitted from the target data and no equality is assumed that is identical to the conclusion. The reliance on [11] for the Dunkl translation commutation and binomial identities is background theory from the same authors' earlier work, but those facts are not the characterization being proved and do not by themselves force the theorem; they are cited building blocks. The examples in Section 4 use distributional objects such as delta_0' and delta_0'' where the theorems state functions of bounded variation, which is a rigor gap, and the proof of (2.2)/(3.3) does not justify convergence of the Stieltjes integral of the Dunkl exponential; these are correctness concerns rather than circular reductions. The paper also honestly notes unsolved moment problems in Sections 4.4 and 4.6. Accordingly, the circularity score is 0.
Assumptions & free parameters
assumptions (3)
- domain assumption Boas-Widder representation: any formal series g(t)=Σ μ_n t^n/γ_n admits a bounded-variation function α_ν on R with μ_n=∫ x^n dα_ν.
- domain assumption Dunkl translation and operator commute: L_f τ_t = τ_t L_f, and the binomial identity τ_u(p_n)(x)=Σ_k (n k)_ν p_k(x)p_{n-k}(u) holds.
- domain assumption Moment functions for the examples can be found with Durán's technique [5] and the results of [6].
Cite this review
Pith. "Pith review of Two characterizations of Sheffer-Dunkl sequences." pith.science (2026). https://pith.science/paper/P35QH2IU
@misc{pith2026250101364,
author = {Pith},
title = {Pith review of: Two characterizations of Sheffer-Dunkl sequences},
year = {2026},
howpublished = {\url{https://pith.science/paper/P35QH2IU}},
note = {Machine review of arXiv:2501.01364}
}
read the original abstract
Sheffer polynomials can be characterized using different Stieltjes integrals. These families of polynomials have been recently extended to the Dunkl context. In this way some classical operators as the derivative operator or the difference operator are replaced as analogous operators in the Dunkl universe. In this paper we establish two Stieltjes integrals that help us to characterize the Sheffer-Dunkl polynomials.
Reference graph
Works this paper leans on
-
[11]
A. Gil Asensi, J. M ´ ınguez Ceniceros, J. L. Varona, Sheffer-Du nkl Sequences Via Umbral Calculus in the Dunkl Context, Bull. Malays. Math. Sci. Soc. 47 (2024), no.6, Paper No. 172
work page 2024
-
[1]
S.A. Carrillo and M. Hurtado, Appell and Sheffer sequences: on th eir characterizations through functionals and examples, C. R. Math. Acad. Sci. Paris 359 (2021), 205–217
work page 2021
-
[2]
´O. Ciaurri, A. J. Dur´ an, M. P´ erez and J. L. Varona, Bernoulli-Dun kl and Apostol-Euler- Dunkl polynomials with applications to series involving zeros of Bessel functions, J. Approx. Theory 235 (2018), 20–45
work page 2018
-
[3]
´O. Ciaurri, J. M ´ ınguez Ceniceros and J. L. Varona, Bernoulli-Dunkland Euler-Dunkl poly- nomials and their generalizations, Rev. R. Acad. Cienc. Exactas F ´ ıs. Nat. Ser. A Mat. RACSAM 113 (2019), 2853–2876
work page 2019
-
[4]
C. F. Dunkl, Differential-difference operators associated to refl ection groups, Trans. Amer. Math. Soc. 311 (1989), 167–183
work page 1989
-
[5]
A. J. Dur´ an, Functions with given moments and weight functions for orthogonal polynomi- als,, Rocky Mountain J. Math. 23 (1993), no. 1, 87–104
work page 1993
-
[6]
A. J. Dur´ an, A. Gil Asensi and J. L. Varona, Moment Problems A ssociated to the Dunkl factorial, Proc. Amer. Math. Soc. , to appear. https://doi.org/10.1090/proc/16852
-
[7]
A. J. Dur´ an, M. P´ erez and J. L. Varona, Fourier-Dunkl syst em of the second kind and Euler-Dunkl polynomials, J. Approx. Theory 245 (2019), 23–39
work page 2019
Show all 25 references
-
[8]
Erd´ elyi, W
A. Erd´ elyi, W. Magnus, F. Oberhettinger and F. Tricomi, Higher Transcendental Functions, Volume I, McGraw-Hill, New York, 1953
1953
-
[9]
J. I. Extremiana Aldana, E. Labarga, J. M ´ ınguez Ceniceros and J. L. Varona, Discrete Appell-Dunkl sequences and Bernoulli-Dunkl polynomials of the seco nd kind, J. Math. Anal. Appl. 507 (2022), 125832, 20 pp
2022
-
[10]
Gil Asensi, E
A. Gil Asensi, E. Labarga, J. M ´ ınguez Ceniceros and J. L. Varona, Boole-Dunkl polynomials and generalizations, Rev. Real Acad. Cienc. Exactas F ´ ıs. Nat. Ser. A-Mat. RACSAM 118 (2024), Paper No. 16, 18 pp
2024
-
[12]
M ´ ınguez Ceniceros, Some Appell-Dunkl sequences, Bull
J. M ´ ınguez Ceniceros, Some Appell-Dunkl sequences, Bull. Malays. Math. Sci. Soc. 46 (2023), Paper No. 64, 18 pp. 15
2023
-
[13]
M ´ ınguez Ceniceros and J
J. M ´ ınguez Ceniceros and J. L. Varona, Asymptotic behavior of Bernoulli-Dunkl and Euler- Dunkl polynomials and their zeros, Funct. Approx. Comment. Math. 65 (2021), 211–226
2021
-
[14]
F. W. J. Olver and L. C. Maximon, Bessel Functions, NIST handbook of mathematical func- tions, 215–286, U.S. Dept. Commerce, Washington, DC, 2010. Available o nline in http:// dlmf.nist.gov/10
2010
-
[15]
Roman, The theory of the umbral calculus
S. Roman, The theory of the umbral calculus. I, J. Math. Anal. Appl. 87 (1982), 58–115
1982
-
[16]
Roman, The theory of the umbral calculus
S. Roman, The theory of the umbral calculus. II, J. Math. Anal. Appl. 89 (1982), 290–314
1982
-
[17]
Roman, The theory of the umbral calculus
S. Roman, The theory of the umbral calculus. III, J. Math. Anal. Appl. 95 (1983), 528–563
1983
-
[18]
Roman, The Umbral Calculus , Academic Press, Orlando, 1984
S. Roman, The Umbral Calculus , Academic Press, Orlando, 1984
1984
-
[19]
Roman and G.-C
S. Roman and G.-C. Rota, The umbral calculus, Advances in Math. 27 (1978), 95–188
1978
-
[20]
Rosenblum, Generalized Hermite polynomials and the Bose-like o scillator calculus, Oper
M. Rosenblum, Generalized Hermite polynomials and the Bose-like o scillator calculus, Oper. Theory Adv. Appl. 73 (1994), 369–396
1994
-
[21]
I. M. Sheffer, Note on Appell polynomials, Bull. Amer. Math 51 (1945), 736–744
1945
-
[22]
Thangavelu and Y
S. Thangavelu and Y. Xu, Riesz transform and Riesz potentials f or Dunkl transform, J. Comput. Appl. Math. 199 (2007), 181–195
2007
-
[23]
C. J. Thorne, A property of Appell Sets, The American Mathematical Monthly 52 no. 4 (1945), 191–193
1945
-
[24]
G. N. Watson, A Treatise on the Theory of Bessel Functions , 2nd ed., Cambridge Univ. Press, Cambridge, 1944
1944
-
[25]
D. V. Widder, The Laplace Transform, Princeton University Press, Princeton, 1946. 16
1946
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.