(Chain rule) Assume $F : \mathbb{R} \to \mathbb{R}$ is $C^1$, with $F'$ bounded. Suppose $U$ is bounded and $u \in W^{1,p}(U)$ for some $1 \le p \le \infty$. Show $$v :=F(u) \in W^{1,p}(U) \quad \text{and} \quad v_{x_i}=F'(u)u_{x_i}.$$
From PDE Evans, 2nd edition: Chapter 5, Exercise 17.
Here is what I understand conceptually so far:
Since $u \in W^{1,p}(U)$, it follows $Du=u'$ exists, with $$\int_U u \phi' dx = -\int_U Du \phi \, dx.$$
I need to show that $D(F(u))=F'(u)Du$ exists, with $$\int_U F(u) \phi' dx = -\int_U D(F(u)) \phi \, dx.$$ Then, I can conclude that $F(u) \in W^{1,p}(U)$.
This is all I know so far; how can I go about making the connection?
Assume first that $1\leq p <\infty$
If $u\in C^\infty(\bar{U})$ then clearly $v=F(u)\in C^1(\bar{U})$ and $\nabla v=F'(u)\nabla u$.
Now if $u$ is a general $W^{1,p}$ function then take a sequence $u_k \to u$ in $W^{1,p}$ with $u_k\in C^\infty(\bar{U})$ and such that $u_k\to u$ and $\nabla u_k \to \nabla u$ pointwise a.e. in $U$. Then $$ |F(u)-F(u_k)| \leq M|u-u_k|, $$ with $M=\| F'\|_\infty$. On the other hand we also have $$ F'(u_k(x))\nabla u_k(x) \to F'(u(x))\nabla u(x), \qquad \text{ for a.e. } x\in U, $$ and moreover $| F'(u_k)\nabla u_k|\leq M|\nabla u_k|$. Since $\nabla u_k \to \nabla u$ in $L^p$, by the dominated convegence theorem, $F'(u_k)\nabla u_k \to F'(u)\nabla u$ in $L^p(U)$. Combining this with the first estimate we get that $F(u)\in W^{1,p}(U)$ and $\nabla F(u)= F'(u)\nabla u$.
If $p=\infty$ then we can simply note that $W^{1,\infty}(U)$ is the space of Lipschitz continuous functions in $U$, so take $u$ a Lipschitz function with Lipschitz constant $N$, and $M$ the Lipschitz constant of $F$ as before, then $$ |F(u(x))-F(u(y))|\leq M|u(x)-u(y)| \leq NM|x-y|, \qquad \forall x,\ y\in U. $$ Therefore $F(u)\in W^{1,\infty}(U)$.
Edit: As an extra exercise try to see that the condition $U$ being a $C^1$ domain is not needed when $1\leq p<\infty$ (try to prove that $F(u)\in W^{1,p}(U)$ whenever $u\in C^\infty(U)\cap W^{1,p}(U)$).