Numerical investigations of non-uniqueness for the Navier-Stokes initial value problem in borderline spaces

Abstract

We consider the Cauchy problem for the incompressible Navier-Stokes equations in ${\mathbb{R}}^3$ for a one-parameter family of explicit scale-invariant axi-symmetric initial data, which is smooth away from the origin and invariant under the reflection with respect to the $xy$-plane. Working in the class of axi-symmetric fields, we calculate numerically scale-invariant solutions of the Cauchy problem in terms of their profile functions, which are smooth. The solutions are necessarily unique for small data, but for large data we observe a breaking of the reflection symmetry of the initial data through a pitchfork-type bifurcation. By a variation of previous results by Jia & Šverák (2013) it is known rigorously that if the behavior seen here numerically can be proved, optimal non-uniqueness examples for the Cauchy problem can be established, and two different solutions can exists for the same initial datum which is divergence-free, smooth away from the origin, compactly supported, and locally $(-1)$-homogeneous near the origin. In particular, assuming our (finite-dimensional) numerics represents faithfully the behavior of the full (infinite-dimensional) system, the problem of uniqueness of the Leray-Hopf solutions (with non-smooth initial data) has a negative answer and, in addition, the perturbative arguments such those by Kato (1984) and Koch & Tataru (2001), or the weak-strong uniqueness results by Leray, Prodi, Serrin, Ladyzhenskaya and others, already give essentially optimal results. There are no singularities involved in the numerics, as we work only with smooth profile functions. It is conceivable that our calculations could be upgraded to a computer-assisted proof, although this would involve a substantial amount of additional work and calculations, including a much more detailed analysis of the asymptotic expansions of the solutions at large distances.

31 pages, 19 figures

Cited by in corpus (15)

• Sharp nonuniqueness for the Navier-Stokes equations
• Non-uniqueness in law for Boussinesq system forced by random noise
• Stationary and discontinuous weak solutions of the Navier-Stokes equations
• Searching for Singularities in Navier-Stokes Flows Based on the Ladyzhenskaya-Prodi-Serrin Conditions
• Spatial decay of discretely self-similar solutions to the Navier-Stokes equations
• Self-similar solutions to the Navier-Stokes equations: a survey of recent results
• A proof of Vishik's nonuniqueness Theorem for the forced 2D Euler equation
• Localized smoothing for the Navier-Stokes equations and concentration of critical norms near singularities
• Some preliminary observations on a defect Navier-Stokes system
• Non-Uniqueness of Smooth Solutions of the Navier-Stokes Equations from Critical Data
• On convergence of Chorin's projection method to a Leray-Hopf weak solution
• On regularity of solutions to the Navier--Stokes equation with initial data in ${\mathrm{BMO}}^{-1}$
• Global weak solutions of the Navier-Stokes equations for intermittent initial data in half-space
• Density of weak solutions of the fractional Navier-Stokes equations in the smooth divergence-free vector fields
• Local Hadamard well-posedness results for the Navier-Stokes equations