Invariant measures for the nonlinear Schrödinger equation on the disc (Q2474793)

The article concerns the long time behaviour of solutions of the equation \[ i\partial u/\partial t+\Delta u+ F(u)= 0, \] where \(u(t):\Theta\to \mathbb{C}\) is a function defined on the unit disc \(\Theta\subset\mathbb{R}^2\), \(f: \mathbb{C}\to \mathbb{C}\) is a smooth function such that \(F(0)= 0\), \(F=\overline\partial V\) with a real-valued \(V\) satisfying \(V(e^{i\vartheta z})= V(z)\) for all \(\vartheta\in\mathbb{R}\), \(z\in\mathbb{C}\) and the estimates \[ \partial^{k_1} \overline\partial^{k_2} V(z)\leq C_{k_1,k_2}(1+ |z|)^{2+\alpha- k_1- k_2}, \] where \(\alpha< 2\). The author deals only with radial solutions and radially symmetric Cauchy data for \(t= 0\). Then the expansions with respect to the normalized Bessel functions \(e_n= C_n J_0(z_n r)\) can be applied, where \(0< z_1< z_2<\cdots\) are the zeros of \(J_0\). In particular let \[ 0< s<\alpha/(\alpha+ 2),\quad 0\leq\sigma< 1/2 \] be given constants, let \(H^\sigma\) be the Sobolev space of radial functions \[ u= \sum c_n e_{n,s} \Bigl(\sum z^{2(\sigma- 2)}_n|c_n|^2< \infty,\;e_{n,s}= z^{-s}_n e_n\Bigr) \] equipped with the measure \(\widetilde\mu\) defined by \[ \widetilde\mu(V)= \int_V e^{-\sum^N_{n=1} z^{2\sigma- s}_n|c_n|^2 d^2c_1\cdots d^2c_N} \] on cylindrical sets and by the measure \(\mu\) what is its Wiener normalization. Main result: Denote \[ f(u)= \chi(\| u\|_{L^2(\Theta)})\exp\int_\Theta V(u), \] where \(\chi\) is the characterisiic function of interval \([0,R]\). Then \(f(u)\in L^q(d\mu(u))\) for every \(1\leq q<\infty\). Denoting \(d\rho(u)= f(u)d\mu(u)\), there exists a set \(\Sigma\) of full measure \(\rho\) such that the initial Cauchy problem with \(u+0\in\Sigma\) has a unique global in time solution and the flow preserves the measure \(\rho\).