Attractors for the Klein–Gordon–Schrödinger equation (Q4701865)

The paper is concerned with the dissipative Klein-Gordon-Schrödinger system in a \(C^2\)-smooth domain \(\Omega\) in \({\mathbb R}^n\) with \(n\leq 3\) of the form: \[ \begin{aligned} i\psi_t+\Delta\psi+i\nu\psi+\varphi\psi=f,\quad \varphi_t+\delta\varphi=\theta\quad &\text{in}\quad\Omega\times(0,\infty),\tag{1}\\ \theta_t+(\gamma-\delta)\theta-\Delta\varphi+(1-\delta(\gamma-\delta))\varphi -|\psi|^2=g\quad &\text{in}\quad\Omega\times(0,\infty),\tag{2} \end{aligned} \] with the initial condition \[ \psi(x,0)=\psi_0(x),\quad\varphi(x,0)=\varphi_0(x),\quad\theta(x,0)=\theta_0(x), \quad x\in\Omega,\tag{3} \] and the boundary condition \[ (\psi,\varphi,\theta)|_{\partial\Omega}=0\quad\text{or}\quad \text{\((\psi,\varphi,\theta)\) is \(\Omega\) periodic,}\tag{4} \] where \(\nu\), \(\delta\) and \(\gamma\) are positive constants, \(f\) and \(g\) are driving terms, \(\psi\) is a complex-valued function and \(\varphi\) and \(\theta\) are real-valued functions. Let \(H^k=H^k(\Omega)\) designate the standard Sobolev space, \(k>0\), and \(H=L^2(\Omega)\). The main results of the paper are the following two theorems. Theorem 1. (a) If \(f\), \(g\in H\) and \((\psi_0,\varphi_0,\theta_0) \in H^1\times H^1\times H\), then problem (1)--(4) has a unique solution \((\psi,\varphi,\theta)\in C([0,\infty); H^1\times H^1\times H)\) which depends continuously on the initial data in \(H^1\times H^1\times H\). (b) If \(f\), \(g\in H^k\) and \((\psi_0,\varphi_0,\theta_0)\in H^{k+2}\times H^{k+2}\times H^{k+1}\) with \(k\geq 0\), then problem (1)--(4) has a unique solution \((\psi,\varphi,\theta)\in C([0,\infty); H^{k+2}\times H^{k+2} \times H^{k+1})\) which is continuous with respect to the initial data \((\psi_0,\varphi_0,\theta_0)\). Theorem 2. (a) If \(f\), \(g\in H\), then problem (1)--(4) possesses a strong compact global attractor in \(H^1\times H^1\times H\). (b) If \(f\), \(g\in H^k\) with \(k\geq 0\), then problem (1)--(4) has a strong compact global attractor in \(H^{k+2}\times H^{k+2}\times H^{k+1}\). The main results of this paper strengthen and generalize certain results of \textit{P. Biler} [SIAM J. Math. Anal. 21, No.~5, 1190-1212 (1990; Zbl 0725.35020)].