{"id":"aa2cab3c-ff4a-4248-8be3-80650c723d73","arxiv_id":"1908.06328","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Monotone shear flows that are either nearly linear or have no inflection point are linearly stable in the large Reynolds limit, in a periodic channel with no-slip or traction boundary conditions.","lead":"This paper proves that two families of monotone shear flows between parallel plates remain linearly stable at very high Reynolds numbers, with explicit decay rates for perturbations. The result extends rigorous hydrodynamic stability theory beyond the classical Couette flow and provides estimates that could support nonlinear stability proofs.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Strict monotonicity is load-bearing: the theorems exclude the Poiseuille profile, which satisfies U''≠0 but has U'(0)=0 and is linearly unstable near Re≈5772.","rationale":"The reader's weakest-assumption analysis identifies the same load-bearing condition I would stress: m=inf|U'|>0. My reading confirms that this assumption enters essentially in the Hardy inequalities, in the construction of the right inverse of the Rayleigh operator for λ near the continuous spectrum, and in the boundary-layer resolvent estimates. The Poiseuille example shows that failure is not hypothetical, so the strict-monotone class is the true domain of validity. However, the paper explicitly states this assumption and explicitly names Poiseuille as outside its scope, so the concern is a limitation on the breadth of the central claim rather than an error in the theorem as stated. I found no reason to move the verdict: the proof is long, with several auxiliary lemmas stated with omitted details (e.g., Lemma 5.7 and parts of Appendix A), so the reader's CONDITIONAL verdict remains appropriate. No circularity, data fitting, or ad hoc parameter fitting is present; the estimate chain is parameter-free and the main structures are analyzed directly.","tokens_in":91687,"tokens_out":21902,"duration_ms":235008,"concrete_test":"Solve the no-slip Orr-Sommerfeld eigenvalue problem for U=1-x², streamwise wavenumber α≈1.02, and Re between 5000 and 7000 (ε=1/Re), with the paper's zero-flux periodic setup and L large enough to resolve α. If the spectral abscissa is positive for Re above the critical value, the monotonicity assumption U'≠0 is necessary and the theorem cannot extend to profiles with an interior critical layer. This reproduces the known Orszag (1971) result in the paper's own framework.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Assumption 2.14 (m=inf|U'|>0) is not a removable technicality. Section 4.1's Hardy estimates (4.4), the analysis of the Rayleigh operator at critical values of U, and the Airy boundary-layer constructions in Sections 6 and 8 all use m>0 to control the singular factor (U+iλ)^{-1} and to locate the critical point xν. The canonical counterexample is Poiseuille flow, U=1-x²: it satisfies the second alternative U''≠0 (indeed inf|U''|=2) and all regularity assumptions, but violates monotonicity at x=0, and the no-slip linearized problem is unstable for Re above about 5772 (Orszag 1971). So the advertised stability of 'laminar flows between plates' is a statement about a restricted monotone class, not a general high-Re stability theorem. The paper is explicit about U'≠0 in the abstract and in Assumption 2.14, so this is a scope limitation of the central claim rather than an internal contradiction; it is, however, the condition whose failure is known to break the conclusion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the linearized Navier–Stokes equations around a shear flow (U(x_2),0) in a two-dimensional periodic channel, under either no-slip or fixed-traction boundary conditions. Under the standing assumption that U' does not vanish (Assumption 2.14), the authors prove high-Reynolds-number linear stability for two classes: nearly Couette flows, where the second and third derivatives of U are small relative to |U'|, and flows with U'' of fixed sign. The main theorems (Theorems 2.15 and 2.16) give exponential semigroup decay bounds on (I - Pi)e^{-t T^#_P} with rates of order e^{-εΥ(Lε)^{-2/3}t} times explicit powers of L and ε, for both boundary conditions. The proof proceeds through a Hodge decomposition, reduction to the Orr–Sommerfeld operator, resolvent estimates for the inviscid Rayleigh operator, Schr\"odinger resolvent estimates with Airy-function boundary layers, and a final semigroup argument.","tokens_in":91893,"tokens_out":6337,"duration_ms":67347,"significance":"If correct, the paper would be a substantial rigorous contribution to the linear stability theory of shear flows at high Reynolds number, going well beyond the explicitly solvable Couette case. Its strengths include the precise statement of parameter-uniform resolvent and semigroup estimates, the simultaneous treatment of no-slip and fixed-traction boundary conditions, and the careful reduction of the problem to a collection of one-dimensional spectral estimates. The decay rates are stated in terms of computable Airy spectral constants, and the comparison with the Couette results of [15] in Remark 2.17 is informative. I regard the central outline as sound. However, the scope is narrower than the title might suggest: the theorems cover only strictly monotone profiles U'≠0, which excludes the Poiseuille profile U=1-x^2, a case known to be linearly unstable for sufficiently large Reynolds number. Moreover, several load-bearing technical lemmas are stated without complete proofs, and these gaps need to be closed before the paper can be accepted.","major_comments":[{"comment":"","section":"Section 5.1, Proposition 5.1"},{"comment":"","section":"Section 5.3, Lemma 5.7"},{"comment":"","section":"Appendix A.2, Lemma A.5"},{"comment":"","section":"Assumption 2.14 and Theorem 2.15/2.16"}],"minor_comments":[{"comment":"","section":"Abstract"},{"comment":"","section":"Section 4.4, after Proposition 4.13"},{"comment":"","section":"Section 2.4, proof of Proposition 2.13"},{"comment":"","section":"Introduction, paragraph on [15]"},{"comment":"","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The paper's main theorems are plausible and the overall strategy is coherent, but the manuscript is not yet self-contained: the most important technical tools, namely the infinite-line resolvent estimate Proposition 5.1, the Dirichlet L1 estimate Lemma 5.7, and the Airy asymptotic Lemma A.5, are stated with proofs deferred or skipped. These are exactly the estimates on which the boundary-layer and semigroup arguments rest, so a referee cannot certify the central claim from the text as it stands. I would ask the authors to supply complete proofs or exact references before reconsidering. The monotonicity restriction is also worth foregrounding in the title and introduction, since the Poiseuille counterexample shows that the theorem cannot extend to all laminar profiles."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, this is the first rigorous resolvent and semigroup estimate for the Orr-Sommerfeld operator for a general class of monotone shear profiles, not just Couette flow. Second, the paper is honest about what it does not cover: strict monotonicity (inf |U'| > 0) is assumed in the abstract and in Assumption 2.14, and the known Poiseuille instability is acknowledged in the introduction. The reader's conditional verdict is right.\n\nWhat is actually new: Section 4's inverse estimates for the inviscid Rayleigh operator, Section 5's refinements of the Schrodinger resolvent estimates, and the Airy boundary-layer constructions for the no-slip problem in Sections 6 and 8. The main theorems (2.15 and 2.16) give explicit semigroup decay at the enhanced dissipation rate (L eps)^{-2/3} with matching powers of L and eps, for both traction and no-slip boundary conditions. The Hodge decomposition and zero-flux projection setup is careful, and the split into Pi and I-Pi components is clean. The reliance on earlier published work by the same authors, for Schrodinger resolvents and completeness of eigenfunctions, is legitimate: those results have their own independent proofs, and I see no circularity.\n\nSoft spots, in proportion. The main one is that several load-bearing lemmas have proofs that are skipped or described only as 'similar': Proposition 5.1 ends with 'the remaining details are skipped', Lemma 5.7 is skipped as similar to Lemma 5.6, and Lemma A.5, the asymptotic for the generalized Airy function, is dismissed as a standard steepest descent argument. For a paper whose entire claim is rigor, these are not cosmetic gaps: they sit inside the resolvent chain the main theorems depend on. They are probably fillable, but a referee should demand the details. Second, the title overpromises slightly. The U'' != 0 family generally requires a body force to be a stationary solution of Navier-Stokes, which the abstract does not say, and the stability claim is for monotone profiles only. The monotonicity is load-bearing, not a technicality: the Hardy inequalities, the turning-point estimates, and the Airy layers all use m > 0. The Poiseuille counterexample shows the restriction is natural rather than an oversight, and the paper says so clearly.\n\nWho this is for: specialists in rigorous hydrodynamic stability, transition thresholds, and enhanced dissipation. It is not a paper to skim; it rewards a patient reader. It deserves a serious referee. My recommendation is conditional acceptance: the skipped proofs need to be completed or precisely cited, and the abstract should state the body-force caveat for non-quadratic profiles. If the gaps close, this is a cite-worthy result.","headline":"Genuinely new Orr-Sommerfeld resolvent and semigroup estimates for monotone shear flows beyond Couette, honest about scope, but skipped proof details in load-bearing lemmas make a conditional verdict the right call.","tokens_in":92417,"tokens_out":4837,"would_cite":true,"duration_ms":53776,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76E05","35Q30","76D05","47A10"],"pacs":["47.20.Ft","47.15.-x"],"model":"deepseek-v4-flash","headline":"Steady laminar shear flows with strictly monotone velocity profiles between parallel plates are linearly stable in the high-Reynolds limit, with explicitly quantified exponential decay.","keywords":["linear stability","laminar flow","Orr-Sommerfeld operator","Rayleigh operator","high Reynolds number","Couette flow","semigroup estimates","Airy functions"],"falsifier":"Run a high-resolution spectral computation of the linearized operator (the Orr-Sommerfeld problem) for a monotone profile with $U''\\neq 0$ and small $\\varepsilon$, at the edge of the claimed stability region: if any eigenvalue of $T^\\#_P$ crosses into the right half-plane for some $L$ with $L\\varepsilon \\ll 1$, the theorem fails. Equivalently, check numerically whether the semigroup norm ever exceeds the stated $C L^{1/3-\\hat\\delta}\\varepsilon^{-7/6-\\hat\\delta} e^{-\\varepsilon\\Upsilon (L\\varepsilon)^{-2/3} t}$ bound; existing data for Poiseuille flow lie outside the theorem because $U'(0)=0$.","tokens_in":91480,"feed_emoji":"🌊","tokens_out":6940,"duration_ms":67949,"temperature":0.7,"pith_summary":"The paper proves that a broad family of steady laminar flows between parallel plates remains linearly stable as viscosity tends to zero. The flows are horizontal shear flows $(U(x_2),0)$ whose velocity profile $U$ is strictly monotone, and either nearly linear or strictly convex/concave. For both no-slip and fixed-traction boundary conditions, and for longitudinal periods $L$ satisfying $L\\varepsilon \\ll 1$, the linearized semigroup decays exponentially in time, with decay rate governed by $\\varepsilon (L\\varepsilon)^{-2/3}$. The proof reduces stability to uniform resolvent estimates for the Orr-Sommerfeld operator and its inviscid Rayleigh limit, with viscous boundary layers described by complex Airy functions. This supplies the linear input needed for nonlinear stability arguments and sharpens previously known transition thresholds for channel flows.","feed_headline":"Monotone channel flows stay stable at high Reynolds number","feed_subtitle":"Nearly Couette and strictly curved shear profiles decay exponentially, with explicit rates for both boundary conditions.","key_machinery":"The argument is carried by the Orr-Sommerfeld operator $B^\\#_{\\lambda,\\alpha,\\beta}=(L_\\beta-\\beta\\lambda)(d^2/dx^2-\\alpha^2)-i\\beta U''$ on $L^2(-1,1)$, where $L_\\beta=-d^2/dx^2+i\\beta U$, together with its inviscid limit, the Rayleigh operator $A_{\\lambda,\\alpha}=(U+i\\lambda)(-d^2/dx^2+\\alpha^2)+U''$. After a Hodge decomposition and a stream-function Fourier reduction, stability is reduced to uniform bounds on $(B^\\#_{\\lambda,\\alpha,\\beta})^{-1}$ over all Fourier modes. Those bounds are assembled from Hardy-inequality and turning-point estimates for $A^{-1}$, resolvent estimates for Schr\\\"odinger operators with purely imaginary potentials, and viscous boundary layers built from complex Airy functions and the generalized Airy function $A_0$.","core_discovery":"The central claim is that for profiles $U$ in a suitable compact class $S_r$, with either $\\inf |U''| \\ge 1/r$ or $\\delta_2(U)$ sufficiently small, the semigroup $e^{-t T^\\#_P(U,\\varepsilon,L)}$ acting on perturbations with zero longitudinal average satisfies an exponential decay bound. For the strictly convex/concave case the theorem gives $\\|e^{-t T^\\#_P}(I-\\Pi)\\| \\le C L^{1/3-\\hat\\delta}\\varepsilon^{-7/6-\\hat\\delta} e^{-\\varepsilon\\Upsilon (L\\varepsilon)^{-2/3} t}$, and for nearly Couette flows the stronger $C L^{2/3}\\varepsilon^{-5/6} e^{-\\varepsilon\\Upsilon (L\\varepsilon)^{-2/3} t}$. The same statement holds for both fixed-traction and no-slip boundary conditions. Together with the explicit decay of the longitudinal average, this establishes linear stability of the base flow in the limit $\\varepsilon \\to 0$.","pith_inferences":["Beyond the paper, a natural next step is nonlinear stability: with these linear semigroup bounds, a bootstrap argument should show that sufficiently small perturbations of these profiles remain close to the laminar flow for a time of order $\\varepsilon^{-1}(L\\varepsilon)^{2/3}$ or longer.","The monotonicity assumption is probably close to sharp: the Poiseuille profile, which violates it because $U'(0)=0$, is numerically unstable at Reynolds number near 5772, so any extension to non-monotone profiles would need to engage Tollmien-Schlichting mechanisms that this proof does not touch.","A direct numerical test is available: measure the decay rate of small perturbations of Couette and of a strictly convex profile and compare the predicted exponent $2/3$ in $(L\\varepsilon)^{-2/3}$; deviations would signal a missing spectral mechanism.","The improved prefactor in the nearly Couette case suggests that curvature of the profile is what forces the slower $L^{1/3-\\hat\\delta}\\varepsilon^{-7/6-\\hat\\delta}$ decay, and the same pattern should appear in resolvent bounds for intermediate curvature strengths."],"forward_implications":["For every profile covered by the theorem, perturbations with zero longitudinal average decay exponentially, while the longitudinal average decays only at the diffusion rate; the combination gives a stable semigroup.","The exponential rates are explicit: in the nearly Couette case they are controlled by the leftmost eigenvalue $\\nu_1$ of a complex Airy operator for fixed traction, and by the optimized constant $\\hat\\mu_m$ for no-slip conditions.","The result extends rigorous stability of Couette flow to a whole open class of nearby profiles and to profiles with nonzero curvature, under both boundary conditions.","The resolvent bounds are uniform in the longitudinal Fourier mode, which is exactly what permits the long period $L\\ll \\varepsilon^{-1}$ in the statement."],"supporting_citations":[{"why":"Supplies the generalized Airy function $A_0$, its zero locus, and asymptotic estimates used to construct and normalize the viscous boundary layers.","marker":"[47]"},{"why":"Provides the explicit stability theory for plane Couette flow that the nearly-Couette result extends and sharpens.","marker":"[42]"},{"why":"Gives the numerical instability of Poiseuille flow near Reynolds number 5772, marking the non-monotone profiles excluded by the main assumption.","marker":"[40]"},{"why":"Supplies the channel-flow spectral instability and resolvent framework that the inviscid estimates build on and contrast with.","marker":"[22]"},{"why":"Provides the earlier semigroup estimates for Couette flow in a finite channel that Theorems 2.15 and 2.16 improve.","marker":"[15]"},{"why":"Supplies the semiclassical resolvent estimates for Schr\\\"odinger operators with purely imaginary potentials used in Section 5.","marker":"[29]"},{"why":"Supplies localization techniques for the same Schr\\\"odinger-operator class, used for large wave numbers near the boundary.","marker":"[4]"},{"why":"Supplies the leftmost eigenvalue $\\nu_1$ of the complex Airy operator on $\\mathbb{R}_+$ that governs the fixed-traction decay rate.","marker":"[3]"},{"why":"Gives absence of embedded eigenvalues and linear inviscid damping for monotone shear flows, supporting the non-vanishing $U''$ case.","marker":"[49]"}],"fun_headline_variants":["Laminar channel flows proven stable at high Re","Nearly Couette and curved flows stable at high Re","Exponential decay proves laminar stability at high Re","Laminar flows between plates: linear stability proven","High-Re stability for nearly Couette and curved flows"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the flow profile being strictly monotone across the channel, meaning its derivative never vanishes, so the proof does not cover profiles like Poiseuille flow that have a stationary point in the middle.","fun_headline_variants_meta":{"raw":{"variants":["Laminar channel flows proven stable at high Re","Nearly Couette and curved flows stable at high Re","Exponential decay proves laminar stability at high Re","Laminar flows between plates: linear stability proven","High-Re stability for nearly Couette and curved flows"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000639,"raw_usage":{"total_tokens":2947,"prompt_tokens":953,"completion_tokens":1994,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":569,"completion_tokens_details":{"reasoning_tokens":1918}},"tokens_in":569,"tokens_out":1994,"duration_ms":13810,"temperature":1.0,"reasoning_tokens":1918,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:49:37.855612+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a high-resolution spectral computation of the linearized operator (the Orr-Sommerfeld problem) for a monotone profile with $U''\\neq 0$ and small $\\varepsilon$, at the edge of the claimed stability region: if any eigenvalue of $T^\\#_P$ crosses into the right half-plane for some $L$ with $L\\varepsilon \\ll 1$, the theorem fails. Equivalently, check numerically whether the semigroup norm ever exceeds the stated $C L^{1/3-\\hat\\delta}\\varepsilon^{-7/6-\\hat\\delta} e^{-\\varepsilon\\Upsilon (L\\varepsilon)^{-2/3} t}$ bound; existing data for Poiseuille flow lie outside the theorem because $U'(0)=0$.","supporting_citations":[{"cited_title":"W asow, On small disturbances of plane Couette flow","cited_arxiv_id":null,"evidence_quote":"Supplies the generalized Airy function $A_0$, its zero locus, and asymptotic estimates used to construct and normalize the viscous boundary layers."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the explicit stability theory for plane Couette flow that the nearly-Couette result extends and sharpens."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the numerical instability of Poiseuille flow near Reynolds number 5772, marking the non-monotone profiles excluded by the main assumption."},{"cited_title":"Grenier, Y","cited_arxiv_id":null,"evidence_quote":"Supplies the channel-flow spectral instability and resolvent framework that the inviscid estimates build on and contrast with."},{"cited_title":"Almog, D","cited_arxiv_id":null,"evidence_quote":"Supplies localization techniques for the same Schr\\\"odinger-operator class, used for large wave numbers near the boundary."},{"cited_title":"Almog , The Stability of the Normal State of Superconductors in the P res- ence of Electric Currents","cited_arxiv_id":null,"evidence_quote":"Supplies the leftmost eigenvalue $\\nu_1$ of the complex Airy operator on $\\mathbb{R}_+$ that governs the fixed-traction decay rate."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives absence of embedded eigenvalues and linear inviscid damping for monotone shear flows, supporting the non-vanishing $U''$ case."}],"review_version":1}