pith. machine review for the scientific record. sign in

arxiv: 2605.13655 · v1 · submitted 2026-05-13 · 🧮 math.CV · math.FA

Recognition: unknown

Hardy spaces and quasiregular mappings: averaged derivatives and the mathbb{BMO} case

Tomasz Adamowicz , Iv\'an Caama\~no
Authors on Pith no claims yet

Pith reviewed 2026-05-14 17:42 UTC · model grok-4.3

classification 🧮 math.CV math.FA
keywords quasiregular mappingsHardy spacesaveraged derivativesBMO spacesCarleson measuresnon-tangential limitsHarnack estimatesunit ball
0
0 comments X

The pith

Averaged derivatives characterize the Hardy spaces H^p of quasiregular mappings with finite multiplicity on the unit ball.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines Hardy spaces of quasiregular mappings on the unit ball in R^n by means of averaged derivatives. It derives Harnack and quantitative Harnack estimates for these derivatives and applies them to non-tangential limits and maximal functions. When the mapping has finite multiplicity, the averaged derivatives furnish a characterization of membership in H^p. The work also connects quasiregular mappings to BMO spaces and Carleson measures and transfers the estimates to second-order elliptic PDEs and A-harmonic equations.

Core claim

Averaged derivatives of quasiregular mappings satisfy Harnack estimates that control non-tangential limits and maximal functions. These derivatives characterize the spaces H^p precisely when the mapping has finite multiplicity. The same objects relate the mappings to BMO functions and Carleson measures on the ball, with multiplicity playing an explicit role; the estimates extend directly to solutions of second-order elliptic PDEs and A-harmonic equations.

What carries the argument

Averaged derivative, an integral average of the derivative over balls inside the unit ball that obeys Harnack inequalities and controls growth of quasiregular mappings.

If this is right

  • Non-tangential limits exist and the maximal function is integrable precisely when the averaged derivative satisfies the corresponding L^p condition.
  • Hardy-space membership reduces to an integrability condition on the averaged derivative alone when multiplicity is finite.
  • Quasiregular mappings with controlled averaged derivatives induce BMO functions and Carleson measures on the ball.
  • The same Harnack estimates yield regularity results for solutions of the associated elliptic PDEs.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Infinite-multiplicity mappings will require separate techniques, since the finite-multiplicity hypothesis is essential to the characterization.
  • The link to Carleson measures suggests that boundary trace theorems for quasiregular mappings can be obtained by testing the averaged derivative against suitable measures.
  • The PDE applications indicate that quantitative estimates on averaged derivatives translate into explicit modulus-of-continuity bounds for A-harmonic functions.

Load-bearing premise

Quasiregular mappings satisfy growth and multiplicity conditions sufficient for the Harnack estimates to hold.

What would settle it

A quasiregular mapping of infinite multiplicity on the ball for which the averaged derivative does not control the non-tangential maximal function or fails to characterize H^p.

read the original abstract

We study the Hardy spaces $\mathcal{H}^p$, $0<p<\infty$ of quasiregular mappings on the unit ball $\mathbb{B}^n$ in ${\mathbb{R}}^n$ under the appropriate growth and multiplicity conditions. Our focus is on the averaged derivatives of maps and their Harnack and quantitative Harnack estimates. The averaged derivatives are employed to study the non-tangential limit functions and non-tangential maximal functions of quasiregular mappings and to characterize $\mathcal{H}^p$ in the case of finite multiplicity of $f$. Moreover, we study relations between quasiregular mappings, averaged derivatives, BMO spaces and Carleson measures on $\mathbb{B}^n$ and the role of the multiplicity of a map. We also apply our results to the second order elliptic PDEs and $\mathcal{A}$-harmonic equations. Our paper extends results by Astala and Koskela [AK] and Nolder [No1] to the setting of quasiregular maps.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper studies Hardy spaces H^p (0<p<∞) of quasiregular mappings on the unit ball B^n in R^n, under stated growth and finite-multiplicity conditions. It focuses on averaged derivatives and their Harnack/quantitative Harnack estimates, uses these to examine non-tangential limit functions and maximal functions, characterizes H^p when multiplicity is finite, and explores relations among quasiregular mappings, averaged derivatives, BMO spaces, and Carleson measures on B^n, including the role of multiplicity. Applications to second-order elliptic PDEs and A-harmonic equations are given. The work extends results of Astala-Koskela and Nolder to the quasiregular setting.

