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.

Approximate Differentiability of Mappings of Carnot-Carathéodory Spaces

On the equivalence of derivatives for maps between Carnot groups

Approximation in Hölder Spaces

On some intrinsic differentiability properties for Absolutely continuous functions between Carnot groups and the Area formula

The Bregman Distance, Approximate Compactness and Convexity of Chebyshev Sets in Banach Spaces

Approximation by continuous functions and its applications

An Approximation Theory for Metric Space-Valued Functions With A View Towards Deep Learning

Approximation of divergence-free vector fields vanishing on rough planar sets

Lipschitz continuity and Bochner-Eells-Sampson inequality for harmonic maps from $\mathrm{RCD}(K,N)$ spaces to $\mathrm{CAT}(0)$ spaces

Hamiltonian Carleman Approximation of the Calogero-Moser Space

Approximation of maps between real algebraic varieties

Connections between metric differentiability and rectifiability

On Some Universal Morse–Sard Type Theorems

Approximate Controllability of Fractional Hemivariational Inequalities in Banach Spaces

Differentiable maps between Wasserstein spaces

A new class of Carleson measures and integral operators on Bergman spaces

On the existence of approximate problems that preserve the type of a bifurcation point of a nonlinear problem. Application to the stationary Navier-Stokes equations

Approximating maps into manifolds with lower curvature bounds

Shift operators, Cauchy integrals and approximations

A Global Diffeomorphism Theorem for Fréchet spaces

Metrically differentiable set-valued functions and their local linear approximants