Uniform well-posedness and stability for fractional Navier-Stokes equations with Coriolis force in critical Fourier-Besov-Morrey spaces

Author(s): Azzeddine El Baraka1, Mohamed Toumlilin1
1University Sidi Mohamed Ben Abdellah, FST Fes-Saiss, Laboratory AAFA Department of Mathematics, B.P 2202 Route Immouzer Fes 30000 Morocco.
Copyright © Azzeddine El Baraka, Mohamed Toumlilin. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

In this paper, we study the Cauchy problem of the fractional Navier-Stokes equations with Coriolis force in critical Fourier-Besov-Morrey spaces. By using the Fourier localization argument and the Littlewood-Paley theory, we get a local well-posedness results and global well-posedness results with small initial data belonging to the critical Fourier-Besov-Morrey spaces. Moreover; we prove that the corresponding global solution decays to zero as time goes to infinity, and we give the stability result for global solutions.

Keywords: Navier-Stokes equations, global well-posedness, Coriolis force, Fourier-Besov-Morrey space.

1. Introduction

In this paper, we consider the initial value problem of the fractional Navier-Stokes equations with the Coriolis force in \(\mathbb{R}^{3}\),
\begin{equation} \label{NSEC} \left\{\textstyle \begin{array}{l} u_{t}+\mu(-\Delta)^{\alpha} u+\Omega e_{3}\times u+(u.\nabla)u +\nabla \pi=0\;\;\;\;(t,x)\in \mathbb{R}^{+}\times \mathbb{R}^{3},\\ \nabla.u = 0,\\ u(0,x) = u_{0}(x)\;\;x\in \mathbb{R}^{3}\,,\\ \end{array} \displaystyle \right. \end{equation}
(1)
where \(u=u(t,x) = (u_{1} (t,x), u_{2}(t,x),u_{3}(t,x))\) represents the unknown velocity vector, the scalar function \(\pi=\pi(t,x)\) denotes the unknown scalar pressure and \(u_{0}\) is a divergence free vector field. The constant \(\mu>0\) indicates the viscosity coefficient of the fluid, \(\Omega\in \mathbb{R}\) represents the speed of rotation around the vertical unit vector \(e_{3} = (0, 0,1)\), which is called the Coriolis parameter, and \(\times\) represents the outer product, hence, \(-\Omega e_{3}\times u=(\Omega u_{2},-\Omega u_{1},0).\) We recall that the Coriolis term has an another expression \(-\Omega e_{3}\times u=-\Omega \mathrm{J}u\), where the skew-symmetric matrix \(\mathrm{J}\) defined by \[\mathrm{J}=\left(\begin{array}{rlc} 0&-1&0\\ 1&0&0\\ 0&0&0 \end{array}\right).\] The operator \((-\Delta)^{\alpha}\) is the Fourier multiplier with symbol \(|\xi|^{2\alpha}\). When \(\alpha= 1\), the equation (1) corresponds to the usual Navier-Stokes equation with Coriolis force, which receives some attention for its importance in geophysical flow applications. In particular, large scale atmospheric and oceanic flows are dominated by rotational effects, see ([1, 2]). When \(\alpha = 1\) and \(\Omega\neq0\), Hieber and Shibata [3] obtained the uniform global well-posedness for the Navier-Stokes equations with Coriolis force for small initial data in the Sobolev space \(H^{\frac{1}{2}}(\mathbb{R}^{3})\). Chemin et al. [2, 4] established that for any initial data \(u_{0}\) belonging to \(L^{2}(\mathbb{R}^{2}) + H^{\frac{1}{2}}(\mathbb{R}^{3})\) there exists a unique solution to the Navier-Stokes equations with Coriolis force when \(|\Omega|> \Omega_{0}>0\). Iwabuchi and Takada [5] proved the existence of global solutions for the Navier-Stokes equations with Coriolis force in Sobolev spaces \(\dot{H}^{s}(\mathbb{R}^{3})\) with \(1/2< s< 3/4\) if the speed of rotation \(\Omega\) is large enough compared with the norm of initial data \(\|u_{0}\|_{\dot{H}^{s}}\); they also obtained the global existence and the uniqueness of the mild solution for small initial data in the Fourier-Besov spaces \(\mathrm{F\dot{B}}_{1,2}^{-1}\), and proved the ill-posedness in the space \(\mathrm{F\dot{B}}_{1,q}^{-1}\), \(2< q\leq\infty\) for all \(\Omega\in \mathbb{R}\) (see [6]). For the local existence of solutions of these equations, we quote the results of Giga et al. [7, 8] and Sawada [9]. Recently, W. Wang and G. Wu [10] established the global well-posedness of mild solution to the three-dimensional incompressible generalized Navier-Stokes equations with Coriolis force if the initial data are in the Lei-Lin’s space \(\chi^{1-2\alpha}\), they also gave Gevrey class regularity of the solution. In the case \(\Omega=0\) and \(\alpha=1\), the problem (1) corresponds to the usual Navier-Stokes equations: \begin{equation*} \left\{ \begin{array}{l} u_{t}-\mu\Delta u+(u.\nabla)u+\nabla \pi=0\;\;\;\;(t,x)\in \mathbb{R}^{+}\times \mathbb{R}^{3},\\ \nabla.u = 0,\\ u(0,x) = u_{0}(x)\;\;x\in \mathbb{R}^{3}\,. \end{array} \right. \end{equation*} Throughout this paper, we use \(\mathcal{F\dot{N}}_{p,\lambda,q}^{s}\) to denote the homogenous Fourier Besov-Morrey spaces, \(C\) will denote constants which can be different at different places, \({\mathsf U}\lesssim{\mathsf V}\) means that there exists a constant \(C>0\) such that \({\mathsf U}\leq C{\mathsf V}\), and \(p’\) is the conjugate of \(p\) satisfying \(\frac{1}{p}+\frac{1}{p’}= 1\) for \(1\leq p\leq\infty\). Inspired by the works [6, 10, 11, 12, 13, 14], the aim of this paper is to prove the global existence and the decay property and the stability of the global solutions of the fractional Navier-Stokes equations with Coriolis force (1) in the Fourier-Besov-Morrey space \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}(\mathbb{R}^{3})\).

2. Preliminaries and main results

The results presented in this work are based on homogeneous Littlewood-Paley decomposition in the Fourier variables. We evoke briefly this construction below. We begin by dyadic decomposition of \(\mathcal {\mathbb{R}}^n\). Choose two nonnegative smooth radial functions \(\chi ,\;\varphi\) satisfying \begin{gather*} \operatorname{supp}\varphi \subset \{\xi\in {\mathbb{R}}^n:\frac 34\leq|\xi|\leq \frac 83\},\quad \sum_{j\in \mathbb{Z}}\varphi(2^{-j}\xi)=1,\quad \xi \in \mathcal {\mathbb{R}}^n\backslash\{0\},\\ \operatorname{supp}\chi \subset \{\xi\in {\mathbb{R}}^n:|\xi|\leq \frac 43\},\quad \chi(\xi)+\sum_{j\geq 0}\varphi(2^{-j}\xi)=1,\quad \xi \in \mathcal {\mathbb{R}}^n\,. \end{gather*} We denote \(\varphi_{j}(\xi)=\varphi(2^{-j}\xi)\) and \(\mathcal{P}\) the set of all polynomials. The space of tempered distributions is denoted by \(S’\). The homogeneous dyadic blocks \(\dot{\Delta}_{j}\) and \(\dot{S}_{j}\) are defined for all \(j\in\mathbb{Z}\) by \begin{equation*} \label{e2.1} \begin{gathered} \dot{\Delta}_ju=\varphi(2^{-j}D)u=2^{jn}\int h(2^jy)u(x-y)\,dy, \\ \dot{S}_ju=\sum_{k\leq j-1}\dot{\Delta}_ku=\chi(2^{-j}D)u=2^{jn}\int \tilde{h}(2^jy)u(x-y)\,dy, \end{gathered} \end{equation*} where \(h=\mathcal{F}^{-1}\varphi\) and \(\tilde{h}=\mathcal{F}^{-1}\chi\). First, we give the definition of the Morrey spaces which are a complement to the \(L^{p}\) spaces.

Definition 1.[14, 15] For \(1\leq p< \infty\), \(0\leq\lambda< n\), the Morrey spaces \(\mathrm{M}_{p}^{\lambda}=\mathrm{M}_{p}^{\lambda}(\mathbb{R}^{n})\) is defined as the set of functions \(f\in L_{loc}^{p}(\mathbb{R}^{n})\) such that

\begin{equation}\label{ms} \|f\|_{\mathrm{M}_{p}^{\lambda}}=\sup_{x_{0}\in\mathbb{R}^{n}} \sup_{r>0}r^{-\frac{\lambda}{p}} \|f\|_{L^{p}(B(x_{0},r))}< \infty, \end{equation}
(2)
where \(B(x_{0},r)\) denotes the ball in \(\mathbb{R}^{n}\) with center \(x_{0}\) and radius \(r\). It is easy to observe that the relation \(\mathrm{M}_{p_{1}}^{\lambda}\hookrightarrow \mathrm{M}_{p_{2}}^{\mu}\) provided \(\frac{n-\mu}{p_{2}}\geq\frac{n-\lambda}{p_{1}}\) and \( p_{2}\leq p_{1}\), and \(\mathrm{M}_{p}^{0}=L^{p}\).
If \(1\leq p_{1},p_{2},p_{3}< \infty\) and \( 0\leq\lambda_{1},\;\lambda_{2},\,\lambda_{3}< n\) with \( \frac{1}{p_{3}}=\frac{1}{p_{1}}+\frac{1}{p_{2}}\) and \( \frac{\lambda_{3}}{p_{3}}=\frac{\lambda_{1}}{p_{1}}+\frac{\lambda_{2}}{p_{2}}\), then we have the Hölder inequality \begin{equation*} \|fg\|_{\mathrm{M}_{p_{3}}^{\lambda_{3}}}\leq\|f\|_{\mathrm{M}_{p_{1}}^{\lambda_{1}}} \|g\|_{\mathrm{M}_{p_{2}}^{\lambda_{2}}}\,. \end{equation*} Also, for \(1\leq p< \infty\) and \(0\leq\lambda< n,\)
\begin{equation}\label{ym} \|\varphi*g\|_{\mathrm{M}_{p}^{\lambda}}\leq\|\varphi\|_{L^{1}} \|g\|_{\mathrm{M}_{p}^{\lambda}}, \end{equation}
(3)
for all \(\varphi\in L^{1}\) and \(g\in\mathrm{M}_{p}^{\lambda}\).

