Analyticity of the interface of the porous media equation after the waiting time
Sigurd Angenent · Proceedings of the American Mathematical Society · 1988
We prove that the free boundary of a solution of the porous media equation, with compactly supported initial data, is real analytic after the waiting time. The proof uses the maximal regularity theory of Da Prato and Grisvard.