arxiv: 2605.01842 · v1 · submitted 2026-05-03 · 🧮 math.CV

Recognition: 3 theorem links

· Lean Theorem

A bounded globally univalent quasiconformal harmonic map whose analytic part is unbounded

David Kalaj

Pith reviewed 2026-05-08 19:30 UTC · model grok-4.3

classification 🧮 math.CV

keywords harmonic mappingsquasiconformal mappingsunivalent functionsunit disklogarithmic spiraldilatationanalytic part

0 comments

The pith

For every k between 0 and 1, there exists a bounded globally univalent quasiconformal harmonic map from the unit disk whose analytic part is unbounded.

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

The paper constructs explicit examples of harmonic mappings f = h + conjugate g from the unit disk to the complex plane that remain bounded and one-to-one, with the ratio of derivatives bounded by any given k less than one, yet the holomorphic function h itself is unbounded. This separates the boundedness of the full harmonic map from the boundedness of its analytic part under the quasiconformal condition. A reader would care because it clarifies the extent to which control on the dilatation constrains the growth of individual components. The construction relies on mapping a horizontal strip via a logarithmic spiral that stays bounded and then adding a small perturbation to ensure univalence and the derivative bound.

Core claim

We construct, for every 0<k<1, a bounded globally univalent harmonic mapping f=h+¯g : D→C such that |g'(z)|≤k|h'(z)|, z∈D, while the analytic part h is unbounded. The construction is based on a bounded logarithmic spiral map on a far right horizontal strip, together with a smaller logarithmic perturbation.

What carries the argument

A bounded logarithmic spiral map defined on a far-right horizontal strip, combined with a smaller logarithmic perturbation to ensure global univalence and the dilatation bound while keeping the map bounded.

If this is right

Such maps exist for arbitrarily small dilatation bounds k, demonstrating that the quasiconformal condition alone does not force the analytic part to be bounded when the full map is.
The examples are globally univalent, meaning they are one-to-one on the entire disk.
The full map f remains bounded despite h being unbounded.
These constructions provide concrete counterexamples to stronger boundedness claims for harmonic maps.

Where Pith is reading between the lines

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

If similar spiral-based constructions can be adapted to other domains like the plane or annuli, they might yield further examples with controlled dilatation.
This could prompt re-examination of growth estimates or boundary regularity results that assume boundedness of both parts.
Testing the boundary behavior of these maps numerically might reveal new phenomena in how they approach the boundary of the image.

Load-bearing premise

The logarithmic spiral map on the far-right horizontal strip combined with the smaller logarithmic perturbation produces a globally univalent bounded map satisfying the dilatation inequality with unbounded analytic part.

What would settle it

An explicit computation showing that the analytic part h in this construction remains bounded, or that the resulting map fails to be univalent or bounded.

read the original abstract

We construct, for every \(0<k<1\), a bounded globally univalent harmonic mapping \[ f=h+\overline g \colon \D\to\C \] such that \[ |g'(z)|\le k|h'(z)|,\qquad z\in\D, \] while the analytic part \(h\) is unbounded. The construction is based on a bounded logarithmic spiral map on a far right horizontal strip, together with a smaller logarithmic perturbation.

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.

Desk Editor's Note private letter to a colleague

Kalaj gives an explicit construction of a bounded univalent harmonic quasiconformal map on the disk whose analytic part is unbounded, using a log-spiral base map plus small perturbation.

read the letter