Definition 2.(Homogeneous Besov-Morrey spaces ) Let \(s\in\mathbb{R}\), \(1\leq p< +\infty\), \(1\leq q\leq+\infty\), and \(0\leq\lambda< n\), the space \(\mathcal{\dot{N}}_{p,\lambda,q}^{s}(\mathbb{R}^{n})\) is defined by \begin{equation*} \mathcal{\dot{N}}_{p,\lambda,q}^{s}(\mathbb{R}^{n})=\Big\{u\in \mathcal{Z}'(\mathbb{R}^{n});\;\;\;\| u\| _{\mathcal{\dot{N}}_{p,\lambda,q}^{s}(\mathbb{R}^{n})}< \infty\Big\}\,. \end{equation*} Here\[ \|u\|_{\mathcal{\dot{N}}_{p,\lambda,q}^{s}(\mathbb{R}^{n})} = \left\{ \begin{array}{l l}\label{nc} \Big\{\underset{j\in\mathbb{Z}}{\sum}2^{jqs}\|\dot{\Delta}_{j}u\| _{\mathrm{M}_{p}^{\lambda}} ^q \Big\}^{1/q} & \quad for\;\;q< \infty,\\ \underset{j\in\mathbb{Z}}{\sup}2^{js}\|\dot{\Delta}_{j}u\| _{\mathrm{M}_{p}^{\lambda}}& \quad for \;\;q=\infty\,.\\ \end{array}\right.\] The space \(\mathcal{Z}'(\mathbb{R}^{n})\) denotes the topological dual of the space \(\mathcal{Z}(\mathbb{R}^{n})=\big\{f\in\mathcal{S}(\mathbb{R}^{n});\partial^{\alpha }\widehat{f}(0)=0\text{ for every multi-index }\alpha\big\},\) and can be identified to the quotient space \(\mathcal{S'}(\mathbb{R}^{n})/\mathcal{P}\), where \(\mathcal{P}\) represents the set of all polynomials on \(\mathbb{R}^{n}.\) We refer to [16, chap.8] for more details.

Definition 3. (Homogeneous Fourier-Besov-Morrey spaces ) Let \(s\in\mathbb{R}, \;0\leq\lambda< n\), \(1\leq p< +\infty\) and \(1\leq q\leq+\infty\). The space \(\mathcal{F\dot{N}}_{p,\lambda,q}^{s}(\mathbb{R}^{n})\) denotes the set of all \(u\in \mathcal{Z'}(\mathbb{R}^{n}) \) such that

\begin{equation} \|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{s} (\mathbb{R}^{n})}= \Big\{\sum_{j\in\mathbb{Z}}2^{jqs}\| \widehat{\dot{\Delta} _{j}u}\| _{\mathrm{M}_{p}^{\lambda}}^q \Big\}^{1/q} < +\infty, \label{fbts} \end{equation}
(4)
with appropriate modifications made when \(q = \infty\).
Note that the space \(\mathcal{F\dot{N}}_{p,\lambda,q}^{s}(\mathbb{R}^{n})\) equipped with the norm (4) is a Banach space. Since \(\mathrm{M}_{p}^{0}=L^{p}\), we have \(\mathcal{F} \dot{\mathcal{N}}_{p, 0, q}^{s}=F \dot{B}_{p, q}^{s}, \, \mathcal{F} \dot{\mathcal{N}}_{1, 0, q}^{s}=F \dot{B}_{1, q}^{s}=\dot{\mathcal{B}}_{q}^{s}\) and \(\mathcal{F} \dot{\mathcal{N}}_{1, 0, 1}^{-1}=\chi^{-1}\) where \(\dot{\mathcal{B}}_{q}^{s}\) is the Fourier-Herz space and \(\chi^{-1}\) is the Lei-Lin space [17, 18].

Now, we give the definition of the mixed space-time spaces.

Definition 4. Let \(s\in\mathbb{ R},\;1\leq p< \infty,\; 1\leq q,\rho\leq\infty, \;0\leq\lambda< n\), and \(I=[0,T),\;T\in(0,\infty]\). The space-time norm is defined on \(u(t,x)\) by \begin{eqnarray*} \|u(t,x)\|_{\mathcal{L}^{\rho}(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{s})}= \Big\{\sum_{j\in \mathbb{Z}}2^{jqs}\| \widehat{\dot{\Delta}_{j}u}\| _{L^{\rho}(I,\mathrm{M}_{p}^{\lambda})} ^q \Big\}^{1/q}, \end{eqnarray*} and denote by \(\mathcal{L}^{\rho}(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{s})\) the set of distributions in \(S'(\mathbb{R}\times\mathbb{R}^{n})/\mathcal{P}\) with finite \(\|.\|_{\mathcal{L}^{\rho}(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{s})}\) norm.
According to Minkowski’s inequality, we have

\begin{equation} \label{estimate21} \begin{gathered} L^\rho(I;\mathcal{F\dot{N}}_{p,\lambda,q}^{s})\hookrightarrow \mathcal{L}^{\rho}(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{s}),\quad \text{if } \rho\leq q,
\mathcal{L}^{\rho}(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{s}) \hookrightarrow L^\rho(I;\mathcal{F\dot{N}}_{p,\lambda,q}^{s}),\quad \text{if } \rho\geq q\,, \end{gathered} \end{equation}
(5)
where \(\|u(t,x)\|_{L^\rho(I;\mathcal{F\dot{N}}_{p,\lambda,q}^{s})} :=\Big(\int_I\|u(\tau,\cdot)\|^\rho_{\mathcal{F\dot{N}}_{p,\lambda,q}^{s}}d\tau\Big)^{1/\rho}\,.\)

Our main result is the following theorem.

Theorem 5. Let \(\Omega\in\mathbb{ R},\;0\leq\lambda< 3\) and \(1\leq q\leq 2\).
For \(\max\{1,\frac{3-\lambda}{2}\}\leq p< \infty\) and \(\frac{2}{3}< \alpha\leq\frac{2}{3}+\frac{1}{p'}+\frac{\lambda}{3p}\), there exists a positive time \(T\) such that for any \(u_{0}\in \mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\) and \(\nabla.u_{0}=0\), the equation (1) admits a unique local solution \(u\) in \(\mathcal{L}^{4}\Big([0,T),\mathcal{F\dot{N}}_{p, \lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big).\)
Furthermore, for all \(1\leq p< \infty\) and \(\frac{1}{2}< \alpha\leq1+\frac{3}{2p'}+\frac{\lambda}{2p}\) there exists a constant \(C_{0}(p,q)\) such that for any \(u_{0}\in \mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\) satisfying \(\nabla.u_{0}=0\) and \( \|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}}< C_{0}\mu\), the equation (1) admits a unique global solution \begin{eqnarray*} u\in \mathcal{C}\Big([0,\infty);\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big)\cap \mathcal{L}^{1}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}\Big)\,, \end{eqnarray*} and it satisfies \begin{equation*} \|u\|_{\mathcal{L}^{\infty}\Big([0,\infty);\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} +\mu\|u\|_{\mathcal{L}^{1}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} \leq2C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}}\,, \end{equation*} where \(C\) is a positive constant.

Now, we give some remarks about this result.

Remark 1. When \(\alpha=1\), there are a different results which investigate the existence of a unique global solution to the Navier-stokes equations with Coriolis forces, especially in Fourier-Herz spaces \(\mathcal{\dot{B}}_{2}^{-1}\) [6, 19] , in Lei-lin spaces \(\chi^{-1}\) [20] and in Fourier-Besov spaces \(\mathrm{F\dot{B}}_{p,\infty}^{2-\frac{3}{p}}\) [13]. Theorem 5 is an extension and an improvement of these works to the Fourier-Besov-Morrey space \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1 -2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}(\mathbb{R}^{3})\).
We note that the fractional Navier-Stokes-Coriolis system is well-posed uniformly in the sense that the smallness condition is independent of \(\Omega\).

Theorem 6. Let \(\Omega\in\mathbb{R},\,1\leq p,q\leq2,\,0\leq\lambda\leq3-\frac{3}{2}p\) and \(\frac{5}{6}< \alpha\leq1\). Assume that \(u\in \mathcal{C}\Big([0,\infty);\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big)\) is a global solution of the system (1) given by Theorem 5, then

\begin{eqnarray}\label{067} \lim_{t \to \infty}\sup\|u(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}=0\,. \end{eqnarray}
(6)

Remark Theorem 6 specifies the asymptotic behavior of a given global solution for (1) in the space \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\). The long time decay property is also valid in the case \(\Omega=0\) where the equation (1) is reduced to the fractional Navier-Stokes equation. At present, we are unable to establish that (6) still holds true for \(\frac{1}{2}< \alpha\leq \frac{5}{6}\). The principal reason is that the proof is largely based on the lemma 14.

Theorem 7. Let \(T^*\) denote the maximal time of existence of a solution \(u\) in
\(\mathcal{L}^{\infty}\Big([0,T^*);\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\cap \mathcal{L}^{1}\Big([0,T^*),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\,.\) If \(T^*< \infty\), then \begin{align*} \|u\|_{\mathcal{L}^{1}\Big([0,T^*),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}\Big)}=\infty. \end{align*} Besides; if \(u\in C\Big(\mathbb{R}^{+},\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big) \) is a global solution of (1), and for all \(v_{0}\in\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\) satisfying

\begin{align}\label{condc3} \|v_{0}-u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} < C_{0}\frac{\mu}{8}\exp\Big\{-\int_{0}^{\infty}\frac{1}{C_{0}}\Big(|\Omega|+\|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}}\Big)\Big\} \end{align}
(1)
for some constant \(C_{0}\) sufficiently small, then the fractional Navier-Stokes-Coriolis system starting by \(v_{0}\) has a global solution \(v\) fulfilling the inequality \begin{equation*} \begin{aligned} & \|v(t)-u(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} +\frac{\mu}{2} \|v(s)-u(s)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\\ & < C\|v_{0}-u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}\exp\Big\{\int_{0}^{\infty}C\Big(|\Omega|+\|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}}\Big)\Big\} \end{aligned} \end{equation*} where \(C\) is a positive constant.

Remark 3. In the case \(\Omega=0\) and \(\alpha=1\), the result of stability of global solutions for the usual Navier-Stokes equations is developed by several researchers in different function spaces such as \(\mathrm{H^{1}},\,\mathrm{L^{3}},\,\mathrm{\dot{B}}_{p,q}^{\frac{3}{p}-1}\) and \(\chi^{-1}\) [11, 21, 22, 23]. To show Theorem 7, we adapt the method of the above works to our problem (1) in the spaces \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\). Theorem 7 extends the works of [11, 21, 23] to a more general frame.

We finish this section with a Bernstein type lemma in Fourier variables in Morrey spaces.

