On some universal Morse-Sard type Theorem

The classical Morse–Sard theorem claims that for a mapping $v:\mathbb R^n\to\mathbb R^{m+1}$ofclass$C^k$themeasureofcriticalvalues$v(Z_{v,m})$iszeroundercondition$k\ge n-m$\mathrm{.}Herethecriticalset,or$m$-criticalsetisdefinedas$Z_{v,m} = { x \in \mathbb R^n : , {\rm rank},\nabla v(x)\le m }$. Further Dubovitski\u{\i} in 1957 and independently Federer and Dubovitski\u{\i} 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 $\mathit{\text{bridge}}\mathit{\text{theorem}}$ that includes all the above results as particular cases: namely, if a function $v:\mathbb R^n\to\mathbb R^d$belongstotheHolderclass$C^{k,\alpha}$,$0\le\alpha\le1$,thenforevery$q>m$theidentity$$\mathcal H^{\mu}(Z_{v,m}\cap v^{-1}(y))=0$$holdsfor$\mathcal H^q$-almostall$y\in\mathbb R^d$,where$\mu=n-m-(k+\alpha)(q-m)$. The result is new even for the classical $C^k$-case (when $\alpha =0$); a similar result is established for the Sobolev classes of mappings $W_p^k({\mathbb{R}}^n,{\mathbb{R}}^d)$ with minimal integrability assumptions $p=\max (1,n\mathrm{/}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).