Abstract
We study elliptic families of solutions of the recently introduced constrained Toda hierarchy, i.e., solutions that are elliptic functions of some linear combination of the hierarchical times. Equations of motion for poles of such solutions are obtained.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
To Andrey K. Pogrebkov on his 75th birthday
1. Introduction
The Toda lattice hierarchy [1] is an infinite set of evolution equations for two Lax operators \(L\) and \(\bar L\), which are pseudo-difference operators in the variable \(x\). Let \(\{t_k\}_{k\in \mathbb{Z}}\) be an infinite set of independent variables (times) indexed by integer numbers. The hierarchy is defined by the infinite set of Lax equations (evolution equations for the Lax operators in the times \(t_k\)). They are equivalent to differential–difference equations for the coefficient functions of the Lax operators. These equations are differential with respect to the times \(t_k\) with \(k\neq 0\) and difference with respect to the time \(t_0=x/\eta\) (\(\eta\) plays the role of the lattice spacing). An equivalent formulation is via the tau function \(\tau\) [2], [3] which is a function of the infinite set of independent variables and satisfies bilinear functional relations.
The constrained Toda hierarchy was recently introduced in[4]. It is a subhierarchy of the Toda lattice hierarchy defined by the constraint
(in the symmetric gauge). As is shown in [4], the constraint is preserved by the flows \(\partial_{t_k}-\partial_{t_{-k}}\) and is destroyed by the flows \(\partial_{t_k}+\partial_{t_{-k}}\), and therefore we have to set \(t_k +t_{-k}=0\).
The investigation of the dynamics of poles of singular solutions of nonlinear integrable equations was initiated in the seminal paper [5], where elliptic and rational solutions of the Korteweg–de Vries and Boussinesq equations were studied. As was proved later in [6], [7], poles of solutions of the Kadomtsev–Petviashvili (KP) equation that are rational functions of \(t_1\), as functions of the second hierarchical time \(t_2\), move as particles of the integrable Calogero–Moser system [8]–[11]. This correspondence was extended to elliptic solutions in [12]. The dynamics of poles of elliptic solutions of the 2D Toda lattice and modified KP (mKP) equations were studied in [13] (also see [14]). It was proved that the poles move as particles of the integrable Ruijsenaars–Schneider many-body system [15], [16], which is a relativistic generalization of the Calogero–Moser system.
The study of more general elliptic families of solutions of nonlinear integrable hierarchies, i.e., solutions that are elliptic functions of a general linear combination of the higher times of the hierarchy, was initiated in [17]. It was shown that poles of such solutions as functions of \(t_1\) and \(t_2\) move according to equations of motion of the field generalization of the Calogero–Moser system. Recently, similar results for elliptic families of solutions of the Toda hierarchy were obtained in [18], where the field generalization of the Ruijsenaars–Schneider model was introduced.
The aim of this paper is to study elliptic families of solutions of the constrained Toda hierarchy. We derive equations of motion for the poles of these solutions. This system can be regarded as a field generalization of the system obtained in [4].
2. Constrained Toda hierarchy
2.1. The Toda hierarchy
We begin with the Toda lattice hierarchy [1] in the symmetric gauge [19], [20]. The two Lax operators are the pseudo-difference operators
where \(e^{k\eta \partial_x}\) are shift operators acting on functions of \(x\) as \(e^{k\eta \partial_x}f(n)=f(x+k\eta)\). Given the Lax operators, we can introduce the difference operators
where for a subset \(\mathbb{S} \subset \mathbb{Z}\), we define
The Toda lattice hierarchy is given by the Lax equations
which define the hierarchical flows parameterized by the times \(t_m\) for any nonzero integer \(m\). An equivalent formulation is via the zero-curvature (Zakharov–Shabat) equations
One of the main objects related to the hierarchy is the tau function \(\tau(x, \mathbf{t})\), denoted here simply as \(\tau(x)\), with the dependence on times omitted. The coefficient \(c(x)\) is expressed through the tau function by the formula
2.2. Specialization to the constrained Toda hierarchy
The constrained Toda hierarchy is obtained by imposing the constraint
where the \(\dagger\)-operation is defined as \((f(x)\circ e^{k\eta \partial_x})^{\dagger} =e^{-k\eta \partial_x}\circ f(x)\). This implies that \(\bar U_k(x)=U_k(x+k\eta)\). It is easy to see that the constraint is preserved by the flows \(\partial_{t_k}-\partial_{t_{-k}}\) and is destroyed by the flows \(\partial_{t_k}+\partial_{t_{-k}}\), and hence we have to set \(t_k +t_{-k}=0\). In this way, all the coefficient functions can be regarded as functions of \(t_k\) with \(k>0\) (and of \(x\)) only. Introducing the difference operators
we can write the Lax and Zakharov–Shabat equations of the constrained hierarchy in the form
In particular,
where \(v(x)=U_0(x)\).
The Zakharov–Shabat and Lax equations are compatibility conditions for the linear problems
for the wave function \(\psi =\psi(x,\mathbf{t}, z)\) depending on the spectral parameter \(z\in \mathbb{C}\) (and on all the times \(\mathbf{t}=\{t_1, t_2, t_3,\, \dots \}\)). In particular, we have the linear problem
where we do not indicate the dependence on \(\mathbf{t}\) for brevity.
Introducing the wave function \(\Psi(x)\) by means of the relation
we represent linear problem (11) in the form
where
3. Elliptic families
3.1. Elliptic families among general algebraic-geometrical solutions
We consider solutions that are elliptic functions of a linear combination \(\lambda =\beta_0x+\sum_k \beta_k t_k\) of higher times of the hierarchy. We call them elliptic families. The elliptic families form a particular class of algebraic-geometrical solutions associated with an algebraic curve \(\Gamma\) of genus \(g\) endowed with some additional data. An algebraic-geometrical solution is said to be elliptic with respect to some variable \(\lambda\) if there exists a \(g\)-dimensional vector \(\mathbf{W}\) such that it spans an elliptic curve \(\mathcal{E}\) embedded in the Jacobian of the curve \(\Gamma\). The tau function of such a solution has the form
where \(\Theta\) is the Riemann theta function with the Riemann matrix being the matrix of \(b\)-periods of normalized holomorphic differentials on \(\Gamma\), and \(Q(x, \mathbf{t})\) is a quadratic form in the variable \(x\) and the hierarchical times \(\mathbf{t}=\{t_1, t_2, t_3, \dots \}\). The vectors \(\mathbf{V}_k\) are related to \(b\)-periods of certain normalized meromorphic differentials on \(\Gamma\). The existence of a \(g\)-dimensional vector \(\mathbf{W}\) such that it spans an elliptic curve \(\mathcal{E}\) embedded in the Jacobian is a nontrivial transcendental condition. If such a vector \(\mathbf{W}\) exists, then the theta divisor intersects the shifted elliptic curve \(\mathcal{E}+\mathbf{V}_0 x/\eta + \sum_k \mathbf{V}_k t_k\) at a finite number of points \(\lambda_i =\lambda_i(x,\mathbf{t})\). Therefore, for elliptic families, we can write
with a function \(f(x, \mathbf{t})\) and some constants \(\gamma_1\), \(\gamma_2\). Here, \(\sigma(\lambda)\) is the Weierstrass \(\sigma\)-function with quasiperiods \(2\omega_1\), \(2\omega_2\) (such that \(\operatorname{Im} (\omega_2/ \omega_1)>0\)), defined by the infinite product
Below, we also use the Weierstrass \(\zeta\)-function \(\zeta(x)=\sigma'(x)/\sigma(x)\). The form of the exponential factor in the right-hand side of (16) follows from the monodromy properties of the theta function. The zeros \(\lambda_i\) of the tau function are poles of elliptic solutions.
From (14)–(16), we conclude that for an elliptic family, the coefficients \(b(x)=b(x, \lambda)\), \(a(x)=a(x, \lambda)\) have the form
where the dot means the \(t_1\)-derivative and \(c(x,t)\), \(g(x, t)\) are some functions.
3.2. Double-Bloch functions
Our strategy is to find \(b(x,\lambda )\), \(a(x,\lambda )\) such that Eq. (13) has sufficiently many double-Bloch solutions. The existence of double-Bloch solutions turns out to be a rather restrictive condition.
A meromorphic function \(f(\lambda)\) is called a double-Bloch function if it satisfies the following monodromy properties:
The complex constants \(B_{\alpha}\) are called Bloch multipliers. Let the function \(\Phi(\lambda, z)\) be defined by
It has a simple pole at \(\lambda =0\) with residue \(1\). The quasiperiodicity properties of the function \(\Phi(\lambda, z)\) in the variable \(\lambda \) are
and it can therefore be regarded as an elementary double-Bloch function having only one pole. The variable \(z\) has the meaning of the spectral parameter. As a function of \(z\), \(\Phi(\lambda, z)\) is a double-periodic function. In what follows, we often suppress the second argument of \(\Phi\), simply writing \(\Phi(\lambda, z):=\Phi(\lambda)\).
The double-Bloch functions with several simple poles \(\lambda_i\) can be represented in the form
where \(c_i\) are residues at the poles \(\lambda_i\)
3.3. Derivation of the equations of motion
To derive the equations of motion for the zeros of the tau function \(\lambda_i(x)\), we substitute (22) and (18) in linear problem (13) and cancel the poles. The substitution gives
The cancellation of simple poles at \(\lambda =\lambda_i(x+\eta)\) yields the equation
The cancellation of double poles at \(\lambda =\lambda_i(x)\) yields the equation
Comparing (23) and (24), we obtain the equations of motion
These are field analogues of the equations of motion
from [4], which are obtained from (25) as a particular case where \(\lambda_i (x)=x+x_i\) (and \(g(x,t)=1\)). The function \(g(x,t)\) in (25) can be fixed by multiplying the equations over \(i\) from \(1\) to \(N\):
3.4. Continuum limit
The continuum limit is the limit \(\eta \to 0\). We write
where the prime denotes the \(x\)-derivative. We assume that
This assumption is consistent with (27). Expanding the right-hand side of Eqs. (25), we have
where \(\wp(x)=-\zeta'(x)\) is the Weierstrass \(\wp\)-function. The naive \(\eta\to 0\) limit is
The solution is \(\lambda_i =\varphi_i(x+2\eta t)\), where \(t=t_1\). However, a more meaningful limit consists in passing to the function \(y_i(x,t)\) connected with \(\lambda_i(x,t)\) by the relation
From (28), in the limit as \(\eta \to 0\), we then obtain the equation
which can be regarded as a field generalization of the equations of motion for zeros of the CKP tau function obtained in [21].
4. Conclusion
We have studied solutions of the constrained Toda hierarchy that are elliptic functions of a general linear combination \(\lambda\) of higher times of the hierarchy. For such solutions, the tau function is essentially a product of the Weierstrass \(\sigma\)-functions of \(\lambda\) with zeros \(\lambda_i\), \(i=1, \dots, N\). We have investigated how these zeros (poles of the solutions) depend on \(x\) and \(t_1\) and derived the equations of motion (25) for them, which are first-order differential equations in the time \(t_1\) and difference equations in the space variable \(x\). These equations can be regarded as a field generalization of the equations of motion for zeros of the tau function of the constrained Toda hierarchy obtained in [4]. The continuum limit of these equations is a field generalization of the equations of motion for zeros of the CKP tau function obtained in [21]. It is an open problem to clarify whether these equations are Hamiltonian.
References
K. Ueno and K. Takasaki, “Toda lattice hierarchy,” in: Group Representations and Systems of Differential Equations (University of Tokyo, Japan, December 20–27, 1982, Advanced Studies in Pure Mathematics, Vol. 4, K. Okamoto, ed.), North-Holland, Amsterdam (1984), pp. 1–95.
E. Date, M. Jimbo, M. Kashiwara, and T. Miwa, “Transformation groups for soliton equations,” in: Nonlinear Integrable Systems – Classical Theory and Quantum Theory (Kyoto, Japan, May 13–16, 1981, M. Jimbo and T. Miwa, eds.), World Sci., Singapore (1983), pp. 39–119.
M. Jimbo and T. Miwa, “Soliton equations and infinite dimensional Lie algebras,” Publ. RIMS, Kyoto Univ., 19, 943–1001 (1983).
I. Krichever and A. Zabrodin, “Constrained Toda hierarchy and turning points of the Ruijsenaars– Schneider model,” Lett. Math. Phys., 112, 23, 26 pp. (2022); arXiv: 2109.05240.
H. Airault, H. P. McKean, and J. Moser, “Rational and elliptic solutions of the Korteweg–De Vries equation and a related many-body problem,” Commun. Pure Appl. Math., 30, 95–148 (1977).
I. M. Krichever, “Rational solutions of the Kadomtsev–Petviashvili equation and integrable systems of \(N\) particles on a line,” Funct. Anal. Appl., 12, 59–61 (1978).
D. V. Choodnovsky and G. V. Choodnovsky, “Pole expansions of nonlinear partial differential equations,” Nuovo Cimento B, 40, 339–353 (1977).
F. Calogero, “Solution of the one-dimensional \(N\)-body problems with quadratic and/or inversely quadratic pair potentials,” J. Math. Phys., 12, 419–436 (1971).
F. Calogero, “Exactly solvable one-dimensional many-body problems,” Lett. Nuovo Cimento, 13, 411–416 (1975).
J. Moser, “Three integrable Hamiltonian systems connected with isospectral deformations,” Adv. Math., 16, 197–220 (1975).
M. A. Olshanetsky and A. M. Perelomov, “Classical integrable finite-dimensional systems related to Lie algebras,” Phys. Rep., 71, 313–400 (1981).
I. M. Krichever, “Elliptic solutions of the Kadomtsev–Petviashvili equation and integrable systems of particles,” Funct. Anal. Appl., 14, 282–290 (1980).
I. M. Krichever and A. V. Zabrodin, “Spin generalization of the Ruijsenaars–Schneider model, the non-Abelian Toda chain, and representations of the Sklyanin algebra,” Russian Math. Surveys, 50, 1101–1150 (1995).
A. Zabrodin, “Elliptic solutions to integrable nonlinear equations and many-body systems,” J. Geom. Phys., 146, 103506, 26 pp. (2019); arXiv: 1905.11383.
S. N. M. Ruijsenaars and H. Schneider, “A new class of integrable systems and its relation to solitons,” Ann. Phys., 170, 370–405 (1986).
S. N. M. Ruijsenaars, “Complete integrability of relativistic Calogero–Moser systems and elliptic function identities,” Commun. Math. Phys., 110, 191–213 (1987).
A. A. Akhmetshin, Yu. S. Vol’vovskii, and I. M. Krichever, “Elliptic families of solutions of the Kadomtsev–Petviashvili equation and the field elliptic Calogero–Moser system,” Funct. Anal. Appl., 36, 253–266 (2002).
A. Zabrodin and A. Zotov, “Field analogue of the Ruijsenaars–Schneider model,” JHEP, 2022, 023, 51 pp. (2022); arXiv: 2107.01697.
T. Takebe, “Toda lattice hierarchy and conservation laws,” Commun. Math. Phys., 129, 281–318 (1990).
T. Takebe, Lectures on Dispersionless Integrable Hierarchies (Lecture Notes, Vol. 2), Research Center for Mathematical Physics, Rikkyo Universty, Tokyo, Japan (2014).
I. Krichever and A. Zabrodin, “Kadomtsev–Petviashvili turning points and CKP hierarchy,” Commun. Math. Phys., 386, 1643–1683 (2021); arXiv: 2012.04482.
Funding
This work has been funded within the framework of the HSE University Basic Research Program.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
The author declares no conflicts of interest.
Additional information
Translated from Teoreticheskaya i Matematicheskaya Fizika, 2022, Vol. 213, pp. 57–64 https://doi.org/10.4213/tmf10260.
Rights and permissions
About this article
Cite this article
Zabrodin, A.V. Elliptic families of solutions of the constrained Toda hierarchy. Theor Math Phys 213, 1362–1368 (2022). https://doi.org/10.1134/S0040577922100051
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0040577922100051