Math Conjectures

Beurling–Ahlfors operator norm conjecture

OPENMajorExact constant problemProposed 1982 · Full conjecture

Canonical statement

For 1<p<∞1<p<\infty, let dAdA be Lebesgue area measure and define the Beurling--Ahlfors transform on Schwartz functions by
Bf(z)=−1π p.v.⁡∫Cf(w)(z−w)2 dA(w),p∗=max⁡ ⁣{p,pp−1}. Bf(z)=-\frac1\pi\,\operatorname{p.v.} \int_{\mathbb C}\frac{f(w)}{(z-w)^2}\,dA(w), \qquad p^*=\max\!\left\{p,\frac p{p-1}\right\}.
Then its Lp(C)L^p(\mathbb C)-operator norm is ∥B∥Lp→Lp=p∗−1\|B\|_{L^p\to L^p}=p^*-1.
View source LaTeX
For \(1<p<\infty\), let \(dA\) be Lebesgue area measure and define the Beurling--Ahlfors transform on Schwartz functions by \[ Bf(z)=-\frac1\pi\,\operatorname{p.v.} \int_{\mathbb C}\frac{f(w)}{(z-w)^2}\,dA(w), \qquad p^*=\max\!\left\{p,\frac p{p-1}\right\}. \] Then its \(L^p(\mathbb C)\)-operator norm is \(\|B\|_{L^p\to L^p}=p^*-1\).
ANAL-FA-010:[Iwaniec1982ExtremalInequalities][BanuelosWang1995SharpMartingale][Banuelos2011BurkholderSurvey]
Analysis and functional analysis

Notes

The Beurling–Ahlfors transform BB is the planar singular integral with kernel −1/(π(z−w)2)-1/(\pi(z-w)^2), bounded on Lp(C)L^p(\mathbb C) for 1<p<∞1<p<\infty. Iwaniec conjectured in 1982 that its exact operator norm is p∗−1p^*-1, where p∗=max⁡{p,p/(p−1)}p^*=\max\{p,p/(p-1)\}, motivated by extremal problems for Sobolev functions and quasiconformal mappings [Iwaniec1982ExtremalInequalities].

The lower bound ∥B∥Lp→Lp≥p∗−1\|B\|_{L^p\to L^p}\ge p^*-1 is known, so the content of the conjecture is the matching upper bound. The most successful approach has been probabilistic: Bañuelos and Wang used sharp martingale inequalities in the tradition of Burkholder to obtain strong upper bounds for the norm [BanuelosWang1995SharpMartingale], and this circle of ideas, with its later refinements, is surveyed by Bañuelos [Banuelos2011BurkholderSurvey]. Several special cases are known, but the best general upper estimates remain strictly larger than p∗−1p^*-1.

Identifying the sharp norm would have major consequences for planar quasiconformal mappings; at p=2p=2 the transform is an isometry, and for every other pp the conjecture remains open.

References (3)

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.