# Elliptic Solutions for Higher Order KdV Equations

 Masahito Hayashi

Osaka Institute of Technology, Osaka 535-8585, Japan

Kazuyasu Shigemoto

Tezukayama University, Nara 631-8501, Japan

Takuya Tsukioka

Bukkyo University, Kyoto 603-8301, Japan

masahito.hayashi@oit.ac.jpshigemot@tezukayama-u.ac.jptsukioka@bukkyo-u.ac.jp

###### Abstract

We study higher order KdV equations from the GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1) Lie group point of view. We find elliptic solutions of higher order KdV equations up to the ninth order. We argue that the main structure of the trigonometric/hyperbolic/elliptic \(N\)-soliton solutions for higher order KdV equations is the same as that of the original KdV equation. Pointing out that the difference is only the time dependence, we find \(N\)-soliton solutions of higher order KdV equations can be constructed from those of the original KdV equation by properly replacing the time-dependence. We discuss that there always exist elliptic solutions for all higher order KdV equations.

## 1 Introduction

The soliton system is taken an interest in for a long time by considering that the soliton equation is the concrete example of the exactly solvable nonlinear differential equation [1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12]. Nonlinear differential equation relates to the interesting non-perturbative phenomena, so that studies of the soliton system are important to unveil mechanisms of various interesting physical phenomena such as those in superstring theories. It is quite surprising that such nonlinear soliton equations can be exactly solvable and have \(N\)-soliton solutions. Then we have a dogma that there must be the Lie group structure behind the soliton system, which is a key stone to make nonlinear differential equations exactly solvable.

For the KdV soliton system, the Lie group structure is implicitly built in the Lax operator \(L=\partial_{x}^{2}-u(x,t)\). In order to see the Lie group structure, it is appropriate to formulate by using the linear differential operator \(\partial_{x}\) as the Schrodinger representation of the Lie algebra, which naturally comes to use the AKNS formalism [4] for the Lax equation

\[\frac{\partial}{\partial x}\left(\begin{array}{c}\psi_{1}(x,t)\\ \psi_{2}(x,t)\end{array}\right)=\left(\begin{array}{cc}a/2&-u(x,t)\\ -1&-a/2\end{array}\right)\left(\begin{array}{c}\psi_{1}(x,t)\\ \psi_{2}(x,t)\end{array}\right).\]

Then the Lie group becomes GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1) for the KdV equation. An addition formula for elements of this Lie group is the well-known KdV type Backlund transformation.

In our previous papers [13, 14, 15, 16], we have studied GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1) Lie group approach for the unified soliton systems of KdV/mKdV/sinh-Gordon equations. Using the well-know KdV type Backlund transformation as the addition formula, we have algebraically constructed \(N\)-soliton solutions from various trigonometric/hyperbolic 1-soliton solutions [13, 15, 16]. Since the Lie group structure of KdV equation is the GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1), which has elliptic solution, we expect that elliptic \(N\)-soliton solutions for the KdV equation can be constructed by using the Backlund transformation as the addition formula. We then really have succeeded in constructing elliptic \(N\)-soliton solutions [14].

We can interpret this fact in the following way: The KdV equation, which is a typical 2-dimensional soliton equation, has the SO(2,1) Lie group structure and the well-known KdV type Backlund transformation can be interpreted as the addition formula of this Lie group. Then the elliptic function appears as a representation of the Backlund transformation. While, 2-dimensional Ising model, which is a typical 2-dimensional statistical integrable model, has the SO(3) Lie group structure and the Yang-Baxter relation can be interpreted as the addition formula of this Lie group. Then the elliptic function appears as a representation of the Yang-Baxter relation, which is equivalent to the addition formula of the spherical trigonometry [17, 18]. In 2-dimensional integrable, soliton, and statistical models, there is the SO(2,1)/SO(3) Lie group structure behind the model. As representations of the addition formula, the Backlund transformation, and the Yang-Baxter relation, there appears an algebraic function such as the trigonometric/hyperbolic/elliptic functions, which is the key stone to make the 2-dimensional integrable model into the exactly solvable model.

In this paper, we consider Lax type higher order KdV equations and study trigonometric/hyperbolic/elliptic solutions. So far special hyperelliptic solutions for more than the fifth order KdV equation have been vigorously studied by formulating it into the Jacobi's inversion problem [19, 20, 21, 22, 23, 24]. Since the Lie group structure GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1) and the Backlund transformation are common even for higher order KdV equations, we expect that there always exist elliptic solutions even for higher order. Then we study to find elliptic solutions up to the ninth order KdV equation, instead of special hyperelliptic solutions. We would like to conclude that we always have elliptic solutions for all higher order KdV equations.

The paper is organized as follows: In section 2, we study trigonometric/hyperbolic solutions for higher order KdV equations. We construct elliptic solutions for higher order KdV equations in section 3. In section 4, we consider the KdV type Backlund transformation as an addition formula for solutions of the Weierstrass type elliptic differential equation. In section 5, we study special 1-variable hyperelliptic solutions, and we discuss a relation between such special 1-variable hyperelliptic solutions and our elliptic solutions. We devote a final section to summarize this paper and to give discussions.

## 2 Trigonometric/hyperbolic solutions for the Lax type higher order KdV equations

