Pith. sign in

REVIEW 2 major objections 3 minor 32 references

Singularidades para as solu\c{c}\~{o}es das Equa\c{c}\~{o}es de Navier-Stokes and Euler e o Problema do Mil\^{e}nio

T0 review · 2 major / 3 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The survey's central claim: smooth solutions of 3D Euler can blow up in finite time, with a possible bridge to Navier-Stokes.

desk verdict Useful survey, but Theorem 9 overstates Chen–Hou by omitting the boundary-domain caveat, and the 3D Navier-Stokes hint is presented too strongly. read the letter →

arxiv 2509.07638 v1 pith:NT6JVZA6 submitted 2025-09-09 math.AP

Milton C. Lopes Filho , Helena J. Nussenzveig Lopes This is my paper · ORCID
classification math.AP MSC 35Q3035Q3135B44
keywords Navier-StokesequationsEulerfinite-timesingularityvorticitystretchingMillenniumPrizeproblemself-similarblow-upcomputer-assistedproofBoussinesq
topics Navier-Stokes Regularity
open problems Navier-Stokes Regularity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This survey, written in Portuguese as a plenary overview, maps the long-standing question of whether smooth solutions of the Euler and Navier-Stokes equations can develop singularities in finite time. Its central point is that this question has recently become concrete: the authors present Theorem 9, a computer-assisted result of Chen and Hou, asserting that there is a family of smooth initial data for which the 2D Boussinesq and 3D Euler equations form stable, nearly self-similar singularities in finite time. Around this result, the paper organizes the classical toolbox — local well-posedness, Leray-Hopf weak solutions, the Beale-Kato-Majda criterion, critical spaces — to explain why the 3D vorticity-stretching term can produce Riccati-like blow-up while 2D vorticity transport cannot. The survey also reports Hou's announcement that the same configuration suggests a potential singularity for the 3D Navier-Stokes equations, which remains a conjecture. The value of the survey is a clear map of the exact state of the Millennium problem and its inviscid neighbor.

What carries the argument

The load-bearing mechanism is the vorticity formulation. Taking the curl of the velocity equation gives ∂tω + (u·∇)ω = (ω·∇)u + νΔω; the term (ω·∇)u, the vortex-stretching term, is quadratic in ω and has the same order of regularity as ω, making the equation locally resemble a Riccati equation Ẇ = W² that blows up in finite time. In 2D this term vanishes, which is why vorticity transport prevents singularities. The survey's models — the one-dimensional 'baby vorticity equation' ∂tω = H(ω)ω with the Hilbert transform, the contour dynamics of a vortex patch, and the SQG equation — are used to show both the plausibility and the subtlety of blow-up. The modern result's machinery is the stable, n

What would settle it

Independently verify the computer-assisted bounds in references [6,7] — recompute the interval arithmetic for the self-similar profile and the stability constants; if any claimed inequality fails, the theorem's proof is invalid. For the suggested Navier-Stokes singularity, run a high-resolution adaptive simulation of the axisymmetric configuration of [18] on the full 3D equations: if vorticity remains bounded well beyond the projected blow-up time, the transfer to Navier-Stokes would be contradicted.

Watch

Extended reading notes

Core claim

The authors' central claim, conveyed through the survey, is that the decisive recent advance is Theorem 9 (Chen–Hou [6,7]): there exists a family of smooth initial data for which the 2D Boussinesq equations and the 3D Euler equations form stable, nearly self-similar singularities in finite time. Computer assistance is needed both to construct the self-similar profiles with small error and to compute optimal majorants for the constants in the stability analysis; the complete work was not yet accepted for publication at the time of writing. The authors present this as the answer to the long-open singularity question for ideal fluids, and they report Hou's 2024 announcement [18] that this confi

Load-bearing premise

The survey's most consequential claim rests on the correctness of the Chen–Hou computer-assisted proof, which the survey itself notes was not yet fully accepted for publication, and on the step from a generalized axisymmetric Navier-Stokes model to the full 3D Navier-Stokes equations.

Editorial extensions

