REVIEW 3 major objections 3 minor 2 cited by
The paper proves that every non-global axisymmetric no-swirl solution is pinned to exactly one interior blow-up point, and that the blow-up point uniquely selects the solution.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-04 22:36 UTC pith:OEHMFRHM
load-bearing objection A genuinely new local trichotomy in a mostly expository paper, undercut by an unqualified endpoint-uniqueness claim that fails in degenerate cases and by citations to an unpublished manuscript. the 3 major comments →
Recent research on (-1)-homogeneous solutions of stationary Navier-Stokes equations
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is Proposition 3.1 in Section 3.1. For each admissible parameter c in J_nu, any solution U_theta of the reduced Riccati-type equation (10) whose maximal domain in (-1,1) is (y0,y1) falls into exactly one of three classes: (a) y0 = -1, y1 = 1, and U_theta is one of the global solutions U^{c,gamma}_theta from the earlier four-parameter classification; (b) y0 = -1 < y1 < 1, with U_theta below the lower solution U^-_theta, boundary value tau1 at y = -1, and divergence to -infinity as y -> y1-; (c) -1 < y0 < y1 = 1, with U_theta above the upper solution U^+_theta, boundary value tau2' at y = 1, and divergence to +infinity as y -> y0+. Proposition 3.2 then asserts that every inte
What carries the argument
The central object is the reduced ODE (10) for U_theta(y) = u_theta sin theta, a Riccati-type equation obtained by rewriting the axisymmetric no-swirl condition on the unit sphere. Solutions are encoded by U_theta = 2 nu (1-y^2) w'/w, where w solves the linear second-order equation (23); when c1, c2 >= -nu^2 this becomes a hypergeometric equation. The proof hinges on the upper and lower envelope solutions U^pm_theta from the earlier classification, the pole boundary values tau1, tau2, tau1', tau2' defined in (14), and uniqueness of the initial-value problem. Two solutions of the Riccati equation cannot cross, so a non-global solution is confined either below U^-_theta or above U^+_theta; the
Load-bearing premise
The trichotomy depends on Lemma 3.2(a): any solution of (10) that reaches the pole y = -1 or y = 1 must have a finite limit equal to one of the two constants tau1, tau2 (or tau1', tau2'), a fact the paper imports from Theorem 1.3 of the earlier paper [25] rather than proving here; if some admissible parameter allowed an infinite, oscillating, or absent pole limit, the classification would miss cases.
What would settle it
Compute a solution of (10) with c in J_nu whose maximal domain is (-1,y1) with y1 < 1 but whose limit at y = -1 equals tau2 instead of tau1: since the unique solution with U(-1) = tau2 is the upper envelope U^+_theta, which is global, such a solution would violate the trichotomy. Alternatively, for a fixed interior point y0, try to construct two distinct solutions on (y0,y0+delta) both blowing up to +infinity; Proposition 3.2(i) says exactly one exists, so a second example would refute it.
If this is right
- Every (-1)-homogeneous axisymmetric no-swirl solution with parameter c in J_nu that is not global is completely described by its single interior blow-up point; there are no other local solution shapes.
- For fixed c, the non-global local solutions of (10) are parameterized by two copies of the open interval (-1,1): one family anchored at y = -1 and one anchored at y = 1, depending on which pole boundary value the solution takes.
- The trichotomy recovers the previously known three types of singular behavior (smooth Landau-type, logarithmic Type 2, and Type 3 with |u| ~ 1/|x'|) as properties of global solutions, while all non-global local solutions exhibit a finite-angle blow-up to +infinity or -infinity.
- Any local axisymmetric no-swirl solution that extends to a pole must be one of the classified global solutions, and any solution that does not extend has a well-defined interior blow-up angle; this sharpens the possible singular-ray asymptotics of the full Navier-Stokes system.
Where Pith is reading between the lines
- The uniqueness of the blow-up point suggests a natural coding map from non-global local solutions with admissible c to the circle: associate to each solution the angle theta0 where it blows up. This map could be a useful building block for classifying solutions with several singular rays, since each ray might carry one such local profile.
- The trichotomy likely extends to axisymmetric solutions with nonzero swirl once the asymptotic expansions cited from the ongoing project [29] are completed, because the swirl equation in (7) decouples from the U_theta equation; the blow-up structure of U_theta should then survive with a swirl component superimposed.
- The hypergeometric representation (30)-(31) gives a concrete way to compute the blow-up point from the initial datum gamma, and to test the uniqueness statement numerically on examples like those in Section 3.2; one could check that different fundamental-solution branch choices lead to the same U_theta.
- The admissible set J_nu is exactly the regime where the pole-anchored trichotomy holds: in the paper's Case 6 (c outside J_nu), interior-to-interior blow-up solutions of type (a3) appear, so the trichotomy would break if finite pole limits ceased to exist for some admissible parameter.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper is an expository survey of recent work on (-1)-homogeneous solutions of the stationary Navier-Stokes equations with singular rays, concentrating on axisymmetric no-swirl solutions. It recalls the classification of global solutions on S^2 minus poles from the authors' earlier papers [25]-[27], the asymptotic expansions and removable singularity results [30], the vanishing-viscosity analysis [28], and the asymptotic stability results [31]. Section 3 contains the new contribution: a study of local solutions of the reduced ODE (10). The authors prove a trichotomy for solutions with maximal domain (Proposition 3.1), a one-to-one correspondence between interior blow-up points and non-global local solutions (Proposition 3.2), and a reduction to the hypergeometric equation (Lemma 3.3), followed by extensive graphical examples in six parameter regimes.
Significance. If correct, the Section 3 results give a fairly complete local description of axisymmetric no-swirl (-1)-homogeneous solutions: every non-global solution is either anchored at a pole with a finite boundary value and blows up at an interior point, or is one of the previously classified global solutions. The hypergeometric representation is explicit and checkable, and the figures usefully illustrate the different asymptotic types. The survey component is also valuable as an organized entry point to a substantial recent literature. However, the new material is a modest increment over [26], and the paper is heavily self-referential. More importantly, one key uniqueness statement reproduced in Proposition 2.1 is false in a degenerate parameter range, and that statement is used in the proof of the central trichotomy. The trichotomy is likely salvageable, but the manuscript as written needs a substantive correction.
major comments (3)
- [Section 2.1.1, Proposition 2.1(ii), equations (14)-(15)] The stated uniqueness is false when tau1=tau2. For c1=-nu^2 (Cases 2 and 4 in Section 3.2), (14) gives tau1=tau2=2nu. By (15), U^-_theta(-1)=tau1=tau2 and U^+_theta(-1)=tau2; Proposition 2.1(i) gives U^-_theta<U^+_theta on (-1,1) whenever c3>cbar(c1,c2). Thus two distinct global solutions share the boundary value U(-1)=tau2, contradicting the assertion that U^+ is the unique solution satisfying U(-1)=tau2. The analogous failure occurs at y=1 when c2=-nu^2, where U^+(1)=tau1'=tau2'=-2nu and U^-(1)=tau1'. The uniqueness assertions must be qualified to hold only when tau1≠tau2 (respectively tau1'≠tau2'). This is not a cosmetic issue: the proof of Proposition 3.1 uses this uniqueness in the line 'Since y1<1, U≠U^+ and thus U(-1)=tau1'. In the degenerate case tau1=tau2 the conclusion is automatic, but the argument as printed is invalid; a correct proof can use a crossing argument with U^- whe
- [Section 3.1, Lemma 3.2(a)] The finite-limit assertion is load-bearing but not proved in the paper; it is imported via the sentence 'By Theorem 1.3 in [25]'. Proposition 3.1 depends critically on the claim that a solution reaching y=-1 must have a finite limit equal to tau1 or tau2. If that input failed (infinite, oscillatory, or absent limit), alternatives (b) and (c) would not exhaust all cases. Since [25] is a published paper, citation is acceptable in principle, but the manuscript should state clearly that Lemma 3.2(a) is a restatement of a theorem from [25] and specify the exact hypotheses, or provide a proof/outline. The current one-line reference is too terse for a result on which the main new proposition rests.
- [Section 2.2.1] The text states that in the ongoing project [29] the authors 'have established the full asymptotic expansion' and 'completely classified' all local no-swirl solutions, and it then uses these assertions as settled facts in the survey. Because [29] is unpublished and not available for verification, these claims should be labelled as announced work-in-progress results or replaced by a statement of what is proved in the published papers [25,26,30]. This does not affect Section 3, but it affects the reliability of the survey portion.
minor comments (3)
- [Section 3.1, Proposition 3.2] The wording 'such that lim_{y->y0+} U_theta does not exist' is confusing: the proof shows that every such solution actually has limit +infty (by Lemma 3.2(b)). The intended meaning is 'does not have a finite limit' or 'blows up'; please rephrase. Also, in the uniqueness proof, the sentence 'there is an lower solution' in Section 3.2 should read 'a lower solution'.
- [Section 3.2, after Case 6] Typo: 'Solutons exist on on' should be 'Solutions exist on'. There are also minor grammatical issues such as 'There is an lower solution'. These do not affect the mathematics.
- [Section 2.1.1, paragraph after Theorem 2.2] The statement 'There is a 1-1 correspondence between u^{c,gamma} and points in the four dimensional surface I_nu' is only true on the generic part of I_nu; when c3=cbar the interval [gamma-,gamma+] collapses to a point, so the parameter set has lower dimension. This is a minor imprecision in description.
Circularity Check
No significant circularity: the new Section 3 trichotomy is derived from the stated ODE with no fitted constants; self-citations are to peer-reviewed theorems that do not assume the conclusion, and the one unpublished self-citation is not load-bearing for the new result.
full rationale
Section 3 is not circular. It starts from the reduced ODE (10) and proves Lemma 3.1, Lemma 3.3 and Corollary 3.1 in-paper. Lemma 3.2(a) imports the finite endpoint-limit fact from Theorem 1.3 of [25] ('By Theorem 1.3 in [25], if y0 = -1, then U_theta(-1) = lim_{y->-1+} U_theta exists and is finite'), a peer-reviewed theorem that does not assume the trichotomy being proved. Proposition 3.1 combines that with the prior classification Theorem 2.2 and Proposition 2.1 from [26] to obtain new alternatives (b) and (c) via standard IVP and crossing arguments; no parameter is fitted and no conclusion is encoded in the ODE. Proposition 3.2 is proved by constructing w from (23) and showing that w'/w is independent of the normalization constant, so the one-to-one correspondence between blow-up points and local solutions is not an input. The only self-citation that goes beyond published work is to the in-preparation manuscript [29] for asymptotic expansions and force formulas; the paper itself marks it as an 'ongoing project' and it is not used in the Section 3 derivation. The reviewer's objection to Proposition 2.1(ii) uniqueness when tau1 = tau2 concerns correctness or completeness of a cited lemma, not circularity: a false or incomplete uniqueness claim would be a gap in the proof of Proposition 3.1, but it does not make the trichotomy definitionally identical to its assumptions. Overall, the paper's central new claims are self-contained in the sense that the ODE analysis is carried out from stated equations with no fitted constants and no conclusions assumed, so any circularity is at most a minor transparency concern from self-citation to unpublished work.
Axiom & Free-Parameter Ledger
axioms (7)
- standard math Standard ODE theory: local existence, uniqueness and continuous dependence for the initial value problem (24), and uniqueness/comparison on maximal intervals
- standard math Fundamental solution theory for second-order linear ODEs and the hypergeometric equation, including the power series 2F1
- domain assumption Correctness of the surveyed classification theorems: Theorem 2.1 ([25]), Theorem 2.2 and Proposition 2.1 ([26]), Theorem 2.3 ([25]), Theorems 2.4-2.5 ([30]), Theorem 2.6 ([28]), Theorem 2.7 ([31])
- domain assumption Finite boundary limits at the poles for solutions of (10): U_theta(-1) in {tau1, tau2} and U_theta(1) in {tau1', tau2'} whenever the domain reaches the endpoint
- ad hoc to paper The full asymptotic expansion and complete local classification of no-swirl solutions asserted in Section 2.2.1, credited to the in-preparation manuscript [29]
- domain assumption Constraint c1, c2 >= -nu^2 for the hypergeometric representation
- standard math Liouville formula (17) for all solutions of -Delta phi + 2 = 2 e^phi on S^2
Cite this review
Pith. "Pith review of Recent research on $(-1)$-homogeneous solutions of stationary Navier-Stokes equations." pith.science (2026). https://pith.science/paper/OEHMFRHM
@misc{pith2026250907243,
author = {Pith},
title = {Pith review of: Recent research on $(-1)$-homogeneous solutions of stationary Navier-Stokes equations},
year = {2026},
howpublished = {\url{https://pith.science/paper/OEHMFRHM}},
note = {Machine review of arXiv:2509.07243}
}
read the original abstract
We make an exposition of recent research on $(-1)$-homogeneous solutions of the three-dimensional incompressible stationary Navier-Stokes equations with singular rays. We also discuss properties of such solutions that are axisymmetric with no swirl, and present graphs illustrating examples that exhibit various typical types of singular behavior.
Figures
Forward citations
Cited by 2 Pith papers
-
Singular stationary Navier-Stokes flows: examples and stability
Analyzes singular stationary Navier-Stokes solutions with boundaries, identifies new classes, and proves asymptotic stability for many including Type III solutions like Serrin's vortex via eventual regularity under ax...
-
Minus one Homogeneous Euler Flows are Geodesible
In n≥4, (-1)-homogeneous Euler flows are geodesible with constant Bernoulli function and induced by geodesible fields on S^{n-1}; in n=4 they extend Beltrami fields on S^3.
Reference graph
Works this paper leans on
-
[1]
K. Abe. Existence of homogeneous Euler flows of degree−α /∈[−2,0].Arch. Ration. Mech. Anal., 248(1):30, 2024
work page 2024
- [2]
-
[3]
Z. Bradshaw and W. Wang. Asymptotic stability for the 3D Navier-Stokes equa- tions inl 3 and nearby spaces.Proc. Amer. Math. Soc., 2025
work page 2025
-
[4]
M. Cannone. Harmonic analysis tools for solving the incompressible Navier-Stokes equations. InHandbook of Mathematical Fluid Dynamics, volume III, pages 16–
-
[5]
M. Cannone and G. Karch. Smooth or singular solutions to the Navier-Stokes system?J. Differential Equations, 197(2):247–274, 2004
work page 2004
-
[6]
M. Cannone, G. Karch, D. Pilarczyk, and G. Wu. Stability of singular solutions to the Navier-Stokes system.J. Differential Equations, 314:316–339, 2022
work page 2022
-
[7]
H. J. Choe and H. Kim. Isolated singularity for the stationary Navier-Stokes system.J. Math. Fluid Mech., 2:151–184, 2000
work page 2000
-
[8]
K. S. Chou and T. Y. H. Wan. Asymptotic radial symmetry for solutions of δu+e u = 0 in a punctured disc.Pacific J. Math., 163(2):269–276, 1994
work page 1994
-
[9]
R. H. Dyer and D. E. Edmunds. Removable singularities of solutions of the Navier- Stokes equations.J. London Math. Soc., 2:535–538, 1970
work page 1970
-
[10]
A. Erd´ elyi, W. Magnus, F. Oberhettinger, and F. Tricomi.Higher Transcendental Functions, volume I. McGraw-Hill, New York, 1953
work page 1953
-
[11]
M. A. Goldshtik. A paradoxical solution of the Navier-Stokes equations.Prikl. Mat. Mekh., 24:610–621, 1960. English transl.,J. Appl. Math. Mech.24(1960), 913-929
work page 1960
-
[12]
A. V. Gusarov. Analytic similarity solutions of the Navier-Stokes equations for a jet in a half space with the no-slip boundary condition.Phys. Fluids, 32:053104, 2020
work page 2020
-
[13]
X. Huang and D. Ye. On sharp anisotropic Hardy inequalities.Int. Math. Res. Not., (9):rnaf110, 2025
work page 2025
- [14]
-
[15]
R. Kajikiya and T. Miyakawa. Onl 2 decay of weak solutions of the Navier-Stokes equations inR n.Math. Z., 192(1):135–148, 1986
work page 1986
-
[16]
G. Karch and D. Pilarczyk. Asymptotic stability of Landau solutions to Navier- Stokes system.Arch. Ration. Mech. Anal., 202:115–131, 2011
work page 2011
- [17]
-
[18]
T. Kato. Strongl p solutions of the Navier-Stokes equations inR m, with applica- tions to weak solutions.Math. Z., 187:471–480, 1984
work page 1984
- [19]
-
[20]
A. Korolev and V. ˇSver´ ak. On the large-distance asymptotic of steady state solutions of the Navier-Stokes equations in 3D exterior domains.Ann. Inst. H. Poincar´ e Anal. Non Lin´ eaire, 28(2):303–313, 2011
work page 2011
-
[21]
H. Kwon and T.-P. Tsai. On bifurcation of self-similar solutions of the stationary Navier-Stokes equations.Commun. Math. Sci., 19(6):1703–1733, 2021
work page 2021
-
[22]
L. Landau. A new exact solution of Navier-Stokes equations.Dokl. Akad. Nauk SSSR, 43:299–301, 1944
work page 1944
-
[23]
P. G. Lemari´ e-Rieusset.Recent Developments in the Navier-Stokes Problem. Chapman & Hall/CRC, Boca Raton, FL, 2002
work page 2002
-
[24]
J. Leray. Sur le mouvement d’un liquide visqueux emplissant l’espace.Acta Math., 63:193–248, 1934
1934
-
[25]
L. Li, Y. Y. Li, and X. Yan. Homogeneous solutions of stationary Navier-Stokes equations with isolated singularities on the unit sphere. I. One singularity.Arch. Ration. Mech. Anal., 227(3):1091–1163, 2018
work page 2018
-
[26]
L. Li, Y. Y. Li, and X. Yan. Homogeneous solutions of stationary Navier-Stokes equations with isolated singularities on the unit sphere. II. Classification of ax- isymmetric no-swirl solutions.J. Differential Equations, 264(10):6082–6108, 2018
work page 2018
-
[27]
L. Li, Y. Y. Li, and X. Yan. Homogeneous solutions of stationary Navier-Stokes equations with isolated singularities on the unit sphere. III. Existence of ax- isymmetric solutions with nonzero swirl.Discrete Contin. Dyn. Syst. Ser. A, 39(12):7163–7211, 2019
work page 2019
-
[28]
L. Li, Y. Y. Li, and X. Yan. Vanishing viscosity limit for homogeneous axisym- metric no-swirl solutions of stationary Navier-Stokes equations.J. Funct. Anal., 277(10):3599–3652, 2019
work page 2019
-
[29]
L. Li, Y. Y. Li, and X. Yan. Asymptotic expansion and singular force of (−1)- homogeneous axisymmetric no-swirl solutions of stationary Navier-Stokes equa- tions near singular rays. In preparation, 2024
work page 2024
-
[30]
L. Li, Y. Y. Li, and X. Yan. Removable singularity of (−1)-homogeneous so- lutions of stationary Navier-Stokes equations.Trans. Amer. Math. Soc., 2024. arXiv:2410.11170 [math.AP], to appear
work page internal anchor Pith review Pith/arXiv arXiv 2024
-
[31]
Y. Y. Li and X. Yan. Asymptotic stability of homogeneous solutions of incompress- ible stationary Navier-Stokes equations.J. Differential Equations, 297:226–245, 2021
work page 2021
-
[32]
Y. Y. Li and X. Yan. Anisotropic Caffarelli-Kohn-Nirenberg type inequalities. Adv. Math., 419:108958, 2023
work page 2023
-
[33]
Y. Y. Li, J. Zhang, and T. Zhang. Asymptotic stability of Landau solutions to Navier-Stokes system underl p-perturbations.J. Math. Fluid Mech., 25:5, 2023. 28
work page 2023
- [34]
- [35]
-
[36]
K. Masuda. Weak solutions of Navier-Stokes equations.Tˆ ohoku Math. J., 36(4):623–646, 1984
work page 1984
-
[37]
H. Miura and T.-P. Tsai. Point singularities of 3D stationary Navier-Stokes flows. J. Math. Fluid Mech., 14:33–41, 2012
work page 2012
-
[38]
S. A. Nazarov and K. Pileckas. On steady Stokes and Navier-Stokes problems with zero velocity at infinity in a three-dimensional exterior domain.J. Math. Kyoto Univ., 40(3):475–492, 2000
work page 2000
-
[39]
F. W. Olver, D. W. Lozier, R. F. Boisvert, and C. W. Clark, editors.NIST Handbook of Mathematical Functions. Cambridge Univ. Press, 2010
work page 2010
-
[40]
A. F. Pillow and R. Paull. Conically similar viscous flows. Part 1. Basic conser- vation principles and characterization of axial causes in swirl-free flow.J. Fluid Mech., 155:327–341, 1985
work page 1985
-
[41]
A. F. Pillow and R. Paull. Conically similar viscous flows. Part 2. One-parameter swirl-free flows.J. Fluid Mech., 155:343–358, 1985
work page 1985
-
[42]
A. F. Pillow and R. Paull. Conically similar viscous flows. Part 3. Characterization of axial causes in swirling flow and the one-parameter flow generated by a uniform half-line source of kinematic swirl angular momentum.J. Fluid Mech., 155:359– 379, 1985
work page 1985
-
[43]
M. E. Schonbek.l 2 decay for weak solutions of the Navier-Stokes equations.Arch. Ration. Mech. Anal., 88:209–222, 1985
work page 1985
-
[44]
J. Serrin. The swirling vortex.Philos. Trans. R. Soc. Lond. Ser. A, 271(1214):325– 360, 1972
work page 1972
-
[45]
V. Shapiro. Isolated singularities of solutions of the nonlinear stationary Navier- Stokes equations.Trans. Amer. Math. Soc., 187:335–363, 1974
work page 1974
-
[46]
V. Shapiro. A counterexample in the theory of planar viscous incompressible flow. J. Differential Equations, 22(1):164–179, 1976
work page 1976
-
[47]
V. Shapiro. Isolated singularities in steady-state fluid flow.SIAM J. Math. Anal., 7(4):577–601, 1976
work page 1976
- [48]
-
[49]
N. A. Slezkin. On an exact solution of the equations of viscous flow.Uch. Zap. MGU, pages 89–90, 1934
work page 1934
-
[50]
H. B. Squire. The round laminar jet.Quart. J. Mech. Appl. Math., 4(3):321–329, 1951
work page 1951
-
[51]
Temam.Navier-Stokes Equations: Theory and Numerical Analysis
R. Temam.Navier-Stokes Equations: Theory and Numerical Analysis. North- Holland, Amsterdam, 1977
work page 1977
-
[52]
G. Tian and Z. P. Xin. One-point singular solutions to the Navier-Stokes equations. Topol. Methods Nonlinear Anal., 11(1):135–145, 1998
work page 1998
- [53]
-
[54]
C. Y. Wang. Exact solutions of the steady-state Navier-Stokes equations.Annu. Rev. Fluid Mech., 23:159–177, 1991
work page 1991
-
[55]
V. I. Yatseyev. On a class of exact solutions of the equations of motion of a viscous fluid.Dokl. Akad. Nauk SSSR, 73:1121–1124, 1950
work page 1950
-
[56]
J. Zhang and T. Zhang. Local well-posedness of perturbed Navier-Stokes system around Landau solutions.Electron. Res. Arch., 29(4):2719–2739, 2021
work page 2021
-
[57]
Asymptotic stability of homogeneous solutions to Navier-Stokes equations under $L^{p}$-perturbations
Z. Zhao and X. Zheng. Asymptotic stability of homogeneous solutions to Navier- Stokes equations underl p-perturbations.arXiv:2304.00840 [math.AP], 2023. 30
work page internal anchor Pith review Pith/arXiv arXiv 2023
-
[244]
North-Holland, Amsterdam, 2004. 26
work page 2004
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.