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.

Characterisations of $V$-sufficiency and $C^0$-sufficiency of relative jets

On the relative Kuo condition and the second relative Kuo condition

Relative Regularity Conditions and Linear Regularity Properties for Split Feasibility Problems in Normed Linear Spaces

Gap Functions and Existence Results for Generalized Vector Variational Inequalities

Relative Well-Posedness of Constrained Systems Accompanied by Variational Calculus

Characterization of generic parameter families of constraint mappings in optimization

$S^1$-equivariant relative symplectic cohomology and relative symplectic capacities

Uniform extension of definable $C^{m,ω}$-Whitney jets

Generalized relative interiors and generalized convexity in infinite-dimensional spaces

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

Vector Variational-Like Inequalities with Constraints: Separation and Alternative

A Characterization of Indefinite-unitary Invariant Linear Maps and Relative Results

On Some Universal Morse–Sard Type Theorems

Separability in Büchi Vass and Singly Non-Linear Systems of Inequalities

Variational Structure and Two Dimensional Jet Flows for Compressible Euler System with Non-zero Vorticity

Injectivity theorems and cubical descent for schemes, stacks, and analytic spaces

On vectorial functions mapping strict affine subspaces of their domain into strict affine subspaces of their co-domain, and the strong D-property

Jet Schemes, Quantum Dilogarithm and Feigin-Stoyanovsky's Principal Subspaces

Invariant Jet differentials and Asymptotic Serre duality

Sufficiency of the Kuhn-Tucker condition and dual theories for a class of nonsmooth optimization

Jet determination of smooth CR automorphisms and generalized stationary discs