Gevrey Regularity and Time Decay of Fractional Porous Medium Equation in Critical Besov Spaces

Weiliang Xiao, Yu Zhang^*

School of Applied Mathematics, Nanjing University of Finance and Economics, Nanjing, China.

DOI: 10.4236/jamp.2022.101008                

Abstract

In this paper, we show the existence and regularity of mild solutions depending on the small initial data in Besov spaces to the fractional porous medium equation. When 1 < α ≤ 2, we prove global well-posedness for initial data with 1 ≤ p < ∞, 1 ≤ q ≤ ∞, and analyticity of solutions with 1 < p < ∞, 1 ≤ q ≤ ∞. In particular, we also proved that when α = 1, both u and belong to . We solve this equation through the contraction mapping method based on Littlewood-Paley theory and Fourier multiplier. Furthermore, we can get time decay estimates of global solutions in Besov spaces, which is as t → ∞.

Keywords

Well-Posedness, Gevrey Regularity, Time Decay, Besov Spaces

1. Introduction

In this paper, we consider existence and regularity of mild solutions for the initial value problem of the following fractional porous medium equation (FPME) in ${ℝ}^n$ for $n\ge 2$ :

$(\begin{array}{ll}{\partial }_{t}u+\gamma {\Lambda }^{\alpha }u+\nabla \cdot \left(u\nabla Pu\right)=0\hfill & \text{in}{ℝ}^n\times \left(\mathrm{0,}\infty \right)\mathrm{,}\hfill \\ Pu=\kappa {\left(-\Delta \right)}^{-m}u\hfill & \text{in}{ℝ}^n\times \left(\mathrm{0,}\infty \right)\mathrm{,}\hfill \\ u\left(x\mathrm{,0}\right)=u_0\left(x\right)\hfill & \text{in}{ℝ}^n\mathrm{,}\hfill \end{array}$ (1)

where u and $Pu$ denote the density and gas pressure respectively, while $u_0=u_0\left(x\right)$ denotes the given initial data. And $\kappa =\pm 1$. The positive operator ${\Lambda }^{\alpha }={\left(-\Delta \right)}^{\frac{\alpha }{2}}$ can be defined by

${\Lambda }^{\alpha }f\left(x\right)\mathrm{<mo>\; :\; </mo>}=c\left(\alpha \mathrm{,}n\right)P\mathrm{.}V\mathrm{.}{\displaystyle {\int }_{{ℝ}^n}}\frac{f\left(x\right)-f\left(y\right)}{{\left|x-y\right|}^{n+\alpha }}\text{d}y\mathrm{,}$

where $c\left(\alpha \mathrm{,}n\right)$ is a normalization constant. By the Fourier transform, we can also get a very simple alternative representation, as ${\Lambda }^{\alpha }f={\mathcal{F}}^{-1}\left[{\left|\xi \right|}^{\alpha }\mathcal{F}f\left(\xi \right)\right]$, where $\mathcal{F}$ is the Fourier transform and ${\mathcal{F}}^{-1}$ is the inverse Fourier transform, respectively. To simplify the notation, we consider $\gamma =\kappa =1$. For FPME research, there have been many results. For example, in 2019, Feng and Liu [1] used generalized Riccati transformation technique and the differential inequality method to obtain the oscillation criteria of a class of nonlinear fractional differential equations.

If $\gamma >0$, $\kappa =1$, $\alpha =2$, $m=1$, the system (1) reduces to the classical Keller-Segel model

$(\begin{array}{ll}{\partial }_{t}u+\gamma \left(-\Delta \right)u+\nabla \cdot \left(u\nabla Pu\right)=0\hfill & \text{in}{ℝ}^n\times \left(\mathrm{0,}\infty \right)\mathrm{,}\hfill \\ Pu\mathrm{<mo>\; =\; </mo>}\kappa \left(-\Delta \right)u\hfill & \text{in}{ℝ}^n\times \left(\mathrm{0,}\infty \right)\mathrm{,}\hfill \\ u\left(x\mathrm{,0}\right)\mathrm{<mo>\; =\; </mo>}{u}_0\left(x\right)\hfill & \text{in}{ℝ}^n\mathrm{.}\hfill \end{array}$ (2)

The Keller-Segel system has been established as the model of chemotaxis by Keller and Segel [2]. Biler and Karch [3] demonstrated local and global solutions with small initial data of the equation in critical Lebesgue space $L^{\frac{n}{\alpha }}$ for $1<\alpha <2$. Biler and Wu [4] studied global well-posedness of the equation with small initial data in the critical Besov spaces ${\stackrel{\dot{}}{B}}_{\mathrm{2,}q}^{1-\alpha }\left({ℝ}^2\right)$ for $1<\alpha <2$. Zhao, Cui and Liu [5] proved small data global existence and large data local existence of solutions in critical Besov space ${\stackrel{\dot{}}{B}}_{p\mathrm{,}q}^{-2+\frac{n}{p}}$ for $1<p<2n$ and $1\le q\le \infty$.

The purpose of this paper is to prove the well-posedness and Gevrey analyticity of Equation (1) in the Besov spaces. When $\gamma =0$, $\kappa =-1$, $m=0$, the equation degenerates to the classic form of the Porous Media Equation. We refer it by PME, and the classical properties of this equation can be found in literature [6]. It can describe the movement of an ideal gas flowing through a porous medium or be regarded as a kind of non-local quadratic evolution problem. This equation is widely used in describing Brownian diffusion, gas particle interaction, and biotaxis. When $\gamma =0$, $\kappa =-1$, $0<m<1$, the equation was first proposed by Caffarelli and Vázquez [7]. It has been proved by them that, when the initial value $u_0$ is a bounded function and exponentially decays at infinity, the equation has a weak solution. In [8], they studied the $C^{\beta }$ regularity of the weak solution of the equation when $\gamma =0$, $\kappa =-1$. For the detailed information about the solution of this equation, please refer to literature [9].

Secondly, we present some results of Gevrey analyticity in recent years. In 1989, Foias and Temam discovered this method and employed it for the first time to study the analyticity of the Navier-Stokes equations with space periodicity boundary condition, see [10] [11]. In the following periods, a few more authors made full use of this method, and extended it to various functional spaces and equations. For instance, in 2001, Zhan [12] obtained the Gevrey regularity of the solution of the superconducting phase-locked equation. Ferrari and Titi in [13] studied the regularity of solutions to a large class of analytic nonlinear parabolic equations on the two-dimensional sphere. Chueshov and Polat in [14] studied the Gevrey regularity of the global attractor of the dynamical system generated by the generalized Benjamin-Bona-Mahony equation with periodic boundary conditions. Recently, the well-posedness and spatial regularity of the classic K-S equation have been completed by Zhao [15].

In this paper, we will consider well-posedness and Gevrey analyticity of the fractional porous medium Equation (1) with initial data in critical Besov spaces ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}$ for $1\le \alpha \le 2$ and $1\le p\mathrm{,}r\le \infty$. To address the equations, we consider the following integral equations:

$u\left(t\right)={\text{e}}^{-t{\Lambda }^{\alpha }}{u}_0-{\displaystyle {\int }_0^t}{\text{e}}^{-\left(t-\tau \right){\Lambda }^{\alpha }}\nabla \cdot \left(u\nabla {\left(-\Delta \right)}^{-m}u\right)\text{d}\tau \mathrm{.}$ (3)

where ${\text{e}}^{-t{\Lambda }^{\alpha }}\mathrm{<mo>\; :\; </mo>}={\mathcal{F}}^{-1}\left({\text{e}}^{-t{\left|\xi \right|}^{\alpha }}\mathcal{F}\right)$. We use the following the contraction mapping to get the solution of (3):

$\mathbb{G}\left(u\right)\mathrm{<mo>\; :\; </mo>}={\text{e}}^{-t{\Lambda }^{\alpha }}{u}_0-{\displaystyle {\int }_0^t}{\text{e}}^{-\left(t-\tau \right){\Lambda }^{\alpha }}\nabla \cdot \left(u\nabla {\left(-\Delta \right)}^{-m}u\right)\text{d}\tau \mathrm{.}$

Then we utilize the Gevrey class regularity to certify analyticity of solutions. As an application, we get time decay rates in Besov spaces for global solutions.

Let us denote by ${\Lambda }_1$ the Fourier multiplier whose symbol is given by ${\left|\xi \right|}_1=\left|{\xi }_1\right|+\cdots +\left|{\xi }_n\right|$.

The overall structure of the article is shown below. In Section 2, we review the Littlewood-Paley dyadic decomposition theory and the definition of Besov spaces. In Section 3 and Section 4, we prove Theorem 3.3 and Theorem 3.5 respectively by the standard fixed point argument.

2. Notations and Preliminaries

First of all, let’s introduce some notations mentioned in the paper. We will consider the solution of system (1) in ${ℝ}^n$. For two constants A and B, if there is a finite constant C whose value of each line may vary such that $A\le CB$, we denote it as $A\lesssim B$. For a quasi-Banach space X and for any $0<T\le \infty$, we use standard notation $L^p\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}X\right)$ to denote the quasi-Banach space of Bochner measurable functions f from $\left(\mathrm{0,}T\right)$ to X endowed with the norm

