Pith. sign in

REVIEW 3 major objections 4 minor 20 references

Bloch functions and Bekoll\'e-Bonami weights

T0 review · 3 major / 4 minor · reviewed 2026-08-27 · deepseek-v4-flash

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

Pith's one-line read Distance formulas settle all-power B2 weights; Bloch conjecture fails

desk verdict New distance formulas and a likely sound counterexample, but the proof of Theorem 1.1(ii) rests on an unproved BMO extension lemma. read the letter →

arxiv 2009.10445 v1 pith:AS5HNXSA submitted 2020-09-22 math.CV math.CA

Adem Limani , Artur Nicolau This is my paper · ORCID
classification math.CVmath.CA MSC 30D4530H1030H2030H3547B38
keywords Bekollé-BonamiweightsBMOontheunitdiscBlochspacehyperbolicLipschitzfunctionsBergmanprojectionCesàrooperatorslacunaryseriesHardyspaces
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 transfers the classical Muckenhoupt-weight/BMO circle of ideas to the unit disc, where Bekollé–Bonami $B_2$ weights control boundedness of the Bergman projection. For a real-valued $f$ whose weight $e^f$ has bounded hyperbolic oscillation, it proves that the smallest $t$ for which $e^{f/t}$ is a $B_2$ weight is comparable to the distance from $f$ to bounded functions, measured in the hyperbolic Lipschitz norm or in the BMO norm on the disc. That yields a characterization: a weight with bounded hyperbolic oscillation has every power in $B_2$ exactly when its logarithm can be approximated by bounded functions in either norm, equivalently when its oscillation grows at most $\varepsilon$ times hyperbolic distance plus a constant. The paper also shows the analytic version fails: a Bloch function can satisfy that oscillation condition yet lie outside the closure of every Hardy space in the Bloch norm, disproving a conjecture. The same estimates give comparability between distance to bounded functions and the spectral radius of generalized Cesàro operators.

What carries the argument

The machinery turns on the critical exponent $\gamma(f)=\inf\{t>0: e^{f/t}\in B_2\}$, the disc analogue of the Muckenhoupt $A_2$ threshold. The proof compares $\gamma(f)$ with distances through two channels. One is a distribution estimate, Lemma 2.4(iii), saying that on every Carleson square the logarithm of a $B_2$ weight deviates from its mean with an exponential rate independent of the weight; feeding this through the reflection extension in (19) and the BMO-to-$L^\infty$ distance formula for $\mathbb{R}^2$ yields the BMO distance comparison. The other channel samples $\log w$ on a hyperbolic net and applies a Lipschitz extension theorem for functions on a metric space to build a bounded correction $h$ with $f-h$ hyperbolic Lipschitz, giving the constant $4$ in the hyperbolic Lipschitz distance. A secondary mechanism is the area-function criterion for the closure of Hardy spaces in the Bloch norm, used to certify that the lacunary counterexample avoids every such closure.

What would settle it

Take the lacunary series $g(z)=\sum a_k z^{n_k}$ from Theorem 1.4 with $n_{k+1}/n_k\to\infty$, $\sup|a_k|\le 1$ and $a_k$ not tending to $0$, and compute the area function $A_\varepsilon(g)(\xi)=\left(\int_{\Gamma(\xi)\cap K(\varepsilon,g)} \frac{dA(z)}{(1-|z|^2)^2}\right)^{1/2}$. If for some $\varepsilon>0$ this function belongs to $L^p(\partial\mathbb{D})$ for some $p>0$, then $g$ would lie in the closure of $H^p\cap B$ and the theorem would be false; the concrete test is whether the annuli $A_j(2)$ on which $(1-|z|^2)|g'(z)|$ is large meet every Stolz angle with infinite hyperbolic area, as the proof asserts.

Watch

Extended reading notes

Core claim

