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.

Structure of Singularities of 3D Axi-symmetric Navier-Stokes Equations

Structure of Solutions of 3D Axisymmetric Navier–Stokes Equations Near Maximal Points

A Priori Bound on the Velocity in Axially Symmetric Navier–Stokes Equations

On the existence and structures of almost axisymmetric solutions to 3-D Navier-Stokes equations

Criticality of the Axially Symmetric Navier-Stokes Equations

One-point Singular Solutions to the Navier-Stokes Equations

A Liouville Theorem for Axi-symmetric Navier–Stokes Equations on $${\mathbb {R}}^2 \times {\mathbb {T}}^1$$

A Liouville Theorem for Axi-symmetric Navier–Stokes Equations on $${\mathbb {R}}^2 \times {\mathbb {T}}^1$$ R 2 × T 1

Regularity Criterion to the Axially Symmetric Navier-Stokes Equations

The Regularity Criterion for 3D Navier-Stokes Equations

Systematic search for singularities in 3D Euler flows

The Anisotropic Regularity Criteria for 3D Navier–Stokes Equations Involving One Velocity Component

Asymptotic Criticality of the Navier-Stokes Regularity Problem

Singularities of Solutions to Compressible Euler Equations with Vacuum

Removable singularity of (-1)-homogeneous solutions of stationary Navier-Stokes equations

Formation of Singularities for the Relativistic Euler Equations

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

Finite speed axially symmetric Navier-Stokes flows passing a cone

Dimension reduction of axially symmetric Euler equations near maximal points off the axis

Singularities of Rayleigh equation

Remarks on the smoothness of the $C^{1,α}$ asymptotically self-similar singularity in the 3D Euler and 2D Boussinesq equations