Pith. sign in

REVIEW 4 minor 22 references

Generalized Hilbert operators on Hardy spaces

T0 review · 0 major / 4 minor · reviewed 2026-07-31 · grok-4.5

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

Pith's one-line read Generalized Hilbert operators on Hardy spaces Hp are bounded exactly when the symbol derivative multiplies the classical Hilbert range into Hp; for p>2 that multiplier space is strictly smaller than the usual growth space, so the mean-Lipsc

desk verdict Clean negative answer to the 2014 endpoint conjecture on generalized Hilbert operators, via an exact range-multiplier reformulation and an explicit lacunary counter-example. read the letter →

arxiv 2607.28221 v1 pith:BDBA3RFH submitted 2026-07-30 math.FA

Yuting Guo , Pengcheng Tang This is my paper · ORCID
classification math.FA MSC 47B3530H1030H20
keywords GeneralizedHilbertoperatorHardyspaceHadamardmultiplierMixednormMeanLipschitzmatrixCoefficientmultipliers
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

This paper pins down when a generalized Hilbert operator, built from an analytic symbol g, acts boundedly on the Hardy space Hp. The decisive move is to rewrite the operator as a Hadamard product of g' against the range of the classical Hilbert matrix; boundedness is then exactly membership of g' in that multiplier space. For 12 the same growth space is too large: an explicit lacunary series lies in the growth space yet fails to multiply the Hilbert range back into Hp, producing a concrete symbol in Λ(p,1/p) whose operator is unbounded. The work also embeds two earlier sufficient classes inside the true multiplier space, gives a complete coefficient criterion for symbols with nonnegative decreasing Taylor coefficients, and shows that the multiplier spaces themselves form a strictly increasing scale in p.

What carries the argument

The elementary identity Hg(f)=g'*H(f), which converts operator boundedness into the concrete coefficient-multiplier problem of mapping the pullback range Rp of the classical Hilbert operator into Hp.

What would settle it

Compute or disprove the lower bound on the moments of fp(z)=(1-z)-1/p (log e/(1-z))1/2 against the lacunary coefficients of Φp; if those moments decay fast enough that Φp*H(fp) lands in Hp, the claimed strict inclusion fails.

Watch

Extended reading notes

Core claim

For every 1<p<∞ the operator Hg is bounded on Hp if and only if g' belongs to the Hadamard multiplier space (Rp,Hp), equivalently if a certain Hilbert-matrix bilinear form is finite. When 1<p≤2 this space equals H(p,∞,1/p'). When p>2 the inclusion is strict, so there exist symbols g in the mean Lipschitz class Λ(p,1/p) for which Hg fails to be bounded on Hp, answering a prior conjecture in the negative.

Load-bearing premise

The counter-example for p>2 rests on an external integral estimate guaranteeing that a particular test function with a logarithmic factor still lies in Hp; if that estimate failed, the strict-inclusion argument would collapse.

Editorial extensions

If this is right

  • For p>2, membership of g in Λ(p,1/p) is necessary but no longer sufficient for Hg to be bounded on Hp.
  • Any symbol whose derivative lies in the union over q<p of H(q,∞,1/q') or in the mixed space H(p,tp,1/p') automatically yields a bounded Hg.
  • When the Taylor coefficients of g are nonnegative and decreasing, Hg is bounded on Hp if and only if n bn stays bounded.
  • The multiplier spaces (Rp,Hp) increase strictly with p, so a multiplier for a smaller exponent remains a multiplier for every larger exponent.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • An intrinsic description of (Rp,Hp) for p>2—perhaps via vector-valued Carleson measures or tent spaces—would finish the classification the paper begins.
  • The same range-multiplier dictionary should adapt to weighted Bergman or Dirichlet-type settings where generalized Hilbert operators are already studied.
  • Compactness and essential-norm formulae for Hg are natural next targets once the bounded multipliers are understood.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper studies the generalized Hilbert operator Hg(f)(z)=\int0^1 f(t)g'(tz)dt on Hardy spaces Hp. It introduces the range space Rp=H(Hp) with the pullback norm and the Hadamard multiplier space Mp=(Rp,Hp). The central results are the equivalences Hg:Hp\to Hp bounded \Leftrightarrow g'\in Mp \Leftrightarrow Bp(g)<\infty (Theorem 3.2), the identification Mp=H(p,\infty,1/p') for 1<p\le2 (Theorem 3.4), and the strict inclusion Mp\subsetneq H(p,\infty,1/p') for p>2 (Theorem 3.5), which yields an explicit counter-example gp\in\Lambda(p,1/p) for which Hg is unbounded and thereby answers the conjecture of Galanopoulos–Girela–Peláez–Siskakis in the negative. The paper further embeds two known sufficient classes Ap and Ep strictly inside Mp, gives a complete coefficient characterization for symbols with nonnegative decreasing Taylor coefficients, and proves that the family {Mp} is strictly increasing in p.