The central discovery is a distance formula of the same shape as the classical one for Muckenhoupt weights, but for the unit disc. Given a real-valued $f$ with $e^f$ of bounded hyperbolic oscillation, define $\gamma(f)=\inf\{t>0: e^{f/t}\in B_2\}$. Then $2\gamma(f) \le \inf_{h\in L^\infty(\mathbb{D})} \|f-h\|_{\mathrm{HLip}} \le 4\gamma(f)$, and there is a universal constant $C$ with $C^{-1}\gamma(f) \le \inf_{h\in L^\infty(\mathbb{D})} \|f-h\|_{\mathrm{BMO}(\mathbb{D})} \le C\gamma(f)$. The $B_2$ threshold therefore computes both distances. The resulting corollary characterizes weights all of whose powers lie in $B_2$: this happens exactly when $\log w$ lies in the closure of $L^\infty(\mathbb{D})$ in the hyperbolic Lipschitz norm or in the BMO norm, which is also equivalent to the oscillation bound $|\log w(z)-\log w(\zeta)|\le C(\varepsilon)+\varepsilon\beta(z,\zeta)$. On the analytic side, the paper constructs a lacunary series $g\in B$ satisfying that same oscillation condition but with the area function $A_\varepsilon(g)(\xi)$ infinite at every boundary point, so $g$ is not in the closure of $H^p\cap B$ for any $0<p\le\infty$; this contradicts the conjecture that the oscillation condition forces membership in the closure of bounded analytic functions. The final application converts the BMO distance estimate into a two-sided bound relating the distance from $g$ to $L^\infty(\mathbb{D})$ and the spectral radius of the generalized Cesàro operator $T_g$ on Bergman spaces.

Load-bearing premise

The one load-bearing step is the claim that reflecting a BMO function on the unit disc by $f^*(z)=f(z)$ inside the disc and $f^*(z)=f(1/z)$ outside produces a BMO function on the plane; the paper states this as a crucial observation without proof. If this extension fails for some admissible $f$, the BMO distance upper bound collapses.

Editorial extensions

If this is right

  • For any weight with bounded hyperbolic oscillation, deciding whether every power of $w$ is $B_2$ is equivalent to checking a single threshold $\gamma(\log w)$, and the distance formulas give explicit two-sided bounds on that threshold.
  • If a Bloch function $g$ satisfies the $\varepsilon$-oscillation condition, then every exponential $e^{\operatorname{Re}(\lambda g)}$ is a $B_2$ weight, and such $g$ induce generalized Cesàro operators whose spectrum avoids the real and imaginary axes except possibly at $0$.
  • The $\varepsilon$-oscillation condition does not force a Bloch function into the closure of $H^\infty$ in $B$, nor into the closure of any $H^p\cap B$; the constructed lacunary counterexample has infinite area function at every boundary point.
  • There is a harmonic $\log w$ that is BMO-approximable by bounded functions while no bounded harmonic approximant exists, showing that harmonicity cannot be preserved in the approximation statements of Corollary 1.2.
  • For generalized Cesàro operators on Bergman spaces, the spectral radius is comparable, with a universal constant, to the distance from the symbol to $L^\infty(\mathbb{D})$ in BMO; in particular, a symbol whose spectrum avoids both axes must have spectral radius zero.

Reading between the lines

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

  • The reflection extension step in (19), if it is valid for all BMO functions on the disc, would give a general transfer of BMO$(\mathbb{R}^2)$ results to the disc; a natural test is to characterize exactly which BMO$(\mathbb{D})$ functions survive reflection, since the proof only needs it for logarithms of bounded-hyperbolic-oscillation weights.
  • The universal constants $2$, $4$, and $C$ in Theorem 1.1 are not claimed sharp; extremal examples for the ratio of $\gamma(f)$ to each distance could be sought among radial weights, where both sides reduce to one-variable integrals.
  • Theorem 1.4 suggests that any eventual description of the closure of $H^\infty$ in the Bloch space must use more than oscillation size; a plausible sufficient condition to test is uniform decay of the hyperbolic derivative on all Stolz angles, in the spirit of the little Bloch space.
  • The spectral-radius comparability in Corollary 4.1 could be sharpened to an identity for symbols with special symmetry, and the lacunary counterexample provides a concrete candidate for a quasi-nilpotent Cesàro operator whose symbol is not a limit of bounded analytic functions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Request a human review

A listed scientist reviews the paper for a fee and the review publishes here regardless of verdict. See the reviewers or get listed.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper studies weighted analogues of the classical Garnett-Jones distance formulas for Muckenhoupt weights and BMO. Its main result, Theorem 1.1, asserts that for a real-valued f on the unit disc for which e^f has bounded hyperbolic oscillation, the quantity γ(f)=inf{t>0: e^{f/t}∈B2} is comparable both to the hyperbolic Lipschitz distance from f to L∞(D) and to the BMO(D) distance from f to L∞(D). Corollary 1.2 then characterizes, within the class of bounded hyperbolic oscillation weights, those weights all of whose powers are B2. The paper also constructs a Bloch function satisfying the logarithmic growth condition (7) that is not in the closure of H^p∩B in B for any 0<p≤∞, disproving a conjecture from [15], and applies the results to Cesàro operators on Bergman spaces. The proofs use the Bekollé-Bonami theorem, John-Nirenberg estimates for B2 weights, the Garnett-Jones distance formula, and McShane-type extension arguments.

