This question concerns a system of equations that arise in the study of one-soliton solutions to the Davey-Stewartson equation.
In what follows, $f(z)$ denotes a function which depends smoothly (but not necessarily analytically!) on $z=x+iy$. Thus $f:\mathbb{C} \rightarrow \mathbb{R}$ or equivalently $f:\mathbb{R}^2 \rightarrow \mathbb{R}$. We denote by $\overline{\partial}$ and $\partial$ the usual operators
$$ \overline{\partial} = \frac{1}{2} \left( \partial_x + i \partial_y \right) $$
and
$$\partial = \frac{1}{2} \left( \partial_x - i \partial_y \right). $$
The system is:
$$\overline{\partial} n_1(z) = (1+|z|^2)^{-1} n_2(z)$$
$$\partial n_2(z) = -(1+|z|^2)^{-1} n_1(z)$$
and the question is as follows. Suppose that
$$\lim_{|z|\rightarrow \infty} |z| n_1(z) = \lim_{\|z| \rightarrow \infty} |z| n_2(z) = 0$$
Can one prove that $n_1(z)=n_2(z)=0$ if one assumes a priori that $n_1$ and $n_2$ belong to $L^p(R^2)$ for all $p>2$ (including $p=\infty$)? For this purpose one can assume that the limits above exist.
Thanks in advance for any help.
Peter Perry, University of Kentucky
This post imported from StackExchange MathOverflow at 2014-09-20 22:30 (UCT), posted by SE-user Peter Perry