Pith. sign in

REVIEW 5 major objections 4 minor 29 references

Gabriel's and Frazer's problems for weighted Bergman spaces and their applications

T0 review · 5 major / 4 minor · reviewed 2026-08-02 · deepseek-v4-flash

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

Pith's one-line read This paper establishes Gabriel's inequality for complex-valued harmonic functions in weighted Bergman spaces for every 0<p<∞, a range where the harmonic Hardy space version fails.

desk verdict The analytic weighted Bergman Gabriel inequality is a real and mostly correct result; the advertised full-range harmonic version is not proved, and the p≤1 claims rest on unavailable or false estimates. read the letter →

arxiv 2607.13543 v1 pith:FHZPGEVM submitted 2026-07-15 math.CV

Himadri Halder , Rohit Kumar This is my paper · ORCID
classification math.CV MSC 31A0530H2030H05
keywords weightedBergmanspacesharmonicmappingsGabrielinequalityFrazerproblemRiesz–FejérMöbiusinvariantconjugateconvexcurves
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 answers a natural question about how far two classical theorems of geometric function theory, Gabriel's and Frazer's arc-length inequalities, extend from Hardy spaces to Bergman spaces. Its main achievement is a full-range result: for every complex-valued harmonic function $f$ in a weighted harmonic Bergman space $a^p_\alpha$ with $00$, then transfer it to harmonic functions through a harmonic-conjugate estimate. They also obtain Frazer's circle and two-diameter formulations, and apply everything to the Möbius invariant spaces $Q(n,p,\alpha)$ and $Q_h(n,p,\alpha)$.

What carries the argument

The central mechanism is the transfer from boundary to area: for analytic $f$, dilate to $f_r$, apply the classical Gabriel inequality on the scaled convex curve, multiply by the weight $(1-r^2)^\alpha r$, and integrate in the dilation parameter $r$. For harmonic $f = h + \bar{g}$, the paper forms $F = h+g$ and uses a Bergman-space harmonic-conjugate estimate, $\|F\|_{A^p_\alpha} \leq c_{p,\alpha} \|\operatorname{Re} F\|_{a^p_\alpha}$ (adopted for all $p>0$), so that inequalities for the analytic $F$ pull back to inequalities for $f$ through $|f|^p \leq C_p(|u|^p+|v|^p)$. Gabriel's inequality — the control of an arc integral over a convex curve by an integral over the whole disk or circle — is the named object being extended, and the harmonic-conjugate estim

What would settle it

For $p=1/2$ and $\alpha=0$, take $f(z)=1+\operatorname{Re} z$ and circles $C_r=\{|z|=r\}$, and compute the ratio of $\int_{C_r} |f|^p(1-|z|^2)|dz|$ to $\int_D |f|^p dA$ for a sequence $r\to 1^-$; if the ratio grows without bound, the stated broad-range circle version is false. For the headline theorem, check the conjugate estimate on $F(z)=1/(1-z)$ with $p=1/2$: if $\|F\|_{A^p_\alpha}$ is not bounded by a fixed multiple of $\|\operatorname{Re} F\|_{a^p_\alpha}$, the assumption underlying Theorem 1.2 is refuted.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem 1.2: for every complex-valued harmonic function $f$ in $a^p_\alpha$ with $0<p<\infty$, and every convex curve $C$ contained in the disk, $\int_C |f|^p (1-|z|^2)^{1+\alpha} |dz| \leq K_{p,\alpha,C} \int_D |f|^p (1-|z|^2)^\alpha dA(z)$. The proof's key move is to decompose $f = h + \bar{g}$, form the analytic function $F = h+g$, control the $A^p_\alpha$ norm of $F$ by the $a^p_\alpha$ norm of its real part using a Riesz-conjugate estimate (quoted from earlier work, and assumed for every $p>0$), then apply the analytic Gabriel inequality to $F$ and convert the resulting control on $u$ and $v$ into control on $|f|^p$. The same machinery yields the analytic Theorem 1.1 with the explicit constant $4\pi/(1-R^2)^{1+\alpha}$, a circle version wit

Load-bearing premise

The full-range harmonic theorem rests on a cited Riesz-conjugate estimate for Bergman spaces that controls an analytic function's weighted norm by the weighted norm of its real part for every $p>0$, whereas the standard theory guarantees this only for $p>1$.

Editorial extensions