Lemma 8.[24] Let \(1\leq q\leq p< \infty,\, 0\leq\lambda_{1},\lambda_{2}0\) independent of \(f\) and \(j\) such that
\begin{eqnarray}\label{b} \|(i\xi)^{\gamma}\widehat{f}\|_{\mathrm{M}_{q}^{\lambda_{2}}} \leq C2^{j|\gamma|+j(\frac{n-\lambda_{2}}{q}-\frac{n-\lambda_{1}}{p})}\|\widehat{f}\|_{\mathrm{M}_{p}^{\lambda_{1}}}. \end{eqnarray}
(8)

3. Well-posedness

In order to solve (1), we consider the following integral equation: \begin{align*}u(t)=T_{\Omega,\alpha}(t)u_{0}- \int_{0}^{t}T_{\Omega,\alpha}(t-\tau)\mathbb{P}\nabla\cdot(u\otimes u)d\tau, \end{align*} where \(\mathbb{P}=(\delta_{ij}+R_{i}R_{j})_{1\leq i,j\leq 3}\) denotes the Helmholtz projection onto the divergence-free vector fields, which is a pseudo differential operator of order \(0\), and \(T_{\Omega,\alpha}(\cdot)\) denotes the Stokes-Coriolis semigroup corresponding to the following linear Stokes problem with Coriolis force \begin{equation*} \left\{\textstyle \begin{array}{l} u_{t}+\mu(-\Delta)^{\alpha} u+\Omega e_{3}\times u +\nabla \pi=0\;\;\;\;(t,x)\in \mathbb{R}^{+}\times \mathbb{R}^{3},\\ \nabla.u = 0,\\ u(0,x) = u_{0}(x)\;\;x\in \mathbb{R}^{3}\,.\\ \end{array} \displaystyle \right. \end{equation*} Besides, \(T_{\Omega,1}(\cdot)\) is given explicitly by \begin{align*}T_{\Omega,1}(t)f= \mathcal{F}^{-1}[\cos(\Omega\frac{\xi_{3}}{|\xi|}t)I +\sin(\Omega\frac{\xi_{3}}{|\xi|}t)R(\xi)]*(e^{\mu\Delta t}f) \end{align*} for \(t\geq 0\) and divergence-free vector fields \(f\). Here, \(I\) is the identity matrix in \(\mathbb{R}^{3}\) and \(R(\xi)\) is the skew-symmetric matrix symbol related to the Riesz transform, which is defined by \[R(\xi):= \frac{1}{|\xi|}\left(\begin{array}{lcr} 0&\xi_{3}&-\xi_{2}\\ -\xi_{3}&0&\xi_{1}\\ \xi_{2}&-\xi_{1}&0 \end{array}\right).\] We refer to Babin-Mahalov-Nikolaenko [25, 26, 27], Giga-Inui-Mahalov-Saal [8] and Hieber- Shibata [3] for the derivation of the explicit form of \(T_{\Omega,1}(\cdot)\). For \(\alpha\in\big(\frac{2}{3},\frac{2}{3}+\frac{1}{p’}+\frac{\lambda}{3p’}\big]\), the same argument given in [3, 10] gives \begin{align*}T_{\Omega,\alpha}(t)f= \mathcal{F}^{-1}[\cos(\Omega\frac{\xi_{3}}{|\xi|}t)I +\sin(\Omega\frac{\xi_{3}}{|\xi|}t)R(\xi)]*(e^{-\mu(-\Delta)^{\alpha} t}f). \end{align*} The first estimate corresponds to the Stokes-Coriolis semigroup \(T_{\Omega,\alpha}\).

Lemma 9. Let \(0< T\leq \infty,\,s\in\mathbb{R},\,0\leq\lambda< 3, 1\leq p0\) such that \(\|\int_{0}^{t}T_{\Omega,\alpha}(t-\tau)f(\tau)d\tau\|_{\mathcal{L}^{\rho}([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{s })}\leq C\|f\|_{\mathcal{L}^{r}([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{s-2\alpha-\frac{2\alpha}{\rho}+\frac{2\alpha}{r} })}.\)

Proof. Set \(1+\frac{1}{\rho}=\frac{1}{\tilde{\rho}}+\frac{1}{r}.\) The definition of the space-time norm of \(\mathcal{L}^{\rho}([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{s})\) and Young’s inequality give \begin{eqnarray*} \Big\|\int_{0}^{t}T_{\Omega,\alpha}(t-\tau)f(\tau)d\tau\Big\|_{\mathcal{L}^{\rho}([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{s })}&=&\Big\{\sum_{j\in\mathbb{Z}}2^{jqs}\Big(\int_{0}^{T}\|\varphi_{j}\int_{0}^{t}\mathcal{F}(T_{\Omega,\alpha}(t-\tau)f)(\tau)d\tau\| _{\mathrm{M}_{p}^{\lambda}}^\rho dt\Big)^{\frac{q}{\rho}}\Big\}^{1/q}\\ &\leq& \Big\{\sum_{j\in\mathbb{Z}}2^{jqs}\Big(\int_{0}^{T}\|\varphi_{j} \int_{0}^{t}e^{-\mu|\xi|^{2\alpha}(t-\tau)}\hat{f}(\tau)d\tau\| _{\mathrm{M}_{p}^{\lambda}}^\rho dt\Big)^{\frac{q}{\rho}} \Big\}^{1/q}\\ &\leq& \Big\{\sum_{j\in\mathbb{Z}}2^{jqs}\Big(\int_{0}^{T} \|\varphi_{j}\int_{0}^{t}e^{-\mu2^{2\alpha j}(t-\tau)}\hat{f}(\tau)d\tau\| _{\mathrm{M}_{p}^{\lambda}}^\rho dt\Big)^{\frac{q}{\rho}} \Big\}^{1/q}\\ &\leq& \Big\{\sum_{j\in\mathbb{Z}}2^{jqs}\Big(\int_{0}^{T}e^{-t\mu\tilde{\rho}2^{2\alpha j}}dt\Big)^{\frac{q}{\tilde{\rho}}} \|\varphi_{j}\hat{f}(\tau)\| _{L^{r}([0,T),\mathrm{M}_{p}^{\lambda})}^{q} \Big\}^{1/q}\\ &\leq& C \Big\{\sum_{j\in\mathbb{Z}}2^{jq(s-2\alpha-\frac{2\alpha}{\rho}+\frac{2\alpha}{r})}\|\varphi_{j}\hat{f}(\tau)\| _{L^{r}([0,T),\mathrm{M}_{p}^{\lambda})}^{q} \Big\}^{1/q}\\ &\leq&C\|f\|_{\mathcal{L}^{r}([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{s-2\alpha-\frac{2\alpha}{\rho}+\frac{2\alpha}{r}}}. \end{eqnarray*}

Lemma 10. Let \(I=[0,T),\, 0< T\leq \infty,\,0\leq\lambda< 3,\,1\leq p0\) such that
\begin{eqnarray} \|T_{\Omega,\alpha}(t)u_{0}\|_{\mathcal{L}^{\infty}\Big([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big) }\leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} }, \end{eqnarray}
(9)
\begin{eqnarray} \|T_{\Omega,\alpha}(t)u_{0}\|_{\mathcal{L}^{1}\Big([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big) }\leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} }, \end{eqnarray}
(10)
\begin{eqnarray} \|T_{\Omega,\alpha}(t)u_{0}\|_{\mathcal{L}^{4}\Big([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big) }\leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} }\,.\label{i12} \end{eqnarray}
(11)

Proof. To prove the first inequality (9), it suffices to write that $$ \|T_{\Omega,\alpha}(t)u_{0}\|_{\mathcal{L}^{\infty}\Big([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} \leq \Big(\sum_{j\in\mathbb{Z}}2^{j(1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p})q}\|\varphi_{j}\hat{u}_{0}\|_{\mathrm{M}_{p}^{\lambda}}^{q}\Big)^{\frac{1}{q}} \leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. $$ In order to prove the second estimate (10), we write $$ \|T_{\Omega,\alpha}(t)u_{0}\|_{\mathcal{L}^{1}\Big([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big) } \leq \Big(\sum_{j\in\mathbb{Z}}2^{j(1+\frac{3}{p’}+\frac{\lambda}{p})q}\Big(\int_{0}^{T}e^{-t\mu2^{2\alpha j}} \|\varphi_{j}\hat{u}_{0}\|_{\mathrm{M}_{p}^{\lambda}}dt\Big)^{q}\Big)^{\frac{1}{q}} \leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. $$ To estimate the inequality (11), it suffices to write that \begin{eqnarray*} \|T_{\Omega,\alpha}(t)u_{0}\|_{\mathcal{L}^{4}\Big([0,T),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big) }&\leq& \Big(\sum_{j\in\mathbb{Z}}2^{j(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})q}\Big(\int_{0}^{T}e^{-t\mu2^{2\alpha j+2}} \|\varphi_{j}\hat{u}_{0}\|_{\mathrm{M}_{p}^{\lambda}}^{4}dt\Big)^{\frac{q}{4}}\Big)^{\frac{1}{q}}\\ &\leq&C \Big(\sum_{j\in\mathbb{Z}}2^{j(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})q} 2^{-\frac{1}{2}\alpha jq}\|\varphi_{j}\hat{u}_{0}\|_{\mathrm{M}_{p}^{\lambda}}^{q}\Big)^{\frac{1}{q}} \leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. \end{eqnarray*}

Proposition 11. Let \(0\leq\lambda< 3,\,\max\{1,\frac{3-\lambda}{2}\}\leq p< \infty,\,1\leq q \leq 2,\,I=[0,T),\,0< T\leq+\infty\) and \(\frac{2}{3}0\) depending on \(p,q\) such that

\begin{equation}\label{be2} \| uv\|_{ \mathcal{L}^2(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p}} )}\leq C \|u\|_{Y}\|v\|_{Y}\,. \end{equation}
(12)

Proof. We need to introduce some notations about the standard localization operators. We set \begin{align*} u_{j}=\dot{\Delta}_{j}u,\;\;\;\dot{S}_{j}u=\sum_{k\leq j-1}\dot{\Delta}_{k}u,\;\;\; \widetilde{\dot{\Delta}}_{j}u=\sum_{|k-j|\leq 1}\dot{\Delta}_{k}u,\;\;\; j\in \mathbb{Z}\,. \end{align*} Applying Bony paraproduct decomposition and quasi-orthogonality property for Littlewood-Paley decomposition, for fixed \(j\), we obtain \begin{align*} \dot{\Delta}_{j}(uv) &=\sum_{|k-j|\leq 4}\dot{\Delta}_{j}(\dot{S}_{k-1}u \dot{\Delta}_{k}v)+ \sum_{|k-j|\leq 4}\dot{\Delta}_{j}(\dot{S}_{k-1}v \dot{\Delta}_{k}u)+\sum_{k\geq j-3}\dot{\Delta}_{j}(\dot{\Delta}_{k}u \widetilde{\dot{\Delta}}_{k}v)\\ &=I_{j}+II_{j}+III_{j}\,. \end{align*} The triangular inequality gives

\begin{eqnarray}\label{eg2} \|uv\|_{ \mathcal{L}^2(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{ 2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p}})} &\lesssim& \Big\{ \sum_{j\in\mathbb{Z}}2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})q} \|\widehat{I_{j}}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda} ) }^q \Big\}^{1/q} + \Big\{ \sum_{j\in\mathbb{Z}}2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})q} \|\widehat{II _{j}}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda} ) }^q \Big\}^{1/q}\nonumber\\ &&+ \Big\{ \sum_{j\in\mathbb{Z}}2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})q} \|\widehat{III_{j}}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda} ) }^q \Big\}^{1/q}\,. \end{eqnarray}
(13)
We evaluate the above three terms individually. First, using Young’s inequality (3) and Lemma 8 with \(|\gamma|=0\), we get \begin{eqnarray} 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\|\widehat{I_{j}}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda})} &\leq & 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{|k-j|\leq 4}\|\widehat{\dot{S}_{k-1}u\dot{\Delta}_{k}v}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda})}\\ &\leq& 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \sum_{|k-j|\leq 4}\|\widehat{v}_{k}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda} )}\sum_{l\leq k-2}\| \widehat{u}_{l}\|_{L^{4}(I ,L^{1})}\\ &\leq& 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{|k-j|\leq 4}\|\widehat{v}_{k}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda} )}\sum_{l\leq k-2}2^{l(\frac{3}{p’}+\frac{\lambda}{p})}\| \widehat{u}_{l}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda})}\\ &\leq& 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{|k-j|\leq 4}\|\widehat{v}_{k}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda} )}\sum_{l\leq k-2}2^{l(\frac{3}{p’}+\frac{\lambda}{p})}2^{(1-\frac{3}{2}\alpha)l}2^{(\frac{3}{2}\alpha-1)l}\| \widehat{u}_{l}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda})}\\ &\leq& 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{|k-j|\leq 4}\|\widehat{v}_{k}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda} )}\Big(\sum_{l\leq k-2}2^{(\frac{3}{2}\alpha-1)lq’}\Big)^{\frac{1}{q’}} \|u\|_{ \mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\\ &\leq& 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{|k-j|\leq 4}2^{(\frac{3}{2}\alpha-1)k}\|\widehat{v}_{k}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda} )} \|u\|_{ \mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}. \end{eqnarray} Applying \(l^{q}-\)norm on both sides in the above estimate we obtain
\begin{eqnarray}\label{I2} \Big\{ \sum_{j\in\mathbb{Z}}2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})q}\| \widehat{I_{j}}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda} )}^q\Big\}^{1/q}&\lesssim&\Big\{ \sum_{j\in\mathbb{Z}}\Big(\sum_{|k-j|\leq 4}2^{k(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})}2^{(j-k)(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \|\widehat{v}_{k}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda} )}\Big)^{q}\Big\}^{1/q}\nonumber\\ &\times&\|u\|_{ \mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\lesssim \|u\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} \|v\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}.\nonumber\\ && \end{eqnarray}
(14)
Likewise, we prove that
\begin{eqnarray}\label{II2} \Big\{ \sum_{j\in\mathbb{Z}}2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})q}\| \widehat{II_{j}}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda} )}^q\Big\}^{1/q} &\lesssim&\Big\{ \sum_{j\in\mathbb{Z}}\Big(\sum_{|k-j|\leq 4}2^{k(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})}2^{(j-k)(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\|\widehat{u}_{k}\|_{L^{4}(I ,\mathrm{M}_{p}^{\lambda} )}\Big)^{q}\Big\}^{1/q}\nonumber\\ &\times&\|v\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\lesssim \|v\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} \|u\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}.\nonumber\\ && \end{eqnarray}
(15)
To estimate \(III_{j}\), the so-called “remainder term”, we use a different approach. Let \begin{eqnarray*} III_{jk}:=\dot{\Delta}_{j}\Big(\sum_{|i-k|\leq 1}\dot{\Delta}_{i}v\dot{\Delta}_{k}u\Big)=\sum_{i=-1}^{1}\dot{\Delta}_{j}(\dot{\Delta}_{k}u\dot{\Delta}_{i+k}v). \end{eqnarray*} First, we use Young’s inequality (3) and Lemma 8 with \(|\gamma|=0\) to obtain \begin{eqnarray*} \label{SIII2} 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\|\widehat{III_{j}}\|_{L^{2}(I ,\mathrm{M}_{p}^{\lambda})}&\leq& 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{k\geq j-3}\|\widehat{III_{jk}}\|_{L^{2}(I,\mathrm{M}_{p}^{\lambda})}\nonumber\\ & \leq & 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{k\geq j-3}\sum_{|k-i|\leq 1} \big\|\widehat{\dot{\Delta}_{k}u\dot{\Delta}_{i}v}\big\|_{L^{2}(I,\mathrm{M}_{p}^{\lambda})}\nonumber\\ & \leq & 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{k\geq j-3}\sum_{|k-i|\leq 1} \big\|\widehat{u}_{k}\big\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\big\|\widehat{v}_{i}\big\|_{L^{4}(I,L^{1})}\nonumber\\ & \leq & 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{k\geq j-3}\sum_{|k-i|\leq 1} 2^{i(\frac{3}{p’}+\frac{\lambda}{p})}\big\|\widehat{u}_{k}\big\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})} \big\|\widehat{v}_{i}\big\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\nonumber\\ & \leq & C 2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\sum_{k\geq j-3}\Big(\sum_{|k-i|\leq 1}2^{iq(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \big\|\widehat{v}_{i}\big\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}^{q}\Big)^{\frac{1}{q}}\\ && \times2^{(\frac{3}{2}\alpha-1)k}\big\|\widehat{u}_{k}\big\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\nonumber\\ & \leq & C \|v\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} \sum_{k\geq j-3}2^{(j-k)(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})}2^{k(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \big\|\widehat{u}_{k}\big\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\,. \end{eqnarray*} When \(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p}>0\), we take the \(l^{q}-\)norm on both sides in the above estimate, and then we apply Young’s inequality for series to get
\begin{equation}\label{III2} \Big(\sum_{j\in\mathbb{Z}}2^{j(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p})q} \|\widehat{III_{j}}\|_{L^{2}(I,\mathrm{M}_{p}^{\lambda})}^{q}\Big)^{\frac{1}{q}} \leq C \|v\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} \|u\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\,. \end{equation}
(16)
For the case \(2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p}=0\), we write \begin{eqnarray*}\label{IIII2} \Big(\sum_{j\in\mathbb{Z}} \|\widehat{III_{j}}\|_{L^{2}(I,\mathrm{M}_{p}^{\lambda})}^{q}\Big)^{\frac{1}{q}}&\leq&\sum_{j\in\mathbb{Z}}\Big(\sum_{k\geq j-3}\Big(\int_{I} \|\varphi_{j}(\xi)\times\sum_{i=-1}^{1} \hat{u}_{k}*\hat{v}_{k+i}\|_{\mathrm{M}_{p}^{\lambda}}^{2}\Big)^{\frac{1}{2}}\Big)\nonumber\\ &\leq&\sup_{\xi}\Big(\sum_{j\in\mathbb{Z}}\varphi_{j}(\xi)\Big)\sum_{k\in\mathbb{Z}}\Big(\int_{I} \|\sum_{i=-1}^{1} \hat{u}_{k}*\hat{v}_{k+i}\|_{\mathrm{M}_{p}^{\lambda}}^{2}\Big)^{\frac{1}{2}}\Big)\nonumber\\ &\leq&\sum_{i=-1}^{1}\sum_{k\in\mathbb{Z}}\Big( \| \hat{u}_{k}\|_{L^{4}(I,L^{1})}\|\hat{v}_{k+i}\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\Big)\nonumber\\ &\leq&\sum_{i=-1}^{1}\sum_{k\in\mathbb{Z}}\Big( 2^{k(\frac{3}{p’}+\frac{\lambda}{p})} \|\hat{u}_{k}\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})} \|\hat{v}_{k+i}\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\Big)\nonumber \end{eqnarray*}
\begin{eqnarray} \Big(\sum_{j\in\mathbb{Z}} \|\widehat{III_{j}}\|_{L^{2}(I,\mathrm{M}_{p}^{\lambda})}^{q}\Big)^{\frac{1}{q}}&\leq&\sum_{i=-1}^{1}2^{-i(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \sum_{k\in\mathbb{Z}}2^{k(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \|\hat{u}_{k}\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\nonumber\\ &&\times2^{(k+i)(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})}\|\hat{v}_{k+i}\|_{L^{4}(I,\mathrm{M}_{p}^{\lambda})}\\ &\leq&C \|u\|_{\mathcal{L}^4(I,\mathcal{F\dot{N}}_{p,\lambda,q’}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}})} \end{eqnarray}
(17)
\begin{eqnarray} \|v\|_{\mathcal{L}^4\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\nonumber\\ &\leq&C \|u\|_{\mathcal{L}^4(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{\frac{3}{2}\alpha-1})} \|v\|_{\mathcal{L}^4(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{\frac{3}{2}\alpha-1})}\,, \end{eqnarray}
(18)
where we have used the fact \(1\leq q\leq2\) implies \(\mathcal{F\dot{N}}_{p,\lambda,q}^{\frac{3}{2}\alpha-1}\hookrightarrow \mathcal{F\dot{N}}_{p,\lambda,q’}^{\frac{3}{2}\alpha-1}\) with \(q’\) is the conjugate of \(q\). Estimates (13), (14), (15), (16) and (17) yield (12).

Proposition 12. Let \(1\leq p< \infty,\,1\leq \rho\leq \infty,\,1\leq q \leq 2,\,0\leq\lambda< 3\) and \(\frac{1}{2}0\) depending on \(\alpha,p,q\) such that

\begin{equation}\label{es} \| \nabla.(u\otimes v)\|_{\mathcal{L}^{\rho}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-4\alpha+\frac{3}{p’}+\frac{2\alpha}{\rho}+\frac{\lambda}{p}} \Big)}\leq C \mu^{-1}\|u\|_{X}\|v\|_{X}\,. \end{equation}
(19)

