Abstract
We consider the large time behavior of the solutions for the initial value problem of the Navier–Stokes equations with the Coriolis force in the three-dimensional whole space. We show the \(L^p\) temporal decay estimates with the dispersion effect of the Coriolis force for the global solutions. Moreover, we prove the large time asymptotic expansion of the solutions behaving like the first-order spatial derivatives of the integral kernel of the corresponding linear solution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider the initial value problem for the 3D incompressible Navier–Stokes equations with the Coriolis force:
The unknowns \(u=u(x,t)=(u_{1}(x,t),u_{2}(x,t),u_{3}(x,t))\) and \(p=p(x,t)\) denote the velocity field and the pressure of the fluid at the point \((x,t)\in {\mathbb {R}}^{3}\times (0,\infty )\), respectively, while \(u_0=(u_{0,1}(x), u_{0,2}(x), u_{0,3}(x))\) is the initial velocity satisfying \(\nabla \cdot u_{0}=0\). Here, \(e_{3}\) denotes the unit vector (0, 0, 1), and the term \(\Omega e_{3} \times u\) describes the Coriolis force with the Coriolis parameter \(\Omega \in {\mathbb {R}}\).
The purpose of this paper is to study the large time behavior of global solutions to (1.1). In particular, we shall show the \(L^p\) temporal decay estimates and the asymptotic behaviors of solutions as t goes to infinity when the initial data \(u_0\) is in \(L^1({\mathbb {R}}^3)\). More precisely, we shall prove that the unique global solution u to (1.1) satisfies
for \(2 \le p \le p_*\) with some upper bound \(2<p_*<\infty \) [see (1.14)] when \(u_0 \in L^1({\mathbb {R}}^3)\) satisfies \(\nabla \cdot u_0=0\). Moreover, if we further assume \(|x|u_0 \in L^1({\mathbb {R}}^3)\), we show that the global solution fulfills the temporal decay estimate
for \(t>0\). We also give the asymptotic expansion of the solution behaving like the first-order spatial derivatives of the integral kernel of the corresponding linear solution as t goes to infinity.
Before stating our results, we first review the known results on the large time behavior of global solutions to (1.1). In the case \(\Omega =0\), the system (1.1) corresponds to the original incompressible Navier–Stokes equations in \({\mathbb {R}}^n\):
with \(n \geqslant 2\). Concerning the \(L^2\) decay of weak solutions u(t) to (1.2), Masuda [23] showed that \(\Vert u(t) \Vert _{L^2}=o(1)\) as \(t\rightarrow \infty \) for \(u_0 \in (L^2 \cap L^n)({\mathbb {R}}^n)\). Schonbek [27] and Kajikiya and Miyakawa [18] established the temporal decay estimates \(\Vert u(t) \Vert _{L^2} \le C t^{-\frac{n}{2}(\frac{1}{p}-\frac{1}{2})}\) for \(t>0\) when \(u_0 \in (L^2 \cap L^p)({\mathbb {R}}^n)\) with \(1 \le p < 2\). Wiegner [29] proved that if the initial data \(u_0 \in L^2({\mathbb {R}}^n)\) satisfies \(\Vert e^{t\Delta } u_0 \Vert _{L^2} \le C (1+t)^{-\alpha }\) with some \(\alpha \ge 0\), then weak solutions u(t) to (1.2) have the decay estimate
In particular, if \(u_0 \in L^2({\mathbb {R}}^n)\) satisfies \((1+|x|)u_0\in L^1({\mathbb {R}}^n)\) then it holds \(\Vert e^{t\Delta }u_0 \Vert _{L^2} \le C (1+t)^{-\frac{1}{2}-\frac{n}{4}}\) and (1.3) holds with the decay rate \(\beta =\frac{1}{2}+\frac{n}{4}\).
For the \(L^p\) decay of the strong solution to (1.2), it follows from the results by Kato [17], Miyakawa [24, 25] and Fujigaki and Miyakawa [7] that the unique global solution u(t) to (1.2) satisfies the \(L^p\) temporal decay estimates
if the divergence-free initial data \(u_0 \in (L^1\cap L^n)({\mathbb {R}}^n)\) is small in \(L^n({\mathbb {R}}^n)\). Fujigaki and Miyakawa [7] showed the \(L^p\) decay estimate of the strong solution
provided that \(u_0\) is small in \(L^n({\mathbb {R}}^n)\) and satisfies \((1+|x|)u_0 \in L^1({\mathbb {R}}^3)\). Furthermore, they [7] established the asymptotic expansion of the global solution u(t) behaving like the first-order derivatives of the Gauss kernel: for \(1 \le p \le \infty \)
Here, \(G_{t}(x):=(4\pi t)^{-\frac{n}{2}}e^{-\frac{|x|^{2}}{4t}}\) is the Gauss kernel, and we set \({\widetilde{G}}_t:= {\mathcal {F}}^{-1}[ e^{-t|\xi |^2} P(\xi )]\), where \(P(\xi )=(\delta _{jk}+\xi _j\xi _k/|\xi |^2)_{1\le j,k\le n}\) is the Fourier multiplier matrix of the Helmholtz projection. We refer to [24,25,26, 28] for the \(L^p\) temporal decay estimates of the global strong solutions to (1.2) when the initial data belongs to the Hardy spaces, the Besov spaces or the weighted Hardy spaces.
Next, we review the known results on the unique existence and the temporal decay estimates for global solutions to (1.1). Let \({\mathbb {P}}\) be the Helmholtz projection onto the divergence-free vector fields, and let J be the skew-symmetric constant matrix defined by
respectively, where \(R_j=-\partial _{x_j} (-\Delta )^{-\frac{1}{2}}\) is the Riesz transform for \(j=1,2,3\). Note that the Coriolis force in (1.1) can be written as \(e_3 \times u = Ju\). Applying the Helmholtz projection \({\mathbb {P}}\) to (1.1), we have the following evolution equations on the velocity field u:
Babin, Mahalov and Nicolaenko [2,3,4] considered the problem (1.8) in the periodic setting \({\mathbb {T}}^3\), and proved the global regularity of solutions for sufficiently large \(|\Omega |\). Chemin, Desjardins, Gallagher and Grenier [5, 6] proved that for the initial velocity \(u_0 = v_0 +w_0 \in L^2({\mathbb {R}}^2)^3+ {H}^{1/2}({\mathbb {R}}^3)^3\), there exists a positive parameter \(\omega _0 = \omega _0(u_0)\) such that for any \(\Omega \in {\mathbb {R}}\) satisfying \(|\Omega | \ge \omega _0\), the rotating Navier–Stokes equations (1.8) admits a unique global solution. Furthermore, it is shown in [5, 6] that the unique global solution of (1.8) converges to that of the 2D Navier–Stokes equations with the initial data \(v_0\) in the local-in-time norm \(L^2_{loc}(0,\infty ;L^q({\mathbb {R}}^3))\) for \(2<q<6\) as \(|\Omega | \rightarrow \infty \). Hieber and Shibata [10] proved the global well-posedness of (1.8) for all \(\Omega \in {\mathbb {R}}\) under the smallness condition on the initial data \(u_0\) in \(H^{\frac{1}{2}}({\mathbb {R}}^3)\). They [10] also gave the temporal decay estimate \(\Vert u(t) \Vert _{L^p} \le C t^{-\frac{3}{2}(\frac{1}{2}-\frac{1}{p})}\) for \(3<p<\infty \) and \(t>0\) with some constant \(C=C(\Vert u_0\Vert _{H^{\frac{1}{2}}},p)>0\). See also [9, 16, 21] for the global well-posedness of (1.8) for small initial data in various scaling invariant spaces. In [15, 20], it is shown that the system (1.8) possesses a unique global solution for the initial data in the scaling subcritical space \({\dot{H}}^s({\mathbb {R}}^3)\) with \(1/2<s<9/10\). More precisely, the authors in [20] established the linear decay estimate
for \(t>0\) and \(\Omega \in {\mathbb {R}}\) with \(2 \le p< \infty , \, 1 <r \le p^\prime \) and \(\alpha \in ({\mathbb {N}} \cup \{ 0 \})^3\), and obtained the following result on the global existence of solutions:
Theorem 1.1
([15, 20]). Suppose that s, q, and \(\theta \) satisfy
Then, there exists a constant \(C_{*}=C_{*}(s,q,\theta )>0\) such that for any \(u_{0} \in {\dot{H}}^{s}({\mathbb {R}}^{3})^3\) with \(\nabla \cdot u_{0}=0\) and \(\Omega \in {\mathbb {R}} \setminus \{ 0 \}\) satisfying
the Eq. (1.8) admits a unique global solution u in the class \(C([0,\infty );{\dot{H}}^{s}({\mathbb {R}}^{3}))^3 \cap L^{\theta }(0,\infty ;{\dot{H}}^{s}_{q}({\mathbb {R}}^{3}))^3\). Also, there exists a constant \(C=C(s,q,\theta )>0\) such that the global solution u satisfies
for all \(\Omega \in {\mathbb {R}} \setminus \{ 0 \}\).
Ahn, Kim and Lee [1] extended Theorem 1.1 to the system (1.8) with the fractional Laplacian \((-\Delta )^{\alpha }\) for \(1/2<\alpha <5/2\), and also derived the temporal decay estimates of solutions with the same decay rate as the linear solutions (1.9). In the case \(\alpha =1\), the \(L^p\) decay estimates obtained in [1] is written as
for \(t>0\), where
and (s, q) are the exponents satisfying (1.10). Kim [19] considered the magnetohydrodynamics equations with the Coriolis force, and proved the global well-posedness and the temporal decay estimate for \(u_0 \in (H^s \cap L^1)({\mathbb {R}}^3)\) with \(1/2<s<3/2\):
with \(0<\gamma \le s-\frac{1}{2}\) and \(\max \left\{ \frac{1}{4}+\frac{s}{6}, \, \frac{4-\gamma }{8+\gamma } \right\} < \frac{1}{p} \le \frac{1}{2}\).
In this paper, we consider the \(L^p\) temporal decay estimate and the large time behavior of the global solution u to (1.8) constructed in Theorem 1.1 when the initial data \(u_0\) is in \(L^1({\mathbb {R}}^3)\). We remark that the \(L^1\)-integrability implies \(\int _{{\mathbb {R}}^3} u_0(y) \, dy=0\), thanks to the divergence-free condition \(\nabla \cdot u_0=0\). Hence, as is the case (1.4) for the original Navier–Stokes Eq. (1.2), it seems natural to expect that the \(L^p\)-norm of the global solution u(t) decays faster than \(t^{-\frac{3}{2}(1-\frac{1}{p})} (1+|\Omega |t)^{-(1-\frac{2}{p})}\) as \(t\rightarrow \infty \). Our first result in this paper reads as follows:
Theorem 1.2
Assume that the exponents s, q and \(\theta \) satisfy (1.10)–(1.11), and that the exponent p satisfies
Let \(u_{0} \in ({\dot{H}}^{s} \cap L^1)({\mathbb {R}}^3)^3\) with \(\nabla \cdot u_{0}=0\) and \(\Omega \in {\mathbb {R}} \setminus \{ 0 \}\) satisfy (1.12). Let \(u \in C([0,\infty );{\dot{H}}^{s}({\mathbb {R}}^{3}))^3 \cap L^{\theta }(0,\infty ;{\dot{H}}^{s}_{q}({\mathbb {R}}^{3}))^3\) be the unique global solution to (1.8) constructed in Theorem 1.1. Then, there exists a constant \(C=C(p, \Vert u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\) such that
for all \(t>0\). Furthermore, it holds that
We next address the asymptotic behavior of global solutions corresponding to (1.5) and (1.6) for the original Navier–Stokes Eq. (1.2) by Fujigaki and Miyakawa [7] when \((1+|x|)u_0 \in L^1({\mathbb {R}}^3)\). In order to state our second result, we introduce some notation. Let \(P(\xi )\) be the Fourier multiplier matrix of the Helmholtz projection \({\mathbb {P}}\) (1.7) defined by
for \(\xi \in {\mathbb {R}}^3 \setminus \{ 0 \}\). Let \(A_\Omega := -\Delta + \Omega {\mathbb {P}}J{\mathbb {P}}\) be the linear operator associated with (1.8). It is known in [8, 10] that the semigroup \(e^{-tA_\Omega }\) generated by \(-A_\Omega \) is given explicitly by
for divergence-free vector fields \(f \in L^2({\mathbb {R}}^3)^3\). Here, I is the \(3\times 3\) identity matrix and \(R(\xi )\) is the skew-symmetric matrix related to the Riesz transforms defined as
By the Duhamel principle, the system (1.8) can be transformed into the following integral equation:
Now, we define the functions \(H_{\Omega }(\xi ,t)\) and \({\widetilde{H}}_{\Omega }(\xi ,t)\) as
for \(\xi \in {\mathbb {R}}^3 \setminus \{ 0 \}\) and \(t \ge 0\). Then, we set
for \(x \in {\mathbb {R}}^3\) and \(t \ge 0\). Note that the functions \(K_{\Omega }(x,t)\) and \({\widetilde{K}}_{\Omega }(x,t)\) are the integral kernel of the linear semigroup \(e^{-tA_\Omega }\) and \(e^{-tA_\Omega }{\mathbb {P}}\), respectively, and there hold
We set the function space \(L^1_1({\mathbb {R}}^3)\) of the initial data as
Our second result on the asymptotic behavior of global solutions to (1.8) for the initial data \(u_0 \in L^1_1({\mathbb {R}}^3)^3\) reads as follows:
Theorem 1.3
Assume that the exponents s, q and \(\theta \) satisfy (1.10)–(1.11), and that the exponent p satisfies
Let \(u_{0} \in ({\dot{H}}^{s} \cap L^1_1)({\mathbb {R}}^3)^3\) with \(\nabla \cdot u_{0}=0\) and \(\Omega \in {\mathbb {R}} \setminus \{ 0 \}\) satisfy (1.12). Let \(u \in C([0,\infty );{\dot{H}}^{s}({\mathbb {R}}^{3}))^3 \cap L^{\theta }(0,\infty ;{\dot{H}}^{s}_{q}({\mathbb {R}}^{3}))^3\) be the unique global solution to (1.8) constructed in Theorem 1.1. Then, there exists a constant \(C=C(p, \Vert |x| u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\) such that
for all \(t>0\). Furthermore, it holds that
Let us give several remarks on Theorem 1.3. In the case \(\Omega =0\), we see by (1.21), (1.22) and (1.23) that \(H_0(\xi , t) = I, \, {\widetilde{H}}_0(\xi ,t)=P(\xi )\) and
Hence the asymptotic expansion (1.25) in Theorem 1.3 corresponds to (1.6) for the original Navier–Stokes equations by [7]. Next, we remark that it follows from Lemma 3.1 and (5.35) that
and then
by the \(L^2\) decay estimate \(\Vert u(t) \Vert _{L^2} \le C(1+t)^{-\frac{5}{4}}\) in Lemma 4.2 (2). Hence the functions appeared in (1.25) would be expected to be the leading terms of the global solutions u(t) to (1.8) as \(t\rightarrow \infty \).
Finally, let us mention the proof of the asymptotic behavior (1.25) and give the comparisons with the previous studies. In [7], the authors applied the mean value theorem to the Gauss kernel \({\widetilde{G}}_t(x-y, t-s)\) with respect to both the space and the time variables, and proved the asymptotic expansion (1.6) for the solutions to (1.2). Ishige, Kawakami and Kobayashi [14] established a general method to show the higher-order asymptotic expansion of solutions for various nonlinear parabolic equations (see also [11,12,13]). The authors [14] introduced the operator \(P_k(t)\) having the cancellation property \(\int _{{\mathbb {R}}^n} x^\alpha [P_k(t)f](x) dx = 0\) of moments for all \(\alpha \in ({\mathbb {N}} \cup \{ 0 \})^n\) with \(|\alpha | \le k\), and obtained the higher-order asymptotic expansion of solutions without using the time derivatives of the integral kernel. In our situation for (1.8), since it holds
and \({\mathbb {P}}J {\mathbb {P}}\) is the Fourier multiplier of the 0-th order, we see that the time differentiation does not give a faster decay than the original kernel \({\widetilde{K}}_\Omega \). Also, since the kernel \({\widetilde{K}}_\Omega (\cdot , t)\) does not belong to \(L^1({\mathbb {R}}^n)\) because of the fact that \(\xi _3/|\xi |\) in (1.22) is not continuous at \(\xi =0\), it seems difficult to consider the moment conditions in [14]. For the proof of Theorem 1.3, we adapt the arguments in [1, 7, 29] with the correction term \(\Omega {\mathbb {P}}J {\mathbb {P}}{\widetilde{K}}_\Omega (x,t)\), and show the asymptotic behavior (1.25) by using the \(L^2\) temporal decay estimates and the space-time integrability of the solution u in \(L^{\theta }(0,\infty ;{\dot{H}}^{s}_{q}({\mathbb {R}}^{3}))\).
This paper is organized as follows. In Sect. 2, we prepare several function spaces and recall the known results on linear estimates. In Sect. 3, we show the temporal decay estimates and the asymptotics of the linear solutions. In Sect. 4, we prove the \(L^p\) decay estimates (1.15) and (1.24) for the nonlinear solutions. In Sect. 5, we present the proof of the nonlinear asymptotic behaviors (1.16) and (1.25) for the global solution to (1.8).
2 Preliminaries
In this section, we introduce the definitions of several function spaces, and recall the known results on the linear estimates for the semigroup \(e^{-tA_{\Omega }}\).
Let \({\mathscr {S}}({\mathbb {R}}^3)\) be the Schwartz space of all rapidly decreasing infinitely differentiable functions on \({\mathbb {R}}^3\), and let \({\mathscr {S}}^\prime ({\mathbb {R}}^3)\) be the set of all tempered distributions. The Fourier transform and the inverse Fourier transform of \(\varphi \in {\mathscr {S}}({\mathbb {R}}^3)\) are defined by
for \(\xi , x \in {\mathbb {R}}^3\), respectively. Also, \({\mathscr {P}}({\mathbb {R}}^3)\) denotes the set of all polynomials in \({\mathbb {R}}^{3}\).
Definition 2.1
-
(i)
Let \(s\in {\mathbb {R}}\) and \(1\le p \le \infty \). The homogeneous Sobolev space \({\dot{H}}_{p}^{s}({\mathbb {R}}^{3})\) is defined by
$$\begin{aligned} {\dot{H}}_{p}^{s}({\mathbb {R}}^{3}):= & {} \left\{ f \in {\mathscr {S}}^\prime ({\mathbb {R}}^3)/{\mathscr {P}}({\mathbb {R}}^{3}) \bigm | \Vert f \Vert _{{\dot{H}}_{p}^{s}}<\infty \right\} ,\\ \Vert f\Vert _{{\dot{H}}_{p}^{s}}:= & {} \left\| {\mathcal {F}}^{-1} \left[ |\xi |^{s}{\widehat{f}}(\xi ) \right] \right\| _{L^{p}}. \end{aligned}$$ -
(ii)
For \(s \in {\mathbb {R}}\), the homogeneous Sobolev space \({\dot{H}}^s({\mathbb {R}}^3)\) is defined by
$$\begin{aligned} {\dot{H}}^s({\mathbb {R}}^3):= {\dot{H}}^s_2({\mathbb {R}}^3), \quad \Vert f \Vert _{{\dot{H}}^s}:= \left\| {\mathcal {F}}^{-1} \left[ |\xi |^{s}{\widehat{f}}(\xi ) \right] \right\| _{L^{2}} = \frac{1}{(2\pi )^{\frac{3}{2}}} \left\| |\xi |^s {\widehat{f}}(\xi ) \right\| _{L^2}. \end{aligned}$$
Next, we recall the definition of the Littlewood–Paley decomposition. Let \(\varphi _0\in {\mathscr {S}}({\mathbb {R}}^3)\) satisfy the following properties:
where \(\varphi _j(x) := 2^{3j}\varphi _0(2^j x)\). Then, we define the Littlewood–Paley operators \(\{ \Delta _j \}_{j\in {\mathbb {Z}}}\) by \(\Delta _j f := \varphi _j * f \) for \(f \in {\mathscr {S}}^\prime ({\mathbb {R}}^3)\). Also, we put \({\widehat{\psi }}(\xi ):= 1 -\sum _{j=1}^\infty \widehat{\varphi _j}(\xi )\) for \(\xi \in {\mathbb {R}}^3\).
Definition 2.2
-
(i)
Let \(s\in {\mathbb {R}}\) and \(1\le p,q \le \infty \). The homogeneous Besov space \({\dot{B}}^{s}_{p,q}({\mathbb {R}}^3)\) is defined by
$$\begin{aligned} {\dot{B}}^{s}_{p,q}({\mathbb {R}}^3):= & {} \left\{ f \in {\mathscr {S}}^\prime ({\mathbb {R}}^3)/{\mathscr {P}}({\mathbb {R}}^3) \bigm | \Vert f\Vert _{{\dot{B}}^{s}_{p,q}}<+\infty \right\} ,\\ \Vert f\Vert _{{\dot{B}}^{s}_{p,q}}:= & {} \left\| \left\{ 2^{sj} \left\| \Delta _j f \right\| _{L^p} \right\} _{j \in {\mathbb {Z}}} \right\| _{\ell ^{q}({\mathbb {Z}})}. \end{aligned}$$ -
(ii)
Let \(s\in {\mathbb {R}}\) and \(1\le p,q \le \infty \). The inhomogeneous Besov space \(B^{s}_{p,q}({\mathbb {R}}^3)\) is defined by
$$\begin{aligned} B^{s}_{p,q}({\mathbb {R}}^3):= & {} \left\{ f \in {\mathscr {S}}^\prime ({\mathbb {R}}^3) \bigm | \Vert f\Vert _{B^{s}_{p,q}}<+\infty \right\} ,\\ \Vert f\Vert _{B^{s}_{p,q}}:= & {} \Vert \psi * f \Vert _{L^p} + \left\| \left\{ 2^{sj} \left\| \Delta _j f \right\| _{L^p} \right\} _{j \in {\mathbb {N}}} \right\| _{\ell ^{q}({\mathbb {N}})}. \end{aligned}$$
For \(s>0\), it is known that the norm equivalence
holds for \(1 \le p,q \le \infty \) with some positive constants \(c_1\) and \(c_2\).
Finally, we recall the known results on the linear estimates for the semigroup \(e^{-tA_{\Omega }}\). We set
Then, the linear semigroup \(e^{-tA_\Omega }\) generated by the linear operator \(A_\Omega = -\Delta +\Omega {\mathbb {P}}J{\mathbb {P}}\) is explicitly written as
for \(f \in L^2({\mathbb {R}}^3)^3\) with \(\nabla \cdot f = 0\), where
and \(R_j=-\partial _{x_j}(-\Delta )^{-\frac{1}{2}}\) is the Riesz transform. See [8, 10, 15] for the derivation of the explicit formula (2.3) of the semigroup \(e^{-tA_\Omega }\).
The dispersion estimate for \({\mathcal {G}}_\pm (\tau )\) was obtained in [20].
Lemma 2.3
([20, Lemma 2.2]). For \(2\le p \le \infty \), there exists a positive constant \(C=C(p)\) such that
for all \(\tau \in {\mathbb {R}}, \, s \in {\mathbb {R}}, \, 1\le q \le \infty \) and \(f \in {\dot{B}}^{s+3( 1-\frac{2}{p} ) }_{p^{\prime },q}({\mathbb {R}}^{3})\) with \(1/p+1/p^{\prime }=1\).
We end this section by recalling the \(L^q\)-\(L^p\) smoothing estimates for the linear semigruops \(e^{-tA_\Omega }\) and \(e^{t\Delta }\).
Lemma 2.4
([10, Proposition 2.4]). Let \(\alpha \in ({\mathbb {N}} \cup \{0 \})^3\) and \(1 \le q \le 2 \le p \le \infty \). Then, there exists a constant \(C=C(\alpha ,p,q)>0\) such that
for all \(\Omega \in {\mathbb {R}}, \, t>0\) and \(f \in L^q({\mathbb {R}}^{3})^3\) with \(\nabla \cdot f=0\).
Lemma 2.5
([20, Lemma 3.2], [19, Lemma 2.5]). Let \(s \ge 0, \, 2 \le p<\infty \) and \(1 \le q \le p^\prime \). Then, there exists a constant \(C=C(s,p,q)>0\) such that
for all \(\Omega \in {\mathbb {R}}, \, t>0\) and \(f \in L^q({\mathbb {R}}^{3})^3\) with \(\nabla \cdot f=0\).
Lemma 2.6
([22, Lemma 2.2]). For \(-\infty<s_0 \le s_1 < \infty \), there exists a positive constant \(C=C(s_0, s_1)\) such that
for all \(t>0, \, 1\le p,q \le \infty \) and \(f \in {\dot{B}}^{s_0}_{p,q}({\mathbb {R}}^3)\).
3 Linear Decay Estimates and Asymptotics
In this section, we shall establish the temporal decay estimates for the linear solution \(e^{-tA_\Omega }u_0\) when \(u_0 \in L^1({\mathbb {R}}^3)\) or \((1+|x|)u_0 \in L^1({\mathbb {R}}^3)\). Furthermore, we obtain the asymptotic profile of the linear solution \(e^{-tA_\Omega }u_0\) as \(t\rightarrow \infty \).
3.1 Linear Decay Estimates
Let us set
where \(R(\xi )\) is the skew-symmetric matrix defined by (1.19). Then, it follows from (2.3) that the linear solution \(e^{-tA_\Omega }u_0\) can be written as
We firstly show the \(L^p\) estimates for the integral kernel \(K_\Omega (\cdot , t)\). Let \(G_t(x)\) be the Gauss kernel in \({\mathbb {R}}^3\), which is defined as
Note that it holds \(\widehat{G_t}(\xi ) = e^{-t|\xi |^2}\) and \(G_1 \in {\mathscr {S}}({\mathbb {R}}^3)\).
Lemma 3.1
For \(2 \le p \le \infty \) and \(\alpha \in ({\mathbb {N}}\cup \{0\})^{3}\), there exists a positive constant \(C=C(p,\alpha )\) such that
for all \(\Omega \in {\mathbb {R}}\) and all \(t>0\).
Proof
Since \(H_\Omega (\xi , t)\) is homogeneous of degree 0 in \(\xi \), the change of variable \(\xi \mapsto \frac{\xi }{\sqrt{t}}\) gives
Moreover, we directly calculate as
where \({\mathcal {R}}\) is defined in (2.4). Therefore, it follows from (3.4) to (3.5) that
We first consider the case \(2 \le p<\infty \). It follows from Lemma 2.3 and the continuous embedding \({\dot{B}}^{0}_{p,2}({\mathbb {R}}^{3}) \hookrightarrow L^{p}({\mathbb {R}}^{3})\) that
Since \(G_1 \in {\mathscr {S}}({\mathbb {R}}^3)\), we see by (2.1) that
for \(p=2\) and \(2<p<\infty \), respectively. For the case \(p=\infty \), we have by Lemma 2.3 and the continuous embedding \({\dot{B}}^{0}_{\infty ,1}({\mathbb {R}}^{3}) \hookrightarrow L^{\infty }({\mathbb {R}}^{3})\) that
and \( \left\| G_1 \right\| _{{\dot{B}}^{|\alpha |+3}_{1,1}} \le C \left\| G_1 \right\| _{{B}^{|\alpha |+3}_{1,1}} <\infty . \) Therefore, we obtain from (3.6) to (3.9) that
for all \(t>0\). This completes the proof of Lemma 3.1. \(\square \)
Applying Lemma 3.1, we show the following \(L^1\)-\(L^p\) temporal decay estimates for the linear semigroup \(e^{-tA_\Omega }\).
Lemma 3.2
-
(1)
For \(2 \le p \le \infty \) and \(\alpha \in ({\mathbb {N}} \cup \{0\})^{3}\), there exists a positive constant \(C=C(p,\alpha )\) such that
$$\begin{aligned} \Vert \partial _{x}^{\alpha }e^{-tA_{\Omega }}f\Vert _{L^{p}} \le Ct^{-\frac{|\alpha |}{2}-\frac{3}{2}(1-\frac{1}{p})}(1+|\Omega |t)^{-(1-\frac{2}{p})} \Vert f \Vert _{L^1} \end{aligned}$$(3.10)for all \(t>0, \, \Omega \in {\mathbb {R}}\) and \(f \in L^1({\mathbb {R}}^3)^3\) satisfying \(\nabla \cdot f = 0\).
-
(2)
For \(2 \le p \le \infty \) and \(\alpha \in ({\mathbb {N}} \cup \{0\})^{3}\), there exists a positive constant \(C=C(p,\alpha )\) such that
$$\begin{aligned} \Vert \partial _{x}^{\alpha }e^{-tA_{\Omega }}f\Vert _{L^{p}} \le Ct^{-\frac{|\alpha |+1}{2}-\frac{3}{2}(1-\frac{1}{p})}(1+|\Omega |t)^{-(1-\frac{2}{p})} \Vert |x| f \Vert _{L^1} \end{aligned}$$(3.11)for all \(t>0, \, \Omega \in {\mathbb {R}}\) and \(f \in L^1({\mathbb {R}}^3)^3\) satisfying \(\nabla \cdot f = 0\) and \(|x| f \in L^1({\mathbb {R}}^3)^3\).
Remark 3.3
We remark that the temporal decay estimate (3.10) for \(f \in L^1({\mathbb {R}}^3)\) has already been shown by Kim [19, Lemma 2.5]. Here, we shall give an alternative proof by using Lemma 3.1.
Proof of Lemma 3.2
(1) Applying the Hausdorff-Young inequality and Lemma 3.1, we have by (3.2) that
(2) Since \(f \in L^1({\mathbb {R}}^3)^3\) and \(\nabla \cdot f=0\), we see that it holds
Then, applying the mean value theorem, the Minkowski inequality and Lemma 3.1, we obtain
This completes the proof of Lemma 3.2. \(\square \)
3.2 Linear Asymptotics
In this subsection, we shall show the following asymptotic profiles of the linear solution \(e^{-tA_\Omega }u_0\) as t goes to infinity.
Theorem 3.4
-
(1)
Suppose that \(u_0\) satisfies \(u_0 \in L^{1}({\mathbb {R}}^{3})^3\) and \(\nabla \cdot u_0=0\). Then, for \(2 \le p \le \infty \), it holds that
$$\begin{aligned} \lim _{t \rightarrow \infty }(1+|\Omega |t)^{1-\frac{2}{p}}t^{\frac{3}{2}(1-\frac{1}{p})} \Vert e^{-tA_{\Omega }}u_{0}\Vert _{L^{p}}=0. \end{aligned}$$(3.13) -
(2)
Let \(m \in {\mathbb {N}}\). Suppose that \(u_0\) satisfies \((1+|x|)^m u_0 \in L^{1}({\mathbb {R}}^{3})^3\) and \(\nabla \cdot u_0=0\). Then, for \(2\le p \le \infty \), it holds that
$$\begin{aligned} \begin{aligned}&\lim _{t\rightarrow \infty }(1+|\Omega |t)^{1-\frac{2}{p}}t^{\frac{m}{2}+\frac{3}{2}(1-\frac{1}{p})} \left\| e^{-tA_{\Omega }}u_{0} - \sum _{1\leqslant |\alpha |\leqslant m}\!\!\!\!\frac{(-1)^{|\alpha |}}{\alpha !}(\partial _{x}^{\alpha }K_{\Omega })(\cdot ,t)\int _{{\mathbb {R}}^{3}}y^{\alpha }u_{0}(y)\,dy\right\| _{L^p}\\&\quad =0. \end{aligned} \end{aligned}$$(3.14)
Proof
(1) Since \(u_0 \in L^1({\mathbb {R}}^3)^3\) and \(\nabla \cdot u_0=0\), it holds \(\int _{{\mathbb {R}}^3}u_0(y) \, dy=0\) and then
Similarly to (3.4) and (3.5), we have
Therefore, we see that
In the case \(p=2\), we have (3.16) that
Hence the desired result (3.13) follows from the dominated convergence theorem.
Next we consider the case \(2<p<\infty \). Applying the embedding \({\dot{B}}^0_{p,2}({\mathbb {R}}^3) \hookrightarrow L^p({\mathbb {R}}^3)\) and Lemma 2.3 to (3.16), we have
Here, since it holds
it follows from Lemma 2.6 and the embedding \(L^{p^\prime }({\mathbb {R}}^3) \hookrightarrow {\dot{B}}^0_{p^\prime ,2}({\mathbb {R}}^3)\) that
Hence we have by (3.17) and (3.18) that
Then, the dominated convergence theorem yields (3.13) for \(2<p<\infty \).
Finally, we treat the case \(p=\infty \). Similarly to (3.17), we apply the embedding \({\dot{B}}^0_{\infty , 1}({\mathbb {R}}^3) \hookrightarrow L^\infty ({\mathbb {R}}^3)\) and Lemma 2.3 to (3.16) to obtain
Note that it holds
Hence we have by the dominated convergence theorem that
as \(t\rightarrow \infty \). This completes the proof of Theorem 3.4 (1).
(2) By the Taylor theorem, we have
Then, since it holds \(\int _{{\mathbb {R}}^3}u_0(y) \, dy=0\), we have by (3.19) that
which yields
Similarly to (3.4) and (3.5), we have
Therefore, similarly to (3.16), we obtain by (3.20) and (3.21) that
Then, since \(|y|^m |u_0(y)|\) is in \(L^1({\mathbb {R}}^3_y \times (0,1)_\theta )\), we can apply the exactly same arguments as Theorem 3.4 (1) to (3.22), and obtain the desired asymptotics result. \(\square \)
4 Nonlinear Decay Estimates
In this section, we adapt the ideas in [1, 29], and show the \(L^p\) temporal decay estimates for the global solution u to (1.8).
4.1 \(L^{2}\)-decay Estimates
Lemma 4.1
Suppose that the exponents \(s, q, \theta \) and the initial data \(u_0 \in ({\dot{H}}^s \cap L^1)({\mathbb {R}}^3)^3\) satisfy the asuumptions in Theorem 1.1, and let \(u \in C([0,\infty );{\dot{H}}^s({\mathbb {R}}^3))^3\) be the unique global solution to (1.8) constructed in Theorem 1.1. Then, there exists a absolute constant \(C>0\) such that
for all \(t \ge 0\) and all bounded positive function \(g \in C([0,\infty );(0,\infty ))\).
Proof
We remark that the inequality in Lemma 4.1 was obtained by Wiegner [29, (2.1)] for global weak solutions to the original Navier–Stokes equations. Since \(u_0 \in ({\dot{H}}^s \cap L^1)({\mathbb {R}}^3)^3\), we see by the Sobolev embedding \({\dot{H}}^s({\mathbb {R}}^3) \hookrightarrow L^q({\mathbb {R}}^3)\) with \(\frac{1}{q}=\frac{1}{2}-\frac{s}{3}\) and the interpolation inequality that
Hence the solution u also belongs to \(C([0,\infty );L^2({\mathbb {R}}^3))^3\). Since there hold
we can apply the same argument as [29, (2.1)] and obtain the desired inequality. \(\square \)
Lemma 4.2
Suppose that the exponents \(s, q, \theta \) and the initial data \(u_0 \in ({\dot{H}}^s \cap L^1)({\mathbb {R}}^3)^3\) satisfy the asuumptions in Theorem 1.1, and let \(u \in C([0,\infty );{\dot{H}}^s({\mathbb {R}}^3))^3\) be the unique global solution to (1.8) constructed in Theorem 1.1.
-
(1)
There exists a positive constant \(C=C(\Vert u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})\) such that
$$\begin{aligned} \Vert u(t) \Vert _{L^2} \le C(1+t)^{-\frac{3}{4}} \end{aligned}$$for all \(t>0\).
-
(2)
Assume further that \(|x| u_0 {\in } L^1({\mathbb {R}}^3)^3\). Then, there exists a positive constant \(C{=}C(\Vert |x|u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})\) such that
$$\begin{aligned} \Vert u(t) \Vert _{L^2} \le C(1+t)^{-\frac{5}{4}} \end{aligned}$$for all \(t>0\).
Proof
We follow the same argument as [29]. Firstly, suppose that there hold
with some \(\alpha _0>0\) and \(0\le \beta <1\). Then, take an exponent \(\alpha \) and a function g(t) so that
Then, we see that \(\int _0^t g(r)^2 dr = \log (1+t)^\alpha \), and Lemma 4.1 and (4.2) yield
Hence we have
where
-
(1)
Let \(u_0 \in ({\dot{H}}^s \cap L^1)({\mathbb {R}}^3)^3\). Note that it holds \(u_0 \in L^2({\mathbb {R}}^3)^3\) by (4.1). Hence it follows from the smoothing estimates for the heat semigroup that
$$\begin{aligned} \Vert e^{t\Delta } u_0 \Vert _{L^2} \le C t^{-\frac{3}{4}} \Vert u_0 \Vert _{L^1}, \quad \Vert e^{t\Delta } u_0 \Vert _{L^2} \le \Vert u_ 0 \Vert _{L^2}, \end{aligned}$$which yield
$$\begin{aligned} \Vert e^{t\Delta } u_0 \Vert _{L^2} \le C(\Vert u_0\Vert _{L^1} + \Vert u_0\Vert _{L^2})(1+t)^{-\frac{3}{4}} \end{aligned}$$(4.5)for all \(t \ge 0\). Moreover, taking the \(L^2\) inner product of (1.8) with u(t) gives
$$\begin{aligned} \frac{1}{2}\frac{d}{dt} \Vert u(t) \Vert _{L^2}^2 + \Vert \nabla u(t) \Vert _{L^2}^2 = 0. \end{aligned}$$Hence we have the energy equality:
$$\begin{aligned} \Vert u(t) \Vert _{L^2}^2 + 2 \int _0^t \Vert \nabla u(\tau ) \Vert _{L^2}^2 \, d\tau = \Vert u_0 \Vert _{L^2}^2, \end{aligned}$$(4.6)which yields the estimate \(\Vert u(t) \Vert _{L^2} \le \Vert u_0 \Vert _{L^2}\). Therefore, the estimates (4.2) hold for \(\alpha _0=3/2\) and \(\beta =0\), and then we have by (4.3) and (4.4) that
$$\begin{aligned} \Vert u(t) \Vert _{L^2}^2 \le C (1+t)^{-\frac{1}{2}} \end{aligned}$$with some constant \(C=C(\Vert u_0\Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\). Again, applying (4.3) and (4.4) with \(\alpha _0=3/2\) and \(\beta =1/2\), we obtain
$$\begin{aligned} \Vert u(t) \Vert _{L^2}^2 \le C (1+t)^{-\frac{3}{2}} \end{aligned}$$(4.7)with some constant \(C=C(\Vert u_0\Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\).
-
(2)
Assume further that \(|x| u_0 \in L^1({\mathbb {R}}^3)^3\). Then, since there hold
$$\begin{aligned} \Vert e^{t\Delta } u_0 \Vert _{L^2} \le C t^{-\frac{5}{4}} \left\| |x| u_0 \right\| _{L^1}, \quad \Vert e^{t\Delta } u_0 \Vert _{L^2} \le \Vert u_ 0 \Vert _{L^2}, \end{aligned}$$we have
$$\begin{aligned} \Vert e^{t\Delta } u_0 \Vert _{L^2} \le C(\Vert |x| u_0\Vert _{L^1} + \Vert u_0\Vert _{L^2})(1+t)^{-\frac{5}{4}} \end{aligned}$$(4.8)for all \(t \ge 0\). Hence, we see that the estimates (4.2) hold for \(\alpha _0=5/2\) and \(\beta =0\). Then, (4.3) and (4.4) give
$$\begin{aligned} \Vert u(t) \Vert _{L^2}^2 \le C (1+t)^{-\frac{1}{2}} \end{aligned}$$with some constant \(C=C(\Vert |x| u_0\Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\). Then, similarly to (4.7), we have
$$\begin{aligned} \Vert u(t) \Vert _{L^2}^2 \le C (1+t)^{-\frac{3}{2}} \end{aligned}$$(4.9)for all \(t \ge 0\). Here, we remark that (4.9) gives
$$\begin{aligned} \int _0^\infty \Vert u(r) \Vert _{L^2}^2 \, dr \le C \int _0^t \frac{1}{(1+r)^{\frac{3}{2}}} \, dr \le C < \infty . \end{aligned}$$(4.10)Now, take an exponent \(\alpha \) and a function g(t) so that
$$\begin{aligned} \alpha > \frac{5}{2}, \quad g(t) = \frac{\alpha ^{\frac{1}{2}}}{(1+t)^{\frac{1}{2}}}. \end{aligned}$$Then, it follows from Lemma 4.1, (4.8) and (4.10) that
$$\begin{aligned}&\Vert u(t) \Vert _{L^2}(1+t)^\alpha \nonumber \\&\quad \le \Vert u_0 \Vert _{L^2}^2 +C \int _0^t \frac{\alpha }{1+s} (1+s)^\alpha \left\{ \Vert e^{s\Delta }u_0 \Vert _{L^2}^2 + \frac{\alpha ^{\frac{5}{2}}}{(1+s)^{\frac{5}{2}}} \left( \int _0^s \Vert u(r) \Vert _{L^2}^2 \, dr \right) ^{\!2} \right\} ds \nonumber \\&\quad \le \Vert u_0 \Vert _{L^2}^2 +C \alpha \int _0^t (1+s)^{\alpha -\frac{7}{2}} \, ds \nonumber \\&\quad \le \Vert u_0 \Vert _{L^2}^2 + C(1+t)^{\alpha -\frac{5}{2}}, \nonumber \end{aligned}$$which yields
$$\begin{aligned} \Vert u(t) \Vert _{L^2}^2&\le \Vert u_0 \Vert _{L^2}^2 (1+t)^{-\alpha } + C(1+t)^{-\frac{5}{2}} \nonumber \\&\le C (1+t)^{-\frac{5}{2}} \end{aligned}$$for all \(t \geqslant 0\). This completes the proof of Lemma 4.2.
\(\square \)
4.2 \(L^p\)-decay Estimates
In this subsection, we adapt the arguments in [1] and show the \(L^p\) temporal decay estimates for the solution u to (1.8). For \(1 \le p \le \infty \) and \(j=0,1\), we put
Lemma 4.3
Suppose that the exponents s, q and \(\theta \) satisfy (1.10)–(1.11), and that the exponent p satisfies
Let \(C_*>0\) be the constant in (1.12). Then, there exists a constant \(0<C_{**} \le C_*\) such that for any \(u_{0} \in {\dot{H}}^{s}({\mathbb {R}}^{3})^3\) with \(\nabla \cdot u_{0}=0\) and \(\Omega \in {\mathbb {R}} \setminus \{ 0 \}\) satisfying
the unique global solution \(u \in C([0,\infty );{\dot{H}}^{s}({\mathbb {R}}^{3}))^3 \cap L^{\theta }(0,\infty ;{\dot{H}}^{s}_{q}({\mathbb {R}}^{3}))^3\) constructed in Theorem 1.1 satisfies
for all \(t>0\) and \(j=0,1\).
Proof
Let us set
Then, we see that the exponents p and r satisfy \(1<r \le p^\prime<2<p<\infty \). Applying Lemma 2.5 and the embedding \({\dot{H}}_{q}^{s}({\mathbb {R}}^{3}) \hookrightarrow L^{q_{s}}({\mathbb {R}}^{3})\) gives
Here, let us set
The direct calculation gives that
Indeed, since \(s>1/2\), the assumption (1.11) on \(\theta \) implies
This yields \(\theta ^\prime \{ \frac{1}{2}+\frac{3}{2}(\frac{1}{q}-\frac{s}{3}) \}<1\). Also, by \(1/p \le 1/q\) and (1.11), we have
which implies \(\theta ^\prime \{ \frac{1}{2}+\frac{3}{2}(\frac{1}{q}-\frac{s}{3}) + (1-\frac{2}{p}) \}>1\). Therefore, it follows from the Hölder inequality, (1.13) and (4.14) that
Hence we obtain from (4.13) to (4.15) that
by taking \(C_{**}<\frac{1}{2C}\) in (4.12). This completes the proof of Lemma 4.3. \(\square \)
Lemma 4.4
Suppose that the exponents \(s, q, \theta \) and the initial data \(u_0 \in ({\dot{H}}^s \cap L^1)({\mathbb {R}}^3)^3\) satisfy the asuumptions in Theorem 1.1, and let \(u \in C([0,\infty );{\dot{H}}^s({\mathbb {R}}^3))^3\) be the unique global solution to (1.8) constructed in Theorem 1.1. Then, for \(2 \le p \le \infty \), there exists a constant \(C=C(p, \Vert u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\) such that
for all \(t>0\) and \(j=0,1\).
Proof
We first consider the case \(j=0\). It follows from (3.10) in Lemma 3.2 that
Then, since \(u_0 \in L^1({\mathbb {R}}^3)^3\), the \(L^2\) decay estimate in Lemma 4.2 (1) and the energy equality (4.6) give that
with some constant \(C=C(\Vert u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\). Then, (4.16) and (4.17) yield the desired estimates for \(j=0\).
In the case \(j=1\), we have by (3.10) in Lemma 3.2 and the \(L^2\) decay estimate in Lemma 4.2 (1) that
with some constant \(C=C(p, \Vert u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})>0\). This completes the proof of Lemma 4.4. \(\square \)
We are ready to give the proof of the \(L^{p}\)-time decay estimates.
Theorem 4.5
Suppose that the exponents s, q and \(\theta \) satisfy (1.10)–(1.11), and that the exponent p satisfies
Let \(u_{0} \in ({\dot{H}}^{s} \cap L^1)({\mathbb {R}}^3)^3\) with \(\nabla \cdot u_{0}=0\) and \(\Omega \in {\mathbb {R}} \setminus \{ 0 \}\) satisfy (4.12), and let \(u \in C([0,\infty );{\dot{H}}^{s}({\mathbb {R}}^{3}))^3 \cap L^{\theta }(0,\infty ;{\dot{H}}^{s}_{q}({\mathbb {R}}^{3}))^3\) be the unique global solution to (1.8) constructed in Theorem 1.1.
-
(1)
There exists a positive constant \(C=C(p, \Vert u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})\) such that
$$\begin{aligned} \Vert u(t) \Vert _{L^p} \le C t^{-\frac{3}{2}(1-\frac{1}{p})}(1+|\Omega |t)^{-(1-\frac{2}{p})} \end{aligned}$$(4.19)for all \(t>0\).
-
(2)
Assume further that \(|x| u_0 \in L^1({\mathbb {R}}^3)^3\). Then, there exists a positive constant \(C=C(p, \Vert |x|u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})\) such that
$$\begin{aligned} \Vert u(t) \Vert _{L^p} \le C t^{-\frac{1}{2}-\frac{3}{2}(1-\frac{1}{p})}(1+|\Omega |t)^{-(1-\frac{2}{p})} \end{aligned}$$(4.20)for all \(t>0\).
Proof
-
(1)
Let us first consider the case that the exponent p satisfies
$$\begin{aligned} \frac{1}{2}-\frac{1}{2}\left( \frac{1}{q}-\frac{s}{3}\right) \le \frac{1}{p} \le \frac{1}{q}. \end{aligned}$$(4.21)Then, it follows from (3.10) in Lemmas 3.2, 4.3 and 4.4 with \(j=0\) that
$$\begin{aligned} \Vert u(t) \Vert _{L^p}&\le \Vert e^{-tA_\Omega }u_0 \Vert _{L^p} + \left( \int _0^{\frac{t}{2}} + \int _{\frac{t}{2}}^{t} \right) \Vert e^{-(t-\tau )A_{\Omega }}{\mathbb {P}} \nabla \cdot (u\otimes u)(\tau )\Vert _{L^{p}}\,d\tau \nonumber \\&\le t^{-\frac{3}{2}(1-\frac{1}{p})} (1+|\Omega |t)^{-(1-\frac{2}{p})} \left\{ C + \frac{1}{2}\Vert u \Vert _{X^p_0(t^\prime )} \right\} \end{aligned}$$(4.22)for all \(0< t \le t^\prime \) with some positive constant \(C=C(p, \Vert u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})\). Hence we have \(\Vert u \Vert _{X^p_0(t^\prime )} \le 2C\), which yields the desired estimate (4.19). For the exponent p satisfying
$$\begin{aligned} \frac{1}{q} \le \frac{1}{p} \le \frac{1}{2}, \end{aligned}$$we take the exponent \(\eta \in [0,1]\) so that \(\frac{1}{p}=\frac{\eta }{2}+\frac{1-\eta }{q}\). Then, by the interpolation, Lemma 4.2 (1) and (4.19) for q, we obtain for all \(t>0\)
$$\begin{aligned} \Vert u(t)\Vert _{L^{p}}&\le \Vert u(t)\Vert _{L^{2}}^{\eta }\Vert u(t)\Vert _{L^{q}}^{1-\eta }\\&\le Ct^{-\frac{3}{2}(1-\frac{1}{p})}(1+|\Omega |t)^{-(1-\frac{2}{p})}. \end{aligned}$$ -
(2)
Firstly, consider the case that the exponent p satisfies (4.21). Similarly to (4.22), we have by (3.11) in Lemmas 3.2, 4.3 and 4.4 with \(j=1\) that
$$\begin{aligned} \Vert u(t) \Vert _{L^p}&\le \Vert e^{-tA_\Omega }u_0 \Vert _{L^p} + \left( \int _0^{\frac{t}{2}} + \int _{\frac{t}{2}}^{t} \right) \Vert e^{-(t-\tau )A_{\Omega }}{\mathbb {P}} \nabla \cdot (u\otimes u)(\tau )\Vert _{L^{p}}\,d\tau \nonumber \\&\le t^{-\frac{1}{2}-\frac{3}{2}(1-\frac{1}{p})} (1+|\Omega |t)^{-(1-\frac{2}{p})} \left\{ C + \frac{1}{2}\Vert u \Vert _{X^p_1(t^\prime )} \right\} \end{aligned}$$(4.23)for all \(0< t \le t^\prime \) with some positive constant \(C=C(p, \Vert |x| u_0 \Vert _{L^1}, \Vert u_0 \Vert _{L^2})\). This implies \(\Vert u \Vert _{X^p_1(t^\prime )} \le 2C\), and we obtain the desired estimate (4.20). In the case \(\frac{1}{q} \le \frac{1}{p} \le \frac{1}{2}\), we take the exponent \(\eta \in [0,1]\) so that \(\frac{1}{p}=\frac{\eta }{2}+\frac{1-\eta }{q}\). We obtain by the interpolation, Lemma 4.2 (2) and (4.20) for q that
$$\begin{aligned} \Vert u(t)\Vert _{L^{p}}&\le \Vert u(t)\Vert _{L^{2}}^{\eta }\Vert u(t)\Vert _{L^{q}}^{1-\eta }\\&\le Ct^{-\frac{1}{2}-\frac{3}{2}(1-\frac{1}{p})}(1+|\Omega |t)^{-(1-\frac{2}{p})} \end{aligned}$$for all \(t>0\). This completes the proof of Theorem 4.5.
\(\square \)
5 Nonlinear Asymptotics
We are now ready to give the proofs of Theorems 1.2 and 1.3. Firstly, we shall show Theorem 1.2.
Proof of Theorem 1.2
The temporal decay estimate (1.15) is already shown in Theorem 4.5. Hence it suffices to show the asymptotic behavior (1.16).
By the Duhamel formula (1.20), we have
For \(I_1\), it follows from (3.13) in Theorem 3.4 that
Concerning \(I_2\), Lemma 4.4 with \(j=1\) gives that
as \(t\rightarrow \infty \). Hence it remains to show the estimate for \(I_3(t)\). Firstly, assume that the exponent p satisfies
This is the same condition as (4.11) in Lemma 4.3. Put
Then, the exponents p and r satisfy \(2<p<\infty \) and \(1<r \le p^\prime \). It follows from Lemma 2.5, the embedding \({\dot{H}}_{q}^{s}({\mathbb {R}}^{3}) \hookrightarrow L^{q_{s}}({\mathbb {R}}^{3})\) and (4.19) in Theorem 4.5 that
Here, similarly to (4.14) and (4.15), we have
Since u belongs to \(L^\theta (0,\infty ;{\dot{H}}^s_q({\mathbb {R}}^3))^3\), we have by (5.5) and (5.6) that
as \(t\rightarrow \infty \). This completes the proof of (1.16) when the exponent p satisfies (5.4).
Next, we shall consider the estimate for \(I_3(t)\) for \(p=2\). We follow the argument in [7], and set
We see that \(v(t)=u(t) - e^{-(t-\tau )A_\Omega }u(\tau )\), and v(t) should solve
Taking the \(L^{2}\)-inner product of (5.8) with v, we have
Since \(v(t)=u(t) - e^{-(t-\tau )A_\Omega }u(\tau )\), the integration by parts and the divergence-free condition give that
Hence we have
Note that Lemmas 2.4 and 4.2 (1) yield
Also, we remark that it holds
by Lemma 4.2 (1). Hence we have from (5.9), (5.10) and (5.11)
which yields
Let \(\rho >0\) be a positive parameter to be chosen later. It follows from the Plancherel theorem that
This and (5.12) imply that
Here, since
we have
Therefore, we see that
Substituting (5.14) into (5.13) gives that
for \(0<\tau <t\). Now, we set
Then, the inequality (5.15) can be written as
It follows from (5.16) that
Hence we have
which yields
Now, we put \(\tau = t/2\), then
and we have by (5.17) that
Here, it follows from Lemma 4.2 (1) that
Hence by (5.18) and (5.19), we obtain
which yields
as \(t\rightarrow \infty \). This gives the proof of (1.16) for \(p=2\).
Finally, for the exponent p satisfying
we take \(\eta \in [0,1]\) such that \(\frac{1}{p}=\frac{\eta }{2}+\frac{1-\eta }{q}\). Interpolating (5.7) and (5.20), we obtain
as \(t\rightarrow \infty \). This completes the proof of Theorem 1.2. \(\square \)
We finally present the proof of Theorem 1.3.
Proof of Theorem 1.3
We have already shown the time decay estimate (1.24) in Theorem 4.5. Hence it remains to prove the asymptotic behavior (1.25).
Let us decompose
where
We first consider the estimate for \(J_2\). Let us treat the case that the exponent p satisfies
Note that (5.22) is the same assumption as (4.11) in Lemma 4.3. Setting
we see that there hold \(2<p<\infty \) and \(1<r \le p^\prime \). Hence we can apply Lemma 2.5, and it follows from the embedding \({\dot{H}}_{q}^{s}({\mathbb {R}}^{3}) \hookrightarrow L^{q_{s}}({\mathbb {R}}^{3})\), (4.20) in Theorem 4.5 and (5.6) that
Since \(u \in L^\theta (0,\infty ;{\dot{H}}^s_q({\mathbb {R}}^3))^3\), we have by (5.23) that
as \(t\rightarrow \infty \).
Next, let us consider the \(L^2\) estimate for \(J_2\). Set
Note that we now assume \((1+|x|)u_0 \in L^1({\mathbb {R}}^3)^3\), and then it follows from Lemmas 2.4 and 4.2 (2) that
and
We apply the same argument as in the proof of Theorem 1.2 by using (5.25) and (5.26) instead of (5.10) and (5.11), respectively. Then, similarly to (5.15), we have
for \(0<\tau <t\) and \(\rho >0\). Here we set
Substituting this \(\rho (t)\) into (5.27) gives
Then, it follows from (5.28) that
which yields
Hence we have
Here, we see by Lemma 4.2 (2) that
Thus, substituting (5.30) into (5.29) gives
Now, let us set \(\tau =t/2\). Then,
Hence we have by (5.31) that
which yields
as \(t\rightarrow \infty \).
For the case that the exponent p satisfying
we take \(\eta \in [0,1]\) such that \(\frac{1}{p}=\frac{\eta }{2}+\frac{1-\eta }{q}\). Interpolating (5.24) and (5.32) gives
as \(t\rightarrow \infty \). Hence we obtain that for p satisfying \(\frac{1}{2}-\frac{1}{2}\left( \frac{1}{q}-\frac{s}{3}\right) \le \frac{1}{p} \le \frac{1}{2}\), there holds
Next, let us consider the estimates for \(J_1\). Let us rewrite
Then, we decompose \(J_1\) as
Let us firstly consider the estimate for \(J_{11}\). Similarly to Lemma 3.1, we see that for \(2 \le p \le \infty \) and \(\alpha \in ({\mathbb {N}}\cup \{0\})^{3}\) there exists a positive constant \(C=C(p,\alpha )\) such that it holds
for all \(\Omega \in {\mathbb {R}}\) and for all \(t>0\). Then, we have by (5.35) and Lemma 4.2 (2) that for \(2 \le p \le \infty \)
which yields
Next, we consider the estimate for \(J_{12}\). Similarly to (3.4), (3.5) and (3.21), we see that
for \(j=1,2,3\). Hence we have
For p satisfying \(\frac{1}{2}-\frac{1}{2}\left( \frac{1}{q}-\frac{s}{3}\right) \le \frac{1}{p} \le \frac{1}{2}\), similarly to (3.17) and (3.18), it follows from the embedding \({\dot{B}}^0_{p,2}({\mathbb {R}}^3) \hookrightarrow L^p({\mathbb {R}}^3)\), Lemmas 2.3, 2.6 and the embedding \(L^{p^\prime }({\mathbb {R}}^3) \hookrightarrow {\dot{B}}^0_{p^\prime ,2}({\mathbb {R}}^3)\) that
Hence we have by (5.38) and (5.39)
Here, let \(R>0\) be a positive parameter to be chosen later, and let t satisfy \(t>2R\). We decompose
Since \(|u(y,s)|^2 \in L^1({\mathbb {R}}^3_y \times (0,R)_s)\) by Lemma 4.2 (2), it follows from the dominated convergence theorem that
For the second term in (5.40), we have by Lemma 4.2 (2) that
Then, for any \(\varepsilon >0\), take a large \(R=R_\varepsilon >0\) so that \((1+R)^{-\frac{3}{2}} \le \varepsilon \). Then, it follows from (5.41) to (5.42) that
which yields
Finally, we consider the estimate for \(J_{13}\) in (5.34). We firstly remark that there hold
and then
Hence we have
Then it follows from the mean value theorem and (5.44) that
By (5.35) and Lemma 4.2 (2), we have
Now, the Duhamel formula (1.20) and the decompositions (5.21), (5.34), (5.45) gives
Therefore, we obtain the desired asymptotic behavior (1.25) by (3.14) in Theorem 3.4, (5.33), (5.36), (5.43) and (5.47). This completes the proof of Theorem 1.3. \(\square \)
References
Ahn, J., Kim, J., Lee, J.: Coriolis effect on temporal decay rates of global solutions to the fractional Navier–Stokes equations. Math. Ann. 383, 259–289 (2022)
Babin, A., Mahalov, A., Nicolaenko, B.: Regularity and integrability of \(3\)D Euler and Navier–Stokes equations for rotating fluids. Asymptot. Anal. 15, 103–150 (1997)
Babin, A., Mahalov, A., Nicolaenko, B.: Global regularity of 3D rotating Navier–Stokes equations for resonant domains. Indiana Univ. Math. J. 48, 1133–1176 (1999)
Babin, A., Mahalov, A., Nicolaenko, B.: \(3\)D Navier–Stokes and Euler equations with initial data characterized by uniformly large vorticity. Indiana Univ. Math. J. 50, 1–35 (2001)
Chemin, J.-Y., Desjardins, B., Gallagher, I., Grenier, E.: Anisotropy and dispersion in rotating fluids, Stud. Math. Appl., 31, North-Holland, Amsterdam, 171–192 (2002)
Chemin, J.-Y., Desjardins, B., Gallagher, I., Grenier, E.: Mathematical geophysics, Oxford Lecture Series in Mathematics and its Applications, 32, The Clarendon Press, Oxford University Press, Oxford, xii+250 (2006)
Fujigaki, Y., Miyakawa, T.: Asymptotic profiles of nonstationary incompressible Navier–Stokes flows in the whole space. SIAM J. Math. Anal. 33, 523–544 (2001)
Giga, Y., Inui, K., Mahalov, A., Matsui, S.: Navier–Stokes equations in a rotating frame in \({\mathbb{R} }^3\) with initial data nondecreasing at infinity. Hokkaido Math. J. 35, 321–364 (2006)
Giga, Yoshikazu, Inui, K., Mahalov, A., Saal, J.: Uniform global solvability of the rotating Navier–Stokes equations for nondecaying initial data. Indiana Univ. Math. J. 57, 2775–2791 (2008)
Hieber, M., Shibata, Y.: The Fujita–Kato approach to the Navier-Stokes equations in the rotational framework. Math. Z. 265, 481–491 (2010)
Ishige, K., Ishiwata, M., Kawakami, T.: The decay of the solutions for the heat equation with a potential. Indiana Univ. Math. J. 58, 2673–2707 (2009)
Ishige, K., Kawakami, T.: Refined asymptotic profiles for a semilinear heat equation. Math. Ann. 353, 161–192 (2012)
Ishige, K., Kawakami, T.: Asymptotic expansions of solutions of the Cauchy problem for nonlinear parabolic equations. J. Anal. Math. 121, 317–351 (2013)
Ishige, K., Kawakami, T., Kobayashi, K.: Asymptotics for a nonlinear integral equation with a generalized heat kernel. J. Evol. Equ. 14, 749–777 (2014)
Iwabuchi, T., Takada, R.: Global solutions for the Navier–Stokes equations in the rotational framework. Math. Ann. 357, 727–741 (2013)
Iwabuchi, T., Takada, R.: Global well-posedness and ill-posedness for the Navier–Stokes equations with the Coriolis force in function spaces of Besov type. J. Funct. Anal. 267, 1321–1337 (2014)
Kato, T.: Strong \(L^{p}\)-solutions of the Navier–Stokes equation in \({ R}^{m}\), with applications to weak solutions. Math. Z. 187(4), 471–480 (1984)
Kajikiya, R., Miyakawa, M.: On \(L^2\) decay of weak solutions of the Navier–Stokes equations in \({ R}^n\). Math. Z. 192, 135–148 (1986)
Kim, J.: Rotational effect on the asymptotic stability of the MHD system. J. Differential Equations 319, 288–311 (2022)
Koh, Y., Lee, S., Takada, R.: Dispersive estimates for the Navier–Stokes equations in the rotational framework. Adv. Differential Equations 19, 857–878 (2014)
Konieczny, P., Yoneda, T.: On dispersive effect of the Coriolis force for the stationary Navier–Stokes equations. J. Differential Equations 250, 3859–3873 (2011)
Kozono, H., Ogawa, T., Taniuchi, Y.: Navier–Stokes equations in the Besov space near \(L^\infty \) and BMO. Kyushu J. Math. 57, 303–324 (2003)
Masuda, K.: Weak solutions of Navier–Stokes equations. Tohoku Math. J. (2) 36, 623–646 (1984)
Miyakawa, T.: Hardy spaces of solenoidal vector fields, with applications to the Navier–Stokes equations. Kyushu J. Math. 50, 1–64 (1996)
Miyakawa, T.: Application of Hardy space techniques to the time-decay problem for incompressible Navier–Stokes flows in \({ R}^n\). Funkcial. Ekvac. 41, 383–434 (1998)
Okabe, T., Tsutsui, Y.: Navier–Stokes flow in the weighted Hardy space with applications to time decay problem. J. Differ. Equ. 261, 1712–1755 (2016)
Schonbek, M.E.: Large time behaviour of solutions to the Navier–Stokes equations. Comm. Partial Differ. Equ. 11, 733–763 (1986)
Tsutsui, Y.: An application of weighted Hardy spaces to the Navier–Stokes equations. J. Funct. Anal. 266, 1395–1420 (2014)
Wiegner, M.: Decay results for weak solutions of the Navier–Stokes equations on \({ R}^n\). J. London Math. Soc. (2) 35, 303–313 (1987)
Acknowledgements
T. Egashira was supported by WISE program (MEXT) at Kyushu University. R. Takada was supported by JSPS KAKENHI Grant Numbers JP19K03584, JP18KK0072, JP20H01814, JP21H00993 and JP22K03388.
Funding
Open access funding provided by The University of Tokyo.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Y. Shibata.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Egashira, T., Takada, R. Large Time Behavior of Solutions to the 3D Rotating Navier–Stokes Equations. J. Math. Fluid Mech. 25, 23 (2023). https://doi.org/10.1007/s00021-023-00767-x
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-023-00767-x
Keywords
- The incompressible Navier–Stokes equations
- The Coriolis force
- Temporal decay estimates
- Large time behaviors