Kalaj's paper constructs, for any fixed k between 0 and 1, a bounded globally univalent harmonic map f = h + conj(g) on the unit disk that satisfies the quasiconformal bound |g'| ≤ k |h'| everywhere, yet has unbounded analytic part h. The method starts from a bounded logarithmic spiral harmonic map on a far-right horizontal strip, pulls it back to the disk by a conformal map, and then adds a smaller logarithmic perturbation to drive h to infinity while keeping f bounded and the map univalent. This is a concrete existence result that separates the boundedness of the full map from the boundedness of its analytic part under a dilatation constraint, and it does not appear in the earlier literature the abstract cites. The choice of the logarithmic spiral is natural because it already delivers boundedness and univalence on the strip, and the perturbation idea is straightforward enough to be useful for building further examples. The construction is direct rather than non-constructive, which is a plus for readers who want to see the maps explicitly. The main soft spot is the perturbation step itself. Adding the smaller log term must preserve both global univalence and the dilatation inequality. Harmonic maps do not automatically stay univalent under small changes even when the dilatation stays below 1, so some quantitative control is needed to guarantee that the perturbed map remains injective on the whole disk. The abstract does not display an explicit δ(k) or a distortion lemma that bounds how small the perturbation must be, so that verification is the part a referee should examine most closely. If the full text supplies a careful estimate or a separate lemma showing injectivity is retained, the argument closes; otherwise the gap is real but probably fixable. The paper is aimed at people working on harmonic quasiconformal mappings and univalence questions in the plane. A reader who needs concrete counterexamples or boundary-behavior examples in complex analysis will get something usable from it. It is not a broad advance but it is a precise addition to the toolkit. I would send it to peer review. The claim is clear, the method is constructive, and the only real question is whether the univalence control is written down with enough detail.

Referee Report

1 major / 1 minor

Summary. The paper constructs, for every 0<k<1, a bounded globally univalent harmonic mapping f=h+¯g:D→C satisfying |g'(z)|≤k|h'(z)| for all z∈D, while the analytic part h remains unbounded. The construction starts from a bounded logarithmic spiral harmonic map on a far-right horizontal strip (pulled back to D via a conformal map) and adds a smaller logarithmic perturbation to render h unbounded.

Significance. If the verification steps are completed, the result supplies an explicit example separating boundedness of the harmonic map f from boundedness of its analytic part h under a uniform quasiconformal dilatation bound k<1. This would be a useful addition to the literature on univalent harmonic mappings, as most known examples keep h bounded when f is bounded. The construction is concrete and uses standard maps plus a controlled perturbation, which is a methodological strength.

major comments (1)

[§3 (perturbation step)] §3 (perturbation step): the manuscript asserts that the smaller logarithmic perturbation can be chosen small enough to preserve global univalence of f and the bound |g'|≤k|h'|, but supplies no explicit δ(k)>0, no distortion estimate on the Jacobian or argument variation, and no lemma showing injectivity on D. Local univalence follows from |μ|<1, yet global univalence for harmonic maps requires additional control (e.g., via the argument principle on large circles or covering properties of the image); this quantitative gap is load-bearing for the central existence claim.

minor comments (1)

The notation for the strip map and its pull-back to D could be made more explicit (e.g., by labeling the conformal map φ: D→strip and writing the composed dilatation explicitly).

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for recognizing the potential significance of the result as an explicit example separating boundedness of the harmonic map from boundedness of its analytic part under a uniform quasiconformal bound. We address the single major comment below and will incorporate the requested quantitative details into a revised version of the manuscript.

read point-by-point responses

Referee: §3 (perturbation step): the manuscript asserts that the smaller logarithmic perturbation can be chosen small enough to preserve global univalence of f and the bound |g'|≤k|h'|, but supplies no explicit δ(k)>0, no distortion estimate on the Jacobian or argument variation, and no lemma showing injectivity on D. Local univalence follows from |μ|<1, yet global univalence for harmonic maps requires additional control (e.g., via the argument principle on large circles or covering properties of the image); this quantitative gap is load-bearing for the central existence claim.

