Abstract
We explore systematically a rigorous theory of the inverse scattering transforms with matrix RiemannHilbert problems for both focusing and defocusing modified Kortewegde Vries (mKdV) equations with nonzero boundary conditions (NZBCs) at infinity. Using a suitable uniformization variable, the direct and inverse scattering problems are proposed on a complex plane instead of a twosheeted Riemann surface. For the direct scattering problem, the analyticities, symmetries and asymptotic behaviors of the Jost solutions and scattering matrix, and discrete spectra are established. The inverse problems are formulated and solved with the aid of the RiemannHilbert problems, and the reconstruction formulae, trace formulae, and theta conditions are also found. In particular, we present the general solutions for the focusing mKdV equation with NZBCs and both simple and double poles, and for the defocusing mKdV equation with NZBCs and simple poles. Finally, some representative reflectionless potentials are in detail studied to illustrate distinct wave structures for both focusing and defocusing mKdV equations with NZBCs.
Keywords: focusing and defocusing mKdV equations; nonzero boundary conditions; direct and inverse scattering; RiemannHilbert problem; solitons; breathers
Inverse scattering transforms and solutions for the focusing and defocusing mKdV equations with nonzero boundary conditions
[0.2in]
Guoqiang Zhang and Zhenya Yan
[0.03in] Key Laboratory of Mathematics Mechanization, Academy of Mathematics and Systems Science,
Chinese Academy of Sciences, Beijing 100190, China
School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China
(Date: August 15, 2019)
1 Introduction
This paper focuses on the inverse scattering transforms and general solutions for both focusing and defocusing mKdV equations with nonzero boundary conditions (NZBCs) at infinity, namely
(1) 
based on the generalized RiemannHilbert problem, not the usual Gel’fandLevitonMachenko integral equation [1, 2], where , denote, respectively, the focusing and defocusing mKdV. Eq. (1) possesses the scaling symmetry with being a nonzero parameter, and can be rewritten as a Hamiltonian system under the nonzero condition
(2) 
Eq. (1) arises in many different physical contexts, such as acoustic wave and phonons in a certain anharmonic lattice [3, 4], Alfvén wave in a cold collisionfree plasma [5, 6], thin elastic rods [7], meandering ocean currents [8], dynamics of traffic flow [9, 10], hyperbolic surfaces [11], slagmetallic bath interfaces [15], and Schottky barrier transmission lines [16]. The wellknown Miura transform [2, 12] established the relation between Eq. (1) and the KdV equation . The Hodograph transform [13, 14] was found between Eq. (1) and the HarryDym equation . Moreover, there exists a transformation [17] between Eq. (1) equation and the Gardner equation (also called the combined KdVmKdV equation) [2, 18] with BCs
(3) 
Since the inverse scattering transform (IST) method was presented to solve the initialvalue problem for the integrable KdV equation by Gardner, Greene, Kruskal and Miura [19], and for the nonlinear Schrödinger equation by Zakharov and Shabat [20, 21], there have been some results on the IST for the mKdV equation. For instance, Wadati studied the focusing mKdV equation with zero boundary conditions (ZBCs) and derived simplepole, doublepole and triplepole solutions [22, 23], after which the soliton solutions and breather solutions for the focusing mKdV equation with ZBCs were found [24]. Deift and Zhou presented the longtime asymptotics of the defocusing mKdV equation with ZBCs by using the socalled steepest descent method [25]. The focusing mKdV equation with NZBCs was also studied such that the soliton solutions were obtained for the simplepole case with pure imaginary discrete spectra [26, 27], and the breather solutions were found for the simplepole case with a pair of conjugate complex discrete spectra [28]. The Hamiltonian formalism of the defocusing mKdV equation with special NZBCs was given [29]. Recently, the longtime asymptotics of the simplepole solution for the focusing mKdV equation with steplike NZBCS was studied [30].
To the best of our knowledge, there still are the following open questions on the ISTs for the defocusing mKdV equation with NZBCs and even for the focusing mKdV equation with NZBCs:

Though some special simplepole solutions of the focusing mKdV equation with NZBCs were given [26, 27, 28], there still exists a natural problem whether it admits a general simplepole solution with mixed pairs of conjugate complex discrete spectra and pure imaginary discrete spectra, i.e., breathersoliton solutions ().

