Skip to main content

Theory and Modern Applications

The global solution of anisotropic fourth-order Schrödinger equation

Abstract

This paper studies the global existence of solutions in Sobolev space for anisotropic fourth-order Schrödinger type equation: \(iu_{t}+\Delta u+a\sum_{i=1}^{d}u_{x_{i} x_{i} x_{i} x_{i}}+b|u|^{ \alpha }u=0\), \(x\in R^{n}\), \(t\in R\), \(1\leq d< n\) under the initial conditions: \(u(x,0)=\varphi (x)\), \(x\in R^{n}\). By using the Banach fixed point theorem, we obtain the existence, the uniqueness, the continuous dependence and the decay estimate of the solution on the initial value in anisotropic Sobolev spaces \(H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}} ^{s_{2},r}\).

1 Introduction

In this paper we consider the initial value problem of the following anisotropic fourth-order nonlinear Schrödinger equation:

$$ \textstyle\begin{cases} iu_{t}+\Delta u+a\sum_{i=1}^{d}u_{x_{i} x_{i} x_{i} x_{i}}+b \vert u \vert ^{ \alpha }u=0,\quad x\in R^{n},t\in R,1\leq d< n, \\ u(x,0)=\varphi (x),\quad x\in R^{n}, \end{cases} $$
(1.1)

where \(a<0\), \(\alpha >0\), b are real numbers. \(u(x,t)\) is unknown complex function, \(\varphi (x)\) is the given initial value data. The above equations can be used to describe some physical phenomena. For example, [1] used (1.1) to describe the propagation of solitary waves in optical fiber arrays. [2] used (1.1) to describe the propagation of ultrashort laser pulses in a plane waveguide medium. The physical background of the equation is also given in [3,4,5].

For the isotropic fourth-order Schrödinger equation (\(d=n\)), there are many results. For the Cauchy problem, in [6], they obtained the local well-posedness in \(C([0,T), H^{\gamma }(R^{n}))\) for some γ, also see [7,8,9,10,11] and the references cited therein. And they also obtained the global well-posedness in \(C(R,H^{2}(R^{n}))\). For the initial-boundary problem, in [12], Ozsari obtained the local well-posedness in \(C([0,T), H^{s}(0,+\infty ))\) and the global well-posedness in \(C(R,H^{2}(0,+\infty ))\); In [13], for the low regularity \(s<\frac{1}{2}\), they obtained the local well-posedness in \(C([0,T), H ^{s}(0,+\infty ))\).

For the anisotropic fourth-order Schrödinger equation (\(d< n\)), there are some conclusions about the mathematical study of such equations. We have obtained the existence of the local solution of the problem in isotropic Sobolev space \(C([-T,T],H^{s}(R^{n}))\) in [14]. The existence of global or almost global solutions for small initial value in isotropic Sobolev space \(\dot{H^{s}_{p}}(R^{n})\) has been studied in [15]. The local existence of the solution in time and space \(L^{q}(I,L^{r}(R^{n}))\) and \(L^{q}(I,H^{1}_{a}(R^{n}))\) (\(H ^{1}_{a}(R^{n})=\{u\in L^{2}(R^{n}), u_{x_{1}}, u_{x_{2}}, u_{x_{1} x _{1}}\in L^{2}(R^{n})\}\)) is obtained by Banach fixed point theorem for the case \(d=1\), furthermore, the global existence of the solution is obtained by conservation law in [16]. Some local existence results is obtained in isotropic Sobolev space \(C(I,H^{s}(R^{2}))\) on initial value problem of the anisotropic nonlinear sixth order Schrödinger equation in [17]. The asymptotic behavior in time of the solution has been obtained and it scatters to a solution of the linearized equation as \(t\rightarrow \infty \) in [18]. It can be seen from the form of equation (1.1) that higher derivatives are not derived in every direction, so it is natural to think of such problems in anisotropic Sobolev spaces. In [19], the existence of local solutions of problem (1.1) in anisotropic Sobolev space \(H^{s_{1}}_{\vec{y}}(R^{d})H^{s_{2}}_{ \vec{z}}(R^{n-d})\) is given, but the global well-posedness is not discussed. In [20], we also obtain the global existence in anisotropic Sobolev space \(C(R,W^{3,d}_{2}(R^{n}))\) for the sixth order nonlinear Schrödinger equation by energy method, where \(W^{3,d} _{2}(R^{n})=\{u|u,u_{x_{j}}\in L^{2}(R^{n}), j=1,\ldots ,n, u_{x _{i} x_{i}},u_{x_{i} x_{i}x_{i}} \in L^{2}(R^{n}), i=1,\ldots ,d\ (< n)\}\). But \(W^{3,d}_{2}(R^{n})\) is only an integer order Soblev space, we will study the global solution of (1.1) in anisotropic fractional order Sobolev space.

In this paper, we will give the existence, the uniqueness, the continuous dependence on the initial value and the decay estimate of the global solution for the small initial value problem (1.1) in anisotropic Sobolev spaces \(H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}\).

Before stating our main results, we will introduce some notations.

We take \(\vec{y}=(x_{1},x_{2},\ldots ,x_{d})\), \(\vec{z}=(x_{d+1},x _{d+2},\ldots ,x_{n})\), thus \(x=(\vec{y},\vec{z})\). We denote \(I_{1}(s_{1})=[0,\frac{d}{2})\), \(I_{2}(s_{1})=\{\frac{d}{2}\}\), \(I_{3}(s_{1})=(\frac{d}{2},[\alpha ]]\); \(I_{1}(s_{2})=[0, \frac{n-d}{2})\), \(I_{2}(s_{2})=\{\frac{n-d}{2}\}\), \(I_{3}(s_{2})=( \frac{n-d}{2},[\alpha ]]\), where \([\alpha ]\) represents the maximum integer which does not exceed α. The Riesz potential \(I^{\mu }\varphi =F^{-1}(|\xi |^{\mu }\tilde{\varphi }(\xi ))\), is a Fourier transformation, and \(F^{-1}\) is the Fourier inverse transformation. We denote \(\nabla _{\vec{y}}^{s_{1}}\varphi =\int _{R ^{d}}e^{i(x_{1}\xi _{1}+x_{2}\xi _{2}+\cdots +x_{d}\xi _{d})} |\xi _{1} ^{2}+\xi _{2}^{2}+\cdots +\xi _{d}^{2}|^{\frac{s_{1}}{2}}\hat{\varphi }( \xi _{1},\xi _{2},\ldots ,\xi _{d},x_{d+1}, \ldots , x_{n}) \, d\xi _{1}\, d\xi _{2}\cdots \, d\xi _{d}\), \(\nabla _{\vec{z}}^{s_{2}}\varphi =\int _{R^{n-d}}e ^{i(x_{d+1}\xi _{d+1}+x_{d+2}\xi _{d+2}+\cdots +x_{n}\xi _{n})} |\xi _{d+1} ^{2}+\xi _{d+2}^{2}+\cdots +\xi _{n}^{2}|^{\frac{s_{2}}{2}} \hat{\varphi }(x_{1}, x_{2},\ldots , x_{d},\xi _{d+1},\ldots ,\xi _{n})\, d \xi _{d+1}\, d\xi _{d+2}\cdots\, d\xi _{n}\), where \(s_{1}\geq 0\), \(s_{2}\geq 0\). The operator \(S(t)g= F^{-1}(e^{-i[|\xi |^{2}-a(|\xi _{1}|^{4}+|\xi _{2}|^{4}+ \cdots +|\xi _{d}|^{4})]t}\tilde{g})\).

\(L^{r}(R^{n})\) is Banach space with the norm \(\|f\|_{L^{r}(R^{n})}=( \int _{R^{n}}|f(x)|^{r}\,dx)^{\frac{1}{r}}\). \(H^{s,r}(R^{n})\) is Banach space with the norm \(\|f\|_{H^{s,r}(R^{n})}=\|f\|_{L^{r}(R^{n})}+\|I ^{s}f\|_{L^{r}(R^{n})}\). For simplicity, we define \(L_{\vec{z}}^{r'} \equiv L_{\vec{z}}^{r'}(R^{n-d})\), \(L_{\vec{y}}^{r}L_{\vec{z}}^{q} \equiv L_{\vec{y}}^{r}(R^{d})L_{\vec{z}}^{q}(R^{n-d}) =\{g(\vec{y}, \vec{z})|\|\|g(\vec{y},\cdot )\|_{L^{q}_{\vec{z}(R^{n-d})}}\|_{L^{r} _{\vec{y}(R^{d})}}<+\infty \}\), \(H^{s_{1},\rho }_{\vec{y}}H^{s _{2},\gamma }_{\vec{z}}\equiv H^{s_{1},\rho }_{\vec{y}}(R^{d})H^{s _{2},\gamma }_{\vec{z}}(R^{n-d}) =\{g(\vec{y},\vec{z})|\|\|g(\vec{y}, \cdot )\|_{H^{s_{2},\gamma }_{\vec{z}(R^{n-d})}}\|_{H^{s_{1},\rho } _{\vec{y}(R^{d})}}<+\infty \}\). Especially, \(H^{s_{1}}_{\vec{y}}H^{s _{2}}_{\vec{z}}\equiv H^{s_{1},2}_{\vec{y}}(R^{d})H^{s_{2},2}_{ \vec{z}}(R^{n-d})\).

Condition 1.1

For the case \(2n-d>4\), we have the following six subcases:

$$ \textstyle\begin{cases} s_{1}\in I_{1}(s_{1}),\qquad s_{2}\in I_{1}(s_{2}),\qquad \alpha \in (\frac{-(2n-d-4s _{2}-2s_{1}-4)+\sqrt{(2n-d-4s_{2}-2s_{1}-4)^{2}+32(2n-d-4s_{2}-2s _{1})}}{2(2n-d-4s_{2}-2s_{1})}, \\ \hphantom{s_{1}\in I_{1}(s_{1}),\qquad s_{2}\in I_{1}(s_{2}),\qquad \alpha \in\ } \frac{8}{2n-d-4s_{2}-2s_{1}-4}), \\ s_{1}\in I_{1}(s_{1}),\qquad s_{2}\in I_{2}(s_{2}),\qquad \alpha \in (\frac{-(2n-d-2s _{1}-4)+\sqrt{(2n-d-2s_{1}-4)^{2}+32(2n-d-2s_{1})}}{2(2n-d-2s_{1})},\frac{8}{2n-d-2s _{1}-4}), \\ s_{1}\in I_{1}(s_{1}),\qquad s_{2}\in I_{3}(s_{2}),\qquad \alpha \in (\frac{-(d-2s _{1}-4)+\sqrt{(d-2s_{1}-4)^{2}+32(d-2s_{1})}}{2(d-2s_{1})},\frac{8}{d-2s _{1}-4}), \\ s_{1}\in I_{2}(s_{1}),\qquad s_{2}\in I_{1}(s_{2}),\qquad \alpha \in (\frac{-(2n-d-4s _{2}-4)+\sqrt{(2n-d-4s_{2}-4)^{2}+32(2n-d-4s_{2})}}{2(2n-d-4s_{2})},\frac{8}{2n-d-4s _{2}-4}), \\ s_{1}\in I_{2}(s_{1}),\qquad s_{2}\in I_{2}(s_{2}),\qquad \alpha \in (\frac{-(2n-d-4)+ \sqrt{(2n-d-4)^{2}+32(2n-d)}}{2(2n-d)},\frac{8}{2n-d-4}), \\ s_{1}\in I_{2}(s_{1}),\qquad s_{2}\in I_{3}(s_{2}),\qquad \alpha \in (\frac{-(d-4)+ \sqrt{(d-4)^{2}+32d}}{2d},\frac{8}{d-4}). \end{cases} $$