If this is right

  • If Theorem 9 is correct, smooth solutions of the 3D Euler equations can lose regularity in finite time; the classical open question about inviscid blow-up would be resolved in the affirmative.
  • The Beale-Kato-Majda criterion then requires that the L∞ norm of vorticity diverges at the blow-up time; the Chen-Hou profiles provide a concrete quantitative scenario in which this divergence occurs.
  • If Hou's suggested transfer holds, the Millennium problem for Navier-Stokes could be settled by exhibiting smooth initial data with no global smooth solution — the singularity branch of the Clay statement.
  • The survey's account implies that the real obstacle for Navier-Stokes is intermediate-time dynamics, not small-data global existence, since global existence is already known for small data in critical spaces.
  • Computer-assisted proof with rigorous numerical bounds would be established as an essential tool for settling PDE singularity questions, not just a heuristic.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The survey does not flag that reference [18] concerns a generalized axisymmetric Navier-Stokes model rather than the full 3D equations; a reader should treat the Navier-Stokes extension as a conjecture about a related model, not an established step.
  • The same odd-swirl, boundary-origin singularity geometry suggests a concrete test: direct numerical simulations of the full 3D Navier-Stokes equations at decreasing viscosity, using analogous initial data, could look for whether the blow-up persists or is regularized.
  • If Euler blow-up holds, the vanishing-viscosity limit of Navier-Stokes becomes a subtle question: the dissipation may smooth the singularity for any fixed ν>0, and the blow-up could emerge only in the limit, connecting to anomalous dissipation and turbulence theory.
  • The survey's opinion-poll anecdote from 2007 (experts split on Euler, majority against for Navier-Stokes) is not mathematical evidence, but it suggests the recent computer-assisted results have shifted the field's working hypotheses.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 3 minor

Summary. This is a Portuguese-language survey, based on a plenary talk, of the mathematical theory around the Navier–Stokes Millennium problem and finite-time singularity questions for the Euler equations. It states the PDEs on R^N, recalls the Millennium problem for R^3, and reviews classical results: Kato local well-posedness, Leray–Hopf weak solutions, Wiedemann's wild solutions, the Constantin–Lax–Majda model, vortex patches, SQG, scaling-critical spaces, and the Serrin and BKM blow-up criteria. The final part presents Chen and Hou's computer-assisted construction of stable, nearly self-similar blow-up for 2D Boussinesq and 3D Euler and reports Hou's suggestion of a possible connection to 3D Navier–Stokes. No new mathematical results are claimed.

Significance. As a survey, the paper is useful and generally reliable: it covers a broad set of standard results in a concise and historically informed way, and it draws attention to a major recent development in the singularity problem. Its value, however, depends on the accuracy of the framing of that recent development. The paper explicitly acknowledges the computer-assisted nature of the Chen–Hou proof and notes, in the following paragraph, that the singularity originates at the boundary of the domain. Those acknowledgements are strengths. The survey is not an original research contribution and makes no falsifiable predictions; its significance lies entirely in exposition.

major comments (2)
  1. [Theorem 9, p. 11] Theorem 9 is stated without specifying the spatial domain: it asserts that there is a family of smooth data for which 2D Boussinesq and 3D Euler form stable nearly self-similar singularities in finite time. Since the system (1) is introduced on R^N and the Millennium problem is stated on R^3 with Schwartz data, this unqualified statement invites the reader to believe that the whole-space 3D Euler finite-time blow-up problem has been resolved. The very next paragraph says 'A singularidade se origina na fronteira do domínio', so the domain in Chen–Hou's work has a boundary. The theorem statement should explicitly name the domain (e.g., axisymmetric Euler in a cylinder-like domain with boundary, and the analogous Boussinesq setting) and should state that the whole-space problem remains open. This is load-bearing for the survey's central recent-advance narrative.
  2. [p. 11, sentence citing [18]] The survey states: 'Em 2024 Hou anunciou que esta configuração sugere singularidade potencial também para 3D Navier-Stokes', citing reference [18]. The cited title is 'Nearly self-similar blowup of generalized axisymmetric Navier-Stokes equations'. This is a modified model, not the full 3D Navier–Stokes system. As written, the survey overstates the implication for the Millennium problem. The sentence should explicitly say 'generalized axisymmetric Navier–Stokes' and should avoid suggesting that a direct singularity scenario for full 3D Navier–Stokes has been announced.
