pith. sign in

arxiv: 2605.21663 · v1 · pith:KW4CDICPnew · submitted 2026-05-20 · 🧮 math.AP

Long-time behaviour of two-dimensional Navier-Stokes equations in the presence of Couette flow on the half plane

Ning Liu , Nader Masmoudi , Weiren Zhao This is my paper

Pith reviewed 2026-05-22 09:02 UTC · model grok-4.3

classification 🧮 math.AP
keywords Navier-Stokes equationsCouette flowvorticity asymptoticsFokker-Planck operatorNavier-slip boundary conditionshalf-planelong-time behaviorspectral analysis
0
0 comments X

The pith

Total vorticity in half-plane Couette flow approaches -1 plus a term decaying as t to the -5/2 times a scaled Fokker-Planck kernel.

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

The paper establishes that solutions to the two-dimensional Navier-Stokes equations with background Couette flow on the half-plane and Navier-slip boundary conditions have total vorticity that converges to a specific long-time profile. This profile consists of the background vorticity -1 plus a correction proportional to the second moment of the initial vorticity, scaled by viscosity to the power -3/2 and time to the power -5/2, multiplied by the kernel of a certain linear operator. The proof proceeds by analyzing the spectrum of this Fokker-Planck-type operator subject to the boundary conditions to extract the leading asymptotic term. A sympathetic reader would care because the result supplies an explicit description of how viscosity, shear, and the boundary together control the ultimate decay of vorticity perturbations.

Core claim

We prove that the total vorticity will approach -1 + M_2(ω_0) / [ν^{3/2} (1+t)^{5/2}] times bar-Ω of (x over sqrt(ν(1+t)^3), y over sqrt(ν(1+t))), where -1 is the vorticity of the Couette flow and bar-Ω is the kernel of the Fokker-Planck type operator L = ∂_Y² + (3/2) X ∂_X + (1/2) Y ∂_Y + 5/2 - Y ∂_X. The proof introduces a new approach to studying the spectrum of such operators with boundary conditions.

What carries the argument

The Fokker-Planck-type operator L with boundary conditions, whose spectrum supplies the principal eigenfunction bar-Ω that fixes the decay rate and spatial profile of the vorticity perturbation.

Load-bearing premise

The leading asymptotic is captured exactly by the principal eigenvalue and eigenfunction of the boundary-value problem for the operator L.

What would settle it

A numerical simulation of the Navier-Stokes equations in which the vorticity at large times fails to match the predicted t^{-5/2} scaling and the explicit shape given by bar-Ω would falsify the claim.

Figures

Figures reproduced from arXiv: 2605.21663 by Nader Masmoudi, Ning Liu, Weiren Zhao.