${\Vert f\Vert }_{L_T^{p}X}\mathrm{<mo>\; :\; </mo>}=(\begin{array}{ll}{\left({\displaystyle {\int }_0^T}{\Vert f\left(\cdot \mathrm{,}t\right)\Vert }_X^p\text{d}t\right)}^{\frac{1}{p}}\hfill & \text{if}1\le p<\infty \mathrm{,}\hfill \\ {\sup }_{0\le t\le T}{\Vert f\left(\cdot \mathrm{,}t\right)\Vert }_X\hfill & \text{if}p=\infty \mathrm{.}\hfill \end{array}$

Especially, if $T=\infty$, we still use ${\Vert f\Vert }_{L_T^{p}X}$ rather than ${\Vert f\Vert }_{L_{\infty }^{p}X}$.

Let us introduce some basic knowledge on Littlewood-Paley theory and Besov spaces.

Let $\phi \in C_c^{\infty }\left({ℝ}^n\right)$ be a radial positive function such that

$\text{supp}\phi \subset \left\{\xi \in {ℝ}^n\mathrm{<mo>\; :\; </mo>}\frac{3}{4}\le \left|\xi \right|\le \frac{8}{3}\right\}\mathrm{,}{\displaystyle \underset{j\in Z}{\sum }}\phi \left(2^{-j}\xi \right)=1\text{for}\text{any}\xi \ne 0.$

Define the frequency localization operators as follows:

${\Delta }_{j}u={\phi }_j\left(D\right)u={\mathcal{F}}^{-1}{\phi }_j\left(\xi \right)\mathcal{F}u\mathrm{<mo>\; ;\; </mo>}{S}_{j}u={\psi }_j\left(D\right)u={\mathcal{F}}^{-1}{\psi }_j\left(\xi \right)\mathcal{F}u\mathrm{,}$

here ${\phi }_j\left(\xi \right)=\phi \left(2^{-j}\xi \right)$ and ${\psi }_j={\displaystyle {\sum }_{k\le j-1}}{\phi }_j$.

By Bony’s decomposition, we can split the product $uv$ into three parts:

$uv=T_{u}v+T_{v}u+R\left(u,v\right),$

with

$T_{u}v={\displaystyle \underset{j}{\sum }}{S}_{j-1}u{\Delta }_{j}v,R\left(u,v\right)={\displaystyle \underset{j}{\sum }}{\Delta }_{j}u{\tilde{\Delta }}_{j}v,{\tilde{\Delta }}_{j}v={\Delta }_{j-1}v+{\Delta }_{j}v+{\Delta }_{j+1}v.$

Let us now define the Besov spaces as follows.

Definition 2.1 For $s<\frac{n}{p}$ (or $s=\frac{n}{p}$ if $r=1$ ), $s\in ℝ$, $p\mathrm{,}r\in \left[\mathrm{1,}\infty \right]$ and $f\in {\mathcal{S}}^{\prime }\left({ℝ}^n\right)$, we define the homogeneous Besov space ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s$ as

${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s=\left\{f\in {\mathcal{S}}^{\prime }\left({ℝ}^n\right)/\mathcal{P}\left({ℝ}^n\right)\mathrm{<mo>\; :\; </mo>}{\Vert f\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s}={\left({\displaystyle \underset{j\in \mathbb{Z}}{\sum }}{2}^{jsr}{\Vert {\Delta }_{j}f\Vert }_{L^p}^r\right)}^{1/r}<\infty \right\}\mathrm{.}$

Here the norm changes normally when $p=\infty$ or $r=\infty$, and $\mathcal{P}$ is the set of all polynomials. If $k\in \mathbb{N}$ and $\frac{n}{p}+k\le s\le \frac{n}{p}+k+1$ (or $s=\frac{n}{p}+k+1$ if $r=1$ ), then ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s$ is defined as the subset of distributions $f\in {\mathcal{S}}^{\prime }\left({ℝ}^n\right)$ so that ${\partial }^{\beta }f\in {\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s-k}$ when $\left|\beta \right|=k$.

Definition 2.2 For $0<T\le \infty$, $s\le \frac{n}{p}\left(s\in ℝ\right)$, $1\le p,r,\rho \le \infty$, we set (with the usual convention if $r=\infty$ )

${\Vert f\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\right)}\mathrm{<mo>\; :\; </mo>}={\left({\displaystyle \underset{j\in Z}{\sum }}{2}^{jsr}{\Vert {\Delta }_{j}f\Vert }_{L^{\rho }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{L}^p\right)}^r\right)}^{\frac{1}{r}}\mathrm{.}$

We then define the space ${\tilde{L}}^{\rho }\left(\mathrm{0,}T\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\left({ℝ}^n\right)\right)$ as the set of temperate distributions f over $\left(\mathrm{0,}T\right)\times {ℝ}^n$ such that ${\lim }_{j\to -\infty }{S}_{j}f=0$ in $S^{\prime }\left(\left(\mathrm{0,}T\right)\times {ℝ}^n\right)$ and ${\Vert f\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p,r}^s\right)}<\infty$.

Lemma 2.3 [16] Let $\mathcal{B}$ be a ball, and $\mathcal{C}$ a ring in ${ℝ}^n$. There exists a constant C such that for positive real number $\lambda$, any nonnegative integer k and any couple of real numbers $\left(p\mathrm{,}r\right)$ with $1\le p\le r\le \infty$, we know

$\text{supp}\mathcal{F}\left(f\right)\subset \lambda \mathcal{B}\Rightarrow {\sup }_{\left|\alpha \right|=k}{\Vert {\partial }^{\alpha }f\Vert }_{L^r}\le C^{k+1}{\lambda }^{k+n\left(\frac{1}{p}-\frac{1}{r}\right)}{\Vert f\Vert }_{L^p},$ (4)

$\text{supp}\mathcal{F}\left(f\right)\subset \lambda \mathcal{C}\Rightarrow C^{-k-1}{\lambda }^k{\Vert f\Vert }_{L^p}\le {\sup }_{\left|\alpha \right|=k}{\Vert {\partial }^{\alpha }f\Vert }_{L^r}\le C^{k+1}{\lambda }^k{\Vert f\Vert }_{L^p}\mathrm{.}$ (5)

Lemma 2.4 [16] Let f be a smooth function on ${ℝ}^n\backslash \left\{0\right\}$ which is homogeneous of degree m. Then for any $s\in ℝ$, $1\le p\mathrm{,}q\le \infty$, and $s-m<\frac{n}{p}$, or $s-m=\frac{n}{p}$ and $q=1$, the operator $f\left(D\right)$ is continuous from ${\stackrel{\dot{}}{B}}_{p\mathrm{,}q}^s\left({ℝ}^n\right)$ to ${\stackrel{\dot{}}{B}}_{p\mathrm{,}q}^{s-m}\left({ℝ}^n\right)$.

Lemma 2.5 [17] Let $\mathcal{C}$ be a ring in ${ℝ}^n$. There exist two positive constants $\kappa$ and $\mathcal{K}$ such that for any $p\in \left[\mathrm{1,}\infty \right]$ and any couple $\left(t\mathrm{,}\lambda \right)$ of positive real numbers, we have

$\text{supp}\mathcal{F}\left(f\right)\subset \lambda \mathcal{C}\Rightarrow {\Vert {\text{e}}^{t{\Lambda }^{\alpha }}f\Vert }_{L^p}\le \mathcal{K}{\text{e}}^{-\kappa {\lambda }^{\alpha }t}{\Vert f\Vert }_{L^p}\mathrm{.}$ (6)

3. The Case $1<\alpha \le 2$ : Well-Posedness, Regularity and Time Decay

In this chapter we will demonstrate well-posedness and Gevrey analyticity of Equation (1) in critical Besov spaces ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}$ for $1<\alpha \le 2$. Let $n\ge 2$, $1<\alpha \le 2$. Suppose $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)$. When $1\le p,r\le \infty$, let us prove the above properties.

3.1. The Case $1\le p<\infty$ : Well-Posedness

First of all, we give a priori estimate for the following fractional dissipative equation:

$(\begin{array}{l}{\partial }_{t}u+{\Lambda }^{\alpha }u=f,x\in {ℝ}^n,t>0,\\ u\left(x,0\right)=u_0\left(x\right),x\in {ℝ}^n.\end{array}$ (7)

Proposition 3.1 ( [4] ) Let $s\in ℝ$, $1\le p\mathrm{,}r\mathrm{,}{\rho }_1\le \infty$ and $0<T\le \infty$. There exists a constant $C>0$ depending only on $\alpha$ and n such that for any ${\rho }_1\le \rho \le \infty$, we have

${\Vert u\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\frac{\alpha }{\rho }}\right)}\le C\left({\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s}+{\Vert f\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\frac{\alpha }{{\rho }_1}-\alpha }\right)}\right)\mathrm{.}$ (8)

Next we present the following vital bilinear estimates.

Lemma 3.2 Let $s>0$, $\epsilon >0$, $2m-1+\epsilon >0$, $1\le p<+\infty$, $1\le r\mathrm{,}\rho \mathrm{,}{\rho }_1\mathrm{,}{\rho }_2\le +\infty$ with $\frac{1}{\rho }=\frac{1}{{\rho }_1}+\frac{1}{{\rho }_2}$. There holds

${\Vert u\nabla {\left(-\Delta \right)}^{-m}v\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\epsilon }\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{1-2m+\frac{n}{p}-\epsilon }\right)}\mathrm{.}$ (9)

Proof. According to Bony’s paraproduct decomposition, we find that

