Abstract
On the basis of two sets of Lenard recursion sequences and zero-curvature equation associated with a matrix spectral problem, we derive the entire sine-Gordon hierarchy, which is composed of all the positive and negative flows. Using the theory of hyperelliptic curves, the Abel-Jacobi coordinates are introduced, from which the corresponding positive and negative flows are linearized. The algebro-geometric solutions of the entire sine-Gordon hierarchy are constructed by using the asymptotic properties of the meromorphic function.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Soliton equations are infinite-dimensional integrable systems described by nonlinear partial differential equations. In the mathematical theory of soliton equations, the integrability of soliton equations has been found by the inverse scattering transformation method [1,2,3], which has greatly promoted the universal understanding of soliton equations, thus making the soliton theory get rapid development. Subsequently, several systematic approaches have been developed to obtain algebro-geometric solutions of soliton equations associated with \(2\times 2\) matrix spectral problems. For example, an analog of the inverse scattering theory for Hill’s equation was developed, from which ones gave an explicit formula of the periodic potentials with the finite number of gaps in the spectrum and derived the periodic N-soliton solution of the KdV equation was constructed explicitly [4,5,6,7]. Another effective method is the algebraic curve method that combine the spectral theory of differential equations, the algebraic curve of compact Riemann surfaces and their Jacobians, the Riemann theta functions and inverse problems (see, e.g., [8,9,10,11] and references therein), by which algebro-geometric solutions of many soliton equations associated with \(2\times 2\) matrix spectral problems are obtained such as the KdV equation, nonlinear Schrödinger equation, mKdV equation, sine-Gordon equation, relativistic Toda lattice, and so on [4,5,6,7,8,9,10,11]. Matveev and Yavor gave complex finite-band multiphase solutions of the Kaup-Boussinesq equation and used the degeneracy procedure to find multisoliton solutions [12]. The nonlinearization approach of Lax pairs in Ref. [13] has been developed and applied to construct the analytical Riemann theta function solutions of soliton equations [14,15,16,17,18,19,20,21], which is generalized to the spatial part and the temporal parts of the Lax pairs and the adjoint Lax pairs are constrained as finite-dimensional Liouville integrable Hamiltonian systems and integrable symplectic maps [22, 23]. Gesztesy and Ratnaseelan have proposed an alternative systematic approach based on elementary algebraic methods to get analytical Riemann theta function solutions of the AKNS hierarchy [24]. In addition, this method was further developed to deal with soliton equations such as the modified Boussinesq, the Kaup-Kupershmidt, the coupled modified KdV hierarchies, and so on [25,26,27,28,29,30].
The main aim of the present paper is to construct analytical Riemann theta function solutions of the entire local sine-Gordon hierarchy, which is composed of all the positive and negative flows, on the basis of the algebraic curve method. It is well known that the higher-order sine-Gordon equations in the sine-Gordon hierarchy are nonlocal in the light-cone coordinates, which makes the problem extremely complicated. To overcome this difficulty, Boiti et al. use the fact that a nonlinear evolution equation in one field can be written as a system of coupled nonlinear evolution equations in two fields. They found that the suitable spectral problem to realize their idea is the Boiti-Tu spectral problem [31] with some compatiable reductions [32]. They derive a hierarchy of local nonlinear evolution equations generated by a recursion operator and its explicit inverse. This hierarchy satisfies a canonical geometrical scheme and contains the sine-Gordon equation and Liouville equation for special cases in laboratory coordinates. A generalization of the Bäcklund transformation and a nonlinear superposition formula for the sine-Gordon equation are also obtained. The positive and negative order hierarchy generated from the Boiti-Tu spectral problem was first proposed by Qiao in 1994 [33]. Regarding the negative flows of the sine-Gordon hierarchy is also given by Qiao in [34].
This paper is organized as follows. In Sect. 2, we introduce the Lenard gradient sequences and derive the entire local sine-Gordon hierarchy, which is composed of all the positive and negative flows, with the aid of the zero-curvature equation associated with a \(2\times 2\) matrix spectral problem. In Sect. 3, we define a Lax matrix from which the elliptic variables and the hyperelliptic Riemann surface of arithmetic genus \(2N+1\) are derived, the meromorphic function \(\phi \) is introduced and its properties on some points are discussed. In Sect. 4, under the Able-Jacobi coordinates, the spatial and temporal flows of the entire local sine-Gordon hierarchy are linearized. Finally, analytical Riemann theta function solutions of the entire local sine-Gordon hierarchy are constructed by using the asymptotic properties of the meromorphic function \(\phi \).
2 The Entire Local Sine-Gordon Hierarchy
In this section, we shall derive the entire local sine-Gordon hierarchy associated with the Boiti-Tu spectral problem [31]
where u, v, s are potentials with the condition \(s^{2}-v^{2}=s_{0}^{2}\), \(s_{0}\) is a nonzero constant and \(\lambda \) is a constant spectral parameter. To this end, we introduce the Lenard gradient sequences
with starting points
where \(S_{j,\pm }=(c_{j,\pm },b_{j,\pm },a_{j,\pm })^{T}\), and two operators K and J are defined by
It is easy to see that
where \(\beta _{\pm }\) are arbitrary constants. Then \(S_{j,+}(j\ge 0)\) and \(S_{j,-}(j\le 0)\) are uniquely determined by (2) and (3), respectively, if choosing all constants of integration to be zero. For example, the first two members are
Assume that the time evolution of the eigenfunction \(\varphi \) obeys the differential equation
where \( \underline{m}=(m_{1},m_{2}),\) and
with
and \(\tilde{\alpha }_{k,\pm }\) are constants. Then the compatibility condition of (1) and (4) yields the zero curvature equation, \(U_{t_{\underline{m}}}-V^{(\underline{m})}_{x}+[U,V^{(\underline{m})}]=0,\) which is equivalent to the hierarchy of nonlinear evolution equations
In [33], Qiao first proposed this hierarchy and obtained the commutator representation of it. Two special examples of nonlinear evolution equations in (6) are given as follows.
-
(i)
Let \((m_{1},m_{2})=(0,1), t_{\underline{m}}=t, \tilde{\alpha }_{0,-}=\tilde{\alpha }_{0,+}=1, \tilde{\alpha }_{1,+}=0\). Then the first nontrivial member in the hierarchy is as follow
$$\begin{aligned} \left\{ \begin{aligned} u_{t}&=u_{x}+4v,\\ v_{t}&=-v_{x}-4us. \end{aligned}\right. \end{aligned}$$(7)Introducing the new function w(x, t) via
$$\begin{aligned} s=s_{0}\cos w,\quad v=\mathrm{i}s_{0}\sin w, \end{aligned}$$then (7) is reduced to
$$\begin{aligned} w_{tt}-w_{xx}+16s_{0}\sin w=0, \end{aligned}$$which is the sine-Gordon equation in laboratory coordinates.
-
(ii)
Let \((m_{1},m_{2})=(1,2), t_{\underline{m}}=t, \tilde{\alpha }_{0,-}=-s_{0}^{2}, \tilde{\alpha }_{0,+}=1, \tilde{\alpha }_{j,\pm }=0,\quad j\ge 1\). Then the second nontrivial member in the hierarchy reads
$$\begin{aligned} \left\{ \begin{aligned} u_{t}&=-\frac{1}{4}u_{xxx}+\frac{3}{2}u^{2}u_{x}+3u_{x}s-\frac{3}{4}v_{x}\bigg (\frac{s_{x}}{s}\bigg ),\\ v_{t}&=-\frac{1}{4}s(\frac{v_{x}}{s})_{xx}+\frac{3}{4}uv_{x}(\frac{v_{x}}{s}+2u)+3sv_{x}+\frac{1}{8}v_{x}\bigg (\frac{v_{x}}{s}\bigg )^{2}. \end{aligned}\right. \end{aligned}$$
3 Elliptic Variables
Let \(\chi =(\chi _{1},\chi _{2})^{T}\) and \(\psi =(\psi _{1},\psi _{2})^{T}\) be two basic solutions of (1) and (4). We introduce a Lax matrix
which satisfies the Lax equations
Therefore, detW is a constant independent of x and \(t_{\underline{m}}\). Equation (8) can be written as
and
Let
where g, f and h are finite-order polynomials in \(\lambda \) and \(\lambda ^{-1}\):
Substituting (12) into (9) yields
where \(E_{j,\pm }=(h_{j,\pm },f_{j,\pm },g_{j,\pm })^{T}\). It is easy to see that the equations \(JE_{0,+}=0\) and have the general solution
where \(\alpha _{0,+}\) and \(\alpha _{0,-}\) are constants. Acting with the operators \((J^{-1}K)^{k}\) and \((K^{-1}J)^{k}\) respectively, on (14) and (15), we obtain from (13) and (2) that
where \(\alpha _{1,\pm },\alpha _{2,\pm },\ldots ,\alpha _{k,\pm }\) are constants of integration. The first member in (16) is
By inspection of (11) and (12) , we write G, F and H as follows:
Comparing the coefficients of \(\lambda \) with the same power, we arrive at
From the relation above, one can easily find that \(H(\lambda )=-F(-\lambda )\). So we can write F and H as finite products which take the form:
where \(\{\mu _{j}\}_{j=1}^{2N+1}\) are called elliptic variables.
Since detW depends only on \(\lambda \), whose coefficients are constants independent of x and \(t_{m}\), we have
from which one is naturally led to introduce the hyperelliptic curve \({\mathcal {K}}_{2N+1}\) of arithmetic genus \(2N+1\) defined by
The curve \({\mathcal {K}}_{2N+1}\) can be compactified by joining two points at infinity, \(P_{\infty \pm }\), where \(P_{\infty +}\ne P_{\infty -}\). For notational simplicity the compactification of the curve \({\mathcal {K}}_{2N+1}\) is also denoted by \({\mathcal {K}}_{2N+1}\). Here we assume that \(\lambda _{j}\) of \(R(\lambda )\) in (18) are mutually distinct, which means \(\lambda _{j}\ne \lambda _{k}\), for \(j\ne k\), \(1\le j,k\le 2N+2\). Then the hyperelliptic curve \({\mathcal {K}}_{2N+1}\) becomes nonsingular. According to the definition of \({\mathcal {K}}_{2N+1}\), we can lift the roots \(\mu _{j}\) to \({\mathcal {K}}_{2N+1}\) by introducing
where \(j=1,\ldots ,2N+1,\) \((x,t_{\underline{m}})\in {\mathbb {R}}^{2}\). We also introduce the points \(P_{0\pm }\) by
where we emphasize that \(P_{0\pm }\) and \(P_{\infty \pm }\) are not necessarily on the same sheet of \({\mathcal {K}}_{2N+1}\).
From (18) and (19) we can define the meromorphic function \(\phi (P,x,t_{\underline{m}})\) on \({\mathcal {K}}_{2N+1}\)
where \(P=(\lambda ,y)\in {\mathcal {K}}_{2N+1}\backslash \{P_{\infty +},P_{\infty -}\}\).
Lemma 1
Suppose that \(u(x,t_{\underline{m}}), v(x,t_{\underline{m}})\in C^{\infty }({\mathbb {R}}^{2})\) satisfy the hierarchy (6). Let \(\lambda _{j}\in {\mathbb {C}}\backslash \{0\}\), \(j=1,2,\cdots , 4N+4\), and \(P=(\lambda ,y)\in {\mathcal {K}}_{2N+1}\backslash \{P_{\infty +},P_{\infty -}\}\). Then
Proof
According to (9) and (21), we can get that \(\phi \) satisfies the Riccati-type equation
By inserting the ansatz
into (24), a comparison of powers of \(\zeta \) then proves the first line in (22). Similarly, after the ansatz
is inserted into (24), comparing powers of \(\zeta \) proves the second line in (22). In exactly the same manner, inserting the ansatz
into (24) immediately yields (23). \(\square \)
Hence the divisor of \(\phi (P,x,t_{\underline{m}})\) is
The following elementary results are benefit for our main work. Let \(\{\lambda _{j}\}_{j=1,\ldots ,2N+2}\subset {\mathbb {C}}\) for some \( N\in {\mathbb {N}}\) and \(\xi \in {\mathbb {C}}\), such that \(\vert \xi \vert < \mathrm{min} \{\vert \lambda _{1}\vert ^{-1},\ldots ,\vert \lambda _{2N+2}\vert ^{-1}\}\) , and abbreviate \(\underline{\lambda }=(\lambda _{1},\ldots ,\lambda _{2N+2})\), \(\underline{\lambda }^{-1}=(\lambda _{1}^{-1},\ldots ,\lambda _{2N+2}^{-1})\). Then
where \(\hat{\alpha }_{0}(\underline{\lambda }^{\pm 1})=1,\hat{\alpha }_{1}(\underline{\lambda }^{\pm 1})=\frac{1}{2}\sum \nolimits _{j=1}^{2N+2}\lambda _{j}^{\pm 1},\ldots ,\)
Similarly, we have
where \(\alpha _{0}(\underline{\lambda }^{\pm 1})=1,\alpha _{1}(\underline{\lambda }^{\pm 1})=-\frac{1}{2}\sum \limits _{j=1}^{2N+2}\lambda _{j}^{\pm 1},\ldots ,\)
We infer for the \(\lambda _{j}\)-dependent summation constants \(\alpha _{0,+},\alpha _{1,+},\ldots ,\alpha _{N_{1},+}\) and \(\alpha _{0,-},\alpha _{1,-}\), \(\ldots ,\alpha _{N_{2}-1,-}\) in \(G(\lambda )\), \(F(\lambda )\), \(H(\lambda )\) that
In addition, we have
and
where
4 Straightening Out the Flows
In order to straightening out the spatial and temporal flows of the full local sine-Gordon hierarchy, we consider the Riemann surface \({\mathcal {K}}_{2N+1}\) and equip \({\mathcal {K}}_{2N+1}\) with canonical basis cycles: \({\mathbf {a}}_{1},\ldots ,{\mathbf {a}}_{2N+1}\); \({\mathbf {b}}_{1},\ldots ,{\mathbf {b}}_{2N+1}\), which are independent and having intersection numbers as follows
For the present, we will choose our basis as the following set [22, 23]
which are \(2N+1\) linearly independent homomorphic differentials on \({\mathcal {K}}_{2N+1}\). Then the period matrices A and B can be constructed from
It is possible to show that matrices A and B are invertible [35, 36]. Now we define the matrices C and \(\tau \) by \(C=A^{-1}\), \(\tau =A^{-1}B\). The matrix \(\tau \) can be shown to be symmetric (\(\tau _{kj}=\tau _{jk}\)), and it has positive definite imaginary part (Im\(\tau >0\)). If we normalize \(\tilde{\omega }_{l}\) into the new basis \(\omega _{j}\),
then we obtain
Let \({\mathcal {T}}\) be the lattice generated by \(4N+2\) vectors \(\sigma _{j}\), \(\tau _{j}\) where \(\sigma _{j}=(\underbrace{0,\ldots ,0}\limits _{j-1},1,\underbrace{0,\ldots ,0}\limits _{2N+1-j})^{T},\) and \(\tau _{j}=\tau \sigma _{j}\). The complex torus \({\mathscr {T}}={\mathbb {C}}^{2N+1}/{\mathcal {T}}\) is called the Jacobian variety of \({\mathcal {K}}_{2N+1}\). Now we introduce the Abel map \(\underline{{\mathcal {A}}}(P):\mathrm {Div}({\mathcal {K}}_{2N+1})\rightarrow {\mathscr {T}}\)
where P, \(P_{k}\in {\mathcal {K}}_{2N+1}\), \(\underline{\omega }=(\omega _{1},\ldots ,\omega _{2N+1})\). Considering two special divisors \(\sum \limits _{k=1}^{2N+1}P_{k}^{(r)},~r=1,2\), we define the Abel-Jacobi coordinates as follows
with \(P_{k}^{(1)}=\hat{\mu }_{k}(x,t_{\underline{m}}),\) and \(P_{k}^{(2)}=-\hat{\mu }_{k}(x,t_{\underline{m}}),\) whose components are
Without loss of generality, we choose the branch point \(Q_{0}=(\sigma \lambda _{j_{0}}^{\frac{1}{2}},0)\), \(\sigma =1\) or \(\sigma =-1\), \(j_{0}\in \{1,\ldots ,2N+2\}\), as a convenient base point, and \(\lambda (Q_{0})\) is its local coordinate.
From (20), we obtain
Noticing (9), (10) and (17), we get
hence we arrive at the evolution of \(\mu _{j}\) along the x and \(t_{\underline{m}}\) flow:
Assuming \( N\in {\mathbb {N}}\) to be fixed and introducing
one defines the symmetric functions
where \(\underline{\mu }=(\mu _{1},\ldots ,\mu _{2N+1})\). Then \(\prod \nolimits _{j=1}^{2N+1}(\lambda -\mu _{j})=\sum \nolimits _{l=0}^{2N+1}\Psi _{l}(\underline{\mu })\lambda ^{2N+1-l}\).
According to the Lagrange interpolation theorem, we have the following important facts (these lemmas were proven in detail in [26], Lemma E.2 and Lemma E.3).
Lemma 2
Assume that \(\mu _{1},\ldots ,\mu _{2N+1}\) are \(2N+1\) distinct complex numbers. Then,
Lemma 3
Assume that \(\mu _{j}\ne \mu _{j'}\) for \(j\ne j'\), we introduce the \(N\times N\) matrix \({\mathbf {U}}_{2N+1}(\underline{\mu })\) by
then
Theorem 4
(Straightening out of the flows) Assume that \(\mu _{j}\ne \mu _{j'}\) for \(j\ne j', j,j'=1,\ldots ,2N+1\). Then
where \(\underline{U}=-2\mathrm{i}(\underline{C}_{2N+1}+\frac{\alpha _{0,+}}{\alpha _{0,-}}\underline{C}_{1})\), \(\underline{{\mathbf {Y}}}^{(\underline{m})}=-2\mathrm{i}(\underline{{\mathbf {Y}}}^{(m_{1})}-\frac{\alpha _{0,+}}{\alpha _{0,-}}\underline{{\mathbf {Y}}}^{(m_{2})})\), constants \(\underline{\rho }^{(r)}(x_{0},t_{0,\underline{m}})\in {\mathbb {C}}^{2N+1},r=1,2,\) \(\underline{C}_k=(C_{1k},\ldots ,C_{2N+1,k})\), \(1\le k\le 2N+1\), and
Proof
Here we only give the proof of (29). Equation (30) can be proved in a similar way. From (25) and (26), we get
with the aid of the following equalities:
In order to evaluate the \(t_{\underline{m}}\)-derivative of \(\rho _{j}^{(1)}\), we introduce polynomials \({\hat{G}}_{l,\pm }(\lambda )\), \({\hat{F}}_{l,\pm }(\lambda )\), \({\hat{H}}_{l,\pm }(\lambda )\) by (\(l\in {\mathbb {N}}\)):
One immediately finds that
From (11), (17) and (27) we have
Noticing that \(f_{0,+}=b_{0,+}=0,h_{0,-}=c_{0,-}=0\), using (11), we arrive at
Using (32) and (28), we obtain
Thus, according to (5) and (33), we have
Finally, using (25), (26), and Lemma 3, we obtain
Finally, (29) immediately follows from (31) and (34). \(\square \)
5 Construction of the Theta Representation for the Solution
In the section, we shall construct quasi-periodic solutions of the full local sine-Gordon hierarchy (6). Let \(\omega ^{(3)}_{P_{\infty -},P_{\infty +}}(P)\) denote the normalized Abelian differentials of the third kind holomorphic on \({\mathcal {K}}_{2N+1}\backslash \{P_{\infty -},P_{\infty +}\}\) with simple poles at \(P_{\infty +}\) and \(P_{\infty -}\) with residues \(\pm 1\), respectively, which can be expressed as
where \(\epsilon _{j}\in {\mathbb {C}}\), \(j=1,\ldots ,2N+1\), are constants that are determined by
If the local coordinate near \(P_{\infty \pm }\) is given by \(\zeta =\lambda ^{-1}\), then we have
Therefore,
where \(\omega _{0}^{\infty \pm }\) and \(\omega _{0}^{0\pm }\) are integration constants.
Let \(\theta (\underline{z})\) denote the Riemann theta function [35, 36] associated with \({\mathcal {K}}_{2N+1}\) equipped with homology basis and holomorphic differentials as before
Here \(\underline{z}=(z_{1},\ldots ,z_{2N+1})\in {\mathbb {C}}^{2N+1}\) is a complex vector. The diamond brackets denote the scalar product \(\langle \underline{L},\underline{z}\rangle =\overline{\underline{L}} z^T=\sum _{j=1}^{2N+1}{\overline{L}}_{j}z_{j}\). For brevity, let \(\underline{Q}=\{Q_1,\cdots , Q_{2N+1}\}\in \sigma ^{2N+1}{\mathcal {K}}_{2N+1}\), \(\sigma ^{2N+1}{\mathcal {K}}_{2N+1}\) denotes the nth symmetric power of \({\mathcal {K}}_{2N+1}\), then define the function \(\underline{z}: {\mathcal {K}}_{2N+1}\times \sigma ^{2N+1}{\mathcal {K}}_{2N+1}\rightarrow {\mathbb {C}}^{2N+1}\),
where \(P\in {\mathcal {K}}_{2N+1},~{\mathcal {D}}(Q')=m(m\in {\mathbb {N}})\) as \(Q'\) occurs m times in \(\underline{Q}\), and \(\underline{K}=(K_{1},\ldots ,K_{2N+1})\) is the vector of Riemann constant defined by
Noting Theorem 4, then we have
with
Theorem 5
Let \(P=(\lambda ,y)\in {\mathcal {K}}_{2N+1}\backslash \{P_{\infty +},P_{\infty -}\}\), \((x,t_{\underline{m}})\in M\), where \(M\subseteq {\mathbb {R}}^{2}\) is open and connected. Suppose \(u(x,t_{\underline{m}}),v(x,t_{\underline{m}})\in C^{\infty }(M)\) satisfy (6), and assume that \(\lambda _{j}\in {\mathbb {C}}\backslash \{0\}\), \(j=1,2,\cdots ,4N+4\), in (18) satisfy \(\lambda _{j}\in {\mathbb {C}}\backslash \{0\}\), and \(\lambda _{j}\ne \lambda _{k}\) as \(j\ne k\). Moreover, suppose that \(D_{\underline{{\hat{\mu }}}(x,t_{\underline{m}})}\) is nonspecial for \((x,t_{\underline{m}})\in M\). Then \(\phi (P,x,t_{\underline{m}})\), \(u(x,t_{\underline{m}})\) and \(v(x,t_{\underline{m}})\) admit the following representation
where
Proof
We assume that
for appropriate \({\tilde{M}}\subseteq M\), where \({\tilde{M}}\) is open and connected. According to the Riemann vanishing theorem [24], the definition and asymptotic properties of the meromorphic function \(\phi (P,x,t_{\underline{m}})\) has the following form
where \(N(x,t_{\underline{m}})\) is independent of \(P\in {\mathcal {K}}_{2N+1}\).
Considering the asymptotic expansions of \(\phi (P,x,t_{\underline{m}})\) near \(P_{\infty \pm }\), we have
Multiplying (37) and (38), we can derive
which proves (35).
Similarly, divided (37) by (38), we can get
Considering the asymptotic expansions of \(\phi (P,x,t_{\underline{m}})\) near \(P_{0\pm }\), we have
and
by direct calculation, we can derive (36). Hence, we prove this theorem on \({\tilde{M}}\). The extension of all these results from \({\tilde{M}}\) to M then follows by continuity of the Abel map and the nonspecial nature of \(D_{\underline{\hat{\mu }}(x,t_{\underline{m}})}\) on M. \(\square \)
6 Conclusion
In this paper, algebro-geometric solutions are constructed for the entire sine-Gordon hierarchy, which is composed of all the positive and negative flows. The results are different from the sine-Gordon hierarchy in light-cone coordinates which contains complicated nonlocal higher order sine-Gordon equations. Because this work involves hyperelliptic curves, it is very difficult to study the algebro-geometric solutions of the entire sine-Gordon hierarchy. Using the theory of hyperelliptic curves, the Abel-Jacobi coordinates are introduced, from which the corresponding positive and negative flows are linearized. The algebro-geometric solutions of the entire sine-Gordon hierarchy are constructed by using the asymptotic properties of the meromorphic function.
References
Gardner, C.S., Greene, J.M., Kruskal, M.D., Miura, R.M.: Method for solving the Korteweg–deVries equation. Phys. Rev. Lett. 19, 1095–1097 (1967)
Ablowitz, M.J., Kaup, D.J., Newell, A.C., Segur, H.: The inverse scattering transform-Fourier analysis for nonlinear problems. Stud. Appl. Math. 53, 249–315 (1974)
Novikov, S.P., Manakov, S.V., Pitaevskii, L.P., Zakharov, V.E.: Theory of Solitons, the Inverse Scattering Methods. Consultants Bureau, New York (1984)
Dubrovin, B.A.: Periodic problems for the Korteweg–de Vries equation in the class of finite band potentials. Funct. Anal. Appl. 9, 215–223 (1975)
Its, A.R., Matveev, V.B.: Schrödinger operators with the finite-band spectrum and the \(N\)-soliton solutions of the Korteweg–de Vries equation. Theor. Math. Phys. 23, 343–355 (1975)
Date, E., Tanaka, S.: Periodic multi-soliton solutions of Korteweg–de Vries equation and Toda lattice. Progr. Theor. Phys. Suppl. 59, 107–125 (1976)
Ma, Y.C., Ablowitz, M.J.: The periodic cubic Schrödinger equation. Stud. Appl. Math. 65, 113–158 (1981)
Belokolos, E.D., Bobenko, A.I., Enol’skii, V.Z., Its, A.R., Mateveev, V.B.: Algebro-Geometric Approach to Nonlinear Integrable Equations. Springer, Berlin (1994)
Krichever, I.M.: Integration of nonlinear equations by the methods of algebraic geometry. Funct. Anal. Appl. 11, 12–26 (1977)
Previato, E.: Hyperelliptic quasi-periodic and soliton solutions of the nonlinear Schrödinger equation. Duke Math. J. 52, 329–377 (1985)
Alber, S.J.: On finite-zone solutions of relativistic Toda lattices. Lett. Math. Phys. 17, 149–155 (1989)
Matveev, V.B., Yavor, M.I.: Solutions presque périodiques et a \(N\)-solitons de l’équation hydrodynamique non linéaire de Kaup. Ann. Inst. H. Poincaré Sect. A. 31, 25–41 (1979)
Cao, C.W.: Nonlinearization of the Lax system for AKNS hierarchy. Sci. China Ser. A 33(1990), 528–536 (1990)
Zhou, R.G.: The finite-band solution of the Jaulent–Miodek equation. J. Math. Phys. 38, 2535–2546 (1997)
Qiao, Z.J.: r-matrix and algebraic-geometric solution for integrable symplectic map. Chin. Sci. Bull. 43, 1149 (1998)
Cao, C.W., Wu, Y.T., Geng, X.G.: Relation between the Kadomtsev–Petviashvili equation and the confocal involutive system. J. Math. Phys. 40, 3948–3970 (1999)
Geng, X.G., Wu, Y.T.: Finite-band solutions of the classical Boussinesq–Burgers equations. J. Math. Phys. 40, 2971–2982 (1999)
Geng, X.G., Cao, C.W.: Decomposition of the (2+1)-dimensional Gardner equation and its quasi-periodic solutions. Nonlinearity 14, 1433–1452 (2001)
Chen, J.B.: The application of Neumann type systems for solving integrable nonlinear evolution equations. Stud. Appl. Math. 127, 153–190 (2011)
Chen, J.B., Zhang, R.S.: The complex Hamiltonian systems and quasi-periodic solutions in the derivative nonlinear Schrödinger equations. Stud. Appl. Math. 145, 153–178 (2020)
Chen, J.B., Pelinovsky, D.E., White, R.E.: Periodic standing waves in the focusing nonlinear Schrödinger equation: rogue waves and modulation instability. Phys. D. 405, 132375 (2020)
Ma, W.X.: Symmetry constraint of MKdV equations by binary nonlinearization. Phys. A 219, 467–481 (1995)
Ma, W.X., Strampp, W.: An explicit symmetry constraint for the Lax pairs and the adjoint Lax pairs of AKNS systems. Phys. Lett. A. 185, 277–286 (1994)
Gesztesy, F., Ratneseelan, R.: An alternative approach to algebro-geometric solutions of the AKNS hierarchy. Rev. Math. Phys. 10, 345–391 (1998)
Geng, X.G.: Algebraic-geometrical solutions of some multidimensional nonlinear evolution equations. J. Phys. A Math. Gen. 36, 2289–2303 (2003)
Geng, X.G., Wu, L.H., He, G.L.: Algebro-geometric constructions of the modified Boussinesq flows and quasi-periodic solutions. Phys. D. 240, 1262–1288 (2011)
Geng, X.G., Wu, L.H., He, G.L.: Quasi-periodic solutions of the Kaup-Kupershmidt hierarchy. J. Nonlinear Sci. 23, 527–555 (2013)
Geng, X.G., Zhai, Y.Y., Dai, H.H.: Algebro-geometric solutions of the coupled modified Kortewegde Vries hierarchy. Adv. Math. 263, 123–153 (2014)
Wei, J., Geng, X.G., Zeng, X.: The Riemann theta function solutions for the hierarchy of Bogoyavlensky lattices. Trans. Am. Math. Soc. 371, 1483–1507 (2019)
Ma, W.X.: Trigonal curves and algebro-geometric solutions to soliton hierarchies I and II. Proc. R. Soc. A. 473, 20170232–20170233 (2017)
Boiti, M., Tu, G.Z.: A simple approach to the Hamiltonian structure of soliton equations. Nuovo. Cimento. B. 75, 145–160 (1983)
Boiti, M., Leon, J.J.P., Pempinelli, F.: A recursive generation of local higher-order sine-Gordon equations and their Bäcklund transformation. J. Math. Phys. 25, 1725–1734 (1984)
Qiao, Z.J.: A general approach for getting the commutator representations of the hierarchies of nonlinear evolution equations. Phys. Lett. A. 195, 319–328 (1994)
Qiao, Z.J.: Two new hierarchies containing the sine-Gordon and sinh-Gordon equation, and their Lax representations. Phys. A 243, 141–151 (1997)
Griffiths, P., Harris, J.: Principles of Algebraic Geometry. Wiley, New York (1994)
Mumford, D.: Tata Lectures on Theta II. Birkhäuser, Boston (1984)
Acknowledgements
This research was funded by the National Natural Science Foundation of China (Grant no. 12001013).
Author information
Authors and Affiliations
Contributions
XG and LG formal analysis, writing and revising the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The author declares that I have no conflict of interest.
Ethics approval
Not applicable.
Consent to participate
Not applicable.
Consent for publication
Not applicable.
Availability of data and materials
Not applicable.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Geng, X., Guan, L. Algebro-Geometric Solutions of the Sine-Gordon Hierarchy. J Nonlinear Math Phys 30, 114–134 (2023). https://doi.org/10.1007/s44198-022-00074-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s44198-022-00074-5