Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing
Abstract
OpenAI~\cite{OpenAIManuscript} has recently announced a proof of finite time singularity formation for the 3D Navier-Stokes equations, in the presence of a C∞-smooth body force. The construction in~\cite{OpenAIManuscript} has a few key features, among which we single out: (i) the angular mean of the solution satisfies specific Type II bounds which are anisotropic; (ii) the solution is exactly axisymmetric in a collapsing core region. In this paper we consider solutions of the 3D Navier-Stokes equations in the presence of a real-analytic body force, and assume that these solutions satisfy properties (i) and (ii) above. We prove that such solutions are in fact regular at the putative singular point. As a consequence, in the construction of~\cite{OpenAIManuscript}, and in any construction with properties (i) and (ii) whose force remains bounded in C2 up to the singular time, the force can neither vanish identically near the singular point, nor be real analytic in the space variables, locally uniformly in time. The main idea of the proof is inspired by our earlier work~\cite{CIV26} and the companion paper~\cite{CIVEulerLength}: zooming-in at the putative singularity using the anisotropic length scales provided by the a priori bounds, we arrive at ancient limits whose PDE evolution imposes additional rigidity.
Related
- Regularity of asymptotically axisymmetric Navier-Stokes flows with rotationally invariant curl of the force
- A logarithmic regularity criterion for the axisymmetric Navier-Stokes equations
- Asymptotically Hölder gradient regularity for degenerate or singular parabolic normalized $ p$-Laplace equations
- Least energy sign-changing solutions for asymptotically cubic Kirchhoff equations on locally finite graphs
- Asymptotically free solutions of the scalar flow equations
BibTeX
@misc{constantin2026regularity,
title = {{Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing}},
author = {Peter Constantin and Mihaela Ignatova and Vlad Vicol},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.20803},
eprint = {2609.20803},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.20803},
}
RIS
TY - UNPB
TI - Regularity of asymptotically axisymmetric solutions to the 3D Navier-Stokes equations with analytic forcing
AU - Peter Constantin
AU - Mihaela Ignatova
AU - Vlad Vicol
PY - 2026
DA - 2026/09/29
PB - arXiv
DO - 10.48550/arxiv.2609.20803
UR - https://arxiv.org/abs/2609.20803
AB - OpenAI~\cite{OpenAIManuscript} has recently announced a proof of finite time singularity formation for the 3D Navier-Stokes equations, in the presence of a C^∞-smooth body force. The construction in~\cite{OpenAIManuscript} has a few key features, among which we single out: (i) the angular mean of the solution satisfies specific Type II bounds which are anisotropic; (ii) the solution is exactly axisymmetric in a collapsing core region. In this paper we consider solutions of the 3D Navier-Stokes equations in the presence of a real-analytic body force, and assume that these solutions satisfy properties (i) and (ii) above. We prove that such solutions are in fact regular at the putative singular point. As a consequence, in the construction of~\cite{OpenAIManuscript}, and in any construction with properties (i) and (ii) whose force remains bounded in C^2 up to the singular time, the force can neither vanish identically near the singular point, nor be real analytic in the space variables, locally uniformly in time. The main idea of the proof is inspired by our earlier work~\cite{CIV26} and the companion paper~\cite{CIVEulerLength}: zooming-in at the putative singularity using the anisotropic length scales provided by the a priori bounds, we arrive at ancient limits whose PDE evolution imposes additional rigidity.
ER -