minor comments (3)
  1. [p. 11, after Theorem 9] The sentence 'O trabalho completo ainda não foi aceito para publicação' is outdated or at least ambiguous: reference [7] is listed as published in Multiscale Modeling & Simulation 23(1):25–130, 2025. If the intended referent is Part I only, that should be stated explicitly.
  2. [Title] The title mixes Portuguese and English: 'Navier-Stokes and Euler' should read 'Navier-Stokes e Euler' in a Portuguese-language article.
  3. [References] Reference [18] is dated 2025 in the bibliography, while the text says 'Em 2024 Hou anunciou'. Please clarify whether the announcement was in 2024 and the paper appeared in 2025.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the survey derives nothing and makes no predictions; all load-bearing results are external cited work, so the derivation chain is not self-referential.

full rationale

The paper is an expository survey, not an original derivation. It restates the Millennium Problem and surveys theorems from external literature. None of the theorems is proved in the paper, and no parameter is fitted or renamed as a prediction. Theorem 9 is reported as the Chen–Hou computer-assisted result, with the survey explicitly attributing it to [6,7]; the survey does not claim to establish the blow-up itself. The later statement about a potential 3D Navier–Stokes singularity is attributed to Hou [18], again without original derivation. The reliance on external literature is the normal structure of a survey and does not constitute circularity. One accuracy concern is that Theorem 9 states '3D Euler formam singularidades' without specifying the spatial domain, while later text notes 'A singularidade se origina na fronteira do domínio'; this is a completeness/communication caveat, not a circular reduction. Similarly, the unqualified link to 3D Navier–Stokes via a generalized axisymmetric model is a precision issue, not circularity. No step in the paper reduces to its own input, either by definition or by self-citation.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

No free parameters are fitted and no new entities are introduced; this is a survey of existing results. The ledger records the external theorems the narrative rests on, with special attention to the recent Chen-Hou blow-up proof and Hou's generalized-axisymmetric suggestion, because those carry the strongest claims and are presented with limited hedging.

assumptions (4)
  • standard math Correctness of the classical theorems surveyed (Kato 1972, 1984; Leray-Hopf 1934/1951; Wiedemann 2011; Constantin-Lax-Majda 1985; Chemin 1993; Kiselev et al. 2007; Caffarelli-Vasseur 2010; Serrin 1962; BKM 1984; Constantin-Fefferman-Majda 1996).
    The survey's statements about the known state of the art rest on these external results; an independent reader would verify against originals. This is normal background for a review.
  • domain assumption The Chen-Hou computer-assisted proof of stable near-self-similar blow-up for 2D Boussinesq and 3D Euler from smooth data is correct (Theorem 9, refs [6,7]).
    The survey's headline recent advance depends on this external proof, which the survey does not reproduce and which relies on rigorous numerics. The paper itself notes the full work had not been accepted at the time of writing.
  • domain assumption Hou's announced potential singularity for 3D Navier-Stokes transfers from the generalized axisymmetric model in [18] to the full equations.
    The survey's closing claim blurs the model restriction; the cited paper concerns generalized axisymmetric Navier-Stokes, not the exact 3D Navier-Stokes system.
  • standard math The reaction-diffusion analog W_t = W^2 + νΔW forms finite-time singularities.
    Used as motivation in the vortex-stretching discussion; standard but uncited. Not load-bearing for the survey's conclusions.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Singularidades para as solu\c{c}\~{o}es das Equa\c{c}\~{o}es de Navier-Stokes and Euler e o Problema do Mil\^{e}nio." pith.science (2026). https://pith.science/paper/NT6JVZA6

@misc{pith2026250907638,
  author       = {Pith},
  title        = {Pith review of: Singularidades para as solu\cc\~oes das Equa\cc\~oes de Navier-Stokes and Euler e o Problema do Mil\^enio},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NT6JVZA6}},
  note         = {Machine review of arXiv:2509.07638}
}
read the original abstract

The purpose of this note is to offer a birds-eye view on the history and the state-of-the-art in the research surrounding the Millenium Prize problem for the Navier-Stokes equations, the general problem of singularities in fluid dynamics and the corresponding problem for the Euler equations. This is the content of a plenary talk delivered at the 2024 Biannual meeting of the Brazilian Math Society by Helena Nussenzveig Lopes and it is written in portuguese.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