Proof. This proposition is given in [28] for \(\frac{1}{2}< \alpha< \frac{2+\frac{3}{p'}+\frac{\lambda}{p}}{4-\frac{2}{\rho}}\). For the case \(\alpha=\frac{2+\frac{3}{p'}+\frac{\lambda}{p}}{4-\frac{2}{\rho}}\) the argument is similar to the method described for (17).

Now, we give an abstract lemma on the existence of fixed point solutions.

Lemma 13. Let \(X\) be a Banach space with norm \(\|.\|_{X}\) and \(B:X\times X\longmapsto X\) be a bounded bilinear operator satisfying \begin{equation*} \|B(u,v)\|_{X}\leq \eta \|u\|_{X}\|v\|_{X} \end{equation*} for all \(u,v\in X \) and a constant \(\eta >0\). Then, if \(0< \varepsilon< \frac{1}{4\eta}\) and if \(y\in X\) such that \(\|y\|_{X}\leq\varepsilon\), the equation \(x:=y+B(x,x)\) has a solution \(\overline{x}\) in \(X\) such that \(\|\overline{x}\|_{X}\leq 2 \varepsilon\). This solution is the only one in the ball \(\overline{B}(0,2\varepsilon)\). Moreover, the solution depends continuously on \(y\) in the sense: if \(\|y'\|_{X}< \varepsilon ,\;x'=y'+B(x',x')\), and \(\|x'\|_{X}\leq2\varepsilon\), then \begin{equation*} \|\overline{x}-x'\|_{X}\leq \frac{1}{1-4\varepsilon \eta}\|y-y'\|_{X}\,. \end{equation*}

