The Dubovitskii-Sard theorem in Sobolev spaces

Abstract: The Sard theorem from 1942 requires that a mapping

f : m a t h b b R^{n} o m a t h b b R^{m}

is of class

C^{k}

,

k > m a x (n - m, 0)

. In 1957 Duvovitskiu{i} generalized Sard's theorem to the case of

C^{k}

mappings for all

k

. Namely he proved that, for almost all

y i n m a t h b b R^{m}

,

m a t h c a l H^{e l l} (C_{f} c a p f^{- 1} (y)) = 0

where

e l l = m a x (n - m - k + 1, 0)

,

{m a t h c a l H}^{e l l}

denotes the Hausdorff measure, and

C_{f}

is the set of critical points of

f

. In 2001 De Pascale proved that the Sard theorem holds true for Sobolev mappings of the class

W_{m l o c}^{k, p} (m a t h b b R^{n}, m a t h b b R^{m})

,

k > m a x (n - m, 0)

and

p > n

. We will show that also Dubovitskiu{i}'s theorem can be generalized to the case of

W_{m l o c}^{k, p} (m a t h b b R^{n}, m a t h b b R^{m})

mappings for all

k i n m a t h b b N

and

p > n

.

Cited In (8)

This page was built for publication: The Dubovitskii-Sard theorem in Sobolev spaces