32 extracted references · 32 canonical work pages

  1. [7]

    Jiajie Chen and Thomas Y. Hou. Stable nearly self-similar blowup of the 2d boussinesq and 3d euler equations with smooth data i: Analysis, 2023

    work page 2023

  2. [18]

    über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen.Math

    Eberhard Hopf. über die Anfangswertaufgabe für die hydrodynamischen Grundgleichungen.Math. Nachr., 4:213–231, 1951

    work page 1951

  3. [1]

    espaços críticos de dados iniciais

    Novamente, a equação resultante tem uma estrutura análoga à da equação de vorticidade em dimensão três. Coloca-se naturalmente a pergunta: formam-se singularidades no contorno em tempo finito? Theorem 5(Chemin, 1993 [5]).Assuma que∂D 0∈C 1,γ,0< γ <1. Então∂D(t)∈C 1,γ, para todot≥0. Mais ainda, a curvatura e o comprimento do contorno são estimáveis por uma...

    work page 1993

  4. [2]

    J. T. Beale, T. Kato, and A. Majda. Remarks on the breakdown of smooth solutions for the3-D Euler equations.Comm. Math. Phys., 94(1):61–66, 1984

    work page 1984

  5. [3]

    Caffarelli and Alexis Vasseur

    Luis A. Caffarelli and Alexis Vasseur. Drift diffusion equations with fractional diffusion and the quasi-geostrophic equation.Ann. of Math. (2), 171(3):1903– 1930, 2010

    work page 1903

  6. [4]

    Sur la pression ou la tension des corps solides.Exercices de mathématiques, 2:42—-57, 1827

    Augustin Cauchy. Sur la pression ou la tension des corps solides.Exercices de mathématiques, 2:42—-57, 1827

    work page

  7. [5]

    Sur l’équilibre ou le mouvement d’un système de points ma- tériels sollicités par des forces d’attraction ou de répulsion naturelle.Exercices de mathématiques, 4:129––139, 1829

    Augustin Cauchy. Sur l’équilibre ou le mouvement d’un système de points ma- tériels sollicités par des forces d’attraction ou de répulsion naturelle.Exercices de mathématiques, 4:129––139, 1829

    work page

  8. [6]

    Persistance de structures géométriques dans les fluides in- compressibles bidimensionnels.Ann

    Jean-Yves Chemin. Persistance de structures géométriques dans les fluides in- compressibles bidimensionnels.Ann. Sci. École Norm. Sup. (4), 26(4):517–542, 1993

    work page 1993