Figure 1
Figure 1. Figure 1: The contour L1 + L2 + L3. Now, we fix the choice of 0 < δ < π 100 small enough such that sin δ < 1 2 |ξ1|. The term T1 is equivalent to the one by replacing the integration over λ ∈ R to the integration on the contour consisting L1 = −e −iδ[1, ∞), L2 = cos δ[−1, 1] + isin δ and L3 = e −iπ/6 ξn, which means (2.23) T1 = [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
read the original abstract

In this paper, we study the long-time behavior of solutions to the two-dimensional Navier-Stokes equations in the presence of Couette flow on the half plane with Navier-slip boundary conditions. We prove that the total vorticity will approach \begin{align*} -1+\frac{M_2(\omega_{0})}{\nu^{3/2}(1+t)^{5/2}} \bar{\Omega}\left( \frac{x}{\sqrt{\nu(1+t)^3}}, \frac{y}{\sqrt{\nu(1+t)}} \right), \end{align*} where $-1$ is the vorticity of the Couette flow and $\bar{\Omega}$ is the kernel of a Fokker-Planck type operator $\mathcal{L}=\partial_Y^2+\frac32 X\partial_X+\frac12 Y\partial_Y+\frac52-Y\partial_X$. In the proof, we introduce a new idea of studying the spectrum of such type operators with boundary.

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 manuscript studies the long-time asymptotics of the 2D Navier-Stokes equations on the half-plane with a background Couette flow and Navier-slip boundary conditions. It claims to prove that the total vorticity converges to -1 plus a correction term of order (1+t)^{-5/2} (scaled by ν^{-3/2}) whose spatial profile is given by the kernel of the Fokker-Planck-type operator L = ∂_Y² + (3/2)X ∂_X + (1/2)Y ∂_Y + 5/2 - Y ∂_X after a self-similar change of variables.

Significance. If rigorously established, the result would supply a precise decay rate and explicit profile for vorticity in the presence of shear and a boundary, advancing the analysis of enhanced dissipation and boundary-layer effects for 2D fluids. The introduction of a spectral method tailored to non-self-adjoint boundary-value problems of Fokker-Planck type is a potentially useful technical contribution.

major comments (1)
  1. [Spectral analysis of the operator L] The central asymptotic is obtained by projecting onto the kernel of L after rescaling. In the section that analyzes the spectrum of L, the manuscript must supply an explicit spectral-gap estimate showing that all other modes decay strictly faster than t^{-5/2} and that the principal eigenfunction satisfies the Navier-slip conditions; without a quantitative gap, slower or resonant modes could modify the coefficient M_2(ω_0) or the profile.
minor comments (2)
  1. Define M_2(ω_0) explicitly in terms of the initial vorticity and state how it is extracted from the projection onto the kernel of L.
  2. [Introduction] The abstract states that the proof introduces a new spectral idea for operators with boundary; the introduction should briefly compare this approach with existing spectral techniques for similar non-self-adjoint operators on unbounded domains.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for providing constructive feedback. The comment on the spectral analysis is well-taken, and we address it in detail below. We are confident that the core result holds and that the requested clarification can be incorporated without altering the main conclusions.

read point-by-point responses

  1. Referee: [Spectral analysis of the operator L] The central asymptotic is obtained by projecting onto the kernel of L after rescaling. In the section that analyzes the spectrum of L, the manuscript must supply an explicit spectral-gap estimate showing that all other modes decay strictly faster than t^{-5/2} and that the principal eigenfunction satisfies the Navier-slip conditions; without a quantitative gap, slower or resonant modes could modify the coefficient M_2(ω_0) or the profile.

    Authors: We appreciate the referee highlighting the need for a quantitative spectral gap. In our manuscript, we have developed a new spectral method tailored to the non-self-adjoint Fokker-Planck operator L with boundary conditions. We have identified the kernel and shown that the eigenfunction satisfies the Navier-slip boundary conditions by direct verification. For the decay of other modes, our analysis relies on a combination of spectral properties and energy estimates that yield decay faster than the leading term. However, to make this fully rigorous and explicit as requested, we will add a subsection providing an explicit lower bound on the spectral gap. Specifically, we will prove that the spectrum of L minus the kernel lies in a region where the real part is bounded by -c for some c>0, ensuring decay rates o(t^{-5/2}). This will be done by analyzing the resolvent or using a suitable Lyapunov functional adapted to the boundary conditions. We believe this addition will fully address the concern and prevent any possible modification to the coefficient or profile. revision: yes

Circularity Check

0 steps flagged

No significant circularity; asymptotic derived from independent spectral analysis of L

full rationale

The paper derives the leading t^{-5/2} asymptotic for total vorticity by rescaling the vorticity equation into self-similar variables, obtaining the Fokker-Planck operator L, and then analyzing its spectrum on the half-plane under Navier-slip conditions. The kernel bar Omega and the 5/2 decay rate follow from the principal eigenvalue of this boundary-value problem, which the authors treat as a new spectral result introduced in the paper rather than a fitted parameter or self-referential definition. No step reduces by construction to the target asymptotic; the derivation remains self-contained against the PDE and the spectral properties of L, with no load-bearing self-citation or ansatz smuggling identified in the provided chain.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard well-posedness assumptions for the Navier-Stokes system and on the spectral properties of the auxiliary operator L with boundary; no free parameters or new physical entities are introduced.

axioms (2)
  • domain assumption Global existence and sufficient regularity of solutions to the 2D Navier-Stokes equations with Navier-slip boundary conditions on the half-plane for the initial data under consideration.
    Required to justify the long-time analysis and the passage to the asymptotic regime.
  • domain assumption The operator L with the imposed boundary conditions possesses a discrete spectrum whose leading term controls the decay and spatial shape of the vorticity correction.
    This spectral fact is the load-bearing step that converts the PDE into the explicit asymptotic formula.

pith-pipeline@v0.9.0 · 5705 in / 1484 out tokens · 38988 ms · 2026-05-22T09:02:12.465356+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

51 extracted references · 51 canonical work pages

  1. [1]

    Remarks on the preceding paper by

    Brezis, Ha. Remarks on the preceding paper by. Arch. Ration. Mech. Anal. , volume=. 1994 , publisher=

    work page 1994

  2. [2]

    2013 , PAGES =

    Helffer, Bernard , TITLE =. 2013 , PAGES =

    work page 2013

  3. [3]

    Global solutions of two-dimensional

    Ben-Artzi, Matania , journal=. Global solutions of two-dimensional. 1994 , publisher=

    work page 1994

  4. [4]

    Kato, Tosio , journal=. The

    work page

  5. [5]

    Global stability of vortex solutions of the two-dimensional

    Gallay, Thierry and Wayne, C Eugene , journal=. Global stability of vortex solutions of the two-dimensional. 2005 , publisher=

    work page 2005

  6. [6]

    Leray, Jean , journal=

    work page

  7. [7]

    Kato, Tosio , journal=. Strong. 1984 , publisher=

    work page 1984

  8. [8]

    Cottet, G-H , journal=

    work page

  9. [9]

    Two-dimensional

    Giga, Yoshikazu and Miyakawa, Tetsuro and Osada, Hirofumi , journal=. Two-dimensional

    work page

  10. [10]

    On the uniqueness of the solution of the two-dimensional

    Gallagher, Isabelle and Gallay, Thierry and Lions, Pierre-Louis , journal=. On the uniqueness of the solution of the two-dimensional. 2005 , publisher=

    work page 2005

  11. [11]

    Uniqueness for the two-dimensional

    Gallagher, Isabelle and Gallay, Thierry , journal=. Uniqueness for the two-dimensional. 2005 , publisher=

    work page 2005

  12. [12]

    Large time behavior of the vorticity of two-dimensional viscous flow and its application to vortex formation , author=. Comm. Math. Phys. , volume=. 1988 , publisher=

    work page 1988

  13. [13]

    Invariant manifolds and the long-time asymptotics of the

    Gallay, Thierry and Wayne, C Eugene , journal=. Invariant manifolds and the long-time asymptotics of the. 2002 , publisher=

    work page 2002

  14. [14]

    Asymptotic behavior for the vorticity equations in dimensions two and three , author=. Comm. Partial Differ. Equ. , volume=. 1994 , publisher=

    work page 1994

  15. [15]

    Stability of fluid motion: rectilinear motion of viscous fluid between two parallel plates , volume =

    Kelvin, Lord , journal =. Stability of fluid motion: rectilinear motion of viscous fluid between two parallel plates , volume =

    work page

  16. [16]

    Rayleigh, Lord , fjournal =. On the. Proc. Lond. Math. Soc. , pages =

    work page

  17. [17]

    The stability or instability of the steady motions of a perfect liquid and of a viscous liquid , volume =

    Orr, William M'F , journal =. The stability or instability of the steady motions of a perfect liquid and of a viscous liquid , volume =

    work page

  18. [18]

    Sommerfeld, A , journal =. Ein

    work page

  19. [19]

    Enhanced dissipation and

    Albritton, Dallas and Beekie, Rajendra and Novack, Matthew , journal=. Enhanced dissipation and. 2022 , publisher=

    work page 2022

  20. [20]

    Inviscid damping and the asymptotic stability of planar shear flows in the 2

    Bedrossian, Jacob and Masmoudi, Nader , fjournal =. Inviscid damping and the asymptotic stability of planar shear flows in the 2. Publ. Math. Inst. Hautes

    work page

  21. [21]

    Inviscid damping near the

    Ionescu, Alexandru D and Jia, Hao , journal=. Inviscid damping near the. 2020 , publisher=

    work page 2020

  22. [22]

    and Jia, Hao , TITLE =

    Ionescu, Alexandru D. and Jia, Hao , TITLE =. Acta Math. , FJOURNAL =. 2023 , NUMBER =

    work page 2023

  23. [23]

    Masmoudi, Nader and Zhao, Weiren , TITLE =. Ann. Math. , FJOURNAL =. 2024 , NUMBER =

    work page 2024

  24. [24]

    On the stability threshold for the 3

    Bedrossian, Jacob and Germain, Pierre and Masmoudi, Nader , fjournal =. On the stability threshold for the 3. Ann. Math. , number =

    work page

  25. [25]

    Enhanced dissipation and inviscid damping in the inviscid limit of the

    Bedrossian, Jacob and Masmoudi, Nader and Vicol, Vlad , fjournal =. Enhanced dissipation and inviscid damping in the inviscid limit of the. Arch. Ration. Mech. Anal. , number =

    work page

  26. [26]

    Long-Time Instability of the

    Deng, Yu and Masmoudi, Nader , journal=. Long-Time Instability of the. 2023 , publisher=

    work page 2023

  27. [27]

    Bedrossian, Jacob and Vicol, Vlad and Wang, Fei , fjournal =. The. J. Nonlinear Sci. , number =

    work page

  28. [28]

    Enhanced dissipation for the 2

    Masmoudi, Nader and Zhao, Weiren , fjournal =. Enhanced dissipation for the 2. Comm. Partial Differ. Equ. , number =

    work page

  29. [29]

    Li, Hui and Masmoudi, Nader and Zhao, Weiren , TITLE =. Comm. Pure Appl. Math. , FJOURNAL =. 2024 , NUMBER =

    work page 2024

  30. [30]

    Stability threshold of two-dimensional

    Masmoudi, Nader and Zhao, Weiren , date-modified =. Stability threshold of two-dimensional. Ann. Inst. Henri Poincar

    work page

  31. [31]

    Nonlinear enhanced dissipation and inviscid damping for the 2

    Wei, Dongyi and Zhang, Zhifei , journal=. Nonlinear enhanced dissipation and inviscid damping for the 2. 2023 , publisher=

    work page 2023

  32. [32]

    Asymptotic stability of two-dimensional

    Li, Hui and Masmoudi, Nader and Zhao, Weiren , journal=. Asymptotic stability of two-dimensional

    work page

  33. [33]

    Transition threshold for the 2-

    Wang, Gaofeng and Wang, Weike , journal=. Transition threshold for the 2-

    work page

  34. [34]

    Quantitative Hydrodynamic Stability for

    Arbon, Ryan and Bedrossian, Jacob , journal=. Quantitative Hydrodynamic Stability for. 2025 , publisher=

    work page 2025

  35. [35]

    Stability threshold of the two-dimensional

    Li, Hui and Liu, Ning and Zhao, Weiren , journal=. Stability threshold of the two-dimensional. 2025 , publisher=

    work page 2025

  36. [36]

    Acta Math

    Hypoelliptic second order differential equations , author=. Acta Math. , volume=. 1967 , publisher=

    work page 1967

  37. [37]

    Hypocoercivity , author=. Mem. Amer. Math. Soc. , volume=. 2009 , publisher=

    work page 2009

  38. [38]

    2005 , PAGES =

    Helffer, Bernard and Nier, Francis , TITLE =. 2005 , PAGES =

    work page 2005

  39. [39]

    Streamwise vortices in plane Couette flow , author=. Phys. Fluids , volume=. 1995 , publisher=

    work page 1995

  40. [40]

    Growth dynamics of turbulent spots in plane Couette flow , author=. J. Fluid Mech. , volume=. 2017 , publisher=

    work page 2017

  41. [41]

    AIP Conf

    Evolution of vortices in 2D boundary layer and in the Couette flow , author=. AIP Conf. Proc. , volume=. 2016 , organization=

    work page 2016

  42. [42]

    Experimental evidence of streamwise vortices as finite amplitude solutions in transitional plane

    Bottin, Sabine and Dauchot, Olivier and Daviaud, Francois and Manneville, Paul , journal=. Experimental evidence of streamwise vortices as finite amplitude solutions in transitional plane. 1998 , publisher=

    work page 1998

  43. [43]

    Nonlinear Evolution Toward the Linear Diffusive Profile in the Presence of

    Liu, Ning and Zhang, Ping and Zhao, Weiren , journal=. Nonlinear Evolution Toward the Linear Diffusive Profile in the Presence of. 2026 , publisher=

    work page 2026

  44. [44]

    Annales de l'Institut Henri Poincar

    The vorticity equations in a half plane with measures as initial data , author=. Annales de l'Institut Henri Poincar. 2021 , organization=

    work page 2021

  45. [45]

    Advances in Differential Equations , volume=

    Solution formula for the vorticity equations in the half plane with application to high vorticity creation at zero viscosity limit , author=. Advances in Differential Equations , volume=. 2013 , publisher=

    work page 2013

  46. [46]

    The Navier-Stokes equations in mathbb

    Wang, Chao and Yue, Jingchao and Zhang, Zhifei , journal=. The Navier-Stokes equations in mathbb

    work page

  47. [47]

    NONLINEAR INVISCID DAMPING FOR 2-D INHOMOGENEOUS INCOMPRESSIBLE

    Chen, Qi and Wei, Dongyi and Zhang, Ping and Zhang, Zhifei , journal=. NONLINEAR INVISCID DAMPING FOR 2-D INHOMOGENEOUS INCOMPRESSIBLE. 2025 , publisher=

    work page 2025

  48. [48]

    Mathematische Annalen , volume=

    Two-dimensional Navier-Stokes flow in unbounded domains , author=. Mathematische Annalen , volume=. 1993 , publisher=

    work page 1993

  49. [49]

    2026 , eprint=

    Viscous evolution of a point vortex in a half-plane , author=. 2026 , eprint=

    work page 2026

  50. [50]

    Functional Analysis and Its Applications , volume=

    Spectral properties of the complex Airy operator on the half-line , author=. Functional Analysis and Its Applications , volume=. 2017 , publisher=

    work page 2017

  51. [51]

    Inviscid Damping of Monotone Shear Flows for 2

    Zhao, Weiren , journal=. Inviscid Damping of Monotone Shear Flows for 2. 2025 , publisher=

    work page 2025