A class of parabolic functional-differential equations of nonlinear optics (Q5930602)

An optical system with distributed feedback \[ \partial_tu+u-D\Delta u=K\cdot I_G(u)\qquad \Biggl(\Delta=\frac{\partial^2}{\partial x_1^2}+\frac{\partial^2}{\partial x^2_2}\Biggr)\tag{1} \] is discussed, where \(u=u(x,t)\) is a real-valued function, \(x=(x_1,x_2)\in \Omega\subseteq {\mathbb{R}^2}\), \(K=K(u)\) is a given function. \(I_G(u)=I_G(x,t;u)\) is the intensity of the feedback wave, which is given by \[ \langle I_G(u),\varphi\rangle =\int_{G^{-1}(\Omega)}I(y;u)\varphi(G(y)) dy,\quad \varphi\in V,\tag{2} \] and \(G^{-1}(\Omega)=\{y: y\in\Omega\), \(G(y)\in\Omega\}\) is the preimage of the domain \(\Omega\) under the mapping \(G(y)\); \(V\) is the space of the test functions which is mainly determined by the properties of the mapping \(u\to I(x;u)\), and \(I_G\in V^*\). The author proves existence and uniqueness theorems for the global (with respect to the time) solution of (1)-(2) in the space \( W^{1-\gamma}(0,T)\) (for each \(T>0\), and \(\gamma\in(0,{1\over 2})\) is some constant) under the initial and boundary conditions \[ u|_{t=0}=u^0(x),\qquad u|_{\partial\Omega}=0.\tag{3} \] The corresponding functional intensity mapping \(u\to I(u)\) is given by \[ I(x;u)=|A(x,l;u)|^2\tag{4} \] via the value of the trace (at \(z=l\)) of the complex-valued solution \(A(z)= A(x,z;u)\) of the boundary value problem for the Schrödinger type equation \[ \partial_zA+i\Delta A=0,\quad A|z=0=A_0(x)\exp(iu),\quad A|_{\partial\Omega}=0.\tag{5} \] The existence of a compact global attractor in the corrresponding space \(H^{-\gamma}(\Omega)\) is also obtained. Here \(H^{\gamma}(\Omega)\) is the Sobolev space of order \(\gamma >0\), \( H^{-\gamma}(\Omega)=(H^{\gamma}_0(\Omega))^*\) and \( H^{\gamma}_0(\Omega)\) is the closure of the set of infinitely differentiable compactly supported functions in \(\Omega\) with the norm of \(H^{\gamma}(\Omega)\).