pith. sign in

arxiv: 2601.16110 · v2 · submitted 2026-01-22 · 🧮 math.AP

Stability and Decay for the 2D Anisotropic Navier-Stokes Equations with Fractional Horizontal Dissipation on mathbb{R}²

Zhibin Wang , Jiahong Wu , Ning Zhu This is my paper

Pith reviewed 2026-05-16 11:53 UTC · model grok-4.3

classification 🧮 math.AP
keywords anisotropic Navier-Stokesfractional dissipationstabilitydecay estimatesweighted spacesRiesz transforms2D fluid equations
0
0 comments X

The pith

The 2D anisotropic Navier-Stokes equations with fractional horizontal dissipation remain stable and decay algebraically for every exponent 0 ≤ s < 1.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper establishes global stability and large-time algebraic decay for solutions of the two-dimensional Navier-Stokes equations when dissipation acts only in the horizontal direction through the fractional operator Λ₁^{2s}. The intermediate regime sits between fully dissipative Navier-Stokes, whose solutions decay, and the inviscid Euler equations, whose solutions can grow. Separate arguments are constructed for three ranges of s: low values up to 3/4, an intermediate band up to 11/12, and the most delicate interval from 11/12 up to but not including 1, where polynomial A₂ weights and the boundedness of Riesz transforms on weighted L² spaces are introduced to close the estimates.

Core claim

For the 2D anisotropic Navier-Stokes equations on R² with horizontal dissipation Λ₁^{2s}, global stability and algebraic decay in time hold whenever 0 ≤ s < 1. Distinct techniques are developed for 0 ≤ s ≤ 3/4, for 3/4 < s < 11/12, and for 11/12 ≤ s < 1; the final interval relies on spatial polynomial A₂ weights together with the boundedness of Riesz transforms on weighted L² spaces to control the nonlinear terms.

What carries the argument

The fractional horizontal dissipation operator Λ₁^{2s} controlled via range-dependent energy estimates, with A₂ polynomial weights and Riesz-transform boundedness on weighted L² spaces supplying the closure for s near 1.

If this is right

  • Small-data solutions remain globally bounded and decay algebraically in time for every fractional strength below the classical horizontal Laplacian.
  • The decay persists uniformly across the three s-ranges once the corresponding weighted or unweighted estimates close.
  • The limit s approaching 1 recovers the standard one-directional dissipation case in the stability statement.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The weighted-space method may extend directly to the endpoint s = 1 and thereby cover the classical partial-dissipation Navier-Stokes system.
  • Similar polynomial-weight techniques could be tested on other anisotropic or directionally dissipative fractional equations in two or three dimensions.
  • Quantitative decay rates that depend explicitly on s may be extractable from the same energy functionals.

Load-bearing premise

Initial data must be small in suitable Sobolev or weighted spaces and global existence must be established separately.

What would settle it

An explicit example or numerical computation showing unbounded growth for arbitrarily small initial data at some fixed s < 1 would disprove the claimed stability.

read the original abstract

The stability problem for the 2D Navier-Stokes equations with dissipation in only one direction on $\mathbb R^2$ is not fully understood. This dissipation is in the intermediate regime between the fully dissipative Navier-Stokes and the inviscid Euler. Navier-Stokes solutions in $\mathbb R^2$ decay algebraically in time while Euler solutions can grow rather rapidly in time. This paper solves the fundamental stability and large-time behavior problem on the anisotropic Navier-Stokes with fractional dissipation $\Lambda_1^{2s}$ for all $0\leq s<1$. The case $s=1$ corresponds to the standard one directional dissipation $\partial_1^2$. Different techniques are developed to treat different ranges of fractional exponents: $0\leq s\leq \frac34$, $\frac34<s<\frac{11}{12}$, and $\frac{11}{12} \leq s <1$. The final range is the most difficult case, for which we introduce the spatial polynomial $A_2$ weights and exploit the boundedness of Riesz transforms on weighted $L^2$-spaces.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 2 minor

Summary. The paper claims to prove global stability and algebraic decay in time for small-data solutions of the 2D anisotropic Navier-Stokes system with fractional horizontal dissipation Λ₁^{2s} on ℝ², for every 0 ≤ s < 1. It proceeds by case distinction: standard energy methods for 0 ≤ s ≤ 3/4, refined estimates for 3/4 < s < 11/12, and, for the most delicate regime 11/12 ≤ s < 1, the introduction of polynomial A₂ weights together with the boundedness of Riesz transforms on the corresponding weighted L² spaces to recover control of the nonlinear term.

Significance. If the estimates close, the result would resolve a long-standing open question on the stability of anisotropic dissipation in the intermediate regime between the fully dissipative 2D Navier-Stokes equations and the inviscid Euler equations, furnishing uniform algebraic decay rates that remain valid as s approaches 1 from below.

