REVIEW 2 major objections 5 minor 1 cited by
Stability of the Couette flow for 3D Navier-Stokes equations with rotation
T0 review · 2 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Theorem 1.2 establishes stability threshold γ=2 for rotating 3D Couette flow.
desk verdict Solid upper-bound stability proof at the resonant β=1 rotating Couette case with a genuinely new pair of good unknowns; the paper overstates the threshold by omitting the instability half. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The moving frame $X=x-ty$, $Y=y$, $Z=z$ gives $\nabla_L=(\partial_X,\partial_Y-t\partial_X,\partial_Z)$ and $\Delta_L=\partial_X^2+(\partial_Y-t\partial_X)^2+\partial_Z^2$. The central objects are the two good unknowns $\check K^1=-|\nabla_{X,Z}|\,|\nabla_L| U^1$ and $\check K^2=-|\partial_X|\,|\nabla_L| U^2$; they turn the coupled linear equations for $Q^1,Q^2$ into the skew-symmetric pair (4.13)-(4.14), so the dangerous term $Q^1-\partial^L_{YY}U^1$ cancels in the energy identity. Two Fourier multipliers carry the viscous-stretching competition: $m$, defined by an ODE that activates on the $\nu^{-1/3}$ window where stretching overcomes dissipation, and the ghost multiplier $M$ with bounds from Lemma 4.2, which produces the dissipation term $\sqrt{-\dot M M}$ used in Corollary 4.1. These objects make every nonlinear term in Sections 5–7 controllable by the bootstrap hypotheses.
What would settle it
Integrate the ODE (4.3) numerically for $k=1$, $l=0$, $\eta=0$ over $t\in[0,1000\nu^{-1/3}]$ and check whether $m(t)\ge c\nu^{2/3}$ and $m(t)\ge (k^2+l^2)/(k^2+(\eta-kt)^2+l^2)$ hold pointwise for a universal $c$; one counterexample frequency would invalidate Lemma 4.1 and collapse the bootstrap proof of Theorem 1.2.
Extended reading notes
Core claim
The paper's central result, Theorem 1.2, states that for $\nu\in(0,1)$ and $\sigma>9/2$ there is a $\delta=\delta(\sigma)>0$ such that any divergence-free $u_{\mathrm{in}}\in H^\sigma$ with $\varepsilon=\|u_{\mathrm{in}}\|_{H^\sigma}<\delta\nu^2$ produces a unique global solution of the perturbation equation (1.3). The solution obeys $\|u^1_0\|_{L^\infty H^\sigma}+\nu^{1/2}\|\nabla u^1_0\|_{L^2H^\sigma}\lesssim\varepsilon$, $\|u^{2,3}_0\|_{L^\infty H^\sigma}+\nu^{1/2}\|\nabla u^{2,3}_0\|_{L^2H^\sigma}\lesssim\varepsilon\nu^{-1}$, and the nonzero-frequency bounds (1.25)-(1.26) with inviscid damping and enhanced dissipation rates $\nu^{1/6}$ or $\nu^{1/2}$. Equivalently, the stability threshold is $\gamma=2$: initial data below $\delta\nu^2$ remain close to Couette for all time, with the only large factor $\nu^{-1}$ appearing exactly where the double lift-up effect predicts linear-in-time growth.
Load-bearing premise
The proof imports, without proof, the multiplier lemmas from [1] and [20], especially the lower bound $\nu^{2/3}\lesssim m$ and the inequality $m\gtrsim(k^2+l^2)/(k^2+(\eta-kt)^2+l^2)$; if either fails, the energy estimates that close the bootstrap collapse.
Editorial extensions
If this is right
- If Theorem 1.2 is correct, the stability threshold exponent for 3D Navier-Stokes-Coriolis at $\beta=1$ is $\gamma=2$: initial data of size $\delta\nu^2$ remain global and return to Couette, while the double lift-up makes any better exponent inaccessible to this bootstrap.
- The dangerous part of the perturbation is confined to zero x-frequency: $u^{2,3}_0$ may grow to order $\varepsilon\nu^{-1}$, while $u^1_0$ and all nonzero frequencies remain at order $\varepsilon$, with $U^3_\neq$ at order $\varepsilon\nu^{-1/3}$.
- Inviscid damping and enhanced dissipation are not destroyed by rotation: $U^{1,2}_\neq$ decays like $\langle t\rangle^{-1}$ and gains $L^2$ control with $\nu^{1/6}$ weights, so the instability mechanism is a zero-frequency phenomenon.
- By Remark 1.5 the same threshold survives for any shear rate $\beta>1$ after rescaling, so $\beta=1$ is the worst resonant case rather than an isolated parameter.
Reading between the lines
- The explicit linear formula (1.20) suggests the exponent $\gamma=2$ is optimal: the factor $t$ in $u^{2,3}_0$, valid for $t\lesssim\nu^{-1}$, converts initial size $\varepsilon$ into size $\varepsilon\nu^{-1}$, so a uniform-in-$\nu$ bound cannot hold for $\varepsilon\gg\nu^2$; the paper stops short of proving nonlinear instability.
- A natural next test is the intermediate range $0<\beta<1$ and $1<\beta<\infty$: interpolating between the non-rotating threshold $\gamma=1$ and this resonant $\gamma=2$ would show where the second lift-up direction turns on, and the two-good-unknown construction should adapt continuously.
- The multiplier technique is the transferable part: any Couette-type system with a linear coupling that blocks direct $Q^1/Q^2$ energy estimates, such as stratified or magnetic variants, could borrow the same symmetrization before estimating the nonlinear terms.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the 3D Navier–Stokes–Coriolis system (1.1) with rotation strength β=1 on T×R×T, near the Couette flow (y,0,0). Section 3 treats the linearized problem and obtains explicit enhanced-dissipation, inviscid-damping, and lift-up estimates (Theorem 1.1). Sections 4–7 develop a bootstrap argument using new unknowns ˇK^1,ˇK^2 and Fourier multipliers m,M to prove Theorem 1.2: if the initial perturbation satisfies ‖u_in‖_{H^σ} ≤ δν² for σ>9/2, then the solution is global and satisfies the bounds (1.23)–(1.26). The paper presents this as establishing the stability threshold γ=2.
Significance. If the upper-bound theorem is correct, this is a substantial technical advance over the authors' previous work [18] in the resonant case β=1, where rotation produces lift-up in two directions. The linear part is explicit and checkable: the symmetrization (3.5) and the exact zero-mode solution (1.20) are valuable, and the nonlinear bootstrap is detailed and closely follows the BGM template. The new unknowns ˇK^1,ˇK^2 are a sensible device for handling the linear coupling. However, the advertised threshold statement is one-sided: the paper proves stability for ε≲ν² but does not prove instability for ε≫ν². Since Section 1.1 explicitly defines the threshold by both stability and instability, and since at ε=ν² the linear lift-up growth is only O(ν), Remark 4.6 does not supply the missing lower bound. The stability theorem itself remains significant, but the optimality claim as written is not established.
major comments (2)
- [§1.1, Theorem 1.2, Remark 4.6] The abstract and Remark 4.6 assert that γ=2 is the stability threshold and that this exponent 'cannot be replaced by other real numbers less than 2.' Section 1.1 defines the threshold by two requirements: stability for ‖u_in‖_{H^σ}≲ν^γ and instability for ‖u_in‖_{H^σ}≫ν^γ. Theorem 1.2 proves only the first half, and only with the small constant δ in ε<δν². No nonlinear instability construction, and no lower-bound mechanism at or above the threshold, is provided. The linear lift-up estimate (1.20) gives growth of u^{2,3}_0 of size εν^{-1}; at the claimed threshold ε=ν² this is only O(ν), which is still small and does not imply transition or preclude nonlinear saturation. The assertion in Remark 4.6 is therefore unsupported. The paper should be reframed as proving the upper bound γ≤2, or else the instability half of the threshold definition should be proved.
- [Section 4.1, Lemma 4.1] Lemma 4.1 is load-bearing: the lower bound (4.7) and the inequality (4.8) are used throughout Sections 5–6, for example in the estimates of N LS2 and N LP. The manuscript states that this multiplier is 'a known conclusion' from [1] and that the proof process is ignored. I did not find a numerical error, and the formulas (4.5)–(4.6) appear to follow by direct integration of (4.3), but because the coefficient in the stretching term of (4.1) is 2 and the precise form of m matters for every nonlinear estimate, the authors should include the short direct verification or state exactly which statement in [1] covers this ODE. As written, the proof of a central lemma is only a citation.
minor comments (5)
- [§4.2] The sentence 'The proof of Theorem 1.1 follows directly from Proposition 4.2' should refer to Theorem 1.2, since Theorem 1.1 is proved in Section 3.
- [Remark 4.3] The claim that 'ι=1/3 is optimal' is not proved; the displayed calculation only shows that the bootstrap closes for ι≥1/3 and that the proof gives ι∈[1/3,1/2]. The word 'optimal' should be replaced by 'sufficient' or justified with a separate argument.
- [§4.3] The constant-selection paragraph is confusing: it refers to a universal constant C̄=C̄(δ) before δ has been chosen, and then says δ is chosen last. Please spell out the order of choice: fix C1, then C0, then δ, and state which conditions are used in each step.
- [Lemma 4.1] For readability, include a sentence explaining that (4.5)–(4.6) are obtained by integrating (4.3) and that the lower bound (4.7) follows from the ratio k²+l² over k²+(η-kt)²+l², so the reader does not have to reconstruct the proof from [1].
- [Throughout] There are several typographical artifacts in the preprint, such as '/greaterorequalslant', '/lessorequalslant', and missing minus signs in displayed equations. These should be cleaned before publication.
Circularity Check
No significant circularity: the main theorem is derived from the PDE by energy estimates, and the imported multiplier lemmas come from external works rather than from the paper's own conclusions.
full rationale
The central derivation is self-contained in the relevant sense: Theorem 1.2 is obtained from the Navier-Stokes-Coriolis equations through the change of variables (1.12), the new unknowns (4.12), the Fourier multipliers m and M, and the bootstrap estimates of Propositions 4.1-4.3. No parameter is fitted to the target estimate, and no 'prediction' is defined in terms of the quantity it is supposed to predict. The multipliers m and M are imported from [1] and [20], which are external works by other authors; Lemma 4.1 even gives explicit formulas (4.5)-(4.8) that follow by direct integration of (4.3), so this is independent support rather than a self-citation chain. The paper's self-citations to [18] are contextual comparisons and do not carry a load-bearing step in the bootstrap. The only notable weakness is that Remark 4.6 claims the exponent 2 cannot be replaced by a smaller number, while the paper proves only the upper-bound stability half and gives no nonlinear instability construction; that is an overclaim or a missing lower-bound proof, not a circularity. Accordingly, no circular step meeting the required evidentiary standard is present.
Assumptions & free parameters
free parameters (4)
- C0 =
large constant chosen in Section 4.3
- C1 =
large constant chosen in Section 4.3
- delta =
small, δ=δ(σ)
- 1000 in multiplier m ODE =
1000
assumptions (6)
- standard math Sobolev algebra and Littlewood-Paley paraproduct estimates, Section 2.4
- standard math Fourier transform on T×R×T and coercivity of ∇L, Sections 2.2-2.3
- domain assumption NSC equations on T×R×T with no boundaries, β=1, Couette base flow (1.2)
- ad hoc to paper Lemma 4.1 properties of multiplier m imported from [1] without proof
- ad hoc to paper Lemma 4.2 ghost multiplier M properties from [1,20]
- standard math Local well-posedness and analyticity from Majda-Bertozzi and Levermore-Oliver, Lemmas 4.3-4.4
invented entities (1)
-
K1, K2 and ˇK1, ˇK2 good unknowns
Cite this review
Pith. "Pith review of Stability of the Couette flow for 3D Navier-Stokes equations with rotation." pith.science (2026). https://pith.science/paper/R2VJJ6QU
@misc{pith2026241211005,
author = {Pith},
title = {Pith review of: Stability of the Couette flow for 3D Navier-Stokes equations with rotation},
year = {2026},
howpublished = {\url{https://pith.science/paper/R2VJJ6QU}},
note = {Machine review of arXiv:2412.11005}
}
abstract
Rotation significantly influences the stability characteristics of both laminar and turbulent shear flows. This study examines the stability threshold of the three-dimensional Navier-Stokes equations with rotation, in the vicinity of the Couette flow at high Reynolds numbers ($\mathbf{Re}$) in the periodical domain $\mathbb{T} \times \mathbb{R} \times \mathbb{T}$, where the rotational strength is equivalent to the Couette flow. Compared to the classical Navier-Stokes equations, rotation term brings us more two primary difficulties: the linear coupling term involving in the equation of $u^2$ and the lift-up effect in two directions. To address these difficulties, we introduce two new good unknowns that effectively capture the phenomena of enhanced dissipation and inviscid damping to suppress the lift-up effect. Moreover, we establish the stability threshold for initial perturbation $\left\|u_{\mathrm{in}}\right\|_{H^{\sigma}} < \delta \mathbf{Re}^{-2}$ for any $\sigma > \frac{9}{2}$ and some $\delta=\delta(\sigma)>0$ depending only on $\sigma$.
Forward citations
Cited by 1 Pith paper
-
Long-Wave Stability And Instability Of Periodic Shear Flows For The 2D Navier-Stokes Equations On The $\beta$-Plane
For 2D Navier-Stokes shear flows on the beta-plane, long-wave stability is governed by a rotation-modified norm of the shear profile, with instability when that norm exceeds the viscosity.
Reference graph
Works this paper leans on
-
[1]
J. Bedrossian, P. Germain, N. Masmoudi, On the stability thresho ld for the 3D Couette flow in Sobolev regularity. Ann. of Math. 185(2): 541–608 (2017)
work page 2017
- [18]
-
[2]
J. Bedrossian, P. Germain, N. Masmoudi, Dynamics near the subc ritical transition of the 3D Couette flow II: Above threshold case. Mem. Amer. Math. Soc. 279, (2022) v+135
work page 2022
-
[3]
J. Bedrossian, P. Germain, N. Masmoudi, Dynamics near the subc ritical transition of the 3D Couette flow I: Below threshold case. Mem. Amer. Math. Soc. 26 6 (2020) v+158
work page 2020
-
[4]
J. Bedrossian, P. Germain, N. Masmoudi, Stability of the Couette flow at high Reynolds numbers in two dimensions and three dimensions. Bull. Amer. Math. So c. 56(3): 373–414 (2019)
work page 2019
-
[5]
J. Bedrossian, S. He, S. Iyer, F. Wang, Uniform Inviscid Damping and Inviscid Limit of the 2D Navier-Stokes equation with Navier Boundary Conditions. arXiv:2 405.19249 (2024)
work page 2024
-
[6]
J. Bedrossian, S. He, S. Iyer, F. Wang, Stability threshold of ne arly-Couette shear flows with Navier boundary conditions in 2D. arXiv:2311.00141 (2024)
arXiv 2024
-
[7]
J. Bedrossian, N. Masmoudi, V. Vicol, Enhanced dissipation and inv iscid damping in the inviscid limit of the Navier-Stokes equations near the two dimensional Couette flow. Arch. Ration. Mech. Anal. 219(3): 1087–1159 (2016)
work page 2016
Show all 32 references
-
[8]
Bedrossian, V
J. Bedrossian, V. Vicol, F. Wang, The Sobolev stability threshold f or 2D shear flows near Couette. J. Nonlinear Sci. 28(6): 2051–2075 (2018)
2018
-
[9]
Bahouri, J.-Y
H. Bahouri, J.-Y. Chemin, and R. Danchin. Fourier analysis and non linear partial differential equations, volume 343 of Grundlehren der Mathematischen Wissenschaften [Fundamen tal Principles of Mathematical Sciences]. Springer, Heidelberg, 2011. 48
2011
-
[10]
S. J. Chapman, Subcritical transition in channel flows. J. Fluid M ech. 451: 35–97 (2002)
2002
-
[11]
Q. Chen, T. Li, D. Wei, Z. Zhang, Transition threshold for the 2- D Couette flow in a finite channel. Arch. Ration. Mech. Anal. 238(1): 125–183 (2020)
2020
-
[12]
Q. Chen, D. Wei, Z. Zhang, Linear inviscid damping and enhanced d issipation for monotone shear flows. Comm. Math. Phys. 400(1): 215-276 (2023)
2023
-
[13]
Q. Chen, D. Wei, Z. Zhang, Transition threshold for the 3D Coue tte flow in a finite channel. Mem. Amer. Math. Soc. 296(1478), v+178 pp (2024)
2024
-
[14]
W. Deng, J. Wu, P. Zhang, Stability of Couette flow for 2D Bouss inesq system with vertical dissipation. J. Funct. Anal. 281(12): 1-40 (2021)
2021
-
[15]
Drazin, Introduction to hydrodynamic stability
P. Drazin, Introduction to hydrodynamic stability. Cambridge T exts in Applied Mathemat- ics. Cambridge University Press, Cambridge, 2002
2002
-
[16]
Duguet, L
Y. Duguet, L. Brandt, B. R. J. Larsson, Towards minimal pert urbations in transitional plane Couette flow. Phys. Rev. E 82(3): 1-13 (2010)
2010
-
[17]
Ellingsen, E
T. Ellingsen, E. Palm, Stability of linear flow. Phys. Fluids 18: 487–4 88 (1975)
1975
-
[19]
C. D. Levermore, M. Oliver, Analyticity of solutions for a genera lized Euler equation. J. Differential Equations. 133(2): 321–339 (1997)
1997
-
[20]
Liss, On the Sobolev stability threshold of 3D Couette flow in a u niform magnetic field
K. Liss, On the Sobolev stability threshold of 3D Couette flow in a u niform magnetic field. Comm. Math. Phys. 377(2): 859–908 (2020)
2020
-
[21]
Lundbladh, D
A. Lundbladh, D. S. Henningson, S. C. Reddy, Threshold amplitu des for transition in channel flows. Transition, Turbulence and Combustion: Volume I Transition. 309–318 (1994)
1994
-
[22]
Masmoudi, W
N. Masmoudi, W. Zhao, Enhanced dissipation for the 2D Couette flow in critical space. Comm. Partial Differential Equations. 45(12): 1682–1701(2020)
2020
-
[23]
Masmoudi, S
N. Masmoudi, S. H. Belkacem, W. Zhao, Stability of the Couette fl ow for a 2D Boussinesq system without thermal diffusivity. Arch. Ration. Mech. Anal. 245( 2): 645–752 (2022)
2022
-
[24]
A. J. Majda, A. L. Bertozzi, Vorticity and incompressible flow. C ambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge (2002)
2002
-
[25]
Oxley, R
W. Oxley, R. Kerswell, Linear stability of stratified, rotating, vis cous plane Couette- Poiseuille flow. J. Fluid Mech. 991: Paper No. A16, 33 pp, (2024)
2024
-
[26]
S. C. Reddy, P. J. Schmid, J. S. Baggett, D. S. Henningson, On stability of streamwise streaks and transition thresholds in plane channel flows. J. Fluid Mech. 365: 269–303 (1998)
1998
-
[27]
Tillmark, P
N. Tillmark, P. Alfredsson. Experiments on rotating plane Couet te flow. Advances in Tur- bulence VI, volume 36 of Fluid Mechanics and its Applications, 391–394 , (1996)
1996
-
[28]
Tsukahara, N
T. Tsukahara, N. Tillmark, P. Alfredsson, Flow regimes in a plane C ouette flow with system rotation. J. Fluid Mech. 648(3):5–33, (2010). 49
2010
-
[29]
A. M. Yaglom, Hydrodynamic instability and transition to turbulen ce. Fluid Mechanics and its Applications. Springer, Dordrecht (2012)
2012
-
[30]
D. Wei, Z. Zhang, Transition threshold for the 3D Couette flow in Sobolev space. Comm. Pure Appl. Math. 74(11): 2398–2479 (2021)
2021
-
[31]
D. Wei, Z. Zhang, Nonlinear enhanced dissipation and inviscid damp ing for the 2D Couette flow. Tunis. J. Math. 5(3): 573-592 (2023)
2023
-
[32]
M. C. Zelati, A. D. Zotto, Suppression of lift-up effect in the 3D B oussinesq equations around a stably stratified Couette flow. Quarterly of Applied Mathematics, (2024). 50
2024
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.