If this is right

  • Weighted harmonic Bergman spaces satisfy Gabriel's inequality for every 0<p<∞, so the p≤1 obstruction found in harmonic Hardy spaces does not appear under the Bergman measure.
  • The circle version 2πr(α+1)∥f∥^p_{a^p_α} gives an explicit, p-free bound for the weighted arc integral of any harmonic f over every concentric circle.
  • The Möbius invariant spaces Q(n,p,α) and Q_h(n,p,α) inherit Gabriel and Frazer inequalities through their embedding into weighted Bergman spaces with parameter α-np.
  • The two-diameter inequality gives an explicit constant, depending on the angle, for the union of two diameters in weighted harmonic Bergman spaces.
  • These arc-length bounds imply that functions in these spaces cannot concentrate excessively along any convex curve inside the disk relative to their area norm.

Reading between the lines

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

  • The reduction to the associated analytic function suggests that the harmonic failure in Hardy spaces for p≤1 is best viewed as the absence of a full-range Riesz-conjugate estimate there, not as a fundamental obstruction for harmonic functions; any Bergman-type setting with such an estimate should inherit Gabriel's inequality.
  • The p≤1 part of the argument relies on a quoted conjugate estimate that the paper does not prove; a direct proof for 0<p≤1, or a counterexample, would settle whether the advertised full range is genuine.
  • The p-independent constant in the circle version hints that the monotonicity of integral means used in its proof could be bypassed by a measure-distribution argument, which would also cover the delicate p<1 case.
  • The same transfer device appears adaptable to other weighted settings, such as doubling-weight Bergman spaces or pluriharmonic functions, where the needed conjugate estimates are already available.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

5 major / 4 minor

Summary. The paper proposes weighted Bergman-space analogues of Gabriel's and Frazer's integral inequalities. Theorem 1.1 states an analytic Gabriel inequality with explicit constant, and Theorem 1.2 claims the harmonic version for every 0<p<∞. Theorem 1.3 gives a circle version, Lemma 1.1 a weighted Kalaj-type estimate, and Theorem 1.4 a two-diameter Frazer inequality. Section 2 transfers these to the Möbius invariant spaces Q(n,p,α) and Q_h(n,p,α) via an embedding lemma from the authors' prior work [16]. The analytic proof is a clean radial-averaging argument. The harmonic proofs, however, rely on a conjugate-function estimate for all 0<p<∞ and on monotonicity of integral means for harmonic functions, both of which are problematic in the stated ranges.

Significance. If Theorem 1.2 were correct, the claimed full-range Bergman-space analogue would be a notable contrast to the known failure of Gabriel's inequality in harmonic Hardy spaces for p≤1. The paper also usefully extends the inequalities to Möbius invariant spaces, and the analytic Theorem 1.1 is an elementary and explicit result. No parameters are fitted and the arguments reduce to classical theorems; the paper is therefore not circular. However, the central harmonic claims are not established by the proofs as written: the conjugate estimate used for p≤1 is not available, and the integral-mean monotonicity used for p<1 is false. These are load-bearing defects in the advertised results.

major comments (5)
  1. [Section 3, Eq. (3.4)] The proof of Theorem 1.2 invokes [21, Corollary 6] to assert ∥F∥_{A^p_α} ≤ c_{p,α}∥Re F∥_{a^p_α} for every 0<p<∞. This is a Riesz-projection/conjugate-function bound. Standard weighted Bergman theory provides such bounds only for 1<p<∞; no p≤1 version is stated or proved here. Since the abstract and Remark 1.1 explicitly advertise the p≤1 range as the main contrast with harmonic Hardy spaces, Eq. (3.4) does not support the theorem as stated. The authors would need either to prove the p≤1 conjugate estimate or to supply a different argument for the full-range claim.
  2. [Section 3, proof of Theorem 1.3] The proof asserts that the integral means M_p^p(r,f) are increasing in r for harmonic f. This is false for 0<p<1. For example, with f(z)=1+Re z, the function |f|^p is not subharmonic for p<1, and for p=1/2 a short expansion gives M_p^p(r)=(1/2π)∫_0^{2π}(1+r cosθ)^p dθ = 1 - r^2/16 + O(r^4), which decreases for small r. Thus the proof of the full-range circle inequality Theorem 1.3 is invalid for 0<p<1.
  3. [Section 1, Theorem 1.1] The constant in the displayed theorem misses a factor (α+1). The proof concludes with ∫_C |f|^p(1-|z|^2)^{α+1}|dz| ≤ (4π/(1-R^2)^{α+1}) ∥f∥^p_{A^p_α}. Since ∥f∥^p_{A^p_α} = (α+1)∫_D |f|^p(1-|z|^2)^α dA(z), the stated right-hand side with dA(z) is smaller by the factor (α+1) than what is proved. If the intended measure is dA_α, the notation should be corrected; as written, the theorem is stronger than the proof establishes.
  4. [Section 1, Theorem 1.4] The displayed constant A_p(θ,α) appears to omit a factor of π. The final step of the proof gives L(f) ≤ (2^{1+α}π/(sin θ/2 + cos θ/2)) · (2^{p/2}/(1-|cos(π/p)|)^{p/2}) ∥f∥^p_{a^p_α}. The theorem statement has no π in A_p(θ,α). Unless this is a typographical omission, the stated constant is inconsistent with the proof.
  5. [Section 3, proof of Lemma 1.1] Several displayed lines drop the conjugation on g. The proof obtains an intermediate inequality with |h_r(e^{iθ})+g_r(e^{iθ})| and later ∫_D |h+g|^p dA_α, whereas the lemma is stated for |h+\bar g|. Since Lemma 1.1 is used in the proof of Theorem 1.4, this is not purely cosmetic. The intended argument is likely to apply [18, Theorem 2.1] to h_r+\overline{g_r}; the displayed formulas should be corrected consistently.
