Regularity and Expansion for Steady Prandtl Equations

Due to degeneracy near the boundary, the question of high regularity for solutions to the steady Prandtl equations has been a longstanding open question since the celebrated work of Oleinik. We settle this open question in affirmative in the absence of an external pressure. Our method is based on energy estimates for the quotient, q=vu¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$q = \frac{v}{\bar{u}}$$\end{document}, u¯\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\bar{u}$$\end{document} being the classical Prandtl solution, via the linear derivative Prandtl (LDP) equation. As a consequence, our regularity result leads to the construction of Prandtl layer expansion up to any order.