Best mean-quasiconformal mappings

We look for best mean-quasiconformal mappings as extremals of the functional equal to the integral of the square of the functional of the conformality distortion multiplied by a special weight. The mapping inverse to an extremal is an extremal of the same functional. We obtain necessary and sufficient conditions for the Petrovskii ellipticity of the system of Euler equations for an extremal. We prove the local unique solvability of boundary values problems for this system in the 2-dimensional case. In the general case we prove the unique solvability of boundary value problems for the system linearized at the identity mapping.