Supersonic flow past an airfoil

We consider a supersonic flow past an airfoil in the context of the steady, isentropic and irrotational compressible Euler equations. We show that for appropriate data, either a shock forms, in which case certain derivatives of the solution blow up, or a sonic line forms, which translates to the fact that the hyperbolic character of the equations degenerates.