[Paper Review] On Sobolev's mappings on Riemann surfaces

Vladimir Ryazanov, С. В. Волков|arXiv (Cornell University)|Apr 1, 2016

Analytic and geometric function theory9 references3 citations

TL;DR

This paper establishes sharp criteria for the continuous and homeomorphic extension of Sobolev mappings with finite distortion from domains on Riemann surfaces to their boundaries, using the behavior of the distortion function $ K_f $ near boundary points. It proves that if the maximal dilatation satisfies certain integrability or oscillation conditions—such as logarithmic growth or finite mean oscillation—then the mapping extends homeomorphically to the closure of the domain.

ABSTRACT

In terms of dilatations, it is proved a series of criteria for continuous and homeomorphic extension to the boundary of mappings with finite distortion between regular domains on the Riemann surfaces

Motivation & Objective

• To establish sufficient conditions under which mappings in the Sobolev class $ W^{1,1}_{\text{loc}} $ with finite distortion extend continuously to the boundary of domains on Riemann surfaces.
• To characterize the boundary behavior of such mappings using the distortion function $ K_f $, particularly near boundary points.
• To provide effective, integral-type and pointwise criteria based on the growth or oscillation of $ K_f $ near the boundary.
• To generalize known results from the complex plane to general Riemann surfaces using intrinsic geometric and analytic tools.
• To prove that under suitable conditions on the distortion, the mapping extends as a homeomorphism between the closures of the domains.

Proposed method

• Use of the maximal dilatation $ K_f(p) $ as the central analytic object to control the distortion of Sobolev mappings.
• Application of the FMO (finite mean oscillation) condition on $ K_f $ at boundary points to ensure boundary extension.
• Employment of integral conditions involving $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} = \infty $, where $ ||K_f||(p_0,r) $ is the $ L^1 $-average of $ K_f $ over the metric circle $ h(p,p_0) = r $.
• Utilization of the FMO condition and its equivalence to the limsup condition $ \limsup_{\varepsilon \to 0} \mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-5.83331pt}}{{\vbox{\hbox{$\scriptstyle-$}}\kern-3.90001pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.75pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.25pt}}\!\int_{B(p_0,\varepsilon)} K_f(p)\,dh(p) < \infty $ for boundary regularity.
• Use of convex function growth conditions via $ \Phi(K_f) $ with $ \int_\delta^\infty \frac{d\tau}{\tau \Phi^{-1}(\tau)} = \infty $ to ensure integrability and thus boundary extension.
• Leveraging the invariance of Sobolev and distortion classes under conformal changes of coordinates on Riemann surfaces.

Experimental results

Research questions

• RQ1 Under what conditions on the distortion function $ K_f $ does a Sobolev mapping with finite distortion extend continuously to the boundary of a domain on a Riemann surface?
• RQ2 How does the local behavior of $ K_f $ near boundary points—such as logarithmic growth or finite mean oscillation—affect the boundary extension of the mapping?
• RQ3 Can integral divergence conditions on $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} $ guarantee homeomorphic extension to the closure of the domain?
• RQ4 What is the role of the FMO condition on $ K_f $ at boundary points in ensuring the extension of the mapping?
• RQ5 How do exponential integrability conditions on $ K_f $, such as $ \int_U e^{\alpha K_f} \, dh < \infty $, relate to boundary regularity?

Key findings

• If $ \int_0^\delta \frac{dr}{||K_f||(p_0,r)} = \infty $ for all $ p_0 \in \partial D $, then the mapping $ f $ extends homeomorphically to $ \overline{D} $.
• The conclusion holds if $ K_f(p) = O\left(\log \frac{1}{h(p,p_0)}\right) $ as $ p \to p_0 $, indicating logarithmic growth of distortion near the boundary.
• If $ \limsup_{\varepsilon \to 0} \mathchoice{{\vbox{\hbox{$\textstyle-$}}\kern-5.83331pt}}{{\vbox{\hbox{$\scriptstyle-$}}\kern-3.90001pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.75pt}}{{\vbox{\hbox{$\scriptscriptstyle-$}}\kern-2.25pt}}\!\int_{B(p_0,\varepsilon)} K_f(p)\,dh(p) < \infty $ for all $ p_0 \in \partial D $, then $ f $ extends continuously to $ \overline{D} $.
• If $ \int_U \Phi(K_f(p))\,dh(p) < \infty $ for a convex function $ \Phi $ satisfying $ \int_\delta^\infty \frac{d\tau}{\tau \Phi^{-1}(\tau)} = \infty $, then $ f $ extends homeomorphically to $ \overline{D} $.
• In particular, if $ \int_U e^{\alpha K_f(p)}\,dh(p) < \infty $ for some $ \alpha > 0 $, then $ f $ extends as a homeomorphism to the closure.
• If $ \int_{\varepsilon < h(p,p_0) < \varepsilon_0} K_f(p) \frac{dh(p)}{h(p,p_0)^2} = o\left(\left[\log \frac{1}{\varepsilon}\right]^2\right) $ as $ \varepsilon \to 0 $, then $ f $ extends homeomorphically to $ \overline{D} $.