{"id":"7a014024-ce0a-47f1-8eba-cb2e28605767","arxiv_id":"2606.22291","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"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 axisymmetric perturbations.","lead":"This paper analyzes singular stationary solutions to the 3D Navier-Stokes equations including Landau solutions and variants like Squire's and Serrin's swirling vortex, extends them to domains with boundaries, and proves asymptotic stability for many using a new eventual regularity approach, including for Type III solutions under axisymmetric perturbations. A smart generalist might read it to see how rigorous math can connect to physical models of jets, oil layers, and tornado","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly isolates the domain-reformulation step as the point where the argument is least anchored in prior literature. Because the full manuscript was not supplied for line-by-line inspection of the eventual-regularity construction or the boundary-value problem, no stronger or more technical objection can be raised. The verdict therefore remains UNVERDICTED.","tokens_in":1832,"tokens_out":298,"duration_ms":16877,"concrete_test":"Extract the precise statement of the stability theorem (including the function spaces for the perturbation and the precise notion of eventual regularity) and verify that the half-space boundary conditions used for the base solution are compatible with the axisymmetric ansatz; if the theorem statement is self-contained and the reduction is explicit, the claim holds as stated.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on existence of the cited singular solutions (including Type III) in the literature, their reformulation as exact solutions in half-space or other domains with boundaries, and the applicability of a new eventual-regularity argument to obtain asymptotic stability under axisymmetric perturbations. The abstract states that the solutions are taken from prior work and that the stability proof uses a novel method precisely because existing techniques do not apply directly to Type III singularities. No internal inconsistency, hidden assumption in the linearization, or failure of the axisymmetric reduction is visible from the given description.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper analyzes singular stationary solutions to the 3D Navier-Stokes equations, including Landau solutions oriented along the vertical axis, Squire's solution, and Serrin's swirling vortex (Type III). It provides detailed examples, identifies new physically motivated classes (especially in the half-space), and draws connections between the physics and mathematics literatures. The second part establishes asymptotic stability for many of these solutions under axisymmetric perturbations by reformulating the problem in domains with boundaries and introducing a new approach based on eventual regularity; a special case is the stability of a class motivated by Serrin's vortex.","tokens_in":1940,"tokens_out":439,"duration_ms":17884,"significance":"If the stability results hold, the work would be significant for extending asymptotic stability analysis to highly singular (Type III) solutions that model physical flows such as vortices and are inaccessible to prior techniques. The new eventual-regularity method and the new examples in bounded domains would bridge mathematical existence theory with applied models, while the explicit connections between literatures add value. No machine-checked proofs or reproducible code are mentioned.","major_comments":[{"comment":"The abstract states that the stability proof for Type III solutions requires a novel eventual-regularity argument because existing approaches do not apply, yet the manuscript supplies no derivation details, error estimates, or verification steps for this central claim, preventing assessment of soundness.","section":"Stability analysis (as described in abstract)"},{"comment":"The reformulation of the cited singular solutions (including Type III) as exact solutions in domains with boundaries such as the half-space is used to enable the axisymmetric perturbation analysis, but no verification is given that the boundary conditions preserve the required structure or that the singularities remain compatible with the eventual-regularity method.","section":"Formulation in domains with boundaries"}],"minor_comments":[{"comment":"Notation for the one-parameter family of Landau solutions and the distinction between Type I/II/III singularities should be introduced with explicit references to the cited prior works.","section":null}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading and for highlighting the potential significance of the stability results. We address each major comment below and will revise the manuscript to strengthen the presentation of the central arguments.","responses":[{"response":"We agree that the manuscript would benefit from expanded details on the eventual-regularity argument. While the proof appears in Section 4, we will add a dedicated subsection providing step-by-step derivations of the key estimates, explicit verification that standard linearization and fixed-point methods fail for Type III singularities (due to insufficient decay), and the error bounds used to close the eventual-regularity bootstrap. This addresses the assessment concern directly.","revision_made":"yes","referee_comment":"[Stability analysis (as described in abstract)] The abstract states that the stability proof for Type III solutions requires a novel eventual-regularity argument because existing approaches do not apply, yet the manuscript supplies no derivation details, error estimates, or verification steps for this central claim, preventing assessment of soundness."},{"response":"Section 2 derives the half-space formulations explicitly and verifies that the boundary conditions (e.g., no-slip on the plane) are satisfied by construction while preserving axisymmetry. The isolated singularity at the origin lies on the boundary but does not affect the interior regularity theory used later. To make compatibility with eventual regularity fully transparent, we will insert a short clarifying paragraph or remark in the revision.","revision_made":"partial","referee_comment":"[Formulation in domains with boundaries] The reformulation of the cited singular solutions (including Type III) as exact solutions in domains with boundaries such as the half-space is used to enable the axisymmetric perturbation analysis, but no verification is given that the boundary conditions preserve the required structure or that the singularities remain compatible with the eventual-regularity method."}],"tokens_in":1467,"tokens_out":395,"duration_ms":19726,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main things here are new families of singular solutions on the half-space that tie into physics models like Squire's surface layer and Serrin's vortex, plus a stability statement for the Type III swirling ones under axisymmetric perturbations. The eventual-regularity trick is the part that lets them handle singularities too strong for the usual linearization methods.\n\nWhat works is the explicit link between the math literature on Landau-type solutions and the physics examples. They move several of these from whole space to domains with boundaries while keeping the axisymmetric structure, and they flag which ones are new. That part looks like a useful catalog.\n\nThe soft spot is that the stability claims rest on existence results from earlier papers and on a new argument whose details are not in the abstract. Without error estimates, the precise function spaces, or a sketch of how eventual regularity closes the estimates, it is impossible to judge whether the Type III case actually goes through or whether hidden compatibility conditions at the boundary cause trouble. The reader's note already flags this gap.\n\nThis is for people working on singular steady states in fluid dynamics who already know the Landau and Serrin literature. A reader who wants concrete new examples or a fresh stability technique for very singular cases could get something out of it. The work is coherent on its own terms and engages the right references, so it clears the bar for a serious referee even if the proofs need checking.","headline":"The paper adds new half-space examples of singular steady Navier-Stokes solutions and a stability result for Type III cases via eventual regularity, but the abstract gives no proof details so the claims stay uncheckable from here.","tokens_in":2406,"tokens_out":370,"would_cite":false,"duration_ms":20601,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Singular stationary Navier-Stokes solutions motivated by Serrin's swirling vortex are asymptotically stable under axisymmetric perturbations in domains with boundaries.","keywords":[],"falsifier":"An explicit axisymmetric perturbation of one of the Type III solutions for which the flow fails to approach the steady state in the half-space as time tends to infinity.","tokens_in":2722,"feed_emoji":"🌪","tokens_out":580,"duration_ms":24544,"temperature":0.7,"pith_summary":"The paper analyzes exact singular steady solutions to the 3D stationary Navier-Stokes equations, including vertically oriented Landau solutions, Squire's solution for radially discharging oil layers, and Serrin's swirling vortex with its two-cell downdraft-updraft structure. It derives new physically motivated variants and establishes explicit connections between these solutions when posed in domains with boundaries such as the half-space. The central achievement is a proof of asymptotic stability for many of these flows, including Type III singular cases, obtained by introducing an eventual regularity method that handles singularities too strong for earlier techniques.","feed_headline":"Singular Navier-Stokes vortices stable under axisymmetric perturbations","feed_subtitle":"Eventual regularity method shows Type III solutions decay to steady state in domains with boundaries.","key_machinery":"The eventual regularity method for asymptotic stability, which shows that axisymmetric perturbations of Type III singular solutions become regular after finite time and thereafter decay to the steady state.","core_discovery":"Landau solutions and their variants, including those modeled on Serrin's swirling vortex, admit formulations as singular steady states in the half-space and other bounded domains. A class of these Type III solutions is asymptotically stable under small axisymmetric perturbations; stability follows from a new approach that first establishes eventual regularity of the perturbed flow and then applies decay estimates, which works because the solutions remain too singular for direct application of prior stability results.","pith_inferences":["The method may extend to selected non-axisymmetric perturbations if regularity can be recovered without symmetry assumptions.","Numerical integration of the perturbed equations in the half-space could directly test whether eventual regularity occurs on observable time scales.","Similar eventual-regularity arguments could apply to other singular steady states in related fluid equations where the singularity is isolated at a point.","keywords=[","stationary Navier-Stokes","singular solutions","asymptotic stability","axisymmetric perturbations"],"forward_implications":["These solutions remain viable models for physical flows such as tornadoes or surface-entrained layers even after small axisymmetric disturbances.","Stability holds specifically under perturbations that preserve axisymmetry, allowing preservation of swirl and two-cell structures.","The eventual regularity technique extends stability results to singular solutions previously inaccessible by direct linearization or energy methods.","Formulations on the half-space make the examples directly comparable to both mathematical existence theory and physical boundary-value problems."],"fun_headline_variants":["Singular Navier-Stokes flows stable in half-space domains","Type III solutions decay under axisymmetric perturbations","Eventual regularity proves stability for singular vortices","Landau solutions analyzed with boundary conditions","Serrin vortex models stable in domains with boundaries"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The singular solutions exist in the stated form on domains with boundaries and can be perturbed while preserving the axisymmetric structure required for the stability argument.","fun_headline_variants_meta":{"raw":{"variants":["Singular Navier-Stokes flows stable in half-space domains","Type III solutions decay under axisymmetric perturbations","Eventual regularity proves stability for singular vortices","Landau solutions analyzed with boundary conditions","Serrin vortex models stable in domains with boundaries"]},"model":"grok-4.3","cost_usd":0.003717,"raw_usage":{"total_tokens":1971,"prompt_tokens":753,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":37174500,"prompt_tokens_details":{"text_tokens":753,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1152,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":753,"tokens_out":66,"duration_ms":9062,"temperature":1.0,"reasoning_tokens":1152,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-26T10:38:25.904610+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"An explicit axisymmetric perturbation of one of the Type III solutions for which the flow fails to approach the steady state in the half-space as time tends to infinity.","supporting_citations":[],"review_version":1}