Instantaneous Type~I blow-up and non-uniqueness of smooth solutions of the Navier--Stokes equations
Alexey Cheskidov, Mimi Dai, Stan Palasek
TL;DR
This work reveals a new instantaneous Type I blow-up phenomenon for the Navier–Stokes equations: starting from smooth initial data, there exists a smooth evolution that exhibits right-infinite growth of the $L^{\infty}$ norm immediately after a blow-up time $T_*$, driven by an inverse energy cascade from infinite wavenumber. The authors construct a leading-order multiscale velocity field $v$ via an infinite hierarchy of oscillatory building blocks and couple it with a small corrector $w$ to produce a genuine NSE solution; crucially, the energy flux $\Pi_N([T_*,t])$ becomes unbounded as $N\to\infty$ at $T_*$, enabling a bifurcation into infinitely many smooth evolutions with the same initial data and thus non-uniqueness. The mechanism operates in all dimensions $d\ge 2$ and places the constructed solutions on the sharp boundary of known regularity criteria, linking instantaneous blow-up to a nonlinear, fully nonlinear energy cascade. The results have potential implications for our understanding of well-posedness and turbulence-like energy transfer in viscous incompressible flows, showing that even smooth flows can spontaneously lose uniqueness through internal spectral dynamics.
Abstract
For any smooth, divergence-free initial data, we construct a solution of the Navier--Stokes equations that exhibits Type~I blow-up of the $L^\infty$ norm at time $T_*>0$, while remaining smooth in space and time on $\mathbb T^d\times([0,T]\setminus\{T_*\})$. An instantaneous injection of energy from infinite wavenumber initiates a bifurcation from the classical solution, producing an infinite family of spatially smooth solutions with the same data and thereby violating uniqueness of the Cauchy problem. A key ingredient is the first known construction of a complete inverse energy cascade realized by a classical Navier--Stokes flow, which transfers energy from infinitely high to low frequencies. The result holds in all dimensions $d\geq2$.
