Abstract:The classical Morse-Sard theorem claims that for a mapping v : R-n -> Rm+1 of class C-k the measure of critical values v(Z(v,m)) is zero under condition k >= n - m. Here the critical set, or m-critical set is defined as Z(v,m) = {x is an element of R-n : rank del v(x) <= m}. Further Dubovitskii in 1957 and independently Federer and Dubovitskii in 1967 found some elegant extensions of this theorem to the case of other (e.g., lower) smoothness assumptions. They also established the sharpness of their results within the C-k category. Here we formulate and prove a bridge theorem that includes all the above results as particular cases: namely, if a function v : R-n -> R-d belongs to the Holder class C-k,C-alpha, 0 <= alpha < 1, then for every q> m the identity H-mu (Z(v,m) boolean AND v(-1) (y)) = 0 holds for H-q-almost all y is an element of R-d, where mu = n - m - (k + alpha) (q - m). Intuitively, the sense of this bridge theorem is very close to Heisenberg's uncertainty principle in theoretical physics: the more precise is the information we receive on measure of the image of the critical set, the less precisely the preimages are described, and vice versa. The result is new even for the classical C-k-case (when alpha = 0); similar result is established for the Sobolev classes of mappings W-p(k)(R-n,R-d) with minimal integrability assumptions p = max(1, n/k), i.e., it guarantees in general only the continuity (not everywhere differentiability) of a mapping. However, using some N-properties for Sobolev mappings, established in our previous paper, we obtained that the sets of nondifferentiability points of Sobolev mappings are fortunately negligible in the above bridge theorem. We cover also the case of fractional Sobolev spaces. The proofs of the most results are based on our previous joint papers with J. Bourgain and J. Kristensen (2013, 2015). We also crucially use very deep Y. Yomdin's entropy estimates of near critical values for polynomials (based on algebraic geometry tools). (C) 2020 Elsevier Masson SAS. All rights reserved.

On the Luzin N-property and the Uncertainty Principle for Sobolev Mappings

The Morse–Sard Theorem and Luzin N -Property: A New Synthesis for Smooth and Sobolev Mappings

Morse–Sard theorem and Luzin N-property: a new synthesis result for Sobolev spaces

The Trace Theorem, the Luzin N- and Morse–Sard Properties for the Sharp Case of Sobolev–Lorentz Mappings

On the Morse-Sard Property and Level Sets of $w^{n,1}$ Sobolev Functions on ${\mathbb R}^n$

On the Morse-Sard Theorem for the Sharp Case of Sobolev Mappings

On the inverse Ki-inequality for one class of mappings

On Morrey's inequality in Sobolev-Slobodecki\uı spaces

On the Morse-Sard Property and Level Sets of Sobolev and BV Functions

On Uncertainty Principle for the Morse - Sard Theorem

On Some Universal Morse–Sard Type Theorems

On homogeneous Newton-Sobolev spaces of functions in metric measure spaces of uniformly locally controlled geometry

Nonexistence of Courant-type nodal domain bounds for eigenfunctions of the Dirichlet-to-Neumann operator

Existence of Extremal Functions for a Family of Caffarelli-Kohn-Nirenberg Inequalities

Poisson transform and unipotent complex geometry

Nuclearity, Schatten-von Neumann classes, distribution of eigenvalues and $L^p$-$L^q$-boundedness of Fourier integral operators on compact manifolds

Loewner PDE in Infinite Dimensions

The $σ_k$-Loewner-Nirenberg problem on Riemannian manifolds for $k<\frac{n}{2}$

Discrete logarithmic Sobolev inequalities in Banach spaces

Fractional $p$-Laplacians via Neumann problems in unbounded metric measure spaces

On the density and multiplicity of solutions to the fractional Nirenberg problem