$\begin{array}{l}u\nabla {\left(-\Delta \right)}^{-m}v={\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\Delta }_{j^{\prime }}u\nabla {\left(-\Delta \right)}^{-m}{S}_{j^{\prime }-1}+{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{S}_{j^{\prime }-1}u\nabla {\left(-\Delta \right)}^{-m}{\Delta }_{j^{\prime }}v\\ +{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{\Delta }_{j^{\prime }}u\nabla {\left(-\Delta \right)}^{-m}{\Delta }_{{j^{\prime }}^{\prime }}v\\ \mathrm{<mo>\; :\; </mo>}=I_1+I_2+I_3\mathrm{.}\end{array}$

Firstly, we estimate $I_1$. Applying Hölder’s inequality and Lemmas 2.3, 2.4, there holds

$\begin{array}{l}{\Vert {\Delta }_j{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\Delta }_{j^{\prime }}u\nabla {\left(-\Delta \right)}^{-m}{S}_{j^{\prime }-1}v\Vert }_{L_T^{\rho }\left(L^p\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\Vert \nabla {\left(-\Delta \right)}^{-m}{S}_{j^{\prime }-1}v\Vert }_{L_T^{{\rho }_2}\left(L^{\infty }\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\displaystyle \underset{k\le j^{\prime }-2}{\sum }}{2}^{k\left(1-2m+\frac{n}{p}\right)}{\Vert {\Delta }_{k}v\Vert }_{L_T^{{\rho }_2}\left(L^p\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\displaystyle \underset{k\le j^{\prime }-2}{\sum }}{2}^{\epsilon k}{2}^{\left(1-2m+\frac{n}{p}-\epsilon \right)k}{\Vert {\Delta }_{k}v\Vert }_{L_T^{{\rho }_2}\left(L^p\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{2}^{-s{j}^{\prime }}{2}^{\left(s+\epsilon \right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{1-2m+\frac{n}{p}-\epsilon }\right)}\mathrm{.}\end{array}$ (10)

Multiplying (10) by $2^{sj}$ and taking $l^r$ -norm, we get

${\Vert I_1\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\epsilon }\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{1-2m+\frac{n}{p}-\epsilon }\right)}\mathrm{.}$ (11)

Similarly, for $I_2$, utilizing Hölder’s inequality and Lemmas 2.3, 2.4, when $2m-1+\epsilon >0$, we find that

${\Vert I_2\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\epsilon }\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{1-2m+\frac{n}{p}-\epsilon }\right)}\mathrm{.}$ (12)

Now we deal with the term $I_3$. For one thing, we premeditate the case of $2\le p<\infty$, firstly using Bernstein’s inequality, then by Hölder’s inequality with $\frac{2}{p}=\frac{1}{p}+\frac{1}{p}$,

$\begin{array}{l}{\Vert {\Delta }_j{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{\Delta }_{j^{\prime }}u\nabla {\left(-\Delta \right)}^{-m}{\Delta }_{j^{″}}v\Vert }_{L_T^{\rho }\left(L^p\right)}\\ \lesssim 2^{\frac{n}{p}j}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{2}^{\left(-s-\frac{n}{p}\right)j^{\prime }}{2}^{\left(s+\epsilon \right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{2}^{\left(1-2m+\frac{n}{p}-\epsilon \right)j^{″}}{\Vert {\Delta }_{j^{″}}v\Vert }_{L_T^{{\rho }_2}\left(L^p\right)}\\ \lesssim 2^{-sj}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{2}^{-\left(s+\frac{n}{p}\right)\left(j^{\prime }-j\right)}{2}^{\left(s+\epsilon \right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p,r}^{1-2m+\frac{n}{p}-\epsilon }\right)}.\end{array}$ (13)

For another case: $1\le p<2$, $2<p^{\prime }\le \infty$, $\frac{1}{p}+\frac{1}{p^{\prime }}=1$, firstly using Bernstein’s inequality, then by Hölder’s inequality, and exploiting Bernstein’s inequality again,

$\begin{array}{l}{\Vert {\Delta }_j{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{\Delta }_{j^{\prime }}u\nabla {\left(-\Delta \right)}^{-m}{\Delta }_{j^{″}}v\Vert }_{L_T^{\rho }\left(L^p\right)}\\ \lesssim 2^{j\left(n-\frac{n}{p}\right)}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{2}^{-\left(n-\frac{n}{p}+s\right)j^{\prime }}{2}^{\left(s+\epsilon \right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{2}^{\left(1-2m+\frac{n}{p}-\epsilon \right)j^{″}}{\Vert {\Delta }_{j^{″}}v\Vert }_{L_T^{{\rho }_2}\left(L^p\right)}\\ \lesssim 2^{-sj}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{2}^{-\left(n-\frac{n}{p}+s\right)\left(j^{\prime }-j\right)}{2}^{\left(s+\epsilon \right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p,r}^{1-2m+\frac{n}{p}-\epsilon }\right)}.\end{array}$ (14)

Under the assumption of Lemma 3.2, we have

$s+\frac{n}{p}>0,\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}n-\frac{n}{p}+s>0.$

Therefore we deduce from the estimate (13)-(14) that for all $1\le p<\infty$,

${\Vert I_3\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\epsilon }\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{1-2m+\frac{n}{p}-\epsilon }\right)}\mathrm{.}$

$\square$

Now we are in a position to prove well-posedness of the system (1) in the case that $1<\alpha \le 2$ and $1\le p<\infty$.

Theorem 3.3 Let $1\le p<\infty$, $\frac{2\alpha -2}{\alpha }=\frac{1}{{\rho }_1}+\frac{1}{{\rho }_2}$, $s=1-2m+\frac{n}{p}$ and $\epsilon =1-\alpha +\frac{\alpha }{{\rho }_1}$. Then we have a $T^{*}=T^{*}\left(u_0\right)>0$ such that the system (1) has a unique solution $u\in {\mathcal{X}}_{T^{\mathrm{<mo>\; *\; </mo>}}}$, where

${\mathcal{X}}_{T^{\mathrm{<mo>\; *\; </mo>}}}\mathrm{<mo>\; :\; </mo>}={\tilde{L}}^{\infty }\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^{{\rho }_1}\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^{{\rho }_2}\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\left({ℝ}^n\right)\right)$

with

$s_1=\frac{n}{p}-\alpha +2-2m+\frac{\alpha }{{\rho }_1},\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}{s}_2=\frac{n}{p}-\alpha +2-2m+\frac{\alpha }{{\rho }_2},\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}\frac{1}{{\rho }_1}+\frac{1}{{\rho }_2}=\frac{1}{\rho }.$

If $T^{*}<\infty$, we have

${\Vert u\Vert }_{{\tilde{L}}_{T^{\mathrm{<mo>\; *\; </mo>}}}^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_{T^{\mathrm{<mo>\; *\; </mo>}}}^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}=\infty \mathrm{.}$

Furthermore, if the initial value $u_0$ is small enough in ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)$, then $T^{*}=\infty$.

Proof. Define the map

$\mathbb{G}\mathrm{<mo>\; :\; </mo>}u\left(t\right)\to {\text{e}}^{-t{\Lambda }^{\alpha }}{u}_0-{\displaystyle {\int }_0^t}{\text{e}}^{-\left(t-\tau \right){\Lambda }^{\alpha }}\nabla \cdot \left(u\nabla {\left(-\Delta \right)}^{-m}u\right)\text{d}\tau \mathrm{.}$ (15)

in the metric space $\left(I=\left[0,T\right]\right)$ :

$D_T\mathrm{<mo>\; :\; </mo>\; <mo>\; =\; </mo>}\left\{u\mathrm{<mo>\; :\; </mo>}{\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}\le \eta \mathrm{,\; <mtext>\; \hspace{0.17em}\; </mtext>}d\left(u\mathrm{,}v\right)\mathrm{<mo>\; :\; </mo>}={\Vert u-v\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}\right\}$

with

$s_1=\frac{n}{p}-\alpha +2-2m+\frac{\alpha }{{\rho }_1},\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}{s}_2=\frac{n}{p}-\alpha +2-2m+\frac{\alpha }{{\rho }_2}.$

Exploiting Proposition 3.1 and Lemma 3.2 by choosing $\rho =\frac{\alpha }{2\alpha -2}$, for any $u\mathrm{,}v\in D_T$, we get

$\begin{array}{l}{\Vert \mathbb{G}\left(u\right)\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}\\ \lesssim {\Vert {\text{e}}^{-t{\Lambda }^{\alpha }}{u}_0\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}+{\Vert u\nabla {\left(-\Delta \right)}^{-m}u\Vert }_{{\tilde{L}}_T^{\frac{\alpha }{2\alpha -2}}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{1-2m+\frac{n}{p}}\right)}\\ \lesssim {\Vert {\text{e}}^{-t{\Lambda }^{\alpha }}{u}_0\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}+{\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}^2\mathrm{,}\end{array}$ (16)

and

$d\left(\mathbb{G}\left(u\right)\mathrm{,}\mathbb{G}\left(v\right)\right)\lesssim \eta d\left(u\mathrm{,}v\right)\mathrm{.}$ (17)

Now by the standard contraction mapping argument ( [16] ), there exists a unique solution $u\in D_T$ for T small appropriately. And from Proposition 3.1, we get

${\Vert u\Vert }_{{\tilde{L}}_T^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\right)}\lesssim {\Vert u\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}}+{\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}^2\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}}+{\eta }^2\mathrm{.}$

Thus the solution u can be extended to the maximum time $T^{\mathrm{<mo>\; *\; </mo>}}$, we have

$u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\right)\cap {\tilde{L}}^{{\rho }_1}\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}^{{\rho }_2}\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)\mathrm{.}$

If $T^{*}<\infty$ and ${\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}<\infty$, we need to premeditate the following integral equation

$u\left(t\right)={\text{e}}^{-\left(t-T\right){\Lambda }^{\alpha }}u\left(T\right)-{\displaystyle {\int }_T^t}{\text{e}}^{-\left(t-\tau \right){\Lambda }^{\alpha }}\nabla \cdot \left(u\nabla {\left(-\Delta \right)}^{-m}u\right)\text{d}\tau \mathrm{.}$

Similarly, we show that

