Next Article in Journal
Nature, Nurture, and Noise: Developmental Instability, Fluctuating Asymmetry, and the Causes of Phenotypic Variation
Next Article in Special Issue
On Metric Invariants of Spherical Harmonics
Previous Article in Journal
Research on WebShell Detection Method Based on Regularized Neighborhood Component Analysis (RNCA)
Previous Article in Special Issue
On Symmetry Properties of Frobenius Manifolds and Related Lie-Algebraic Structures
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Spectral Curves for the Derivative Nonlinear Schrödinger Equations

by
Aleksandr O. Smirnov
Department of Advanced Mathematics and Mechanics, St.-Petersburg State Universty of Aerospace Instrumentation, Bolshaya Morskaya str., 67A, 190000 Sankt-Petersburg, Russia
Symmetry 2021, 13(7), 1203; https://doi.org/10.3390/sym13071203
Submission received: 31 May 2021 / Revised: 20 June 2021 / Accepted: 28 June 2021 / Published: 4 July 2021
(This article belongs to the Special Issue Symmetry of Hamiltonian Systems: Classical and Quantum Aspects)

Abstract

:
Currently, in nonlinear optics, models associated with various types of the nonlinear Schrödinger equation (scalar (NLS), vector (VNLS), derivative (DNLS)), as well as with higher and mixed equations from the corresponding hierarchies are usually studied. Typical tools for solving the problem of propagation of optical nonlinear waves are the forward and inverse nonlinear Fourier transforms. One of the methods for reconstructing a periodic nonlinear signal is based on the use of spectral data in the form of spectral curves. In this paper, we study the properties of the spectral curves for all the derivatives NLS equations simultaneously. For all the main DNLS equations (DNLSI, DNLSII, DNLSIII), we have obtained unified Lax pairs, unified hierarchies of evolutionary and stationary equations, as well as unified equations of spectral curves of multiphase solutions. It is shown that stationary and evolutionary equations have symmetries, the presence of which leads to the existence of holomorphic involutions on spectral curves. Because of this symmetry, spectral curves of genus g are covers over other curves of genus M and N = g M , where M is a number of phase of solutions. We also showed that the number of the genus g of the spectral curve is related to the number of phases M of the solution of one of the two formulas: g = 2 M or g = 2 M + 1 . The third section provides examples of the simplest solutions.

1. Introduction

The main tools for the study of nonlinear optical signals are the forward and inverse nonlinear Fourier transforms [1,2,3,4,5], and the main models of nonlinear optics are the scalar, vector, and derived nonlinear Schrödinger equations, as well as their higher forms from the corresponding hierarchies. A key feature of these equations is the fact that they are integrable nonlinear evolutionary differential equations. Integrable nonlinear equations can usually be obtained as conditions for the compatibility of two linear differential equations, called a Lax pair.
The first equation of the Lax pair for the scalar and vector Schrödinger equations has the form
i Ψ x + U Ψ = 0 ,
where
U = Q ( x ) λ J ,
J is some constant diagonal matrix with zero trace, λ is a spectral parameter. In particular, these matrices are equal to:
J = 1 0 0 1 , Q ( x ) = 0 p ( x ) q ( x ) 0
in the case of the scalar nonlinear Schrödinger equation and the equations from the Ablowitz-Kaup-Newell-Sigur hierarchy (AKNS) [6], and
J = 1 3 2 0 0 0 1 0 0 0 1 , Q ( x ) = 0 p 1 ( x ) p 2 ( x ) q 1 ( x ) 0 0 q 2 ( x ) 0 0 .
in the case of a two-dimensional vector nonlinear Schrödinger equation (Manakov system) [7].
Since spectral curves are used to reconstruct a periodic nonlinear signal (see, for example, [8,9]), it is important to know the properties of these curves for each integrable model. More than 30 years ago, Dubrovin B.A. showed [10] that the matrix Q ( x ) is a matrix potential associated with a spectral curve of finite genus if there exists a monodromy matrix
M ( x , λ ) = j = 0 n m j ( x ) λ j
such that the functions Ψ and
Ψ ^ = M ( x , λ ) Ψ
is simultaneously the solution of the Equation (1) (see also [8]). In this case, the equation of the spectral curve associated with this matrix Q ( x ) has the form
det ( ν I M ) = R ( ν , λ ) = 0 ,
where I is the unit matrix. Thus, to find the equation of the spectral curve associated with the matrix Q, one must find the monodromy matrix M. Note that all the coefficients of the Equation (5) are integrals.
Substituting the function Ψ ^ (4) in Equation (1) we obtain
i Ψ ^ x + U Ψ ^ = 0 i ( M Ψ ) x + U M Ψ = 0 i M x Ψ + i M Ψ x + U M Ψ = 0 .
Since the matrix-function Ψ is solution of the Equation (1), we have
i M x Ψ M U Ψ + U M Ψ = 0 or ( i M x + U M M U ) Ψ = 0 .
Therefore the matrix M satisfies the equation
i M x + U M M U = 0 .
Substituting the sum (3) into the Equation (6) and equating the matrices for all powers of the spectral parameter λ , we obtain the following matrix structure M
M = V n + k = 1 n 1 c k V n k + c n U + J n ,
where J n is a constant matrix, Tr ( J n ) = 0 ,
V 1 = λ U + V 1 0 , V k + 1 = λ V k + V k + 1 0 , k 1 .
Also, the Equation (6) implies recurrent relations between the elements of the matrices V k 0 . In addition, assuming λ = 0 in the Equation (6), we can obtain a hierarchy of corresponding stationary equations that are satisfied by multiphase finite-gap solutions and their degeneracies.
Choosing the second equation of the Lax pair in the form
i Ψ t k + V k Ψ = 0 ,
from the condition of compatibility of the Equations (1) and (7) we obtain an integrable evolutionary nonlinear equation from the corresponding hierarchy. That is, using the structure of the monodromy matrix, we can construct the corresponding hierarchy of integrable nonlinear equations. For the Manakov system and the Kulish-Sklyanin model, this program was implemented in [11,12].
The first Lax pair equation for DNLS equations differs from the above equations in that the matrix U has a quadratic dependence on the spectral parameter. Therefore, the monodromy matrix M ( x , λ ) has a different structure and a different relationship to the V k matrices (see, for example, [13]).
Let us note that three forms of the DNLS equations are most often considered:
  • DNLSI or Kaup-Newell equation [13,14,15,16,17,18,19,20,21]
    i p t + p x x + i ( | p | 2 p ) x = 0 ,
  • DNLSII or Chen-Lee-Liu equation [16,17,18,19,21,22]
    i p t + p x x + i | p | 2 p x = 0 ,
  • DNLSIII or Gerdjikov-Ivanov equation [16,17,18,19,21,23,24]
    i p t + p x x i p 2 p x * + 1 2 | p | 4 p = 0 ,
