Attractor for a damped cubic-Schrödinger equation on a two-dimensional thin domain (Q5933748)

The authors study the asymptotic behavior of the solutions to the nonlinear Schrödinger equation (NLS) NEWLINE\[NEWLINEu_t+\alpha u+i\Delta u-iu+i|u|^2 u=f;\quad u(0,x,r) = u_0(x,r)\tag{1}NEWLINE\]NEWLINE on a thin domain \((x,r)\in [0,1]\times [0,\varepsilon]=\Omega_\varepsilon\) and subject to periodic boundary conditions in \(x,r\). A transformation of variables \((x=x\), \(\varepsilon s = r)\) transforms (1) into a new equation NEWLINE\[NEWLINEu_t+Au = f- iF(u) = f - i|u|^2 u,\quad (x,s)\in [0,1]^2=\Omega,\tag{2}NEWLINE\]NEWLINE whereby \(A = (\alpha-i)I+i\Delta_\varepsilon=(\alpha-i)I+i(\partial^2_x+\varepsilon^{-2}\partial^2_s)\).NEWLINENEWLINENEWLINEAll further investigations are carried out for (2). Equation (2) is compared with the one-dimensional NLS NEWLINE\[NEWLINEv_t+\alpha v+iv_{xx}-iv +i|v|^2v= f_0.\tag{3}NEWLINE\]NEWLINE It is known that (3) has a global attractor \({\mathcal A}_0\) in \(H^1([0,1])\) which is compact in \(H^2([0,1])\) (with \(H^m\) denoting Sobolev spaces of periodic functions). A crucial role is played by the set NEWLINE\[NEWLINEE =\{u_0\in H^1([0,1]^2);\quad \varepsilon|u_0|^2< c\},\tag{4}NEWLINE\]NEWLINE where \(|\cdot|\) is the norm in \(L^2([0,1]^2)\) and \(c\) is a constant which is suitably choosen at a later stage. For initial conditions \(u_0\in E\) the existence of global solutions of (2) can be asserted, giving rise to a solution semigroup \(S(t)\) on \(E\), since \(E\) is shown to be invariant under the flow.NEWLINENEWLINENEWLINEMoreover, the existence of an absorbing set \(E\cap B\) of \(S(t)\) on \(E\) is proved. The authors then prove a large number of in part quite difficult lemmas and propositions, which cumulate in Theorem 4.1, stating that there is \(\varepsilon_0 =\varepsilon(\alpha,f)\) such that for \(\varepsilon\in(0,\varepsilon_0)\) the semigroup \(S(t)\) has a global attractor \({\mathcal A}_\varepsilon\) in \(E\), which is compact in \(H^1([0,1]^2)\). In the final part of the paper, the authors prove the upper semicontinuity of the attractor family \({\mathcal A}_\varepsilon\), that is, they show that for \(\tau\in(0,1)\) one has: NEWLINE\[NEWLINE\sup_{a\in{\mathcal A}_\varepsilon}\inf_{b\in {\mathcal A}_0}|A^\tau(a - b)|\to 0\text{ as }\varepsilon\to 0NEWLINE\]NEWLINE with \({\mathcal A}_0\) the attractor of (3).