Significance. If the derivations hold, the manuscript supplies a coherent extension of classical Hardy-space techniques to quasiregular mappings via averaged derivatives, with explicit attention to multiplicity. This could furnish new boundary-behavior tools and Carleson-measure characterizations that are useful in geometric function theory and the study of elliptic systems.

major comments (2)
  1. [§3.2, Theorem 3.4] §3.2, Theorem 3.4: the claimed characterization of H^p via the integrability of the averaged derivative appears to require the finite-multiplicity hypothesis in an essential way, yet the proof only sketches the upper bound; the lower bound step that recovers the H^p norm from the averaged derivative is not fully detailed and may need an additional covering argument.
  2. [§5] §5, the BMO/Carleson-measure equivalence: the constant in the Carleson-measure estimate is stated to depend only on n, p and the multiplicity bound M, but the dependence on M is not tracked explicitly through the Harnack-chain argument; this affects the sharpness claim for the BMO case.
minor comments (3)
  1. [§2] The definition of the averaged derivative (Eq. (2.3)) uses a radial integral; a brief remark on why the spherical average is replaced by the radial one would help readers familiar with the Astala-Koskela setting.
  2. [Theorem 5.1] In the statement of the main H^p characterization (Theorem 5.1), the phrase 'finite multiplicity' should be quantified as 'multiplicity bounded by M' with M appearing in the constants.
  3. [References] The bibliography entry for [AK] is incomplete; the full citation for Astala-Koskela should be supplied.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the positive evaluation and the precise comments on our manuscript. We address each major comment below and have made the indicated revisions to clarify the proofs and track constants explicitly.

read point-by-point responses

  1. Referee: [§3.2, Theorem 3.4] the claimed characterization of H^p via the integrability of the averaged derivative appears to require the finite-multiplicity hypothesis in an essential way, yet the proof only sketches the upper bound; the lower bound step that recovers the H^p norm from the averaged derivative is not fully detailed and may need an additional covering argument.

    Authors: We agree that the lower bound in Theorem 3.4 requires a more explicit argument. In the revised manuscript we have inserted a covering argument that exploits the finite-multiplicity bound M: we cover the relevant boundary sets by balls whose preimages under f are controlled by M, apply the quantitative Harnack inequality to pass from the averaged derivative to the non-tangential maximal function, and thereby recover the H^p norm up to a constant depending only on n, p and M. The upper bound is now cross-referenced to the earlier estimates in §3.1 for completeness. revision: yes

  2. Referee: [§5] the BMO/Carleson-measure equivalence: the constant in the Carleson-measure estimate is stated to depend only on n, p and the multiplicity bound M, but the dependence on M is not tracked explicitly through the Harnack-chain argument; this affects the sharpness claim for the BMO case.

    Authors: We thank the referee for this observation. The Harnack-chain argument in §5 indeed produces a factor that grows with M. We have revised the text to record the dependence explicitly: after k steps in the chain the constant is multiplied by a factor bounded by C(n)M, yielding an overall Carleson constant of the form C(n,p)M^c with c depending only on dimension. For any fixed M the constant remains independent of the particular mapping, so the sharpness statement for the BMO case is unaffected; we have added a short remark clarifying this point. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper's derivation chain consists of extensions of external results from Astala-Koskela and Nolder to the quasiregular setting, using averaged derivatives to obtain Harnack estimates, non-tangential limits, H^p characterizations under finite multiplicity, and BMO/Carleson relations, all explicitly conditioned on stated growth and multiplicity hypotheses. No step reduces by construction to a fitted parameter, self-definition, or load-bearing self-citation; the cited prior works are independent and the proofs remain self-contained against those benchmarks without renaming or smuggling ansatzes.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definition and distortion properties of quasiregular mappings together with classical Harnack inequalities and Hardy-space definitions; no new free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Quasiregular mappings satisfy the K-distortion inequality for some fixed K >= 1
    This is the defining property invoked throughout the study of averaged derivatives and multiplicity conditions.
  • domain assumption Harnack inequalities apply to the averaged derivatives under the stated growth conditions
    Used to obtain the quantitative estimates for non-tangential limits and maximal functions.