Condition 1.2

For the case \(n-d>2\), we need the following condition:

$$ \textstyle\begin{cases} s_{1}\in I_{3}(s_{1}),\qquad s_{2}\in I_{2}(s_{2}),\qquad \alpha \in (\frac{-(n-d-2)+ \sqrt{(n-d-2)^{2}+16(n-d)}}{2(n-d)},\frac{4}{n-d-2}), \\ s_{1}\in I_{3}(s_{1}),\qquad s_{2}\in I_{3}(s_{2}),\qquad \alpha \in (\frac{-(n-d-2s _{2}-2)+\sqrt{(n-d-2s_{2}-2)^{2}+16(n-d-2s_{2})}}{2(n-d-2s_{2})},\frac{4}{n-d-2s _{2}-2}). \end{cases} $$

The main results are as follows.

Theorem 1.1

For the small initial value \(\varphi (x)\) satisfying the condition \(\|[S(t)\varphi ](x)\|_{X}\leq \varepsilon \), the initial value problem has a unique global solution in the some subspaces of the space \(X=\{u:(0,+\infty )\rightarrow H_{\vec{y}}^{s _{1},\rho } H_{\vec{z}}^{s_{2},r}| \|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t) \|_{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}<+\infty \}\) \(([s_{1}]< \alpha ,[s_{2}]< \alpha )\) under Condition 1.1 or Condition 1.2, where ρ, r, θ will be determined in the proof of Theorem 1.1 later.

The continuous dependence of the solution on the initial value and the decay estimate of the solution are as follows.

Theorem 1.2

Let \(\varphi (x)\) and \(\psi (x)\) satisfy the condition: \(\|[S(t)\varphi ](x)\|_{X}\leq \varepsilon \) and \(\|[S(t)\psi ](x)\|_{X}\leq \varepsilon \), u and v are the two solutions of problem (1.1) corresponding to initial value \(\varphi (x)\) and \(\psi (x)\), respectively, then

$$ \Vert u-v \Vert _{X}\leq c \bigl\Vert S(t) (\varphi -\psi ) \bigr\Vert _{X}. $$

In addition, if

$$ \sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert S(t) (\varphi -\psi ) \bigr\Vert _{X}< +\infty ,\qquad \theta (\alpha +1)+\eta < 1, $$

then

$$ \Vert u-v \Vert _{X}\leq ct^{-\theta }(1+t)^{-\eta }. $$

The structure of this paper is as follows: In Sect. 2, we give an introduction to some symbols and estimates of solutions of linear equations; In Sect. 3, we give the estimates of nonlinear terms; In Sect. 4, we give the proofs of Theorem 1.1 and Theorem 1.2.

2 Preliminary lemmas

For the free equation

$$ \textstyle\begin{cases} iu_{t}+\Delta u +a\sum_{i=1}^{d}u_{x_{i} x_{i} x_{i} x_{i}}=0, \quad x\in R^{n},t\in R,1\leq d< n, \\ u(x,0)=\varphi (x), \quad x\in R^{n}, \end{cases} $$
(2.1)

by making the Fourier transformation, we obtain

$$ \textstyle\begin{cases} i\hat{u_{t}}- \vert \xi \vert ^{2}\hat{u}+a( \vert \xi _{1} \vert ^{4}+ \vert \xi _{2} \vert ^{4}+\cdots + \vert \xi _{d} \vert ^{4})\hat{u}=0, \\ \hat{u}(\xi ,0)=\hat{\varphi }(\xi ). \end{cases} $$

Hence,

$$ \frac{d\hat{u}}{\hat{u}}=-i\bigl[ \vert \xi \vert ^{2}-a\bigl( \vert \xi _{1} \vert ^{4}+ \vert \xi _{2} \vert ^{4}+ \cdots + \vert \xi _{d} \vert ^{4} \bigr)\bigr]\,dt. $$

By substituting the initial value, we obtain

$$ \hat{u}(\xi ,t) = \hat{\varphi }(\xi )e^{-i[|\xi |^{2}-a(|\xi _{1}|^{4}+| \xi _{2}|^{4}+\cdots +|\xi _{d}|^{4})]t}. $$

So the solution of the free equation is

$$ u(x,t)=I(x,t)\ast \varphi (x)=S(t)\varphi , $$

with

$$\begin{aligned} I(x,t) =&\frac{1}{(2\pi )^{n}} \int _{ R^{n}}e^{ix\cdot \xi -i[|\xi |^{2}-a(| \xi _{1}|^{4}+|\xi _{2}|^{4}+\cdots +|\xi _{d}|^{4})]t}\,d\xi \\ =&\frac{1}{(2\pi )^{n}}\prod _{j=1}^{d} \int _{ R}e^{ix_{j}\xi _{j}-i(|\xi _{j}|^{2}-a|\xi _{j}|^{4})t}\, d{\xi _{j}}\prod _{j=d+1}^{n} \int _{ R}e^{ix _{j}\xi _{j}-i|\xi _{j}|^{2}t}\, d{\xi _{j}}. \end{aligned}$$

The free equation enjoys the following time decay estimates.

Lemma 2.1

Assume that \(a<0\), \(s_{1}\geq 0\), \(s_{2}\geq 0\), \(2 \leq \rho <\infty \), \(2\leq r<\infty \), then, for any \(|t|\neq 0\), we have

$$ \bigl\Vert S(t)\varphi \bigr\Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} \leq c \vert t \vert ^{-\frac{n-d}{2}(1-\frac{2}{r})} \vert t \vert ^{-\frac{d}{4}(1-\frac{2}{ \rho })} \Vert \varphi \Vert _{H_{\vec{y}}^{s_{1},\rho '} H_{\vec{z}}^{s_{2},r'}}, $$
(2.2)

for \(\varphi (x)\in H_{\vec{y}}^{s_{1},\rho^{'}} H_{\vec{z}}^{s_{2},r^{'}}\), where \(r^{\prime }\) indicates the conjugate number of r, i.e. \(\frac{1}{r}+ \frac{1}{r'}=1\).

Proof

See Lemma 2.1 of [14] and Theorem 1.1 of [21], and the proof is similar to the proof of Lemma 2.2 of [19], so we omit its details. □

Lemma 2.2

Assume that \(f\in C^{N}(\mathcal{C})\) and \(0<\mu \leq N\), where N is a positive integer. Assume next that \(1< p< \infty \), \(f^{(k)}(u)=\sum_{l=0}^{k}\frac{\partial ^{k}f}{\partial u ^{k-l}\partial \bar{u}^{l}}(u)\). Then the following assertion hold:

  1. (1)

    If \(0<\mu <1\) then

    $$ \bigl\Vert I^{\mu } f(u) \bigr\Vert _{p}\leq c \bigl\Vert f^{(1)}(u) \bigr\Vert _{q} \bigl\Vert I^{\mu } u \bigr\Vert _{r}, $$

    where \(q,r\in (1,\infty )\), \(\frac{1}{p}=\frac{1}{q}+\frac{1}{r}\).

  2. (2)

    If \(\mu =m\), and m is a positive integer, then

    $$ \bigl\Vert I^{m} f(u) \bigr\Vert _{p}\leq c\sum _{k=1}^{m} \bigl\Vert f^{(k)}(u) \bigr\Vert _{q_{k}} \bigl\Vert I^{m} u \bigr\Vert _{r_{k}} \Vert u \Vert _{s_{k}}^{k-1}, $$

    where \(q_{k},r_{k}\in (1,\infty )\), \(s_{k}\in (k-1,\infty ]\) and

    $$ \frac{1}{p}=\frac{1}{q_{k}}+\frac{1}{r_{k}}+\frac{k-1}{s_{k}} $$

    for \(k=1,2,\ldots ,m\).

  3. (3)

    If \(\mu =m+\nu \), where m is a positive integer and \(0<\nu <1\), then

    $$ \bigl\Vert I^{\mu } f(u) \bigr\Vert _{p}\leq c\sum _{k=1}^{m+1} \bigl\Vert f^{(k)}(u) \bigr\Vert _{q_{k}} \bigl\Vert I ^{\mu } u \bigr\Vert _{r_{k}} \Vert u \Vert _{s_{k}}^{k-1}, $$

    where \(q_{k},r_{k}\in (1,\infty )\), \(s_{k}\in (k-1,\infty ]\) and

    $$ \frac{1}{p}=\frac{1}{q_{k}}+\frac{1}{r_{k}}+\frac{k-1}{s_{k}}, $$

    for \(k=1,2,\ldots ,m+1\).

Proof

See Lemma 3.2 of [22] and Theorem 3.1 of [23]. □

3 Estimation of nonlinear terms

According to the different values of \(s_{1}\), \(s_{2}\), the estimation of nonlinear terms can be divided into the following situations.

Lemma 3.1

Take the case \(s_{1}=0\), \(s_{2}=0\). Taking \(2\leq r=\alpha +2<\infty \), \(2\leq \rho =\alpha +2<\infty \), we have

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}}^{r'}}= \Vert u \Vert _{L _{\vec{y}}^{\rho } L_{\vec{z}}^{r}}^{\alpha +1}, \end{aligned}$$
(3.1)
$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}} ^{r'}}\leq c\bigl( \Vert u \Vert _{L_{\vec{y}}^{\rho }L_{\vec{z}}^{r}}^{\alpha }+ \Vert v \Vert _{L_{\vec{y}}^{\rho }L_{\vec{z}}^{r}}^{\alpha } \bigr) \Vert u-v \Vert _{L_{ \vec{y}}^{\rho } L_{\vec{z}}^{r}}. \end{aligned}$$
(3.2)

Proof

Firstly, since \((\alpha +1)\rho '=\rho \), \((\alpha +1)r'=r\) we have

$$ \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}}^{r'}}= \Vert u \Vert _{L _{\vec{y}}^{(\alpha +1)\rho '} L_{\vec{z}}^{(\alpha +1)r'}}^{\alpha +1}= \Vert u \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}^{\alpha +1}, $$

which completes the proof of the first inequality.

Secondly, since \(||u|^{\alpha }u-|v|^{\alpha }v|\leq c(|u|^{\alpha }+|v|^{ \alpha })|u-v|\), by using the Hölder inequality we have

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}} ^{r'}} \\& \quad \leq c \bigl\Vert \vert u \vert ^{\alpha }+ \vert v \vert ^{\alpha } \bigr\Vert _{L_{\vec{y}}^{\rho _{1}} L_{ \vec{z}}^{r_{1}}} \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \\& \quad \leq c\bigl( \Vert u \Vert ^{\alpha }_{L_{\vec{y}}^{\rho _{1} \alpha }L_{\vec{z}} ^{r_{1} \alpha }}+ \Vert v \Vert ^{\alpha }_{L_{\vec{y}}^{\rho _{1} \alpha }L _{\vec{z}}^{r_{1} \alpha }}\bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}} ^{r}} \\& \quad \leq c\bigl( \Vert u \Vert ^{\alpha }_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}+ \Vert v \Vert ^{\alpha }_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \bigr) \Vert u-v \Vert _{L_{\vec{y}} ^{\rho } L_{\vec{z}}^{r}}, \end{aligned}$$

where \(1/\rho ^{\prime }=1/\rho _{1}+1/\rho \), \(1/r^{\prime }=1/r_{1}+1/r\), \(\rho _{1} \alpha =\rho \), \(r_{1}\alpha =r\). □

For the cases \(s_{1}\neq 0\), \(s_{2}\neq 0\) (\([s_{1}]<\alpha \), \([s_{2}]< \alpha\)), using the fractional Sobolev embedding ([24]), we can obtain the following lemmas.

Lemma 3.2

Take the case \(0< s_{1}<\frac{d}{2}\), \(s_{2}> \frac{n-d}{2}\). Taking \(\rho =\frac{d(\alpha +2)}{d+s_{1}\alpha }\), \(r=2\), we have

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},\rho '} H_{\vec{z}}^{s_{2},r'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{\alpha +1}, \end{aligned}$$
(3.3)
$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}} ^{r'}}\leq c\bigl( \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }+ \Vert v \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }\bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}. \end{aligned}$$
(3.4)

Proof

Using the Sobolev embedding \(H_{\vec{z}}^{s_{2},r}(R ^{n-d})\hookrightarrow L_{\vec{z}}^{\infty }(R^{n-d})\) we have

$$ \Vert u \Vert _{L_{\vec{z}}^{\infty }(R^{n-d})}\leq c \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}(R ^{n-d})}. $$

