1: \documentstyle[11pt]{article}
2: \topmargin=-0.5cm
3: \textwidth=15cm
4: \textheight=22cm
5: \begin{document}
6:
7: \title{Ordinary differential equations which linearize on differentiation}
8:
9: \author{{\Large E.V. Ferapontov and S.R. Svirshchevskii } \\
10: \ \\
11: Department of Mathematical Sciences \\
12: Loughborough University \\
13: Loughborough, Leicestershire LE11 3TU \\
14: United Kingdom \\
15: e-mail:
16: {\tt E.V.Ferapontov@lboro.ac.uk} \\
17: and \\
18: Keldysh Institute of Applied Mathematics \\
19: Russian Academy of Sciences\\
20: Miusskaya Sq. 4, 125047 Moscow \\
21: Russia \\
22: e-mail:
23: {\tt svr@keldysh.ru}
24: }
25: \date{}
26: \maketitle
27:
28:
29: \newtheorem{theorem}{Theorem}
30: \newtheorem{proposition}{Proposition}
31: \newtheorem{lemma}{Lemma}
32:
33: \pagestyle{plain}
34:
35: \maketitle
36:
37:
38:
39: \begin{abstract}
40:
41:
42: \bigskip
43:
44: In this short note we discuss ordinary differential equations (ODEs) which linearize upon one (or more) differentiations. Although the subject is fairly elementary, equations of this type arise naturally in the context of integrable systems.
45:
46:
47: 2000 MSC: ~ 34A05.
48:
49: Keywords: ~ Linearization of ODEs.
50:
51: \end{abstract}
52:
53:
54: \section{Introduction}
55:
56: Let us consider a linear $n$-th order ODE with the general
57: solution
58: \begin{equation} u(x)=a_1f_1(x)+...+a_nf_n(x),
59: \label{u}
60: \end{equation}
61: which is a linear superposition of $n$ linearly independent
62: solutions $f_i(x)$. Imposing a non-linear relation among the
63: coefficients,
64: $$
65: F(a_1, ..., a_n)=0,
66: $$
67: one obtains an $(n-1)$-parameter family of functions $u(x)$ which automatically solve a
68: non-linear ODE of the order $n-1$. By construction, this ODE linearizes on differentiation.
69: Imposing two relations among the coefficients, one obtains an ODE of the order $n-2$
70: which linearizes on two differentiations, etc. Using this simple recipe one can generate
71: infinitely many examples of linearizable equations. This note was motivated by the observation that equations of this type arise
72: {\em naturally} % {\bf naturally}
73: in the context of integrable systems. The paper is organised as follows.
74:
75:
76:
77: \noindent Sect. 2 contains a list of examples of ODEs which linearize on differentiation.
78: These equations appear in the construction of exact solutions of integrable PDEs, in the classification of integrable hydrodynamic chains, etc.
79:
80: \noindent In Sect. 3 we derive necessary and sufficient conditions for an ODE to linearize upon a finite number of differentiations.
81:
82: \noindent In Sect. 4 the general form of non-linear ODEs
83: linearizable by a differentiation is discussed. It is obtained by
84: imposing non-linear constraints among first integrals of a linear
85: equation. Parallels with the theory of linear invariant subspaces of nonlinear differential operators are briefly discussed.
86:
87: We point out that the problem of linearization of nonlinear ODEs
88: has attracted a lot of attention in the literature. The conditions
89: of point and contact linearizability of second and third order
90: ODEs were first studied by Lie \cite{Lie}, see also \cite{CRCH1}
91: (p. 38), \cite{CRCH3} (p. 202), \cite{Doubrov, EWLE, Ibragimov}
92: and references therein. A short remark on `integration via
93: differentiation' can be found in Kamke \cite{Kam}, sect. 4.14. We
94: emphasize that in this paper we are concerned with a different
95: concept of `linearizability on differentiation'. Notice that while the
96: linearizability by point or contact transformations
97: is closely connected with symmetry properties of the equation, this
98: is not true in our case: the symmetry group of the
99: original nonlinear equation can be trivial, becoming non-trivial for a linear
100: equation obtained on differentiation.
101:
102:
103:
104:
105: \section{Examples}
106:
107: \noindent{\bf Example 1}.
108: As shown in \cite{Hoppe}, the construction of `follyton' solutions of a nonlinear system associated with a fourth order self-adjoint spectral problem, reduces to an ODE
109: $$
110: u''''u-u'''u'+\frac{1}{2}u''^2=\frac{1}{2}c^4u^2,
111: $$
112: $c=const$. On differentiation this equation becomes linear, $u'''''=c^4u'$, with the general solution
113: $$
114: u=a_0+a_1\sinh{cx}+a_2\cosh{cx}+a_3\sin cx+ a_4 \cos cx.
115: $$
116: The substitution of this ansatz into the equation leads to a single quadratic relation among the coefficients,
117: $
118: -a_1^2+a_2^2+a_3^2+a_4^2=\frac{1}{2} a_0^2.
119: $
120:
121: \medskip
122:
123: \noindent{\bf Example 2}. The classification of integrable Hamiltonian hydrodynamic chains associated with the Kupershmidt-Manin bracket reduces, in a particular case, to a solution of the nonlinear ODE \cite{Fer1}
124: $$
125: \begin{array}{c}
126: (4c^2x^2 u'-12c^2x u -1-\alpha x+2cx^2)u''' +(\alpha-4c x +12c^2u +4c^2x u'-2c^2x^2 u'')u''+ \\
127: \ \\
128: (4c-8c^2 u')u' -\frac{1}{2} =0,
129: \end{array}
130: $$
131: here $c, \alpha$ are arbitrary constants. Remarkably, this complicated equation linearizes on differentiation, taking the form
132: $$
133: (4c^2x^2 u'-12c^2x u -1-\alpha x+2cx^2)u''''=0.
134: $$
135: Leaving aside the possibility that the coefficient at $u''''$ equals zero (see \cite{Fer1} for a complete analysis), we
136: conclude that $u$ must be a cubic polynomial,
137: $$
138: u=a_0 +a_1 x + a_2 x^2+a_4 x^3,
139: $$
140: where the constants satisfy a single relation $12a_4-8ca_1+16c^2(a_1^2-3a_2 a_0)-4a_2 \alpha+1=0$.
141:
142: \medskip
143:
144: \noindent{\bf Example 3}. Another subclass of integrable hydrodynamic chains from \cite{Fer1} is governed by the ODE
145: $$
146: 8x^2u'''u'+8xu''u'-4x^2u''^2-u'^2-12u=0
147: $$
148: which linearizes on differentiation,
149: $$
150: 8x^2u''''+24xu'''+6u''-12=0.
151: $$
152: The general solution is given by the formula
153: $$
154: u=x^2+a_0+a_1 x+a_2 x^{1/2}+a_3 x^{3/2}
155: $$
156: where the constants satisfy a single quadratic relation
157: $12a_0+a_1 ^2 -3a_2a_3=0$.
158:
159: \medskip
160:
161: \noindent{\bf Example 4}. One of the versions of equations of associativity \cite{Dubr} reads as
162: $$
163: F_{\xi \xi \xi} F_{\eta \eta \eta}-F_{\xi \xi \eta}F_{\xi \eta \eta}=1.
164: $$
165: Looking for solutions in the form $F=\xi^3u(x), \ x= \eta/\xi$, one arrives at the ODE
166: $$
167: 6uu'''-4xu'u'''+2xu''^2-2u'u''=1,
168: $$
169: which takes the form $(6u-4xu')u''''=0$ after a differentiation. The case $u''''=0$ leads to the general solution
170: $$
171: u=a_0+a_1x+a_2x^2+a_3x^3
172: $$
173: where the constants satisfy a single quadratic relation $9a_0a_3-a_1a_2=1$. In terms of $F$ these solutions correspond to polynomials cubic in $\xi$ and $ \eta$. The case $6u-4xu'=0$ leads to $u=cx^{3/2}$. The corresponding $F$ is given by the formula $F=c(\xi \eta)^{3/2}$ where $c=i\frac{2\sqrt2}{3}$.
174:
175:
176:
177:
178:
179:
180:
181: \medskip
182:
183: \noindent{\bf Example 5}. The third order ODE,
184: \begin{equation}
185: u'''=s u''\frac{(s+1)u'-2x u''}{(s+1)((s+2)u-2x u')},
186: \label{s}
187: \end{equation}
188: $s=const$, arises in the classification of integrable Hamiltonian hydrodynamic chains associated with Kupershmidt's brackets \cite{Fer2}. It possesses a remarkable property: for parameter values $s=1, 2, 3, ...$ this equation linearizes on exactly $s$ differentiations. Thus,
189: for
190: %$s=0$ the equation takes the form $u'''=0$ with the general solution
191: %$$
192: %u=a_0+2a_1x+a_2x^2
193: %$$
194: %where $a_i$ are arbitrary constants. For
195: $s=1$ the differentiation of (\ref{s}) implies $u''''=0$, so that the general solution is
196: $$
197: u=a_0+3a_1x+3a_2x^2+a_3x^3,
198: $$
199: where the constants $a_i$ satisfy a single quadratic constraint $a_0a_3-a_1a_2=0$.
200: For $s=2$, differentiating (\ref{s}) twice, we arrive at $u^{(5)}=0$ with the general solution
201: $$
202: u=a_0+4a_1x+6a_2x^2+4a_3x^3+a_4x^4,
203: $$
204: where the constants $a_i$ satisfy a system of quadratic constraints
205: $$
206: a_0a_3-a_1a_2=0, ~~~ a_1a_4-a_2a_3=0, ~~~ a_0a_4-a_2^2=0;
207: $$
208: notice that these constraints specify a determinantal variety characterized by the requirement that the rank of the matrix
209: $$
210: \left(
211: \begin{array}{ccc}
212: a_0 & a_1 & a_2 \\
213: a_2& a_3 & a_4
214: \end{array}
215: \right)
216: $$
217: equals one. The mystery of this example is unveiled by the formula for its general solution,
218: $$
219: u=a(x+c)^{s+2}+b(x-c)^{s+2},
220: $$
221: which is valid for any $s$; here $a, b, c$ are arbitrary constants
222: (we thank A.P. Veselov for this observation).
223:
224:
225:
226:
227:
228: \section{Necessary and sufficient conditions for the linearizability}
229:
230:
231: In this section we demonstrate how to derive necessary and sufficient conditions for a non-linear ODE to linearize on one (or more) differentiations. The procedure is fairly straightforward and can be readily adapted to particular situations.
232:
233: \subsection{First order ODEs which linearize on one differentiation}
234:
235: Let us characterize first order equations
236: $$
237: u'=f(x, u)
238: $$
239: which imply a linear equation,
240: $$
241: u''=a(x)u'+b(x)u+c(x),
242: $$
243: on one differentiation. Thus, we have $f_x+f_uf=af+bu+c$. Differentiating
244: this relation twice with respect to $u$, and introducing $F=f_x+f_uf$, one obtains $F_{uu}=af_{uu}$. Differentiating this by $u$ once again one has $F_{uuu}=af_{uuu}$. Thus, the required linearizability condition takes the form
245: $$
246: F_{uuu}f_{uu}=f_{uuu}F_{uu};
247: $$
248: see Sect. 4 for the general (implicit) form of all such right hand sides $f(x, u)$ (formula (\ref{F12})).
249:
250:
251:
252:
253: \subsection{Second order ODEs which linearize on one differentiation}
254:
255: Let us characterize second order equations
256: $$
257: u''=f(x, u, p), ~~~ p=u',
258: $$
259: which imply a linear equation,
260: $$
261: u'''=a(x)u''+b(x)u'+c(x)u+k(x),
262: $$
263: on one differentiation. Thus, we have $f_x+f_up+f_pf=af+bp+cu+k$. Applying to this relation the operators $\partial_u^2, \ \partial_u\partial_p, \ \partial_p^2$, and introducing $F=f_x+f_up+f_pf$, one obtains
264: $$
265: F_{uu}=af_{uu}, ~~~ F_{up}=af_{up}, ~~~F_{pp}=af_{pp},
266: $$
267: or, equivalently, $d^2F=a d^2f$ (here the second symmetric differential $d^2$ is calculated with respect to $u$ and $p$ only). Differentiating this once again by $u$ and $p$ one obtains $d^3F=a d^3f$. Thus, the required linearizability condition takes the form
268: $$
269: d^3F\ d^2f=d^3f\ d^2F.
270: $$
271:
272: \subsection{First order ODEs which linearize on two differentiations}
273:
274: Here we characterize first order equations
275: $$
276: u'=f(x, u)
277: $$
278: which imply a linear equation
279: $$
280: u'''=a(x)u''+b(x)u'+c(x)u+k(x)
281: $$
282: after two differentiations. Introducing $F=f_x+f_uf$ and $G=F_x+F_uf$, we have
283: $G=aF+bf+cu+k$. Differentiating this twice with respect to $u$ one obtains $G_{uu}=aF_{uu}+bf_{uu}.$
284: This implies $G_{uuu}=aF_{uuu}+bf_{uuu}$ and $G_{uuuu}=aF_{uuuu}+bf_{uuuu}$. Thus, the required condition is
285: $$
286: \mbox{det} \left[ \begin{array}{ccc}
287: G_{uu} & F_{uu} & f_{uu} \\
288: G_{uuu} & F_{uuu} & f_{uuu} \\
289: G_{uuuu} & F_{uuuu} & f_{uuuu}
290: \end{array}
291: \right]=0.
292: $$
293: In all of the above examples, the linearizability is characterized by differential relations which must be satisfied by the right hand side of the equation. As we demonstrate in the next section, these differential equations can be integrated in closed form, leading to (implicit) representation for all linearizable equations.
294:
295:
296:
297:
298: \section{General form of linearizable equations}
299:
300: All equations linearizable by a differentiation can be obtained by imposing functional
301: relations among first integrals of linear equations. Since the
302: first integrals can be parametrized explicitly by arbitrary
303: functions of the independent variable $x$, this provides a general
304: formula for equations which linearize on differentiation.
305:
306: \noindent {\bf Example 6.} Let us describe all ODEs which reduce to
307: $u''''=0$ after one or two differentiations. The basis of first
308: integrals consists of
309: %$$
310: %I_1=u'', ~~~ I_2=xu''-u', ~~~ I_3=\frac{x^2}{2}u''-xu'+u.
311: %$$
312: \begin{equation}
313: I_1=u''', ~~~ I_2=xu'''-u'', ~~~ I_3=x^2u'''-2xu''+2u', ~~~
314: I_4=x^3u'''- 3x^2u''+6xu'-6u. \label{I4}
315: \end{equation}
316: %Any second order equation which reduces to $u'''=0$ after one
317: %differentiation can be represented by a single relation among the
318: %first integrals,
319: %$$
320: %F(I_1, I_2, I_3)=0.
321: %$$
322: %Any first order equation which reduces to $u'''=0$ after two differentiations can be represented in implicit form by two relations,
323: %$$
324: %F(I_1, I_2, I_3)=0, ~~~ G(I_1, I_2, I_3)=0;
325: %$$
326: %one has to eliminate $u''$ to obtain the required first order equation.
327: Any third order equation which reduces to $u''''=0$ after one
328: differentiation can be represented by a single relation among the
329: first integrals,
330: $$
331: F(I_1, I_2, I_3, I_4)=0.
332: $$
333: Any second order equation which reduces to $u''''=0$ after two
334: differentiations can be represented in implicit form by two
335: relations,
336: $$
337: F(I_1, I_2, I_3, I_4)=0, ~~~ G(I_1, I_2, I_3, I_4)=0;
338: $$
339: one has to eliminate $u'''$ to obtain the required second order
340: equation.
341: \medskip
342:
343: In general, let us consider a linear ODE
344: \begin{equation}
345: L[u] \equiv u^{(n)}+b_{1}(x)u^{(n-1)}+\dots+b_{n-1}(x)u^{\prime}+
346: b_{n}(x)u=b(x) \label{L}.
347: \end{equation}
348: Let $f_0(x)$ be its particular solution, and let $f_1(x),\dots,
349: f_n(x)$ be a fundamental system of solutions (FSS) of the
350: corresponding homogeneous equation. A complete set of first
351: integrals for the equation (\ref{L}) can be taken in the form
352: \begin{equation} I_{i}[u]=\frac {W[f_{1},\,
353: ...\,,f_{i-1},u-f_0,f_{i+1},\, ... \,,f_{n}] }{ W[f_{1},\, ...
354: \,,f_{n}]},\quad i=1,\, ... \,,n, \label{FI}
355: \end{equation}
356: where $W[ \cdot \,]$ denotes the Wronskian of the functions
357: indicated in square brackets. Indeed, for an arbitrary solution
358: $f(x)=f_0(x)+a_1 f_1(x)+ ... + a_n f_n(x)$ we have $I_i [f(x)] =
359: a_i$ for $i=1,\, ... \,,n$, i.e., all $\{I_i\}$ take constant values.
360: Applying (\ref{FI}) to the equation $u''''=0$ with $f_0(x)=0$,
361: $f_i(x)=x^{i-1}$, $i=1,...,4$, one obtains first integrals which
362: coincide with (\ref{I4}) up to constant factors.
363:
364:
365: For example, in the case $n=2$ the general form of
366: first order equations linearizable by one differentiation is
367: represented via arbitrary functions $f_0(x)$, $f_1(x)$,
368: $f_2(x)$ and $F$ as
369: \begin{equation}
370: F(I_1[u], I_2[u])=0
371: \label{F12}
372: \end{equation}
373: where
374: $$
375: %\begin{array}{c}
376: \matrix{
377: I_{1}[u]=\frac {W[u-f_0,f_{2}] }{
378: W[f_{1},f_{2}]}=\frac {(u-f_0) f'_{2} - (u-f_0)' f_{2} }{f_1 f'_2
379: - f'_1 f_{2}}, \quad %\cr \cr
380: I_{2}[u]=\frac{W[f_{1},u-f_0] }{ W[f_{1},f_{2}]}=\frac{ - (u-f_0) f'_1 + (u-f_0)' f_1 }{f_1 f'_2 - f'_1
381: f_{2}}.
382: }
383: %\end{array}
384: $$
385: The differentiation of (\ref{F12}) yields
386: $$
387: \frac {- f_2 F_{I_{1}} + f_1 F_{I_{2}}}{(W[f_{1},f_{2}])^2} \Bigl(
388: (u-f_0)''W[f_{1},f_{2}] - (u-f_0)'(W[f_1,f_2])' + (u-f_0)
389: W[f'_1,f'_2] \Bigr)=0,
390: $$
391: leading to the linear equation
392: $$
393: W[f_1,f_2,u-f_0]=0, \quad \mbox{or} \quad W[f_1,f_2,u] =
394: W[f_1,f_2,f_0].
395: $$
396: This construction generalizes to the case of arbitrary $n$ in a straightforward way.
397: %%Let us now consider inhomogeneous equation
398: %%\begin{equation}
399: %%L[u] = b(x)
400: %% \label{Lb}
401: %%\end{equation}
402: %%corresponding to (\ref{L}). Let $f_0(x)$ be its particular
403: %%solution. Then a complete set of first integrals is written down
404: %%as
405: %%\begin{equation}
406: %%\tilde{I}_{i}[u]=I_{i}[u-f_0]=\frac {W[f_{1},\,
407: %%...\,,f_{i-1},u-f_0,f_{i+1},\, ... \,,f_{n}] }{ W[f_{1},\, ...
408: %%\,,f_{n}]},\quad i=1,\, ... \,,n. \label{FIb}
409: %%\end{equation}
410: In particular, equation (\ref{F12}) provides the general (implicit) form for
411: equations discussed in the Subsection 3.1. Similar representations
412: can be obtained for all other cases from Section 3.
413:
414:
415:
416: The linear span of the functions $f_{i}(x)$,
417: \begin{equation}
418: W_{n}={\it L}\{f_{1}(x),\dots,f_{n}(x)\},
419: \label{W}
420: \end{equation}
421: represents the linear space of solutions to the homogeneous equation
422: $L[u]=0$ corresponding to (\ref{L}).
423: The space $W_{n}$ is said to be invariant with respect to a
424: differential operator $F$, if $F[W_{n}] \subseteq W_{n}$. A
425: systematic study of operators preserving a given subspace was
426: initiated in \cite{Gal} in the context of constructing explicit
427: solutions for nonlinear evolution equations. The general form of
428: operators preserving the subspace (\ref{W}) is given by
429: \begin{equation}
430: F[u]=\sum_{i=1}^{n} A^{i}(I_{1},\dots,I_{n})f_{i}(x), \label{F}
431: \end{equation}
432: where $A^{i}(I_{1},\dots,I_{n})$ are arbitrary functions of the
433: first integrals of the equation $L[u]=0$ % (\ref{L}) with $b(x)=0$
434: (see \cite{Svr} and \cite{GalSvr} for more details). Given an
435: operator $F$ of the form (\ref{F}), we introduce the equation
436: \begin{equation}
437: F[u]=0,
438: \label{F0}
439: \end{equation}
440: and look for its solutions in the form (\ref{u}). The substitution of
441: (\ref{u}) into (\ref{F0}) yields the identity
442: $$
443: \sum_{i=1}^{n} A^{i}(I_{1},\dots,I_{n})f_{i}(x)=0
444: $$
445: implying that
446: \begin{equation}
447: A^{i}(I_{1},\dots,I_{n})=0 ~~ \mbox{for} ~~ i=1,...,n. \label{A}
448: \end{equation}
449: This system imposes relations on the coefficients $a_i$.
450:
451:
452: Most of the previous examples fit into this scheme. For instance,
453: the equations from examples 2 and 4 are written via the first
454: integrals (\ref{I4}) as
455: $$
456: F[u] \equiv 2C^2(I_4I_2-I_3^2)+2CI_3-I_1-\alpha I_2-\frac{1}{2}=0
457: $$
458: and
459: $$
460: F[u] \equiv -I_4 I_1+I_3 I_2 - 1 = 0,
461: $$
462: respectively, where $I_i$ are given by (\ref{I4}). In both cases
463: the system (\ref{A}) reduces to a single relation.
464:
465: Similarly, for the equation (\ref{s}) rewritten as
466: \begin{equation}
467: F_s[u] \equiv (s+1)[(s+2)u'''u-su''u']-2x[(s+1)u'''u'-su''^2]=0,
468: \label{Fs}
469: \end{equation}
470: one obtains, for $s=1$,
471: $$
472: F_1[u] \equiv \frac{1}{2} ( I_2I_3 - I_1I_4 ) = 0;
473: $$
474: this again leads to a single relation (\ref{A}).
475: In the case $s=2$ we have a representation
476: \begin{equation}
477: F_2[u] \equiv \frac{1}{2} [ (I_2I_3 -I_1I_4) x^2 + (I_1I_5
478: -I_3^2) x + (I_3I_4 -I_2I_5) ] = 0 \label{s2}
479: \end{equation}
480: via the first integrals $I_1,...,I_5$ of the equation $u^{(5)}=0$. In
481: this case the system (\ref{A}) formally consists of three relations,
482: $$
483: I_2I_3 -I_1I_4 = 0, ~~~ I_1I_5 -I_3^2 = 0, ~~~ I_3I_4 -I_2I_5 = 0,
484: $$
485: however, only two of them are functionally independent.
486:
487: %%\noindent {\bf Remark 1.} In the last case, $s=2$, the expressions
488: %%$$
489: %%J_i = xI_i - I_{i+1}, ~~~ i=1,...,4,
490: %%$$
491: %%see \cite{Svr2}, are of the order three, and satisfy the condition $D^2 J_i \equiv 0$,
492: %%where $D$ is the operator of total differentiation with respect to $x$ by
493: %%virtue of $u^{(5)}=0$. In terms of $J_i$, the operator $F_2$
494: %%from (\ref{s2}) is rewritten as
495: %%$$
496: %%F_2[u] = \frac {1}{2} (J_2J_3 - J_1J_4).
497: %%$$
498:
499: \noindent {\bf Remark.} In accordance with \cite{Svr2}, every
500: operator (\ref{F}) of the order $n-1-k$, admitted by the equation
501: \begin{equation}
502: u^{(n)}=0,
503: \label{un}
504: \end{equation}
505: is expressed in terms of the differences
506: \begin{equation}
507: J^k_i = x J^{k-1}_{i}-J^{k-1}_{i+1}, \quad i=1,\dots,n-k,
508: \label{J}
509: \end{equation}
510: with $J_i^0 \equiv I_i$, $i=1,\dots,n$ ( $I_i$ are first integrals
511: for (\ref{un})). All these expressions are of the order $n-1-k$,
512: and satisfy the identity $D^{k+1} J^k_i = 0$ on solutions of the
513: equation (\ref{un}). Setting $n=s+3$, $k=s-1$, we obtain that any
514: third-order operator admitted by the equation $u^{(s+3)}=0$ is
515: defined via the functions $J^{s-1}_i$, $i=1,\dots,4$. For
516: instance, the operator $F_s$ from (\ref{Fs}) is represented as
517: $$
518: F_s[u] = \frac {1}{2} (J_2^{s-1}J_3^{s-1} - J_1^{s-1}J_4^{s-1}).
519: %\quad s \geq 1.
520: $$
521: %for arbitrary $s \geq 1$.
522:
523:
524:
525:
526:
527:
528:
529:
530: \section{Acknowledgements}
531: We thank A Aksenov, V Galaktionov, J Hoppe, N Ibragimov and A Veselov for clarifying discussions and interest. The research of SRS was supported by the RFBR grant 06-01-00707.
532:
533: \begin{thebibliography}{99}
534: \addcontentsline{toc}{section}{References}
535:
536: \bibitem{CRCH1}
537: %W.F.~Ames, R.L.~Anderson, V.A.~Dorodnitsyn, E.V.~Ferapontov, R.K.~Gazizov,
538: % N.H. Ibragimov, and S.R.~Svirshchevskii,
539: %% N.H.~Ibragimov (Ed.),
540: {\em CRC Handbook of Lie Group
541: Analysis of Differential Equations}, Vol.~{\bf 1}:~{\em
542: Symmetries, Exact Solutions and Conservation Laws},
543: Ibragimov, N.H., Ed., CRC Press, Boca Raton, FL,~1994.
544:
545: \bibitem{CRCH3}
546: %R.L.~Anderson, V.A.~Baikov, R.K.~Gazizov, W.~Hereman
547: % N.H. Ibragimov, F.M.~Mahomed, S.V.~Meleshko, M.C.~Nucci, P.J.~Olver, M.B.~Sheftel', A.V.~Turbiner, and E.M.~Vorob'ev,
548: {\em CRC Handbook of Lie Group
549: Analysis of Differential Equations}, Vol.~{\bf 3}:~{\em New Trends
550: in Theoretical Developments and Computational Methods},
551: Ibragimov, N.H., Ed., CRC Press, Boca Raton, FL,~1996.
552:
553: \bibitem{Doubrov} B. Doubrov, Contact trivialization of ordinary differential equations. Differential geometry and its applications (Opava, 2001), 73--84, Math. Publ., 3, Silesian Univ. Opava, Opava, 2001.
554:
555: \bibitem{Dubr} B.A. Dubrovin, Geometry of 2D topological field
556: theories, Lect. Notes in Math, {\bf 1620}, Springer-Verlag (1996) 120-348.
557:
558: %\bibitem{Drach} J. Drach, Comptes Rendus de l'Acad\'mie des Sciences {\bf 168} (1919) 337-340.
559:
560: \bibitem{EWLE} N.~Euler, T.~Wolf, P.G.L.~Leach, M.~Euler, Linearisable third order
561: ordinary differential equations and generalised Sundman
562: transformations, Acta Appl. Math. {\bf 76}, no. 1 (2003) 89--115.
563:
564: \bibitem{Fer1} E.V. Ferapontov and D.G. Marshall, Differential-geometric approach to the integrability of hydrodynamic chains: the Haantjes tensor, arXiv:nlin.SI/0505013.
565:
566: \bibitem{Fer2} E.V. Ferapontov, K.R. Khusnutdinova, D.G. Marshall and M.V. Pavlov, Integrable hydrodynamic chains associated with Kupershmidt's brackets,
567: J. Math. Phys. {\bf 47}, no. 10 (2006).
568:
569:
570:
571: \bibitem{Gal} V.A.~Galaktionov, {Invariant subspaces and new
572: explicit solutions to evolution equations with quadratic
573: nonlinearities,} {\em Proc. Roy. Soc. Edinburgh, Sect.~A,} {\bf
574: 125} (1995), 225--246.
575:
576: \bibitem{GalSvr} V.A.~Galaktionov and S.R.~Svirshchevskii, {\em Exact Solutions and Invariant Subspaces of Nonlinear Partial Differential
577: Equations in Mechanics and Physics}, Chapman and Hall/CRC, Boca Raton, Florida, 2006.
578:
579: \bibitem{Hoppe} J. Hoppe, A. Laptev and J. Ostensson, Follytons and the removal of eigenvalues for fourth order differential operators, Int. Math. Res. Not. 2006, Art. ID 85050, 14 pp; arXiv:math-ph/0311011.
580:
581: \bibitem{Ibragimov} N.H. Ibragimov and S.V. Meleshko, Linearization of third-order ordinary differential equations by point and contact transformations, J. Math. Anal. Appl. {\bf 308}, no. 1 (2005) 266--289.
582:
583: %\bibitem{Ibr} N.H.~Ibragimov, {\em Elementary Lie Group Analysis
584: %and Orinary Differential Equations}, John Wiley \& Sons Ltd,
585: %Chichester, England, 1999.
586:
587: \bibitem{Kam} E.~Kamke, {\em Differentialgleichungen (L\"{o}sungsmethoden und L\"{o}sungen),
588: I. Gew\"{o}hnliche Differentialgleichungen}, 6, Verbesserte
589: Auflage, Leipzig, 1959.
590:
591: %\bibitem{Lie} S.~Lie, {Klassifikation und Integration von gew\"{o}hnlichen Differentialgleichungen zwischen x,
592: %y, die eine Gruppe von Transformationen gestatten}, {\em Arch.
593: %f\"{u}r Math.,} {\bf VIII} (1883), 187.
594:
595: %\bibitem{Lie} S. Lie, Klassifikation und Integration von gew\"ohnlichen Differentialgleichungen zwishen $x, y$,
596: %die eine Gruppe von Transformationen gestaten. III, Gesammelte Abhandlungen, {\bf 5}, paper XIV %(1924) 362-427.
597:
598: \bibitem{Lie} S.~Lie, {Klassifikation und Integration von gew\"{o}hnlichen Differentialgleichungen zwischen x,
599: y, die eine Gruppe von Transformationen gestatten}, {\em Arch.
600: f\"{u}r Math.,} {\bf VIII} (1883), 187. (Reprinted in S.~Lie,
601: Gesammelte Abhandlungen, {\bf 5}, paper XIV (1924) 362-427.)
602:
603:
604: %\bibitem{NemStep} V.V. Nemytskii and V.V. Stepanov, Qualitative
605: %Theory of Differential Equations, New York, Dover, 1989.
606:
607: \bibitem{Svr} S.R.~Svirshchevskii, Lie-B\"acklund symmetries of linear
608: ODEs and generalized separation of variables in nonlinear
609: equations, {\em Phys. Lett. A} {\bf 199} (1995) 344--348.
610:
611: \bibitem {Svr2} S.R.~Svirshchevskii, Ordinary differential operators
612: possessing invariant subspaces of polynomial type, {\em Commun.
613: Nonlinear Sci. Numer. Simul.} {\bf 9} (2004) 105--115.
614:
615: \end{thebibliography}
616: \end{document}
617:
618:
619:
620:
621:
622: Drach:
623:
624:
625: The linear equation
626: $$
627: R'''-4(u+\lambda)R'-2u'R=0
628: $$
629: arises in the theory of KdV equation. It was noticed in \cite{Drach} that this equation possesses a quadratic integral
630: \begin{equation}
631: -\frac{1}{2}RR''+\frac{1}{4}R'^2+(u+\lambda)R^2=\mu^2,
632: \label{S}
633: \end{equation}
634: $ \mu=const$. Thus, the second order equation (\ref{S}) linearises after a differentiation.
635: