We consider the 3D incompressible Euler equations in vorticity form in the following fundamental domain for the octahedral symmetry group: $\{ (x_1,x_2,x_3): 0<x_3<x_2<x_1 \}.$ In this domain, we prove local well-posedness for $C^α$ vorticities not necessarily vanishing on the boundary with any $0<α<1$, and establish finite-time singularity formation within the same class for smooth and compactly supported initial data. The solutions can be extended to all of $\mathbb{R}^3$ via a sequence of reflections, and therefore we obtain finite-time singularity formation for the 3D Euler equations in $\mathbb{R}^3$ with bounded and piecewise smooth vorticities.
Some classical and recent results on the Euler equations governing perfect (incompressible and inviscid) fluid motion are collected and reviewed, with some small novelties scattered throughout. The perspective and emphasis will be given through the lens of infinite-dimensional dynamical systems, and various open problems are listed and discussed.
In this paper, we prove the existence of smooth initial data for the 2D free boundary incompressible Euler equations (also known for some particular scenarios as the water wave problem), for which the smoothness of the interface breaks down in finite time into a splash singularity or a splat singularity.
It has been known since work of Lichtenstein [42] and Gunther [29] in the 1920's that the $3D$ incompressible Euler equation is locally well-posed in the class of velocity fields with Hölder continuous gradient and suitable decay at infinity. It is shown here that these local solutions can develop singularities in finite time, even for some of the simplest three-dimensional flows.
We study in the inviscid limit the global energy dissipation of Leray solutions of incompressible Navier-Stokes on the torus ${\mathbb T}^d$, assuming that the solutions have norms for Besov space $B^{σ,\infty}_3({\mathbb T}^d),$ $σ\in (0,1],$ that are bounded in the $L^3$-sense in time, uniformly in viscosity. We establish an upper bound on energy dissipation of the form $O(ν^{(3σ-1)/(σ+1)}),$ vanishing as $ν\to0$ if $σ>1/3.$ A consequence is that Onsager-type "quasi-singularities" are required in the Leray solutions, even if the total energy dissipation vanishes in the limit $ν\to 0$, as lon…
We investigate the singularity formation of a 3D model that was recently proposed by Hou and Lei in [16] for axisymmetric 3D incompressible Navier-Stokes equations with swirl. The main difference between the 3D model of Hou and Lei and the reformulated 3D Navier-Stokes equations is that the convection term is neglected in the 3D model. This model shares many properties of the 3D incompressible Navier-Stokes equations. One of the main results of this paper is that we prove rigorously the finite time singularity formation of the 3D inviscid model for a class of initial boundary value problems wi…
In this paper, we present strong numerical evidences that the incompressible axisymmetric Euler equations with degenerate viscosity coefficients and smooth initial data of finite energy develop a potential finite-time locally self-similar singularity at the origin. An important feature of this potential singularity is that the solution develops a two-scale traveling wave that travels towards the origin. The two-scale feature is characterized by the scaling property that the center of the traveling wave is located at a ring of radius $O((T-t)^{1/2})$ surrounding the symmetry axis while the thic…
We give an example of a well posed, finite energy, 2D incompressible active scalar equation with the same scaling as the surface quasi-geostrophic equation and prove that it can produce finite time singularities. In spite of its simplicity, this seems to be the first such example. Further, we construct explicit solutions of the 2D Boussinesq equations whose gradients grow exponentially in time for all time. In addition, we introduce a variant of the 2D Boussinesq equations which is perhaps a more faithful companion of the 3D axisymmetric Euler equations than the usual 2D Boussinesq equations.
In this paper we show that the incompressible Hall-MHD system without resistivity is not globally in time well-posed in any Sobolev space $H^{m}(\mathbb{R}^3)$ for any $m>\frac{7}{2}$. Namely, either the system is locally ill-posed in $H^{m}(\mathbb{R}^3)$, or it is locally well-posed, but there exists an initial data in $H^{m}(\mathbb{R}^3)$, for which the $H^{m}(\mathbb{R}^3)$ norm of solution blows-up in finite time if $m>7/2$. In the latter case we choose an axisymmetric initial data $u_0(x)=u_{0r}(r,z)e_r+ b_{0z}(r,z)e_z$ and $B_0(x)=b_{0θ}(r,z)e_θ$, and reduce the system to the axisymmet…
In this paper we analyze a 2D free-boundary viscoelastic fluid model of Oldroyd-B type at infinite Weissenberg number. Our main goal is to show the existence of the so-called splash singularities, namely points where the boundary remains smooth but self-intersects. The combination of existence and stability results allows us to construct a special class of initial data, which evolve in time into self-intersecting configurations. To this purpose we apply the classical conformal mapping method and later we move to the Lagrangian framework, as a consequence we deduce the existence of splash singu…
To date it has not been possible to prove whether or not the three-dimensional incompressible Euler equations develop singular behaviour in finite time. Some possible singular scenarios, as for instance shock-waves, are very important from a physical point of view, since they imply the connection among the macroscopic and the microscopic scale. Therefore, the appearence of this type of singularity or a similar one might be interpreted as a possible explanation of the transition to turbulence. In order to clarify the question, some one-dimensional models for ideal incompressible hydrodynamics h…
We investigate the role of convection on its large time behavior of 3D incompressible Euler equations. In \cite{HL09a}, we constructed a new 3D model by neglecting the convection term from the reformulated axisymmetric Navier-Stokes equations. This model preserves almost all the properties of the full Navier-Stokes equations, including an energy identity for smooth solutions. The numerical evidence presented in \cite{HL09a} seems to support that the 3D model may develop a finite time singularity. In this paper, we prove rigorously that the 3D inviscid model develops a finite time singularity f…
In this paper we introduce (I,J) similar method for incompressible two and three dimensional Euler equations and Navier-Stokes equations, obtain a series of explicit (I,J) similar solutions to the incompressible two dimensional Euler equations, they include all of twin wave solutions, some new singularity solutions, and some global smooth solutions with finite energy. We also discover that twin wave solution and affine solution to two dimensional incompressible Euler equations are respectively plane wave and constant vector. Finally, we supply some explicit piecewise smooth solutions to incomp…
We give an extremely short proof that the free-surface incompressible, irrotational Euler equations with regular initial condition can form a finite time singularity in 2D or 3D. Thus, we provide a simple view of the problem studied by Castro, Cordoba, Fefferman, Gancedo, Lopez-Fernadez, Gomez-Serrano and Coutand, Shkoller.
For the water waves equations, the existence of splat singularities has been shown in [3], i.e., the interface self-intersects along an arc in finite time. The aim of this paper is to show the absence of splat singularities for the incompressible fluid dynamics in porous media.
In this article, we consider Leray solutions of the Navier-Stokes equations in the exterior of one obstacle in 3D and we study the asymptotic behavior of these solutions when the obstacle shrinks to a curve or to a surface. In particular, we will prove that a solid curve has no effect on the motion of a viscous fluid, so it is a removable singularity for these equations.
It is challenging to perform a multiscale analysis of mesoscopic systems exhibiting singularities at the macroscopic scale. In this paper, we study the hydrodynamic limit of the Boltzmann equations $$\mathrm{St} \partial_t F + v\cdot \nabla_x F = \frac{1}{\mathrm{Kn}} Q(F ,F ) $$ toward the singular solutions of 2D incompressible Euler equations whose vorticity is unbounded $$\partial_t u + u \cdot \nabla_x u + \nabla_x p = 0,\text{div }u =0.$$ We obtain a microscopic description of the singularity through the so-called kinetic vorticity and understand its behavior in the vicinity of the macro…
We explain why the theory of Escauriaza, Seregin, and Sverak (Russian Math. Surveys, 2003) on potential finite time singularity in Navier-Stokes solutions must be largely misapprehended. It is found that the proofs of the backward uniqueness theorem for parabolic equations contain technical errors. The stated validity of a theorem for vorticity is established on ill-informed analyses as the solenoidal constraint is not taken into account. There are many cases where parabolic scalings are erroneously applied. We briefly discuss a number of related issues.
In fluid dynamics, an interface splash singularity occurs when a locally smooth interface self-intersects in finite time. We prove that for $d$-dimensional flows, $d=2$ or $3$, the free-surface of a viscous water wave, modeled by the incompressible Navier-Stokes equations with moving free-boundary, has a finite-time splash singularity. In particular, we prove that given a sufficiently smooth initial boundary and divergence-free velocity field, the interface will self-intersect in finite time.
A sufficient condition is derived for a finite-time $L_2$ singularity of the 3d incompressible Euler equations, making appropriate assumptions on eigenvalues of the Hessian of pressure. Under this condition $\lim_{t \to T_*} \sup | \frac{D ø} {Dt} |_{L_2(\vO)} = \infty$, where $~ \vO \subset \R3$ moves with the fluid. In particular, $|ø|$, $|§_{ij}| , and $|¶_{ij}|$ all become unbounded at one point $(x_1,T_1)$, $T_1$ being the first blow-up time in $L_2$.
We investigate the formation of singularities in a self-similar form of regular solutions of the Localized Induction Approximation (also referred as to the binormal flow). This equation appears as an approximation model for the self-induced motion of a vortex filament in an inviscid incompressible fluid. The solutions behave as 3d-logarithmic spirals at infinity. The proofs of the results are strongly based on the existing connection between the binormal flow and certain Schrödinger equations.
Whether the 3D incompressible Euler equations can develop a finite time singularity from smooth initial data is one of the most challenging problems in nonlinear PDEs. In this paper, we present some new numerical evidence that the 3D axisymmetric incompressible Euler equations with smooth initial data of finite energy develop a potential finite time singularity at the origin. This potential singularity is different from the blow-up scenario revealed by Luo-Hou in \cite{luo2014potentially,luo2014toward}, which occurs on the boundary. Our initial condition has a simple form and shares several at…
We study a 1D model for the 3D incompressible Euler equations in axisymmetric geometries, which can be viewed as a local approximation to the Euler equations near the solid boundary of a cylindrical domain. We prove the local well-posedness of the model in spaces of zero-mean functions, and study the potential formation of a finite-time singularity under certain convexity conditions for the velocity field. It is hoped that the results obtained on the 1D model will be useful in the analysis of the full 3D problem, whose loss of regularity in finite time has been observed in a recent numerical s…
We investigate the large time behavior of an axisymmetric model for the 3D Euler equations. In \cite{HL09}, Hou and Lei proposed a 3D model for the axisymmetric incompressible Euler and Navier-Stokes equations with swirl. This model shares many properties of the 3D incompressible Euler and Navier-Stokes equations. The main difference between the 3D model of Hou and Lei and the reformulated 3D Euler and Navier-Stokes equations is that the convection term is neglected in the 3D model. In \cite{HSW09}, the authors proved that the 3D inviscid model can develop a finite time singularity starting fr…
We prove the nonexistence of local self-similar solutions of the three dimensional incompressible Navier-Stokes equations. The local self-similar solutions we consider here are different from the global self-similar solutions. The self-similar scaling is only valid in an inner core region which shrinks to a point dynamically as the time, $t$, approaches the singularity time, $T$. The solution outside the inner core region is assumed to be regular. Under the assumption that the local self-similar velocity profile converges to a limiting profile as $t \to T$ in $L^p$ for some $p \in (3,\infty)$,…
In this paper, we introduce the concept of local Leray solutions starting from a locally square-integrable initial data to the fractional Navier-Stokes equations with $s\in [3/4,1)$. Furthermore, we prove its local in time existence when $s\in (3/4, 1)$. In particular, if the locally square-integrable initial data vanishs at infinity, we show that the fractional Navier-Stokes equations admit a global-in-time local Leray solution when $s\in [5/6, 1)$. For such local Leray solutions starting from locally square-integrable initial data vanishing at infinity, the singularity only occurs in $B_R(0)…
We consider the Keller-Segel system of consumption type coupled with an incompressible fluid equation. The system describes the dynamics of oxygen and bacteria densities evolving within a fluid. We establish local well-posedness of the system in Sobolev spaces for partially inviscid and fully inviscid cases. In the latter, additional assumptions on the initial data are required when either the oxygen or bacteria density touches zero. Even though the oxygen density satisfies a maximum principle due to consumption, we prove finite time blow-up of its $C^{2}$--norm with certain initial data.
In this short note, we study the local well-posedness of a 3D model for incompressible Navier-Stokes equations with partial viscosity. This model was originally proposed by Hou-Lei in \cite{HouLei09a}. In a recent paper, we prove that this 3D model with partial viscosity will develop a finite time singularity for a class of initial condition using a mixed Dirichlet Robin boundary condition. The local well-posedness analysis of this initial boundary value problem is more subtle than the corresponding well-posedness analysis using a standard boundary condition because the Robin boundary conditio…
We study local regularity properties of a weak solution $u$ to the Cauchy problem of the incompressible Navier-Stokes equations. We present a new regularity criterion for the weak solution $u$ satisfying the condition $L^\infty(0,T;L^{3,w}(\mathbb{R}^3))$ without any smallness assumption on that scale, where $L^{3,w}(\mathbb{R}^3)$ denotes the standard weak Lebesgue space. As an application, we conclude that there are at most a finite number of blowup points at any singular time $t$. The condition that the weak Lebesgue space norm of the veclocity field $u$ is bounded in time is encompassing t…
The question of spontaneous apparition of singularity in the 3D incompressible Euler equations is one of the most important and challenging open problems in mathematical fluid mechanics. In this survey article we review some of recent approaches to the problem. We first review Kato's classical local well-posedness result in the Sobolev space and derive the celebrated Beale-Kato-Majda criterion for finite time blow-up. Then, we discuss recent refinements of the criterion as well as geometric type of theorems on the sufficiency condition for the regularity of solutions. After that we review resu…
In this work we extend the results in [6,32] on the 2D IPM system with constant viscosity (Atwood number $A_μ=0$) to the case of viscosity jump ($|A_μ|<1$). We prove a h-principle whereby (infinitely many) weak solutions in $C_tL_{w^*}^{\infty}$ are recovered via convex integration whenever a subsolution is provided. As a first example, non-trivial weak solutions with compact support in time are obtained. Secondly, we construct mixing solutions to the unstable Muskat problem with initial flat interface. As a byproduct, we check that the connection, established by Székelyhidi for $A_μ=0$, betwe…
In this paper we study the singularity formation for the geometric flow of complex curves $$z_t = -z_{xxx} + \frac{3}{2}øz_{x} z_{xx}^2,$$ that was derived [R. E. Goldstein and D. M. Petrich, {\em Phys. Rev. Lett.}, 69 (1992), pp. 555--558] while considering the vortex patch dynamics for the incompressible 2D Euler equation. We prove that arbitrary curve, consisting of two rotating logarithmic spirals, is a finite time singularity developed by a smooth solution of the flow. We provide exact construction of the solution in the terms of appropriate Painlevé II transcendents and furthermore we es…
In fluid dynamics, an interface splash singularity occurs when a locally smooth interface self-intersects in finite time. By means of elementary arguments, we prove that such a singularity cannot occur in finite time for vortex sheet evolution, i.e. for the two-phase incompressible Euler equations. We prove this by contradiction; we assume that a splash singularity does indeed occur in finite time. Based on this assumption, we find precise blow-up rates for the components of the velocity gradient which, in turn, allow us to characterize the geometry of the evolving interface just prior to self…
We investigate the singularity formation of a nonlinear nonlocal system. This nonlocal system is a simplified one-dimensional system of the 3D model that was recently proposed by Hou and Lei in [13] for axisymmetric 3D incompressible Navier-Stokes equations with swirl. The main difference between the 3D model of Hou and Lei and the reformulated 3D Navier-Stokes equations is that the convection term is neglected in the 3D model. In the nonlocal system we consider in this paper, we replace the Riesz operator in the 3D model by the Hilbert transform. One of the main results of this paper is that …
We consider the motion of the interface separating two domains of the same fluid that moves with different velocity along the tangential direction of the interface. We assume that the fluids occupying the two domains are of constant densities that are equal, are inviscid, incompressible and irrotational, and that the surface tension is zero. We discuss results on the existence and uniqueness of solutions for given data, the regularity of solutions, singularity formation and the nature of solutions after the singularity formation time.
In this paper, we prove the existence of smooth initial data for the 2D free boundary incompressible Navier-Stokes equations, for which the smoothness of the interface breaks down in finite time into a splash singularity.
We classify all $(-1)-$homogeneous axisymmetric no swirl solutions of incompressible stationary Navier-Stokes equations in three dimension which are smooth on the unit sphere minus the south pole, parameterize them as a two dimensional surface with boundary, and analyze their pressure profiles near the north pole. Then we prove that there is a curve of $(-1)-$homogeneous axisymmetric solutions with nonzero swirl, having the same smoothness property, emanating from every point of the interior and one part of the boundary of the solution surface. Moreover we prove that there is no such curve of …
We address the question whether a singularity in a three-dimensional incompressible inviscid fluid flow can occur in finite time. Analytical considerations and numerical simulations suggest high-symmetry flows being a promising candidate for a finite-time blowup. Utilizing Lagrangian and geometric non-blowup criteria, we present numerical evidence against the formation of a finite-time singularity for the high-symmetry vortex dodecapole initial condition. We use data obtained from high resolution adaptively refined numerical simulations and inject Lagrangian tracer particles to monitor geometr…
We prove a blow up criterion in terms of the Hessian of the pressure of smooth solutions $u\in C([0, T); W^{2,q} (\mathbb R^3))$, $q>3$ of the incompressible Euler equations. We show that a blow up at $t=T$ happens only if $$\int_0 ^T \int_0 ^t \left\{\int_0 ^s \|D^2 p (τ)\|_{L^\infty} dτ\exp \left( \int_{s} ^t \int_0 ^{\s} \|D^2 p (τ)\|_{L^\infty} dτd\s \right) \right\}dsdt \, = +\infty.$$ As consequences of this criterion we show that there is no blow up at $t=T$ if $ \|D^2 p(t)\|_{L^\infty} \le \frac {c}{(T-t)^2}$ with $c<1$ as $t\nearrow T$. Under the additional assumption of $\int_0 ^T \|…
A new formulation of the Navier-Stokes equation, in terms of the gradient of the total mechanical energy, is derived for the time-averaged flows, and the singular point possibly existing in the Navier-Stokes equation is exactly found. Transition of a laminar flow to turbulence must be implemented via this singular point. For pressure driven flows, this singular point corresponds to the inflection point on the velocity profile. It is found that the stability of a flow depends on the direction of the gradient of the total mechanical energy for incompressible pressure-driven flow. When this direc…
This paper proposes a new general methodology for finite-time singularity formation for moving interface problems involving the incompressible Euler equations in the plane. The first problem considered is the two-phase Euler vortex sheets problem with surface tension for which is proved the finite time singularity of the natural norm of the problem for suitable initial data. This is in striking contrast with the case of finite time splash and splat singularity formation for the one phase Euler equations introduced in [4] and studied in a more general context in [8], for which the natural norm …
A Computational Investigation of the Finite-Time Blow-Up of the 3D Incompressible Euler Equations Based on the Voigt Regularization
University of Nebraska-Lincoln（内布拉斯加大学林肯分校）；Los Alamos National Lab（洛斯阿拉莫斯国家实验室）；Texas A&M University（德克萨斯农工大学）；Weizmann Institute of Science（魏茨曼科学研究所）；University of Exeter（埃克塞特大学）
We prove that if an initial datum to the incompressible Navier-Stokes equations in any critical Besov space $\dot B^{-1+\frac 3p}_{p,q}(\mathbb{R}^3)$, with $3 <p,q< \infty$, gives rise to a strong solution with a singularity at a finite time $T>0$, then the norm of the solution in that Besov space becomes unbounded at time $T$. This result, which treats all critical Besov spaces where local existence is known, generalizes the result of Escauriaza, Seregin and Sverak (Uspekhi Mat. Nauk 58(2(350)):3-44, 2003) concerning suitable weak solutions blowing up in $L^3(\mathbb{R}^3)$. Our proof uses p…
It is well known that the incompressible Euler equations in two dimensions have globally regular solutions. The inviscid surface quasi-geostrophic (SQG) equation has a Biot-Savart law which is one derivative less regular than in the Euler case, and the question of global regularity for its solutions is still open. We study here the patch dynamics in the half-plane for a family of active scalars which interpolates between these two equations, via a parameter $α\in[0,\frac 12]$ appearing in the kernels of their Biot-Savart laws. The values $α=0$ and $α=\frac 12$ correspond to the 2D Euler and SQ…
We revisit a family of infinite-energy solutions of the 3D incompressible Euler equations proposed by Gibbon et al. [9] and shown to blowup in finite time by Constantin [6]. By adding a damping term to the momentum equation we examine how the damping coefficient can arrest this blowup. Further, we show that similar infinite-energy solutions of the inviscid 3D Boussinesq system with damping can develop a singularity in finite time as long as the damping effects are insufficient to arrest the (undamped) 3D Euler blowup in the associated damped 3D Euler system.