$\begin{array}{l}{\Vert u\left(t\right)\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left(T\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left(T\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}\\ \le {\Vert u\left(T\right)\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left(T\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left(T\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}+{\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left(T\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left(T\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}^2\mathrm{.}\end{array}$

Using the contraction mapping argument as in (16), the solution exists on $\left[T\mathrm{,}{T}^{\mathrm{<mo>\; *\; </mo>}}\right]$. Taking T closed to $T^{\mathrm{<mo>\; *\; </mo>}}$ and by the local existence, the solution exists on some time larger than $T^{\mathrm{<mo>\; *\; </mo>}}$, which contradicts the maximum time $T^{\mathrm{<mo>\; *\; </mo>}}$. Besides, we can take $T=\infty$ in (16) and (17) if ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}}$ is small enough. Thus we proved Theorem 3.3. $\square$

3.2. The Case $1<\alpha <2$ and $p=\infty$ : Well-Posedness

In this part, we study the endpoint case $p=\infty$. The crucial bilinear estimates are as follow.

Lemma 3.4 For $1<\alpha <2$, $m\ge 1$, we have

${\Vert u\nabla {\left(-\Delta \right)}^{-m}v\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{3-\alpha -2m}\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\mathrm{.}$ (18)

Proof. We consider the following the estimation of $I_1$ :

$\begin{array}{c}{\Vert {\Delta }_j{I}_1\Vert }_{L_t^1\left(L^{\infty }\right)}\lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^1\left(L^{\infty }\right)}{\displaystyle \underset{k\le j^{\prime }-2}{\sum }}{2}^{k\left(\alpha -1\right)}{2}^{\left(-\alpha +2-2m\right)k}{\Vert {\Delta }_{k}v\Vert }_{L_t^{\infty }\left(L^{\infty }\right)}\\ \lesssim 2^{\left(\alpha +2m-3\right)j}{\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{2}^{\left(\alpha +2m-3\right)\left(j^{\prime }-j\right)}{2}^{\left(2-2m\right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^1\left(L^{\infty }\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)}\mathrm{.}\end{array}$

Therefore, according to Definition 2.2, there holds

${\Vert I_1\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{3-2m-\alpha }\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\mathrm{.}$ (19)

In the same way, for $I_2$, when $m\ge 1$, we obtain

${\Vert I_2\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{3-2m-\alpha }\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\mathrm{.}$ (20)

Now we treat with $I_3$.

$\begin{array}{c}{\Vert {\Delta }_j{I}_3\Vert }_{L_t^1\left(L^{\infty }\right)}\lesssim {\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^1\left(L^{\infty }\right)}{2}^{\left(\alpha -1\right)j^{″}}{2}^{\left(-\alpha +2-2m\right)j^{″}}{\Vert {\Delta }_{j^{″}}v\Vert }_{L_t^{\infty }\left(L^{\infty }\right)}\\ \lesssim 2^{\left(\alpha +2m-3\right)j}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{2}^{\left(\alpha +2m-3\right)\left(j^{\prime }-j\right)}{2}^{\left(2-2m\right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^1\left(L^{\infty }\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)}\mathrm{.}\end{array}$ (21)

Under the hypothesis $1\le \alpha <2$, we have $\alpha +2m-3<0$. Hence considering the estimate (21), and multiplying $2^{\left(3-2m-\alpha \right)j}$ to the resulting inequality, then taking $l^1$ norm yields

${\Vert I_3\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{3-2m-\alpha }\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\mathrm{.}$ (22)

Due to (19), (20) and (22), we come to the (20). The proof of Lemma 3.9 is done. $\square$

Theorem 3.5 Let $1<\alpha <2$ and $p=\infty$. Assume that ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}}$ is small enough. When $3-\alpha -2m>0$, then there is a unique solution to this system (1) that satisfies

$u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

Proof. To proving Theorem 3.5, we consider the space ${\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)$. From the mapping (15), Proposition 3.1 and Lemma 3.4, one has

$\begin{array}{c}{\Vert \mathbb{G}\left(u\right)\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}}+{\Vert u\nabla {\left(-\Delta \right)}^{-m}u\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{3-2m-\alpha }\right)}\\ \lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}}+{\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}^2\mathrm{.}\end{array}$ (23)

Applying the standard contraction mapping argument as before, we can show that system (1) confesses a unique solution in $u\in {\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)$ if ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}}$ is sufficiently small. $\square$

3.3. The Case $1<p<\infty$ : Gevrey Analyticity

In this part, we calculate analyticity of system (1) with initial data in ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +2-2m+\frac{n}{p}}$ for $1<\alpha \le 2$ and $1<p<\infty$. At the very beginning, let’s review the following three results.

Lemma 3.6 (Lemma 3.2 in [18] ) We consider the operator $E_{\alpha }:={\text{e}}^{-\left[{\left(t-s\right)}^{\frac{1}{\alpha }}+s^{\frac{1}{\alpha }}-t^{\frac{1}{\alpha }}\right]{\Lambda }_1}$ for $0\le s\le t$. Then $E_{\alpha }$ is either the identity operator or is the Fourier multiplier with $L^1$ kernel whose $L^1$ -norm is bounded independent of s and t.

Lemma 3.7 (Lemma 3.3 in [18] ) Assume that the operator $F_{\alpha }:={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1-\frac{1}{2}t{\Lambda }^{\alpha }}$ for $t\ge 0$. Then $F_{\alpha }$ is the Fourier multiplier which maps boundedly $L^p\to L^p$ for $1<p<\infty$, and its operator norm is uniformly bounded with respect to $t\ge 0$.

Lemma 3.8 (Proposition 3.5 in [15] ) Let $s\in ℝ$, $1<p<\infty$, $1\le r\mathrm{,}{\rho }_1\le \infty$ and $0<T\le \infty$. Assume that $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\left({ℝ}^n\right)$ and $f\in {\tilde{L}}_T^{{\rho }_1}\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p,r}^{s+\frac{\alpha }{{\rho }_1}-\alpha }\left({ℝ}^n\right)\right)$. Then (7) has a unique solution $u\in {\displaystyle {\cap }_{{\rho }_1\le \rho \le \infty }{\tilde{L}}_T^{\rho }\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\frac{\alpha }{\rho }}\right)}$. In addition, there exists a constant $C>0$ depending only on $\alpha$ and n so that for any ${\rho }_1\le \rho \le \infty$, we see

${\Vert u\Vert }_{{\tilde{L}}_T^{\rho }\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s+\frac{\alpha }{\rho }}\right)}\le C\left({\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p,r}^s}+{\Vert f\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p,r}^{s+\frac{\alpha }{{\rho }_1}-\alpha }\right)}\right).$ (24)

Let’s take ${\Vert f\Vert }_{{\tilde{L}}_T^{\rho }\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\right)}$ represent for ${\Vert {\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}f\Vert }_{{\tilde{L}}_T^{\rho }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^s\right)}$. Now we employ the operator ${\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}$ to certificate a result similar to Lemma 3.2.

Lemma 3.9 Let $s>0$, $1<p<+\infty$, $1\le r\mathrm{,}\rho \mathrm{,}{\rho }_1\mathrm{,}{\rho }_2\le +\infty$ with $\frac{1}{\rho }=\frac{1}{{\rho }_1}+\frac{1}{{\rho }_2}$. Then for any $\epsilon >0$, $0<T\le \infty$, there holds

${\Vert u\nabla {\left(-\Delta \right)}^{-m}v\Vert }_{{\tilde{L}}_T^{\rho }\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p,r}^s\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p,r}^{s+\epsilon }\right)}{\Vert v\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p,r}^{1-2m+\frac{n}{p}-\epsilon }\right)}.$ (25)

In addition, if we choose $\epsilon =0$, then (25) also holds for $r=1$.

