REVIEW 3 major objections 5 minor 1 cited by
Enhanced Dissipation, Taylor Dispersion, and Inviscid Damping of Couette flow in the Boussinesq system on the Plane
T0 review · 3 major / 5 minor · reviewed 2026-08-10 · deepseek-v4-flash
Pith's one-line read Stratified Couette flow on the whole plane is quantitatively stable, with explicit enhanced dissipation, Taylor dispersion, and inviscid damping rates.
desk verdict A genuine first nonlinear stability result for Boussinesq–Couette on R^2, but the written proof has load-bearing gaps that need real work before the theorem is verifiable. 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 argument is carried by the frequency-by-frequency energy $E_k[Z_k,Q_k]$ in the moving reference frame $X=x-yt$, built on symmetrized variables $Z = \langle\partial_X\rangle^{1/2}p^{-1/4}\Omega$ and $Q = \sqrt{R}\,\partial_X|\partial_X|^{-1}\langle\partial_X\rangle^{1/2}p^{1/4}\Theta$, where $p=k^2+(\eta-kt)^2$. The energy contains cross-terms between $Z$ and $Q$ that turn the coupling into dissipation, an exponential multiplier $N_k$ tied to the stratification, and the inviscid damping operator $J_k(t,\eta)=\frac12\arctan(\eta/k-t)$. The linearized system satisfies the pointwise differential inequality $\frac{d}{dt}E_k \leq -c_1 D_k - c_0\lambda_k E_k$, with $\lambda_k = \mu^{1/3}|k|^{2/3}$ for $|k|\geq\mu$ and $|k|^2/\nu$ for $|k|\leq\mu$; this single multiplier encodes both enhanced dissipation at high $x$-frequencies and Taylor dispersion at low $x$-frequencies. The nonlinear problem is closed by a bootstrap in the energy $E[Z,Q]=\int\!\int \langle c\lambda_k t\rangle^{2J} M_k(t)\langle k,\eta\rangle^{2n}\langle k\rangle^{2m} E_k\, d\eta\, dk$, where $M_k$ solves a designed ODE that absorbs time-derivatives of the decay weight, and the nonlinear terms are bounded by $\mu^{-1/2-\delta^*} D E^{1/2}$ through a sequence of interpolation lemmas in frequency space.
What would settle it
A direct calculation of the mixed nonlinear terms $T_{\gamma,m1}$ and $T_{\gamma,m2}$ in Section 4.3 that violates the claimed $\mu^{-1/2-\delta^*} D E^{1/2}$ bound, or a counterexample to any of Lemmas 6.4, 6.6, or 6.7, would invalidate the bootstrap and hence the main theorem.
Extended reading notes
Core claim
The central discovery is a set of explicit quantitative estimates for the nonlinear problem. Theorem 1.1 states that if $\|\omega_{in}\|_{V(0)} + \sqrt{R}\|\nabla\theta_{in}\|_{V(0)} = \zeta \leq \delta \mu^{1/2+\delta^*}$, then for all $t\geq 0$, $\|\omega\|_{V(t)} + \sqrt{R}\|\nabla\theta\|_{V(t)} \leq 2\langle t\rangle^{1/2}\zeta$, $\|\partial_x u_1\|_{V(t)} + \sqrt{R}\|\partial_x\theta\|_{V(t)} \leq 2\langle t\rangle^{-1/2}\zeta$, and $\|\partial_x|\partial_x,\partial_y+t\partial_x|^{-1}\partial_x u_2\|_{V(t)} \leq 2\langle t\rangle^{-3/2}\zeta$, with an integral control on $u_2$. Here $V(t)$ is a time-dependent anisotropic Sobolev norm adapted to the sheared coordinates. In the symmetrized variables the proof reduces to a bootstrap showing that the energy $E[Z,Q]$ and dissipation $D[Z,Q]$ satisfy $\frac{d}{dt}E \leq -4cD + \mu^{-1/2-\delta^*} C^{1/2} E^{1/2} D$, which closes once the initial energy is below $O(\mu^{1+2\delta^*})$.
Load-bearing premise
The whole nonlinear proof rests on the frequency-space interpolation estimates collected in Lemmas 6.1-6.8 and on the assertion that the mixed nonlinear terms, which the paper does not compute, obey the same bounds as the principal terms; several of those lemmas are stated without proof, and if any one of them fails, the bootstrap argument proving Theorem 2.1 and hence Theorem 1.1 collapses.
Editorial extensions
If this is right
- Any perturbation of Couette flow in the stably stratified Boussinesq system on $\mathbb{R}^2$ with initial size $\zeta \leq \delta\mu^{1/2+\delta^*}$ in the $V(0)$ norm remains globally controlled, with the bounds (1.9) holding for all time.
- Nonzero $x$-frequencies decay at the enhanced dissipation rate $\exp(-c\lambda_k t)$, which is faster than heat diffusion when $|k|\geq\mu$, with rate $\mu^{1/3}|k|^{2/3}$.
- Low $x$-frequencies are controlled by Taylor dispersion with the rate $|k|^2/\nu$, the shear-accelerated diffusion rate.
- The velocity and density perturbations exhibit inviscid damping: $u_1$ and $\theta$ decay like $\langle t\rangle^{-1/2}$, the second velocity component decays like $\langle t\rangle^{-3/2}$, while vorticity and density gradient grow like $\langle t\rangle^{1/2}$ as in the linear theory.
- The result on the fully unbounded plane $\mathbb{R}^2$ removes the periodicity-in-$x$ restriction of earlier nonlinear results on $\mathbb{T}\times\mathbb{R}$, and the alternate theorem gives an $L^\infty_k$ version of the bounds that controls an additional half-derivative at low frequencies.
Reading between the lines
- Editorial inference: the same frequency-by-frequency energy construction should extend to other strictly monotone shear profiles on unbounded domains, such as Poiseuille-type flows, whenever the analogous pointwise dissipation terms dominate the nonlinear convolution.
- Editorial inference: because $\delta^*\in(0,1/12)$ is arbitrary, the method leaves open whether the sharp stability threshold is exactly $\mu^{1/2}$; testing the bootstrap at $\delta^*=0$ would decide whether the $\mu^{1/2+\delta^*}$ loss is an artifact of the interpolation scheme.
- Editorial inference: the three interpolation lemmas stated without proof (Lemmas 6.4, 6.6, and 6.7) are the natural place to look first; a direct verification or numerical check of those frequency-space estimates would either certify or refute the nonlinear bounds in Lemma 4.1.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies the 2D Boussinesq system on R^2 near the stably stratified Couette flow. Its main result, Theorem 1.1, asserts that if R > 1/4, ν and κ satisfy (1.4), and the initial perturbation has size ζ ≤ δ µ^{1/2+δ*} in a low-order anisotropic Sobolev norm V(0), then the solution obeys the quantitative estimates in (1.9): growth of (ω, ∇θ) at the rate ⟨t⟩^{1/2}, decay of ∂_x u_1 and ∂_x θ at the rate ⟨t⟩^{-1/2}, and decay of ∂_x |∂_x, ∂_y+t∂_x|^{-1} ∂_x u_2 at the rate ⟨t⟩^{-3/2}, together with an integrated dissipation bound. The proof introduces symmetrized variables in a moving frame, proves a pointwise-in-frequency linear energy estimate (Proposition 2.2), and then uses a bootstrap argument based on the nonlinear estimate Lemma 4.1. A second theorem (Theorem 1.2) is formulated with an additional L∞_k component in the norm and is treated in Section 5.
Significance. If the proof is completed, the result is a significant advance: it is the first quantitative nonlinear stability result for the Boussinesq system near Couette flow on the fully unbounded domain R^2, and it simultaneously provides explicit enhanced dissipation, Taylor dispersion, and inviscid damping rates in a low-order anisotropic norm. The linear part of the paper is careful: the pointwise energy (2.7), the derivation of Proposition 2.2 in Section 3, and the explicit choice of constants in Remark 3.1 are presented in detail, and the rates in (1.9) are concrete and testable. However, the nonlinear estimate Lemma 4.1, which is the load-bearing step for Theorem 1.1, is not proven in the written manuscript: several interpolation lemmas it relies on are stated without proof, and several mixed nonlinear terms are not estimated. These gaps can in principle be filled within the same framework, so I do not regard the central idea as unsound, but the proof as written is incomplete.
major comments (3)
- [Appendix (Lemmas 6.4, 6.6, 6.7); Section 4 estimates (4.14), (4.20)] The proof of Lemma 4.1 uses interpolation lemmas that are not proved. Lemma 6.4 is introduced with the note that its proof is not presented, Lemma 6.6 with the note that its proof is omitted for the sake of space, and Lemma 6.7 with the note that its proof has no new ideas. These are not peripheral: Lemma 6.4 is used in the bound of T^y_{α,Z1,LH} at (4.20), Lemma 6.6 in the bound of T^y_{γ,Z1,HL,(·,H)} at (4.14), and Lemma 6.7 in the bounds for T^x_{α,Z2,LH} and T^x_{β,Q2,HL}. Without these estimates, the bound (4.8) on |T_γ|+|T_α|+|T_β| is not established, and consequently the bootstrap inequality (2.17) that yields Theorem 2.1 and then Theorem 1.1 is not justified.
- [Section 4.3 and (4.7)] The decomposition (4.7) defines mixed terms T_{γ,m1}, T_{γ,m2}, T_{α,m1}, T_{α,m2}, T_{β,m1}, and T_{β,m2}, yet no estimates are given for these quantities. Section 4.3 states only that T_{γ,m1} and T_{γ,m2} follow schematically from the Z and Q arguments, citing boundedness of ∂_t p/(|k|p^{1/2}); Sections 4.4–4.7 then estimate only the T_{*,Z} and T_{*,Q} components. This is not an automatic reduction: the mixed integrands contain Re(NL^{(Z)}_k \overline{Q_k}) and Re(\overline{Z_k} NL^{(Q)}_k), where the nonlinearities (4.9)–(4.10) carry different powers of p and different k-sign factors, so an explicit estimate is required. Moreover the mixed terms for the α and β components are not mentioned after (4.7). Since Lemma 4.1 requires bounds for all of T_γ, T_α, and T_β, the proof of the main nonlinear estimate is incomplete.
- [Section 5, Lemma 5.3 and (5.6)–(5.7)] The alternate theorem has the same structural gap. Lemma 5.3 bounds T_∞ together with time-integrated versions of T_γ, T_α, and T_β, but the proof in Sections 5.3–5.4 estimates only T_∞,Z and T_∞,Q. The mixed terms T_∞,m1 and T_∞,m2, defined just before (5.7), are never estimated. The text says that the bounds on T_γ, T_α, and T_β are proven in a similar manner to Sections 4.1–4.7, but since those sections already omit the mixed terms and rely on unproved lemmas, Theorem 1.2 is not established as written.
minor comments (5)
- [Sections 4.4–4.7] The symbols A(k) and B(k) are used throughout the nonlinear estimates without being defined; the notation strongly suggests A(k)^2 = α_k and B(k)^2 = β_k from (2.8), but this identification is never stated. The estimates systematically use identities such as B(k)^2 |k| ≲ A(k), so the definition should be given explicitly at first use.
- [Corollary 3.5] The displayed u_2 estimate has the positive power ⟨t⟩^{(1+d)/2}, which is inconsistent with the inviscid damping statements of Corollary 3.4 and with the decay of ∂_x u_2 in (1.9); the exponent should presumably be negative.
- [Proposition 2.2] In the displayed final estimate, the two integral terms after e^{2cλ_kt} E_k are not separated by a plus sign; the inequality appears to have a missing '+'.
- [Theorem 2.1] The statement refers to 'the corresponding solution (Z,Q) to (1.3)' in the line following (2.5); the symmetrized system is (2.4), not (1.3).
- [Throughout] There are numerous typos in headings and formulas, for example 'Dam ping' in the title, 'cmpletes' at the end of Section 4, and inconsistent spellings of Riesz; these should be corrected.
Circularity Check
No circularity: the nonlinear bootstrap is proved internally, with self-citation used only for methodology.
full rationale
The main theorem is proved through an internal bootstrap: Section 3 proves the pointwise linear dissipation estimate Proposition 2.2 by direct computation, Section 4 establishes Lemma 2.3 by estimating T_gamma + T_alpha + T_beta via the interpolation lemmas, and Remark 2.1 derives Theorem 2.1 from Lemma 2.3. No parameter is fitted to the quantity being predicted, and no conclusion is assumed in the norm definitions; the enhanced dissipation, Taylor dispersion, and inviscid damping rates are encoded in the weighted norm V(t) but must be earned by the energy and dissipation inequalities. The self-citation to [1] (Arbon and Bedrossian) supplies the norm template, the J_k multiplier, and the bootstrap format, but the estimates themselves are carried out in the present paper, and the cited work is not invoked as the proof of Lemma 2.3 or Lemma 4.1. The paper does contain verification gaps: Lemmas 6.4, 6.6, and 6.7 are stated without proof, and Section 4.3 declines to compute the mixed terms T_gamma,m1 and T_gamma,m2, asserting only that they follow schematically identically. These are omitted-support issues, not circular reductions, because the bounds are asserted as independent intermediate inequalities rather than being defined in terms of the theorem's conclusion.
Assumptions & free parameters
free parameters (3)
- δ* =
arbitrary in (0,1/12)
- m, n, J =
m>1/2, n≥0, J≥1
- c, cα, cβ, cτ =
small constants with explicit upper bounds (Remark 3.1)
assumptions (4)
- domain assumption Richardson number R > 1/4 (Miles-Howard criterion)
- domain assumption Condition (1.4): max{ν,κ}/min{ν,κ} ≤ 4√R - 1 - ε
- domain assumption Existence and uniqueness of solutions to the nonlinear Boussinesq system in the chosen regularity class
- standard math Standard Fourier and integral inequalities (Hölder, Young, Riesz transform boundedness)
Cite this review
Pith. "Pith review of Enhanced Dissipation, Taylor Dispersion, and Inviscid Damping of Couette flow in the Boussinesq system on the Plane." pith.science (2026). https://pith.science/paper/UJVZ5WXL
@misc{pith2026250100690,
author = {Pith},
title = {Pith review of: Enhanced Dissipation, Taylor Dispersion, and Inviscid Damping of Couette flow in the Boussinesq system on the Plane},
year = {2026},
howpublished = {\url{https://pith.science/paper/UJVZ5WXL}},
note = {Machine review of arXiv:2501.00690}
}
abstract
We consider the quantitative asymptotic stability of the stably stratified Couette flow solution to the 2D fully dissipative nonlinear Boussinesq system on $\mathbb{R}^2$ with large Richardson number $R > 1/4$, viscosity $\nu$ and density dissipation $\kappa$. For an initial perturbation $(\omega_{in}, \theta_{in})$ of size $\mu^{1/2 + \epsilon}$ in a low-order anisotropic Sobolev space, for $\mu$ roughly $\min(\nu, \kappa)\left(1 - O(1/\sqrt{R})\right)$ and $\nu$, $\kappa$ comparable, we demonstrate asymptotic stability with explicit enhanced dissipation and Taylor dispersion rates of decay. We also give inviscid damping estimates on the velocity $u$ and the density $\theta$. This is the first result of its type for the Boussinesq system on the fully unbounded domain $\mathbb{R}^2$. We also translate some known linear results from $\mathbb{T} \times \mathbb{R}$ to $\mathbb{R}^2$, and we give an alternative theorem for the nonlinear result.
Forward citations
Cited by 1 Pith paper
-
Transition threshold of Couette flow for 2D Boussinesq equations
The stability threshold α=1/3 for 2D Boussinesq-Couette flow holds for unequal viscosity and thermal diffusivity, with H^{s+1/2} regularity for s>3/2.
Reference graph
Works this paper leans on
-
[1]
R. Arbon and J. Bedrossian, Quantitative hydrodynamic stability for couette flow on unb ounded domains with navier boundary conditions (2024), available at 2404.02412
arXiv 2024
-
[2]
R. Aris, On the disperions of a solute in a fluid flowing throw a tube , Proceedings of the Royals Society of London A 235 (1956), 67–77
work page 1956
-
[3]
J. Bedrossian, R. Bianchini, M. Coti Zelati, and M. Dolce , Nonlinear inviscid damping and shear-buoyancy instabilit y in the two-dimensional boussinesq equations , Communications on Pure and Applied Mathematics 76 (2023), no. 12, 3685– 3768, available at https://onlinelibrary.wiley.com/doi/pdf/10.1002/cpa.22123
-
[4]
J. Bedrossian, M. Coti Zelati, and M. Dolce, Taylor dispersion and phase mixing in the non-cutoff boltzma nn equation on the whole space , Proceedings of the London Mathematical Society 129 (2024), e12616
work page 2024
-
[5]
J. Bedrossian, P. Germain, and N. Masmoudi, Stability of the couette flow at high reynolds number in two di mensions and three dimensions, Bulletin of the American Mathematical Society 54 (2019)
work page 2019
-
[6]
J. Bedrossian, S. He, S. Iyer, and F. W ang, Stability threshold of nearly-couette shear flows with navi er boundary conditions in 2d (2023), available at 2311.00141
arXiv 2023
-
[7]
J. Bedrossian and N. Masmoudi, Inviscid damping and the asymptotic stability of planar she ar flows in the 2d euler equations, Publications math´ ematiques de l’IH´ES 122 (2015), 195 –300
work page 2015
-
[8]
J. Bedrossian, N. Masmoudi, and Vicol. V., Enhanced dissipation and inviscid damping in the inviscid l imit of the navier- stokes equations near the two dimensional couette flow , Archive for Rational Mechanics and Analysis 219 (2016), no. 3, 1087–1159
work page 2016
Show all 35 references
-
[9]
Beekie and S
R. Beekie and S. He, Transition threshold for strictly monotone shear flows in so bolev spaces (2024), available at 2409.09219
2024 arXiv
-
[10]
Bianchini, M
R. Bianchini, M. Coti Zelati, and M. Dolce, Linear inviscid damping for shear flows near couette in the 2d stably stratified regime, Indiana University Mathematics Journal 71 (2022), 1467–1504. [11] , Symmetrization and asymptotic stability in non-homogeneo us fluids around strat...
2022 arXiv
-
[12]
Chen and R
T. Chen and R. Zi, On the sobolev stability threshold for shear flows near couet te in 2d mhd equations , Proceedings of the Royal Society of Edinburgh: Section A Mathematics (2024), 1 –51
2024
-
[13]
Coti Zelati and T
M. Coti Zelati and T. Gallay, Enhanced dissipation and taylor dispersion in higher-dime nsional parallel shear flows , Journal of the London Mathematical Society 108 (2023), no. 4, 1358–1392. 62
2023
-
[14]
Coti Zelati and M
M. Coti Zelati and M. Nualart, Explicit solutions and linear inviscid damping in the euler -boussinesq equation near a stratified couette flow in the periodic strip (2023), available at 2309.08419
2023 arXiv
-
[15]
, Limiting absorption principles and linear inviscid dampin g in the euler-boussinesq system in the periodic channel (2023), available at 2309.08445
2023 arXiv
-
[16]
Howard, Noe on a paper of John
N. Howard, Noe on a paper of John. W Wiles , J. Fluid Mech. 10 (1961), 509–512
1961
-
[17]
Kelvin, Stability of fluid motion - rectilinear motion of viscous flui d between two parallel plates , The Philosophical Magazine 24 (1887), 188 –196
L. Kelvin, Stability of fluid motion - rectilinear motion of viscous flui d between two parallel plates , The Philosophical Magazine 24 (1887), 188 –196
-
[18]
Knobel and C
N. Knobel and C. Zillinger, On the sobolev stability threshold for the 2d mhd equations w ith horizontal magnetic dissipation (2023), available at 2309.00496
2023 arXiv
-
[19]
Masmoudi, B Said-Houari, and W
N. Masmoudi, B Said-Houari, and W. Zhao, Stability of the couette flow for a 2d boussinesq system witho ut thermal diffusivity , Archive for Rational Mechanics and Analysis 245 (2022), no. 2, 645–752
2022
-
[20]
Masmoudi, Z
N. Masmoudi, Z. Zhai, and W. Zhao, Asymptotic stability for two-dimensional boussinesq syst ems around the couette flow in a finite channel , Journal of Functional Analysis 284 (2023), no. 1, 109736
2023
-
[21]
Masmoudi and W
N. Masmoudi and W. Zhao, Stability threshold of two-dimensional couette flow in sobo lev spaces , Annales de l’Institut Henri Poincar´ e C Analyse non lin´ eaire39 (2022), no. 2, 245–325
2022
-
[22]
3, 1093–1175
, Nonlinear inviscid damping for a class of monotone shear flow s in a finite channel , Annals of Mathematics 199 (2024), no. 3, 1093–1175
2024
-
[23]
Miles, On the stability of heterogeneous shear flows , J
J. Miles, On the stability of heterogeneous shear flows , J. Fluid Mech. 10 (1961), 496–508
1961
-
[24]
Niu and W
B. Niu and W. Zhao, Improved stability threshold of the two-dimensional couet te flow for navier-stokes-boussinesq systems via quasi-linearization (2024), available at 2409.16216
2024 arXiv
-
[25]
D. D. Ryutov, Landau damping: half a century with the great discovery , Plasma Physics and Controlled Fusion 41 (1999), no. 3A
1999
-
[26]
G. I. Taylor, Dispersion of soluble matter in solvent flowing slowly throu gh a tube , Proceedings of the Royal Society of London A 219 (1953), 186–203
1953
-
[27]
, Dispersion of matter in turbulent flow through a tube , Proceedings of the Royals Society of London A 223 (1954), 446–468
1954
-
[28]
W ang and Z
F. W ang and Z. Zhang, The stability threshold for 2d mhd equations around couette with general viscosity and magnetic resistivity (2024), available at 2410.20404
2024 arXiv
-
[29]
W ang, Enhanced dissipation and stability of poiseuille flow for tw o-dimensional boussinesq system (2024), available at 2405.11787
G. W ang, Enhanced dissipation and stability of poiseuille flow for tw o-dimensional boussinesq system (2024), available at 2405.11787
2024 arXiv
-
[30]
W ang and W
G. W ang and W. W ang, Transition threshold for the 2-d couette flow in whole space v ia green ’s function (2024), available at 2404.11878
2024 arXiv
-
[31]
Yang and Z
J. Yang and Z. Lin, Linear inviscid damping for couette flow in stratified fluid , Journal of Mathematical Fluid Mechanics 20 (2017), 445–472
2017
-
[32]
Coti Zelati and A
M. Coti Zelati and A. Del Zotto, Suppression of lift-up effect in the 3d boussinesq equations around a stably stratified couette flow , Quarterly of Applied Mathematics (2024)
2024
-
[33]
Zhai and W
C. Zhai and W. Zhao, Stability threshold of the couette flow for navier–stokes bo ussinesq system with large richardson number γ 2 ≥ 1 4 , SIAM Journal on Mathematical Analysis 55 (2023), no. 2, 1284–1318, available at https://doi.org/10.1137/22M1495160
2023 doi
-
[34]
Zhang and R
Z. Zhang and R. Zi, Stability threshold of couette flow for 2d boussinesq equati ons in sobolev spaces , Journal de Math´ ematiques Pures et Appliqu´ ees179 (2023), 123 –182
2023
-
[35]
Zhao and R
W. Zhao and R. Zi, Asymptotic stability of couette flow in a strong uniform magn etic field for the euler-mhd system , Archive for Rational Mechanics and Analysis 248 (2024)
2024
-
[36]
Zillinger, On enhanced dissipation for the boussinesq equations , Journal of Differential Equations 282 (2021), 507–445
C. Zillinger, On enhanced dissipation for the boussinesq equations , Journal of Differential Equations 282 (2021), 507–445. 63
2021
Reviewed August 10, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.