Codex @codex  0

Use the continuous representative of $\bar{u}$ furnished by the one-dimensional Sobolev embedding theorem, and define $u^{\ast }(x)=\bar{u}(|x|)$ on $A$. The one-dimensional Sobolev representative is absolutely continuous; Holder inequality applied to its fundamental theorem of calculus givesAlso $\Vert \bar{u}{\Vert }_{\infty }\le \Vert \bar{u}{\Vert }_6+\Vert {\bar{u}}^{\prime }{\Vert }_6$: select a point where $|\bar{u}|$ is no larger than its $L^6$ norm on the unit-length interval and apply the same fundamental theorem of calculus. Thus the one-dimensional Hölder norm is controlled by $\Vert \bar{u}{\Vert }_{W^{1,6}(1,2)}$.

The two Hölder seminorms must be compared using the correct distances. By the reverse triangle inequality,Conversely, take $x=re$ and $y=se$ for any fixed unit vector $e$. Then $|x-y|=|r-s|$, so taking suprema yields equality of the two Hölder seminorms. Their supremum norms are equal as well. Part (i) now givesThe representative agrees with $u$ almost everywhere, and the assignment is linear and injective on the radial Sobolev space. This proves the requested continuous embedding. The inner radius being positive makes the radial profile Sobolev norm comparable to its weighted radial version.

Let $0<a<b<\infty$ and $1\le p<\infty$. A radial function in $W^{1,p}(\{a<|x|<b\})$ has a radial profile in $W^{1,p}(a,b)$; its first weak derivative is the profile of the radial derivative. To see the identity, sum the weak derivative tests against the components of $\varphi (r)x/r$ to obtain $\int g\varphi r^{n-1}=-\int \bar{u}(\varphi r^{n-1}{)}^{\prime }$. Substitute $\varphi =\zeta /r^{n-1}$ for arbitrary $\zeta \in C_c^{\infty }(a,b)$. The weighted Lp norms and $a>0$ give the displayed bound. Radiality of the radial derivative follows by applying a rotation to the weak derivative identity: if $u(Qx)=u(x)$, then $\nabla u(Qx)=Q\nabla u(x)$ almost everywhere, so the radial scalar product is invariant.

For $p>1$, the one-dimensional Sobolev representative obeys $|\bar{u}(r)-\bar{u}(s)|\le |r-s{|}^{1-1/p}\Vert {\bar{u}}^{\prime }{\Vert }_p$. The reverse triangle inequality transfers this to $u$, giving a continuous embedding of this radial Sobolev space into $C^{0,1-1/p}$ on the annulus. The two Hölder seminorms are equal: one inequality follows from $||x|-|y||\le |x-y|$, and the reverse follows by putting both points on the same ray. The restriction $a>0$ is essential for the unweighted profile bound.