Table of Contents Author Guidelines Submit a Manuscript
International Journal of Mathematics and Mathematical Sciences
Volume 2011, Article ID 497828, 7 pages
http://dx.doi.org/10.1155/2011/497828
Research Article

Integrability of the Bakirov System: A Zero-Curvature Representation

Institute of Physics, National Academy of Sciences, 220072 Minsk, Belarus

Received 20 December 2010; Accepted 2 March 2011

Academic Editor: Pei Yuan Wu

Copyright © 2011 Sergei Sakovich. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

For the Bakirov system, which is known to possess only one higher-order local generalized symmetry, we explicitly find a zero-curvature representation containing an essential parameter.

1. Introduction

Bakirov [1] discovered that the following evidently integrable triangular system of a linear PDE with a source determined by another linear PDE, possesses only one higher-order -independent local generalized symmetry of order not exceeding 53, namely, a sixth-order one. Beukers et al. [2] extended the result of Bakirov to -independent local generalized symmetries of unlimited order. Bilge [3] found a formal recursion operator for the Bakirov system (1.1) and showed that the structure of the operator’s nonlocal terms prevents the generation of local higher symmetries from the known sixth-order symmetry. Sergyeyev [4] showed that the existence of such a formal recursion operator is essentially a consequence of the triangular form of the Bakirov system. Finally, Sergyeyev [5] proved that the Bakirov system possesses only one higher-order local generalized symmetry, namely, the sixth-order one found by Bakirov, even if -dependent symmetries are taken into account. Due to these results, the Bakirov system looks quite different from other known integrable systems which possess infinite algebras of higher symmetries.

In the present paper, we explicitly find a linear spectral problem associated with the Bakirov system (1.1), in the form of a zero-curvature representation containing an essential parameter. Section 2 gives necessary preliminaries. In Section 3, we find for the system (1.1) a 4 × 4 zero-curvature representation containing a parameter, and we prove in Section 4 that this parameter cannot be removed by gauge transformations. Section 5 gives concluding remarks. We believe that the obtained Lax pair of the Bakirov system will be useful for future studies on the relation between Lax pairs and higher symmetries of integrable PDEs.

2. Preliminaries

A zero-curvature representation (ZCR) of a system of PDEs (see, e.g., [6] and references therein) is the compatibility condition of the overdetermined linear problem where and stand for the total derivatives, and are matrix functions of independent and dependent variables and finite-order derivatives of dependent variables, the square brackets denote the matrix commutator, is a column of functions of independent variables, and the ZCR (2.1) is satisfied by any solution of the represented system of PDEs. Two ZCRs are equivalent if they are related by a gauge transformation of the linear problem (2.2), where is a matrix function of independent and dependent variables and finite-order derivatives of dependent variables.

3. Zero-Curvature Representation

Our aim is to find a ZCR (2.1) of the Bakirov system (1.1). Assuming for simplicity that and and using (1.1), we rewrite (2.1) in the equivalent form Since (3.1) cannot be a system of ODEs restricting solutions of (1.1), it must be an identity with respect to and , and therefore , , and all derivatives of and should be treated as formally independent quantities in (3.1). This allows us to solve (3.1) and obtain the following expressions for the matrices and : where , , , and are any constant matrices satisfying the following commutator relations:

We have to find a solution of (3.3) which should be nontrivial in the following sense: contains both and , that is, (2.1) gives expressions for both equations of (1.1); , because commutative ZCRs are simply matrices of conservation laws (for this reason, and without loss of generality, the matrices , , , and are set to be traceless); contains a parameter (essential or spectral) which cannot be removed (gauged out) by gauge transformations (2.3). We solve (3.3), using the Mathematica computer algebra system [7], successively taking in all possible Jordan forms, suppressing the excessive arbitrariness of solutions by transformations (2.3) with constant and increasing the matrix dimension if necessary. The cases of 2 × 2 and 3 × 3 matrices contain no nontrivial solutions of (3.3), while the 4 × 4 case gives us the following: with where is an arbitrary parameter and is any of the four roots of the algebraic equation

Consequently, a nontrivial ZCR (2.1) of the Bakirov system (1.1) is determined by the following 4 × 4 matrices and : with Let us remember that, in (3.11) and (3.13), is any of the four roots (3.9) of (3.10) and is an arbitrary parameter.

