Abstract
In this article, we consider the nonlocal discrete nonlinear Schrödinger equation. We first prove that the associated process has a pullback-\({{\mathcal {D}}}_\delta \) attractor by overcoming the difficulties caused by the nonlocal operator. Then we establish the existence of a unique family of invariant Borel probability measures carried by the pullback attractor. Finally, we further construct statistical solutions for this nonlocal equation on infinite lattices.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article, we study the following discrete nonlocal Schrödinger equation:
associated with the initial condition
where \(J:{\mathbb {Z}}\rightarrow {\mathbb {R}}\) denotes the dispersive coupling operator, which is assumed to be even and \(\sum _{m=1}^\infty |J(m)|<\infty .\) In the system (1.1), the coupling parameters J(m) include the long-range interactions, which have attracted much attention from many researchers mainly in the physic literature due to their wide applications. For example, a new form of (1.1) was proposed in [28] for the modelling of the nonlinear dynamics of the DNA molecule. Later, some specific form of (1.1) can be rigorously derived as the continuum limit of certain discrete physical systems with long-range lattice interactions; see [19]. Recently, the author in [30] proved the existence of global attractor for a nonlocal discrete Schrödinger equation. There are many works concerning the nonlocal discrete systems; see e.g., [1, 2, 14, 26, 30], etc. In this article, we are mainly interested in the invariant measures and statistical solutions for this nonlocal lattice system (1.1).
Note that if we choose the coupling parameters J(m) in (1.1) as
where p is any positive integer and \(\delta _{m,k}\) is the Kronecker delta, then the nonlocal system (1.1) can be transformed into the following generalized discrete Schrödinger equation:
where \(\Delta _d^p=\Delta _d\circ \cdots \circ \Delta _d,\) p times, and \(\Delta _d\) denotes the one-dimensional discrete Laplace operator given by \(\Delta _du_n=u_{n+1}+u_{n-1}-2u_n.\) It is well-known that the discrete Schrödinger equation is a very important model with a great variety of applications, ranging from physics to biology; see e.g., [27, 29] and the references therein.
In recent years, the discrete Schrödinger equation has been widely studied by mathematicians and physicists. There are various of works on global attractors [8, 11, 20, 30], pullback attractors [31], and bifurcations [17] for these equations under various boundary conditions. The interested reader is referred to [7, 15, 33, 34] for more results on the discrete Schrödinger equation. Particularly, Pereira [31] established the existence of pullback attractors for the nonautonomous discrete Schrödinger equation with delays. However, as far as we know, there are few papers studying the statistical solution of this nonlocal Schrödinger equation on infinite lattices.
In this article we mainly investigate invariant measures and statistical solutions for this nonlocal discrete system (1.1)–(1.2). We all know that these two concepts are very important in understanding the turbulence; see [10]. This is because measurements of many important aspects of turbulent flows are actually the measurements of some time-average quantities. Recently, there have been a series of works on invariant measures and statistical solutions of evolution systems; see [3,4,5,6, 18, 21, 24, 25, 35, 37, 39, 40, 42,43,44] for continuous systems. Especially, by using the notion of generalized Banach limits, Łukaszewicz, Real and Robinson [25] constructed invariant measures for general continuous dynamical systems on metric spaces. Later, Bronzi et al. [4] have developed an abstract framework for the theory of statistical solutions for general evolution systems. Based on these works, Zhao and Caraballo [42] used the natural translation semigroup and the trajectory attractor to construct trajectory statistical solutions for the globally modified Navier–Stokes equations.
Invariant measures and dynamics of lattice dynamical systems are widely studied by many researchers; see e.g., [12, 13, 22, 23, 36, 38, 41, 45]. Lattice dynamical systems are spatiotemporal systems with discretization in some variables, which have been widely used in many fields such as chemical reaction theory [9], biology [16], electrical engineering [32] and so on. Very recently, Zhao et al. [41] constructed the invariant Borel probability measures for the nonautonomous discrete Klein–Gordon–Schrödinger equations. Using some techniques in the above work, Wu and Huang [36] further construct the statistical solutions for discrete Klein–Gordon–Schrödinger type equations.
Our main purpose of this article is to construct the invariant Borel probability measures and statistical solutions for this discrete nonlocal Schrödinger equation. By using notions of generalized Banach limit and the theory given by Łukaszewicz and Robinson (see [24]), we establish the existence of invariant measures for (1.1)–(1.2). Then we further construct the statistical solutions of this nonlocal lattice system. We remark that the system (1.1)–(1.2) considered here consists of the nonlocal operator J, which can lead to some additional difficulties in giving the estimates of solutions. This requires us to utilize some more delicate analysis and techniques to overcome this term.
This work is organized as follows. Section 2 is devoted to the existence and boundedness of solutions of equations (1.1)–(1.2). In Sect. 3 we show that the process generated by (1.1)–(1.2) has a pullback-\({{\mathcal {D}}}_\delta \) attractor. In Sect. 4, we establish the existence of a unique family of invariant Borel probability measures carried by the pullback-\({{\mathcal {D}}}_\delta \) attractor. Finally, we further construct the statistical solution of the nonlocal system (1.1)–(1.2).
2 Existence and Boundedness of Solutions
In this section we study the existence and boundedness of solutions of equations (1.1)–(1.2). Let us first introduce some spaces. Set
and equip it with the inner product and norm defined by
Then \((\ell ^{2}, (\cdot , \cdot ))\) is a Hilbert space. Let \(E=\ell ^2\) and denote by \((\cdot ,\cdot )\) and \(\Vert \cdot \Vert \) the inner product and norm, respectively.
For the sake of simplicity, we set
Then Eq. (1.1)–(1.2) can be written as a vector form
In order to establish our main results, in this article, we always assume that f in (2.1) satisfies the following conditions.
-
(F1) There exists \(L_f>0\) such that if \(x_1,x_2\in {\mathbb {C}}\), then
$$\begin{aligned} |f_{n}(x_1)-f_{n}(x_2)|\leqslant L_f|x_1-x_2|,\quad n\in {\mathbb {Z}}. \end{aligned}$$ -
(F2) There exist \(k_1=(k_{1,n})_{n\in {\mathbb {Z}}}\in \ell ^\infty ,k_2=(k_{2,n})_{n\in {\mathbb {Z}}}\in \ell ^2\) such that
$$\begin{aligned} |f_{n}(x)|\leqslant k_{1,n}|x|+k_{2,n},\quad \forall x\in {\mathbb {C}}. \end{aligned}$$ -
(F3) The number \(\gamma \) in (2.1) satisfies
$$\begin{aligned} \frac{\gamma }{2}>2K_1+\frac{L_f}{2}, \end{aligned}$$where \(K_1=\Vert k_1\Vert _{\ell ^\infty }\).
By \({{\mathcal {C}}}({\mathbb {R}},\ell ^2)\) we denote the space of continuous functions from \({\mathbb {R}}\) to \(\ell ^2\). Then if \(h\in {{\mathcal {C}}}({\mathbb {R}},\ell ^2)\),
Let us begin with some fundamental properties on the operator A in (2.1).
Lemma 2.1
The operator \(A:\ell ^2\rightarrow \ell ^2\) is a bound linear operator and satisfies
where \(K_J=\left[ 2|J(0)|^2+8\left( \sum _{j=1}^\infty |J(j)|\right) ^2\right] ^{1/2}.\)
Proof
It is easy to see that A is a linear operator in E. Assume \(u\in \ell ^2\). Then by the definition of A, we have
In what follows we estimate the second term in (2.3). Indeed, by some basic computations, one has
Noticing that for \(k=m,i\), we see that
Then it follows from (2.4) that
Combining (2.3) and (2.5), it yields that
This completes the proof of this lemma. \(\square \)
Lemma 2.2
Let \(g(t)=(g_{n}(t))_{n\in {\mathbb {Z}}}\in {{\mathcal {C}}}({\mathbb {R}},\ell ^2).\) Then for each \(u_\tau \in E\), there exists \(T_0>\tau \), such that Eq. (2.1)–(2.2) has a unique solution \(u(t), t\geqslant \tau \) satisfying
Moreover, if \(T_0<+\infty ,\) then \(\lim \limits _{t\rightarrow T_0^-}\Vert u(t)\Vert _E=+\infty \).
Proof
Let \(F(u,t)=iAu+if(u)-\gamma u-ig(t)\). Then we can rewrite the equation (2.1) as the following equivalent form
Assume \({{\mathcal {B}}}\subset E\) is a bounded subset and that \(u^1,u^2\in {{\mathcal {B}}}\). By assumption (F1), one can see that there exists \(L_f>0\) such that
Thus we deduce from Lemmas 2.1 and (2.7) that
which implies that F(u, t) is locally Lipschitz from \(E\times {\mathbb {R}}\) to E. By the classical theory of ODEs, the results of Lemma 2.1 hold. \(\square \)
Lemma 2.3
Assume \(g(t)=(g_{n}(t))_{n\in {\mathbb {Z}}}\in {{\mathcal {C}}}({\mathbb {R}},\ell ^2).\) Let u(t) be a solution of (2.1)–(2.2) associated with the initial value \(u_{\tau }\in E\). Then
where \(\delta =\frac{\gamma }{2}-2K_1\) and \(K_2=\Vert k_2\Vert \).
Proof
Taking the imaginary part of the inner product \((\cdot ,\cdot )\) of the equation (2.1) with u in \(\ell ^2\), we have
Some elementary computations give that
By (F2), one can find
It is easy to see that
Thus we combine (2.9)–(2.13) to obtain that
Applying the Gronwall inequality to (2.14) on \([\tau , t]\) with \(t\geqslant \tau \), one has
which completes the proof of this lemma. \(\square \)
In order to guarantee that the Eqs. (2.1)–(2.2) has a bounded pullback absorbing set, we further assume that the function g satisfies the following condition.
(F4) Assume \(g(t)=(g_{n}(t))_{n\in {\mathbb {Z}}}\in {{\mathcal {C}}}({\mathbb {R}},\ell ^2)\) and that
where M is a continuous function on \({\mathbb {R}}\), which remains bounded on the interval \((-\infty ,t)\) for each fixed t.
Therefore if the condition (F4) holds, then one can immediately conclude from Lemma 2.3 that the system (2.1)–(2.2) has a bounded pullback absorbing set.
Moreover, we infer from (F3) and Lemma 2.3 that for every \(u_{\tau }\in E\), the corresponding solution u(t) of (2.1)–(2.2) exists globally on \([\tau ,+\infty )\). Furthermore, by Lemma 2.1 one can know that
Thus the solution operators can generate a family of continuous processes \(\{U(t,\tau )\}_{t\geqslant \tau }\) on E:
Let \({\mathcal {P}}(E)\) denote the family of all nonempty subsets of E and \({{\mathcal {D}}}_\delta \) denote the class of families of nonempty subsets \({{\mathcal {D}}}=\{D(s): s\in {\mathbb {R}}\}\subset {\mathcal {P}}(E)\) satisfying
We usually call the class \({{\mathcal {D}}}_\delta \) a universe in \({{\mathcal {P}}}(E)\).
Remark 2.4
Clearly, the universe \({{\mathcal {D}}}_\delta \) contains all bounded subsets of E.
Lemma 2.5
Let the assumptions (F1)–(F4) hold. Then the process \(\{U(t,\tau )\}_{t\geqslant \tau }\) generated by (2.1)–(2.2) possesses a bounded pullback-\({{\mathcal {D}}}_\delta \) absorbing set
where \(B_0(s)=B(0,r_\delta (s))\) is a ball in E centered at 0 with radius \(r_\delta (s).\)
Proof
Choose \(r_\delta (t)=\rho ^{1/2}_\delta (t)\), where
Then one can easily deduce from Lemma 2.2 and the construction of \({{\mathcal {D}}}_\delta \) that the family \({{\mathcal {B}}}_0\) is the desired pullback-\({{\mathcal {D}}}_\delta \) bounded absorbing set for \(\{U(t,\tau )\}_{t\geqslant \tau }\) in E.
3 Pullback Attractors
In this section we prove that the process \(\{U(t,\tau )\}_{t\geqslant \tau }\) has a pullback-\({{\mathcal {D}}}_\delta \) attractor. To this end we first verify that the solutions of (2.1)–(2.2) have pullback-\({{\mathcal {D}}}_\delta \) asymptotic nullness.
Lemma 3.1
Assume that the conditions (F1)–(F4) hold. Then for every \(t\in {\mathbb {R}},\varepsilon >0\) and \({{\mathcal {D}}}=\{D(s):s\in {\mathbb {R}}\}\in {{\mathcal {D}}}_\delta \), there exist two numbers \(N_*=N_*(t,\varepsilon ,{{\mathcal {D}}})\in {\mathbb {N}}\) and \(\tau _*=\tau _*(t,\varepsilon ,{{\mathcal {D}}})\leqslant t\) such that
Proof
Define a smooth function \(\chi (x)\in {{\mathcal {C}}}^{1}(\mathbf{{\mathbb {R}}}_+,[0,1])\) satisfying
Assume \({{\mathcal {D}}}=\{D(s):s\in {\mathbb {R}}\}\in {{\mathcal {D}}}_\delta \) and that
is a solution of (2.1)–(2.2) associated with the initial value \(u_\tau \in D(\tau )\) for \(t\geqslant \tau \). Let
where N is a positive integer which will be decided later. For the sake of simplicity, we set
Taking the imaginary part of the inner product \((\cdot ,\cdot )\) of (2.1) with v in \(\ell ^2\), we obtain
By the definitions of A and \(\chi \), one has
It is easy to see that
By Lemmas 2.3 and 2.5, we know that there exists \(\tau _1=\tau _1(t,{{\mathcal {D}}})\leqslant t\) such that
Thus it follows from (3.2) and (3.3) that if \(\tau \leqslant \tau _1\), then
where \(l\geqslant 1\) is a positive integer. By virtue of assumption (F2), one finds that
where \(K_{2,\chi }=(\sum _{n\in {\mathbb {Z}}}\chi _n k_{2,n}^2)^{1/2}\). Note that
Combining (3.4)–(3.6) and (3.1), we know that if \(\tau \leqslant \tau _1\),
where \(\delta \) is the number given in Lemma 2.3. Now let \(t\in {\mathbb {R}}\) and \(\varepsilon >0\) be arbitrary given numbers. Since \(\sum _{m=1}^\infty |J(m)|<\infty \), we deduce from the definition of \(\rho _\delta (t)\) that there exists \(N_1=N_1(\varepsilon ,t)\) such that
Moreover, using the fact that \(\sum _{n\in {\mathbb {Z}}}k_{2,n}^2<\infty \), one can pick \(N_2=N_2(t,\varepsilon )\) with \(N_2\geqslant N_1\) so that
Thus we conclude from (3.7) to (3.9) that for \(N\geqslant N_2\) and \(\tau \leqslant \tau _1\),
Applying Gronwall inequality to (3.10), it yields
provided \(\tau \leqslant \tau _1\) and \(N\geqslant N_2\). Noticing that for the given \(t\in {\mathbb {R}}\), one can deduce from (F4) that there exists positive constant \(K_t\) (depending on t) satisfying
from which it can be seen that there exists \(N_3=N_3(\varepsilon ,t)\in {\mathbb {N}}\) such that
Because \(u_\tau \in D(\tau )\) and \({{\mathcal {D}}}=\{D(s):s\in {\mathbb {R}}\}\in {{\mathcal {D}}}_\delta \), we easily see from the construction of \({{\mathcal {D}}}_\delta \) that there is \(\tau _*=\tau (\varepsilon ,t,{{\mathcal {D}}})\) with \(\tau _*\leqslant \tau _1\) so that
Set \(N_*=\max \{N_2,N_3\}\). Then we conclude from (3.11)-(3.13) that if \(N\geqslant N_*\) and \(\tau \leqslant \tau _*\),
The proof of Lemma 3.1 is complete. \(\square \)
By virtue of Lemmas 2.5, 3.1 and [41, Theorem 2.1], we obtain the following main result.
Theorem 3.2
Assume the conditions (F1)–(F4) hold. Then the family of continuous processes \(\{U(t,\tau )\}_{t\geqslant \tau }\) corresponding to Eqs. (2.1)–(2.2) possesses a pullback-\({{\mathcal {D}}}_\delta \) attractor \({\mathcal {A}}_{{{\mathcal {D}}}_\delta }=\{{{\mathcal {A}}}_{{{\mathcal {D}}}_{\delta }}(t):t\in {\mathbb {R}}\}\) so that
-
(i)
Compactness: \({{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t)\) is a nonempty compact subset of E for every \(t\in {\mathbb {R}}\);
-
(ii)
Invariance: \(U(t,\tau ){{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(s)={{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t)\) for \(t\geqslant s\);
-
(iii)
Pullback attracting: \({{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }\) is pullback-\({{\mathcal {D}}}_\delta \) attracting in the following sense that
$$\begin{aligned} \!\!\!\! \lim _{\tau \rightarrow -\infty }\textrm{dist}_E(U(t,\tau )D(\tau ),{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t))=0,\quad \forall {{\mathcal {D}}}=\{D(s):s\in {\mathbb {R}}\}\in {{\mathcal {D}}}_\delta ,\quad t\in {\mathbb {R}}. \end{aligned}$$
4 Invariant Measures on the Pullback Attractor
In this section we prove the existence of a unique family of invariant Borel probability measures for the process \(\{U(t,\tau )\}_{t\geqslant \tau }\) in E generated by equations (2.1)–(2.2). We first recall two basic definitions.
Definition 4.1
[10] A generalized Banach limit is any functional, which we denoted by \(\mathop {\textrm{LIM}}\limits _{T\rightarrow +\infty }\), defined on the space of all bounded real-valued functions on \([0,+\infty )\) that satisfies
-
(i)
\(\mathop {\textrm{LIM}}\limits _{T\rightarrow +\infty }\psi (T)\geqslant 0\) for nonnegative functions \(\psi \);
-
(ii)
\(\mathop {\textrm{LIM}}\limits _{T\rightarrow +\infty }\psi (T)=\lim \limits _{T\rightarrow +\infty }\psi (T)\) if the usual limit \(\lim \limits _{T\rightarrow +\infty }\psi (T)\) exists.
Definition 4.2
[24] A process \(\{U(t,\tau )\}_{t\geqslant \tau }\) on a metric space X is called \(\tau \)-continuous, if for each \(x_0\in X\) and each \(t\in {\mathbb {R}}\), the X-valued function \(\tau \mapsto U(t,\tau )x_0\) is continuous and bounded on \((-\infty , t]\).
Remark 4.3
Note that we study the pullback asymptotic behavior of (2.1)–(2.2) and we require the generalized limit as \(\tau \rightarrow -\infty \). Thus for a real-valued function \(\psi \) defined on the interval \((-\infty ,0]\) and a Banach limit \(\mathop {\textrm{LIM}}\limits _{T\rightarrow +\infty }\), we define
In the following we establish the existence of a unique family of invariant Borel probability measures corresponding to the process \(\{U(t,\tau )\}_{t\geqslant \tau }\) in E. By Łukaszewicz and Robinson [24, Theorem 3.1], we need to show the \(\tau \)-continuous property of \(\{U(t,\tau )\}_{t\geqslant \tau }\).
Lemma 4.4
Assume that \(u^{(1)}(t)\) and \(u^{(2)}(t)\) are two solutions of the system (2.1)–(2.2) with initial values \(u_{\tau }^{(1)}\) and \(u_{\tau }^{(2)}\), respectively. Then
Proof
Assume that \(u^{(i)}(t)\) are two solutions of (2.1)–(2.2) with initial values \(u^{(i)}_\tau \in E\) for \(i=1,2\). Let
Then
Taking the imaginary part of the inner product \((\cdot ,\cdot )\) of (4.1) with w in \(\ell ^2\) gives that
By (F1), we see that
Thus it follows from (2.10), (4.1) and (4.2) that
Applying Gronwall inequality to (4.4), we obtain
which completes the proof of this lemma. \(\square \)
Lemma 4.5
Assume that the assumptions (F1)–(F4) hold. Then for every fixed \(u_*\in E\) and \(t\in {\mathbb {R}}\), the E-valued function \(\tau \rightarrow U(t,\tau )u_*\) is continuous and bounded on \((-\infty ,t]\).
Proof
Given \(u_*\in E\) and \(t\in {\mathbb {R}}\). In what follows we shall show that for every \(\varepsilon >0\) and \(s\leqslant t\), there is \(\epsilon >0\) so that if \(r\in (-\infty ,t]\) with \(|r-s|<\epsilon \),
Without loss of generality we assume that \(r<s\). Set
By virtue of Lemma 4.4 and the property of the process \(\{U(t,\tau )\}_{t\geqslant \tau }\), we obtain
Thus one can immediately conclude from (4.5) that if \(|r-s|\) is sufficiently small, right hand side of (4.5) is as small as need. This shows that the E-valued function \(\tau \rightarrow U(t,\tau )u_*\) is continuous with respect to \(\tau \in (-\infty ,t]\).
Now let us check that the E-valued function \(\tau \rightarrow U(t,\tau )u_*\) is bounded on \((-\infty ,t]\). Assume that \(u_*\) and \(t\in {\mathbb {R}}\) are given as above. Observing that \(u_\tau \in D(\tau )\), one can easily deduce from Lemma 2.3 and the assumption (F4) that
Because the E-valued function \(\tau \rightarrow U(t,\tau )u_*\) is continuous on \((-\infty ,t]\) in E, we conclude from (4.6) that the E-valued function \(\tau \rightarrow U(t,\tau )u_*\) is bounded on \((-\infty ,t]\). The proof is complete. \(\square \)
Thanks to Lemma 4.5, Theorem 3.2 and [24, Theorem 3.1], we have the following main result.
Theorem 4.6
Let the assumptions (F1)–(F4) hold. Assume that \(\{U(t,\tau )\}_{t\geqslant \tau }\) is the process generated by the system (2.1)–(2.2) and that \({{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }=\{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t):t\in {\mathbb {R}}\}\) is the pullback-\({{\mathcal {D}}}_\delta \) attractor obtained by Theorem 3.2. Fix a generalised Banach limit \(\textrm{LIM}_{T\rightarrow +\infty }\) and let \(\varphi (\cdot ):{\mathbb {R}}\mapsto E\) be a continuous map satisfying \(\varphi (\cdot )\in {{\mathcal {D}}}_{\delta }\). Then there exists a unique family of Borel probability measures \(\{\mu _t\}_{t\in {\mathbb {R}}}\) in E so that the support of the measure \(\mu _t\) is contained in \({{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t)\) and
for every real-value continuous functional \(\phi \) on E. Moreover, \(\mu _t\) is invariant in the sense that
Furthermore, if \(\Phi \) is a real-valued continuous and bounded functional on E, then
5 Statistical Solutions
In this section we further verify that the invariant measure \(\{\mu _t\}_{t\in {\mathbb {R}}}\) given in Theorem 4.6 is actually a statistical solution for (2.1)–(2.2). Let E be the Hilbert space introduced in Sect. 2 and \(E^*\) denote its dual. Let \(\langle \cdot ,\cdot \rangle \) denote the dual product between \(E^*\) and E.
For convenience, we also consider the following equivalent system:
where \(F(u,t)=iAu+if(u)-\gamma u-ig(t)\).
We begin with some basic definitions on statistical solutions; see [10] for details.
By \({{\mathcal {T}}}\) we denote the class of real-valued functionals \(\Psi \) on E that are bounded on any bounded subset of E and satisfy the following conditions.
-
(1)
For every \(u\in E\), the Fréchet derivative \(\Psi '(u)\) exists. Specifically, for each \(u\in E\), there is an element \(\Psi '(u)\in E^*\) satisfying
$$\begin{aligned} \frac{\Vert \Psi (u+h)-\Psi (u)-\langle \Psi '(u),h\rangle \Vert }{\Vert h\Vert }\rightarrow 0\quad \text{ as }\quad \Vert h\Vert \rightarrow 0,\quad h\in E; \end{aligned}$$ -
(2)
The mapping \(u\mapsto \Psi '(u)\) is continuous and bounded from E to \(E^*\). It is trivial to see that if \(\Psi \in {{\mathcal {T}}}\) and u(t) is a solution of equations (5.1)–(5.2),
$$\begin{aligned} \frac{\textrm{d}}{\textrm{d}t}\Psi (u(t))=\langle \Psi '(u(t)),F(u(t),t)\rangle . \end{aligned}$$(5.3)
Definition 5.1
Assume that \({{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }=\{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t):t\in {\mathbb {R}}\}\) is the pullback-\({{\mathcal {D}}}_\delta \) attractor obtained by Theorem 3.2. A family of Borel probability measures \(\nu _t\) is said to be a statistical solution for the system (5.1)–(5.2), if it satisfies
-
(i)
the function
$$\begin{aligned} t\mapsto \int _{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t)}\Psi (\varphi )\textrm{d}\nu _t(\varphi ) \end{aligned}$$is continuous on \([\tau ,+\infty )\) for every \(\Psi \in {{\mathcal {T}}}\);
-
(ii)
for almost every \(t\in [\tau ,+\infty )\), the function \(\varphi \mapsto \langle F(\varphi ,t),v\rangle \) is \(\nu _t\)-integral for each \(v\in E\), and the mapping
$$\begin{aligned} t\mapsto \int _{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t)}\langle F(\varphi ,t),v\rangle \textrm{d}\nu _t(\varphi ) \end{aligned}$$belongs to \(L_{\textrm{loc}}^1([\tau ,+\infty ))\) for any \(v\in E\);
-
(iii)
for every test function \(\Upsilon \) in \({{\mathcal {T}}}\), then it holds that
$$\begin{aligned}{} & {} \int _{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t)}\Upsilon (\varphi )\textrm{d}\nu _t(\varphi )-\int _{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(\tau )}\Upsilon (\varphi )\textrm{d}\nu _\tau (\varphi ) \\{} & {} = \int _\tau ^t\int _{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(\theta )}\langle \Upsilon '(\varphi ),F(\varphi ,\theta )\rangle \textrm{d}\mu _\theta (\varphi )\textrm{d}\theta \end{aligned}$$for all \(t\geqslant \tau \).
Theorem 5.2
Assume the conditions (F1)–(F4) hold. Then the family of invariant measures \(\{\mu _t\}_{t\in {\mathbb {R}}}\) obtained in Theorem 4.6 are statistical solutions of the system (5.1)–(5.2).
Proof
We prove that the family of invariant measures \(\{\mu _t\}_{t\in {\mathbb {R}}}\) obtained in Theorem 4.6 satisfy the conditions (i)–(iii) in Definition 5.1.
Let \({{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }=\{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t):t\in {\mathbb {R}}\}\) be the pullback-\({{\mathcal {D}}}_\delta \) attractor given by Theorem 3.2 and \(\Psi \in {{\mathcal {T}}}\). Let us first show that \(t\mapsto \int _{{{\mathcal {A}}}_{{{\mathcal {D}}}_\delta }(t)}\Psi (\varphi )\textrm{d}\nu _t(\varphi )\) is continuous on \([\tau ,+\infty )\) for \(\Psi \in {{\mathcal {T}}}\). Indeed, by the invariant property of \(\{\mu _t\}_{t\in {\mathbb {R}}}\), one can find that
Thus we deduce from the continuity of the process \(\{U(t,\tau )\}_{t\geqslant \tau }\) and the definition of \({{\mathcal {T}}}\) that the function
is continuous.
Secondly, for each fixed \(v\in E\), define
Then \(\Psi _1\) maps E to \({\mathbb {R}}\). We claim that \(\Psi _1\) is continuous. Assume that B is a bounded subset of E and that \(u_1,u_2\in B\). Then we see from the proof of Lemma 2.2 that
which implies that \(\Psi _1\) is continuous on E. Thus the function \(u\mapsto \langle F(u,t),v\rangle \) is \(\mu _t\)-integral for each \(v\in E\). Consequently, we deduce from the proof of the assertion (i) in Definition 5.1 that the mapping
belongs to \(L_{\textrm{loc}}^1([\tau ,\infty ))\) for every \(v\in E\).
Finally, it remains to prove that \(\{\mu _t\}_{t\in {\mathbb {R}}}\) satisfies (iii) in Definition 5.1. Let \(\Psi \in {{\mathcal {T}}}\) and \(t\geqslant \tau \). By (5.3) we see that
Let \(s<\tau \), \(u_0\in E\) and \(u(\theta )=U(\theta ,s)u_0\) for \(\theta \geqslant s\). Then it follows by (5.5) that
By (4.7), we find that
Noticing that
is independent of s, one deduces that
Thus we conclude from (5.7), (5.8) and the Fubini’s Theorem that
Using the properties of the process and \(\{\mu _t\}_{t\in {\mathbb {R}}}\) in Theorem 4.6, one can obtain
Because
is independent of s, one can see from (5.9) that
which justifies the validity of (iii) in Definition 5.1. \(\square \)
Remark 5.3
Although in this paper we study \(m\in {\mathbb {Z}}\) (corresponding to the spatial domain \({\mathbb {R}}\)) in equations (1.1)–(1.2), our main results on invariant measures and statistical solutions are still valid if \(m\in {\mathbb {Z}}^k\) for some positive integer \(k\geqslant 2\) (corresponding to the spatial domain \({\mathbb {R}}^k\)). The interested reader is referred to Remark 4.1 in [41] for details.
References
Alfimov, G.L., Kevrekidis, P.G., Konotop, V.V., Salerno, M.: Wannier functions analysis of the nonlinear Schrödinger equation with a periodic potential. Phys. Rev. E 66, 046608 (2002)
Bates, P.W., Zhang, C.: Traveling pulses for the Klein-Gordon equation on a lattice or continuum with long-range interaction. Discrete Contin. Dyn. Syst. 16(1), 253–277 (2006)
Bronzi, A.C., Mondaini, C.F., Rosa, R.M.S.: Trajectory statistical solutions for three-dimensional Navier–Stokes-like systems. SIAM J. Math. Anal. 46(3), 1893–1921 (2014)
Bronzi, A.C., Mondaini, C.F., Rosa, R.M.S.: Abstract framework for the theory of statistical solutions. J. Differ. Equ. 260, 8428–8484 (2016)
Chekroun, M., Glatt-Holtz, N.E.: Invariant measures for dissipative dynamical systems: abstract results and applications. Commun. Math. Phys. 316, 723–761 (2012)
Caraballo, T., Kloeden, P.E., Real, J.: Invariant measures and statistical solutions of the globally modified Navier–Stokes equations. Discrete Contin. Dyn. Syst.-B 10, 761–781 (2008)
Chebab, J.P., Dumont, S., Goubet, O., Moatassime, H., Abounouh, M.: Discrete Schrödinger equation and dissipative dynamical systems. Commun. Pure Appl. Anal. 7(2), 211–227 (2006)
Chen, T., Zhou, S., Zhao, C.: Attractors for discrete nonlinear Schrödinger equation with delay. Acta Math. Appl. Sin. Engl. Ser. 26(4), 633–642 (2010)
Erneux, T., Nicolis, G.: Propagating waves in discrete bistable reaction diffusion systems. Phys. D 67, 237–244 (1993)
Foias, C., Manley, O., Rosa, R., Temam, R.: Navier–Stokes Equations and Turbulence. Cambridge University Press, Cambridge (2001)
Hennig, D.: Existence and congruence of global attractors for damped and forced integrable and 458 nonintegrable discrete nonlinear Schrödinger equations. J. Dyn. Differ. Equ. 1–19 (2021). https://doi.org/10.1007/s10884-021-10104-3
Han, X., Kloeden, P.E.: Non-autonomous lattice systems with switching effects and delayed recovery. J. Differ. Equ. 261(6), 2986–3009 (2016)
He, Y., Li, C.Q., Wang, J.T.: Invariant measures and statistical solutions for the nonautonomous discrete modified Swift–Hohenberg equation. Bull. Malays. Math. Sci. Soc. 44, 3819–3837 (2021)
Ignat, I.L., Rossi, J.D.: Asymptotic behaviour for a nonlocal diffusion equation on a lattice. Z. Angew. Math. Phys. 59(5), 918–925 (2008)
Kevrekidis, P.G.: The Discrete Nonlinear Schrödinger Equation: Mathematical Analysis, Numerical Computations and Physical Perspectives, vol. 232. Springer (2009)
Keener, J.P.: Propagation and its failure in coupled systems of discrete excitable cells. SIAM J. Appl. Math. 47, 556–572 (1987)
Kevrekidis, P.G., Rasmussen, K., Bishop, A.R.: The discrete nonlinear Schrödinger equation: a survey of recent results. Int. J. Mod. Phys. B 15(21), 2833–2900 (2001)
Kloeden, P.E., Marín-Rubio, P., Real, J.: Equivalence of invariant measures and stationary statistical solutions for the autonomous globally modified Navier–Stokes equations. Commun. Pure Appl. Anal. 8, 785–802 (2009)
Kirkpatrick, K., Lenzmann, E., Staffilani, G.: On the continuum limit for discrete NLS with long-range lattice interactions. Commun. Math. Phys. 317, 563–591 (2013)
Karachalios, N.I., Yannacopoulos, A.N.: Global existence and compact attractors for the discrete nonlinear Schrödinger equation. J. Differ. Equ. 217(1), 88–123 (2005)
Łukaszewicz, G.: Pullback attractors and statistical solutions for 2-D Navier–Stokes equations. Discrete Contin. Dyn. Syst.-B 9, 643–659 (2008)
Li, C.Q., Wang, J.T.: On the forward dynamical behaviour of nonautonomous lattice dynamical systems. J. Differ. Equ. Appl. 27, 1052–1080 (2021)
Li, C.C., Li, C.Q., Wang, J.T.: Statistical solution and Liouville type theorem for coupled Schrödinger–Boussinesq equations on infinite lattices. Discrete Contin. Dyn. Syst.-B 27(10), 6173–6196 (2022)
Łukaszewicz, G., Robinson, J.C.: Invariant measures for nonautonomous dissipative dynamical systems. Discrete Contin. Dyn. Syst. 34(10), 4211–4222 (2014)
Łukaszewicz, G., Real, J., Robinson, J.C.: Invariant measures for dissipative dynamical systems and generalised Banach limits. J. Dyn. Differ. Equ. 23, 225–250 (2011)
Laskin, N., Zaslavsky, G.: Nonlinear fractional dynamics on a lattice with long range interactions. Physica A 368(1), 38–54 (2006)
Morsch, O., Oberthaler, M.: Dynamics of Bose–Einstein condensates in optical lattices. Rev. Mod. Phys. 78, 179 (2006)
Mingaleev, S.F., Christiansen, P.L., Gaididei, Yu.B., Johansson, M., Rasmussen, K.: Models for energy and charge transport and storage in biomolecules. J. Biol. Phys. 25, 41–63 (1999)
Peyrard, M.: Nonlinear dynamics and statistical physics of DNA. Nonlinearity 17, R1 (2004)
Pereira, J.M.: Global attractor for a generalized discrete nonlinear Schrödinger equation. Acta Appl. Math. 134(1), 173–183 (2014)
Pereira, J.M.: Pullback attractor for a nonlocal discrete nonlinear Schrödinger equation with delays. Electron. J. Qual. Theory Differ. Equ. 93, 1–18 (2021)
Pecora, L.M., Carroll, T.L.: Synchronization in chaotic systems. Phys. Rev. Lett. 64, 821–824 (1990)
Pacciani, P., Konotop, V.V., Perla Menzala, G.: On localized solutions of discrete nonlinear Schrödinger equation. An exact result. Phys. D. 204(1–2), 122–133 (2005)
Vekslerchik, V.E., Konotop, V.V.: Discrete nonlinear Schrödinger equation under nonvanishing boundary conditions. Inverse Prob. 8(6), 889 (1992)
Wang, X.: Upper-semicontinuity of stationary statistical properties of dissipative systems. Discrete Contin. Dyn. Syst. 23, 521–540 (2009)
Wu, S., Huang, J.H.: Invariant measure and statistical solutions for nonautonomous discrete Klein–Gordon–Schrödinger type equations. J. Appl. Anal. Comput. 10(4), 1516–1533 (2020)
Wang, J.T., Zhang, X., Zhao, C.: Statistical solutions for a nonautonomous modified Swift–Hohenberg equation. Math. Methods Appl. Sci. 44, 14502–14516 (2021)
Wang, C., Xue, G., Zhao, C.: Invariant Borel probability measures for discrete long-wave-short-wave resonance equations. Appl. Math. Comput. 339, 853–865 (2018)
Wang, J.T., Zhao, C., Caraballo, T.: Invariant measures for the 3D globally modified Navier–Stokes equations with unbounded variable delays. Commun. Nonlinear Sci. Numer. Simul. 91, 105459 (2020)
Zhao, C., Yang, L.: Pullback attractor and invariant measures for the globally modified Navier–Stokes equations. Commun. Math. Sci 15(6), 1565–1580 (2017)
Zhao, C., Xue, G., Łukaszewicz, G.: Pullback attractors and invariant measures for discrete Klein–Gordon–Schrödinger equations. Discrete Contin. Dyn. Syst.-B 23(9), 4021–4044 (2018)
Zhao, C., Caraballo, T.: Asymptotic regularity of trajectory attractor and trajectory statistical solution for the 3D globally modified Navier–Stokes equations. J. Differ. Equ. 266, 7205–7229 (2019)
Zhao, C., Li, Y., Łukaszewicz, G.: Statistical solution and partial degenerate regularity for the 2D non-autonomous magneto-micropolar fluids. Z. Angew. Math. Phys. 71, 1–24 (2020)
Zhao, C., Caraballo, T., Łukaszewicz, G.: Statistical solution and Liouville type theorem for the Klein–Gordon–Schrödinger equations. J. Differ. Equ. 281, 1–32 (2021)
Zhu, Z., Sang, Y., Zhao, C.: Pullback attractor and invariant measures for the discrete Zakharov equations. J. Appl. Anal. Comput. 9, 2333–2357 (2019)
Funding
This work is supported by Zhejiang Provincial Natural Science Foundation of China under Grant No. LQ22A010002 and by the Foundation of Department of Education of Zhejiang Province under Grant Y202248858.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Additional information
Communicated by Rosihan M. Ali.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Li, C., Li, C. Statistical Solution for the Nonlocal Discrete Nonlinear Schrödinger Equation. Bull. Malays. Math. Sci. Soc. 46, 106 (2023). https://doi.org/10.1007/s40840-023-01508-z
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40840-023-01508-z