Sobolev functions without compactly supported approximations

TL;DR

This paper demonstrates that the density of smooth compactly supported functions in Sobolev spaces can fail on complete non-compact Riemannian manifolds, challenging a common assumption and settling an open problem.

Contribution

It proves that the usual density property of smooth compactly supported functions in Sobolev spaces does not always hold on complete non-compact manifolds, addressing an open question.

Findings

Density can fail on non-compact manifolds

Settles an open problem in Sobolev space theory

Highlights geometric conditions affecting function approximation

Abstract

A basilar property and a useful tool in the theory of Sobolev spaces is the density of smooth compactly supported functions in the space $W^{k,p}(\R^n)$ (i.e. the functions with weak derivatives of orders $0$ to $k$ in $L^p$). On Riemannian manifolds, it is well known that the same property remains valid under suitable geometric assumptions. However, on a complete non-compact manifold it can fail to be true in general, as we prove in this paper. This settles an open problem raised for instance by E. Hebey [\textit{Nonlinear analysis on manifolds: Sobolev spaces and inequalities}, Courant Lecture Notes in Mathematics, vol. 5, 1999, pp. 48-49].