an:03951216
Zbl 0592.41031
Michael, J. H.; Ziemer, William P.
A Lusin type approximation of Sobolev functions by smooth functions
EN
Classical real analysis, Proc. Spec. Sess., 794th Meet. AMS, Madison/Wis. 1982, Contemp. Math. 42, 135-167 (1985).
1985
a
41A30
Sobolev function; smooth function; small capacity; Riesz capacity
[For the entire collection see Zbl 0565.00007.]
This paper is concerned with the approximation of a Sobolev function f by a smooth function g in such a way that \(| f-g|\) is small and the set where f and g disagree has small capacity. The following is the main theorem. Let \(1\leq p<\infty\), let \(\ell,m\) be positive integers, with \(1\leq m\leq \ell\) and \((\ell -m)p<n\) and let \(\Omega\) be a non-empty open set of \(R^ n\). Let \(f\in W^{\ell,p}(\Omega)\) and be approximately continuous at each point of \(\Omega\) except for a set E with Riesz capacity \(R_{\ell -m,p}(E)=0\). Let \(\epsilon >0\). Then there exists a \(C^ m\) function g on \(\Omega\), such that (a) the set \(F=\{x;x\in \Omega\) and f(x)\(\neq g(x)\}\) has \(R_{\ell -m,p}(F)<\epsilon\) and (b) \(| f-g|_{m,h}<\epsilon.\)
In another theorem it is shown that each \(f\in W^{\ell,p}(\Omega)\) can be represented by a function which is approximately continuous except for a set E, with \(R_{\ell -m,p}(E)=0\). Since \(R_{0,p}\) is equivalent to Lebesgue measure, the above theorem generalises a result of \textit{Fon-Che Liu} [Indiana Univ. Math. J. 26, 645-651 (1977; Zbl 0368.46036)].
Zbl 0565.00007; Zbl 0368.46036