By the Hölder inequality we obtain

$$\begin{aligned} \bigl\Vert \vert u \vert ^{\alpha +1} \bigr\Vert _{H_{\vec{z}}^{s_{2},r'}} \leq & \bigl\Vert \vert u \vert ^{\alpha +1} \bigr\Vert _{L_{\vec{z}}^{r'}}+ \bigl\Vert \nabla _{\vec{z}}^{s_{2}}\bigl( \vert u \vert ^{\alpha +1}\bigr) \bigr\Vert _{L_{\vec{z}}^{r'}} \\ \leq & c \Vert u \Vert ^{\alpha }_{L_{\vec{z}}^{\infty }} \Vert u \Vert _{L_{\vec{z}} ^{r}} +c \Vert u \Vert ^{\alpha }_{L_{\vec{z}}^{\infty }} \bigl\Vert \nabla ^{s_{2}}_{ \vec{z}} u \bigr\Vert _{L_{\vec{z}}^{r}} \\ \leq & c \Vert u \Vert _{L_{\vec{z}}^{\infty }}^{\alpha } \Vert u \Vert _{H_{\vec{z}} ^{s_{2},r}} \\ \leq &c \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha +1}, \end{aligned}$$

where \(\frac{1}{r'}=\frac{1}{\infty }+\frac{1}{r}\) since \(r=2\).

Therefore we obtain

$$\begin{aligned} \bigl\Vert \vert u \vert ^{\alpha +1} \bigr\Vert _{H_{\vec{y}}^{s_{1},\rho '} H_{\vec{z}}^{s_{2},r'}} =& \bigl\Vert \bigl\Vert \vert u \vert ^{\alpha +1} \bigr\Vert _{H_{\vec{z}}^{s_{2},r'}} \bigr\Vert _{H_{\vec{y}}^{s _{1},\rho '}} \\ \leq &c \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha +1} \bigr\Vert _{H_{\vec{y}} ^{s_{1},\rho '}} \\ =& c \bigl\Vert f\bigl( \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}}\bigr) \bigr\Vert _{H_{\vec{y}}^{s_{1},\rho '}} \\ \leq & c \bigl\Vert f\bigl( \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}}\bigr) \bigr\Vert _{L_{\vec{y}}^{\rho '}} +c \bigl\Vert \nabla _{\vec{y}}^{s_{1}}f \bigl( \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}}\bigr) \bigr\Vert _{L_{ \vec{y}}^{\rho '}} \\ \leq &c \bigl\Vert \Vert u \Vert ^{\alpha }_{H^{s_{2},r}_{\vec{z}}} \bigr\Vert _{L_{\vec{y}}^{\frac{q}{ \alpha }}} \bigl\Vert \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}} \bigr\Vert _{L_{\vec{y}}^{\rho }} +c \bigl\Vert \Vert u \Vert ^{\alpha }_{H^{s_{2},r}_{\vec{z}}} \bigr\Vert _{L_{\vec{y}}^{\frac{q}{ \alpha }}} \bigl\Vert \nabla ^{s_{1}}_{\vec{y}} \bigl( \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}}\bigr) \bigr\Vert _{L_{\vec{y}}^{\rho }} \\ \leq &c \bigl\Vert \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}} \bigr\Vert ^{\alpha }_{L_{\vec{y}}^{q}} \bigl\Vert \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}} \bigr\Vert _{L_{\vec{y}}^{\rho }} +c \bigl\Vert \Vert u \Vert _{H ^{s_{2},r}_{\vec{z}}} \bigr\Vert ^{\alpha }_{L_{\vec{y}}^{q}} \bigl\Vert \nabla ^{s_{1}} _{\vec{y}}\bigl( \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}}\bigr) \bigr\Vert _{L_{\vec{y}}^{\rho }} \\ \leq &c \bigl\Vert \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}} \bigr\Vert ^{\alpha }_{L_{\vec{y}}^{q}} \bigl\Vert \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}} \bigr\Vert _{H_{\vec{y}}^{s_{1},\rho }} \\ \leq & c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{ \alpha +1}, \end{aligned}$$

where \(f(z)=z^{\alpha +1}\), \(\frac{1}{\rho '}=\frac{1}{\frac{q}{ \alpha }}+\frac{1}{\rho }\). Meanwhile, we use the Sobolev embedding \(H_{\vec{y}}^{s_{1},\rho }(R^{d})\hookrightarrow L_{\vec{y}}^{q}(R ^{d})\), \(\frac{1}{q}=\frac{1}{\rho }-\frac{s_{1}}{d}\) and \(s_{1}<\frac{d}{ \rho }\).

Using the Hölder inequality and the Sobolev embedding \(H_{\vec{y}} ^{s_{1},\rho }(R^{d})\hookrightarrow L_{\vec{y}}^{\rho _{1}}(R^{d})\), \(\frac{1}{ \rho _{1}}=\frac{1}{\rho }-\frac{s_{1}}{d}\), we have

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}} ^{r'}} \\& \quad \leq c\bigl( \Vert u \Vert ^{\alpha }_{L_{\vec{y}}^{\rho _{1}} L_{\vec{z}}^{r_{1}}}+ \Vert v \Vert ^{\alpha }_{L_{\vec{y}}^{\rho _{1}} L_{\vec{z}}^{r_{1}}} \bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \\& \quad \leq c\bigl( \Vert u \Vert ^{\alpha }_{L_{\vec{y}}^{\rho _{1}} L_{\vec{z}}^{\infty }}+ \Vert v \Vert ^{\alpha }_{L_{\vec{y}}^{\rho _{1}} L_{\vec{z}}^{\infty }} \bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \\& \quad \leq c\bigl( \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{ \alpha }+ \Vert v \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{ \alpha }\bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}, \end{aligned}$$

where \(1/\rho ^{\prime }=\alpha /\rho _{1}+1/\rho \), \(1/r^{\prime }=\alpha /r_{1}+1/r\). □

Lemma 3.3

Take the case \(s_{1}>\frac{d}{2}\), \(0< s_{2}< \frac{n-d}{2}\). Taking \(\rho =2\), \(r=\frac{(\alpha +2)(n-d)}{n-d+\alpha s_{2}}\), we have

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},\rho '} H_{\vec{z}}^{s_{2},r'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{\alpha +1}, \end{aligned}$$
(3.5)
$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}} ^{r'}}\leq c\bigl( \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }+ \Vert v \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }\bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}. \end{aligned}$$
(3.6)

Proof

In a similar way as in Lemma 3.2: using the Sobolev embedding \(H_{\vec{z}}^{s_{2},r}(R^{n-d})\hookrightarrow L_{\vec{z}} ^{q}(R^{n-d})\), \(\frac{1}{q}=\frac{1}{r}-\frac{s_{2}}{n-d}\) and \(H_{\vec{y}}^{s_{1},\rho }(R^{d})\hookrightarrow L_{\vec{y}}^{\infty }(R^{d})\), one obtains the proof of the first inequality. Using the Hölder inequality and the Sobolev embedding \(H_{\vec{z}}^{s_{2},r}(R ^{n-d})\hookrightarrow L_{\vec{z}}^{r_{1}}(R^{n-d})\), \(\frac{1}{r_{1}}= \frac{1}{r}-\frac{s_{2}}{n-d}\), one obtains the proof of the second inequality. □

Lemma 3.4

Take the case \(s_{1}=\frac{d}{2}\).

  1. (1)

    When \(0< s_{2}<\frac{n-d}{2}\), taking \(\rho =\alpha +2\), \(r=\frac{(\alpha +2)(n-d)}{n-d+ \alpha s_{2}}\), we have

    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} H_{\vec{z}}^{s_{2}, {r}'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha +1}, \end{aligned}$$
    (3.7)
    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{{\rho }'} H_{\vec{z}} ^{s_{2},{r}'}}\leq c\bigl( \Vert u \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }+ \Vert v \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}}^{\alpha } \bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}}. \end{aligned}$$
    (3.8)
  2. (2)

    When \(s_{2}>\frac{n-d}{2}\), taking \(\rho =\alpha +2\), \(r=2\), we have

    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} H_{\vec{z}}^{s_{2}, {r}'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha +1}, \end{aligned}$$
    (3.9)
    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{{\rho }'} H_{\vec{z}} ^{s_{2},{r}'}}\leq c\bigl( \Vert u \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }+ \Vert v \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}}^{\alpha } \bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}}. \end{aligned}$$
    (3.10)

