Correctness of the Goursat-Cauchy problem for the system of equations of the Davey-Stewartson type (Q1374993)

We consider the system of two nonlinear partial differential equations \[ \partial_x\partial_y\varphi= \nabla\overline f(|u|^2),\;i\partial_t u+\omega(-i\partial_x, -i\partial_y)u= g(u, u^*)+\overline h(u, u^*)\nabla\varphi, \] \((x,y)\in \mathbb{R}^2\), \(t>0\), \(\nabla= (\partial_x,\partial_y)\), and \(\omega(k,m)\) is a polynomial with respect to \(k\) and \(m\). These equations are supplemented by the Goursat condition at infinity for the real function \(\varphi\): \[ \varphi(x, y,t)= \begin{cases}\varphi_1(y)+ o(1), & x\to-\infty,\\ \varphi_2(x)+ o(1), & y\to-\infty,\end{cases} \] and by the initial condition for the complex-valued function \(u: u(x,y,t)|_{t=0}= u_0(x, y)\), \((x,y)\in\mathbb{R}^2\). The right-hand sides \(\overline f\in\mathbb{R}^2\), \(g\in\mathbb{C}^1\), and \(\overline h\in\mathbb{C}^2\) are analytic functions with respect to all their arguments; \(\overline f(0)\), \(g(0,0)\), \(\overline h(0,0)= 0\). We present results that are based on a traditional approach to theorems of the existence of classical solutions. This approach is based on the inversion of the linear parts of equations with the subsequent application of the method of contraction mappings. Here the specific structure of nonlinear terms that is necessary for a priori estimates turns out to be needless. We obtain solvability for any analytic \(\overline f\), \(g\), and \(\overline h\). We compensate for this generality by restricting the class of solutions to functions that are analytic in a strip \(|\text{Im } x|\), \(|\text{Im } y|\leq\beta\), \(\beta>0\).