Significance. If the proofs are completed, the results would be a substantial contribution: the distance formulas in Theorem 1.1 transpose the classical BMO/L∞ theory to the Bekollé-Bonami setting, and Theorem 1.4 provides a striking counterexample to a recent conjecture, showing that the closure of H∞ in the Bloch norm is strictly smaller than the class of Bloch functions satisfying condition (7). The applications to the spectra of Cesàro operators are a useful additional dividend. The paper also has notable strengths: it gives explicit, checkable estimates at several points, and the construction in Theorem 1.4 is concrete and uses a clean lacunary-series mechanism. However, two proof gaps affect the main results: the claimed BMO(R2) extension of BMO(D) functions is asserted without proof and is used in an essential way, and a key hyperbolic-length estimate in Theorem 1.4 is not justified. These gaps are local in the sense that they may be fixable, but they are load-bearing.

major comments (3)
  1. [Section 2, Eq. (19), and proof of Theorem 1.1(ii), paragraph after Eq. (28)] The statement that any f∈BMO(D) extends to a function f*∈BMO(R2) by f*(z)=f(z) for z∈D and f*(z)=f(1/z) for |z|>1 is called a crucial observation, but no proof is given. This is not a routine reflection: the map z↦1/z reverses the argument of z, so the interior and exterior traces at a boundary point ξ are formed from values of f near ξ and near \bar ξ. For a general f∈BMO(D) these need not be comparable. In addition, the passage from the disc estimate (28) to the claimed estimate for every square R⊂R2 is not demonstrated; squares crossing ∂D mix interior and exterior values, and no comparison between the means f*_R and the disc means used in (28) is supplied. Since this extension is the only route to the upper bound in Theorem 1.1(ii) and therefore to Corollary 1.2(iii), the authors should either prove the extension lemma in the stated form or replace it with the standard angle-preserving reflection z↦1/\bar z and prove the corresponding square estimate.
  2. [Section 3, proof of Theorem 1.4, paragraph beginning 'Denote by l(γ)'] The assertion that l(Γ∩A_k(M))≤2logM for each annulus implies l(γ∩A(M(ε)))/l(γ)≤ε for every hyperbolic segment γ with l(γ)>2logM(ε)/ε is not justified. A hyperbolic segment may intersect several annuli, and each intersection can contribute up to 2logM; no bound on the number of annuli intersected by γ is provided. This estimate is used to obtain (40), which is essential for verifying condition (7). The authors should give a direct argument controlling the total hyperbolic length of γ∩A(M(ε)), for example using the rapid growth n_{k+1}/n_k→∞ to show that long hyperbolic segments spend a negligible fraction of their length inside the annuli.
  3. [Section 3, proof of Theorem 1.1(ii), estimate (28)] The derivation of (28) from (27) is sketched too quickly. For discs of radius less than (1-|z|)/2 the bounded hyperbolic oscillation gives a crude bound, but for larger discs the containment D∩D⊂Q and the comparison between the mean over D∩D and the mean over a Carleson square Q are not explained. Since (28) is the input to the BMO(R2) extension estimate, this step needs a complete proof.
minor comments (4)
  1. [Proposition 2.5] The statement 'Let f:D→R be analytic' is problematic: nonconstant real-valued analytic functions do not exist. It should be 'Let f:D→C be analytic and u=Re f' or 'Let u:D→R be harmonic' throughout the proposition and its proof.
  2. [References, [16]] The text credits the extension theorem to McShane-Valentine, but reference [16] lists only McShane. Add the correct attribution or the Valentine reference.
  3. [Eq. (27) and nearby text] The notation f_Q is used for the mean of f over a Carleson square Q without being explicitly defined; define it where it first appears.
  4. [Abstract and Section 4] The sentence 'This shed light into the difficulty...' should read 'This sheds light on the difficulty...'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the paper's derivation chain is self-contained relative to external classical theorems, and the only flagged gap is an unproved extension lemma, which is a correctness issue rather than a circular reduction.

full rationale

