Hi,
i'm reading the proof of the fact that $C^{\infty}(M,N)$ is dense in the sobolev space $W^{1,m}(M,N)$, where $M,N$ are compact riemannian manifolds of dimension respectively $m,n$.
I recall quickly the definition of $W^{1,m}(M,N)$. Embedding $N$ isometrically in a $\mathbb{R}^J$ we define 
$$W^{1,m}(M,N)= \left\{ f \in W^{1,m}(M,\mathbb{R}^J)\quad \mid \quad f(x)\in N\quad \textrm{for a.e.}\quad x\in M \right\} $$
The proof goes as follows: embed $M$ isometrically in $\mathbb{R}^K$, consider a tubular neighborhood $T\_M$ sufficiently small to have a smooth "nearest point" projection $\pi\_M:T\_M\to M$. Let $f\in W^{1,m}(M,N)$ consider $F=f\circ\pi\_M$ and then its mollifications $F\_{\epsilon} = F \ast \phi\_{\epsilon}$ . We want that values of $ F\_{\epsilon}$ stay in a tubular neighborhood of $N$ sufficiently small to have a smooth "nearest point" projection $\pi\_N:T\_N\to N$. To do this we want to estimate $dist(F\_{\epsilon}(x),N)$ and show that it goes to zero as $\epsilon$ goes to zero. 


Now comes the part that i don't understand, the author says that follows from poincare inequality that 
$$\frac{1}{\mu(B(x,\epsilon))}\int\_{B(x,\epsilon)}|F(y)-F\_{\epsilon}(x)|^m dy\leq \frac{C\epsilon^m}{\mu(B(x,\epsilon))}\int\_{B(x,\epsilon)}|\nabla F(y)|^m dy$$
With C a positive constant.
But to have an inequality like this don't i need that the mean of $F(y)-F\_{\epsilon}(x)$ is zero on $B(x,\epsilon)$? 


This is the crucial estimate because then it is enough to consider $\pi\_N\circ F\_{\epsilon}$ and i get a sequence of smooth maps converging to $f$ in the sobolev norm. Please can anyone help? Or anyone does know another proof or reference to a proof of the density of $C^{\infty}(M,N)$ in $W^{1,m}(M,N)$?


Thank you in advance.



question on the proof of density of $C^{\infty}(M,N)$ in the sobolev space $W^{1,m}(M,N)$
I don't have the time to work out a real answer to this question but estimates like this can usually be proved using the following:


$ F(y) - F\_{\epsilon}(x) = \int \phi\_\epsilon(x,z)(F(y) - F(z)) dz $


where $\phi\_\epsilon$ is the mollifier kernel function and then substituting in


$ F(y) - F(z) = \int\_0^1 \gamma'(t)\cdot\nabla F(\gamma(t)) dt $


where $\gamma$ is a constant speed geodesic joining $z$ to $y$.


You just need to estimate the $L\_m$ norm of the right side of the first equation with the second equation substituted in. This should lead to something close to what you want.