Proof. Set $U\left(t\right)={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\left(t\right),V\left(t\right)={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}v\left(t\right)$. Then according to the idea of Lemma 3.2, firstly, by Bony’s paraproduct decomposition to get

$\begin{array}{c}{\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}\left(u\nabla {\left(-\Delta \right)}^{-m}v\right)={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}{\Delta }_{j^{\prime }}U{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}\nabla {\left(-\Delta \right)}^{-m}{S}_{j^{\prime }-1}V\\ +{\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}{S}_{j^{\prime }-1}U{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}\nabla {\left(-\Delta \right)}^{-m}{\Delta }_{j^{\prime }}V\\ +{\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\displaystyle \underset{j^{\prime }\in Z}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}{\Delta }_{j^{\prime }}U{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}\nabla {\left(-\Delta \right)}^{-m}{\Delta }_{j^{″}}V\\ :=J_1+J_2+J_3.\end{array}$

To estimate the items $J_i\left(i=1,2,3\right)$, we draw support a thought in [19] and [20] and find the coming bilinear operator ${\text{B}}_t\left(f\mathrm{,}g\right)$ of the descriptor

$\begin{array}{c}{\text{B}}_t\left(f\mathrm{,}g\right)\mathrm{<mo>\; :\; </mo>}={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}\left({\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}f{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}g\right)\\ =\frac{1}{{\left(2\pi \right)}^n}{\displaystyle {\int }_{{ℝ}^n}}{\displaystyle {\int }_{{ℝ}^n}}{\text{e}}^{ix\cdot \left(\xi +\eta \right)}{\text{e}}^{t^{\frac{1}{\alpha }}\left({\left|\xi +\eta \right|}_1-{\left|\xi \right|}_1-{\left|\eta \right|}_1\right)}\hat{f}\left(\xi \right)\hat{g}\left(\eta \right)\text{d}\xi \text{d}\eta \mathrm{.}\end{array}$

Based on the symbols ${\xi }_j$, ${\eta }_j$, and ${\xi }_j+{\eta }_j$, we can split the integration domain into subdomains. For $\zeta =\left({\zeta }_1\mathrm{,}\cdots \mathrm{,}{\zeta }_n\right)$, $\mu =\left({\mu }_1,\cdots ,{\mu }_n\right)$, $\nu =\left({\nu }_1\mathrm{,}\cdots \mathrm{,}{\nu }_n\right)\in {ℝ}^n$ such that ${\zeta }_i$, ${\mu }_i$, ${\nu }_i\in \left\{-\mathrm{1,1}\right\}$, we define

$D_{\zeta }:=\left\{\eta :{\zeta }_i{\eta }_i\ge 0,i=1,2,\cdots ,n\right\},$

$D_{\mu }:=\left\{\xi :{\xi }_i{\mu }_i\ge 0,i=1,2,\cdots ,n\right\},$

$D_{\nu }:=\left\{\xi +\eta :{\nu }_i\left({\xi }_i+{\eta }_i\right)\ge 0,i=1,2,\cdots ,n\right\}.$

${\chi }_D$ is a characteristic function on the domain D. Next we redefine ${\text{B}}_t\left(f\mathrm{,}g\right)$ as

${\text{B}}_t\left(f\mathrm{,}g\right)\mathrm{<mo>\; :\; </mo>}=\frac{1}{{\left(2\pi \right)}^n}{\displaystyle {\int }_{{ℝ}^n}}{\displaystyle {\int }_{{ℝ}^n}}{\text{e}}^{ix\cdot \left(\xi +\eta \right)}{\chi }_{D_{\nu }}{\text{e}}^{t^{\frac{1}{\alpha }}\left({\left|\xi +\eta \right|}_1-{\left|\xi \right|}_1-{\left|\eta \right|}_1\right)}{\chi }_{D_{\mu }}\hat{f}\left(\xi \right){\chi }_{D_{\zeta }}\hat{g}\left(\eta \right)\text{d}\xi \text{d}\eta \mathrm{.}$

By this way, we bring in the monodimensional operators:

$\begin{array}{l}{K}_{1}f\mathrm{<mo>\; :\; </mo>}=\frac{1}{2\pi }{\displaystyle {\int }_0^{\infty }}{\text{e}}^{ix\cdot \xi }\hat{f}\left(\xi \right)\text{d}\xi \mathrm{,}\\ K_{-1}f\mathrm{<mo>\; :\; </mo>}=\frac{1}{2\pi }{\displaystyle {\int }_{-\infty }^0}{\text{e}}^{ix\cdot \xi }\hat{f}\left(\xi \right)\text{d}\xi \mathrm{,}\end{array}$

and

$\begin{array}{l}{L}_{t\mathrm{,}{\epsilon }_1\mathrm{,}{\epsilon }_2}f\mathrm{<mo>\; :\; </mo>}=f\text{if}{\epsilon }_1{\epsilon }_2=\mathrm{1,}\\ L_{t\mathrm{,}{\epsilon }_1\mathrm{,}{\epsilon }_2}f\mathrm{<mo>\; :\; </mo>}=\frac{1}{2\pi }{\displaystyle {\int }_{-\infty }^{\infty }}{\text{e}}^{ix\cdot \xi }{\text{e}}^{-2t^{\frac{1}{\alpha }}{\left|\xi \right|}_1}\hat{f}\left(\xi \right)\text{d}\xi \text{if}{\epsilon }_1{\epsilon }_2=-1.\end{array}$

Furthermore for $t>0$, we have the operator

$Z_{t\mathrm{,}\zeta \mathrm{,}\mu }\mathrm{<mo>\; :\; </mo>}=K_{{\mu }_1}{L}_{t\mathrm{,}{\zeta }_1\mathrm{,}{\mu }_1}\otimes \cdots \otimes K_{{\mu }_n}{L}_{t\mathrm{,}{\zeta }_n\mathrm{,}{\mu }_n}\mathrm{.}$ (26)

The above tensor product (26) means that the j-th operator acts on the j-th variable of the function $f\left(x_1\mathrm{,}\cdots \mathrm{,}{x}_n\right)$. By calculation we have the following identity:

${\text{B}}_t\left(f\mathrm{,}g\right)={\displaystyle \underset{\zeta \mathrm{,}\mu \mathrm{,}\nu \in {\left\{-\mathrm{1,1}\right\}}^{n\times 3}}{\sum }}{K}_{{\mu }_1}\otimes \cdots \otimes K_{{\mu }_n}\left(Z_{t\mathrm{,}\zeta \mathrm{,}\mu }f{Z}_{t\mathrm{,}\zeta \mathrm{,}\nu }g\right)\mathrm{.}$

Observing that for $\xi +\eta \in D_{\nu }$, $\xi \in D_{\mu }$ and $\eta \in D_{\zeta }$, ${\text{e}}^{t^{\frac{1}{\alpha }}\left({\left|\xi +\eta \right|}_1-{\left|\xi \right|}_1-{\left|\eta \right|}_1\right)}$ have to be a member of the following set:

$\mathbb{F}\mathrm{<mo>\; :\; </mo>}=\left\{\mathrm{1,}{\text{e}}^{-2t^{\frac{1}{\alpha }}{\left|{\xi }_i+{\eta }_i\right|}_1}\mathrm{,}{\text{e}}^{-2t^{\frac{1}{\alpha }}{\left|{\xi }_i\right|}_1}\mathrm{,}{\text{e}}^{-2t^{\frac{1}{\alpha }}{\left|\eta \right|}_1}\mathrm{,}i=\mathrm{1,2,}\cdots \mathrm{,}n\right\}\mathrm{.}$

Notice that ${\chi }_{D_{\zeta }}$, ${\chi }_{D_{\mu }}$, ${\chi }_{D_{\nu }}$ and the elements in $\mathbb{F}$ are Fourier multipliers in $L^p$ for $1<p<\infty$, and the operators $K_{\mu }$ and $Z_{t\mathrm{,}\zeta \mathrm{,}\mu }$ are combination of identity operators and those Fourier multipliers. It is clear that the operators $K_{\mu }$ and $Z_{t\mathrm{,}\zeta \mathrm{,}\mu }$ are bounded linear operators on $L^p$ with $1<p<\infty$, and the relevant operator norm of $Z_{t\mathrm{,}\zeta \mathrm{,}\mu }$ is bounded independent of $t\ge 0$. Moreover, for $1<p,p_1,p_2<\infty$, we have

$\begin{array}{l}{\Vert {\text{B}}_t\left(f\mathrm{,}g\right)\Vert }_{L^p}\lesssim {\Vert Z_{t\mathrm{,}\zeta \mathrm{,}\mu }f{Z}_{t\mathrm{,}\zeta \mathrm{,}\nu }g\Vert }_{L^p}\lesssim {\Vert f\Vert }_{L^{p_1}}{\Vert g\Vert }_{L^{p_2}}\\ \text{with}\frac{1}{p}=\frac{1}{p_1}+\frac{1}{p_2}\mathrm{.}\end{array}$

Because of the new restriction of the bilinear operator ${\text{B}}_t\left(f\mathrm{,}g\right)$, we can do prove Lemma 3.9 based on Lemma 3.2. In fact, let’s take the example of $J_1$ :

$\begin{array}{c}{\Vert {\Delta }_j{J}_1\Vert }_{L_T^{\rho }\left(L^p\right)}={\Vert {\Delta }_j{\displaystyle \underset{j^{\prime }\in \mathbb{Z}}{\sum }}{\text{B}}_t\left({\Delta }_{j^{\prime }}U\mathrm{,}\nabla {\left(-\Delta \right)}^{-m}{S}_{j^{\prime }-1}V\right)\Vert }_{L_T^{\rho }\left(L^p\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert K_{{\mu }_1}\otimes \cdot \cdot \cdot \otimes K_{{\mu }_n}\left(Z_{t\mathrm{,}\zeta \mathrm{,}\mu }{\Delta }_{j^{\prime }}U{Z}_{t\mathrm{,}\zeta \mathrm{,}\nu }\nabla {\left(-\Delta \right)}^{-m}{S}_{j^{\prime }-1}V\right)\Vert }_{L_T^{\rho }\left(L^p\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert Z_{t\mathrm{,}\zeta \mathrm{,}\mu }{\Delta }_{j^{\prime }}U\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\Vert Z_{t\mathrm{,}\zeta \mathrm{,}\nu }\nabla {\left(-\Delta \right)}^{-m}{S}_{j^{\prime }-1}V\Vert }_{L_T^{{\rho }_2}\left(L^{\infty }\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert {\Delta }_{j^{\prime }}U\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\displaystyle \underset{k\le j^{\prime }-2}{\sum }}{2}^{\epsilon k}{2}^{k\left(1-2m+\frac{n}{p}-\epsilon \right)}{\Vert {\Delta }_{k}V\Vert }_{L_T^{{\rho }_2}\left(L^p\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{2}^{-s{j}^{\prime }}{2}^{j^{\prime }\left(s+\epsilon \right)}{\Vert {\Delta }_{j^{\prime }}U\Vert }_{L_T^{{\rho }_1}\left(L^p\right)}{\Vert V\Vert }_{{\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}q}^{1-2m+\frac{n}{p}-\epsilon }\right)}\mathrm{.}\end{array}$

The rest of terms are similarly estimated. Therefore, we get the estimated formula (25). $\square$

Theorem 3.10 Let $1<p<\infty$. Then the solution obtained in Theorem 3.3 satisfies

${\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\in {\mathcal{X}}_{T^{\mathrm{<mo>\; *\; </mo>}}}\mathrm{.}$ (27)

What is more, if $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)$ is small enough, then $T^{*}=\infty$.

Proof. Taken together with Lemma 3.8 and Lemma 3.9, using the mapping (15), we get

$\begin{array}{l}{\Vert \mathbb{G}\left(u\right)\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\text{e}}^{t\frac{1}{\alpha }{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}\\ \lesssim {\Vert {\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1-t{\Lambda }^{\alpha }}{u}_0\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}+{\Vert u\nabla {\left(-\Delta \right)}^{-m}u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\text{e}}^{t\frac{1}{\alpha }{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}\\ \lesssim {\Vert {\text{e}}^{-\frac{t}{2}{\Lambda }^{\alpha }}{u}_0\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}+{\Vert u\Vert }_{{\tilde{L}}_T^{{\rho }_1}\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_T^{{\rho }_2}\left({\text{e}}^{t\frac{1}{\alpha }{\Lambda }_1}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}^2\mathrm{.}\end{array}$

Based on estimate the above estimate and the contraction mapping argument, we accomplish the proof.

3.4. The Case $1<\alpha <2$ and $p=\infty$ : Gevrey Analyticity

Theorem 3.11 Let $1<\alpha <2,\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}p=\infty$. Then the solution obtained in Theorem 3.5 satisfies

${\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$ (28)

Proof. Suppose $U\left(t\right)\mathrm{<mo>\; :\; </mo>}={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\left(t\right)$. Then $U\left(t\right)$ meets the following integral equation

$U\left(t\right)={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1-t{\Lambda }^{\alpha }}{u}_0-{\displaystyle {\int }_0^t}\left[{\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1-\left(t-\tau \right){\Lambda }^{\alpha }}\nabla \cdot \left({\text{e}}^{-{\tau }^{\frac{1}{\alpha }}{\Lambda }_1}U\cdot {\text{e}}^{-{\tau }^{\frac{1}{\alpha }}{\Lambda }_1}\nabla {\left(-\Delta \right)}^{-m}U\right)\right]\text{d}\tau \mathrm{.}$ (29)

Since the symbol ${\text{e}}^{t^{\frac{1}{\alpha }}{\left|\xi \right|}_1-\frac{t}{2}{\left|\xi \right|}^{\alpha }}$ is uniformly bounded for all $\xi$ and decays exponentially for $\left|\xi \right|\gg 1$, the Fourier multiplier $F_{\alpha }\mathrm{<mo>\; :\; </mo>}={\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1-\frac{1}{2}t{\Lambda }^{\alpha }}$ maps uniformly bounded from $L^{\infty }$ to $L^{\infty }$ for all $t\ge 0$. Using Young’s inequality, there holds

${\Vert {\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1-t{\Lambda }^{\alpha }}{u}_0\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert {\text{e}}^{-\frac{1}{2}t{\Lambda }^{\alpha }}{u}_0\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}}\mathrm{.}$

For the nonlinear part, although the operators $K_{\zeta }$ and $Z_{t\mathrm{,}\zeta \mathrm{,}\mu }$ don’t map $L^{\infty }$ to $L^{\infty }$ bounded, these operators are bounded in $L^{\infty }$ when localized in dyadic blocks. Based on the calculations line from (19) to (22) and by the continuing the same line as the proof of Lemma 3.9, and notice that Lemma 3.9, we have

$\begin{array}{l}{\Vert u\left(t\right)\Vert }_{{\tilde{L}}_t^{\infty }\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\\ \lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}}+{\Vert u\left(t\right)\Vert }_{{\tilde{L}}_t^{\infty }\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\right)\cap {\tilde{L}}_t^1\left({\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}^2\mathrm{.}\end{array}$

This finishes the proof, as expected. $\square$

3.5. Decay Rate of Solution

In this part, we concentrate on the decay rate estimates of solutions gained in Theorem 3.3, Theorem 3.5, Theorem 3.10 and Theorem 3.11. The proof is based on the following consequence.

Lemma 3.12 ( [15] ) For all $\sigma \ge 0$ and $1<\alpha \le 2$, the operator ${\Lambda }^{\sigma }{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}$ is the convolution operator with a kernel $K_{\sigma }\left(t\right)\in L^1\left({ℝ}^n\right)$ for all $t>0$. Moreover

${\Vert K_{\sigma }\left(t\right)\Vert }_{L^1}\le C_{\sigma }{t}^{-\frac{\sigma }{\alpha }}\mathrm{,}$ (30)

where $C_{\sigma }:={\Vert {\Lambda }^{\sigma }{\text{e}}^{-{\Lambda }_1}\Vert }_{L^1}$.

Now we have show that if the initial data $u_0$ is small enough in critical Besov spaces ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}$ for either $1<\alpha \le 2$, $1<p<\infty$ and $1\le r\le \infty$ or $1<\alpha <2$, $p=\infty$ and $r=1$, then the solution is in the Gevrey class. As a result, we obtain the time decay of global mild solution for all $\sigma \ge 0$ in Besov spaces:

$\begin{array}{c}{\Vert {\Lambda }^{\sigma }u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p,r}^{-\alpha +\frac{n}{p}+2-2m}}={\Vert {\Lambda }^{\sigma }{\text{e}}^{-t^{\frac{1}{\alpha }}{\Lambda }_1}{\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p,r}^{-\alpha +\frac{n}{p}+2-2m}}\\ \le C_{\sigma }{t}^{-\frac{\sigma }{\alpha }}{\Vert {\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p,r}^{-\alpha +\frac{n}{p}+2-2m}}\\ \le C_{\sigma }{t}^{-\frac{\sigma }{\alpha }}{\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p,r}^{-\alpha +\frac{n}{p}+2-2m}}.\end{array}$

This proof is done.

4. The Case $\alpha =1$ : The Proof of Theorem

In this part, we will prove the case $\alpha =1$ for the system (1) with initial data in critical spaces ${\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\left(1\le p\le \infty \right)$.

4.1. The Case $1\le p<\infty$ : Well-Posedness

For any initial data $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}$, we think the resolution space ${\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\right)$. Slightly modifying the proof Lemma 3.4, we obtain the consequence as follows.

Lemma 4.1 For any $u\mathrm{,}v\in {\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)$, when $\frac{1}{2}<m<\min \left\{\frac{1}{2}+\frac{n}{2},\frac{1}{2}+\frac{n}{p}\right\}$, we find

${\Vert u\nabla {\left(-\Delta \right)}^{-m}v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\mathrm{.}$ (31)

Proof. Firstly, we calculate the estimation of $I_1$ :

$\begin{array}{c}{\Vert {\Delta }_j{I}_1\Vert }_{L_t^{\infty }\left(L^p\right)}\lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^{\infty }\left(L^p\right)}{\displaystyle \underset{k\le j^{\prime }-2}{\sum }}{2}^{k\left(-2m+1+\frac{n}{p}\right)}{\Vert {\Delta }_{k}v\Vert }_{L_t^{\infty }\left(L^p\right)}\\ \lesssim {\displaystyle \underset{\left|j-j^{\prime }\right|\le 4}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^{\infty }\left(L^p\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\mathrm{.}\end{array}$ (32)

Multiplying $2^{\left(-2m+1+\frac{n}{p}\right)j}$ to (32), then taking ${\mathcal{l}}^1$ norm to the resulting inequality, we obtain

${\Vert I_1\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\mathrm{.}$

Meanwhile, for $I_2$, we obtain

${\Vert I_2\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\mathrm{.}$

Now we treat with $I_3$. We discuss in two situations. One is the case of $2\le p<\infty$ :

$\begin{array}{l}{\Vert {\Delta }_j{I}_3\Vert }_{L_t^{\infty }\left(L^p\right)}\lesssim 2^{\frac{n}{p}j}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{\displaystyle \underset{\left|j^{\prime }-j^{″}\right|\le 1}{\sum }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^{\infty }\left(L^p\right)}{2}^{\left(\frac{n}{p}-2m+1\right)j^{″}}{\Vert {\Delta }_{j^{″}}v\Vert }_{L_t^{\infty }\left(L^p\right)}\\ \lesssim 2^{\left(2m-1-\frac{n}{p}\right)j}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{2}^{-\left(-2m+1+\frac{2n}{p}\right)\left(j^{\prime }-j\right)}{2}^{\left(-2m+1+\frac{n}{p}\right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^{\infty }\left(L^p\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\mathrm{,}\end{array}$

the other is that $1\le p<2$, and satisfies that $2\le p^{\prime }\le \infty$ and $\frac{1}{p}+\frac{1}{p^{\prime }}=1$, that is

$\begin{array}{l}{\Vert {\Delta }_j{I}_3\Vert }_{L_t^{\infty }\left(L^p\right)}\\ \lesssim 2^{-\left(1-2m+\frac{n}{p}\right)j}{\displaystyle \underset{j^{\prime }\ge j-N_0}{\sum }}{2}^{-\left(n-2m+1\right)\left(j^{\prime }-j\right)}{2}^{\left(-2m+1+\frac{n}{p}\right)j^{\prime }}{\Vert {\Delta }_{j^{\prime }}u\Vert }_{L_t^{\infty }\left(L^p\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\mathrm{.}\end{array}$

Multiplying ${\Vert {\Delta }_j{I}_3\Vert }_{L_t^{\infty }\left(L^p\right)}$ by $2^{\left(1-2m+\frac{n}{p}\right)j}$ and taking ${\mathcal{l}}^1$ norm to them, we get

${\Vert I_3\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}{\Vert v\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{-2m+1+\frac{n}{p}}\right)}\mathrm{.}$

$\square$

Theorem 4.2 Let $1\le p<\infty$. Then there exists a sufficiently small ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}$ such that the system (1) has a unique solution $u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}\left({ℝ}^n\right)\right)$.

Proof. According to the Proposition 3.1, Lemma 4.1 and the mapping (15), there holds

$\begin{array}{c}{\Vert \mathbb{G}\left(u\right)\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}}+{\Vert u\nabla {\left(-\Delta \right)}^{-m}u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\right)}\\ \lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}}+{\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\right)}^2\mathrm{.}\end{array}$

By the contraction mapping argument as before, the system (1) admits a unique solution in ${\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\right)$ for small ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}}$. $\square$

4.2. The Case $p=\infty$ : Well-Posedness

In the case $p=\infty$, the resolution space ${\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)$ is not able to be adjusted to the system (1). We use the resolution space ${\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)$.

Theorem 4.3 Let $p=\infty$. Assume that ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}}$ is small enough. Then there is a unique solution to the system (1) that satisfies