which are special cases of the generalized DNLS equation [25,26,27,28]. Let us note that there are also gauge transformations that transform these equations into each other and preserve the magnitude of the solution (see, for example, [16,21,29,30,31]).
Each of these nonlinear equations corresponds to its own matrix U. In particular, this matrix is equal to
U = λ 2 1 0 0 1 + i λ 0 p q 0
for DNLSI equation,
U = ( λ 2 + p q / 4 ) 1 0 0 1 + i λ 0 p q 0
for DNLSII equation, and
U = ( λ 2 + p q / 2 ) 1 0 0 1 + i λ 0 p q 0
for DNLSIII eqaution.
It is easy to see that the U matrices discussed above can be written using a single formula
U = ( λ 2 + s p q ) 1 0 0 1 + i λ 0 p q 0 .
where s = 0 for DNLSI, s = 1 / 4 for DNLSII, and s = 1 / 2 for DNLSIII.
In present paper, using the matrix (11), we apply the Dubrovin’s method to construct a hierarchy of the DNLS equations and analyze the properties of multiphase solutions of this hierarchy. The Section 1 of the paper is devoted to finding the structure of the monodromy matrix and the recurrent relations between its elements. Also in the Section 1, the second Lax pair operators are proposed for constructing a hierarchy of generalized DNLS equations. In Section 2, the equations of spectral curves are considered and stationary equations are derived. A significant difference from the case of the scalar NLS equation is the difference between the genus of the spectral curve and the number of phases of the solution. Also in the Section 2, we show that the equations of spectral curves are invariant under the involution λ λ . The Section 3 provides examples of null-phase and one-phase solutions of the coupled DNLS equations.

2. Generalized DNLS Equation

Let us consider the equation
Ψ x = U Ψ ,
where
U = ( i λ 2 i s p q ) J + λ Q , J = 1 0 0 1 , Q = 0 p q 0 ,
p and q are functions, s is a constant.
Following [13], we take the monodromy matrix as a sum
M ( λ , x ) = j = 0 2 n M j ( x ) λ j , M j ( x ) = a j ( x ) b j ( x ) c j ( x ) a j ( x ) .
It follows from the Equation (12) that the monodromy matrix M satisfies the equation (see, for example, Equations (4) and (6))
x M U M + M U = 0 .
Substituting the sum (13) in Equation (14) we have that the matrix M ( λ , x ) has a form
M ( λ , x ) = a 0 J + j = 1 2 n a j W j ( λ , x ) ,
where a k are some constants,
W 1 = λ J + i Q , W 2 k = λ W 2 k 1 , W 2 k + 1 = λ W 2 k + λ W 2 k 1 0 + W 2 k 0 ,
W 2 k 1 0 = F k ( p , q ) 0 0 F k ( p , q ) , W 2 k 0 = 0 H k ( p , q ) G k ( p , q ) 0 .
From the Equation (14) also follows the following relations on the elements of the matrices W m 0
H 1 = i p F 1 i s p 2 q 1 2 p x , G 1 = i q F 1 i s p q 2 + 1 2 q x , ( F k ) x = p G k q H k , H k + 1 = i p F k + 1 s p q H k + i 2 ( H k ) x , G k + 1 = i q F k + 1 s p q G k i 2 ( G k ) x .
In particular,
F 1 ( p , q ) = 1 2 p q , H 1 ( p , q ) = 1 2 p x + i 2 ( 1 2 s ) p 2 q , G 1 ( p , q ) = 1 2 q x + i 2 ( 1 2 s ) p q 2 , F 2 ( p , q ) = 1 8 ( 3 8 s ) p 2 q 2 i 4 ( p q x q p x ) , H 2 ( p , q ) = i 8 ( 3 12 s + 8 s 2 ) p 3 q 2 + 3 4 ( 2 s 1 ) p q p x + s 2 p 2 q x i 4 p x x , G 2 ( p , q ) = i 8 ( 3 12 s + 8 s 2 ) p 2 q 3 3 4 ( 2 s 1 ) p q q x s 2 q 2 p x i 4 q x x , F 3 ( p , q ) = 1 16 ( 5 24 s + 24 s 2 ) p 3 q 3 + 1 8 p x q x + 3 i 8 ( 2 s 1 ) p q ( p q x q p x ) 1 8 ( p q x x + q p x x ) , H 3 ( p , q ) = i 16 ( 5 30 s + 48 s 2 16 s 3 ) p 4 q 3 3 16 ( 5 20 s + 16 s 2 ) p 2 q 2 p x + 3 4 ( 1 2 s ) s p 3 q q x + 3 i 8 ( 2 s 1 ) q p x 2 + i 4 ( 5 s 1 ) p p x q x + i 8 ( 2 s 1 ) p 2 q x x + i 2 ( 2 s 1 ) p q p x x + 1 8 p x x x , G 3 ( p , q ) = i 16 ( 5 30 s + 48 s 2 16 s 3 ) p 3 q 4 + 3 16 ( 5 20 s + 16 s 2 ) p 2 q 2 q x + 3 4 ( 2 s 1 ) s p q 3 p x + 3 i 8 ( 2 s 1 ) p q x 2 + i 4 ( 5 s 1 ) q p x q x + i 8 ( 2 s 1 ) q 2 p x x + i 2 ( 2 s 1 ) p q q x x 1 8 q x x x .
From the Equations (16) and (17) the following equalities follow
W 2 k + 2 = λ 2 k W 2 + j = 1 k λ 2 F k λ H k λ G k λ 2 F k λ 2 k 2 j ,
and
U = i W 2 + 2 s W 1 0 .
Taking the matrix V k in the form
V k = 2 k i W 2 k + 2 + 2 s W 2 k + 1 0 ,
let us define the second equation of the Lax pair
Ψ t k = V k Ψ .
From the conditions of compatibility
t k U x V k + U V k V k U = 0
of the Equations (12) and (21) the following evolutionary nonlinear equations follow
t k p = 2 k i ( H k ) x + 2 k + 1 s p q H k 2 k + 2 i s p F k + 1 = 2 k + 1 ( H k + 1 + i ( 2 s 1 ) p F k + 1 ) , t k q = 2 k i ( G k ) x 2 k + 1 s p q G k + 2 k + 2 i s q F k + 1 = 2 k + 1 ( G k + 1 + i ( 2 s 1 ) q F k + 1 ) .
The first coupled equation from this hierarchy has the form
i p t 1 + p x x + 2 i ( 2 s 1 ) p q p x + i ( 4 s 1 ) p 2 q x + ( 4 s 1 ) s p 3 q 2 = 0 , i q t 1 + q x x 2 i ( 2 s 1 ) p q q x i ( 4 s 1 ) q 2 p x + ( 4 s 1 ) s p 2 q 3 = 0 .
We believe that the Equation (23) is the most natural form of the generalized DNLS equation, since substituting q = p * and the appropriate s into it, one can get one of the Equations (8)–(10). It is not difficult to see that the Equation (23) implies three main coupled DNLS equations.
  • The coupled DNLSI for s = 0
    i p t 1 + p x x i ( p 2 q ) x = 0 , i q t 1 + q x x + i ( q 2 p ) x = 0 .
  • The coupled DNLSII for s = 1 / 4
    i p t 1 + p x x i p q p x = 0 , i q t 1 + q x x + i p q q x = 0 .
  • The coupled DNLSIII for s = 1 / 2
    i p t 1 + p x x + i p 2 q x + 1 2 p 3 q 2 = 0 , i q t 1 + q x x i q 2 p x + 1 2 p 2 q 3 = 0 .
