Existence and uniqueness analysis of a detached shock problem for the potential flow

We study a problem for two-dimensional steady potential and isentropic Euler equations in a bounded domain, where an artificial detached shock interacts with a wedge. Using the stream function, we obtain a free boundary problem for the subsonic state and the detached artificial shock curve and we prove that such configuration admits a unique solution in certain weighted Hölder spaces. The proof is based on various Hölder and Schauder estimates for second-order elliptic equations and fixed point theorems. Moreover, we pose an energy principle and remark that the physical attached shock is the minimizer of the energy functional.