Advertisement

Boundary Value Problems

, 2018:109 | Cite as

Existence of the global attractor to fractional order generalized coupled nonlinear Schrödinger equations with derivative

  • Wenjing Song
  • Ganshan Yang
Open Access
Research
  • 319 Downloads

Abstract

In this paper, we are concerned with the fractional Schrödinger equation with time fraction order, fractional Laplacian, and derivative terms. The existence of weak solution is established, as well as the existence of global attractor is obtained under some conditions for this equations.

Keywords

Coupled nonlinear Schrödinger equations Ginzburg–Landau equations Global attractor Fractional differential equation 

MSC

35Q41 35B56 35B41 76D05 

1 Introduction

The nonlinear Schrödinger (NLS) equation provides a canonical description of envelope dynamics of quasi-monochromatic plane wave propagation processes which are negligible. The dynamics are linear within short propagation distance and short time, but cumulative nonlinear interactions lead to an important modulation of the wave amplitude on large spatial and temporal scales.

In optics, it can also be considered as the extension to nonlinear media of the paraxial approximation used for linear waves propagating in some random medium. However, by Kaminow [1], we know that single-mode optical fibers are not really single-mode, but actually bimodal according to the presence of birefringence. This birefringence can influence the way in which an optical fiber evolves during the propagation travel along the fiber. Indeed, it occurs that the linear birefringence makes a pulse split into two, and nonlinear birefringent traps them together against splitting. Menyuk [2, 3] showed that the evolution of two orthogonal pulse envelopes in birefringent optical fibers can be governed by the following coupled nonlinear Schrödinger system:
$$\begin{aligned}& i\phi _{t} +\phi _{xx} + \bigl(\vert \phi \vert ^{2}+e\vert \psi \vert ^{2} \bigr)\phi =0, \end{aligned}$$
(1.1)
$$\begin{aligned}& i\psi _{t} +\psi _{xx} + \bigl(e\vert \phi \vert ^{2}+\vert \psi \vert ^{2} \bigr)\psi =0, \end{aligned}$$
(1.2)
where e is a positive constant depending on the anisotropy of the fibers.

When \(e=0\), system (1.1)–(1.2) becomes two decoupled nonlinear Schrödinger equations.

When \(e=1\), system (1.1)–(1.2) is known as Manakov equations. The integrability of this system was proved by Manakov in 1974, and we shall regard it as the Integrable Manakov System (IMS).

Equations (1.1)–(1.2) are important for a number of physical applications (see [1, 2, 3, 4, 5, 6, 7]) when e is positive and all the remaining constants are set equal to 1. For example, when \(e=2\) for two-mode optical fibers; when \(e=2/3\) for propagation of two modes in fibers with strong birefringence, and in the general case \(2/3\le e \le 2\) for elliptical eigenmodes. The special value \(e=1\) (IMS) corresponds to at least two possible physical cases, one is the case of a purely electrostrictive nonlinearity, and another is in the elliptical birefringence case, when the angle between the major and minor axes of the birefringence ellipse is approximately 35°. Moreover, the experimental observation of Manakov solitons in crystals has been reported. The pulse–pulse collision between wavelength–division–multiplexed channels of optical fiber transmission systems are described by (1.1)–(1.2) with \(e=2\) (Hasewaga and Kodama [4]).

Since the coupled nonlinear Schrödinger (CNLS) equations describe the propagation of light waves in a nonlinear birefringent optical fiber, up to now, they have been studied intensively over 30 years to realize the idea of using optical solitons as information bits in high-speed telecommunication systems (see [8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19]). Moreover, collision of solitary waves is a common phenomenon in science and engineering and it has diverse applications in many areas of physics, including nonlinear optics, plasma physics, and hydrodynamics.

Notice that generalized coupled nonlinear Ginzburg–Laudau equations are more common than GCNLS equations and are supplemented by external force:
$$\begin{aligned}& iu_{1t} -(b+ai)\Delta u_{1} +g \bigl(\vert u_{1} \vert ^{2}+\vert u_{2} \vert ^{2} \bigr)u_{1}=f_{1}, \end{aligned}$$
(1.3)
$$\begin{aligned}& iu_{2t} -(b+ai)\Delta u_{2} +g \bigl(\vert u_{1} \vert ^{2}+\vert u_{2} \vert ^{2} \bigr)u_{2}=f_{2}. \end{aligned}$$
(1.4)
Firstly, we focus on generalized coupled nonlinear Ginzburg–Laudau equations which are more common than GCNLS equations and are supplemented with damping and external force as follows:
$$\begin{aligned}& iu_{1t} -(b+ai)\Delta u_{1} +g \bigl(\vert u_{1} \vert ^{2}+\vert u_{2} \vert ^{2} \bigr)u_{1} +iru_{1} =f_{1}, \\& iu_{2t} -(b+ai)\Delta u_{2} +g \bigl(\vert u_{1} \vert ^{2}+\vert u_{2} \vert ^{2} \bigr)u_{2} +i\sigma u_{2} =f_{2}, \end{aligned}$$
where \(u_{1}\), \(u_{2}\) are the wave amplitudes in two polarizations, a, b are positive real numbers, \(r,\sigma >0\) are the damping parameters, \(g(s)\) is a nonnegative smooth function on \(R^{+}\), and the external forcing \(f_{1} (x)\) and \(f_{2} (x)\) are independent of t, belonging to \(L^{2}(\Omega )\), where Ω is an open bounded set in \(R^{n}\).
With the appearance of memory materials, a great attention has been focused on the study of problems involving the fractional Laplacian
$$\begin{aligned}& iu_{1t} +(b+ai) (-\Delta )^{s} u_{1} +g \bigl(\vert u_{1} \vert ^{2}+\vert u_{2} \vert ^{2} \bigr)u_{1} +iru_{1} =f_{1}, \end{aligned}$$
(1.5)
$$\begin{aligned}& iu_{2t} +(b+ai) (-\Delta )^{s} u_{2} +g \bigl(\vert u_{1} \vert ^{2}+\vert u_{2} \vert ^{2} \bigr)u_{2} +i\sigma u_{2} =f_{2}. \end{aligned}$$
(1.6)
Consider the initial conditions
$$ u_{1} (x,0)=u_{10} (x),\qquad u_{2} (x,0)=u_{20} (x), $$
(1.7)
and the boundary condition
$$ u_{1} (x,t)=u_{2} (x,t)=0,\quad x\in \partial \Omega. $$
(1.8)
We rewrite (1.5) and (1.6) into the following form:
$$ iU_{t} +(b+ai) (-\Delta )^{s}U+g \bigl( \vert U \vert ^{2} \bigr)U+iQU=F, $$
(1.9)
where
$$ U=(u_{1},u_{2} )^{T}, \qquad F=(f_{1},f_{2} )^{T}, \qquad \vert U \vert ^{2}=\vert u_{1} \vert ^{2}+\vert u_{2} \vert ^{2}, \qquad Q=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} r & 0 \\ 0 & \sigma \end{array}\displaystyle \right ), $$
and \(U(x,t)=U\) in \(C(\overline{\Omega }\times R)\), \(t\in (0,T)\). We supply (1.9) with the initial and boundary conditions
$$ U_{0} =U(x,0); \qquad U(x,t)=0,\quad x\in \partial \Omega. $$
(1.10)
The global solution of problem (1.9)–(1.10) can hardly be got. For the case of only an equation of problem (1.9), i.e., for the 2D Ginzburg–Landau equation, we obtain some explicit periodic wave solutions using the homogeneous balance principle and general Jacobi elliptic-function method and provide a blow-up solution (see [20]). Here, let us mention that there are both similarities and differences between the Schrödinger equation and the Landau–Lifshitz equation, the Landau–Lifshitz equation is more intrinsically difficult than the Ginzburg–Landau equation (see [21, 22, 23, 24]). If α, β are positive real constants, we change the coefficients of (1.9) and get the generalized coupled nonlinear Schrödinger equations
$$ iU_{t} +\alpha (-\Delta )^{s}U+g \bigl( \vert U \vert ^{2} \bigr)U+iQU+\beta U=F. $$
(1.11)
It is equipped with the same initial and boundary conditions as (1.10). With the help of the extended techniques developed by Caffarelli and Silvestre [25], some existence and nonexistence of Dirichlet problem involving the fractional Laplacian on bounded domain have been established, see Refs. [26] for example.
In this paper, we would rather switch our viewpoint to the fractional order equation \((E_{ig,Q, F, t})\):
$$ (E_{ig,Q,F,t}) \textstyle\begin{cases} D^{\alpha }U(x,t) = (bi-a)(-\Delta )^{s} U(x,t)+ig(\vert U(x,t) \vert ^{2})U(x,t) \\ \quad {} +cU^{2}(x,t)\overline{(-\Delta )^{\frac{s}{2}}U(x,t)}+d\vert U(x,t) \vert ^{2}(-\Delta )^{\frac{s}{2}}U(x,t) \\ \quad {}-QU(x,t)+i\beta U(x,t)-iF(x), \quad \mbox{in }\Omega _{T}, \\ U(x,t) = 0,\quad \mbox{on }\partial \Omega _{T}, \\ U(x,0) = \Phi (x), \quad \mbox{in }\Omega, \\ U_{t}(x,0) = \Psi (x),\quad \mbox{in } \Omega, \end{cases} $$
(1.12)
in space \(V=H_{0}^{s}(\Omega )\times H_{0}^{s}(\Omega )\).

Notice that (1.9) is a special case of \((E_{ig,Q,F,t})\). The equation \((E_{ig,Q,F,t})\) includes the fractional Laplacian, time fractional order, and derivative terms, so it plays an important role in physics and probability in finance. We refer, for example, to [27, 28, 29] and the references therein.

As far as we know, there are few articles to study the global solution to \((E_{ig,Q,F,t})\) with three terms at the same time: the fractional order with respect to time, space fractional order, and derivative terms. It is studied only when there is the lack of the time fractional order or the space fractional order. For the case with derivative term, the existence of global solution is an open question even in the integer order case and one-dimensional space. In this paper we first build the existence of weak solution to \((E_{ig,Q,F,t})\), then we prove the existence of global attractor of (1.11) in \(L^{2}(\Omega )\times L^{2}(\Omega )\), and the dynamic motions will be given under the condition \(G(\rho )=\int _{0}^{\rho }g(\tau )\,d\tau \le g(\rho )\rho \) (\(\rho \ge 0\)).

2 Functional setting

As usual we denote the space of (classes of ) square-integrable measurable complex functions on \(\Omega \subset R^{n}\) by \(L^{p}(\Omega )\) (\(p\geq 1\)). \(H^{m}(\Omega ) m\in N \) is the subspace of \(L^{2}\)-functions whose distribution derivatives of order no more than m belong to \(L^{2}(\Omega )\). \(H_{0}^{1} (\Omega )\) denotes the space of functions in \(H^{1}(\Omega )\) whose trace vanishes on Ω.

