REVIEW 4 minor 52 references
Decay estimates of gradient of a generalized Oseen evolution operator arising from time-dependent rigid motions in exterior domains
T0 review · 0 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves optimal $L^q$-$L^r$ decay estimates for the gradient of the evolution operator of the linearized Navier-Stokes system in the exterior of a rigid body moving with time-dependent velocities, recovering the autonomous rates.
desk verdict Solid continuation that closes the open gradient decay question for the non-autonomous Oseen evolution operator, with a clean proof idea and no load-bearing flaws. 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
3$, and an $L^q$-$L^\infty$ bound. Because the drift and Coriolis coefficients are time-dependent and unbounded in space, classical resolvent analysis near the spectral origin is unavailable; the proof replaces it with local energy decay near the obstacle and a sharp analysis of the temporal derivative of the evolution operator. These estimates are the missing piece for studying stability and attainability of Navier-Stokes flows around moving and rotating bodies.
What carries the argument
The central object is the non-autonomous evolution operator $T(t,s)$ acting on the solenoidal Lebesgue spaces $L^q_\sigma(D)$ over the exterior domain. The argument is carried by a parametrix that patches an explicit whole-space solution $U(t,s)$, obtained from the heat semigroup by a time-dependent change of variables, with a bounded-domain evolution operator $V(t,s)$; cut-off functions and a divergence-correction operator enforce the boundary condition. The new ingredient is the analysis of the temporal derivative $\partial_t T(t,s)f$ in the negative Sobolev space $W^{-1,q}(D_R)$, together with local energy decay estimates near the obstacle and weighted estimates for the Helmholtz projection; this substitutes for the resolvent analysis used in the autonomous theory.
What would settle it
Take a bounded periodic motion such as $\eta(t)=\varepsilon\sin t$, $\omega=0$, and measure the quantity $\sup_{t>s,\,t-s\ge1}(t-s)^{1/2}\|\nabla T(t,s)\|_{L^3\to L^3}$; if this quantity is unbounded as $\varepsilon$ grows while (2.21) holds uniformly, the claimed uniform constant in Theorem 2.1(1) fails.
Extended reading notes
Core claim
Theorem 2.1 asserts that for the non-autonomous system (1.1) in a three-dimensional exterior domain, under the boundedness and Hölder-continuity assumption (1.2), the gradient of the evolution operator satisfies the optimal estimate $\|\nabla T(t,s)f\|_r \le C(t-s)^{-(3/q-3/r)/2-1/2}\|f\|_q$ for all $1<q\le r\le 3$ and all $t>s\ge0$, the reduced estimate $\|\nabla T(t,s)f\|_r \le C(t-s)^{-3/(2q)}\|f\|_q$ for $r>3$ and $t-s>2$, and the $L^q$-$L^\infty$ estimate with rate $(t-s)^{-3/(2q)}$; the same bounds hold for the adjoint $T(t,s)^*$. The paper states that this completely recovers the $L^q$-$L^r$ estimates for the autonomous case, including the Stokes semigroup, the Oseen semigroup, and the semigroups with constant rotation. The rates are optimal in general: earlier results for the Stokes case show that the decay cannot be improved.
Load-bearing premise
The estimates require the prescribed translational and angular velocities to be bounded and Hölder-continuous in time; if a body speeds up or spins faster without bound, the global-in-time constants need not stay finite.
Editorial extensions
If this is right
- The gradient estimate for $q=r=3$ upgrades previously known global-in-time constructions of Navier-Stokes flows around moving bodies to include the large-time behavior of the velocity gradient.
- The theorem unifies the known $L^q$-$L^r$ decay theory for the autonomous Stokes, Oseen, and rotating-body semigroups in three-dimensional exterior domains.
- The adjoint Lorentz-space estimate (2.25) with $r=3$ yields the space-time integrability (2.26), the standard input for stability and attainability of background flows with scale-critical far-field decay.
- The non-autonomous estimates make the starting problem for a body rotating from rest accessible, since they avoid the unbounded-coefficient obstruction that blocked the earlier autonomous approach.
- The reduced rate $(t-s)^{-3/(2q)}$ for $r>3$ is optimal in the Stokes case, while the possibility of a better rate when translation is present remains open.
Reading between the lines
- A testable extension would be to relax the boundedness assumption (1.2) to local Hölder regularity together with some time-averaged integrability; if the constants depend only on sliding-window norms, the same decay rates should persist for motions that accelerate over finite time horizons.
- The local-energy-decay route may transfer to two-dimensional exterior domains, where the analogous gradient decay for rotating obstacles has remained open.
- The adjoint estimate (2.26) suggests, though the paper does not state it, that time-periodic background flows with zero-mean translation should be nonlinearly stable at the scale-critical weak-$L^3$ level.
- The conjecture mentioned in Remark 2.1, that the full smoothing rate could hold for $q\le r\le 6$ when translation is present, could be probed by studying the singularity of the Oseen resolvent near the spectral origin.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves global-in-time L^q-L^r decay estimates for the gradient of the evolution operator T(t,s) associated with the linearized non-autonomous Oseen system (1.1) in a three-dimensional exterior domain, under bounded and θ-Hölder continuous translational and angular velocities satisfying (1.2). Theorem 2.1 establishes the optimal rate (2.22) for 1<q≤r≤3, the reduced rate (2.23) for r>3, and the L^q-L^∞ estimate (2.24). Theorem 2.2 provides a Lorentz-space version for the adjoint operator and derives the integrable estimate (2.26). The proof combines the author's earlier L^q-L^r estimates for T(t,s) from [33] with new local energy decay estimates (Propositions 6.1 and 6.2) obtained without spectral analysis, and with whole-space Duhamel estimates near spatial infinity. The paper also identifies and corrects an oversight in Hansel and Rhandi [26] concerning the regularity space Z_q(D).
Significance. If correct, the result is a significant unified extension of the autonomous Stokes, Oseen, and rotating-obstacle semigroup estimates: it recovers the known three-dimensional L^q-L^r gradient decay rates and covers time-dependent rigid motions with bounded Hölder velocities. The proof is technically detailed, with explicit dependence of the constants on the bound m in (2.21), and the treatment of ∂tT in W^{-1,q} is a genuinely new ingredient. The correction of the Z_q(D) regularity gap in [26] is a valuable contribution. The main limitation—bounded, Hölder continuous body velocities—is stated clearly, and the remaining difficulties in 2D and at endpoint cases are honestly acknowledged. The paper contains no machine-checked proofs or code, but the analytic arguments are structured, checkable, and the main theorem is precisely stated.
minor comments (4)
- [Section 7, proof of Theorem 2.1] The passage from (7.1)–(7.2) to the reduced rate (2.23) for r>3 is compressed to a reference to the semigroup property; I recommend spelling out the midpoint split T(t,s)=T(t,(t+s)/2)T((t+s)/2,s), where the first factor is estimated by (2.20) from L^q to L^r and the second by (7.1) with index r, whose decay rate 3/(2r) cancels the r-dependence and yields the claimed exponent -3/(2q).
- [Section 6, proof of Proposition 6.2] In the reduction of the time-derivative estimate to q ∈ (3/2,∞), the application of (5.24) with q=3 requires T((t+s)/2,s)f ∈ Z_3(D); since the proof has already reduced to f ∈ C∞_{0,σ}(D), this regularity follows from Proposition 2.1, but the step should be stated explicitly for the reader.
- [Theorem 2.1(2)] The statement of (2.23) is restricted to t-s>2; for t-s≤2 the same bound is implied by Proposition 2.2(2) because the exponent in (2.22) is more negative than -3/(2q) when r>3, so a remark noting that (2.23) actually holds for all t>s≥0 would avoid a misleading restriction.
- [Throughout] The manuscript contains numerous typographical errors that should be corrected, including 'matirices' (page 2), 'thst' (page 15), 'decompostion' (page 8), 'associsted' (page 20), 'argumant' (page 32), 'infinifity' (page 4), and 'worse' where 'worth' is intended (page 13).
Circularity Check
No significant circularity: the prior T(t,s) bounds are independent inputs, and the new gradient estimates are not assumed.
full rationale
The paper's derivation chain uses the author's prior L^q-L^r estimates for T(t,s) from [33] as an input, but those estimates concern T(t,s) itself and were established previously under the same hypotheses (1.2)/(2.21); they do not include the gradient bounds for all t>s that Theorem 2.1 proves. The proof of Theorem 2.1 combines the short-time gradient bound (2.22) from [33, Proposition 2.2] with newly proved local energy decay estimates (Propositions 6.1 and 6.2), pressure and time-derivative estimates (Proposition 5.1 and Corollary 6.1), the whole-space Duhamel formula (7.4), and the outer decay estimates (7.1)-(7.2). No parameter is fitted to any data, and no target estimate is assumed among the hypotheses. The self-citations to [33] are load-bearing but not circular: [33] is an independent prior result with stated assumptions that do not include the present theorem, and the paper explicitly identifies the open gradient problem as the new contribution, citing [33, Remark 2.1]. The final interpolation step for r>3 is standard and is not a disguised restatement of the input estimates. Therefore no specific circular reduction can be exhibited, and the appropriate finding is no significant circularity.
Assumptions & free parameters
assumptions (6)
- standard math Bogovskii operator estimates (2.2)-(2.5) for solving div w = f with zero boundary condition.
- standard math Helmholtz decomposition and Fujita-Kato projection P_G for bounded/exterior domains in L^q (1<q<∞).
- standard math Muckenhoupt class property: |x|^q ∈ A_q(R^3) for q>3/2, giving boundedness of Riesz transforms with weight |x|^q.
- standard math Tanabe-Sobolevskii theory of parabolic evolution operators for non-autonomous systems in bounded domains.
- standard math Complex interpolation characterization of D_q(A^δ) due to Fujiwara and Giga; for δ<1/(2q), D_q(A^δ) = L^q_σ ∩ H^{2δ}_q without boundary condition.
- standard math Heat semigroup L^p-L^r estimates in R^3.
Cite this review
Pith. "Pith review of Decay estimates of gradient of a generalized Oseen evolution operator arising from time-dependent rigid motions in exterior domains." pith.science (2026). https://pith.science/paper/JTHAC6MB
@misc{pith2026190804080,
author = {Pith},
title = {Pith review of: Decay estimates of gradient of a generalized Oseen evolution operator arising from time-dependent rigid motions in exterior domains},
year = {2026},
howpublished = {\url{https://pith.science/paper/JTHAC6MB}},
note = {Machine review of arXiv:1908.04080}
}
abstract
Let us consider the motion of a viscous incompressible fluid past a rotating rigid body in 3D, where the translational and angular velocities of the body are prescribed but time-dependent. In a reference frame attached to the body, we have the Navier-Stokes system with the drift and (one half of the) Coriolis terms in a fixed exterior domain. The existence of the evolution operator $T(t,s)$ in the space $L^q$ generated by the linearized non-autonomous system was proved by Hansel and Rhandi [26] and the large time behavior of $T(t,s)f$ in $L^r$ for $(t-s)\to\infty$ was then developed by the present author [33] when $f$ is taken from $L^q$ with $q\leq r$. The contribution of the present paper concerns such $L^q$-$L^r$ decay estimates of $\nabla T(t,s)$ with optimal rates, which must be useful for the study of stability/attainability of the Navier-Stokes flow in several physically relevant situations. Our main theorem completely recovers the $L^q$-$L^r$ estimates for the autonomous case (Stokes and Oseen semigroups, those semigroups with rotating effect) in 3D exterior domains, which were established by [37], [42], [39], [36] and [44].
Reference graph
Works this paper leans on
-
[33]
T. Hishida, Large time behavior of a generalized Oseen evolution o perator, with applications to the Navier-Stokes flow past a rotating obstacle, Math. Ann. 372 (2018), 915–949
work page 2018
-
[26]
T. Hansel and A. Rhandi, The Oseen-Navier-Stokes flow in the e xterior of a rotating obstacle: the non-autonomous case, J. Reine Angew. Math. 694 (2014), 1–26
work page 2014
-
[1]
J. Bergh and J. L¨ ofstr¨ om,Interpolation Spaces, Springer, Berlin, 1976
work page 1976
-
[2]
M. E. Bogovski ˘ ı, Solution of the first boundary value problem fo r the equation of continuity of an incompressible medium, Soviet Math. Dokl. 20 (1979), 1094–1098
work page 1979
-
[3]
W. Borchers and H. Sohr, On the equations rot v = g and div u = f with zero boundary conditions, Hokkaido Math. J. 19 (1990), 67–87
work page 1990
-
[4]
Z.M. Chen and T. Miyakawa, Decay properties of weak solutions to a perturbed Navier-Stokes system in Rn, Adv. Math. Sci. Appl. 7 (1997), 741–770
work page 1997
- [5]
- [6]
Show all 52 references
-
[7]
Enomoto and Y
Y. Enomoto and Y. Shibata, Local energy decay of solutions to t he Oseen equation in the exterior domains, Indiana Univ. Math. J. 53 (2004), 1291–1330
2004
-
[8]
Enomoto and Y
Y. Enomoto and Y. Shibata, On the rate of decay of the Oseen se migroup in exterior domains and its applications to the Navier-Stokes equation, J. Math. Fluid Mech. 7 (2005), 339–367
2005
-
[9]
Farwig, G.P
R. Farwig, G.P. Galdi and M. Kyed, Asymptotic structure of a Ler ay solution to the Navier-Stokes flow around a rotating body, Pacific. J. Math. 253 (2011), 367–382
2011
-
[10]
Farwig and T
R. Farwig and T. Hishida, Leading term at infinity of steady Navier -Stokes flow around a rotating obstacle, Math, Nachr. 284 (2011), 2065–2077
2011
-
[11]
Farwig and J
R. Farwig and J. Neustupa, Spectral properties in Lq of an Oseen operator mod- elling fluid flow past a rotating body, Tohoku Math. J. 62 (2010), 287–309
2010
-
[12]
Farwig and H
R. Farwig and H. Sohr, Weighted Lq-theory for the Stokes resolvent in exterior domains, J. Math. Soc. Japan 49 (1997), 251–288
1997
-
[13]
Finn, Stationary solutions of the Navier-Stokes equations, Proc, Symp
R. Finn, Stationary solutions of the Navier-Stokes equations, Proc, Symp. Appl. Math. 17 (1965), 121–153. 42
1965
-
[14]
Fujiwara, Lp-theory for characterizing the domain of the fractional powers o f −∆ in the half space, J
D. Fujiwara, Lp-theory for characterizing the domain of the fractional powers o f −∆ in the half space, J. Fac. Sci. Univ. Tokyo Sect.IA Math. 15 (1968), 169–177
1968
-
[15]
Fujiwara and H
D. Fujiwara and H. Morimoto, An Lr-theorem of the Helmholtz decomposition of vector fields, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 24 (1977), 685–700
1977
-
[16]
G. P. Galdi, On the motion of a rigid body in a viscous liquid: a mathema tical analysis with applications, Handbook of Mathematical Fluid Dynamics , Vol. I, 653– 791, North-Holland, Amsterdam, 2002
2002
-
[17]
G. P. Galdi, An Introduction to the Mathematical Theory of the Navier-St okes Equations, Steady-State Problems , Second Edition, Springer, 2011
2011
-
[18]
G. P. Galdi, Viscous flow past a body translating by time-periodic m otion with zero average, Preprint
-
[19]
Galdi, J.G
G.P. Galdi, J.G. Heywood and Y. Shibata, On the global existence a nd convergence to steady state of Navier-Stokes flow past an obstacle that is sta rted from rest, Arch. Rational Mech. Anal. 138 (1997), 307–318
1997
-
[20]
Geissert and T
M. Geissert and T. Hansel, A non-autonomous model problem fo r the Oseen-Navier- Stokes flow with rotating effect, J. Math. Soc. Japan 63 (2011), 1027–1037
2011
-
[21]
Geissert, H
M. Geissert, H. Heck and M. Hieber, Lp-theory of the Navier-Stokes flow in the exterior of a moving or rotating obstacle, J. Reine Angew. Math. 596 (2006), 45–62
2006
-
[22]
Geissert, H
M. Geissert, H. Heck and M. Hieber, On the equation div u = g and Bogovski ˘ ı’s operator in Sobolev spaces of negative order, Operator Theory: Advances and Ap- plications 168 (2006), 113–121
2006
-
[23]
Giga, Domains of fractional powers of the Stokes operator in Lr spaces, Arch
Y. Giga, Domains of fractional powers of the Stokes operator in Lr spaces, Arch. Rational Mech. Anal. 89 (1985), 251–265
1985
-
[24]
Hansel, On the Navier-Stokes equations with rotating effect and prescribed out- flow velocity, J
T. Hansel, On the Navier-Stokes equations with rotating effect and prescribed out- flow velocity, J. Math. Fluid Mech. 13 (2011), 405–419
2011
-
[25]
Hansel and A
T. Hansel and A. Rhandi, Non-autonomous Ornstein-Uhlenbec k equations in exte- rior domains, Adv. Differential Equations 16 (2011), 201–220
2011
-
[27]
Hishida, An existence theorem for the Navier-Stokes flow in t he exterior of a rotating obstacle, Arch
T. Hishida, An existence theorem for the Navier-Stokes flow in t he exterior of a rotating obstacle, Arch. Rational Mech. Anal. 150 (1999), 307–348
1999
-
[28]
Hishida, The nonstationary Stokes and Navier-Stokes flows through an aper- ture, Contributions to Current Challenges in Mathematical Fluid Mechanics (eds
T. Hishida, The nonstationary Stokes and Navier-Stokes flows through an aper- ture, Contributions to Current Challenges in Mathematical Fluid Mechanics (eds. G.P. Galdi, J.G. Heywood and R. Rannacher), 79–123, Adv. Math. Fluid Mech ., Birkh¨ auser, Basel, 2004. 43
2004
-
[29]
T. Hishida, On the relation between the large time behavior of the Stokes semi- group and the decay of steady Stokes flow at infinity, Parabolic Problems: The Herbert Amann Festschrift, Progress in Nonlinear Differential Equations and Their Applications 80, 343–355, Springer, Ber...
2011
-
[30]
Hishida, Mathematical analysis of the equations for incompre ssible viscous fluid around a rotating obstacle, Sugaku Expositions 26 (2013), 149–179
T. Hishida, Mathematical analysis of the equations for incompre ssible viscous fluid around a rotating obstacle, Sugaku Expositions 26 (2013), 149–179
2013
-
[31]
Hishida, Lq-Lr estimate of the Oseen flow in plane exterior domains, J
T. Hishida, Lq-Lr estimate of the Oseen flow in plane exterior domains, J. Math. Soc. Japan 68 (2016), 295–346
2016
-
[32]
Hishida, Stationary Navier-Stokes flow in exterior domains an d Landau solutions, Handbook of Mathematical Analysis in Mechanics of Viscous F luids (eds
T. Hishida, Stationary Navier-Stokes flow in exterior domains an d Landau solutions, Handbook of Mathematical Analysis in Mechanics of Viscous F luids (eds. Y. Giga and A. Novotny), 299–339, Springer, 2018
2018
-
[34]
Hishida, Lq-Lr estimate of a generalized Oseen evolution operator, with appli- cations to the Navier-Stokes flow past a rotating obstacle, RIMS Kokyuroku 2107 (2019), 139–152
T. Hishida, Lq-Lr estimate of a generalized Oseen evolution operator, with appli- cations to the Navier-Stokes flow past a rotating obstacle, RIMS Kokyuroku 2107 (2019), 139–152
2019
-
[35]
Hishida and P
T. Hishida and P. Maremonti, Navier-Stokes flow past a rigid body : attainability of steady solutions as limits of unsteady weak solutions, starting an d landing cases, J. Math. Fluid Mech. 20 (2018), 771–800
2018
-
[36]
Hishida and Y
T. Hishida and Y. Shibata, Lp-Lq estimate of the Stokes operator and Navier-Stokes flows in the exterior of a rotating obstacle, Arch. Rational Mech. Anal. 193 (2009), 339–421
2009
-
[37]
Iwashita, Lq-Lr estimates for solutions of the nonstationary Stokes equations in an exterior domain and the Navier-Stokes initial value problems in Lq spaces, Math
H. Iwashita, Lq-Lr estimates for solutions of the nonstationary Stokes equations in an exterior domain and the Navier-Stokes initial value problems in Lq spaces, Math. Ann. 285 (1989), 265–288
1989
-
[38]
Kato, Strong Lp solutions of the Navier-Stokes equation in Rm, with applications to weak solutions, Math
T. Kato, Strong Lp solutions of the Navier-Stokes equation in Rm, with applications to weak solutions, Math. Z. 187 (1984), 471–480
1984
-
[39]
Kobayashi and Y
T. Kobayashi and Y. Shibata, On the Oseen equation in the thre e dimensional exterior domains, Math. Ann. 310 (1998), 1–45
1998
-
[40]
Korolev and V
A. Korolev and V. ˇSverak, On the large-distance asymptotics of steady state so- lutions of the Navier-Stokes equations in 3D exterior domains, Ann. Inst. Henri Poincare, Anal. Non Lineaire 28 (2011) 303–313
2011
-
[41]
Maekawa, On local energy decay estimate of the Oseen semig roup in two dimensions and its application, J
Y. Maekawa, On local energy decay estimate of the Oseen semig roup in two dimensions and its application, J. Inst. Math. Jussieu , published online, doi: 10.1017/s1474748019000355
-
[42]
Maremonti and V.A
P. Maremonti and V.A. Solonnikov, On nonstationary Stokes pr oblems in exterior domains, Ann. Sc. Norm. Sup. Pisa 24 (1997), 395–449. 44
1997
-
[43]
Miyakawa, On nonstationary solutions of the Navier-Stokes equations in an exterior domain, Hiroshima Math
T. Miyakawa, On nonstationary solutions of the Navier-Stokes equations in an exterior domain, Hiroshima Math. J. 12 (1982), 115–140
1982
-
[44]
Shibata, On the Oseen semigroup with rotating effect, Functional Analysis and Evolution Equations, The G¨ unter Lumer Volume, 595–611, Birkh¨ auser, Basel, 2008
Y. Shibata, On the Oseen semigroup with rotating effect, Functional Analysis and Evolution Equations, The G¨ unter Lumer Volume, 595–611, Birkh¨ auser, Basel, 2008
2008
-
[45]
Shibata, On a C0 semigroup associated with a modified Oseen equation with rotating effect, Adv
Y. Shibata, On a C0 semigroup associated with a modified Oseen equation with rotating effect, Adv. Math. Fluid Mech. , 513–551, Springer, Berlin, 2010
2010
-
[46]
Shibata, On the Lp-Lq decay estimate for the Stokes equations with free bound- ary conditions in an exterior domain, Asymptot
Y. Shibata, On the Lp-Lq decay estimate for the Stokes equations with free bound- ary conditions in an exterior domain, Asymptot. Anal. 107 (2018), 33–72
2018
-
[47]
Simader and H
C.G. Simader and H. Sohr, A new approach to the Helmholtz decom position and the Neumann problem in Lq-spaces for bounded and exterior domains, Mathematical Problems Relating to the Navier-Stokes Equations (eds. G.P. Galdi), 1–35, Ser. Adv. Math. Appl. Sci. 11, World Sci. Publ...
1992
-
[48]
Stein, Harmonic Analysis: real-variable methods, orthogonality , and oscilla- tory integrals, Princeton Univ
E.M. Stein, Harmonic Analysis: real-variable methods, orthogonality , and oscilla- tory integrals, Princeton Univ. Press, New Jersey, 1993
1993
-
[49]
Takahashi, Attainability of steady Navier-Stokes flow aroun d a rigid body ro- tating from rest, In preparation
T. Takahashi, Attainability of steady Navier-Stokes flow aroun d a rigid body ro- tating from rest, In preparation
-
[50]
Tanabe, Equations of Evolution , Pitman, London, 1979
H. Tanabe, Equations of Evolution , Pitman, London, 1979
1979
-
[51]
Torchinsky, Real-Variable Methods in Harmonic Analysis, Academic Press, 1986
A. Torchinsky, Real-Variable Methods in Harmonic Analysis, Academic Press, 1986
1986
-
[52]
Yamazaki, The Navier-Stokes equations in the weak- Ln space with time- dependent external force, Math
M. Yamazaki, The Navier-Stokes equations in the weak- Ln space with time- dependent external force, Math. Ann. 317 (2000), 635–675. 45
2000
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.