major comments (1)
  1. [Abstract and § on 11/12 ≤ s < 1] Abstract and the section treating 11/12 ≤ s < 1: the argument invokes boundedness of Riesz transforms on polynomial A₂-weighted L² spaces to close the a priori estimates for the bilinear term (u·∇)u. It is not shown that the operator norms remain bounded independently of s as s → 1^−; any s-dependent blow-up would force the smallness threshold on the initial data to deteriorate, undermining the uniform stability statement claimed for the entire interval [11/12, 1).
minor comments (2)
  1. [Abstract] The precise algebraic decay rates (e.g., t^{-α} with explicit α) obtained in each regime should be stated explicitly in the abstract and in the main theorems.
  2. [Section on weighted estimates] Notation for the weighted spaces and the precise form of the polynomial A₂ weights should be introduced before their first use in the estimates.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to verify uniformity of the Riesz-transform bounds with respect to s. We address the comment below and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: [Abstract and § on 11/12 ≤ s < 1] Abstract and the section treating 11/12 ≤ s < 1: the argument invokes boundedness of Riesz transforms on polynomial A₂-weighted L² spaces to close the a priori estimates for the bilinear term (u·∇)u. It is not shown that the operator norms remain bounded independently of s as s → 1^−; any s-dependent blow-up would force the smallness threshold on the initial data to deteriorate, undermining the uniform stability statement claimed for the entire interval [11/12, 1).

    Authors: We agree that an explicit verification of s-uniformity is required. The weights employed are of the form w(x)=(1+|x₁|²)^β with β=β(s)>0 chosen sufficiently small (depending on the gap 1-s) to close the nonlinear estimates. As s→1^− one may take β→0^+, and it is standard that the A₂ characteristic [w]_{A₂} remains bounded by a constant independent of s (in fact [w]_{A₂}→1). Consequently the operator norm of the Riesz transforms on L²(w) is bounded by a universal constant C independent of s. We will insert a short lemma (or appendix paragraph) recording this fact together with the relevant reference to the weighted Calderón-Zygmund theory. This keeps the smallness threshold on the initial data uniform over the whole interval [11/12,1). revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation uses standard analytic tools without self-referential reduction.

full rationale

The paper establishes global stability and algebraic decay for the 2D anisotropic Navier-Stokes system with horizontal fractional dissipation Λ₁^{2s} (0 ≤ s < 1) via direct a priori estimates in Sobolev and weighted spaces. Different regimes (0 ≤ s ≤ 3/4, 3/4 < s < 11/12, 11/12 ≤ s < 1) are handled by adapted energy methods; the hardest case introduces polynomial A₂ weights and invokes the known boundedness of Riesz transforms on weighted L² spaces. This boundedness is an external harmonic-analysis fact, not derived from the paper's own equations or prior self-citations. No step reduces a claimed prediction to a fitted parameter by construction, nor does any load-bearing premise collapse to a self-citation chain. The derivation remains self-contained against external benchmarks and does not exhibit any of the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The argument rests on classical Sobolev embedding, Riesz transform boundedness, and weighted L² estimates standard in PDE analysis; no new free parameters or invented entities are introduced.

axioms (2)
  • standard math Boundedness of Riesz transforms on weighted L² spaces
    Invoked explicitly for the range 11/12 ≤ s < 1 to close the estimates.
  • domain assumption Standard local existence and continuation criteria for anisotropic Navier-Stokes
    Used to extend local solutions to global ones under small-data assumptions.

pith-pipeline@v0.9.0 · 5501 in / 1238 out tokens · 45902 ms · 2026-05-16T11:53:08.375264+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

