A counterexample to the Clunie--Sheil-Small coefficient-difference conjecture via quasiconformal maps
Abstract
We disprove the Clunie--Sheil-Small conjecture ||an|−|bn||≤ n for normalized univalent harmonic functions f=h+g̅ in the unit disk 𝔻, where an and bn are the Taylor coefficients of h and g, respectively. For every K>1, we construct a harmonic K-quasiconformal map which has |an|−|bn|asymp n1+εK as n→∞, with εK>0. Nevertheless, this map satisfies both individual coefficient bounds in the conjecture. Next, we show that the same map belongs to the harmonic Hardy space hp if and only if 0<p<1/(2+εK). Thus, harmonic quasiconformal maps do not retain the full conformal Hardy range p<1/2. Interestingly, the latter range is recovered when the oscillation of the analytic dilatation on disks of fixed hyperbolic radius tends to zero near the boundary. This holds, in particular, when the dilatation has finite Dirichlet energy. For general K-quasiconformal maps, we impose the additional assumption that their Beltrami coefficients belong to the Sobolev space W1,s(𝔻) for some s≥1. Every such map has bounded p-integral means for 0<p<1/(2K) when 1≤ s<2, and for 0<p<1/2 when s≥2. Both these ranges are sharp. For s≥2, each map also has the same critical Hardy exponent as a conformal map onto the same image.
Related
- On an Iwaniec--Kovalev--Onninen Conjecture for harmonic quasiconformal annulus mappings
- Monodromy and Isomonodromy for Linear q-Difference Systems with Coefficient Matrix Ax+B
- A counterexample concerning the coefficient formula for de Branges-Rovnyak norms
- A counterexample to a conjecture of Duncan on versal actions
- A Counterexample to the Eventual Stability Conjecture
BibTeX
@misc{das2026counterexample,
title = {{A counterexample to the Clunie--Sheil-Small coefficient-difference conjecture via quasiconformal maps}},
author = {Suman Das},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.07770},
eprint = {2610.07770},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.07770},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - A counterexample to the Clunie--Sheil-Small coefficient-difference conjecture via quasiconformal maps
AU - Suman Das
PY - 2026
DA - 2026/10/06
PB - arXiv
DO - 10.48550/arxiv.2610.07770
UR - https://arxiv.org/abs/2610.07770
AB - We disprove the Clunie--Sheil-Small conjecture ||a_n|−|b_n||≤ n for normalized univalent harmonic functions f=h+g̅ in the unit disk 𝔻, where a_n and b_n are the Taylor coefficients of h and g, respectively. For every K>1, we construct a harmonic K-quasiconformal map which has |a_n|−|b_n|asymp n^1+ε_K as n→∞, with ε_K>0. Nevertheless, this map satisfies both individual coefficient bounds in the conjecture. Next, we show that the same map belongs to the harmonic Hardy space h^p if and only if 0<p<1/(2+ε_K). Thus, harmonic quasiconformal maps do not retain the full conformal Hardy range p<1/2. Interestingly, the latter range is recovered when the oscillation of the analytic dilatation on disks of fixed hyperbolic radius tends to zero near the boundary. This holds, in particular, when the dilatation has finite Dirichlet energy. For general K-quasiconformal maps, we impose the additional assumption that their Beltrami coefficients belong to the Sobolev space W^1,s(𝔻) for some s≥1. Every such map has bounded p-integral means for 0<p<1/(2K) when 1≤ s<2, and for 0<p<1/2 when s≥2. Both these ranges are sharp. For s≥2, each map also has the same critical Hardy exponent as a conformal map onto the same image.
ER -