- Research
- Open access
- Published:

# Symmetries, conservation laws, and ‘integrability’ of difference equations

*Advances in Difference Equations*
**volume 2014**, Article number: 224 (2014)

## Abstract

A number of nontrivial conservation laws of some difference equations, *viz.*, the discrete Liouville equation and the discrete sine-Gordon equation, are constructed using first principles. Symmetries and the more recent ideas and notions of characteristics (multipliers) for difference equations are also discussed.

## 1 Introduction

The role of symmetries of difference equations is now well established and the applications of the symmetries in the analysis (especially reduction) of the equations are also well documented (see [1–4]). However, the role and construction of conservation laws for partial difference equations (PDEs), to the best of our knowledge, is somewhat new but the preliminary concepts and definitions are available even in the context of variational equations (see [5–7]). These conservation laws, as in the case of differential equations, have a variety of applications especially as another tool in the reduction of the equation under scrutiny.

The aim of this work is to obtain the conservation laws of PDEs which are of interest, *viz.*, the discrete Liouville equation and the discrete sine-Gordon equation. These equations were studied in [8] and [9, 10], *inter alia*. The method for the construction of the conservation laws employed here follows that introduced in [5]. The variational approach, not followed here, uses the equivalent of Noether symmetries and can be found in [7].

We regard the domain of a given partial differential equation (PDE) as a fiber bundle M=X\times U, where *X* is the base space of independent variables and *U* is the vertical space, *i.e.*, the fiber of dependent variables **u** over each \mathbf{x}\in X. The direct method for constructing conservation laws of PDEs requires the domain *M* to be topologically trivial, which occurs if each fiber *U* and the base space *X* are star-shaped (see Poincaré’s lemma).

Symmetries and conservation laws are useful tools for finding exact solutions to differential equations. The association of symmetries, conservation laws and integrability was established for differential equations [11]. It has been shown that when the symmetry generator and the first integral (conservation laws) are associated via the invariance condition, one may proceed to double reduction of the equation. Consequently, these properties should be retained when discrete analogs of such equations are constructed. Several methods for obtaining a discretization of a differential equation have been studied (see [12–15]).

As far as PDEs are concerned, we can write the domain as M=X\times U, but now *X* is the set of integer-valued multi-indices **n** that label each lattice point (we assume that the lattice points are labeled sequentially, without jumps; this does not require the lattice to be uniform).

## 2 Conservation laws of the discrete Liouville equation and the discrete sine-Gordon equation

Let us consider the difference equation

where *k* and *l* are integers, {u}_{k}^{l} is a function that depends on the independent variables *k* and *l*, *ω* is a function of the dependent and independent variables. Finding the conservation laws requires the knowledge of the shift operators. They are defined as follows:

A conservation law for the PDE is an expression of the form

that is satisfied by all solutions of the equation [5]. Note that *F* and *G* are functions of the dependent and independent variables, id is the identity mapping. We are looking for conservation laws that lie on the quad-graph and we are interested in finding nontrivial conservation laws. We then assume that the functions *F* and *G* are of the form

The conservation laws (3) amount to

In order to find *F* and *G*, we consider the theory provided by Hydon in [5]. In his paper, Hydon applied the method to scalar partial difference equations that are second order in one variable but in this paper we are dealing with first order difference equations in two variables.

### 2.1 The discrete Liouville equation

Consider the discrete Liouville equation

It is an equation which is not integrable through the inverse scattering transform techniques (see [8]). The application of this method to (6) requires {z}_{k}^{l} to satisfy

We therefore assume that condition (7) holds for any *k* and *l*. Note that (3) can be written as follows:

where *ω* is the right-hand side of the discrete Liouville (6).

As we said earlier, we are not interested in nontrivial conversation laws. It is worthwhile to mention that if *F* and *G* are solutions to (8), then F+{F}_{1}(k,l) and G+{G}_{1}(k,l) are also solutions for any functions {F}_{1} and {G}_{1}. One can see from (8) that *F* and *G* take different arguments. To overcome this, we eliminate terms that depend on *ω*, by differentiating with respect to {u}_{k}^{l+1} and {u}_{k+1}^{l}, respectively, keeping omega fixed. The derivative of (8) with respect to {u}_{k+1}^{l} is given by

The differentiation of (8) with respect to {u}_{k}^{l+1} leads to

Differentiating (10) with respect to {u}_{k+1}^{l} we get