Authors: We agree that the perturbation argument in §3 requires explicit quantitative control to be fully rigorous. The original construction proceeds by first mapping the unit disk conformally onto a far-right horizontal strip, pulling back a bounded logarithmic-spiral harmonic map (which is globally univalent by direct verification on the strip), and then adding a small logarithmic perturbation whose analytic part grows slowly enough to make h unbounded while keeping the image of f inside a bounded region. To close the gap, the revised manuscript will contain a new lemma (placed at the end of §3) that supplies an explicit δ = δ(k) > 0 depending only on k. The proof of the lemma will combine (i) a uniform bound on the Jacobian distortion coming from the smallness of the perturbation in the C^1 topology on compact subsets of the strip, (ii) an estimate on the total argument variation of f along large circles |z| = R (using the fact that the unperturbed spiral map has argument change controlled by the strip width and the perturbation adds at most O(δ log R) variation), and (iii) an application of the argument principle to show that the image of each large circle winds exactly once around the origin while staying inside a fixed bounded disk. These estimates are standard in the theory of univalent harmonic mappings but were omitted for brevity; their inclusion will make the global-univalence claim self-contained. The dilatation bound |g'| ≤ k|h'| is preserved by choosing δ sufficiently small relative to the original dilatation k, which is straightforward once the C^1 closeness is quantified. revision: yes

Circularity Check

0 steps flagged

Explicit construction from known maps and perturbation; derivation self-contained

full rationale

The paper's central result is an explicit construction of a bounded globally univalent quasiconformal harmonic map f = h + conjugate(g) with |g'| ≤ k|h'| and unbounded analytic part h. It begins with a bounded logarithmic spiral map on a far-right horizontal strip (pulled back to the disk) and adds a smaller logarithmic perturbation. This is a direct, constructive argument using standard properties of harmonic mappings and univalence criteria, without any reduction of the target properties to fitted parameters, self-definitions, or load-bearing self-citations. The derivation chain does not equate outputs to inputs by construction; the univalence and dilatation bounds are asserted to follow from the choice of sufficiently small perturbation, which is an independent verification step rather than a tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper relies on standard background results in complex analysis for harmonic and quasiconformal mappings together with known properties of logarithmic spiral maps on strips. No free parameters are fitted to data and no new entities are postulated.

axioms (2)

domain assumption Standard properties of harmonic mappings f = h + conjugate(g) and the dilatation condition |g'| ≤ k|h'| for quasiconformality
Invoked throughout the construction to ensure the map satisfies the stated inequality.
domain assumption Existence and boundedness properties of logarithmic spiral maps on horizontal strips
Used as the base map in the construction described in the abstract.

pith-pipeline@v0.9.0 · 5359 in / 1419 out tokens · 28175 ms · 2026-05-08T19:30:48.719111+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

Cost.FunctionalEquation / Foundation.AlphaCoordinateFixation washburn_uniqueness_aczel; cost_alpha_one_eq_jcost — RS uses cosh/J(x)=½(x+x⁻¹)−1, not logarithmic spirals on right half-planes; no structural parallel unclear
Ψ(s) = s^{-α} e^{-i s^α} ... Tε(s) = Ψ(s) − 2ε Q(s) ... η(A) := sup |Q(s)−Q(t)|/|Ψ(s)−Ψ(t)| → 0 as A → +∞

Reference graph

Works this paper leans on

19 extracted references

[1]

Astala, T

K. Astala, T. Iwaniec and G. Martin,Elliptic Partial Differential Equations and Quasiconformal Mappings in the Plane, Princeton Mathematical Series, Vol. 48, Princeton University Press, Princeton, 2009

2009
[2]

Boˇ zin and M

V. Boˇ zin and M. Mateljevi´ c,Quasiconformal and HQC mappings between Lyapunov Jordan domains, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)21(2020), Special Issue, no. 1–2, 107–132

2020
[3]

Chen and S

S. Chen and S. Ponnusamy,John disks andK-quasiconformal harmonic mappings, J. Geom. Anal.27(2017), no. 2, 1468–1488

2017
[4]

Chen and X