25 extracted references · 25 canonical work pages

  1. [1]

    R. A. Adams and J. J. F. Fournier,Sobolev spaces, second edition, Pure and Applied Mathematics (Amsterdam), 140, Elsevier/Academic Press, Amsterdam, 2003

    work page 2003

  2. [2]

    Bahouri, J.-Y

    H. Bahouri, J.-Y. Chemin and R. Danchin,Fourier analysis and nonlinear par- tial differential equations, Grundlehren der mathematischen Wissenschaften, 343, Springer, Heidelberg, 2011

    work page 2011

  3. [3]

    Cao and J

    C. Cao and J. Wu, Global regularity for the 2D MHD equations with mixed partial dissipation and magnetic diffusion, Adv. Math.226(2011), no. 2, 1803–1822

    work page 2011

  4. [4]

    Cao and J

    C. Cao and J. Wu, Global regularity for the 2D anisotropic Boussinesq equations with vertical dissipation, Arch. Ration. Mech. Anal.208(2013), no. 3, 985–1004. 62

    work page 2013

  5. [5]

    Choi and I.-J

    K. Choi and I.-J. Jeong, Infinite growth in vorticity gradient of compactly supported planar vorticity near Lamb dipole, Nonlinear Anal. Real World Appl.65(2022), Paper No. 103470, 20 pp

    work page 2022

  6. [6]

    Denisov, Infinite superlinear growth of the gradient for the two-dimensional Euler equation,Discrete Contin

    S. Denisov, Infinite superlinear growth of the gradient for the two-dimensional Euler equation,Discrete Contin. Dyn. Syst.,23(2009), 755–764

    work page 2009

  7. [7]

    Denisov, Double-exponential growth of the vorticity gradient for the two dimen- sional Euler equation,Proc

    S. Denisov, Double-exponential growth of the vorticity gradient for the two dimen- sional Euler equation,Proc. Amer. Math. Soc.,143(2015), 1199–1210

    work page 2015

  8. [8]

    Denisov, The sharp corner formation in 2D Euler dynamics of patches: infinite double exponential rate of merging,Arch

    S. Denisov, The sharp corner formation in 2D Euler dynamics of patches: infinite double exponential rate of merging,Arch. Ration. Mech. Anal.,215(2015), 675– 705

    work page 2015

  9. [9]

    B. Q. Dong, J. Wu, X. Xu and N. Zhu, Stability and exponential decay for the 2D anisotropic Navier-Stokes equations with horizontal dissipation, J. Math. Fluid Mech.23(2021), no. 4, Paper No. 100, 11 pp

    work page 2021

  10. [10]

    T. D. Drivas, T. M. Elgindi and I.-J. Jeong, Twisting in Hamiltonian flows and perfect fluids, Invent. Math.238(2024), no. 1, 331–370

    work page 2024

  11. [11]

    W. E and B. Engquist, Blowup of solutions of the unsteady Prandtl’s equation, Comm. Pure Appl. Math.50(1997), no. 12, 1287–1293

    work page 1997

  12. [12]

    Jeong, Y

    I.-J. Jeong, Y. Yao and T. Zhou, Superlinear gradient growth for 2D Euler equation without boundary, arXiv:2507.15739

    work page arXiv

  13. [13]

    R. H. Ji, J. Wu and W. Yang, Stability and optimal decay for the 3D Navier-Stokes equations with horizontal dissipation, J. Differential Equations290(2021), 57–77

    work page 2021

  14. [14]

    Kiselev and V

    A. Kiselev and V. ˇSver´ ak, Small scale creation for solutions of the incompressible two dimensional Euler equation,Ann. of Math.,180(2013), 1205–1220

    work page 2013

  15. [15]

    H. Lin, J. Wu and Y. Zhu, Stability and large-time behavior of 3D incompressible MHD equations with partial dissipation near a background magnetic field, Arch. Ration. Mech. Anal.249(2025), no. 3, Paper No. 26

    work page 2025

  16. [16]

    C. Miao, B. Yuan and B. Zhang, Well-posedness of the Cauchy problem for the fractional power dissipative equations, Nonlinear Anal.68(2008), no. 3, 461–484

    work page 2008

  17. [17]

    Majda and A

    A. Majda and A. Bertozzi, Vorticity and Incompressible Flow, Cambridge University Press, 2002. 63

    work page 2002

  18. [18]

    Prandtl, Zur Berechnung des Wetterablaufs, Nachr

    L. Prandtl, Zur Berechnung des Wetterablaufs, Nachr. Akad. Wiss. G¨ ottingen. Math.-Phys. Kl. Math.-Phys.-Chem. Abt.1946(1946), 102–105

    work page 1946

  19. [19]

    Schlichting and K

    H. Schlichting and K. Gersten,Boundary-layer theory, ninth edition Translated from the German by Katherine Mayes, Springer, Berlin, 2017

    work page 2017

  20. [20]

    M. E. Schonbek, Large time behaviour of solutions to the Navier-Stokes equations inH m spaces, Comm. Partial Differential Equations20(1995), no. 1-2, 103–117

    work page 1995

  21. [21]

    E. M. Stein,Harmonic analysis: real-variable methods, orthogonality, and oscilla- tory integrals, Princeton Mathematical Series Monographs in Harmonic Analysis, 43 III, Princeton Univ. Press, Princeton, NJ, 1993

    work page 1993

  22. [22]

    Shang, J

    H. Shang, J. Wu and Q. Zhang, Stability and optimal decay for the 3D magneto- hydrodynamic equations with only horizontal dissipation, J. Evol. Equ.24(2024), no. 1, Paper No. 12, 41 pp

    work page 2024

  23. [23]

    Wu and Y

    J. Wu and Y. Zhu, Global solutions of the 3D incompressible MHD system with mixed partial dissipation and magnetic diffusion near an equilibrium, Adv. Math. 377(2021), 107466

    work page 2021

  24. [24]

    W. Yang, Q. Jiu and J. Wu, The 3D incompressible Navier-Stokes equations with partial hyperdissipation, Math. Nachr.292(2019), no. 8, 1823–1836

    work page 2019

  25. [25]

    Zlatoˇ s, Exponential growth of the vorticity gradient for the Euler equation on the torus,Adv

    A. Zlatoˇ s, Exponential growth of the vorticity gradient for the Euler equation on the torus,Adv. Math.,268(2015), 396–403. 64

    work page 2015