Shock formation for 3D steady supersonic flows with general short pulse data

Abstract

This paper concerns the shock formation problem for the 3D steady supersonic potential equation of polytropic gases. The potential equation is described by a second order quasilinear wave equation $\displaystyle\sum_{i=1}^{3}\big[(\partial_i\Phi)^2 - c^2(\rho)\big]\partial_i^2\Phi + 2\displaystyle\sum_{1\le i 1$), and $\partial_3\Phi > c(\rho)$. For the short pulse boundary data $\Phi|_{x^3=0} = \delta^\nu\Phi_0\big(\frac{r-1}{\delta},\omega\big)$ and $\partial_3\Phi|_{x^3=0}=q_0+\delta^{\nu-1}\Phi_1\big(\frac{r-1}{\delta},\omega\big)$ with $r=\sqrt{(x^1)^2+(x^2)^2}$, $\omega=\big(\frac{x^1}{r},\frac{x^2}{r}\big)\in\mathbb{S}$, $1<\nu<2$ and small $\delta>0$, it is shown that a shock will be formed in a finite $x^3$-distance as long as the boundary data are supersonic and satisfy $(\Phi_0,\Phi_1)\not\equiv 0$. This coincides with physical phenomenon that strong compression of supersonic polytropic gases yields shocks. One of our main ingredients is to find a good unknown so that the previously imposed compatibility conditions on the short pulse initial data are removed as well as the required weighted energy estimates in the existing literatures are derived. It is expected that the method here will be applied to study the shock formation problem with general short pulse initial data for the 3D steady supersonic Euler equations of polytropic gases.