$u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

Proof. By Proposition 3.1,

${\Vert {\text{e}}^{-t\Lambda }{u}_0\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}}\mathrm{.}$ (33)

Next, through Lemma 3.4, we obtain

${\Vert u\nabla {\left(-\Delta \right)}^{-m}u\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}^2\mathrm{.}$ (34)

Therefore think over the mapping (15), we infer from Proposition 3.1, (33) and (34) that

$\begin{array}{c}{\Vert \mathbb{G}\left(u\right)\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}}+{\Vert u\nabla {\left(-\Delta \right)}^{-m}u\Vert }_{{\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)}\\ \lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}}+{\Vert u\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}^2\mathrm{.}\end{array}$ (35)

Thus by the standard contraction mapping argument, system 1 admits a unique solution in ${\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)$ for small initial data ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m}}$. $\square$

4.3. The Case $1<p<\infty$ : Gevrey Analyticity

Theorem 4.4 Let $1<p<\infty$. Then the solution acquired in Theorem 4.2 meets

${\text{e}}^{t^{\frac{1}{2n}}{\Lambda }_1}u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

Proof. The dissipation term ${\text{e}}^{-t\Lambda }$ is not sufficiently strong to overcome the operator ${\text{e}}^{-t{\Lambda }_1}$. Thus, we demand to define a more precise Gevrey operator. Because of $\frac{1}{2n}{\left|\xi \right|}_1<\frac{1}{2}\left|\xi \right|$, we choose

