Abstract
In this work, we examine first-order lattice dynamical systems, which are discretized versions of reaction–diffusion equations on the real line. We prove the existence of a global attractor in \(\ell ^2\), and using the method by Chueshov and Lasiecka (Dynamics of quasi-stable dissipative systems, Springer, Berlin, 2015; Memoirs of the American Mathematical Society, vol 195(912), AMS, 2008), we estimate its fractal dimension. We also show that the global attractor is contained in a finite-dimensional exponential attractor. The approach relies on the interplay between the discretized diffusion and reaction, which has not been exploited as yet for the lattice systems. Of separate interest is a characterization of positive definiteness of the discretized Schrödinger operator, which refers to the well-known Arendt and Batty’s result (Differ Int Equ 6:1009–1024, 1993).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The asymptotic behavior of nonlinear reaction–diffusion equations in unbounded domains has been investigated by many authors; see, e.g., [5,6,7, 16, 17, 27, 30] and references therein. A simple illustrative example is a scalar reaction–diffusion equation on the real line
which can be viewed as an archetype model for the first-order lattice systems. Taking an equi-spaced discretization of (1.1) in the space variable with a step \(h>0\) and letting \(\nu :=\frac{\mu }{h^2}>0\) lead to the first-order system of the form
which will be of our interest in this paper.
Such systems, involving infinite countable number of ordinary differential equations, were broadly studied under various assumptions on the nonlinear term. On the one hand, for a suitable cubic polynomial nonlinearity, traveling wave solutions were established in [36] (see also [12]). On the other hand, for (1.2) with the right-hand side of the form
where
the strong stability properties of the system in \(\ell ^2\) were established in [8], which involved in particular the concept of a global attractor developed in [7, 20, 22, 29].
A similar strong stability result was proved in [33] for a generalized lattice system and in [24] for a partly dissipative system with \(\lambda =\lambda _i\) and \({\mathcal F}={\mathcal F}_i\) in (1.3) satisfying a variant of (1.4) (cf. [33, p. 53] and [24, p. 162]; also [34, p. 366]). Specifically, finite fractal dimensionality of the global attractor was shown in [35] assuming, in particular, that
A nonautonomous case was considered separately in [32] with \(g_i\) in (1.3) depending on time and \(\lambda \), \({\mathcal F}\) as in (1.4), in which case a uniform attractor in \(\ell ^2\) was constructed for the associated family of processes. Invariant regions were additionally studied in [28].
In the further development of the theory, sufficient conditions for the existence of an exponential attractor were obtained. This was originated in [1], where such sufficient conditions were exhibited for the right-hand side (1.3) considered with \(\lambda =\lambda _i\) and \({\mathcal F}={\mathcal F}_i\) satisfying (1.5), and \({\mathcal F}_i\) being an odd-degree polynomial with nonnegative coefficients (see [1, p. 219]). In [19] an estimate of fractal dimension of exponential attractor for the lattice system was given, which in the similar vein involved the right-hand side as in (1.3) and (1.4) above.
The above-mentioned results were obtained in the standard spaces of summable sequences, which is the setting chosen in this paper as well. However, lattice systems were also considered in weighted spaces of sequences; see, e.g., [10, 21, 23, 31]. This is a distinct approach, since such phase spaces have different properties from the ones considered here. Specifically exponential attractors were studied in [21] and the right-hand side (1.3) was considered in such setting with \({\mathcal F}={\mathcal F}_i\) satisfying \({\mathcal F}_i(s)s\ge -b_i^2\) and \((g_i)\in \ell ^2_\rho \), \((b_i)\in \ell _\rho ^2\) for some suitable weight \(\rho \). We remark that therein \(\lambda =\lambda _i\) preserved the estimate as in (1.5) (cf. [21, p. 451]).
In this paper, we will consider attracting properties of the lattice system in the strong topology of phase spaces of summable sequences assuming dissipativity conditions under which it does not fall in general into the class of problems covered by the previous results (see Example 5.4 and Remark 5.5). Namely, our approach will be based on a cooperation between the discretized diffusion and the discretized reaction. Hence we assume for some \((m_i)\in \ell ^{\infty }\), \((d_i)\in \ell ^2\) the structure condition
requiring simultaneously that the solutions of the associated linear problem
are uniformly exponentially decaying as \(t\rightarrow \infty \).
Note that this is a counterpart of a dissipative mechanism already described in a large capacity for the space continuous models (see [5, 6, 11]). On the other hand, observe via examples below that this essentially generalizes dissipativity assumptions used in the presented literature for proving strong stability properties of (1.2) and in particular for the existence of global and exponential attractor in \(\ell ^2\) and estimating its fractal dimension. Our main goal will be to achieve these results based on the interplay between discretized diffusion and reaction.
A brief description of the contents of the paper is as follows. In Sect. 2 we include various technicalities concerning the discretized diffusion operator and review the existence of local solutions. In Sect. 3 we construct the semigroup of global solutions following a suitable structure condition on the nonlinear term mentioned above in (1.6). In Sect. 4 the structure condition combined with the decaying properties of (1.7) described in terms of positive definiteness of the discretized Schrödinger operator will constitute a general framework for the existence of a global attractor. A discussion concerning broader applicability of such approach is given in Sect. 5. In Sect. 6, we will then estimate from above fractal dimension of the attractor using the method developed by Chueshov and Lasiecka [13, 14]. Furthermore, in Sect. 7, we prove the existence of a finite dimensional exponential attractor, which contains the global attractor.
Some crucial tools used in the main body of the paper have been included in “Appendix”. Of separate interest therein is a characterization of positive definiteness of the discretized Schrödinger operator, which refers to the well-known Arendt and Batty’s result [4]. This allows us, in particular, to exhibit variety of sequences \((m_i)\) which can enter conditions (1.6) and (1.7) and thus be admissible in our approach. Namely, a nonnegative \((-m_i)\in \ell ^\infty \) moves to the right spectrum of the operator given by the linear main part in (1.2) if and only if for some \(C>0\) and \(N\in \mathbb {N}\)
or, equivalently, \(-\sum _{i\in G}m_i=\infty \) for each set \(G\subset \mathbb {Z}\) possessing the property that, given any \(n\in \mathbb {N}\),
(see Theorem A.3 of “Appendix”). We emphasize that for the right-hand side as in (1.3) satisfying (1.4) or (1.5) we can simply take \(m_i=-\lambda <0\) or \(m_i=-\lambda _i\le -\lambda _0<0\) for which these criteria apply immediately. An example of an admissible sequence \((m_i)\) such that \(m_{i}\) is nonzero only on some rarely distributed in \(\mathbb {Z}\) subset of indices i is constructed in Remark 5.2. Moreover, some sequences with infinitely many positive terms are admissible (for details, see again Remark 5.2).
Our results are, nonetheless, much more involved. Specifically Sect. 5.2 exhibits several nonlinearities for which proposed dissipative mechanism applies, which in turn generalizes previous considerations concerning global and exponential attractors for lattice dynamical systems in spaces of summable sequence. For example, following Corollary 5.8, our approach applies to
if there is a decomposition
with \((m_i)\) as in (1.8) and
where
and coefficients \(a(\rho _j)_i\), \(i\in \mathbb {Z}\), with \(1\le j<\kappa \) can have unspecified sign provided that \( \sum _{i\in \mathbb {Z}} {|a(\rho _j)_i|^\frac{2\rho _\kappa }{\rho _\kappa -\rho _j}}{|a(\rho _\kappa )_i|^{-\frac{2\rho _j}{\rho _\kappa -\rho _j}}}<\infty . \)
We finally remark that the main results rely on the estimates of solutions in \(\ell ^2\) and therefore the existence of attractor is established in \(\ell ^2\). Nevertheless, due to embedding properties of the scale (see (6.20)), the attractor is compact in \(\ell ^p\) for any \(p\in [2,\infty ]\). Also the semigroup on the attractor is Lipschitz with values in \(\ell ^p\), \(p\in [2,\infty ]\). Hence fractal dimension of the attractor is finite in \(\ell ^p\) and the estimate from above established in the Hilbert setting extends respectively (see Corollaries 6.7 and 6.10).
2 Notation and local existence result
We will use the Banach spaces
with the norms \(\left\| u\right\| _{p}=\left( \sum _{i\in \mathbb {Z}}\left| u_i\right| ^{p}\right) ^{\frac{1}{p}}\) and \(\left\| u\right\| _{\infty }=\sup _{i\in \mathbb {Z}}\left| u_i\right| \), respectively. In case \(p=2\) the space \(\ell ^2\) is a Hilbert space with the inner product
and the norm
We also remark that \(\left\| u\right\| _{\infty }\le \left\| u\right\| _{p}\) for \(u\in \ell ^{p}\) and that, given \(v\in \ell ^{\infty }\) and \(u\in \ell ^{p}\), we write \(vu\in \ell ^{p}\) to denote the sequence
In the \(\ell ^{p}\) spaces we will use isometries \(\tau , \tau ^{*}\),
to define a linear operator
Lemma 2.1
A in (2.1) satisfies for every \(p\in [1,\infty ]\)
where \(B, B^{*}:\ell ^{p}\rightarrow \ell ^{p}\) are given by
Also,
Proof
Using \(\tau \tau ^*=\tau ^*\tau =\text {id}\), we get (2.2), whereas estimates (2.4) follow easily.\(\square \)
In what follows, we will view (1.2) in the abstract form
where
and
Observe that if
then the map F takes \(\ell ^{p}\) into \(\ell ^{p}\) and is Lipschitz continuous on bounded sets. Indeed, given a ball \(\mathcal B=\{u\in \ell ^{p}:\left\| u\right\| _{p}\le R\}\) and using the mean value theorem with \(\theta _i\in [0,1]\), we have for \(u,v\in \mathcal B\) that
because \(|\theta _i u_i+(1-\theta _i)v_i|\le \theta _i\left\| u\right\| _{p}+(1-\theta _i)\left\| v\right\| _{p}\le R\).
Due to the properties of A and F, the general theory of abstract differential equations leads to the existence result as stated below.
Proposition 2.2
Given \(p\in [1,\infty ]\) we assume (2.6) and (2.7). Then for any \(u^{0}\in \ell ^{p}\) there exists a unique solution \(u\in C^{1}([0,t_\mathrm{{max}}(u^0)),\ell ^{p})\) of (2.5) defined on the maximal interval of existence \([0,t_\mathrm{{max}}(u^0))\) and \(\lim _{t\rightarrow t_\mathrm{{max}}(u^0)}\left\| u(t;u^0)\right\| _{p}=\infty \) unless \(t_\mathrm{{max}}(u^0)=\infty \).
Remark 2.3
Besides the \(\ell ^p\) setting as above, in the following sections, we will rely on the estimates of the solution in \(\ell ^2\). Hence we observe that \(A:\ell ^2\rightarrow \ell ^2\) is a self-adjoint nonnegative definite operator with spectrum in \([0,\infty )\). Indeed, since
using this and (2.2) we get
and we also obtain in a similar manner that \((Au,v)=(u,Av)\), \(u,v\in \ell ^2\).
3 Global existence
We now restrict our considerations to the Hilbert case \(p=2\). Therefore, we assume that the nonlinearity satisfies (2.7) and
The aim of the section is to show that the solutions in \(\ell ^2\) exist globally in time, i.e., \(t_\mathrm{{max}}(u^{0})=\infty \) for any \(u^{0}\in \ell ^{2}\). To this end, we introduce the structure condition for the nonlinearity
Note that it is implicit in (3.2) that \(d_i\ge 0\) for \(i\in \mathbb {Z}\).
The global existence of solutions of (2.5) is a consequence of the following lemma.
Lemma 3.1
For any \(u^{0}\in \ell ^{2}\), there exists a constant \(C=C(\left\| u^{0}\right\| )\ge 0\) such that
Hence we obtain \(t_\mathrm{{max}}(u_0)=\infty \).
Proof
We take the inner product of the first equation in (2.5) with u in \(\ell ^2\) and get
Since
we obtain by the nonnegativity of A
By the Gronwall inequality, we get (3.3). \(\square \)
Therefore we define on \(\ell ^{2}\) the semigroup \(\{S(t):t\ge 0\}\) of global solutions of (2.5) by
This is a \(C^{0}\) semigroup in the sense that
Remark 3.2
Note that if maps in (2.7) satisfy
then (3.2) holds with \(d_i=0\) for \(i\in \mathbb {Z}\), but the condition (3.2) is much more flexible than (3.6) (see Remarks 5.6, 5.7).
4 Dissipativity and global attractor
In this section for the semigroup of global solutions in \(\ell ^{2}\), we prove the existence of a bounded absorbing set and establish asymptotic compactness. As mentioned in the introduction our approach will be based on a cooperation between the discretized diffusion and the discretized reaction terms. To this end, simultaneously with (3.2), we require for the linear problem
that the linear semigroup \(e^{(-A+m)t}\) on \(\ell ^2\) generated by \(-A+m\) is uniformly exponentially stable ([18, Definition I.3.11]). This is equivalent to the requirement that the spectrum of the self-adjoint operator \(A-m\) in \(\ell ^2\) is positive
This also means that the operator \(A-m\) is positive definite, i.e., there exists a positive constant \(\alpha _0>0\) such that
To find suitable estimates of solutions observe that with the above-mentioned assumptions, the nonlinear term after taking a product with u cannot be dropped, which would be the case for the right-hand side as in (1.3) and (1.4). Differently than in Sect. 3 the linear main part after taking a product with u cannot be dropped either. Actually, both the discretized diffusion and discretized reaction must intervene to produce desired dissipativity and asymptotic compactness effects.
Theorem 4.1
Assume (2.7), (3.1), (3.2) and (4.2). Given any \(M>0\) satisfying
for each bounded subset \(\mathcal B\) of \(\ell ^2\) there exists \(T_{\mathcal B}\ge 0\) such that
Moreover, if \(u^{0}\in \mathcal B_0=\{u\in \ell ^{2}:\left\| u\right\| \le M\}\), then \(u(t;u^{0})\in \mathcal B_0\) for all \(t\ge 0\).
Proof
We return to (3.4) and get
By assumption (4.2) and the Cauchy inequality, we get
and by the Gronwall inequality we get the result. \(\square \)
Now we use the idea of [8, Lemma 2.3] (cf. also [24]) to estimate the tail ends of solutions. Since our assumptions are different from the ones used in the mentioned references we proceed with the direct proofs of the two lemmas below. Then standard argument will ensure the asymptotic compactness used in Theorem 4.4.
Let \(\theta :[0,\infty )\rightarrow [0,1]\) be a \(C^1\) functionFootnote 1 such that
and \(\left| \theta '(s)\right| \le 2\) for \(s\ge 0\). We fix \(k\in \mathbb {N}\) and consider a sequence \(\eta _{k}\in \ell ^{\infty }\) given by \((\eta _{k})_i=\theta \left( \frac{\left| i\right| }{k}\right) \), \(i\in \mathbb {Z}\).
Lemma 4.2
For any \(u\in \ell ^{2}\), we have
where B is as in Lemma 2.1 and
Proof
Using the formula
we get
and
Thus
Note that
We have by the Cauchy–Schwarz inequality
which ends the proof. \(\square \)
Lemma 4.3
Suppose that the assumptions of Theorem 4.1 hold. Given \(\varepsilon >0\) there exist \(k_{\varepsilon }\in \mathbb {N}\) and \(T_{\varepsilon }>0\) such that for any \(t\ge T_{\varepsilon }\) and any \(u^{0}\) in a bounded positively invariant absorbing set \(\mathcal B_0\) from Theorem 4.1, we have
Proof
Taking the inner product of the first equation in (2.5) with \(\eta _k^2 u\) in \(\ell ^2\), we get
Note that by (2.9) and Lemma 4.2
whereas by the structure condition (3.2) and the fact that \(\eta _{k}^{2}\le \eta _{k}\), we get
Since (4.2) holds with \(\alpha _0>0\), using in the last term the Cauchy inequality with \(\alpha _0\), we obtain
Combining (4.5), (4.6) and the assumption (4.2) with (4.4), we obtain for \(k\in \mathbb {N}\)
Fix \(\varepsilon >0\) and let \(I_{\varepsilon }\in \mathbb {N}\) be such that
where \(M>0\) is as in Theorem 4.1. For any \(t>0\) and \(u^{0}\in \mathcal B_0\), we have \(u(t;u^{0})\in \mathcal B_0\) and
Applying the Gronwall inequality, we get the claim with \(k_{\varepsilon }=2I_{\varepsilon }\). \(\square \)
Theorem 4.4
Under the assumptions (2.7), (3.1), (3.2) and (4.2), the system (1.2) generates a semigroup \(\{S(t):t\ge 0\}\) on \(\ell ^{2}\) possessing a global attractor \(\mathcal A\), that is, a nonempty compact subset of \(\ell ^2\), invariant under the semigroup, and such that for any bounded subset \(\mathcal B\) of \(\ell ^2\)
Proof
Since by Theorem 4.1 the semigroup is bounded dissipative, it suffices to show that it is asymptotically compact (see [22]). With Theorem 4.1 and Lemma 4.3, the proof of asymptotic compactness is standard, and hence, it will be omitted (for details see, e.g., [8, pp. 147-148] or [24, proof of Lemma 3.3]). \(\square \)
5 Remarks concerning dissipative mechanism
In this section, we make a few remarks on the assumptions (3.2) and (4.2) which are at the core of the dissipative mechanism.
5.1 Bottom spectrum of discretized Schrödinger operator
Recall that the spectrum of the operator
is contained in \([0,\infty )\) (see Remark 2.3) and observe that if, for example, the sequence m is a negative constant as in [8, 35], that is,
then (4.2) is satisfied and Theorem 4.4 applies.
To show a broader applicability of Theorem 4.4, it is crucial to give a characterization of the sequences which move the spectrum of the operator A to the right. The result below is a consequence of Theorem A.3 proved in “Appendix” by modifying Arendt and Batty’s [4, Theorem 1.2].
Proposition 5.1
A necessary and sufficient condition for \(0\le -m\in \ell ^{\infty }\) to satisfy (4.1) is that \(-\sum _{i\in G}m_i=\infty \) for each set \(G\subset \mathbb {Z}\) possessing the property that, given any \(n\in \mathbb {N}\),
Hence observe that in (3.2) and (4.1), we can actually have sequences \(m\in \ell ^{\infty }\) with infinitely many positive terms (see Remark 5.2). Consequently, our argument for the existence of the global attractor for (1.2) essentially generalizes [8, 35] (see Corollary 5.3, Remarks 5.6, 5.7 and Corollary 5.8).
Remark 5.2
(i) One can construct a nonconstant \(0\le -m\in \ell ^{\infty }\) satisfying the condition in Proposition 5.1. Indeed, for a fixed \(r>0\) and \(n\in \mathbb {N}\), choose an integer \(0\le k<n\) and define
Denote by \(m=m_{r,k,n}\in \ell ^{\infty }\) the periodic extension of \(\widetilde{m}_{r,k,n}\) to \(\mathbb {Z}\). Then, given \(G\in \mathcal G\) as in Definition A.1 and an integer \(p\ge 1\), the interval \((j_{pn}-pn,j_{pn}+pn)\) contains \(2p-1\) intervals of length n having the form \([ln,ln+n)\) for some integer l and, since \(m_i=-r\) for \(i\in [ln,ln+k+1)\subset [ln,ln+n)\),
Observe that, due to Proposition 5.1, \(m=m_{r,k,n}\) satisfies (4.1) and thus also (4.2) with some \(\alpha _0>0\). Furthermore, number of zeros between nonzero components of \(m=m_{r,k,n}\) equals \(n-k-1\), and therefore, it can be as large as we intend.
The property that \(-\sum _{i\in G}m_i=\infty \) for any \(G\in \mathcal G\), and hence (4.1), will also hold for \(m=\chi _N m_{r,k,n}\), where
and N is an arbitrarily large positive integer.
(ii) Given \(m\in \ell ^{\infty }\) and \(\alpha _0>0\) as in (4.2) observe further that if \(\hat{m}\in \ell ^{\infty }\) is any sequence with \(\left\| \hat{m}\right\| _{\infty }<\alpha _0\), then \((Au,u)-((m+\hat{m})u,u)\ge (\alpha _0-\left\| \hat{m}\right\| _{\infty })\left\| u\right\| ^{2}\) for all \(u\in \ell ^{2}\). In particular, if zero components of the sequence m from (i), which satisfies (4.1), are replaced by a positive number less than \(\alpha _0\), then the resulting sequence will still maintain (4.1).
5.2 Sample nonlinearities
Let us now make a few remarks concerning nonlinearities for which a general mechanism described in the previous section applies. To proceed observe that \(C^1\) maps \(f_i:\mathbb {R}\rightarrow \mathbb {R}\), \(i\in \mathbb {Z}\), with
can be written as
for some \(\lambda _i\in \mathbb {R}\), \(i\in \mathbb {Z}\), and functions \(h_i:\mathbb {R}\rightarrow \mathbb {R}\) of the class \(C^1\) satisfying \(h_i(0)=0\).
A simple application of Theorem 4.4 is given in the corollary below in a situation when \((\lambda _i)\) moves spectrum of A to the right.
Corollary 5.3
If
with \(m=(m_i)\in \ell ^{\infty }\) as in (4.2), \(g=(g_i)\in \ell ^2\), and if \(h_i\) from (5.2) satisfy
and
then the semigroup \(\{S(t):t\ge 0\}\) on \(\ell ^{2}\) generated by (1.2) has a global attractor \(\mathcal A\).
Proof
All assumptions of Theorem 4.4, including the structure and spectral conditions (3.2) and (4.2), are satisfied. \(\square \)
Example 5.4
We present an illustrative example of a lattice dynamical system, which is a special case of problems considered in Corollary 5.3.
For arbitrarily chosen \(r>0\), \(n\in \mathbb {N}\) and \(N\in \mathbb {N}\) let \(\overline{m}=\chi _{N}m_{r,0,n}\in \ell ^{\infty }\) be the sequence defined in Remark 5.2 (i). Therefore, letting
we see that
and by Proposition 5.1 there exists \(\alpha >0\) such that
Let
and set \(m=\overline{m}+\widehat{m}\); hence \(m=(m_i)\in \ell ^{\infty }\) is given by
and we have (4.2) for \(\alpha _0=\frac{\alpha }{2}>0\), that is,
We emphasize that the sequence \(m=(m_i)\) has positive values except for the indices i being integer multiples of n, which have modulus larger than N.
Now we fix arbitrary sequences \(a=(a_i)\in \ell ^{6}\) and \(g=(g_i)\in \ell ^2\) and define
to consider the corresponding nonlinear system
Then the assumptions of Corollary 5.3 are satisfied with \(\lambda _i=m_i\) given in (5.3), h as in (5.4) and g fixed above. Note that condition \(sh_i(s)\le d_i |s|\) therein is satisfied for \(s\in \mathbb {R}\) with \(d=(d_i)\in \ell ^2\) given by
because using Young’s inequality, we get
Thus (5.5) generates a semigroup \(\{S(t):t\ge 0\}\) on \(\ell ^2\), which has a global attractor \(\mathcal A\) in \(\ell ^2\).
Remark 5.5
Concerning Example 5.4 observe that it essentially enlarges admissible in the references right-hand sides. In particular, (5.5) cannot be handled as a problem with a right-hand side of the form \(-\lambda _i u_i - {\mathcal F}_i(u_i) + g^0_i\) satisfying (1.5); nor even satisfying \(\lambda _i>0\) and \({\mathcal F}_i(s)s\ge -b_i^2\) for all \(i\in \mathbb {Z}\) and \(s\in \mathbb {R}\) (see [21, Section 3.1]). Indeed, supposing the latter was true one would have
For \(i\in Z_{nN}\) this would yield by (5.3), (5.4) that
which is absurd for large \(\left| s\right| \).
We now remark that our approach also applies to nonlinearities (5.2) with sequences \((\lambda _i)\), which may not shift the spectrum of the operator A to the right.
Remark 5.6
(i) If \(h_i\) from (5.2) satisfies
and if there is a decomposition
with m as in (4.1), then (3.2) will be satisfied with \(d_i= {\hat{d}}_i + b_i^{-\frac{1}{\rho -1}} |c_i|^{\frac{\rho }{\rho -1}}\), \(i\in \mathbb {Z}\), provided that
as a consequence of Young’s inequality.
(ii) Hence c in part (i) above not only is allowed to have components \(c_i\) with oscillating sign but also, taking into consideration the convergence of the series in (5.8), the sequence c can have modes \(c_i\) with \(|i|\le N\) as large as we intend to choose. Consequently, we can handle nonlinearities \(f_i\) satisfying (5.1)–(5.7) with any values of \(\lambda _i\), \(\left| i\right| \le N\), for any fixed \(N\in \mathbb {N}\).
Remark 5.7
Continuously differentiable maps \(h_i:\mathbb {R}\rightarrow \mathbb {R}\) satisfying (5.6) are, for example, of the form
where
and coefficients \(a(\rho _j)_i\), \(i\in \mathbb {Z}\), with \(1\le j<\kappa \) can have unspecified sign provided that
[(5.11) not needed if \(\kappa =1\)]. Then (5.6) holds with \(\rho =\rho _{\kappa }\) and
(and \(\varepsilon =0\) if \(\kappa =1\)). Joining (5.1), (5.2), (5.7) and (5.9), we also see that (2.7) holds with
The following corollary, which builds upon Remarks 5.6 and 5.7, shows a broader applicability of Theorem 4.4.
Corollary 5.8
Let \(g=(g_i)\in \ell ^{2}\) and suppose that nonlinearities are of the form \(f_{i}(s)=\lambda _i s + h_i(s)\), \(s\in \mathbb {R}\), \(i\in \mathbb {Z}\), where \(h_i\) are given by (5.9), (5.10), and (5.11). Assume also that \(\lambda _i=m_i + c_i\), \(i\in \mathbb {Z}\), with \(m=(m_i)\in \ell ^{\infty }\) and \(c=(c_i)\in \ell ^{\infty }\) such that (4.1) holds and
Then the semigroup \(\{S(t):t\ge 0\}\) generated by (1.2) on \(\ell ^{2}\) possesses a global attractor \(\mathcal A\).
6 Estimate of fractal dimension of attractor
Assuming additionally to (2.7) and (3.2) that
we will now prove that the attractor in Theorem 4.4 has finite fractal dimension.
Remark 6.1
(i) Assumption (6.1) typically holds if
(ii) For nonlinearities of the form (5.2), the condition (6.1) reads
and holds, in particular, for \(h_i\) given in (5.9).
Theorem 6.2
Besides the assumptions of Theorem 4.4, that is (2.7), (3.1), (3.2) and (4.2), assume also (6.1). Then the fractal dimension of the global attractor \(\mathcal A\) in Theorem 4.4 is finite and its estimate from above is given by (6.4) and (6.19).
The proof of Theorem 6.2 will follow in a sequence of lemmas. This includes, in particular, the estimate of \(dim_f(\mathcal A)\) in \(\ell ^2\) given in (6.4) and (6.19) (or (6.10)).
Lemma 6.3
Under the assumptions of Theorem 4.4, let \(\{S(t):t\ge 0\}\) be the \(C^0\) semigroup in \(\ell ^2\) (see (3.5)) with the global attractor \(\mathcal A\) considered therein. If, given any \(u^0,v^0\in \mathcal A\), inequalities
and
hold with some constants \(\kappa >0\), \(\eta \in [0,1)\), \(k\in \mathbb {N}\), \(T_2>T_1\ge 0\) and \(D>0\), then the fractal dimension of \(\mathcal A\) in \(\ell ^2\) is finite. Actually, setting \(Z=C^{1}([T_1,T_2];\ell ^2)\) with the norm \(\left\| z\right\| _{Z}=\sup _{t\in [T_1,T_2]}\left\| z(t)\right\| +\sup _{t\in [T_1,T_2]}\left\| z'(t)\right\| \), we have
where \({\mathfrak m}_{\mathcal B_{\eta }}\) is the maximal number of \(z^j\) in \(\mathcal B_\eta :=\{z \in Z:\left\| z\right\| _{Z}\le \frac{4D^\frac{1}{2}\kappa }{1-\eta } \}\) possessing the property that
Proof
Note that by the Arzela–Ascoli theorem, the seminorm
is compact on \(Z=C^{1}([T_1,T_2];\ell ^2)\). Thus we apply Proposition B.1 specifying therein \(V=S(T_2)\), \({\mathbb M}={\mathcal A}\), \(X=\ell ^2\),
and \(\delta =\frac{1-\eta }{2}\). \(\square \)
Lemma 6.4
If \(f_{i}\in C^{1}(\mathbb {R},\mathbb {R})\), \(i\in \mathbb {Z}\), satisfy (3.2), (5.1) and (6.1), then for each \(\varepsilon >0\) there exists an integer \(k_\varepsilon \ge 0\) such that
In particular, if \(\alpha _0\) is as in (4.2) then
Proof
Define maps
Observe that \(h_i\) are all of the class \(C^1\), satisfy \(h_i(0)=0\) for \(i\in \mathbb {Z}\) and due to the mean value theorem, (3.2) and (6.7), we have for each \(s\not =0\), \(i\in \mathbb {Z}\)
where \(\theta _i\) denote some numbers from the interval [0, 1].
By assumption \(d_i\ge 0\), \(i\in \mathbb {Z}\), and \((d_i)\in \ell ^2\), so we get
Writing now (6.8) with \(s=\sqrt{d_i +\frac{1}{|i|}}\), \(i\not =0\), and using (6.1), (6.9) we obtain that \({\mathcal R}_i (\sqrt{d_i+\frac{1}{|i|}})\rightarrow 0\) as \(|i|\rightarrow \infty \), which leads to (6.5). \(\square \)
Lemma 6.5
Under the assumptions of Theorem 6.2, that is (2.7), (3.1), (3.2), (4.2) and (6.1), there exist integers \(k\in \mathbb {N}\), \(N\ge 2\) and a number \(T>0\) such that, given \(\alpha _0\) as in (4.2) and \({\mathcal B}_0\) and M as in Theorem 4.1, conditions (6.2) and (6.3) are satisfied for any \(u^{0},v^{0}\in {\mathcal B}_0\) with constants
Proof
Observe that each component of any element of \({\mathcal B}_0\) belongs to \([-M,M]\). We remark that such interval exists because the space \(\ell ^2\) is embedded in \(\ell ^\infty \).
If \(h_i\) is as in (6.7), then by (6.1), there exists \(\delta \in (0,M)\) such that
Setting for \(u^0,v^0\in {\mathcal B}_0\)
we have from (1.2) that for each \(t> 0\)
We get by (2.7) and nonnegativity of A that with some \({{\tilde{\theta }}}_i\in [0,1]\)
which by the Gronwall inequality implies
We also obtain from (1.2) that for each \(t>0\)
Then, using that \(h_i(u_i)- h_i(v_i)= h_i'(\theta _i u_i + (1-\theta _i) v_i)U_i\), where \(\theta _i\in [0,1]\), we get
Concerning \({\mathcal J}_1\) we replace \(f'_i(0)\) by \(f'_i(0)-m_i+m_i\), and with the aid of (6.6), we estimate as follows
To estimate \({\mathcal J}_2\) we consider \(\delta \) as in (6.11) and apply Lemma 4.3 with \(\varepsilon =\delta ^2\) to obtain numbers \(k_{\delta ^2}\in \mathbb {N}\) and \(T=T_{\delta ^{2}}>0\) such that for
we have
Using (6.15) we infer that
Hence, given any \(|i|>k\) and \(t\ge T\), we have \(|\theta _i u_i+(1-\theta _i) v_i|\le \delta \) and applying (6.11) we get
Consequently,
The above estimates of \({\mathcal J}_1\), \({\mathcal J}_2\) together with (4.2) allow us to obtain from (6.13) a differential inequality of the form
Recalling (6.14) and letting \(D=2(\max _{|i|\le k} |f'_i(0)- m_i|+\sup _{|i|\le k}\sup _{\left| s\right| \le M} |h_i'(s)|)\), we now observe that (6.16) yields
Combining this with (6.12) gives
Let \(N\ge 2\) satisfy \(e^{-\frac{\alpha _0}{2}(N-1)T}e^{L_M T}<1\). We also have by (2.8), (2.4) and (6.12)
Hence we get (6.2) and (6.3) with constants as in the statement. \(\square \)
With minor changes in the argument, which are due to the fact that by (6.15) and invariance of \({\mathcal A}\) components of the solutions \(u=S(t)u^{0}\), \(v=S(t)v^{0}\) with \(u^0,v^0\) from the attractor \({\mathcal A}\) satisfy \(|u_i|\le \delta \) and \(|v_i|\le \delta \) for every \(|i|>k\) and \(t\ge 0\), we have the following corollary.
Corollary 6.6
Under the assumptions of Theorem 6.2, there exists an integer \(k>0\) such that, given \(\alpha _0\) as in (4.2) and M as in Theorem 4.1, conditions (6.2) and (6.3) are satisfied for any \(u^0,v^0\in {\mathcal A}\) with constants
Observe that the estimate of fractal dimension of the global attractor follows from (6.4) and (6.19) (or (6.10)). Theorem 6.2 is thus proved.
Corollary 6.7
Fractal dimension \(dim_f(\mathcal A)\) is finite in \(\ell ^p\) for any \(p\in [2,\infty ]\) with the same estimate as given in (6.4), (6.19).
Proof
Indeed, we have \(\left\| u\right\| _p\le \left\| u\right\| _{\infty }^{1-\frac{2}{p}}\left\| u\right\| ^{\frac{2}{p}}\), \(u\in \ell ^2\), and hence
Thus the claim follows by (6.2), (6.20) and invariance of \(\mathcal A\) via the Lipschitz continuity
(see, e.g., [13, p. 95]). \(\square \)
Corollary 6.8
Under the assumptions of Corollary 5.8, the global attractor \(\mathcal A\) therein has finite fractal dimension in \(\ell ^{p}\) for any \(p\in [2,\infty ]\) with the estimate given in (6.4), where the constants \(D,\eta ,\kappa , T_1, T_2\) can be computed from (6.19) and \(k\in \mathbb {N}\) from (6.11), (6.15), (6.6), (4.7), (4.3), provided that \(m=(m_i)\in \ell ^{\infty }\) and \(\alpha _0>0\) satisfying (4.2) are given.
Considerations in the proof of Lemma 6.5 ensure that assumption (6.1) is a bit too strong and the result can be formulated as follows.
Corollary 6.9
Besides the assumptions of Theorem 4.4, that is (2.7), (3.1), (3.2) and (4.2), assume also (6.6) and (6.11). Under these assumptions, fractal dimension of the global attractor in Theorem 4.4 is finite in \(\ell ^p\) for any \(p\in [2,\infty ]\) and its estimate from above is given by (6.4) and (6.19).
Sometimes an \(\ell ^\infty \) sequence \(m=(m_i)\), which moves the spectrum of A to the right so that (4.2) holds, can be present in the equation. Then, instead of (6.7), a slightly different decomposition of nonlinearities is useful:
with \(h_i\) satisfying (6.11). In this case we obtain the following result.
Corollary 6.10
Under the assumptions of Corollary 5.3 with \(h_i\) satisfying (6.11), the global attractor \(\mathcal A\) therein has finite fractal dimension in \(\ell ^{p}\) for any \(p\in [2,\infty ]\) and its estimate from above is given by (6.4) with constants \(\kappa \), \(\eta \), \(T_1\), \(T_2\) as in (6.19) and \(D= 2\sup _{|i|\le k} \sup _{|s|\le M} |h'_i(s)|\).
Proof
Following the proof of Lemma 6.5 note that in this case the left-hand side of (6.13) now is \((mU,U)+\sum _{i\in \mathbb {Z}} h'_i(\theta _i u_i + (1-\theta _i) v_i) U_i^2\). Estimating then the quantity
as in the proof of Lemma 6.5 we will have the first line in (6.16) bounded from above by \(\sup _{|i|\le k} \sup _{|s|\le M} |h'_i(s)| \sum _{|i|\le k} U^2_i\), with \(k=k_{\delta ^2}\) from Lemma 4.3, which implies (6.17) and (6.18) with constant D equal now \(2\sup _{|i|\le k} \sup _{|s|\le M} |h'_i(s)|\). \(\square \)
Remark 6.11
Observe that (6.11) is straightforward for the map h defined in (5.4). Applying Corollary 6.10, we thus obtain an estimate of fractal dimension of the attractor from Example 5.4 in \(\ell ^{p}\) for any \(p\in [2,\infty ]\).
Remark 6.12
If besides (2.7) and (3.1) one assumes that (3.6) holds together with (4.2), then the semigroup \(\{S(t):t\ge 0\}\) is a contraction for positive times, that is,
In such case, following [13, Corollary 3.1.18, Exercise 3.1.19], the attractor consists of a single point and thus has zero fractal dimension.
7 Exponential attractor
We use below the Hausdorff semidistance \(d(\cdot ,\cdot )\) as in Theorem 4.4. Recalling that conditions (6.2) and (6.3) were verified in Lemma 6.5 for \(u^0, v^0\) in the closed positively invariant set \({\mathcal B}_0\) from Theorem 4.1, we now use [13, Theorem. 3.2.1] to conclude the following result.
Theorem 7.1
Under the assumptions of Theorem 6.2, let \({\mathcal B}_0\) be the absorbing positively invariant set for the semigroup \(\{S(t):t\ge 0\}\) in \(\ell ^2\) as in Theorem 4.1, and let N, T, \(\eta \) be the constants from Lemma 6.5. Then there exists a compact set \({\mathcal E}\subset {\mathcal B}_0\) satisfying
for some \(r>0\), and also such that its fractal dimension in \(\ell ^2\) is finite and estimated by
\(\mathfrak {m}_{\mathcal B_{\eta }}\) being the maximal number of \(z^j\) in \(\mathcal B_\eta :=\{z \in Z=C^{1}([T,NT];\ell ^2):\left\| z\right\| _{Z}\le \frac{4D^\frac{1}{2}\kappa }{1-\eta } \}\) with the property that \(\int \nolimits _{T}^{NT}\sum _{|i|\le k} (z^j(t)-z^l(t))_i^2 dt > 1\) for \(j\not =l.\)
Proof
Recalling that by Arzela–Ascoli theorem \(n_Z(z)=\left( D\int \nolimits _{T}^{NT}\sum _{\left| i\right| \le k}(z(t))_i^2dt\right) ^{\frac{1}{2}}\) is a compact seminorm on \(Z=C^{1}([T,NT];\ell ^2)\), and recalling Lemma 6.5, we get the result from Proposition B.4 specifying therein \(\delta =\frac{1-\eta }{2}\), \(X=\ell ^2\), \({\mathbb M}={\mathcal B}_0\), \(V=S(NT)\) and \((Ku^0)(t)=S(t)u^0\) for \(t\in [T,NT]\), \(u^0\in {\mathcal B}_0\). \(\square \)
Following [13, Theorem 3.4.7], we now obtain the existence of an exponential attractor.
Theorem 7.2
Under the assumptions of Theorem 6.2, the semigroup \(\{S(t):t\ge 0\}\) in \(\ell ^2\) has an exponential attractor, that is, there exists \({\mathcal M}\subset \ell ^2\) such that
(i) \({\mathcal M}\) is compact in \(\ell ^2\),
(ii) \(S(t){\mathcal M}\subset {\mathcal M}\) for every \(t\ge 0\),
(iii) \(\mathcal M\) attracts exponentially bounded subsets of \(\ell ^2\) in the sense that, given any bounded set \({\mathcal B}\subset \ell ^2\),
for some constants \(C_{\mathcal B}>0\), \(t_{\mathcal B}>0\) and \(\omega >0\) (\(\omega \) independent of \({\mathcal B}\)),
(iv) \(\mathcal M\) has finite fractal dimension in \(\ell ^2\).
Moreover, fractal dimension of \(\mathcal M\) in \(\ell ^2\) is estimated by
where \(\mathfrak {m}_{\mathcal B_{\eta }}\) is as in Theorem 7.1. Also, \({\mathcal M}\) is contained in the set \({\mathcal B}_0\) from Theorem 4.1 and contains the global attractor \({\mathcal A}\) from Theorem 4.4.
Proof
Recall from Theorem 4.1 and Lemma 6.5 that the \(C^{0}\) semigroup \(\{S(t):t\ge 0\}\) on \(\ell ^2\) (see (3.5)) is both dissipative with positively invariant absorbing set \({\mathcal B}_0\), and quasi-stable on \({\mathcal B}_0\) at time \(t^{*}=NT\) in the sense of [13, Definition 3.4.1]. Observe here that (6.2) and (6.3) hold for \(u^{0}, v^{0}\in {\mathcal B}_0\) with \(T_1=T\) and \(T_2=NT\) as in Lemma 6.5.
Given M as in Theorem 4.1 and denoting \(u=S(\cdot )u^{0}\) observe also that for any \(u^{0}\in {\mathcal B}_0\) we get from (2.4), (2.8)
which ensures that
Now we set \({\mathcal M}=\bigcup _{t\in [0,t^{*}]}S(t){\mathcal E}\), where \(t^{*}=NT\) and \({\mathcal E}\) comes from Theorem 7.1. If \({\mathcal B}\) is a bounded subset of \(\ell ^2\), then by Theorem 4.1 there exists \(T_{\mathcal B}\ge 0\) such that \(S(T_{\mathcal B}){\mathcal B}\subset {\mathcal B}_0\). For \(t\ge T_{\mathcal B}+t^{*}\), we have \(t-T_{\mathcal B}=n_t t^{*}+r_t\) with \(r_t\in [0,t^{*}]\), \(n_t\in \mathbb {N}\), and using that
(see (6.12)), we get
where \(\xi =-\ln \left( \frac{1+\eta }{2}\right) >0\) and \(C_{\mathcal B}=re^{L_{M}t^{*}+\xi +\frac{\xi T_{\mathcal B}}{t^{*}}}>0\). Hence we get the result. \(\square \)
Remark 7.3
There exists an exponential attractor for lattice systems in Corollary 5.3 with \(h_i\) satisfying (6.11), and for systems in Corollary 5.8; in particular for (5.5) in Example 5.4.
Notes
For example, we set \(\theta (s)=\frac{\varphi (s-1)}{\varphi (s-1)+\varphi (2-s)}\), \(s\ge 0\), where \(\varphi (s)=e^{-\frac{1}{s}}\) if \(s>0\) and \(\varphi (s)= 0\) if \(s\le 0\).
References
A.Y. Abdallah, Exponential attractors for first-order lattice dynamical systems, J. Math. Anal. Appl. 339 (2008), 217–224.
M. Anguiano, A. Haraux, The \({\varepsilon }\)-entropy of some infinite dimensional compact ellipsoids and fractal dimension of attractors, Evol. Equ. Control Theory 6 (2017), 345–356.
W. Arendt, Characterization of positive semigroups on Banach lattices. In One-Parameter Semigroups of Positive Operators R. Nagel , Springer, 1986, 247–291.
W. Arendt, C. Batty, Exponential stability of a diffusion equation with absorption, Differ. Int. Equ. 6 (1993), 1009–1024.
J.M. Arrieta, J.W. Cholewa, T. Dlotko, A. Rodríguez-Bernal, Asymptotic behavior and attractors for reaction diffusion equations in unbounded domains, Nonlinear Anal. 56 (2004), 515–554.
J.M. Arrieta, N. Moya, A. Rodríguez-Bernal, On the finite dimension of attractors of parabolic problems in \({\mathbb{R}}^N\) with general potentials, Nonlinear Anal. 68 (2008), 1082–1099.
A.V. Babin, M.I. Vishik, Attractors of partial differential evolution equations in unbounded domains, Proc. R. Soc. Edinburgh Sect. A 116 (1990), 221–243.
P.W. Bates, K. Lu, B. Wang, Attractors for lattice dynamical systems, Int. J. Bifur. Chaos Appl. Sci. Eng. 11 (2001), 143–153.
A. Bátkai, M. Kramar Fijavž, A. Rhandi, Positive Operator Semigroups—From Finite to Infinite Dimensions, Birkhäuser, 2017.
T. Caraballo, F. Morillas, J. Valero, Asymptotic behaviour of a logistic lattice system, Discrete Contin. Dyn. Syst. 34 (2014), 4019–4037.
J.W. Cholewa, A. Rodríguez-Bernal, Dissipative mechanism of a semilinear higher order parabolic equation in \({\mathbb{R}}^{N}\), Nonlinear Anal. 75 (2012), 3510–3530.
S.-N. Chow, J. Mallet-Paret, Pattern formation and spatial chaos in lattice dynamical systems—Part I, IEEE Trans. Circuits Syst. I Fund. Theory Appl. 42 (1995), 746–751.
I. Chueshov, Dynamics of Quasi-Stable Dissipative Systems, Springer, 2015.
I. Chueshov, I. Lasiecka, Long-Time Behavior of Second Order Evolution Equations with Nonlinear Damping, Memoirs of the American Mathematical Society 195 (912), AMS, 2008.
R. Czaja, M. Efendiev, A note on attractors with finite fractal dimension, Bull. Lond. Math. Soc. 40 (2008), 651–658.
M. Efendiev, A. Miranville, S. Zelik, Global and exponential attractors for nonlinear reaction-diffusion systems in unbounded domains, Proc. R. Soc. Edinburgh Sect. A 134 (2004), 271–315.
M. Efendiev, S. Zelik, The attractor for a nonlinear reaction-diffusion system in an unbounded domain, Commun. Pure Appl. Math. 54 (2001), 625–688.
K.-J. Engel, R. Nagel, One-Parameter Semigroups for Linear Evolution Equations, Springer, Berlin, 2000.
X. Fan, Exponential attractor for a first-order dissipative lattice dynamical system, J. Appl. Math. (2008), ID 354652, 8 pages.
J.K. Hale, Asymptotic Behavior of Dissipative Systems, American Mathematical Society, Providence, 1988.
X. Han, Exponential attractors for lattice dynamical systems in weighted spaces, Discrete Contin. Dyn. Syst. 31 (2011), 445–467.
O.A. Ladyženskaya, Attractors for Semigroups and Evolution Equations, Cambridge University Press, Cambridge, 1991.
X. Li, K. Wei, H. Zhang, Exponential attractors for lattice dynamical systems in weighted spaces, Acta Appl. Math. 114 (2011), 157–172.
X. Li, C. Zhong, Attractors for partly dissipative lattice dynamic systems in \(\ell ^2\times \ell ^2\), J. Comput. Appl. Math. 177 (2005), 159–174.
T. Lindeberg, Scale-Space Theory in Computer Vision, Springer, Berlin, 1994.
I. Nåsell, Inequalities for modified Bessel functions, Math. Comput. 28 (1974), 253–256.
A. Rodríguez-Bernal, B. Wang, Attractors for partly dissipative reaction diffusion systems in \({\mathbb{R}}^{n}\), J. Math. Anal. Appl. 252 (2000), 790–803.
A. Slavík, Invariant regions for systems of lattice reaction-diffusion equations, J. Differ. Equ. 263 (2017), 7601–7626.
R. Temam, Infinite-Dimensional Dynamical Systems in Mechanics and Physics, Second Edition, Springer, Berlin, 1997.
B. Wang, Attractors for reaction-diffusion equations in unbounded domains, Phys. D 128 (1999), 41–52.
B. Wang, Dynamics of systems on infinite lattices, J. Differ. Equ. 221 (2006), 224–245.
B. Wang, Asymptotic behavior of non-autonomous lattice systems, J. Math. Anal. Appl. 331 (2007), 121–136.
S. Zhou, Attractors for first order dissipative lattice dynamical systems, Phys. D 178 (2003), 51–61.
S. Zhou, Attractors and approximations for lattice dynamical systems, J. Differ. Equ. 200 (2004), 342–368.
S. Zhou, W. Shi, Attractors and dimension of dissipative lattice systems, J. Differ. Equ. 224 (2006), 172–204.
B. Zinner, Existence of traveling wavefront solutions for the discrete Nagumo equation, J. Differ. Equ. 96 (1992), 1–27.
Acknowledgements
The authors thank Stefanie Sonner for suggesting a study of existence of exponential attractors for lattice dynamical systems under mild assumptions. The authors also thank the anonymous referee for the positive comments and helpful suggestions which improved the final version of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Jan W. Cholewa: Partially supported by the Grant MTM2016-75465 from MINECO, Spain.
Appendices
Appendix A: Discretized Schrödinger operator
In this section, we obtain a discretized version of the well-known Arendt and Batty’s result reported in [4, Theorem 1.2]. To this purpose, we define a suitable family \(\mathcal G\) of subsets of \(\mathbb {Z}\) being a counterpart of a family of sets in [4] which contain arbitrarily large balls.
Definition A.1
We say that \(G\subset \mathbb {Z}\) belongs to \(\mathcal G\) if and only if for any \(n\in \mathbb {N}\) there exists \(j_n\in \mathbb {Z}\) such that \(\{i\in \mathbb {Z}:\left| i-j_n\right| <n\}\subset G\).
Consider the bounded linear operator \(A\in {\mathcal L}(\ell ^{p})\), \(p\in [1,\infty ]\), defined in (2.1). The linear semigroup \(e^{-At}\) generated by \(-A\) on \(\ell ^p\) can be expressed as the convolution with the discrete Gaussian kernel (see [25, Theorems 3.21, 3.28]).
Proposition A.2
The linear semigroup \(e^{-At}\) on \(\ell ^p\) with \(p\in [1,\infty ]\) is given by
where \(I_n:[0,\infty )\rightarrow [0,\infty )\), \(n\in \mathbb {Z}\), defined by
are the modified Bessel functions.
Proof
We have \(I_n(0)=0\), \(n\ne 0\), \(I_0(0)=1\), and
We denote the right-hand side of (A.1) by \(u_i(t)\). By evaluating it at \(t=0\) and computing its derivative we obtain
which yields the claim. \(\square \)
Now we are ready to give equivalent conditions for the discrete Schrödinger operator \(-A-c\) with \(0\le c\in \ell ^{\infty }\) to generate a uniformly exponentially stable semigroup.
Theorem A.3
Let \(0\le c\in \ell ^{\infty }\) and let the operator \(A\in {\mathcal L}(\ell ^{p})\), \(p\in [1,\infty ]\), be given as in (2.1). The following conditions are equivalent:
- (i)
\(\left\| e^{(-A-c)t}\right\| _{\mathcal L(\ell ^{p})}<1\) for all \(t>0\), \(p\in [1,\infty ]\),
- (ii)
\(\left\| e^{(-A-c)t_0}\right\| _{\mathcal L(\ell ^{2})}<1\) for some \(t_0>0\),
- (iii)
\(s_p(-A-c)=\sup \{{\text {Re}}{\lambda }:\lambda \in \sigma _p(-A-c)\}<0\), that is, \({\text {Re}}{\lambda }<0\) for \(\lambda \in \sigma _p(-A-c)\) for all \(p\in [1,\infty ]\),
- (iv)
there exists \(\alpha _0>0\) such that \(((A+c)u,u)\ge \alpha _0\left\| u\right\| ^2\), \(u\in \ell ^2\),
- (v)
\(\sum _{i\in G}c_i=\infty \) for any set G from a family \(\mathcal G\) in Definition A.1.
- (vi)
there exist \(C>0\), \(N\in \mathbb {N}\) such that \(\sum _{i=j-N}^{j+N}c_i\ge C\) for all \(j\in \mathbb {Z}\).
Proof
(i)\(\Rightarrow \)(iii). Note that by [18, Corollary IV.3.12] the spectral bound
is equal to the growth bound
Hence using the spectral radius, we get (see [18, Proposition IV.2.2])
Thus if \(\left\| e^{(-A-c)t_0}\right\| _{{\mathcal L}(\ell ^p)}<1\) for some \(t_0>0\), then \(\omega _{0,p}(-A-c)=s_p(-A-c)<0\).
(iii)\(\Rightarrow \)(iv). In the Hilbert case \(p=2\) the operator \(-A-c\) is self-adjoint on \(\ell ^2\), hence we have \(\sigma _2(-A-c)\subset \mathbb {R}\) and
If \(s_2(-A-c)<0\) then
and we obtain (iv).
(iv)\(\Rightarrow \)(v). Using B as in (2.3), we have for \(u\in \ell ^2\) with \(\left\| u\right\| =1\)
Let \(G\in {\mathcal G}\) and observe that we can find \(u^{n}\in \ell ^2\) such that \(\left\| u^n\right\| =1\) and \(u^n_i=0\) for \(i\notin G\), whereas
For example, if \(j_n\in \mathbb {Z}\), \(n\in \mathbb {N}\), is such that \(\{i\in \mathbb {Z}:\left| i-j_n\right| <n\}\subset G\), then we can use
In this case, we know that \(\left\| u^{n}\right\| _{\infty }=\frac{1}{\sqrt{2(n-1)}}\), \(\left\| u^{n}\right\| =1\), \(\left\| B u^{n}\right\| =0\). We will have
which implies that \(\sum _{i\in G}c_i=\infty \).
(v)\(\Rightarrow \)(vi). Suppose contrary to the claim that there exists a sequence \(j_n\in \mathbb {Z}\), \(n\in \mathbb {N}\), such that
Define
and note that \(G_{m}\in {\mathcal G}\), since for \(n>m\) we have \(\{i\in \mathbb {Z}:\left| i-j_n\right| \le n\}\subset G_m\) and for \(1\le n\le m\) we have
Hence we obtain
which is absurd.
(vi)\(\Rightarrow \)(i). Let \(t>0\) and assume that \(\left\| c\right\| _{\infty }<\frac{1}{t}\). This can be done since otherwise we could consider \(\lambda c\) instead of c with \(\lambda =\frac{1}{2}\min \{\frac{1}{t\left\| c\right\| _{\infty }},1\}\) having by [9, Proposition 10.22] for any \(p\in [1,\infty ]\)
because the semigroups \(\{e^{(-A-c) t}:t\ge 0\}\) and \(\{e^{(-A-\lambda c)t}:t\ge 0\}\) on \(\ell ^p\) are positive (see [3, Example C-II.1.13 a)]) and for \(u^{0}\ge 0\), \(u^{0}\in \ell ^p\)
Since for the operator A considered on \(\ell ^\infty \) we have \(A\mathbb {1}=0\), it follows that \(e^{-A t}\mathbb {1}=\mathbb {1}\) and
Hence we get
Moreover, due to positivity of \(\{e^{(-A-c) t}:t\ge 0\}\) and \(\{e^{-A t}:t\ge 0\}\) on \(\ell ^\infty \) (see again [3, Example C-II.1.13 a)]), we know that
Thus we obtain \(e^{(-A-c) t}\mathbb {1}\le e^{-A t}\mathbb {1}=\mathbb {1}\). Since \(c\le \left\| c\right\| _{\infty }\mathbb {1}\), we get
Hence we obtain
By assumption there exist \(C>0\), \(N\in \mathbb {N}\) such that \(\displaystyle \sum _{j=i-N}^{i+N}c_j\ge C\text { for all }\ i\in \mathbb {Z}.\) Then, given \(i\in \mathbb {Z}\), we have by Proposition A.2
where the last inequality follows from
(see, e.g., [26, Proposition 1]). Hence, letting \(\varepsilon (t)=\int \nolimits _0^t Ce^{-2\nu s}I_{N}(2\nu s)ds>0\), we obtain
It follows that
and so using the adjoint semigroup and [9, Proposition 10.22] we get
Furthermore, from the Riesz–Thorin theorem, we obtain
which yields the claim.
(i)\(\Leftrightarrow \)(ii). If (ii) holds, the above considerations imply that (iii) holds for \(p=2\), which in turn yields (iv) and (i). The converse implication is straightforward. \(\square \)
Appendix B: Abstract estimate of fractal dimension
The estimate of the fractal dimension of invariant set in \(\ell ^2\) used in this article comes from the monograph by Chueshov [13, Theorem 3.1.21] (see also [14, Theorem 2.14]), which we recall below for the completeness of the presentation.
Proposition B.1
Let X be a Banach space and \({\mathbb M}\) be a bounded closed set in X. Assume that there exists a mapping \(V:{\mathbb M}\rightarrow X\) satisfying \({\mathbb M}\subset V{\mathbb M}\) and there is an auxiliary normed space Z and a mapping \(K:{\mathbb M}\rightarrow Z\) such that for some constants \(\eta \in [0,1)\) and \(\kappa >0\) we have
where \(n_{Z}\) is some compact seminorm on Z, i.e., \(n_{Z}\) satisfies
and for any bounded sequence \(z_n\in Z\) there exists a Cauchy subsequence \(z_{n_j}\) with respect to \(n_Z\), that is, \(n_{Z}(z_{n_j}-z_{n_l})\rightarrow 0\) as \(j,l\rightarrow \infty \).
Then \({\mathbb M}\) is compact in X, its fractal dimension \(dim_f^{X}({\mathbb M})\) in X is finite and, given any \(\delta \in (0,1-\eta )\),
where \(\mathfrak {m}_{Z}\left( 2\kappa \delta ^{-1}\right) \) is the maximal number of points \(z_j\) in the ball \(\{z\in Z:\left\| z\right\| _{Z}\le 2\kappa \delta ^{-1}\}\) possessing the property that \(\displaystyle {n_{Z}(z_j-z_l)>1}\) whenever \(j\not =l\).
Instead of Proposition B.1, one can use here the following corollary.
Corollary B.2
Let X be a Banach space and let \({\mathbb M}\ne \emptyset \) be a bounded and closed subset of X and let a map \(V:{\mathbb M}\rightarrow X\) be such that \({\mathbb M}\subset V{\mathbb M}\). Assume that Y, Z are normed spaces, \(P:Z\rightarrow Y\) is a linear compact operator and there exists a map \(K:{\mathbb M}\rightarrow Z\) satisfying for some \(\eta \in [0,1)\) and \(\mu , \kappa >0\)
Then \({\mathbb M}\) is a compact set in X and for any \(\delta \in (0,1-\eta )\)
where \(\mathfrak {m}_{Z}\left( 2\mu \kappa \delta ^{-1}\right) \) is the maximal number of points \(z_j\) in the ball \(\{z\in Z:\left\| z\right\| _{Z}\le 2\mu \kappa \delta ^{-1}\}\) possessing the property that \(\displaystyle {\left\| P(z_j-z_l)\right\| _Y>1}\) whenever \(j\not =l\).
Proof
The result follows from Proposition B.1, since \(n_{Z}(z):=\mu \left\| Pz\right\| _{Y}\), \(z\in Z\), is a compact seminorm on Z. \(\square \)
Remark B.3
Concerning finite fractal dimension of \(\mathbb M\) under the assumptions as in Corollary B.2, we remark that it was earlier reported by Czaja and Efendiev in [15, Theorem 2.1] with P being a compact embedding of Z into Y and \(\mathbb M\) being invariant under V. The authors therein used Kolmogorov \(\varepsilon -\)entropy (see [2]) and for \(\eta \in [0,\frac{1}{2})\) obtained with any \(\theta \in (0,\frac{1}{2}-\eta )\) the estimate of the form
where \(N_{\frac{\theta }{\mu \kappa }}^{Y}({\mathcal B}_{1})\) denotes the minimal number of closed balls in Y of radius \(\frac{\theta }{\mu \kappa }\) necessary to cover the closed unit ball \({\mathcal B}_{1}\) in Z. In this case, one can apply Corollary B.2 with \(2\eta \) in the role of \(\eta \) and \(\delta =2\theta \) making the denominators in (7.3) and (7.4) equal \(\ln {\frac{1}{2(\eta +\theta )}}\). Observe that the quantity \(\mathfrak {m}_{Z}\left( 2\mu \kappa \delta ^{-1}\right) \) appearing in (7.3) can be viewed as the maximal number of points \(z_j\) in the closed unit ball in Z having the property that \(\displaystyle {\left\| z_j-z_l\right\| _Y>\frac{\theta }{\mu \kappa }}\) for \(j\ne l\). Then, given such points, there exists a cover of the closed unit ball \({\mathcal B}_{1}\) in Z by \(\mathfrak {m}_{Z}\left( \mu \kappa \theta ^{-1}\right) \) closed balls in Y of radius \(\frac{\theta }{\mu \kappa }\).
Concerning estimate of fractal dimension involving discrete exponential attractor, we finally recall the following result by Chueshov [13, Theorem 3.2.1].
Proposition B.4
Let X be a Banach space and \({\mathbb M}\) be a bounded closed set in X. Assume that there is a map \(V:{\mathbb M}\rightarrow {\mathbb M}\) and there also exists a map K from \({\mathbb M}\) into an auxiliary normed space Z such that (B.1) and (B.2) hold with some constants \(\eta \in [0,1)\), \(\kappa >0\), and with \(n_{Z}\) being a compact seminorm on Z. Then, given \(\delta \in (0,1-\eta )\), there exists a compact set \({\mathbb A}_\delta \subset {\mathbb M}\) satisfying
for some \(r>0\), and also such that its fractal dimension in X is finite and estimated by
\(\mathfrak {m}_{Z}\left( 2\kappa \delta ^{-1}\right) \) being the maximal number of \(z_j\) in \(\{z\in Z:\left\| z\right\| _{Z}\le 2\kappa \delta ^{-1}\}\) having the property that \(\displaystyle {n_{Z}(z_j-z_l)>1}\) for \(j\not =l\).
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cholewa, J.W., Czaja, R. Lattice dynamical systems: dissipative mechanism and fractal dimension of global and exponential attractors. J. Evol. Equ. 20, 485–515 (2020). https://doi.org/10.1007/s00028-019-00535-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00028-019-00535-3