We multiply by {({u}_{k}^{l+1}{u}_{k+1}^{l}+{z}_{k}^{l})}^{2} to clear fractions. This gives

In order to get rid of *G* we differentiate two times with respect to {u}_{k}^{l+1}. This yields

and

respectively. The function *F* does not depend on {u}_{k}^{l+1}, therefore we can separate by powers of {u}_{k}^{l+1} to get

From (15) we get

where {f}_{1}, {f}_{2}, {f}_{3} and {f}_{4} are arbitrary functions. On the other hand, we differentiate (11) with respect to {u}_{k+1}^{l} to get an equation involving *G* only. The first derivative with respect to {u}_{k+1}^{l} gives

and the second derivative gives

Similarly, the function *G* does not depend on {u}_{k+1}^{l}. This allows us to equate the coefficients of powers of {u}_{l}^{k+1} to zero. We get

The general solution of (20) and (21) is given by

where {g}_{1}, {g}_{2}, {g}_{3}, and {g}_{4} are arbitrary functions. Substituting the expressions of *F* and *G*, given by (17) and (22), into (14) and (19) gives

and

respectively. Therefore, we have

Substituting the above results into (18), and separating by powers of {u}_{k+1}^{l} and {u}_{k}^{l+1}, we obtain

and therefore

On the other hand, substituting (23) and (24) into (13), and separating by powers of {u}_{k}^{l+1}, {u}_{k+1}^{l}, we get (after solving the resulting system)

Results (23), (24), (25), and (26) lead to

and

where {c}_{i}, 1\le i\le 10, depend on *k* and *l*. The substitution of (27) and (28) in (11) did not provide any new information on the unknown functions. We then continue our computations by substituting (27) and (28) into (9), and separating the resulting equation by powers of {u}_{k}^{l+1}. This yields

where ′ denotes the derivative with respect to the dependent variable. Again we can split (29) and (30) by powers of {u}_{k}^{l} since {f}_{3}, {g}_{4}, and {c}_{i}, 1\le i\le 10, do not depend on {u}_{k}^{l}. We redo the same thing with (10) to get

After rearranging, simplifying, and solving the resulting (29), (30), (31), and (32), we get some new information on the unknown functions:

The last step consists of substituting all the information we got so far into (8). This yields

where {K}_{1}, {K}_{3}, {K}_{5}, and {K}_{9} are constants. Summarizing these results, we have obtained the conservation laws

Therefore all independent conservations laws for the discrete Liouville equation are given by

where {K}_{2} is a function of *k* and *l*. Note that ({F}_{2},{G}_{2}) is a trivial one.

### 2.2 The discrete sine-Gordon equation

The discrete sine-Gordon equation is given by [9, 10]

Again, {z}_{i}^{j} must satisfy

Equation (38) represents a nonautonomous extension of the lattice sine-Gordon equation. In the continuous limit, this nonautonomous form goes over to {w}_{x,t}=f(x)g(t)sinw (this explicit *x* and *t* dependence can be absorbed through a redefinition of the independent variables leading to the standard, autonomous, sine-Gordon case, but no such gauge exists in the discrete case [8]).

In this section, we jump the first few steps since we have explained them in the first example. Let us take it from the condition of the conservation laws (8),

where *ω* is given by

We differentiate (40) with respect to {u}_{k}^{l+1} by applying the operator (\partial /\partial {u}_{k}^{l+1})-({\omega}_{{u}_{k}^{l+1}}/{\omega}_{{u}_{k}^{l}})(\partial /\partial {u}_{k}^{l}) to get

We repeat the same procedure but now we are planning to eliminate *F* to obtain an equation that involves *G* only. For the same reason as before, we equate coefficients of powers of {u}_{k}^{l+1}. The resulting system can be summarized as follows:

whose solution is given by

for some functions {g}_{1}, {g}_{2}, {g}_{3} and {g}_{4}. To know the dependency among the {g}_{i}’s, 1\le i\le 4, we have to substitute *F* and *G* into the previous equations. After a set of long calculations, we find that the conservation laws for the discrete sine-Gordon equation are given by

where {c}_{1} and {c}_{3} are such that

and

Here, ({F}_{2},{G}_{2}) is trivial.

## 3 On multipliers/characteristics