Lax pair equations for higher order KdV equations are given by

\[L\psi=\frac{a^{2}}{4}\psi, \tag{2.1}\] \[\frac{\partial\psi}{\partial t_{2n+1}}=B_{2n+1}\psi, \tag{2.2}\]

where \(L=\partial_{x}^{2}-u\). By using the pseudo-differential operator \(\partial_{x}^{-1}\), \(B_{2n+1}\) are constructed from \(L\) in the form [25, 26]

\[B_{2n+1}=\left(\mathcal{L}^{2n+1}\right)_{\geq 0}=\partial_{x}^{2n+1}-\frac{2n+ 1}{2}u\partial_{x}^{2n-1}+\cdots, \tag{2.3}\]with

\[{\cal L}=L^{1/2}=\partial_{x}-\frac{u}{2}\partial_{x}^{-1}+\frac{u_{x}}{4} \partial_{x}^{-2}+\cdots,\]

where we denote "\(\geq 0\)" to take positive differential operator parts or function parts for general pseudo-differential operators. The integrability condition gives higher order KdV equations

\[\frac{\partial L}{\partial t_{2n+1}}=[B_{2n+1},\,L]. \tag{2.4}\]

As these higher order KdV equations comes from the Lax formalism, these higher order KdV equations are called the Lax type. There are various higher order KdV equations such as the Sawada-Kotera type, which is the higher order generalization of the Hirota form KdV equation [27]. As operators \(B_{2n+1}\) are constructed from \(L\), higher order KdV equations also have the same Lie group structure GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1) as that of the original KdV(=third order KdV) equation. Using \(u=z_{x}\), the KdV type Backlund transformation is given in the form

\[z_{x}^{\prime}+z_{x}=-\frac{a^{2}}{2}+\frac{(z^{\prime}-z)^{2}}{2}, \tag{2.5}\]

which comes from Eq.(2.1) only, so that it is valid even for the higher order KdV equations. In the Lie group approach to the soliton system, if we find 1-soliton solutions, we can construct \(N\)-soliton solutions from various 1-soliton solutions by the Backlund transformation Eq.(2.5) as an addition formula of the Lie group.

For 1-soliton solution of Eq.(2.4), if \(x\) and \(t_{2n+1}\) come in the combination \(X^{(2n+1)}=\alpha x+\beta t_{2n+1}^{\gamma}+\delta\), then if \(\gamma\neq 1\), the right-hand side of Eq.(2.4) is a function of only \(X\), while the left-hand side is a function of \(X\) and \(t\). Therefore, \(\gamma=1\) is necessary, that is, \(X=\alpha x+\beta t_{2n+1}+\delta\). \(N\)-soliton solutions are constructed from various 1-soliton solutions by the Backlund transformation. Then the main structure of \(N\)-soliton solutions, which are expressed with \(X_{i}^{(2n+1)},(i=1,2,\cdots,N)\), takes the same functional forms in higher order KdV equations and in the original KdV equation. The difference is only the time dependence of \(X_{i}=\alpha_{i}x+\beta_{i}t_{2n+1}+\delta_{i},(i=1,2,\cdots,N)\), that is, coefficients \(\beta_{i}\). This is valid not only for the trigonometric/hyperbolic \(N\)-soliton solutions but also for elliptic \(N\)-soliton solutions.

For the trigonometric/hyperbolic \(N\)-soliton solutions, we can easily determine the time dependence without knowing details of \(B_{2n+1}\). For dimensional analysis, we have \([\partial_{x}]=M\), \([u]=M^{2}\) in the unit of mass dimension \(M\). Further, we notice that \([B_{2n+1},\,L]\) does not contain differential operators but it contains only functions. Then we have

\[\frac{\partial u}{\partial t_{2n+1}}=\partial_{x}^{2n+1}u+{\cal O}(u^{2}). \tag{2.6}\]

As Eq.(2.6) is the Lie group type differential equation, we take the Lie algebraic limit. Putting \(u=\epsilon\hat{u}\) first, Eq.(2.6) takes in the form

\[\epsilon\frac{\partial\hat{u}}{\partial t_{2n+1}}=\epsilon\partial_{x}^{2n+1} \hat{u}+{\cal O}(\epsilon^{2}\hat{u}^{2}), \tag{2.7}\]

and afterwards we take the limit \(\epsilon\to 0\), which gives

\[\frac{\partial\hat{u}}{\partial t_{2n+1}}=\partial_{x}^{2n+1}\hat{u}. \tag{2.8}\]

Then for trigonometric/hyperbolic solutions, we see that \(x\) and \(t_{2n+1}\) come in a combination \(X_{i}=a_{i}x+\delta_{i}\to X_{i}=a_{i}x+a_{i}^{2n+1}t_{2n+1}+\delta_{i}\) for 1-soliton solutions. In this way, the time-dependence for trigonometric/hyperbolic solutions is easily determined without knowing details of \(B_{2n+1}\). We can then obtain trigonometric/hyperbolic \(N\)-soliton solutions for the \((2n+1)\)-th order KdV equation from the original KdV \(N\)-soliton solutions just by replacing \(X_{i}^{(3)}=a_{i}x+a_{i}^{3}t_{3}+\delta_{i}\to X_{i}^{(2n+1)}=a_{i}x+a_{i}^{2n+1 }t_{2n+1}+\delta_{i},(i=1,2,\cdots,N)\).