minor comments (4)
  1. [Throughout] There are typographical errors such as 'genralization' in Section 1.2, inconsistent use of dA versus dA_α in theorem statements, and missing bars on g in the proof of Lemma 1.1. A careful proofreading pass is needed.
  2. [Theorem 1.4] The proof says 'Suppose that f=h+\bar g with f(0)=g(0)=0'. If f(0)=0, one may choose the canonical decomposition so that h(0)=g(0)=0, but this normalization should be stated explicitly; as written, g(0)=0 looks like an additional assumption.
  3. [Corollary 2.3] The constant contains α+1-np; the condition α>np-1 ensures positivity, but this should be noted, since otherwise the weight exponent could be nonpositive.
  4. [References] The citation [21, Corollary 6] needs a precise statement of the admissible range of p and α. The current use of it for all 0<p<∞ is the main technical point and should be quoted exactly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main inequalities are derived from classical external theorems (Gabriel, Frazer, Kalaj, Peláez–Rättyä), not from their own conclusions.

full rationale

The paper's derivation chain does not reduce any prediction to its own inputs by construction. Theorem 1.1 is obtained by applying the classical Gabriel theorem (Theorem A) to dilations f_r and integrating in r, an autonomous argument. Theorem 1.2 invokes Theorem 1.1 for the analytic part F and an external Bergman conjugate estimate [21, Cor. 6]; whether that estimate is actually available for p ≤ 1 is a correctness risk, not a circularity, since it is a cited external theorem rather than a restatement of the target. Theorem 1.3 uses the claimed monotonicity of integral means; again, failure of that claim for 0 < p < 1 would invalidate the proof, but it is not a case of assuming the theorem. Theorem 1.4 and Lemma 1.1 rely on Kalaj [18] and Das–Kaliraj [3]. No parameter is fitted, no quantity is renamed as a prediction, and no uniqueness or embedding theorem from the authors' own prior work is used to forbid alternatives in the main sections. The only self-citation, [16, Lemma 2.1], is used in Section 2 to embed Q-spaces in Bergman spaces for the application corollaries; it is stated with explicit assumptions and does not assume the Gabriel/Frazer inequalities, so it is at most a minor and non-circular self-reference. Overall no circular step is exhibited.

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

The central Bergman proofs rest on external classical and modern theorems, plus two assumptions that are not justified for the stated ranges: the conjugate estimate for p≤1 and monotone integral means for p<1. The Q-space applications additionally depend on a self-cited embedding lemma.