The scalar product and norm on \(L^{2}(\Omega )\) are
$$ (u, {v})= \int _{\Omega }{u(x)\overline{v}(x)\,dx}, \qquad \Vert u \Vert =(u, {u})^{1/2}, $$
and we set
$$ (u, {v})_{m} =\sum_{[\alpha ]=m} { \bigl(D^{\alpha }u,D^{\alpha }{v} \bigr) },\qquad \Vert u \Vert _{m} =(u,u)_{m}^{1/2}, $$
where \(u,v\in H^{m}(\Omega )\) and \([\alpha ]=\alpha _{1} +\alpha _{2} +\cdots +\alpha _{n} \) is length of the multi-index \(\alpha =(\alpha _{1},\alpha _{2},\ldots,\alpha _{n} )\in N^{n}\).
The basic Hilbert space \(L^{2}(\Omega )\times L^{2}(\Omega )\) is denoted by H, and we define the unbounded operator −Δ on H with domain
$$ D(-\Delta )= \bigl(H^{2}(\Omega )\times H^{2}(\Omega ) \bigr) \cap \bigl(H_{0}^{1} (\Omega )\times H_{0}^{1} (\Omega ) \bigr) $$
such that
$$ -\Delta U=-\sum_{i=1}^{n} { \frac{\partial ^{2}U}{\partial x_{i}^{2} }} \in H, \quad U\in D(-\Delta ). $$
The operator \(I-\Delta \) is self-adjoint, positive on H, and realizes an isomorphism from \(D(-\Delta )\) onto H. We deduce from the compactness of the embedding of \(H^{1}(\Omega )\) into \(L^{2}(\Omega )\) that \((I-\Delta )^{-1}\) is a compact self-adjoint operator in H. Thus, there exists an orthonormal Hilbert basis of H consisting of eigenvectors \(\omega _{j} \) of −Δ in \(H_{0}^{1} (\Omega )\times H_{0}^{1} (\Omega )\), associated to the eigenvalues \(\lambda _{j} \):
$$ -\Delta \omega _{j} =\lambda _{j} \omega _{j}, \qquad \Vert \omega _{j} \Vert _{H} =1, $$
\(0< \lambda _{1} \le \lambda _{2} \le \cdots, \lambda _{j} \to \infty \) as \(j\to \infty \) (see [30]).
In fact, let \(w_{j}\) be an orthonormal basis of \(L^{2}(\Omega )\) consisting of eigenvectors \(\omega _{j}\) associated to the eigenvalues \(\mu _{j}\). Let
$$ \omega _{2j-1}=(w_{j},0),\qquad \omega _{2j}=(0,w_{j}), \quad j=1,2,\ldots. $$
For every \(U=(u,v)=(\sum_{j=1}^{\infty }\beta _{1j}w_{j}, \sum_{j=1}^{\infty }\beta _{2j}w_{j})=\sum_{j=1}^{\infty }\int _{\Omega }(\beta _{1j}w_{2j-1}+\beta _{2j}w_{2j})\,dx\).
If we set
$$ V=H_{0}^{1} (\Omega )\times H_{0}^{1} (\Omega ), $$
according to the boundary condition, we consider norms
$$\begin{aligned}& \Vert U \Vert _{H} = \bigl(\Vert u_{1} \Vert ^{2} +\Vert u_{2} \Vert ^{2} \bigr)^{1/ 2}, \\& \Vert U \Vert _{V} = \bigl(\Vert u_{1} \Vert _{1}^{2} + \Vert u_{2} \Vert _{1}^{2} \bigr)^{1/2}, \end{aligned}$$
and the scalar product can be written as
$$ \bigl((u_{1},u_{2} ),( {w}_{1}, {w}_{2} ) \bigr)= \int _{\Omega }{u_{1} \overline{w}_{1} } +u_{2} \overline{w}_{2}\,dx. $$
For every given \(s>0\), we define
$$ (-\Delta )^{s}\omega _{j} =\lambda ^{s} _{j} \omega _{j} $$
if and only if
$$ \bigl((-\Delta )^{s}\omega _{j},v \bigr)=\lambda ^{s}_{j}(\omega _{j},v), \quad v\in H^{1}_{0} $$
for those eigenvectors \(\omega _{j} \) of −Δ, associated to the eigenvalues \(\lambda _{j}\).
The powers \((-\Delta )^{s}\), \(s\in R\), are well-defined and the space \(H_{s}=D((-\Delta )^{s/2})\) and its dual space \({H_{s}}'=D((-\Delta )^{-s/2})\) are of particular interest in what follows. It should be noticed that
$$\begin{aligned}& H_{s}= \Biggl\{ U \mid U=(u_{1},u_{2})= \Biggl( \sum_{j=1}^{\infty }\beta _{1j}w_{j}, \sum_{j=1}^{\infty }\beta _{2j}w_{j} \Biggr),\sum_{j=1}^{\infty }\lambda _{j}^{s} \int _{\Omega } \bigl(\vert \beta _{1j} \vert ^{2}+\vert \beta _{2j} \vert ^{2} \bigr)\,dx< \infty \Biggr\} . \\& \Vert U \Vert _{H_{s}} =\sqrt{\sum _{j=1}^{\infty } \int _{\Omega }\lambda _{j}^{s} \bigl(\vert \beta _{1j} \vert ^{2}+\vert \beta _{2j} \vert ^{2} \bigr)\,dx}, \\& ( U, W)_{H_{s}} =\sum_{j=1}^{\infty } \lambda _{j}^{s} \int _{\Omega }(\beta _{1j}\overline{\beta _{3j}}+\beta _{2j}\overline{\beta _{4j}})\,dx, \end{aligned}$$
where
$$\begin{aligned}& U=(u_{1},u_{2})=\Biggl(\sum_{j=1}^{\infty } \beta _{1j}w_{j}, \sum_{j=1}^{\infty } \beta _{2j}w_{j}\Biggr), \\& W=(u_{3},u_{4})=\Biggl(\sum_{j=1}^{\infty } \beta _{3j}w_{j}, \sum_{j=1}^{\infty } \beta _{4j}w_{j}\Biggr). \end{aligned}$$

Remark 2.1

\(H_{1}=H^{1}_{0}=V, H_{2}=H^{2}_{0}, H_{-1}=H^{-1}=V', H_{[s]}=H^{[s]}_{0}\). When s is not an integer, \(H_{s}\) defined by us is slightly different from the generalized Sobolev space:
$$ \bigl((-\Delta )^{s} U, W \bigr) = \bigl(U, (-\Delta )^{s}W \bigr)= \bigl((-\Delta )^{s/2} U, (-\Delta )^{s/2}W \bigr)=(U, W)_{H_{s}}. $$

3 The time-fractional equations

Note that throughout this section the letter α may stand either for the parameter in Eq. (1.9) or for the order of the fractional equation when we use the notation \(D^{\alpha }U\). The meaning to be chosen should be clear from the context.

In order to discuss the existence of the solution for the equation \((E_{ig,Q,F,t})\), we need to present some basic notations, definitions, and preliminary results which will be used throughout this section. We first have the following two definitions and one lemma by Kilbas [31].

Definition 3.1

The Caputo fractional derivative of order α of a function \(f(t)\), \(t > 0\), is defined as follows:
$$ D^{\alpha }f(t) = \frac{1}{\Gamma (1-\{\alpha \})} \int _{0}^{t}\frac{1}{(t-s)^{\{\alpha \}}}f^{([\alpha ]+1)}\,ds, $$
where \(\{\alpha \}\), \([\alpha ]\) denote the fractional and the integer part of the real number α respectively, and \(\Gamma (\cdot )\) is the gamma function.

Definition 3.2

The Riemann–Liouville fractional integral of order α of a function \(f(t)\), \(t > 0\), is defined as follows:
$$ I_{0^{+}}^{\alpha }f(t) = \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1}f(s)\,ds, $$
provided that the right-hand side is pointwise defined on \((0, \infty )\).

Lemma 3.3

Assume\(y \in C[0, T]\), \(T > 0\), \(1 < \alpha < 2\), then the problem
$$\begin{aligned} D^{\alpha }u(t) = y(t), \quad t \in [0, T], \end{aligned}$$
(3.1)
has the unique solution
$$ u(t) = u(0) + u'(0)t + \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1}y(s)\,ds. $$

Now we establish some results of the existence of solution for the equation \((E_{ig, Q,F,t})\).

By Lemma 3.3, we may reduce equation \((E_{ig,Q, F,t})\) to an equivalent integral equation as the following problem:
$$ (E_{ig, Q,F,t}) \textstyle\begin{cases} U(x,t)=\Phi (x)+\Psi (x) t \\ \quad {}+\frac{1}{\Gamma (\alpha )}\int _{0}^{t}(t-s)^{\alpha -1} ( (bi-a)(-\Delta )^{s} U(x,s)+ig(\vert U(x,s) \vert ^{2})U(x,s) \\ \quad {}+cU^{2}(x,s) \overline{(-\Delta )^{\frac{s}{2}}U(x,s)}+d\vert U(x,s) \vert ^{2}{(-\Delta )^{\frac{s}{2}}U(x,s)} \\ \quad {}-QU(x,s)+i\beta U(x,s)-iF(x) )\,ds, \quad \mbox{in } \Omega _{T}, \\ U(x,t)= 0,\quad \mbox{on }\partial \Omega _{T}. \end{cases} $$
(3.2)
And we set
$$\begin{aligned} \Upsilon (U)&=\Phi (x)+\Psi (x) t+\frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl((bi-a) (- \Delta )^{s} U(x,s) \\ &\quad {}+ig \bigl( \bigl\vert U(x,s) \bigr\vert ^{2} \bigr)U(x,s)+cU^{2}(x,s) \overline{(-\Delta )^{\frac{s}{2}}U(x,s)} \\ &\quad {}+d \bigl\vert U(x,s) \bigr\vert ^{2}{(-\Delta )^{\frac{s}{2}}U(x,s)} \\ &\quad {}-QU(x,s)+i\beta U(x,s)-iF(x) \bigr)\,ds. \end{aligned}$$

Definition 3.4

We call \(U\in C([0,T]; H^{\prime}_{s}(\Omega )\times H^{\prime}_{s}(\Omega )), s\geq 1\), a weak solution of the fractional order equation \((E_{ig, Q,F, t})\) if \(\int _{\Omega }(U-\Upsilon (U))\overline{W}\,dx = 0\), \(\forall t\in [0,T]\) for every \(W\in H_{0}^{s}(\Omega )\times H_{0}^{s}(\Omega )\).

Lemma 3.5

The operator\(\Upsilon (U)\in C([0,T]; H^{\prime}_{s}(\Omega )\times H^{\prime}_{s}(\Omega )) \)is completely continuous.

Proof

Set \(B=\{U\mid \Vert U \Vert _{H_{s}\times H_{s}}\leq M\}\). Put
$$\begin{aligned} K(U) &= (bi-a) (-\Delta )^{s}U(x,s)+ig \bigl( \bigl\vert U(x,s) \bigr\vert ^{2} \bigr)U(x,s)+cU^{2}(x,s) \overline{(-\Delta )^{\frac{s}{2}}U(x,s)} \\ &\quad {}+d \bigl\vert U(x,s) \bigr\vert ^{2}{(-\Delta )^{\frac{s}{2}}U(x,s)}-QU(x,s)+i \beta U(x,s)-iF(x). \end{aligned}$$
We can rewrite
$$ \Upsilon (U)=\Phi (x)+\Psi (x) t+ \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1}K(U)\,ds. $$
For each \(W\in H_{0}^{s}(\Omega )\times H_{0}^{s}(\Omega )\) and \(\Vert W \Vert _{H_{0}^{s}(\Omega )\times H_{0}^{s}(\Omega )} \leq 1\), when \(n\leq 3s, 0< r\leq 3, 0< q\leq 6, \frac{1}{r}+\frac{1}{q}=1\), and \(\frac{1}{2}-\frac{s}{n}\leq \frac{1}{r},\frac{1}{2}-\frac{s}{n}\leq \frac{1}{(2k+1)r}\) (for example \(0< r\leq \frac{5}{6},k=2\)), using embedding theorem and Holder’s inequality, we have the following inequalities:
$$\begin{aligned}& \bigl\vert \bigl\langle (bi-a) (-\Delta )^{s}U(x,s),W \bigr\rangle \bigr\vert \\& \quad = \biggl\vert \int (bi-a) (-\Delta )^{\frac{s}{2}} U(x,s) (-\Delta )^{\frac{s}{2}}\overline{W}\,dx \biggr\vert \\& \quad \leq\int \bigl\vert (bi-a) (-\Delta )^{\frac{s}{2}}U(x,s) (-\Delta )^{\frac{s}{2}}\overline{W} \bigr\vert \\& \quad \leq \sqrt{a^{2}+b^{2}} \biggl( \int \bigl\vert (-\Delta )^{\frac{s}{2}} U \bigr\vert ^{2} \,dx \biggr)^{\frac{1}{2}} \biggl( \int \bigl\vert (-\Delta )^{\frac{s}{2}} W \bigr\vert ^{2} \,dx \biggr)^{\frac{1}{2}} \\& \quad \leq \sqrt{a^{2}+b^{2}} \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H} \bigl\Vert (-\Delta )^{\frac{s}{2}} W \bigr\Vert _{H}+C\Vert U \Vert ^{5}_{V}\Vert W \Vert _{V} \\& \quad \leq \sqrt{a^{2}+b^{2}}\Vert U \Vert _{H_{s}}\Vert W \Vert _{H_{s}} \\& \quad \leq M_{1}, \\& \bigl\vert \bigl\langle \vert U\vert ^{2}(-\Delta )^{\frac{s}{2}}U,W \bigr\rangle \bigr\vert \\& \quad \leq \bigl\Vert \vert U\vert ^{2} \bigr\Vert _{L^{r}} \bigl\Vert (-\Delta )^{\frac{s}{2}}U \bigr\Vert _{L^{2}} \Vert W \Vert _{L^{q}} \\& \quad \leq \Vert U \Vert ^{3}_{H_{s}} \\& \quad \leq M_{2}, \\& \bigl\vert \bigl\langle g \bigl( \vert U \vert ^{2}U,W \bigr) \bigr\rangle \bigr\vert \\& \quad \leq \bigl\Vert g \bigl(\vert U \vert ^{2} \bigr)U \bigr\Vert _{L^{r}}\Vert W \Vert _{L^{p}} \\& \quad \leq \bigl(C_{0}+\vert U \vert ^{2} \bigr)^{kr}\vert U \vert ^{r}\Vert W \Vert _{L^{p}} \\& \quad \leq C_{1} \bigl(C_{0}\vert U\vert ^{r}+ \vert U\vert ^{2kr+r} \bigr) \Vert W \Vert _{L^{p}} \\& \quad \leq M_{3}, \\& \bigl\vert \bigl\langle U(x,s),W \bigr\rangle \bigr\vert \\& \quad \leq \biggl( \int \vert U \vert ^{2}\,dx \biggr)^{\frac{1}{2}} \biggl( \int \vert W \vert ^{2}\,dx \biggr)^{\frac{1}{2}} \\& \quad \leq \Vert U \Vert _{H}\Vert W \Vert _{H_{s}}+ \Vert F \Vert _{H}\Vert W \Vert _{H_{s}} \\& \quad \leq M_{4}. \end{aligned}$$
Similarly, \(\vert \langle U^{2}(x,s)(-\Delta )^{\frac{s}{2}}\overline{ U(x,s)},W \rangle \vert \leq M_{5}\), \(\vert \langle F,W\rangle \vert \leq M_{6}\).

Applying the equalities above, we immediately get \(\vert \langle K(U), W \rangle \vert \leq M\).

