1:
2:
3:
4: \documentstyle[cizgi,twoside,paper,12pt]{article}
5:
6: \renewcommand{\thefootnote}{\fnsymbol{footnote}} %* icin \footnote[1]
7: \renewcommand{\theequation}{\the{section}.\arabic{equation}}
8: \renewcommand{\theequation}{\arabic{section}.\arabic{equation}}
9: \newcommand{\ben}{\begin{enumerate}}
10: \newcommand{\een}{\end{enumerate}}
11: \newcommand{\be}{\begin{equation}}
12: \newcommand{\ee}{\end{equation}}
13: \newcommand{\bea}{\begin{eqnarray}}
14: \newcommand{\eea}{\end{eqnarray}}
15: \newcommand{\bc}{\begin{center}}
16: \newcommand{\ec}{\end{center}}
17: \newcommand{\vs}{\vspace}
18: \newcommand{\mb}{\mbox{\ }}
19: \newcommand{\ra}{\rightarrow}
20: \newcommand{\la}{\leftarrow}
21: \newcommand{\IR}{\mbox{I \hspace{-0.2cm}R}}
22: \newcommand{\IN}{\mbox{I \hspace{-0.2cm}N}}
23: \newcommand{\ol}{\overline}
24: \newcommand{\ul}{\underline}
25: \renewcommand{\baselinestretch}{1.15}
26:
27: \begin{document}
28: \setcounter{page}{1}
29:
30:
31:
32: \bc
33: {\large {\bf
34: PROLONGATION ALGEBRA AND B\"{A}CKLUND TRANSFORMATIONS OF
35: DRINFELD-SOKOLOV SYSTEM OF EQUATIONS}}
36: \ec
37:
38: \bc
39: {\em
40: Ay\c{s}e Karasu(Kalkanl{\i}) \\ and \\ \'{I}smet Yurdu\c{s}en\\
41: Department of Physics \\
42: Middle East Technical University \\
43: 06531 Ankara, Turkey}
44: \ec
45:
46: \bc
47: {\em
48: e-mail:akarasu@metu.edu.tr}
49: \ec
50: \vs{2cm}
51:
52: \bc
53: {\bf Abstract}
54: \ec
55: We show that the Drinfeld-Sokolov
56: system of equations has a non-trivial prolongation structure. The
57: closure process for prolongation algebra gives rise to the
58: $sl(4,c)$ algebra which is used to derive the scattering problem
59: for the system of equations under consideration.The non-trivial
60: new B\"{a}cklund transformations and some explicit solutions are given.
61:
62:
63:
64:
65:
66: \newpage
67:
68:
69:
70: \baslik{1. Introduction}
71: \setcounter{section}{1}
72: \setcounter{equation}{0}
73: The systems of nonlinear partial differential equations are
74: encountered in fundamental particle physics, plasma and fluid
75: dynamics, statistical mechanics, many areas of solid state
76: physics, protein dynamics, laser and fiber optics[1].
77: These equations are usually solved by the use of approximation
78: techniques, but the range of applicability and usefulness of
79: these solutions increase the interest on the exact solutions and
80: methods of testing for complete integrability. During the past
81: three decades the developments in mathematical physics show
82: that the completely integrable systems of nonlinear partial
83: differential equations have very rich mathematical structures
84: such as the existence of Lax pair, bi-Hamiltonian structures,
85: recursion operators and applicability of inverse scattering
86: methods. One of the effective methods to test integrability
87: is the prolongation structure technique of Wahlquist
88: and Estabrook[2]. This geometrical method immediately proceeds
89: with an attempt to construct the linear spectral problem or
90: another device, such as B\"{a}cklund transformations. If we
91: are successful we have not only tested our system of equations
92: for complete integrability but also constructed a device with
93: which to integrate the system. Dodd and Fordy [3],[4] made the
94: method more algorithmic and put it in an algebraic, instead of
95: differential geometric framework. The first step is to start with a
96: differential equation and derive a set of generators and relations
97: for an incomplete Lie algebra. The second step is to complete this
98: Lie algebra and find a finite matrix representation for the
99: derived set of generators. Then, one expects that B\"{a}cklund
100: transformations, which are relations among solutions of the nonlinear
101: differential equations under consideration, may be obtained.
102: For a review the reader is referred to an article by Harrison[5] and
103: references quoted therein.\\
104: The integrable systems appear not one at
105: a time, but in big families which are called hierarchies. First,
106: Korteweg-de Vries(KdV)-hierarchy was invented and then infinitely
107: many generalized KdV-hierarchies were found. They were unified to
108: a single one large Kadomtsev- Petviashvili(KP)-hierarchy[6].
109: Very recently, it is shown by G\"{u}rses
110: and Karasu [7] that the system of equations \bea u_t &=&
111: -u_{xxx}+6uu_x+6v_x \nonumber\\ v_t &=& 2v_{xxx}-6uv_x \eea admits
112: a recursion operator and a bi-Hamiltonian structure,therefore it
113: has constants of motion. The system (1.1) belongs to a type of
114: equations which are called "quasi-polynomial flows". The Lax pair
115: for this system was first given by Drinfeld and Sokolov [8] and
116: later by Bogoyavlenskii [9]. Under the scale transformations,
117: this system of
118: equations reduces to a special case of the KP-hierarchy which was
119: given by Satsuma and Hirota [10]. They also gave the one-soliton
120: solutions. Recently, auto-Backlund transformations and certain
121: analytical solutions are obtained by Tian and Gao [11] via Painl\'{e}ve
122: analysis. In this work, we used the prolongation method to derive the
123: linear scattering problem for the system (1.1). We obtained B\"{a}cklund
124: transformations by using pseudopotentials.
125: \baslik{2. Prolongation Structure}
126: \setcounter{section}{2}
127: \setcounter{equation}{0}
128: By introducing the variables $p = u_x$, $q = v_x$, $r = p_x$, $s = q_x$,
129: the system of equations (1.1) can be represented by the set of
130: 2-forms,
131: \bea \alpha_1 & = & du \wedge dt - p \; dx \wedge dt \nonumber \\
132: \alpha_2 & = & dp \wedge dt - r \; dx \wedge dt \nonumber \\
133: \alpha_3 & = & dv \wedge dt - q \; dx \wedge dt \nonumber \\
134: \alpha_4 & = & dq \wedge dt - s \; dx \wedge dt \nonumber \\
135: \alpha_5 & = & du \wedge dx - dr \wedge dt +6 (up+q) \; dx \wedge
136: dt \nonumber \\ \alpha_6 & = & dv \wedge dx + 2 ds \wedge dt - 6uq
137: \; dx \wedge dt \eea which constitutes a closed ideal $I$,such
138: that $dI \subset I$.\\
139: We extend the ideal $I$
140: by adding to it the system of 1-forms,
141: \be
142: w^A = dy^A + F^A \; dx + G^A \; dt, \qquad A =1, \ldots , N
143: \ee
144: where $F^A$ and $G^A$ are functions of $(u,v,p,q,r,s,y^A)$,
145: which are assumed in the form $F^A = F^A_B y^B $,
146: $G^A = G^A_B y^B $.
147: The extended ideal must be closed under exterior differentiations.
148: This requirement gives the set of partial differential equations
149: for $F^A$ and $G^A$. Dropping the indices for simplicity, we have
150: \bea
151: F_p = F_q = F_r = F_s = 0 ,\qquad
152: G_s = 2 F_v ,\qquad
153: G_r =- F_u , \nonumber \\
154: {}pG_u + qG_v +rG_p + sG_q - 6(up+q) F_u + 6uq F_v - [F,G] =0
155: \eea
156: where
157: \be
158: [F, G] =F^B \frac{\partial G}{\partial y^B} -
159: G^B \frac{\partial F}{\partial y^B}. \nonumber\\
160: \ee
161: Next, we integrate equations (2.3). In reaching the results
162: we equate the coefficients of quadratic terms in F to zero, since these
163: coefficients are in the centre of prolongation algebra[4].
164: The final result is,
165: \bea
166: F & = & X_1 + X_2 u + X_3 v \nonumber \\
167: G & = & X_0 + (-r+3u^2+6v) X_2 + 2 (s-3uv) X_3
168: - pX_4 - uX_5 \nonumber \\
169: & & - \frac{u^2}{2} X_6 + 2q X_7 + 2v X_8 + v^2 X_9 + 2uv X_{10}
170: \eea
171: where $X_0,X_1,X_2,X_3$ are constants of integration, depending
172: on $y^A$ only. The remaining elements are,
173: \bea
174: X_4 = [X_1,X_2],\qquad
175: X_5 = [X_1,X_4], \qquad
176: X_6 = [X_2,X_4], \nonumber\\
177: X_7 = [X_1,X_3], \qquad
178: X_8 = [X_1,X_7], \qquad
179: X_9 = [X_3,X_7], \nonumber\\
180: X_{10} = [X_2,X_7] .
181: \eea
182: The integrability conditions impose following restrictions on
183: $X_i (i =1, \ldots , 10)$,
184: \bea
185: [X_2,X_3] = 0 , \qquad
186: [X_2,X_6] = 0 , \qquad
187: [X_3,X_9] = 0 , \qquad
188: [X_1,X_0] = 0 , \nonumber\\
189: {}[X_3,X_4] = 6X_3-2X_{10}, \qquad
190: [X_2,X_9] + 2 [X_3,X_{10}] = 0 , \nonumber\\
191: {}[X_2,X_{10}] - \frac{1}{4} [X_3,X_6] = 0, \nonumber\\
192: {}[X_1,X_6] + 2[X_2,X_5] - 6X_4 = 0 ,\nonumber\\
193: {}[X_1,X_9] + 2[X_3,X_8] = 0, \nonumber\\
194: {}[X_1,X_5] - [X_2,X_0] = 0, \nonumber\\
195: {}2[X_1,X_8] + [X_3,X_0] + 6X_4 = 0 \nonumber\\
196: {}[X_1,X_{10}] + [X_2,X_8] - \frac{1}{2} [X_3,X_5] - 3X_7 = 0.
197: \eea
198: Using the Jacobi identities we obtain further relations:
199: \bea
200: [X_1,X_9] = [X_3,X_8] = 0, \qquad
201: [X_2,X_9] = [X_3,X_{10}] = 0, \nonumber\\
202: {}[X_2,X_{10}] = [X_3,X_6] = 0,\qquad
203: [X_2,X_7] = [X_3,X_4] \nonumber\\
204: {}[X_1,X_{10}] - [X_4,X_7] - [X_2,X_8] = 0, \nonumber\\
205: {}[X_1,X_6] = [X_2,X_5] = 2X_4,\qquad
206: [X_4,X_6] = -2X_6, \nonumber\\
207: {}[X_3,X_5] + [X_7,X_4] + 2[X_1,X_{10}] = 6X_7.
208: \eea
209: In order to find the Lie algebra generated by F and matrix
210: representations of the generators $\{X_i\}_0^{10}$, we follow
211: the strategy of Dodd-Fordy[4]. It can be summarized as follows:\\
212: 1. Locate elements of the center of the algebra. Assuming
213: the algebra to be (semi-)simple equate these elements with zero.\\
214: 2. Locate a nilpotent and semi-simple element.\\
215: 3. Embed these elements in a simple Lie algebra $g$.\\
216: 4. Express the remaining generators of the prolongation
217: algebra as linear combinations of a suitable basis of $g$.\\
218: 5. Use the fundamental representation of $g$ to
219: generate a linear scattering problem.\\
220: First we reduce the number of elements. By using equations (2.6),
221: (2.7) and (2.8) we get
222: \be
223: X_9 = 0, \qquad
224: X_6 = 2X_2 ,\qquad
225: X_{10} = 2X_3.
226: \ee
227: Next, we locate nilpotent and neutral elements. Equations (2.6) and
228: (2.9) give that $X_2$ is nilpotent and $X_4$ is neutral element.
229: Let us note that the system of equations in (1.1) has the following
230: scale symmetry
231: \be
232: x \rightarrow \lambda^{-1} x , \qquad
233: t \rightarrow \lambda^{-3} t , \qquad
234: u \rightarrow \lambda^{2} u ,\qquad
235: v \rightarrow \lambda^{4} v , \nonumber
236: \ee
237: which implies that the elements $X_{i}$ must satisfy
238: \bea
239: X_0 \rightarrow \lambda^{3}X_0 , \qquad
240: X_1 \rightarrow \lambda X_1 , \qquad
241: X_2 \rightarrow \lambda^{-1}X_2 ,\qquad
242: X_3 \rightarrow \lambda^{-3} X_3 , \nonumber \\
243: {}X_4 \rightarrow X_4 ,\qquad
244: X_5 \rightarrow \lambda X_5 ,\qquad
245: X_7 \rightarrow \lambda^{-2} X_7 ,\qquad
246: X_8 \rightarrow \lambda^{-1} X_8.
247: \eea
248: By using the basis elements,
249: we try to embed the prolongation algebra into $sl(n+1,c)$. Starting
250: from the cases $n=1,2$, we found that $sl(2,c)$ and $sl(3,c)$ can not be
251: the whole algebra. The simplest non-trivial closure is in terms of
252: $sl(4,c)$. Without giving the details here we present the results:
253: \bea
254: %X_0 = \left( \begin{array}{cccc}
255: %0 & 0 & 0 & - \lambda^4 \\
256: %-4\lambda^4 & 0 & 0 & 0 \\
257: %0 & -2\lambda^4 & 0 & 0 \\
258: %0 & 0 & -\lambda^4 & 0
259: %\end{array} \right), \nonumber \\
260: X_1 = \left( \begin{array}{cccc}
261: 0 & 1 & 0 & 0 \\
262: 0 & 0 & 2 & 0 \\
263: 0 & 0 & 0 & 1 \\
264: \frac{\lambda^4}{2} & 0 & 0 & 0
265: \end{array} \right), \qquad
266: X_2 = \left( \begin{array}{cccc}
267: 0 & 0 & 0 & 0 \\
268: 1 & 0 & 0 & 0 \\
269: 0 & 0 & 0 & 0 \\
270: 0 & 0 & 1 & 0
271: \end{array} \right) , \nonumber \\
272: {}X_3 = \left( \begin{array}{cccc}
273: 0 & 0 & 0 & 0 \\
274: 0 & 0 & 0 & 0 \\
275: 0 & 0 & 0 & 0 \\
276: -\frac{1}{2} & 0 & 0 & 0
277: \end{array} \right) , \qquad
278: X_4 = \left( \begin{array}{cccc}
279: 1 & 0 & 0 & 0 \\
280: 0 & -1 & 0 & 0 \\
281: 0 & 0 & 1 & 0 \\
282: 0 & 0 & 0 & -1
283: \end{array} \right) , \nonumber \\
284: {}X_5 = \left( \begin{array}{cccc}
285: 0 & -2 & 0 & 0 \\
286: 0 & 0 & 4 & 0 \\
287: 0 & 0 & 0 & -2 \\
288: \lambda^4 & 0 & 0 & 0
289: \end{array} \right), \qquad
290: X_7 = \left( \begin{array}{cccc}
291: 0 & 0 & 0 & 0 \\
292: 0 & 0 & 0 & 0 \\
293: -\frac{1}{2} & 0 & 0 & 0 \\
294: 0 & \frac{1}{2} & 0 & 0
295: \end{array} \right) , \nonumber \\
296: {}X_8 = \left( \begin{array}{cccc}
297: 0 & 0 & 0 & 0 \\
298: -1 & 0 & 0 & 0 \\
299: 0 & 1 & 0 & 0 \\
300: 0 & 0 & -1 & 0
301: \end{array} \right),\qquad
302: X_0 = \left( \begin{array}{cccc}
303: 0 & 0 & 0 & -8 \\
304: -4\lambda^4 & 0 & 0 & 0 \\
305: 0 & -2\lambda^4 & 0 & 0 \\
306: 0 & 0 & -4\lambda^4 & 0
307: \end{array} \right),
308: \eea
309:
310: These generators satisfy the following commutation
311: relations:
312: \bea
313: [X_2,X_4] = 2X_2 ,\qquad
314: [X_2,X_3] = 0,\qquad
315: [X_3,X_4] = 2X_3 ,\nonumber \\
316: {}[X_1,X_2] =X_4 ,\qquad
317: [X_1,X_3] = X_7 ,\qquad
318: [X_4,X_7] = 0, \nonumber \\
319: {}[X_3,X_7] = 0 ,\qquad
320: [X_1,X_7] = X_8 , \qquad
321: [X_3,X_8] = 0 , \nonumber \\
322: {}[X_2,X_7] = 2X_3 ,\qquad
323: [X_1,X_4] = X_5 ,\qquad
324: [X_2,X_5] = 2X_4 , \nonumber \\
325: {}[X_3,X_5] = 2X_7 ,\qquad
326: [X_2,X_8] = 2X_7 ,\qquad
327: [X_0,X_1] = 0 , \nonumber \\
328: {}[X_2,X_0] = [X_1,X_5] , \qquad
329: [X_3,X_0] = -6X_4 -2[X_1,X_8]
330: \eea
331: %with scale symmetries
332: %\bea
333: %X_0 \rightarrow \lambda^{3}X_0 , \qquad
334: %X_1 \rightarrow \lambda X_1 , \qquad
335: %X_2 \rightarrow \lambda^{-1}X_2 ,\qquad
336: %X_3 \rightarrow \lambda^{-3} X_3 , \nonumber \\
337: %{}X_4 \rightarrow X_4 ,\qquad
338: %X_5 \rightarrow \lambda X_5 ,\qquad
339: %X_7 \rightarrow \lambda^{-2} X_7 ,\qquad
340: %X_8 \rightarrow \lambda^{-1} X_8.
341: %\eea
342: By substituting the matrix representations of the generators into
343: equation (2.5) we form the matrices F and G. Using equations
344: $y_x = -Fy , y_t = -Gy$ ,the linear
345: scattering problem can be obtained as,
346: \be
347: \left( \begin{array}{c}
348: y^1 \\
349: y^2 \\
350: y^3 \\
351: y^4
352: \end{array} \right)_x =
353: \left( \begin{array}{cccc}
354: 0 & -u & 0 & -\frac{\lambda^4}{2}+\frac{v}{2} \\
355: -1 & 0 & 0 & 0 \\
356: 0 & -2 & 0 & -u \\
357: 0 & 0 & -1 & 0 \\
358: \end{array} \right)
359: \left( \begin{array}{c}
360: y^1 \\
361: y^2 \\
362: y^3 \\
363: y^4
364: \end{array} \right)
365: \ee,
366: \be
367: \left( \begin{array}{c}
368: y^1 \\
369: y^2 \\
370: y^3 \\
371: y^4
372: \end{array} \right)_t =
373: \left( \begin{array}{cccc}
374: p & 4\lambda^4-4v+r-2u^2 & q & \lambda^4 u+s-uv \\
375: -2u & -p & 2\lambda^4-2v & -q \\
376: 0 & 4u & p & 4\lambda^4-4v+r-2u^2 \\
377: 8 & 0 & -2u & -p \\
378: \end{array} \right)
379: \left( \begin{array}{c}
380: y^1 \\
381: y^2 \\
382: y^3 \\
383: y^4
384: \end{array} \right)
385: \ee \\which is equivalent to the scalar Lax equation
386: \be
387: L\psi = (\partial^4 - 2u\partial^2 - 2u_x\partial -
388: u_{xx} + u^2 + v )\psi = \lambda^4\psi
389: \ee
390: where $\psi = y^4$ and $\lambda = constant$. The corresponding time
391: evolution of $\psi$ is
392: \be
393: \psi_t = (-4\partial^3 + 6u\partial + 3u_x )\psi.
394: \ee
395:
396: \baslik{3.B\"{a}cklund Transformations }
397: \setcounter{section}{3}
398: \setcounter{equation}{0}
399: Within the prolongation scheme, B\"{a}cklund transformations
400: can be derived by assuming the new solution variables as
401: functions of old ones and the ratios of pseudopotentials[5].
402: For this purpose ,let us define new variables
403: \be
404: \alpha = \frac{y^1}{y^4},\qquad
405: \beta = \frac{y^2}{y^4},\qquad
406: \gamma = \frac{y^3}{y^4}.
407: \ee
408: By using equations (2.14) and (2.15) we can find the equations
409: satisfied by $\alpha$,$\beta$ and $\gamma$,
410: \bea
411: \alpha_x &=& \alpha \gamma - u\beta +\frac{1}{2}(v-\lambda^4),\nonumber\\
412: \beta_x &=& -\alpha + \beta \gamma, \nonumber\\
413: \gamma_x &=& \gamma^2 - 2\beta - u, \nonumber\\
414: \alpha_t &=& -8\alpha^2+2(p+2u\gamma)\alpha+(4\lambda^4-4v+r-2u^2)\beta+
415: q\gamma + (\lambda^4 u + s - uv), \nonumber\\
416: \beta_t &=& -2u\alpha + 2(u\gamma - 4\alpha)\beta +2(\lambda^4-v)\gamma-
417: q , \nonumber\\
418: \gamma_t &=& 2u\gamma^2+2(p-4\alpha)\gamma + 4u\beta +
419: (4\lambda^4-4v+r-2u^2).
420: \eea
421: The compatibility conditions $\alpha_{xt}=\alpha_{tx}$ and
422: $\gamma_{xt}=\gamma_{tx}$ hold if $u$ and $v$ satisfy equation (1.1),
423: while $\beta_{xt}=\beta_{tx}$ holds automatically. One can easily
424: check that the function $\beta$ satisfies the following equation,
425: \be
426: \beta_t-2\beta_{xxx}+6(u+2\gamma_x)\beta_x=0.
427: \ee
428: This means that
429: \bea
430: \tilde{u} &=& u + 2\gamma_x ,\qquad \nonumber\\
431: \tilde{v} &=& c_1\beta + c_2
432: \eea
433: are the new solutions of equations (1.1) if
434: \be
435: (4\beta^2 +c_1 \beta)_x=0
436: \ee
437: where $c_1$ and $c_2$ are constants.
438: We note that the same results for $\tilde{u}$ and $\tilde{v}$ were
439: obtained when we followed the step(3) of ref.[5].
440: By seting $y_4 = \psi$ and using equations (2.14),(2.15) and (3.1) we
441: obtain
442: \bea
443: \tilde{u} &=& u - 2 \frac{\psi_{xx}}{\psi} +
444: 2 \frac{\psi_x^2}{\psi^2} ,\nonumber \\
445: \tilde{v} &=& c_1(-\frac{u}{2} + \frac{\psi_{xx}}{\psi}) + c_2.
446: \eea
447: Here, $u$ is a known solution of equations (1.1) and $\psi$ is the
448: solution of equations (2.16) ,(2.17) satisfying the condition
449: \be
450: \{\frac{1}{2\psi^2}[\psi_{xx}-u\psi][2(\psi_{xx}-u\psi)+c_1\psi]\}_x=0.
451: \ee
452: which is equivalent to (3.5).\\
453: Next, we consider the simple case $u = v =0$ as the known solution of
454: (1.1) and find a new solution. With this choice, we find that
455: \be
456: \psi = d_1 e^{-\lambda(4\lambda^2t-x)} + d_2 e^{\lambda(4\lambda^2t-x)}
457: + d_3 e^{i\lambda(4\lambda^2t+x)} + d_4 e^{-i\lambda(4\lambda^2t+x)}
458: \ee
459: is a solution of equations (2.16) and (2.17) where $d_1,d_2,d_3$ and
460: $d_4$ are constants. Substituting (3.8) into condition (3.7)
461: we obtain two sets of solutions for $\psi$ whereas $\{d_1 = d_2 = 0,
462: c_1 = 4\lambda^2\}$ and \\$\{d_3 = d_4 = 0, c_1 = -4\lambda^2\}$.\\
463: The respective solutions for $\tilde{u}$ are
464: \bea
465: \tilde{u_1} &=& \frac{8d_3d_4\lambda^2e^{2i\lambda(4\lambda^2t+x)}}
466: {[d_4 + d_3e^{2i\lambda(4\lambda^2t+x)}]^2},
467: \nonumber \\
468: \tilde{u_2} &=& \frac{-8d_1d_2\lambda^2e^{2\lambda(4\lambda^2t-x)}}
469: {[d_1 + d_2e^{2\lambda(4\lambda^2t-x)}]^2}.
470: \eea
471: where in both cases $\tilde{v} = c_2 - 2\lambda^4 = constant$.
472: Thus, starting from trivial background, we obtained
473: the one soliton solution of KdV equation with $\tilde{v} =
474: constant$.\\
475: In order to find the more general B\"{a}cklund transformations
476: for system (1.1), we assume that new solutions $\tilde{U}$
477: and $\tilde{V}$ are functions of old variables $u,v,p,q,r,s$
478: and $\alpha,\beta,\gamma$ which are the ratios of prolongation
479: variables satisfying the equations (3.2). After some straightforward
480: but long calculations we obtained the following results:
481: \bea
482: \tilde{U} &=& \frac{\Omega}{2}-\Delta-\frac{2}{\gamma}(\alpha
483: +2\beta\gamma) ,\qquad \nonumber\\
484: \tilde{V} &=& \Theta_{xx} -\frac{\Delta}{\gamma}\Theta_x -\Theta^2,
485: \eea
486: where
487: \bea
488: \Omega &=& -\frac{1}{\gamma^2}(p\gamma+u^2+4\beta u +4\beta^2
489: -4\alpha\gamma) ,\qquad \nonumber\\
490: \Delta &=& 2\beta-2\gamma^2+u,\qquad \nonumber\\
491: \Theta &=& \frac{1}{4\gamma^2}[-u^2+2(\gamma^2-2\beta)u-4(\alpha
492: \gamma+\beta^2)],
493: \eea
494: and $\Theta$ must satisfy the condition
495: \be
496: \Theta_t = 2\Theta_{xxx}+3\Omega\Theta_x.
497: \ee
498: Thus, if any solutions $u$ and $v$ to Drinfeld-Sokolov system
499: of equations are known and if $\alpha,\beta,\gamma$ are solutions
500: of (3.2) satisfying the condition (3.12),
501: then $\tilde{U}$ and $\tilde{V}$ are the
502: new solutions of (1.1).\\
503: If we take the trivial seed solutions $u = v =0$, we get
504: \bea
505: \tilde{U} &=& -\frac{2\beta^2}{\gamma^2}+2(\gamma^2-2\beta),
506: \qquad \nonumber\\
507: \tilde{V} &=& -\frac{1}{\gamma^4}(
508: 17\beta^4+8\beta^3\gamma^2-10\beta^2\alpha\gamma
509: +\alpha^2\gamma^2)+(\frac{\lambda^4}{2}+\frac{c_0}{18}),
510: \eea
511: with the condition
512: \be
513: \beta[-56\beta^4+48\beta^2\gamma\alpha-3\beta\gamma^2\lambda^4
514: -8\gamma^2\alpha^2+\gamma^4\lambda^4]=0.
515: \ee
516: By setting $y^4=\psi$, one can write these expressions in terms
517: of the solutions of Lax equations (2.16),(2.17) and see that our
518: results are more general than the given by Tian and Gao[11].\\
519: As an example, we consider the simple case,$u = v =0$ as the known
520: solutions of (1.1) and we obtain the following two sets of explicit
521: solutions:
522: \be
523: \tilde{U}=\frac{2c_{1}^{2}}{(c_1 x + c_2)^2},\qquad
524: \tilde{V}=\frac{c_0}{18}.
525: \ee
526: and
527: \bea
528: \tilde{U} &=&\frac{30(c_1+x^2)\{4x[5c_1[2(24t-x^3)-3c_1x]-(c_2+3x^5)]
529: +15(x^2+c_1)^3]\}}{\{5c_1[2(24t-x^3)-3c_1x]-(c_2+3x^5)
530: \}^2},
531: \nonumber\\
532: \tilde{V} &=&-\frac{120x[c_2+3x^5+15c_1^2x-10c_1(24t-x^3]^3}
533: {\{5c_1[2(24t-x^3)-3c_1x]-(c_2+3x^5)\}^4},
534: \eea
535: where $c_0,c_1,c_2$ are constants.\\
536: As we observed that there are no solitary wave solutions belonging to
537: the class (3.13). Very recently, all the special solutions of (1.1)
538: are obtained by Karasu and Sakovich [12].
539:
540:
541:
542: \baslik{4. Conclusion}
543:
544:
545: In this work we have rederived the linear scattering problem for
546: Drinfeld-Sokolov system of equations by using the prolongation
547: algorithm. We found the auto-B\"{a}cklund transformations and
548: some exact solutions of these equations.
549: The system can be integrated by the method of
550: inverse scattering problem associated with the fourth order Lax
551: operator L, which was developed by Iwasaki [13]. It is known that
552: the most general B\"{a}cklund transformation would be the one
553: which utilizes the infinite dimensional algebra and not all of
554: finite algebras give rise to B\"{a}cklund transformations.
555: Without searching if the incomplete algebra given in (2.7) is
556: finite or infinite dimensional we used a finite dimensional
557: representation of prolongation algebra and derived non-trivial
558: B\"{a}cklund transformations. Thus, the methods given in [4] and
559: [5] are quite useful from the practical point of view, for the
560: systems of nonlinear partial differential equations. Finally, we
561: note that a close connection between some stationary flows
562: associated with fourth-order Lax operators and generalisations
563: of some integrable Hamiltonian systems with quartic potentials
564: is known [14]. The equations (2.16) and (2.17) can be considered
565: in this context.\\ \\ \\
566:
567: We would like to thank Dr.Atalay Karasu and Dr.Sergei Sakovich
568: for useful discussions. We also thank to anonymous referee
569: for valuable comments.
570: This work is supported in part by
571: the Scientific and Technical Research Council of Turkey (TUBITAK).
572:
573:
574: \begin{reference}
575: \item Fordy,A.P.(ed.),{\it Soliton Theory: A Survey of Results},
576: Manchester University Press,(1990).
577: \item Wahlquist, H.D. and Estabrook, F.B.,
578: J.Math.Phys.,{\bf 16},1(1975).
579: \item Dodd,R.,Fordy,A.,Physics Letters, {\bf A 89},
580: 168(1982).
581: \item Dodd,R.,Fordy,A.,Proc.R.Soc.Lond.,{\bf A 385},
582: 389(1983).
583: \item Harrison,K.,Journal of Nonlinear Mathematical Physics,{\bf2},
584: 201(1995).
585: \item Date,E., Jimbo,M., Kashiwara,M., Miwa,T.,
586: In {\it Non-linear Integrable Systems, Classical and Quantum
587: Theory}. Proceedings of RIMS Symposium, Singapore,39(1983).
588: \item G\"{u}rses,M., Karasu,A.,
589: Physics Letters, {\bf A 251},347(1999).
590: \item Drinfeld,V.G., Sokolov,V.V.,
591: {\it Proceedings of S.L. Sobolev Seminar}, Novosibirsk, {\bf 2},
592: 5(1981) (in Russian).
593: \item Bogoyavlenskii,O.I.,
594: Russian Math. Surveys ,{\bf 45}, 1(1990).
595: \item Satsuma,J.,Hirota,R.,
596: J.Phys.Soc.J., {\bf 51}, 3390(1982).
597: \item Tian,B., Gao,Y.,Physics Letters, {\bf A 208},
598: 193(1995).
599: \item Karasu(Kalkanl{\i}),A., Sakovich,S.Yu.,
600: Preprint arXiv:nlin.SI/0102001(2001).
601: \item Iwasaki, K., Japan J. Math.{\bf 14 },1(1988).
602: \item Baker,S., Enolskii,V.Z., Fordy,A.P.,Physics Letters,{\bf A 201},
603: 167(1995).
604: \end{reference}
605:
606: \end{document}
607:
608:
609:
610:
611:
612: