Abstract
The Hirato bilinear method is extended to construct quasi-periodic wave solutions for the Kersten-Krasil’shchik coupled KdV-mKdV system. One- and two-periodic wave solutions are obtained by means of a multidimensional Riemann theta function. The asymptotic property of the quasi-periodic wave solutions is proved. It is shown that the quasi-periodic wave solutions reduce to the soliton solutions in an asymptotic small amplitude limit.
Similar content being viewed by others
1 Introduction
Nonlinear evolution equations (NLEEs) play important roles in many areas of science, and their study goes back a very long time. A variety of effective methods for constructing exact solutions of NLEEs have been developed, including the inverse scattering method, the Darboux transformation, the Hirota direct method, the algebro-geometrical approach [1–5], etc. Among the aforementioned methods, the Hirota method has proved particularly powerful. Once the corresponding bilinear form is derived, multi-soliton solutions for a nonlinear equation are usually obtained in a systematic way. Recently, many generalizations of the Hirota method were developed. For example, a multiple exp-function method is proposed and provides an efficient way to an exact multiple wave solution procedure that generalizes Hirota’s perturbation technique [6, 7]. The resulting multiple wave solutions contain resonant solitons and a linear combination of solutions of exponential waves, the latter of which presents an idea to construct linear subspaces of solutions for nonlinear equations. The Hirota bilinear method has been generalized to a broad class of nonlinear equations [8] and the links with Bell polynomials were established [9]. It is interesting to note that the linear superposition principle can also apply to Hirota bilinear equations and present their resonant soliton solutions [10], which is a special case of using the Riemann theta functions. Based on the Hitota bilinear method, Nakamura proposed an approach to quasi-periodic wave solutions of nonlinear equations [11, 12]. This method uses the multidimensional Riemann theta function directly and does not involve Lax pair representations and the complicated calculus on Riemann surfaces for the equations considered. Recently, Fan, Hon, Ma, and Zhang have extended such method to investigate the breaking soliton equation, the discrete Toda lattice, the asymmetrical Nizhnik-Novikov-Veselov equation and the variable-coefficient mKdV equation, respectively [13–18].
In this paper, we would like to consider the following coupled KdV-mKdV system:
which was proposed as the classical part of one of superextensions of the KdV equation by Kersten and Krasil’shchik [19]. Taking \(v=0\), we have the KdV equation
while for \(u=0\) we get the mKdV equation
Therefore, system (1.1) can also be regarded as a type of coupling between the KdV and the mKdV equations. For system (1.1), Kersten and Krasil’shchik proved its complete integrability by establishing the existence of an infinite series of symmetries and conservation laws [19]; Kalkanli et al. presented its singular analysis and Lax pair by means of the Painlevé test and prolongation technique [20]; Hon and Fan devised an algebraic method to construct its solitary wave solutions and doubly periodic wave solutions [21]; Qin et al. applied the Bell polynomials to derive its bilinear form and N-soliton solutions [22]. However, to the best of our knowledge, the quasi-periodic wave solutions for the system (1.1) have not been investigated. In the following, the Riemann theta function and the Hirato bilinear method will be applied to construct one- and two-periodic wave solutions for the system (1.1). In addition, a detailed asymptotic analysis procedure to the quasi-periodic wave solutions is presented and the relation between the quasi-periodic wave solutions and soliton solutions is established.
This paper is organized as follows. In Section 2, we briefly introduce some main points on the Riemann theta function. In Section 3 and Section 4, we construct one- and two-periodic wave solutions for the coupled KdV-mKdV system based on the Riemann theta function and bilinear method. Furthermore, the relation between the quasi-periodic wave solutions and soliton solutions is investigated. Finally, some concluding remarks are given in Section 5.
2 The bilinear form and the Riemann theta function
To begin with, we introduce a useful bilinear form of system (1.1). Under the dependent variable transformation defined by [22]
where \(f^{*}\) is the conjugation of f, system (1.1) is transformed into the following bilinear form:
Following the Hirota bilinear method, the one-soliton solution for system (1.1) is of the form
where \(\eta=\alpha x-\alpha^{3}t+\sigma\) and α, σ are free constants. The two-soliton solution for system (1.1) is denoted by
with
and here \(\alpha_{j}\), \(\sigma_{j}\) are constants.
To construct quasi-periodic wave solutions of system (1.1), it is necessary for us to consider a generalized form of the bilinear equation (2.2). Assume the solution of (1.1) takes the form
where \(u_{0}\) is a constant solution of (1.1). Submitting (2.5) into (1.1), we get
where \(c=c(t)\) is an integration constant. The constant c is vital in the construction of quasi-periodic solutions because elliptic functions do not usually satisfy equations with zero integration constants.
In the following, we will construct quasi-periodic solutions for the bilinear equation (2.6) based on the multidimensional Riemann theta function [23]
where \(\langle\cdot\rangle\) is the standard inner product of \(R^{n}\), \(n=(n_{1},\ldots ,n_{N})^{T}\in Z^{N}\), we have the complex phase variable \(\xi=(\xi_{1},\ldots, \xi_{N})^{T} \in C^{N}\), the complex parameter vector \(s=(s_{1},\ldots,s_{N})^{T}\), \(\epsilon=(\epsilon_{1},\ldots, \epsilon_{N})^{T} \), and the matrix \(\tau=(\tau_{ij})\) is a positive definite and real-valued symmetric \(N\times N\) matrix.
In the definition of the Riemann theta function, the positive definiteness of τ guarantees (2.7) converges absolutely for all values of ξ. For simplicity, hereafter we use \(\vartheta(\xi +\epsilon,\tau)=\vartheta(\xi,\epsilon,0\vert \tau)\). Now let us see the periodicity of the Riemann theta function.
Definition 1
A function \(g(x,t)\) on \(C^{N}\times C\) is said to be quasi-periodic in t with fundamental periods \(T_{1},\ldots,T_{k}\in C\) if \(T_{1},\ldots,T_{k}\) are linearly dependent over Z and there exists a function \(G(t,t)\in C^{N} \times C^{k}\) such that for \(\forall(y_{1},\ldots ,y_{k})\in C^{k}\)
In particular, \(g(x,t)\) becomes periodic with T if and only if \(T_{j}=m_{j}T\).
Proposition 1
[24]
Let \(e_{j}\) be the jth column of \(N\times N\) identity matrix \(I_{N}\), \(\tau_{j}\) the jth column of τ, and \(\tau_{jj}\) the \((j,j)\) entry of τ. Then the theta function \(\vartheta(\xi,\tau)\) has the periodic properties
The vectors \(\{e_{j},j=1,\ldots,N \}\) and \(\{i\tau_{j},j=1,\ldots,N \}\) can be regarded as periods of the theta function \(\vartheta(\xi,\tau)\) with multipliers 1 and \(\exp(-2\pi i \xi_{j}+\pi\tau_{jj} )\), respectively.
In general, let \(\vartheta(\xi,\epsilon',0\vert \tau)\) and \(\vartheta(\xi ,\epsilon,0\vert \tau)\) be two Riemann theta functions, where \(\epsilon =(\epsilon_{1},\ldots,\epsilon_{N})^{T}\), \(\epsilon'=(\epsilon'_{1},\ldots ,\epsilon'_{N})^{T}\), and \(\xi=(\xi_{1},\ldots, \xi_{N})^{T}\), \(\xi_{j}=k_{j}x +l_{j}y+m_{j}t+\gamma_{j}\), \(j=1,2,\ldots,N\). For a polynomial operator \(H(D_{x},D_{y},D_{t})\) with respect to \(D_{x}\), \(D_{y}\), and \(D_{t}\), the following formula holds:
where
From equations (2.8) and (2.9), we see that if
are satisfied for all possible combinations \(\mu_{1}=0,1;\ldots,\mu _{N}=0,1\), then \(\vartheta(\xi,\epsilon',0\vert \tau)\) and \(\vartheta(\xi ,\epsilon,0\vert \tau)\) are quasi-periodic solutions of the bilinear equation
The coupled bilinear equation (2.6) is more difficult to deal with than a single bilinear equation due to the appearance of two equations. The following proposition plays an important role in constructing its quasi-periodic wave solutions.
Proposition 2
[16]
Let \(C(\mu)\) be given in (2.9), and make a choice such that \(\epsilon'_{j}-\epsilon_{j}=\pm\frac{1}{2}\), \(j=1,2,\ldots,N\). Then:
-
(1)
If \(H(D_{x},D_{y},D_{t})\) is an even function of the form
$$\begin{aligned} H(-D_{x},-D_{y},-D_{t})=H(D_{x},D_{y},D_{t}), \end{aligned}$$then \(C(\mu)\) vanishes automatically for the case when \(\sum_{j=1}^{N}\mu _{j}\) is an odd number, namely
$$\begin{aligned} C(\mu)\vert _{\mu}=0,\quad \textit{for } \sum _{j=1}^{N}\mu_{j}=1 \mod 2. \end{aligned}$$(2.11) -
(2)
If \(H(D_{x},D_{y},D_{t})\) is an odd function of the form
$$\begin{aligned} H(-D_{x},-D_{y},-D_{t})=-H(D_{x},D_{y},D_{t}), \end{aligned}$$then \(C(\mu)\) vanishes automatically for the case when \(\sum_{j=1}^{N}\mu _{j}\) is an even number, namely
$$\begin{aligned} C(\mu)\vert _{\mu}=0, \quad \textit{for }\sum _{j=1}^{N}\mu_{j}=0 \mod 2. \end{aligned}$$(2.12)
3 One-periodic wave solutions and asymptotic properties
In this section, we construct the one-periodic wave solutions for the system (1.1) with \(N = 1\) in Riemann theta function (2.7). Setting \(f=\vartheta(\xi,\frac{1}{4},0\vert \tau)\) and \(f^{*}=\vartheta(\xi,\frac{3}{4},0\vert \tau)\), f and \(f^{*}\) can be written as the following Fourier series in n:
where the phase variable \(\xi=k x+l t+\gamma\), and the parameter \(\tau>0\).
3.1 Construction of one-periodic wave solution
In order to get the one-periodic wave solutions of the bilinear equation (2.6), we substitute (3.1) into (2.6), thus for \(i=1,2\)
where
According to Proposition 2, due to the fact \(H_{1}(D_{x},D_{t})\) is an odd function, we have \(C_{1}(\mu=0)=0\). Meanwhile, \(H_{2}(D_{x},D_{t})\) is an even function and \(C_{2}(\mu=1)=0\). Therefore, if the following equations are satisfied:
the Riemann theta functions (3.1) are exact solutions of equation (2.6). Taking ρ, \(\vartheta_{1}\), \(\vartheta_{2}\) of the form
we transform equation (3.2) into a linear system about l and c
where
Solving equation (3.4), we get
In this way, we get a one-periodic wave solution of system (1.1),
where \(\xi=kx+lt+\gamma\), l is given by (3.5) and the other parameters, k, τ, γ, and \(u_{0}\), are free. A one-periodic wave solution is determined by the two parameters k and τ. Figures 1 and 2 show one-periodic waves of u and v for one choice of the parameters, respectively.
From Figures 1 and 2, one can see that the one-periodic wave solution of system (1.1) is one dimensional and has two fundamental periods, 1 and iτ, in ξ. It can be viewed as a parallel superposition of overlapping one-solitary waves, placed one period apart.
3.2 Asymptotic property of one-periodic waves
In the following, we will investigate the asymptotic properties of the one-periodic wave solution (3.6). The relation between the one-soliton solution (2.3) and the one-periodic wave solution (3.6) is given by the following theorem.
Theorem 1
Suppose that \((l,c)^{T}\) is a solution of equation (3.4), let
in which α and σ are the same as those in (2.3). Then the one-periodic solution (3.6) tends to the one-soliton solution (2.3), namely
Proof
We expand the coefficients of system (3.4) into power series of ρ
Assume that the solution of system (3.4) takes the form
substituting equations (3.8) and (3.9) into equation (3.4) and letting \(\rho\rightarrow0\), we get
From (3.7) and (3.10), we have
In order to verify that the one-periodic wave (3.6) tends to the one-soliton solution (2.3) when \(\rho\rightarrow0\), we expand the function f in the form
It follows from (3.11) that
Therefore,
we conclude that the one-periodic solution (3.6) tends to one-soliton solution (2.3) when \(\rho\rightarrow0\). □
4 Two-periodic wave solutions and asymptotic properties
Let us consider two-periodic wave solutions for the coupled KdV-mKdV system (1.1). In the case of \(N=2\), we take f and \(f^{*}\) as
where \(n=(n_{1},n_{2})^{T}\in Z^{2}\), \(\xi=(\xi_{1}, \xi_{2})^{T} \in C^{2}\), \(\xi _{j}=k_{j} x+l_{j}t+ \gamma_{j}\), \(j=1,2\), \(k=(k_{1},k_{2})^{T}\), \(l=(l_{1},l_{2})^{T} \), \(\epsilon=(\frac{1}{4}, \frac{1}{4})^{T}\), \(\epsilon'=(\frac{3}{4}, \frac {3}{4})^{T} \). τ is a positive definite and real-valued symmetric \(2\times2\) matrix, which can be written as
4.1 Construction of two-periodic waves
By means of Proposition 2, noting that the fact that \(H_{1}(D_{x},D_{t})\) is an odd function, its corresponding constraint equations in (2.10) vanish automatically for \(\mu=(0,0),(1,1)\). Similarly, the constraint equations of \(H_{2}(D_{x},D_{t})\) vanish for \(\mu=(1,0),(0,1)\). Therefore, the theta functions (4.1) are solutions of the bilinear equation (2.6) if the following equations:
are satisfied. Taking
equation (4.2) can be transformed into a linear system about \(l_{1}\), \(l_{2}\), c, and \(u_{0}\),
where \(\nabla=(\partial\xi_{1},\partial\xi_{2})\), \(k\cdot\nabla=k_{1}\,\partial \xi_{1}+k_{2}\,\partial\xi_{2}\). Solving equation (4.4), we can get a two-periodic wave solution of the system (1.1)
where f, \(f^{*}\), and \(l_{1}\), \(l_{2}\), c, \(u_{0}\) are given by equations (4.1) and (4.4), and the other parameters, \(k_{1}\), \(k_{2}\), \(\tau_{11}\), \(\tau _{12}\), \(\tau_{22}\), are free. A two-periodic wave solution is specified by the four parameters \(k_{1}\), \(k_{2}\), \(\tau_{11}\), and \(\tau_{22}\).
4.2 Asymptotic property of two-periodic waves
Similar to Theorem 1, the relation between the two-soliton solution (2.4) and the two-periodic solution (4.5) can be given as follows.
Theorem 2
Suppose that \((l_{1}, l_{2}, u_{0}, c)^{T}\) is a solution of system (4.4), let
where \(\sigma_{j}\), \(\alpha_{j}\), \(j=1,2\), and \(A_{12}\) are given in (2.4). Then the two-periodic solution (4.5) tends to the two-soliton solution (2.4), that is,
Proof
We expand the periodic function f in the following form:
It follows from (4.6) that
in which \(\xi'_{j}=2\pi i \xi_{j}-\pi\tau_{jj}=\alpha_{j}x+2\pi i l_{j}t +\sigma_{j} \), \(j=1,2\). Thus the two-periodic solution equation (4.5) tends to the two-soliton solution equation (2.4) provided that
Assume the solution of system (4.4) is in the following form:
Expanding the coefficient of system (4.4) and substituting (4.7) into (4.4), together with taking \(u_{0}^{(0)}=0\), we then obtain
Thus we have
Therefore we conclude that the two-periodic solution (4.5) tends to the two-soliton solution (2.4) as \(\rho_{11},\rho _{22}\rightarrow0\). □
5 Conclusions
In this paper, the Kersten-Krasil’shchik coupled KdV-mKdV system is investigated. Based on the Hirato bilinear method and the Riemann theta function, the one-periodic and two-periodic wave solutions for the system are constructed. In addition, the asymptotic properties of the quasi-periodic wave solutions are proved. It is shown that the quasi-periodic wave solutions converge to the soliton solutions in a small amplitude limit. It is natural to ask whether we can get multiperiodic wave solutions in the case of \(N>2\). However, the solvability of system (2.10) is the key to the construction of multiperiodic wave solutions. As the number of unknown parameters is less than the number of equations, we cannot get multiperiodic wave solutions directly when \(N>2\). How to get multiperiodic wave solutions when \(N>2\)? Such a question will be investigated in the future.
References
Ablowitz, MJ, Clarkson, PA: Soliton Nonlinear Evolution Equations and Inverse Scatting. Cambridge University Press, New York (1991)
Matveev, VB, Salle, MA: Darboux Transformation and Solitons. Springer, Berlin (1991)
Gu, CH, Hu, HS, Zhou, ZX: Darboux Transformation in Soliton Theory and Its Geometric Applications. Science and Technology Press, Shanghai (1999)
Hirota, R: The Direct Method in Soliton Theory. Cambridge University Press, New York (2004)
Belokolos, ED, Bobenko, AI, Enolskij, VZ, Its, AR, Matveev, VB: Algebro-Geometric Approach to Nonlinear Integrable Equations. Springer, Berlin (1994)
Ma, WX, Huang, TW, Zhang, Y: A multiple exp-function method for nonlinear differential equations and its application. Phys. Scr. 82, 065003 (2010)
Ma, WX, Zhu, ZN: Solving the \((3 + 1)\)-dimensional generalized KP and BKP equations by the multiple exp-function algorithm. Appl. Math. Comput. 218, 11871-11879 (2012)
Ma, WX: Generalized bilinear differential equations. Stud. Nonlinear Sci. 2, 140-144 (2011)
Ma, WX: Bilinear equations and resonant solutions characterized by Bell polynomials. Rep. Math. Phys. 72, 41-56 (2013)
Ma, WX, Fan, EG: Linear superposition principle applying to Hirota bilinear equations. Comput. Math. Appl. 61, 950-959 (2011)
Nakamura, A: A direct method of calculating periodic wave solutions to nonlinear evolution equations. I. Exact two-periodic wave solution. J. Phys. Soc. Jpn. 47, 1701-1705 (1979)
Nakamura, A: A direct method of calculating periodic wave solutions to nonlinear evolution equations. II. Exact one- and two-periodic wave solution of the coupled bilinear equations. J. Phys. Soc. Jpn. 48, 1365-1370 (1980)
Fan, EG, Hon, YC: Quasi-periodic waves and asymptotic behavior for Bogoyavlenskiis breaking soliton equation in \((2+1)\) dimensions. Phys. Rev. E 78, 036607 (2008)
Hon, YC, Fan, EG, Qin, ZY: A kind of explicit quasi-periodic solution and its limit for the TODA lattice equation. Mod. Phys. Lett. B 22, 547-553 (2008)
Fan, EG: Quasi-periodic waves and an asymptotic property for the asymmetrical Nizhnik-Novikov-Veselov equation. J. Phys. A, Math. Theor. 42, 095206 (2009)
Fan, EG, Chow, KW: On the periodic solutions for both nonlinear differential and difference equations: a unified approach. Phys. Lett. A 374, 3629-3634 (2010)
Ma, WX, Zhou, RG: Exact one-periodic and two-periodic wave solutions to Hirota bilinear equations in \((2 + 1)\)-dimensional. Mod. Phys. Lett. A 24, 1677-1688 (2009)
Zhang, Y, Cheng, ZL: Riemann theta function periodic wave solutions for the variable-coefficient mKdV equation. Chin. Phys. B 21, 120203 (2012)
Kersten, P, Krasil’shchik, J: Complete integrability of the coupled KdV-mKdV system. Adv. Stud. Pure Math. 89, 151-171 (2000)
Kalkanli, AK, Sakovich, SY, Yurdusen, I: Integrability of Kersten-Krasil’shchik coupled KdV-mKdV equations: singularity analysis and Lax pair. J. Math. Phys. 44, 1703-1708 (2003)
Hon, YC, Fan, EG: Solitary wave and doubly periodic wave solutions for the Kersten-Krasil’shchik coupled KdV-mKdV system. Chaos Solitons Fractals 19, 1141-1146 (2004)
Qin, Y, Gao, YT, Yu, X, Meng, GQ: Bell polynomial approach and N-soliton solutions for a coupled KdV-mKdV system. Commun. Theor. Phys. 58, 73-78 (2012)
Rauch, HE, Farkas, HM: Theta Functions with Applications to Riemann Surfaces. William & Wilkins, Baltimore (1974)
Farkas, HM, Kra, I: Riemann Surfaces. Springer, New York (1992)
Acknowledgements
This work was supported by the Fundamental Research Funds for the Central Universities (no. 2014QNB50).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that no conflict of interest exists in the submission of this manuscript.
Authors’ contributions
The manuscript was written through contributions of all authors. All authors have given approval to the final version of the manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Rui, W., Qi, X. Bilinear approach to quasi-periodic wave solutions of the Kersten-Krasil’shchik coupled KdV-mKdV system. Bound Value Probl 2016, 130 (2016). https://doi.org/10.1186/s13661-016-0634-3
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-016-0634-3