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 Olenick. 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 = \frac{v}{\bar{u}}$, $\bar{u}$ being the classical Prandtl solution, via the linear Derivative Prandtl Equation (LDP). As a consequence, our regularity result leads to the construction of Prandtl layer expansion up to any order.
By establishing an invariant set (1.11) for the Prandtl equation in Crocco transformation, we prove orbital and asymptotic stability of Blasius-like steady states against Oleinik's monotone solutions.
In this paper, we consider the zero-viscosity limit of the 2D steady Navier-Stokes equations in $(0,L)\times\mathbb{R}^+$ with non-slip boundary conditions. By estimating the stream-function of the remainder, we justify the validity of the Prandtl boundary layer expansions.
In this article we apply the machinery developed in Guo-Iyer[1] together with a new compactness estimate and an object called the degree in order to prove validity of steady Prandtl layer expansions with external forcing.
In this paper, we investigate the higher regularity and asymptotic behavior for the 2-D magnetic Prandtl model in the Prandtl-Hartmann regime. Due to the degeneracy of horizontal velocity near boundary, the higher regularity of solution is a tricky problem. By constructing suitable approximated system and establishing closed energy estimate for a good quantity(called "quotient" in \cite{Guo-Iyer-2021}), our first result is to solve this higher regularity problem. Furthermore, we show the global well-posedness and global-in-$x$ asymptotic behavior when the initial data are small perturbation of…
This paper concerns the validity of the Prandtl boundary layer theory for steady, incompressible Navier-Stokes flows over a rotating disk. We prove that the Navier Stokes flows can be decomposed into Euler and Prandtl flows in the inviscid limit. In so doing, we develop a new set of function spaces and prove several embedding theorems which capture the interaction between the Prandtl scaling and the geometry of our domain.
In this paper, we study the full regularity and well-posedness of classical solutions to the nonlinear unsteady Prandtl equations with Robin or Dirichlet boundary condition in half space. Under Oleinik's monotonicity assumption, we prove the large time existence of classical solutions to the nonlinear Prandtl equations with Robin or Dirichlet boundary condition, when both initial vorticity and the general Euler flow are sufficiently small. For the general Euler flow, the vertical velocity of the Prandtl flow is unbounded. We prove that the Prandtl solutions preserve the full regularities in ou…
In this paper, we prove the stability of shear flows of Prandtl type as $ \big(U(y/\sqrtν),0\big)$ for the steady Navier-Stokes equations under a natural spectral assumption on the linearized NS operator. We develop a direct energy method combined with compact method to solve the Orr-Sommerfeld equation.
We consider a steady, geophysical 2D fluid in a domain, and focus on its western boundary layer, which is formally governed by a variant of the Prandtl equation. By using the von Mises change of variables, we show that this equation is well-posed under the assumption that the trace of the interior stream function has large variations, and that the variations in the coastline profile are moderate.
This paper is concerned with the validity of the Prandtl boundary layer theory in the inviscid limit of the steady incompressible Navier-Stokes equations, which is an extension of the pioneer paper (Y. Guo et al., 2017, Ann. PDE) from a domain of $[0,L]\times\mathbb{R}_+$ to $[0,L]\times[0,2]$. Under the symmetry assumption, we establish the validity of the Prandtl boundary layer expansions and the error estimates. The convergence rate as $\e\rightarrow 0$ is also given.
In this article we establish the validity of Prandtl layer expansions around Euler flows which are not shear. The presence of non-shear flows at the leading order creates a singularity of $o(\frac{1}{\sqrtε})$. A new $y$-weighted positivity estimate is developed to control this leading-order growth at the far field.
The Division of Applied Mathematics, Brown University（布朗大学应用数学系）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
In this paper, we obtain the global-in-$x$ Sobolev stability of Prandtl layer expansions for 2-D steady incompressible MHD flows with shear outer ideal MHD flows $(1,0,σ,0)$ ($σ\geq 0$) on a moving plate. It is worth noticing that in the Sobolev sense, the degeneracy of the tangential magnetic field in our result is allowed, which is much different from both the unsteady case in [25,26,27] and the steady case in [3,4].
Validity of Prandtl Expansion for Steady Compressible Navier-Stokes-Fourier Flows
The Division of Applied Mathematics, Brown University（布朗大学应用数学系）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）
Motivated by \cite{DG19}, we prove the global existence and large time behavior of small solutions to 2-D Prandtl system for data with Gevrey 2 regularity in the $x$ variable and Sobolev regularity in the $y$ variable. In particular, we extend the global well-posedness result in \cite{PZ5} for 2-D Prandtl system with analytic data to data with optimal Gevery regularity in the sense of \cite{Ger1}.
In this three-part monograph, we prove that steady, incompressible Navier-Stokes flows posed over the moving boundary, $y = 0$, can be decomposed into Euler and Prandtl flows in the inviscid limit globally in $[1,\infty) \times [0,\infty)$, assuming a sufficiently small velocity mismatch. Sharp decay rates and self-similar asymptotics are extracted for both Prandtl and Eulerian layers. We then develop a functional framework to capture precise decay rates of the remainders, and prove the corresponding embedding theorems by establishing weighted estimates for their higher order tangential deriva…
In the case of favorable pressure gradient, Oleinik proved the global existence of classical solution for the 2-D steady Prandtl equation for a class of positive data. In the case of adverse pressure gradient, an important physical phenomena is the boundary layer separation. In this paper, we prove the boundary layer separation for a large class of Oleinik's data and confirm Goldstein's hypothesis concerning the local behavior of the solution near the separation, which gives a partial answer to open problem 5 proposed by Oleinik and Samokin in \cite{Olei}.
Let the viscosity $\varepsilon \rightarrow 0$ for the 2D steady Navier-Stokes equations in the region $0\leq x\leq L$ and $0\leq y<\infty$ with no slip boundary conditions at $y=0$. For $L<<1$, we justify the validity of the steady Prandtl layer expansion for scaled Prandtl layers, including the celebrated Blasius boundary layer. Our uniform estimates in $\varepsilon$ are achieved through a fixed-point scheme: \begin{equation*} [u^{0}, v^0] \overset{\text{DNS}^{-1}}{\longrightarrow }v\overset{\mathcal{L}^{-1}}{ \longrightarrow }[u^{0}, v^0] \label{fixedpoint} \end{equation*} for solving the Na…
We continue the study of the validity of the Prandtl boundary layer expansions in \cite{GZ}, where by estimating the stream-function of the remainder, we proved if the Euler flow is perturbation of shear flows when the width of domain is small. In this paper, we obtain a new derivatives estimate of stream-function away from the boundary layer and then prove the validity of expansions for any non-shear Euler flow, provided the width of domain is small.
We show the $H^1$ stability of shear flows of Prandtl type: $U^ν= (U_s(y/\sqrtν),0)$, in the steady two-dimensional Navier-Stokes equations, under the natural assumptions that $U_s(Y) > 0$ for $Y > 0$, $U_s(0) = 0$, and $U_s'(0) > 0$. Our result is in sharp contrast with the unsteady ones, in which at most Gevrey stability can be obtained, even under global monotonicity and concavity hypotheses. It provides the first positive answer to the inviscid limit problem in Sobolev regularity for a non-trivial class of steady Navier-Stokes flows with no-slip boundary condition.
We continue our study on the global solution to the two-dimensional Prandtl's system for unsteady boundary layers in the class considered by Oleinik provided that the pressure is favorable. First, by using a different method from [13], we gave a direct proof of existence of a global weak solution by a direct BV estimate. Then we prove the uniqueness and continuous dependence on data of such a weak solution to the initial-boundary value problem. Finally, we show the smoothness of the weak solutions and then the global existence of smooth solutions.
We show the local in time well-posedness of the Prandtl equation for data with Gevrey $2$ regularity in $x$ and $H^1$ regularity in $y$. The main novelty of our result is that we do not make any assumption on the structure of the initial data: no monotonicity or hypothesis on the critical points. Moreover, our general result is optimal in terms of regularity, in view of the ill-posedness result of [9].
This paper is concerned with the vanishing viscosity and magnetic resistivity limit for the two-dimensional steady incompressible MHD system on the half plane with no-slip boundary condition on velocity field and perfectly conducting wall condition on magnetic field. We prove the nonlinear stability of shear flows of Prandtl type with nondegenerate tangential magnetic field, but without any positivity or monotonicity assumption on the velocity field. It is in sharp contrast to the steady Navier-Stokes equations and reflects the stabilization effect of magnetic field. Unlike the unsteady MHD sy…
In this paper, we validate the boundary layer theory for 2D steady viscous incompressible magnetohydrodynamics (MHD) equations in a domain $\{(X, Y)\in[0, L]\times\mathbb{R}_+\}$ under the assumption of a moving boundary at $\{Y=0\}$. The validity of the boundary layer expansion and the convergence rates are established in Sobolev sense. We extend the results for the case with the shear outer ideal MHD flows [3] to the case of the nonshear flows.
Asymptotic Stability of Steady Prandtl Equations with Suction
Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；School of Mathematical Sciences, University of Chinese Academy of Sciences（中国科学院大学数学科学学院）
In this paper, we are concerned with the validity of Prandtl boundary layer expansion for the solutions to two dimensional (2D) steady viscous incompressible magnetohydrodynamics (MHD) equations in a domain $\{(X, Y)\in[0, L]\times\mathbb{R}_+\}$ with a moving flat boundary $\{Y=0\}$. As a direct consequence, even though there exist strong boundary layers, the inviscid type limit is still established for the solutions of 2D steady viscous incompressible MHD equations in Sobolev spaces provided that the following three assumptions hold: the hydrodynamics and magnetic Reynolds numbers take the s…
We study the asymptotic behavior of the Oleinik's solution to the steady Prandtl equation when the outer flow $U(x)=1$. Serrin proved that the Oleinik's solution converges to the famous Blasius solution $\bar u$ in $L^\infty_y$ sense as $x\rightarrow+\infty$. The explicit decay estimates of $u-\bar u$ and its derivatives were proved by Iyer[ARMA 237(2020)] when the initial data is a small localized perturbation of the Blasius profile. In this paper, we prove the explicit decay estimate of $\|u(x,y)-\bar{u}(x,y)\|_{L^\infty_y}$ for general initial data with exponential decay. We also prove the …
In this work, we establish the convergence of 2D, stationary Navier-Stokes flows, $(u^ε, v^ε)$ to the classical Prandtl boundary layer, $(\bar{u}_p, \bar{v}_p)$, posed on the domain $(0, \infty) \times (0, \infty)$: \begin{equation*} \| u^ε - \bar{u}_p \|_{L^\infty_y} \lesssim \sqrtε \langle x \rangle^{- \frac 1 4 + δ}, \qquad \| v^ε - \sqrtε \bar{v}_p \|_{L^\infty_y} \lesssim \sqrtε \langle x \rangle^{- \frac 1 2}. \end{equation*} This validates Prandtl's boundary layer theory \textit{globally} in the $x$-variable for a large class of boundary layers, including the entire one parameter family…
This paper concerns the validity of the Prandtl boundary layer theory in the inviscid limit for steady incompressible Navier-Stokes flows. The stationary flows, with small viscosity, are considered on $[0,L]\times \mathbb{R}_{+}$, assuming a no-slip boundary condition over a moving plate at $y=0$. We establish the validity of the Prandtl boundary layer expansion and its error estimates.
In the present paper, we address a physically-meaningful extension of the linearised Prandtl equations around a shear flow. Without any structural assumption, it is well-known that the optimal regularity of Prandtl is given by the class Gevrey 2 along the horizontal direction. The goal of this paper is to overcome this barrier, by dealing with the linearisation of the so-called hyperbolic Prandtl equations in a strip domain. We prove that the local well-posedness around a general shear flow holds true, with solutions that are Gevrey class 3 in the horizontal direction.
We investigate the stability of boundary layer solutions of the two-dimensional incompressible Navier-Stokes equations. We consider shear flow solutions of Prandtl type : $$ u^ν(t,x,y) \, = \, \big (U^E(t,y) + U^{BL}(t,\frac{y}{\sqrtν})\,, \, 0 \big )\, , \quad 0<ν\ll 1\,. $$ We show that if $U^{BL}$ is monotonic and concave in $Y = y /\sqrtν$ then $u^ν$ is stable over some time interval $(0,T)$, $T$ independent of $ν$, under perturbations with Gevrey regularity in $x$ and Sobolev regularity in $y$. We improve in this way the classical stability results of Sammartino and Caflisch in analytic c…
We prove the $C^α$ regularity for weak solutions to a class of ultraparabolic equation, with measurable coefficients. The results generalized our recent $C^α$ regularity results of Prandtl's system to high dimensional cases.
We establish the well-posedness in Gevrey function space with optimal class of regularity 2 for the three dimensional Prandtl system without any structural assumption. The proof combines in a novel way a new cancellation in the system with some of the old ideas to overcome the difficulty of the loss of derivatives in the system.This shows that the three dimensional instabilities in the system leading to ill-posedness are not worse than the two dimensional ones.
We develop a new approach to study the well-posedness theory of the Prandtl equation in Sobolev spaces by using a direct energy method under a monotonicity condition on the tangential velocity field instead of using the Crocco transformation. Precisely, we firstly investigate the linearized Prandtl equation in some weighted Sobolev spaces when the tangential velocity of the background state is monotonic in the normal variable. Then to cope with the loss of regularity of the perturbation with respect to the background state due to the degeneracy of the equation, we apply the Nash-Moser-Hormande…
Solvability and regularity of the solution of the Dirichlet problem for the Prandtl equation $$ {u(x)\over p(x)}- {1\over 2π}\int_{-1}^1 {u'(t) \over t-x} \,dt = f(x) $$ is studied. It is assumed that $p(x)$ is a positive function on $(-1,1)$ such that $\sup \frac{(1-x^2)}{ p(x)} < \infty$. We introduce the scale of spaces $\widetilde{H}^s(-1,1)$ in terms of the special integral transformation on the interval $(-1,1)$. We obtain theorem about existence and uniqueness of the solution in the classes $\widetilde{H}^{s}(-1,1)$ with $0\le s \le 1$. In particular, for $s=1$ the result is as follows:…
In this paper, we study the well-posedness of classical solutions to the nonlinear unsteady Prandtl equations with Robin boundary condition in half space in weighted Sobolev spaces. We firstly investigate the monotonic shear flow with Robin boundary condition and the linearized Prandtl-type equations with Robin boundary condition in weighted Sobolev spaces. Due to the degeneracy of the Prandtl equations and the loss of regularity, we apply the Nash-Moser-Hormander iteration scheme to prove the existence of classical solutions to the nonlinear Prandtl equations with Robin boundary condition whe…
We present our recent results on the Prandtl-Meyer reflection for supersonic potential flow past a solid ramp. When a steady supersonic flow passes a solid ramp, there are two possible configurations: the weak shock solution and the strong shock solution. Elling-Liu's theorem (2008) indicates that the steady supersonic weak shock solution can be regarded as a long-time asymptotics of an unsteady flow for a class of physical parameters determined by certain assumptions for potential flow. In this paper we discuss our recent progress in removing these assumptions and establishing the stability t…
In this paper we study the regularity of weak solutions to systems of p-Stokes type, describing the motion of some shear thinning fluids in certain steady regimes. In particular we address the problem of regularity up to the boundary improving previous results especially in terms of the allowed range for the parameter p.
We study a class of two-phase inhomogeneous free boundary problems governed by elliptic equations in divergence form. In particular we prove that Lipschitz or flat free boundaries are $C^{1,γ}$. Our results apply to the classical Prandtl-Bachelor model in fluiddynamics.
In this paper we shall consider the Navier-Stokes equations in the half plane with Euler-type initial conditions, i.e. initial conditions which have a non-zero tangential component at the boundary. Under analyticity assumptions for the data, we shall prove that the solution exists for a small time independent of the viscosity. The solution is constructed through a composite asymptotic expansion involving the solutions of the Euler and Prandtl equations, plus an error term. The norm of the error goes to zero with the square root of the viscosity. The Prandtl solution contains a singular term, w…
We extend the Caffarelli-Kohn-Nirenberg type partial regularity theory for the steady $5$-dimensional fractional Navier-Stokes equations with external force to the hyperdissipative setting. In our argument we use the methods of Colombo-De Lellis-Massaccesi to apply a blowup procedure adapted from work of Ladyzhenskaya-Seregin.
In this paper we consider maximal regularity for the vector-valued quasi-steady linear elliptic problems. The equations are the elliptic equation in the domain and the evolution equations on its boundary. We prove the maximal $L_p$-$L_q$ regularity for these problems and give examples that our results are applicable. The Lopatinskii--Shapiro and the asymptotic Lopatinskii--Shapiro conditions are important to get boundedness of solution operators.
Under the condition of small external forces, we obtain existence of a weak solution of the steady Hall-MHD system with Hölder continuous magnetic field. We also established regularity of weak solutions provided that magnetic fields are bounded. For sufficiently small external forces, uniqueness result is also established.
We study partial regularity of suitable weak solutions of the steady Hall magnetohydrodynamics equations in a domain $Ω\subset \Bbb R^3$. In particular we prove that the set of possible singularities of the suitable weak solution has Hausdorff dimension at most one. Moreover, in the case $Ω=\Bbb R^3$, we show that the set of possible singularities is compact.
In this paper, we study the higher regularity theory of a mixed-type parabolic problem. We extend the recent work of \cite{DMR} to construct solutions that have an arbitrary number of derivatives in Sobolev spaces. To achieve this, we introduce a counting argument based on a quantity called the "degree". In the second part of this paper, we apply this existence theory to the Prandtl system near the classical Falkner-Skan self-similar profiles in order to supplement the stability analysis of \cite{IM22} with a rigorous construction argument.
In $1904$, Prandtl introduced his famous boundary layer in order to describe the behavior of solutions of incompressible Navier Stokes equations near a boundary as the viscosity goes to $0$. His Ansatz was that the solution of Navier Stokes equations can be described as a solution of Euler equations, plus a boundary layer corrector, plus a vanishing error term in $L^\infty$ in the inviscid limit. In this paper we prove that, for a class of smooth solutions of Navier Stokes equations, namely for shear layer profiles which are unstable for Rayleigh equations, this Ansatz is false if we consider …