Significance. The work cleanly separates the operator-theoretic question from the symbol by reducing boundedness of Hg to membership of g' in a concrete multiplier space. The negative resolution of the Galanopoulos–Girela–Peláez–Siskakis conjecture for p>2 is definitive: the lacunary series \Phi p and the integrated symbol gp are explicit, and the argument relies only on standard tools (dyadic characterizations, Fejér–Riesz, Paley’s theorem for Hadamard gaps). The structural results—strict increase of Mp in p, proper containment of Ap and Ep, and the monotone-coefficient characterization—give a coherent picture of the multiplier scale and recover earlier sufficient conditions as special cases. The contribution is solid and of clear interest to the Hardy-space operator community.

minor comments (4)
  1. [Theorem 3.4 proof] In the proof of Theorem 3.4 the sentence “Since 2<p\le2, the embedding (1) shows…” is a typographical contradiction; the intended range is 1<p\le2 and the embedding D(p,p,1)\subset Hp should be invoked.
  2. [Theorem 3.5 proof] Membership fp\in Hp is cited from Avetisyan [1, Lemma 1] rather than proved. A one-line sketch that the weight |log|^{-p/2} (p/2>1) is integrable against the Poisson kernel of 1/|1-z| would make the counter-example self-contained.
  3. [Throughout] Several minor typos appear: “folliwing” (p. 2), “imples” (p. 7), “The folliwing embeddings”, and inconsistent spacing around operators (Hg vs H_g). A careful copy-edit is needed.
  4. [Abstract / §5] The abstract and introduction mention that Mp contains Cauchy transforms; this is proved only for the kernels \kappa\zeta in Theorem 4.7. A brief clarifying sentence would align the claims.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: ordinary functional-analytic characterizations and an explicit lacunary counter-example

full rationale

