Pith. sign in

REVIEW 1 major objections 3 minor 18 references

Zygmund's theorem for harmonic quasiregular mappings

T0 review · 1 major / 3 minor · reviewed 2026-08-10 · deepseek-v4-flash

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

Pith's one-line read This paper proves Zygmund's theorem for harmonic quasiregular mappings: if the real part u satisfies the minimal growth condition u ∈ h log+ h and is bounded away from zero, then the whole mapping f, and in particular its imaginary part…

desk verdict Genuine new Zygmund-type theorem for harmonic K-quasiregular mappings; the proof is sound except for a fixable conjugate typo in the Laplacian identity. read the letter →

arxiv 2501.01627 v1 pith:Z36AKZOG submitted 2025-01-03 math.CV

Suman Das , Jie Huang , Antti Rasila This is my paper · ORCID
classification math.CV MSC 31A0530H1030C62
keywords HardyspacesharmonicmappingsquasiregularZygmundtheoremhlog+RieszKolmogorovHardy-Littlewood
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 proves Zygmund's theorem for harmonic quasiregular mappings: if the real part u satisfies the minimal growth condition u ∈ h log+ h and is bounded away from zero, then the whole mapping f, and in particular its imaginary part v, lies in the harmonic Hardy space $h^{1}$, with an explicit bound involving the quasiregularity constant K. The result is false for general harmonic functions, so the uniform quasiregularity bound on the complex dilatation is exactly what restores the classical analytic-function conclusion. The proof compares the Laplacians of |f| and u log u to get Δ|f| ≤ $K^{2}$ Δ(u log u), then integrates via Green's theorem. A partial converse shows the growth condition is best possible.

What carries the argument

The load-bearing object is the comparison of Laplacians Δ|f| ≤ K² Δ(u log u), with Δ(u log u) = |h' + g'|²/u and Δ|f| bounded above using the dilatation bound |ω| ≤ k. This inequality converts the growth of u into growth of |f|; integrating it via Green's theorem yields the integral-mean estimate (1). The converse uses the auxiliary analytic function F = h + g: when Im h is non-vanishing, f ∈ $h^{1}$ implies F ∈ $H^{1}$, and then a polar-coordinate estimate on Re(F log F) yields u ∈ h log+ h.

What would settle it

A concrete disproof would be a harmonic K-quasiregular map f = u + iv on the disk with u ≥ 1, v(0) = 0, u ∈ h log+ h, but ∫$₀^{{2π}}$ |f($re^{{iθ}}$)| dθ unbounded as r → 1. One can search for it among the extremal families for the Riesz inequality, numerically evaluating M₁(r, f) while keeping |ω| < k; if any such family violates inequality (1), the theorem fails.

Watch

Extended reading notes

Core claim

Theorem 1 is the central discovery: a harmonic K-quasiregular mapping f = u + iv in the unit disk, with v(0) = 0 and u ≥ 1 (or u ≤ −1), belongs to $h^{1}$ whenever u ∈ h log+ h, and satisfies M₁(r, f) ≤ (K²/2π) ∫$₀^{{2π}}$ |u($re^{{iθ}}$)| log⁺|u($re^{{iθ}}$)| dθ + |u(0)|[1 − K² log|u(0)|]. In particular v ∈ $h^{1}$ with the same bound. The proof rests on the pointwise inequality Δ|f| ≤ K² Δ(u log u), where K = (1+k)/(1−k) and k is the uniform bound on the complex dilatation; this comparison transfers the Zygmund growth of u to the integral means of f. Theorem 2 provides a partial converse: for a harmonic f = h + overloaded{g} with Re f ≥ C and Im h non-vanishing, f ∈ $h^{1}$ forces Re f ∈ h log+ h, showing the growth condition cannot be weakened.

Load-bearing premise

The theorem stands on the uniform bound |ω(z)| ≤ k < 1 for the complex dilatation, the property that defines K-quasiregularity; if that bound degrades (allowing k → 1 or no uniform bound), the Laplacian comparison Δ|f| ≤ K²Δ(u log u) breaks down and the conclusion is known to be false for merely harmonic functions.

Editorial extensions