Proof

(1) Using the Sobolev embedding \(H_{\vec{z}}^{s_{2},r}(R ^{n-d})\hookrightarrow L_{\vec{z}}^{q}(R^{n-d})\), \(\frac{1}{q}= \frac{1}{r}-\frac{s_{2}}{n-d}\), we have

$$ \Vert u \Vert _{L_{\vec{z}}^{q}(R^{n-d})}\leq c \Vert u \Vert _{H_{\vec{z}}^{s_{2},r_{2}}(R ^{n-d})}. $$

Using the Hölder inequality we have

$$\begin{aligned} \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{z}}^{s_{2},{r}'}} =& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{L_{\vec{z}}^{{r}'}}+ \bigl\Vert \nabla ^{s_{2}}_{\vec{z}}\bigl( \vert u \vert ^{\alpha }u\bigr) \bigr\Vert _{L_{\vec{z}}^{{r}'}} \\ \leq &c\bigl\| |u|^{\alpha }\bigr\| _{L_{\vec{z}}^{\frac{q}{\alpha }}} \Vert u \Vert _{L _{\vec{z}}^{r}} +c\bigl\| |u|^{\alpha }\bigr\| _{L_{\vec{z}}^{\frac{q}{\alpha }}} \bigl\Vert \nabla ^{s_{2}}_{\vec{z}}u \bigr\Vert _{L_{\vec{z}}^{r}} \\ \leq &c \Vert u \Vert _{L_{\vec{z}}^{q}}^{\alpha } \Vert u \Vert _{H_{\vec{z}}^{s_{2}, {r}}} \\ \leq &c \Vert u \Vert _{H_{\vec{z}}^{s_{2},{r}}}^{\alpha +1}, \end{aligned}$$

where \(\frac{1}{{r}'}=\frac{1}{\frac{q}{\alpha }}+\frac{1}{r}\), which means \(r=\frac{(\alpha +2)(n-d)}{n-d+\alpha s_{2}}\).

We have

$$\begin{aligned} \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} H_{\vec{z}}^{s_{2}, {r}'}} =& \bigl\Vert \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{z}}^{s_{2},{r}'}} \bigr\Vert _{H_{ \vec{y}}^{s_{1},{\rho }'}} \\ \leq &c \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},{r}}}^{\alpha +1} \bigr\Vert _{H_{\vec{y}} ^{s_{1},{\rho }'}} \\ =&c \bigl\Vert f\bigl( \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}}\bigr) \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'}} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert f^{(k)}\bigl( \Vert u \Vert _{H^{s_{2},r}_{\vec{z}}}\bigr) \bigr\Vert _{L _{\vec{y}}^{q_{k}}} \bigl\Vert I^{s_{1}} \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{ \vec{y}}^{l_{k}}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{m _{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha +1-k} \bigr\Vert _{L_{\vec{y}}^{q_{k}}} \bigl\Vert I^{s_{1}} \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L _{\vec{y}}^{l_{k}}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{m_{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{(\alpha +1-k)q_{k}}}^{\alpha +1-k} \bigl\Vert I^{s_{1}} \Vert u \Vert _{H_{\vec{z}} ^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{l_{k}}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{m_{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{m_{k}}}^{\alpha +1-k} \Vert u \Vert _{H_{\vec{y}}^{s_{1},l_{k}}H_{\vec{z}} ^{s_{2},r}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{m_{k}}} ^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{\rho }}^{\alpha } \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s _{2},r}} \\ \leq &c \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{\rho }}^{ \alpha } \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} \\ \leq &c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{ \alpha +1}, \end{aligned}$$

where f is the same as before. When \(0< d/2<1\), let \(m=1\); when \(d/2=[d/2]\), let \(m=[d/2]\); when \(d/2=[d/2]+\sigma\) (\(0<\sigma <1\)), let \(m=[d/2]+1\). For the index \(\frac{1}{{\rho }'}=\frac{1}{q_{k}}+\frac{1}{l _{k}}+\frac{k-1}{m_{k}}\), \((\alpha +1-k)q_{k}=m_{k}=\rho \), \(l_{k}=\rho \), which means \(\rho =\alpha +2\).

And

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{H_{\vec{z}}^{s_{2},{r}'}} \\ & \quad \leq c \bigl\Vert \bigl( \vert u \vert ^{\alpha }+ \vert v \vert ^{\alpha }\bigr) \vert u-v \vert \bigr\Vert _{H_{\vec{z}}^{s_{2}, {r}'}} \\ & \quad \leq c\bigl( \bigl\Vert \vert u \vert ^{\alpha }+ \vert v \vert ^{\alpha } \bigr\Vert _{H_{\vec{z}}^{s_{2},{p_{1}}}} \Vert u-v \Vert _{L_{\vec{z}}^{p_{2}}} + \bigl\Vert \vert u \vert ^{\alpha }+ \vert v \vert ^{\alpha } \bigr\Vert _{L} {_{\vec{z}}^{p_{3}}} \Vert u-v \Vert _{H_{\vec{z}}^{s_{2},p_{4}}}\bigr) \\ & \quad \leq c\bigl[\bigl( \Vert u \Vert _{L^{a_{1}(\alpha -1)}_{\vec{z}}}^{\alpha -1} \Vert u \Vert _{H _{\vec{z}}^{s_{2},b_{1}}}+ \Vert v \Vert _{L^{a_{1}(\alpha -1)}_{\vec{z}}}^{ \alpha -1} \Vert v \Vert _{H_{\vec{z}}^{s_{2},b_{1}}}\bigr) \Vert u-v \Vert _{H_{\vec{z}}^{s _{2},r}} \\ & \qquad {}+ \bigl( \Vert u \Vert _{L_{\vec{z}}^{\alpha p_{3}}}^{\alpha }+ \Vert v \Vert _{L_{ \vec{z}}^{\alpha p_{3}}}^{\alpha }\bigr) \Vert u-v \Vert _{H_{\vec{z}}^{s_{2},p_{4}}}\bigr] \\ & \quad \leq c\bigl[\bigl( \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha }+ \Vert v \Vert _{H_{\vec{z}} ^{s_{2},r}}^{\alpha }\bigr) \Vert u-v \Vert _{H_{\vec{z}}^{s_{2},r}} +\bigl( \Vert u \Vert _{H_{ \vec{z}}^{s_{2},r}}^{\alpha }+ \Vert v \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha }\bigr) \Vert u-v \Vert _{H_{\vec{z}}^{s_{2},p_{4}}}\bigr] \\ & \quad \leq c\bigl( \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha }+ \Vert v \Vert _{H_{\vec{z}} ^{s_{2},r}}^{\alpha }\bigr) \Vert u-v \Vert _{H_{\vec{z}}^{s_{2},r}}, \end{aligned}$$