Note that from the Equations (18) and (22), it follows that for any value of s, the equality
t k F 1 = 2 k x F k + 1
holds and, therefore, there exists a function φ such that F k + 1 = 2 k t k φ ( x t 0 ). Let us note that similar equalities hold in the case of other integrable equations (see, for example, [11]).

3. Spectral Curves of the Multiphase Solutions

Substituting (13) into (14) and simplifying, we get
( M 0 ) x = i s p q [ M 0 , J ] , ( M 1 ) x = i s p q [ M 1 , J ] [ M 0 , Q ] , ( M j ) x = i s p q [ M j , J ] [ M j 1 , Q ] + [ M j 2 , J ] , j = 2 , , 2 n ,
where [ A , B ] = A B B A ,
M 0 = a 0 J + i a 1 Q + k = 1 n 1 a 2 k + 1 W 2 k 0 , M j = a j J + i a j + 1 Q + k = 1 2 n j 1 a k + j + 1 W k 0 , j = 1 , , 2 n 2 , M 2 n 1 = a 2 n 1 J + i a 2 n Q , M 2 n = a 2 n J .
For j = 0 from (24) and (25) the following stationary equations follow
a 1 ( i p x 2 s p 2 q ) + k = 1 n 1 a 2 k + 1 ( H k ) x + 2 i s p q H k = 0 , a 1 ( i q x + 2 s p q 2 ) + k = 1 n 1 a 2 k + 1 ( G k ) x 2 i s p q G k = 0 .
These equations are satisfied by multiphase solutions of the evolutionary nonlinear Equation (22). As in the case of the Kaup-Newell hierarchy [13], the multiphase solutions must also satisfy the second set of stationary equations (obtained from (24) and (25) for j = 1 )
2 a 0 p + a 2 ( i p x 2 s p 2 q ) + k = 1 n 1 a 2 k + 2 ( H k ) x + 2 i s p q H k = 0 , 2 a 0 a 2 ( i q x + 2 s p q 2 ) k = 1 n 1 a 2 k + 2 ( G k ) x 2 i s p q G k = 0 .
Since the equation of the spectral curve of the multiphase solution has the form
R ( ν , λ ) = det ( ν I M ) = 0 ,
where I is the unit matrix, and since Tr M = 0 , in this case the spectral curve is given by the equation
ν 2 = det M = a 2 n 2 λ 4 n + k = 1 4 n f k ( p , q ) λ 4 n k for a 2 n 0 ,
and
ν 2 = det M = a 2 n 1 2 λ 4 n 2 + k = 1 4 n 2 f k ( p , q ) λ 4 n 2 k for a 2 n = 0 ,
where f k ( p , q ) are integrals of the evolutionary nonlinear Equation (22). Since the curves (28) and (29) are hyperelliptic, their genus is g = 2 n 1 and g = 2 n 2 , respectively.
It follows from Equation (18) that the functions F k , G k and H k have the following symmetries
F k ( p , q ) F k ( p , q ) , G k ( p , q ) G k ( p , q ) , H k ( p , q ) H k ( p , q ) .
Therefore, the stationary and evolutionary equations are invariant with respect to the involution τ 1 : ( p , q ) ( p , q ) .
Since the matrices W k (17) have the symmetry τ 2 : ( λ , p , q ) ( λ , p , q ) , the monodromy matrix M also has this symmetry. Due to the fact that the equation of the spectral curve of multiphase solutions is invariant with respect to two involutions τ 1 and τ 2 simultaneously, it has the following symmetry
R ( ν , λ ) R ( ν , λ ) .
Therefore all coefficients f 2 k 1 ( k N ) are equal to zero.