pith-pipeline@v0.9.0 · 5488 in / 1426 out tokens · 53757 ms · 2026-05-14T17:42:53.768735+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  1. [1]

    Adamowicz, K

    [AF] T. Adamowicz, K. Fässler,Hardy spaces and quasiconformal maps in the Heisenberg group, J. Funct. Anal. 284 (2023), no. 6, Paper No. 109832. [AFW] T. Adamowicz, K. Fässler, B. Warhurst,A Koebe distortion theorem for quasiconformal mappings in the Heisenberg group, Ann. Mat. Pura Appl., 199 (2020), 147–186. [AG1] T. Adamowicz, M. J. González,Hardy spac...

    work page 2023

  2. [2]

    Adamowicz, M

    [AG2] T. Adamowicz, M. J. González.Hardy spaces and quasiregular mappings, Trans. Amer. Math. Soc. 378 (2025), no. 9, 6265–6290. [AGG] T. Adamowicz, M. J. Gonzàlez, M. Gryszówka,ϵ-Approximability and Quantitative Fatou Property on Lipschitz- graph domains for a class of non-harmonic functions, to appear in Proc. Roy. Soc. Edinburgh Sect. A. [AGr] T. Adamo...

    work page 2025

  3. [3]

    Äkkinen,Radial limits of mappings of bounded and finite distortion, J

    [Äk] T. Äkkinen,Radial limits of mappings of bounded and finite distortion, J. Geom. Anal. 24 (2014), no. 3, 1298–1322. [Al1] G. Alessandrini,An identification problem for an elliptic equation in two variables, Ann. Mat. Pura Appl. (4) 145 (1986), 265–295. [Al2] G. Alessandrini,Critical points of solutions of elliptic equations in two variables, Ann. Scuo...

    work page 2014

  4. [4]

    Astala, P

    [AK] K. Astala, P . Koskela,H p-theory for Quasiconformal Mappings, Pure Appl. Math. Q.7(2011), no. 1, 19–50. [AHMMT] J. Azzam, S. Hofmann, J. M. Martell, M. Mourgoglou, X. Tolsa,Harmonic measure and quantitative connectiv- ity: geometric characterization of theL p-solvability of the Dirichlet problem, Invent. Math. 222 (2020), no. 3, 881–993. [BKL] S. Be...

    work page 2011

  5. [5]

    xiii+343 pp. [BI] B. Bojarski, T. Iwaniec,Analytical foundations of the theory of quasiconformal mappings inR n, Ann. Acad. Sci. Fenn. Ser. A I Math. 8(2) (1983), 257–324. [BKR] M. Bonk, P . Koskela, S. Rohde,Conformal metrics on the unit ball in Euclidean space, Proc. London Math. Soc. (3) 77 (1998), no. 3, 635–664. [BK] O. Bouchala, P . Koskela,Existenc...

    work page 1983

  6. [6]

    Fabes, N

    [FGMS] E. Fabes, N. Garofalo, S. Marín-Malave, S. Salsa,Fatou theorems for some nonlinear elliptic equations, Rev. Mat. Iberoamericana 4(2) (1988), 227–251. [FSt] C. Fefferman, E. Stein,H p spaces of several variables, Acta Math. 129 (1972), no. 3-4, 137–193. [Ga] J. B. Garnett,Bounded analytic functions, Academic Press (New York),

    work page 1988

  7. [7]

    Garnett, M

    [GMT] J. Garnett, M. Mourgoglou, X. Tolsa,Uniform rectifiability from Carleson measure estimates andε-approximability of bounded harmonic functions, Duke Math. J. 167 (2018), no. 8, 1473–1524. [Ge1] F. W. Gehring,Symmetrization of rings in space, Trans. Amer. Math. Soc. 101 (1961), 499–519. [GT] D. Gilbarg, N. S. Trudinger,Elliptic Partial Differential Eq...

    work page 2018

  8. [8]

    Gotoh,On composition operators which preserve BMO, Pacific J

    [Go] Y. Gotoh,On composition operators which preserve BMO, Pacific J. Math. 201 (2001), no. 2, 289–307. [H] G.H. Hardy,The mean value of the modulus of an analytic function, Proc. London Math. Soc. (2) 14 (1915), 269–277. 44 T. ADAMOWICZ AND I. CAAMAÑO [HL] G.H. Hardy, J.E. Littlewood,A maximal theorem with function-theoretic applications, Acta Math. 54 (...

    work page 2001

  9. [9]

    Heinonen, P

    [HK] J. Heinonen, P . Koskela,Weighted Sobolev and Poincaré inequalities and quasiregular mappings of polynomial type, Math. Scand. 77 (1995) 251–271. [HKST] J. Heinonen, P . Koskela, N. Shanmugalingam and J. T. Tyson,Sobolev Spaces on Metric Measure Spaces. An Approach Based on Upper Gradients.New Math. Monogr

    work page 1995

  10. [10]

    Hofmann, J

    [HMM] S. Hofmann, J. Martell, S. Mayboroda,Uniform rectifiability, Carleson measure estimates, and approximation of harmonic functions, Duke Math. J. 165 (2016), no. 12, 2331–2389. [HMMTZ] S. Hofmann, J. Martell, S. Mayboroda, T. Toro, Z. Zhao,Uniform rectifiability and elliptic operators satisfying a Carleson measure condition, Geom. Funct. Anal. 31(2) (...

    work page 2016

  11. [11]

    [Ma] G. R. MacLane,Holomorphic functions, of arbitrarily slow growth, without radial limits, Michigan Math. J. 9 (1962), 21–24. [Mg] R. Magnanini,An introduction to the study of critical points of solutions of elliptic and parabolic equations, Rend. Istit. Mat. Univ. Trieste 48 (2016), 121–166. [Mn] J.J. Manfredi,p-harmonic functions in the plane, Proc. A...

    work page 1962

  12. [12]

    Rajala,The local homeomorphism property of spatial quasiregular mappings with distortion close to one, Geom

    [Ra05] K. Rajala,The local homeomorphism property of spatial quasiregular mappings with distortion close to one, Geom. Funct. Anal. 15(5) (2005), 1100–1127. [Ra08] K. Rajala,Radial limits of quasiregular local homeomorphisms, Amer. J. Math. 130(1) (2008), 269–289. [R] H. M. Reimann,Functions of bounded mean oscillation and quasiconformal mappings, Comment...

    work page 2005

  13. [13]

    Staples,L p-averaging domains and the Poincaré inequality, Ann

    [Stp] S. Staples,L p-averaging domains and the Poincaré inequality, Ann. Acad. Sci. Fenn. Ser. A I Math. 14 (1989), no. 1, 103–127. [St] E. Stein,Singular integrals and differentiability properties of functions, Princeton Math. Ser., No. 30 Princeton Uni- versity Press, Princeton, NJ,

    work page 1989

  14. [14]

    Strömberg,Bounded mean oscillation with Orlicz norms and duality of Hardy spaces, Indiana Univ

    [Str] J.-O. Strömberg,Bounded mean oscillation with Orlicz norms and duality of Hardy spaces, Indiana Univ. Math. J. 28 (1979), no. 3, 511–544. [Va] J. Väisälä,Lectures onn-dimensional quasiconformal mappings, Lecture Notes in Mathematics, Vol

    work page 1979

  15. [15]

    Vuorinen,On the boundary behavior of locallyK-quasiconformal mappings in space, Ann

    [Vu1] M. Vuorinen,On the boundary behavior of locallyK-quasiconformal mappings in space, Ann. Acad. Sci. Fenn. Ser. A I Math. 5(1) (1980), 79–95. [Vu2] M. Vuorinen,Conformal Geometry and Quasiregular Mappings. Lecture Notes in Mathematics, vol

    work page 1980

  16. [16]

    Springer, Berlin (1988). [Zi] M. Zinsmeister,A distortion theorem for quasiconformal mappings, Bull. Soc. Math. France 114 (1986), no. 1, 123–

    work page 1988