Inverse scattering transform for the focusing nonlinear Schrödinger equation with nonzero boundary conditions

The inverse scattering transform for the focusing nonlinear Schrödinger equation with non-zero boundary conditions at infinity is presented, including the determination of the analyticity of the scattering eigenfunctions, the introduction of the appropriate Riemann surface and uniformization variable, the symmetries, discrete spectrum, asymptotics, trace formulae and the so-called theta condition, and the formulation of the inverse problem in terms of a Riemann-Hilbert problem. In addition, the general behavior of the soliton solutions is discussed, as well as the reductions to all special cases previously discussed in the literature.