4. Examples

4.1. Case g = 0

If g = 0 , then n = 1 , a 2 = 0 and a 1 = 1 . Therefore, a matrix M has a form
M ( λ , x ) = a 0 J + W 1 = λ + a 0 i p i q λ a 0 .
It follows from the Equation (30) that the spectral curve is given by the equation
ν 2 = ( λ + a 0 ) 2 p q .
Therefore, the product p q is a constant, p q = p 0 q 0 .
From the Equation (14) for N = 0 , the following stationary equations follow
a 0 p = 0 , a 0 q = 0 , i p x 2 s p 2 q = 0 , i q x + 2 s p q 2 = 0 .
Solving these equations for p q = p 0 q 0 , we have: a 0 = 0 ,
p = p 0 e i K x , q = q 0 e i K x , K = 2 s p 0 q 0 .
Substituting these expressions in Equation (23), we obtain the solution of Equation (23) in the form of a plane wave
p = p 0 e i K x + i κ t 1 , q = q 0 e i K x i κ t 1 , K = 2 s p 0 q 0 , κ = 3 s ( p 0 q 0 ) 2 .
Since a 0 = 0 and p q = p 0 q 0 , the equation of the spectral curve of this solution has the form
ν 2 = λ 2 p 0 q 0 .

4.2. Case g = 1

If g = 1 , then n = 1 and a 2 = 1 . Therefore, a matrix M has a form
M ( λ , x ) = a 0 J + a 1 W 1 + W 2 .
From the Equation (14) for g = 1 , the following stationary equations follow
a 1 ( i p x 2 s p 2 q ) = 0 , a 1 ( i q x + 2 s p q 2 ) = 0 , 2 a 0 p + ( i p x 2 s p 2 q ) = 0 , 2 a 0 q ( i q x + 2 s p q 2 ) = 0 .
From the Equation (33) it follows that if a 1 0 , then a 0 = 0 and the solution of the Equation (23) has the form of a plane wave (31). Therefore, we assume that a 1 = 0 and a 0 0 .
Calculating the equation of the spectral curve, we get
ν 2 = ( λ 2 + a 0 ) 2 λ 2 p q .
Since the coefficients of this equation are constant values, the equation p q = p 0 q 0 also holds in this case. Solving the Equation (33) for a 1 = 0 , p q = p 0 q 0 , we have
p = p 0 e i K x , q = q 0 e i K x , K = 2 ( a 0 s p 0 q 0 ) .
Substituting these expressions in the Equation (23), we get the solution of the Equation (23) in the form of a plane wave
p = p 0 e i K x + i κ t 1 , q = q 0 e i K x i κ t 1 , K = 2 ( a 0 s p 0 q 0 ) , κ = 4 a 0 2 + 2 ( 4 s + 1 ) a 0 p 0 q 0 3 s ( p 0 q 0 ) 2 .
It is easy to see that the solution (31) is a special case of the solution (34) for a 0 = 0 .
This example illustrates the fact that the genus g = 1 of the spectral curve in the case of DNLS equations does not coincide with the number of phases ( m = 0 ).

4.3. Case g = 2

4.3.1. General Formulas

Let us assume g = 2 , n = 2 , a 4 = 0 , a 3 = 1 . Then the matrix M has the form
M ( λ , x ) = a 0 J + a 1 W 1 + a 2 W 2 + W 3 .
From the Equation (14) for g = 2 , the following stationary equations follow
2 a 0 p + a 2 i p x 2 s p 2 q = 0 , 2 a 0 q a 2 i q x + 2 s p q 2 = 0 , a 1 i p x 2 s p 2 q + ( 2 s 1 ) s p 3 q 2 + i ( 1 3 s ) p q p x + i 2 ( 1 2 s ) p 2 q x 1 2 p x x = 0 , a 1 i q x + 2 s p q 2 ( 2 s 1 ) s p 2 q 3 + i ( 1 3 s ) p q q x + i 2 ( 1 2 s ) q 2 p x + 1 2 q x x = 0 .
For a 2 0 , the condition of compatibility of the Equation (36) implies the constancy of the product p q . Therefore, we will assume that a 2 = a 0 = 0 .
Calculating the equation of the spectral curve, we get
ν 2 = λ 6 + 2 a 1 λ 4 + f 4 λ 2 + f 6 ,
where the integrals f k equal to
f 4 = a 1 2 a 1 p q + 1 4 ( 8 s 3 ) p 2 q 2 + i 2 ( p q x q p x ) , f 6 = 1 4 p q ( 2 a 1 + ( 1 2 s ) p q ) 2 + i 4 ( 2 a 1 + ( 1 2 s ) p q ) ( p q x q p x ) 1 4 p x q x .
From the Equations (36) and (37) it follows that the function u ( x ) = p q satisfies the equation
u x x = 1 2 u 3 3 a 1 u 2 + ( 2 f 4 6 a 1 2 ) u 4 ( a 1 3 a 1 f 4 + 2 f 6 )
or
( u x ) 2 = 1 4 u 4 2 a 1 u 3 + ( 2 f 4 6 a 1 2 ) u 2 8 ( a 1 3 a 1 f 4 + 2 f 6 ) u + c 1 ,
where c 1 is the integration constant. It follows from the Equation (39) that u ( x ) is an elliptic function or its degeneracy.
From (37) it is not difficult to find the Wronskian of the functions p and q
W [ p , q ] = i 2 ( 8 s 3 ) u 2 2 i a 1 u + 2 i ( a 1 2 f 4 ) .
Knowing the Wronskian of functions and their product, it is not difficult to find the functions themselves
p ( x ) = u exp 1 2 W d x u = u exp i 8 s 3 4 u a 1 f 4 a 1 2 u d x , q ( x ) = u exp 1 2 W d x u = u exp i 8 s 3 4 u a 1 f 4 a 1 2 u d x .
Substituting (40) in (36), (37) and simplifying with the relations (38), (39), we get the value of c 1 :
c 1 = 4 ( a 1 2 f 4 ) 2 .
It is not difficult to check that the corresponding onee-phase solution of the Equation (23) has the form
p ( x , t 1 ) = u ( X ) exp i 8 s 3 4 u ( X ) a 1 f 4 a 1 2 u ( X ) d x + i K t 1 , q ( x , t 1 ) = u ( X ) exp i 8 s 3 4 u ( X ) a 1 f 4 a 1 2 u ( X ) d x i K t 1 ,
where X = x 2 a 1 t 1 , K = 4 s f 4 2 ( 2 s + 1 ) a 1 2 .
In this case, a spectral curve of the genus g = 2 corresponds to the one-phase solution with the phase X.

