Optimal assumptions for discreteness
type: Item
instance of: scholarly article
title: Optimal assumptions for discreteness
zbMATH Open document ID: 1275.26007
author: Stanislav Hencl
author: Kai Rajala
published in: Archive for Rational Mechanics and Analysis
publication date: 2013-03-27T00:00:00Z
review text: The authors disprove a natural conjecture concerning the topological properties of Sobolev maps in Euclidean spaces. Consider a map \(f:\Omega\to\mathbb R^n\) of Sobolev class \(W^{1,n}\), where \(\Omega\) is a domain in \(\mathbb R^n\). If there exists a finite function \(K\) such that \(\|Df(x)\|^n\leq K(x)\det Df(x)\) for a.e. \(x\), then \(f\) is said to be a map of finite distortion. To avoid trivialities, assume that \(f\) is nonconstant. \textit{Yu. G. Reshetnyak} proved that \(f\) is discrete and open whenever \(K\in L^\infty\) [Sib. Math. J. 8 (1967), 466--487 (1968); translation from Sib. Mat. Zh. 8, 629--658 (1967; Zbl 0167.06601)]. It was widely believed that the condition could be weakened to \(K\in L^{n-1}\); see the paper under review for the history of this conjecture. Despite numerous partial results, only the case \(n=2\) was settled in the affirmative \textit{T. Iwaniec} and \textit{V. Šverák} [Proc. Am. Math. Soc. 118, No. 1, 181--188 (1993; Zbl 0784.30015)]. The authors construct, in any dimension \(n\geq 2\), a Lipschitz map \(f\) that transforms a line segment \(L\) into a point in such a way that \(K(x)\leq C d(x)^{-1} |\log d(x)|^{-1}\) where \(d(x)=\mathrm{dist}(x,L)\). The logarithmic factor ensures \(K\in L^{n-1}\) for \(n\geq 3\), thus providing a counterexample to the discreteness part of the conjecture. The question of whether \(K\in L^{n-1}\) implies openness remains open. When \(n=2\), the counterexample is given explicitly by \(f(x_1,x_2)=(|x_1|^{x_2}, \mathrm{sgn}\,(x_1) \log |x_1|)_P\) where \(|x_1|<1\), \(1<x_2<2\), and the subscript \(P\) indicates that the polar coordinates \((r,\varphi)\) are used in the codomain. Geometrically speaking, \(f\) transforms line segments orthogonal to \(L=\{x_1=0\}\) into spirals. This spiraling behavior increases the Jacobian determinant \(\det Df\) by the factor of about \(|\log d(x)|\), and thus reduces the distortion \(K\) by this logarithmic factor. The construction is more involved when \(n…
Mathematics Subject Classification ID: 26A16
Mathematics Subject Classification ID: 26B10
Mathematics Subject Classification ID: 30C65
zbMATH DE Number: 6148992
zbMATH Keywords: discrete map
zbMATH Keywords: open map
zbMATH Keywords: finite distortion
reviewed by: Leonid V. Kovalev
MaRDI profile type: Publication
full work available at URL: s00205-012-0574-8
OpenAlex ID: W2082869460
Wikidata QID: Q110214024
cites work: Convexity conditions and existence theorems in nonlinear elasticity
cites work: Global invertibility of Sobolev functions and the interpenetration of matter
cites work: The coefficients of quasiconformality of domains in space
cites work: Sobolev mappings with integrable dilatations
cites work: Mappings of finite distortion: Hausdorff measure of zero sets
cites work: Mappings of finite distortion: discreteness and openness for quasi-light mappings
cites work: Q4838489
cites work: Mappings of finite distortion: Monotonicity and continuity
cites work: Geometric function theory and nonlinear analysis
cites work: Q4463771
cites work: On Mappings with Integrable Dilatation
cites work: Mappings of finite distortion: Discreteness and openness
cites work: Mappings of finite distortion: sharp Orlicz-conditions
cites work: Invertibility of Sobolev mappings under minimal hypotheses
cites work: Weakly monotone functions
cites work: Mappings with integrable dilatation in higher dimensions
cites work: An extension of Reshetnyak's Theorem
cites work: Invertibility and a Topological Property of Sobolev Maps
cites work: Mappings of finite distortion: a new proof for discreteness and openness
cites work: Reshetnyak's theorem and the inner distortion
cites work: Q3992482
cites work: Regularity properties of deformations with finite energy
DOI: 10.1007/S00205-012-0574-8
Recommended article: OPTi's Algorithm for Discreteness Determination
Recommended article: Optimality conditions in discrete optimization problems
Recommended article: The optimal discretization of probability density functions
Recommended article: Q4919860
Recommended article: Optimal discrete entropy
Recommended article: Q4244901
Recommended article: Q4011524
Recommended article: On optimal confidence sets for parameters in discrete distributions
Recommended article: Maintaining discrete probability distributions optimally
description: scientific article; zbMATH DE number 6148992