If this is right

  • If the real part u of a harmonic K-quasiregular mapping lies in h log+ h and is bounded away from zero, then the mapping itself, and its imaginary part, lie in h^1 — something that fails for general harmonic functions.
  • Since every h^p for p > 1 is contained in h log+ h, the theorem subsumes the Riesz-type results for 1 < p ≤ 2 in the quasiregular setting.
  • The converse (Theorem 2) shows the h log+ h restriction is sharp: any h^1 harmonic map with non-vanishing Im h has real part in h log+ h.
  • As an application, the Hardy–Littlewood coefficient theorem has a harmonic analogue: f ∈ h^p (1 < p ≤ 2) implies ∑ (n+1)^{p−2}(|a_n|^p + |b_n|^p) < ∞, and f ∈ h^1 implies this sum converges for every p < 1.
  • For decreasing coefficients a_n, b_n, f ∈ h^1 and Im h ≠ 0 imply ∑ (a_n + b_n)/(n+1) < ∞, the harmonic version of Pavlović's criterion.

Reading between the lines

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

  • The method suggests a broader principle: under a uniform distortion bound, the distinction between h log+ h and h^1 that separates analytic from harmonic functions disappears; one might expect the same Laplacian comparison to work for other subharmonic growth functions.
  • If the authors' suspicion in Remark 1 is correct, the lower bound u ≥ 1 can be weakened to u ≥ C or even u > 0; testing this would amount to removing the positivity assumption in the Green's theorem step.
  • The explicit K² constant likely reflects the proof method rather than optimality; matching the sharp constants known for analytic functions (K = 1) and for Riesz-type inequalities may require a sharper comparison than Δ|f| ≤ K² Δ(u log u).
  • The same strategy of comparing the Laplacian of a nonlinear function of u with that of |f| could yield Zygmund-type criteria for membership in h^p for other p, not just p = 1.
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

1 major / 3 minor

Summary. The paper proves a Zygmund-type theorem for harmonic K-quasiregular mappings in the unit disk. Theorem 1 states that if f = u + iv is harmonic K-quasiregular, u ≥ 1 (or u ≤ −1), v(0) = 0, and u ∈ h log⁺ h, then f ∈ h¹ and M₁(r,f) is bounded by an explicit expression involving the integral of |u| log⁺ |u|. The proof compares the Laplacians of |f| and u log u via Green's theorem. Theorem 2 gives a partial converse, without quasiregularity but with Im h non-vanishing, showing that f ∈ h¹ forces u ∈ h log⁺ h. Section 3 applies the classical Riesz and Kolmogorov theorems to obtain Hardy–Littlewood type coefficient estimates for harmonic functions. The paper also includes a detailed introduction situating the results in the recent work of Liu–Zhu and Kalaj.

Significance. The main theorem is a natural and nontrivial extension of Zygmund's classical theorem to harmonic quasiregular mappings, a line of research advanced by Liu–Zhu and Kalaj. The proof is clean and the constants are explicit, including the quasiregularity parameter K. The partial converse and the coefficient application are useful additions. If the small algebraic error in the proof of Theorem 1 is corrected, the paper makes a solid contribution to the Hardy-space theory of harmonic quasiregular mappings.

