# On Construction of Solutions of Evolutionary Nonlinear Schrödinger Equation

Authors: Andrey Melnikov
Journal: International Journal of Partial Differential Equations
 (2014)

---

## Abstract

In this work we present an application of a theory of vessels to a solution of the evolutionary nonlinear Schrödinger (NLS) equation. The classes of functions for which the initial value problem is solvable rely on the existence of an analogue of the inverse scattering theory for the usual NLS equation. This approach is similar to the classical approach of Zakharov-Shabath for solving evolutionary NLS equation but has an advantage of simpler formulas and new techniques and notions to understand the solutions.


---

## Body

## 1. Introduction and Background

Solutions of the nonlinear Schrödinger (NLS) evolutionary equation play a special role in the theory of PDEs and in physics (optics and water waves). This equation can be defined as follows:(1)
i
y
t
+
y
x
x
+
2
|
y
|
2
y
=
0
,
y
(
x
,
0
)
=
β
(
x
)
,
where y
=
y
(
x
,
t
) is a complex valued function of two real variables x, t and y
(
x
,
0
)
=
β
(
x
) is the initial condition, defined on an interval I
⊆
R. Notice that constant 2 used in this work can be replaced with arbitrary number by scaling of the variables. This equation has so-called integrability property, which enables the usage of the inverse scattering theory and Zakharov-Shabath system [1]. Additionally, there are also numerous numerical solutions of this equation, among which we can mention split-step (Fourier) method. In this work we are going to generalize the method of Zakharov-Shabath by introducing evolutionary NLS (regular) vessels. Although the setting we choose to work with involves bounded operators only and Hilbert space techniques, there are many classes of analytic solutions of the NLS equation obtained. It is worth noticing that one can also generalize this theory to unbounded operators (as it was done in [2] for the Sturm-Liuoville differential equation).We assume from the beginning that the initial valueβ
(
x
) is analytic on I
⊆
R function and moreover arises from a regular NLS vessel. From a recent work of the author [3] it follows that in a similar way to another completely integrable PDE, called Korteweg-de Vries, every analytic on I function can be presented using a vessel and, as a result, the evolutionary NLS equation with this initial value is solvable. In this work we show examples of how to construct different β
(
x
), which have a bounded spectrum, a spectrum on a bounded, continuous curve, or an infinite discrete spectrum. The problem of constructing of a vessel for a given β
(
x
) is identical to the inverse scattering problem of the NLS equation. To emphasize this point let us briefly discuss how the construction of the solution of (1) is performed starting from thespectral data encoded in a 2
×
2 matrix-function S
(
λ
) which is realized [4] in the following manner:
(2)
S
(
λ
)
=
I
-
B
0
*
X
0
-
1
(
λ
I
-
A
)
-
1
B
0
.
Here H is an auxiliary Hilbert space, on which there are defined bounded operators A, X
0 and the operator B
0
:
C
2
→
H. We also assume that
(3)
X
0
*
=
X
0
,
A
X
0
+
X
0
A
*
+
B
0
B
0
*
=
0
.
Then solving for B
(
x
) in (13) B
′
(
x
)
=
-
A
B
(
x
)
σ
2, for σ
2
=
(
1
/
2
)
[
1
0
0
-
1
] and defining next X
(
x
)
=
X
0
+
∫
x
0
x
‍
B
(
y
)
σ
2
B
*
(
y
)
d
y we will obtain that the function
(4)
β
(
x
)
=
[
1
0
]
B
*
X
-
1
B
[
0
1
]
is analytic (Theorem 6) on an interval, where X
(
x
) is invertible. On the other hand, X
(
x
) is invertible on an interval I including x
0 because X
0 is such. Indeed, at the definition of X
(
x
), we add to X
0 a bounded operator with bounded growth. Moreover, it turns out (Theorem 5) that the function
(5)
S
(
λ
,
x
)
=
I
-
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
maps solutions u
(
λ
,
x
) of the trivial NLS equation (24)
(6)
∂
∂
x
u
(
λ
,
x
)
-
(
-
i
λ
)
σ
2
u
(
λ
,
x
)
=
0
to solutions y
(
λ
,
x
)
=
S
(
λ
,
x
)
u
(
λ
,
x
) of the NLS equation (25)
(7)
∂
∂
x
y
(
λ
,
x
)
-
(
-
i
λ
)
σ
2
(
λ
,
x
)
+
[
0
β
(
x
)
-
β
*
(
x
)
0
]
u
(
x
,
λ
)
=
0
.
In order to obtain a solution of the evolutionary NLS (1), we evolve the operator B with respect to t as follows:
(8)
∂
∂
t
B
(
x
,
t
)
=
i
A
∂
∂
x
B
(
x
,
t
)
=
i
A
(
-
A
B
(
x
,
t
)
σ
2
)
,
B
(
x
,
0
)
=
B
(
x
)
and redefine
(9)
X
(
x
,
t
)
=
X
(
x
)
+
∫
0
t
‍
[
i
A
B
(
x
,
s
)
σ
2
B
*
(
x
,
s
)
-
i
B
(
x
,
s
)
σ
2
B
*
(
x
,
s
)
A
*
]
d
s
.
One of the most interesting results of this paper is Theorem 17, where we prove that the new
(10)
β
(
x
,
t
)
=
[
1
0
]
B
*
(
x
,
t
)
X
-
1
(
x
,
t
)
B
(
x
,
t
)
[
0
1
]
satisfies (1) and coincides with β
(
x
) for t
=
0, proving the existence of solutions for (1) with initial value.The formulas presented here enable us also to explicitly perform this construction for some basic and important cases. We show how to construct a vessel, for which the spectrum ofA lies on a curve Γ (Section 3.2 for β
(
x
) and Section 5.2 for β
(
x
,
t
)), with a discrete set (Section 3.3 for β
(
x
) and Section 5.3 for β
(
x
,
t
)). We also discuss the general construction in Sections 3.1 and 5.1. Finally we present constructions of the Solitons in Section 5.4. Much of the results presented here were originated in the work of the author and collaborators [5–8]. As we pointed out, as this paper was being processed for the publication, the result of solving the KdV equation with analytic initial condition was accepted for publication in the Journal of Math. Physics. [3], showing that a similar result is correct for the NLS equation too.


## 2. Definition of a Regular NLS Vessel and Its Properties

