Global attractor for the Davey-Stewartson system on \(\mathbb R^2\) (Q1041689)

The authors study a restricted version of the Davey-Stewartson system which looks as follows: \[ \begin{aligned} &iu_t+i\gamma u+\Delta u=bu\phi_x+f(x,y)\\ & \Delta\phi=\partial_1|u|^2,\quad \Delta=\partial^2_x+\partial^2_y.\end{aligned}\tag{1} \] Here, \(u\) is a complex amplitude and \(\phi\) a real velocity potential; \(f\) is an exterior force. Moreover, \(\gamma>0\) while \(b\in \mathbb R\). This system appears in different areas of physics (plasma, nonlinear optics). Now let \(c_g\) be the optimal constant in the 2d-Gagliardo-Nirenberg inequality. \[ \|u\|^2_{L^4}\leq C_g\|u\|_{L^2}\|\nabla u\|_{L^2},\text{ where }L^p=L^p(\mathbb R^2).\tag{2} \] Let \(Y\subset H^1(\mathbb R^2)\) be the set given by \[ u\in Y,\text{ iff }u\in H^1(\mathbb R^2)\quad \&\quad c_g|b|(\|u\|^2_{L^2}+\gamma^{-2}\|f\|^2_{L^2})\leq \tfrac13.\tag{3} \] The main properties concerning the asymptotics of the solutions of (1) are expressed by Theorems 1, 2. Theorem 1 states that if one restricts the flow induced by (1) on \(H^1(\mathbb R^2)\) to the set \(Y\), then this restriction admits a global attractor \({\mathcal A}\subset Y\). Theorem 2 then asserts that this attractor \(\mathcal A\) is bounded and compact in \(H^2(\mathbb R^2)\). Let \(\mathcal F\) be the Fourier-transform on \(L^2(\mathbb R^2)\) and define \(E:L^2(\mathbb R^2)\to L^2(\mathbb R^2)\) via \[ E(v)={\mathcal F}^{-1}\xi^2_1(\xi^2_1+\xi^2_2)^{-1}{\mathcal F}v,\quad v\in L^2(\mathbb R^2). \] With the aid of \(E\) one eliminates \(\phi\) from system (1) so as to obtain the equivalent, single equation: \[ iu_t+i\gamma u+\Delta u=bu\cdot E(|u|^2)+f(x,y),\quad u(0,x,y)=u_0(x,y). \] The proofs of Thms. 1, 2 are now based on an analysis of (5). The authors recall that given \(u_0\in H^1(\mathbb R^2)\), there is a unique local solution of (5), ie. \[ u\in C([0,T^*),H^1(\mathbb R^2))\cap C^1([0,T^*),H^{-1}(\mathbb R^2)),\quad u(x_0)=u_0\tag{6} \] with \(T^*(u_0)=T^*\), which either blows up in finite time or is global. It is then shown that if \(u_0\in Y\), then the associated solution \(u(\;)\) via (6) is global; set \[ S(T)u_0=u(t),\quad t\geq 0,\;u_0\in Y.\tag{7} \] The existence of a bounded absorbing set \(\beta\subset Y\) is then proved, having the property: (*) given \(B\subset Y\), bounded in \(H^1(\mathbb R^2)\), there is \(t_0=t_0(B)\) such that \(S(t)(B)\subset \beta\) for \(t\geq t_0\). Based on these preliminaries, the authors then proceed to the proofs of Thms. 1, 2 by a series of technical steps which involve quite sophisticated estimates.