The van Dommelen and Shen singularity in the Prandtl equations

In 1980, van Dommelen and Shen provided a numerical simulation that predicts the spontaneous generation of a singularity in the Prandtl boundary layer equations from a smooth initial datum, for a nontrivial Euler background. In this paper we provide a proof of this numerical conjecture by rigorously establishing the finite time blowup of the boundary layer thickness.