A characterization of the subspace of radially symmetric functions in Sobolev spaces

In this paper, we show that any Sobolev norm of nonnegative integer order of radially symmetric functions is equivalent to a weighted Sobolev norm of their radial profile. This establishes in terms of weighted Sobolev spaces on an interval a complete characterization of radial Sobolev spaces, which was open until now. As an application, we give a description of Sobolev norms of corotational maps.