The paper's central claims are derived from stated hypotheses through external results: the Bekollé-Bonami theorem, John-Nirenberg estimates, the Garnett-Jones distance formula, McShane-Valentine extension, and published characterizations of closures in the Bloch space. The quantity γ(f) is defined directly from the B2 condition, and the distance formulas in Theorem 1.1 relate γ(f) to distances to L∞ through independent lemmas, not by making the conclusion part of the definition. Corollary 1.2 follows from Theorem 1.1 and direct estimates, while Theorem 1.4 disproves a conjecture from the authors' earlier work [15], so self-citation is used as a target to be refuted rather than as load-bearing justification. The only notable gap is the 'crucial observation' before equation (19) that the reflection f*(z)=f(1/z) maps BMO(D) into BMO(R²); this is asserted without proof and is used to pass from estimate (28) to the Garnett-Jones theorem. That is an omitted proof and a potential correctness issue, not a circular step: no equation in the paper reduces to its own input, no fitted parameter is renamed as a prediction, and no uniqueness claim is imported from the authors' prior work. Accordingly, the circularity score is 0.

Assumptions & free parameters 0 free parameters · 8 assumptions · 0 invented entities

The paper builds on classical theorems; no free parameters are fitted to data. The main load-bearing external inputs are the Bekollé-Bonami theorem, John-Nirenberg, Garnett-Jones, McShane-Valentine, and area-function and spectral characterizations. The one in-paper unproved input is the BMO(D) extension lemma f*, which should be supplied.

assumptions (8)
  • standard math Bekollé-Bonami theorem: the Bergman projection is bounded on L²(D,wdA) iff w is a B2 weight.
    Used in Lemmas 2.1 and 2.2 to pass between the B2 condition and operator bounds.
  • standard math John-Nirenberg inequality for BMO(D) as in (15).
    Used in Lemma 2.4 and Theorem 1.1.
  • standard math Garnett-Jones distance formula in BMO(R²), (20).
    Used in Theorem 1.1(ii) to convert John-Nirenberg type estimates into distance to L∞.
  • standard math McShane-Valentine extension theorem.
    Used in Theorem 1.1(i) to extend a Lipschitz function from a net to all of D.
  • domain assumption Area-function characterization of the closure of H^p∩B in B from [9],[10].
    Used in Theorem 1.4 to infer non-closure from divergence of A_ε(g).
  • standard math Lacunary series with bounded coefficients are Bloch (Anderson-Clunie-Pommerenke).
    Used in Theorem 1.4 to build g∈B.
  • domain assumption Spectral characterization of Cesàro operators from [1],[2],[15].
    Used in Section 4 to translate B2 membership into spectral properties.
  • domain assumption Any f∈BMO(D) has an extension f* in (19) belonging to BMO(R²).
    Stated as a crucial observation in Section 2 and used to apply Garnett-Jones; no proof or reference is given.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Bloch functions and Bekoll\'e-Bonami weights." pith.science (2026). https://pith.science/paper/AS5HNXSA

