Abstract:We consider the question whether starting from a smooth initial condition 3D inviscid Euler flows on a periodic domain $\mathbb{T}^3$ may develop singularities in a finite time. Our point of departure is the well-known result by Kato (1972), which asserts the local existence of classical solutions to the Euler system in the Sobolev space $H^m(\mathbb{T}^3)$ for $m > 5/2$. Thus, potential formation of a singularity must be accompanied by an unbounded growth of the $H^m$ norm of the velocity field as the singularity time is approached. We perform a systematic search for "extreme" Euler flows that may realize such a scenario by formulating and solving a PDE-constrained optimization problem where the $H^3$ norm of the solution at a certain fixed time $T > 0$ is maximized with respect to the initial data subject to suitable normalization constraints. This problem is solved using a state-of-the-art Riemannian conjugate gradient method where the gradient is obtained from solutions of an adjoint system. Computations performed with increasing numerical resolutions demonstrate that, as asserted by the theorem of Kato (1972), when the optimization time window $[0, T]$ is sufficiently short, the $H^3$ norm remains bounded in the extreme flows found by solving the optimization problem, which indicates that the Euler system is well-posed on this "short" time interval. On the other hand, when the window $[0, T]$ is long, possibly longer than the time of the local existence asserted by Kato's theorem, then the $H^3$ norm of the extreme flows diverges upon resolution refinement, which indicates a possible singularity formulation on this "long" time interval. The extreme flow obtained on the long time window has the form of two colliding vortex rings and is characterized by certain symmetries. In particular, the region of the flow in which a singularity might occur is nearly axisymmetric.

Isolated steady solutions of the 3D Euler equations

Contact type solutions and non-mixing of the 3D Euler equations

Finite-time Singularity Formation for Strong Solutions to the $3D$ Euler equations, II

Smooth nonradial stationary Euler flows on the plane with compact support

Steady three-dimensional ideal flows with nonvanishing vorticity in domains with edges

An extension theorem for weak solutions of the 3d incompressible Euler equations and applications to singular flows

Systematic search for singularities in 3D Euler flows

A geometric characterization of steady laminar flow

One-point Singular Solutions to the Navier-Stokes Equations

Dissipative Solutions to the Stochastic Euler Equations

Rigidity of Steady Solutions to the Navier-Stokes Equations in High Dimensions and its applications

On a classification of steady solutions to two-dimensional Euler equations

The Navier-Stokes equations on manifolds with boundary

Uniqueness of compact ancient solutions to three-dimensional Ricci flow

Supersonic flows of the Euler-Poisson system in three-dimensional cylinders

Remarks on singular solutions of the Euler equations

Stability of 2D incompressible flows in ${\bf R}^3$

Global solutions to the homogeneous and inhomogeneous Navier-Stokes equations

Constructing Turing complete Euler flows in dimension 3

Stability of stationary solutions to the three-dimensional Navier-Stokes equations with surface tension