We define first parameters, which will be frequently used in the sequel. Another choice of these parameters generates solutions of the Sturm-Liuoville differential equation and the Kortweg-de-Vries equation (see [2, 9] for details). A similar result was presented for the setting canonical systems and their evolution [10].Definition 1.
NLS vessel parameters are defined as follows:(11)
σ
1
=
[
1
0
0
1
]
,
σ
2
=
1
2
[
1
0
0
-
1
]
,
γ
=
[
0
0
0
0
]
.Definition 2.
An NLS regular vessel is a collection of operators and spaces:(12)
V
NLS
=
(
A
,
B
(
x
)
,
X
(
x
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
,
I
)
,
where σ
1, σ
2, and γ are the NLS vessel parameters and I is a closed interval. The operators A
,
X
(
x
)
:
H
→
H, B
(
x
)
:
C
2
→
H are bounded operators for all x
∈
I. The operator X
(
x
) is invertible for all x
∈
I. The operators are subject to the following vessel conditions:
(13)
0
=
d
d
x
(
B
(
x
)
)
+
A
B
(
x
)
σ
2
,
(14)
A
X
(
x
)
+
X
(
x
)
A
*
+
B
(
x
)
B
(
x
)
*
=
0
,
(15)
d
d
x
X
(
x
)
=
B
(
x
)
σ
2
B
(
x
)
*
,
(16)
γ
*
(
x
)
=
σ
2
B
(
x
)
*
X
-
1
(
x
)
B
(
x
)
-
B
(
x
)
*
X
-
1
(
x
)
B
(
x
)
σ
2
,
(17)
X
*
(
x
)
=
X
(
x
)
.For each NLS vessel there exist three notions, which play a significant role in research.Definition 3.
Suppose that we are given an NLS vesselV
NLS. Then its transfer function S
(
λ
,
x
), thetau-functions τ
(
x
), and thebeta-function β
(
x
) are defined as follows:
(18)
S
(
λ
,
x
)
=
I
-
B
(
x
)
*
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
,
(19)
τ
(
x
)
=
det
⁡
(
X
-
1
(
x
0
)
X
(
x
)
)
,
(20)
β
(
x
)
=
[
1
0
]
γ
*
(
x
)
[
0
1
]
=
[
1
0
]
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
[
0
1
]
.The definition ofβ
(
x
) may be considered as excessive, because actually the matrix-function γ
*
(
x
) turns to be
(21)
γ
*
(
x
)
=
[
0
β
(
x
)
-
β
*
(
x
)
0
]
,
using the self-adjointness of X
(
x
). Still, we will use these two notions extensively, so we have defined both of them. Notice that S
(
λ
,
x
) is a 2
×
2 matrix-function, whose poles and singularities with respect to λ are determined by the operator A only. Since all the involved operators, appearing at the definition of S
(
λ
,
x
), are bounded, we can see that S
(
λ
,
x
) is analytic in λ for all x
∈
I with value I (=identity 2
×
2 matrix) there. As a result, we can consider its Taylor series
(22)
S
(
λ
,
x
)
=
I
-
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
=
I
-
∑
i
=
0
∞
‍
H
i
(
x
)
λ
i
+
1
σ
1
,
which is convergent at least for λ
>
∥
A
∥. Thus we define its (Markov) moments as follows.Definition 4.
nth moment of the vessel V
NLS is
(23)
H
n
(
x
)
=
B
*
(
x
)
X
-
1
(
x
)
A
n
B
(
x
)
.We will present in the next section basic properties of an NLS vesselV
NLS by exploring all the objects (the transfer, the tau, the beta functions, and the moments). We will also see that there is a standard technique for construction of such vessels.


### 2.1. The Transfer and the Tau-Function of an NLS Vessel

The main reason to consider NLS vessel is Theorem5, whose proof we present in full detail, and also it appeared in different settings in [5, 11–14]. It turns out that we can see an NLS vessel as a Bäcklund transformation of the trivial NLS equation to a more complicated one. More precisely, the transfer function S
(
λ
,
x
) of such a vessel maps solutions of the so-calledinput LDE with the spectral parameter λ
(24)
[
λ
σ
2
-
σ
1
∂
∂
x
+
γ
]
u
(
λ
,
x
)
=
0
to solutions of theoutput LDE with the same spectral parameter
(25)
[
λ
σ
2
-
σ
1
∂
∂
x
+
γ
*
]
y
(
λ
,
x
)
=
0
.
As a result the following differential equation holds:
(26)
S
x
′
=
σ
1
-
1
(
σ
2
λ
+
γ
*
)
S
-
S
σ
1
-
1
(
σ
2
λ
+
γ
)
.Theorem 5 (vessel as a Bäcklund transformation).
Suppose thatV
N
L
S is an NLS vessel, defined in (12), and suppose that u
(
x
,
λ
)
=
[
u
1
(
λ
,
x
)
u
2
(
λ
,
x
)
] is a solution of the input LDE (24)
(27)
λ
σ
2
u
(
λ
,
x
)
-
σ
1
∂
∂
x
u
(
λ
,
x
)
+
γ
u
(
λ
,
x
)
=
0
;
then y
(
λ
,
x
)
=
S
(
λ
,
x
)
u
(
λ
) is a solution of the output LDE (25)
(28)
λ
σ
2
y
(
λ
,
x
)
-
σ
1
∂
∂
x
y
(
λ
,
x
)
+
γ
*
(
x
)
y
(
λ
,
x
)
=
0
.Proof.
We plug in the expression(29)
y
(
λ
,
x
)
=
S
(
λ
,
x
)
u
(
λ
)
=
(
I
-
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
)
u
(
λ
,
x
)
into (25) for all λ
∉
spec
(
A
). Let us denote G
(
λ
,
x
)
=
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
); then, for all x
∈
I and λ
∉
spec
(
A
)
(30)
λ
σ
2
y
(
λ
,
x
)
-
σ
1
∂
∂
x
y
(
λ
,
x
)
+
γ
*
(
x
)
y
(
λ
,
x
)
=
λ
σ
2
[
(
I
-
G
(
λ
,
x
)
σ
1
)
u
(
λ
,
x
)
]
-
σ
1
∂
∂
x
[
(
I
-
G
(
λ
,
x
)
σ
1
)
u
(
λ
,
x
)
]
+
γ
*
(
x
)
(
I
-
G
(
λ
,
x
)
σ
1
u
)
(
λ
,
x
)
=
λ
σ
2
u
(
λ
,
x
)
-
λ
σ
2
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
-
σ
1
∂
∂
x
u
(
λ
,
x
)
+
σ
1
∂
∂
x
[
G
(
λ
,
x
)
]
σ
1
u
(
λ
,
x
)
-
σ
1
G
(
λ
,
x
)
σ
1
∂
∂
x
u
(
λ
,
x
)
+
γ
*
(
x
)
u
(
λ
,
x
)
-
γ
*
(
x
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
=
using
(
24
)
=
-
λ
σ
2
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
+
σ
1
∂
∂
x
[
G
(
λ
,
x
)
]
σ
1
u
(
λ
,
x
)
-
σ
1
G
(
λ
,
x
)
σ
1
∂
∂
x
u
(
λ
,
x
)
+
(
γ
*
(
x
)
-
γ
)
u
(
λ
,
x
)
-
γ
*
(
x
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
.
Let us differentiate the expression σ
1
G
(
λ
,
x
)
σ
1 using formulas (13) and (15):
(31)
σ
1
∂
∂
x
G
(
λ
,
x
)
σ
1
=
∂
∂
x
[
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
]
=
(
-
σ
2
B
*
(
x
)
A
*
-
γ
B
*
(
x
)
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
+
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
(
-
A
B
(
x
)
σ
2
-
B
(
x
)
γ
)
=
-
σ
2
B
*
(
x
)
A
*
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
A
B
(
x
)
σ
2
-
σ
1
G
(
λ
,
x
)
γ
=
using
(
14
)
for
A
*
X
-
1
(
x
)
=

-

σ
2
B
*
(
x
)

(
-
X
-
1
(
x
)
A

-

X
-
1
(
x
)
B
(
x
)
σ
1
B
*

(
x
)
X
-
1
(
x
)
)
×
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
A
B
(
x
)
σ
2

-

σ
1
G
(
λ
,
x
)
γ
=
σ
2
B
*
(
x
)
X
-
1
(
x
)
(
A
±
λ
I
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
+
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
G
(
λ
,
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
(
A
±
λ
I
)
B
(
x
)
σ
2
-
σ
1
G
(
λ
,
x
)
γ
=
-
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
λ
σ
2
G
(
λ
,
x
)
σ
1
+
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
G
(
λ
,
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
+
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
-
λ
σ
1
G
(
λ
,
x
)
σ
2
-
σ
1
G
(
λ
,
x
)
γ
.
Plugging this expression back into (25) developed earlier and performing some obvious cancellations, we will obtain
(32)
λ
σ
2
y
(
λ
,
x
)
-
σ
1
∂
∂
x
y
(
λ
,
x
)
+
γ
*
(
x
)
y
(
λ
,
x
)
=
-
λ
σ
2
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
+
σ
1
∂
∂
x
[
G
(
λ
,
x
)
]
σ
1
u
(
λ
,
x
)
-
σ
1
G
(
λ
,
x
)
σ
1
∂
∂
x
u
(
λ
,
x
)
+
(
γ
*
(
x
)
-
γ
)
u
(
λ
,
x
)
-
γ
*
(
x
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
=
(
-
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
γ
*
(
x
)
-
γ
)
u
(
λ
,
x
)
+


(
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1


-

σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
γ
*
(
x
)
-
γ
σ
2
B
*
(
x
)
X
-
1
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
+
σ
1
G
(
λ
,
x
)
×
(
σ
1
∂
∂
x
u
(
λ
,
x
)
-
λ
σ
2
u
(
λ
,
x
)
+
γ
u
(
λ
,
x
)
)
=
0
,
using linkage condition (16) and the differential equation (24).Let us present next the significance (and well-definedness) of the tau-functionτ
(
x
), defined in (19). Using vessel condition (15) X
(
x
) has the formula
(33)
X
(
x
)
=
X
(
x
0
)
+
∫
0
x
B
*
(
y
)
σ
2
B
(
y
)
d
y
,
and as a result
(34)
X
-
1
(
x
0
)
X
(
x
)
=
I
+
X
-
1
(
x
0
)
∫
x
0
x
B
*
(
y
)
σ
2
B
(
y
)
d
y
.
Since σ
2 has rank 2, this expression is of the form I
+
T, for a trace-class operator T, and since X
0 is an invertible operator, there exists a nontrivial interval (of length at least 1
/
∥
X
0
-
1
∥) on which X
(
x
) and τ
(
x
) are defined. Recall [15] that a function F
(
x
) from (
a
,
b
) into the group G (the set of bounded invertible operators on H of the form I
+
T, for a trace-class operator T) is said to be differentiable if F
(
x
)
-
I isdifferentiable as a map into the trace-class operators. In our case,
(35)
d
d
x
(
X
-
1
(
x
0
)
X
(
x
)
)
=
X
-
1
(
x
0
)
d
d
x
X
(
x
)
=
X
-
1
(
x
0
)
B
(
x
)
σ
2
B
*
(
x
)
exists in trace-class norm. Israel Gohberg and Mark Krein [15, formula 1.14 on p. 163] proved that if X
-
1
(
x
0
)
X
(
x
) is a differentiable function into G, then τ
(
x
)
=
sp
(
X
-
1
(
x
0
)
X
(
x
)
) (sp stands for the trace in the infinite dimensional space) is a differentiable map into C
* with
(36)
τ
′
τ
=
sp
(
(
X
-
1
(
x
0
)
X
(
x
)
)
-
1
d
d
x
(
X
-
1
(
x
0
)
X
(
x
)
)
)
=
sp
(
X
(
x
)
′
X
-
1
(
x
)
)
=
sp
(
B
(
x
)
σ
2
B
*
(
x
)
X
-
1
(
x
)
)
=
tr
⁡
(
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
)
.
The most important question, related to this theory, is what classes of β
(
x
) are obtained. This question is answered in the next theorem.Theorem 6.
Suppose thatV
N
L
S is an NLS vessel, defined in (12). Then the function β
(
x
) is analytic on the interval I.Proof.
Notice that from formula (13) it follows the operator B
(
x
) is analytic in x. Since X
(
x
) is invertible on I, the operator X
-
1
(
x
) is also analytic in x using the formula
(37)
d
d
x
X
-
1
(
x
)
=
-
X
-
1
(
x
)
B
(
x
)
σ
2
B
*
(
x
)
X
-
1
(
x
)
.
Thus β
(
x
), defined by (20), is analytic on I.Theorem 7 (permanency conditions).
Suppose that we are given an NLS regular vesselV
N
L
S; then(1)
if the Lyapunov equation (14) holds for a fixed x
0
∈
I, then it holds for all x
∈
I,
(2)
ifS
*
(
-
λ
¯
,
x
0
)
σ
1
S
(
λ
,
x
0
)
=
σ
1, then
(38)
S
*
(
-
λ
¯
,
x
)
σ
1
S
(
λ
,
x
)
=
σ
1
,for all x
∈
I, (3)
det
⁡
S
(
λ
,
x
)
=
det
⁡
S
(
λ
,
x
0
) for all x
0, x
∈
I and all points of λ-analyticity of S
(
λ
,
x
).Proof.
Differentiating Lyapunov equation and using vessel conditions (13) and (15) we will obtain that
(39)
A
d
d
x
X
(
x
)
+
d
d
x
X
(
x
)
A
*
+
d
d
x
[
B
(
x
)
]
B
*
(
x
)
+
B
(
x
)
d
d
x
B
*
(
x
)
=
A
B
(
x
)
σ
2
B
*
(
x
)
+
B
(
x
)
σ
2
B
*
(
x
)
A
*
+
(
-
A
B
(
x
)
σ
2
)
B
*
(
x
)
+
B
(
x
)
(
-
σ
2
B
*
A
*
)
=
0
,
from where the permanency of the Lyapunov equation follows. Similarly, differentiating S
*
(
-
λ
¯
,
x
)
σ
1
S
(
λ
,
x
) we will obtain zero and the permanency of (38) follows. For the last statement, using (26) we calculate for λ
∉
spec
(
A
)
(40)
(
∂
/
∂
x
)
det
⁡
S
(
λ
,
x
)
det
⁡
S
(
λ
,
x
)
=
tr
⁡
(
S
-
1
(
λ
,
x
)
∂
∂
x
S
(
λ
,
x
)
)
=
tr
⁡
(
S
-
1
(
λ
,
x
)
[
(
σ
2
λ

+

γ
*
(
x
)
)
S
(
λ
,
x
)

-

S
(
λ
,
x
)
(
σ
2
λ

+

γ
)
]
)
=
tr
⁡
(
σ
2
λ
+
γ
*
(
x
)
-
(
σ
2
λ
+
γ
)
)
=
tr
⁡
(
γ
*
(
x
)
-
γ
(
x
)
)
=
tr
⁡
(
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2

-

σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
)

=

0
.We will not be using the last property in this statement, but we find it interesting by itself.


### 2.2. Moments

The following properties of the momentsH
(
x
) of an NLS vessel are immediate from their definition as the coefficients of 1
/
λ
n
+
1 at the Taylor series of S
(
λ
,
x
).Theorem 8.
LetV
N
L
S be an NLS vessel. Then its moments satisfy the following equations:
(41)
σ
1
-
1
σ
2
H
n
+
1
-
H
n
+
1
σ
2
σ
1
-
1
=
d
d
x
H
n
-
σ
1
-
1
γ
*
H
n
+
H
n
γ
σ
1
-
1
,
(42)
H
n
+
1
+
(
-
1
)
n
H
n
+
1
*
=
∑
j
=
0
n
‍
(
-
1
)
j
+
1
H
n
-
j
σ
1
H
j
*
.Proof.
Plugging the Taylor expansion formula into (26) and equating the coefficients of 1
/
λ
n
=
1 we will obtain the first formula (41). The second formula (42) is obtained in the same manner from (42).It turns out that using only the differential equations (41) one can create a recursive formula for the entries H
n
=
[
H
n
11
H
n
12
H
n
21
H
n
22
] as follows:
(43)
H
n
21
=
-
d
d
x
(
H
n
-
1
21
)
-
β
*
H
n
-
1
11
,
H
n
12
=
d
d
x
(
H
n
-
1
12
)
-
β
H
n
-
1
22
,
d
d
x
(
H
n
11
)
=
β
H
n
21
,
d
d
x
(
H
n
22
)
=
-
β
*
H
n
12
,
while the first moment H
0 is found from linkage condition (16)
(44)
H
0
=
[
H
0
11
β
β
*
H
0
22
]
,
and the entries H
0
11
,
H
0
22 are found using two last equations of (43):
(45)
d
d
x
(
H
0
11
)
=
β
H
0
21
=
β
β
*
,
d
d
x
(
H
0
22
)
=
-
β
*
H
0
12
=
-
β
*
β
.
As a result, we obtain that the formula for the tau-function (36) becomes
(46)
τ
′
τ
=
tr
⁡
(
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
)
=
tr
⁡
(
σ
2
H
0
)
=
1
2
(
H
0
11
-
H
0
22
)
=
1
2
(
H
0
11
(
0
)
-
H
0
22
(
0
)
)
+
∫
x
0
x
‍
|
β
(
y
)
|
2
d
y
.
For example, if we choose the initial parameters H
0
11
(
0
)
,
H
0
22
(
0
) to be equal, we will obtain that under normalization τ
(
x
0
)
=
1
(47)
τ
(
x
)
=
e
∫
x
0
x
‍
∫
x
0
t
‍
|
β
(
y
)
|
2
d
y
d
t
.


## 2.1. The Transfer and the Tau-Function of an NLS Vessel

The main reason to consider NLS vessel is Theorem5, whose proof we present in full detail, and also it appeared in different settings in [5, 11–14]. It turns out that we can see an NLS vessel as a Bäcklund transformation of the trivial NLS equation to a more complicated one. More precisely, the transfer function S
(
λ
,
x
) of such a vessel maps solutions of the so-calledinput LDE with the spectral parameter λ
(24)
[
λ
σ
2
-
σ
1
∂
∂
x
+
γ
]
u
(
λ
,
x
)
=
0
to solutions of theoutput LDE with the same spectral parameter
(25)
[
λ
σ
2
-
σ
1
∂
∂
x
+
γ
*
]
y
(
λ
,
x
)
=
0
.
As a result the following differential equation holds:
(26)
S
x
′
=
σ
1
-
1
(
σ
2
λ
+
γ
*
)
S
-
S
σ
1
-
1
(
σ
2
λ
+
γ
)
.Theorem 5 (vessel as a Bäcklund transformation).
Suppose thatV
N
L
S is an NLS vessel, defined in (12), and suppose that u
(
x
,
λ
)
=
[
u
1
(
λ
,
x
)
u
2
(
λ
,
x
)
] is a solution of the input LDE (24)
(27)
λ
σ
2
u
(
λ
,
x
)
-
σ
1
∂
∂
x
u
(
λ
,
x
)
+
γ
u
(
λ
,
x
)
=
0
;
then y
(
λ
,
x
)
=
S
(
λ
,
x
)
u
(
λ
) is a solution of the output LDE (25)
(28)
λ
σ
2
y
(
λ
,
x
)
-
σ
1
∂
∂
x
y
(
λ
,
x
)
+
γ
*
(
x
)
y
(
λ
,
x
)
=
0
.Proof.
We plug in the expression(29)
y
(
λ
,
x
)
=
S
(
λ
,
x
)
u
(
λ
)
=
(
I
-
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
)
u
(
λ
,
x
)
into (25) for all λ
∉
spec
(
A
). Let us denote G
(
λ
,
x
)
=
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
); then, for all x
∈
I and λ
∉
spec
(
A
)
(30)
λ
σ
2
y
(
λ
,
x
)
-
σ
1
∂
∂
x
y
(
λ
,
x
)
+
γ
*
(
x
)
y
(
λ
,
x
)
=
λ
σ
2
[
(
I
-
G
(
λ
,
x
)
σ
1
)
u
(
λ
,
x
)
]
-
σ
1
∂
∂
x
[
(
I
-
G
(
λ
,
x
)
σ
1
)
u
(
λ
,
x
)
]
+
γ
*
(
x
)
(
I
-
G
(
λ
,
x
)
σ
1
u
)
(
λ
,
x
)
=
λ
σ
2
u
(
λ
,
x
)
-
λ
σ
2
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
-
σ
1
∂
∂
x
u
(
λ
,
x
)
+
σ
1
∂
∂
x
[
G
(
λ
,
x
)
]
σ
1
u
(
λ
,
x
)
-
σ
1
G
(
λ
,
x
)
σ
1
∂
∂
x
u
(
λ
,
x
)
+
γ
*
(
x
)
u
(
λ
,
x
)
-
γ
*
(
x
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
=
using
(
24
)
=
-
λ
σ
2
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
+
σ
1
∂
∂
x
[
G
(
λ
,
x
)
]
σ
1
u
(
λ
,
x
)
-
σ
1
G
(
λ
,
x
)
σ
1
∂
∂
x
u
(
λ
,
x
)
+
(
γ
*
(
x
)
-
γ
)
u
(
λ
,
x
)
-
γ
*
(
x
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
.
Let us differentiate the expression σ
1
G
(
λ
,
x
)
σ
1 using formulas (13) and (15):
(31)
σ
1
∂
∂
x
G
(
λ
,
x
)
σ
1
=
∂
∂
x
[
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
]
=
(
-
σ
2
B
*
(
x
)
A
*
-
γ
B
*
(
x
)
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
+
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
(
-
A
B
(
x
)
σ
2
-
B
(
x
)
γ
)
=
-
σ
2
B
*
(
x
)
A
*
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
A
B
(
x
)
σ
2
-
σ
1
G
(
λ
,
x
)
γ
=
using
(
14
)
for
A
*
X
-
1
(
x
)
=

-

σ
2
B
*
(
x
)

(
-
X
-
1
(
x
)
A

-

X
-
1
(
x
)
B
(
x
)
σ
1
B
*

(
x
)
X
-
1
(
x
)
)
×
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
A
B
(
x
)
σ
2

-

σ
1
G
(
λ
,
x
)
γ
=
σ
2
B
*
(
x
)
X
-
1
(
x
)
(
A
±
λ
I
)
(
λ
I
-
A
)
-
1
B
(
x
)
σ
1
+
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
G
(
λ
,
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
(
λ
I
-
A
)
-
1
(
A
±
λ
I
)
B
(
x
)
σ
2
-
σ
1
G
(
λ
,
x
)
γ
=
-
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
λ
σ
2
G
(
λ
,
x
)
σ
1
+
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
G
(
λ
,
x
)
σ
1
-
γ
G
(
λ
,
x
)
σ
1
-
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
G
(
λ
,
x
)
σ
1
+
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2
-
λ
σ
1
G
(
λ
,
x
)
σ
2
-
σ
1
G
(
λ
,
x
)
γ
.
Plugging this expression back into (25) developed earlier and performing some obvious cancellations, we will obtain
(32)
λ
σ
2
y
(
λ
,
x
)
-
σ
1
∂
∂
x
y
(
λ
,
x
)
+
γ
*
(
x
)
y
(
λ
,
x
)
=
-
λ
σ
2
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
+
σ
1
∂
∂
x
[
G
(
λ
,
x
)
]
σ
1
u
(
λ
,
x
)
-
σ
1
G
(
λ
,
x
)
σ
1
∂
∂
x
u
(
λ
,
x
)
+
(
γ
*
(
x
)
-
γ
)
u
(
λ
,
x
)
-
γ
*
(
x
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
=
(
-
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
γ
*
(
x
)
-
γ
)
u
(
λ
,
x
)
+


(
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1


-

σ
1
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
1
+
γ
*
(
x
)
-
γ
σ
2
B
*
(
x
)
X
-
1
)
G
(
λ
,
x
)
σ
1
u
(
λ
,
x
)
+
σ
1
G
(
λ
,
x
)
×
(
σ
1
∂
∂
x
u
(
λ
,
x
)
-
λ
σ
2
u
(
λ
,
x
)
+
γ
u
(
λ
,
x
)
)
=
0
,
using linkage condition (16) and the differential equation (24).Let us present next the significance (and well-definedness) of the tau-functionτ
(
x
), defined in (19). Using vessel condition (15) X
(
x
) has the formula
(33)
X
(
x
)
=
X
(
x
0
)
+
∫
0
x
B
*
(
y
)
σ
2
B
(
y
)
d
y
,
and as a result
(34)
X
-
1
(
x
0
)
X
(
x
)
=
I
+
X
-
1
(
x
0
)
∫
x
0
x
B
*
(
y
)
σ
2
B
(
y
)
d
y
.
Since σ
2 has rank 2, this expression is of the form I
+
T, for a trace-class operator T, and since X
0 is an invertible operator, there exists a nontrivial interval (of length at least 1
/
∥
X
0
-
1
∥) on which X
(
x
) and τ
(
x
) are defined. Recall [15] that a function F
(
x
) from (
a
,
b
) into the group G (the set of bounded invertible operators on H of the form I
+
T, for a trace-class operator T) is said to be differentiable if F
(
x
)
-
I isdifferentiable as a map into the trace-class operators. In our case,
(35)
d
d
x
(
X
-
1
(
x
0
)
X
(
x
)
)
=
X
-
1
(
x
0
)
d
d
x
X
(
x
)
=
X
-
1
(
x
0
)
B
(
x
)
σ
2
B
*
(
x
)
exists in trace-class norm. Israel Gohberg and Mark Krein [15, formula 1.14 on p. 163] proved that if X
-
1
(
x
0
)
X
(
x
) is a differentiable function into G, then τ
(
x
)
=
sp
(
X
-
1
(
x
0
)
X
(
x
)
) (sp stands for the trace in the infinite dimensional space) is a differentiable map into C
* with
(36)
τ
′
τ
=
sp
(
(
X
-
1
(
x
0
)
X
(
x
)
)
-
1
d
d
x
(
X
-
1
(
x
0
)
X
(
x
)
)
)
=
sp
(
X
(
x
)
′
X
-
1
(
x
)
)
=
sp
(
B
(
x
)
σ
2
B
*
(
x
)
X
-
1
(
x
)
)
=
tr
⁡
(
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
)
.
The most important question, related to this theory, is what classes of β
(
x
) are obtained. This question is answered in the next theorem.Theorem 6.
Suppose thatV
N
L
S is an NLS vessel, defined in (12). Then the function β
(
x
) is analytic on the interval I.Proof.
Notice that from formula (13) it follows the operator B
(
x
) is analytic in x. Since X
(
x
) is invertible on I, the operator X
-
1
(
x
) is also analytic in x using the formula
(37)
d
d
x
X
-
1
(
x
)
=
-
X
-
1
(
x
)
B
(
x
)
σ
2
B
*
(
x
)
X
-
1
(
x
)
.
Thus β
(
x
), defined by (20), is analytic on I.Theorem 7 (permanency conditions).
Suppose that we are given an NLS regular vesselV
N
L
S; then(1)
if the Lyapunov equation (14) holds for a fixed x
0
∈
I, then it holds for all x
∈
I,
(2)
ifS
*
(
-
λ
¯
,
x
0
)
σ
1
S
(
λ
,
x
0
)
=
σ
1, then
(38)
S
*
(
-
λ
¯
,
x
)
σ
1
S
(
λ
,
x
)
=
σ
1
,for all x
∈
I, (3)
det
⁡
S
(
λ
,
x
)
=
det
⁡
S
(
λ
,
x
0
) for all x
0, x
∈
I and all points of λ-analyticity of S
(
λ
,
x
).Proof.
Differentiating Lyapunov equation and using vessel conditions (13) and (15) we will obtain that
(39)
A
d
d
x
X
(
x
)
+
d
d
x
X
(
x
)
A
*
+
d
d
x
[
B
(
x
)
]
B
*
(
x
)
+
B
(
x
)
d
d
x
B
*
(
x
)
=
A
B
(
x
)
σ
2
B
*
(
x
)
+
B
(
x
)
σ
2
B
*
(
x
)
A
*
+
(
-
A
B
(
x
)
σ
2
)
B
*
(
x
)
+
B
(
x
)
(
-
σ
2
B
*
A
*
)
=
0
,
from where the permanency of the Lyapunov equation follows. Similarly, differentiating S
*
(
-
λ
¯
,
x
)
σ
1
S
(
λ
,
x
) we will obtain zero and the permanency of (38) follows. For the last statement, using (26) we calculate for λ
∉
spec
(
A
)
(40)
(
∂
/
∂
x
)
det
⁡
S
(
λ
,
x
)
det
⁡
S
(
λ
,
x
)
=
tr
⁡
(
S
-
1
(
λ
,
x
)
∂
∂
x
S
(
λ
,
x
)
)
=
tr
⁡
(
S
-
1
(
λ
,
x
)
[
(
σ
2
λ

+

γ
*
(
x
)
)
S
(
λ
,
x
)

-

S
(
λ
,
x
)
(
σ
2
λ

+

γ
)
]
)
=
tr
⁡
(
σ
2
λ
+
γ
*
(
x
)
-
(
σ
2
λ
+
γ
)
)
=
tr
⁡
(
γ
*
(
x
)
-
γ
(
x
)
)
=
tr
⁡
(
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
σ
2

-

σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
)

=

0
.We will not be using the last property in this statement, but we find it interesting by itself.


## 2.2. Moments

The following properties of the momentsH
(
x
) of an NLS vessel are immediate from their definition as the coefficients of 1
/
λ
n
+
1 at the Taylor series of S
(
λ
,
x
).Theorem 8.
LetV
N
L
S be an NLS vessel. Then its moments satisfy the following equations:
(41)
σ
1
-
1
σ
2
H
n
+
1
-
H
n
+
1
σ
2
σ
1
-
1
=
d
d
x
H
n
-
σ
1
-
1
γ
*
H
n
+
H
n
γ
σ
1
-
1
,
(42)
H
n
+
1
+
(
-
1
)
n
H
n
+
1
*
=
∑
j
=
0
n
‍
(
-
1
)
j
+
1
H
n
-
j
σ
1
H
j
*
.Proof.
Plugging the Taylor expansion formula into (26) and equating the coefficients of 1
/
λ
n
=
1 we will obtain the first formula (41). The second formula (42) is obtained in the same manner from (42).It turns out that using only the differential equations (41) one can create a recursive formula for the entries H
n
=
[
H
n
11
H
n
12
H
n
21
H
n
22
] as follows:
(43)
H
n
21
=
-
d
d
x
(
H
n
-
1
21
)
-
β
*
H
n
-
1
11
,
H
n
12
=
d
d
x
(
H
n
-
1
12
)
-
β
H
n
-
1
22
,
d
d
x
(
H
n
11
)
=
β
H
n
21
,
d
d
x
(
H
n
22
)
=
-
β
*
H
n
12
,
while the first moment H
0 is found from linkage condition (16)
(44)
H
0
=
[
H
0
11
β
β
*
H
0
22
]
,
and the entries H
0
11
,
H
0
22 are found using two last equations of (43):
(45)
d
d
x
(
H
0
11
)
=
β
H
0
21
=
β
β
*
,
d
d
x
(
H
0
22
)
=
-
β
*
H
0
12
=
-
β
*
β
.
As a result, we obtain that the formula for the tau-function (36) becomes
(46)
τ
′
τ
=
tr
⁡
(
σ
2
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
)
=
tr
⁡
(
σ
2
H
0
)
=
1
2
(
H
0
11
-
H
0
22
)
=
1
2
(
H
0
11
(
0
)
-
H
0
22
(
0
)
)
+
∫
x
0
x
‍
|
β
(
y
)
|
2
d
y
.
For example, if we choose the initial parameters H
0
11
(
0
)
,
H
0
22
(
0
) to be equal, we will obtain that under normalization τ
(
x
0
)
=
1
(47)
τ
(
x
)
=
e
∫
x
0
x
‍
∫
x
0
t
‍
|
β
(
y
)
|
2
d
y
d
t
.


## 3. Examples of Constructions of Regular NLS Vessels

### 3.1. Construction of an NLS Vessel from a Realized Function

Construction of an NLS vessel from the scattering data (initial conditionS
(
x
0
,
λ
)) can be performed as follows. Suppose that the function S
(
λ
,
x
0
) is realized [4] as follows:
(48)
S
(
x
0
,
λ
)
=
I
-
B
0
X
0
-
1
(
λ
I
-
A
)
-
1
B
0
σ
1
,
satisfying additionally A
X
0
+
X
0
A
*
+
B
0
B
0
*
=
0 and X
0
*
=
X
0. These two conditions are required by the permanency conditions (Theorem 7) and will hold for all x by the construction. Then define B
(
x
) as the unique solution of (13) with initial value B
0:
(49)
0
=
d
d
x
(
B
(
x
)
)
+
A
B
(
x
)
σ
2
,
B
(
0
)
=
B
0
.
Then define
(50)
X
(
x
)
=
X
0
+
∫
x
0
x
‍
B
(
y
)
σ
2
B
*
(
y
)
d
y
,
and define γ
*
(
x
) (and hence β
(
x
)) using (16). It is straightforward to check that all vessel conditions hold.Theorem 9.
Suppose that we are given a function(51)
S
(
x
0
,
λ
)
=
I
-
B
0
X
0
-
1
(
λ
I
-
A
)
-
1
B
0
,
where using an auxiliary Hilbert space H the operators act as follows
(52)
A
,
X
0
:
H
⟶
H
,
B
0
:
C
2
⟶
H
,
and satisfy A
X
0
+
X
0
A
*
+
B
0
B
0
*
=
0 and X
0
*
=
X
0. Define a collection (12) using the formulas (49), (50), and (16)
(53)
V
N
L
S
=
(
A
,
B
(
x
)
,
X
(
x
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
)
;
then this collection is an NLS regular vessel existing on an interval I on which the operator X
(
x
) is invertible.We show two special examples, arising from this construction for special cases of the choice ofH.


### 3.2. Construction of a Regular NLS Vessel with the Spectrum on a CurveΓ

Let us fix a bounded continuous curveΓ
=
{
μ
(
t
)
∣
t
∈
[
a
,
b
]
} (i.e., μ
(
t
) is continuous) and define H
=
L
2
(
Γ
)
=
{
f
(
μ
)
∣
∫
a
b
‍
|
f
(
μ
(
t
)
)
|
2
d
t
<
∞
}. We suppose without loss of generality that x
0
=
0 and we construct a vessel, existing on an interval I including zero.LetA
=
2
μ; that is, it is a bounded operator acting within L
2
(
Γ
). Solving differential equation (13) we find that
(54)
B
(
x
)
=
[
e
-
μ
x
b
1
(
μ
)
e
μ
x
b
2
(
μ
)
]
,
b
1
(
μ
)
,
b
2
(
μ
)
∈
H
.
Notice that the adjoint B
*
(
x
)
:
H
→
C
2 is defined as follows:
(55)
B
*
(
x
)
f
(
μ
)
=
∫
a
b
‍
[
e
-
μ
¯
(
t
)
x
b
¯
1
(
μ
(
t
)
)
e
μ
¯
(
t
)
x
b
¯
2
(
μ
(
t
)
)
]
f
(
μ
(
t
)
)
d
t
.
It is a well-defined operator, because by the Cauchy-Schwartz inequality the integrals are finite.It turns out that the operatorX
(
x
) can be also explicitly defined as follows for any f
∈
H. Notice that X
(
x
)
f is a new function at H, for which we present its value at the point μ
=
μ
(
t
)
∈
Γ:
(56)
(
X
(
x
)
f
)
(
μ
)
=
-
1
2
∫
a
b
‍
[
b
1
(
μ
)
b
¯
1
(
μ
(
s
)
)
e
-
(
μ
+
μ
¯
(
s
)
)
x
μ
+
μ
¯
(
s
)
+
b
2
(
μ
)
b
¯
2
(
μ
(
s
)
)
e
(
μ
+
μ
¯
(
s
)
)
x
μ
+
μ
¯
(
s
)
]
f
(
μ
(
s
)
)
d
s
.
It is almost immediate that such an operator satisfies conditions (14) and (15). For example, for the Lyapunov equation, the expression (
A
X
(
x
)
f
)
(
μ
)
+
(
X
(
x
)
A
*
f
)
(
μ
) is obtained by multiplying the expression under the integral in (
X
(
x
)
f
)
(
μ
) by 2
(
μ
+
μ
¯
(
s
)
). When it is canceled with the denominator, we obtain (
-
B
(
x
)
σ
2
B
*
(
x
)
f
)
(
μ
). Similarly, differentiating (
X
(
x
)
f
)
(
μ
) we cancel the denominator and switch the sign of the first term, so that (15) holds. There is only one problem, arising from the zero of the denominator μ
(
t
)
+
μ
¯
(
s
)
=
0. It can be overcome by requiring that either Γ
∩
(
-
Γ
*
)
=
∅ or b
1
,
b
2 are Hölder functions and b
1
(
μ
(
t
)
)
b
¯
1
(
μ
(
s
)
)
+
b
2
(
μ
(
t
)
)
b
¯
2
(
μ
(
s
)
)
=
0, whenever μ
(
t
)
+
μ
¯
(
s
)
=
0 (so that the zero of the denominator is canceled by the numerator).We will make the following assumption on the curve to simplify arguments.Definition 10.
Suppose thatΓ
∩
(
-
Γ
*
)
=
∅, where -
Γ
*
=
{
-
μ
¯
(
t
)
∣
t
∈
[
a
,
b
]
}.Then investigating the formula forX
(
x
) we find that for each f
∈
H
(57)
(
X
(
x
)
f
)
(
μ
)
=
-
b
1
(
μ
)
e
-
μ
x
2
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
-
b
2
(
μ
)
e
μ
x
2
∫
a
b
‍
b
¯
2
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
.
Notice that this expression can be presented as
(58)
X
(
x
)
f
=
b
1
e
-
μ
x
c
1
(
μ
)
+
b
2
e
μ
x
c
2
(
μ
)
,
where the functions
(59)
c
1
(
μ
)
=
-
1
2
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
,
c
2
(
μ
)
=
-
1
2
∫
a
b
‍
b
¯
2
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
are analytic functions of μ in C
∖
(
-
Γ
*
). Notice also that Γ
⊆
C
∖
(
-
Γ
*
) by the assumption on Γ. Thus the functions c
1
(
μ
)
,
c
2
(
μ
) can have only isolated zeros on Γ or to be identically zero.To simplify a proof thatX
(
x
) is an invertible operator, let us assume that b
1
=
b
2 and that they are an analytic function of μ. Then the equality X
(
x
)
f
=
0 is equivalent to
(60)
e
-
μ
x
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
+
e
μ
x
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
=
0
.
Taking here μ around infinity so that e
-
μ
x is big in absolute value and e
μ
x is small we obtain that ∫
a
b
(
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
/
(
μ
+
μ
¯
(
s
)
)
)
f
(
μ
(
s
)
)
d
s
=
0. Conversely, taking e
μ
x big and e
-
μ
x small the second expression ∫
a
b
(
‍
b
¯
1
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
/
(
μ
+
μ
¯
(
s
)
)
)
f
(
μ
(
s
)
)
d
s
=
0 must vanish too. Finally, considering values of μ
→
∞, we can develop into Taylor series
(61)
1
μ
+
μ
(
s
)
=
1
μ
∑
‍
(
-
1
)
n
μ
n
(
s
)
μ
n
and plugging it back, the moments of the function b
1
(
μ
(
s
)
)
e
±
μ
(
s
)
x
f
(
μ
(
s
)
) must be zero, for all s, or that the function b
1
(
μ
(
s
)
)
e
±
μ
(
s
)
x
f
(
μ
(
s
)
) is orthogonal to a dense subset {
μ
n
(
s
)
} of L
2
(
Γ
). Thus f
(
μ
(
s
)
) is identically zero and X
(
x
) is invertible for all x.Lemma 11.
IfΓ is a bounded continuous curve, satisfying Γ
∩
(
-
Γ
*
)
=
∅, and the operator X
(
x
) defined in (57) using analytic functions b
1
(
μ
)
=
b
2
(
μ
), then X
(
x
) is bounded and invertible for all x
∈
R.Finally, we obtain the following.Theorem 12.
Suppose thatΓ is a bounded continuous curve, satisfying Γ
∩
(
-
Γ
*
)
=
∅. Define a collection (12)
(62)
V
N
L
S
=
(
A
,
B
(
x
)
,
X
(
x
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
)
,
where H
=
L
2
(
Γ
), A
=
2
μ, X
(
x
), and B
(
x
) are defined by (57) and by (54) for |
b
1
(
μ
)
|
2
+
|
b
2
(
μ
)
|
2
≠
0. Then the collection V
N
L
S is an NLS regular vessel existing on I
=
R.Proof.
By the construction the operators are well defined and satisfy the vessel condition. Since the operatorX
(
x
) is invertible, for all x
∈
R, we obtain that I
=
R.


### 3.3. Construction of a Regular NLS Vessel with a Discrete Spectrum

In this section we want to show how to construct a vessel, whose spectrum is a given set of numbersD
=
{
2
μ
n
}. We define H
=
l
2, which is the set of infinite sequences, summable in absolute value. Now we can imitate the construction of the vessel on a curve Γ using discretization as follows. We define first the operator A
=
diag
⁡
(
2
μ
n
) and for this operator to be bounded, we have to demand that the sequence D be bounded from below and from above as follows.Definition 13.
The sequenceD is calledbounded if there exists M
>
0 such that |
μ
n
|
<
M for μ
n
∈
D. It is calledseparated from zero if there exists m
>
0 such that 0
<
m
<
|
μ
n
| for all μ
n
∈
D.In the next definition we think ofX
(
x
) as an infinite matrix with the entry m
,
n denoted by [
X
(
x
)
]
n
,
m
(63)
B
(
x
)
=
[
e
-
μ
n
x
b
1
n
e
μ
n
x
b
2
n
]
,
{
b
1
n
}
,
{
b
2
n
}
∈
H
,
[
X
(
x
)
]
n
,
m
=
-
b
1
n
b
¯
1
m
e
-
(
μ
n
+
μ
¯
m
)
x
+
b
2
n
b
¯
2
m
e
(
μ
n
+
μ
¯
m
)
x
2
(
μ
n
+
μ
¯
m
)
.
We also assume that [
X
(
x
)
]
n
,
m
=
(
(
b
1
n
b
¯
1
m
-
b
2
n
b
¯
2
m
)
/
2
)
x, whenever μ
n
+
μ
¯
m
=
0. The fact that B
(
x
) is a well-defined operator is immediate from the definition. Indeed, since the sequence μ
n is bounded the term e
±
μ
n
x is uniformly bounded in absolute value by e
M
x. The fact that the operator X
(
x
) is bounded also easily follows from the definitions and from the assumption on D:
(64)
∥
X
(
x
)
∥
≤
e
2
M
x
2
∥
[
|
b
1
n
b
¯
1
m
|
+
|
b
2
n
b
¯
2
m
|
μ
n
+
μ
¯
m
]
∥
≤
e
2
M
x
2
(
∥
b
1
n
∥
2
+
∥
b
2
n
∥
2
)
<
∞
.
Under condition that X
0
=
X
(
0
) is invertible, there exists a nontrivial interval (of length at least 1
/
∥
X
0
-
1
∥) on which X
(
x
) is invertible too. Thus we obtain the following theorem.Theorem 14.
Suppose that we are given a bounded, separated from zero set{
μ
n
}, and two l
2 sequences {
b
1
n
}
,
{
b
2
n
}. Define a collection
(65)
V
N
L
S
=
(
A
,
B
(
x
)
,
X
(
x
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
)
,
where H
=
l
2, A
=
diag
⁡
(
2
μ
n
), X
(
x
), and B
(
x
) are defined by (63) for |
b
1
n
|
+
|
b
2
n
|
≠
0. Suppose that the operator X
(
0
) is invertible. Then the collection V
N
L
S is an NLS regular vessel existing on a nontrivial interval I including zero of length at least 1
/
∥
X
0
-
1
∥.


## 3.1. Construction of an NLS Vessel from a Realized Function

Construction of an NLS vessel from the scattering data (initial conditionS
(
x
0
,
λ
)) can be performed as follows. Suppose that the function S
(
λ
,
x
0
) is realized [4] as follows:
(48)
S
(
x
0
,
λ
)
=
I
-
B
0
X
0
-
1
(
λ
I
-
A
)
-
1
B
0
σ
1
,
satisfying additionally A
X
0
+
X
0
A
*
+
B
0
B
0
*
=
0 and X
0
*
=
X
0. These two conditions are required by the permanency conditions (Theorem 7) and will hold for all x by the construction. Then define B
(
x
) as the unique solution of (13) with initial value B
0:
(49)
0
=
d
d
x
(
B
(
x
)
)
+
A
B
(
x
)
σ
2
,
B
(
0
)
=
B
0
.
Then define
(50)
X
(
x
)
=
X
0
+
∫
x
0
x
‍
B
(
y
)
σ
2
B
*
(
y
)
d
y
,
and define γ
*
(
x
) (and hence β
(
x
)) using (16). It is straightforward to check that all vessel conditions hold.Theorem 9.
Suppose that we are given a function(51)
S
(
x
0
,
λ
)
=
I
-
B
0
X
0
-
1
(
λ
I
-
A
)
-
1
B
0
,
where using an auxiliary Hilbert space H the operators act as follows
(52)
A
,
X
0
:
H
⟶
H
,
B
0
:
C
2
⟶
H
,
and satisfy A
X
0
+
X
0
A
*
+
B
0
B
0
*
=
0 and X
0
*
=
X
0. Define a collection (12) using the formulas (49), (50), and (16)
(53)
V
N
L
S
=
(
A
,
B
(
x
)
,
X
(
x
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
)
;
then this collection is an NLS regular vessel existing on an interval I on which the operator X
(
x
) is invertible.We show two special examples, arising from this construction for special cases of the choice ofH.


## 3.2. Construction of a Regular NLS Vessel with the Spectrum on a CurveΓ

Let us fix a bounded continuous curveΓ
=
{
μ
(
t
)
∣
t
∈
[
a
,
b
]
} (i.e., μ
(
t
) is continuous) and define H
=
L
2
(
Γ
)
=
{
f
(
μ
)
∣
∫
a
b
‍
|
f
(
μ
(
t
)
)
|
2
d
t
<
∞
}. We suppose without loss of generality that x
0
=
0 and we construct a vessel, existing on an interval I including zero.LetA
=
2
μ; that is, it is a bounded operator acting within L
2
(
Γ
). Solving differential equation (13) we find that
(54)
B
(
x
)
=
[
e
-
μ
x
b
1
(
μ
)
e
μ
x
b
2
(
μ
)
]
,
b
1
(
μ
)
,
b
2
(
μ
)
∈
H
.
Notice that the adjoint B
*
(
x
)
:
H
→
C
2 is defined as follows:
(55)
B
*
(
x
)
f
(
μ
)
=
∫
a
b
‍
[
e
-
μ
¯
(
t
)
x
b
¯
1
(
μ
(
t
)
)
e
μ
¯
(
t
)
x
b
¯
2
(
μ
(
t
)
)
]
f
(
μ
(
t
)
)
d
t
.
It is a well-defined operator, because by the Cauchy-Schwartz inequality the integrals are finite.It turns out that the operatorX
(
x
) can be also explicitly defined as follows for any f
∈
H. Notice that X
(
x
)
f is a new function at H, for which we present its value at the point μ
=
μ
(
t
)
∈
Γ:
(56)
(
X
(
x
)
f
)
(
μ
)
=
-
1
2
∫
a
b
‍
[
b
1
(
μ
)
b
¯
1
(
μ
(
s
)
)
e
-
(
μ
+
μ
¯
(
s
)
)
x
μ
+
μ
¯
(
s
)
+
b
2
(
μ
)
b
¯
2
(
μ
(
s
)
)
e
(
μ
+
μ
¯
(
s
)
)
x
μ
+
μ
¯
(
s
)
]
f
(
μ
(
s
)
)
d
s
.
It is almost immediate that such an operator satisfies conditions (14) and (15). For example, for the Lyapunov equation, the expression (
A
X
(
x
)
f
)
(
μ
)
+
(
X
(
x
)
A
*
f
)
(
μ
) is obtained by multiplying the expression under the integral in (
X
(
x
)
f
)
(
μ
) by 2
(
μ
+
μ
¯
(
s
)
). When it is canceled with the denominator, we obtain (
-
B
(
x
)
σ
2
B
*
(
x
)
f
)
(
μ
). Similarly, differentiating (
X
(
x
)
f
)
(
μ
) we cancel the denominator and switch the sign of the first term, so that (15) holds. There is only one problem, arising from the zero of the denominator μ
(
t
)
+
μ
¯
(
s
)
=
0. It can be overcome by requiring that either Γ
∩
(
-
Γ
*
)
=
∅ or b
1
,
b
2 are Hölder functions and b
1
(
μ
(
t
)
)
b
¯
1
(
μ
(
s
)
)
+
b
2
(
μ
(
t
)
)
b
¯
2
(
μ
(
s
)
)
=
0, whenever μ
(
t
)
+
μ
¯
(
s
)
=
0 (so that the zero of the denominator is canceled by the numerator).We will make the following assumption on the curve to simplify arguments.Definition 10.
Suppose thatΓ
∩
(
-
Γ
*
)
=
∅, where -
Γ
*
=
{
-
μ
¯
(
t
)
∣
t
∈
[
a
,
b
]
}.Then investigating the formula forX
(
x
) we find that for each f
∈
H
(57)
(
X
(
x
)
f
)
(
μ
)
=
-
b
1
(
μ
)
e
-
μ
x
2
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
-
b
2
(
μ
)
e
μ
x
2
∫
a
b
‍
b
¯
2
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
.
Notice that this expression can be presented as
(58)
X
(
x
)
f
=
b
1
e
-
μ
x
c
1
(
μ
)
+
b
2
e
μ
x
c
2
(
μ
)
,
where the functions
(59)
c
1
(
μ
)
=
-
1
2
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
,
c
2
(
μ
)
=
-
1
2
∫
a
b
‍
b
¯
2
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
are analytic functions of μ in C
∖
(
-
Γ
*
). Notice also that Γ
⊆
C
∖
(
-
Γ
*
) by the assumption on Γ. Thus the functions c
1
(
μ
)
,
c
2
(
μ
) can have only isolated zeros on Γ or to be identically zero.To simplify a proof thatX
(
x
) is an invertible operator, let us assume that b
1
=
b
2 and that they are an analytic function of μ. Then the equality X
(
x
)
f
=
0 is equivalent to
(60)
e
-
μ
x
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
+
e
μ
x
∫
a
b
‍
b
¯
1
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
μ
+
μ
¯
(
s
)
f
(
μ
(
s
)
)
d
s
=
0
.
Taking here μ around infinity so that e
-
μ
x is big in absolute value and e
μ
x is small we obtain that ∫
a
b
(
‍
b
¯
1
(
μ
(
s
)
)
e
-
μ
¯
(
s
)
x
/
(
μ
+
μ
¯
(
s
)
)
)
f
(
μ
(
s
)
)
d
s
=
0. Conversely, taking e
μ
x big and e
-
μ
x small the second expression ∫
a
b
(
‍
b
¯
1
(
μ
(
s
)
)
e
μ
¯
(
s
)
x
/
(
μ
+
μ
¯
(
s
)
)
)
f
(
μ
(
s
)
)
d
s
=
0 must vanish too. Finally, considering values of μ
→
∞, we can develop into Taylor series
(61)
1
μ
+
μ
(
s
)
=
1
μ
∑
‍
(
-
1
)
n
μ
n
(
s
)
μ
n
and plugging it back, the moments of the function b
1
(
μ
(
s
)
)
e
±
μ
(
s
)
x
f
(
μ
(
s
)
) must be zero, for all s, or that the function b
1
(
μ
(
s
)
)
e
±
μ
(
s
)
x
f
(
μ
(
s
)
) is orthogonal to a dense subset {
μ
n
(
s
)
} of L
2
(
Γ
). Thus f
(
μ
(
s
)
) is identically zero and X
(
x
) is invertible for all x.Lemma 11.
IfΓ is a bounded continuous curve, satisfying Γ
∩
(
-
Γ
*
)
=
∅, and the operator X
(
x
) defined in (57) using analytic functions b
1
(
μ
)
=
b
2
(
μ
), then X
(
x
) is bounded and invertible for all x
∈
R.Finally, we obtain the following.Theorem 12.
Suppose thatΓ is a bounded continuous curve, satisfying Γ
∩
(
-
Γ
*
)
=
∅. Define a collection (12)
(62)
V
N
L
S
=
(
A
,
B
(
x
)
,
X
(
x
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
)
,
where H
=
L
2
(
Γ
), A
=
2
μ, X
(
x
), and B
(
x
) are defined by (57) and by (54) for |
b
1
(
μ
)
|
2
+
|
b
2
(
μ
)
|
2
≠
0. Then the collection V
N
L
S is an NLS regular vessel existing on I
=
R.Proof.
By the construction the operators are well defined and satisfy the vessel condition. Since the operatorX
(
x
) is invertible, for all x
∈
R, we obtain that I
=
R.


## 3.3. Construction of a Regular NLS Vessel with a Discrete Spectrum

In this section we want to show how to construct a vessel, whose spectrum is a given set of numbersD
=
{
2
μ
n
}. We define H
=
l
2, which is the set of infinite sequences, summable in absolute value. Now we can imitate the construction of the vessel on a curve Γ using discretization as follows. We define first the operator A
=
diag
⁡
(
2
μ
n
) and for this operator to be bounded, we have to demand that the sequence D be bounded from below and from above as follows.Definition 13.
The sequenceD is calledbounded if there exists M
>
0 such that |
μ
n
|
<
M for μ
n
∈
D. It is calledseparated from zero if there exists m
>
0 such that 0
<
m
<
|
μ
n
| for all μ
n
∈
D.In the next definition we think ofX
(
x
) as an infinite matrix with the entry m
,
n denoted by [
X
(
x
)
]
n
,
m
(63)
B
(
x
)
=
[
e
-
μ
n
x
b
1
n
e
μ
n
x
b
2
n
]
,
{
b
1
n
}
,
{
b
2
n
}
∈
H
,
[
X
(
x
)
]
n
,
m
=
-
b
1
n
b
¯
1
m
e
-
(
μ
n
+
μ
¯
m
)
x
+
b
2
n
b
¯
2
m
e
(
μ
n
+
μ
¯
m
)
x
2
(
μ
n
+
μ
¯
m
)
.
We also assume that [
X
(
x
)
]
n
,
m
=
(
(
b
1
n
b
¯
1
m
-
b
2
n
b
¯
2
m
)
/
2
)
x, whenever μ
n
+
μ
¯
m
=
0. The fact that B
(
x
) is a well-defined operator is immediate from the definition. Indeed, since the sequence μ
n is bounded the term e
±
μ
n
x is uniformly bounded in absolute value by e
M
x. The fact that the operator X
(
x
) is bounded also easily follows from the definitions and from the assumption on D:
(64)
∥
X
(
x
)
∥
≤
e
2
M
x
2
∥
[
|
b
1
n
b
¯
1
m
|
+
|
b
2
n
b
¯
2
m
|
μ
n
+
μ
¯
m
]
∥
≤
e
2
M
x
2
(
∥
b
1
n
∥
2
+
∥
b
2
n
∥
2
)
<
∞
.
Under condition that X
0
=
X
(
0
) is invertible, there exists a nontrivial interval (of length at least 1
/
∥
X
0
-
1
∥) on which X
(
x
) is invertible too. Thus we obtain the following theorem.Theorem 14.
Suppose that we are given a bounded, separated from zero set{
μ
n
}, and two l
2 sequences {
b
1
n
}
,
{
b
2
n
}. Define a collection
(65)
V
N
L
S
=
(
A
,
B
(
x
)
,
X
(
x
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
)
,
where H
=
l
2, A
=
diag
⁡
(
2
μ
n
), X
(
x
), and B
(
x
) are defined by (63) for |
b
1
n
|
+
|
b
2
n
|
≠
0. Suppose that the operator X
(
0
) is invertible. Then the collection V
N
L
S is an NLS regular vessel existing on a nontrivial interval I including zero of length at least 1
/
∥
X
0
-
1
∥.


## 4. Evolutionary Regular NLS Vessel

We present a construction of solutions of (1) which has initial value β
(
x
,
0
) arising from a regular NLS vessel. For this we will insert dependence on the variable t into the vessel operators and postulate evolution of the operators B
,
X with respect to t. This is done in the next definition.Definition 15.
The collection(66)
V
ENLS
=
(
A
,
B
(
x
,
t
)
,
X
(
x
,
t
)
;
σ
1
,
σ
2
,
γ
,
γ
*
(
x
)
;
H
,
C
2
)
is calledevolutionary regular NLS vessel if additionally to (13), (14), (15), and (16) the bounded operators satisfy also the equations
(67)
∂
∂
t
B
(
x
,
t
)
=
i
A
∂
∂
x
B
(
x
,
t
)
,
(68)
∂
∂
t
X
=
i
A
B
σ
2
B
*
-
i
B
σ
2
B
*
A
*
.Theorem 16.
MomentsH
N
(
x
,
t
) of the vessel V
E
N
L
S satisfy the following recurrence equation:
(69)
(
H
N
)
t
′
=
i
(
H
N
+
1
)
x
′
+
i
(
H
0
)
x
′
σ
1
H
N
.
And the transfer functions satisfy
(70)
S
t
′
=
i
λ
S
x
′
+
i
(
H
0
)
x
′
σ
1
S
.Proof.
We will calculate the derivative ofH
N using the vessel conditions:
(71)
(
H
N
)
t
′
=
(
B
*
X
-
1
A
N
B
)
t
′
=
(
B
*
)
t
′
X
-
1
A
N
B
+
B
*
(
X
-
1
)
t
′
A
N
B
+
B
*
X
-
1
A
N
(
B
)
t
′
=
using
(
67
)
,
(
68
)
=
(
B
*
)
x
′
(
-
i
A
*
)
X
-
1
A
N
B
-
B
*
X
-
1
(
i
A
B
σ
2
B
*
-
i
B
σ
2
B
*
A
*
)
X
-
1
A
N
B
+
B
*
X
-
1
A
N
(
i
A
)
B
x
′
=
using
(
14
)
=
i
(
B
*
)
x
′
(
X
-
1
A
+
X
-
1
B
σ
1
B
*
X
-
1
)
A
N
B
-
i
B
*
X
-
1
A
B
σ
2
B
*
X
-
1
A
N
B
-
i
B
*
X
-
1
B
σ
2
B
*
(
X
-
1
A
+
X
-
1
B
σ
1
B
*
X
-
1
)
A
N
B
+
i
B
*
X
-
1
A
N
+
1
B
x
′
=
i
[
(
B
*
)
x
′
X
-
1
A
N
+
1
B
-
B
*
X
-
1
A
B
σ
2
B
*
X
-
1
A
N
+
1
B
+
i
B
*
X
-
1
A
N
+
1
B
x
′
]
+
i
(
B
*
)
x
′
X
-
1
B
σ
1
B
*
X
-
1
A
N
B
-
i
B
*
X
-
1
A
B
σ
2
B
*
X
-
1
A
N
B
-
i
B
*
X
-
1
B
σ
2
B
*
X
-
1
B
σ
1
B
*
X
-
1
A
N
B
=
using
(
15
)
and
the
definition
of
moments
=
i
(
H
N
+
1
)
x
′
+
i
(
B
*
)
x
′
X
-
1
B
σ
1
H
N
+
B
*
X
-
1
(
B
)
x
′
σ
1
H
N
+
B
*
(
X
-
1
)
x
′
B
σ
1
H
N
=
i
(
H
N
+
1
)
x
′
+
i
(
H
0
)
x
′
σ
1
H
N
.
The formula for S
t
′ is an immediate consequence of the series representation of S using moments and equating the powers of λ.Theorem 17.
Suppose thatV
E
N
L
S is an evolutionary NLS vessel; then, β
(
x
,
t
) (20) satisfies the evolutionary NLS equation (1).Proof.
Consider the equality of mixed derivatives(72)
∂
∂
x
∂
∂
t
S
=
∂
∂
t
∂
∂
x
S
.
Plugging (26) and (70) here and representing S as a series of moments, we can further consider both sides of this equality and make the corresponding coefficients of λ
-
n equal
(73)
∂
∂
x
[
i
λ
S
x
′
+
i
(
H
0
)
x
′
σ
1
S
]
=
∂
∂
t
[
σ
1
-
1
(
σ
2
λ
+
γ
*
)
S
-
S
σ
1
-
1
(
σ
2
λ
+
γ
)
]
.
For example, taking the free coefficient, we wil obtain that
(74)
(
γ
*
)
t
′
=
-
i
γ
*
(
H
0
)
x
′
σ
1
+
i
σ
1
(
H
0
)
x
x
′′
σ
1
+
i
σ
1
(
H
0
)
x
′
γ
*
.
Finally, from linkage condition (16)
(75)
γ
*
=
[
0
β
(
x
,
t
)
-
β
*
(
x
,
t
)
0
]
and using the formula for (
H
0
)
x
′
=
[
|
β
|
2
(
β
)
x
′
(
β
*
)
x
′
-
|
β
|
2
] we will obtain that the entry 12 is translated into (1) for β
(
x
,
t
), defined by (20).So in order to solve (1) with initial β
(
x
,
0
) which arises from a vessel, it is enough to add dependence on t so that B
(
x
,
0
)
=
B
(
x
), X
(
x
,
0
)
=
X
(
x
), and the differential equations (67) and (68) hold. We will show that it is a simple task in the next examples.


## 5. Examples of Constructions of Solutions of the Evolutionary NLS Equation

We present examples of solutions of the evolutionary NLS (1) when the initial value for t
=
0, β
(
x
) is analytic on R and arises from a regular NLS vessel. We show how to construct the evolutionary vessel, coinciding with the vessel realizing β
(
x
) for t
=
0. Then the beta function of this evolutionary vessel is a solution of (1) with the initial value.


### 5.1. Construction of a Solution for Evolutionary NLS Vessel from a Realized Function

Suppose thatβ
(
x
) was constructed from a realized function as in Section 3.1
(76)
S
(
λ
,
x
0
)
=
I
-
B
0
*
X
0
-
1
(
λ
I
-
A
)
-
1
B
0
.
Then the construction can proceed the following steps, each one requiring a solution of linear differential equation with initial value. Construct B
(
x
) and X
(
x
) by formulas (49) and (50). Then solve
(77)
∂
∂
t
B
(
x
,
t
)
=
i
A
∂
∂
x
B
(
x
,
t
)
=
i
A
(
-
A
B
(
x
,
t
)
σ
2
)
,
B
(
x
,
0
)
=
B
(
x
)
.
Finally, define
(78)
X
(
x
,
t
)
=
X
(
x
)
+
∫
0
t
‍
[
i
A
B
(
x
,
s
)
σ
2
B
*
(
x
,
s
)
-
i
B
(
x
,
s
)
σ
2
B
*
(
x
,
s
)
A
*
]
d
s
.
All the vessel equations will be satisfied by the construction and can be easily verified.


### 5.2. Solution of the Evolutionary NLS with the Spectrum on a CurveΓ

If we are givenβ
(
x
) which arises from a vessel on a curve, we can solve explicitly equations for B
(
x
,
t
) and X
(
x
,
t
) as follows:
(79)
B
(
x
)
=
[
exp
⁡
⁡
(
-
μ
x
-
2
i
μ
2
t
)
b
1
(
μ
)
exp
⁡
⁡
(
μ
x
+
2
i
μ
2
t
)
b
2
(
μ
)
]
,
b
1
(
μ
)
,
b
2
(
μ
)
∈
H
.
This function coincides with B
(
x
) for t
=
0 and satisfies (13) and (67). The formula for X
(
x
,
t
) is as follows:
(80)
(
X
(
x
)
f
)
(
μ
)
=
-
1
2
∫
a
b
‍
(
(
μ
+
μ
¯
(
s
)
)
-
1
(
(
-
(
μ
+
μ
¯
(
s
)
)
x
-
i
(
μ
2
+
μ
¯
2
(
s
)
)
t
)
b
1
(
μ
)
b
¯
1
(
μ
(
s
)
)
×
exp
⁡
⁡
(
-
(
μ
+
μ
¯
(
s
)
)
x
-
i
(
μ
2
+
μ
¯
2
(
s
)
)
t
)
)
×
(
μ
+
μ
¯
(
s
)
)
-
1
)
f
(
μ
(
s
)
)
d
s
-
1
2
∫
a
b
‍
(
(
(
(
μ
+
μ
¯
(
s
)
)
x
+
i
(
μ
2
+
μ
2
(
s
)
)
t
)
b
2
(
μ
)
b
¯
2
(
μ
(
s
)
)
×
exp
⁡
⁡
(
(
μ
+
μ
¯
(
s
)
)
x
+
i
(
μ
2
+
μ
2
(
s
)
)
t
)
)
×
(
μ
+
μ
¯
(
s
)
)
-
1
)
f
(
μ
(
s
)
)
d
s
.
This constructs a solution of the (1) with initial β
(
x
) arising from an NLS vessel with the spectrum on a curve Γ.


### 5.3. Solution of the Evolutionary NLS with the Spectrum on a Discrete Set

Similarly to the continuous spectrum case we define(81)
B
(
x
)
=
[
exp
⁡
⁡
(
-
μ
n
x
-
2
i
μ
n
2
t
)
b
1
n
exp
⁡
⁡
(
μ
n
x
+
2
i
μ
n
2
)
b
2
n
]
,
{
b
1
n
}
,
{
b
2
n
}
∈
H
,
(82)
[
X
(
x
)
]
n
,
m
=
-
(
b
1
n
b
¯
1
m
e
-
(
μ
n
+
μ
¯
m
)
x
-
2
i
(
μ
n
2
+
μ
¯
m
2
)
t
+
b
2
n
b
¯
2
m
e
(
μ
n
+
μ
¯
m
)
x
+
2
i
(
μ
n
2
+
μ
¯
m
2
)
t
)
×
(
2
(
μ
n
+
μ
¯
m
)
)
-
1
.
We also assume that [
X
(
x
)
]
n
,
m
=
(
(
b
1
n
b
¯
1
m
-
b
2
n
b
¯
2
m
)
/
2
)
(
x
+
2
i
μ
n
t
), whenever μ
n
+
μ
¯
m
=
0.


### 5.4. Solitons

We can also consider finite dimensional case:dim
⁡
H
<
∞. Suppose that H
=
C
N and fixing nonzero values μ
1
,
μ
2
,
…
,
μ
N, satisfying μ
i
+
μ
¯
j
≠
0, for all 1
≤
i, j
≤
N, we will obtain that
(83)
B
(
x
)
=
[
exp
⁡
(
-
μ
1
x
-
2
i
μ
1
2
t
)
b
11
exp
⁡
(
μ
1
x
+
2
i
μ
1
2
)
b
21
exp
⁡
(
-
μ
2
x
-
2
i
μ
2
2
t
)
b
12
exp
⁡
(
μ
1
x
+
2
i
μ
2
2
)
b
22
⋮
⋮
exp
⁡
(
-
μ
N
x
-
2
i
μ
N
2
t
)
b
1
N
exp
⁡
(
μ
N
x
+
2
i
μ
N
2
)
b
2
N
]
and the operator X
(
x
) is N
×
N matrix, defined by formula (82). Then the function
(84)
β
(
x
,
t
)
=
[
1
0
]
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
[
0
1
]
is a Soliton solution of (1), because it is constructed from pure exponents.


## 5.1. Construction of a Solution for Evolutionary NLS Vessel from a Realized Function

Suppose thatβ
(
x
) was constructed from a realized function as in Section 3.1
(76)
S
(
λ
,
x
0
)
=
I
-
B
0
*
X
0
-
1
(
λ
I
-
A
)
-
1
B
0
.
Then the construction can proceed the following steps, each one requiring a solution of linear differential equation with initial value. Construct B
(
x
) and X
(
x
) by formulas (49) and (50). Then solve
(77)
∂
∂
t
B
(
x
,
t
)
=
i
A
∂
∂
x
B
(
x
,
t
)
=
i
A
(
-
A
B
(
x
,
t
)
σ
2
)
,
B
(
x
,
0
)
=
B
(
x
)
.
Finally, define
(78)
X
(
x
,
t
)
=
X
(
x
)
+
∫
0
t
‍
[
i
A
B
(
x
,
s
)
σ
2
B
*
(
x
,
s
)
-
i
B
(
x
,
s
)
σ
2
B
*
(
x
,
s
)
A
*
]
d
s
.
All the vessel equations will be satisfied by the construction and can be easily verified.


## 5.2. Solution of the Evolutionary NLS with the Spectrum on a CurveΓ

If we are givenβ
(
x
) which arises from a vessel on a curve, we can solve explicitly equations for B
(
x
,
t
) and X
(
x
,
t
) as follows:
(79)
B
(
x
)
=
[
exp
⁡
⁡
(
-
μ
x
-
2
i
μ
2
t
)
b
1
(
μ
)
exp
⁡
⁡
(
μ
x
+
2
i
μ
2
t
)
b
2
(
μ
)
]
,
b
1
(
μ
)
,
b
2
(
μ
)
∈
H
.
This function coincides with B
(
x
) for t
=
0 and satisfies (13) and (67). The formula for X
(
x
,
t
) is as follows:
(80)
(
X
(
x
)
f
)
(
μ
)
=
-
1
2
∫
a
b
‍
(
(
μ
+
μ
¯
(
s
)
)
-
1
(
(
-
(
μ
+
μ
¯
(
s
)
)
x
-
i
(
μ
2
+
μ
¯
2
(
s
)
)
t
)
b
1
(
μ
)
b
¯
1
(
μ
(
s
)
)
×
exp
⁡
⁡
(
-
(
μ
+
μ
¯
(
s
)
)
x
-
i
(
μ
2
+
μ
¯
2
(
s
)
)
t
)
)
×
(
μ
+
μ
¯
(
s
)
)
-
1
)
f
(
μ
(
s
)
)
d
s
-
1
2
∫
a
b
‍
(
(
(
(
μ
+
μ
¯
(
s
)
)
x
+
i
(
μ
2
+
μ
2
(
s
)
)
t
)
b
2
(
μ
)
b
¯
2
(
μ
(
s
)
)
×
exp
⁡
⁡
(
(
μ
+
μ
¯
(
s
)
)
x
+
i
(
μ
2
+
μ
2
(
s
)
)
t
)
)
×
(
μ
+
μ
¯
(
s
)
)
-
1
)
f
(
μ
(
s
)
)
d
s
.
This constructs a solution of the (1) with initial β
(
x
) arising from an NLS vessel with the spectrum on a curve Γ.


## 5.3. Solution of the Evolutionary NLS with the Spectrum on a Discrete Set

Similarly to the continuous spectrum case we define(81)
B
(
x
)
=
[
exp
⁡
⁡
(
-
μ
n
x
-
2
i
μ
n
2
t
)
b
1
n
exp
⁡
⁡
(
μ
n
x
+
2
i
μ
n
2
)
b
2
n
]
,
{
b
1
n
}
,
{
b
2
n
}
∈
H
,
(82)
[
X
(
x
)
]
n
,
m
=
-
(
b
1
n
b
¯
1
m
e
-
(
μ
n
+
μ
¯
m
)
x
-
2
i
(
μ
n
2
+
μ
¯
m
2
)
t
+
b
2
n
b
¯
2
m
e
(
μ
n
+
μ
¯
m
)
x
+
2
i
(
μ
n
2
+
μ
¯
m
2
)
t
)
×
(
2
(
μ
n
+
μ
¯
m
)
)
-
1
.
We also assume that [
X
(
x
)
]
n
,
m
=
(
(
b
1
n
b
¯
1
m
-
b
2
n
b
¯
2
m
)
/
2
)
(
x
+
2
i
μ
n
t
), whenever μ
n
+
μ
¯
m
=
0.


## 5.4. Solitons

We can also consider finite dimensional case:dim
⁡
H
<
∞. Suppose that H
=
C
N and fixing nonzero values μ
1
,
μ
2
,
…
,
μ
N, satisfying μ
i
+
μ
¯
j
≠
0, for all 1
≤
i, j
≤
N, we will obtain that
(83)
B
(
x
)
=
[
exp
⁡
(
-
μ
1
x
-
2
i
μ
1
2
t
)
b
11
exp
⁡
(
μ
1
x
+
2
i
μ
1
2
)
b
21
exp
⁡
(
-
μ
2
x
-
2
i
μ
2
2
t
)
b
12
exp
⁡
(
μ
1
x
+
2
i
μ
2
2
)
b
22
⋮
⋮
exp
⁡
(
-
μ
N
x
-
2
i
μ
N
2
t
)
b
1
N
exp
⁡
(
μ
N
x
+
2
i
μ
N
2
)
b
2
N
]
and the operator X
(
x
) is N
×
N matrix, defined by formula (82). Then the function
(84)
β
(
x
,
t
)
=
[
1
0
]
B
*
(
x
)
X
-
1
(
x
)
B
(
x
)
[
0
1
]
is a Soliton solution of (1), because it is constructed from pure exponents.



---

*Source: 830413-2014-10-07.xml*