Journal of Nonlinear Mathematical Physics

Volume 26, Issue 1, December 2018, Pages 1 - 23

A hierarchy of long wave-short wave type equations: quasi-periodic behavior of solutions and their representation

Xianguo Geng, Yunyun Zhai*, Bo Xue, Jiao Wei
School of Mathematics and Statistics, Zhengzhou University, 100 Kexue Road, Zhengzhou, Henan 450001, People’s Republic of China, Geng); Zhai); Xue); Wei)
*Corresponding authors.
Corresponding Author
Yunyun Zhai
Received 24 January 2018, Accepted 24 May 2018, Available Online 6 January 2021.
10.1080/14029251.2019.1544785How to use a DOI?
long wave-short wave type equations; Baker-Akhiezer function; meromorphic function; quasi-periodic solutions

Based on the Lenard recursion relation and the zero-curvature equation, we derive a hierarchy of long wave-short wave type equations associated with the 3 × 3 matrix spectral problem with three potentials. Resorting to the characteristic polynomial of the Lax matrix, a trigonal curve is defined, on which the Baker-Akhiezer function and two meromorphic functions are introduced. Analyzing some properties of the meromorphic functions, including asymptotic expansions at infinite points, we obtain the essential singularities and divisor of the Baker-Akhiezer function. Utilizing the theory of algebraic curves, quasi-periodic solutions for the entire hierarchy are finally derived in terms of the Riemann theta function.