major comments (1)
  1. [Section 2.1] The displayed identity for Δ|f| contains an algebraic error: the cross term should be 2Re(\overline{h'} g' f²), not 2Re(h' g' f²). Direct differentiation of |f|² = (h + \bar g)(\bar h + g) gives Δ|f| = [ |f|²(|h'|² + |g'|²) − 2Re(\overline{h'}g' f²) ] / |f|³. The error is visible in the intermediate step where the derivative of |f| with respect to \bar z is taken; the factor should involve \overline{h'} and \overline{g'} in the second product. With the corrected identity, the subsequent bound Δ|f| ≤ (|h'| + |g'|)²/|f| follows exactly as written, because −2Re(\overline{h'}g' f²) ≤ 2|h'||g'||f|². Thus the central inequality (2) and the rest of the proof of Theorem 1 remain valid after this local correction.
minor comments (3)
  1. [Section 3, proof of Theorem 3(i)] The decomposition of f in terms of U and V is written as f = ½(U + iV) + ½(\bar U − i\bar V), but the second term should be ½(\bar U + i\bar V) (equivalently, the conjugate of ½(U − iV)). The subsequent identification h = ½(U+iV) and g = ½(U−iV) is correct, so this appears to be a typo.
  2. [Section 2.2, proof of Theorem 2] In the chain of inequalities bounding ∫ u log u dθ, the term |Φ| ∫ R dθ should be ∫ |Φ| R dθ, since Φ depends on θ. The final bound by (π/2)∫ R dθ is unaffected because |Φ| ≤ π/2, but the displayed inequality as written is not literally correct.
  3. [Abstract and Introduction] There are several typographical errors, such as 'Kolm ogorov' in the abstract and inconsistent spacing in the references. These should be cleaned up in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

The derivation is self-contained: Theorem 1 follows from a direct Laplacian comparison and Green's theorem, Theorem 2 is a genuine converse, and the application invokes external classical results.

full rationale

No circular step is present. Theorem 1 proves f ∈ h1 by establishing the pointwise differential inequality Δ|f| ≤ K² Δ(u log u) from the quasiregularity bound |ω(z)| ≤ k, then integrating with Green's theorem; neither the inequality nor the integration assumes the desired Hardy-space conclusion. The constant K² arises naturally from ((1+k)/(1−k))², not from fitting or normalization. Quoted results such as Theorems A, B, C, D, E, F, and G are either classical external benchmarks or context; in particular, the proof of Theorem 3 explicitly replaces a cited lemma from [12] with an independent argument. Theorem 2 is a partial converse, so it cannot make Theorem 1 circular. The only issue found is a displayed Laplacian identity in Section 2.1 with a missing conjugate in the cross term (it should be 2Re(\overline{h'}g' f²), not 2Re(h'g' f²)); this is a typographical or correctness defect, not a circularity, since the subsequent inequality still follows with the corrected term. Thus the paper's central claim is derived from its stated assumptions without reducing to its own inputs.

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

The proof rests on standard classical theorems (Riesz, Kolmogorov, Zygmund, Hardy-Littlewood, Pavlović) and standard Wirtinger calculus. No parameters are fitted and no new entities are postulated; the only input is the quasiregularity bound K, which is a given property of the mapping, not an adjustable constant.

assumptions (4)
  • standard math Classical Hardy space theory: Riesz, Kolmogorov, Zygmund theorems for analytic functions (Theorems A, B, C) and Hardy-Littlewood coefficient theorem (Theorem F) from Duren [7]
    Used as the classical benchmarks and as tools in Section 3; the paper extends these to harmonic quasiregular mappings.
  • standard math Every real-valued harmonic function in h1 is the difference of two positive harmonic functions, and every positive harmonic function belongs to h1
    Used in Lemma 1 to infer d ∈ h1 from the positivity decomposition; follows from Poisson integral representation and the mean value property.
  • standard math Pavlović's Theorem G: for f(z)=Σ a_n z^n with a_n decreasing to 0, f∈H^p iff Σ (n+1)^{p-2} a_n^p < ∞
    Quoted as Theorem G and used in Theorem 3 to pass between coefficient sums and Hardy-space membership.
  • standard math Wirtinger calculus identities for harmonic mappings: for f=h+bar g, Re f = Re(h+g) and F'=h'+g'=u_x - i u_y
    Used throughout the proof of Theorem 1 to compute Δ(u log u) and Δ|f|; derived from the decomposition f=h+bar g.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Zygmund's theorem for harmonic quasiregular mappings." pith.science (2026). https://pith.science/paper/Z36AKZOG

@misc{pith2026250101627,
  author       = {Pith},
  title        = {Pith review of: Zygmund's theorem for harmonic quasiregular mappings},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z36AKZOG}},
  note         = {Machine review of arXiv:2501.01627}
}
abstract

Given an analytic function $f=u+iv$ in the unit disk $\mathbb{D}$, Zygmund's theorem gives the minimal growth restriction on $u$ which ensures that $v$ is in the Hardy space $h^1$. This need not be true if $f$ is a complex-valued harmonic function. However, we prove that Zygmund's theorem holds if $f$ is a harmonic $K$-quasiregular mapping in $\ID$. Our work makes further progress on the recent Riesz-type theorem of Liu and Zhu (Adv. Math., 2023), and the Kolmogorov-type theorem of Kalaj (J. Math. Anal. Appl., 2025), for harmonic quasiregular mappings. We also obtain a partial converse, thus showing that the proposed growth condition is the best possible. Furthermore, as an application of the classical conjugate function theorems, we establish a harmonic analogue of a well-known result of Hardy and Littlewood.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

18 extracted references · 14 canonical work pages

  1. [3]

    Chen and H

    S. Chen and H. Hamada. On (Fej´ er-)Riesz type inequalities, Har dy-Littlewood type theorems and smooth moduli. Math. Z. , 305(4):Paper No. 64, 30, 2023

    work page 2023

  2. [1]

    Adamowicz and M

    T. Adamowicz and M. J. Gonz´ alez. Hardy spaces for quasiregula r mappings and composition operators. J. Geom. Anal. , 31(11):11417–11427, 2021

    work page 2021

  3. [2]

    Astala and P

    K. Astala and P. Koskela. H p-theory for quasiconformal mappings. Pure Appl. Math. Q. , 7(1):19–50, 2011

    2011

  4. [4]

    Chen and M

    S. Chen and M. Huang. Riesz type theorems for κ-pluriharmonic mappings, invariant harmonic quasiregular mappings and harmonic quasiregular mappings. arXiv:2310.15452, 2023

    arXiv 2023

  5. [5]

    Das and A

    S. Das and A. Sairam Kaliraj. Growth of harmonic mappings and Bae rnstein type inequalities. Potential Anal. , 60(3):1121–1137, 2024

    work page 2024

  6. [6]

    P. Duren. Harmonic mappings in the plane , volume 156 of Cambridge Tracts in Mathematics . Cambridge University Press, Cambridge, 2004

    work page 2004

  7. [7]

    P. L. Duren. Theory of H p spaces. Pure and Applied Mathematics, Vol. 38. Academic Press, New York-London, 1970

    1970

  8. [8]

    D. Kalaj. On Riesz type inequalities for harmonic mappings on the un it disk. Trans. Amer. Math. Soc. , 372(6):4031–4051, 2019

    work page 2019

Show all 18 references
  1. [9]

    D. Kalaj. On M. Riesz conjugate function theorem for harmonic f unctions. Potential Anal. , 2024

    2024

  2. [10]

    D. Kalaj. Riesz and Kolmogorov inequality for harmonic quasiregu lar mappings. J. Math. Anal. Appl. , 542(1):Paper No. 128767, 15, 2025

    2025

  3. [11]

    P. Koosis. Introduction to Hp spaces, volume 115 of Cambridge Tracts in Mathematics . Cam- bridge University Press, Cambridge, second edition, 1998

    1998

  4. [12]

    Liu and J.-F

    J. Liu and J.-F. Zhu. Riesz conjugate functions theorem for ha rmonic quasiconformal map- pings. Adv. Math., 434:Paper No. 109321, 27, 2023

    2023

  5. [13]

    Melentijevi´ c

    P. Melentijevi´ c. Hollenbeck-Verbitsky conjecture on best constant inequalities for analytic and co-analytic projections. Math. Ann. , 388(4):4405–4448, 2024

    2024

  6. [14]

    Melentijevi´ c and M

    P. Melentijevi´ c and M. Markovi´ c. Best constants in inequalit ies involving analytic and co-analytic projections and Riesz’s theorem in various function spa ces. Potential Anal. , 59(4):1599–1620, 2023

    2023

  7. [15]

    Pavlovi´ c.Introduction to function spaces on the disk , volume 20 of Posebna Izdanja [Special Editions]

    M. Pavlovi´ c.Introduction to function spaces on the disk , volume 20 of Posebna Izdanja [Special Editions]. Matematiˇ cki Institut SANU, Belgrade, 2004

    2004

  8. [16]

    Pavlovi´ c

    M. Pavlovi´ c. Analytic functions with decreasing coefficients an d Hardy and Bloch spaces. Proc. Edinb. Math. Soc. (2) , 56(2):623–635, 2013

    2013

  9. [17]

    S. K. Pichorides. On the best values of the constants in the the orems of M. Riesz, Zygmund and Kolmogorov. Studia Math. , 44:165–179, 1972. 12 S. Das, J. Huang, and A. Rasila

    1972

  10. [18]

    Wang, X.-Y

    Z.-G. Wang, X.-Y. Wang, A. Rasila, and J.-L. Qiu. On a problem of Pa vlovi´ c involving harmonic quasiconformal mappings. arXiv:2405.19852, 2024. Suman Das Department of Mathematics with Computer Science, Guangdon g Technion - Is- rael Institute of Technology, Shantou, Guangdo...

    2024

Pith tools

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