$U\left(t\right):={\text{e}}^{\frac{1}{2n}t{\Lambda }_1}u\left(t\right).$

So $U\left(t\right)$ fulfills the integral equation as follows:

$U\left(t\right)={\text{e}}^{\frac{1}{2n}t{\Lambda }_1-t\Lambda }{u}_0-{\displaystyle {\int }_0^t}\left[{\text{e}}^{\frac{1}{2n}t{\Lambda }_1-\left(t-\tau \right)\Lambda }\nabla \cdot \left({\text{e}}^{-\frac{1}{2n}\tau {\Lambda }_1}U\cdot {\text{e}}^{-\frac{1}{2n}\tau {\Lambda }_1}\nabla {\left(-\Delta \right)}^{-m}U\right)\right]\text{d}\tau .$ (36)

Because the symbol ${\text{e}}^{\frac{1}{2n}t{\left|\xi \right|}_1-\frac{1}{2}t\left|\xi \right|}$ is uniformly bounded and decays for any $\left|\xi \right|\ge 1$, the operator ${\text{e}}^{\frac{1}{2n}t{\Lambda }_1-\frac{1}{2}t\Lambda }$ is a Fourier multiplier map $L^p$ to $L^p$ ( $1<p<\infty$ ) with uniformly bound independent of t. By Proposition 3.1, there holds

${\Vert {\text{e}}^{\frac{1}{2n}t{\Lambda }_1-t\Lambda }{u}_0\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\right)}\lesssim {\Vert {\text{e}}^{-\frac{1}{2}t\Lambda }{u}_0\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{1-2m+\frac{n}{p}}}\mathrm{.}$ (37)

With regard to the nonlinear term, we define

${\text{e}}^{\frac{1}{2n}t{\Lambda }_1-\left(t-\tau \right)\Lambda }={\text{e}}^{\frac{1}{2n}\left(t-\tau \right){\Lambda }_1-\left(t-\tau \right)\Lambda }{\text{e}}^{\frac{1}{2n}\tau {\Lambda }_1}\mathrm{.}$

Hence by the new boundedness properties of the operator ${\text{e}}^{\frac{1}{2n}t{\Lambda }_1-\frac{1}{2}t\Lambda }$ and the bilinear operator ${\tilde{\mathcal{B}}}_t\left(f\mathrm{,}g\right)$ of the form

${\tilde{\mathcal{B}}}_t\left(f\mathrm{,}g\right)\mathrm{<mo>\; :\; </mo>}={\text{e}}^{\frac{1}{2n}t{\Lambda }_1}\left({\text{e}}^{-\frac{1}{2n}t{\Lambda }_1}f{\text{e}}^{-\frac{1}{2n}t{\Lambda }_1}g\right)\mathrm{,}$

we can get the Gevrey analyticity of the global solution as before. In fact, the corresponding operators ${\tilde{K}}_{\zeta }$ and ${\tilde{Z}}_{t\mathrm{,}\zeta \mathrm{,}\mu }$ are bounded independent of $t\ge 0$, hence, in regard to $1<p,p_1,p_2<\infty$, $\frac{1}{p}=\frac{1}{p_1}+\frac{1}{p_2}$, we have

${\Vert {\tilde{\mathcal{B}}}_t\left(f\mathrm{,}g\right)\Vert }_{L^p}\lesssim {\Vert {\tilde{Z}}_{t\mathrm{,}\zeta \mathrm{,}\mu }f{\tilde{Z}}_{t\mathrm{,}\zeta \mathrm{,}\nu }g\Vert }_{L^p}\lesssim {\Vert f\Vert }_{L^{p_1}}{\Vert g\Vert }_{L^{p_2}}\mathrm{.}$

$\square$

4.4. The Case $p=\infty$ : Gevrey Analyticity

In order to resolve the Gevrey analyticity of the solution in the case $p=\infty$, the following a priori estimate is true:

${\Vert {\text{e}}^{\frac{1}{2n}t{\Lambda }_1}u\left(t\right)\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}}+{\Vert {\text{e}}^{\frac{1}{2n}t{\Lambda }_1}u\left(t\right)\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}^2\mathrm{.}$ (38)

Theorem 4.5 Let $p=\infty$. Then the solution is given in theorem 4.3 which satisfies

${\text{e}}^{t^{\frac{1}{2n}}{\Lambda }_1}u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$ (39)

Proof. Because from previous analysis, for $t\ge 0$, we know

${\Vert {\text{e}}^{\frac{1}{2n}t{\Lambda }_1-t\Lambda }{u}_0\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert {\text{e}}^{-\frac{1}{2}t\Lambda }{u}_0\Vert }_{{\tilde{L}}_t^{\infty }\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\right)\cap {\tilde{L}}_t^1\left({\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\right)}\lesssim {\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}}\mathrm{.}$ (40)

With respect to the nonlinear part, we find out the bilinear operator ${\tilde{\mathcal{B}}}_t\left(f\mathrm{,}g\right)$ of the form

${\tilde{\mathcal{B}}}_t\left(f\mathrm{,}g\right)={\text{e}}^{\frac{1}{2n}t{\Lambda }_1}\left({\text{e}}^{-\frac{1}{2n}t{\Lambda }_1}f{\text{e}}^{-\frac{1}{2n}t{\Lambda }_1}g\right)\mathrm{.}$

Although the above operator is not bounded from $L^{\infty }\times L^{\infty }$ to $L^{\infty }$, by the similar analysis as before, we can conclude the results line by line. $\square$

4.5. Decay Rate of Solution

In this part, we hold up the decay rate estimates of solutions gotten in Theorem obtained in the fourth part. On the strength of Lemma 3.12, we know that for all $\sigma \ge 0$, the operator ${\Lambda }^{\sigma }{\text{e}}^{-\frac{1}{2n}{\Lambda }_1}$ is the convolution operator with a kernel $K_{\sigma }\left(t\right)\in L^1\left({ℝ}^n\right)$ for all $t>0$. What’s more,

${\Vert K_{\sigma }\left(t\right)\Vert }_{L^1}\le {\tilde{C}}_{\sigma }{t}^{-\sigma }\mathrm{,}$ (41)

where ${\tilde{C}}_{\sigma }\mathrm{<mo>\; :\; </mo>}={\Vert {\Lambda }^{\sigma }{\text{e}}^{-\frac{1}{2n}{\Lambda }_1}\Vert }_{L^1}$. Theorem obtained in fourth part shows that if $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}$ is sufficiently small, then the solution is in the Gevrey class. As a result, for $\sigma \ge 0$, utilizing (41), we acquire

$\begin{array}{c}{\Vert {\Lambda }^{\sigma }u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}={\Vert {\Lambda }^{\sigma }{\text{e}}^{-\frac{1}{2n}t{\Lambda }_1}{\text{e}}^{\frac{1}{2n}t{\Lambda }_1}u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}\\ \le {\tilde{C}}_{\sigma }{t}^{-\sigma }{\Vert {\text{e}}^{\frac{1}{2n}t{\Lambda }_1}u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}\\ \le {\tilde{C}}_{\sigma }{t}^{-\sigma }{\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}\mathrm{.}\end{array}$

5. Conclusions

In summary, we can get the following conclusions:

Conclusion 5.1 Let $n\ge 2$, $1<\alpha \le 2$. Suppose $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)$. When $1\le p\mathrm{,}r\le \infty$, there exists the following results:

(1) (Well-posedness for $1\le p<\infty$ ) Let $1\le p<\infty$, $\frac{2\alpha -2}{\alpha }=\frac{1}{{\rho }_1}+\frac{1}{{\rho }_2}$, $s=1-2m+\frac{n}{p}$ and $\epsilon =1-\alpha +\frac{\alpha }{{\rho }_1}$. Then we have a $T^{*}=T^{*}\left(u_0\right)>0$ such that the system (1) has a unique solution $u\in {\mathcal{X}}_{T^{\mathrm{<mo>\; *\; </mo>}}}$, where

${\mathcal{X}}_{T^{\mathrm{<mo>\; *\; </mo>}}}\mathrm{<mo>\; :\; </mo>}={\tilde{L}}^{\infty }\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^{{\rho }_1}\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^{{\rho }_2}\left(\mathrm{0,}{T}^{\mathrm{<mo>\; *\; </mo>}}\mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\left({ℝ}^n\right)\right)$

with