Proof. [Proof of Theorem 5] We will use Lemma 13 to sketch the proof of the existence results. The functions here are vector fields, whose norm is the sum of the norms of the three components.\\ For the local existence, we set \begin{equation*} Y=\mathcal{L}^{4}\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big),\,I=[0,T)\,. \end{equation*} Here, as usual, we begin with the mild integral equation

\begin{equation}\label{iq2} u(t,x)=T_{\Omega,\alpha}(t)u_{0}-\int_{0}^{t}T_{\Omega,\alpha}(t-\tau)\mathbb{P}\nabla.(u\otimes u)(\tau,x)d\tau\,, \end{equation}
(20)
and we consider the bilinear operator \(B\) given by \begin{eqnarray*} B(u,v)=\int_{0}^{t}T_{\Omega,\alpha}(t-\tau)\mathbb{P}\nabla.(u\otimes v)(\tau)d\tau\,. \end{eqnarray*} According to Lemma 9 and Proposition 11 we obtain \begin{eqnarray*} \|B(u,v)\|_{\mathcal{L}^{4}\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}&=& \Big\|\int_{0}^{t}T_{\Omega,\alpha}(t-\tau)\mathbb{P}\nabla.(u\otimes v)(\tau)d\tau\Big\|_{\mathcal{L}^{4}\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\\ &\leq& C\|\nabla.(u\otimes v)\|_{\mathcal{L}^{2}\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{1-3\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\leq C\|uv\|_{\mathcal{L}^{2}\Big(I,\mathcal{F\dot{N}}_{p,\lambda,q}^{2-3\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\leq C\|u\|_{Y}\|v\|_{Y}\,. \end{eqnarray*} Lemma 10 yields
\begin{eqnarray}\label{3.10} \|T_{\Omega,\alpha}(t)u_{0}\|_{Y}\leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. \end{eqnarray}
(21)
Now, we shall decompose the initial data \(u_{0}\) into two terms \begin{align*}u_{0}=\mathcal{F}^{-1}(\chi_{B(0,\delta)}\hat{u_{0}})+\mathcal{F}^{-1}(\chi_{B^{C}(0,\delta)}\hat{u_{0}}) :=u_{0,1}+u_{0,2}, \end{align*} where \(\delta=\delta(u_{0})>0\) is a real number. Since \(u_{0,2}\) converge to \(0\) in \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\) as \(\delta\rightarrow+\infty\), by (21) there exists \(\delta\) large enough such that \begin{eqnarray*} \big\|T_{\Omega,\alpha}(t)u_{0,2}\big\|_{Y}\leq\frac{1}{8C}\,. \end{eqnarray*} For the first term \(u_{0,1}\), \begin{align*} \Big\|T_{\Omega,\alpha}(t)u_{0,1}\Big\|_{Y} &\leq\Big\|2^{j(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \big\|\varphi_{j}e^{-\mu t|\xi|^{2\alpha}}\chi_{B(0,\delta)}\hat{u_{0}}\big\|_{{L}^{4} (I,\mathrm{M}_{p}^{\lambda})}\Big\|_{\ell^{q}}\\ &\leq\Big\|2^{j(1-\frac{3}{2}\alpha+\frac{3}{p’}+\frac{\lambda}{p})} \big\|\sup_{\xi\in B(0,\delta)}e^{-\mu t|\xi|^{2\alpha}}|\xi|^{\frac{\alpha}{2}}\big\|_{L^{4}([0,T))} \|\varphi_{j}|\xi|^{-\frac{\alpha}{2}}\hat{u_{0}}\|_{\mathrm{M}_{p}^{\lambda}}\Big\|_{\ell^{q}}\\ &\leq C \delta^{\frac{\alpha}{2}}T^{\frac{1}{4}} \Big\|u_{0}\Big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. \end{align*} Thus for arbitrary \(u_{0}\) in \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\), (20) has a unique local solution in \(Y\) on \([0,T)\) where \begin{align*}T\leq \Big(\frac{1}{8C^{2}\delta^{\frac{\alpha}{2}}\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha +\frac{3}{p’}+\frac{\lambda}{p}}}}\Big)^{4}\,. \end{align*} For the global existence, we will again use Lemma 13 to ensure the existence of global mild solution with small initial data in the Banach space \(X\) given by \begin{equation*} X=\mathcal{L}^{\infty}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\cap \mathcal{L}^{1}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\,. \end{equation*} According to Lemma 9 and Proposition 12, we obtain \begin{eqnarray*} \|B(u,v)\|_{\mathcal{L}^{1}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} &=& \Big\|\int_{0}^{t}T_{\Omega,\alpha}(t-\tau)\mathbb{P}\nabla.(u\otimes v)(\tau)d\tau\Big\|_{\mathcal{L}^{1}([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1 +\frac{3}{p’}+\frac{\lambda}{p}})}\\ &\leq& C\|\nabla.(u\otimes v)\|_{\mathcal{L}^{1}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\leq C\mu^{-1}\|u\|_{X}\|v\|_{X}\,. \end{eqnarray*} Similarly, \begin{eqnarray*} \|B(u,v)\|_{\mathcal{L}^{\infty}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} &=& \Big\|\int_{0}^{t}T_{\Omega,\alpha}(t-\tau)\mathbb{P}\nabla.(u\otimes v)(\tau)d\tau\Big\|_{\mathcal{L}^{\infty}([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{ 1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}})}\\ &\leq& C\|\nabla.(u\otimes v)\|_{\mathcal{L}^{1}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\\ &\leq& C\mu^{-1}\|u\|_{X}\|v\|_{X}\,. \end{eqnarray*} Finally, \begin{eqnarray*} \|B(u,v)\|_{X}\leq C\mu^{-1}\|u\|_{X}\|v\|_{X}\,. \end{eqnarray*} Lemma 10 yields \begin{eqnarray*} \|T_{\Omega,\alpha}(t)u_{0}\|_{X}\leq C\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. \end{eqnarray*} If \(\|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}< C_{0}\mu\) with \(C_{0}=\frac{1}{4C^{2}}\), then (20) has a unique global solution \(u\in X\) satisfying \begin{eqnarray*} \|u\|_{X} \leq 2 C \|u_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}}\,. \end{eqnarray*} This completes the proof of Theorem 5.

4. The decay property

In this section, we first present the following interpolation inequalities which have their specific utility in the sequel.

Lemma 14.[18] Let \(\alpha\frac{5}{2}-2\alpha,\,1\leq p,q\leq2\) and \(0\leq\lambda\leq3-\frac{3}{2}p\). Then we have \begin{align*} \|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’} +\frac{\lambda}{p}}} \lesssim\|u\|_{L^2}^{1-\frac{5/2-2\alpha}{s}} \|u\|_{\dot{H}^{s}}^{\frac{5/2-2\alpha}{s}}\,. \end{align*}