where \(\frac{1}{{r}'}=\frac{1}{p_{1}}+\frac{1}{p_{2}}=\frac{1}{p_{3}}+\frac{1}{p _{4}}\), \(1/p_{1}=1/a_{1}+1/b_{1}\), \(1/a_{1}(\alpha -1)=1/r-s_{2}/(n-d)\), \(b _{1}=r\), \(1/p_{2}=1/r-s_{2}/(n-d)\), \(1/(\alpha p_{3})=1/r-s_{2}/(n-d)\), \(p_{4}=r\). Therefore,

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{{\rho }'} H_{ \vec{z}}^{s_{2},{r}'}} \\& \quad \leq c \bigl\Vert \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v\bigr\| _{H_{\vec{z}}^{s_{2},{{r}'}}} \bigr\| _{L_{\vec{y}}^{{\rho }'}} \\& \quad \leq c \bigl\Vert \bigl( \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha }+ \Vert v \Vert _{H_{\vec{z}} ^{s_{2},r}}^{\alpha }\bigr) \Vert u-v \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{{\rho }'}} \\& \quad \leq c \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha }+ \Vert v \Vert _{H_{\vec{z}} ^{s_{2},r}}^{\alpha } \bigr\Vert _{L_{\vec{y}}^{\frac{p_{1}}{\alpha }}} \bigl\Vert \Vert u-v \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{\rho }} \\& \quad \leq c\bigl( \Vert u \Vert _{L_{\vec{y}}^{p_{1}} H_{\vec{z}}^{s_{2},r}}^{\alpha }+ \Vert v \Vert _{L_{\vec{y}}^{p_{1}} H_{\vec{z}}^{s_{2},r}}^{\alpha }\bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}} \\& \quad \leq c\bigl( \Vert u \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}}^{\alpha }+ \Vert v \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}}^{\alpha }\bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } H_{\vec{z}}^{s_{2},r}}, \end{aligned}$$

where \(\frac{1}{{\rho }'}=\frac{\alpha }{p_{1}}+\frac{1}{\rho }\), \(p_{1}=\rho \).

(2) Similarly, using the Sobolev embedding \(H_{\vec{z}}^{s_{2},r_{2}}(R ^{n-d})\hookrightarrow L_{\vec{z}}^{\infty }(R^{n-d})\), we get the conclusion. □

Lemma 3.5

Take the case \(s_{2}=\frac{n-d}{2}\).

  1. (1)

    When \(0< s_{1}<\frac{d}{2}\), taking \(\rho =\frac{d(\alpha +2)}{d+s_{1} \alpha }\), \(r=\alpha +2\), we have

    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} H_{\vec{z}}^{s_{2}, {r}'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha +1}, \end{aligned}$$
    (3.11)
    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} L_{ \vec{z}}^{{r}'}}\leq c\bigl( \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } L_{\vec{z}} ^{r}}^{\alpha }+ \Vert v \Vert _{H_{\vec{y}}^{s_{1},\rho } L_{\vec{z}}^{r}}^{ \alpha } \bigr) \Vert u-v \Vert _{H_{\vec{y}}^{s_{1},\rho } L_{\vec{z}}^{r}}. \end{aligned}$$
    (3.12)
  2. (2)

    When \(s_{1}>\frac{d}{2}\), taking \(\rho =2\), \(r=\alpha +2\), we have

    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} H_{\vec{z}}^{s_{2}, {r}'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha +1}, \end{aligned}$$
    (3.13)
    $$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} L_{ \vec{z}}^{{r}'}}\leq c\bigl( \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } L_{\vec{z}} ^{r}}^{\alpha }+ \Vert v \Vert _{H_{\vec{y}}^{s_{1},\rho } L_{\vec{z}}^{r}}^{ \alpha } \bigr) \Vert u-v \Vert _{H_{\vec{y}}^{s_{1},\rho } L_{\vec{z}}^{r}}. \end{aligned}$$
    (3.14)

Proof

In a similar way to Lemma 3.4, using the Sobolev embedding \(H_{\vec{y}}^{s_{1},\rho }(R^{d})\hookrightarrow L_{\vec{y}} ^{q}(R^{d})\), \(\frac{1}{q}=\frac{1}{\rho }-\frac{s_{1}}{d}\) and \(H_{\vec{y}}^{s_{1},\rho }(R^{d})\hookrightarrow L_{\vec{y}}^{\infty }(R^{d})\), we have the above lemma. □

Lemma 3.6

Take the case \(s_{1}=\frac{d}{2}\), \(s_{2}= \frac{n-d}{2}\). Taking \(\rho =\alpha +2\), \(r=\alpha +2\), we have

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} H_{\vec{z}}^{s_{2}, {r}'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha +1}, \end{aligned}$$
(3.15)
$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{{\rho }'} L_{\vec{z}} ^{{r}'}}\leq c\bigl( \Vert u \Vert ^{\alpha }_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}+ \Vert v \Vert ^{\alpha }_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \bigr) \Vert u-v \Vert _{L_{ \vec{y}}^{\rho } L_{\vec{z}}^{r}}. \end{aligned}$$
(3.16)

Proof

By Lemma 2.2 we have

$$\begin{aligned} \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{z}}^{s_{2},{r}'}} \leq & c\sum_{k=1}^{m} \bigl\Vert g^{(k)}(u) \bigr\Vert _{L_{\vec{z}}^{q_{k}}} \bigl\Vert I^{s_{2}}u \bigr\Vert _{L_{\vec{z}}^{l _{k}}} \Vert u \Vert _{L_{\vec{z}}^{m_{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert u^{\alpha +1-k} \bigr\Vert _{L_{\vec{z}}^{q_{k}}} \bigl\Vert I ^{s_{2}}u \bigr\Vert _{L_{\vec{z}}^{l_{k}}} \Vert u \Vert _{L_{\vec{z}}^{m_{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \Vert u \Vert _{L_{\vec{z}}^{(\alpha +1-k)q_{k}}}^{ \alpha +1-k} \Vert u \Vert _{H_{\vec{z}}^{s_{2},l_{k}}} \Vert u \Vert _{L_{\vec{z}}^{m _{k}}}^{k-1} \\ \leq &c \Vert u \Vert _{L_{\vec{z}}^{m_{k}}}^{\alpha } \Vert u \Vert _{H_{\vec{z}}^{s _{2},l_{k}}} \\ \leq &c \Vert u \Vert _{L_{\vec{z}}^{r}}^{\alpha } \Vert u \Vert _{H_{\vec{z}}^{s_{2},l _{k}}} \\ \leq &c \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha } \Vert u \Vert _{H_{\vec{z}}^{s _{2},r}} \\ \leq &c \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha +1}, \end{aligned}$$

where \(g(u)=|u|^{\alpha }u\). When \(0<(n-d)/2<1\), let \(m=1\); when \((n-d)/2=[(n-d)/2]\), let \(m=[(n-d)/2]\); when \((n-d)/2=[(n-d)/2]+ \sigma\) (\(0<\sigma <1\)), let \(m=[(n-d)/2]+1\). For the index \(\frac{1}{{r}'}=\frac{1}{q_{k}}+\frac{1}{l_{k}}+\frac{k-1}{m_{k}}\), \(( \alpha +1-k)q_{k}=m_{k}=r\), \(l_{k}=r\), then \(r=\alpha +2\) and

$$\begin{aligned} \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},{\rho }'} H_{\vec{z}}^{s_{2}, {r}'}} =& \bigl\Vert \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{z}}^{s_{2},{r}'}} \bigr\Vert _{H_{ \vec{y}}^{s_{1},{\rho }'}} \\ \leq &c \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},{r}}}^{\alpha +1} \bigr\Vert _{H_{\vec{y}} ^{s_{1},{\rho }'}} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert f^{(k)}\bigl( \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}\bigr) \bigr\Vert _{L _{\vec{y}}^{q_{k}}} \bigl\Vert I^{s_{1}} \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{ \vec{y}}^{l_{k}}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{m _{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}}^{\alpha +1-k} \bigr\Vert _{L_{\vec{y}}^{q_{k}}} \bigl\Vert I^{s_{1}} \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L _{\vec{y}}^{l_{k}}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{m_{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{(\alpha +1-k)q_{k}}}^{\alpha +1-k} \bigl\Vert I^{s_{1}} \Vert u \Vert _{H_{\vec{z}} ^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{l_{k}}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{m_{k}}}^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{m_{k}}}^{\alpha +1-k} \Vert u \Vert _{H_{\vec{y}}^{s_{1},l_{k}}H_{\vec{z}} ^{s_{2},r}} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{m_{k}}} ^{k-1} \\ \leq &c\sum_{k=1}^{m} \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}} ^{m_{k}}}^{\alpha } \Vert u \Vert _{H_{\vec{y}}^{s_{1},l_{k}} H_{\vec{z}}^{s _{2},r}} \\ \leq &c \bigl\Vert \Vert u \Vert _{H_{\vec{z}}^{s_{2},r}} \bigr\Vert _{L_{\vec{y}}^{\rho }}^{ \alpha } \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} \\ \leq &c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{ \alpha +1}, \end{aligned}$$

where f is the same as before. When \(0< d/2<1\), let \(m=1\); when \(d/2=[d/2]\), let \(m=[d/2]\); when \(d/2=[d/2]+\sigma\) (\(0<\sigma <1\)) let \(m=[d/2]+1\). For the index \(\frac{1}{{\rho }'}=\frac{1}{q_{k}}+\frac{1}{l _{k}}+\frac{k-1}{m_{k}}\), \((\alpha +1-k)q_{k}=m_{k}=\rho \), \(l_{k}=\rho \), then \(\rho =\alpha +2\) and we have \(\frac{1}{{\rho }'}=\frac{\alpha }{ \rho }+\frac{1}{\rho }\), \(\frac{1}{{r}'}=\frac{\alpha }{r}+\frac{1}{r}\).

In the same way, using the Hölder inequality we have

$$ \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{{\rho }'} L_{\vec{z}} ^{{r}'}}\leq c\bigl( \Vert u \Vert ^{\alpha }_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}+ \Vert v \Vert ^{\alpha }_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \bigr) \Vert u-v \Vert _{L_{ \vec{y}}^{\rho } L_{\vec{z}}^{r}}. $$

 □

Lemma 3.7

For the case \(0\leq s_{1}<\frac{d}{2}\), \(0\leq s_{2}< \frac{n-d}{2}\), taking \(\rho =\frac{d(\alpha +2)}{d+s_{1}\alpha }\), \(r=\frac{( \alpha +2)(n-d)}{n-d+\alpha s_{2}}\), we have

$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u \bigr\Vert _{H_{\vec{y}}^{s_{1},\rho '} H_{\vec{z}}^{s_{2},r'}} \leq c \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}^{\alpha +1}, \end{aligned}$$
(3.17)
$$\begin{aligned}& \bigl\Vert \vert u \vert ^{\alpha }u- \vert v \vert ^{\alpha }v \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}} ^{r'}}\leq c\bigl( \Vert u \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }+ \Vert v \Vert _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}} ^{\alpha }\bigr) \Vert u-v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}. \end{aligned}$$
(3.18)

Proof

Using the Sobolev embedding \(H_{\vec{z}}^{s_{2},r}(R ^{n-d})\hookrightarrow L_{\vec{z}}^{q}(R^{n-d})\), \(\frac{1}{q}= \frac{1}{r}-\frac{s_{2}}{n-d}\) (note that \(s_{2}<\frac{n-d}{2}\) and one can deduce \(s_{2}<\frac{n-d}{r}\)) and \(H_{\vec{y}}^{s_{1},\rho }(R ^{d})\hookrightarrow L_{\vec{y}}^{\infty }(R^{d})\), \(\frac{1}{q}=\frac{1}{ \rho }-\frac{s_{1}}{d}\) (note that \(s_{1}<\frac{d}{2}\) and one can deduce \(s_{1}<\frac{d}{\rho }\)). Similar to the proof of Lemma 3.2, the inequality can be established. □

4 Proof of theorems

Proof of Theorem 1.1

The solution of the initial value problem (1.1) is equivalent to the integral equation

$$ u(t)=S(t)\varphi -i \int _{0}^{t} S(t-\tau ) \vert u \vert ^{\alpha }u(\tau )\, d \tau . $$

In order to use the Banach fixed point theorem, we can define the mapping T as follows:

$$ Tu=S(t)\varphi -i \int _{0}^{t} S(t-\tau ) \vert u \vert ^{\alpha }u(\tau )\,d\tau . $$

(1) Take the case \(s_{1}=0\), \(s_{2}=0\). When \(2n-d>4\) and \(\frac{-(2n-d-4)+ \sqrt{(2n-d-4)^{2}+32(2n-d)}}{2(2n-d)}<\alpha <\frac{8}{2n-d-4}\), taking \(\rho =r=\alpha +2\), \(\theta =\frac{8-(2n-d-4)\alpha }{4\alpha ( \alpha +2)}\). Let \(X=\{u: (0,+\infty )\rightarrow L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t ^{\theta }\|u(t)\|_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\). We define the metric space \((X_{1}^{1},d)\) as follows:

$$\begin{aligned}& X_{1}^{1}=\bigl\{ u(t)\in X| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L _{\vec{z}}^{r}}},\quad \forall u,v\in X^{1}_{1}. \end{aligned}$$

Obviously, we can prove that \((X_{1}^{1},d)\) is a complete metric space.

We first prove that T maps \(X_{1}^{1}\) into itself. Indeed, from Lemma 2.1 and Lemma 3.1 we have

$$\begin{aligned} t^{\theta } \Vert Tu \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \leq & t^{ \theta } \bigl\Vert S(t)\varphi \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}+t^{ \theta } \int _{0}^{t} \bigl\Vert S(t-\tau ) \vert u \vert ^{\alpha }u(\tau ) \bigr\Vert _{L_{\vec{y}} ^{\rho } L_{\vec{z}}^{r}}\,d\tau \\ \leq & t^{\theta } \bigl\Vert S(t)\varphi \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}} ^{r}} +t^{\theta } \int _{0}^{t} c \vert t-\tau \vert ^{-\frac{n-d}{2}(1- \frac{2}{r})} \vert t-\tau \vert ^{-\frac{d}{4}(1-\frac{2}{\rho })} \bigl\Vert \vert u \vert ^{ \alpha }u \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}}^{r'}}\,d\tau \\ \leq & t^{\theta } \bigl\Vert S(t)\varphi \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}} ^{r}}+ct^{\theta } \int _{0}^{t} \vert t-\tau \vert ^{\ast } \Vert u \Vert _{L_{\vec{y}} ^{\rho } L_{\vec{z}}^{r}}^{\alpha +1}\,d\tau \\ =& t^{\theta } \bigl\Vert S(t)\varphi \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} +ct^{\theta } \int _{0}^{t}\tau ^{-\theta (\alpha +1)} \vert t-\tau \vert ^{\ast }\bigl( \tau ^{\theta } \Vert u \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\bigr)^{\alpha +1}\, d \tau \\ \leq & t^{\theta } \bigl\Vert S(t)\varphi \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}} ^{r}}+ct^{\theta } \Vert u \Vert _{X}^{\alpha +1} \int _{0}^{t} \tau ^{-\theta (\alpha +1)} \vert t- \tau \vert ^{\ast }\,d\tau \\ =& t^{\theta } \bigl\Vert S(t)\varphi \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}+c \Vert u \Vert _{X}^{\alpha +1} t^{\theta -\theta (\alpha +1)+\ast +1} \int _{0} ^{1} \biggl(\frac{\tau }{t} \biggr)^{-\theta (\alpha +1)} \biggl\vert 1-\frac{\tau }{t} \biggr\vert ^{ \ast }\, d\biggl(\frac{\tau }{t}\biggr) \\ =& t^{\theta } \bigl\Vert S(t)\varphi \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}+c \Vert u \Vert _{X}^{\alpha +1} t^{\theta -\theta (\alpha +1)+\ast +1}B\bigl(1- \theta (\alpha +1),1+\ast \bigr), \end{aligned}$$

where \(\ast =-\frac{n-d}{2}(1-\frac{2}{r})-\frac{d}{4}(1-\frac{2}{ \rho })\), \(B(\cdot ,\cdot )\) is a Beta function.

Notice that \(\theta -\theta (\alpha +1)+\ast +1=0\), which is

$$ \theta \alpha =1-\frac{n-d}{2}\biggl(1-\frac{2}{r}\biggr)- \frac{d}{4}\biggl(1-\frac{2}{ \rho }\biggr), $$

and

$$ \theta (\alpha +1)< 1,\qquad \frac{n-d}{2}\biggl(1-\frac{2}{r}\biggr)+ \frac{d}{4}\biggl(1-\frac{2}{ \rho }\biggr)< 1. $$

It follows that

$$ t^{\theta } \Vert Tu \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\leq \bigl\Vert S(t) \varphi \bigr\Vert _{X}+c \Vert u \Vert _{X}^{\alpha +1}. $$

Hence

$$ \Vert Tu \Vert _{X}\leq \varepsilon +c \Vert u \Vert _{X}^{\alpha +1}. $$

Now let \(\varepsilon < (\frac{1}{c2^{\alpha +1}})^{\frac{1}{\alpha }}\), we obtain \(\|Tu\|_{X}\leq 2\varepsilon \). That is to say, T maps \(X_{1}^{1}\) into itself. Furthermore

$$\begin{aligned}& t^{\theta } \Vert Tu-Tv \Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}} \\& \quad = t ^{\theta } \biggl\Vert -i \int _{0}^{t}S(t-\tau ) \vert u \vert ^{\alpha }u(\tau )\,d\tau +i \int _{0}^{t}S(t-\tau ) \vert v \vert ^{\alpha }v(\tau )\,d\tau \biggr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}} \\& \quad \leq t^{\theta } \int _{0}^{t} \vert t-\tau \vert ^{\ast } \bigl\Vert \vert u \vert ^{\alpha }u( \tau )- \vert v \vert ^{\alpha }v(\tau ) \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{\vec{z}}^{r'}}\, d \tau \\& \quad \leq ct^{\theta } \int _{0}^{t} \vert t-\tau \vert ^{\ast }\bigl( \Vert u \Vert _{L_{\vec{y}} ^{\rho } L_{\vec{z}}^{r}}^{\alpha }+ \Vert v \Vert _{L_{\vec{y}}^{\rho } L_{ \vec{z}}^{r}}^{\alpha }\bigr) \bigl\Vert u(\tau )-v(\tau ) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}\,d\tau \\& \quad = ct^{\theta } \int _{0}^{t} \vert t-\tau \vert ^{\ast }\tau ^{-\theta (\alpha +1)}\bigl( \tau ^{\theta \alpha } \Vert u \Vert _{{L_{\vec{y}}^{\rho }}{L_{\vec{z}}^{r}}} ^{\alpha }+\tau ^{\theta \alpha } \Vert v \Vert _{{L_{\vec{y}}^{\rho }} {L_{ \vec{z}}^{r}}}^{\alpha }\bigr)\tau ^{\theta } \bigl\Vert u(\tau )-v(\tau ) \bigr\Vert _{{L_{ \vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}\,d\tau \\& \quad \leq ct^{\theta } \int _{0}^{t} \vert t-\tau \vert ^{\ast } \tau ^{-\theta (\alpha +1)}\bigl( \Vert u \Vert _{X}^{\alpha }+ \Vert v \Vert _{X}^{\alpha } \bigr) \Vert u-v \Vert _{X} \,d\tau \\& \quad = ct^{\theta -\theta (\alpha +1)+\ast +1} \int _{0}^{1}\biggl( \frac{\tau }{t} \biggr)^{-\theta (\alpha +1)} \biggl\vert 1-\frac{\tau }{t} \biggr\vert ^{\ast }\bigl( \Vert u \Vert _{X}^{\alpha }+ \Vert v \Vert _{X}^{\alpha }\bigr) \Vert u-v \Vert _{X}d\biggl(\frac{\tau }{t}\biggr). \end{aligned}$$

Similar to the above proof, we obtain

$$ t^{\theta } \Vert Tu-Tv \Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}\leq c\bigl( \Vert u \Vert _{X}^{\alpha }+ \Vert v \Vert _{X}^{\alpha } \bigr) \Vert u-v \Vert _{X} \leq 2c(2\varepsilon )^{\alpha } \Vert u-v \Vert _{X}. $$