S. Chen and X. Wang,Bi-Lipschitz characteristic of quasiconformal self-mappings of the unit disk satisfying the bi-harmonic equation, Indiana Univ. Math. J.70(2021), no. 3, 1055–1086

2021
[5]

Clunie and T

J. Clunie and T. Sheil-Small,Harmonic univalent functions, Ann. Acad. Sci. Fenn. Ser. A I Math.9(1984), 3–25

1984
[6]

Duren,Harmonic Mappings in the Plane, Cambridge Tracts in Mathematics, Vol

P. Duren,Harmonic Mappings in the Plane, Cambridge Tracts in Mathematics, Vol. 156, Cambridge Uni- versity Press, Cambridge, 2004

2004
[7]

Kalaj,Quasiconformal and harmonic mappings between Jordan domains, Math

D. Kalaj,Quasiconformal and harmonic mappings between Jordan domains, Math. Z.260(2008), 237–252

2008
[8]

Kalaj,Lipschitz spaces and harmonic mappings, Ann

D. Kalaj,Lipschitz spaces and harmonic mappings, Ann. Acad. Sci. Fenn. Math.34(2009), no. 2, 475–485

2009
[9]

Kalaj,Harmonic mappings and distance function, Ann

D. Kalaj,Harmonic mappings and distance function, Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)10(2011), no. 3, 669–681

2011
[10]

Kalaj,Muckenhoupt weights and Lindel¨ of theorem for harmonic mappings, Adv

D. Kalaj,Muckenhoupt weights and Lindel¨ of theorem for harmonic mappings, Adv. Math.280(2015), 301– 321

2015
[11]

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), no. 6, 4031–4051. 10 DA VID KALAJ

2019
[12]

Kalaj,Harmonic quasiconformal mappings betweenC 1 smooth Jordan domains, Rev

D. Kalaj,Harmonic quasiconformal mappings betweenC 1 smooth Jordan domains, Rev. Mat. Iberoam.38 (2022), no. 1, 95–111

2022
[13]

Kalaj and M

D. Kalaj and M. Mateljevi´ c, (K, K′)-quasiconformal harmonic mappings, Potential Anal.36(2012), no. 1, 117–135

2012
[14]

Kalaj and M

D. Kalaj and M. Pavlovi´ c,Boundary correspondence under quasiconformal harmonic diffeomorphisms of a half-plane, Ann. Acad. Sci. Fenn. Math.30(2005), no. 1, 159–165

2005
[15]

Kalaj and M

D. Kalaj and M. Pavlovi´ c,On quasiconformal self-mappings of the unit disk satisfying Poisson’s equation, Trans. Amer. Math. Soc.363(2011), no. 8, 4043–4061

2011
[16]

Lehto and K

O. Lehto and K. I. Virtanen,Quasiconformal Mappings in the Plane, Grundlehren der mathematischen Wissenschaften, Vol. 126, Springer, Berlin, 1973

1973
[17]

Partyka and K.-i

D. Partyka and K.-i. Sakan,Quasiconformal and Lipschitz harmonic mappings of the unit disk onto bounded convex domains, Ann. Acad. Sci. Fenn. Math.39(2014), no. 2, 811–830

2014
[18]

Partyka, K.-i

D. Partyka, K.-i. Sakan and J.-F. Zhu,Quasiconformal harmonic mappings with the convex holomorphic part, Ann. Acad. Sci. Fenn. Math.43(2018), no. 1, 401–418

2018
[19]

Pavlovi´ c,Boundary correspondence under harmonic quasiconformal homeomorphisms of the unit disk, Ann

M. Pavlovi´ c,Boundary correspondence under harmonic quasiconformal homeomorphisms of the unit disk, Ann. Acad. Sci. Fenn. Math.27(2002), no. 2, 365–372. University of Montenegro, F aculty of Natural Sciences and Mathematics, Cetinjski put b.b., 81000 Podgorica, Montenegro Email address:davidk@ucg.ac.me

2002