For the focusing mKdV equation with NZBCs, the multipole solutions, i.e., the solutions corresponding to multiplepole of the reflection coefficients, were not proposed yet. Especially, the general doublepole solutions with pairs of conjugate complex and pure imaginary discrete spectra were also unknown yet.

The inverse problem of the focusing mKdV equation with NZBCs was solved by using the Gel’fandLevitonMachenko equation before [30], rather than formulated in terms of a matrix RiemannHilbert problem via a suitable uniformization variable.

Though there are some partial results on the IST for the focusing mKdV equation with NZBCs, a more rigorous theory of the IST for the focusing mKdV equation with NZBCs remains open, such as the Riemann surface, uniformaization variable, analyticity, the symmetries and the asymptotic of Jost solutions and scattering matrix, reconstruction formula, trace formula and theta conditions.

There are almost no known results on the IST for the defocusing mKdV equation with NZBCs.
Recently, Ablowitz, Biondini, Demontis, Prinary, et al presented a powerful approach to study the ISTs for some nonlinear Schrödinger (NLS)type equations with NZBCs at infinity [31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47], in which the inverse problems were formulated in terms of the suitable RiemannHilbert problems by defining uniformization variables. Inspired by the abovementioned idea, in this paper we would like to develop a more general theory to study systematically the ISTs for both focusing and defocusing mKdV equations with NZBCs (1) to solve affirmatively those abovementioned open issues in turn. It should be pointed out that the mKdV equation differs from the NLS equation for two main reasons: i) symmetries of their Lax pairs are different; ii) the potential in the NLS equation is complex while one in the mKdV equation is real such that more complicated conditions are required for the mKdV equation. Moreover, based on the abovementioned relations between the mKdV equation Eq. (1) and other physically important nonlinear wave equations, the obtained results can also be applied to these nonlinear wave equations.
The rest of this paper is organized as follows. In Sec. II, we present a rigorous theory of the IST for the focusing mKdV equation with NZBCs and simple poles. Moreover, the inverse problem of the focusing mKdV equation with NZBCs was formulated in terms of a matrix RiemannHilbert problem by a suitable uniformization variable. As a results, a general simplepole solution with pairs of conjugate complex discrete spectra and pure imaginary discrete spectra, i.e., breathersoliton solutions, are found. In Sec. III, we derive the IST for the focusing mKdV equation with NZBCs and double poles such that a general (breather, breather)(bright, dark)soliton solutions are found. In Sec. IV, the IST for the defocusing mKdV equation with NZBCs and simple poles is presented to generate multidarksolitonkink solutions for some special cases. Finally, we give the conclusions and discussions in Sec. V.
Remark 1.
The complex conjugate and conjugate transpose are denoted by and , respectively. The three Pauli matrices are defined as
(4) 
and with being a matrix and being a scalar variable.
It is wellknown that the focusing or defocusing mKdV equation (1) is the compatibility condition, , of the ZSAKNS scattering problem (i.e., Lax pair) [48]
(5)  
(6) 
where is an isospectral parameter, the eigenfunction is chosen as a matrix, the potential matrix is given by
(7) 
and and correspond to the focusing and defocusing mKdV equations, respectively.
2 The focusing mKdV equation with NZBCs: simple poles
2.1 Direct scattering problem
The direct scattering process can determine the analyticity and the asymptotic of the scattering eigenfunctions, symmetries, and asymptotics of the scattering matrix, discrete spectrum, and residue conditions. Though defining a suitable uniformization variable [49], the twosheeted Riemann surface for can be transformed into the standard complex plane, on which the scattering problem is discussed conveniently.
Riemann surface and uniformization variable
Considering the following asymptotic scattering problem () of the focusing Lax pair (5) and (6) with :
(8) 
with one can obtain the fundamental matrix solution of Eq. (8) as
(9) 
where
(10) 
To discuss the analyticity of the Jost solutions, one needs to determine the regions where Im in (cf. Eq. (10), see, e.g., Ref. [36, 45])). Since the defined is doubly branched, where the branch points are , thus one should introduce a twosheeted Riemann surface such that is a singlevalued function on its each sheet. Let with the arguments and , one obtains two singlevalued branches and , respectively, on SheetI and SheetII, where the branch cut is the segment . The region where Im is the upperhalf plane (UHP) on SheetI and the lowerhalf plane (LHP) on SheetII. The region where Im is the LHP on Sheet I and UHP on Sheet II. Besides, is realvalued on real axis and the branch cut (see Fig. 1(left)).
Remark 2.
When , i.e., , the NZBCs reduces to the ZBCs and .
Before we continue to study the properties of the Jost solutions and scattering datas, it is convenient to introduce a uniformization variable defined by the conformal mapping [49]:
(11) 
whose inverse mapping is derived as
(12) 
The mapping relation between the twosheeted Riemann surface (Fig. 1(left)) and complex plane (Fig. 1(right)) is observed as follows:

