ON STRENGTHENING K. STREBEL'S CONVERGENCE THEOREM (Q4031189)

Consider a family of quasiconformal mappings \(f_ n\) with complex dilatations \(\mu_ n\) that converges locally uniformly to a mapping \(f\). Then, it is well-known that if \(f\) is not constant, it must be quasiconformal with complex dilatation \(\mu\) satisfying \[ | \mu(z)|\leq\limsup_{n\to\infty} |\mu_ n(z)|.\tag{1} \] \textit{K. Strebel} [Comment. Math. Helv. 44, 469-475 (1969; Zbl 0184.310)] proved that if equality is achieved in (1) on a set of positive measure \(E\), then we can select a subsequence \(\mu_{n_ m}\) such that \(\mu_{n_ m}(z)\to\mu(z)\) for a.e. \(z\in E\). In the article under review the author extends this theorem on several counts. He proves that \(\mu_{n_ m}\to\mu\) in measure and in every \(L^ p\), \(1\leq p\leq \infty\). Moreover, the method of proof is geometric, based on the notion, defined by the author, of convex invariant set. A subset \(M\) of the unit circle is convex invariant if \(g(M)\) is convex for every Möbius transformation \(g\) of the unit circle onto itself. The paper begins with a review of the theory of convex invariant sets and proceeds to apply it to convergence of quasiconformal mappings.