Homothetic Self-Similar Solutions to the Incompressible Navier-Stokes Equations

Matei P. Coiculescu; Tim Binz

Homothetic Self-Similar Solutions to the Incompressible Navier-Stokes Equations

T0 review · 3 major / 1 minor · reviewed 2026-07-15 · grok-4.5

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

Pith's one-line read A Liouville theorem rules out nontrivial homothetic self-similar Navier-Stokes solutions in 3D

desk verdict Abstract-only Liouville claim that kills the whole homothetic class for 3-D forward self-similar NS; potentially decisive for the Jia-Šverák route, but regularity threshold and exact homothety definition remain unchecked. read the letter →

arxiv 2607.12159 v1 pith:Q3IUHE2M submitted 2026-07-13 math.AP physics.flu-dyn

Tim Binz , Matei P. Coiculescu This is my paper · ORCID

classification math.APphysics.flu-dyn MSC 35Q3076D0535B4035B53

keywords Navier-Stokesequationsself-similarsolutionshomotheticLiouvilletheoremOseenvortexlinearizedEuleroperatornon-uniquenessLeray-Hopf

topics 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

The paper studies a special class of forward self-similar solutions to the incompressible Navier-Stokes equations, called homothetic solutions: profiles Ū for which both Ū itself and a nontrivial scalar multiple βŪ are also self-similar profiles. These are precisely the solutions that would let a singular-limit argument produce non-uniqueness of Leray-Hopf weak solutions, following the Jia-Šverák program. In three dimensions, for sufficiently regular initial data, the authors prove a Liouville theorem that forbids any nontrivial such profiles. In two dimensions the same theorem shows that the only decaying homothetic solution is the classical Oseen vortex. They further establish that the Euler operator linearized about the Oseen vortex is stable, while also exhibiting a different homothetic solution that admits an unstable approximate eigenvalue for the linearized Euler operator. If the three-dimensional non-existence result holds at the regularity needed for the singular-limit construction, it blocks one natural route to non-uniqueness via self-similar blow-up profiles.

What carries the argument

Homothetic forward self-similar solutions: profiles Ū such that both Ū and βŪ (β nontrivial) are self-similar Navier-Stokes profiles. The Liouville theorems that rule them out (or reduce them to the Oseen vortex) are the central mechanism, together with the spectral analysis of the linearized Euler operator around the Oseen vortex.

What would settle it

An explicit nontrivial, sufficiently regular three-dimensional homothetic forward self-similar solution, or a proof that every candidate profile arising in a Jia-Šverák singular-limit construction necessarily fails the regularity or double-self-similarity hypotheses used here.

Watch

Extended reading notes

Core claim

In three space dimensions, sufficiently regular initial data admit no nontrivial homothetic forward self-similar solutions of the incompressible Navier-Stokes equations. In two dimensions the only decaying homothetic solution is the Oseen vortex. The linearized Euler operator about that vortex is stable, yet another homothetic solution carries an unstable approximate eigenvalue.

Load-bearing premise

The non-existence statements require initial data that are regular enough for the Liouville argument to close, and they apply only to solutions that are simultaneously self-similar after two different scalings.

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.

Desk Editor's Note

read the letter

The punchline is simple: if the proofs hold, this paper closes the entire homothetic subclass as a vehicle for singular-limit non-uniqueness of Leray-Hopf solutions. That is the only class for which the Jia-Šverák program can even run, so a clean Liouville theorem here is a real within-field advance, even though it does not settle the Clay problem itself.

What is new is the 3-D non-existence statement for sufficiently regular data, the 2-D classification that the only decaying homothetic solution is the Oseen vortex, the stability of the linearized Euler operator around that vortex, and the discovery of another homothetic profile that carries an unstable approximate eigenvalue. The abstract is cleanly written and the logical structure is transparent: they isolate the homothetic condition (both Ū and βŪ self-similar for nontrivial β), then prove Liouville under that extra structure. No free parameters or circular normalizations appear.

The soft spots are exactly the ones the stress-test flags and they are real but not manufactured. “Sufficiently regular” is unquantified in the abstract, and we cannot see the precise function-space setting or the decay class. If that threshold sits above the profiles needed for the singular-limit construction, the non-existence claim misses its target. The same opacity applies to the spectral statements. Because we have only the abstract, soundness cannot be scored higher than provisional; that is not a flaw in the work, just a limit of what we can inspect.

This is for people already working on self-similar NS, Leray-Hopf non-uniqueness, or spectral theory of the Oseen linearization. A serious referee should see the full manuscript. I would send it out for peer review rather than desk-reject; the claimed results are important enough and formally grounded enough to deserve that time, even if heavy revision on the regularity hypotheses turns out to be needed.

Referee Report

3 major / 1 minor

Summary. The manuscript studies homothetic forward self-similar solutions of the incompressible Navier–Stokes equations: profiles Ū such that both Ū and βŪ are self-similar for some nontrivial scalar β. The authors assert that these are the only solutions for which a singular-limit argument can establish non-uniqueness of Leray–Hopf solutions along the Jia–Šverák program. In three dimensions they claim a Liouville theorem ruling out nontrivial homothetic solutions for sufficiently regular initial data; in two dimensions the same theorem identifies the Oseen vortex as the unique decaying homothetic solution. Complementary spectral statements are made for the Euler operator linearized about the Oseen vortex (stability) and for another homothetic profile that is said to admit an unstable approximate eigenvalue.