Thus, by Cauchy–Schwarz inequalities, we obtain
$$\begin{aligned}& \bigl\Vert \Upsilon (U) \bigr\Vert _{H^{\prime}_{s}} \\& \quad = \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \bigl\langle \Upsilon (U),W \bigr\rangle \bigr\vert \\& \quad = \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \biggl\vert \bigl\langle \Phi (x),W \bigr\rangle + \bigl\langle \Psi (x),W \bigr\rangle t+\frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl\langle K(U),W \bigr\rangle \,ds \biggr\vert \\& \quad \leq \bigl\vert \bigl\langle \Phi (x),W \bigr\rangle \bigr\vert + \bigl\vert \bigl\langle \Psi (x),W \bigr\rangle t \bigr\vert + \biggl\vert \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl\langle K(U),W \bigr\rangle \,ds \biggr\vert \\& \quad \leq \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )}\Vert W \Vert _{H_{s}} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\Vert W \Vert _{H_{s}}T \\& \quad \quad {} + \bigl\vert \bigl\langle K(U),W \bigr\rangle \bigr\vert \biggl\vert \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1}\,ds \biggr\vert \\& \quad \leq \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}T + \frac{M}{\Gamma (\alpha )} \biggl\vert \int _{0}^{t}(t-s)^{\alpha -1}\,ds \biggr\vert \\& \quad \leq \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}T - \frac{M}{\alpha \Gamma (\alpha )}t^{\alpha } \\& \quad \leq \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}T + \frac{M}{\alpha \Gamma (\alpha )}T^{\alpha }. \end{aligned}$$
Hence, \(\Upsilon (U)\) is uniformly bounded.
On the other hand, given \(\epsilon > 0\), set
$$ \theta = \biggl\{ \biggl( \bigl\Vert \psi (x) \bigr\Vert _{L^{\infty }( \Omega )}+ \frac{M}{\Gamma (\alpha )} \biggr)^{-1}\epsilon \biggr\} ^{\frac{1}{\alpha }}. $$
Then, for every \(W\in V\), \(t_{1} < t_{2}, t_{1},t_{2} \in [0,T] \), and \(t_{2}-t_{1} < \theta \), one has \(\Vert \Upsilon U(t_{2})-\Upsilon U(t_{1}) \Vert _{H_{s}^{\prime}} =\sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \vert \langle \Upsilon U(t_{2})-\Upsilon U(t_{1}),W\rangle \vert \leq \epsilon \). That is to say, \(\Upsilon (U)\) is equicontinuity. In fact,
$$\begin{aligned}& \bigl\Vert \Upsilon U(t_{2})-\Upsilon U(t_{1}) \bigr\Vert _{H_{s}^{\prime}} \\& \quad = \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \bigl\langle \Upsilon U(t_{2})-\Upsilon U(t_{1}), W \bigr\rangle \bigr\vert \\& \quad = \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \bigl\langle \Psi (x), W \bigr\rangle \bigr\vert (t_{2}-t_{1}) +\frac{1}{\Gamma (\alpha )} \int _{0}^{t_{2}}(t_{2}-s)^{\alpha -1} \bigl\langle K(U),W \bigr\rangle \,ds \\& \quad \quad {}- \frac{1}{\Gamma (\alpha )} \int _{0}^{t_{1}}(t_{1}-s)^{\alpha -1} \bigl\langle K(U),W \bigr\rangle \,ds \\& \quad \leq \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\Vert W\Vert _{H_{s}}\vert t_{2}-t_{1} \vert + \frac{1}{\Gamma (\alpha )} \bigl\vert \bigl\langle K(U),W \bigr\rangle \bigr\vert \biggl\vert \int _{t_{1}}^{t_{2}} \bigr\vert (t_{2}-s)^{\alpha -1} \,ds \bigr\vert \biggr\vert \\& \quad \quad {} + \biggl\vert \frac{1}{\Gamma (\alpha )} \int _{0}^{t_{1}} \bigl\vert \bigl\langle K(U),W \bigr\rangle \bigr\vert \bigl\vert (t_{2}-s)^{\alpha -1}-(t_{1}-s)^{\alpha -1} \,ds \bigr\vert \biggr\vert \\& \quad \leq \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\vert t_{2}-t_{1} \vert + \frac{M}{-\alpha \Gamma (\alpha )}t_{2}^{\alpha } -\frac{M}{-\alpha \Gamma (\alpha )}t_{1}^{\alpha } \\& \quad = \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\vert t_{2}-t_{1} \vert - \frac{M}{\alpha \Gamma (\alpha )} \bigl(t_{2}^{\alpha }-t_{1}^{\alpha } \bigr) \\& \quad \leq \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\vert t_{2}-t_{1} \vert + \frac{M}{\alpha \Gamma (\alpha )} \bigl(t_{2}^{\alpha }-t_{1}^{\alpha } \bigr). \end{aligned}$$
In the following, we divide the proof into two cases.
Case 1: \(\theta \leq t_{1} < t_{2} < T \), since \(1 < \alpha < 2\), we get
$$\begin{aligned} \bigl\Vert \Upsilon U(t_{2})-\Upsilon U(t_{1}) \bigr\Vert _{H_{s}^{\prime}} = &\sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \bigl\langle \Upsilon U(t_{2})-\Upsilon U(t_{1}),W \bigr\rangle \bigr\vert \\ \leq & \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\vert t_{2}-t_{1} \vert + \frac{M}{\alpha \Gamma (\alpha )} \bigl(t_{2}^{\alpha }-t_{1}^{\alpha } \bigr) \\ =& \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\vert t_{2}-t_{1} \vert + \frac{M}{\alpha \Gamma (\alpha )} \alpha t^{\alpha -1}(t_{2}-t_{1}) \\ \leq & \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }( \Omega )}\vert t_{2}-t_{1} \vert +\frac{M}{\Gamma (\alpha )\theta ^{1-\alpha }}(t_{2}-t_{1}) \\ =& \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\theta + \frac{M}{\Gamma (\alpha )} \theta ^{\alpha } \\ \leq & \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\theta ^{\alpha }+\frac{M}{\Gamma (\alpha )}\theta ^{\alpha } \\ =& \biggl( \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}+ \frac{M}{\Gamma (\alpha )} \biggr)\theta ^{\alpha } \leq \epsilon. \end{aligned}$$
Case 2: \(0 \leq t_{1}, t_{2} < \alpha ^{\frac{1}{\alpha }}\theta \),
$$\begin{aligned} \bigl\Vert \Upsilon U(t_{2})-\Upsilon U(t_{1}) \bigr\Vert _{H_{s}^{\prime}} = &\sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \bigl\langle \Upsilon U(t_{2})-\Upsilon U(t_{1}),W \bigr\rangle \bigr\vert \\ \leq & \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\vert t_{2}-t_{1} \vert + \frac{M}{\alpha \Gamma (\alpha )} \bigl(t_{2}^{\alpha }-t_{1}^{\alpha } \bigr) \\ \leq & \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\theta + \frac{M}{\alpha \Gamma (\alpha )} \bigl(\alpha ^{\frac{1}{\alpha }}\theta \bigr)^{\alpha } \\ \leq & \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\theta ^{\alpha }+ \frac{M}{\Gamma (\alpha )}\theta ^{\alpha } \\ = & \biggl( \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}+ \frac{M}{\Gamma (\alpha )} \biggr)\theta ^{\alpha } \leq \epsilon. \end{aligned}$$

By applying the Arzela–Ascoli theorem, we know that \(\Upsilon (U):H_{s}(\Omega )\times H_{s}(\Omega )\rightarrow H^{\prime}_{s}(\Omega )\times H^{\prime}_{s}(\Omega )\) is completely continuous. This completes the proof. □

By Lemma 3.5, we know that \(\int _{\Omega }(U-\Upsilon (U))W\,dx = 0\), \(\forall t\in [0,T]\) for every \(W\in H_{0}^{s}(\Omega )\times H_{0}^{s}(\Omega )\). That is to say, the fractional order equation \((E_{ig,Q,F, t})\) has a unique weak solution \(U\in C([0,T]; H^{\prime}_{s}(\Omega )\times H^{\prime}_{s}(\Omega ))\).

4 Estimate to \(U_{t}\)

For \(U\in B\), from Sect. 3, we have
$$\begin{aligned} \Vert U_{t} \Vert _{H^{\prime}_{s}} & = \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \langle U_{t},W \rangle \bigr\vert \\ & = \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \biggl\vert \bigl\langle \Psi (x),W \bigr\rangle +\frac{1}{\Gamma (\alpha -1)} \int _{0}^{t}(t-s)^{\alpha -2} \bigl\langle K(U),W \bigr\rangle \,ds \biggr\vert \\ & \leq \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \bigl\langle \Psi (x),W \bigr\rangle \bigr\vert + \biggl\vert \frac{1}{\Gamma (\alpha -1)} \int _{0}^{t}(t-s)^{\alpha -2}\sup _{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\langle K(U),W \bigr\rangle \,ds \biggr\vert \\ & \leq \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\Vert W \Vert _{H_{0}^{s}} \\ &\quad {} + \sup_{\Vert W \Vert _{H_{0}^{s}} \leq 1} \bigl\vert \bigl\langle K(U),W \bigr\rangle \bigr\vert \biggl\vert \frac{1}{\Gamma (\alpha -1)} \int _{0}^{t}(t-s)^{\alpha -2}\,ds \biggr\vert \\ & \leq \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \frac{M}{\Gamma (\alpha -1)} \biggl\vert \int _{0}^{t}(t-s)^{\alpha -2}\,ds \biggr\vert \\ & \leq \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \frac{M}{\Gamma (\alpha )}t^{\alpha -1} \\ & \leq \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \frac{M}{\Gamma (\alpha )}T^{\alpha -1}. \end{aligned}$$

Hence, \(\Vert U_{t} \Vert _{H^{\prime}_{s}}\) is bounded.

Because
$$\begin{aligned}& \int _{0}^{t}(t-s)^{\alpha -1}(-\Delta )^{s} U(x,s)\,ds \\& \quad =U(x,t)-\Phi (x)-\Psi (x) t- \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl(K(U)+(- \Delta )^{s} U(x,s) \bigr)\,ds, \end{aligned}$$
(4.1)
so
$$\begin{aligned} \int _{0}^{t}(t-s)^{\alpha -1} \bigl((-\Delta )^{s} U(x,s),W \bigr)\,ds&= \bigl(U(x,t),W \bigr)- \bigl(\Phi (x),W \bigr)- \bigl(\Psi (x) t,W \bigr) \\ &\quad {}-\frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl(K(U)+(- \Delta )^{s} U(x,s),W \bigr)\,ds. \end{aligned}$$
Integrating by parts, we have
$$\begin{aligned}& \int _{0}^{t}(t-s)^{\alpha -1} \bigl\Vert (- \Delta )^{\frac{s}{2}} U(x,s) \bigr\Vert _{H^{\prime}_{s}}\,ds \\& \quad = \int _{0}^{t}(t-s)^{\alpha -1}\sup _{\Vert W \Vert _{H^{s}} \leq 1} \bigl\vert \bigl\langle (-\Delta )^{\frac{s}{2}} U,(- \Delta)^{\frac{s}{2}}W \bigr\rangle \bigr\vert \,ds \\& \quad = \int _{0}^{t}(t-s)^{\alpha -1} \bigl\vert \bigl((-\Delta )^{s} U(x,s),W \bigr) \bigr\vert \,ds \\& \quad = \biggl\vert \bigl(U(x,t),W \bigr) \\& \quad \quad {}- \bigl(\Phi (x),W \bigr)- \bigl(\Psi (x) t,W \bigr)- \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl(K(U)+\Delta U(x,s),W \bigr)\,ds \biggr\vert \\& \quad \leq \bigl\vert \bigl(U(x,t),W \bigr) \bigr\vert +\sup _{\Vert W \Vert _{H_{0}^{1}} \leq 1} \biggl\vert \bigl\langle \Phi (x),W \bigr\rangle + \bigl\langle \Psi (x),W \bigr\rangle t \\& \quad \quad {} + \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl\langle K(U)+(-\Delta )^{s} U(x,s),W \bigr\rangle \,ds \biggr\vert \\& \quad \leq \Vert U \Vert _{H^{\prime}_{s}} + \bigl\vert \bigl\langle \Phi (x),W \bigr\rangle \bigr\vert + \bigl\vert \bigl\langle \Psi (x),W \bigr\rangle t \bigr\vert \\& \quad \quad {}+ \biggl\vert \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1} \bigl\langle K(U)+(-\Delta )^{s} U(x,s),W \bigr\rangle \,ds \biggr\vert \\& \quad \leq \Vert U \Vert _{H^{\prime}_{s}} + \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )}\Vert W \Vert _{H_{0}^{s}} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}\Vert W \Vert _{H_{0}^{1}}T \\& \quad \quad {} + \bigl\vert \bigl\langle K(U)\Vert U \Vert _{H^{-1}}+,W \bigr\rangle \bigr\vert \biggl\vert \frac{1}{\Gamma (\alpha )} \int _{0}^{t}(t-s)^{\alpha -1}\,ds \biggr\vert \\& \quad \leq \Vert U \Vert _{H^{\prime}_{s}} + \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}T + \frac{M}{\Gamma (\alpha )} \biggl\vert \int _{0}^{t}(t-s)^{\alpha -1}\,ds \biggr\vert \\& \quad \leq \Vert U \Vert _{H^{\prime}_{s}} + \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}T - \frac{M}{\alpha \Gamma (\alpha )}t^{\alpha } \\& \quad \leq \Vert U \Vert _{H^{\prime}_{s}} + \bigl\Vert \Phi (x) \bigr\Vert _{L^{\infty }(\Omega )} + \bigl\Vert \Psi (x) \bigr\Vert _{L^{\infty }(\Omega )}T + \frac{M}{\alpha \Gamma (\alpha )}T^{\alpha }. \end{aligned}$$

