Density of smooth functions in Sobolev spaces on manifolds

Hebbey defines the Sobolev space of functions on a Riemannian manifold (M,g) as the completion of smooth functions under the Sobolev norm. However, I have seen (elsewhere) that Sobolev spaces have been defined as the collection of locally integrable functions whose weak derivatives (w.r.t to the Levi-Civita connection) are in L^p. For compact manifolds, or for manifolds with bounded geometry and positive injectivity radius (like $\mathbb{R}^n$), I can see why these two definitions are equivalent. Are they equivalent for general noncompact manifolds?

• Even for bounded domains in the Euclidean space this is a tricky issue if thd boundary is not smooth. For this case I recommend Mazy'a's books. Apr 3, 2013 at 23:49
• For bounded domains in Euclidean space, this is true (Evans' book). It gets tricky when one wants to approximate by smooth functions that smooth upto the boundary. Apr 4, 2013 at 6:21
• I am only vaguely familiar with definition of Sobolev spaces on manifolds via patching local definitions. Thus it seems to me, that if you can prove the density locally, you have it also globally. Apr 4, 2013 at 12:59

The closure of smooth functions with compact support, the closure of smooth function in the Sobolev space, and the Sobolev space are all different in general on open Riemannian manifolds. If the manifold is of bounded geometry (of order $k$) then all these spaces coincide up to Sobolev order $k+2$. This holds even for sections of vector bundles. Thus on compact manifolds all these spaces coincide also.