Show all 32 references
  1. [8]

    Jiajie Chen and Thomas Y. Hou. Stable nearly self-similar blowup of the 2d boussinesq and 3d euler equations with smooth data ii: Rigorous numerics. Multiscale Modeling & Simulation, 23(1):25–130, 2025. NA VIER-STOKES E O PROBLEMA DO MILÊNIO 13

    2025

  2. [9]

    Constantin, P

    P. Constantin, P. D. Lax, and A. Majda. A simple one-dimensional model for the three-dimensional vorticity equation.Comm. Pure Appl. Math., 38(6):715– 724, 1985

    1985

  3. [10]

    Peter Constantin, Charles Fefferman, and Andrew J. Majda. Geometric cons- traints on potentially singular solutions for the3-D Euler equations.Comm. Partial Differential Equations, 21(3-4):559–571, 1996

    1996

  4. [11]

    Réflexions sur la cause générale des vents

    Jean Le Rond D’Alembert. Réflexions sur la cause générale des vents

  5. [12]

    Mémoire sur la dynamique des fluides.séance du 14 Avril 1834, Académie des Sciences

    Adhémar Barré de Saint-Venant. Mémoire sur la dynamique des fluides.séance du 14 Avril 1834, Académie des Sciences

  6. [13]

    Note à joindre au mémoire sur la dynamique des fluides, présenté le 14 avril 1834.C

    Adhémar Barré de Saint-Venant. Note à joindre au mémoire sur la dynamique des fluides, présenté le 14 avril 1834.C. R. Acad. Sci. Paris, 17:1240––1243, 1843

  7. [14]

    Mémoire sur des formules nouvelles pour la solution des problèmes relatifs aux eaux courantes.C

    Adhémar Barré de Saint-Venant. Mémoire sur des formules nouvelles pour la solution des problèmes relatifs aux eaux courantes.C. R. Acad. Sci. Paris, 31:283––286, 1850

  8. [15]

    Principes généraux du mouvement des fluides.Mémoires de l’Académie Royale des Sciences et des Belles Lettres de Berlin, 11:274—-315, 1755 [printed in 1757]

    Leonhard Euler. Principes généraux du mouvement des fluides.Mémoires de l’Académie Royale des Sciences et des Belles Lettres de Berlin, 11:274—-315, 1755 [printed in 1757]

  9. [16]

    Euler equations: 250 Years on (EE250)].Phys

    GregoryEyink, UrielFrisch, RenéMoreau, andAndre˘iSobolevski˘i.General introduction [Proceedings of an international conference. Euler equations: 250 Years on (EE250)].Phys. D, 237(14-17):xi–xv, 2008. Held in Aussois, June 18–23 2007

    2008

  10. [17]

    On the Navier-Stokes initial value problem

    Hiroshi Fujita and Tosio Kato. On the Navier-Stokes initial value problem. I. Arch. Rational Mech. Anal., 16:269–315, 1964

    1964

  11. [19]

    ThomasY.Hou.Nearlyself-similarblowupofgeneralizedaxisymmetricnavier- stokes equations, 2025

    2025

  12. [20]

    https://www.claymath.org/millennium/navier-stokes equation

  13. [21]

    Nonstationary flows of viscous and ideal fluids inR3.J

    Tosio Kato. Nonstationary flows of viscous and ideal fluids inR3.J. Functional Analysis, 9:296–305, 1972

    1972

  14. [22]

    StrongL p-solutions of the Navier-Stokes equation inR m, with applications to weak solutions.Math

    Tosio Kato. StrongL p-solutions of the Navier-Stokes equation inR m, with applications to weak solutions.Math. Z., 187(4):471–480, 1984

    1984

  15. [23]

    Kiselev, F

    A. Kiselev, F. Nazarov, and A. Volberg. Global well-posedness for the criti- cal 2D dissipative quasi-geostrophic equation.Invent. Math., 167(3):445–453, 2007

    2007

  16. [24]

    Well-posedness for the Navier-Stokes equa- tions.Adv

    Herbert Koch and Daniel Tataru. Well-posedness for the Navier-Stokes equa- tions.Adv. Math., 157(1):22–35, 2001

    2001

  17. [25]

    CRC Press, Boca Raton, FL, 2016

    Pierre Gilles Lemarié-Rieusset.The Navier-Stokes problem in the 21st century. CRC Press, Boca Raton, FL, 2016

    2016

  18. [26]

    Sur le mouvement d’un liquide visqueux emplissant l’espace.Acta Math., 63(1):193–248, 1934

    Jean Leray. Sur le mouvement d’un liquide visqueux emplissant l’espace.Acta Math., 63(1):193–248, 1934

    1934

  19. [27]

    Mémoire sur les lois du mouvement des fluides.Mémoires de l’Acad

    Claude-Louis Navier. Mémoire sur les lois du mouvement des fluides.Mémoires de l’Acad. des Sciences de l’Institut de France, 6:389––440, 1827 [read in March and December 1822]

  20. [28]

    Mémoire sur l’équilibre et le mouvement des corps élas- tiques.Mémoires de l’Acad

    Siméon Denis Poisson. Mémoire sur l’équilibre et le mouvement des corps élas- tiques.Mémoires de l’Acad. des Sciences, 8:357––570, 1829. 14 M. C. LOPES FILHO AND H. J. NUSSENZVEIG LOPES

  21. [29]

    Explicit solutions of the viscous model vorticity equation

    Steven Schochet. Explicit solutions of the viscous model vorticity equation. Comm. Pure Appl. Math., 39(4):531–537, 1986

    1986

  22. [30]

    The initial value problem for the Navier-Stokes equations

    James Serrin. The initial value problem for the Navier-Stokes equations. In Nonlinear Problems (Proc. Sympos., Madison, Wis., 1962), pages 69–98. Univ. Wisconsin Press, Madison, WI, 1963

    1962

  23. [31]

    On the steady motion of incompressible fluids.Trans

    George Gabriel Stokes. On the steady motion of incompressible fluids.Trans. Cambridge Phl. Soc

  24. [32]

    Cambridge Phl

    GeorgeGabrielStokes.Onthetheoryoftheinternalfrictionoffluidsinmotion, and of the equilibrium and motion of elastic solids.Trans. Cambridge Phl. Soc., 8:287––319, 1849. (Milton C. Lopes Filho)Instituto de Matemática, Universidade Fede- ral do Rio de Janeiro, Cidade Universitári...

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.