The generalized Brennan conjecture: sharp global integrability of derivatives of quasiconformal mappings onto the disk

The generalized Brennan conjecture (Hurri-Syrjänen and Staples, 1998) asserts that for every $K\ge 1$, every simply connected planar domain $\Omega\subsetneq\mathbb{R}^2$, and every $K$-quasiconformal homeomorphism $\varphi:\Omega\to\mathbb{D}$ onto the unit disk, the derivative is globally integrable in the sharp range $\int_\Omega|D\varphi|^\beta\,dx<\infty$ for all $4K/(2K+1)<\beta<4K/(2K-1)$. The case $K=1$ is Brennan's classical conjecture on integrability of derivatives of conformal maps ($\int_\Omega|\varphi'|^\beta<\infty$ for $4/3<\beta<4$, equivalently $f'\in L^p(\mathbb{D})$ for $-2<p<2/3$), one of the most famous open problems of geometric function theory, equivalent to the value $B_{\mathcal{S}}(-2)=1$ of the universal integral means spectrum. The problem arises in connection with the conditional spectral estimates of Gol'dshtein, Pchelintsev and Ukhlov (2017) for the $p$-Laplace Neumann operator, whose admissible exponent ranges depend on this conjecture. The problem remains open: the proven range stops at $\beta_0\approx 3.76$ for $K=1$ (Hedenmalm–Shimorin 2005, Sola 2006) and at $2K\beta_0/((K-1)\beta_0+2)$ for general $K$, and recent literature (2022–2026) resolves only special classes of maps.

Background

By the Riemann mapping theorem, every simply connected planar domain $\Omega\subsetneq\mathbb{C}$ is conformally equivalent to the unit disk $\mathbb{D}=\{z:|z|<1\}$. A central quantitative question of geometric function theory is how wildly the derivative of such a mapping can behave near the boundary. A holomorphic one-to-one map is called univalent, and although for a conformal $\varphi:\Omega\to\mathbb{D}$ the derivative $\varphi'$ is holomorphic and nonvanishing inside $\Omega$, its size degenerates at $\partial\Omega$. Brennan's conjecture (1978) asserts the sharp global integrability range

$$\int_\Omega|\varphi'(x)|^\beta\,dx<\infty\quad\text{for all }\tfrac{4}{3}<\beta<4,$$

