A bridge between Dubovitskiĭ-Federer theorems and the coarea formula

DOI10.1016/J.JFA.2016.10.031MaRDI QIDQ350541zbMATH OpenOpenAlexFDO

Authors Piotr Hajłasz, M. V. Korobkov, Jan Kristensen

Publication date 7 December 2016

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1603.05858

zbMATH Keywords

coarea formulaLuzin \(N\)-propertyMorse-Sard theoremSobolev-Lorentz mappings

Mathematics Subject Classification ID

Implicit function theorems, Jacobians, transformations with several variables (26B10) Hausdorff and packing measures (28A78) Sobolev spaces and other spaces of ``smooth functions, embedding theorems, trace theorems (46E35) Differentiable maps on manifolds (58C25) Critical points of functions and mappings on manifolds (58K05)

Abstract: The Morse-Sard theorem requires that a mapping $v:R^{n}o{R}^m$ is of class $C^k$, $k>n-m$. In 1957 Dubovitskiu{i} generalized this result by proving that almost all level sets for a $C^k$ mapping have $H^s$-negligible intersection with its critical set, where $s=max(n-m-k+1,0)$. Here the critical set, or $m$-critical set is defined as $Z_{v,m}=xin{R}^n:mrankablav(x)<m$. Another generalization was obtained independently by Dubovitskiu{i} and Federer in 1966, namely for $C^k$ mappings $v:R^{n}o{R}^d$ and integers $mled$ they proved that the set of $m$-critical values $v(Z_{v,m})$ is $H^b$-negligible for $b=m-1+fracn-m+1k$. They also established the sharpness of these results within the $C^k$ category. Here we prove that Dubovitskiu{i}'s theorem can be generalized to the case of continuous mappings of the Sobolev-Lorentz class $W_{p,1}^k(R^n,R^d)$, $p=fracnk$ (this is the minimal integrability assumption that guarantees the continuity of mappings). In this situation the mappings need not be everywhere differentiable and in order to handle the set of nondifferentiability points, we establish for such mappings an analog of the Luzin $N$-property with respect to lower dimensional Hausdorff content. Finally, we formulate and prove a~$mbridgetheorem$ that includes all the above results as particular cases. This result is new also for smooth mappings but is presented here in the general Sobolev context. The proofs of the results are based on our previous joint papers with J.~Bourgain (2013, 2015). Note, that in this paper some result concerning the Coarea formula was not formulated accurately. Now we put an Addendum consisting of three parts: first, we describe the accurate formulation of this result, then we give some historical remarks, and finally its relation to other results of the paper.

Recommendations

• The Dubovitskiĭ-Sard theorem in Sobolev spaces
• On some universal Morse-Sard type theorems
• The Morse-Sard theorem and Luzin \(N\)-property: a new synthesis for smooth and Sobolev mappings
• Sard's theorem for mappings in Hölder and Sobolev spaces
• On the Morse-Sard theorem for the sharp case of Sobolev mappings

Cites work

• A Critical Set with Nonnull Image has Large Hausdorff Dimension
• A simple proof of the Morse-Sard theorem in Sobolev spaces
• Bessel capacity, Hausdorff content and the tangential boundary behavior of harmonic functions
• Dimension distortion of images of sets under Sobolev mappings
• Generalized \(N\)-property and Sard theorem for Sobolev maps
• Hard Sard: quantitative implicit function and extension theorems for Lipschitz maps
• Hausdorff measures and the Morse-Sard theorem
• scientific article; zbMATH DE number 4017727 (Why is no real title available?)
• scientific article; zbMATH DE number 4130981 (Why is no real title available?)
• scientific article; zbMATH DE number 5836284 (Why is no real title available?)
• scientific article; zbMATH DE number 3116750 (Why is no real title available?)
• scientific article; zbMATH DE number 4075509 (Why is no real title available?)
• scientific article; zbMATH DE number 44836 (Why is no real title available?)
• scientific article; zbMATH DE number 3639937 (Why is no real title available?)
• scientific article; zbMATH DE number 638629 (Why is no real title available?)
• scientific article; zbMATH DE number 714197 (Why is no real title available?)
• scientific article; zbMATH DE number 1994007 (Why is no real title available?)
• scientific article; zbMATH DE number 1996017 (Why is no real title available?)
• scientific article; zbMATH DE number 3220474 (Why is no real title available?)
• scientific article; zbMATH DE number 3280855 (Why is no real title available?)
• scientific article; zbMATH DE number 3329342 (Why is no real title available?)
• scientific article; zbMATH DE number 3068640 (Why is no real title available?)
• Lusin's condition (N) and mappings of the class W1, n.
• Morse-Sard theorem for d.c. functions and mappings on $\mathbb{R}^2$
• Morse-Sard theorem in Sobolev spaces
• On functions with derivatives in a Lorentz space
• On the Morse-Sard property and level sets of \(W^{n,1}\) Sobolev functions on \(\mathbb{R}^n\)
• On the Morse-Sard property and level sets of Sobolev and BV functions
• On the Morse-Sard theorem for the sharp case of Sobolev mappings
• Pointwise inequalities for Sobolev functions revisited
• Rectifiable sets and coarea formula for metric-valued mappings
• Rectifiable sets in metric and Banach spaces
• Sard's theorem for mappings in Hölder and Sobolev spaces
• SETS OF POINTS OF DEGENERACY
• Sobolev spaces, dimension, and random series
• Solution of Leray's problem for stationary Navier-Stokes equations in plane and axially symmetric spatial domains
• The behavior of a function on its critical set
• The co-area formula for Sobolev mappings
• The Dubovitskiĭ-Sard theorem in Sobolev spaces
• The geometry of critical and near-critical values of differentiable mappings
• The measure of the critical values of differentiable maps
• The Morse-Sard theorem for Sobolev spaces in a borderline case
• The Morse-Sard theorem in \(W^{n,n} (\Omega)\): A simple proof
• The trace theorem, the Luzin \(N\)- and Morse-Sard properties for the sharp case of Sobolev-Lorentz mappings
• Toward a Precise Smoothness Hypothesis in Sard's Theorem
• Two theorems in geometric measure theory
• Weakly Differentiable Functions
• Whitney property in two dimensional Sobolev spaces

Cited in

(11)

• On the Luzin N-property and the uncertainty principle for Sobolev mappings
• On some universal Morse-Sard type theorems
• Example of a smooth homeomorphism violating the Luzin \(N^{-1}\) property
• The Morse-Sard theorem and Luzin \(N\)-property: a new synthesis for smooth and Sobolev mappings
• Some remarks about the Morse-Sard theorem and approximate differentiability
• Smooth approximations without critical points of continuous mappings between Banach spaces, and diffeomorphic extractions of sets
• The generalized Morse-Sard theorem
• The co-area formula for Sobolev mappings
• The coarea inequality
• On the Morse-Sard theorem for the sharp case of Sobolev mappings
• The Dubovitskiĭ-Sard theorem in Sobolev spaces

This page was built for publication: A bridge between Dubovitskiĭ-Federer theorems and the coarea formula

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q350541)