View source for Darboux transformation

A simultaneous mapping between solutions and coefficients of a pair of equations (or systems of equations) of the same form. It may be formulated as a covariance principle for the corresponding operators, i.e. the order and form of the operators are saved after the transformation. The important features specifying it are: the Darboux transformation is functionally parametrized by a pair of solutions of the equation and the transform vanishes if the solutions coincide.

The classical form of the Darboux transformation appears in the paper of Th.-F. Moutard (1875) as a specification of the [[Moutard transformation|Moutard transformation]] [[#References|[a1]]], [[#References|[a2]]], which is connected, in turn, with the [[Laplace transformation (in geometry)|Laplace transformation (in geometry)]].

It may be noticed that the net of points generated by transforms of (Laplace) invariants has two possible symmetry reductions: The first one corresponds to the Moutard case and the second is the case discovered by E. Goursat [[#References|[a3]]], [[#References|[a19]]], [[#References|[a20]]]. Darboux's classical theorem [[#References|[a1]]], [[#References|[a2]]] was formulated for the equation defined by a second-order differential operator and a parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200601.png" />.

If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200602.png" /> are solutions of the equation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200603.png" /></td> </tr></table>

then

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200604.png" /></td> </tr></table>

is the solution of the equation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200605.png" /></td> </tr></table>

where

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200606.png" /></td> </tr></table>

Namely, the form of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200607.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200608.png" /> as a function of the solutions defines the Darboux transformation. Presently (1998), the most general form of Darboux's theorem is given by V.B. Matveev [[#References|[a4]]] for associative rings. The formulation of this theorem contains the natural generalization of the Darboux transformation in the spirit of the classical approach of G. Darboux. Start from the class of functional-differential equations for some function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d1200609.png" /> and coefficients <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006010.png" /> from a ring

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006011.png" /></td> </tr></table>

where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006012.png" /> is an automorphism. Then the equation is covariant with respect to the Darboux transformation

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006013.png" /></td> </tr></table>

and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006014.png" />. It is possible to reformulate the result for differential-difference or difference-difference equations and give explicit expressions for the transformed coefficients [[#References|[a4]]]. This result implies the  "older"  formulation [[#References|[a2]]] for matrix-valued functions and involving

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006015.png" /></td> </tr></table>

or

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006016.png" /></td> </tr></table>

It suffices to use the limits

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006017.png" /></td> </tr></table>

Being covariant, the Darboux transformation may be iterated. The iterated Darboux transformation is expressed in determinants of [[Wronskian|Wronskian]] type (M.M. Crum, 1955). The universal way to generate the transform for different versions of the Darboux transformation, including those involving integral operators, is described in [[#References|[a2]]]; the non-Abelian case results in Casorati determinants [[#References|[a4]]].

The statement of the classical Darboux theorem is strictly connected with the problem of factorizing a differential operator [[#References|[a5]]] and hence with the technique of symbolic manipulation. Namely, the operators in the classical Darboux theorem are factorized as follows. Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006018.png" />, and

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006019.png" /></td> </tr></table>

<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006020.png" /></td> </tr></table>

The operators <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006021.png" /> play an important role in quantum mechanics as the one-dimensional energy operators. The spectral parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006022.png" /> stands for the energy and the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006023.png" /> shows that the Darboux transformations <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006024.png" /> are ladder operators, or creation-annihilation operators (cf. also [[Creation operators|Creation operators]]; [[Annihilation operators|Annihilation operators]]). The majority of explicitly solvable models of quantum mechanics is based on such properties, which make it possible to generate new potentials together with solutions [[#References|[a6]]]. The transformed operator saves the discrete spectrum, the Darboux transformation deletes only the level that corresponds to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006025.png" />. Conversely, the inverse transformation adds a level. So one can modify the spectrum by a sequence of Darboux transformations. The intertwining relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006026.png" /> gives rise to a supersymmetry algebra, which is an example of an infinite-dimensional graded Lie algebra (cf. also [[Lie algebra, graded|Lie algebra, graded]]) or, more generally, a [[Kac–Moody algebra|Kac–Moody algebra]]. Naturally, the Darboux transformation (named the  "transference"  in [[#References|[a7]]]) is a useful tool in the problem of commutativity of ordinary differential operators. For applications of the Darboux transformation in multi-dimensional quantum mechanics, see also [[#References|[a2]]].

Consideration of pairs of equations (Lax pairs) for a single function leads to a compatibility condition that is, in general, a non-linear equation for their coefficients (called  "potentials" ). This means that the non-linear equation is automatically invariant with respect to the potential part of the Darboux transformation, which is a [[Bäcklund transformation|Bäcklund transformation]]. If there is a reduction compatible with the Darboux transformation in the sense that the transformed potentials satisfy the same constraint as the initial one (a heredity property), the Darboux transformation gives the symmetry for the non-linear equation with constraints. Iteration of the Darboux transformation generates a sequence of potentials which are solutions of the non-linear equation. Excluding the solutions of the linear problems, one obtains a recurrent difference equation (a chain) for the elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006027.png" />, which determine factoring of operators. If this chain is non-trivial and infinite, the non-linear equation has an infinite set of solutions (in this case it is said to be integrable with respect to the Darboux transformation). Periodic closures of such chains generate finite-gap potentials of the Schrödinger operator. For example, the closure <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006028.png" /> provides useful representations of Painlevé transcendents [[#References|[a17]]], [[#References|[a18]]]. For non-linear partial differential equations, the notion of integrability is strictly connected with the existence of a Lax pair, as constructed in so-called Painlevé analysis or the [[Painlevé test|Painlevé test]]. The Moutard or Darboux transformations may also appear inside the procedures in the cases of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006029.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006030.png" /> dimensions, respectively [[#References|[a8]]]. For integrable systems, the method of the inverse-scattering transform was discovered in 1967 [[#References|[a9]]] (cf. also [[Korteweg–de Vries equation|Korteweg–de Vries equation]]). Its application may give a solution of the [[Cauchy problem|Cauchy problem]]; however, it involves the solution of a complicated inverse problem for one of the operators in the Lax pair. Hence alternative direct algebraic methods, such as the method of Darboux transformation (and the related Sato theory), are presently under development (1999).

When searching for an alternative formulation of the method while retaining the principal ideas in Darboux's approach, one may introduce an elementary Darboux transformation on a [[Differential ring|differential ring]] [[#References|[a10]]], [[#References|[a11]]]. A particular case of this not depending on solutions (but only on potentials) is known as the Schlesinger transformation [[#References|[a11]]], [[#References|[a12]]]. The combination of Darboux transformations or elementary Darboux transformations for direct and conjugate equations gives rise to a binary Darboux transformation [[#References|[a2]]], [[#References|[a10]]], which realizes the dressing method for the solution of integrable non-linear equations (cf. also [[Soliton|Soliton]]) and has a symmetric form useful for constraints heredity. The dressing method appears in the development of the method of inverse problems for the matrix case of Lax pairs and involves a [[Riemann–Hilbert problem|Riemann–Hilbert problem]] [[#References|[a9]]]. It may be shown that the binary Darboux transformation solves the matrix Riemann–Hilbert problem with zeros (compare the expressions in [[#References|[a10]]] and [[#References|[a9]]]).

The general idea of the Darboux transformation allows one to embed the Combesqure and Levy transformations of conjugate nets and congruences into classical [[Differential geometry|differential geometry]] [[#References|[a13]]].

Recently (1998), vectorial Darboux transformations for quadrilateral lattices have appeared [[#References|[a14]]].

Important aspects concerning operator algebras can be found in [[#References|[a15]]], while interesting applications of the theory of Darboux transformations to matrix factorization may be found via [[#References|[a16]]].

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G. Darboux,   "Leçons sur la théorie général des surfaces" , Gauthier-Villars  (1912)  (Edition: Second)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  V.B. Matveev,   M.A. Salle,   "Darboux transformations and solitons" , Springer  (1991)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  E. Ganzha,   "On one analogue of the Moutard transformation for the Goursat equation"  ''Theor. Math. Phys.''  (1999)</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  V.B. Matveev,   "Darboux transformations in differential rings and functional-difference equations"  A. Karman (ed.) , ''Proc. CRM Workshop Bispectral Problems (Monreal March, 1997)'' , Amer. Math. Soc.  (1998)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  S.P. Tsarev,   "An algorithm for complete enumeration of all factorizations of a linear ordinary differential operator" , ''Proc. 1996 Internat. Symp. Symbolic Algebraic Computation 24-26 July 1996, Zürich, Switzerland'' , ACM  (1996)  pp. 226–231</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  L. Infeld,   T. Hull,   "The factorization method"  ''Rev. Mod. Phys.'' , '''23'''  (1951)  pp. 21–68</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  G.A. Latham,   E. Previato,   "Darboux transformations for higher rank Kadomtsev–Petviashvili and Krichever–Novikov equations"  ''Acta Applic. Math.'' , '''39'''  (1995)  pp. 405–433</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  P.G. Estevez,   S.B. Leble,   "A KdV equation in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006031.png" /> dimensions: Painlevé analysis, solutions and similarity reductions"  ''Acta Applic. Math.'' , '''39'''  (1995)  pp. 277–294</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  S.P. Novikov,   et al.,   "Theory of solitons. The inverse scattering method" , Plenum  (1984)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  S.B. Leble,   N.V. Ustinov,   "Deep reductions for matrix Lax system, invariant forms and elementary Darboux transforms"  ''J. Phys. A: Math. Gen.'' , '''26'''  (1993)  pp. 5007–5016</TD></TR><TR><TD valign="top">[a11]</TD> <TD valign="top">  S.B. Leble,   "Elementary and binary Darboux transformations at rings"  ''Comput. Math. Appl.'' , '''35'''  (1998)  pp. 73–81</TD></TR><TR><TD valign="top">[a12]</TD> <TD valign="top">  L.J. Schlesinger,   ''J. Reine Angew. Math.'' , '''141'''  (1912)  pp. 96</TD></TR><TR><TD valign="top">[a13]</TD> <TD valign="top">  L. Eisenhart,   "Transformations of surfaces" , Chelsea  (1962)</TD></TR><TR><TD valign="top">[a14]</TD> <TD valign="top">  M. Manas,   A. Doliwa,   P.M. Santini,   ''Phys. Lett.'' , '''A232'''  (1997)  pp. 99–105</TD></TR><TR><TD valign="top">[a15]</TD> <TD valign="top">  V.A. Marchenko,   "Nonlinear equations and operator algebras" , Reidel  (1988)</TD></TR><TR><TD valign="top">[a16]</TD> <TD valign="top">  P.A. Deift,   L.C. Li,   C. Tomei,   "Matrix factorizations and integrable systems"  ''Commun. Pure Appl. Math.'' , '''42'''  (1989)  pp. 443–521</TD></TR><TR><TD valign="top">[a17]</TD> <TD valign="top">  A.P. Veselov,   A.B. Shabat,   "Dressing chain and spectral theory of the Schrödinger operator"  ''Funkts. Anal. Prilozh.'' , '''23''' :  2  (1993)  pp. 1–21  (In Russian)</TD></TR><TR><TD valign="top">[a18]</TD> <TD valign="top">  A.B. Shabat,   "Third dressing scheme"  ''to appear''</TD></TR><TR><TD valign="top">[a19]</TD> <TD valign="top">  É. Goursat,   "Sur une équation aux dérivées partielles"  ''Bull. Soc. Math. France'' , '''25'''  (1897)  pp. 36–48</TD></TR><TR><TD valign="top">[a20]</TD> <TD valign="top">  É. Goursat,   "Sur une transformation de léquation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d120/d120060/d12006032.png" />"  ''Bull. Soc. Math. France'' , '''28'''  (1900)  pp. 1–6</TD></TR></table>