For example, the original third order KdV equation is given by 1

Footnote 1: We use the notation \(u_{x}=\partial_{x}u\), \(u_{2x}=\partial_{x}^{2}u\), \(\cdots\), throughout the paper.

\[u_{t_{3}}=u_{3x}-6uu_{x}, \tag{2.9}\]

and the fifth order KdV equation is given by [27],

\[u_{t_{5}}=u_{5x}-10uu_{3x}-20u_{x}u_{2x}+30u^{2}u_{x}. \tag{2.10}\]

These two equations look quite different, but the 1-soliton solution for the third order KdV equation is given by \(z=-a\tanh((ax+a^{3}t+\delta)/2)\), while 1-soliton solution for the fifth order KdV equation is given by \(z=-a\tanh((ax+a^{5}t+\delta)/2)\). In this way, even for any \(N\)-soliton solutions, we can obtain the fifth order KdV solution from third order KdV solution just by replacing \(X_{i}^{(3)}=a_{i}x+a_{i}^{3}t+\delta_{i}\to X_{i}^{(5)}=a_{i}x+a_{i}^{5}t+ \delta_{i}\). See more details in the Wazwaz's nice textbook [27].

However, as we explain in the next section, the way to determine the time dependence by taking the Lie algebraic limit does not applicable for elliptic solutions.

## 3 Elliptic solutions for the Lax type higher order KdV equations

We consider here elliptic 1-soliton solutions for higher order KdV equations up to ninth order. We first study whether higher order KdV equations reduces to differential equations of the elliptic curves. If a differential equation of the elliptic curve exists, via dimensional analysis, \([\partial_{x}]=M\), \([u]=M^{2}\), \([k_{3}]=M^{0}\), \([k_{2}]=M^{2}\), \([k_{1}]=M^{4}\), and \([k_{0}]=M^{6}\), that must be the differential equation of the Weierstrass type elliptic curve

\[{u_{x}}^{2}=k_{3}u^{3}+k_{2}u^{2}+k_{1}u+k_{0}, \tag{3.1}\]

where \(k_{i}(i=0,1,2,3)\) are constants. We cannot use the method to take the Lie algebraic limit to find the time dependence of the elliptic 1-soliton solution, because we cannot take \(u\to 0\) as \(k_{0}\neq 0\) is essential in the elliptic case. By differentiating Eq.(3.1), we have the following relations;

\[u_{2x}=\frac{3}{2}k_{3}u^{2}+k_{2}u+\frac{1}{2}k_{1}, \tag{3.2a}\] \[u_{3x}=3k_{3}uu_{x}+k_{2}u_{x},\] (3.2b) \[u_{4x}=3k_{3}uu_{2x}+3k_{3}{u_{x}}^{2}+k_{2}u_{2x},\] (3.2c) \[u_{5x}=9k_{3}u_{x}u_{2x}+3k_{3}uu_{3x}+k_{2}u_{3x},\] (3.2d) \[u_{6x}=12k_{3}u_{x}u_{3x}+9k_{3}{u_{2}}^{2}+3k_{3}uu_{4x}+k_{2}u_ {4x},\] (3.2e) \[u_{7x}=30k_{3}u_{2x}u_{3x}+15k_{3}u_{x}u_{4x}+3k_{3}uu_{5x}+k_{2} u_{5x},\] (3.2f) \[u_{8x}=45k_{3}u_{2x}u_{4x}+30k_{3}{u_{3x}}^{2}+18k_{3}u_{x}u_{5x} +3k_{3}uu_{6x}+k_{2}u_{6x}. \tag{3.2g}\]

### Elliptic solution for the third order KdV(original KdV) equation

The third order KdV (original KdV) equation is given by

\[u_{t_{3}}=u_{3x}-6uu_{x}=\left(u_{2x}-3u^{2}\right)_{x}. \tag{3.3}\]

We consider the 1-soliton solution, where \(x\) and \(t\) come in the combination \(X=x+c_{3}t_{3}+\delta\), then we have

\[u_{2x}-3u^{2}-c_{3}u=\frac{k_{1}}{2}, \tag{3.4}\]

where \(k_{1}/2\) is an integration constant. Further multiplying \(u_{x}\) and integrating, we have the following differential equation of the Weierstrass type elliptic curve

\[{u_{x}}^{2}=2u^{3}+k_{2}u^{2}+k_{1}u+k_{0}, \tag{3.5}\]

where \(k_{2}\), \(k_{1}\), and \(k_{0}\) are constants and \(c_{3}\) is determined as \(c_{3}=k_{2}\), which gives the time-dependence of the 1-soliton solution. If we put \(\wp=u/2+k_{2}/12\), we have the standard differential equation of the Weierstrass \(\wp\) function type

\[\wp_{x}^{2}=4\wp^{3}-g_{2}\wp-g_{3}, \tag{3.6}\]

with

\[g_{2} ={k_{2}}^{2}/12-k_{1}/2, \tag{3.7a}\] \[g_{3} =-{k_{2}}^{3}/216+k_{1}k_{2}/24-k_{0}/4. \tag{3.7b}\]