which, under the change of variables $x=f(w)$, $dx=|f'(w)|^2\,dA(w)$ for the inverse map $f:\mathbb{D}\to\Omega$, is equivalent to the standard form: $f'\in L^p(\mathbb{D},dA)$ for all $-2<p<2/3$ (here $dA$ is area measure). Both endpoints are sharp: for the slit plane $\Omega=\mathbb{C}\setminus(-\infty,-1/4]$, the conformal map onto $\mathbb{D}$ built from the square root has $|\varphi'|$ decaying like $|x|^{-3/2}$ at infinity and blowing up like $|x+1/4|^{-1/2}$ at the slit tip, so the integral diverges for $\beta\le 4/3$ and for $\beta\ge 4$. The Koebe distortion theorem — sharp pointwise two-sided bounds on $|f'(z)|$ for normalized univalent $f$ — yields the sub-range $\beta<3$ by direct domination; Brennan extended this to $\beta<3+\delta$ and conjectured the endpoint $4$. In the integral-means formulation, where $M_t[f'](r)=\frac{1}{2\pi}\int_0^{2\pi}|f'(re^{i\theta})|^t\,d\theta$ and the universal integral means spectrum $B_{\mathcal{S}}(t)$ is the supremum over normalized univalent $f$ of the least exponent $\gamma$ with $M_t[f'](r)=O((1-r)^{-\gamma})$, the conjecture is equivalent to $B_{\mathcal{S}}(-2)=1$, i.e. to the Carleson–Makarov critical constant $R_{CM}=2$ (where $R_{CM}$ is defined as the critical value such that $B_{\mathcal{S}}(t)=-t-1$ holds precisely for $t\le -R_{CM}$, so that $R_{CM}=2$ means this identity extends all the way to $t=-2$). The best general result, from Hedenmalm–Shimorin's Prawitz-type area inequalities lifted to the bidisk (2005) together with Sola's refinement (2006), still leaves a gap: $f'\in L^p$ is known only for $p>-p_0$ with $p_0\approx 1.76$, that is, $\beta<\beta_0\approx 3.76$.

Quasiconformal maps generalize conformal maps: an orientation-preserving homeomorphism $\varphi$ of Sobolev class $W^{1,2}_{\mathrm{loc}}$ with positive Jacobian is $K$-quasiconformal when its directional derivatives satisfy $\max_\alpha|\partial_\alpha\varphi|\le K\min_\alpha|\partial_\alpha\varphi|$ almost everywhere ($K=1$ exactly for conformal maps); $|D\varphi|$ denotes the operator norm of the differential matrix. Hurri-Syrjänen and Staples (1998) formulated the quasiconformal analogue of Brennan's conjecture: for every $K$-quasiconformal homeomorphism $\varphi:\Omega\to\mathbb{D}$,

$$\int_\Omega|D\varphi(x)|^\beta\,dx<\infty\quad\text{for all }\tfrac{4K}{2K+1}<\beta<\tfrac{4K}{2K-1},$$

and proved the partial range obtained by replacing the upper endpoint with $\tfrac{2K\beta_0}{(K-1)\beta_0+2}$, where $\beta_0$ is the best proven conformal value. Since conformal maps are $K$-quasiconformal for every $K\ge 1$ and the union of the intervals $\left(\tfrac{4K}{2K+1},\tfrac{4K}{2K-1}\right)$ over $K>1$ equals $\left(\tfrac{4}{3},4\right)$, the generalized conjecture contains the classical one. Astala's area distortion theorem yields sharp local integrability of $|Df|$ for $K$-quasiconformal $f$ with $K>1$, up to the exponent $\tfrac{2K}{K-1}$; because this estimate is local (it controls $\int_E|Df|^\beta$ over compact subsets $E\subset\Omega$), the conjecture is genuinely a statement about global boundary behavior.

The conjecture is also the conditional bottleneck of a spectral application. The source paper (Gol'dshtein, Pchelintsev and Ukhlov, 2017) studies the first nontrivial Neumann eigenvalue $\mu_p^{(1)}(\Omega)$ of the $p$-Laplace operator $-\operatorname{div}(|\nabla u|^{p-2}\nabla u)=\mu|u|^{p-2}u$ with zero normal derivative, in quasiconformal $\alpha$-regular domains — simply connected domains admitting a $K$-quasiconformal $\varphi:\Omega\to\mathbb{D}$ with $\int_{\mathbb{D}}|J(y,\varphi^{-1})|^{\alpha/2}\,dy<\infty$, where $J$ is the Jacobian determinant. Their eigenvalue and weighted Poincaré–Sobolev inequalities are proved under the hypothesis that the generalized Brennan conjecture holds; unconditionally the same statements hold only with $\beta_0$ substituted, that is, in strictly narrower ranges of the exponents. Their Theorem C moreover shows that the generalized conjecture for a given $\beta$ is equivalent to boundedness of the composition operators $\varphi^\ast:L^1_p(\mathbb{D})\to L^1_q(\Omega)$, $q=p\beta/(p+\beta-2)$, induced by all $K$-quasiconformal $\varphi:\Omega\to\mathbb{D}$.

Problem Statement

Problem (the quasiconformal analogue of Brennan's conjecture, due to Hurri-Syrjänen and Staples; the case $K=1$ is Brennan's conjecture itself). Let $K\ge 1$. Is it true that for every simply connected domain $\Omega\subsetneq\mathbb{R}^2$ and every $K$-quasiconformal homeomorphism $\varphi:\Omega\to\mathbb{D}$ onto the unit disk,

$$\int_\Omega|D\varphi(x)|^\beta\,dx<\infty\quad\text{for every }\ \tfrac{4K}{2K+1}<\beta<\tfrac{4K}{2K-1}\ ?$$

Here $|D\varphi(x)|$ is the operator norm of the differential. For $K=1$ this is Brennan's conjecture: $\int_\Omega|\varphi'(x)|^\beta\,dx<\infty$ for all $\tfrac{4}{3}<\beta<4$, equivalently $f'\in L^p(\mathbb{D},dA)$ for all $-2<p<\tfrac{2}{3}$ for every conformal $f:\mathbb{D}\to\Omega$. The lower part of the conjectured interval, starting from the endpoint $\beta=\tfrac{4K}{2K+1}$, is already covered by known results, and the conjectured endpoints cannot be improved at $K=1$, where the slit-domain example diverges at $\beta=\tfrac43$ and $\beta=4$; the open core is the upper part of the interval, currently proven only up to $\beta<\tfrac{2K\beta_0}{(K-1)\beta_0+2}$ with $\beta_0\approx 3.76$ the best established conformal value — at $K=1$ this leaves $\beta\in(\approx 3.76,4)$ unresolved, i.e. $f'\in L^p(\mathbb{D})$ for $p\in(-2,-1.76]$.

References

1. Vladimir Gol'dshtein, Valerii Pchelintsev, Alexander Ukhlov, Spectral estimates of the p-Laplace Neumann operator and Brennan's conjecture, Bollettino dell'Unione Matematica Italiana 11 (2018), no. 2, 245–264, DOI 10.1007/s40574-017-0127-z, arXiv:1701.05143, https://arxiv.org/abs/1701.05143
2. Ritva Hurri-Syrjänen, Susan G. Staples, A quasiconformal analogue of Brennan's conjecture, Complex Variables Theory and Application 35 (1998), no. 1, 27–32, DOI 10.1080/17476939808815070, https://doi.org/10.1080/17476939808815070
3. James E. Brennan, The integrability of the derivative in conformal mapping, Journal of the London Mathematical Society (2) 18 (1978), 261–272, DOI 10.1112/jlms/s2-18.2.261, https://doi.org/10.1112/jlms/s2-18.2.261
4. Håkan Hedenmalm, Serguei Shimorin, Weighted Bergman spaces and the integral means spectrum of conformal mappings, Duke Mathematical Journal 127 (2005), no. 2, 341–393, DOI 10.1215/S0012-7094-04-12725-3, arXiv:math/0406345, https://arxiv.org/abs/math/0406345
5. Alan Sola, An estimate of the universal means spectrum of conformal mappings, Computational Methods and Function Theory 6 (2006), no. 2, 423–436, DOI 10.1007/BF03321620, https://doi.org/10.1007/BF03321620
6. Christopher J. Bishop, Quasiconformal Lipschitz maps, Sullivan's convex hull theorem and Brennan's conjecture, Arkiv för Matematik 40 (2002), 1–26, DOI 10.1007/BF02384499, https://doi.org/10.1007/BF02384499
7. Lennart Carleson, Nikolai G. Makarov, Some results connected with Brennan's conjecture, Arkiv för Matematik 32 (1994), 33–62, DOI 10.1007/BF02559522, https://doi.org/10.1007/BF02559522
8. Alexandru Aleman, Athanasios Kouroupis, Brennan's conjecture holds for semigroups of holomorphic functions, arXiv:2409.15074 (2024), https://arxiv.org/abs/2409.15074
9. Jianjun Jin, On a multiplier operator induced by the Schwarzian derivative of univalent functions, Bulletin of the London Mathematical Society 56 (2024), no. 7, 2296–2314, DOI 10.1112/blms.13056, arXiv:2211.01742, https://arxiv.org/abs/2211.01742
10. Jianjun Jin, Complex exponential integral means spectra of univalent functions and the Brennan conjecture, arXiv:2512.09330 (2025), https://arxiv.org/abs/2512.09330
11. Yigang Zheng, Brennan conjecture for basin of attraction at infinity, arXiv:2604.12240 (2026), https://arxiv.org/abs/2604.12240
12. Vladimir Gol'dshtein, Alexander Ukhlov, Sobolev homeomorphisms and Brennan's conjecture, Computational Methods and Function Theory 14 (2014), no. 2–3, 247–256, DOI 10.1007/s40315-014-0065-z, arXiv:1309.1940, https://arxiv.org/abs/1309.1940
13. Kari Astala, Area distortion of quasiconformal mappings, Acta Mathematica 173 (1994), 37–60, DOI 10.1007/BF02392568, https://doi.org/10.1007/BF02392568
14. Raffaela Capitanelli, Maria Agostina Vivaldi, Weighted estimates on fractal domains, Mathematika 61 (2015), no. 2, 370–384, DOI 10.1112/s0025579314000400, https://doi.org/10.1112/s0025579314000400
15. Daniel Bertilsson, Coefficient estimates for negative powers of the derivative of univalent functions, Arkiv för Matematik 36 (1998), no. 2, 255–273, DOI 10.1007/BF02384769, https://doi.org/10.1007/BF02384769