@misc{pith2026200910445,
  author       = {Pith},
  title        = {Pith review of: Bloch functions and Bekoll\'e-Bonami weights},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/AS5HNXSA}},
  note         = {Machine review of arXiv:2009.10445}
}
abstract

We study analogues of well-known relationships between Muckenhoupt weights and $BMO$ in the setting of Bekoll\'e-Bonami weights. For Bekoll\'e-Bonami weights of bounded hyperbolic oscillation, we provide distance formulas of Garnett and Jones-type, in the context of $BMO$ on the unit disc and hyperbolic Lipschitz functions. This leads to a characterization of all weights in this class, for which any power of the weight is a Bekoll\'e-Bonami weight, which in particular reveals an intimate connection between Bekoll\'e-Bonami weights and Bloch functions. On the open problem of characterizing the closure of bounded analytic functions in the Bloch space, we provide a counter-example to a related recent conjecture. This shed light into the difficulty of preserving harmonicity in approximation problems in norms equivalent to the Bloch norm. Finally, we apply our results to study certain spectral properties of Cesar\'o operators.

Figures

Figures reproduced from arXiv: 2009.10445 by the authors.

Figure 1
Figure 1. Tiling the Carleson box QI into top-halves {TJ }J∈D(I) . With this at hand, we may rephrase condition (6) as follows: for any ε > 0, there exists cε > 0, such that for any arc J ⊂ I, we have e −cε  m(I) m(J) −ε ≤ w(zJ ) w(zI ) ≤ e cε  m(I) m(J) ε . (30) We will show that w λ ∈ B2 for any λ > 0. To this end, fix an arbitrary λ > 0 and let D(I) denote the dyadic decomposition of I. Since w has bounded hyperbolic o… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

20 extracted references · 20 canonical work pages

  1. [15]

    Limani and B

    A. Limani and B. Malman , Generalized Cesro Operators: Geometry of Spectra and Quasi-Nilpotency , International Mathematics Research Notices, (2020)

    work page 2020

  2. [1]

    Aleman and O

    A. Aleman and O. Constantin , Spectra of integration operators on weighted Bergman spaces, Journal d’Analyse Math´ ematique, 109 (2009), p. 199

    work page 2009

  3. [2]

    Aleman, S

    A. Aleman, S. Pott, and M. C. Reguera , Characterizations of a limiting class B∞ of B´ ekoll´ e–Bonami weights, Rev. Mat. Iberoam, 35 (2019), pp. 1677–92

    work page 2019

  4. [3]

    Anderson, J

    J. Anderson, J. Clunie, and C. Pommerenke , On Bloch functions and normal functions , Journal f¨ ur die reine und angewandte Mathe- matik, 1974 (1974), pp. 12–37

    work page 1974

  5. [4]

    Bekoll ´e and A

    D. Bekoll ´e and A. Bonami , In´ egalit´ es ` a poids pour le noyau de Bergman, CR Acad. Sci. Paris S´ er. AB, 286 (1978), pp. A775–A778

    work page 1978

  6. [5]

    Berger, L

    C. Berger, L. Coburn, and K. Zhu , BMO on the Bergman spaces of the classical domains , Bulletin of the American Mathematical Society, 17 (1987), pp. 133–136

    work page 1987

  7. [6]

    Borichev , On the Bekoll´ e–Bonami condition, Mathematische An- nalen, 328 (2004), pp

    A. Borichev , On the Bekoll´ e–Bonami condition, Mathematische An- nalen, 328 (2004), pp. 389–398

    work page 2004

  8. [7]

    R. R. Coifman, R. Rochberg, and G. Weiss , Factorization the- orems for Hardy spaces in several variables , Annals of Mathematics, (1976), pp. 611–635

    work page 1976

Show all 20 references
  1. [8]

    P. L. Duren and A. Schuster , Bergman spaces, no. 100, American Mathematical Soc., 2004

    2004

  2. [9]

    Gal ´an and A

    N. Gal ´an and A. Nicolau , The closure of the Hardy space in the Bloch norm , St. Petersburg Mathematical Journal, 22 (2011), pp. 55– 59. 26

    2011

  3. [10]

    Galanopoulos, N

    P. Galanopoulos, N. M. Gal ´an, and J. Pau , Closure of Hardy spaces in the Bloch space , Journal of Mathematical Analysis and Appli- cations, 429 (2015), pp. 1214–1221

    2015

  4. [11]

    Garnett , Bounded analytic functions , vol

    J. Garnett , Bounded analytic functions , vol. 236, Springer Science & Business Media, 2007

    2007

  5. [12]

    J. B. Garnett and P. W. Jones , The distance in BMO to L∞, Annals of Mathematics, (1978), pp. 373–393

    1978

  6. [13]

    P. G. Ghatage and D. Zheng , Analytic functions of bounded mean oscillation and the Bloch space , Integral Equations and Operator Theory, 17 (1993), pp. 501–515

    1993

  7. [14]

    Hedenmalm, B

    H. Hedenmalm, B. Korenblum, and K. Zhu , Theory of Bergman spaces, no. 199, Graduate Texts in Mathematics, Springer-Verlag, 2000

    2000

  8. [16]

    E. J. McShane , Extension of range of functions , Bulletin of the Amer- ican Mathematical Society, 40 (1934), pp. 837–842

    1934

  9. [17]

    Nicolau and O

    A. Nicolau and O. Soler i Gibert , Approximation in the Zygmund class, Journal of the London Mathematical Society, 101 (2020), pp. 2 26– 246

    2020

  10. [18]

    Pommerenke , Boundary behaviour of conformal maps , vol

    C. Pommerenke , Boundary behaviour of conformal maps , vol. 299, Springer Science & Business Media, 2013

    2013

  11. [19]

    Saksman and O

    E. Saksman and O. Soler i Gibert , Wavelet Approximation in the Zygmund Class , ArXiv Preprint, (2020)

    2020

  12. [20]

    Sarason , Functions of vanishing mean oscillation , Transactions of the American Mathematical Society, 207 (1975), pp

    D. Sarason , Functions of vanishing mean oscillation , Transactions of the American Mathematical Society, 207 (1975), pp. 391–405. A. Limani, Centre for Mathematical Sciences, Lund University, P.O Box 118, SE-22100, Lund, Sweden E-mail address, A. Limani: adem.limani@math.lu.s...

    1975

Pith tools

Reviewed August 27, 2026 · model on record in the stance chip above.