[Paper Review] On mappings satisfying the inverse Poletsky inequality

Evgeny Sevost’yanov, Sergei Skvortsov+1 more|arXiv (Cornell University)|Mar 26, 2019

Analytic and geometric function theory5 references4 citations

TL;DR

This paper investigates the local and boundary behavior of open, discrete mappings satisfying an inverse Poletsky inequality involving the modulus of curve families. It establishes a pointwise Hölder-type estimate for such mappings in terms of the $ L^1 $-norm of a distortion function $ Q $, proving equicontinuity of the family $ \mathfrak{F}_Q(D) $ in both the interior and on the boundary of a domain $ D $, under mild geometric assumptions on $ D $.

ABSTRACT

We have studied the local and boundary behavior of mappings satisfying one estimate of the distortion of the modulus of families of paths. In particular, we have obtained conditions under which the families of the indicated mappings are equicontinuous inside and on the boundary of a domain.

Motivation & Objective

• To analyze the local and boundary behavior of mappings satisfying a generalized inverse Poletsky inequality.
• To establish conditions under which families of such mappings are equicontinuous inside and on the boundary of a domain.
• To extend equicontinuity results to mappings with branching, generalizing previous results for homeomorphisms.
• To investigate the role of domain geometry—specifically local connectivity and weak flatness—on the regularity of such mappings.
• To address the open question of whether equicontinuity holds without assuming non-degeneracy of boundary components.

Proposed method

• Introduces the class $ \mathfrak{F}_Q(D) $ of open, discrete, closed mappings $ f: D \to \mathbb{R}^n $ satisfying the inverse Poletsky inequality (4) for all $ y_0 \in f(D) $, with a distortion function $ Q \in L^1(\mathbb{R}^n) $.
• Employs modulus estimates for curve families $ \Gamma_f(y_0, r_1, r_2) $, relating them to integrals of $ Q $ against test functions $ \eta $ satisfying $ \int_{r_1}^{r_2} \eta(r)\,dr \geq 1 $.
• Derives a pointwise majorant for $ |f(x) - f(x_0)| $ in terms of $ \|Q\|_1 $ and $ \log^{-1/n}(1 + r_0/|x - x_0|) $, establishing a Hölder-type control.
• Applies the concept of weak flatness and local connectivity of the boundary to control modulus of curve families near boundary points.
• Uses contradiction arguments involving sequences of mappings and the behavior of hyperbolic distances to prove equicontinuity on the closure $ \overline{D} $.
• Relies on known results on $ Q $-homeomorphisms and modulus inequalities, particularly from Martio, Ryazanov, Srebro, and Yakubov (2009), and extends them to non-homeomorphic mappings.

Experimental results

Research questions

• RQ1 Under what conditions is the family of mappings satisfying the inverse Poletsky inequality equicontinuous in the interior and on the boundary of a domain?
• RQ2 How does the $ L^1 $-norm of the distortion function $ Q $ control the modulus of continuity of such mappings?
• RQ3 Can equicontinuity be established for mappings with branching (non-homeomorphic) under the inverse Poletsky condition?
• RQ4 What geometric properties of the domain (e.g., weak flatness, local connectivity) are necessary for boundary regularity?
• RQ5 Is the non-degeneracy of boundary components essential for equicontinuity, or can it be removed?

Key findings

• For any $ f \in \mathfrak{F}_Q(D) $, the pointwise estimate $ |f(x) - f(x_0)| \leq \frac{C_n \cdot \|Q\|_1^{1/n}}{\log^{1/n}\left(1 + \frac{r_0}{|x - x_0|}\right)} $ holds for all $ x \in B(x_0, r_0) $, with $ 2r_0 < \text{dist}(x_0, \partial D) $, where $ C_n $ depends only on dimension $ n $.
• The family $ \mathfrak{F}_Q(D) $ is equicontinuous in $ D $ whenever $ Q \in L^1(\mathbb{R}^n) $, due to the uniform decay of the modulus estimate.
• Equicontinuity on $ \overline{D} $ is established under the assumption that $ \partial D $ is locally connected and weakly flat, ensuring control of modulus near the boundary.
• The proof relies on contradiction: assuming non-equicontinuity leads to a sequence of mappings with uniformly bounded hyperbolic diameter of preimages, contradicting the modulus estimate.
• The result holds even for mappings with branching, generalizing prior results restricted to homeomorphisms.
• The open question remains whether equicontinuity persists without assuming non-degenerate boundary components, as this condition is currently essential in the proof.