Cutoff functions are not nice in their first derivative This afternoon, while working out this answer by Nate Eldredge, I made some vain attempts at building cutoff functions of various kinds. Especially I was looking for the following. 

Can a sequence $\zeta_n \in C^\infty(-1, 1)$ s.t. 
  
  
*
  
*$0 \le \zeta_n \le 1$ and $\zeta_n(0)=1, \zeta(-1)=\zeta(1)=0$;
  
*$\lVert \zeta_n-1\rVert_2 \to 0$;
  
*$\lVert \zeta'_n \rVert_2$ is bounded
  
  
  exist?

Graphically I was looking for something like this:

(in red the graph of $\zeta_n(x)=\exp(\frac{1/n}{x^2-1})$, in black the scaled graph of its first derivative). The task was to arrange things so that those black peaks stayed $L^2$-bounded.
After many unsuccessful trials I've come to the conclusion that such a $\zeta_n$ cannot exist. In fact, it should be $H^1$-bounded and so, up to a subsequence, $H^1$-weakly convergent. This implies $L^2$-weak convergence and so we should have $\zeta_n \stackrel{H^1}{\rightharpoonup}1$. But now we observe that $\zeta_n \in H^1_0(-1, 1)$. $H^1_0(-1, 1)$ is a norm-closed subspace of $H^1(-1,1)$, and so - because of its convexity - it is also weakly closed. We have thus gotten the contradiction $1 \in H^1_0(-1, 1)$.  
Two questions:

  
*
  
*Is this reasoning correct?
  
*If 1. is affirmative, is there a more elementary way to see this? I've
  got the strong feeling of using a
  sledge-hammer to crack a nut.
  

Thank you for your attention.
 A: I will try to answer question 2 by explicitly stating a solution, which I feel is as elementary as possible.
It's not so hard to see that it suffices to restrict ourselves to functions that are monotone on both $[-1,0]$ and $[0,1]$. In this case we can define $a_n$ as the unique value in $[0,1]$ with $\zeta_n(a_n) = \frac{1}{2}$.
Then $\int_{-1}^1 (\zeta_n(x)-1)^2 dx \geq \int_{a_n}^1 (\zeta_n(x)-1)^2 dx \geq \int_{a_n}^1 \left(\frac{1}{2}\right)^2 dx = \frac{1}{4}(1-a_n)$, so since the original integral converges to $0$, $a_n$ must converge to $1$.
Now define $M_n = \frac{1}{1-a_n}\int_{a_n}^1 |\zeta_n^\prime(x)| dx \geq \frac{1}{1-a_n}\int_{a_n}^1 -\zeta_n^\prime(x) dx = \frac{1}{1-a_n}\left[-\zeta_n(x)\right]_{a_n}^1 = \frac{1}{2(1-a_n)}$. Then $0 \leq \int_{a_n}^1 (|\zeta^\prime(x)|-M_n)^2 dx = \int_{a_n}^1 |\zeta^\prime(x)|^2 dx - 2M_n\int_{a_n}^1 |\zeta^\prime(x)| dx + M_n^2(1-a_n)$. By our definition of $M_n$, $M_n^2(1-a_n) - 2M_n\int_{a_n}^1 |\zeta_n^\prime(x)| dx = -(1-a_n)M_n^2$, so we conclude $\int_{a_n}^1 |\zeta^\prime(x)|^2 dx \geq (1-a_n)M_n^2 \geq \frac{1}{4(1-a_n)}$ and therefore $\|\zeta_n^\prime\|_2 \geq \frac{1}{2}(1-a_n)^{-\frac{1}{2}}$, which since $a_n \rightarrow 1$, as  we saw, is not bounded.
I hope this answer is elementary by your standards.
