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.

Square Functions Controlling Smoothness and Higher-Order Rectifiability

Local smoothness of functions and Baskakov-Durrmeyer operators

A New Proof of Some Polynomial Inequalities Related to Pseudo-Splines

Multilinear Commutators of Multilinear Square Operators Associated with New $BMO$ Functions and New Weight Functions

Multilinear local Tb for Square functions

Commutators with Fractional Differentiation and New Characterizations of Bmo-Sobolev Spaces

Optimal quadrature errors and sampling numbers for Sobolev spaces with logarithmic perturbation on spheres

BMO solvability and absolute continuity of harmonic measure

On Some Universal Morse–Sard Type Theorems

A smoothing effect for the fractional Schrödinger equations on the circle and observability

Characterization of BMO spaces via commutators of fractional maximal function on Lorentz spaces

Some characterizations of BMO and Lipschitz spaces in the Schrödinger setting

Square function estimates and Local smoothing for Fourier Integral Operators

A Note on Certain Square Functions on Product Spaces

Several inequalities concerning interpolation in classical Fourier analysis

On the $L^p$-to-$L^q$ boundedness and compactness of commutators along monomial curves

Compact Composition Operators on BMOA(B_n)

Multilinear paraproducts on Sobolev spaces

$BMO$ and gradient estimates for solutions of critical elliptic equations

Anisotropic refinable functions and the tile B-splines

Boundedness criteria for bilinear Fourier multipliers via shifted square function estimates