{"id":"5b93312a-8716-422e-b1db-ab40f3debd22","arxiv_id":"2507.02775","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For 2D Navier-Stokes with only horizontal viscosity in a channel, unique global weak solutions exist for initial velocities in L^2 with one y-derivative in L^2.","lead":"Researchers prove global well-posedness and long-time behavior for a 2D fluid model with viscosity acting only horizontally in a channel with walls. The result needs less smoothness from the initial velocity than earlier work, easing the regularity threshold for this anisotropic Navier-Stokes model.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Existence proof in Section 3.1.3 relies on an unproved global-solvability assertion for the truncated system; the gap is real but repairable, so the conditional verdict stands.","rationale":"The central claim of Theorem 1.1 is well supported by the formal a priori estimates: the norm estimate (3.2)-(3.3), the u_y estimate (3.28)-(3.29), and the uniqueness estimate (3.60) are internally consistent and use only the stated regularity assumptions on u_0 and f. The uniqueness argument is intricate but the required integrability follows from (3.2)-(3.3) and (3.29)-(3.30). I found no algebraic error that would invalidate the energy identities or the pressure estimates for exact smooth solutions. The genuinely insecure part is the existence construction: Section 3.1.3 needs the approximating sequence to be globally defined and to satisfy the same a priori estimates, but the justification given is a bare assertion about analytic solvability. The reader identified this same section as the weakest assumption; I agree, with the slight refinement that the unresolved point is not merely analyticity but the regularity and pressure structure of the truncated system. Because the gap can likely be closed by standard finite-dimensional ODE arguments or by an alternative test-function proof, it warrants a conditional verdict rather than rejection; the authors should supply the missing justification in revision.","tokens_in":1648,"tokens_out":1419,"duration_ms":288677,"concrete_test":"Write the Galerkin system for u_m explicitly as the P_m-projection of (3.33) onto the finite-dimensional modes in (3.31)-(3.32), eliminating pressure. Then: (1) verify finite-dimensional local existence by Picard iteration; (2) test the projected equation with u_m,yy and check whether the resulting inequality reproduces (3.28) with constants independent of m. If pressure identities are needed, verify the projected nonlinear residual is a gradient, or add a vertical mollifier to make the a priori estimate rigorous. If neither route succeeds, the convergence argument in Section 3.1.3 does not establish existence.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The weakest point in the proof of Theorem 1.1 is the transition from formal a priori estimates to an approximating sequence in Section 3.1.3. The paper asserts that the truncated system (3.33) has a global analytic solution because it is more regular than 2D Euler equations, but no local or global well-posedness theorem for the anisotropic channel problem is stated or cited. Moreover, the residual of a Fourier-truncated Galerkin system need not be a scalar pressure gradient satisfying the pressure boundary condition (3.8). The key u_y-estimate (3.28) is derived using pressure and the Neumann condition (3.8); for a projection-only Galerkin truncation those identities are not justified as written. This is not obviously fatal: after eliminating pressure the truncated system is finite-dimensional, local existence is elementary, and the energy bound (3.34) prevents blow-up. Alternatively one could test with u_m,yy to try to recover (3.28) without pressure. But as printed, the claim that approximate solutions exist on arbitrary time intervals with the regularity needed for (3.35) is unproved, and the existence argument depends on it.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the two-dimensional Navier-Stokes equations with horizontal viscosity only in the periodic-in-x channel Ω=T×[0,1] with impermeable walls. The main result (Theorem 1.1) asserts global well-posedness of weak solutions under the low-regularity assumptions u0,v0∈L2 and ∂y u0∈L2, with forcing f∈L1(0,T;H) and ∂y f1∈L2(0,T;L2). The proof is based on a priori estimates for ∥u∥2 and ∥uy∥2 together with a Galerkin approximation. Further results give a uniform H2 bound under an integrability condition on the forcing (Theorem 1.2), exponential decay of the fluctuation part of the vorticity around a shear flow (Proposition 1.3), and convergence to a shear steady state for unforced flows (Proposition 1.4).","tokens_in":19968,"tokens_out":11700,"duration_ms":126204,"significance":"If Theorem 1.1 is correct, it improves the previous global well-posedness threshold for this anisotropic viscosity model, which required both ∂y u0 and ∂y v0 in L2. The a priori estimates are detailed and internally consistent, and the paper provides a concrete new regularity class for the problem. The secondary results (H2 bound, shear stability, asymptotic convergence) are natural complements and appear to follow from the developed estimates. However, the gap in the approximation argument described below currently prevents the main theorem from being fully established.","major_comments":[{"comment":"The existence of global solutions to the truncated Galerkin system (3.33) is asserted without proof or citation, on the grounds that the system is 'more regular than 2D Euler equations.' This does not constitute a proof: (3.33) is a different equation with different boundary conditions, and no theorem is stated that covers it. Since the entire existence proof of Theorem 1.1 relies on the availability of the approximating sequence u_m on arbitrary time intervals, the authors must either supply a standard ODE-based local existence argument (the system is finite-dimensional after projection) together with the energy bound (3.34) to rule out blow-up, or cite a suitable well-posedness theorem.","section":"§3.1.3"},{"comment":"The key estimate (3.28) is derived using the pressure boundary condition (3.8) and the pressure Poisson equation (3.7). For the Galerkin projection (3.33), the pressure is not part of the projected system; any pressure reconstructed from the residual need not satisfy py=0 at y=0,1. The statement in §3.1.3 that 'all the a priori estimates conducted in subsections 3.1.1 and 3.1.2 are valid for um' is therefore not justified as written. The authors should either prove (3.28) for the projected system without using the pressure boundary condition, or choose an approximating scheme (e.g., with a compatible pressure or a different regularization) for which (3.8) holds.","section":"§3.1.2–§3.1.3"}],"minor_comments":[{"comment":"The assumption f1=0 makes the term ∥∂yy f1∥2 in the integrability condition identically zero; this is likely a typo for a condition on ∂y f2 or ∂xy f2. Please state the intended hypothesis.","section":"Theorem 1.2"},{"comment":"The displayed line before (3.39), '∂xum = ∂yvm', should read '∂y vm = −∂x um' (sign).","section":"§3.1.3"},{"comment":"The notation ∂xum ∈ L2(0,T;H) in (3.38) is ambiguous; it should be made explicit that it denotes the pair (∂xum, ∂xvm).","section":"§3.1.3"},{"comment":"The notations fω∗ and ω∗ in (5.2)–(5.8) are confusing; presumably \\widetilde{\\omega^*} and \\overline{\\omega^*} are intended. Please use consistent notation for the mean and fluctuation parts.","section":"Section 5"},{"comment":"In (4.15), the term involving ∥∂yy f1∥2 is redundant under the hypothesis f1=0 of Theorem 1.2; see the earlier comment on the theorem statement.","section":"Section 4.2"},{"comment":"The paper contains numerous typographical errors (title, 'Poinc´ are', 'Gronwall', etc.); a careful proofreading is recommended.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The gap in §3.1.3 is real but appears repairable without changing the main ideas. If the authors provide a standard compactness/ODE argument for the truncated system and justify the u_y estimate in the Galerkin setting, the paper would make a solid contribution. The secondary results should also be checked for notational consistency."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know about this paper. First, the claimed improvement over Liang–Zhang–Zhu is real: global well-posedness under only ∂_y u_0 in L^2 (instead of both ∂_y u_0 and ∂_y v_0) is a meaningful step, and the uniform H^2 bound and shear-stability results are genuinely new. Second, the proof as written has a load-bearing gap in the approximation argument, and it is a bit different from the one the stress-test flagged.\n\nThe a priori estimates themselves are the strongest part. The pressure handling via the auxiliary function φ is clever, the calculus is detailed, and the resulting bounds are internally consistent. The uniqueness proof also looks sound given the stated regularity.\n\nThe trouble is Section 3.1.3. The authors truncate the Fourier series of u_0 and v_0 separately and claim the truncated pair approximates u_0. But that pair is not divergence-free in general, so it does not belong to the space H defined in (1.3). The divergence-free condition couples u and v through ∂_x u + ∂_y v = 0; truncating the two series independently breaks the constraint. And the space H itself is not the full L^2 divergence-free space for the channel: with u expanded in e^{2πi k_2 y} and v in sin(π k_2 y), the condition forces the odd k_2 modes of v to vanish, so the theorem only covers a proper subspace, despite the abstract's claim of arbitrary L^2 data.\n\nThe stress-test note is right that the asserted global analytic solvability of (3.33) is unproved, but the non-divergence-free initial data is a prior problem. You cannot even start the incompressible equation (3.33) with ∇·u_m = 0 from such initial data. This is repairable—use a proper Galerkin projection onto a divergence-free basis, or work with the stream function—but it is not a minor typo.\n\nMinor issue: Theorem 1.2 assumes f_1 = 0 and ∂_{yy} f_1 ∈ L^2, which is redundant; likely a typo for ∂_y f_2 or similar.\n\nOverall: if the approximation argument is fixed, the main theorem is likely true and well within the subfield's standards. As printed, the existence proof is not complete. I would send it to a referee, mainly to have them pressure the authors to rework Section 3.1.3 and restate H properly. Not something to cite until that happens.","headline":"Interesting regularity improvement with strong formal estimates, but the existence proof's approximation sequence is not divergence-free and the function space is too restrictive as stated.","tokens_in":20545,"tokens_out":22354,"would_cite":false,"duration_ms":242758,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","76D05","35B65","76D03"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the 2D Navier-Stokes equations with horizontal viscosity only have a unique global weak solution when the initial velocity lies in $L^2$ and its vertical derivative $\\partial_y u_0$ lies in $L^2$, lowering the…","keywords":["Navier-Stokes equations","horizontal viscosity","anisotropic viscosity","global weak solutions","channel flow","well-posedness","a priori estimates","shear flow stability"],"falsifier":"If one can exhibit finite-mode analytic initial data and forcing for which the truncated system (3.33) forms a singularity in finite time, or otherwise fails to have a global analytic solution, then the approximation argument in Section 3.1.3 collapses, and the a priori estimates alone would not produce a convergent sequence of approximate solutions.","tokens_in":19551,"feed_emoji":"🌊","tokens_out":15463,"duration_ms":146868,"temperature":0.7,"pith_summary":"This paper considers the 2D Navier-Stokes equations with viscosity acting only in the horizontal direction, in a channel that is periodic horizontally and bounded by impenetrable walls above and below. Its main result is that these equations have a unique global weak solution whenever the initial velocity lies in $L^2$ and its vertical derivative $\\partial_y u_0$ also lies in $L^2$; no differentiability of the vertical velocity component is required beyond square-integrability. This lowers the regularity threshold of an earlier global well-posedness result, which required the vertical derivative of both velocity components to be in $L^2$. The paper also proves a uniform-in-time $H^2$ bound under stronger assumptions, exponential decay of oscillatory vorticity around a shear flow, and convergence to a steady shear profile in the unforced case. The novelty relative to the earlier result is that only one vertical derivative of the initial velocity is needed.","feed_headline":"Global weak solutions need only one derivative of u0 in a 2D channel","feed_subtitle":"It takes just one vertical derivative of u0 to get unique solutions, below the previous two-derivative threshold.","key_machinery":"The load-bearing mechanism is an a priori estimate for the vertical derivative of the horizontal velocity, $\\|u_y\\|_2$. The authors differentiate the first component of the momentum equation in $y$, introduce the pressure Poisson equation with boundary condition $p_y|_{y=0}=p_y|_{y=1}=0$, and bound the pressure term by solving $-\\Delta\\phi=u_y$ with zero Dirichlet boundary conditions on $\\phi$. The resulting differential inequality (3.28) for $\\|u_y\\|_2^2$ has a Grönwall factor built from quantities controlled by the basic energy estimate, so it closes without assuming $\\partial_y v_0\\in L^2$. Trilinear estimates based on Agmon-type inequalities and a Poincaré inequality for $v$ (using $v|_{y=0}=0$) keep every term at this lower regularity. Uniqueness is then obtained by subtracting two weak solutions and using the same bounds in a Grönwall inequality.","core_discovery":"The central claim is Theorem 1.1: for initial velocity $(u_0,v_0)\\in H$ with $\\partial_y u_0\\in L^2(\\Omega)$ and forcing $f\\in L^1(0,T;H)$ with $\\partial_y f_1\\in L^2(0,T;L^2(\\Omega))$, equation (1.1) has a unique global weak solution for every $T>0$, with regularity $u_y\\in L^\\infty(0,T;L^2)$ and $u_x, v_x, u_{xy}\\in L^2(0,T;L^2)$. The paper's secondary claims are a uniform bound on $\\|u(t)\\|_{H^2}$ for all time under $u_0\\in H\\cap H^2$ and an integrability condition on $f$ with $f_1=0$ (Theorem 1.2), exponential decay of the oscillatory part of the vorticity perturbation around the shear flow $(ay,0)$ (Proposition 1.3), and convergence to a steady shear profile $(\\phi(y),0)$ when the forcing vanishes (Proposition 1.4).","pith_inferences":["The one-sided derivative mechanism may transfer to other anisotropic dissipation geometries, because the key opens with a bound on $\\|u_y\\|_2$ plus a pressure-Poisson auxiliary problem rather than requiring symmetric differentiability of both velocity components.","The unproved assertion of global analytic well-posedness for the truncated Galerkin system (3.33) is the natural place to probe the proof; a direct existence argument for finite-mode analytic solutions would make the approximation step self-contained.","Because uniqueness holds below the prior regularity threshold, continuous dependence on initial data and forcing in the enlarged class is a plausible next property, though the paper does not establish a modulus of continuity.","The exponential decay of the oscillatory vorticity near shear flows suggests that damping of the horizontal-mean part is what drives the stability; quantifying the smallness condition (5.10) would be a direct extension."],"forward_implications":["The initial regularity needed for global well-posedness drops from $\\partial_y u_0,\\partial_y v_0\\in L^2$ to just $\\partial_y u_0\\in L^2$ (with $u_0,v_0\\in L^2$), so rougher data are admissible.","Because the weak solutions are unique in this larger regularity class, the solution map is single-valued on the newly admitted data.","Under $u_0\\in H^2$ and the stated integrability assumptions on $f$ with $f_1=0$, the $H^2$ norm of the velocity stays bounded by a constant depending only on $\\|u_0\\|_{H^2}$ and $C_0$ for all time.","Small perturbations of the shear flow $(ay,0)$ have oscillatory vorticity decaying exponentially when the forcing is curl-free and the initial vorticity is small, so the shear flow is stable in that sense.","With zero forcing, every global solution converges in $H$ to a steady shear profile $(\\phi(y),0)$, where $\\phi$ is the limit of the horizontal mean of $u$."],"supporting_citations":[{"why":"Prior global well-posedness for (1.1) on R2 (or T2) without forcing, requiring $\\partial_y u_0$ and $\\partial_y v_0$ both in $L^2$; Theorem 1.1 lowers this to $\\partial_y u_0$ only.","marker":"[8]"},{"why":"Global well-posedness of 2D Euler equations with $L^\\infty$ vorticity, cited as the regularity comparison for the asserted existence of global analytic solutions of the truncated Galerkin system (3.33).","marker":"[9]"},{"why":"Analogue of the $H^2$-bound result for (1.1) on $T\\times R$ without forcing, which Theorem 1.2 extends to the channel with an integrability condition on $f$ and $f_1=0$.","marker":"[4]"}],"fun_headline_variants":["Global well-posedness needs just one vertical derivative of u0 in 2D channel flow","Horizontal viscosity alone: global weak solutions with just one u0 derivative","One u0 derivative suffices for global weak solutions in 2D channel","2D horizontal-viscosity flow: unique weak solutions from one y-derivative of u0"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes, without proof or citation, that the finite-mode Galerkin system (3.33) with analytic initial data and analytic forcing has a global analytic solution on every finite time interval, justified only by the statement that it is 'more regular than 2D Euler equations'.","fun_headline_variants_meta":{"raw":{"variants":["Global well-posedness needs just one vertical derivative of u0 in 2D channel flow","Horizontal viscosity alone: global weak solutions with just one u0 derivative","One u0 derivative suffices for global weak solutions in 2D channel","2D horizontal-viscosity flow: unique weak solutions from one y-derivative of u0"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001254,"raw_usage":{"total_tokens":5103,"prompt_tokens":872,"completion_tokens":4231,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":4142}},"tokens_in":488,"tokens_out":4231,"duration_ms":32785,"temperature":1.0,"reasoning_tokens":4142,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T20:22:29.352580+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"If one can exhibit finite-mode analytic initial data and forcing for which the truncated system (3.33) forms a singularity in finite time, or otherwise fails to have a global analytic solution, then the approximation argument in Section 3.1.3 collapses, and the a priori estimates alone would not produce a convergent sequence of approximate solutions.","supporting_citations":[{"cited_title":"Liang, P","cited_arxiv_id":null,"evidence_quote":"Prior global well-posedness for (1.1) on R2 (or T2) without forcing, requiring $\\partial_y u_0$ and $\\partial_y v_0$ both in $L^2$; Theorem 1.1 lowers this to $\\partial_y u_0$ only."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Global well-posedness of 2D Euler equations with $L^\\infty$ vorticity, cited as the regularity comparison for the asserted existence of global analytic solutions of the truncated Galerkin system (3.33)."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Analogue of the $H^2$-bound result for (1.1) on $T\\times R$ without forcing, which Theorem 1.2 extends to the channel with an integrability condition on $f$ and $f_1=0$."}],"review_version":1}