REVIEW 2 major objections 5 minor 34 references
Advancements in nonlinear exponential sampling: convergence, quantitative analysis and Voronovskaya-type formula
T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read The paper proves that nonlinear exponential Kantorovich sampling series reconstruct bounded functions at their continuity points, uniformly for log-uniformly continuous functions, with quantitative rates and a Voronovskaja-type formula.
desk verdict A solid, genuine extension of nonlinear exponential sampling to Kantorovich averages; the main issue is a likely typo in the moment condition (L2), which must be fixed before the central convergence claim holds as stated. 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 central object is the operator $K_w^\chi f(x)=\sum_{k\in\mathbb{Z}}\chi(e^{-t_k}xw,\, \frac{w}{\Delta_k}\int_{t_k/w}^{t_{k+1}/w} f(e^u)\,du)$, a Kantorovich (averaged-sample) version of the nonlinear exponential sampling series. It is carried by the bivariate kernel $\chi(x,u)$, assumed $(L,\psi)$-Lipschitz in $u$, and by the moment conditions $(L1)$-$(L3)$ on the amplitude function $L$. The decisive assumption is $(\chi4)$: the kernel sums $\sum_{k\in\mathbb{Z}}\chi(e^{-t_k}xw,u)$ must approximate $u$ with error $O(w^{-\alpha})$ uniformly in $x$, both for small $|u|<1/j$ and for $|u|\ge 1/j$; in the Orlicz section a stronger one-sided version $(\chi4^*)$ is used. This constant-reproduction property separates the operator's action on $f$ from its action on the constant $f(x)$, and the proof splits the error into a continuity part controlled by the log-modulus of continuity and a kernel part controlled by $(\chi4)$.
What would settle it
Evaluate the operator on the constant function $f\equiv 2$ with a kernel of the form $\chi(x,u)=L(x)u^2$, where $L$ satisfies $(L1)$-$(L2)$ and is normalized so that $\sum_{k\in\mathbb{Z}}L(e^{-t_k}xw)\to 1$. Direct calculation gives $(K_w^\chi 2)(x)\to 4$, not $2$, so this kernel fits the Lipschitz structure but fails $(\chi4)$; observing that failure confirms that the constant-reproduction condition is exactly what stops the operator from converging to a distorted signal.
Extended reading notes
Core claim
The discovery is a convergence theorem that transfers the known linear exponential Kantorovich sampling theory to a nonlinear kernel setting. For any bounded $f$ and any nonlinear kernel $\chi$ satisfying conditions $(\chi1)$-$(\chi4)$, the operator $K_w^\chi f$ converges to $f$ at every point of continuity, and if $f$ is bounded and log-uniformly continuous then the convergence is uniform on $\mathbb{R}_+$. The same mechanism yields a quantitative estimate: with a concave $\psi$, the uniform error is bounded by a combination of $\psi$ applied to the log-modulus of continuity of $f$ and a $w^{-\alpha}$ term coming from the kernel's constant-reproduction error. Under local log-Hölderian smoothness this becomes an algebraic rate $w^{-\min\{\nu q,\alpha\}}$ or $w^{-\min\{\nu\beta q,\beta,\alpha\}}$ depending on which absolute moments of the kernel are finite. For functions that are Mellin differentiable at a point, a limsup Voronovskaja formula bounds $w^r|K_w^\chi f(x)-f(x)|$ by constants involving $|(\theta f)(x)|^r$, the Mellin derivative. In Mellin-Orlicz spaces the same operator is shown to be modularly convergent for convex $\phi$ satisfying a compatibility condition $(H)$, with quantitative estimates in terms of the log-modulus of smoothness.
Load-bearing premise
The convergence theorems all lean on condition $(\chi4)$: the kernel sums $\sum_{k\in\mathbb{Z}}\chi(e^{-t_k}xw,u)$ must reproduce $u$ uniformly at a $w^{-\alpha}$ rate; if a kernel does not satisfy this constant-reproduction property, the operators need not converge to $f$.
Editorial extensions
If this is right
- For every bounded function, the nonlinear exponential Kantorovich series converges pointwise at each continuity point; for bounded log-uniformly continuous functions the convergence is uniform.
- The quantitative estimates provide explicit rates: if $f$ is locally log-Hölderian of order $\nu$ and $\psi(u)=O(u^q)$ near zero, the uniform error is $O(w^{-\min\{\nu q,\alpha\}})$, with the exponent adjusted to $\min\{\nu\beta q,\beta,\alpha\}$ when only fractional moments of $L$ exist.
- At any point where the Mellin derivative $(\theta f)(x)=xf'(x)$ exists, the limsup of $w^r|K_w^\chi f(x)-f(x)|$ is no larger than $(\Delta^r/2^r)M_{0,\Pi}(L)|(\theta f)(x)|^r + M_{r,\Pi}(L)|(\theta f)(x)|^r$, for $0<r<\alpha$ and $r\le 1$.
- In Mellin-Orlicz spaces with convex $\phi$ satisfying the compatibility condition $(H)$, the operators converge modularly to $f$, covering the Mellin-Lebesgue spaces $L^p_\mu$ as a special case.
- For functions in the Lipschitz (log-Hölderian) classes of Mellin-Orlicz spaces, the modular error decays as $O(w^{-\min\{\gamma\nu,\gamma_0,\alpha\}})$, where $\gamma_0$ comes from a tail condition on $L$.
Reading between the lines
- The uniform-in-$x$ form of $(\chi4)$ suggests that the same convergence argument applies to vector-valued or multivariate signals by applying the scalar proof componentwise, as long as the $\psi$-Lipschitz condition holds in the chosen norm; the paper does not state this extension.
- A natural testable strengthening of the Voronovskaja result would be to replace the limsup by a genuine limit under finer assumptions on the kernel's local moments; the present theorem identifies the correct order of magnitude but not a limiting constant.
- Remark 5 relaxes boundedness to logarithmic growth $|f(e^x)|\le a+b|x|$ when $\psi$ is the identity; pushing this through the modular argument would give convergence for unbounded but slowly growing signals, which the paper does not develop into a theorem.
- The stronger condition $(\chi4^*)$ used in the Orlicz quantitative estimates is not equivalent to $(\chi4)$; constructing a kernel that satisfies $(\chi4)$ but fails $(\chi4^*)$ would determine exactly where the quantitative modular rates in Section 5 break down.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces the nonlinear exponential Kantorovich sampling series, defined by replacing the sample values in the nonlinear exponential sampling series of Costarelli [22] with Steklov-type averages. The main results are: pointwise and uniform convergence for bounded functions at continuity points and for log-uniformly continuous bounded functions (Theorem 6); quantitative convergence estimates in terms of the log-modulus of continuity (Theorem 7); a Voronovskaya-type asymptotic formula in the form of a limsup estimate under Mellin differentiability (Theorem 9); modular convergence in Mellin-Orlicz spaces via a density argument (Theorems 11 and 13) and a modular inequality (Theorem 12); and quantitative modular estimates with rates (Theorem 14 and Corollary 15). The proofs use standard machinery, including Jensen's inequality, Vitali's convergence theorem, Fubini-Tonelli, and a density argument, and all assumptions on the nonlinear kernel and the auxiliary function L are stated explicitly.
Significance. If the technical issues identified below are corrected, the paper constitutes a substantial and useful generalization of the linear exponential Kantorovich sampling theory to a nonlinear framework, including results in Mellin-Orlicz spaces. The exposition is methodical, the hypotheses are explicit, and there are no fitted parameters: every theorem is derived from stated assumptions on the kernel and the class of functions, and the quantitative rates are concrete enough to be checked for specific kernels. The main weakness is a scaling and notation inconsistency in the statement of condition (L2) and in several changes of variables, which affects the proof of the central convergence theorem; the intended corrections are evident from the proofs themselves, so the results are likely salvageable without changing their scope.
major comments (2)
- [Section 2, condition (L2); Lemma 3; Theorem 6] Condition (L2) as printed defines M_{β,Π}(L) = sup_x Σ_k L(e^{-t_k x w}) |ln x - t_k|^β, but Lemma 3(ii) concludes Σ_{|t_k - w ln x| > γw} L(e^{-t_k x w}) ≤ (γ^β w^β)^{-1} M_{β,Π}(L). These two statements are incompatible: the tail condition controls |t_k - w ln x|, while the printed moment controls |ln x - t_k|, and the kernel argument e^{-t_k x w} is not invariant under the shift implicit in the tail. Consequently, Lemma 3(ii) does not follow from (L2) as stated. This is load-bearing because Theorem 6 estimates the uniform tail term I_{1,2} exclusively through Lemma 3(ii), and Theorems 7 and 9 use the same moment in the form |w ln x - t_k|^β. The intended definition is evidently M_{β,Π}(L) = sup_x Σ_k L(e^{-t_k/w} x) |w ln x - t_k|^β, or an equivalent w-normalized form; with this correction Lemma 3(ii) is immediate. The printed version must be corrected, and the kernel argument notation made unambiguous throughout.
- [Lemma 10 and the proof of Theorem 12] The proof of Lemma 10 uses the substitution w ln x - t_k = ln y, which is only compatible with a kernel argument of the form x e^{-t_k/w} and a moment involving |w ln x - t_k|. With the printed kernel argument e^{-t_k x w} and moment |ln x - t_k|, the displayed inequality ∫_{|ln x|>M} w L(e^{-t_k x w}) dx/x ≤ ∫_{|ln y|>(M-γ)w} L(y) dy/y is not justified. Since Lemma 10 is used in Theorem 11 for the Vitali tail estimate, this gap must be closed by consistent notation. Similarly, in the proof of Theorem 12 the identity ∫_0^∞ L(e^{-t_k x w}) dx/x = ||L||_{1,μ}/w is asserted; under the intended kernel argument x e^{-t_k/w} the integral equals ||L||_{1,μ}, so the factor 1/w is spurious. The final modular inequality is correct only after cancellation of this factor, so the proof must be rewritten in a way that makes the change of variables and the resulting constants transparent.
minor comments (5)
- [Throughout] The notation e^{-t_k x w} is typographically ambiguous and is used inconsistently with the changes of variables in the proofs; the final version should use an unambiguous form such as e^{-t_k/w} x or e^{-t_k} x w and keep it consistent across definitions, lemmas, and theorems.
- [Section 2, condition (L2)] The definition of M_{β,Π}(L) should be stated with |w ln x - t_k|^β to match Lemma 3(ii) and the estimates in Theorem 7, where the moment M_{1,Π}(L) is used with |w ln x - t_k|.
- [Theorem 14, proof] In the proof of Theorem 14, the text 'uniformly with respect to x ∈ R^n' should read x ∈ R_+, since the domain throughout the paper is R_+.
- [Reference [22]] The bibliographic entry for [22] appears incomplete: the venue is listed as 'Results of Mathematical Analysis and its Applications' without a journal or publisher; please check and complete the reference.
- [Abstract] There is a typo in the abstract: 'continuous function s' should read 'continuous functions'; the whole paper would benefit from a final proofreading pass for such rendering artifacts.
Circularity Check
No circularity: all convergence and quantitative results are derived from explicit kernel and modularity assumptions; the one flagged issue is a non-circular scaling mismatch in Lemma 3(ii).
full rationale
All central claims are derived, not assumed. Theorem 6 starts from the definition of K_w^χ f and estimates |(K_w^χ f)(x)-f(x)| ≤ I_1+I_2. The I_2 term is controlled by the kernel hypothesis (χ4), which asserts that ∑_k χ(e^{-t_k}xw,u) ≈ u uniformly in x as a property of χ; this is an input hypothesis about the kernel, not a disguised version of the convergence conclusion for arbitrary f. The I_1 term is controlled by continuity of f and the auxiliary tail estimate Lemma 3(ii) quoted from the same first author's prior work [22]. Lemma 3 is a parameter-free moment-tail estimate with explicitly stated assumptions on L; it does not assert convergence of the Kantorovich-type operators introduced here, so the self-citation is a tool, not a load-bearing substitution for the main result. The same structural pattern appears in Theorems 7, 9, 13, and 14: rates α, β, γ0 and constants M_{0,Π}(L), M_{β,Π}(L) come from stated assumptions (L1)-(L3), (χ4)/(χ4*), (H), and (5), and are used to bound the approximation error; nothing is fitted to data and no fitted quantity is renamed as a prediction. The Orlicz-space results use a standard density argument from [13] and a modular inequality whose hypotheses (H) are explicitly assumed. The final examples in Section 5 are illustrative and not used to derive the theorems. The only substantive defect found in the printed text is not circularity: condition (L2) defines M_{β,Π}(L) with |ln x - t_k|^β, while Lemma 3(ii) and all subsequent proofs require estimates with |w ln x - t_k|^β (equivalently |t_k - w ln x|^β); as printed, the tail estimate does not follow from the stated moment condition without an additional scaling/shift argument. That is a correctness and verifiability concern, not a circular derivation, so the circularity score is 0.
Assumptions & free parameters
assumptions (4)
- domain assumption Kernel conditions (χ1)-(χ4), (L1), (L2) are satisfied.
- domain assumption For Orlicz-space results, φ and η are convex φ-functions satisfying the growth condition (H).
- standard math Standard measure-theoretic and functional-analysis tools: Vitali convergence theorem, Jensen inequality, Fubini-Tonelli, and density of C_c in Mellin-Orlicz spaces.
- domain assumption Lemma 3 (Lemma 1.1 of [22]) asserting boundedness of M_{0,Π}(L) and the tail estimate (ii).
Cite this review
Pith. "Pith review of Advancements in nonlinear exponential sampling: convergence, quantitative analysis and Voronovskaya-type formula." pith.science (2026). https://pith.science/paper/7FKNWYRB
@misc{pith2026241115475,
author = {Pith},
title = {Pith review of: Advancements in nonlinear exponential sampling: convergence, quantitative analysis and Voronovskaya-type formula},
year = {2026},
howpublished = {\url{https://pith.science/paper/7FKNWYRB}},
note = {Machine review of arXiv:2411.15475}
}
read the original abstract
In this paper, we introduce the nonlinear exponential Kantorovich sampling series. We establish pointwise and uniform convergence properties and a nonlinear asymptotic formula of the Voronovskaja-type given in terms of the limsup. Furthermore, we extend these convergence results to Mellin-Orlicz spaces with respect to the logarithmic (Haar) measure. Quantitative results are also given, using the log-modulus of continuity and the log-modulus of smoothness, respectively, for log-uniformly continuous functions and for functions in Mellin-Orlicz spaces. Consequently, the qualitative order of convergence can be obtained in case of functions belonging to suitable Lipschitz (log-H\"olderian) classes.
Reference graph
Works this paper leans on
-
[22]
D. Costarelli, Nonlinear exponential sampling: approximation results an d applications, Re- sults of Mathematical Analysis and its Applications (2024) , 225–264
work page 2024
-
[1]
T. Acar, A. Eke, S. Kursun, Bivariate generalized Kantorovich-type exponential samp ling series, Revista de la Real Academia de Ciencias Exactas, F ´ ısicas y Naturales. Serie A. Matem´ aticas, 118,(2024)
work page 2024
-
[2]
T. Acar, S. Kursun, Pointwise convergence of generalized Kantorovich exponen tial sampling series, Dolomites Research Notes on Approximation, 16, (2023), 1– 10
work page 2023
- [3]
-
[4]
S.K. Angamuthu, S. Bajpeyi, Direct and inverse results for Kantorovich type exponentia l sampling series , Results in Mathematics, 75, (2020)
work page 2020
-
[5]
L. Angeloni, D. Costarelli, Approximation by exponential-type polynomials , Journal of Math- ematical Analysis and Applications, 532, No. 1 (2024), 1279 27
work page 2024
-
[6]
Approximation processes by multidimensional Bernstein-type exponential polynomials on the hypercube
L. Angeloni, D. Costarelli, C. Darielli, Approximation processes by multidimensional Bernstein-type exponential polynomials on the hypercube , arXiv preprint arXiv:2405.16935 (2024)
work page Pith review arXiv 2024
-
[7]
A. Aral, T. Acar, S. Kursun, Generalized Kantorovich forms of exponential sampling ser ies, Analysis and Mathematical Physics, 12, No. 2 (2022)
work page 2022
Show all 34 references
-
[8]
Bardaro, P.L
C. Bardaro, P.L. Butzer, R.L. Stens, G. Vinti, Kantorovich-type generalized sampling series in the setting of Orlicz spaces , Sampling Theory in Signal and Image Processing, 6 (2007), 29–52
2007
-
[9]
Bardaro, L
C. Bardaro, L. Faina, I. Mantellini, A generalization of the exponential sampling series and its approximation properties , Mathematica Slovaca, 67, No. 6 (2017), 1481–1496
2017
-
[10]
Bardaro, I
C. Bardaro, I. Mantellini, Voronovskaya-Type Estimates for Mellin Convolution Operat ors, Results in Mathematics, 50 (2007), 1–16
2007
-
[11]
Bardaro, I
C. Bardaro, I. Mantellini, On Mellin convolution operators: a direct approach to the as ymp- totic formulae , Integral Transforms and Special Functions, 25, No. 3 (2014 ), 182–195
2014
-
[12]
Bardaro, I
C. Bardaro, I. Mantellini, On a Durrmeyer-type modification of the exponential samplin g series, Rendiconti del Circolo Matematico di Palermo Series 2, 70 ( 2021), 1289–1304
2021
-
[13]
Bardaro, J
C. Bardaro, J. Musielak, G. Vinti, Nonlinear integral operators and applications , Walter de Gruyter (2003)
2003
-
[14]
Bertero, E.R
M. Bertero, E.R. Pike, Exponential-sampling method for Laplace and other dilatio nally invariant transforms: I. Singular-system analysis , Inverse Problems, 7, No. 1 (1991)
1991
-
[15]
Boccuto, A.R
A. Boccuto, A.R. Sambucini, Some applications of modular convergence in vector lattice setting, Sampling Theory, Signal Processing, and Data Analysis, 20 , No. 2 (2022)
2022
-
[16]
Butzer, S
P.L. Butzer, S. Jansche, A direct approach to the Mellin transform , Journal of Fourier Analysis and Applications, 3 (1997), 325–376. 24 D. Costarelli and M. Natale
1997
-
[17]
Butzer, S
P.L. Butzer, S. Jansche, The exponential sampling theorem of signal analysis , Atti del Seminario Matematico e Fisico Universit` a di Modena, 46 (19 98), 99–122
-
[18]
Casasent, Optical signal processing, Optical Data Processing: Applications (2006), 241– 282
D. Casasent, Optical signal processing, Optical Data Processing: Applications (2006), 241– 282
2006
-
[19]
C ¸ etin, D
N. C ¸ etin, D. Costarelli, M. Natale, G. Vinti, Nonlinear multivariate sampling Kantorovich operators: quantitative estimates in functional spaces , Dolomites Research Notes on Approx- imation, 15 (2022)
2022
-
[20]
Cruz-Uribe, P
D. Cruz-Uribe, P. H¨ ast¨ o,Extrapolation and interpolation in generalized Orlicz spaces, Trans- actions of the American Mathematical Society, 370, No. 6 (20 18), 4323–4349
-
[21]
Costarelli, Convergence and high order of approximation by Steklov sampl ing operators, Banach Journal of Mathematical Analysis, 10.1007/s43037- 024-00377-3 (2024)
D. Costarelli, Convergence and high order of approximation by Steklov sampl ing operators, Banach Journal of Mathematical Analysis, 10.1007/s43037- 024-00377-3 (2024)
2024 doi
-
[23]
Costarelli, M
D. Costarelli, M. Natale, G. Vinti, Convergence results for nonlinear sampling Kantorovich operators in modular spaces , Numerical Functional Analysis and Optimization, 44, No. 1 2 (2023), 1276–1299
2023
-
[24]
Costarelli, M
D. Costarelli, M. Natale, G. Vinti, Estimation for the convex modular of the aliasing error of nonlinear sampling Kantorovich operators , submitted (2024)
2024
-
[25]
Costarelli, A.R
D. Costarelli, A.R. Sambucini, A comparison among a fuzzy algorithm for image rescaling with other methods of digital image processing , Constructive Mathematical Analysis, 7, No. 2 (2024), 45–68
2024
-
[26]
Costarelli, R
D. Costarelli, R. Spigler, How sharp is the Jensen inequality? , Journal of Inequalities and Applications, 2015 (2015), 1–10
2015
-
[27]
Costarelli, G
D. Costarelli, G. Vinti, Degree of approximation for nonlinear multivariate sampli ng Kan- torovich operators on some functions spaces , Numerical Functional Analysis and Optimiza- tion, 36, No. 8 (2015), 964–990
2015
-
[28]
Demirci, S
K. Demirci, S. Orhan, Statistical relative approximation on modular spaces , Results in Mathematics, 71 (2017), 1167–1184
2017
-
[29]
Gori, Sampling in optics , Advanced Topics in Shannon Sampling and Interpolation The - ory (1993), 37–83
F. Gori, Sampling in optics , Advanced Topics in Shannon Sampling and Interpolation The - ory (1993), 37–83
1993
-
[30]
Musielak, On some approximation problems in modular spaces , Constructive Function Theory, 81 (1981), 455–461
J. Musielak, On some approximation problems in modular spaces , Constructive Function Theory, 81 (1981), 455–461
1981
-
[31]
Musielak, Approximation by nonlinear singular integral operators in generalized Orlicz spaces, Commentationes Mathematicae, 31 (1991), 79–88
J. Musielak, Approximation by nonlinear singular integral operators in generalized Orlicz spaces, Commentationes Mathematicae, 31 (1991), 79–88
1991
-
[32]
Musielak, Nonlinear approximation in some modular function spaces I , Mathematica Japonica, 38, No
J. Musielak, Nonlinear approximation in some modular function spaces I , Mathematica Japonica, 38, No. 1 (1993), 83–90. 25
1993
-
[33]
Ostrowsky, D
N. Ostrowsky, D. Sornette, P. Parker, E.R. Pike, Exponential sampling method for light scattering polydispersity analysis , Optica Acta: International Journal of Optics, 28, No. 8 (1981), 1059–1070
1981
-
[34]
Vinti, L
G. Vinti, L. Zampogni, A general method to study the convergence of nonlinear opera tors in Orlicz spaces , Advanced Nonlinear Studies, 22 (2022), 594–618
2022
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.