4. Essential Parameter

Now, we have to prove that is an essential parameter, that is, that cannot be removed from the obtained ZCR by a gauge transformation (2.3). We do this, using the method of gauge-invariant description of ZCRs of evolution equations [6, 8] (see also the independent work [9], based on the very general and abstract study of ZCRs [10]). Since the matrix (3.11) does not contain derivatives of and , the two characteristic matrices of the obtained ZCR are simply and . We take one of them, (3.4), introduce the operator , defined as for any 4 × 4 matrix function , compute , and find that In the terminology of [6, 8], relation (4.1) is one of the two closure equations of the cyclic basis. The scalar coefficient in (4.1) is an invariant with respect to the gauge transformations (2.3), because the matrices and are transformed as and (see [8, 9]). The explicit dependence of the invariant on the parameter shows that this parameter cannot be “gauged out” from the matrix (3.11).

5. Conclusion

We believe that the ZCR of the Bakirov system, found in this paper, can be used in future studies of the relation between Lax pairs, recursion operators, generalized symmetries, and conservation laws. The following problems arise from the obtained result. Is it possible to derive a recursion operator for the Bakirov system from the obtained ZCR, for example, through the cyclic basis technique [6]? If yes, is that recursion operator different from the formal recursion operator found in [3]? And why does not the obtained ZCR generate an infinite sequence of nontrivial local conservation laws for the Bakirov system, for example, through the standard techniques described in [11]?

Acknowledgment

The author is grateful to Artur Sergyeyev for useful information about symmetries of the Ibragimov-Shabat and Bakirov systems and to the anonymous reviewer for valuable suggestions.

References

  1. I. M. Bakirov, “On the symmetries of some system of evolution equations,” Tech. Rep., Institute of Mathematics, Ufa, Russia, 1991. View at Google Scholar
  2. F. Beukers, J. A. Sanders, and J. P. Wang, “One symmetry does not imply integrability,” Journal of Differential Equations, vol. 146, no. 1, pp. 251–260, 1998. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  3. A. H. Bilge, “A system with a recursion operator, but one higher local symmetry,” Lie Groups and their Applications, vol. 1, no. 2, pp. 132–139, 1994. View at Google Scholar · View at Zentralblatt MATH
  4. A. Sergyeyev, “On a class of inhomogeneous extensions for integrable evolution systems,” in Differential Geometry and Its Applications, vol. 3, pp. 243–252, Silesian University, Opava, Czech Republic, 2001. View at Google Scholar · View at Zentralblatt MATH
  5. A. Sergyeyev, “Symmetries and integrability: Bakirov system revisited,” Journal of Physics A, vol. 34, no. 23, pp. 4983–4990, 2001. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  6. S. Y. Sakovich, “Cyclic bases of zero-curvature representations: five illustrations to one concept,” Acta Applicandae Mathematicae, vol. 83, no. 1-2, pp. 69–83, 2004. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  7. S. Wolfram, The Mathematica Book, Wolfram Media, Champaign, Ill, USA, 5th edition, 2003.
  8. S. Y. Sakovich, “On zero-curvature representations of evolution equations,” Journal of Physics A, vol. 28, no. 10, pp. 2861–2869, 1995. View at Publisher · View at Google Scholar · View at Zentralblatt MATH
  9. M. Marvan, “A direct procedure to compute zero-curvature representations. The case sl2,” in Proceedings of the International Conference on Secondary Calculus and Cohomological Physics, p. 9, Moscow, Russia, August 1997, http://www.emis.de/proceedings/SCCP97/.
  10. M. Marvan, “On zero-curvature representations of partial differential equations,” in Differential Geometry and Its Applications, vol. 1, pp. 103–122, Silesian University, Opava, Czech Republic, 1993. View at Google Scholar · View at Zentralblatt MATH
  11. M. A. Semenov-Tian-Shansky, “Integrable systems and factorization problems,” in Factorization and Integrable Systems, vol. 141 of Operator Theory: Advances and Applications, pp. 155–218, Birkhäuser, Basel, Switzerland, 2003. View at Google Scholar · View at Zentralblatt MATH