A systematic construction of integrable delay-difference and delay-differential analogues of soliton equations
Abstract
We propose a systematic method for constructing integrable delay-difference and delay-differential analogues of known soliton equations such as the Lotka-Volterra, Toda lattice, and sine-Gordon equations and their multi-soliton solutions. It is carried out by applying a reduction and delay-differential limit to the discrete KP or discrete two-dimensional Toda lattice equations. Each of the delay-difference and delay-differential equations has the -soliton solution, which depends on the delay parameter and converges to an -soliton solution of a known soliton equation as the delay parameter approaches .
Keywords: delay-differential equations, delay-difference equations, soliton equations, integrable systems, multi-soliton solutions
1 Introduction
Delay-differential equations have been used as mathematical models in various fields of science and engineering such as traffic flow, population dynamics, nonlinear optics, fluid mechanics and infectious disease [1, 2]. Because of their importance in various fields, the mathematical properties of delay differential equations have been actively studied. For example, exact solutions of delay differential equations play an important role in the study of traffic flow [3, 4, 5, 6].
In recent years, there has been active research on integrability of delay differential equations. Quispel et al obtained a delay-differential equation which has a continuum limit to the first Painlevé equation [7]. This delay-differential equation was derived by a similarity reduction of the Lotka-Volterra (LV) equation, which is an integrable differential-difference equation. Levi and Winternitz also obtained delay-differential equations as reductions based on the symmetry group of the two-dimensional Toda lattice (2DTL) [8]. In addition, Grammaticos et al [9, 10] introduced delay-differential Painlevé equations by the method blending the Painlevé analysis with the singularity confinement. After their monumental works, several important studies have revealed mathematical properties of integrable (ordinary) delay-differential equations [11, 12, 13, 14, 15, 16, 17].
On the other hand, there are few examples of integrable partial delay-differential equations (the word “partial” means including multi independent variables). Villarroel and Ablowitz found the Lax pair for a delay-differential analogue of the 2DTL equation and established the inverse scattering formalism [18]. Recently, we constructed the -soliton solution of the delay-differential analogues of the 2DTL equation [19]. Although there have been such works, research on integrable partial delay-differential equations is not fully developed.
In this paper, we propose a systematic method for constructing integrable delay-difference and delay-differential analogues of soliton equations and their multi-soliton solutions. Our construction starts from the discrete KP equation (or discrete 2DTL equation) and uses reduction and delay-differential limit. As examples of our method, we present delay-difference and delay-differential analogues of the LV, Toda lattice (TL), and sine-Gordon (sG) equations and their exact -soliton solutions.
This paper is organized as follows. In the rest of this section, we show a systematic method to construct integrable delay-difference and delay-differential analogues of soliton equations. In sections 2, 3, and 4, we construct delay-difference and delay-differential analogues of the LV, TL, and sG equations and their -soliton solutions. Section 5 is devoted to conclusions.
1.1 A method to construct delay-analogues of soliton equations
In the rest of this section, we show how to construct integrable delay-difference and delay-differential analogues of soliton equations and their -soliton solutions. The first step of our method is to obtain a discrete equation by a reduction of the discrete KP equation [20, 21]
(1) |
or the discrete 2DTL equation [20, 22]
(2) |
where are real constants. Here we include a free parameter to the reduction condition such as (6). By applying the reduction, we obtain a discrete equation which depends on the free parameter , the discrete variable , and the time-lattice parameter which is defined by the parameters such as (7). Note that the dependency on is removed by the reduction, and the parameter appears as shifts of (such as ). This discrete equation can be considered as a delay-difference soliton equation.
Then, we apply the delay-differential limit
(3) |
to the delay-difference soliton equation, where is the continuous time variable and is the delay parameter. This limit yields a delay-differential equation which includes the delay parameter as shifts of such as (17). We can actually check that the limit of is . This delay-differential equation can be considered as a delay-differential soliton equation.
An important point of this process is that we can obtain explicit -soliton solutions of the delay-difference and delay-differential soliton equations. It is carried out by reduction and delay-differential limit to the -soliton solution of the discrete KP or discrete 2DTL equations. In addition, we can obtain a known soliton equation and its -soliton solution as if we properly determine the reduction at the first step of our method. Here the soliton equation which is obtained as depends on the reduction. Therefore, considering various reductions at the first step of our method, we can construct various delay-difference and delay-differential analogues of soliton equations.
2 An integrable delay Lotka-Volterra equation
In this section, we show the construction of the delay-difference and delay-differential analogue of the LV equation and their -soliton solutions. We show the detail of our method through this section.
First, we consider the discrete KP equation (1.1) and its -soliton solution in the Gram determinant form [23]:
(4) | |||
This Gram determinant form of the -soliton solution can be rewritten as
(5) | |||
Here is taken to be summed over all possible combinations in the set . Now, we apply the following reduction condition to the discrete KP equation (1.1):
(6) |
where the free parameter is a fixed real value considered as the delay. Setting and , we obtain the following discrete bilinear equation by the reduction of the discrete KP equation (1.1):
(7) |
where . More precisely, applying the reduction condition (6) to equation (1.1), we have made the index of become . Then we can omit the variable since the iterations of vanish. We can rewrite the bilinear equation (7) as follows by using Hirota’s D-operators:
(8) |
Here Hirota’s D-operators are defined by
(9) |
Next we consider the reduction of the -soliton solution. By applying the constraint
(10) |
to the -soliton solution (4) and (5), we obtain
(11) | |||||
thus the reduction condition (6) is satisfied. Setting , , , and replacing and by and respectively, we obtain the -soliton solution of the bilinear equation (7) by the reduction to (4) and (5):
(12) | |||
The delay parameter appears in the bilinear equation (7) as shifts of the discrete time variable . We remark that the bilinear equation (7) and the -soliton solution (12) in the case of (thus ) are known as the bilinear equation of the discrete LV equation and its -soliton solution [24, 25]. Thus equation (7) can be seen as the bilinear equation of the delay-difference analogue of the LV equation.
By the dependent variable transformation
(13) |
the bilinear equation (7) is transformed into the nonlinear delay-difference equation
(14) |
which is the delay-difference analogue of the LV equation. If , equation (14) is just a division of the discrete LV equation [24]:
(15) |
Now, we apply the delay-differential limit
(16) |
where is a constant value called the delay parameter. The delay-differential limits of (7) and (12) are calculated respectively as follows:
(17) |
(18) | |||
Here the bilinear equation (17) can be rewritten as
(19) |
The bilinear equation (17) is a delay differential-difference equation which includes the delay as shifts of the continuous time variable . Putting (thus ), we can easily check that equation (17) becomes the bilinear equation of the LV equation and (18) becomes the -soliton solution of the LV equation [26]. Thus we claim that equation (17) is the bilinear equation of the integrable delay LV equation and the bilinear equation (7) is the fully discrete analogue of (17).
Remark 2.1.
The last relation of (18), which is the dispersion relation, is rewritten as
(20) |
According to the graph of , it is easily seen that there exist and satisfying and .
Remark 2.2.
We remark that soliton solutions of (17) are also obtained by Hirota’s direct method [27], which does not require any reduction. We show a few examples of deriving soliton solutions without using the soliton solutions of the discrete KP equation. Let be 1-soliton or 2-soliton with the perturbation parameter :
(21) | |||
(22) |
Substituting them into the bilinear equations (19) and assuming that each of the orders of vanishes, we have the following conditions.
(23) |
where the function is defined by
(24) |
By computations, we can check that the solutions (21) and (22) are equivalent to the case of in the -soliton solution (18). As we can see from this example, we can use Hirota’s direct method even if the bilinear equation includes some delays.
Let us move the discussion to the nonlinear form of the delay LV equation. Via the dependent variable transformation
(25) |
the bilinear equation (17) is transformed into the nonlinear delay-differential equation
(26) |
which is the nonlinear form of (17). If , equation (26) is just a subtraction of the following nonlinear forms of the LV equation [26]:
(27) |
Next, we derive the bilinear form of the delay LV equation (17) and the -soliton solution (18) directly from the semi-discrete KP equation [28]
(28) |
We remark that the bilinear equation (28) and its solutions are derived by the continuum limit , of the discrete KP equation (1.1) and its solutions.
The -soliton solution of the semi-discrete KP equation is given by choosing the elements in the Wronskian solution as
(34) | |||
Now, we can obtain the bilinear equation (17) by applying the reduction condition
(35) |
and setting , to the semi-discrete KP equation (28). Here, the relation is defined by
(36) |
To realize this reduction condition () for the -soliton solutions, we can apply the constraint
(37) |
to (34). Replacing and by and respectively and setting , , we obtain the -soliton solution of the delay LV equation in the Wronskian form
(42) | |||
3 An integrable delay Toda lattice equation
In this section, we construct a delay differential-difference equation that should be called an integrable delay TL equation by using our method.
We first apply the reduction condition
(50) |
to the discrete KP equation (1.1) and its -soliton solution (4). The independent variables and are considered to be the discrete space variable and discrete time variable respectively, and the parameter is a delay parameter. Replacing and by and respectively and setting , , we have
(51) |
(52) | |||||
The bilinear equation (51) is rewritten as
(53) |
We can consider that equation (51) is the bilinear equation of the delay-difference analogue of the TL equation. We call this the delay discrete TL equation.
By the dependent variable transformation
(54) |
we can transform (51) into the nonlinear delay-difference equation
(55) |
which is the delay discrete TL equation.
Now, we apply the delay-differential limit
(56) |
to (51) and (52), where is the continuous time variable and is the delay parameter. Then we obtain
(57) |
and
(58) | |||||
Here the bilinear equation (57) is equivalent to
(59) |
Calculating the limit of this equation as , we obtain the bilinear TL equation [30]
(60) |
The last relation of (58) is described by , thus we have as . Therefore, we can check that the limit of (58) as is the -soliton solution of the TL equation [27, 31, 30]. Thus we claim that equation (57) is the bilinear equation of the delay TL equation.
Remark 3.1.
If we use the relation instead of the above one , we obtain the bilinear equation
instead of the delay discrete TL equation (51). This equation can be considered more natural than (51), because we can obtain the discrete TL equation from it by putting [30]. However it does not yield a good delay-differential equation, because the order vanishes in the delay-differential limit. On the other hand, the bilinear equation (51) yields the good delay-differential equation (57), which should be called a delay TL equation.
We present the nonlinear form of the bilinear equation of the delay TL equation (57) under the dependent variable transformation
(61) |
By using this transformation, we can transform (57) into the delay-differential equation
(62) |
which is the nonlinear form of (57). The limit of (3) as is the nonlinear form of the TL equation [27, 31, 30]:
(63) |
We can also obtain the above result from the BT of the 2DTL equation (43):
(64) |
Applying the reduction condition
(65) |
and setting , we obtain the bilinear equation (57) and its -soliton solution
(70) | |||
which leads to (58) by replacing and by and . This construction of the delay TL equation does not require the delay-differential limit.
4 An integrable delay sine-Gordon equation
In this section, we find an integrable delay sG equation by the process similarly to the previous sections. It is a delay partial differential equation which can be obtained simply.
We consider the bilinear equation of the discrete 2DTL equation [20, 22]
(71) |
where is the discrete space variable, and are the discrete time variables. The -soliton solution of (71) is given as follows [22]:
(72) | |||
Applying the reduction condition
(73) |
and setting
(74) |
to (71) and (72) respectively, we obtain
(75) | |||
(76) |
and
(77) | |||
To construct a delay-difference analogue of the sG equation, we take to be the complex conjugate of . Considering the regularity conditions , the -soliton solution is given as
(78) | |||
where is a real constant.
Setting and , we can rewrite the bilinear equations (75) and (76) with
(79) | |||
(80) |
When , we can find that the bilinear equations (75), (76) (and also (79), (80)) and the -soliton solution (78) are actually equivalent to the bilinear equations of the discrete sG equation and their -soliton solution [32].
To construct a nonlinear form of the delay-difference analogue of the sG equation, we consider the dependent variable transformation
(81) |
which is equivalent to
(82) |
By using this transformation, we can transform the bilinear equations (75) and (76) into the nonlinear delay-difference equation
(83) | |||
(84) |
which is the delay-difference analogue of the sG equation. Equation (83) in the case of is the discrete sG equation [32]
(85) |
Now, let us apply the delay-differential limit
(86) |
to the bilinear equations (75), (76) and the -soliton solution (78). Here are the continuous variables, and are the delay parameters. Consequently we obtain the bilinear equations
(87) | |||
(88) |
and the -soliton solution
(89) | |||
Setting and , we can rewrite (87) and (88) with
(90) | |||
(91) |
In the case of , the bilinear equations (87), (88) (and also (90), (91)) and the -soliton solution (89) lead to the sG equation and their -soliton solution [32, 33, 34].
To construct a nonlinear form of the delay-differential analogue of the sG equation, we consider the dependent variable transformation
(92) |
which is equivalent to
(93) |
By using this transformation, we can transform the bilinear equations (87) and (88) into the nonlinear delay-differential equation
(94) | |||
(95) |
which is the delay-differential analogue of the sG equation. In the case of , the above nonlinear equation leads to the sG equation [32, 33]:
(96) |
We can obtain the above delay-differential analogue of the sG equation by a reduction of the 2DTL equation . The bilinear equation of the 2DTL equation
(97) |
has the following -soliton solution [27, 22]:
(98) | |||
where are constants. We apply the reduction condition
(99) |
and set
(100) | |||
(101) |
Then we obtain the bilinear equations
(102) | |||
(103) |
For the -soliton solution, the constraint
(104) |
provides the reduction condition (99). The constraint (104) leads to
(105) |
To take to be the complex conjugate of , we can choose
(106) |
and , where is a real constant. Thus we obtain the delay-differential analogue of the sG equation and its -soliton solution from the 2DTL equation. This construction of the delay sG equation does not require the delay-differential limit.
5 Conclusions
We have presented the systematic method to construct delay-difference and delay-differential analogues of soliton equations and their -soliton solutions.
Our construction starts from the discrete KP equation (or discrete 2DTL equation) and uses reduction and delay-differential limit. As examples, we have obtained the delay-difference and delay-differential analogues of the LV, TL, and sG equations and their -soliton solutions. We have also presented another construction of delay-differential analogues of soliton equations starting from the semi-discrete KP, BT of 2DTL, and 2DTL equations without applying a delay-differential limit. In the construction of them, the important thing is to integrate discrete variables with continuous variables by reduction.
In this paper, we have not discussed Lax pairs and conserved quantities of the delay soliton equations and the relationship to the delay-differential Painlevé equations. These problems remain to be revealed in future studies.
This work was partially supported by JSPS KAKENHI Grant Numbers 18K03435, 17H02856, 22K03441 and JST/CREST.
References
References
- [1] Erneux T 2009 Applied Delay differential equations (New York: Springer)
- [2] Rihan F A 2021 Delay differential equations and Applications to Biology (Singapore: Springer)
- [3] Nakanishi K, Itoh A, Igarashi Y and Bando M 1997 Solvable optimal velocity models and asymptotic trajectory Phys. Rev. E 55 6519
- [4] Hasebe K, Nakayama A and Sugiyama Y 1999 Exact solutions of differential equations with delay for dissipative systems Phys. Lett. A 259 135–139
- [5] Tutiya Y and Kanai M 2007 Exact Shock Solution of a Coupled System of Delay Differential Equations: A Car-Following Model J. Phys. Soc. Jpn. 76 083002
- [6] Matsuya K and Kanai M 2015 Exact solution of a delay difference equation modeling traffic flow and their ultra-discrete limit (arXiv:1509.0786)
- [7] Quispel G R W, Capel H W and Sahadevan R 1992 Continuous symmetries of differential-difference equations: the Kac-van Moerbeke equation and Painlevé reduction Phys. Lett. A 170 379–383
- [8] Levi D and Winternitz P 1993 Symmetries and conditional symmetries of differential‐difference equations J. Math. Phys. 34 3713–3730
- [9] Grammaticos B, Ramani A and Moreira I C 1993 Delay-differential equations and the Painlevé transcendents Physica A 196 574–590
- [10] Ramani A, Grammaticos B and Tamizhmani K M 1993 Painlevé analysis and singularity confinement: the ultimate conjecture J. Phys. A: Math. Gen. 26 L53–L58
- [11] Joshi N 2008 Direct ‘delay’ reductions of the Toda equation J. Phys. A: Math. Theor. 42 022001
- [12] Joshi N and Spicer P E 2009 Direct “delay” reductions of the Toda hierarchy J. Phys. Soc. Jpn. 78 0940061
- [13] Carstea A S 2011 Bilinear approach to delay-Painlevé equations J. Phys. A: Math. Theor. 44 105202
- [14] Viallet C M 2014 Algebraic entropy for differential-delay equations (arXiv:1408.6161)
- [15] Halburd R and Korhonen R 2017 Growth of meromorphic solutions of delay differential equations Proc. Amer. Math. Soc. 145 2513–2526
- [16] Berntson B K 2018 Special solutions of bi-Riccati delay-differential equations SIGMA 14 020
- [17] Stokes A 2020 Singularity confinement in delay-differential Painlevé equations J. Phys. A: Math. Theor. 53 435201
- [18] Villarroel J and Ablowitz M J 1993 On the method of solution of the differential-delay Toda equation Phys. Lett. A 180 413–418
- [19] Tsunematsu A, Nakata K, Tanaka Y and Maruno K 2021 Delay reductions of the two-dimensional Toda lattice equation (arXiv:2201.09473)
- [20] Hirota R 1981 Discrete analogue of a generalized Toda equation J. Phys. Soc. Jpn. 50 3785–3791
- [21] Miwa T 1982 On Hirota’s difference equations Proc. Japan Acad. A 58 9–12
- [22] Hirota R, Ito M and Kako F 1988 Two-dimensional Toda lattice equation Prog. Theor. Phys. Suppl. 94 42–58
- [23] Ohta Y, Hirota R, Tsujimoto S and Imai T 1993 Casorati and discrete Gram Type determinant representations of solutions to the discrete KP hierarchy J. Phys. Soc. Jpn. 62 1872–1886
- [24] Hirota R and Tsujimoto S 1995 Conserved quantities of a class of nonlinear difference-difference equations J. Phys. Soc. Jpn. 64 3125–3127
- [25] Maruno K, Kajiwara K, Nakao S and Oikawa M 1997 Bilinearization of discrete soliton equations and singularity confinement Phys. Lett. A 229 173–182
- [26] Hirota R and Satsuma J 1976 -soliton solutions of nonlinear network equations describing a Volterra system J. Phys. Soc. Jpn. 40 891–900
- [27] Hirota R 2004 The Direct Method in Soliton Theory (Cambridge: Cambridge University Press)
- [28] Li C-X, Lafortune S and Shen S-F 2016 A semi-discrete Kadomtsev-Petviashvili equation and its coupled integrable system J. Math. Phys. 57 053503
- [29] Ohta Y, Kajiwara K, Matsukidaira J and Satsuma J 1993 Casorati determinant solution for the relativistic Toda lattice equation J. Math. Phys. 34 5190–5204
- [30] Hirota R 1977 Nonlinear partial difference equations II. Discrete-time Toda equation J. Phys. Soc. Jpn. 43 2074–2078
- [31] Hirota R and Satsuma J 1976 A Variety of Nonlinear Network Equations Generated from the Bäcklund Transformation for the Toda Lattice Prog. Theor. Phys. Suppl. 59 64–100
- [32] Hirota R 1977 Nonlinear partial difference equations III; Discrete sine-Gordon equation J. Phys. Soc. Jpn. 43 2079–2086
- [33] Hirota R 1972 Exact solution of the Sine-Gordon equation for multiple collisions of solitons J. Phys. Soc. Jpn. 33 1459–1463
- [34] Ablowitz M J and Segur H 1981 Solitons and the inverse scattering transform (Philadelphia, PA: SIAM)