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.

Sufficient Conditions For A Certain General Class Of Caratheodory Functions

Some Sets of Sufficient Conditions for Caratheodory Functions

Sufficient conditions for strongly Carathéodory functions

Criteria for a Certain Class of the Carathéodory Functions and Their Applications

Sufficient and Necessary Conditions for the Generalized Distribution Series to be in Subclasses of Univalent Functions

Some Sufficient Conditions for Univalence of Certain Families of Integral Operators Involving Generalized Bessel Functions

A Certain General Subclass of Analytic and Bi-Univalent Functions and Associated Coefficient Estimate Problems.

On Some Universal Morse–Sard Type Theorems

A Certain Subclass of Analytic and Close-To-Convex Functions

Geometric Properties of a Certain Class of Mittag-Leffler-Type Functions

Sufficiency Conditions for a Class of Convex Functions Connected with Tangent Functions Associated with the Combination of Babalola Operators and Binomial Series

A Generalized Conic Domain and Its Applications to Certain Subclasses of Multivalent Functions Associated with the Basic (or $ Q $-) Calculus

Sufficient and Necessary Conditions of Existence of Implicit Functions

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

Carathéodory Theorems for Slice Regular Functions

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

Carath\'eodory theorems for Slice Regular Functions

A Subclass of Multivalent Janowski Type Q-Starlike Functions and Its Consequences

Coefficient Estimates for A Certain Subclass of Analytic and Bi-Univalent Functions

Some geometric properties of multivalent functions associated with a new generalized $ q $-Mittag-Leffler function

A Comprehensive Subclass of Bi-Univalent Functions Defined by a Linear Combination and Satisfying Subordination Conditions