Local well-posedness for boundary layer equations of Euler-Voigt equations in analytic setting

From the formal expansion of the solutions of Euler-Voigt equations in R + 2 with no-slip boundary conditions, the boundary layer equations of Euler-Voigt equations to Euler equations are obtained. In case of the analytic data, one obtains the local existence and uniqueness of the solutions for the boundary layer equations by abstract Cauchy-Kovalevskaya theorem.