The relationship between the characteristics and conserved vectors of PDEs was well known for variational equations and was generalized relatively recently. In fact, the characteristics are the conserved vectors. The use of these in the construction of conservation laws has been discussed in detail in [16, 17] and [18] for the symmetry underlying relation that exists. Very recently, this idea has been initiated and discussed for PDEs in [19]. Below, we present the multipliers for the nontrivial cases of conservation laws that arise above.

### 3.1 The discrete Liouville equation

For the discrete Liouville equation,

we have shown that

Therefore, the multiplier is given by

Similarly,

and the multiplier is given by

### 3.2 The discrete sine-Gordon equation

Consider the sine-Gordon equation

We have

and

The multipliers are then given by

and

respectively.

## 4 Symmetries

Again, we assume that the PDE is of the form (1), *i.e.*,

Consider the transformation [1]

We know that a symmetry is a one-parameter group of transformations that maps solutions into solutions. If we assume that Γ is a symmetry for (61) then we have

whenever (61) holds. Lie symmetries are obtained by linearizing the symmetry condition about the identity, as follows. We seek one-parameter (local) Lie groups of symmetries of the form

The function *Q* is called the characteristic of the one-parameter group. We also have

Expanding (64)-(67) to first order in *ϵ* yields the linearized symmetry condition

where

### 4.1 The discrete Liouville equation

Consider the discrete Liouville equation [8]

This equation can be written in the form

where \omega =({u}_{k}^{l+1}{u}_{k+1}^{l}+{z}_{k}^{l})/{u}_{k}^{l}. We aim to find one-parameter Lie groups of symmetries by assuming that the characteristic is of the form

A linearized symmetry condition for (71) is given by

where *X* is the symmetry generator given by

The symmetry condition (73) becomes

We differentiate (74) with respect to {u}_{k}^{l} (keeping *ω* fixed), *i.e.*, we apply the differential operator {L}_{0}=(\partial /\partial {u}_{k}^{l})+(\partial {u}_{k+1}^{l}/\partial {u}_{k}^{l})(\partial /\partial {u}_{k+1}^{l}). This gives

*i.e.*,

We now differentiate (76) with respect to {u}_{k}^{l} to get

This simplifies to

Integrating (78) with respect to {u}_{k}^{l}, and rearranging the resulting equation leads to

The general solution to (79) is given by

where {c}_{1} and {c}_{2} are functions of *k* and *l*. We then substitute (80) in (74) to get the following constraint:

The function {c}_{2} does not depend on {u}_{k}^{l+1} and {u}_{k+1}^{l}; therefore we can say that

It can easily be verified that the functions that satisfy (82) are given by

Therefore, the symmetries of the Liouville equation (6) are as follows:

### 4.2 The discrete sine-Gordon equation

The discrete sine-Gordon equation is given by [8]

Imposing the symmetry condition (68) on the discrete sine-Gordon equation, we obtain

The function in above equation is associated with different arguments. To overcome this, we differentiate the above equation with to {u}_{k}^{l}. This yields

We can solve for *Q* after a series of steps. Firstly, we multiply (88) by {({u}_{k}^{l})}^{2}. Secondly, we differentiate the resulting equation with respect to {u}_{k}^{l}. Finally, we simplify to get the equation

The general solution of (89) is given by

where *B* and *C* are functions of *k* and *l*. The substitution of (90) in (89) and (87) puts more constraints on the unknown functions *B* and *C*. After a set of long calculations we get

Therefore, the symmetries are given by

## 5 Concluding remarks

In this paper, we have obtained conservation laws, multipliers, and symmetries of the discrete Liouville equation and the discrete sine-Gordon equation. It should be noted that when we were finding the conservation laws, the differentiations have created a hierarchy of functional difference equations that *F* and *G* satisfied. The unknown functions were naturally found by going up the hierarchy but surprisingly we were also able to find another constraint on *z*. In fact the shift operator, {S}_{l}, acts on (50) to produce the following equation:

By replacing in (94) the function {c}_{3}(k+1,l) with its expression given by (52), we obtained the constraint (7), *i.e.*, {z}_{k+1}^{l+1}{z}_{k}^{l}-{z}_{k}^{l+1}{z}_{k+1}^{l}=0. The constraint (7) turns out to be a sufficient condition for the discrete Liouville equation and the discrete sine-Gordon equation to have nontrivial conservation laws (note that the substitution of (35), (36), and (37) into (8) leads to the same constraint (7)). This condition was obtained in [20] using the singularity confinement condition. It is also precisely the one obtained in [8] using the techniques of the study of the degree of the iterate.

