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.

Complete Rank Theorem in Advanced Calculus and Frobenius Theorem in Banach Space

Convergence of Newton'S Method and Inverse Function Theorem in Banach Space

Rank Theorem in Infinite Dimension and Lagrange Multipliers

A Full-Invariant Theorem and Some Applications

Frobenius Theorem in Banach Space and an Extremum Principle of Real Functional under the Constraints of $c^1$ Submanifold in Banach Space

Quantitative Analysis for Perturbed Abstract Inequality Systems in Banach Spaces

On the Krein-Rutman theorem and beyond

Banach's theorem in higher order reverse mathematics

Rankin-Selberg convolutions for $\mathrm{GL}(n)\times \mathrm{GL}(n)$ and $\mathrm{GL}(n)\times \mathrm{GL}(n-1)$ for principal series representations

Error Bounds for Approximate Solutions of Abstract Inequality Systems and Infinite Systems of Inequalities on Banach Spaces

RANKIN-SELBERG CONVOLUTIONS FOR GL ( N ) × GL ( N ) AND GL ( N ) × GL ( N − 1 ) FOR PRINCIPAL SERIES REPRESENTATIONS

Generalised rank-constrained approximations of Hilbert-Schmidt operators on separable Hilbert spaces and applications

Nonlinear extensions of the Perron–Frobenius theorem and the Krein–Rutman theorem

On Some Universal Morse–Sard Type Theorems

Finite Rank Perturbations of Toeplitz Products on the Bergman Space

Three New Proofs of the Theorem rank f(M) + rank g(M) = rank (f,g)(M) + rank [f,g](M)

Continuous Rankin Bound for Hilbert and Banach Spaces

Fun with "Analysis I": basic theorems in calculus revisited

Generalized Inverses and a Block-Rank Equation.

Hodge Theorem for Krein-Feller operators on compact Riemannian manifolds

On the Holonomic Rank Problem