Since \(\varepsilon < (\frac{1}{c2^{\alpha +1}})^{\frac{1}{\alpha }}\), \(\|Tu-Tv\|_{X}< \|u-v\|_{X}\). We can also see that T is a contraction mapping from \(X_{1}^{1}\) into \(X_{1}^{1}\).

Thus by the Banach fixed point theorem, we see that T has a unique fixed point \(u\in X_{1}^{1}\subset X\) which is the global solution of initial value problem (1.1).

(2) Take the case \(0\leq s_{1}<\frac{d}{2}\), \(0< s_{2}\). We divide it into three cases:

(2.1): The subcase \(0< s_{2}<(n-d)/2\), when

$$\begin{aligned}& \frac{-(2n-d-4s_{2}-2s _{1}-4)+\sqrt{(2n-d-4s_{2}-2s_{1}-4)^{2}+32(2n-d-4s_{2}-2s_{1})}}{2(2n-d-4s _{2}-2s_{1})} \\& \quad < \alpha < \frac{8}{2n-d-4s_{2}-2s_{1}-4}, \end{aligned}$$

taking \(\theta =\frac{8-(2n-d-4s_{2}-2s_{1}-4)\alpha }{4\alpha (\alpha +2)}\), \(\rho =\frac{d(\alpha +2)}{d+s_{1}\alpha }\), \(r=\frac{(\alpha +2)(n-d)}{n-d+ \alpha s_{2}}\). Let \(X=\{u: (0,+\infty )\rightarrow H_{\vec{y}}^{s _{1},\rho } H_{\vec{z}}^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t)\|_{H_{\vec{y}}^{s_{1},\rho } H _{\vec{z}}^{s_{2},r}}\). We define the metric space \((X_{2}^{1},d)\) as follows:

$$\begin{aligned}& X_{2}^{1}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L _{\vec{z}}^{r}}},\quad \forall u,v\in X_{2}^{1}. \end{aligned}$$

Obviously, we can prove that \((X_{2}^{1},d)\) is a complete metric space.

(2.2): The subcase \(s_{2}=(n-d)/2\), when \(\frac{-(2n-d-2s_{1}-4)+\sqrt{(2n-d-2s _{1}-4)^{2}+32(2n-d-2s_{1})}}{2(2n-d-2s_{1})}<\alpha <\frac{8}{2n-d-2s _{1}-4}\), taking \(\theta =\frac{8-(2n-d-2s_{1}-4)\alpha }{4\alpha ( \alpha +2)}\), \(\rho =\frac{d(\alpha +2)}{d+s_{1}\alpha }\), \(r=\alpha +2\). Let \(X=\{u: (0,+\infty )\rightarrow H_{\vec{y}}^{s_{1},\rho } H_{ \vec{z}}^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t)\|_{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s _{2},r}}\). We define the metric space \((X_{2}^{2},d)\) as follows:

$$\begin{aligned}& X_{2}^{2}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{H_{\vec{y}}^{s_{1},\rho }} {L_{\vec{z}}^{r}}},\quad \forall u,v\in X_{2}^{2}. \end{aligned}$$

Obviously, we can prove that \((X_{2}^{2},d)\) is a complete metric space.

(2.3): The subcase \(s_{2}>(n-d)/2\), when \(\frac{-(d-2s_{1}-4)+\sqrt{(d-2s _{1}-4)^{2}+32(d-2s_{1})}}{2(d-2s_{1})}<\alpha <\frac{8}{d-2s_{1}-4}\), taking \(\theta =\frac{8-(d-2s_{1}-4)\alpha }{4\alpha (\alpha +2)}\), \(\rho =\frac{d(\alpha +2)}{d+s_{1}\alpha }\), \(r=2\). Let \(X=\{u: (0,+ \infty )\rightarrow H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t)\| _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}\). We define the metric space \((X_{2}^{3},d)\) as follows:

$$\begin{aligned}& X_{2}^{3}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L _{\vec{z}}^{r}}},\quad \forall u,v\in X_{2}^{3}. \end{aligned}$$

