Uniform exponential attractors for second order non-autonomous lattice dynamical systems (Q2401769)

Lattice dynamical systems (LDSs) are infinite systems of ordinary differential equations or of difference equations, which arise in many applications, for instance, in chemical reaction theory, image processing and pattern recognition, material science, biology, electrical engineering, laser systems, etc. In some case, LDSs also arise in the spatial discretizations of partial differential equations on unbounded domains. In this paper the authors consider the existence of a uniform exponential attractor for a second-order nonautonomous lattice dynamical system with quasiperiodic symbols acting on a closed bounded set. Firstly, the existence and uniqueness of solutions for the considered systems which generate a family of continuous processes is shown, and the existence of a uniform bounded absorbing sets for the processes is proved. Secondly, a semigroup defined on a extended space is introduced, and the Lipschitz continuity, \(\alpha\)-contraction and squeezing property of this semigroup are proved. Finally, the existence of a uniform exponential attractor for the family of processes associated with the studied lattice dynamical systems is obtained. More precisely, the authors investigate the long-time behaviour of solutions for the following second-order nonautonomous lattice dynamical systems with quasiperiodic symbols, \[ \ddot{u}_{m}(t)+\nu(A\dot{u}(t))_{m}+(Au(t))_{m}+h(\dot{u}_{m}(t))+\mu u_{m}(t)+f(u_{m}(t))=\alpha_{m}g_{m}(\overline{\sigma}(t))\quad \left(m\in\mathbb Z^N, t>\tau\right) \] with the initial data \[ \begin{aligned} u_{m}(\tau)&=u_{\tau, m}\\ \dot{u}_{m}(\tau)&=u_{1 \tau, m}, \end{aligned} \] for \(\left(m\in \mathbb{Z}^{N}, \tau\in \mathbb{R}\right)\) where \(\mu, \nu\) are positive constants and the functions \(f, g: \mathbb{R}\to \mathbb{R}\) and \(g_{m}: \mathbb{T}^{k}\to \mathbb{R}\) satisfy some dissipative conditions and \(\overline{\sigma}(t)\in \mathbb{T}^{k}\), here \(\mathbb{T}^{k}\) denotes the \(k\)-dimensional torus and \(A\) is a linear coupled operator that is non-negative and self-adjoint with decomposition.