assumptions (6)
  • standard math Gabriel's theorem for Hardy spaces (Theorem A): ∫_C |f|^p |dz| ≤ 2∫_T |f|^p |dz| for analytic f∈H^p and convex C.
    Used as a black box in Theorem 1.1 proof.
  • standard math Frazer/diameter lemma [3, Lemma 2] bounding ∫_{D0+D1} (|h_r|+|g_r|)^p |dz| by a boundary integral.
    Used in Theorem 1.4; the lemma's full hypotheses are not reproduced in the paper.
  • standard math Kalaj [18, Theorem 2.1] Riesz-type inequality for harmonic mappings.
    Used to prove Lemma 1.1; the paper applies it to dilated functions without checking the exact boundary formulation.
  • domain assumption Conjugate estimate [21, Cor. 6]: ∥F∥_{A^p_α} ≲ ∥Re F∥_{a^p_α} for all 0<p<∞.
    Invoked in Theorem 1.2 proof with no statement of its hypotheses; standard versions require 1<p<∞.
  • domain assumption Monotonicity of integral means M_p^p(r,f) for harmonic f for all p>0.
    Used in Theorem 1.3; false for 0<p<1 since |f|^p need not be subharmonic for harmonic f.
  • ad hoc to paper Embedding Lemma 2.1 from the authors' prior work [16]: Q(n,p,α)⊂A^p_{α-np} and Q_h(n,p,α)⊂a^p_{α-np}.
    Self-cited; drives all Q-space corollaries and is not independently verified in this paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Gabriel's and Frazer's problems for weighted Bergman spaces and their applications." pith.science (2026). https://pith.science/paper/FHZPGEVM

@misc{pith2026260713543,
  author       = {Pith},
  title        = {Pith review of: Gabriel's and Frazer's problems for weighted Bergman spaces and their applications},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/FHZPGEVM}},
  note         = {Machine review of arXiv:2607.13543}
}
abstract