4.3.2. Quasi-Rational Travelling Wave

Let us consider a degenerate spectral curve, which is given by the equation
ν 2 = λ 2 + a 2 3 , a R .
In this case
a 1 = 3 2 a 2 , f 4 = 3 a 4 , f 6 = a 6 , c 1 = 9 4 a 8 .
For these parameter values, the function u ( x ) satisfies the equation
( u x ) 2 = 1 4 ( u + a 2 ) 3 ( u + 9 a 2 ) .
Solving this equation, we get
u = a 2 ( 4 a 4 x 2 + 9 ) 4 a 4 x 2 + 1 .
It follows from Equation (41) that the corresponding solution has the form
p ( x , t 1 ) = i a 4 a 4 ( x 3 a 2 t 1 ) 2 + 9 4 a 4 ( x 3 a 2 t 1 ) 2 + 1 e i ϕ 1 ( x , t 1 ) + i ( 8 s 3 ) ϕ 2 ( x , t 1 ) + 2 i s a 2 x 3 i s a 4 t 1 , q ( x , t 1 ) = i a 4 a 4 ( x 3 a 2 t 1 ) 2 + 9 4 a 4 ( x 3 a 2 t 1 ) 2 + 1 e i ϕ 1 ( x , t 1 ) + i ( 8 s 3 ) ϕ 2 ( x , t 1 ) 2 i s a 2 x 3 i s a 4 t 1 ,
where
ϕ 1 ( x , t 1 ) = arctan 2 a 2 ( x 3 a 2 t 1 ) / 3 , ϕ 2 ( x , t 1 ) = arctan 2 a 2 ( x 3 a 2 t 1 ) .
It follows from the identity
e i arctan ( A ) = cos ( arctan ( A ) ) + i sin ( arctan ( A ) ) = 1 + i A A 2 + 1
that the solution (43) of the Equation (23) can be written by the following equalities
p ( x , t 1 ) = i a ( 3 + 2 i a 2 ( x 3 a 2 t 1 ) ) ( 1 + 2 i a 2 ( x 3 a 2 t 1 ) ) 8 s 3 ( 4 a 4 ( x 3 a 2 t 1 ) 2 + 1 ) 4 s 1 e 2 i s a 2 x 3 i s a 4 t 1 , q ( x , t 1 ) = i a ( 3 2 i a 2 ( x 3 a 2 t 1 ) ) ( 1 2 i a 2 ( x 3 a 2 t 1 ) ) 8 s 3 ( 4 a 4 ( x 3 a 2 t 1 ) 2 + 1 ) 4 s 1 e 2 i s a 2 x + 3 i s a 4 t 1 .
For 4 s Z the solution (45) is a quasi-rational travelling wave. It is easy to see that the solution (45) satisfies the condition q = p * . Figure 1 shows the magnitude of the solution (45) for a = 1 .

4.4. Case g = 3

4.4.1. General Formulas

Let us assume g = 3 , n = 2 , a 4 = 1 . Then the matrix M has the form
M ( λ , x ) = a 0 J + a 1 W 1 + a 2 W 2 + a 3 W 3 + W 4 .
From the Equations (26) and (27) it follows that to construct new solutions, ones should put a 1 = a 3 = 0 . The stationary equations in this case have the form
2 a 0 p + a 2 i p x 2 s p 2 q + ( 2 s 1 ) s p 3 q 2 + i ( 1 3 s ) p q p x + i 2 ( 1 2 s ) p 2 q x 1 2 p x x = 0 , 2 a 0 q + a 2 i q x + 2 s p q 2 ( 2 s 1 ) s p 2 q 3 + i ( 1 3 s ) p q q x + i 2 ( 1 2 s ) q 2 p x + 1 2 q x x = 0 .
Calculating the equation of the spectral curve, we get
ν 2 = λ 8 + 2 a 2 λ 6 + f 4 λ 4 + f 6 λ 2 + a 0 2 ,
where the integrals f k equal to
f 4 = 2 a 0 + a 2 2 a 2 p q + 1 4 ( 8 s 3 ) p 2 q 2 + i 2 ( p q x q p x ) , f 6 = a 0 ( 2 a 2 + p q ) 1 4 p q ( 2 a 2 + ( 1 2 s ) p q ) 2 + i 4 ( 2 a 2 + ( 1 2 s ) p q ) ( p q x q p x ) 1 4 p x q x .
From the Equations (47) and (48) it follows that the function u ( x ) = p q satisfies the equation
u x x = 1 2 u 3 3 a 2 u 2 + 2 ( f 4 3 a 2 2 + 6 a 0 ) u 4 ( a 2 3 2 a 0 a 2 a 2 f 4 + 2 f 6 )
or
( u x ) 2 = 1 4 u 4 2 a 2 u 3 + 2 ( f 4 3 a 2 2 + 6 a 0 ) u 2 8 ( a 2 3 2 a 0 a 2 a 2 f 4 + 2 f 6 ) u + c 1 ,
where c 1 is the integration constant. It follows from the Equation (50) that u ( x ) is an elliptic function or its degeneracy.
From (48) we find the Wronskian of the functions p and q
W [ p , q ] = i 2 ( 8 s 3 ) u 2 2 i a 2 u + 2 i ( 2 a 0 + a 2 2 f 4 ) .
Knowing the Wronskian of functions and their product, it is not difficult to find the functions themselves
p ( x ) = u exp i 8 s 3 4 u a 2 f 4 a 2 2 2 a 0 u d x , q ( x ) = u exp i 8 s 3 4 u a 2 f 4 a 2 2 2 a 0 u d x .
Substituting (51) in (47), (48) and simplifying with the relations (49), (50), we get the value of c 1 :
c 1 = 4 ( 2 a 0 + a 2 2 f 4 ) 2 .
It is not difficult to check that the corresponding one-phase solution of the Equation (23) has the form
p ( x , t 1 ) = u ( X ) exp i 8 s 3 4 u ( X ) a 2 f 4 a 2 2 2 a 0 u ( X ) d x + i K t 1 , q ( x , t 1 ) = u ( X ) exp i 8 s 3 4 u ( X ) a 2 f 4 a 2 2 2 a 0 u ( X ) d x i K t 1 ,
where X = x 2 a 2 t 1 , K = 4 s f 4 2 ( 2 s + 1 ) a 2 2 4 ( 2 s 1 ) a 0 .
In this case, a spectral curve of the genus g = 3 corresponds to the one-phase solution with phase X.