The paper reformulates boundedness of Hg on Hp as membership of g' in the Hadamard multiplier space Mp=(Rp,Hp) via the identity Hg(f)=g'*H(f) and the pullback norm on Rp. That equivalence is definitional bookkeeping, not a circular prediction: the subsequent content independently identifies Mp with H(p,∞,1/p') for p≤2 (via Stieltjes–Mellin, dyadic blocks, and Hardy–Littlewood embeddings) and exhibits a strict inclusion for p>2 by an explicit Hadamard-gap series Φp paired with a test function fp whose moments are bounded below on dyadic intervals, then invokes classical Paley. Previously known sufficient classes Ap and Ep are located inside Mp by the same embeddings, and monotonicity coefficient criteria are derived from Lemma 2.2, not assumed. Self-citations ([21], background on related operators) and the external conjecture citation [11] are not load-bearing premises of the strict-inclusion argument. No fitted parameters, no uniqueness imported from the authors, and no renaming of an empirical pattern appear.

Assumptions & free parameters 0 free parameters · 6 assumptions · 3 invented entities

The work rests on the classical theory of Hardy spaces, mixed-norm spaces, Hadamard multipliers, and the boundedness of the ordinary Hilbert operator on Hp (1<p<∞). No empirical free parameters appear. The only external analytic facts used without full internal proof are standard embeddings, a cited integral estimate for a logarithmic weight, and Paley’s theorem for Hadamard gaps.

assumptions (6)
  • domain assumption The classical Hilbert operator H:Hp→Hp is bounded and injective for 1<p<∞ (Diamantopoulos–Siskakis).
    Used to equip Rp with the pullback Banach norm and to obtain the continuous inclusion Rp↪Hp (Proposition 3.1).
  • standard math Dyadic characterizations of mixed-norm spaces H(p,q,α) (smooth block projections).
    Invoked repeatedly via (5)–(6) and citations [18,20] to pass between integral means and coefficient blocks.
  • standard math Hardy–Littlewood embeddings D(p,p,1)⊂Hp⊂D(p,2,1) (p≤2) and the reverse order (p≥2).
    Load-bearing for the identification Mp=H(p,∞,1/p') when p≤2 and for the Ep embedding when p>2.
  • standard math Paley’s theorem: a Hadamard-gap series belongs to Hp (p≥2) if and only if its coefficients lie in ℓ².
    Converts ∑|dj|²=∞ into Φp∗Fp∉Hp in the counter-example (Theorem 3.5).
  • domain assumption Avetisyan’s integral estimate implying fp∈Hp.
    Cited as Lemma 1 of [1]; supplies the test function whose moments produce the divergent gap series.
  • standard math Fejér–Riesz inequality and density of polynomials in Lp(0,1).
    Used for injectivity of H and for moment estimates throughout.
invented entities (3)
  • Rp = H(Hp) with pullback norm independent evidence
    purpose: Turns boundedness of Hg into a concrete Hadamard-multiplier question on a Banach space of analytic functions.
    Standard range-space construction; the novelty is the systematic use for generalized Hilbert operators.
  • Bilinear form Bp(g) and the criterion Bp(g)<∞ independent evidence
    purpose: Gives a coefficient-level necessary and sufficient condition equivalent to boundedness of Hg.
    Defined from the dual pairing; shown equivalent to the operator norm in Theorem 3.2.
  • Classes Ap and Ep inside Mp independent evidence
    purpose: Locate previously known sufficient conditions as proper subspaces of the true multiplier space for p>2.
    Ap recovers the subcritical Lipschitz condition of [11]; Ep complements Blasco’s D(p,tp,1/p') condition.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Generalized Hilbert operators on Hardy spaces." pith.science (2026). https://pith.science/paper/BDBA3RFH

@misc{pith2026260728221,
  author       = {Pith},
  title        = {Pith review of: Generalized Hilbert operators on Hardy spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BDBA3RFH}},
  note         = {Machine review of arXiv:2607.28221}
}
abstract

Let $g\in H(\mathbb D)$, the generalized Hilbert operator $\mathcal H_g$ is defined by \[ \mathcal H_g(f)(z)=\int_0^1 f(t)g'(tz)dt,\ \ z\in \mathbb D\, \ \ f \in H(\mathbb D). \] Let $\mathcal R_p=\mathcal H(H^p)$ be the range of the classical Hilbert operator on Hardy space, equipped with the pullback norm, and let $(\mathcal R_p,H^p)$ denote the Hadamard multiplier space. For $1<p<\infty$, we prove the exact multiplier characterization \[ \mathcal H_g:H^{p}\longrightarrow H^{p} \ \ \text{is bounded} \quad\Longleftrightarrow\quad g'\in(\mathcal R_p,H^p), \] and an equivalent Hilbert-matrix bilinear criterion $\mathfrak B_p(g)<\infty$. We identify the multiplier space completely when $1<p\le2$: \[ (\mathcal R_p,H^p)=H\left(p,\infty,\frac1{p'}\right). \] For $p>2$, we prove that the multiplier space $(\mathcal R_p,H^p)$ is strictly contained in $H\left(p,\infty,\frac1{p'}\right)$. This shows that \(g\in \Lambda(p,1/p)\) does not imply that $\mathcal H_g$ is bounded on \(H^p\), giving a negative answer to the conjecture posed by Galanopoulos, Girela, Pel\'aez and Siskakis. In addition, we locate two previously known sufficient classes inside the multiplier space. This allow us obtain a complete coefficient characterization of $\mathcal H_g$ on $H^{p}$ for $g \in H(\mathbb D) $ with nonnegative decreasing Taylor coefficients. We then study the structure of $(\mathcal R_p,H^p)$. % It turns out that $(\mathcal{R}_p,H^p)$ contains all polynomials as well as Cauchy transforms. We show that the multiplier spaces $(\mathcal{R}_p,H^p)$ form a strictly increasing family with respect to the exponent $p$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references

  1. [1]

    Avetisyan, A note on mixed norm spaces of analytic functions, Aust

    K. Avetisyan, A note on mixed norm spaces of analytic functions, Aust. J. Math. Anal. Appl. 9(1) (2012) 1–6

    2012

  2. [2]

    G. Bao, H. Wulan, Hankel matrices acting on Dirichlet spaces, J. Math. Anal. Appl. 409 (2014) 228–235

    2014

  3. [3]

    Bellavita, V

    C. Bellavita, V . Daskalogiannis, G. Stylogiannis, On the Hilbert matrix operator: A brief sur- vey. In: J. Ball, H. Tylli, J. Virtanen,(eds) Operator Theory, Related Fields, and Applications. IWOTA 2023. Operator Theory: Advances and Applications, vol 307. Birkh¨auser, Cham

    2023

  4. [4]

    Blasco, Remarks on generalized Hilbert operators, J

    O. Blasco, Remarks on generalized Hilbert operators, J. Math. Sci. 266 (2022) 274–284

    2022

  5. [5]

    Boˇzin, B

    V . Boˇzin, B. Karapetrovi ´c, Norm of the Hilbert matrix on Bergman spaces, J. Funct. Anal. 274 (2018) 525–543

    2018

  6. [6]

    Diamantopoulos, A

    E. Diamantopoulos, A. Siskakis, Composition operators and the Hilbert matrix, Studia Math. 140 (2000) 191–198

    2000

  7. [7]

    Diamantopoulos, Hilbert matrix on Bergman spaces, Illinois J

    E. Diamantopoulos, Hilbert matrix on Bergman spaces, Illinois J. Math. 48(3) (2004) 1067– 1078

    2004

  8. [8]

    Dostani ´c, M

    M. Dostani ´c, M. Jevti ´c, D. Vukoti ´c, Norm of the Hilbert matrix on Bergman and Hardy spaces and theorem of Nehari type, J. Funct. Anal. 254 (2008) 2800–2815

    2008

Show all 22 references
  1. [9]

    Duren, Theory ofH p spaces, Academic Press, New York, 1970

    P. Duren, Theory ofH p spaces, Academic Press, New York, 1970

    1970

  2. [10]

    Flett, The dual of an inequality of Hardy and Littlewood and some related inequalities, J

    T. Flett, The dual of an inequality of Hardy and Littlewood and some related inequalities, J. Math. Anal. Appl. 38(3) (1972) 746–765

    1972

  3. [11]

    Galanopoulos, D

    P. Galanopoulos, D. Girela, J. Pel ´aez, A.Siskakis, Generalized Hilbert operators, Ann. Acad. Sci. Fenn. Math. 39(1) (2014) 231–258

    2014

  4. [12]

    Galanopoulos1, D

    P. Galanopoulos1, D. Girela, Operators of Hilbert and Ces`aro type acting on Dirichlet spaces, Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 119 (2025) Paper No. 34

    2025

  5. [13]

    Hardy, J

    G. Hardy, J. Littlewood, Some properties of fractional integrals II, Math. Z. 34 (1932) 403– 439. 28

    1932

  6. [14]

    Jevti ´c, B

    M. Jevti ´c, B. Karapetrovi ´c, Hilbert matrix on spaces of Bergman-type, J. Math. Anal. Appl.453 (2017) 241–254

    2017

  7. [15]

    Jevti ´c, D

    M. Jevti ´c, D. Vukoti´c, M. Arsenovi´c, Taylor Coefficients and Coefficient Multipliers of Hardy and Bergman-Type Spaces, vol. 2. Springer, Cham 2016

    2016

  8. [16]

    Łanucha, M

    B. Łanucha, M. Nowak, M. Pavlovi´c, Hilbert matrix operator on spaces of analytic functions, Ann. Acad. Sci. Fenn. Math. 37 (2012) 161–174

    2012

  9. [17]

    Lindstr ¨om, S

    M. Lindstr ¨om, S. Miihkinen, N. Wikman, Norm estimates of weighted composition operators pertaining to the Hilbert matrix, Proc. Am. Math. Soc. 147 (2019) 2425–2435

    2019

  10. [18]

    Mateljevi ´c, M

    M. Mateljevi ´c, M. Pavlovi´c,L p behaviour of the integral means of analytic functions, Studia Math. 77 (1984) 219–237

    1984

  11. [19]

    Pel ´aez, J

    J. Pel ´aez, J. R¨atty¨a, Generalized Hilbert operators on weighted Bergman spaces, Adv. Math. 240 (2013) 227–267

    2013

  12. [20]

    Pavlovi ´c, Function classes on the unit disc, An Introduction, De Gruyter Studies in Math- ematics, vol

    M. Pavlovi ´c, Function classes on the unit disc, An Introduction, De Gruyter Studies in Math- ematics, vol. 52, De Gruyter, Berlin, 2014

    2014

  13. [21]

    Tang, Operators of Hilbert type acting on some spaces of analytic functions, Rev

    P. Tang, Operators of Hilbert type acting on some spaces of analytic functions, Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. to appear

  14. [22]

    Zygmund, Trigonometric Series, V ol

    A. Zygmund, Trigonometric Series, V ol. II. Cambridge University Press, London, 1959. 29

    1959

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.