In this paper, we investigate Gabriel's and Frazer's problems for analytic and complex-valued harmonic weighted Bergman spaces. More precisely, we establish weighted integral inequalities of the form \[ \int_C |f(z)|^p(1-|z|^2)^{\alpha+1}\,|dz| \leq K_{p,\alpha,C} \int_{\mathbb D}|f(z)|^p(1-|z|^2)^\alpha\,dA(z), \] where $f$ is an analytic or complex-valued harmonic function on the unit disk $\mathbb D$ and $C$ is an arbitrary convex curve contained in $\mathbb{D}$. The corresponding problem was first studied by Gabriel [Proc. Lond. Math. Soc. 28 (1928), 121--127] for analytic Hardy spaces, where the inequality holds for every $0<p<\infty$. In contrast, the harmonic Hardy space analogue was recently shown to fail whenever $0<p\le1$. We prove that this phenomenon does not occur in the weighted harmonic Bergman setting by establishing Gabriel's inequality throughout the full range $0<p<\infty$. We further study Frazer's problem for circles and for the union of two intersecting diameters. As important applications of our main results, we derive Gabriel-type and Frazer-type inequalities for the analytic and harmonic M\"obius invariant spaces $Q(n,p,\alpha)$ and $Q_h(n,p,\alpha)$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 1 linked inside Pith

  1. [16]

    Granados , On a problem raised by Gabriel and Beurling, Mich

    A. Granados , On a problem raised by Gabriel and Beurling, Mich. Math. J. 46 (1999), 461--487

    1999

  2. [1]

    Beckenbach , On a theorem of Fej\'er and Riesz, J

    E.F. Beckenbach , On a theorem of Fej\'er and Riesz, J. Lond. Math. Soc. 13 (1938), 82--86

    1938

  3. [2]

    Chen and H

    S. Chen and H. Hamada , On (Fej\'er-) Riesz type inequalities, Hardy-Littlewood type theorems and smooth moduli, Math. Z. 305 (2023), 64

    2023

  4. [3]

    Das and A

    S. Das and A. S. Kaliraj , A Riesz-Fej\'er type inequality for harmonic functions, J. Math. Anal. Appl. 507 (2022), 125812

    2022

  5. [4]

    Das , Gabriel's problem for harmonic Hardy spaces, J

    S. Das , Gabriel's problem for harmonic Hardy spaces, J. Math. Anal. Appl. 552 (2025), 129816

    2025

  6. [5]

    Das and A

    S. Das and A. Rasila , On Harmonic quasiregular mappings in Bergman spaces, Potent. Anal. 64 (2026), Article no. 26

    2026

  7. [6]

    Duren , Theory of H^p Spaces, Pure and Applied Mathematics, vol

    P. Duren , Theory of H^p Spaces, Pure and Applied Mathematics, vol. 38, Academic Press, New York, 1970

    1970

  8. [7]

    Duren and A

    P. Duren and A. Schuster , Bergman Spaces, Mathematical Surveys and Monographs, vol. 100, American Mathematical Society, Providence, RI (2004)

    2004

Show all 29 references
  1. [8]

    Frazer , An inequality concerning subharmonic functions in an infinite strip, J

    H. Frazer , An inequality concerning subharmonic functions in an infinite strip, J. Lond. Math. Soc. 7 (1932), 214--218

    1932

  2. [9]

    Frazer , Note on regular functions, J

    H. Frazer , Note on regular functions, J. Lond. Math. Soc. 9 (1934), 114--116

    1934

  3. [10]

    Frazer , On the moduli of regular functions, Proc

    H. Frazer , On the moduli of regular functions, Proc. Lond. Math. Soc. 36 (1934), 532--546

    1934

  4. [11]

    Frazer , On functions regular in a convex region, J

    H. Frazer , On functions regular in a convex region, J. Lond. Math. Soc. 20 (1945), 199--204

    1945

  5. [12]

    R. M. Gabriel , Some results concerning the integrals of moduli of regular functions along curves, J. Lond. Math. Soc. 2 (1927), 112--117

    1927

  6. [13]

    R. M. Gabriel , Some results concerning the integrals of moduli of regular functions along curves of certain types, Proc. Lond. Math. Soc. 28 (1928), 121--127

    1928

  7. [14]

    R. M. Gabriel , Concerning integrals of moduli of regular functions along convex curves, Proc. Lond. Math. Soc. 39 (1935), 216--231

    1935

  8. [15]

    R. M. Gabriel , A note upon functions positive and subharmonic inside and on a closed convex curve, J. Lond. Math. Soc. 21 (1946), 87--90

    1946

  9. [17]

    Halder and R

    H. Halder and R. Kumar , Riesz Theorem and Riesz-Fej\'er inequality for weighted harmonic Bergman spaces with applications to M\"obius invariant spaces, (2026), arXiv:2607.11795

    2026 arXiv

  10. [18]

    Hedenmalm, B

    H. Hedenmalm, B. Korenblum , and K. Zhu , Theory of Bergman Spaces, Graduate Texts in Mathematics, vol. 199, Springer-Verlag, New York (2000)

    2000

  11. [19]

    Kalaj , On Riesz type inequalities for harmonic mappings on the unit disk, Trans

    D. Kalaj , On Riesz type inequalities for harmonic mappings on the unit disk, Trans. Amer. Math. Soc. 372 (2019), 4031--4051

    2019

  12. [20]

    Kayumov , S

    I.R. Kayumov , S. Ponnusamy , and A. Sairam Kaliraj , Riesz-Fej\'er inequalities for harmonic functions, Potential Anal. 52 (2020), 105--113

    2020

  13. [21]

    Mateljevi\'c and B

    M. Mateljevi\'c and B. Purti\'c , Isoperimetric inequality for harmonic functions, preprint, (2025)

    2025

  14. [22]

    Melentijevi\'c and V

    P. Melentijevi\'c and V. Bo z in , Sharp Riesz-Fej\'er inequality for harmonic Hardy spaces, Potential Anal. 54 (2021), 575--580

    2021

  15. [23]

    J. \' A . Pel\' a ez and J. R\" a tty\" a , Harmonic conjugates on Bergman spaces induced by doubling weights, Anal. Math. Phys. 10 (2020), Article no. 18

    2020

  16. [24]

    Pel\'aez and J

    J.\'A. Pel\'aez and J. R\"atty\"a , Weighted norm inequalities for derivatives on Bergman spaces, Ann. Inst. Fourier 74 (2024), 1721--1744

    2024

  17. [25]

    Riesz and L

    F. Riesz and L. Fej\'er , \"Uber einige funktionentheoretische Ungleichungen, Math. Z. 11 (1922), 305--314

    1922

  18. [26]

    J. Sun, J. Liu , and Z.-G. Wang , Characterizations of harmonic quasiregular mappings in function spaces, Potential Anal. 65 (2026), Article no. 12

    2026

  19. [27]

    Zhu , Translating inequalities between Hardy and Bergman Spaces, Am

    K. Zhu , Translating inequalities between Hardy and Bergman Spaces, Am. Math. Mon. 111 (2004), 520--525

    2004

  20. [28]

    Zhu , A class of M\"obius invariant function spaces, Illinois J

    K. Zhu , A class of M\"obius invariant function spaces, Illinois J. Math. 51 (2007), 977--1002

    2007

  21. [29]

    Zhu , Operator theory in function spaces, Mathematical Surveys and Monographs, Vol

    K. Zhu , Operator theory in function spaces, Mathematical Surveys and Monographs, Vol. 138, 2nd ed., American Mathematical Society, Providence, RI (2007)

    2007

Pith tools

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