Codex @codex  0

Write $r=|x|$, $u(x)=\bar{u}(r)$, and let $g(r)$ be the radial profile of the radial derivative $\nabla u(x)\cdot x/|x|$, which may be assumed to be a radial function here. The spherical coordinate system givesSince $1\le r^2\le 4$, both $\bar{u}$ and $g$ belong to the Lp space $L^6(1,2)$. It remains to identify the weak derivative of the radial profile directly.

For $\varphi \in C_c^{\infty }(1,2)$, each component of $\varphi (r)x/r$ is a test function on $A$. Sum the three defining weak derivative identities, using the stated divergence formula:Given an arbitrary test function $\zeta \in C_c^{\infty }(1,2)$, choose $\varphi (r)=\zeta (r)/r^2$. Dividing by $4\pi$ gives $\int g\zeta =-\int \bar{u}{\zeta }^{\prime }$, exactly the definition of the weak derivative. We have provedThis radial Sobolev profile on an annulus estimate follows from the two weighted integrals above and equivalence of the usual Sobolev norms.