REVIEW 2 major objections 4 minor 37 references
Fractional Volterra-type operator induced by radial weight acting on Hardy space
T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read For radial doubling weights, the fractional Volterra-type operator $V_{\mu,g}$ is bounded on $H^p$ if and only if $g \in \mathrm{BMOA}$, and compact if and only if $g \in \mathrm{VMOA}$.
desk verdict Solid unifying paper on fractional Volterra operators, with a concrete likely typo in the proof of Theorem 1.6 — deserves refereeing after correction. 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 fractional derivative $D^{\mu}(f)(z) = \sum_{n=0}^{\infty} \widehat{f}(n)/\mu_{2n+1} z^n$, where $\mu_{2n+1} = \int_0^1 s^{2n+1} \mu(s)\,ds$ are the odd moments of a radial weight $\mu$; together with its inverse fractional integral $I^{\mu}$ and the operator $V_{\mu,g} = I^{\mu}(f \cdot D^{\mu}(g))$. The load-bearing identity is Corollary 2.2, which writes $D^{\mu}(f)$ in terms of $n$-th derivatives of $f$ and iterated Bergman kernels, and Theorem 1.3, which establishes a Calderón-type equivalence between the $H^p$ norm and a tent-space norm built from $D^{\mu}(f)$ with weight $(\widehat{\mu}/(1-|z|))^2$, valid exactly when $\mu$ is a radial doubling weight. These reduce boundedness of $V_{\mu,g}$ to the claim that $|D^{\mu} g|^2 \widehat{\mu}^2/(1-|z|) \, dA$ is a classical Carleson measure, which Theorem 1.4 ties to $\mathrm{BMOA}$.
What would settle it
Fix $\mu(r)=1$ (a doubling weight) and take $g(z)=(1-z)^{-1/4}$, which lies in $H^1$ but not in $\mathrm{BMOA}$, and compute $\sup_{a\in\mathbb{D}} \frac{1}{1-|a|} \int_{S(a)} |D^{\mu} g(z)|^2 \frac{\widehat{\mu}(z)^2}{1-|z|} \, dA(z)$. If this supremum is finite, Theorem 1.1 is false; if it is infinite, the computation corroborates the claimed Carleson-measure dichotomy.
Extended reading notes
Core claim
The discovery is that the fractional Volterra-type operator $V_{\mu,g}$ induced by a radial doubling weight $\mu$ behaves, on every Hardy space $H^p$, exactly like the classical Volterra operator: boundedness is equivalent to $g \in \mathrm{BMOA}$, compactness to $g \in \mathrm{VMOA}$, with norm comparability $\|V_{\mu,g}\|_{H^p \to H^p} \asymp \|g\|_{\mathrm{BMOA}} \asymp \|g\|_{\mathrm{BMOA}_\mu}$. The mechanism is a Hardy-space norm description (Theorem 1.3) in which $\|f\|_{H^p}$ is comparable to a tent-space integral of $|D^{\mu} f|^2 (\widehat{\mu}/(1-|z|))^2$, valid precisely for doubling weights $\mu$; combined with Theorem 1.4, which identifies $\mathrm{BMOA}_\mu$ with $\mathrm{BMOA}$, this reduces the operator question to a Carleson-measure criterion. For Schatten classes on $H^2$, the paper proves a sharp dichotomy governed by the weight: if $\int_0^1 \widehat{\mu}(r)^p/(1-r)^2 \, dr = \infty$ then $V_{\mu,g} \in S_p(H^2)$ only for $g=0$, whereas if $\widehat{\mu}(r)^p/(1-r)^2$ is itself a radial weight then $V_{\mu,g} \in S_p(H^2)$ if and only if $g$ belongs to the fractional Besov space $B_{p,\mu}$, and if and only if $g \in B_p$ when the weight lies in $qD$. The paper also extends the boundedness and compactness picture to weighted Bergman spaces, where the symbol condition becomes membership in the Bloch space and the little Bloch space.
Load-bearing premise
The fractional-derivative description of $H^p$ (Theorem 1.3) rests on unpublished work in progress [17] for its main ideas and on kernel estimates [31, Lemma 5] from a preprint; if those estimates are wrong or misapplied, the BMOA and VMOA characterizations of Theorems 1.1 and 1.2 lose their foundation.
Editorial extensions
If this is right
- For every radial doubling weight $\mu$, the boundedness of $V_{\mu,g}$ on $H^p$ is independent of $p$ and of the fine structure of $\mu$: it is exactly the condition $g \in \mathrm{BMOA}$.
- The compactness of $V_{\mu,g}$ on $H^p$ is exactly $g \in \mathrm{VMOA}$, again independent of $p$ and $\mu$.
- Norm comparability holds: $\|V_{\mu,g}\|_{H^p \to H^p} \asymp \|g\|_{\mathrm{BMOA}}$.
- On $H^2$, Schatten-class membership follows a sharp dichotomy: if $\int_0^1 \widehat{\mu}(r)^p/(1-r)^2 \, dr = \infty$ then only $g=0$ works; if the integrand is itself a radial weight then membership is equivalent to $g \in B_{p,\mu}$, and to classical $g \in B_p$ when the weight is in $qD$.
- The fractional-derivative descriptions of $H^p$, $\mathrm{BMOA}$, $\mathrm{VMOA}$ and $B_p$ (Theorems 1.3, 1.4, 7.3) hold exactly when $\mu$ is a radial doubling weight, extending Calderón's formula to the whole class $D$.
Reading between the lines
- Because the norm equivalence in Theorem 1.3 is phrased entirely in terms of $\widehat{\mu}$ and tent spaces, the same proof strategy should extend to two-weight Hardy-type inequalities, provided the kernel estimates of [31] have two-weight analogues.
- The Schatten dichotomy in Theorem 1.6 suggests a general heuristic: for any family of fractional derivatives with moment sequence comparable to a doubling weight, the cut-off between 'only zero symbol' and 'fractional Besov symbols' is governed by integrability of $(\widehat{\mu})^p/(1-r)^2$; one could test this on explicitly computable standard weights $\mu_\beta(r) = (1-r)^{\beta-1}$.
- Theorem 1.5 recasts the classical boundedness results for weighted Bergman spaces as a special case of the Bloch-space description, hinting that $V_{\mu,g}$ might be a useful tool for studying composition operators or paraproducts with fractional symbols.
- If the unpublished results of [17] become available, the dependency chain could be made fully self-contained; until then, the BMOA and VMOA theorems can be read as conditional on those external estimates.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the fractional Volterra-type operator V_{\mu,g}(f)=I^\mu(f\cdot D^\mu(g)) induced by a radial doubling weight \mu on the Hardy spaces H^p, 0<p<\infty, and on Schatten classes acting on H^2 and weighted Bergman spaces. The main results characterize boundedness (Theorem 1.1) and compactness (Theorem 1.2) of V_{\mu,g} on H^p in terms of g belonging to BMOA or VMOA, respectively. The authors also prove a fractional derivative characterization of H^p (Theorem 1.3), BMOA/VMOA (Theorem 1.4), and of Besov spaces (Theorem 7.3), and use these to describe when V_{\mu,g} belongs to a Schatten class S_p(H^2) (Theorem 1.6). The paper is organized around a series of technical kernel estimates and lattice arguments, with several results imported from prior work by the same group.
Significance. If the main results hold as stated, the paper represents a substantial unification: the classical Volterra operator results of Aleman, Cima and Siskakis, the generalized integration operator results of Chalmoukis and others, and more recent fractional-derivative results are all placed under a single framework governed by the radial doubling weight \mu. The characterizations of H^p, BMOA, VMOA and B_p in terms of D^\mu are natural and potentially useful tools. The paper is carefully written, with explicit constants and detailed estimates in most sections, and the statements of Theorems 1.1, 1.2 and 1.6 are clean and falsifiable. The main weakness is that a central lattice-to-integral equivalence in Section 8 is printed with the wrong power of (1-|z|), and several proof ingredients are delegated to unpublished work or preprints, so the completeness of the argument depends on external material.
major comments (2)
- [Section 8, Eq. (8.4) and the 'Observe' paragraph] The printed equivalence (8.4) has the wrong power of (1-|z|): the left integral is written with dA(z)/(1-|z|^2), but it should be dA(z)/(1-|z|^2)^2 to match the definition of B_{p,\mu} in the introduction, the lattice expression (8.3), and the dimension of the lattice sum. As printed, the left side scales like (1-r)^{-1} while the lattice sum approximates an integral with density (1-r)^{-2}; for p not equal to 2 the two sides have different homogeneity in (1-r) and cannot be comparable in general. This is not a purely cosmetic typo: the immediately preceding 'Observe' paragraph uses (8.4) to infer that when \int_0^1 \widehat\mu(r)^p/(1-r)^2 dr = \infty, the finiteness of the printed left integral forces D^\mu g = 0. That inference is false as stated. For a concrete failure, take p=1/4, a radial weight with \widehat\mu(r)=(1-r)^2, and g\equiv 1; then D^\mu g = 1/\mu_1 \neq 0, the hypothesis integral diverges, and the printed left integral \int_D |D^\mu g|^p \widehat\mu(z)^p dA(z)/(1-|z|^2) is finite (it is comparable to \int_0^1 (1-r)^{1/2}/(1-r) dr = 2). Consequently, part (a) of Theorem 8.1/1.6, including the g=0 conclusion, and the identification of the Schatten class with B_{p,\mu} in part (b), are not established by the printed proof. The natural repair is to square the denominator on the left of (8.4), which makes the 'Observe' paragraph true and aligns (8.4) with (8.3); this repair must be made and the argument re-verified. I regard this as a load-bearing issue that requires a revision, not a mere formatting detail.
- [Section 3 and Section 1 (Theorem 1.3); Section 6, Proposition 6.1] Theorem 1.3 is the engine behind Theorems 1.1, 1.2 and 8.1, and its proof appears to be sound in outline, but the paper explicitly attributes the main ideas to the unpublished work in progress [17] by Duan, R\"atty\"a and Wang, and the key kernel estimate is quoted from the self-cited preprint [31, Lemma 5]. If either of these external sources contains an error or is misquoted, the foundations of Theorems 1.1 and 1.2 collapse. For a journal version, the authors should either include complete proofs of the specific lemmas imported from [17] and [31] or state them as self-contained propositions with full proofs, so that the dependence on unpublished material is transparent and verifiable. In addition, Proposition 6.1 is stated without proof ('can be proved using standard arguments, so we omit its proof') even though it is used in Theorem 1.5 and in the reduction in Theorem 8.1; a proof or a precise reference should be supplied.
minor comments (4)
- [Theorem 1.4] The statement of Theorem 1.4 lists two items labelled (iv); the second should be (v).
- [References] Reference [24] contains a duplicated author list ('S. Miihkinen, J. Pau, A. Per\"al\"a and M. Wang, S. Miihkinen et al.'); it should be cleaned up.
- [Section 3, proof of Theorem 3.1] The passage from (3.6) to (3.8) and from (3.12) to (3.13) is terse; several intermediate applications of Lemma 2.3, [31, Lemma 5], and [26, Lemma 2.5] are compressed. Expanding these steps would improve readability and verifiability.
- [Section 8, Eq. (8.3)] In (8.3), the notation \mu_g is used before being explicitly defined; the measure d\mu_{g,\alpha}(z)=|D^\mu g(z)|^2 \widehat\mu(z)^2 dA_\alpha(z) is introduced a few lines earlier, so the connection is clear, but a brief reminder of the definition of \mu_g in (8.3) would avoid confusion.
Circularity Check
No significant circularity; the main theorems are derived from independently-proved norm characterizations and external operator-theoretic criteria.
full rationale
The paper's derivation chain is self-contained in the relevant sense. Definitions of D^mu, I^mu and V_{mu,g} fix the objects, but the main content—the H^p, BMOA and B_p characterizations (Theorems 1.3, 1.4, 7.3) and their use in Theorems 1.1, 1.2 and 1.6—is established by explicit inequalities (e.g., (3.1), (3.9), (4.4), (7.2)) rather than by definitional fiat. The boundedness and compactness arguments reduce V_{mu,g} to a Carleson-measure embedding I:H^p -> T^p_2(nu_g) via Theorem H, an external result; the Schatten argument reduces S_p membership of V_{mu,g} to S_{p/2} membership of a Toeplitz operator with symbol measure |D^mu g|^2 muhat^2 dA_alpha via the min-max theorem and Luecking's trace-ideal criterion [23]. The comparisons (8.3)-(8.4) then connect the Toeplitz trace ideal to the lattice and integral quantity defining B_{p,mu}; this is a nontrivial discretization, not a renaming of the conclusion. Self-citations to [25,33,34,35] are used for definitions and for known Bergman-space analogues, while [31, Lemma 5] supplies kernel estimates; these are auxiliary quantitative lemmas, not the target theorem, so they do not make the result true by construction. Reliance on unpublished ideas from [17] and the apparent power error in (8.4)—the left-hand denominator should be (1-|z|^2)^2—are correctness and completeness risks, but they are not circularity.
Assumptions & free parameters
assumptions (4)
- domain assumption Kernel estimates for Bergman kernels induced by radial doubling weights, cited as [31, Lemma 5], are correct.
- ad hoc to paper The main ideas underlying Theorem 1.3 from the unpublished work in progress [17] of Duan, Rättyä and Wang are correct and applicable here.
- standard math The classical Calderón formula (1.2) and the nth-derivative characterization of BMOA (Theorem G from [8]) hold as stated.
- standard math Luecking's trace ideal criterion [23] applies to the Toeplitz operators and lattice measures appearing in the proof of Theorem 8.1.
Cite this review
Pith. "Pith review of Fractional Volterra-type operator induced by radial weight acting on Hardy space." pith.science (2026). https://pith.science/paper/J623YW7R
@misc{pith2026250618122,
author = {Pith},
title = {Pith review of: Fractional Volterra-type operator induced by radial weight acting on Hardy space},
year = {2026},
howpublished = {\url{https://pith.science/paper/J623YW7R}},
note = {Machine review of arXiv:2506.18122}
}
abstract
Given a radial doubling weight $\mu$ on the unit disc $\mathbb{D}$ of the complex plane and its odd moments $\mu_{2n+1}=\int_0^1 s^{2n+1}\mu(s)\, ds$, we consider the fractional derivative $$ D^\mu(f)(z)=\sum_{n=0}^{\infty} \frac{\widehat{f}(n)}{\mu_{2n+1}}z^n, $$ of a function $ f(z)=\sum_{n=0}^{\infty}\widehat{f}(n)z^n$ analytic in $\mathbb{D}$. We also consider the fractional integral operator $I^\mu(f)(z)=\sum_{n=0}^{\infty} \mu_{2n+1}\widehat{f}(n)z^n$, and the fractional Volterra-type operator $$ V_{\mu,g}(f)(z)= I^\mu(f\cdot D^\mu(g))(z),\quad f\in\mathcal{H}(\mathbb{D}), $$ for any fixed $g\in\mathcal{H}(\mathbb{D})$. We prove that $V_{\mu,g}$ is bounded (compact) on a Hardy space $H^p$, $0<p<\infty$, if and only if $g$ belongs to $\text{BMOA}$ ($\text{VMOA}$). Moreover, if $\int_0^1 \frac{\left(\int_r^1 \mu(s)\, ds\right)^p}{(1-r)^2}\,dr=+\infty$, we prove that $V_{\mu,g}$ belongs to the Schatten class $S_p(H^2)$ if and only if $g=0$. On the other hand, if $\frac{\left(\int_r^1 \mu(s)\, ds\right)^p}{(1-r)^2}$ is a radial doubling weight it is proved that $V_{\mu,g} \in S_p(H^2)$ if and only if $g$ belongs to the Besov space $B_p$. En route, we obtain descriptions of $H^p$, $\text{BMOA}$, $\text{VMOA}$ and $B_p$ in terms of the fractional derivative $D^\mu$.
Reference graph
Works this paper leans on
-
[17]
Y. Duan, J. Rättyä and S. Wang, Two weight inequality for Toeplitz operators between Bergman spaces induced by doubling weights, work in progress
-
[31]
Small Hankel operator induced by measurable symbol acting on weighted Bergman spaces
J.A. Peláez and J. Rättyä, Small Hankel operator induced by measurable symbol acting on weighted Bergman space, preprint https://arxiv.org/abs/2407.04645. FRACTIONAL VOLTERRA-TYPE OPERATOR ACTING ON HARDY SPACE 31
-
[1]
Maximal theorems for weighted analytic tent and mixed norm spaces
T. Aguilar-Hernández, A. Mas, J.A. Peláez and J. Rättyä, Maximal theorems for weighted analytic tent and mixed norm spaces, preprint https://arxiv.org/abs/2407.08387
-
[2]
P. Ahern and J. Bruna, Maximal and area integral characterizations of Hardy-Sobolev spaces in the unit ball ofCn, Rev. Mat. Iberoamericana4(1988), no. 1, 123–153
work page 1988
- [3]
-
[4]
A. Aleman and J. A. Cima, An integral operator onHp and Hardy’s inequality, J. Anal. Math.85(2001), 157–176
work page 2001
-
[5]
A. Aleman and A. G. Siskakis, An integral operator onHp, Complex Variables Theory Appl.28(1995), no. 2, 149–158
work page 1995
-
[6]
A. Aleman and A. G. Siskakis, Integration operators on Bergman spaces, Indiana Univ. Math. J.46(1997), no. 2, 337–356
work page 1997
Show all 37 references
-
[7]
Arsenović, Embedding derivatives ofM-harmonic functions intoLp-spaces, Rocky Mountain J
M. Arsenović, Embedding derivatives ofM-harmonic functions intoLp-spaces, Rocky Mountain J. Math. 29(1999), no. 1, 61–76
1999
-
[8]
Aulaskari, M
R. Aulaskari, M. T. Nowak and R. Zhao, Thenth derivative characterisation of Möbius invariant Dirichlet space, Bull. Austral. Math. Soc.58(1998), no. 1, 43–56
1998
-
[9]
Blasco and H
O. Blasco and H. Jarchow, A note on Carleson measures for Hardy spaces, Acta Sci. Math. (Szeged)71 (2005), no. 1-2, 371–389
2005
-
[10]
Bonet, W
J. Bonet, W. Lusky and J. Taskinen, Unbounded Bergman projections on weighted spaces with respect to exponential weights, Integral Equations Operator Theory93(2021), no. 6, Paper No. 61, 20 pp
2021
-
[11]
A. P. Calderón, Commutators of singular integral operators, Proc. Nat. Acad. Sci. U.S.A.53(1965), 1092–1099
1965
-
[12]
Chalmoukis, Generalized integration operators on Hardy spaces, Proc
N. Chalmoukis, Generalized integration operators on Hardy spaces, Proc. Amer. Math. Soc.148(2020), no. 8, 3325–3337
2020
-
[13]
Chalmoukis, G
N. Chalmoukis, G. Nikolaidis, On the boundedness of generalized integration operators on Hardy spaces. Collect. Math. (2024). https://doi.org/10.1007/s13348-024-00464-6
2024 doi
-
[14]
W. S. Cohn, Generalized area operators on Hardy spaces, J. Math. Anal. Appl.216(1997), no. 1, 112–121
1997
-
[15]
M. R. Dostanić, Integration operators on Bergman spaces with exponential weight, Rev. Mat. Iberoam. 23(2007), no. 2, 421–436
2007
-
[16]
J. T. Du, S. Li and D. Qu, The generalized Volterra integral operator and Toeplitz operator on weighted Bergman spaces, Mediterr. J. Math.19(2022), no. 6, Paper No. 263, 32 pp
2022
-
[18]
Dunford and J
N. Dunford and J. T. Schwartz,Linear operators. Part II: Spectral theory. Self adjoint operators in Hilbert space, Interscience Publishers John Wiley & Sons, New York-London, 1963
1963
-
[19]
C. L. Fefferman and E. M. Stein,Hp spaces of several variables, Acta Math.129(1972), no. 3-4, 137–193
1972
-
[20]
J. B. Garnett,Bounded analytic functions, Pure and Applied Mathematics, 96, Academic Press, New York-London, 1981
1981
-
[21]
Gómez-Cabello, P
C. Gómez-Cabello, P. Lefèvre and H. Queffélec, Volterra operator acting on Bergman spaces of Dirichlet series, J. Funct. Anal.289(2025), no. 3, Paper No. 110906, 54 pp
2025
-
[22]
G. H. Hardy and J. E. Littlewood, Some properties of fractional integrals. II, Math. Z.34(1932), no. 1, 403–439
1932
-
[23]
D. H. Luecking, Trace ideal criteria for Toeplitz operators, J. Funct. Anal.73(1987), no. 2, 345–368
1987
-
[24]
Miihkinen, J
S. Miihkinen, J. Pau, A. Perälä and M. Wang, S. Miihkinen et al., Volterra type integration operators from Bergman spaces to Hardy spaces, J. Funct. Anal.279(2020), no. 4, 108564, 32 pp
2020
-
[25]
Á. M. Moreno, J. Á. Peláez and E. de la Rosa, Fractional derivative description of the Bloch space, Potential Anal.61(2024), no. 3, 555–571
2024
-
[26]
J. M. Ortega and J. Fàbrega, Pointwise multipliers and corona type decomposition in BMOA, Ann. Inst. Fourier (Grenoble)46(1996), no. 1, 111–137
1996
-
[27]
J. Á. Peláez, Small weighted Bergman spaces, inProceedings of the Summer School in Complex and Harmonic Analysis, and Related Topics, 29–98, Publ. Univ. East. Finl. Rep. Stud. For. Nat. Sci., 22, Univ. East. Finl., Fac. Sci. For., Joensuu
-
[28]
J. Á. Peláez and J. Rättyä, Weighted Bergman spaces induced by rapidly increasing weights, Mem. Amer. Math. Soc.227(2014), no. 1066, vi+124 pp
2014
-
[29]
J. Á. Peláez and J. Rättyä, Two weight inequality for Bergman projection, J. Math. Pures Appl. (9)105 (2016), no. 1, 102–130
2016
-
[30]
J. Á. Peláez and J. Rättyä, Bergman projection induced by radial weight, Adv. Math.391(2021), Paper No. 107950, 70 pp
2021
-
[32]
J. Á. Peláez, J. Rättyä and K. Sierra, Embedding Bergman spaces into tent spaces, Math. Z.281(2015), no. 3-4, 1215–1237
2015
-
[33]
J. Á. Peláez and E. de la Rosa, Littlewood-Paley inequalities for fractional derivative on Bergman spaces, Ann. Fenn. Math.47(2022), no. 2, 1109–1130
2022
-
[34]
Perälä, General fractional derivatives and the Bergman projection, Ann
A. Perälä, General fractional derivatives and the Bergman projection, Ann. Acad. Sci. Fenn. Math.45 (2020), no. 2, 903–913
2020
-
[35]
Perälä, J
A. Perälä, J. Rättyä and S. Wang, Two-weight fractional derivative on Bloch and Bergman spaces, J. Geom. Anal. (2025) 35:209 https://doi.org/10.1007/s12220-025-02033-0
2025 doi
-
[36]
Pommerenke, Schlichte Funktionen und analytische Funktionen von beschränkter mittlerer Oszillation, Comment
C. Pommerenke, Schlichte Funktionen und analytische Funktionen von beschränkter mittlerer Oszillation, Comment. Math. Helv.52(1977), no. 4, 591–602
1977
-
[37]
Zhu,Operator theory in function spaces, second edition, Mathematical Surveys and Monographs, 138, Amer
K. Zhu,Operator theory in function spaces, second edition, Mathematical Surveys and Monographs, 138, Amer. Math. Soc., Providence, RI, 2007. Departament of Matemática i Informática, Universitat de Barcelona, Gran Via 585, 08007 Barcelona, Spain Email address:carlo.bellavita@gm...
2007
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.