Elliptic 1-soliton solution is given by

\[u(x,t_{3})=u(X^{(3)})=2\wp(X^{(3)})-\frac{k_{2}}{6}, \tag{3.8}\]

with

\[X^{(3)}=x+c_{3}t_{3}+\delta,\quad c_{3}=k_{2}.\]

It should be noted that we must parametrize the differential equation of the Weierstrass type elliptic curve by \(k_{2}\), \(k_{1}\), and \(k_{0}\) instead of \(g_{2}\) and \(g_{3}\), because coefficients \(c_{2n+1}\) in higher order KdV equations, which determine the time dependence, are expressed with \(k_{2}\), \(k_{1}\), and \(k_{0}\). According to the method of our previous paper, if we find various 1-soliton solutions, we can construct \(N\)-soliton solutions [14].

### Elliptic solution for the fifth order KdV equation

The fifth order KdV equation is given by [27],

\[u_{t_{5}}-\left(u_{4x}-10uu_{2x}-5{u_{x}}^{2}+10u^{3}\right)_{x}=0. \tag{3.9}\]

We consider the elliptic solution, where \(x\) and \(t_{5}\) come in the combination of \(X=x+c_{5}t_{5}+\delta\), which gives

\[c_{5}u-\left(u_{4x}-10uu_{2x}-5{u_{x}}^{2}+10u^{3}\right)+C=0, \tag{3.10}\]

where \(C\) is an integration constant. We will show that the above equation reduces to the same differential equation of the Weierstrass type elliptic curve Eq.(3.1). Substituting Eq.(3.1),

[MISSING_PAGE_FAIL:6]

We take the most general solution i.e. I) case, which is the same differential equation of the elliptic curve as that of the third order KdV equation Eq.(3.5) and \(c_{7}\) is determined as \(c_{7}=-2k_{0}-2k_{1}k_{2}+{k_{2}}^{3}\). Elliptic 1-soliton solution is given by

\[u(x,t_{7})=u(X^{(7)})=2\wp(X^{(7)})-\frac{k_{2}}{6}, \tag{3.21}\]

with

\[X^{(7)}=x+c_{7}t_{7}+\delta,\quad c_{7}=-2k_{0}-2k_{1}k_{2}+{k_{2}}^{3}.\]

### Elliptic solution for the ninth order KdV equation

The ninth order KdV equation is given by [28],

\[u_{t_{9}}-\big{(}u_{8x}-18uu_{6x}-54u_{x}u_{5x}-114u_{2x}u_{4x}-69 u_{3x}{}^{2}+126u^{2}u_{4x}+504uu_{x}u_{3x}\] \[+462{u_{x}}^{2}u_{2x}+378uu_{2x}{}^{2}-630u^{2}{u_{x}}^{2}-420u^{3 }u_{2x}+126u^{5}\big{)}_{x}=0. \tag{3.22}\]

Assuming that \(x\) and \(t_{9}\) come in the combination of \(X=x+c_{9}t_{9}+\delta\), we have

\[c_{9}u-\big{(}u_{8x}-18uu_{6x}-54u_{x}u_{5x}-114u_{2x}u_{4x}-69 u_{3x}{}^{2}+126u^{2}u_{4x}+504uu_{x}u_{3x}\] \[+462{u_{x}}^{2}u_{2x}+378uu_{2x}{}^{2}-630u^{2}{u_{x}}^{2}-420u^{3 }u_{2x}+126u^{5}\big{)}+C=0. \tag{3.23}\]

Substituting Eq.(3.1), \(\cdots\), and Eq.(3.2g) into Eq.(3.23) and comparing coefficients of \(u^{5}\), \(u^{4}\), \(u^{3}\), \(u^{2}\), \(u^{1}\), and \(u^{0}\), we have 6 conditions for 6 constants \(k_{3}\), \(k_{2}\), \(k_{1}\), \(k_{0}\), \(c_{9}\), and \(C\) in the following form

\[{\rm i)} (k_{3}-2)(3k_{3}-2)(3k_{3}-1)(5k_{3}-1)=0, \tag{3.24a}\] \[{\rm ii)} {k_{2}}(k_{3}-2)(3k_{3}-2)(3k_{3}-1)=0,\] (3.24b) \[{\rm iii)} {k_{1}}(k_{3}-2)(3k_{3}-2)(9k_{3}-4)+7{k_{2}}^{2}(k_{3}-2)(3k_{3} -2)=0,\] (3.24c) \[{\rm iv)} {3k_{0}}(k_{3}-2)(225{k_{3}}^{2}-252k_{3}+70)\] (3.24d) \[{\rm v)} {c_{9}}=(675{k_{3}}^{2}-1836k_{3}+966){k_{0}}{k_{2}}+(378{k_{3}}^ {2}-1080k_{3}+651){k_{1}}^{2}/2\] (3.24e) \[{\rm vi)} {C}=(297{k_{3}}^{2}-828k_{3}+462){k_{0}}{k_{1}}/2+(63k_{3}-123){ k_{0}}{k_{2}}^{2}\] (3.24f) \[{\rm iii)} {+}(27k_{3}-57){k_{1}}^{2}{k_{2}}/2+{k_{1}}{k_{2}}^{3}/2.\]