Because \(\langle K(U),W\rangle\) is bounded, thus from Sect. 2 we deduce \(\langle K(U)+(-\Delta )^{s} U(x,s), W\rangle\leq M\). Hence, \(\int _{0}^{t}(t-s)^{\alpha -1}\Vert (-\Delta )^{\frac{s}{2}} U(x,s) \Vert _{H^{\prime}_{s}}\,ds\) is bounded.

5 A priori estimate of (1.9)–(1.10)

Lemma 5.1

If\(F\in H \), there is a priori estimate about solution\(U(x,t)\in H^{s} \)for problems (1.9)(1.10) as follows:
$$\begin{aligned}& \bigl\Vert U (t) \bigr\Vert ^{2}_{H} \le \Vert U _{0} \Vert F^{2} _{H} e^{-\gamma t}+ \frac{M_{1} }{\gamma ^{2}} \bigl(1-e^{-\gamma t} \bigr), \\& \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }g \bigl(\vert U \vert ^{2} \bigr) \vert U \vert ^{2}\,dx\leq C\Vert F \Vert ^{2}_{H}. \end{aligned}$$

Proof

Multiplying (1.9) by and integrating on Ω, we have
$$\begin{aligned}& i(U_{t},U)+(b+ai) \bigl((-\Delta )^{s} U,U \bigr)+ \bigl(g \bigl(\vert U \vert ^{2} \bigr)U, U \bigr)+i(QU,U)+i \beta (U,U)=(F,U). \end{aligned}$$
(5.1)
From our definition
$$ \int _{\Omega }{(-\Delta )^{s} U\overline{U}\,dx} = \int _{\Omega }{ \bigl\vert (-\Delta )^{\frac{s}{2}} U \bigr\vert ^{2}\,dx}. $$
In formula (5.1), we know that
$$ (QU,\overline{U})= \int _{\Omega }{(ru_{1} \overline{u}_{1} + \sigma u_{2} \overline{u}_{2} )\,dx} =r\Vert u_{1} \Vert ^{2}+\sigma \Vert u_{2} \Vert ^{2}, $$
we choose the imaginary part of (5.1)
$$ \frac{1}{2}\frac{d}{dt}\Vert U \Vert _{H}^{2} +a \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \bigl(r\Vert u_{1} \Vert ^{2}+\sigma \Vert u_{2} \Vert ^{2} \bigr)= \operatorname{Im}(F,\overline{U}). $$
(5.2)
Set \(\gamma =\min \{r,\sigma \}\), we have
$$ \frac{1}{2}\frac{d}{dt}\Vert U \Vert _{H}^{2} +a \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \gamma \Vert U \Vert _{H}^{2} \le \operatorname{Im}(F,\overline{U}). $$
(5.3)
Because of \(a\Vert (-\Delta )^{\frac{s}{2}} U \Vert _{H}^{2} \ge 0\), we get
$$ \frac{1}{2}\frac{d}{dt}\Vert U \Vert _{H}^{2} +a \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} +\gamma \Vert U \Vert _{H}^{2} \le \frac{\gamma }{2} \Vert U \Vert _{H}^{2} +\frac{1}{2\gamma }\Vert F \Vert _{H}^{2}. $$
To simplify the formula,
$$ \frac{d}{dt}\Vert U \Vert _{H}^{2} +\gamma \Vert U \Vert _{H}^{2} +2a \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} \le \frac{1}{\gamma }\Vert F\Vert _{H}^{2}, $$
where \(F\in H \) and \(\Vert F\Vert _{H}^{2} \le M_{1} \). By using Gronwall’s inequality, we have
$$ \bigl\Vert U (t) \bigr\Vert _{H}^{2} \le \Vert U _{0} \Vert _{H}^{2} e^{-\gamma t}+ \frac{M_{1} }{\gamma ^{2}} \bigl(1-e^{-\gamma t} \bigr). $$
Then
$$ \mathop{\limsup }_{t\to \infty } \Vert U \Vert _{H}^{2} \le \frac{M_{1} }{\gamma ^{2}}. $$
Deducing from (5.3), we have
$$ \frac{1}{2}\frac{d}{dt}\Vert U \Vert _{H}^{2} +a \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} \le \gamma \Vert U \Vert _{H}^{2} +\frac{1}{8\gamma } \Vert F\Vert _{H}^{2} \le \frac{M_{1} }{8\gamma }+ \frac{M_{1} }{\gamma ^{2}}. $$
We integrate the equation above for \(t\in (0,T)\),
$$ \bigl\Vert U (T) \bigr\Vert _{H}^{2} +2a \int _{0}^{T} { \bigl\Vert (-\Delta )^{\frac{s}{2}} U(s) \bigr\Vert _{H}^{2} }\,ds\le 2TM_{1} \biggl( \frac{1}{8\gamma }+\frac{1}{\gamma ^{2}} \biggr)+2\Vert U _{0} \Vert _{H}^{2}. $$
(5.4)
Because of \(\Vert U(T)\Vert _{H}^{2} \ge 0\), and \(\Vert U_{0} \Vert _{H}^{2} \) is bounded, therefore, \(\int _{0}^{T} {\Vert (-\Delta )^{\frac{s}{2}} U(s)\Vert _{H}^{2} }\,ds\) is bounded. Then we come to meet the conclusion that the local solution for coupled nonlinear Ginzburg–Laudau equations exists in the space \(H^{s}\), and \(U(x,t)\in L^{2}(0,T;H^{s})\).
At the same time, we choose the real part of (5.1) to find
$$ b \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }g \bigl(\vert U \vert ^{2} \bigr) \vert U \vert ^{2}\,dx+\beta \Vert U \Vert ^{2}_{H}= \operatorname{Re}(F, \overline{U}), $$
(5.5)
and so
$$ b \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }g \bigl(\vert U \vert ^{2} \bigr) \vert U \vert ^{2}\,dx\leq \frac{1}{\beta }\Vert F \Vert ^{2}_{H}. $$
(5.6)
This proves the assertion. □

6 Some a priori estimates of CNLS equations

Lemma 6.1

If\(F\in H \), the solution\(U(x,t)\)of problems (1.10)(1.11) has a priori estimates as follows:
$$ \bigl\Vert U (t) \bigr\Vert _{H}^{2}\le \Vert U _{0} \Vert _{H}^{2} e^{-\gamma t}+ \frac{M_{1} }{\gamma ^{2}} \bigl(1-e^{-\gamma t} \bigr). $$
(6.1)

Proof

Multiplying (1.11) by \(\overline{U(x,t)}\) and integrating on Ω, we have
$$ i(U_{t},\overline{U})+\alpha \bigl((-\Delta )^{s} U,\overline{U} \bigr)+ \bigl(g \bigl(\vert U \vert ^{2} \bigr)U,\overline{U} \bigr)+i(QU,\overline{U})+(\beta U, \overline{U})=(F,\overline{U}). $$
(6.2)
Choosing an imaginary part of (6.2),
$$ \frac{1}{2}\frac{d}{dt} \int _{\Omega }{\vert U \vert ^{2}\,dx} +(QU, \overline{U})=\operatorname{Im} \int _{\Omega }{F\overline{U}\,dx}, $$
where \((QU,\overline{U})=((ru_{1},\sigma u_{2} ),(\overline{u}_{1},\overline{u}_{2} ))=\int _{\Omega }{r\vert u_{1} \vert ^{2}} +\sigma \vert u_{2} \vert ^{2}\,dx\), we set \(\gamma =\min \{r,\sigma \}\),
$$ \frac{1}{2}\frac{d}{dt}\Vert U \Vert _{H}^{2} +\gamma \Vert U \Vert _{H}^{2} \le \operatorname{Im} \int _{\Omega }{F\overline{U}\,dx}. $$
(6.3)
We know that \(U_{0} \in H\),
$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\Vert U \Vert _{H}^{2} +\gamma \Vert U \Vert _{H}^{2}\le \int _{\Omega }{\vert F\overline{U} \vert \,dx} = \frac{\Vert F\Vert _{H}^{2} }{2\gamma }+\frac{\gamma }{2}\Vert U \Vert _{H}^{2}, \end{aligned}$$
(6.4)
$$\begin{aligned}& \frac{d}{dt}\Vert U \Vert _{H}^{2}+\gamma \Vert U \Vert _{H}^{2} \le \frac{ \Vert F \Vert _{H}^{2} }{\gamma }. \end{aligned}$$
(6.5)
Because of \(F\in L^{\infty }(0,T;H)\), we have \(\Vert F\Vert _{H}^{2} \le M_{1} \), \(U(0)\in H\). By using Gronwall’s inequality, we get
$$ \bigl\Vert U (t) \bigr\Vert _{H}^{2} \le \Vert U _{0} \Vert _{H}^{2} e^{-\gamma t}+ \frac{M_{1} }{\gamma ^{2}} \bigl(1-e^{-\gamma t} \bigr), $$
then we finally get
$$ \mathop{\limsup }_{t\to \infty } \Vert U \Vert _{H}^{2} \le \frac{M_{1} }{\gamma ^{2}}. $$
(6.6)
 □

Lemma 6.2

If\(F\in H\cap V\)and\(G(s)=\int _{0}^{s}g(s)\,ds\)satisfies\(G(s)\le g(s)s\) (\(s\ge 0\)), the solution\(U(x,t)\)of problems (1.10)(1.11) has a priori estimates as follows:
$$ \eta (U)\le \eta (U_{0} )e^{-2\gamma t}+C_{\infty } \bigl(1-e^{-2\gamma t} \bigr), $$
(6.7)
here we introduced the functional equation
$$ \eta (U)=\beta \Vert U \Vert _{H}^{2} + \alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} -2\operatorname{Re}(F,\overline{U}). $$
(6.8)

Proof

Multiplying (1.11) by \(\overline{U}_{t} \) and integrating on Ω, we have
$$ i(U_{t},U_{t} )+\alpha \bigl((-\Delta )^{s} U,U_{t} \bigr)+ \bigl(g \bigl(\vert U \vert ^{2} \bigr)U, U_{t} \bigr)+i(QU,U_{t} )+\beta (U,U_{t} )=(F,U_{t} ), $$
(6.9)
where \((QU,U_{t} )=((ru_{1} +\sigma u_{2} ),(u_{1t},u_{2t} ))=\int _{\Omega }ru_{1} \overline{u}_{1t} +\sigma u_{2} \overline{u}_{2t}\,dx \), and
$$ \operatorname{Re} (ru_{1} \overline{u}_{1t} +\sigma u_{2} \overline{u}_{2t} )=\frac{r}{2} \frac{d}{dt}\Vert u_{1} \Vert _{H}^{2} + \frac{\sigma }{2}\frac{d}{dt}\Vert u_{2} \Vert _{H}^{2} , $$
(6.10)
and the real part of (6.9) is
$$\begin{aligned}& \operatorname{Re} \alpha \bigl((-\Delta )^{\frac{s}{2}} U,(-\Delta )^{\frac{s}{2}} U_{t} \bigr)+ \operatorname{Re} \int _{\Omega }{g \bigl(\vert U \vert ^{2} \bigr)U \overline{U}_{t}\,dx} \\& \quad \quad {}-\operatorname{Im} \int _{\Omega }{ru_{1} \overline{u}_{1t} + \sigma u_{2} \overline{u}_{2t}\,dx} + \operatorname{Re} \beta (U,U_{t} ) \\& \quad =\operatorname{Re}(F,U_{t} ). \end{aligned}$$
(6.11)
Return to see the real part of (6.2),
$$ \operatorname{Im}(U,U_{t} )+\alpha \bigl\Vert (- \Delta)^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{g \bigl(\vert U \vert ^{2} \bigr) \vert U \vert ^{2}\,dx} +\beta \Vert U \Vert _{H}^{2} =\operatorname{Re}(F,U), $$
(6.12)
we have
$$\begin{aligned}& \operatorname{Im} \int _{\Omega }{ru_{1} \overline{u}_{1t} + \sigma u_{2} \overline{u}_{2t}\,dx} + \bigl(r\alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} u_{1} \bigr\Vert _{H}^{2} +\sigma \alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} u_{2} \bigr\Vert _{H}^{2} \bigr) \\& \quad \quad {}+ \int _{\Omega }{g \bigl(\vert U \vert ^{2} \bigr) \bigl(r\vert u_{1} \vert ^{2}+\sigma \vert u_{2} \vert ^{2} \bigr)\,dx} + \bigl(\beta r\Vert u_{1} \Vert _{H}^{2} +\beta \sigma \Vert u_{2} \Vert _{H}^{2} \bigr) \\& \quad = \operatorname{Re} \int _{\Omega }{r\overline{f_{1}} u_{1} + \sigma \overline{f_{2}} u_{2}\,dx}. \end{aligned}$$
(6.13)
Let us add (6.11) with (6.13), set \(\gamma =\min \{r,\sigma \}\), we have
$$\begin{aligned}& \frac{\alpha }{2}\frac{d}{dt} \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2}+\frac{1}{2}\frac{d}{dt} \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} + \frac{\beta }{2}\frac{d}{dt}\Vert U \Vert _{H}^{2} \\& \quad \quad {}+\gamma \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} +\gamma \int _{\Omega }{g \bigl(\vert U \vert ^{2} \bigr) \vert U \vert ^{2}\,dx} +\gamma \beta \Vert U \Vert _{H}^{2} \\& \quad \le \operatorname{Re} (F,U_{t} )+ \operatorname{Re} \int _{\Omega }{r\overline{f_{1}} u_{1} + \sigma \overline{f_{2}} u_{2}\,dx}. \end{aligned}$$
(6.14)
Because \(f(x)\) is independent of t, so \(\frac{d}{dt}(F\overline{U})=F\overline{U}_{t} \), and (6.14) can change into
$$\begin{aligned}& \frac{1}{2}\frac{d}{dt} \biggl\{ \alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} + \beta \Vert U \Vert _{H}^{2} -2\operatorname{Re}(F,U) \biggr\} \\& \quad \quad {}+\gamma \biggl\{ \alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx+ \beta \Vert U \Vert _{H}^{2} -2\operatorname{Re}(F,U)} \biggr\} \\& \quad \le \operatorname{Re} \int _{\Omega }{r\overline{f_{1}} u_{1} + \sigma \overline{f_{2}} u_{2}\,dx}-2\gamma \operatorname{Re} (F,U). \end{aligned}$$
(6.15)
Set \(\delta =\max \{r,\sigma \}\), rewrite (6.15) as
$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\eta (U)+\gamma \eta (U) \\& \quad \le \operatorname{Re} \operatorname{Re} \int _{\Omega }{r\overline{f_{1}} u_{1} + \sigma \overline{f_{2}} u_{2}\,dx}-2\gamma \operatorname{Re} (F,U) \\& \quad \le (\delta +2\gamma ) \int _{\Omega }{\vert F\overline{U} \vert \,dx} \\& \quad \le \frac{\delta +2\gamma }{2} \bigl(\Vert U \Vert _{H}^{2} +\Vert F\Vert _{H}^{2} \bigr). \end{aligned}$$
(6.16)
We know that \(F\in L^{\infty }(0,T;H)\), \(F_{t} \in L^{\infty }(0,T;H)\), then \(\Vert F_{t} \Vert _{H}^{2}\), \(\Vert F\Vert _{H}^{2}\) are bounded in H, as to (6.6), then
$$ \frac{d}{dt}\eta (U)+2\gamma \eta (U)\le 2\gamma C_{\infty }. $$
By using Gronwall’s inequality, we get
$$ \eta (U)\le \eta (U_{0} )e^{-2\gamma t}+C_{\infty } \bigl(1-e^{-2\gamma t} \bigr). $$
Finally, we get
$$ \mathop{\limsup }_{t\to \infty } \eta (U)\le C_{\infty } $$
and
$$ \beta \Vert U \Vert _{H}^{2} +\alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} -2\operatorname{Re}(F,\overline{U})\le C_{\infty }. $$
(6.17)
Then
$$\begin{aligned}& \beta \Vert U \Vert _{H}^{2} +\alpha \bigl\Vert (- \Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} \\& \quad \le C_{\infty }+2\operatorname{Re}(F,\overline{U}) \\& \quad \le C_{\infty }+\frac{1}{2} \bigl(\Vert F \Vert _{H}^{2} +\Vert U \Vert _{H}^{2} \bigr) \\& \quad \le C_{\infty }+\frac{1}{2} \biggl(M_{1} + \frac{M_{1} }{\gamma ^{2}} \biggr). \end{aligned}$$
(6.18)
 □

