3.3 Zakharov–Shabat equation with three projectors 73
Both cases may be effectively used when we g o down from the abstract
level to specific examples. Such examples can be explicitly constructed for the
differential r ings of matrices. If matrix elements ar e functions of parameters,
differentiation may be defined as a derivative with respect to a parameter.
Such a matrix realization of the eDT was introduced and applied in [278] for
an arbitrary matrix dimension. Similar realizations were used in [281] and the
combinations of the eDTs leading to a binary DT were constructed and used
to obtain multisoliton formulas.
3.3 Elementary and twofold Darboux transformations
for ZS equation with three projectors
We continue to develop a rather abstract extension o f the eDT covari ance
based on the existence of idempotents and division rings (skew fields) in an
associative differential ring A over the field K [267]. Let D be the differ-
entiation map on A and let us fix orthogonal (pq = qp =0)idempotents
(projectors) p and q, such that p, q ∈ ker D. Then the element s = e − p − q
is the third orthogonal projector. We choose here the case of three basic pro-
jectors for it covers features of a general formulation but nevertheless has a
clear exp l icit form.
For every x ∈ A we denote x
αβ
= αxβ,whereα, β ∈ p, q, s, so we split
theringintothedirectsum
A = ⊕
α,β
A
αβ
.
We fix the element J = a
1
p + a
2
q + a
3
s, a
1
,a
2
,a
3
∈ K, a
1
= a
2
= a
3
= a
1
.
The degenerate case o f equal a
i
can be considered in a similar manner [278].
Definition 3.7. The ZS operator L
u
is the linear operator in A,
L
u
: ψ → Dψ +(λJ − u)ψ,
where λ ∈ K, u, ψ ∈ A.
Suppose the potential u of the ZS op erator satisfies the gauge restrictions
u
pp
= pup =0, u
qq
= quq =0, u
ss
= sus =0.
Definition 3.8. Let for the potential u there exist a new potential u
e
and the
element σ ∈ A such that for all λ ∈ K the following intertwining identity
holds
EL
u
= L
u
e
E, (3.23)
where the action of a K-linear operator E is determined by the equality
Eψ =(λp + σ)ψ. (3.24)