4.4.2. Soliton Solution

Let us consider a degenerate spectral curve, which is given by the equation
ν 2 = ( λ 2 + a ) 2 + b 2 2 , a , b R .
In this case
a 0 = a 2 + b 2 , a 2 = 2 a , f 4 = 2 ( 3 a 2 + b 2 ) , f 6 = 4 a ( a 2 + b 2 ) , c 1 = 0 .
For these parameter values, the function u ( x ) satisfies the equation
( u x ) 2 = 1 4 ( 64 b 2 16 a u u 2 ) u 2 .
Therefore,
x = 2 d u u 64 b 2 16 a u u 2 .
Calculating the integral and expressing the function u ( x ) from it, we get
u ( x ) = 8 b 2 a 2 + b 2 cosh ( 4 b x ) + a .
Thus, the one-phase solution of the Equation (23) constructed from the spectral curve (53) has the form
p ( x , t 1 ) = 2 2 b ε e i ( 8 s 3 ) ϕ ( x , t 1 ) + 2 i a x + 4 i ( b 2 a 2 ) t 1 a 2 + b 2 cosh ( 4 b x 16 a b t 1 ) + a , q ( x , t 1 ) = 2 2 b e i ( 8 s 3 ) ϕ ( x , t 1 ) 2 i a x 4 i ( b 2 a 2 ) t 1 ε a 2 + b 2 cosh ( 4 b x 16 a b t 1 ) + a ,
where
ϕ ( x , t 1 ) = arctan a 2 + b 2 a b tanh ( 2 b x 8 a b t 1 ) .
It follows from the identity (44) that this solution of the Equation (23) is defined by the following equalities
p ( x , t 1 ) = 2 2 b ε b cosh X i c sinh X 3 8 s e 2 i a x + 4 i ( b 2 a 2 ) t 1 c ( 3 8 s ) / 2 a 2 + b 2 cosh 2 X + a 2 4 s , q ( x , t 1 ) = 2 2 b b cosh X + i c sinh X 3 8 s e 2 i a x 4 i ( b 2 a 2 ) t 1 ε c ( 3 8 s ) / 2 a 2 + b 2 cosh 2 X + a 2 4 s ,
where X = 2 b x 8 a b t 1 , c = a 2 + b 2 a . For | ε | = 1 , the solution (55) satisfies the condition q ( x , t 1 ) = p * ( x , t 1 ) . Figure 2 shows the magnitude of the soliton (55) for a = 4 , b = 3 , ε = 1 .
Changing the sign before the square root in the expression (54), we get
u ( x ) = 8 b 2 a 2 + b 2 cosh ( 4 b x ) a
and
p ( x , t 1 ) = 2 2 i b ε b cosh X + i c 1 sinh X 3 8 s e 2 i a x + 4 i ( b 2 a 2 ) t 1 c 1 ( 3 8 s ) / 2 a 2 + b 2 cosh 2 X a 2 4 s , q ( x , t 1 ) = 2 2 i b b cosh X i c 1 sinh X 3 8 s e 2 i a x 4 i ( b 2 a 2 ) t 1 ε c 1 ( 3 8 s ) / 2 a 2 + b 2 cosh 2 X a 2 4 s ,
where X = 2 b x 8 a b t 1 , c 1 = a 2 + b 2 + a . For | ε | = 1 the solution (56) satisfies the condition q ( x , t 1 ) = p * ( x , t 1 ) . Figure 3 shows the magnitude of the soliton (56) for a = 4 , b = 3 , ε = 1 .
Let us note that solutions (55) and (56) correspond to the same spectral curve (53).

4.4.3. One-Phase Periodic Solution