Then we obtain 4 solutions

\[{\rm I)} {k_{3}}=2,\quad{k_{2}},{k_{1}},{k_{0}}:{\rm arbitrary},\quad{c_{9 }}=-6{k_{0}}{k_{2}}+3{k_{1}}^{2}/2-3{k_{1}}{k_{2}}^{2}+{k_{2}}^{4},\] (3.25) \[{C}=-3{k_{0}}{k_{1}}+3{k_{0}}{k_{2}}^{2}-3{k_{1}}^{2}{k_{2}}/2+{k _{1}}{k_{2}}^{3}/2,\] \[{\rm II)} {k_{3}}=2/3,\quad{k_{0}}=(66k_{1}k_{2}-85{k_{2}}^{3})/6,\quad{k_ {2}},{k_{1}}:{\rm arbitrary},\] (3.26) \[{c_{9}}=(99{k_{1}}^{2}+594k_{1}{k_{2}}^{2}-1188{k_{2}}^{4})/2, \quad{C}=(423{k_{1}}^{2}{k_{2}}-2376{k_{1}}{k_{2}}^{3}+with

\[X^{(9)}=x+c_{9}t_{9}+\delta,\quad c_{9}=-6k_{0}k_{2}+3{k_{1}}^{2}/2-3k_{1}{k_{2}}^ {2}+{k_{2}}^{4}.\]

In this way, even for higher order KdV equations, the main structure of the elliptic solution, which is expressed by \(X^{(2n+1)}\), takes the same functional form except the time dependence, that is, \(c_{2n+1}\) in \(X^{(2n+1)}=x+c_{2n+1}t_{2n+1}+\delta\). Compared with the trigonometric/hyperbolic case, \(c_{2n+1}\) becomes complicated for elliptic solutions of higher order KdV equations.

In the general \((2n+1)\)-th order KdV equation, by dimensional analysis \([u_{2nx}]=[u^{n+1}]=M^{2n+2}\), integrated differential equation gives the \((n+1)\)-th order polynomial of \(u\). Then the number of the conditions is \(n+2\), while the number of constants is 6. So, \(n\geq 5\) becomes the overdetermined case, but we expect the existence of the differential equation of the elliptic curve for more than eleventh order KdV equation owing to the nice SO(2,1) Lie group symmetry. Although the existence of such elliptic curve is a priori not guaranteed, we will show later that the elliptic solutions really exist for all higher order KdV equations.

## 4 Backlund transformation for the differential equation of the elliptic curve

Here we will show that the Backlund transformation connects one solution to another solution of the same differential equation of the Weierstrass type elliptic curve. The Lie group structure of KdV equation is given by GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1) and the Backlund transformation can be considered as the self gauge transformation of this Lie group. We consider two elliptic solutions for the KdV equation, that is, two solutions \(u^{\prime}(x,t_{3})\) and \(u(x,t_{3})\) for \(u^{\prime}_{t_{3}}-u^{\prime}_{xxx}+6u^{\prime}u^{\prime}_{x}=0\) and \(u_{t_{3}}-u_{xxx}+6uu_{x}=0\). We put the time dependence in the forms; \(X^{\prime}=x+c^{\prime}_{3}t_{3}+\delta^{\prime}\) for \(u^{\prime}(x,t_{3})\) and that of \(X=x+c_{3}t_{3}+\delta\) for \(u(x,t_{3})\). In order to connect two solutions by the Backlund transformation and to construct \(N\)-soliton solutions, \(c^{\prime}_{3}\) and \(c_{3}\) must take the same common value. By integrating twice, we have the same differential equation of the elliptic curve

\[{u^{\prime}_{x}}^{2} =2u^{\prime 3}+k_{2}u^{\prime 2}+k_{1}u^{\prime}+k_{0}, \tag{4.1}\] \[{u_{x}}^{2} =2u^{3}\,+k_{2}u^{2}\,+k_{1}u\,+k_{0}, \tag{4.2}\]

with same coefficients \(k_{2}\), \(k_{1}\), and \(k_{0}\), where we take \(c_{3}=c^{\prime}_{3}=k_{2}\). By taking a constant shift of \(u\to u-k_{2}/6\), we consider the same two differential equations of the Weierstrass type elliptic curve

\[{u^{\prime}_{x}}^{2} =2u^{\prime 3}-2g_{2}u^{\prime}-4g_{3}, \tag{4.3}\] \[{u_{x}}^{2} =2u^{3}\,-2g_{2}u\,-4g_{3}, \tag{4.4}\]

where \(g_{2}\) and \(g_{3}\) are given by Eqs.(3.7a) and (3.7b). It should be mentioned that this differential equation of the Weierstrass type elliptic curve has not only the solution \(u(x)=2\wp(x)\) but also \(N\)-soliton solutions [14].

Here we will show that we can connect two solutions of Eqs.(4.3) and (4.4) by the following Backlund transformation

\[z^{\prime}_{x}+z_{x}=-\frac{a^{2}}{2}+\frac{(z^{\prime}-z)^{2}}{2}, \tag{4.5}\]

where \(u=z_{x}\) and \(u^{\prime}=z^{\prime}_{x}\). We introduce \(U=u^{\prime}+u=z^{\prime}_{x}+z_{x}\) and \(V=z^{\prime}-z\), which gives \(V_{x}=z^{\prime}_{x}-z_{x}=u^{\prime}-u\). Then we have \(u^{\prime}=(U+V_{x})/2\) and \(u=(U-V_{x})/2\). Eqs.(4.3) and (4.4) are given by

\[(U_{x}+V_{xx})^{2} =(U+V_{x})^{3}-4g_{2}(U+V_{x})-16g_{3}, \tag{4.6}\] \[(U_{x}-V_{xx})^{2} =(U-V_{x})^{3}-4g_{2}(U-V_{x})-16g_{3}. \tag{4.7}\]The Backlund transformation (4.5) is given by

\[U=\frac{V^{2}}{2}-\frac{a^{2}}{2}, \tag{4.8}\]

which gives \(U_{x}=VV_{x}\).

First, by taking Eq.(4.6)\(-\)Eq.(4.7), we have

\[U_{x}V_{xx}=\frac{1}{2}\left(3U^{2}V_{x}+{V_{x}}^{3}\right)-2g_{2}V_{x}, \tag{4.9}\]

which reads the form

\[VV_{xx}=\frac{3}{8}\left(V^{2}-a^{2}\right)^{2}+\frac{1}{2}{V_{x}}^{2}-2g_{2}= \frac{1}{2}{V_{x}}^{2}+\frac{3}{8}V^{4}-\frac{3}{4}a^{2}V^{2}+\frac{3}{8}a^{4} -2g_{2}, \tag{4.10}\]

throught the relation (4.8). By dimensional analysis, we have

\[V_{x}^{2}=m_{4}V^{4}+m_{3}V^{3}+m_{2}V^{2}+m_{1}V+m_{0}, \tag{4.11}\]

where \(m_{i}(i=0,1,\cdots,4)\) are constants. By differentiating this relation, we have

\[V_{xx}=2m_{4}V^{3}+\frac{3}{2}m_{3}V^{2}+m_{2}V+\frac{1}{2}m_{1}. \tag{4.12}\]

Substituting this relation into Eq.(4.10), we have

\[2m_{4}V^{4}+\frac{3}{2}m_{3}V^{3}+m_{2}V^{2}+\frac{1}{2}m_{1}V=\frac{1}{2}{V_{ x}}^{2}+\frac{3}{8}V^{4}-\frac{3}{4}a^{2}V^{2}+\frac{3}{8}a^{4}-2g_{2}, \tag{4.13}\]

which gives

\[{V_{x}}^{2} =\left(4m_{4}-\frac{3}{4}\right)V^{4}+3m_{3}V^{3}+\left(2m_{2}+ \frac{3}{2}a^{2}\right)V^{2}+m_{1}V-\frac{3}{4}a^{4}+4g_{2}\] \[=m_{4}V^{4}+m_{3}V^{3}+m_{2}V^{2}+m_{1}V+m_{0}. \tag{4.14}\]

Comparing coefficients of the power of \(V\), we have \(m_{4}=1/4\), \(m_{3}=0\), \(m_{2}=-3a^{2}/2\), \(m_{1}=\) (undetermined), \(m_{0}=-3a^{4}/4+4g_{2}\), which gives

\[{V_{x}}^{2} =\frac{1}{4}V^{4}-\frac{3}{2}a^{2}V^{2}+m_{1}V-\frac{3}{4}a^{4}+4 g_{2}, \tag{4.15}\] \[V_{xx} =\frac{1}{2}V^{3}-\frac{3}{2}a^{2}V+\frac{1}{2}m_{1}. \tag{4.16}\]

Second, by taking Eq.(4.6)\(+\)Eq.(4.7), we have

\[{U_{x}}^{2}+{V_{xx}}^{2}=U^{3}+3{UV_{x}}^{2}-4g_{2}U-16g_{3}. \tag{4.17}\]

Using Eq.(4.8), we have

\[{V^{2}{V_{x}}^{2}+{V_{xx}}^{2}=\left(\frac{V^{2}}{2}-\frac{a^{2}}{2}\right)^{3 }+3\left(\frac{V^{2}}{2}-\frac{a^{2}}{2}\right){V_{x}}^{2}-4g_{2}\left(\frac{V^ {2}}{2}-\frac{a^{2}}{2}\right)-16g_{3}.} \tag{4.18}\]

Substituting \({V_{x}}^{2}\) and \(V_{xx}\) into Eq.(4.18) and by using Eq.(4.15) and Eq.(4.16), we have the condition \({m_{1}}^{2}=4a^{6}-16a^{2}g_{2}-64g_{3}\). Then the undetermined coefficient \(m_{1}\) is determined, and we have the differential equation of the Jacobi type elliptic curve for \(V=z^{\prime}-z\)

\[{V_{x}}^{2}=\frac{1}{4}V^{4}-\frac{3}{2}a^{2}V^{2}{\pm}{\sqrt{4a^{6}-16a^{2}g_ {2}-64g_{3}}}\,V-\frac{3}{4}a^{4}+4g_{2}. \tag{4.19}\]

[MISSING_PAGE_EMPTY:70]

The solution of the Jacobi's inversion problem is that the symmetric combination of \(\mu_{1}(x)\) and \(\mu_{2}(x)\), that is, \(\mu_{1}(x)+\mu_{2}(x)(=u(x)/2)\) and \(\mu_{1}(x)\mu_{2}(x)\) are given by the ratio of the genus two hyperelliptic theta function. However, the above Jacobi's inversion problem is special as the right-hand side of Eq.(5.7) is zero. Then the genus two hyperelliptic theta function takes in the following special 1-variable form \(\vartheta(\pm 2x+d_{1},d_{2})\) where \(d_{1},d_{2}\) are constants, that is, the second argument becomes constant. Then the ratio of such special genus two hyperelliptic theta function is the function of 1-variable \(x\), which becomes proportional to the 1-variable function \(u(x)=2(\mu_{1}(x)+\mu_{2}(x))\). The general genus two hyperelliptic theta function is given by

\[\vartheta(u,v;\tau_{1},\tau_{2},\tau_{12})=\sum_{m,n\in\mathbb{Z}}\exp{\Big{[} i\pi(\tau_{1}m^{2}+\tau_{2}n^{2}+2\tau_{12}mn)+2i\pi(mu+nv)\Big{]}}. \tag{5.9}\]

Then \(F(x,t)=\vartheta(x,d_{2};t,\tau_{2},\tau_{12})\) satisfies the diffusion equation \(\partial_{t}F(x,t)=-i\partial_{x}^{2}F(x,t)/4\pi\). Further, \(F(x,t)\) has the trivial periodicity \(F(x+1,t)=F(x,t)\). It is shown in the Mumford's nice textbook [30] that if \(F(x,t)\) satisfies i) periodicity \(F(x+1,t)=F(x,t)\), ii) diffusion equation \(\partial_{t}F(x,t)=-i\partial_{x}^{2}F(x,t)/4\pi\), \(F(x,t)\) becomes the genus one elliptic theta function of 1-variable \(x\). By solving the Jacobi's inversion problem, the solution \(u(x,t_{5})=u(X^{(5)})=u(x+c_{5}t_{5}+\delta)\) of the fifth order KdV equation is given by the ratio of the special 1-variable hyperelliptic theta function, which gives the elliptic solution. For the \((2n+1)\)-th order KdV equation, the solution of the Jacobi's inversion problem gives \(u(x,t_{2n+1})=u(X^{(2n+1)})\) as the ratio of the special 1-variable genus \(n\) hyperelliptic theta function of the form \(\vartheta(\pm 2x+d_{1},d_{2},\cdots,d_{n})\), which also becomes the genus one elliptic theta function.

For higher order KdV equations, it is shown that solutions are expressed with above special 1-variable hyperelliptic theta functions, which becomes elliptic theta functions. Then we can conclude that all higher order KdV equations always have elliptic solutions, though we have explicitly constructed elliptic solutions only up to the ninth order KdV equation.

## 6 Summary and Discussions

We have studied to construct \(N\)-soliton solution for the Lax type higher order KdV equations by using the GL(2,\(\mathbb{R}\)) \(\cong\) SO(2,1) Lie group structure. The main structure of \(N\)-soliton solutions, expressed with \(X_{i}=\alpha_{i}x+\beta_{i}t+\delta_{i},(i=1,2,\cdots,N)\) is the same even for higher order KdV equations. The difference of \(N\)-soliton solutions in various higher order KdV equations is the time dependence, that is, coefficients \(\beta_{i}\).

In trigonometric/hyperbolic solutions, by taking the Lie algebra limit, we can easily determine the time dependence. For the \((2n+1)\)-th order KdV equation, we can obtain \(N\)-soliton solutions from those of the original KdV equation by just the replacement \(X_{i}^{(3)}=a_{i}x+a_{i}^{3}t_{3}+\delta_{i}\)\(\to\)\(X_{i}^{(2n+1)}=a_{i}x+a_{i}^{2n+1}t_{2n+1}+\delta_{i}\), \((i=1,2,\cdots,N)\).

For elliptic solutions, up to the ninth order KdV equation, we have obtained \(N\)-soliton solutions from those of the original KdV equation by just the replacement \(X^{(3)}{}_{i}=x+c_{3}t_{3}+\delta_{i}\)\(\to\)\(X^{(2n+1)}{}_{i}=x+c_{2n+1}t_{2n+1}+\delta_{i}\), \((i=1,2,3,4)\) where \(c_{2n+1}\) are given by \(c_{3}=k_{2}\), \(c_{5}=-k_{1}+k_{2}{}^{2}\), \(c_{7}=-2k_{0}-2k_{1}k_{2}+k_{2}{}^{3}\), and \(c_{9}=-6k_{0}k_{2}+3k_{1}{}^{2}/2-3k_{1}k_{2}{}^{2}+k_{2}{}^{4}\) by using coefficients of differential equation of the Weierstrass type elliptic curve \(u_{x}{}^{2}=2u^{3}+k_{2}u^{2}+k_{1}u+k_{0}\).

For general higher order KdV equations, special 1-variable hyperelliptic solutions are known but elliptic solutions are not known so far. Since the same GL(2,\(\mathbb{R}\))\(\cong\) SO(2,1) Lie group structure and the same Backlund transformation exists even for higher order KdV equations, the existence of elliptic solutions will be guaranteed. We can show that elliptic solutions for all higher order KdV equations really exist by the following arguments: For the general \((2n+1)\)-th order KdV equation, it can be formulated in the Jacobi's inversion problem [19, 20], and it is known that there exist solutions expressed with the special 1-variablehyperelliptic theta function of the form \(\vartheta(\pm 2x+d_{1},d_{2},\cdots,n)\)[20, 21, 22, 23, 24], which is shown to be the elliptic theta function according to the Mumford's argument [30]. We can say in another way. As the soliton solution \(u(x,t)=u(X)\), (\(X=\alpha x+\beta t_{2n+1}+\delta\)), which is expressed as the ratio of special 1-variable hyperelliptic theta functions, as it has the trivial periodicity \(X\to X+1\), \(u(X)\) must be the trigonometric/hyperbolic or the elliptic function. Then it becomes the elliptic function according to the Mumford's argument. By using these facts, we can conclude that we always have the elliptic solutions for the general higher order KdV equations.

Further, without using the explicit form of the solution expressed with the \(\wp\) function, we have shown that the KdV type Backlund transformation connects one solution to another solution of the same differential equation of the Weierstrass type elliptic curve.

## References

* [1] C.S. Gardner, J.M. Greene, M.D. Kruskal, and R.M. Miura, Phys. Rev. Lett. **19**, 1095 (1967).
* [2] P.D. Lax, Commun, Pure and Appl. Math. **21**, 467 (1968).
* [3] V.E. Zakharov and A.B. Shabat, Sov. Phys. JETP **34**, (1972) 62.
* [4] M.J. Ablowitz, D.J. Kaup, A.C. Newell, and H. Segur, Phys. Rev. Lett. **31**, 125 (1973).
* [5] H.D. Wahlquist and F.B. Estabrook, Phys. Rev. Lett. **31**, 1386 (1973).
* [6] M. Wadati, J. Phys. Soc. Jpn. **36**, 1498 (1974).
* [7] K. Konno and M. Wadati, Prog. Theor. Phys. **53**, 1652 (1975).
* [8] R. Hirota, Phys. Rev. Lett. **27**, 1192 (1971).
* [9] R. Hirota, J. Phys. Soc. Jpn. **33**, 1456 (1972).
* [10] M. Sato, RIMS Kokyuroku (Kyoto University) **439**, 30 (1981).
* [11] E. Date, M. Kashiwara, and T. Miwa, Proc. Japan Acad. **57A**, 387 (1981).
* [12] J. Weiss, J. Math. Phys. **24**, 1405 (1983).
* [13] M. Hayashi, K. Shigemoto, and T. Tsukioka, Mod. Phys. Lett. **A34**, 1950136 (2019).
* [14] M. Hayashi, K. Shigemoto, and T. Tsukioka, J. Phys. Commun. **3**, 045004 (2019).
* [15] M. Hayashi, K. Shigemoto, and T. Tsukioka, J. Phys. Commun. **3**, 085015 (2019).
* [16] M. Hayashi, K. Shigemoto, and T. Tsukioka, J. Phys. Commun. **4**, 015014 (2020).
* [17] K. Shigemoto, "The Elliptic Function in Statistical Integrable Models", Tezukayama Academic Review **17**, 15 (2011), [arXiv:1603.01079v2[nlin.SI]].
* [18] K. Shigemoto, "The Elliptic Function in Statistical Integrable Models II", Tezukayama Academic Review **19**, 1 (2013), [arXiv:1302.6712v1[math-ph]].
* [19] J.L. Burchnall and T.W. Chaundy, Proc. London Math. Soc. **21**, 420 (1922).
* [20] E. Date and S. Tanaka, Progr. Theor. Phys. Supplement **59**, 107 (1976).
* [21] A.R. Its and V.B. Matveev, Theor. Math. Phys. **23**, 343 (1975).
* [22] H.P. McKean and P. van Moerbeke, Inversions Math. Phys. **30**, 217 (1975).
* [23] B.A. Dubrobin, V.B. Matveev, and S.P. Novikov, Russian Math. Surveys **31**, 59 (1976).
* [24] I.M. Krichever, Russian Math. Surveys **32**, 185 (1977).

* [25] I.M. Gel'fand and L.A. Dikii, Funct. Anal. Appl. **12**, 259 (1978)(English).
* [26] L.A. Dickey, _Soliton equations and Hamiltonian systems_, (World Scientific, Singapore, 2003).
* [27] A.-M. Wazwaz, _Partial Differential Equations and Solitary Waves Theory_, (Springer-Verlag, Berlin Heidelberg, 2009).
* [28] Y.-J. Shen, Y.-T. Gao, G.-Q. Meng, Y. Qin and X. Yu, Applied Mathematics and Computation, **274**, 403 (2016).
* [29] K. Shigemoto, "Jacobi's Inversion Problem for Genus Two Hyperelliptic Integral", Tezukayama Academic Review **20**, 1 (2014), [arXiv:1603.02508v2[math-ph]].
* [30] D. Mumford, _Tata Lectures on Theta I_, p.4 (Birkhauser, Boston Basel Stuttgart, 1983).