{"id":"12e08121-b313-49d4-a064-3486bb11a5e7","arxiv_id":"2507.10094","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":3.0,"correctness_risk":"high","formal_verification":"none","parameter_count":1,"one_line_summary":"The paper asserts finite-time blowup times for smooth 3D Navier-Stokes solutions, but the arguments only bound how long certain a priori estimates remain valid.","lead":"This paper claims to show that smooth solutions of the 3D Navier-Stokes equations can exist only up to a finite time, and that a blowup time can be found for each case considered. The proof, however, only shows that certain energy estimates break down at a finite time, not that the fluid velocity itself stops existing or becomes singular.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The proof's finite-time \"blowup time\" is only the pole of an upper-bound majorant. A Riccati inequality of the form dy/dt ≤ ay²+b cannot force singularity; the opposite inequality would be needed, so (3.3)-(3.8) do not establish blowup of u.","rationale":"The reader rejected the paper and identified the derivation of (3.3) as the weak point. I agree the paper should be rejected, but I locate the decisive flaw one step later. Even a fully rigorous derivation of (3.3) would only produce an upper bound; Corollary 1 and (3.8) then compute a pole of the bound. Since y(t) ≤ M(t) with M(t)→∞ does not imply y(t)→∞, none of the four theorems demonstrates blowup. The same logical error also appears in Sections 4-6, where the same Riccati upper-bound structure is invoked. I therefore recommend REJECT; a conditional accept would require a lower-bound Riccati estimate and a rigorous derivation of (3.3), neither of which is present.","tokens_in":15030,"tokens_out":8476,"duration_ms":101593,"concrete_test":"Analytical check of the inference in Proposition 1: with a=1, b=0, y0=1, the function y(t)=1/(1+t) satisfies dy/dt ≤ ay²+b for all t≥0 and is globally bounded, while the bound (3.4) has denominator zero at T1=1 (the maximal solution 1/(1-t) blows up, but y does not). Thus the divergence of the majorant in (3.4)/(3.8) does not imply the solution diverges; if the same logical step is applied to the Navier-Stokes H1 norm, the claimed finite-time blowup is unsupported.","verdict_should_be":"REJECT","load_bearing_attack":"The load-bearing step is the passage from the integrated estimate (3.2) to the pointwise Riccati problem (3.3) in Section 3.0.1, and then the interpretation of (3.4)-(3.8). First, (3.2) is an inequality for the L² norms ||u||²+||∇u||², while (3.3) is written for the pointwise integrand |u|²+|∇u|²; no argument is given that permits this passage. Second, and more decisively, even accepting (3.3), the inequality points the wrong way for blowup. Proposition 1 gives an upper bound y(t) ≤ M(t), and M(t) diverges when the denominator in (3.4) vanishes; but an upper bound that diverges is consistent with y remaining finite and smooth. A finite-time singularity requires a lower-bound estimate, e.g. dy/dt ≥ ay²+b, or a separate argument that the Sobolev norm must exceed every finite level before T1. Consequently the T_i defined via (3.8) are, at best, times up to which certain a priori estimates are valid, not blowup times of the solution.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper claims to show that for each of four smoothness settings, the three-dimensional incompressible Navier-Stokes Cauchy problem has a finite blowup time, while also establishing local strong or smoother solutions up to that time. The argument is based on deriving Riccati-type differential inequalities of the form dy/dt ≤ ay² + b for the pointwise quantity |u|² + |∇u|² (or variants), applying Proposition 1 to obtain a majorant M(t) that diverges at a finite time T_i, and then concluding that u blows up at T_i. Theorems 1-4 state the corresponding existence and blowup results for data in H³, H⁴, and with time-regularity assumptions. The proof relies on abstract solvability theorems from the author's previous papers and on a series of a priori estimates, several of which are asserted without proof or deferred.","tokens_in":15345,"tokens_out":4381,"duration_ms":47774,"significance":"If the claimed blowup result were correct, it would resolve the longstanding open problem of finite-time singularity formation for the 3D Navier-Stokes equations with smooth data, a result of the highest importance. However, the argument as presented is not valid: a differential inequality that gives an upper bound cannot force a singularity without additional lower-bound information. The paper also contains several unproved inequalities and explicitly deferred calculations in the proofs of Theorems 3 and 4. The manuscript therefore does not establish its central claim. On the positive side, the paper does identify a concrete a priori estimate strategy and a candidate majorant, and the finite-time regularity statements (if the estimates were valid) would be of some interest, but the blowup conclusion is not supported.","major_comments":[{"comment":"The central claim that the solution blows up at a finite time is not supported by the argument. Proposition 1 proves that if dy/dt ≤ ay² + b, then y(t) ≤ M(t), where M(t) is the explicit majorant in (3.4). The majorant diverges when its denominator vanishes, but an upper bound that diverges is perfectly consistent with y(t) remaining finite and smooth. A finite-time singularity requires a lower-bound estimate such as dy/dt ≥ ay² + b, or a separate argument showing that the Sobolev norm must exceed every finite level before T_i. Consequently the times T_i defined in (3.8) are not demonstrated to be blowup times; they are, at best, times up to which certain a priori estimates are valid. This logical gap affects the abstract and all four theorems.","section":"§3, Eq. (3.3)-(3.8); Theorems 1-4"},{"comment":"The passage from the integral inequality (3.2) to the pointwise differential inequality (3.3) is unjustified. The left-hand side of (3.2) contains integrals over x of time derivatives and spatial derivatives, while (3.3) asserts a differential inequality for the pointwise integrand |u|² + |∇u|² at each (t,x). No argument is provided that a global inequality in L² norms implies a pointwise Riccati-type inequality, and the constants c, c1, c2, C are not tracked through the derivation. Since (3.3) is the load-bearing step for all subsequent estimates, the proof of the a priori bounds is not rigorous.","section":"§3.0.1, Eq. (3.2) to (3.3)"},{"comment":"Inequality (4.3), ∫(∇(u·∇)u)² dx ≤ ∫(|u|² + |Δu|²)² dx, is asserted with the remark that 'it isn't difficult to see,' but no proof is given. The left-hand side contains the terms (∇u·∇)u and (u·∇)∇u, which involve products of first derivatives and second derivatives of u; the right-hand side depends only on |u| and |Δu|. Without an explicit derivation using Sobolev inequalities and integration by parts, this estimate cannot be accepted, especially because it is used to obtain the Riccati inequality (4.5) that underlies Theorem 2.","section":"§4, Eq. (4.3)"},{"comment":"The proofs of Theorems 3 and 4 are not actually carried out. In Section 5 the text states that 'by repetition of the discussions analogous to the above sections' the necessary estimates follow, and in Section 6 it says 'For brevity, we will not conduct these calculations.' Moreover, the differential inequality derived in (6.5) is linear with nonnegative coefficients, not of the Riccati type dy/dt ≤ ay² + b that could yield a finite-time divergence of a majorant. Thus the claimed blowup times T3 and T4 are not established, and the corresponding theorems are unsupported.","section":"§5 and §6"},{"comment":"The existence of the strong solution in Theorem 1 relies on Theorem 5, but the hypotheses of Theorem 5 are never verified for the Navier-Stokes operator. After deriving the coercivity lower bound, the paper states that the a priori estimates 'show that' the existence of a smooth solution can be proved, yet it does not check conditions (2) and (3) of Theorem 5, namely the existence of the mapping g with the stated surjectivity property and the local injectivity/acute-angle condition. Without this verification, the existence part of the theorem is not rigorously established, independent of the blowup issue.","section":"§3, application of Theorem 5"}],"minor_comments":[{"comment":"The word 'dates' is used repeatedly where 'data' is intended (e.g., 'smoothness of the dates' in Section 3.0.1).","section":"Throughout"},{"comment":"The inequality displayed in (3.5) appears to contain a typographical error: the expression '((C/8ν² ||f||²)^(-1/2) tan^(-1) (...) )^(-1) < t' is not dimensionally consistent and should be stated as a condition on t for the denominator of (3.4) to be positive.","section":"Eq. (3.5)"},{"comment":"The definition of a strong solution implicitly includes the initial condition and the equation holding almost everywhere, but these are not stated in the theorem formulations; also the space L²(0,T;H²) appears twice in the statement of Theorem 3, which is likely a typo for L²(0,T;H³) or similar.","section":"Theorems 1-4"},{"comment":"The notation ||·|| is introduced as the norm of (L²(Q)) ≡ H³ but then used in (3.2) and throughout as the L²(R³) norm; the spaces and norms should be defined consistently.","section":"Section 3.0.1 and Eq. (3.2)"},{"comment":"The initial condition for ∇u_t(0) is written as u_1(x), which should presumably be ∇u_1(x) if u_t(0) = u_1.","section":"Section 6, initial conditions"}],"recommendation":"reject","confidential_remarks":"The manuscript contains a central logical error: the derived Riccati inequality is an upper bound, so the divergence of the majorant does not imply blowup of the solution. This is not a local fixable issue, as the entire paper's conclusion rests on this inference. The paper also relies heavily on the author's previous unpublished or abstract theorems without verification, and several key estimates are explicitly deferred. In my assessment the manuscript does not meet the standards for publication in a serious mathematics journal. I would not encourage a revised resubmission unless the author can produce a genuine lower-bound argument for blowup, which would require a fundamentally different approach."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper's central claim is not supported. The T_i defined in Theorems 1-4 are not blowup times for the Navier-Stokes solution; they are the times at which the paper's own Riccati upper bound M(t) blows up. That distinction is not a technicality—it is the whole argument.\n\nWhat is genuinely there: the paper assembles a hierarchy of higher-order energy inequalities and, as far as the formal algebra goes, the local-in-time smoothness parts are consistent with classical local well-posedness. Choosing A(D_x) to shift regularity is a reasonable organizational device. The paper also cites the relevant partial regularity literature.\n\nThe soft spots are decisive. The step from (3.2) to (3.3) jumps from an integrated L^2 inequality to a pointwise ODE without justification. Even granting that, (3.3) is an upper bound, dy/dt ≤ ay^2+b. An upper bound can blow up while y remains smooth; to get singularity you need dy/dt ≥ ay^2+b or a separate argument that y must cross every finite level. The paper doesn't provide either. Inequality (4.3), used again as (5.2), is asserted without proof, and Section 6 explicitly says the calculations are omitted. Existence of the solutions on which the estimates are made is imported from the author's earlier papers, with no independent verification.\n\nFinally, the abstract says 'a blowup time can be demonstrated.' That overstates what the paper actually shows. A more accurate claim would be that certain a priori estimates are valid up to a computable time T. That is a known type of result.\n\nWho is this for? Someone studying the paper as an example of a common flaw in singularity arguments might get something from it. As a research contribution to Navier-Stokes, it doesn't add beyond standard local well-posedness. My recommendation: desk reject. The main error is elementary and would waste referee time. If you want to use it in teaching, the Riccati trap is useful.","headline":"The paper claims finite-time blowup for smooth Navier-Stokes solutions, but the proof only shows that an upper-bound majorant blows up; the central inference has the inequality reversed.","tokens_in":15848,"tokens_out":3449,"would_cite":false,"duration_ms":36178,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35K55","35K61","35D30","35Q30","76D03","76N10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that, by testing the 3D Navier-Stokes equation against carefully chosen differential operators, every sufficiently smooth solution obeys a Riccati inequality whose pole is an explicit finite blowup time—so smooth…","keywords":["Navier-Stokes equation","finite-time blowup","strong solution","weak solution","Riccati inequality","a priori estimates","smoothness","three-dimensional"],"falsifier":"For $f=0$, take the divergence-free $H^3$ family $u_0^A(x)=A e^{-|x|^2}(-x_2,x_1,0)$, compute the convection integral $I(A)=\\int ((u_0^A\\cdot\\nabla)u_0^A)\\cdot\\Delta u_0^A\\,dx$ and $J(A)=\\int(|u_0^A|^2+|\\nabla u_0^A|^2)^2\\,dx$. If the ratio $|I(A)|/J(A)$ is unbounded as $A\\to\\infty$, then no constant independent of $u$ can turn (3.1) into (3.2), and the finite time computed by the Riccati inequality is not a property of the Navier-Stokes solution. If, on the other hand, the ratio is uniformly bounded and the pressure and boundary terms really vanish for these fields, the central inequality is consistent with the claimed conclusion.","tokens_in":14792,"feed_emoji":"🌊","tokens_out":14059,"duration_ms":153390,"temperature":0.7,"pith_summary":"The paper studies the three-dimensional incompressible Navier-Stokes initial-value problem and tries to establish that, for each of four levels of smoothness of the data, a solution exists and remains smooth only on a finite time interval whose endpoint the proof computes explicitly. The mechanism is to rewrite the weak form of the equation, tested against a specially chosen operator, as a scalar differential inequality of Riccati type for the energy $\\|u\\|^2+\\|\\nabla u\\|^2$; the comparison solution of that inequality has a finite pole, which is identified with a blowup time. If the argument is correct, the consequence is negative for the classical regularity question: smooth three-dimensional Navier-Stokes solutions would not be globally regular, and every sufficiently smooth global weak solution would become singular in finite time. The same reasoning is repeated with higher-order and time-derivative test operators to claim a hierarchy of smoothness in $x$ and in $t$, each with its own finite time.","feed_headline":"Finite-time blowup claimed for smooth 3D Navier-Stokes solutions","feed_subtitle":"If correct, every smooth 3D Navier-Stokes solution would lose regularity by an explicit time fixed by the data.","key_machinery":"The carrying object is the Riccati comparison in Proposition 1: from $dy/dt\\le ay^2+b$ with $a,b>0$, the substitution $z=(a/b)^{1/2}y$ gives $dz/dt\\le (ab)^{1/2}(z^2+1)$, whose solution satisfies $$y(t)\\le \\frac{y_0+(a/b)^{-1/2}\\tan((ab)^{1/2}t)}{1-(a/b)^{1/2}y_0\\tan((ab)^{1/2}t)},$$ so the upper bound has a vertical asymptote at the first time the denominator reaches zero. The paper's work is to show that the Navier-Stokes weak form, tested against the chosen operators $-\\Delta+I$, $I+\\Delta^2$, or $D_tA(D_x)$, produces exactly such an inequality, with $y=\\int(|u|^2+|\\nabla u|^2)\\,dx$ and with constants built from $\\nu$, $\\|u_0\\|_{H^1}$, and $\\|f\\|$. The pole of the comparison solution is then read as the finite time up to which the corresponding Sobolev estimate holds, and the same construction is iterated for higher derivatives to obtain $T_2,T_3,T_4$.","core_discovery":"On the paper's own terms, the central discovery is that the Navier-Stokes equation, tested against $A(D_x)u=(-\\Delta+I)u$, yields after integration by parts $$\\tfrac12\\tfrac{d}{dt}(\\|u\\|^2+\\|\\nabla u\\|^2)+\\nu(\\|\\$\\Delta$ u\\|^2+\\|\\nabla u\\|^2)\\le \\tfrac{1}{8\\nu}\\int(|u|^2+|\\nabla u|^2)^2\\,dx+\\tfrac{C}{2\\nu}\\|f\\|^2,$$ with the pressure terms and boundary integrals asserted to vanish. Dropping the positive dissipative terms gives the Riccati inequality (3.3), whose comparison solution is the fraction in Corollary 1; the denominator of that fraction vanishes at a finite time, so the estimate is meaningful only for $T<T_1$, and $T_1$ is defined by (3.8). Theorems 1–4 state the same conclusion at four smoothness levels: strong solutions for $H^3$ data, stronger spatial smoothness for $H^4$ data, and stronger temporal smoothness when the force has additional time derivatives. In each case the author concludes that the solution lives in the corresponding $L^\\infty L^2$-type space on every subinterval ending before the computed time, and that the computed time is the blowup time.","pith_inferences":["Editorial: the same computation could be run on explicit smooth divergence-free data to test whether the universal constant in inequality (3.3) really is independent of the solution; if the required constant grows with amplitude, the blowup time would be an artifact of the estimate rather than a theorem about Navier-Stokes.","Editorial: the paper does not study the behavior of the computed times $T_i$ as the data approach spaces of lower regularity; a natural extension is to ask whether the blowup times stay positive or collapse as $u_0$ ranges over bounded sets of the critical spaces.","Editorial: the Riccati structure is the same one that appears in finite-dimensional Galerkin and shell models of fluid turbulence; comparing the constants here with those models could give a numerical test of the predicted singularity time, which the paper does not carry out."],"forward_implications":["A direct corollary of Theorem 1 is that every global weak solution with $u_0\\in H^3$ and $f\\in L^2(\\mathbb{R}_+;H^2)$ is a strong solution on every interval $(0,T)$ with $T<T_1$, and the strong solution cannot be continued past $T_1$.","Theorems 2–4 transfer the same finite-time obstruction to higher spatial and temporal regularity: smoother data give membership in $L^\\infty(0,T;H^2)\\cap L^2(0,T;H^3)$ or in the relevant $W^{1,\\infty}$ and $W^{2,2}$ classes, but always only up to the corresponding computed time.","The paper's hierarchy statement says that by choosing increasingly smooth data and the associated test operator, one obtains increasingly smooth solutions on finite intervals, so the finite-time mechanism is not special to the lowest-order energy estimate.","If the conclusions hold, the three-dimensional incompressible Navier-Stokes system has no smooth global-in-time solution in any of the four data classes, resolving the regularity problem in the negative for those classes."],"supporting_citations":[{"why":"Supplies the global weak-solution existence theorem whose solutions are the starting point for every theorem in the paper.","marker":"[13]"},{"why":"One of the classic weak-solution existence results cited to justify the standard weak formulation and solution space.","marker":"[9]"},{"why":"The follow-up weak-solution treatment that the paper cites with [9] for the standard initial-value framework.","marker":"[10]"},{"why":"Reference for nonlinear evolution-equation methods, cited as part of the standard existence background.","marker":"[16]"},{"why":"The abstract solvability theorems (Theorems 5 and 6) the paper uses to pass from a priori estimates to a strong solution.","marker":"[22, 23, 24, 25, 26, 27]"},{"why":"Book-length treatment of the same abstract solvability framework, including the weakly complete pn-space setting used in Theorem 6.","marker":"[21]"},{"why":"Uniqueness theorem used to assert that under the smoothness conditions all weak solutions coincide, so the estimates apply to the solution under study.","marker":"[20]"}],"fun_headline_variants":["Finite-time blowup claimed for smooth Navier-Stokes","Smooth 3D Navier-Stokes solutions blow up in finite time","Navier-Stokes blowup time derived from data","Explicit blowup time for smooth Navier-Stokes data","Integral estimate yields Navier-Stokes finite-time blowup"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the equation's integrated form, paired with the test function $-\\Delta u+u$, really reduces to the simple one-variable inequality used in the proof, with constants that do not depend on the solution $u$; if the convection term needs an estimate whose constant grows with the solution, or if the pressure and boundary terms do not vanish, the computed blowup time does not control the Navier-Stokes solution.","fun_headline_variants_meta":{"raw":{"variants":["Finite-time blowup claimed for smooth Navier-Stokes","Smooth 3D Navier-Stokes solutions blow up in finite time","Navier-Stokes blowup time derived from data","Explicit blowup time for smooth Navier-Stokes data","Integral estimate yields Navier-Stokes finite-time blowup"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000229,"raw_usage":{"total_tokens":1448,"prompt_tokens":884,"completion_tokens":564,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":477}},"tokens_in":500,"tokens_out":564,"duration_ms":6641,"temperature":1.0,"reasoning_tokens":477,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T17:39:54.840932+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $f=0$, take the divergence-free $H^3$ family $u_0^A(x)=A e^{-|x|^2}(-x_2,x_1,0)$, compute the convection integral $I(A)=\\int ((u_0^A\\cdot\\nabla)u_0^A)\\cdot\\Delta u_0^A\\,dx$ and $J(A)=\\int(|u_0^A|^2+|\\nabla u_0^A|^2)^2\\,dx$. If the ratio $|I(A)|/J(A)$ is unbounded as $A\\to\\infty$, then no constant independent of $u$ can turn (3.1) into (3.2), and the finite time computed by the Riccati inequality is not a property of the Navier-Stokes solution. If, on the other hand, the ratio is uniformly bounded and the pressure and boundary terms really vanish for these fields, the central inequality is consistent with the claimed conclusion.","supporting_citations":[{"cited_title":"Nachr., 4, 213-231(1951)","cited_arxiv_id":null,"evidence_quote":"One of the classic weak-solution existence results cited to justify the standard weak formulation and solution space."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The follow-up weak-solution treatment that the paper cites with [9] for the standard initial-value framework."},{"cited_title":"-L., Quelques methodes de resolution des problemes aux limites nonlineares, Dunod, Gauthier-Villars, Paris, (1969)","cited_arxiv_id":null,"evidence_quote":"Reference for nonlinear evolution-equation methods, cited as part of the standard existence background."},{"cited_title":"N., Some applications of the nonlinear analysis to the differential equations, Baku, ELM, (in Russ.), (2002)","cited_arxiv_id":null,"evidence_quote":"Book-length treatment of the same abstract solvability framework, including the weakly complete pn-space setting used in Theorem 6."},{"cited_title":"N., Remarks on the uniqueness the weak solutions to the incompressible Navier – Stokes-equations, Russian Journal of Mathematical Physics, 31, 3,(2024)","cited_arxiv_id":null,"evidence_quote":"Uniqueness theorem used to assert that under the smoothness conditions all weak solutions coincide, so the estimates apply to the solution under study."}],"review_version":1}