Lemma 6.3

If\(g(s)\)is a slowly increasing function, \(s\geq \frac{n}{2}\), then
$$ U_{t}\in L^{2} \bigl(O,T;H^{s} \bigr)\cap C(0, \infty ;H). $$

Proof

Multiplying the derivation of (1.9), with respect to t, by \(\overline{U}_{t} \) and integrating on Ω, we have
$$\begin{aligned} &i(U_{t}t,U_{t} )+(a+bi) \bigl((-\Delta )^{s} U_{t},U_{t} \bigr)+ \bigl(g' \bigl(\vert U \vert ^{2} \bigr)\vert U \vert ^{2}_{t}U \\ &\quad {}+g \bigl(\vert U \vert ^{2} \bigr)U_{t},U_{t} \bigr)+i(QU_{t},U_{t} )+\beta (U_{t},U_{t} )=0. \end{aligned}$$
(6.19)
Choosing the imaginary part, we have
$$\begin{aligned}& \frac{1}{2}\frac{d}{dt}\Vert U_{t} \Vert ^{2}_{H}+b \bigl\Vert (-\Delta )^{s} U_{t} \bigr\Vert ^{2}_{H} \\& \quad {}+ \int g' \bigl(\vert U \vert ^{2} \bigr) \operatorname{Im} \bigl(U^{2}\overline{U_{t}}^{2} \bigr)+ \int _{\Omega }ru_{1} \overline{u}_{1t} +\sigma u_{2} \overline{u}_{2t}\,dx=0. \end{aligned}$$
(6.20)
If \(g(s)\) is a slowly increasing function, \(s\geq \frac{n}{2}\), then
$$\begin{aligned} \biggl\vert \int _{\Omega }g' \bigl( \vert U \vert ^{2} \bigr) \vert U \vert ^{2}_{t}U \overline{U_{t}}\,dx \biggr\vert & \leq \int _{\Omega }\vert U \vert ^{m}\vert U_{t} \vert ^{2}\,dx \\ &\leq C_{1}\Vert U \Vert ^{m}_{L^{\infty }}\Vert U_{t} \Vert ^{2}_{H} \\ &\leq C\Vert U_{t} \Vert ^{2}_{H}. \end{aligned}$$
We can deduce
$$ \frac{1}{2}\frac{d}{dt}\Vert U_{t} \Vert ^{2}_{H}+b \bigl\Vert (-\Delta )^{s} U_{t} \bigr\Vert ^{2}_{H}\leq C\Vert U_{t} \Vert ^{2}_{H}. $$
This completes the proof. □

7 Existence of solution

The existence of solutions of coupled nonlinear Schrödinger equations will be considered in this section. We apply the Galerkin method to prove the existence of global smooth solution for problem (1.10)–(1.11). Let \(w_{j} =(w_{1j},w_{2j} )^{T}\) be the normalized eigenfunction of the equation \(-\Delta w_{j} +\lambda _{j} w_{j} =0\) with the Dirichlet boundary condition corresponding to eigenvalue \(\lambda _{j}\), and \(\{w_{j} (x)\}_{j=1}^{\infty }\in V\) forms a normalized orthogonal system of eigenfunctions.

For every \(m\in N\), we denote the approximate solution \(U_{m} (x,t)\) of (1.10)–(1.11) by the following form:
$$ U_{m} (x,t)=\sum_{j=1}^{m} {\beta _{jm} (t)w_{j} } (x),\quad t\in [0,T], $$
(7.1)
where \(\beta _{jm} (t)(j=1,2,\ldots,m)\) are coefficient functions of variable \(t\in (0,L)\). According to the Galerkin method, the coefficient \(\beta _{jm} (t)\) is assumed to satisfy the following system of nonlinear ordinary equations of the first order:
$$ \bigl(i{U}'_{m} +\alpha (-\Delta )^{s} U_{m} +g \bigl(\vert U_{m} \vert ^{2} \bigr)U_{m} +iQU_{m} +\beta U_{m} -F, {w}_{j} \bigr)=0, $$
(7.2)
where \(\vert U_{m} \vert ^{2}=\vert u_{1m} \vert ^{2}+\vert u_{2m} \vert ^{2}\), \(j=1,2,\ldots,m\), with the initial condition
$$ \bigl(U_{m} (x,0), {w}_{j} (x) \bigr)= \bigl(U_{0} (x), {w}_{j} (x) \bigr). $$
(7.3)
It is obvious that
$$\begin{aligned}& \bigl({U}'_{m} (x,t), {w}_{j} (x) \bigr)={ \beta }'_{jm} (t), \\& \bigl(U_{m} (x,0), {w}_{j} (x) \bigr)=\beta _{jm} (0), \end{aligned}$$
and \(U_{0j} (x)=(U_{0} (x), {w}_{j} (x))\) (\(j=1,2,\ldots,m\)) are coefficients in the approximate expansion \(\sum_{j=1}^{m} {U_{0j} w_{j} (x)} \) of function \(U_{0} (x)\).
Let us prove that (7.2) has solution about the unknown function \(\beta _{jm} (t)\). By using the characteristic of normalized eigenfunction
$$\begin{aligned}& (w_{1j}, {w}_{1i} )=(w_{2j}, {w}_{2i} )=1,\quad i=j; \\& (w_{1j}, {w}_{1i} )=(w_{2j}, {w}_{2i} )_{0} =0,\quad i\ne j, \end{aligned}$$
from (3.2) we get
$$\begin{aligned} 0&= \Biggl(i\sum_{j=1}^{m} {{\beta }'_{jm} w_{1j} }, {w}_{1j} \Biggr)- \alpha \Biggl(\sum_{j=1}^{m} {\beta _{jm} (-\Delta )^{s} w_{1j} }, {w}_{1j} \Biggr) \\ &\quad {}+ \Biggl(g \Biggl( \Biggl\vert \sum_{j=1}^{m} {\beta _{jm} w_{1j} } \Biggr\vert ^{2}+ \Biggl\vert \sum_{j=1}^{m} {\beta _{jm} w_{2j} } \Biggr\vert ^{2} \Biggr)\sum _{j=1}^{m} {\beta _{jm} w_{1j} }, {w}_{1j} \Biggr) \\ &\quad {}+ \Biggl(ir\sum_{j=1}^{m} { \beta _{jm} w_{1j} }, {w}_{1i} \Biggr)+ \Biggl(\beta \sum_{j=1}^{m} {\beta _{jm} w_{1j} }, {w}_{1j} \Biggr)- \bigl(f(x),\overline{w}_{1j} \bigr) \\ &=i \int _{\Omega }{{\beta }'_{jm}\,dx} -\alpha \int _{\Omega }{\sum_{j=1}^{m}{ \beta _{jm}} (-\Delta )^{s} w_{1j} \overline{w}_{1j}\,dx} \\ &\quad {} + \int _{\Omega }{g \Biggl( \Biggl\vert \sum _{j=1}^{m} {\beta _{jm} w_{1j} } \Biggr\vert ^{2}+ \Biggl\vert \sum_{j=1}^{m} {\beta _{jm} w_{2j} } \Biggr\vert ^{2} \Biggr) \beta _{jm} }\,dx \\ &\quad {} +(ir+\beta ) \int _{\Omega }{\beta _{jm}\,dx} - \int _{\Omega }{f(x)\overline{w}_{1j}\,dx} \\ & =i\vert \Omega \vert {\beta }'_{jm} + \alpha \sum _{j=1}^{m} {\beta _{jm} } \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1j} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} \\ &\quad {} +\beta _{jm} \int _{\Omega }{g \Biggl( \Biggl\vert \sum _{j=1}^{m} {\beta _{jm} w_{1j} } \Biggr\vert ^{2}+ \Biggl\vert \sum_{j=1}^{m} {\beta _{jm} w_{2j} } \Biggr\vert ^{2} \Biggr)} \,dx \\ &\quad {} +(ir+\beta )\vert \Omega \vert \beta _{jm} - \int _{\Omega }{f_{1} (x)\overline{w}_{1j} \,dx}. \end{aligned}$$
(7.4)
That is,
$$\begin{aligned} 0&=i\vert \Omega \vert {\beta }'_{jm} \\ &\quad {}+\alpha \sum_{j=1}^{m} {\beta _{jm} } \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1j} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} \\ &\quad {}+\beta _{jm} \int _{\Omega }{g \Biggl( \Biggl\vert \sum _{j=1}^{m} {\beta _{jm} w_{1j} } \Biggr\vert ^{2}+ \Biggl\vert \sum_{j=1}^{m} {\beta _{jm} w_{2j} } \Biggr\vert ^{2} \Biggr)} \,dx \\ &\quad {}+(ir+\beta )\vert \Omega \vert \beta _{jm} - \int _{\Omega }{f_{1} (x)\overline{w}_{1j} \,dx} . \end{aligned}$$
(7.5)
And as to \(w_{2j} \), we have a similar conclusion
$$\begin{aligned} 0&=i\vert \Omega \vert {\beta }'_{jm} +\alpha \sum _{j=1}^{m} {\beta _{jm} } \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{2j} (-\Delta )^{\frac{s}{2}} \overline{w}_{2i}\,dx} \\ &\quad {}+\beta _{jm} \int _{\Omega }{g \Biggl( \Biggl\vert \sum _{j=1}^{m} {\beta _{jm} w_{1j} } \Biggr\vert ^{2}+ \Biggl\vert \sum_{j=1}^{m} {\beta _{jm} w_{2j} } \Biggr\vert ^{2} \Biggr)} \,dx \\ &\quad {}+(ir+\beta )\vert \Omega \vert \beta _{jm} - \int _{\Omega }{f_{2} (x)\overline{w}_{2i}\,dx} . \end{aligned}$$
(7.6)
We know that (7.7) and (7.6) are the first order ordinary equations of unknown functions \(\beta _{jm} \), \(j=1,2,\ldots,m\). If (7.7) and (7.6) have common solution, it must satisfy that
$$\begin{aligned} &h(\beta _{1m},\beta _{2m},\ldots,\beta _{mm} ) \\ &\quad =\alpha \sum_{j=1}^{m} {\beta _{jm} } \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1j} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} \\ &\quad \quad {} +\beta _{jm} \int _{\Omega }{g \Biggl( \Biggl\vert \sum _{j=1}^{m} {\beta _{jm} w_{1j} } \Biggr\vert ^{2}+ \Biggl\vert \sum_{j=1}^{m} {\beta _{jm} w_{2j} } \Biggr\vert ^{2} \Biggr)} \,dx \\ &\quad \quad {}+(ir+\beta )\vert \Omega \vert \beta _{jm} - \int _{\Omega }{f_{1} (x)\overline{w}_{1j} \,dx}. \end{aligned}$$
(7.7)
It is locally Lipschitz continuous in H.
We set \(\theta (t)=(\beta _{1m} (t),\beta _{2m} (t),\ldots,\beta _{mm} (t))\), \(\tilde{\theta }(t)=(\tilde{\beta }_{1m} (t),\tilde{\beta }_{2m} (t),\ldots,\tilde{\beta }_{mm} (t))\), and Lipschitz continuous functions \(h(\theta (t))\) are considered to satisfy
$$ \bigl\vert h\bigl(\theta (t)\bigr)-h \bigl(\tilde{\theta }(t) \bigr) \bigr\vert \le C \bigl\vert \theta (t)-\tilde{\theta }(t) \bigr\vert . $$
Then
$$\begin{aligned} h \bigl(\theta (t) \bigr) & =\alpha \sum_{j=1}^{m} {\beta _{jm} } (t) \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1m} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} \\ &\quad {}+\beta _{jm} \int _{\Omega }{g \Biggl( \Biggl\vert \sum _{j=1}^{m}\beta _{jm}w_{1j} \Biggr\vert ^{2} + \Biggl\vert \sum_{j=1}^{m} \beta _{jm}w_{2j} \Biggr\vert ^{2} \Biggr)\,dx} \\ &\quad {}+(ir+\beta )\vert \Omega \vert \beta _{jm} (t) - \int _{\Omega }{f_{1} (x)\overline{w}_{1i} \,dx}, \\ h \bigl(\tilde{\theta }(t) \bigr)& =\alpha \sum_{j=1}^{m} {\tilde{\beta }_{jm} } (t) \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1m} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} \\ &\quad {}+ \tilde{\beta }_{jm} (t) \int _{\Omega }{g \Biggl( \Biggl\vert \sum _{j=1}^{m} \tilde{\beta }_{jm} (t)w_{1j} \Biggr\vert ^{2}+ \bigl\vert \tilde{\beta }_{jm} (t) w_{2j} \bigr\vert ^{2} \Biggr)\,dx} \\ &\quad {} +(ir+\beta )\vert \Omega \vert \tilde{\beta }_{jm} (t) - \int _{\Omega }{f_{1} (x)\overline{w}_{1i} \,dx}, \end{aligned}$$
and
$$\begin{aligned}& h\bigl(\theta (t)\bigr)-h \bigl(\tilde{\theta }(t) \bigr) \\& \quad =\alpha \Biggl( {\sum_{j=1}^{m} { \beta _{jm} } (t)-\sum_{j=1}^{m} { \tilde{\beta }_{jm} } (t)} \Biggr) \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1m} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} \\& \quad \quad {}+ \bigl( {\beta _{jm} (t)-\tilde{\beta }_{jm} (t)} \bigr) \int _{\Omega }{g \bigl(\vert U_{m} \vert ^{2} \bigr)\,dx} \\& \quad \quad {}+(ir+\beta )\vert \Omega \vert \bigl( { \beta _{jm} (t)-\tilde{ \beta }_{jm} (t)} \bigr). \end{aligned}$$
Because of
$$ \bigl\vert \theta (t)-\tilde{\theta }(t) \bigr\vert =\sum _{j=1}^{m} {\vert {\beta _{jm} -\tilde{ \beta }_{jm} } \vert }, $$
and
$$\begin{aligned}& \bigl\vert \theta (t) \bigr\vert =\sqrt{\beta _{1m}^{2} +\beta _{2m}^{2} +\cdots +\beta _{mm}^{2} }, \\& \bigl\vert \tilde{\theta }(t) \bigr\vert =\sqrt{\tilde{ \beta }_{1m}^{2} +\tilde{\beta }_{2m}^{2} + \cdots +\tilde{\beta }_{mm}^{2} }, \\& \bigl\vert {h \bigl(\theta (t)-h \bigl(\tilde{\theta }(t) \bigr) \bigr)} \bigr\vert \\& \quad \le \alpha \Biggl\vert {\sum_{j=1}^{m} {\beta _{jm} } (t)-\sum_{j=1}^{m} {\tilde{\beta }_{jm} } (t)} \Biggr\vert \biggl\vert { \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1m} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} } \biggr\vert \\& \quad \quad {}+ \bigl\vert \beta _{jm} (t)-\tilde{\beta }_{jm} (t) \bigr\vert { \int _{\Omega }{g \bigl(\vert U_{m} \vert ^{2} \bigr)}\,dx}+(r+\beta )\vert \Omega \vert \bigl\vert \beta _{jm}(t)-\tilde{\beta }_{jm} (t) \bigr\vert \\& \quad \le \alpha \sum_{j=1}^{m} {\vert { \beta _{jm} -\tilde{\beta }_{jm} } \vert } \biggl\vert { \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1m} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} } \biggr\vert \\& \quad \quad {}+\sum_{j=1}^{m} {\vert { \beta _{jm} -\tilde{\beta }_{jm} } \vert } { \int _{\Omega }{g \bigl(\vert U_{m} \vert ^{2} \bigr)}\,dx} +(r+\beta )\vert \Omega \vert \sum _{j=1}^{m} {\vert {\beta _{jm} -\tilde{ \beta }_{jm} } \vert } \\& \quad = \vert \theta -\tilde{\theta } \vert \biggl( {\alpha \biggl\vert { \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1m} (-\Delta )^{\frac{s}{2}} \overline{w}_{1i}\,dx} } \biggr\vert + { \int _{\Omega }{g \bigl(\vert U_{m} \vert ^{2} \bigr)\,dx}} +(r+\beta )\vert \Omega \vert } \biggr). \end{aligned}$$
If \(\int _{\Omega }{g(\vert U_{m} \vert ^{2})\,dx}\le M\), \(\{w_{j} (x)\}_{j=1}^{\infty }\in V\), because of \(w_{1j},w_{1i},w_{2j},w_{2i} \in V\), and \(V\to H\) is compact, \(\Vert w_{ij} \Vert _{V}^{2} \) is bounded and \(\Vert w_{ij} \Vert _{H}^{2} \) also is bounded, then
$$ \alpha \Biggl\vert { \int _{\Omega }{(-\Delta )^{\frac{s}{2}} w_{1m} \sum _{i=1}^{m} {(-\Delta )^{\frac{s}{2}} \overline{w}_{1i} }\,dx} } \Biggr\vert \le N_{1} $$
and
$$ \frac{3}{2}\sum_{j=1}^{m} { \int _{\Omega }{\vert w_{1j} \vert ^{2}} + \vert w_{2j} \vert ^{2}\,dx} \le N_{2} $$
leads to
$$ \bigl\vert {h(\theta )-h(\tilde{\theta })} \bigr\vert \le \bigl(N_{1} +{C}'N_{2} +r\vert \Omega \vert +\beta \vert \Omega \vert \bigr)\vert \theta -\tilde{\theta } \vert . $$
We finally get \(h(\theta (t))\) is a Lipschitz continuous function and know that the ordinary differential equations (7.2) have common solutions for the unknown functions \(\beta _{jm} (t)\), \(j=1,2,\ldots,m\).

Theorem 7.1

For the given functionsF, \(U_{0}\),
$$ F\in H(\Omega ), \qquad U_{0} \in H(\Omega )\cap V(\Omega ). $$
If\(g(s)\ge 0\), \(G(s)=\int _{0}^{s}g(s)\,ds\le g(s)s\)and\(\vert g'(s) \vert \le c_{0}s\) (\(s\ge 0\)), where\(c>0\), then there exists a unique solution\(U(x,t)\)for problem (1.10)(1.11), and it satisfies the condition
$$ U\in L^{\infty } \bigl(0,T;H(\Omega )\cap V(\Omega ) \bigr). $$
(7.8)

Proof

Under the condition above in this section, we continue to get the existence of the solution of problem (1.10)–(1.11). Firstly, we multiply (7.2) by \({\beta }_{jm} (t)\) and make sum about j,
$$\begin{aligned} &i \bigl({U}'_{m}, {U}_{m} \bigr)+\alpha \bigl((-\Delta )^{s} U_{m}, {U}_{m} \bigr)+ \bigl(g \bigl(\vert U_{m} \vert ^{2} \bigr)U_{m}, {U}_{m} \bigr)+i(QU_{m}, {U}_{m} )+(\beta U_{m}, {U}_{m} ) \\ &\quad =(F, \overline{U}_{m} ). \end{aligned}$$
(7.9)
It is similar to the process of (6.2), (6.4), from (6.5), we obtain
$$ \frac{d}{dt}\Vert U _{m} \Vert _{H}^{2} +\gamma \Vert U _{m} \Vert _{H}^{2} \le \frac{1}{\gamma }\Vert F \Vert _{H}^{2}, $$
because of \(F\in H(\Omega )\), \(\Vert F\Vert _{H}^{2} \le M_{1} \), and \(U_{0m} \in H(\Omega )\cap V(\Omega )\). For condition (7.3), by using Gronwall’s inequality, we have a conclusion similar to (6.1)
$$ \bigl\Vert U _{m} (t) \bigr\Vert _{H}^{2} \le \bigl\Vert U _{m} (x,0) \bigr\Vert _{H}^{2} e^{-\gamma t}+\frac{\Vert F\Vert _{H}^{2} }{\gamma } \bigl(1-e^{-\gamma t} \bigr), $$
then
$$ \mathop{\limsup }_{t\to \infty } \Vert U _{m} \Vert _{H}^{2} \le \frac{M_{1} }{\gamma ^{2}}. $$
Therefore \(U_{m} (t)\) is bounded in H.
Secondly, we choose \({w}'_{j} \) instead of \(w_{j} \) in (7.2), then multiply (7.2) by \(\overline{\beta }_{jm} (t)\), to make sum about j:
$$\begin{aligned}& i \bigl({U}'_{m},{ {U}}'_{m} \bigr)+\alpha \bigl((-\Delta )^{s} U_{m},{ {U}}'_{m} \bigr)+ \bigl(g \bigl(\vert U_{m} \vert ^{2} \bigr)U_{m},{ {U}}'_{m} \bigr)+i \bigl(QU_{m},{ {U}}'_{m} \bigr)+ \beta \bigl(U_{m},{ {U}}'_{m} \bigr) \\& \quad = \bigl(F,{ {U}}'_{m} \bigr), \end{aligned}$$
and the real part of the equation above is
$$\begin{aligned} & \operatorname{Re} \alpha \bigl((-\Delta )^{\frac{s}{2}} U_{m},(- \Delta)^{\frac{s}{2}} {\overline{U}}'_{m} \bigr)+ \operatorname{Re} \int _{\Omega }{g \bigl(\vert U_{m} \vert ^{2} \bigr)U_{m} {\overline{U}}'_{m} \,dx} \\ &\quad \quad {}-\operatorname{Im} \int _{\Omega }{ru_{1m} {\overline{u}}'_{1m} +\sigma u_{2m} {\overline{u}}'_{2m}\,dx} + \operatorname{Re} \beta \bigl(U_{m},{ {U}}'_{m} \bigr) \\ &\quad = \operatorname{Re} \bigl(F,{ {U}}'_{m} \bigr). \end{aligned}$$
(7.10)
Return to see the real part of (7.9),
$$ \operatorname{Im} \bigl(U_{m},{ {U}}'_{m} \bigr)+ \bigl\Vert (-\Delta )^{\frac{s}{2}} U_{m} \bigr\Vert _{H}^{2} + \int _{\Omega }{g \bigl(\vert U_{m} \vert ^{2} \bigr)\vert U_{m} \vert ^{2}\,dx} +\beta \Vert U _{m} \Vert _{H}^{2} = \operatorname{Re}(F, {U}_{m} ), $$
(7.11)
where \(G(\vert U_{m} \vert ^{2})=\int _{0}^{\vert U_{m} \vert ^{2}}g(s)\,ds\). Combining (7.10) with (7.11), we finally get
$$\begin{aligned}& \frac{1}{2}\frac{d}{dt} \biggl\{ \alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U_{m} \bigr\Vert _{H}^{2}+ \int _{\Omega }{G \bigl(\vert U_{m} \vert ^{2} \bigr)\,dx} +\beta \Vert U _{m} \Vert _{H}^{2} -2\operatorname{Re}(F, {U}_{m} ) \biggr\} \\& \quad \quad{} +\gamma \biggl\{ \alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U_{m} \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U_{m} \vert ^{2} \bigr)\,dx+\beta \Vert U _{m} \Vert _{H}^{2} -2\operatorname{Re}(F, {U}_{m} )} \biggr\} \\& \quad \le \operatorname{Re} \int _{\Omega }{(r-2\gamma )f_{1} \overline{u}_{1m} +(\sigma -2\gamma )f_{2} \overline{u}_{2m}\,dx} . \end{aligned}$$
(7.12)
Introducing a functional equation about (7.12)
$$ \eta (U_{m} )=\beta \Vert U _{m} \Vert _{H}^{2} +\alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U_{m} \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U_{m} \vert ^{2} \bigr)\,dx} -2\operatorname{Re}(F, {U}_{m} ) $$
and rewriting (7.12) as
$$ \frac{1}{2}\frac{d}{dt}\eta (U_{m} )+\delta \eta (U_{m} )\le \frac{1}{2}(\delta +2\gamma ) \bigl(\Vert U _{m} \Vert _{H}^{2} +\Vert F \Vert _{H}^{2} \bigr), $$
we have
$$ \frac{d}{dt}\eta (U)+2\gamma \eta (U)\le 2\gamma {C}'_{\infty }. $$
Finally, we can get
$$ \mathop{\limsup }_{t\to \infty } \eta (U_{m} )\le {C}'_{\infty } $$
and
$$ \beta \Vert U _{m} \Vert _{H}^{2} +\alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U_{m} \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U_{m} \vert ^{2} \bigr)\,dx} \le {C}'_{\infty }+\frac{1}{2} \biggl(M_{1} +\frac{M_{1} }{\gamma ^{2}} \biggr). $$
Because of \(\beta \Vert U_{m} \Vert _{H}^{2} \ge 0\), \(\int _{\Omega }{G(\vert U_{m} \vert ^{2})\,dx} \ge 0\), we know that \(\Vert (-\Delta )^{\frac{s}{2}} U_{m} \Vert _{H}^{2} =\Vert U_{m} \Vert _{V}^{2} \), and \(U_{m} (t)\) is bounded in V.
Hence from the sequence \(\{U_{m} (x,t)\}\) of approximate solutions, we can select a subsequence \(\{U_{\mu }(x,t)\}\) and have a function \(U(x,t)\in L^{\infty }(0,T;H)\) such that
$$\begin{aligned}& U_{\mu }(x,t)\to U(x,t)\quad \mbox{in }U(x,t)\in L^{\infty }(0,T;H) \mbox{ weakly star, }\mu \to \infty. \\& (-\Delta )^{\frac{s}{2}} U_{\mu }(x,t)\to\!\!(-\Delta )^{\frac{s}{2}} U(x,t)\quad\!\mbox{in }U(x,t)\in L^{\infty }(0,T;V) \mbox{ weakly star and a.e.}, \mu \to \infty. \\& g \bigl(\vert U_{\mu } \vert ^{2} \bigr)\vert U_{\mu } \vert ^{2}\to g \bigl(\vert U \vert ^{2} \bigr)\vert U \vert ^{2} \quad \mbox{in }U(x,t)\in L^{\infty} \bigl(0,T;L^{6}(\Omega ) \bigr) \mbox{ weakly star, } \mu \to \infty. \end{aligned}$$
And
$$\begin{aligned}& U_{\mu }(x,t)\to U(x,t)\quad \mbox{in }U(x,t)\in L^{2}(0,T;H) \quad \mbox{weakly, }\mu \to \infty. \\& (-\Delta )^{\frac{s}{2}} U_{\mu }(x,t)\to (-\Delta )^{\frac{s}{2}} U(x,t)\quad \mbox{in }U(x,t)\in L^{2}(0,T;V)\mbox{ weakly and a.e., } \mu \to \infty. \\& g \bigl(\vert U_{\mu } \vert ^{2} \bigr)\vert U_{\mu } \vert ^{2}\to g \bigl(\vert U \vert ^{2} \bigr)\vert U \vert ^{2} \quad \mbox{in }U(x,t)\in L^{2} \bigl(0,T;L^{6}(\Omega ) \bigr)\mbox{ weakly, }\mu \to \infty. \end{aligned}$$
From
$$ \bigl(i{U}'_{\mu }-\alpha (-\Delta )^{s} U_{\mu }+G_{\mu }U_{\mu }+iQU_{\mu }+ \beta U_{\mu }-F,U_{\mu } \bigr)=0, $$
(7.13)
hence the function \(U(x,t)\) satisfies equation (1.11) everywhere and the boundary initial conditions (1.10). So the existence of solution for problem (1.10)–(1.11) has been proved. □

8 The uniqueness of solution

Let \(U_{1} \), \(U_{2} \) be solutions of (1.11) satisfying the conditions of Theorem 7.1. We have \(W=U_{1} -U_{2} \) and \(W(0)=0\), we have
$$\begin{aligned}& U_{2} =(u_{21},u_{22} )^{T}, \qquad \vert U_{2} \vert ^{2}=\vert u_{21} \vert ^{2}+\vert u_{22} \vert ^{2}; \\& U_{1} =(u_{11}, u_{12} )^{T}, \qquad \vert U_{1} \vert ^{2}=\vert u_{11} \vert ^{2}+\vert u_{12} \vert ^{2}. \end{aligned}$$
Then we obtain
$$ iw_{t} +\alpha (-\Delta )^{s} W+iQw+\beta W=g \bigl(\vert U_{2} \vert ^{2} \bigr)U_{2} -g \bigl(\vert U_{1} \vert ^{2} \bigr)U_{1}. $$
(8.1)
Making a scalar product with (8.1) by vector W over Ω, then
$$\begin{aligned}& i(W_{t}, {W})+\alpha \bigl((-\Delta )^{s} W, {W} \bigr)+i(Qw, {W})+\beta (W, {W}) \\& \quad = \bigl(g \bigl(\vert U_{2} \vert ^{2} \bigr)U_{2} -g \bigl(\vert U_{1} \vert ^{2} \bigr)U_{1}, {W} \bigr). \end{aligned}$$
(8.2)
Choose the imaginary part of (8.2)
$$ \frac{1}{2}\frac{d}{dt} \Vert W \Vert _{H}^{2} + \int _{\Omega }{r\vert W_{1} \vert ^{2}+ \sigma \vert W_{2} \vert ^{2}\,dx} =\operatorname{Im} \int _{\Omega }{ \bigl(g \bigl(\vert U_{2} \vert ^{2} \bigr)U_{2} -g \bigl(\vert U_{1} \vert ^{2} \bigr)U_{1} \bigr)\overline{W}\,dx}. $$
Set \(\gamma =\min (r,\sigma )\),
$$ \frac{1}{2}\frac{d}{dt} \Vert W \Vert _{H}^{2} +\gamma \Vert W \Vert _{H}^{2} \le \operatorname{Im} \int _{\Omega }{ \bigl(g \bigl(\vert U_{2} \vert ^{2} \bigr)U_{2} -g \bigl(\vert U_{1} \vert ^{2} \bigr)U_{1} \bigr)\overline{W}\,dx}. $$
(8.3)
Firstly we shall prove
$$\begin{aligned}& \bigl\vert {g \bigl(\vert U_{2} \vert ^{2} \bigr)U_{2} -g \bigl(\vert U_{1} \vert ^{2} \bigr)U_{1} } \bigr\vert \\& \quad \le \bigl\vert {g \bigl(\vert U_{2} \vert ^{2} \bigr) (U_{2} -U_{1} )+ \bigl(g \bigl(\vert U_{2} \vert ^{2} \bigr)-g \bigl(\vert U_{1} \vert ^{2} \bigr) \bigr)U_{1} } \bigr\vert \\& \quad \le g \bigl(\vert U_{2} \vert ^{2} \bigr) \vert {U_{2} -U_{1} } \vert + \bigl\vert {g' \bigl(\theta \vert U_{1} \vert ^{2}+(1- \theta ) \vert U_{2} \vert ^{2} \bigr)} \bigr\vert \vert U_{1}\vert \vert {U_{2}-U_{1} } \vert \\& \quad = \bigl(g \bigl(\vert U_{2} \vert ^{2} \bigr)+ \vert U_{1} \vert g' \bigl(\theta \vert U_{1} \vert ^{2}+(1-\theta )\vert U_{2}\vert ^{2} \bigr) \bigr)\vert {U_{2} -U_{1} } \vert , \end{aligned}$$
where \(0\le \theta \le 1\). Since \(\Omega \subset R^{2}\), \(H_{0}^{1} (\Omega )\) is embedding to \(L^{\infty }(\Omega )\), and
$$ \Vert U \Vert _{L^{\infty }(\Omega )\times L^{\infty }(\Omega )}^{2} \le C \Vert U \Vert _{V}^{2}, $$
by using Hölder’s inequality of the form
$$ \int _{\Omega }{\vert U_{1}\vert \bigl\vert g' \bigr\vert \,dx} \le \Vert U _{1} \Vert _{L^{\infty }(\Omega )\times L^{\infty }(\Omega )} \Vert g' \Vert _{L^{1}(\Omega )\times L^{1}(\Omega )}, $$
we get the deduce of (8.3)
$$\begin{aligned}& \frac{1}{2}\frac{d}{dt} \Vert W \Vert _{H}^{2} +\gamma \Vert W \Vert _{H}^{2} \\& \quad \le \int _{\Omega }{ \bigl\vert {g \bigl(\vert U_{2} \vert ^{2} \bigr)U_{2} -g \bigl(\vert U_{1} \vert ^{2} \bigr)U_{1} } \bigr\vert \vert \overline{W} \vert \,dx} \\& \quad \le \int _{\Omega }{ \bigl(g \bigl(\vert U_{2} \vert ^{2} \bigr)+\vert U_{1} \vert g' \bigl( \theta \vert U_{1} \vert ^{2}+(1-\theta )\vert U_{2} \vert ^{2} \bigr) \bigr)\vert {U_{2} -U_{1} } \vert \vert \overline{W} \vert \,dx} \\& \quad \le \biggl(1+\frac{c_{0}}{2} \biggr) \int _{\Omega }{ \bigl(\vert U_{2} \vert ^{2}+\vert U_{1} \vert ^{2} \bigr)\vert W \vert ^{2}\,dx} \\& \quad \le \biggl(1+\frac{c_{0}}{2} \biggr) \bigl(\Vert U _{2} \Vert _{L^{\infty }(\Omega )\times L^{\infty }(\Omega )}^{2} +\Vert U _{1} \Vert _{L^{\infty }(\Omega )\times L^{\infty }(\Omega )}^{2} \bigr) \int _{\Omega }{\vert W \vert ^{2}\,dx} \\& \quad \le \frac{3\tilde{c}}{2} \bigl(\Vert U _{2} \Vert _{V}^{2} +\Vert U _{1} \Vert _{V}^{2} \bigr) \Vert W \Vert _{H}^{2} . \end{aligned}$$
(8.4)
From Sect. 6, we know that \(\Vert U_{1} \Vert _{V}^{2} +\Vert U_{2} \Vert _{V}^{2} \) is bounded. Rewrite (8.4) as follows:
$$ \frac{1}{2}\frac{d}{dt} \Vert W \Vert _{H}^{2} + \biggl( {\gamma -\frac{3\tilde{c}}{2}\Vert U _{2} \Vert _{V}^{2} - \frac{3\tilde{c}}{2}\Vert U _{1} \Vert _{V}^{2} \biggr)} \Vert W \Vert _{H}^{2} \le 0. $$
Because of \(W(0)=0\), we finally get \(W=0\).

9 The global attractor

Furthermore, for every \(t\ge 0\), the mapping
$$ S(t):U_{0} \to U(t) $$
is continuous and bounded in H and V. It follows from the uniqueness of solution (1.10)–(1.11) that the family \(\{S(t)\}_{t\ge 0} \) forms a semi-group:
$$ S(t_{1} +t_{2} )=S(t_{1} )S(t_{2} ), \quad t_{1},t_{2} \ge 0, \qquad S(0)=I. $$
(9.1)
Another important property is that the semi-group \(S(t)\) is compact on H for \(t>0\). That is to say the image of \(S(t)\) of any bounded set in H is relatively compact in H. In order to prove the existence of global attractors of problem (1.10)–(1.11), we need the following result.

9.1 Absorbing ball in H

From Sect. 7,
$$ \bigl\Vert U(t) \bigr\Vert _{H}^{2} \le \Vert U_{0} \Vert _{H}^{2} e^{-\gamma t}+ \frac{\Vert F \Vert _{H}^{2} }{\gamma } \bigl(1-e^{-\gamma t} \bigr),\quad t\in (0,T), $$
(9.2)
and
$$ \mathop{\limsup }_{t\to \infty } \Vert U \Vert _{H}^{2} \le \rho _{0}^{2}, \quad \rho _{0}^{2} =\frac{M_{1} }{\gamma ^{2}}. $$
(9.3)
We know that \(B_{0} =B_{H} (0,\rho _{0} )\) is the absorbing set in H for the semi-group \(S(t)\), and
$$ \rho _{0}^{2} \ge \frac{M_{1} }{\gamma }. $$
(9.4)
We infer from (9.2) that the balls \(B_{0} =B_{H} (0,\rho _{0} )\) of H with \(\rho \ge \rho _{0} \) are positive invariants for the semigroup \(S(t)\), and these balls are absorbing for any \(\rho >\rho _{0} \). We choose \({\rho }'_{0} >\rho _{0} \) and denote by \(B_{0} \) the ball \(B_{H} (0,{\rho }'_{0} )\). And the set B bounded in H is included in a ball \(B(0,R)\) of H. It is easy to deduce from (9.2) that \(S(t)B\subset B_{0} \) for \(t\ge t_{0} (B,{\rho }'_{0} )\), where
$$ t_{0} =\frac{1}{\gamma }\log \frac{\gamma ^{2}R^{2}}{\gamma ^{2}\rho _{0}^{2} -c_{1} }. $$
(9.5)
We infer from (6.5) that integration in t, \(\tau >0\) yields
$$ \gamma \int _{t}^{t+\tau } { \Vert U \Vert _{H}^{2}\,ds} \le \Vert U \Vert _{H}^{2} +\frac{M_{1} \tau }{\gamma }. $$
With the use of (9.3) we conclude that
$$ \mathop{\limsup }_{t\to \infty } \int _{t}^{t+\tau } { \Vert U \Vert _{H}^{2}\,ds} \le \frac{M_{1} \tau }{\gamma ^{3}}+\frac{M_{1} \tau }{\gamma ^{2}}. $$
(9.6)
In Sect. 7, we get the inequality
$$ \frac{d}{dt}\eta (U)+2\gamma \eta (U)\le 2\gamma C_{\infty } $$
(9.7)
and
$$ \mathop{\limsup }_{t\to \infty } \biggl( {\beta \Vert U \Vert _{H}^{2} +\alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} -2\operatorname{Re}(F, {U})} \biggr) \le C_{\infty }. $$
Integrating (9.7) between t and \(t+\tau \)
$$\begin{aligned} &\limsup_{t\to \infty } \biggl\{ \int _{t}^{t+\tau } \beta \bigl\Vert U(s) \bigr\Vert _{H}^{2} +\alpha \bigl\Vert (-\Delta)^{\frac{s}{2}} U(s) \bigr\Vert _{H}^{2} + \bigl\Vert U(s) \bigr\Vert _{L^{4}(\Omega )}^{4} -2 \operatorname{Re} \bigl(F, {U}(s) \bigr) \,ds \\ &\quad \quad {}+\beta \bigl\Vert U(t+\tau ) \bigr\Vert _{H}^{2} + \alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U(t+\tau ) \bigr\Vert _{H}^{2} + \bigl\Vert U(t+\tau ) \bigr\Vert _{L^{4}(\Omega )}^{4} -2 \operatorname{Re} \bigl(F, {U}(t+\tau ) \bigr) \biggr\} \\ &\quad \le 2\gamma C_{\infty }(1+\tau ), \end{aligned}$$
we obtain
$$ \mathop{\limsup }_{t\to \infty } \int _{t}^{t+\tau } { \biggl( \beta \bigl\Vert U(s) \bigr\Vert _{H}^{2} +\alpha \bigl\Vert (- \Delta)^{\frac{s}{2}} U(s) \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} \biggr)\,ds} \le C_{s}. $$

9.2 Absorbing ball in V

We continue and show the existence of an absorbing set in V and the uniform compactness of \(S(t)\). For that purpose, we know that
$$ \eta (U)=\beta \Vert U\Vert _{H}^{2} +\alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} -2\operatorname{Re}(F, {U}). $$
If \(F\in H\cap V\), we have
$$ \eta (U)\le \eta (U_{0} )e^{-2\gamma t}+C_{\infty } \bigl(1-e^{-2\gamma t} \bigr), $$
then
$$ \mathop{\limsup }_{t\to \infty } \biggl( {\beta \Vert U \Vert _{H}^{2} +\alpha \bigl\Vert (-\Delta )^{\frac{s}{2}} U \bigr\Vert _{H}^{2} + \int _{\Omega }{G \bigl(\vert U \vert ^{2} \bigr)\,dx} -2\operatorname{Re}(F, {U})} \biggr) \le C_{\infty } $$
and \(\limsup_{t\to \infty } \alpha \Vert (-\Delta )^{\frac{s}{2}}U \Vert _{H}^{2} \le \rho _{1}^{2} \), \(\rho _{1} =C_{\infty }\).

We recall that \((\Vert U \Vert ^{2}+\Vert (-\Delta )^{\frac{s}{2}} U \Vert ^{2})^{1 / 2}\) is the norm on V (= the \(H^{1}(\Omega )\) norm). Combining (9.5), we obtain the existence of an absorbing set in V for \(S(t)\) and uniform compactness property:

The operator \(S(t)\) is uniformly compact for t large. By this we mean that for every bounded set B there exists \(t_{0} \), which may depend on B, such that
$$ \bigcup_{t\ge t_{0} } {S(t)B} $$
is relatively compact in H.
Indeed, if B is a bounded set of V, then it is also a bounded set of H,
$$ S(t)B\subset B_{0} \quad \mbox{for }t\ge t_{0} (B,B_{0} ), $$
and then with (9.3)
$$ S(t)B\subset B_{1} \quad \mbox{for }t\ge t_{0} +\tau, $$
where \(B_{1} \) is the ball of V centered at 0 of radius \(\rho _{1} >\rho _{0} \).

The ball of V, \(B_{1} =B_{V} (0,\rho _{1} )\) centered at 0 of radius \(\rho _{1} \) is absorbing in V for the semi-group \(S(t)\).

If \(U_{0} \in B\), where B is only bounded in H, the above analysis still applies and
$$ S(t)B\subset B_{1} \quad \mbox{for }t\ge t_{0} (B)+\tau. $$
Since \(B_{1} \) is bounded in V and the injection of V in H is compact, we conclude that \(\bigcup_{t\ge t_{0} +\tau } {S(t)B} \) is relatively compact in H.

Definition 9.1

The ω-limit set K of B
$$ {\mathrm{K}}=\bigcap_{\tau >0} {\overline{\bigcup _{t>t_{0} +\tau } {S(t)B} } }, $$
where the closure is taken in H.

Therefore, from the a priori estimates, using Theorem I.1.1 in [32], the ω-limit set of B, \(\mathrm{K}=\omega (B)\), is a global attractor. It is an infinite-dimensional dynamic system associated with this evolution equation (1.11) supplemented by the Dirichlet boundary condition. K attracts the bounded sets of H. This dynamic system possesses an attractor K which is compact in H.

Notes

Acknowledgements

We would like to thank the referees for their valuable comments and suggestions to improve our paper.

Availability of data and materials

Data sharing not applicable to this article as no data sets were generated or analyzed during the current study.

Authors’ contributions

All authors contributed equally to this work. All authors read and approved the final manuscript.

Funding

This project is supported by the National Natural Science Foundation of China (No.11561076).

Competing interests

The authors declare that they have no competing interests.

References

  1. 1.
    Kaminow, I.P.: Polarization in optical fibers. IEEE J. Quantum Electron. 17, 15–22 (1981) CrossRefGoogle Scholar
  2. 2.
    Menyuk, C.R.: Nonlinear pulse propagation in birefringence optical fiber. IEEE J. Quantum Electron. 23, 174–176 (1987) CrossRefGoogle Scholar
  3. 3.
    Menyuk, C.R.: Pulse propagation in an elliptically birefringent Kerrmedium. IEEE J. Quantum Electron. 25, 2674–2682 (1989) CrossRefGoogle Scholar
  4. 4.
    Hasegawa, A., Kodama, Y.: Solitons in Optical Communications. Academic Press, San Diego (1995) zbMATHGoogle Scholar
  5. 5.
    Islam, M.N.: Ultrafast Fiber Switching Devices and Systems. Cambridge Univ. Press, New York (1992) Google Scholar
  6. 6.
    Menyuk, C.R.: Stability of solitons in birefringent optical Fibers. II. Arbitrary Amplitudes. J. Opt. Soc. Am. B 5, 392–402 (1998) CrossRefGoogle Scholar
  7. 7.
    Yang, J.: Multisoliton perturbation theory for the Manakov equations and its applications to nonlinear optics. Phys. Rev. E 59(2), 2393–2405 (1999) MathSciNetCrossRefGoogle Scholar
  8. 8.
    Berezin, F.A., Shubin, M.A.: The Schrödinger Equation. Kluwer Academic, Dordrecht (1983) Published by the Moscow State University zbMATHGoogle Scholar
  9. 9.
    Wadati, M., Izuka, T., Hisakado, M.: A coupled nonlinear Schrödinger equation and optical solitons. J. Phys. Soc. Jpn. 61(7), 2241–2245 (1992) CrossRefGoogle Scholar
  10. 10.
    Guo, B., Su, F.Q.: The global attractors for the periodic initial value problem of generalized Kuramato–Sivashinsky type equations in multi-dimensions. J. Partial Differ. Equ. 6, 217–236 (1993) zbMATHGoogle Scholar
  11. 11.
    Christiansen, P.L., Eilbeck, J.C., Enolskii, V.Z., Kostov, N.A.: Quasi-periodic and periodic solutions for coupled nonlinear Schrödinger equations of Manakov type. Proc. R. Soc. Lond. A 456, 2263–2281 (2001).  https://doi.org/10.1098/rspa.2000.0612 CrossRefzbMATHGoogle Scholar
  12. 12.
    Sulem, C., Sulem, P.-L.: The Nonlinear Schrödinger Equation: Self-Focusing and Wave Collapse. Applied Mathematical Sciences, vol. 139. Springer, New York (1999).  https://doi.org/10.1007/b98958 zbMATHGoogle Scholar
  13. 13.
    Sun, J.Q., Gu, X.Y., Ma, Z.Q.: Numerical study of the soliton waves of the coupled nonlinear Schrödinger system. Physica D 196, 311–328 (2004) MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Zhu, C.S.: Attractor for the nonlinear Schrödinger equation with harmonic potential. J. Southwest China Normal Univ. (Nat. Sci.) 30(5), 788–791 (2005) Google Scholar
  15. 15.
    Utsumi, T., Aoki, T., Koga, J., Yamagiwa, M.: Solutions of the 1D coupled nonlinear Schrödinger equations by the CIP–BS method. Commun. Comput. Phys. 1, 261–275 (2006) zbMATHGoogle Scholar
  16. 16.
    Pomponio, A.: Coupled nonlinear Schrödinger systems with potentials. J. Differ. Equ. 227, 258–281 (2006) MathSciNetCrossRefzbMATHGoogle Scholar
  17. 17.
    Warren, O.H., Elgin, J.N.: The vector nonlinear Schrödinger hierarchy. Physica D 228, 166–171 (2007) MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Ismai, M.S.: Numerical solution of coupled nonlinear Schrödinger equation by Galerkin method. Math. Comput. Simul. 78, 532–547 (2008) CrossRefGoogle Scholar
  19. 19.
    Goubet, O., Molinet, L.: Global attractor for weakly damped nonlinear Schrödinger equations in \(L^{2}(R)\). Nonlinear Anal. 71, 317–320 (2009) MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Zhong, P.H., Yang, R.H., Yang, G.S.: Exact periodic and blow up solutions for 2D Ginzburg–Landau equation. Phys. Lett. A 373(1), 19–22 (2008).  https://doi.org/10.1016/j.physleta.2008.10.078 MathSciNetCrossRefzbMATHGoogle Scholar
  21. 21.
    Guo, B.L., Yang, G.S.: Some exact nontrivial global solutions with values in unit sphere for two-dimensional Landau–Lifshitz equations. J. Math. Phys. 42(11), 5223–5227 (2001) MathSciNetCrossRefzbMATHGoogle Scholar
  22. 22.
    Yang, G.S.: The difference between Schrödinger equation derived from Schrödinger map and Landau–Lifshitz equation. Phys. Lett. A 376(4), 231–235 (2012).  https://doi.org/10.1016/j.physleta.2011.11.003 MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Yang, G.S., Guo, B.L.: Some exact solutions to multidimensional Landau–Lifshitz equation with uprush external field and anisotropy field. Nonlinear Anal., Theory Methods Appl. 71(9), 3999–4006 (2009).  https://doi.org/10.1016/j.na.2009.02.070 MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Yang, G.S., Liu, X.G.: Spherical cone symmetric families generated by Landau–Lifshitz equation and their evolution. Sci. China Math. 41(2), 181–196 (2011) MathSciNetGoogle Scholar
  25. 25.
    Caffarelli, L., Silvestre, L.: An extension problem related to the fractional Laplacian. Commun. Partial Differ. Equ. 32, 1245–1260 (2007) MathSciNetCrossRefzbMATHGoogle Scholar
  26. 26.
    Barrios, B., Colorado, E., de Pablo, A., Sánchez, U.: On some critical problems for the fractional Laplacian operator. J. Differ. Equ. 252(11), 6133–6162 (2012).  https://doi.org/10.1016/j.jde.2012.02.023 MathSciNetCrossRefzbMATHGoogle Scholar
  27. 27.
    Abe, S., Thurner, S.: Anomalous diffusion in view of Einstein’s 1905 theory of Brownian motion. Physica A 356, 403–407 (2005) CrossRefGoogle Scholar
  28. 28.
    Jara, M.: Nonequilibrium scaling limit for a tagged particle in the simple exclusion process with long jumps. Commun. Pure Appl. Math. 62, 198–214 (2009) MathSciNetCrossRefzbMATHGoogle Scholar
  29. 29.
    Vlahos, L., Isliker, H., Kominis, Y., Hizonidis, K.: Normal and anomalous diffusion: a tutorial. In: Bountis, T. (ed.) Order and Chaos, vol. 10. Patras University Press, Patras (2008) Google Scholar
  30. 30.
    Evans, L.C.: Partial Differential Equations, 2nd edn. Graduate Studies in Mathematics, vol. 19. Am. Math. Soc., Providence (1998) zbMATHGoogle Scholar
  31. 31.
    Kilbas, A.A., Srivastava, H.M., Trujillo, J.J.: Theory and Applications of Fractional Differential Equations. North-Holland Mathematics Studies, vol. 204. Elsevier, Amsterdam (2006) CrossRefzbMATHGoogle Scholar
  32. 32.
    Teman, R.: Infinite-Dimensional Dynamical Systems in Mechanics and Physics. Applied Mathematical Sciences, vol. 68. Springer, New York (1988).  https://doi.org/10.1007/978-1-4684-0313-8 CrossRefGoogle Scholar

Copyright information

© The Author(s) 2018

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.

Authors and Affiliations

  1. 1.Department of MathematicsNorthwest UniversityXi’anChina
  2. 2.Department of MathematicsYunnan Nationalities UniversityKunmingChina

Personalised recommendations