\(C^{\infty}\)-regularity for the porous medium equation (Q1078768)

This paper studies the equation \(u_ t=(u^ m)_{xx}\), \(x\in {\mathbb{R}}\), \(t>0\), \(m>1\), for continuous, positive initial data \(u(x,0)=u_ 0(x)\), \(u_ 0\) having compact support. The authors state the known result that \(\sup p u(.,t)=[r(t),s(t)],\) where r' can have a jump for t equal to \(t_ r:=\sup \{t:\quad r(t)=r(0)\}.\) Then, working with \(v=u^{m-1}\), they establish the optimal regularity result \(v\in C^{\infty}(\Omega_ r)\), \(r\in C^{\infty}(t_ r,\infty)\), where \(\Omega_ r=\{(x,t):\quad r(t)\leq x<s(t),\quad t>t_ r\}.\)