Lemma 15[18] Let \(1\leq p,q\leq2\) and \(\frac{1}{2}< \alpha\leq1\). Then we have
\begin{eqnarray}\label{epg} \|uv\|_{\dot{H}^{1-\alpha}}\leq C\|u\|_{L^2}\|v\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\alpha+\frac{3}{p’} +\frac{\lambda}{p}}} +C\|u\|_{\dot{H}^{\alpha}}\|v\|_{\mathcal{F\dot{N}}_{p,\lambda,q} ^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. \end{eqnarray}
(21)

Proof. [Proof of Theorem 6] In this part, we will focus on the asymptotic behavior of global solutions when \(t \rightarrow \infty\), which was developed in different papers such as [11, 29, 30] and [31, chap.11]. For \(k\in \mathbb{N}\), define \begin{eqnarray*} \mathcal{A}_{k}=\{\xi\in\mathbb{R}^{3};|\xi|\leq k\; and\; |\hat{u}_{0}(\xi)|\leq k\}\,. \end{eqnarray*} Obviously \(\mathcal{F}^{-1}(\chi_{\mathcal{A}_{k}}\hat{u}_{0})\) converge to \(u_{0}\) in \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\) as \(k\rightarrow +\infty\).\\ Then, there exists \(k\in \mathbb{N}\) such that \begin{eqnarray*} \|u_{0}-\mathcal{F}^{-1}(\chi_{\mathcal{A}_{k}}\hat{u}_{0})\|_{\mathcal{F\dot{N}}_{p, \lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} \leq\frac{\varepsilon}{2}\,. \end{eqnarray*} Put \begin{eqnarray*} u_{0,k}=\mathcal{F}^{-1}(\chi_{\mathcal{A}_{k}}\hat{u}_{0}),\,\, w_{0,k}=u_{0}-\mathcal{F}^{-1}(\chi_{\mathcal{A}_{k}}\hat{u}_{0})\,. \end{eqnarray*} Then \(u_{0,k}\in \mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\cap \mathrm{L}^{2}\) and

\begin{eqnarray}\label{elb} \|w_{0,k}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} \leq\frac{\varepsilon}{2}\,. \end{eqnarray}
(23)
Now, we insert the following system
\begin{equation} \label{GMHD2} \left \{ \textstyle\begin{array}{l} w_{t}+(w\cdot\nabla)w+\mu(-\Delta)^{\alpha} w+\Omega e_{3}\times w+\nabla \pi=0\quad \mbox{in } (0, +\infty)\times\mathbb{R}^{3},\\ \nabla\cdot w=0,
w|_{t=0}=w_{0,k}\,. \end{array}\displaystyle \right . \end{equation}
(24)
For \(\frac{\varepsilon}{2}\leq C_{0}\mu\), we infer from Theorem 5 that the system (24) has a unique global solution such that \begin{equation*} w_{k}\in \mathcal{C}\Big([0,\infty);\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\cap \mathcal{L}^{1}\Big([0,\infty),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\,. \end{equation*} Moreover, for any \(t\geq 0\) we have
\begin{eqnarray}\label{75} \|w_{k}(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} + \mu\|w_{k}\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} \leq C\|w_{0,k}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. \end{eqnarray}
(25)
So let’s consider the difference \(u_{k}=u-w_{k}\), which satisfies \begin{equation*} \left \{ \textstyle\begin{array}{l} \partial_{t}u_{k}+\mu(-\Delta)^{\alpha}u_{k}+\Omega e_{3}\times u_{k}+(u\cdot\nabla) u_{k} +(u_{k}\cdot\nabla) w_{k}+\nabla (\pi-\pi_{k})=0, \\ \nabla\cdot u_{k}=0,\\ \end{array}\displaystyle \right . \end{equation*} where \(\pi\) and \(\pi_{k}\) are the associated pressures to the solutions \(u\) and \(w_{k}\), respectively. By taking the inner products with \(u_{k}\) and integrating by parts, we can show that
\begin{equation}\label{eh1} \begin{aligned} \frac{1}{2}\frac{d}{dt}\| u_{k}\|_{L^2}^2 +\mu\|(-\Delta)^{\frac{\alpha}{2}} u_{k}\|_{L^2}^2 \leq \Big|\int_{\mathbb{R}^3}(u_{k}\cdot\nabla) w_{k}\cdot u_{k}\,dx\Big| \,, \end{aligned} \end{equation}
(26)
where we have used \(\Omega (e_{3}\times u_{k}).u_{k}=0.\)
Integrating by parts, Hölder’s inequality and Lemma 15 lead to \begin{eqnarray*} \big|\big\big| &\leq&\big\|(-\Delta)^{\frac{1}{2}-\frac{\alpha}{2}}(u_{k}\otimes w_{k})\big\|_{L^{2}} \big\|(-\Delta)^{\frac{\alpha}{2}}u_{k}\big\|_{L^{2}}\\ &\leq& C\big\|u_{k}\otimes w_{k}\big\|_{\dot{H}^{1-\alpha}}\big\|u_{k}\big\|_{\dot{H}^{\alpha}} \leq C\big\|u_{k}\big\|_{L^{2}} \big\|w_{k}\Big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} \big\|u_{k}\big\|_{\dot{H}^{\alpha}}\\ &&+C\big\|u_{k}\big\|_{\dot{H}^{\alpha}}^{2} \big\|w_{k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\\ &\leq& \frac{2C^{2}}{\mu}\big\|u_{k}\big\|_{L^{2}}^{2} \big\|w_{k}\Big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}^{2} +\frac{\mu}{8}\big\|u_{k}\big\|_{\dot{H}^{\alpha}}^{2}+C\big\|u_{k}\big\|_{\dot{H}^{\alpha}}^{2} \big\|w_{k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\,. \end{eqnarray*} By (23) and (25) we have \(\Big\|w_{k}\Big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\leq C\frac{\varepsilon}{2}\). In addition, we assume \(\varepsilon\) small enough such that \(C^{2}\varepsilon\leq\frac{\mu}{4}\), thus
\begin{align}\label{eh2} \big|\big\big| \leq \frac{2C^{2}}{\mu}\big\|u_{k}\big\|_{L^{2}}^{2}\big\|w_{k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}^{2} +\frac{\mu}{4}\big\|u_{k}\big\|_{\dot{H}^{\alpha}}^{2}\,. \end{align}
(27)
We conclude that \begin{equation*}\label{eh6} \begin{aligned} \frac{d}{dt}\| u_{k}\|_{L^2}^2 +\mu\| u_{k}\|_{\dot{H}^{\alpha}}^2 \leq \frac{8C^{2}}{\mu}\big\|u_{k}\big\|_{L^{2}}^{2} \big\|w_{k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}^{2}\,. \end{aligned} \end{equation*} Gronwall’s inequality leads to
\begin{equation}\label{eh7} \begin{aligned} \| u_{k}\|_{L^2}^2 +\mu\int_{0}^{t}\| u_{k}\|_{\dot{H}^{\alpha}}^2 \leq \big\|u_{0,k}\big\|_{L^{2}}^{2} \exp\Bigg\{\frac{8C^{2}}{\mu} \int_{0}^{t}\big\|w_{k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\alpha+\frac{3}{p’} +\frac{\lambda}{p}}}^{2}\Bigg\}\,. \end{aligned} \end{equation}
(28)
Since \(q\leq2\), by Hölder’s inequality, we get \begin{eqnarray*} \int_{0}^{t}\big\|w_{k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}^{2} &\leq& \Big\{\sum_{j\in\mathbb{Z}}2^{j(1-\alpha+\frac{3}{p’}+\frac{\lambda}{p})q}\Big(\int_{0}^{t}\|\varphi_{j}\hat{w}_{k}\|_{\mathrm{M}_{p}^{\lambda} }^{2}\Big)^{\frac{q}{2}}\Big\}^{2/q}\\ &\leq&\Big\{ \sum_{j\in\mathbb{Z}}2^{j(1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p})\frac{q}{2}} 2^{j(1+\frac{3}{p’}+\frac{\lambda}{p})\frac{q}{2}} \|\varphi_{j}\hat{w}_{k}\|_{L^{\infty}([0,t),\mathrm{M}_{p}^{\lambda}) }^{\frac{q}{2}}\|\varphi_{j}\hat{w}_{k}\|_{L^{1}([0,t),\mathrm{M}_{p}^{\lambda}) }^{\frac{q}{2}}\Big\}^{2/q}\\ &\leq&\big\|w_{k}\big\|_{\mathcal{L}^{\infty}([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}})} \big\|w_{k}\big\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\\ &\leq&\frac{1}{2\mu}\left(\big\|w_{k}\big\|_{\mathcal{L}^{\infty}([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+ \frac{\lambda}{p}})} +\mu\big\|w_{k}\big\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)}\right)^{2}\\ &\leq& \frac{C^{2}}{2\mu} \big\|w_{0,k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}^{2}\,, \end{eqnarray*} where we have used (25). Consequently
\begin{align}\label{eh9} \begin{aligned} &\| u_{k}\|_{L^2}^2 +\mu\int_{0}^{t}\| u_{k}\|_{\dot{H}^{\alpha}}^2 \leq \big\|u_{0,k}\big\|_{L^{2}}^{2} \exp\Bigg\{\frac{4C^{4}}{\mu^{2}} \big\|w_{0,k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+ \frac{3}{p’}+\frac{\lambda}{p}}}^{2}\Bigg\}\,. \end{aligned} \end{align}
(29)
Using Lemma 14 with \(s=\alpha\) we obtain \begin{equation*}\label{eh14} \int_{0}^{\infty}\big\|u_{k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{ 1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}^{\frac{4\alpha}{5-4\alpha}} \lesssim C^{\frac{4\alpha}{5-4\alpha}}\mu^{-1}\big\|u_{0,k}\big\|_{L^{2}} ^{\frac{4\alpha}{5-4\alpha}}\\ \times \exp\Big\{\frac{8C^{4}\alpha}{\mu^{2}(5-4\alpha)} \big\|w_{0,k}\big\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{ 1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}^{2}\Big\}\,. \end{equation*} The continuity of \(u_{k}\) in \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\) ensure that there exists a time \(t_{0}\) such that \begin{equation*} \|u_{k}(t_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} \leq\frac{\varepsilon}{2}\,. \end{equation*} Then we have \begin{equation*} \begin{aligned} \|u(t_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} &\leq \|u_{k}(t_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} +\|w_{k}(t_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}}\\ &\leq\frac{\varepsilon}{2}+\frac{\varepsilon}{2}\,. \end{aligned} \end{equation*} Now, we consider the fractional Navier-Stokes equations with Coriolis forces starting at \(t=t_{0}\) \begin{equation*} \left \{ \textstyle\begin{array}{l} u_{t}+u\cdot\nabla u+\mu(-\Delta)^{\alpha} u+\Omega e_{3}\times u+\nabla \pi=0, \\ \nabla\cdot u=0, \\ u(t_{0},x)=u(t_{0}). \end{array}\displaystyle \right . \end{equation*} By Theorem 5 and using the method mentioned in the proof of (25), we directly obtain \begin{eqnarray*} \|u(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} +\mu\|u\|_{\mathcal{L}^{1}\Big([t_{0},t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)} \leq C\|u(t_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} \leq C\varepsilon\,, \end{eqnarray*} for all \(t\geq t_{0}\). We have completed the proof of Theorem 6.

5. Stability of global solutions

In this section we prove Theorem 7. Let \(T^*\) be the maximal existence time of a solution \(u\) of (1) in
\(\mathcal{L}^{\infty}\Big([0,T^*);\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\cap \mathcal{L}^{1}\Big([0,T^*),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}\Big)\,.\) In order to prove a blow-up criterion of the solution given by Theorem 5, assume that \(T^*< \infty\) and \(\|u\|_{\mathcal{L}^{1}([0,T^*),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}})} < \infty\), then we can find \(0< T_{0}< T^*\) satisfying \begin{align*} \|u\|_{\mathcal{L}^{1}\Big([T_{0},T^*),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} < \frac{1}{2}\,. \end{align*} For \(t\in[T_{0},T^*)\), we explicitly consider the integral equation \begin{eqnarray*} u(t)=T_{\Omega,\alpha}(t)u(T_{0})-\int_{T_{0}}^{t}T_{\Omega,\alpha}(t-s)\mathbb{P}\nabla.(u\otimes u)(s)ds\,, \end{eqnarray*} we obtain \begin{eqnarray*} |\widehat{u}(t,\xi)|\leq e^{-\mu|\xi|^{2\alpha}t}|\widehat{u}(T_{0},\xi)|+ \int_{T_{0}}^{t} e^{-\mu(t-s)|\xi|^{2\alpha}}|\mathbb{P}\nabla.(u\otimes u)(s,\xi)| \, \mathrm{d}s \,. \end{eqnarray*} The same reasoning as in the proof of Proposition 12 gives \begin{equation*} \|u\|_{\mathcal{L}^{\infty}\Big([T_{0},t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} \lesssim\|u(T_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}+\|u\|_{\mathcal{L}^{\infty}\Big([T_{0},t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }\Big)}\|u\|_{\mathcal{L}^{1}\Big([T_{0},t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p} }\Big)}\,. \end{equation*} It follows that \begin{align*} \|u\|_{\mathcal{L}^{\infty}\Big([T_{0},t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} \lesssim\|u(T_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}+\frac{1}{2}\|u\|_{\mathcal{L}^{\infty}\Big([T_{0},t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }\Big)}\,. \end{align*} We can deduce that \begin{align*} \sup_{T_{0}\leq s\leq t}\|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}} \lesssim2\|u(T_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}\,,\forall t\in[T_{0},T^*)\,. \end{align*} Setting \begin{align*} M=\max\Big(2\|u(T_{0})\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }},\max_{t\in[0,T_{0}]}\|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}\Big)\,, \end{align*} we have \begin{align*} \|u(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}\lesssim M,\,\,\forall t\in[0,T^*)\,. \end{align*} On the other side \begin{align*} u(t)=e^{-t\mu (-\Delta)^{\alpha}}u_{0}-\Omega\int_0^{t}e^{-\mu(t-\tau)(-\Delta)^{\alpha}}\mathbb{P}(e_{3}\times u)(\tau)d\tau-\int_0^{t}e^{-\mu(t-\tau)(-\Delta)^{\alpha}}\mathbb{P}\nabla.(u\otimes u)(\tau)d\tau\,. \end{align*} Then \begin{align*} u(t')-u(t)&=(e^{-\mu t'(-\Delta)^{\alpha}}u_{0}-e^{-\mu t(-\Delta)^{\alpha}}u_{0})\\ &\quad-\Big(\int_0^{t'}e^{-\mu(t'-\tau)(-\Delta)^{\alpha}}\mathbb{P}\nabla.(u\otimes u)(\tau)d\tau -\int_0^{t}e^{-\mu(t-\tau)(-\Delta)^{\alpha}}\mathbb{P}\nabla.(u\otimes u)(\tau)d\tau\Big)\\ &\quad-\Omega\Big(\int_0^{t'}e^{-\mu(t'-\tau)(-\Delta)^{\alpha}}\mathbb{P}(e_{3}\times u)(\tau)d\tau-\int_0^{t}e^{-\mu(t-\tau)(-\Delta)^{\alpha}}\mathbb{P}(e_{3}\times u))(\tau)d\tau\Big)\\ &=[e^{-\mu t'(-\Delta)^{\alpha}}u_{0}-e^{-\mu t(-\Delta)^{\alpha}}u_{0}]-\Big[\int_{t}^{t'}e^{-\mu(t'-\tau)(-\Delta)^{\alpha}}\mathbb{P}\nabla.(u\otimes u)(\tau)d\tau\Big]\\ &\quad – \Big[\int_0^{t}e^{-\mu(t-\tau)(-\Delta)^{\alpha}}(e^{-\mu(t'-t)(-\Delta)^{\alpha}}-1)\mathbb{P}\nabla.(u\otimes u)(\tau)d\tau\Big]\\ &\quad-\Omega\Big[\int_{t}^{t'}e^{-\mu(t'-\tau)(-\Delta)^{\alpha}}\mathbb{P}(e_{3}\times u)(\tau)d\tau\Big]\\ &\quad – \Omega\Big[\int_0^{t}e^{-\mu(t-\tau)(-\Delta)^{\alpha}}(e^{-\mu(t'-t)(-\Delta)^{\alpha}}-1)\mathbb{P}(e_{3}\times u)(\tau)d\tau\Big]\\ &:=J_{1}+J_{2}+J_{3}+J_{4}+J_{5}\,. \end{align*} We will estimate \(J_{1}, \,J_{2},\, J_{3},\,J_{4}\) and \(J_{5}\); \begin{align*} \|J_{1}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}&=\Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\|\varphi_{j}(e^{- \mu t'|\xi|^{2\alpha}}-e^{-\mu t|\xi|^{2\alpha}})\hat{u}_{0}\|_{\mathrm{M}_{p}^{\lambda}}\Big\|_{\ell^{q}}\\ &\leq \Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\|\varphi_{j}(e^{-\mu(t'-t)|\xi|^{2\alpha}}-1)\hat{u}_{0}\|_{\mathrm{M}_{p}^{\lambda}}\Big\|_{\ell^{q}}\,, \end{align*} \begin{align*} \|J_{2}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}&\leq \Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\int_t^{t'}\|\varphi_{j}e^{-\mu(t'-\tau)|\xi|^{2\alpha}}\mathcal{F}(\nabla.u\otimes u)(\tau)\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\\ &\leq \Big\| 2^{j(2-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\int_t^{t'}\|\varphi_{j}\mathcal{F}(u\otimes u)(\tau)\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\,, \end{align*} \begin{align*} \|J_{3}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}&\leq\Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\times\int_0^{t}\|\varphi_{j}e^{-\mu(t'-\tau)|\xi|^{2\alpha}}(1-e^{-\mu(t'-t)|\xi|^{2\alpha}})\mathcal{F}(\nabla.(u\otimes u)(\tau))\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\\ &\leq\Big\| 2^{j(2-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\int_0^{t}\|\varphi_{j}(e^{-\mu(t'-t)|\xi|^{2\alpha}}-1)\mathcal{F}(u\otimes u)(\tau)\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\,, \end{align*} \begin{align*} \|J_{4}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}&\lesssim \Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\int_t^{t'}\|\varphi_{j}e^{-\mu(t'-\tau)|\xi|^{2\alpha}}\mathcal{F}(e_{3}\times u)(\tau)\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\\ &\lesssim \Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\int_t^{t'}\|\varphi_{j}\mathcal{F}(e_{3}\times u)(\tau)\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\,, \end{align*} and \begin{align*} \|J_{5}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}&\lesssim\Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\times\int_0^{t}\|\varphi_{j}e^{-\mu(t'-\tau)|\xi|^{2\alpha}}(1-e^{-\mu(t'-t)|\xi|^{2\alpha}}) \mathcal{F}(e_{3}\times u(\tau))\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\\ &\lesssim\Big\| 2^{j(1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} )}\int_0^{t}\|\varphi_{j}(e^{-\mu(t'-t)|\xi|^{2\alpha}}-1)\mathcal{F}(e_{3}\times u)(\tau)\|_{\mathrm{M}_{p}^{\lambda}}d\tau\Big\|_{\ell^{q}}\,. \end{align*} The dominated convergence theorem gives \begin{align*} \limsup_{t,t'\nearrow T^*,t\leq t'} \|u(t)-u(t')\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}=0\,. \end{align*} This means that \(u(t)\) satisfies the Cauchy criterion at \(T^*\). As \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }\) is a Banach space, then there exists an element \(u^*\) in \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }\) such that \(u(t)\to u^*\) in \(\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }\) as \(t\to T^*\). Set \(u(T^*)=u^*\) and consider the fractional Navier-Stokes equations with Coriolis force starting by \(u^*\). By the well-posedness we obtain a solution existing on a larger time interval than \([0,T^*)\), which is a contradiction. Now, let \( v\in \mathcal{C}\Big([0,T^*);\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big)\cap \mathcal{L}^{1}\Big([0,T^*),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}\Big) \) be the maximal solution of (1) corresponding to the initial condition \(v_{0}\). We want to prove \(T^*=\infty\). Put \(w=v-u\) and \(w_{0}=v_{0}-u_{0}\). We have \begin{align*} w_{t}+\mu(-\Delta)^{\alpha} w+\Omega e_{3}\times w+w\cdot\nabla w+u\cdot\nabla w+w\cdot\nabla u=-\nabla \pi\,. \end{align*} We first apply \(\mathbb{P}\) to the above equation, then we have \begin{align*} w_{t}+\mu(-\Delta)^{\alpha} w =-\Omega \mathbb{P}e_{3}\times w-\mathbb{P}\nabla.(w\otimes w)-\mathbb{P}\nabla.(u\otimes w)-\mathbb{P}\nabla.(w\otimes u)\,. \end{align*} Due to Duhamel's formula, we write \begin{align*} |\widehat{w}(t,\xi)|&\leq e^{-\mu|\xi|^{2\alpha}t}|\widehat{w}(0,\xi)|+ \int_{0}^{t} e^{-\mu(t-s)|\xi|^{2\alpha}}|\mathcal{F}(\mathbb{P}\nabla.(w\otimes w))(s,\xi)| \, \mathrm{d}s \\ &\quad+\int_{0}^{t} e^{-\mu(t-s)|\xi|^{2\alpha}}|\mathcal{F}(\mathbb{P}\nabla.(u\otimes w))(s,\xi)| \, \mathrm{d}s\\ &\quad +\int_{0}^{t} e^{-\mu(t-s)|\xi|^{2\alpha}}|\mathcal{F}(\mathbb{P}\nabla.(w\otimes u))(s,\xi)| \, \mathrm{d}s\\ &\quad+|\Omega|\int_{0}^{t} e^{-\mu(t-s)|\xi|^{2\alpha}}|\mathcal{F}(\mathbb{P}e_{3}\times w)(s,\xi)| \, \mathrm{d}s\,. \end{align*} Then, for \(t\in[0,T^*)\) we get \begin{equation*} \begin{aligned} \mu \|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} &\leq C\Big\{\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}+\|\nabla.(w\otimes w)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\\ &\quad+\|\nabla.(u\otimes w)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)} \\ &\quad+\|\nabla.(w\otimes u)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\\ &\quad+|\Omega|\|e_{3}\times w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\Big\}\,. \end{aligned} \end{equation*} Similarly, \begin{equation*} \begin{aligned} \|w\|_{\mathcal{L}^{\infty}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} &\leq\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}+\|\nabla.(w\otimes w)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\\ &\quad+\|\nabla.(u\otimes w)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)} \\ &\quad+\|\nabla.(w\otimes u)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\\ &\quad+|\Omega|\|e_{3}\times w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\,. \end{aligned} \end{equation*} Consequently, for \(t\in[0,T^*)\) we get \begin{eqnarray*} \|w(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}}} +\mu \|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}}\Big)} &\leq& C\Big\{\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}+\|\nabla.(w\otimes w)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\\ &&+\|\nabla.(u\otimes w)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)} \\ &&+\|\nabla.(w\otimes u)\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\\ &&+|\Omega|\|e_{3}\times w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} \Big)}\Big\}\\ &\lesssim&\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p} }}+L_{1}+L_{2}+L_{3}\,. \end{eqnarray*} where \begin{align*} L_{1}&=\|\nabla.(w\otimes w)\|_{\mathcal{L}^{1}([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} )},\\ L_{2}&=\|\nabla.(u\otimes w)\|_{\mathcal{L}^{1}([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} )} +\|\nabla.(w\otimes u)\|_{\mathcal{L}^{1}([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} )} \end{align*} and \(L_{3}=|\Omega|\|e_{3}\times w\|_{\mathcal{L}^{1}([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p'}+\frac{\lambda}{p}} ) }\,.\)
The same calculus as in the proof of Proposition 12 gives \begin{align*} L_{1}&\lesssim \|w\|_{\mathcal{L}^{\infty}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} \Big)} \|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}} \Big)}\,,\\ L_{2}&\lesssim \int_0^{t}\|w\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} } \|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}} }\,,\\ L_{3}&\lesssim |\Omega|\|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} \Big)}\,. \end{align*} Then \begin{equation*} \begin{aligned} &\|w(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} +\mu\|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}} \Big)}\\ &\leq C\Big\{\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }}+\|w\|_{\mathcal{L}^{\infty}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} \Big)} \|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}} \Big)}\\ &\,\,\,+\int_0^{t}\|w\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} } \|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}} }+|\Omega|\|w\|_{\mathcal{L}^{1}([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} )}\Big\}\,. \end{aligned} \end{equation*} Put
\begin{align}\label{maxtc} T=\sup\{t\in[0,T^*), \|w\|_{\mathcal{L}^{\infty}\Big([0,t],\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} \Big)}< \frac{\mu}{4C}\}\,. \end{align}
(30)
For \(t\in[0,T)\), we have \begin{equation*} \begin{aligned} &\|w(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} +\frac{\mu}{2}\|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} \Big)}\\ &\leq C\big\{\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }}+\int_{0}^{t}\|w\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} (|\Omega|+\|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}})\big\}\,. \end{aligned} \end{equation*} Gronwall’s Lemma yields \begin{equation*} \begin{aligned} \|w(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} +\frac{\mu}{2} \int_{0}^{t}\|w\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}} &\leq C\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }}\exp\Big\{\int_{0}^{t}C\Big(|\Omega|+\|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}}\Big)\Big\}\\ &\leq C\|w_{0}\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }}\exp\Big\{\int_{0}^{\infty}C\Big(|\Omega|+\|u\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p’}+\frac{\lambda}{p}}}\Big)\Big\}\,. \end{aligned} \end{equation*} Thus if we take \(C_{0}\) sufficiently small in (7), we have \begin{equation*} \begin{aligned} \|w(t)\|_{\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}} +\frac{\mu}{2}\|w\|_{\mathcal{L}^{1}\Big([0,t),\mathcal{F\dot{N}}_{p,\lambda,q}^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}} \Big)}< \frac{\mu}{8C}\,, \end{aligned} \end{equation*} which contradicts the definition (30). Then \(T=T^*\) and \(\|w\|_{\mathcal{L}^{1}([0,T^{*}),\mathcal{F\dot{N}}_{p,\lambda,q}^{1+\frac{3}{p'}+\frac{\lambda}{p}} )}< \infty\), therefore \(T^*=\infty\). This completes the proof of Theorem 7.

Conclusion

Using harmonic analysis tools such as decomposition of Littlewood-Paley and the fixed point argument in Banach space, we obtain some results of existence, uniqueness, stability and asymptotic behaviour of solutions of the fractional Navier-Stokes equations with Coriolis force for small initial data. Moreover, local well-posedness results of these equations for large initial data are also discussed. The adopted functional framework is the critical Fourier-Besov-Morrey space \(\mathcal{F\dot{N}}_{p,\lambda,q}^{ 1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }\) which covers many classical spaces, e.g. the Fourier-Herz space \(\mathcal{\dot{B}}_{q}^{ 1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }\), the Fourier-Besov-Lebesgue space \(\mathrm{F\dot{B}}_{p,q}^{ 1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }\) and the Lei-Lin’s space \(\chi^{1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p}}\). These spaces \(\mathcal{F\dot{N}}_{p,\lambda,q}^{ 1-2\alpha+\frac{3}{p’}+\frac{\lambda}{p} }\) are some refined functional spaces, more suitable and more adapted for studying these equations.

Acknowledgments

The authors are grateful to the referee and the editorial board for some useful comments that improved the presentation of the paper.

Author Contributions

All authors contributed equally to the writing of this paper. All authors read and approved the final manuscript.

Competing Interests

The author(s) do not have any competing interests in the manuscript.

References:

  1. Majda, A. (2003). Introduction to PDEs and Waves for the Atmosphere and Ocean (Vol. 9). American Mathematical Soc.. [Google Scholor]
  2. Chemin, J. Y., Desjardins, B., Gallagher, I., & Grenier, E. (2006). Mathematical geophysics, volume 32 of Oxford Lecture Series in Mathematics and its Applications. Oxford University Press, Oxford. [Google Scholor]
  3. Hieber, M., & Shibata, Y. (2010). The Fujita-Kato approach to the Navier-Stokes equations in the rotational framework. Mathematische Zeitschrift, 265(2), 481-491. [Google Scholor]
  4. Chemin, J. Y., Desjardins, B., Gallagher, I., & Grenier, E. (2002, January). Anisotropy and dispersion in rotating fluids. In Nonlinear partial differential equations and their applications. Collège de France Seminar (Vol. 14, pp. 171-192). [Google Scholor]
  5. Iwabuchi, T., & Takada, R. (2013). Global solutions for the Navier-Stokes equations in the rotational framework. Mathematische Annalen, 357(2), 727-741. [Google Scholor]
  6. Iwabuchi, T., & Takada, R. (2014). Global well-posedness and ill-posedness for the Navier-Stokes equations with the Coriolis force in function spaces of Besov type. Journal of Functional Analysis, 267(5), 1321-1337. [Google Scholor]
  7. Giga, Y., Inui, K., Mahalov, A., & Matsui, S. Y. (2005). Uniform local solvability for the Navier-Stokes equations with the Coriolis force. Methods and Applications of Analysis, 12(4), 381-394. [Google Scholor]
  8. Yoshikazu, G. I. G. A., Katsuya, I. N. U. I., Mahalov, A., & Matsui, S. Y. (2006). Navier-Stokes equations in a rotating frame in \({\mathbb R}^ 3\) with initial data nondecreasing at infinity. Hokkaido mathematical journal, 35(2), 321-364. [Google Scholor]
  9. Sawada, O. (2004). The Navier-Stokes flow with linearly growing initial velocity in the whole space. Boletim da Sociedade Paranaense de Matema´tica, 22(2), 75-96. [Google Scholor]
  10. Wang, W., & Wu, G. (2018). Global mild solution of the generalized Navier-Stokes equations with the Coriolis force. Applied Mathematics Letters, 76, 181-186. [Google Scholor]
  11. Benameur, J. (2015). Long time decay to the Lei-Lin solution of 3D Navier–Stokes equations. Journal of Mathematical Analysis and Applications, 422(1), 424-434.[Google Scholor]
  12. Fang, D., Han, B., & Hieber, M. (2015). Global Existence Results for the Navier-Stokes Equations in the Rotational Framework in Fourier-Besov Spaces. In Operator Semigroups Meet Complex Analysis, Harmonic Analysis and Mathematical Physics (pp. 199-211). Birkhäuser, Cham.[Google Scholor]
  13. Konieczny, P., & Yoneda, T. (2011). On dispersive effect of the Coriolis force for the stationary Navier-Stokes equations. Journal of Differential Equations, 250(10), 3859-3873.[Google Scholor]
  14. Kato, T. (1992). Strong solutions of the Navier-Stokes equation in Morrey spaces. Boletim da Sociedade Brasileira de Matem{\’a}tica-Bulletin/Brazilian Mathematical Society, 22(2), 127-155.[Google Scholor]
  15. Taylor, M. E. (1992). Analysis on Morrey spaces and applications to Navier-Stokes and other evolution equations. Communications in Partial Differential Equations, 17(9-10), 1407-1456.[Google Scholor]
  16. Yuan, W., Sickel, W., & Yang, D. (2010). Morrey and Campanato Meet Besov, Lizorkin and Triebel. Springer.[Google Scholor]
  17. Cannone, M., & Wu, G. (2012). Global well-posedness for Navier–Stokes equations in critical Fourier-Herz spaces. Nonlinear Analysis: Theory, Methods & Applications, 75(9), 3754-3760.[Google Scholor]
  18. El Baraka, A., & Toumlilin, M. (2017). Global well-posedness and decay results for 3D generalized magneto-hydrodynamic equations in critical Fourier-Besov-Morrey spaces. Electronic Journal of Differential Equations, 2017(65), 1-20.[Google Scholor]
  19. Ito, H., & Kato, J. (2015). A remark on a priori estimate for the Navier-Stokes equations with the Coriolis force. arXiv preprint arXiv:1512.01814.[Google Scholor]
  20. Zhao, H., & Wang, Y. (2017). A remark on the Navier-Stokes equations with the Coriolis force. Mathematical Methods in the Applied Sciences, 40(18), 7323-7332.[Google Scholor]
  21. Gallagher, I., Iftimie, D., & Planchon, F. (2003). Asymptotics and stability for global solutions to the Navier-Stokes equations. In Annales de l’Institut fourier (Vol. 53, No. 5, pp. 1387-1424).[Google Scholor]
  22. Kawanago, T. (1998). Stability estimate for strong solutions of the Navier-Stokes system and its applications. Electronic Journal of Differential Equations,(1998)(15), 1-23.[Google Scholor]
  23. Ponce, G., Racke, R., Sideris, T. C., & Titi, E. S. (1994). Global stability of large solutions to the 3D Navier-Stokes equations. Communications in Mathematical Physics, 159(2), 329-341.[Google Scholor]
  24. Ferreira, L. C., & Lima, L. S. (2014). Self-similar solutions for active scalar equations in Fourier-Besov-Morrey spaces. Monatshefte fĂĽr Mathematik, 175(4), 491-509.[Google Scholor]
  25. Babin, A., Mahalov, A., & Nicolaenko, B. (1995). Long-time averaged Euler and Navier-Stokes equations for rotating fluids. In Structure and Dynamics of non-linear waves in Fluids, 1994 IUTAM Conference, K. Kirehgässner and A. Mielke (eds), World Scientific (pp. 145-157).[Google Scholor]
  26. Babin, A., Mahalov, A., & Nicolaenko, B. (1997). Regularity and integrability of 3D Euler and Navier-Stokes equations for rotating fluids. Asymptotic Analysis, 15(2), 103-150.[Google Scholor]
  27. Babin, A., Mahalov, A., & Nicolaenko, B. (1999). Global regularity of 3D rotating Navier-Stokes equations for resonant domains. Indiana University Mathematics Journal, 1133-1176.[Google Scholor]
  28. El Baraka, A., & Toumlilin, M. (2017). Global Well-Posedness for Fractional Navier-Stokes Equations in critical Fourier-Besov-Morrey Spaces. Moroccan Journal of Pure and Applied Analysis, 3(1), 1-13.[Google Scholor]
  29. Gallagher, I., Iftimie, D., & Planchon, F. (2002). Non-blowup at large times and stability for global solutions to the Navier-Stokes equations. Comptes rendus de l’AcadĂ©mie des Sciences, 334(4), 289-292.[Google Scholor]
  30. Xiao, W., Chen, J., Fan, D., & Zhou, X. (2014). Global well-posedness and long time decay of fractional navier-stokes equations in fourier-besov spaces. In Abstract and Applied Analysis (Vol. 2014). Hindawi.[Google Scholor]
  31. Lemarié-Rieusset, Pierre Gilles, P. G. (2016). The Navier-Stokes problem in the 21st century. Chapman and Hall/CRC.[Google Scholor]