We note that the association of symmetries, conservation laws, and integrability for difference equations is as important and conclusive as was established for differential equations even in the non-variational case.

## References

Hydon P: Symmetries and first integrals of ordinary difference equations.

*Proc. R. Soc. Lond. A*2000, 456: 2835-2855. 10.1098/rspa.2000.0643Levi D, Vinet L, Winternitz P: Lie group formalism for difference equations.

*J. Phys. A, Math. Gen.*1997, 30: 633-649. 10.1088/0305-4470/30/2/024Levi D, Winternitz P: Symmetries of discrete dynamical systems.

*J. Math. Phys.*1996, 37: 5551-5576. 10.1063/1.531722Quispel GRW, Sahadevan R: Lie symmetries and integration of difference equations.

*Phys. Lett. A*1993, 184: 64-70. 10.1016/0375-9601(93)90347-3Hydon PE: Conservation laws of partial difference equations with two independent variables.

*J. Phys. A, Math. Gen.*2001, 34: 10347-10355. 10.1088/0305-4470/34/48/301Rasin OG, Hydon PE: Conservation laws of discrete Korteweg-de Vries equation.

*SIGMA*2005, 1: 1-6.Hydon P, Mansfield E: A variational complex for difference equations.

*Found. Comput. Math.*2004, 4: 187-217. 10.1007/s10208-002-0071-9Tremblay S, Grammaticos B, Ramani A: Integrable lattice equations and their growth properties.

*Phys. Lett. A*2001, 278: 319-324. 10.1016/S0375-9601(00)00806-9Hirota R: Nonlinear partial difference equations. III. Discrete sine-Gordon equation.

*J. Phys. Soc. Jpn.*1977, 43: 2079-2086. 10.1143/JPSJ.43.2079Bobenko A, Bordemann M, Gunn C, Pinkall U: On two integrable cellular automata.

*Commun. Math. Phys.*1993, 158: 127-134. 10.1007/BF02097234Kara AH, Mahomed FM: Relationship between symmetries and conservation laws.

*Int. J. Theor. Phys.*2000, 39(1):23-40. 10.1023/A:1003686831523Agarwal RP, El-Sayed AMA, Salman SM: Fractional-order Chuas system: discretization, bifurcation and chaos.

*Adv. Differ. Equ.*2013., 2013: Article ID 320Wu GC, Baleanu D: Discrete fractional logistic map and its chaos.

*Nonlinear Dyn.*2014, 75: 283-287. 10.1007/s11071-013-1065-7Wu GC, Baleanu D: Discrete chaos in fractional delayed logistic maps.

*Nonlinear Dyn.*2014. 10.1007/s11071-014-1250-3Wu GC, Baleanu D: Chaos synchronization of the discrete fractional logistic map.

*Signal Process.*2014, 102: 96-99.Anco SC, Bluman G: Direct construction method for conservation laws of partial differential equations. I. Examples of conservation law classifications.

*Eur. J. Appl. Math.*2002, 13: 545-566.Anco SC, Bluman G: Direct construction method for conservation laws of partial differential equations. II. General treatment.

*Eur. J. Appl. Math.*2002, 13: 567-585.Kara AH: A symmetry invariance analysis of the multipliers & conservation laws of the Jaulent-Miodek and some families of systems of KdV type equations.

*J. Nonlinear Math. Phys.*2009, 16: 149-156. suppl. 10.1142/S1402925109000376Grant TJ, Hydon PE: Characteristics of conservation laws for difference equations.

*Found. Comput. Math.*2013, 13: 667-692. 10.1007/s10208-013-9151-2Papageorgiou V, Grammaticos B, Ramani A: Integrable lattices and convergence acceleration algorithms.

*Phys. Lett. A*1993, 179: 111-115. 10.1016/0375-9601(93)90658-M

## Acknowledgements

MKF-G and AHK would like to thank the referees of this manuscript for their valuable comments and suggestions.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interests.

### Authors’ contributions

All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (https://creativecommons.org/licenses/by/4.0), which permits use, duplication, 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 license, and indicate if changes were made.

## About this article

### Cite this article

Folly-Gbetoula, M.K., Kara, A.H. Symmetries, conservation laws, and ‘integrability’ of difference equations.
*Adv Differ Equ* **2014**, 224 (2014). https://doi.org/10.1186/1687-1847-2014-224

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2014-224