Recognition: 1 theorem link
· Lean TheoremSolutions of the Navier-Stokes equations with forced rapid space-time decay
Pith reviewed 2026-05-12 02:26 UTC · model grok-4.3
The pith
By adding an external force with a fixed spatial profile, Navier-Stokes solutions can be made to decay faster in space and time than generic bounds allow.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We construct an external force and a global solution to the incompressible Navier-Stokes equations on R^n such that the solution exhibits pointwise space-time decay beyond the generic limits |x|^{-(n+1)} and t^{-(n+1)/2}. The forcing term has a spatial profile fixed independently of the initial data and localized in an arbitrarily small region of R^n, with only the temporal profile depending on the initial datum.
What carries the argument
The external forcing term whose spatial profile is fixed once and for all while its temporal profile is adjusted per initial datum to produce the faster decay.
If this is right
- Global solutions with space-time decay faster than the generic rates exist under this forcing construction.
- The spatial profile of the force can be chosen independently of any given initial datum.
- The force can be supported in an arbitrarily small spatial region while still achieving the rapid decay.
- Adjustment of only the temporal profile suffices to handle arbitrary initial data.
Where Pith is reading between the lines
- The same fixed-spatial-profile idea could be tested in other dissipative PDEs that have similar generic decay ceilings.
- In applied settings the construction suggests that localized actuators might be used to improve long-range decay without redesigning the actuator geometry for each new initial condition.
- Numerical experiments that fix a spatial force profile and vary only its time dependence could directly measure the achieved decay rates against the generic bounds.
Load-bearing premise
Global solutions exist for the forced Navier-Stokes system when the spatial forcing profile is fixed in this way and only the time profile is adjusted.
What would settle it
A concrete initial datum for which no choice of temporal forcing profile, with the spatial profile held fixed and localized, produces a solution whose pointwise decay exceeds |x|^{-(n+1)} or t^{-(n+1)/2}.
read the original abstract
We study the pointwise decay properties of solutions to the incompressible Navier-Stokes equations, both in the space and time variables. It is well known that generic global solutions on $\mathbb{R}^n$ do not decay faster at infinity than $|x|^{-(n+1)}$ and $t^{-(n+1)/2}$ in the pointwise sense. In this paper, we address the control problem of constructing an external forcing and a solution to the Navier-Stokes equations whose space-time decay properties go beyond these limiting rates. A distinctive feature of the forcing term is that its spatial profile can be fixed once and for all, independently of the initial data of the problem, and localized in an arbitrarily small region of $\mathbb{R}^n$. Only the temporal profile of the external force displays a dependency on the initial datum.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs global solutions to the forced incompressible Navier-Stokes equations on R^n. The external force has a fixed, localized spatial profile phi(x) chosen independently of the initial data, with only a scalar temporal multiplier f(t) adjusted depending on the initial datum. This allows the solution to achieve pointwise space-time decay strictly faster than the generic limiting rates |x|^{-(n+1)} and t^{-(n+1)/2}, by solving a control problem that cancels slow-decaying components while preserving the divergence-free condition.
Significance. If the construction holds, the result is significant for mathematical fluid dynamics: it provides an explicit control mechanism to overcome the known decay barriers for NS solutions using a forcing term whose spatial part is fixed once and for all (and arbitrarily localized). This is a constructive approach to a control problem with potential implications for long-time asymptotics and forced systems; the independence of the spatial profile from initial data is a notable technical feature.
minor comments (2)
- The abstract states the main claim clearly but does not indicate the specific decay rates achieved beyond the generic bounds or the dimension n; adding one sentence on the target decay would improve readability.
- Notation for the temporal profile f(t) and the fixed spatial profile phi(x) should be introduced with a brief reminder of the divergence-free condition on the force in the introduction.
Simulated Author's Rebuttal
We thank the referee for their positive summary of our work and for recommending minor revision. The referee's description of the construction accurately reflects the main result: a fixed, spatially localized force profile whose temporal multiplier is chosen depending on the initial datum to achieve faster-than-generic pointwise decay. No specific major comments were provided in the report.
Circularity Check
No significant circularity; derivation is self-contained
full rationale
The paper presents a constructive control approach to the forced Navier-Stokes system on R^n. It fixes a localized spatial forcing profile phi(x) independently of the initial data and adjusts only a scalar temporal multiplier f(t) (chosen depending on the datum) to cancel slow-decaying components while preserving the divergence-free condition. The existence of global solutions with the claimed faster pointwise decay is established via standard mild-solution fixed-point arguments and estimates that do not reduce any target decay rate to a fitted parameter or to a self-referential definition. No load-bearing step invokes a self-citation chain, renames a known result as a new derivation, or defines the output quantity in terms of itself. The generic decay limits |x|^{-(n+1)} and t^{-(n+1)/2} are treated as external background facts, not as quantities derived inside the paper.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Existence of mild or weak solutions to the forced incompressible Navier-Stokes system on R^n
Reference graph
Works this paper leans on
-
[1]
H. O. Bae and B. J. Jin,Temporal and spatial decays for the Navier–Stokes equations, Proc. Roy. Soc. Edinburgh Sect. A135(2005), 461–478
work page 2005
-
[2]
L. Brandolese and Y. Meyer,On the instantaneous spreading for the Navier–Stokes system in the whole space, ESAIM Control Optim. Calc. Var.8(2002), 273–285
work page 2002
-
[3]
Brandolese,Space-time decay of Navier–Stokes flows invariant under rotations, Math
L. Brandolese,Space-time decay of Navier–Stokes flows invariant under rotations, Math. Ann. 329(2004), no. 4, 685–706
work page 2004
-
[4]
L. Brandolese and T. Okabe,Annihilation of slowly-decaying terms of Navier–Stokes flows by external forcing, Nonlinearity34(2021), no. 3, 1733–1757
work page 2021
-
[5]
L. Brandolese and F. Vigneron,New asymptotic profiles of nonstationary solutions of the Navier– Stokes system, J. Math. Pures Appl. (9)88(2007), no. 1, 64–86
work page 2007
-
[6]
D. Chamorro,Introduction aux ´ equations de Navier–Stokes incompressibles, CNRS editions, EDP science, Savoir actuels (2025), ISBN-13 978-2759836345
work page 2025
-
[7]
Y. Dobrokhotov and A. I. Shafarevich,Some integral identities and remarks on the decay at infinity of solutions of the Navier–Stokes equations, Russian J. Math. Phys.2(1994), 133–135
work page 1994
-
[8]
Y. Fujigaki and T. Miyakawa,Asymptotic profiles of nonstationary incompressible Navier–Stokes flows in the whole space, SIAM J. Math. Anal.33(2001), 523–544
work page 2001
-
[9]
H. Fujita and T. Kato,On the Navier–Stokes initial value problem. I, Arch. Ration. Mech. Anal. 16(1964), 269–315
work page 1964
-
[10]
T. Gallay and C. E. Wayne,Invariant manifolds and the long-time asymptotics of the Navier– Stokes and vorticity equations onR 2, Arch. Ration. Mech. Anal.163(2002), no. 3, 209–258
work page 2002
-
[11]
T. Gallay and C. E. Wayne,Long-time asymptotics of the Navier–Stokes and vorticity equations onR 3, R. Soc. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Sci.360(2002), no. 1799, 2155–2188
work page 2002
-
[12]
T. Kato,StrongL p-solutions of the Navier–Stokes equation inR m, with applications to weak solutions, Math. Z.187(1984), 471–480
work page 1984
-
[13]
I. Kukavica and E. Reis,Asymptotic expansion for solutions of the Navier–Stokes equations with potential forces, J. Differential Equations,250(2011), no. 1, 607–622
work page 2011
-
[14]
P. G. Lemari´ e-Rieusset,Recent developments in the Navier–Stokes problem, Chapman & Hall/CRC Research Notes in Mathematics, vol. 431, Chapman & Hall/CRC, Boca Raton, FL, 2002
work page 2002
-
[15]
P. G. Lemari´ e-Rieusset,The Navier–Stokes problem in the 21st century, CRC Press, Boca Raton, FL, 2016, xxii+718, ISBN 978-1-4665-6621-7
work page 2016
-
[16]
R. McOwen and P. Topalov,Groups of asymptotic diffeomorphisms, Discrete Contin. Dyn. Syst., 36(2016), no. 11, 6331–6377
work page 2016
-
[17]
R. McOwen and P. Topalov,Spatial Asymptotic Expansions in the Navier–Stokes Equation, Int. Math. Res. Not. IMRN4(2024), 3391–3441
work page 2024
-
[18]
T. Miyakawa,Notes on space-time decay properties of nonstationary incompressible Navier– Stokes flows inR n, Funkcial. Ekvac.45(2002), 271–289
work page 2002
-
[19]
T. Miyakawa and M. E. Schonbek,On optimal decay rates for weak solutions to the Navier–Stokes equations inR n, in Proceedings of Partial Differential Equations and Applications (Olomouc, 1999), Math. Bohem.126(2001), 443–455
work page 1999
-
[20]
M. E. Schonbek,Lower bounds of rates of decay for solutions to the Navier–Stokes equations, J. Amer. Math. Soc.4(1991), no. 3, 423–449
work page 1991
-
[21]
Topalov,Spatial Decay/Asymptotics in the Navier–Stokes Equation, Russian J
P. Topalov,Spatial Decay/Asymptotics in the Navier–Stokes Equation, Russian J. Math. Phys. 32(2025) no. 1, 196–209. 12
work page 2025
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.