$s_1=\frac{n}{p}-\alpha +2-2m+\frac{\alpha }{{\rho }_1},\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}{s}_2=\frac{n}{p}-\alpha +2-2m+\frac{\alpha }{{\rho }_2},\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}\frac{1}{{\rho }_1}+\frac{1}{{\rho }_2}=\frac{1}{\rho }.$

If $T^{*}<\infty$, we have

${\Vert u\Vert }_{{\tilde{L}}_{T^{\mathrm{<mo>\; *\; </mo>}}}^{{\rho }_1}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_1}\right)\cap {\tilde{L}}_{T^{\mathrm{<mo>\; *\; </mo>}}}^{{\rho }_2}\left({\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{s_2}\right)}=\infty \mathrm{.}$

Furthermore, if the initial value $u_0$ is small enough in ${\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)$, then $T^{*}=\infty$.

(2) (Well-posedness for $p=\infty$ ) Let $1<\alpha <2$ and $p=\infty$. Assume that ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}}$ is small enough. When $3-\alpha -2m>0$, then there is a unique solution to this system (1) that satisfies

$u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

(3) (Analyticity for $1<p<\infty$ ) Let $1<p<\infty$. Then the solution obtained in (1) satisfies

${\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\in {\mathcal{X}}_{T^{\mathrm{<mo>\; *\; </mo>}}}\mathrm{.}$

What is more, if $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}\left({ℝ}^n\right)$ is small enough, then $T^{*}=\infty$.

(4) (Analyticity for $p=\infty$ ) Let $1<\alpha <2$, $p=\infty$. Then the solution obtained in (2) satisfies

${\text{e}}^{t^{\frac{1}{\alpha }}{\Lambda }_1}u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{-\alpha +2-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

(5) (Decay rate for $1<p\le \infty$ ) With any $\sigma \ge 0$, $1<p<\infty$ or $p=\infty$ and $r=1$, the global solution acquired in (1) and (2) satisfies

${\Vert {\Lambda }^{\sigma }u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}}\le C_{\sigma }{t}^{-\frac{\sigma }{\alpha }}{\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,}r}^{-\alpha +\frac{n}{p}+2-2m}}\mathrm{,}$

where $C_{\sigma }\mathrm{<mo>\; :\; </mo>}={\Vert {\Lambda }^{\sigma }{\text{e}}^{-{\Lambda }_1}\Vert }_{L^1}$.

Corresponding to Conclusion 5.1, when $\alpha =1$, we can get the results as follows.

Conclusion 5.2 Let $n\ge 2,\mathrm{<mtext>\; \hspace{0.17em}\; </mtext>}\alpha =1$ and suppose $u_0\in {\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}\left({ℝ}^n\right)$. When $1\le p\le \infty$, $\frac{1}{2}<m<\min \left\{\frac{1}{2}+\frac{n}{2},\frac{1}{2}+\frac{n}{p}\right\}$, there exists results as follows:

(1) (Well-posedness for $1\le p<\infty$ ) Let $1\le p<\infty$. Then there exists a sufficiently small ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}$ such that the system (1) has a unique solution $u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}\left({ℝ}^n\right)\right)$.

(2) (Well-posedness for $p=\infty$ ) Let $p=\infty$. Assume that ${\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}}$ is small enough. Then there is a unique solution to the system (1) that satisfies

$u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

(3) (Analyticity for $1<p<\infty$ ) Let $1<p<\infty$. Then the solution acquired in (1) meets

${\text{e}}^{t^{\frac{1}{2n}}{\Lambda }_1}u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

(4) (Analyticity for $p=\infty$ ) Let $p=\infty$. Then the solution is given in (2) which satisfies

${\text{e}}^{t^{\frac{1}{2n}}{\Lambda }_1}u\in {\tilde{L}}^{\infty }\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{1-2m}\left({ℝ}^n\right)\right)\cap {\tilde{L}}^1\left(\mathrm{0,}\infty \mathrm{<mo>\; ;\; </mo>}{\stackrel{\dot{}}{B}}_{\infty \mathrm{,1}}^{2-2m}\left({ℝ}^n\right)\right)\mathrm{.}$

(5) (Decay rate for $1<p\le \infty$ ) With any $\sigma \ge 0$, $1<p<\infty$ or $p=\infty$ and $r=1$, the global solution got in (1) and (2) fits

${\Vert {\Lambda }^{\sigma }u\left(t\right)\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}\le {\tilde{C}}_{\sigma }{t}^{-\sigma }{\Vert u_0\Vert }_{{\stackrel{\dot{}}{B}}_{p\mathrm{,1}}^{\frac{n}{p}+1-2m}}\mathrm{,}$

where ${\tilde{C}}_{\sigma }\mathrm{<mo>\; :\; </mo>}={\Vert {\Lambda }^{\sigma }{\text{e}}^{-\frac{1}{2n}{\Lambda }_1}\Vert }_{L^1}$.

Acknowledgements

The author would like to thank collaborator, editors and reviewers for many helpful discussions and suggestions. This work was partially supported by National Natural Science Foundation of China (No. 11601223).

Conflicts of Interest

The authors declare no conflicts of interest regarding the publication of this paper.

References

[1]	Feng, Q. and Liu, A. (2019) Oscillation for a Class of Fractional Differential Equation. Journal of Applied Mathematics and Physics, 7, 1429-1439. https://doi.org/10.4236/jamp.2019.77096
[2]	Keller, E.F. and Segel, L.A. (1970) Initiation of Slime Mold Aggregation Viewed as an Instability. Journal of Theoretical Biology, 26, 399-415. https://doi.org/10.1016/0022-5193(70)90092-5
[3]	Biler, P. and Karch, G. (2010) Blowup of Solutions to Generalized Keller-Segel Model. Journal of Evolution Equations, 10, 247-262. https://doi.org/10.1007/s00028-009-0048-0
[4]	Biler, P. and Wu, G. (2009) Two-Dimension Chemotaxis Models with Fractional Diffusion. Mathematical Methods in the Applied Sciences, 32, 112-126. https://doi.org/10.1002/mma.1036
[5]	Zhao, J., Liu, Q. and Cui, S. (2013) Existence of Solutions for the Debye-Hückel System with Low Regularity Initial Data. Acta Applicandae Mathematicae, 125, 1-10. https://doi.org/10.1007/s10440-012-9777-0
[6]	Vázquez, J.L. (1974) The Porous Medium Equation: Mathematical Theory. Oxford University Press, New York.
[7]	Caffarelli, L. and Vázquez, J.L. (2010) Nonlinear Porous Medium Flow with Fractional Potential Pressure. Archive for Rational Mechanics and Analysis, 202, 537-565. https://doi.org/10.1007/s00205-011-0420-4
[8]	Caffarelli, L. and Vázquez, J.L. (2016) Regularity of Solutions of the Fractional Porous Medium Flow with Exponent . St. Petersburg Mathematical Journal, 27, 437-460. https://doi.org/10.1090/spmj/1397
[9]	Serfaty, S. and Vázquez, J.L. (2014) A Mean Filed Equation as Limit of Nonlinear Diffusions with Fractional Laplacian Operators. Calculus of Variations and Partial Differential Equations, 49, 1091-1120. https://doi.org/10.1007/s00526-013-0613-9
[10]	Foias, C. and Temam, R. (1989) Gevrey Class Regularity for the Solutions of the Navier-Stokes Equations. Journal of Functional Analysis, 87, 359-369. https://doi.org/10.1016/0022-1236(89)90015-3
[11]	Foias, C. and Temam, R. (1979) Some Analytic and Geometric Properties of the Solutions of the Evolution Navier-Stokes Equations. Journal de Mathematiques Pures et Appliquees, 58, 339-368.
[12]	Zhan, M. (2001) Gevrey Class Regularity for the Solutions of the Phase-Lock Equations of Superconductivity. 406-415.
[13]	Ferrari, A.B. and Titi, E.S. (1998) Gevrey Regularity for Nonlinear Analytic Parabolic Equations. Communications in Partial Differential Equations, 23, 424-448. https://doi.org/10.1080/03605309808821336
[14]	Chueshov, I., Polat, M. and Siegmund, S. (2002) Gevrey Regularity of Global Attractor for Generalized Benjamin-Bona-Mahony Equation. Institute for Mathematics & Its Applications, 22, 226-242.
[15]	Zhao, J. (2018) Well-Posedness and Gevrey Analyticity of the Generalized Keller-Segel System in Critical Besov Spaces. Annali di Matematica, 197, 521-548. https://doi.org/10.1007/s10231-017-0691-y
[16]	Lemarié-Rieusset, P.-G. (2002) Recent Developments in the Navier-Stokes Problem. Research Notes in Mathematics, Chapman & Hall/CRC, Boca Raton. https://doi.org/10.1201/9781420035674
[17]	Wu, G. and Yuan, J. (2008) Well-Posedness of the Cauchy Problem for the Fractional Power Dissipative Equation in Critical Besov Spaces. Journal of Mathematical Analysis & Applications, 340, 1326-1335. https://doi.org/10.1016/j.jmaa.2007.09.060
[18]	Bae, H., Biswas, A. and Tadmor, E. (2013) Analyticity of the Subcritical and Critical Quasi-Geostrophic Equations in Besov Spaces.
[19]	Bae, H., Biswas, A. and Tadmor, E. (2012) Analyticity and Decay Estimates of the Navier-Stokes Equations in Critical Besov Spaces. Archive for Rational Mechanics and Analysis, 205, 963-991. https://doi.org/10.1007/s00205-012-0532-5
[20]	Lemarié-Rieusset, P.-G. (2000) On the Analyticity of Mild Solutions for the Navier-Stokes Equation. Comptes Rendus de l’Académie des Sciences Series I, 330, 183-186. https://doi.org/10.1016/S0764-4442(00)00103-8