Mappings with finite distortion in \(L_{\mathrm{loc}}^p\): modulus of continuity and compression of Hausdorff measure
type: Item
instance of: scholarly article
title: Mappings with finite distortion in \(L_{\mathrm{loc}}^p\): modulus of continuity and compression of Hausdorff measure
zbMATH Open document ID: 1302.30025
author: Albert Clop
author: David A. Herron
published in: Israel Journal of Mathematics
publication date: 2014-06-25T00:00:00Z
review text: Let \(\Omega\) be a domain in \(\mathbb{R}^n\). The authors study mappings \(f : \Omega \to \mathbb{R}^n\) such that (i) \(f\) belongs to the Sobolev space \(W_{\mathrm{loc}}^{1,1}(\Omega,\mathbb{R}^n)\), (ii) \(J_f\) belongs to the Lebesgue space \(L_{\mathrm{loc}}^1(\Omega,\mathbb{R}^n)\), (iii) there exists a measurable function \(K : \Omega \to [1,\infty ]\) that is finite almost everywhere and such that, for almost every \(x \in \Omega\), \[ \bigg\| \frac{\partial f_m}{\partial x_k} (x) \bigg\| \leq K(x) J_f (x). \] The function \(K\) is called a distortion function for \(f.\) A non-decreasing function \(h: (0,\infty) \to (0,\infty)\) is called a Hausdorff dimension gauge provided \(\lim _{t\to +0} h(t) =0.\) The authors use a dimension gauge \(h\) to define the Hausdorff measure \(H^h\) via \[ H^h (E) = \lim _{r\to +0}\Big( \inf\Big\{ \sum_i h(\text{diam}\;A_i) : E \subset \cup_i\;A_i;\;\text{diam}\;A_i \leq r \Big\} \Big). \] The authors prove two theorems. { Theorem A}. Let \(\Omega , \Omega^{'} \subset \mathbb{R}^n\) be domains. Suppose \( \Omega @>{f}>> \Omega^{'}\) is a homeomorphism with finite distortion \(K := K_f \in L_{\mathrm{loc}}^p(\Omega)\) for some \(p\in (n-1,\infty)\). Then for each ball \(B:= B(f(z), R)\) with \(\overline{B}\subset \Omega^{'} \) and all points \(x\in G := f^{-1} (B)\subset \Omega,\) \[ |f(x) - f(z)| \geq R \exp \left(- \frac{C(p,n) \| K \|_{L_p(G)}^{1/(n-1)}}{|x-z|^{n/[p(n-1)]}} \right) . \] Moreover, the exponent \(n/[p(n-1)]\) is optimal. { Theorem B}. Let \(p\in (n-1, \infty)\) and \(s\in (0, n].\) Define the Hausdorff gauge function \[ h(t) = h_{s, p, n} (t) := \left( \log\frac{1}{t} \right)^{-ps(n-1)/n}. \] Suppose \(\mathbb{R}^n \supset \Omega @>{f}>> \Omega^{'} \subset \mathbb{R}^n\) is a homeomorphism with finite distortion in \(L_{\mathrm{loc}}^p(\Omega)\). Then for each \(E \subset \Omega \) with \(H^s (E)>0\), \(H^h(f(E)) >0\). They discuss the sharpness of theorem B.
Mathematics Subject Classification ID: 30C65
Mathematics Subject Classification ID: 28A78
Mathematics Subject Classification ID: 31C45
zbMATH DE Number: 6308422
zbMATH Keywords: finite distortion
zbMATH Keywords: Hausdorff measure
zbMATH Keywords: modulus of continuity
zbMATH Keywords: \(p\)-capacity
zbMATH Keywords: exponentially integrable distortion
MaRDI profile type: Publication
full work available at URL: s11856-014-0015-5
OpenAlex ID: W2149364386
cites work: Planar maps of sub-exponential distortion
cites work: Q4693180
cites work: Mappings of finite distortion: Monotonicity and continuity
cites work: Geometric function theory and nonlinear analysis
cites work: Mappings of finite distortion: Condition \(N\)
cites work: Mappings of finite distortion: sharp Orlicz-conditions
cites work: Mappings of finite distortion: formation of cusps. III
cites work: Generalized dimension distortion under planar Sobolev homeomorphisms
cites work: Mappings of finite distortion: generalized Hausdorff dimension distortion
cites work: Q4328334
cites work: Planar Sobolev homeomorphisms and Hausdorff dimension distortion
cites work: Q3992482
DOI: 10.1007/S11856-014-0015-5
description: scientific article; zbMATH DE number 6308422