Significance. If the three-dimensional Liouville theorem holds in a function class that includes the self-similar profiles contemplated by Jia and Šverák, it would eliminate one principal route to non-uniqueness of Leray–Hopf solutions via self-similar blow-up, a central question in Navier–Stokes regularity theory. The two-dimensional uniqueness result for the Oseen vortex and the claimed spectral stability of the linearized Euler operator would be useful contributions to two-dimensional vortex dynamics. The reported existence of a homothetic profile carrying an unstable approximate eigenvalue is of independent interest for the spectral theory of the Euler equations. The work therefore addresses a load-bearing intersection of self-similar analysis, non-uniqueness, and spectral stability.

major comments (3)

[Abstract] The central three-dimensional non-existence claim is conditioned on an unquantified “sufficiently regular initial data” hypothesis. Without an explicit function-space setting (weighted Sobolev, mild-solution, or decay class), it is impossible to decide whether the Liouville theorem covers the profiles required for a Jia–Šverák singular-limit construction. This regularity threshold is load-bearing for the paper’s main claim and must be stated and justified precisely.
[Abstract] Homothety is defined only informally as the requirement that both Ū and βŪ (β nontrivial) be self-similar profiles. The precise relation among the scaling parameters, the admissible range of β, and the ambient function class is not given. Until this structural definition is made rigorous, one cannot verify the further claim that homothetic solutions are the only ones permitting the singular-limit non-uniqueness argument.
[Abstract] The assertion that a discovered homothetic solution admits an “unstable approximate eigenvalue” of the linearized Euler operator lacks a precise spectral definition (approximate point spectrum, numerical-range criterion, or resolvent estimate). Without that definition the spectral claim cannot be assessed, nor can its relation to genuine linear instability be checked.

minor comments (1)

[Abstract] The abstract is otherwise clearly written; no further presentation issues can be assessed without the full text.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity detectable: pure existence/non-existence Liouville and spectral claims with no fitted parameters or self-referential reductions visible in the abstract.

full rationale

The abstract presents classical analytic results for the incompressible Navier-Stokes equations: a Liouville theorem ruling out non-trivial homothetic forward self-similar solutions in 3D under a regularity hypothesis, uniqueness of the Oseen vortex among decaying homothetic solutions in 2D, and spectral statements about the linearized Euler operator around that vortex. These are existence/non-existence and stability claims. Nothing in the abstract indicates that any conclusion is obtained by fitting a free parameter to data and then re-labeling the fit as a prediction, by defining the object of study in terms of the claimed result, or by importing a uniqueness theorem whose only support is an overlapping-author citation. The structural definition of a homothetic solution (both Ū and etaŪ self-similar for nontrivial eta) is an input hypothesis, not a circular redefinition of the output. Because only the abstract is available, no internal equation-by-equation reduction can be exhibited; under the hard rule that circularity may be claimed only when a specific reduction can be quoted, the correct score is 0. The reader’s concern about an unquantified regularity threshold is a correctness/scope issue, not circularity.

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

Abstract-only review; free parameters and invented entities cannot be enumerated from the text. The work rests on the standard incompressible Navier-Stokes equations, the classical notion of forward self-similar solutions, and the definition of homothety (both Ū and βŪ self-similar). No new physical constants or particles are introduced.

assumptions (3)

domain assumption Incompressible Navier-Stokes equations in 2D/3D with the usual divergence-free constraint
Background PDE system assumed throughout; not re-derived.
domain assumption Forward self-similar solutions are well-defined via the standard parabolic scaling
Standard ansatz in the Jia-Šverák literature; taken as given.
ad hoc to paper Homothetic means both Ū and βŪ (β nontrivial) are self-similar profiles
Definition introduced by the authors to isolate the class amenable to singular-limit non-uniqueness arguments.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Homothetic Self-Similar Solutions to the Incompressible Navier-Stokes Equations." pith.science (2026). https://pith.science/paper/Q3IUHE2M

@misc{pith2026260712159,
  author       = {Pith},
  title        = {Pith review of: Homothetic Self-Similar Solutions to the Incompressible Navier-Stokes Equations},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Q3IUHE2M}},
  note         = {Machine review of arXiv:2607.12159}
}

abstract

We investigate homothetic forward self-similar solutions of the incompressible Navier-Stokes equations: the solutions $\overline{U}$ for which both $\overline{U}$ and $\beta \overline{U}$ are self-similar profiles for some nontrivial $\beta$. Homothetic solutions are, in addition, the only solutions for which a singular limit argument can be used to prove non-uniqueness of Leray-Hopf solutions along the lines of the Jia-\v{S}ver\'ak program. In three dimensions, and for sufficiently regular initial data, we prove a Liouville theorem that rules out the existence of non-trivial homothetic solutions. In two dimensions, our Liouville theorem proves that the only decaying homothetic solution is the Oseen vortex. In addition, we prove that the Euler operator linearized around the Oseen vortex is stable. On the other hand, we also discover a homothetic solution for which an unstable approximate eigenvalue of the linearized Euler operator exists.

Discussion (0). Continue with ORCID to comment.

Pith tools

Reviewed July 15, 2026 · model on record in the stance chip above.