From the AKNS system to the matrix Schroedinger equation with vanishing potentials: Direct and inverse problems

For 0\neq k\in\mathbb{C}^+\cup\mathbb{R}, let \boldsymbol{V}(x,k) and \boldsymbol{W}(x,k) be two size compatible matrix solutions of the linear first order system (?). Then

is independent of x\in\mathbb{R}. Similarly, for 0\neq k\in\mathbb{R} the matrix

is independent of x\in\mathbb{R}.

If for some complex n\times n matrix H_\infty and some H\in L^1(\mathbb{R})^{n\times n} the Fourier transform H_\infty+\int_{-\infty}^\infty dz\,e^{ik z}H(z) is a nonsingular matrix for every k\in\mathbb{R} and if \det H_\infty\neq0, then there exists K\in L^1(\mathbb{R})^{n\times n} such that

for every k\in\mathbb{R}.

The dual Faddeev functions e^{-ik x}G_l(x,k) and e^{ik x}G_r(x,k) are continuous in k\in\mathbb{C}^+\cup\mathbb{R}, are analytic in k\in\mathbb{C}^+, and tend to I_n as k\to\infty from within \mathbb{C}^+\cup\mathbb{R}, irrespective of the choice of x\in\mathbb{R}.

Let the generic case or the superexceptional case be satisfied and assume there do not exist any spectral singularities. Then the dual Marchenko kernels are related to the Marchenko kernels as follows:

Let the generic case or the superexceptional case be satisfied and assume there do not exist any spectral singularities. Then the dual Marchenko kernels satisfy

Let the generic case or the superexceptional case be satisfied and assume there do not exist any spectral singularities. Then the Marchenko kernels satisfy

In other words, the Marchenko kernels are \boldsymbol{\sigma}_3-hermitian.

Let (\boldsymbol{A}_r,\boldsymbol{B}_r,\boldsymbol{C}_r) be a matrix triplet satisfying (?) for which the Sylvester equation (?) has a unique solution \boldsymbol{P}_r. Then the matrix function \boldsymbol{Q}(x;t) defined by

satisfies the nonlinear evolution equation (?) in those (x,t)\in\mathbb{R}^2 for which the matrix \boldsymbol{\Pi}_r(x;t) is nonsingular.

Let (\boldsymbol{A}_l,\boldsymbol{B}_l,\boldsymbol{C}_l) be a matrix triplet satisfying (?) for which the Sylvester equation (?) has a unique solution \boldsymbol{P}_l. Then the matrix function \boldsymbol{Q}(x;t) defined by

satisfies the nonlinear evolution equation (?) in those (x,t)\in\mathbb{R}^2 for which the matrix \boldsymbol{\Pi}_l(x;t) is nonsingular.