[Paper Review] Equicontinuity of mappings quasiconformal in the mean

Vladimir Ryazanov, Evgeny Sevost’yanov|Zhytomyr State University Library (Zhytomyr Ivan Franko State University)|Mar 5, 2010

Analytic and geometric function theory11 references5 citations

TL;DR

This paper establishes necessary and sufficient conditions for equicontinuity and normality of families of ring $Q(x)$-homeomorphisms in $\mathbb{R}^n$, $n \geq 2$, under integral constraints of the form $\int \Phi(Q(x)) \, dm(x) < \infty$. It proves that the growth condition on $\Phi$ derived from the Orlicz norm is both necessary and sufficient, extending results to Sobolev classes $W_{\text{loc}}^{1,n}$ and resolving sharpness of the integrability threshold.

ABSTRACT

It is stated a series of criteria of equicontinuity and normality for classes of space mappings with integral restrictions. It is shown that the found conditions are not only sufficient but also necessary. It is given applications to Sobolev's classes.

Motivation & Objective

• To establish necessary and sufficient conditions for equicontinuity and normality of families of ring $Q(x)$-homeomorphisms in $\mathbb{R}^n$, $n \geq 2$, under integral constraints of the form $\int \Phi(Q(x)) \, dm(x) < \infty$.
• To determine the sharp growth condition on the function $\Phi$ that ensures equicontinuity and normality of such families.
• To extend the results to mappings in the Sobolev class $W_{\text{loc}}^{1,n}(D)$, linking them to the ring $Q(x)$-homeomorphism framework.
• To prove that the derived condition on $\Phi$ is not only sufficient but also necessary, closing a gap in the theory of mappings with finite distortion and degenerate Beltrami equations.

Proposed method

• The authors use the ring definition of $Q(x)$-homeomorphisms, based on modulus distortion of curve families in annular regions, to characterize mappings satisfying $M(f\Gamma) \leq \int_D Q(x) \rho^n(x) \, dm(x)$ for admissible densities $\rho$.
• They introduce a critical integral condition involving the inverse of the Orlicz function $\Phi_{n-1}^{-1}$, derived from the modulus of continuity and radial distortion estimates in the unit ball.
• A key construction involves radial mappings $f_m(x) = \frac{x}{|x|} R_m(|x|)$ with piecewise constant distortion $K_m(r)$, used to test equicontinuity at the origin.
• The proof relies on constructing a sequence of mappings $f_m$ that satisfy the integral constraint $\int \Phi(K_I(x,f_m)) \, dm(x) < \infty$ uniformly in $m$, yet fail to be equicontinuous at 0.
• The contradiction argument shows that if the integral $\int_0^1 \frac{dr}{rK(r)}$ is finite, then $\Phi$ must satisfy a specific growth condition at infinity.
• The analysis uses spherical symmetry and estimates of inner dilatation $K_I(x,f)$ in terms of radial and tangential distortion, leading to $K_I(x,f) = K^{n-1}(|x|)$.

Experimental results

Research questions

• RQ1 What is the necessary and sufficient condition on the function $\Phi$ for equicontinuity and normality of families of ring $Q(x)$-homeomorphisms with $\int \Phi(Q(x)) \, dm(x) < \infty$?
• RQ2 Is the sufficient condition for equicontinuity in previous works also necessary, or are there sharper thresholds?
• RQ3 How do the integral constraints on $\Phi(Q(x))$ relate to the Sobolev class $W_{\text{loc}}^{1,n}$, particularly for mappings with finite distortion?
• RQ4 Can the sharpness of the Orlicz-type integrability condition be proven via explicit counterexamples?
• RQ5 What role does the behavior of $\Phi(t)$ at infinity play in determining equicontinuity, especially when $\int_\delta^\infty \log \Phi(t) \, t^{-n'} \, dt = \infty$?

Key findings

• The condition $\int_\delta^\infty \log \Phi(t) \, t^{-n'} \, dt = \infty$ for all $\delta > t_0$, where $n' = n/(n-1)$, is both necessary and sufficient for equicontinuity and normality of the family $\mathfrak{R}^\Phi$.
• The authors construct a sequence of mappings $f_m$ in $W_{\text{loc}}^{1,n}$ that satisfy $\int \Phi(K_I(x,f_m)) \, dm(x) < \infty$ uniformly in $m$, yet fail to be equicontinuous at the origin, proving the sharpness of the condition.
• The integral constraint $\int_D \Phi(Q(x)) \, dm(x) < \infty$ implies equicontinuity if and only if $\Phi$ satisfies the Orlicz-type growth condition derived from $\Phi_{n-1}^{-1}$, which is shown to be optimal.
• The family $\mathfrak{R}^\Phi$ is normal if and only if $\int_\delta^\infty \log \Phi(t) \, t^{-n'} \, dt = \infty$, which ensures that the distortion does not concentrate too strongly near the origin.
• For mappings in $W_{\text{loc}}^{1,n}$ with $K_I(x,f) \in L^1_{\text{loc}}$, the ring $Q(x)$-homeomorphism structure with $Q(x) = K_I(x,f)$ is preserved, and the equicontinuity condition applies directly.
• The necessity of the condition is proven by contradiction: assuming equicontinuity leads to a finite integral $\int_0^1 \frac{dr}{rK(r)}$, which forces $\Phi$ to grow too slowly, violating the required divergence of the logarithmic integral.