We consider solutions of the 2-d compressible Euler equations that are steady and self-similar. They arise naturally at interaction points in genuinely multi-dimensional flow. We characterize the possible solutions in the class of flows L^\infty-close to a constant supersonic background. As a special case we prove that solutions of 1-d Riemann problems are unique in the class of small L^\infty functions. We also show that solutions of the backward-in-time Riemann problem are necessarily BV.
In this paper, we investigate the singularity near the degenerate points of the steady axisymmetric flow with general vorticity of an inviscid incompressible fluid acted on by gravity and with a free surface. We called the points on the free boundary at which the gradient of the stream function vanishes as the degenerate points. The main results in this paper give the different classifications of the singularity near the degenerate points on the free surface. More precisely, we obtained that at the stagnation points, the possible profiles must be a Stokes corner, or a horizontal cusp, or a hor…
We prove the existence of steady \emph{space quasi-periodic} stream functions, solutions for the Euler equation in vorticity-stream function formulation in the two dimensional channel ${\mathbb R}\times [-1,1]$. These solutions bifurcate from a prescribed shear equilibrium near the Couette flow, whose profile induces finitely many modes of oscillations in the horizontal direction for the linearized problem. Using a Nash-Moser implicit function iterative scheme, near such equilibrium we construct small amplitude, space reversible stream functions slightly deforming the linear solutions and reta…
We consider the Rayleigh-Taylor problem for two compressible, immiscible, inviscid, barotropic fluids evolving with a free interface in the presence of a uniform gravitational field. After constructing Rayleigh-Taylor steady-state solutions with a denser fluid lying above the free interface with the second fluid, we turn to an analysis of the equations obtained from linearizing around such a steady state. By a natural variational approach, we construct normal mode solutions that grow exponentially in time with rate like $e^{t \sqrt{\absξ}}$, where $ξ$ is the spatial frequency of the normal mod…
The classical plane Couette flow, plane Poiseuille flow, and pipe Poiseuille flow share some universal 3D steady coherent structure in the form of "streak-roll-critical layer". As the Reynolds number approaches infinity, the steady coherent structure approaches a 3D limiting shear of the form ($U(y,z), 0, 0$) in velocity variables. All such 3D shears are steady states of the 3D Euler equations. This raises the importance of investigating the stability of such inviscid 3D shears in contrast to the classical Rayleigh theory of inviscid 2D shears. Several general criteria of stability for such in…
A shell-type model of an inviscid fluid, previously considered in the literature, is investigated in absence of external force. Energy dissipation of positive solutions is proved and decay of energy like $t^{-2}$ is established. Self-similar decaying positive solutions are introduced and proved to exist and classified. Coalescence and blow-up are obtained as a consequence, in the class of arbitrary sign solutions.
Consider inviscid fluids in a channel {-1<y<1}. For the Couette flow v_0=(y,0), the vertical velocity of solutions to the linearized Euler equation at v_0 decays in time. At the nonlinear level, such inviscid damping has not been proved. First, we show that in any (vorticity) H^{s}(s<(3/2)) neighborhood of Couette flow, there exist non-parallel steady flows with arbitrary minimal horizontal period. This implies that nonlinear inviscid damping is not true in any (vorticity) H^{s}(s<(3/2)) neighborhood of Couette flow and for any horizontal period. Indeed, the long time behavior in such neighbor…
We prove nonlinear asymptotic stability of a large class of monotonic shear flows among solutions of the 2D Euler equations in the channel $\mathbb{T}\times[0,1]$. More precisely, we consider shear flows $(b(y),0)$ given by a function $b$ which is Gevrey smooth, strictly increasing, and linear outside a compact subset of the interval $(0,1)$ (to avoid boundary contributions which are incompatible with inviscid damping). We also assume that the associated linearized operator satisfies a suitable spectral condition, which is needed to prove linear inviscid damping. Under these assumptions, we sh…
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.
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.
We prove the existence of a subsonic weak solution $({\bf u}, ρ, p)$ to steady Euler system in a two-dimensional infinitely long nozzle when prescribing the value of the entropy $(= \frac{p}{ρ^γ})$ at the entrance by a piecewise $C^2$ function with a discontinuity at a point. Due to the variable entropy condition with a discontinuity at the entrance, the corresponding solution has a nonzero vorticity and contains a contact discontinuity $x_2=g_D(x_1)$. We construct such a solution via Helmholtz decomposition. The key step is to decompose the Rankine-Hugoniot conditions on the contact discontin…
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.
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（中国科学院数学与系统科学研究院）
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 this paper, we investigate steady inviscid compressible flows with radial symmetry in an annulus. The major concerns are transonic flows with or without shocks. One of the main motivations is to elucidate the role played by the angular velocity in the structure of steady inviscid compressible flows. We give a complete classification of flow patterns in terms of boundary conditions at the inner and outer circle. Due to the nonzero angular velocity, many new flow patterns will appear. There exists accelerating or decelerating smooth transonic flows in an annulus satisfying one side boundary c…
In this paper, we prove the leading term of time-asymptotics of the moving vacuum boundary for compressible inviscid flows with damping to be that for Barenblatt self-similar solutions to the corresponding porous media equations obtained by simplifying momentum equations via Darcy's law plus the possible shift due to the movement of the center of mass, in the one-dimensional and three-dimensional spherically symmetric motions, respectively. This gives a complete description of the large time asymptotic behavior of solutions to the corresponding vacuum free boundary problems. The results obtain…
We establish the existence of an axisymmetric weak solution to the steady Euler system with a transonic shock, nonzero vorticity, and nonzero swirl in a three-dimensional cylinder. When prescribing the supersonic solution in the upstream region by axisymmetric functions with variable entropy and variable angular momentum density(=swirl), we construct such a solution by using a Helmholtz decomposition of the velocity field and the method of iteration. An iteration scheme is developed using a delicate decomposition of the Rankine-Hugoniot conditions on the transonic shock via Helmholtz decomposi…
The z-pinch is a classical steady state for the MHD model, where a confined plasma fluid is separated by vacuum, in the presence of a magnetic field which is generated by a prescribed current along the z direction. We develop a variational framework to study its stability in the absence of viscosity effect, and demonstrate for the first time that any such a z-pinch is always unstable. Moreover, we discover a sufficient condition such that the eigenvalues can be unbounded, which leads to ill-posedness of the linearized MHD system.
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 this paper, we investigate the controllability of an underwater vehicle immersed in an infinite volume of an inviscid fluid whose flow is assumed to be irrotational. Taking as control input the flow of the fluid through a part of the boundary of the rigid body, we obtain a finite-dimensional system similar to Kirchhoff laws in which the control input appears through both linear terms (with time derivative) and bilinear terms. Applying Coron's return method, we establish some local controllability results for the position and velocities of the underwater vehicle. Examples with six, four, or …
In the present paper, we prove the a priori estimates of Sobolev norms for a free boundary problem of the incompressible inviscid MHD equations in all physical spatial dimensions $n=2$ and 3 by adopting a geometrical point of view used in Christodoulou-Lindblad CPAM 2000, and estimating quantities such as the second fundamental form and the velocity of the free surface. We identify the well-posedness condition that the outer normal derivative of the total pressure including the fluid and magnetic pressures is negative on the free boundary, which is similar to the physical condition (Taylor sig…
Steady vortices for the three-dimensional Euler equation for inviscid incompressible flows and for the shallow water equation are constructed and showed to tend asymptotically to singular vortex filaments. The construction is based on the asymptotic study of solutions to a semilinear elliptic problem.
We show that solutions to a large class of inviscid equations, in Eulerian variables, extend as holomorphic functions of time, with values in a Gevrey class (thus space-analytic), and are solutions of complexified versions of the said equations. The class of equations we consider includes those of fluid dynamics such as the Euler, surface quasi-geostrophic, Boussinesq and magnetohydrodynamic equations, as well as other equations with analytic nonlinearities. The initial data are assumed to belong to a $\mathit{Gevrey\:class}$, i.e., analytic in the space variable. Our technique follows that of…
The aim of this contribution is to make a connection between two recent results concerning the dynamics of vortices in incompressible planar flows. The first one is an asymptotic expansion, in the vanishing viscosity limit, of the solution of the two-dimensional Navier-Stokes equation with point vortices as initial data. In such a situation, it is known (Gallay, 2011) that the solution behaves to leading order like a linear superposition of Oseen vortices whose centers evolve according to the point vortex system, but higher order corrections can also be computed which describe the deformation …
We study the 2D Navier-Stokes equations linearized around the Couette flow $(y,0)^t$ in the periodic channel $\mathbb T \times [-1,1]$ with no-slip boundary conditions in the vanishing viscosity $ν\to 0$ limit. We split the vorticity evolution into the free evolution (without a boundary) and a boundary corrector that is exponentially localized to at most an $O(ν^{1/3})$ boundary layer. If the initial vorticity perturbation is supported away from the boundary, we show inviscid damping of both the velocity and the vorticity associated to the boundary layer. For example, our $L^2_t L^1_y$ estimat…
For the physical vacuum free boundary problem with the sound speed being $C^{{1}/{2}}$-H$\ddot{\rm o}$lder continuous near vacuum boundaries of the three-dimensional compressible Euler equations with damping, the global existence of spherically symmetric smooth solutions is proved, which are shown to converge to Barenblatt self-similar solutions of the porous media equation with the same total masses when initial data are small perturbations of Barenblatt solutions. The pointwise convergence with a rate of density, the convergence rate of velocity in supreme norm and the precise expanding rate…
We study the inviscid damping of Couette flow with an exponentially stratified density. The optimal decay rates of the velocity field and the density are obtained for general perturbations with minimal regularity. For Boussinesq approximation model, the decay rates we get are consistent with the previous results in the literature. We also study the decay rates for the full Euler equations of stratified fluids, which were not studied before. For both models, the decay rates depend on the Richardson number in a very similar way. Besides, we also study the dispersive decay due to the exponential …
In this paper, we constuct the multi-point blowup solutions of self-similar type for the inviscid Burgers equation. The shape and blowup dynamics are precisely described. Moreover, the solutions we construct are stable under small perturbations on initial data restricted in a compact set.
We proposed rigorous definitions of Radon measure solutions for boundary value problems of steady compressible Euler equations which modeling hypersonic-limit inviscid flows passing two-dimensional ramps, and their interactions with still gas and pressureless jets. We proved the Newton-Busemann pressure law of drags of body in hypersonic flow, and constructed various physically interesting measure solutions with density containing Dirac measures supported on curves, also exhibited examples of blow up of certain measure solutions. This established a mathematical foundation for applications in e…
The present paper studies the structure of the set of stationary solutions to the incompressible Euler equations on the rotating unit sphere that are near two basic zonal flows: the zonal Rossby-Haurwitz solution of degree 2 and the zonal rigid rotation $Y_1^0$ along the polar axis. We construct a new family of non-zonal steady solutions arbitrarily close in analytic regularity to the second degree zonal Rossby-Haurwitz stream function, for any given rotation of the sphere. This shows that any non-linear inviscid damping to a zonal flow cannot be expected for solutions near this Rossby-Haurwit…
We consider the stationary flow of an inviscid and incompressible fluid of constant density in the region $D=(0, L)\times \mathbb{R}^2$. We are concerned with flows that are periodic in the second and third variables and that have prescribed flux through each point of the boundary $\partial D$. The Bernoulli equation states that the "Bernoulli function" $H:= \frac 1 2 |v|^2+p$ (where $v$ is the velocity field and $p$ the pressure) is constant along stream lines, that is, each particle is associated with a particular value of $H$. We also prescribe the value of $H$ on $\partial D$. The aim of t…
In this paper, we consider a free boundary problem of a semilinear nonhomogeneous elliptic equation with Bernoulli's type free boundary. The existence and regularity of the solution to the free boundary problem are established by use of the variational approach. In particular, we establish the Lipschitz continuity and non-degeneracy of a minimum, and regularity of the free boundary. As a direct and important application, the well-posedness results on the steady, incompressible inviscid jet and cavitational flow with general vorticity are also obtained in this paper.
We consider the linearized Euler equations around a smooth, bilipschitz shear profile $U(y)$ on $\mathbb{T}_L \times \mathbb{R}$. We construct an explicit flow which exhibits linear inviscid damping for $L$ sufficiently small, but for which damping fails if $L$ is large. In particular, similar to the instability results for convex profiles for a shear flow being bilipschitz is not sufficient for linear inviscid damping to hold. Instead of an eigenvalue-based argument the underlying mechanism here is shown to be based on a new cascade of resonances moving to higher and higher frequencies in $y$…
For the three-dimensional vacuum free boundary problem with physical singularity that the sound speed is $C^{ {1}/{2}}$-H$\ddot{\rm o}$lder continuous across the vacuum boundary of the compressible Euler equations with damping, without any symmetry assumptions, we prove the almost global existence of smooth solutions when the initial data are small perturbations of the Barenblatt self-similar solutions to the corresponding porous media equations simplified via Darcy's law. It is proved that if the initial perturbation is of the size of $ε$, then the existing time for smooth solutions is at lea…
We prove the existence of a subsonic axisymmetric weak solution $({\bf u},ρ,p)$ with ${\bf u}=u_x{\bf e}_x+u_r{\bf e}_r+u_θ{\bf e}_θ$ to steady Euler system in a three-dimensional infinitely long cylinder $\mathcal{N}$ when prescribing the values of the entropy $(=\frac{p}{ρ^γ})$ and angular momentum density $(=ru_θ)$ at the entrance by piecewise $C^2$ functions with a discontinuity on a curve on the entrance of $\mathcal{N}$. Due to the variable entropy and angular momentum density (=swirl) conditions with a discontinuity at the entrance, the corresponding solution has a nonzero vorticity, no…
We consider reaction-diffusion systems and other related dissipative systems on unbounded domains which would have a Liapunov function (and gradient structure) when posed on a finite domain. In this situation, the system may reach local equilibrium on a rather fast time scale but the infinite amount of mass or energy leads to persistent mass or energy flow for all times. In suitably rescaled variables the system converges to a steady state that corresponds to asymptotically self-similar behavior in the original system.
We consider solutions to the full (non-isentropic) two-dimensional Euler equations that are constant in time and along rays emanating from the origin. We prove that for a polytropic equation of state, entropy admissible solutions in $L^\infty$ with non-vanishing velocity, density, and internal energy must be $BV$. Moreover, we obtain some results concerning the structure of such solutions.
We consider uniformly rotating incompressible Euler and Navier-Stokes equations. We study the suppression of vertical gradients of Lagrangian displacement ("vertical" refers to the direction of the rotation axis). We employ a formalism that relates the total vorticity to the gradient of the back-to-labels map (the inverse Lagrangian map, for inviscid flows, a diffusive analogue for viscous flows). The results include a nonlinear version of the Taylor-Proudman theorem: in a steady solution of the rotating Euler equations, two fluid material points which were initially on a vertical vortex line,…
We investigate the inviscid compressible flow (Euler) equations constrained by an "isentropic" equation of state (EOS), whose functional form in pressure is an arbitrary function of density alone. Under the aforementioned condition, we interrogate using symmetry methods the scale-invariance of the homentropic inviscid Euler equations. We find that under general conditions, we can reduce the inviscid Euler equations into a system of two coupled ordinary differential equations. To exemplify the utility of these results, we formulate two example scale-invariant, self-similar solutions. The first …
We consider solutions of two-dimensional $m \times m$ systems hyperbolic conservation laws that are constant in time and along rays starting at the origin. The solutions are assumed to be small $L^\infty$ perturbations of a constant state and entropy admissible, and the system is assumed to be non-strictly hyperbolic with eigenvalues of constant multiplicity. We show that such a solution, initially assumed bounded, must be a special function of bounded variation, and we determine the possible configuration of waves. As a corollary, we extend some regularity and uniqueness results for some one-…
We consider the plasma-vacuum interface problem in a horizontally periodic slab impressed by a uniform non-horizontal magnetic field. The lower plasma region is governed by the incompressible inviscid and resistive MHD, the upper vacuum region is governed by the pre-Maxwell equations, and the effect of surface tension is taken into account on the free interface. The global well-posedness of the problem, supplemented with physical boundary conditions, around the equilibrium is established, and the solution is shown to decay to the equilibrium almost exponentially. Our results reveal the strong …