Obviously, we can prove that \((X_{2}^{3},d)\) is a complete metric space.

Using the Banach fixed point theorem, by Lemma 3.7, Lemma 3.5 and Lemma 3.2 we see that Tu has a unique fixed point in \(X_{2}^{1}\), \(X_{2}^{2}\) and \(X_{2}^{3}\) which is the global solution of initial value problem (1.1).

(3) Take the case \(s_{1}=\frac{d}{2}\), \(0< s_{2}\). We divide it into three cases:

(3.1): The subcase \(0< s_{2}<(n-d)/2\), when \(\frac{-(2n-d-4s_{2}-4)+\sqrt{(2n-d-4s _{2}-4)^{2}+32(2n-d-4s_{2})}}{2(2n-d-4s_{2})}<\alpha <\frac{8}{2n-d-4s _{2}-4}\), taking \(\theta =\frac{8-(2n-d-4s_{2}-4)\alpha }{4\alpha ( \alpha +2)}\), \(\rho =\alpha +2\), \(r=\frac{(\alpha +2)(n-d)}{n-d+\alpha s _{2}}\). Let \(X=\{u: (0,+\infty )\rightarrow H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t)\|_{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s _{2},r}}\). We define the metric space \((X_{3}^{1},d)\) as follows:

$$\begin{aligned}& X_{3}^{1}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {H _{\vec{z}}^{s_{2},r}}},\quad \forall u,v\in X_{3}^{1}. \end{aligned}$$

Obviously, we can prove that \((X_{3}^{1},d)\) is a complete metric space.

(3.2): The subcase \(s_{2}=(n-d)/2\), when \(\frac{-(2n-d-4)+ \sqrt{(2n-d-4)^{2}+32(2n-d)}}{2(2n-d)}<\alpha <\frac{8}{2n-d-4}\), taking \(\theta =\frac{8-(2n-d-4)\alpha }{4\alpha (\alpha +2)}\), \(\rho = \alpha +2\), \(r=\alpha +2\). Let \(X=\{u: (0,+\infty )\rightarrow H_{ \vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t)\|_{H_{\vec{y}}^{s_{1}, \rho } H_{\vec{z}}^{s_{2},r}}\). We define the metric space \((X_{3} ^{2},d)\) as follows:

$$\begin{aligned}& X_{3}^{2}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L _{\vec{z}}^{r}}},\quad \forall u,v\in X_{3}^{2}. \end{aligned}$$

Obviously, we can prove that \((X_{3}^{2},d)\) is a complete metric space.

(3.3): The subcase \(s_{2}>(n-d)/2\), when \(\frac{-(d-4)+ \sqrt{(d-4)^{2}+32d}}{2d}<\alpha <\frac{8}{d-4}\), taking \(\theta =\frac{8-(d-4) \alpha }{4\alpha (\alpha +2)}\), \(\rho =\alpha +2\), \(r=2\). Let \(X=\{u: (0,+ \infty )\rightarrow H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t)\| _{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}\). We define the metric space \((X_{3}^{3},d)\) as follows:

$$\begin{aligned}& X_{3}^{3}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {H _{\vec{z}}^{s_{2},r}}},\quad \forall u,v\in X_{3}^{3}. \end{aligned}$$

Obviously, we can prove that \((X_{3}^{3},d)\) is a complete metric space.

Using Lemma 3.4, Lemma 3.6 and the Banach fixed point theorem again, we obtain the global solution of the problem (1.1).

(4) Take the case \(s_{1}>\frac{d}{2}\), \(0\leq s_{2}\). We divide it into two cases:

(4.1): The subcase \(0\leq s_{2}<(n-d)/2\), when \(\frac{-(n-d-2s_{2}-2)+\sqrt{(n-d-2s _{2}-2)^{2}+16(n-d-2s_{2})}}{2(n-d-2s_{2})}<\alpha <\frac{4}{n-d-2s _{2}-2}\), taking \(\theta =\frac{4-(n-d-2s_{2}-2)\alpha }{2\alpha ( \alpha +2)}\), \(\rho =2\), \(r=\frac{(\alpha +2)(n-d)}{n-d+\alpha s_{2}}\), let \(X=\{u: (0,+\infty )\rightarrow H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}} ^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t ^{\theta }\|u(t)\|_{H_{\vec{y}}^{s_{1},\rho } H_{\vec{z}}^{s_{2},r}}\). We define the metric space \((X_{4}^{1},d)\) as follows:

$$\begin{aligned}& X_{4}^{1}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L _{\vec{z}}^{r}}},\quad \forall u,v\in X_{4}^{1}. \end{aligned}$$

Obviously, we can prove that \((X_{4}^{1},d)\) is a complete metric space.

(4.2): The subcase \(s_{2}=(n-d)/2\), when \(\frac{-(n-d-2)+ \sqrt{(n-d-2)^{2}+16(n-d)}}{2(n-d)}<\alpha <\frac{4}{n-d-2}\), taking \(\theta =\frac{4-(n-d-2)\alpha }{2\alpha (\alpha +2)}\), \(\rho =2\), \(r= \alpha +2\), let \(X=\{u: (0,+\infty )\rightarrow H_{\vec{y}}^{s_{1}, \rho } H_{\vec{z}}^{s_{2},r}\}\), we take the norm in X to be \(\|u\|_{X}=\sup_{t>0}t^{\theta }\|u(t)\|_{H_{\vec{y}}^{s_{1},\rho } H _{\vec{z}}^{s_{2},r}}\). We define the metric space \((X_{4}^{2},d)\) as follows:

$$\begin{aligned}& X_{4}^{2}=\bigl\{ u\in {X}| \Vert u \Vert _{X}\leq 2\varepsilon \bigr\} , \\& d(u,v)=\sup_{t>0}t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{H_{\vec{y}}^{s_{1},\rho }} {L_{\vec{z}}^{r}}},\quad \forall u,v\in X_{4}^{2}. \end{aligned}$$

Obviously, we can prove that \((X_{4}^{2},d)\) is a complete metric space.

Similar to the proof of (1), by Lemma 3.3 and Lemma 3.5, it is known from the Banach fixed point theorem that we have the existence of a unique fixed point of \(u\in X\) which is the global solution of the initial value problem of (1.1). □

Proof of Theorem 1.2

Here we only prove the decay estimate of solution in the case \(s_{1}=0\), \(s_{2}=0\) and the rest is similar.

We first prove the continuous dependence of the solution on the initial value. \(\varphi (x)\) and \(\psi (x)\) satisfy the initial condition, and u, v are the two solutions of problem (1.1) corresponding to initial value φ, ψ, respectively. We know \(Tu=u\), \(Tv=v\) by Theorem 1.1 and from the proof of Theorem 1.1 we can obtain

$$\begin{aligned}& t^{\theta } \bigl\Vert u(t)-v(t) \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \\& \quad = t ^{\theta } \Vert Tu-Tv \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \\& \quad \leq t^{\theta } \bigl\Vert S(t) (\varphi -\psi ) \bigr\Vert _{L_{\vec{y}}^{\rho } L _{\vec{z}}^{r}} +t^{\theta } \int _{0}^{t} \bigl\Vert S(t-\tau ) \bigl( \vert u \vert ^{\alpha }u( \tau )- \vert v \vert ^{\alpha }v( \tau )\bigr) \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\, d \tau \\& \quad \leq t^{\theta } \bigl\Vert S(t) (\varphi -\psi ) \bigr\Vert _{L_{\vec{y}}^{\rho } L _{\vec{z}}^{r}} +2c(2\varepsilon )^{\alpha } \Vert u-v \Vert _{X}. \end{aligned}$$

Since \(2c(2\varepsilon )^{\alpha }<1\),

$$ \Vert u-v \Vert _{X}\leq \bigl\Vert S(t) (\varphi -\psi ) \bigr\Vert _{X}. $$

In the following we prove the decay estimate of the solution

$$\begin{aligned}& t^{\theta }(1+t)^{\eta } \int _{0}^{t} \bigl\Vert S(t-\tau ) \bigl( \vert u \vert ^{\alpha }u( \tau )- \vert v \vert ^{\alpha }v( \tau )\bigr) \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\, d \tau \\& \quad \leq t^{\theta }(1+t)^{\eta } \int _{0}^{t} \vert t-\tau \vert ^{\ast } \bigl\Vert \vert u \vert ^{ \alpha }u(\tau )- \vert v \vert ^{\alpha }v(\tau ) \bigr\Vert _{L_{\vec{y}}^{\rho '} L_{ \vec{z}}^{r'}}\,d\tau \\& \quad \leq ct^{\theta }(1+t)^{\eta } \int _{0}^{t} \vert t-\tau \vert ^{\ast }\bigl( \Vert u \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}^{\alpha }+ \Vert v \Vert _{L_{\vec{y}} ^{\rho } L_{\vec{z}}^{r}}^{\alpha }\bigr) \bigl\Vert u(\tau )-v(\tau ) \bigr\Vert _{{L_{ \vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}\,d\tau \\& \quad \leq ct^{\theta }(1+t)^{\eta } \int _{0}^{t} \tau ^{-\theta (\alpha +1)}(1+ \tau )^{-\eta } \vert t-\tau \vert ^{\ast }\bigl(\tau ^{\theta \alpha } \Vert u \Vert _{L_{ \vec{y}}^{\rho } L_{\vec{z}}^{r}}^{\alpha }+\tau ^{\theta \alpha } \Vert v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}^{\alpha }\bigr) \\& \qquad {}\cdot\tau ^{\theta }(1+ \tau )^{\eta } \bigl\Vert u(\tau )-v(\tau ) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{ \vec{z}}^{r}}}\,d\tau \\& \quad \leq ct^{\theta }(1+t)^{\eta } \int _{0}^{t} \tau ^{-\theta (\alpha +1)}(1+ \tau )^{-\eta } \vert t-\tau \vert ^{\ast }\Bigl(\sup _{0< \tau < t}\tau ^{\theta \alpha } \Vert u \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}^{\alpha }+\sup_{0< \tau < t} \tau ^{\theta \alpha } \Vert v \Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}^{ \alpha }\Bigr) \\& \qquad {} \cdot \sup_{0< \tau < t}\tau ^{\theta }(1+\tau )^{\eta } \bigl\Vert u(\tau )-v( \tau ) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}\,d \tau \\& \quad \leq 2c(2\varepsilon )^{\alpha }t^{\theta }\sup _{0< \tau < t} \tau ^{\theta }(1+\tau )^{\eta } \bigl\Vert u(\tau )-v(\tau ) \bigr\Vert _{{L_{\vec{y}} ^{\rho }} {L_{\vec{z}}^{r}}} \int _{0}^{t} \biggl(\frac{1+t}{1+\tau } \biggr)^{ \eta } \vert t-\tau \vert ^{\ast } \vert \tau \vert ^{-\theta (\alpha +1)}\,d\tau \\& \quad \leq 2c(2\varepsilon )^{\alpha }t^{\theta }\sup _{t>0}t^{\theta }(1+t)^{ \eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}} \int _{0}^{t} \biggl(\frac{t}{\tau } \biggr)^{\eta } \vert t-\tau \vert ^{\ast } \vert \tau \vert ^{-\theta ( \alpha +1)}\,d\tau \\& \quad = 2c(2\varepsilon )^{\alpha }t^{\theta +\eta } \sup _{t>0}t^{\theta }(1+t)^{ \eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}} \int _{0}^{t} \vert t-\tau \vert ^{\ast } \vert \tau \vert ^{-\theta (\alpha +1)-\eta }\,d\tau \\& \quad \leq 2(2\varepsilon )^{\alpha }\sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}t^{\theta +\eta +\ast - \theta (\alpha +1)-\eta +1} \int _{0}^{1} \biggl\vert 1-\frac{\tau }{t} \biggr\vert ^{\ast } \biggl\vert \frac{ \tau }{t} \biggr\vert ^{-\theta (\alpha +1)-\eta }\, d\frac{\tau }{t} \\& \quad = 2c(2\varepsilon )^{\alpha }\sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}t^{\theta +\ast -\theta ( \alpha +1)+1} B\bigl(1- \theta (\alpha +1)-\eta ,1+\ast \bigr), \end{aligned}$$