© 2019 The Authors. Published by Atlantis and Taylor & Francis
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (

1. Introduction

Soliton equations have caught a great deal of attention for describing and explaining nonlinear phenomena in theoretical physics, fluid mechanics, nonlinear optics, plasma physics and other subjects [1] . Besides some famous equations such as the Korteweg-de Vries, sine-Gordon, Boussinesq and Kadomtsev Petviashvili equations [1, 31, 47, 50], a lot of new models possessing great significance have been proposed, for example, the Camassa-Holm, Degasperis-Procesi, Novikov, and Geng-Xue equations etc [6, 10, 22, 23, 30, 3537]. As the research moves along, more and more systematic methods have been developed to solve these soliton systems [1, 4, 14, 17, 29, 33, 44]. For examples, the inverse scattering transformation [1, 17], the bilinear transformation methods of Hirota [29] , the Bäcklund and Darboux transformations [44] , algebro-geometric method [4, 14, 32, 33] and others [19, 42].

Since 1970s, various methods in a series of papers [3 , 4, 7, 9, 14, 18, 24, 26, 3234, 41, 51] were developed on the basis of the theory of hyperelliptic curves to obtain quasi-periodic solutions of soliton equations associated with 2 × 2 matrix spectral problems such as the KdV, KP, nonlinear Schrödinger, Camassa-Holm, Toda lattice, Ablowitz-Ladik equations and so on. However, it is the trigonal curve [5, 11, 15, 49] rather than the hyperelliptic curve that is the theoretic foundation to obtain the quasi-periodic solutions to soliton equations related to the third order spectral problems. Although the reduction theory of Riemann theta functions has been applied to study quasi-periodic solutions of the Boussinesq equation in a few of literature [2, 43, 45, 46, 5255], the method is not a general scheme to construct quasi-periodic solutions of completely integrable systems. In 1999, Dickson and his partners proposed a unified framework which yields all algebro-geometric quasi-periodic solutions of the entire Boussinesq hierarchy [12, 13]. Shortly after that, this method was generalized to deal with the modified Boussinesq and the Kaup-Kupershmidt hierarchies [20, 21] based on the trigonal curve introduced by the characteristic polynomial of the Lax matrix. The trigonal curves in [12,13,20,21] have one collective feature, that is, one infinite point which is a branch point with the triple root. Recently, the research has developed to get the quasi-periodic solutions to the coupled modified Korteweg-de Vries hierarchy, the three wave resonant interaction hierarchy and the four-component AKNS soliton hierarchy associated with the trigonal curves having three different infinite points which are not branch points [25, 28, 39, 40].

In this paper, we first derive a hierarchy of long wave-short wave type equations associated with the 3 × 3 matrix spectral problem with three potentials. The first nontrivial member in the hierarchy is the long wave-short wave type system


Equation (1.1) reduces to

if x → −ix, t → −it, w = v*, which is different from the standard long wave-short wave resonance system [8, 38, 56]. Another principal subject of the present paper is to construct quasi-periodic solutions for the long wave-short wave type hierarchy on the basis of the theory of algebraic curves. To this end, one introduces the trigonal curve with the aid of the characteristic polynomial of the Lax matrix. A distinguishing feature for the trigonal curve associated with the hierarchy is that it has two infinite points, one of which is a double branch point and the other is not a branch point. Compared with references [12, 13 , 20, 21, 25, 28, 39, 40], the trigonal curve in this paper is more general. Therefore, we need to reinvestigate the local coordinates near infinite points, the Abelian differentials and other basic properties.

The outline of this paper is as follows. In section 2, we consider a 3 × 3 matrix spectral problem with three potentials and derive a hierarchy of nonlinear evolution equations with the aid of three sets of Lenard recursion equations and the stationary zero-curvature equation. In section 3, a trigonal curve is introduced by using the characteristic polynomial of the Lax matrix, on which the Baker-Akhiezer function together with two related meromorphic functions is given. Based on the asymptotic properties of the two meromorphic functions near the infinite points, the essential singularities of Baker-Akhiezer function are derived. Accordingly, the Abelian differentials of the second kind are given for the purpose of representation. In section 4, we investigate some properties of the two meromorphic functions and obtain the Dubrovin-type equations. Subsequently, we derive divisors of meromorphic functions and the Baker-Akhiezer function which are necessary for the construction of the quasi-periodic solutions. Section 5 finally constructs the Riemann theta function representations for the long wave-short wave type hierarchy according to the asymptotic properties and the quasi-periodic characters of the meromorphic function and the Baker-Akhiezer function.

2. A long wave-short wave type hierarchy

In this section, we shall derive a hierarchy of long wave-short wave type models. To this end, we consider a 3 × 3 matrix spectral problem with three potentials

where u, v, w are three potentials, and λ a constant spectral parameter. We first introduce three sets of Lenard recursion equations:
where the two operators are defined as
and the starting points s0 = (0, 0, 0, 0, 1)T, ŝ0 = (0, 1, 0, 0, 0)T, s˜0=(1,0,v,w,vw)T. Then the sequences sj, ŝj, s˜j can be determined uniquely. For example, the first three members read as

In order to generate a hierarchy of nonlinear evolution equations associated with the spectral problem (2.1), we define a 3 × 3 matrix

with the elements

Then the stationary zero-curvature equation

is equivalent to

Expanding b, c, d, e, f into the Laurent polynomials in λ:

equation (2.8) is equivalent to the following recursion equations
where Sj = (bj, cj, dj, ej, fj)T. Since equation JS0 = 0 has a general solution
then functions Sj given by
satisfy the recursion equation (2.10), where αj, βj, δj are arbitrary constants.

Let ψ satisfy the spectral problem (2.1) and the auxiliary problem

where V˜ij(r)=Vij(b˜(r),c˜(r),d˜(r),e˜(r),f˜(r)),
with S˜j=(b˜j,c˜j,d˜j,e˜j,f˜j)T determined by

The constants α˜j, β˜j, δ˜j here are independent of the choice of αj, βj, δj. Then the compatibility condition of (2.1) and (2.13) yields the zero-curvature equation, UtrV˜x(r)+[U,V˜(r)]=0, which is equivalent to a hierarchy of nonlinear evolution equations

where the vector fields Xr=P(KS˜r)=P(JS˜r+1), P is the projective map P(γ1, γ2, γ3, γ4, γ5)T → (γ1, γ2, γ3)T. The first member in the hierarchy for r = 0 is a long wave-short wave type system

As α˜0=β˜0=0, δ˜0=1, t0 = t, equation (2.17) turns into (1.1). For r = 1, the second member in the hierarchy (2.16) reads as


If choosing β˜0=1, α˜0=α˜1=β˜1=δ˜0=δ˜1=0 or δ˜0=1, α˜0=β˜0=α˜1=β˜1=δ˜1=0, then (2.18) is respectively reduced to a new coupled mKdV equation


3. Meromorphic functions and Baker-Akhiezer function

In this section, we shall define a trigonal curve 𝒦m−1, the vector Baker-Akhiezer function and two meromorphic functions on 𝒦m−1. The Abelian differentials of the second kind are introduced on the basis of the analysis for Baker-Akhiezer function ψ2 at infinite points.

With the help of the n-th stationary flow, we introduce a Lax matrix V(n)=(Vij(n))3×3=((λnVij)+)3×3, which satisfies the Lax equation


Then the characteristic polynomial m(λ, y) = det(yIV(n)) of the Lax matrix V(n) is a polynomial of λ independent of variables x and tr, which can be expressed in the following form

where Rm(λ), Sm(λ) and Tm(λ) are polynomials with constant coefficients of λ

This naturally leads to a trigonal curve 𝒦m−1 of degree m = 3n + 2 with respect to λ by


According to (3.4) and (3.5), the trigonal curve 𝒦m−1 can be compactified by adding two infinite points P1 and P2 for which we take P1 as a double point without loss of generality. 𝒦m−1 is nonsingular or smooth means that for every point Q0 = (λ0, y0) ∈ 𝒦m−1 \ {P1, P2}, (mλ,my)|(λ,y)=(λ0,y0)0. Adding the assumption of irreducibility, the trigonal curve 𝒦m−1 becomes connected. For the sake of convenience, we use the same symbol 𝒦m−1 in the following text to denote the three sheeted nonsingular compact Riemann surface. Obviously, the discriminant of (3.5) is Δ(λ)=Rm2Sm2+4Rm3Tm+4Sm318RmSmTm+27Tm2=4β02δ04λ6n+5+, which has at most 6n + 5 zeros. Therefore, the Riemann-Hurwitz formula shows that the arithmetic genus of 𝒦m−1 is 3n + 1 for β0δ0 ≠ 0 [16, 27, 48].

Equip the Riemann surface 𝒦m−1 with homology basis {𝕒j,𝕓j}j=1m1, which are independent and have intersection numbers as follows


For the present, we will choose as our basis the following set

which are 3n + 1 linearly independent holomorphic differentials on 𝒦m−1. By using the homology basis {𝕒j}j=1m1 and {𝕓j}j=1m1, the period matrices A = (Ajk) and B = (Bjk) can be constructed from

It is possible to show that the matrices A and B are invertible [16, 27, 48]. Now we define the matrices C and τ by C = A−1, τ = A−1B. The matrix τ can be shown to be symmetric (τjk = τkj) and has a positive-definite imaginary part (Imτ > 0). If we normalized ϖl(P) into new basis ωj=l=1m1Cjlϖl,,

then we have 𝕓kωj=τjk, j, k = 1,...,m − 1.

The complex structure on 𝒦m−1 is defined in the usual way by introducing local coordinates ζQ0 : P → (λλ0) near points Q0 = (λ0, y(Q0)) ∈ 𝒦m−1 which are not branch points nor infinite points of 𝒦m−1, ζPj: Pλ−1/(3−j) near the points Pj𝒦m−1, j = 1, 2, and similar at others branch points of 𝒦m−1.

Given these preliminaries, let ψ(P, x, x0, tr, t0,r) denote the vector Baker-Akhiezer function by


Define two meromorphic functions ϕ2(P, x, tr) and ϕ3(P, x, tr) on 𝒦m−1 closely related to the Baker-Akhiezer function by


Lemma 3.1.

Assume that (3.9), (3.10), (3.11) hold and let P = (λ, y(P)) ∈ 𝒦m−1 \ {P1, P2} and (λ, x, tr) ∈ ℂ3. Then meromorphic functions ϕ2(P, x, tr) and ϕ3(P, x, tr) have the following asymptotic expansions near Pj𝒦m−1, j = 1, 2, under the local coordinate ζ = λ−1/(3−j)



Expressions (3.9) and (3.10) imply that meromorphic functions ϕ2(P, x, tr) satisfies the Riccati-type equation


We can insert the two following ansatzs into the above equation (3.14)


A comparison of the same powers of ζ then proves the first expression (3.12) in this lemma. The first expression in (3.9) implies the relationship between ϕ2 and ϕ3


Utilizing the expansions of ϕ2 in (3.12), we can easily derive (3.13).

Taking advantage of (3.9), (3.12) and (3.13), we can calculate out the asymptotic behaviors of y(P) near P1, P2 as


Subsequently, one infers that


Furthermore, we could write ωj in the following form:

where ρk,l(Pj) are constants, j = 1, 2; k = 1, 2,...,3n + 1.

From the first two expression of (3.9), we arrive at the formula of ψ2(P, x, x0, tr, t0,r) as follows

from which we can deduce the essential singularity of ψ2(P, x, x0, tr, t0,r) near Pj, j = 1, 2. For the sake of convenience, we define a function
whose three homogeneous cases is denoted by

Homogeneous polynomials b˜¯(r,ε), c˜¯(r,ε), d˜¯(r,ε), e˜¯(r,ε), f˜¯(r,ε) and b˜¯j(ε), c˜¯j(ε), d˜¯j(ε), e˜¯j(ε), f˜¯j(ε) also have the similar stipulation.

Lemma 3.2.

Suppose that u(x, tr), v(x, tr) and w(x, tr) satisfy the r-th nonlinear evolution equations (2.16). Moreover, let P𝒦m−1 \ {P1, P2}, (x, x0, tr, t0,r) ∈ ℂ4. Then



To investigate the property of ψ2(P, x, x0, tr, t0,r) near P1, one shall take the local coordinate as λ = ζ−2. We use the inductive method to prove the subsequent expression


In fact, for r = 1, a direct calculation shows that


Suppose that I¯r(1)(P,x,tr) has the following expansion

for some coefficients {σj(1)(x,tr)}j0 to be determined. Observing
we arrive at

Taking use of (2.2), (2.14) and lemma 3.1, we get three expressions

where the integration constants are taken as zero because there is no arbitrary constants in the expansions of ϕ2(P, x, tr) near P1 nor in the coefficients of the homogeneous polynomials V˜¯i,j(r,1) with the condition ∂∂−1 = −1 = 1. It is easy to see that

Thus I¯r(1)(P,x,tr) is proved to have the expansion as seen in (3.25) near P1. Similarly, one can prove the other two expressions in (3.25), which yield the expansion of Ir(P, x, tr) near P1 as follows


Substituting (3.12) and (3.31) into (3.20), we arrive at the first expression in (3.24) right now. Under the local coordinate ζ = λ−1 near P2, we can similarly prove the second expression in lemma 3.2.

Let ωPs,j(2)(P), j ≥ 2, s = 1, 2, denote the normalized Abelian differential of the second kind holomorphic on 𝒦m−1 \ {Ps} satisfying


According to the asymptotic behaviors of ψ2(P, x, x0, tr, t0,r) in (3.24), we introduce the corresponding Abelian differential of the second kind


From (3.33), (3.34) and (3.35), we conclude that

where e1(2)(Q0), e2(2)(Q0), e˜1(2)(Q0) and e˜2(2)(Q0) are integration constants with Q0 an appropriately chosen base point on 𝒦m−1 \ {P1, P2}. The 𝕓-periods of the differential Ω2(2)(P) and Ω˜2r+3(2)(P) are denoted by

By the relationship between the normalized Abelian differential of the second kind and the normalized holomorphic differential ω_, we can derive that


4. Divisors of meromorphic functions and Baker-Akhiezer function

In this section, we shall investigate the properties of meromorphic functions and Baker-Akhiezer function on the finite part of the Riemann surface 𝒦m−1 including the divisors, which are necessary for construction of the Riemann theta function representations.

For convenience, we define three points P, P*, P** on three different sheets of the same Riemann surface 𝒦m−2. For a fixed λ, let yi(λ), i = 0, 1, 2, denote the three roots of polynomial m(λ, y) = 0, that is


Then points (λ, y0(λ)), (λ, y1(λ)) and (λ, y2(λ)) are on the three different sheets of Riemann surface 𝒦m−1, respectively. Let P = (λ, yi(λ)), i = 0, 1, 2, be an arbitrary point in the three points, then the other two points are defined as P* and P**, respectively. From (4.1), we can derive the relationships between the roots yi(λ), i = 0, 1, 2 and the coefficients Rm, Sm, Tm


Using (3.9), (3.10) and (3.11), a direct calculation shows that


It can be inferred from (4.7) that Em−1, Fm−1 and m−1 are polynomials with respect to λ of degree 3n + 1 for β0δ0 ≠ 0. Therefore, we can rewrite them in the following form:

where {μj(x,tr)}j=13n+1, {νj(x,tr)}j=13n+1, {ξj(x,tr)}j=13n+1 are zeros of Em−1(λ, x, tr), Fm−1(λ, x, tr), m−1(λ, x, tr) respectively. Define P0 = (0, 0). Since
which can be deduced from
we can define
with 1 ≤ j ≤ 3n + 1, (x, tr) ∈ ℂ2.

Observing (4.3), (4.4) and lemma 3.1, we obtain the divisors (ϕ2(P, x, tr)) and (ϕ3(P, x, tr)) of ϕ2(P, x, tr) and ϕ3(P, x, tr) as follows


Now we are in a position to discuss zeros and poles of ψ2(P, x, x0, tr, t0,r) on 𝒦m−1 \ {P1, P2}. From (4.3) and (4.4), we can easily obtain the interrelationships among the polynomials Am, Bm, Cm, Dm, 𝒜m, m, 𝒞m, 𝒟m, Em−1, Fm−1, m−1, Rm, Sm, Tm, which we list below:


Taking use of above relationships, we arrive at the evolution of Em−1(λ, x, tr), Fm−1(λ, x, tr), m−1(λ, x, tr) with respect to x and tr respectively in the subsequent lemma.

Lemma 4.1.

Assume that (3.9) holds and let (λ, x, tr) ∈ ℂ3. Then



Considering that V(n) satisfies the nth stationary equation, we can prove equations (4.22) directly. In order to prove (4.23), (4.24) and (4.25), we first show several expressions about the meromorphic functions ϕ2(P, x, tr) and ϕ3(P, x, tr)


Expression (4.26) implies that


Differentiating (4.34) with respect to tr, we can derive


Without loss of generality, taking the integration constant of (4.35) to be zero and substituting (4.26) and (4.32) into (4.35) can indicate (4.23). Expressions (4.24) and (4.25) can be proved similarly.

Lemma 4.1 naturally yields the dynamics of the zeros μj(x, tr), νj(x, tr) and ξj(x, tr) of Em−1(λ, x, tr), Fm−1(λ, x, tr) and m−1(λ, x, tr) in terms of Dubrovin-type equations in the subsequent lemma.

Lemma 4.2.

Suppose that the zeros {μj(x, tr)}j=1,...,3n+1, {νj(x, tr)}j=1,...,3n+1 and {ξj(x, tr)}j=1,...,3n+1 of Em−1(λ, x, tr), Fm−1(λ, x, tr) and ℰm−1(λ, x, tr) remain distinct for (x, tr) ∈ Ωμ, (x, tr) ∈ Ων and (x, tr) ∈ Ωξ, respectively, where Ωμ, Ων, Ωξ ⊆ ℂ2 are open and connected. Then {μj(x, tr)}j=1,...,3n+1, {νj(x, tr)}j=1,...,3n+1 and {ξj(x, tr)}j=1,...,3n+1 satisfy the system of differential equations

with 1 ≤ j ≤ 3n + 1.

Now we turn to consider expression (3.20) from which one can obtain the subsequent proposition.

Proposition 4.1.

Let P = (λ, y) ∈ 𝒦m−1 \ {P1, P2}, (x, x0, tr, t0,r) ∈ ℂ4. Then ψ2(P, x, x0, tr, t0,r) on 𝒦m−1 \ {P1, P2} has 3n + 1 zeros and 3n + 1 poles which are μ^1(x,tr),,μ^3n+1(x,tr) and μ^1(x0,t0,r),,μ^3n+1(x0,t0,r), respectively.


By using (4.3), (4.11) and (4.23), we can compute that


On the other hand, since

we can similarly derive that

Substituting expressions (4.42) and (4.44) into (3.20) yields the proposition.

5. Quasi-periodic solutions

In this section, we shall construct the Riemann theta function representations for the Baker-Akhiezer function ψ2(P, x, x0, tr, t0,r) and two meromorphic functions ϕ2(P, x, tr), ϕ3(P, x, tr), and in particular, that of solutions for the entire long wave-short wave type hierarchy.

We denote the period lattice 𝒯m1={z_𝒦m1|z_=N_+L_τ,N_,L_𝕑m1}. The complex torus 𝒥m−1 = ℂm−1/𝒯m−1 is called the Jacobian variety of 𝒦m−1. An Abel map 𝒜_:𝒦m1𝒯m1 is defined as

with the natural linear extension to the factor group Div(𝒦m−1)


where ρ_(1)(x,tr), ρ_(2)(x,tr), ρ_(3)(x,tr) can be linearized on 𝒥m−1 in the following text.

Let θ(z_) denote the Riemann theta function associated with 𝒦m−1 equipped with homology basis and holomorphic differentials as before:

where z_=(z1,,zm1)m1 is a complex vector, the diamond brackets denote the Euclidean scalar product:

Expression (5.4) implies that


For brevity, define the function z_:𝒦m1×σm1𝒦m1m1 by

where σm−1𝒦m−1 denotes the (m − 1)-th symmetric power of 𝒦m−1 and M_=(M1,,Mm1) is the vector of Riemann constant depending on the base point Q0 by the following expression

Then we have


According to divisors as seen in (4.14), (4.15) of the meromorphic functions ϕ2(x, tr) and ϕ3(x, tr), we need to introduce Abelian differentials of the third kind for their representations in terms of Riemann theta function.

Let ωQ1,Q2(3)(P) denote the normalized Abelian differential of the third kind holomorphic on 𝒦m−1 \ {Q1, Q2} and having simple poles at Ql with residues (−1)l+1, l = 1,2, then


Especially, we introduce ωP0,P1(3)(P) and ωP2,P1(3)(P) as follows

where the γj, ηj, j = 1,...,3n + 1, are uniquely determined by the requirement of normalized condition, that is vanishing 𝕒–periods

From (5.11) and (5.12), we can directly calculate that

where Λ=12β0δ0(α0δ0+2β022η2n+12δ0η3n+1). Then we have
where e1,0(3)(Q0), e1,1(3)(Q0), e1,2(3)(Q0), e2,1(3)(Q0), e2,2(3)(Q0) are integration constants.

Given the asymptotic expansions at P1, P2 as in lemma 3.1, lemma 3.2 and the divisors (ϕ2(P, x, tr)), (ϕ3(P, x, tr)), 𝒟=μ^1(x0,t0,r)++μ^3n+1(x0,t0,r) as simple poles on 𝒦m−1 \ {P1, P2} of ψ2(P, x, x0, tr, t0,r), the representations of ϕ2(P, x, tr), ϕ3(P, x, tr) and ψ2(P, x, x0, tr, t0,r) can be uniquely determined in the following theorem, as well as those of potentials u(x, tr), v(x, tr), w(x, tr).

Theorem 5.1.

Let P = (λ, y) ∈ 𝒦m−1 \ {P1, P2} and let (x0, t0,r) ∈ ℂ2, (x, tr) ∈ Ωμ ⊆ ℂ2, where Ωμ is open and connected. Suppose that 𝒟μ^_(x,tr) or 𝒟ν^_(x,tr) or 𝒟ξ^_(x,tr) is nonspecial for (x, tr) ∈ Ωμ. Then ϕ2(P, x, tr), ϕ3(P, x, tr) and ψ2(P, x, x0, tr, t0,r) have the following representations

and potentials u(x, tr), v(x, tr), w(x, tr) are of the form
where the paths of integration in the integrals and in the Abel mapping are the same.


Assume temporarily that μj(x, tr) ≠ μj′ (x, tr) for jj′ and (x,tr)Ω˜μΩμ, where Ω˜μ is open and connected. Let the right hand side of (5.18) be denoted by Φ2. Noting (4.15) and (5.14), we can see that ϕ2 and Φ2 have the identical 3n + 2 simple poles P1, μ^1(x,tr),,μ^3n+1(x,tr) and simple zeros P0, ν^1(x,tr),,ν^3n+1(x,tr). Since the arithmetic genus of the Riemann surface is 3n + 1, utilizing the Riemann-Roch theorem, we conclude that the holomorphic function Φ2φ2=γ, a constant with respect to P. Using (3.12) and (5.14), we can derive that

which yields that γ = 1. Similarly, we can prove expression (5.19). The asymptotic expansions of the Baker-Akhiezer function ψ2(P, x, x0, tr, t0,r) in lemma 3.2 and divisor in proposition 4.1 reveal that ψ2(P, x, x0, tr, t0,r) has the Riemann theta representation (5.20), where the function u(x, tr) can be determined later. With help of a meromorphic differential
the Abel map can be linearized in the following form [25]

Therefore, θ(z_(P1,μ^_(x,tr))) and θ(z_(P1,ν^_(x,tr))) could be written briefly in the following form


In order to derive (5.21), we expand ϕ2 of (5.18) near P1 under the local coordinate ζ = λ−1/2

from which we can derive expression (5.21) by comparing asymptotic expansion (5.28) of ϕ2 with (3.12) in lemma 3.1. Representations for v and w as seen in (5.22) and (5.23) can be deduced similarly by expanding ψ2 and ϕ3 respectively near P2 and P1. Observing the continuity of the Abel map 𝒜_, one can extend the result from (x,tr)Ω˜μ to (x, tr) ∈ Ωμ, which completes the proof of the theorem.


This work is supported by National Natural Science Foundation of China (Grant Nos. 11871440, 11501520, 11522112) and Outstanding Young Talent Research Fund of Zhengzhou University (Grant No. 1521315001).


[4]E.D. Belokolos, A.I. Bobenko, V.Z. Enol’skii, A.R. Its, and V.B. Mateveev, Algebro-Geometric Approach to Nonlinear Integrable Equations, Springer–Verlag, Berlin, 1994.
[10]A. Degasperis and M. Procesi, Asymptotic integrability, Symmetry and Perturbation Theory, World Scientific, Singapore, 1999, pp. 23-27.
[27]P. Griffiths and J. Harris, Principles of Algebraic Geometry, Wiley, New York, 1994.
[32]I.M. Krichever, Algebraic-geometric construction of the Zaharov-Sabat equations and their periodic solutions, Soviet Math. Dokl, Vol. 17, 1976, pp. 394-397.
[43]H.P. McKean. Integrable systems and algebraic curves, Global Analysis, Lecture Notes in Math., 755 (Springer, Berlin, 1979) 83–200
[44]V.B. Matveev and M.A. Salle, Darboux Transformations and Solitons, Sprilinger, Berlin, 1991.
[50]R. Pego, Origin of the KdV equation, Notices Amer. Math. Soc, Vol. 45, 1998, pp. 358.
[53]E. Previato, The Calogero-Moser-Krichever system and elliptic Boussinesq solitons, Hamiltonian Systems, Transformation Groups and Spectral Transform Methods, CRM, Monreal, 1990, pp. 57-67.
[54]E. Previato and J.L. Verdier, Boussinesq elliptic solitons: the cyclic case, Proc. Indo-French Conf. on Geometry, Dehli, 1993, Hindustan Book Agency, Delhi, 1993, pp. 173-185.
Journal of Nonlinear Mathematical Physics
26 - 1
1 - 23
Publication Date
ISSN (Online)
ISSN (Print)
10.1080/14029251.2019.1544785How to use a DOI?
© 2019 The Authors. Published by Atlantis and Taylor & Francis
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (

Cite this article

AU  - Xianguo Geng
AU  - Yunyun Zhai
AU  - Bo Xue
AU  - Jiao Wei
PY  - 2021
DA  - 2021/01/06
TI  - A hierarchy of long wave-short wave type equations: quasi-periodic behavior of solutions and their representation
JO  - Journal of Nonlinear Mathematical Physics
SP  - 1
EP  - 23
VL  - 26
IS  - 1
SN  - 1776-0852
UR  -
DO  - 10.1080/14029251.2019.1544785
ID  - Geng2021
ER  -