1: \begin{proof}

2: The radial symmetry follows from the invariance of Eq. \eqref{eq1}

3: to rotations. For the radial monotonicity, we use a standard

4: argument with a twist, that we only give at formal level. We write

5: Eq. \eqref{eq1} in radial variables as

6: $$

7: \partial_tu=r^2\partial_{rr}(u^m)+(N-1)r\partial_{r}(u^m),

8: $$

9: and, by letting $v(r,t)=u^m(r,t)$, we obtain

10: \begin{equation}\label{interm7}

11: \partial_tv=m\left[r^2v^{(m-1)/m}\partial_{rr}v+(N-1)rv^{(m-1)/m}\partial_rv\right],

12: \end{equation}

13: with the property that $\partial_rv(r,0)\leq0$, for any $r\geq0$. We

14: now consider $z:=\partial_rv$, differentiate Eq. \eqref{interm7}

15: with respect to $r$ and, after straightforward calculations (that we

16: leave to the reader), we get the equation satisfied by $z$:

17: \begin{equation}\label{interm8}

18: \begin{split}

19: \partial_tz&-mr^2v^{(m-1)/m}\partial_{rr}z-\left[2mrv^{(m-1)/m}+m(N-1)rv^{(m-1)/m}-(m-1)r^2v^{-1/m}z\right]z_r\\

20: &-\left[(N-1)mv^{(m-1)/m}z+(m-1)(N-1)rv^{-1/m}z^2\right]=0.

21: \end{split}

22: \end{equation}

23: From the assumption of monotonicity, we know that

24: $z(r,0)=\partial_rv(r,0)\leq0$, for any $r\geq0$. Since $z\equiv0$

25: is a solution to \eqref{interm8} and $z(0,t)=\partial_r(u^m)(0,t)=0$

26: for any $t>0$, by comparison we obtain that

27: $z(r,t)=\partial_r(u^m)(r,t)\leq0$, for any

28: $(r,t)\in[0,\infty)\times(0,\infty)$, which implies that $u^m(r,t)$,

29: hence also $u(r,t)$, is radially non-increasing for any $t>0$. All

30: the above is justified at formal level. A rigorous proof follows by

31: standard approximation following the method in \cite[Chapter

32: 9.3]{VazquezPME}.

33: \end{proof}