where \(\ast =-\frac{n-d}{2}(1-\frac{2}{r})-\frac{d}{4}(1-\frac{2}{ \rho })\), \(B(\cdot ,\cdot )\) is a Beta function.

Notice that \(\theta -\theta (\alpha +1)+\ast +1=0\), and \(\theta ( \alpha +1)+\eta <1\), \(\frac{n-d}{2}(1-\frac{2}{r})+\frac{d}{4}(1-\frac{2}{ \rho })<1\), thus we have

$$\begin{aligned}& t^{\theta }(1+t)^{\eta } \int _{0}^{t} \bigl\Vert S(t-\tau ) \bigl( \vert u \vert ^{\alpha }u( \tau )- \vert v \vert ^{\alpha }v( \tau )\bigr) \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\, d \tau \\& \quad \leq 2c(2\varepsilon )^{\alpha }\sup_{t>0}t^{\theta }(1+t)^{ \eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}, \end{aligned}$$

so that

$$\begin{aligned}& \sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{L_{\vec{y}}^{ \rho } L_{\vec{z}}^{r}} \\& \quad \leq \sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert S(t) (\varphi -\psi ) \bigr\Vert _{L _{\vec{y}}^{\rho } L_{\vec{z}}^{r}} \\& \qquad {}+\sup _{t>0}t^{\theta }(1+t)^{ \eta } \int _{0}^{t} \bigl\Vert S(t-\tau ) \bigl( \vert u \vert ^{\alpha }u(\tau )- \vert v \vert ^{\alpha }v( \tau )\bigr) \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\,d\tau \\& \quad \leq \sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert S(t) (\varphi -\psi ) \bigr\Vert _{L _{\vec{y}}^{\rho } L_{\vec{z}}^{r}} +2c(2\varepsilon )^{\alpha }\sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{{L_{\vec{y}}^{\rho }} {L_{\vec{z}}^{r}}}. \end{aligned}$$

Since \(2c(2\varepsilon )^{\alpha }<1\) and \(\sup_{t>0}t^{\theta }(1+t)^{ \eta }\|S(t)(\varphi -\psi )\|_{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}<+ \infty \) we have

$$ \sup_{t>0}t^{\theta }(1+t)^{\eta } \bigl\Vert u(t)-v(t) \bigr\Vert _{L_{\vec{y}}^{\rho } L _{\vec{z}}^{r}}\leq c. $$

Hence

$$ \bigl\Vert u(t)-v(t) \bigr\Vert _{L_{\vec{y}}^{\rho } L_{\vec{z}}^{r}}\leq ct^{-\theta }(1+t)^{- \eta }. $$

 □

References

  1. Aceves, A.B., De Angelis, C., Turitsyn, S.K.: Multidimensional solitons in fiber arrays. Opt. Lett. 19, 329–331 (1995)

    Article  Google Scholar 

  2. Wen, S., Fan, D.: Spatiotemporal instabilities in nonlinear Kerr media in the presence of arbitrary higher order dispersions. J. Opt. Soc. Am. B 19, 1653–1659 (2002)

    Article  Google Scholar 

  3. Fibich, G., Ilan, B., Schochet, S.: Critical exponents and collapse of nonlinear Schrödinger equations with anisotropic fourth-order dispersion. Nonlinearity 16, 1809–1821 (2003)

    Article  MathSciNet  Google Scholar 

  4. Fibich, G., Papanicolaou, G.C.: A modulation method for self-focusing in the perturbed critical nonlinear Schrödinger equation. Phys. Lett. A 239, 167–173 (1998)

    Article  MathSciNet  Google Scholar 

  5. Fibich, G., Papanicolaou, G.C.: Self-focusing in the perturbed and unperturbed nonlinear Schrödinger equation in critical dimension. SIAM J. Appl. Math. 60, 183–240 (1999)

    Article  Google Scholar 

  6. Dinh, V.D.: On well-posedness, regularity and ill-posedness for the nonlinear fourth-order Schrödinger equation. Bull. Belg. Math. Soc. Simon Stevin 25, 415–437 (2018)

    MathSciNet  MATH  Google Scholar 

  7. Hao, C., Hsiao, L., Wang, B.: Well-posedness for the fourth-order Schrödinger equations. J. Math. Anal. Appl. 320, 246–265 (2006)

    Article  MathSciNet  Google Scholar 

  8. Hao, C., Hsiao, L., Wang, B.: Well-posedness of the Cauchy problem for the fourth-order Schrödinger equations in high dimensions. J. Math. Anal. Appl. 328, 58–83 (2007)

    Article  MathSciNet  Google Scholar 

  9. Pausader, B.: Global well-posedness for energy critical fourth-order Schrödinger equations in the radial case. Dyn. Partial Differ. Equ. 4, 197–225 (2007)

    Article  MathSciNet  Google Scholar 

  10. Pausader, B.: The cubic fourth-order Schrödinger equation. J. Funct. Anal. 256, 2473–2517 (2009)

    Article  MathSciNet  Google Scholar 

  11. Segata, J.: Well-posedness for the fourth-order nonlinear Schrödinger type equation related to the vortex filament. Differ. Integral Equ. 16, 841–864 (2003)

    MathSciNet  MATH  Google Scholar 

  12. Ozsari, T., Yolcu, N.: The initial-boundary value problem for the biharmonic Schrödinger equation on the half-line. Commun. Pure Appl. Anal. (2019). https://arxiv.org/abs/1802.10499

  13. Capistrano-Filho, R.A., Cavalcante, M., Gallego, F.A.: Lower regularity solutions of the biharmonic Schrödinger equation in a quarter plane (2018). https://arxiv.org/abs/1812.11079

  14. Guo, C.H., Cui, S.B.: Well-posedness of the Cauchy problem of high dimension non-isotropic fourth-order Schrödinger equations in Sobolev spaces. Nonlinear Anal. 70, 3761–3772 (2009)

    Article  MathSciNet  Google Scholar 

  15. Zhao, X., Cui, S.: Global small solutions of the Cauchy problem for non-isotropic Schrödinger equations. Kyungpook Math. J. 48, 101–108 (2008)

    Article  MathSciNet  Google Scholar 

  16. Bouchel, O.: Remarks on NLS with higher order anisotropic dispersion. Adv. Differ. Equ. 13, 169–198 (2008)

    MathSciNet  MATH  Google Scholar 

  17. Guo, C., Cui, S.: Solvability of the Cauchy problem of non-isotropic Schrödinger equations in Sobolev spaces. Nonlinear Anal. 68, 768–780 (2008)

    Article  MathSciNet  Google Scholar 

  18. Saut, J.C., Segata, J.: Asymptotic behavior in time of solution to the nonlinear Schrödinger equation with higher order anisotropic dispersion. Discrete Contin. Dyn. Syst. 39, 219–239 (2019)

    Article  MathSciNet  Google Scholar 

  19. Zhao, X.Q., Guo, C.H., Sheng, W.C., Wei, X.M.: Well-posedness of the fourth-order perturbed Schrödinger type equation in non-isotropic Sobolev spaces. J. Math. Anal. Appl. 382, 97–109 (2011)

    Article  MathSciNet  Google Scholar 

  20. Guo, C., Zhao, X., Wei, X.: Cauchy problem for higher-order Schrödinger equations in anisotropic Sobolev space. Appl. Anal. 88, 1329–1338 (2009)

    Article  MathSciNet  Google Scholar 

  21. Ben-Artzi, M., Koch, H., Saut, J.-C.: Dispersion estimates for fourth order Schrödinger equations. C. R. Acad. Sci. Paris, Sér. I Math. 330, 87–92 (2000)

    Article  MathSciNet  Google Scholar 

  22. Cui, S.B., Guo, C.H.: Well-posedness of higher-order nonlinear Schrödinger equations in Sobolev spaces \(H^{s}( R^{n} )\) and applications. Nonlinear Anal. 67, 687–707 (2006)

    Article  Google Scholar 

  23. Christ, F.M., Weinstein, M.I.: Dispersive of small-amplitude solutions of the generalized Korteweg–de Vries equation. J. Funct. Anal. 100, 87–109 (1991)

    Article  MathSciNet  Google Scholar 

  24. Runst, T., Sickel, W.: Sobolev Spaces of Fractional Order, Nemytskii Operators and Nonlinear Partial Differential Equations. de Gruyter, Berlin (1996)

    Book  Google Scholar 

Download references

Acknowledgements

The authors would like to thank the anonymous referee for her/his useful comments and valuable suggestions.

Funding

This work is supported by Natural Science Foundation of China (No. 11571209, No. 61473180, No. 61503230).

Author information

Authors and Affiliations

Authors

Contributions

The authors declare that the study was realized in collaboration with the same responsibility. All authors read and approved the final manuscript.

Corresponding author

Correspondence to Cuihua Guo.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Su, H., Guo, C. The global solution of anisotropic fourth-order Schrödinger equation. Adv Differ Equ 2019, 173 (2019). https://doi.org/10.1186/s13662-019-2118-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13662-019-2118-0

MSC

Keywords