On the SheetI of the Riemann surface, as , while on the SheetII of the Riemann surface, as ;

The SheetI and SheetII, excluding the branch cut, are mapped onto the exterior and interior of the circle of radius , respectively;

The branch cut is mapped into the circle of radius . In particular, the segment of the SheetI (SheetII) is mapped onto the part in the first (second) quadrant of complex plane, and the segment of SheetI (SheetII) is mapped onto the part in the third (fourth) quadrant of complex plane;

The real axis is mapped onto the real axis. In particular, of the SheetI (SheetII) is mapped onto () and of the SheetI (SheetII) is mapped onto ();

The region for Im (Im ) of the Riemann surface is mapped onto the grey (white) domain in the complex plane. In particular, the UHP of the SheetI (SheetII) is mapped onto the grey (white) domain of the UHP in the complex plane, and the LHP of the SheetI (SheetII) is mapped onto the white (grey) domain of the LHP in the complex plane.
For convenience, we denote the grey and white domains in Fig. 1 (right) by
(13) 
respectively. In the following, we will consider our problem on the complex plane instead of plane. With the help of the inverse mapping (12), one can rewrite the fundamental matrix solution of the asymptotic scattering problem as , where
(14) 
Properties of Jost solutions
As usual, the continuous spectrum is the set of all values of satisfying [36]. Let be the circle of radius (see Fig. 1 (right)). Then, the continuous spectrum is denoted by . We will seek for the simultaneous solutions of the Lax pair (5, 6), i.e., the socalled Jost solutions, such that
(17) 
The modified Jost solutions is introduced though dividing by the asymptotic exponential oscillations
(18) 
such that
(19) 
Then the Jost integral equation can be obtained from Eqs. (5) by the constant variation approach
(20) 
where .
Lemma 1.
Given a series and a function on an interval , where and are matrixvalued functions. If converges uniformly on the interval and , , then and
Proposition 1.
Proof.
As , . Let , which satisfy (cf. Eq. (20))
For the first column of , one has
(21) 
where . As usual, a Neumann series for is introduced as
(22) 
with ’s defined by
For , we have
For , we restrict to the domain , where the domain is defined by . Combining with the fact that as , one can infer that there exists a positive constant such that for . Therefore, for . Furthermore, one can obtain the recursion inequality:
(23) 
In terms of Eq. (23) one can find the estimate for each term of the series as
(24) 
which implies that the series converges uniformly in the domain . Thus is continuous in and analytic in . Besides, the arbitrariness of infers that is continuous in and analytic in . As , Eq. (24) also can infer that
(25) 
which derive that converges uniformly in . With Lemma 1, one obtains
(26) 
Eq. (26) with the arbitrary of illustrates the existence of the solution for Eq. (21). Using the following inequality,
(27) 
one gives the asymptotic of :
To illustrate the uniqueness of the solution for integral equation (21), we need to prove that the homogeneous integral equation has only zero solution. Now we write the homogeneous integral equation as
It is easy to infer that
(28) 
Let . Then one can obtain the following inequality for :
that is,
By the monotonicity, one obtains
which derives . Combining with in Eq. (28), one can infer . Then the uniqueness is proved. The existence, uniqueness, continuity, and analyticity of can also follow from . Similarly, one can also verify the corresponding properties of using the abovementioned approach and here we omit them. ∎
Corollary 1.
Proposition 2.
Proof.
It follows from Proposition 1 that we here only need to verify the existence, uniqueness and continuity of at .
satisfies the following integral equation:
where is the argument of . Similarly, we introduce a Neumann series
with
As , one has
which can be used to get the recursion inequality:
In the condition of , one has