Let a degenerate spectral curve be given by the equation
ν 2 = ( λ 2 + a ) 2 b 2 2 , a > b > 0 .
This equation can be obtained from (53) by replacing b i b . It is not difficult to check that the corresponding solutions of the DNLS equations can also be obtained using this substitution:
u ( x ) = 8 b 2 a 2 b 2 cos ( 4 b x ) + a ,
and
p ( x , t 1 ) = 2 2 i b ε b cos X + i c 2 sin X 3 8 s e 2 i a x 4 i ( b 2 + a 2 ) t 1 c 2 ( 3 8 s ) / 2 a 2 b 2 cos 2 X + a 2 4 s , q ( x , t 1 ) = 2 2 i b b cos X i c 2 sin X 3 8 s e 2 i a x + 4 i ( b 2 + a 2 ) t 1 ε c 2 ( 3 8 s ) / 2 a 2 b 2 cos 2 X + a 2 4 s ,
where X = 2 b x 8 a b t 1 , c 2 = a a 2 b 2 . For | ε | = 1 the solution (59) satisfies the equation q ( x , t 1 ) = p * ( x , t 1 ) . Figure 4 shows the magnitude of the one-phase periodic solution (59) for a = 4 , b = 3 , ε = 1 .
By changing the parameter a a in the curve Equation (57):
ν 2 = ( λ 2 a ) 2 b 2 2 , a > b > 0 ,
we get the following equalities
u ( x ) = 8 b 2 a 2 b 2 cos ( 4 b x ) + a ,
and
p ( x , t 1 ) = 2 2 b ε b cos X i c 2 sin X 3 8 s e 2 i a x 4 i ( b 2 + a 2 ) t 1 c 2 ( 3 8 s ) / 2 a 2 b 2 cos 2 X + a 2 4 s , q ( x , t 1 ) = 2 2 b b cos X + i c 2 sin X 3 8 s e 2 i a x + 4 i ( b 2 + a 2 ) t 1 ε c 2 ( 3 8 s ) / 2 a 2 b 2 cos 2 X + a 2 4 s ,
where X = 2 b x 8 a b t 1 , c 2 = a a 2 b 2 . For | ε | = 1 the solution (59) satisfies the condition q ( x , t 1 ) = p * ( x , t 1 ) .It is not difficult to see that the solutions (59) and (62) have the same magnitude.

5. Concluding Remark

As a result of the analysis of the examples, we can make the conjecture.
Let us write the equation of the spectral curve of a M-phase solution in the following form
Γ g : ν 2 = P g + 1 ( λ 2 ) ,
where P k ( μ ) is a polynomial of μ of degree k. Then the genus g of the spectral curve (63) is equal: g = 2 M for even g and g = 2 M + 1 for odd g. Therefore the spectral curve of a M-phase solution of the derived NLS equation is a covering of the algebraic cuve of the genus M:
Γ M : ν 2 = P g + 1 ( μ ) .
Hence, it seems that finite-gap solutions should be constructed not according to curve Γ g (63), but according to curve Γ M (64).
It is well known that the presence of symmetry λ λ of the hyperelliptic curve Γ g (63) leads to the fact that it is a cover over two other curves: Γ M (64) and
Γ N : ν 2 = μ P g + 1 ( μ ) ,
where N = g M is a genus of the curve (65). In the future, we plan to investigate the roles of curves Γ M and Γ N in the process of constructing finite-gap multiphase solutions.

Funding

