REVIEW 2 major objections 2 minor 18 references
Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus
T0 review · 2 major / 2 minor · reviewed 2026-06-29 · grok-4.3
Pith's one-line read The 2D anisotropic Navier-Stokes equations on the torus satisfy a uniform large deviation principle for solution paths in the energy space but cannot mix exponentially due to a dissipation-immune steady state.
desk verdict The paper delivers a uniform LDP for anisotropic stochastic NS via a new contraction argument and shows that degenerate noise forces invariant measures to avoid the kernel of horizontal dissipation. 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 contraction principle applied after the linear Ornstein-Uhlenbeck LDP together with the deterministic steady state lying in the kernel of the horizontal Laplacian.
What would settle it
An explicit construction of an invariant probability measure supported inside the kernel of the horizontal Laplacian under the given degenerate noise would falsify the invariant-measure claim.
Extended reading notes
Core claim
The central claim is that the stochastic 2D anisotropic Navier-Stokes equations on the torus obey a uniform LDP in C([0,T];H) via the linear OU LDP, a new Lipschitz estimate for the nonlinearity, and a contraction without exponential tightness; moreover, a deterministic steady state immune to horizontal dissipation precludes exponential mixing, while under degenerate noise the kernel of the horizontal Laplacian supports no invariant measures and any existing invariant measure must lie orthogonal to it.
Load-bearing premise
There exists a deterministic steady state that remains completely unaffected by the horizontal dissipation term.
Editorial extensions
If this is right
- Solution paths concentrate on sets with finite rate function given by the LDP.
- Exponential mixing is impossible for any choice of parameters.
- The kernel of the horizontal Laplacian admits no invariant measures under the degenerate noise.
- Any invariant measure of the stochastic system is supported outside that kernel.
Reading between the lines
- The distinction between the torus and no-slip domains suggests that boundary conditions interact strongly with the anisotropy to control ergodicity.
- Similar steady states immune to partial dissipation may exist in other anisotropic fluid models and could be used to obstruct mixing there as well.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper establishes a uniform large deviation principle (LDP) for the solution paths of the 2D stochastic anisotropic Navier-Stokes equations with horizontal dissipation and additive noise, in the space C([0,T];H). The proof proceeds via an LDP for the linear Ornstein-Uhlenbeck process, a new Lipschitz estimate on the nonlinear term, and a contraction argument that bypasses exponential tightness. It then shows that exponential mixing fails because of a deterministic steady state unaffected by horizontal dissipation. For invariant measures, the deterministic system admits infinitely many Dirac measures supported in the infinite-dimensional kernel of the horizontal Laplacian; under suitably degenerate noise this kernel supports no invariant measures, and any invariant measure of the stochastic system must be orthogonal to the kernel. These features distinguish the anisotropic torus case from both the isotropic NSE and no-slip boundary problems.
Significance. If the uniform LDP and the kernel-orthogonality claims hold, the work supplies a sharp, quantitative distinction between anisotropic and isotropic dissipation in the long-time stochastic dynamics of the NSE. The uniform LDP in energy space is a strong result that could serve as a template for other degenerate dissipative systems; the explicit construction of a dissipation-immune steady state and the resulting non-mixing and measure-orthogonality statements are falsifiable and directly address open questions about invariant measures for partially dissipative SPDEs.
major comments (2)
- [§3] §3, the new Lipschitz estimate for the nonlinear map (used to pass from the OU LDP to the full nonlinear LDP via contraction): the estimate is stated to hold uniformly in the noise intensity, but the proof sketch does not make explicit how the horizontal dissipation controls the vertical velocity component in the difference of two solutions; a concrete bound on the constant in terms of the horizontal viscosity parameter is needed to confirm uniformity.
- [§5.2] §5.2, the deterministic steady-state construction: the claim that the steady state is 'immune to horizontal dissipation' relies on it lying exactly in the kernel of the horizontal Laplacian. The argument that this precludes exponential mixing is load-bearing for the second main result; it would be strengthened by an explicit computation showing that the linearization around this state has a zero eigenvalue whose eigenfunction is not damped by the horizontal term.
minor comments (2)
- [§2] Notation for the energy space H and the horizontal Laplacian should be introduced once in §2 and used consistently; the current alternation between H and the full Sobolev space occasionally obscures which norm is being controlled.
- [§6] The statement that 'any invariant measure must be orthogonal to the kernel' would benefit from a short remark clarifying whether orthogonality is with respect to the L2 inner product or the energy inner product.
Simulated Author's Rebuttal
We thank the referee for the careful reading, positive assessment, and constructive suggestions. The comments will improve the clarity of the estimates and the long-time analysis. We address each major comment below.
read point-by-point responses
-
Referee: [§3] §3, the new Lipschitz estimate for the nonlinear map (used to pass from the OU LDP to the full nonlinear LDP via contraction): the estimate is stated to hold uniformly in the noise intensity, but the proof sketch does not make explicit how the horizontal dissipation controls the vertical velocity component in the difference of two solutions; a concrete bound on the constant in terms of the horizontal viscosity parameter is needed to confirm uniformity.
Authors: We agree that the uniformity argument benefits from an explicit control on the vertical component. The horizontal dissipation acts on horizontal derivatives; combined with the divergence-free condition, this yields an a priori bound on the vertical velocity difference that is independent of noise intensity. In the revision we will insert a detailed calculation (new Lemma in §3) showing that the Lipschitz constant of the nonlinear map satisfies C ≤ K/ν_h, where ν_h denotes the horizontal viscosity and K is independent of the noise strength. This makes the contraction uniform and confirms the claim. revision: yes
-
Referee: [§5.2] §5.2, the deterministic steady-state construction: the claim that the steady state is 'immune to horizontal dissipation' relies on it lying exactly in the kernel of the horizontal Laplacian. The argument that this precludes exponential mixing is load-bearing for the second main result; it would be strengthened by an explicit computation showing that the linearization around this state has a zero eigenvalue whose eigenfunction is not damped by the horizontal term.
Authors: We thank the referee for this suggestion. The steady state is constructed to lie in the kernel of the horizontal Laplacian, so the dissipation term vanishes identically on it. Linearizing the deterministic anisotropic NSE around this state produces a zero eigenvalue whose eigenfunction lies in the kernel and is therefore unaffected by the horizontal term. We will add this short explicit linearization computation to §5.2 in the revised manuscript. revision: yes
Circularity Check
No significant circularity identified
full rationale
The derivation proceeds from a standard LDP for the linear Ornstein-Uhlenbeck process, a new Lipschitz estimate on the nonlinear map, and a contraction principle that avoids exponential tightness; these are independent analytic steps. The long-time claims rest on explicit construction of a deterministic steady state unaffected by horizontal dissipation together with the kernel of the horizontal Laplacian, none of which reduce by definition or self-citation to the target results. No fitted parameters are renamed as predictions, no uniqueness theorem is imported from the authors' prior work, and the abstract presents the results as derived from external tools plus new estimates. The chain is therefore self-contained.
Assumptions & free parameters
assumptions (2)
- domain assumption Existence and uniqueness of mild solutions to the stochastic anisotropic Navier-Stokes equations
- standard math The horizontal Laplacian on the torus has an infinite-dimensional kernel containing steady states immune to dissipation
Cite this review
Pith. "Pith review of Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus." pith.science (2026). https://pith.science/paper/R5RYKF5G
@misc{pith2026260627645,
author = {Pith},
title = {Pith review of: Uniform large deviations and long-time dynamics for the 2D anisotropic Navier-Stokes equations on the torus},
year = {2026},
howpublished = {\url{https://pith.science/paper/R5RYKF5G}},
note = {Machine review of arXiv:2606.27645}
}
abstract
We study the two-dimensional stochastic Navier-Stokes equations on the torus with horizontal dissipation and additive noise. First, we prove a uniform large deviation principle for the solution paths in the energy space $C([0,T];H).$ The proof combines a large deviation principle for a linear Ornstein-Uhlenbeck process, a new Lipschitz estimate for the nonlinear map, and a contraction principle that avoids any exponential tightness condition. Second, we analyse the long-time dynamics. By exhibiting a deterministic steady state immune to the horizontal dissipation, we show that exponential mixing cannot hold. Finally, we investigate the invariant measures of the system. In the deterministic case, the infinite-dimensional kernel of the horizontal Laplacian contains infinitely many Dirac invariant measures. Under a suitably degenerate noise, however, the kernel supports no invariant measure at all; moreover, any invariant measure of this stochastic system, should it exist, must be orthogonal to this kernel. This sharply distinguishes the anisotropic equations on the torus both from the fully dissipative Navier-Stokes equations and from their counterparts on domains with no-slip boundaries.
Reference graph
Works this paper leans on
-
[1]
Billingsley,Convergence of Probability Measures, Wiley, New York, 2013
P. Billingsley,Convergence of Probability Measures, Wiley, New York, 2013
2013
-
[2]
Budhiraja, P
A. Budhiraja, P. Dupuis, A variational representation for positive functionals of infi- nite dimensional Brownian motion,Probab. Math. Statist.20(2000), 39–61
2000
-
[3]
Budhiraja, P
A. Budhiraja, P. Dupuis, V. Maroulas, Large deviations for infinite dimensional sto- chastic dynamical systems,Ann. Probab.36(2008), 1390–1420
2008
-
[4]
C. Cao, Y. Guo, On the two-dimensional Navier-Stokes equations with horizontal viscosity,J. Math. Anal. Appl.,557(2026), 130352
2026
-
[5]
Cerrai, N
S. Cerrai, N. Paskal, Large deviations principle for the invariant measures of the 2D stochastic Navier-Stokes equations with vanishing noise correlation,Stoch. PDE: Anal. Comp.10(2022), 1651–1681. 24 CHENGFENG SUN 1, HAO YU 1, AND HUI LIU 2
2022
-
[6]
B. Chen, X. Zhu, Large deviation principle for the two-dimensional stochastic Navier- Stokes equations with anisotropic viscosity,Acta Math. Appl. Sin.,39(2023), 511– 549
2023
-
[7]
Cushman-Roisin, J
B. Cushman-Roisin, J. M. Beckers,Introduction to Geophysical Fluid Dynamics: Physical and Numerical Aspects, Academic Press, 2011
2011
-
[8]
Da Prato, J
G. Da Prato, J. Zabczyk,Stochastic Equations in Infinite Dimensions, 2nd ed., Cam- bridge University Press, Cambridge, 2014
2014
Show all 18 references
-
[9]
B. Dong, J. Wu, X. Xu, N. Zhu, Stability and exponential decay for the 2D anisotropic Navier-Stokes equations with horizontal dissipation,J. Math. Fluid Mech.,23(2021), 100
2021
-
[10]
Liang, Uniqueness of invariant measures for stochastic damped anisotropic Navier- Stokes equations,Z
S. Liang, Uniqueness of invariant measures for stochastic damped anisotropic Navier- Stokes equations,Z. Angew. Math. Phys.,77(2026), 113
2026
-
[11]
Liang, P
S. Liang, P. Zhang, R. Zhu, Deterministic and stochastic 2D Navier-Stokes equations with anisotropic viscosity,J. Differential Equations275(2021), 473–508
2021
-
[12]
W. Liu, M. Röckner,Stochastic Partial Differential Equations: An Introduction, Springer, Cham, 2015
2015
-
[13]
Y. Liu, B. Tang, R. Zhang, Large deviation principles for stationary solutions and invariant measures of a class of SPDE with locally monotone coefficients, arXiv:2604.22461v1
-
[14]
Pedlosky,Geophysical Fluid Dynamics, Springer, New York, 2013
J. Pedlosky,Geophysical Fluid Dynamics, Springer, New York, 2013
2013
-
[15]
Salins, Equivalences and counterexamples between several definitions of the uni- form large deviations principle,Probab
M. Salins, Equivalences and counterexamples between several definitions of the uni- form large deviations principle,Probab. Surv.16(2019), 99–142
2019
-
[16]
C. Sun, Z. Qiu, Y. Tang, Ergodicity for two class stochastic partial differential equa- tions with anisotropic viscosity,Statist. Probab. Lett.207(2024), 110022
2024
-
[17]
Temam,Navier–Stokes Equations and Nonlinear Functional Analysis, 2nd ed., SIAM, Philadelphia, 1995
R. Temam,Navier–Stokes Equations and Nonlinear Functional Analysis, 2nd ed., SIAM, Philadelphia, 1995
1995
-
[18]
Wang, Uniform large deviation principles of fractional stochastic reaction-diffusion equations on unbounded domains,Discrete Contin
B. Wang, Uniform large deviation principles of fractional stochastic reaction-diffusion equations on unbounded domains,Discrete Contin. Dyn. Syst. Ser. S16(2023), 2765–2782
2023
Reviewed June 29, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.