The article was prepared with the financial support of the Ministry of Science and Higher Education and of the Russian Federation, grant agreement No. FSRF-2020-0004.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Yousefi, M.I.; Kschischang, F.R. Information transmission using the nonlinear Fourier transform, part I: Mathematical tools. IEEE Trans. Inf. Theory 2014, 60, 4312–4328. [Google Scholar] [CrossRef] [Green Version]
  2. Yousefi, M.I.; Kschischang, F.R. Information transmission using the nonlinear Fourier transform, part II: Numerical methods. IEEE Trans. Inf. Theory 2014, 60, 4329–4345. [Google Scholar] [CrossRef]
  3. Yousefi, M.I.; Kschischang, F.R. Information transmission using the nonlinear Fourier transform, part III: Spectrum modulation. IEEE Trans. Inf. Theory 2014, 60, 4346–4369. [Google Scholar] [CrossRef] [Green Version]
  4. Goossens, J.W.; Haffermann, H.; Yousefi, M.I.; Jaouën, Y. Nonlinear Fourier Trasform in Optical Communications; Optic InfoBase Conference Papers; Part F82-CLEO_Europe 2017; European Quantum Electronics Conference: Munich, Germany, 2017. [Google Scholar]
  5. Goossens, J.V.; Yousefi, M.; Jaouën, Y.; Haffermann, H. Polarization-Division Multiplexing Based on the Nonlinear Fourier Transform. Opt. Express 2017, 25, 26437–26452. [Google Scholar] [CrossRef] [PubMed]
  6. Ablowitz, M.J.; Kaup, D.J.; Newell, A.C.; Segur, H. The Inverse Scattering Transform-Fourier Analysis for Nonlinear Problems. Stud. Appl. Math. 1974, 53, 249–315. [Google Scholar] [CrossRef]
  7. Manakov, S.V. On the theory of two-dimensional stationary self-focussing of electromagnetic waves. Sov. Phys. JETP 1974, 38, 248–253. [Google Scholar]
  8. Goossens, J.W.; Haffermann, H.; Jaouën, Y. Data Transmission based on Exact Inverse Periodic Nonlinear Fourier Transform, Part I: Theory. J. Light. Technol. 2020, 38, 6499–6519. [Google Scholar] [CrossRef]
  9. Goossens, J.W.; Haffermann, H.; Jaouën, Y. Data Transmission based on Exact Inverse Periodic Nonlinear Fourier Transform, Part II: Waveform Design and Experiment. J. Light. Technol. 2020, 38, 6520–6528. [Google Scholar] [CrossRef]
  10. Dubrovin, B.A. Matrix finite-zone operators. J. Soviet Math. 1985, 28, 20–50. [Google Scholar] [CrossRef]
  11. Smirnov, A.O.; Gerdjikov, V.S.; Matveev, V.B. From generalized Fourier transforms to spectral curves for the Manakov hierarchy. II. Spectral curves for the Manakov hierarchy. Eur. Phys. J. Plus 2020, 135, 561. [Google Scholar] [CrossRef]
  12. Smirnov, A.O.; Gerdjikov, V.S.; Aman, E.E. The Kulish-Sklyanin type hierarchy and spectral curves. IOP Conf. Ser. Mater. Sci. Eng. 2021, 1047, 012114. [Google Scholar] [CrossRef]
  13. Smirnov, A.O.; Filimonova, E.G.; Matveev, V.B. The spectral curve method for the Kaup-Newell hierarchy. IOP Conf. Ser. Mater. Sci. Eng. 2020, 919, 052051. [Google Scholar] [CrossRef]
  14. Kaup, D.J.; Newell, A.C. An exact solution for a Derivative Nonlinear Schrödinger equation. J. Math. Phys. 1978, 19, 798–801. [Google Scholar] [CrossRef]
  15. Kamchatnov, A.M. New approach to periodic solutions of integrable equations and nonlinear theory of modulational instability. Phys. Rep. 1997, 286, 199–270. [Google Scholar] [CrossRef]
  16. Xu, S.; He, J.; Wang, L. The Darboux transformation of the derivative nonlinear Schrödinger equation. J. Phys. A 2011, 44, 305203. [Google Scholar] [CrossRef] [Green Version]
  17. He, J.; Xu, S. The rogue wave and breather solution of the Gerdjikov-Ivanov equation. J. Math. Phys. 2012, 53, 03507. [Google Scholar]
  18. Guo, L.; Zhang, Y.; Xu, S.; Wu, Z.; He, J. The higher order Rogue Wave solutions of the Gerdjikov-Ivanov equation. Phys. Scr. 2014, 89, 035501. [Google Scholar] [CrossRef]
  19. Zhang, Y.S.; Guo, L.J.; He, J.S.; Zhou, Z.X. Darboux transformation of the second-type derivative nonlinear Schrödinger equation. Lett. Math. Phys. 2015, 105, 853–891. [Google Scholar] [CrossRef] [Green Version]
  20. Geng, X.G.; Li, Z.; Xue, B.; Guan, L. Explicit quasi-periodic solutions of the Kaup-Newell hierarchy. J. Math. Anal. Appl. 2015, 425, 1097–1112. [Google Scholar] [CrossRef]
  21. Peng, W.; Pu, J.; Chen, Y. Pinn deep learning for the Chen-Lee-Liu equation: Rogue wave on the periodic background. arXiv 2021, arXiv:2105.130527. [Google Scholar]
  22. Chen, H.; Lee, Y.C.; Liu, C.S. Integrability of nonlinear Hamiltonian systems by inverse scattering method. Special issue on solitons in physics. Phys. Scripta 1979, 20, 490–492. [Google Scholar] [CrossRef]
  23. Gerdjikov, V.S.; Ivanov, M.I. The quadratic bundle of general form and the nonlinear evolution equations. I. Expansions over the “squared” solutions are generalized Fourier transforms. Bulg. J. Phys. 1983, 10, 13–26. [Google Scholar]
  24. Gerdjikov, V.S.; Ivanov, M.I. A quadratic pencil of general type and nonlinear evolution equations. II. Hierarchies of Hamiltonian structures. Bulg. J. Phys. 1983, 10, 130–143. [Google Scholar]
  25. Kundu, A. Landau-Lifshitz and higher-order nonlinear systems gauge generated from nonlinear Schrödinger-type equations. J. Math. Phys. 1984, 25, 3433–3438. [Google Scholar] [CrossRef]
  26. Clarkson, P.A.; Cosgrove, C.M. Painlevé analysis of the nonlinear Schrödinger family of equations. J. Phys. A 1987, 20, 2003–2024. [Google Scholar] [CrossRef]
  27. Tsuchida, T.; Wadati, M. Complete integrability of derivative nonlinear Schrodinger-type equations. Inverse Probl. 1999, 15, 1363–1373. [Google Scholar] [CrossRef] [Green Version]
  28. Yang, B.; Chen, J.; Yang, J. Rogue Waves in the Generalized Derivative Nonlinear Schrödinger Equations. J. Nonlinear Sci. 2020, 30, 3027–3056. [Google Scholar] [CrossRef]
  29. Wadati, M.; Sogo, K. Gauge transformations in soliton theory. J. Phys. Soc. Jpn. 1983, 52, 394–398. [Google Scholar] [CrossRef]
  30. Kundu, A. Exact solutions to higher-order nonlinear equations through gauge transformation. Physica D 1987, 25, 399–406. [Google Scholar] [CrossRef]
  31. Zhang, G.; Yan, Z. The Derivative Nonlinear Schrödinger Equation with Zero/Nonzero Boundary Conditions: Inverse Scattering Transforms and N-Double-Pole Solutions. J. Nonlinear Sci. 2020, 30, 3089–3127. [Google Scholar] [CrossRef]
Figure 1. A magnitude | p | of the travelling wave (45) for a = 1 .
Figure 1. A magnitude | p | of the travelling wave (45) for a = 1 .
Symmetry 13 01203 g001
Figure 2. A magnitude | p | of the soliton (55) for a = 4 , b = 3 .
Figure 2. A magnitude | p | of the soliton (55) for a = 4 , b = 3 .
Symmetry 13 01203 g002
Figure 3. A magnitude | p | of the soliton (56) for a = 4 , b = 3 .
Figure 3. A magnitude | p | of the soliton (56) for a = 4 , b = 3 .
Symmetry 13 01203 g003
Figure 4. A magnitude | p | of the one-phase periodic solutions (59), (62) for a = 4 , b = 3 .
Figure 4. A magnitude | p | of the one-phase periodic solutions (59), (62) for a = 4 , b = 3 .
Symmetry 13 01203 g004
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Smirnov, A.O. Spectral Curves for the Derivative Nonlinear Schrödinger Equations. Symmetry 2021, 13, 1203. https://doi.org/10.3390/sym13071203

AMA Style

Smirnov AO. Spectral Curves for the Derivative Nonlinear Schrödinger Equations. Symmetry. 2021; 13(7):1203. https://doi.org/10.3390/sym13071203

Chicago/Turabian Style

Smirnov, Aleksandr O. 2021. "Spectral Curves for the Derivative Nonlinear Schrödinger Equations" Symmetry 13, no. 7: 1203. https://doi.org/10.3390/sym13071203

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop