1: \documentclass{jnmp}
2:
3: \usepackage{amsmath}
4: \usepackage{cite}
5: \setcounter{page}{1}
6:
7: \JNMPnumberwithin{equation}{section}
8:
9: \begin{document}
10:
11: \renewcommand{\evenhead}{Extended Prelle-Singer Method}
12: \renewcommand{\oddhead}{V K Chandrasekar, M Senthilvelan and M Lakshmanan}
13:
14:
15: \thispagestyle{empty}
16:
17: \copyrightnote{2004}{M.~Lakshmanan}
18:
19: \Name{Extended Prelle-Singer Method and Integrability/Solvability of a Class of
20: Nonlinear $n$th Order Ordinary Differential Equations
21: \footnote{Article dedicated to Professor F. Calogero on his $70^{th}$ birthday}}
22:
23: \label{firstpage}
24:
25: \Author{V K Chandrasekar, M Senthilvelan and M Lakshmanan}
26:
27: \Address{Centre for Nonlinear Dynamics, Bharathidasan University \\
28: Tiruchirapalli - 620 024, India \\
29: ~~E-mail: sekar@cnld.bdu.ac.in, senthilvelan@cnld.bdu.ac.in,
30: lakshman@cnld.bdu.ac.in
31: \\}
32:
33: \Date{\today}
34:
35:
36:
37: \begin{abstract}
38: \noindent
39: We discuss a method of solving $n^{th}$ order scalar ordinary differential
40: equations by extending the ideas based on the Prelle-Singer (PS) procedure for
41: second order ordinary differential equations. We
42: also introduce a novel way of generating additional integrals of motion from a single
43: integral. We illustrate the theory for both second and third order equations
44: with suitable examples. Further, we extend the method to two coupled second
45: order equations and apply the theory to two-dimensional Kepler problem and
46: deduce the constants of motion including Runge-Lenz integral.
47: \end{abstract}
48:
49:
50:
51: % The paper
52: %
53: \section{Introduction}
54: During the past two decades or so immense interest has been shown in identifying
55: integrable/solvable nonlinear dynamical systems. Different ideas
56: have been developed or employed in isolating such nonlinear ordinary/partial
57: differential equations \cite{Lakshmanan}. Focussing our attention on ordinary differential
58: equations (ODEs), one finds that using certain novel ideas, Calogero and his
59: coworkers have
60: generated a wide class of integrable/solvable nonlinear systems and explored
61: their underlying features \cite{Calogero1,Calogero3, Calogero2}. In this paper we
62: introduce another straightforward method of identifying
63: such solvable and/or integrable equations. To do so we employ the extended
64: Prelle-Singer (PS) procedure \cite{Prelle}.
65:
66: Sometime ago Prelle and Singer \cite{Prelle} have proposed a
67: procedure for solving first order ODEs that presents the solution in terms
68: of elementary functions if such a solution exists. The attractiveness
69: of the PS method is that if the given system of first order ODEs has a solution
70: in terms of elementary functions then the method guarantees that this solution
71: will be found. Very recently Duarte et al \cite{Duarte} have modified
72: the technique developed by Prelle and Singer \cite{Prelle} and applied
73: it to second order ODEs.
74: Their approach was based on the conjecture that if an elementary solution
75: exists for the given second order ODE then there exists at least one
76: elementary first integral $I(t,x,\dot{x})$ whose derivatives are all
77: rational functions of $t$, $x$ and $\dot{x}$. For a class of
78: systems these authors have deduced first
79: integrals and in some cases for the first time through their procedure
80: \cite{Duarte}. Recently
81: the present authors have generalized the theory given in \cite{Duarte}
82: and pointed out a
83: procedure to obtain all the integrals of motion/general solution and solved a
84: class of nonlinear equations \cite{Chand1, Chand2, Chand3}.
85:
86: The PS procedure has many attractive features. For a large class of integrable
87: systems, this procedure provides the integrals of motion/general solution in a
88: straightforward way. In fact this is true for any order. The PS method not only
89: gives the first integrals but also the underlying integrating factors. Further,
90: like Lie-symmetry analysis and Noether's theorem the PS method can also used to
91: solve linear as well as nonlinear ODEs. In addition to the above, the PS
92: procedure is applicable to deal with both Hamiltonian and non-Hamiltonian
93: systems.
94:
95: In this paper we extend the above theory \cite{Duarte, Chand1, Chand2, Chand4}
96: to $n^{th}$ order scalar
97: ODEs and derive a relation which connects integrals of motion with the
98: integrating factors. We demonstrate the method to second and third order ODEs.
99: We also introduce a novel way of generating all the integrals of motion from a single
100: integral, {\it which is applicable to a class of ODEs}, and demonstrate
101: our ideas by considering the previous examples. Finally, we prolong the
102: method to two coupled second order ODEs.
103:
104: We note here that several works have been undertaken earlier to study and
105: classify systematically the $n$th order ODEs based on different ideas. To name
106: a few, besides the works of Calogero \cite{Calogero1, Calogero3}, we cite,
107: Lie symmetry approach \cite{Ibragimov1,Ibragimov2,Mahomed, Olver},
108: the method of Bluman and Anco \cite{Anco, Bluman},
109: Painlev\'e analysis \cite{Lakshmanan, Lakshmanan1} and
110: so on.
111:
112: The organization of the material is as
113: follows. In the following section we extend the theory of modified PS method to
114: $n^{th}$ order ODEs. In Sec.3, we describe a procedure to generate second, third
115: and higher integrals of motion from a single integral, provided the first
116: integral can be written in certain specific form. In Secs.~4 and 5,
117: respectively, we
118: demonstrate the theory to second and third order ODEs with suitable examples. In
119: Sec. 6, we briefly discuss the application of PS procedure to higher order ODEs.
120: In
121: Sec.~7 we prolong the theory to two-coupled second order ODEs and illustrate the
122: theory with an example, namely the two-dimensional Kepler problem. We give our
123: final remarks in Sec.~8.
124:
125: \section{Prelle-Singer Procedure}
126: \label{sec2}
127: Let us consider a class of $n^{th}$ order ODEs of the form
128: \begin{eqnarray}
129: x^{(n)}=\frac{P}{Q},\qquad {P,Q}\in C{[t,x,x^{(1)},x^{(2)},...,x^{(n-1)}]},
130: \label{net1}
131: \end{eqnarray}
132: where $x^{(1)}=\frac{dx}{dt},x^{(2)}=\frac{d^2x}{dt^2}$ and $x^{(n)}=\frac{d^nx}{dt^n}$
133: and $P$ and $Q$
134: are polynomials in $t,x,x^{(1)},x^{(2)},$ $..., x^{(n-2)}$ and $x^{(n-1)}$ with
135: coefficients in the
136: field of complex numbers. Let us assume that the ODE (\ref{net1})
137: admits a first integral $I(t,x,x^{(1)},x^{(2)},...,x^{(n-1)})=C,$ with $C$ constant on the
138: solutions, so that the total differential gives
139: \begin{eqnarray}
140: dI={I_t}{dt}+{I_{x}}{dx}+{I_{x^{(1)}}}{dx^{(1)}}
141: +\ldots +{I_{x^{(n-1)}}{dx^{(n-1)}}}=0,
142: \label{net3}
143: \end{eqnarray}
144: where subscript denotes partial differentiation with respect
145: to that variable. Rewriting equation~(\ref{net1}) of the form
146: $\frac{P}{Q}dt-dx^{(n-1)}=0$ and adding null terms
147: $S_1(t,x,x^{(1)},...,x^{(n-1)})$ $x^{(1)}dt-S_1(t,x,x^{(1)},...,x^{(n-1)})dx $ and
148: $S_i(t,x,x^{(1)},...,x^{(n-1)})x^{(i)}dt-S_i(t,x,x^{(1)},...,x^{(n-1)})$ $dx^{(i-1)}
149: ,\;i=2,3,...n-1$,
150: to it we obtain that on the solutions the 1-form
151: \begin{eqnarray}
152: \bigg(\frac{P}{Q}+\sum_{i=1}^{n-1}S_i x^{(i)}\bigg)dt-S_1dx
153: -\sum_{i=2}^{n-1}S_i dx^{(i-1)}-dx^{(n-1)}= 0.
154: \label{net6}
155: \end{eqnarray}
156: Hence, on the solutions, the 1-forms (\ref{net3}) and
157: (\ref{net6}) must be proportional. Multiplying (\ref{net6}) by the
158: factor $ R(t,x,x^{(1)},...,x^{(n-1)})$ which acts as the integrating factor
159: for (\ref{net6}), we have on the solutions that
160: \begin{eqnarray}
161: dI=R\bigg[\bigg(\phi+\sum_{i=1}^{n-1}S_i x^{(i)}\bigg)dt-S_1dx
162: -\sum_{i=2}^{n-1}S_idx^{(i-1)}-dx^{(n-1)}\bigg]= 0,
163: \label{net7}
164: \end{eqnarray}
165: where $ \phi\equiv {P}/{Q}$. Comparing equations (\ref{net3})
166: with (\ref{net7}) we have, on the solutions, the relations
167: \begin{eqnarray}
168: I_{t} = R(\phi+\sum_{i=1}^{n-1}S_i x^{(i)}),
169: \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\nonumber\\
170: I_{x} = -RS_1,
171: \;\;\;\;\;\;\;\;\;\;\;\; \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\nonumber\\
172: I_{x^{(i)}} = -RS_{i+1},\;\;i=1,2,\ldots,n-2, \;\nonumber\\
173: I_{x^{(n-1)}} = -R.
174: \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;
175: \label{net8}
176: \end{eqnarray}
177: The compatibility conditions,
178: $I_{tx}=I_{xt}$, $I_{tx^{(n-1)}}=I_{{x^{(n-1)}}t}$, $I_{xx^{(n-1)}}=I_{{x^{(n-1)}}x}$,
179: $I_{t{x^{(i)}}}=I_{{x^{(i)}}t}$, $I_{x{x^{(i)}}}=I_{{x^{(i)}}x}$,
180: $I_{{x^{(i)}}x^{(n-1)}}=I_{x^{(n-1)}{x^{(i)}}}$, $i=2,3,\ldots,n-2$, between the
181: equations (\ref{net8}), provide us the conditions
182: \begin{eqnarray}
183: D[S_1] & = -\phi_x+S_1\phi_{x^{(n-1)}}+S_1S_{n-1},
184: \qquad \qquad \qquad \qquad \qquad \qquad\;\; \label{net9}\\
185: D[S_i] & = -\phi_{x^{(i-1)}}+S_i\phi_{x^{(n-1)}}+S_iS_{i+1}-S_{i-1},
186: \;i=2,3,\dots,n-2,\label{net10}\\
187: D[S_{n-1}]&=-\phi_{x^{(n-2)}}+S_{n-1}\phi_{x^{(n-1)}}+S_{n-1}^2-S_{n-2}
188: , \qquad \qquad \qquad \quad \;\;\label{net11}\\
189: D[R] &= -R(S_{n-1}+\phi_{x^{(n-1)}}),
190: \qquad \qquad \qquad \qquad \qquad \qquad \qquad \quad\;\;\label{net12}\\
191: R_{x^{(i)}}S_1 & = -R{S_{1}}_{x^i}+R_{x}S_{i+1}+R{S_{i+1}}_{x},
192: \;\;i=1,2,\dots,n-2, \quad \qquad\; \label{net13}\\
193: R_{x^{(i)}}S_{j+1} & = -R{S_{j+1}}_{x^{(i)}}+R_{x^j}S_{i+1}+R{S_{i+1}}_{x^j},
194: \;\;i,j=1,2,\dots,n-2,\;\; \label{net14}\\
195: R_{x^{(i)}} & = R_{x^{(n-1)}}S_{i+1}+R{S_{i+1}}_{x^{(n-1)}},
196: \;\;i=1,2,\dots,n-2, \qquad \qquad \;\;\label{net15}\\
197: R_x & = R_{x^{(n-1)}}S_1+R{S_{1}}_{x^{(n-1)}},
198: \qquad \qquad \qquad \qquad \qquad \qquad \qquad \quad \label{net16}
199: \end{eqnarray}
200: where the total differential operator $D$ is defined by
201: \begin{eqnarray}
202: D=\frac{\partial}{\partial{t}}+
203: x^{(1)}\frac{\partial}{\partial{x}}
204: +\sum_{i=2}^{n}x^{(i)}\frac{\partial}{\partial{x^{(i-1)}}}.
205: \nonumber
206: \end{eqnarray}
207:
208: We note that (\ref{net9})-(\ref{net16}) form an overdetermined system for
209: the unknowns, $S_i,\;i=1,\dots,n-1$, and $R$. For example, one can check that
210: for a
211: second order ODE, $n=2$, one gets three equations for two unknowns, say, $S$ and
212: $R$, whereas for a third order ODE one gets six equations for
213: three unknowns, say, $S_1$, $S_2$ and $R$. Thus in this procedure, for a given $n^{th}$ order
214: ODE, one gets $\frac{n(n+1)}{2}$ number of equations, for $n$ unknowns, out of
215: which $\frac{n(n-1)}{2}$ equations are just extra constraints.
216:
217: The crux of the problem lies in solving the determining equations and
218: identifying sufficient number of integrating factors and null forms.
219: But the point is that any particular solution will suffice for the purpose.
220: We solve equations~(\ref{net9})-(\ref{net16})
221: in the following way.
222: Substituting the expression for $\phi=\frac{P}{Q}$, obtained from
223: equation~(\ref{net1}), into (\ref{net9})-(\ref{net11})
224: we get a system of differential equations for the unknowns $S_i,\;i=1,\dots,n-1$.
225: Solving
226: them we can obtain expressions for the null forms $S_i$'s. Once $S_i$'s are
227: known then
228: equation~(\ref{net12}) becomes the determining equation for the function $R$.
229: Solving the latter we can get an explicit form for $R$.
230: Now the functions $R$ and $S_i,\;i=1,\dots,n-1$, have to satisfy the extra constraints
231: (\ref{net13})-(\ref{net16}).
232: However, once a compatible solution satisfying all the equations have
233: been found then the functions $R$ and $S_i,\;i=1,2,\dots,n-1$, fix the first
234: integral $I(t,x,x^{(1)},...,x^{(n-1)})$ by the relation
235: \begin{eqnarray}
236: I(t,x,x^{(1)},...,x^{(n-1)}) = \sum_{i=1}^{n}r_i-\int\left[R+\frac{d}{dx^{(n-1)}}
237: \left(\sum_{i=1}^{n}r_i
238: \right)\right]dx^{(n-1)},
239: \label{net17}
240: \end{eqnarray}
241: where
242: \begin{eqnarray}
243: r_1 & = \int R\bigg(\phi+\sum_{i=1}^{n-1}S_i x^{(i)}\bigg)dt,
244: \qquad \qquad \qquad \qquad \qquad \quad \quad \;\;\nonumber\\
245: r_2 &=-\int \bigg(RS_1+\frac{d}{dx}r_1\bigg) dx,
246: \qquad \qquad \qquad \qquad \qquad \quad \quad \qquad \;\;\;\nonumber\\
247: r_j &=-\int \left[RS_{j-1}+\frac{d}{dx^{(j-1)}}
248: \left(\sum_{k=1}^{j-1}r_k\right)\right]dx^{(j-1)},\;\;j=3,\ldots,n. \nonumber
249: \end{eqnarray}
250: Equation~(\ref{net17}) can be derived straightforwardly by integrating the
251: equations~(\ref{net8}). Now substituting the expressions for $\phi$, $R$ and
252: $S_i,i=1,2,\dots,n$,
253: into (\ref{net17}) and evaluating the integrals one can get the associated
254: integrals of motion. However, we have to point out that we have not examined the
255: question of existence of consistent solutions to
256: equations~(\ref{net9})-(\ref{net16}) at present.
257: \section{Method of generating integrals of motion}
258: \label{sec3}
259: In the above, we derived the integrals of motion, $I_i,\; i=1,2,\ldots,n$,
260: by constructing sufficient
261: number of integrating factors. Interestingly, for a {\it class of equations},
262: one can also generate the required
263: number of integrals of motion from one of the integrals, say $I_1$, if it is
264: known, provided its form can be written in a specific form. For example, for
265: the $n^{th}$ order equation~(\ref{net1}), one can generate
266: $I_2,I_3,\ldots,I_{n-1}$ and
267: $I_{n}$ from $I_1$ itself. In the following we illustrate this possibility.
268:
269: Let us assume that there exists a first integral for the $n^{th}$ order equation
270: (\ref{net1}) of the form, $I_1(t,x,x^{(1)},x^{(2)},...,x^{(n-1)})=C$. Now
271: let us split the
272: functional form of the first integral $I_1$ into two terms such that
273: one involves all the variables
274: $(t,x,x^{(1)},...,x^{(n-1)})$ while the other excludes $x^{(n-1)}$, that is,
275: \begin{eqnarray}
276: I_1=F_1(t,x,x^{(1)},...,x^{(n-1)})+F_2(t,x,x^{(1)},...,x^{(n-2)}). \label{the01}
277: \end{eqnarray}
278: Of course, such a splitting is not unique, which can in fact be used profitably
279: further to identify new integrals.
280:
281: Now let us split
282: the function $F_1$ further in terms of two functions such that $F_1$ itself
283: is a function of the product of the two functions, say, a perfect
284: differentiable function $\frac {d}{dt}G_1(t,x,x^{(1)},...,x^{(n-2)})$ and
285: another function $G_2(t,x,x^{(1)},...,x^{(n-1)})$, that is,
286: \begin{eqnarray}
287: I_1=F_1\left(\frac{1}{G_2(t,x,x^{(1)},...,x^{(n-1)})}
288: \frac{d}{dt}G_1(t,x,x^{(1)},...,x^{(n-2)})\right)\qquad \qquad\qquad\nonumber\\
289: \qquad +F_2\left(G_1(t,x,x^{(1)},...,x^{(n-2)})\right).
290: \label{the02}
291: \end{eqnarray}
292: We note that while rewriting equation (\ref {the01}) in the form (\ref {the02}), we
293: demand the function $F_2(t,x,x^{(1)},...,x^{(n-2)})$ in (\ref {the01}) automatically
294: to be a function of $G_1(t,x,x^{(1)},...,x^{(n-2)})$. Now identifying the
295: function $G_1$ as the new dependent variable and the integral of $G_2$ over
296: time as the new independent variable, that is,
297: \begin{eqnarray}
298: w = G_1(t,x,x^{(1)},...,x^{(n-2)}),\quad
299: z = \int_o^t G_2(t',x,x^{(1)},...,x^{(n-1)}) dt',
300: \label{the03}
301: \end{eqnarray}
302: one can rewrite equation (\ref {the02}) of the form
303: \begin{eqnarray}
304: I=F_1\left(\frac {dw}{dz}\right)+F_2(w).
305: \end{eqnarray}
306: In other words
307: \begin{eqnarray}
308: F_1\left(\frac {dw}{dz}\right)=I-F_2(w).\label {eq13a}
309: \end{eqnarray}
310: Now rewriting equation (\ref {eq13a}) one obtains a separable equation
311: \begin{eqnarray}
312: \frac {dw}{dz}=f(w),\label {eq13b}
313: \end{eqnarray}
314: which can be integrated by quadrature, and $I_2$ can be obtained.
315:
316: The procedure given above is easy to follow and can be used to solve
317: { \it a class of
318: problems} straightforwardly. In fact, for the linearizable second order ODEs, we
319: find that the function $F_2$ turns out to be zero and as a consequence one gets
320: $\frac{dw}{dz}=I_1$ (from (\ref {eq13b})) which can be integrated to obtain the
321: second integration constant trivially. On the other hand, if $F_2$ is not zero
322: then the second
323: integration constant can be deduced after the integration of (\ref {eq13b}),
324: which can be done for a number of examples. As far as third order ODEs are
325: concerned the first order equation (\ref {eq13b}) provides us the second
326: integral whereas a different choice $\hat{G_1}$ and $\hat{G_2}$, where $\hat{G_1}$ and
327: $\hat{G_2}$ are different from $G_1$ and $G_2$, directly leads us to the third
328: integral (see Sec.~5). The procedure can in principle be extended to higher
329: order ODEs.
330: \section{Second order ODEs}
331: \label{sec4}
332: The theory developed in Secs.~2 and 3, in principle, can be used to solve
333: \textit{a class of
334: equations}. To illustrate the underlying ideas let us first consider a second order
335: ODE. Since we are going to discuss in detail only second and third order ODEs,
336: hereafter, we use the notation $\dot{x}$, $\ddot{x}$ and $\dddot{x}$ instead
337: of $x^{(1)}$, $x^{(2)}$ and $x^{(3)}$ for $\frac{dx}{dt}$, $\frac{d^2x}{dt^2}$
338: and $\frac{d^3x}{dt^3}$, respectively.
339:
340: Fixing, $n=2$, the determining equations (\ref{net9})-(\ref{net16}) get
341: simplified to
342: \begin{align}
343: S_t+\dot{x}S_x+\phi S_{\dot{x}} & = -\phi_x+S\phi_{\dot{x}}+S^2,\label{smet9}\\
344: R_t+\dot{x}R_x+\phi R_{\dot{x}} & = -R(S+\phi_{\dot{x}}),\label{smet10}\\
345: R_x & = R_{\dot{x}}S+RS_{\dot{x}},
346: \label{smet11}
347: \end{align}
348: The integral of motion, (\ref{net17}), is fixed by the relation
349: \begin{eqnarray}
350: I(t,x,\dot{x})= r_1
351: -r_2 -\int \left[R+\frac{d}{d\dot{x}} \left(r_1-r_2\right)\right]d\dot{x},
352: \label{smet13}
353: \end{eqnarray}
354: where
355: \begin{eqnarray}
356: r_1 = \int R(\phi+\dot{x}S)dt \quad \mbox{and} \quad
357: r_2 =\int (RS+\frac{d}{dx}r_1) dx. \nonumber
358: \end{eqnarray}
359: The method of solving the determining equations~(\ref{smet9})-(\ref{smet11}) is
360: described in detail in Ref.\cite{Duarte, Chand1}. However, in order to be self-contained, we
361: briefly summarize the main ideas in the following.
362:
363: Let us first solve the equation~(\ref{smet9}) with the given $\phi$ and obtain
364: expression for $S$. Once $S$ is known then
365: equation~(\ref{smet10}) becomes the determining equation for the function $R$.
366: Solving the latter one can get an explicit form for $R$.
367: Now the functions $R$ and $S$ have to satisfy an extra constraint, that is,
368: equation~(\ref{smet11}). We note at this point that all solutions which satisfy
369: equations~(\ref{smet9})-(\ref{smet10}) need not satisfy the constraint
370: (\ref{smet11})
371: since equations~(\ref{smet9})-(\ref{smet11}) constitute an overdetermined system
372: for the unknowns $R$ and $S$. For example, let us consider a set $(S,R)$ be a
373: solution of equations~(\ref{smet9})-(\ref{smet10}) and not of the constraint
374: equation
375: (\ref{smet11}). After examining several examples we observe that one can make
376: the set $(S,R)$ compatible by modifying the form of $R$ as
377: \begin{align}
378: \hat{R} & = F(t,x,\dot{x})R,
379: \label{smet101}
380: \end{align}
381: where $\hat{R}$ satisfies equation~(\ref{smet10}), so that we have
382: \begin{eqnarray}
383: (F_t+\dot{x}F_x+\phi F_{\dot{x}}) R+FD[R]
384: =-FR(S+\phi_{\dot{x}}).
385: \label{smet102}
386: \end{eqnarray}
387: Further, if $F$ is a constant of motion (or a function of it), then the first
388: term on the left hand side
389: vanishes and one gets the same equation~(\ref{smet10}) for $R$ provided $F$ is
390: non-zero.
391: In other words, whenever $F$ is a non-zero constant or a function of the
392: integral of motion then the solution of
393: equation~(\ref{smet10}) may provide only a factor of the complete solution
394: $\hat{R}$ without the
395: factor $F$ in equations~(\ref{smet101}). This general form of $\hat{R}$ with $S$
396: will form a complete
397: solution to the equations~(\ref{smet9})-(\ref{smet11}). In a nutshell we
398: describe the
399: procedure as follows. First we determine $S$ and $R$ from
400: equations~(\ref{smet9})-(\ref{smet10}). If the set $(S,R)$ satisfies
401: equation~(\ref{smet11})
402: then we take it as a compatible solution. On the other hand if it does not
403: satisfy (\ref{smet11}) then we assume the modified form $\hat{R}=F(I)R$, and
404: find the explicit form of $F(I)$ from equation~(\ref{smet11}), which in turn
405: fixes the compatible solution $(S,\hat{R})$.
406: Once $I_1$ is derived then the second integration constant can be
407: deduced either utilizing our procedure described in Sec.~3, or finding another
408: set of solutions $(S_2,R_2)$ for equations~(\ref{smet9})-(\ref{smet11}). The
409: method has been applied to several interesting nonlinear dynamical systems and
410: interesting results have been obtained \cite{Chand1}.
411: In the following example we illustrate both the above ideas.
412: \subsection{Example }
413: Let us consider an equation of the following form for illustrative purpose:
414: \begin{eqnarray}
415: \ddot{x}=\frac{(2x-1)}{(1+x^2)}{\dot{x}}^2
416: \label{scat101}
417: \end{eqnarray}
418: so that the equations~(\ref{smet9})-(\ref{smet11}) become
419: \begin{align}
420: S_t+\dot{x}S_x+\frac{(2x-1){\dot{x}}^2}{(1+x^2)} S_{\dot{x}} & =
421: 2\bigg(\frac{x(1+x)-1}{(1+x^2)^2}\bigg){\dot{x}}^2
422: +\frac{2(2x-1)\dot{x}}{(1+x^2)}S+S^2,
423: \label{scat102}\\
424: R_t+\dot{x}R_x+\frac{(2x-1){\dot{x}}^2}{(1+x^2)} R_{\dot{x}} & =
425: -\bigg(S+\frac{2(2x-1)\dot{x}}{(1+x^2)}\bigg)R,
426: \label{scat103}\\
427: R_x-SR_{\dot{x}}-RS_{\dot{x}} & = 0.
428: \label{scat104}
429: \end{align}
430: As mentioned in Sec. 2, any particular solution satisfying equations
431: (\ref{scat102})-(\ref{scat104}) is sufficient to derive an integral of motion.
432: We solve equations
433: (\ref{scat102})-(\ref{scat104}) in the following way. Equation (\ref{scat102})
434: is a first order partial differential equation in $S$
435: with variable coefficients. To seek a particular solution for $S$ we consider a
436: simple ansatz for $S$ of the form
437: \begin{eqnarray}
438: S = {a(t,x)+b(t,x)\dot{x}},
439: \label{cat15}
440: \end{eqnarray}
441: where $a$ and $b$ are arbitrary functions of $t$ and $x$ (in other examples one
442: may need to take rational forms in $\dot{x}$).
443: Substituting (\ref{cat15}) into (\ref{scat102}) and equating the coefficients
444: of different powers of $\dot{x}$ to zero we get a set of partial differential
445: equations for the variables $a$ and $b$. Solving them we arrive at
446: \begin{equation}
447: S_1 = \frac{(2x-1)}{(1+x^2)}\dot{x}, \quad
448: S_2 = -\frac{1}{t}+\frac{(1-2x)}{(1+x^2)}\dot{x}.
449: \label{scat105}
450: \end{equation}
451: Substituting the forms of $S_1$ and $S_2$ separately into (\ref{scat103}) and solving
452: the resultant equations
453: one can obtain the corresponding forms of $R$. Let us first
454: consider $S_1$. Substituting the latter into (\ref{scat103}) we obtain an
455: equation for $R$ of the form
456: \begin{eqnarray}
457: R_t+\dot{x}R_x+\frac{(2x-1){\dot{x}}^2}{(1+x^2)} R_{\dot{x}} & =
458: -\bigg(\frac{(2x-1)\dot{x}}{(1+x^2)}\bigg)R.
459: \label{scat103a}
460: \end{eqnarray}
461: One can immediately identify a particular solution
462: \begin{equation}
463: R_1= -\frac{e^{tan^{-1}x}}{(1+x^2)},
464: \label{scat106}
465: \end{equation}
466: to this equation with a polynamial ansatz in $\dot{x}$. One can easily check
467: that $S_1$ and $R_1$ satisfy equation~(\ref{scat104}) also. As a consequence
468: one can deduce the first integral, using the relation (\ref{smet13}), of the
469: form
470: \begin{eqnarray}
471: I_1 =\frac{\dot{x}e^{tan^{-1}x}}{(1+x^2)}.
472: \label{scat107}
473: \end{eqnarray}
474:
475: Now substituting the expression $S_2$ into
476: (\ref{scat103}) we obtain an equation for $R$. As in the previous case, one can
477: easily fix a particular solution of the form
478: \begin{equation}
479: R_{2}=-\frac{t}{\dot{x}}.
480: \label{scat108}
481: \end{equation}
482: However, this set $(S_2,R_2)$ does not satisfy the extra constraint
483: (\ref{scat104}) and so to deduce the correct form of $R_2$ we assume that
484: \begin{align}
485: \hat{R}_2 & = F(I_1)R_2 =
486: -F(I_1)\frac{t}{\dot{x}},
487: \label{scat109}
488: \end{align}
489: where $F$ is an arbitrary function of the first integral $I_1$. Substituting
490: (\ref{scat109}) into equation~(\ref{scat104}) we obtain
491: $F = {\frac {1}{I_1}}$, which fixes the form of $\hat{R}$ as
492: \begin{eqnarray}
493: \hat{R}_2 = -\frac{te^{tan^{-1}x}}{(1+x^2)}.
494: \label{scat110}
495: \end{eqnarray}
496: Now one can easily check that this set $(S_2,\hat{R}_2)$ is a compatible
497: solution for the set (\ref{scat102})-(\ref{scat104}) which in turn provides
498: $I_2$ through the relation (\ref{smet13}) in the form
499: \begin{eqnarray}
500: I_2=e^{tan^{-1}x}\bigg(1-\frac{t\dot{x}}{(1+x^2)}\bigg).
501: \label{scat111}
502: \end{eqnarray}
503: Using the explicit forms of the first integrals $I_1$ and $I_2$, the solution
504: of Eq.~(\ref{smet9}) can be deduced directly as
505: \begin{eqnarray}
506: x(t)=\tan\bigg[\log{(I_1t+I_2)}\bigg].
507: \label{scat112}
508: \end{eqnarray}
509:
510: However, as shown in the Sec.~3, one can also deduce the second integral
511: from the first integral itself. By using the procedure indicated in Sec. 3, by demanding that $I_1$
512: be put in the form
513: \begin{eqnarray}
514: I_1=F_1\left(\frac{1}{G_2(t,x,\dot{x})}\frac{d}{dt}G_1(t,x)\right)
515: +F_2\left(G_1(t,x)\right),
516: \label{1smet13b}
517: \end{eqnarray}
518: so that in the transformed variables become
519: $w = G_1(t,x)$ and $z = \int_o^t G_2(t',x,\dot{x}) dt'$ and a first order ODE
520: results which can be solved by quadrature.
521: For example, in the present case, it is easy to rewrite the first integral
522: (\ref{scat107}) in the form (\ref{1smet13b}), by inspection, namely,
523: \begin{eqnarray}
524: I_1=\frac {d}{dt}\left(e^{tan^{-1}x}\right),
525: \label {gr01}
526: \end{eqnarray}
527: and identifying (\ref{gr01}) with (\ref{the02}), we get
528: \begin{eqnarray}
529: G_1=e^{tan^{-1}x},\;\;\;\;\;
530: G_2=1,\;\;\;\;\; F_2=0.
531: \label {gr02}
532: \end{eqnarray}
533: With the above choices, equation~(\ref{the03}) furnishes the transformation
534: variables,
535: \begin{eqnarray}
536: w=e^{tan^{-1}x},\;\;\;\;\;
537: z=t.
538: \label {gr03}
539: \end{eqnarray}
540: Substituting (\ref{gr03}) into (\ref{gr01}) we get
541: \begin{eqnarray}
542: \frac {dw}{dz}=I_1,
543: \end{eqnarray}
544: which in turn gives the free particle equation by differentiation or leads to
545: the solution (\ref{scat112}) by an integration. On the other hand vanishing of
546: the function $F_2$ in this analysis is precisely the condition for the system
547: to be transformed into the free particle equation.
548: \section{Third order ODEs}
549: \label{sec5}
550: Now we focus our attention on third order ODEs, $n=3$ in equation~(\ref{net1}).
551: Fixing $n=3$ in the determining equations~(\ref{net9})-(\ref{net16}), we get
552: \begin{eqnarray}
553: D[S_1] & = -\phi_x+S_1\phi_{\ddot{x}}+S_1S_2,
554: \;\;\;\;\;\;\label{met9}\\
555: D[S_2] & = -\phi_{\dot{x}}+S_2\phi_{\ddot{x}}+S_2^2-S_1,\;\label{met10}\\
556: D[R] &= -R(S_2+\phi_{\ddot{x}}),
557: \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\label{met11}\\
558: R_{\dot{x}}S_1 & = -R{S_1}_{\dot{x}}+R_{x}S_2+R{S_2}_{x}, \label{met12}\\
559: R_{\dot{x}} & = R_{\ddot{x}}S_2+R{S_2}_{\ddot{x}},
560: \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\; \label{met13}\\
561: R_x & = R_{\ddot{x}}S_1+R{S_1}_{\ddot{x}},
562: \;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\label{met14}
563: \end{eqnarray}
564: where the total differential operator $D$ is defined by
565: \begin{eqnarray}
566: D=\frac{\partial}{\partial{t}}+
567: \dot{x}\frac{\partial}{\partial{x}}+\ddot{x}\frac{\partial}{\partial{\dot{x}}}
568: +\phi\frac{\partial}{\partial{\ddot{x}}}.
569: \nonumber
570: \end{eqnarray}
571: The associated integral of motion is fixed by the relation
572: \begin{eqnarray}
573: I = r_1-r_2-r_3-\int\left(R+\frac{d}{d\ddot{x}} \left( r_1-r_2-r_3
574: \right)\right)d\ddot{x},
575: \label{met15}
576: \end{eqnarray}
577: where
578: \begin{eqnarray}
579: r_1&= \int R(\phi+S_1\dot{x}+S_2\ddot{x})dt,\qquad \qquad
580: r_2&=\int ( RS_1+\frac{d}{dx}r_1) dx,\nonumber\\
581: r_3&=\int \left(RS_2+\frac{d}{d\dot{x}}
582: \left(r_1-r_2\right)\right)d\dot{x}. \qquad \quad\;\;\nonumber
583: \end{eqnarray}
584: As mentioned earlier, (\ref{met9})-(\ref{met14}) form an overdetermined system for
585: the unknowns, $S_1$, $S_2$ and $R$. We solve the (\ref{met9})-(\ref{met14})
586: in the following way.
587: Substituting the expression for $\phi$ into (\ref{met9})-(\ref{met10})
588: we get a system of differential equations for the unknowns $S_1$ and $S_2$.
589: Solving
590: them we can obtain expressions for the null forms $(S_1,S_2)$. Once $S_2$ is
591: known then
592: equation~(\ref{met11}) becomes the determining equation for the function $R$.
593: Solving the latter we can get an explicit form for $R$.
594: Now the functions $R,S_1$ and $S_2$ have to satisfy the extra constraints
595: (\ref{met12})-(\ref{met14}).
596: \subsection{Example: 1}
597: Let us consider an equation discussed by Bluman and Anco from the symmentres
598: point of view \cite{Bluman},
599: \begin{eqnarray}
600: \dddot{x}=\frac{6t{\ddot{x}}^3}{{\dot{x}}^2}+\frac{6{\ddot{x}}^2}{\dot{x}}.
601: \label{cat101}
602: \end{eqnarray}
603: Substituting $\phi =\frac{6t{\ddot{x}}^3}{{\dot{x}}^2}+\frac{6{\ddot{x}}^2}{\dot{x}}$
604: into (\ref{met9})-(\ref{met11}), we get
605: \begin{eqnarray}
606: {S_1}_t+\dot{x}{S_1}_x+\ddot{x}{S_1}_{\dot{x}}
607: +\bigg(\frac{6t{\ddot{x}}^3}{{\dot{x}}^2}+\frac{6{\ddot{x}}^2}{\dot{x}}\bigg)
608: {S_1}_{\ddot{x}} &= S_1\bigg(\frac{18t{\ddot{x}}^2}{{\dot{x}}^2}
609: +\frac{12\ddot{x}}{\dot{x}}+S_2\bigg),\qquad \qquad \qquad \qquad
610: \nonumber\\
611: {S_2}_t+\dot{x}{S_2}_x+\ddot{x}{S_2}_{\dot{x}}
612: +\bigg(\frac{6t{\ddot{x}}^3}{{\dot{x}}^2}+\frac{6{\ddot{x}}^2}{\dot{x}}\bigg)
613: {S_2}_{\ddot{x}}
614: &= \frac{12t\ddot{x}}{{\dot{x}}^3}+\frac{6{\ddot{x}}^2}{{\dot{x}}^2}
615: +S_2\bigg(\frac{18t{\ddot{x}}^2}{\dot{x}^2}+\frac{12\ddot{x}}{\dot{x}}\bigg)
616: +{S_2}^2-S_1,\nonumber\\
617: R_t+\dot{x}R_x+\ddot{x}R_{\dot{x}}
618: +\bigg(\frac{6t{\ddot{x}}^3}{{\dot{x}}^2}+\frac{6{\ddot{x}}^2}{\dot{x}}\bigg)
619: R_{\ddot{x}}&= -R\bigg(S_2+\frac{18t{\ddot{x}}^2}{{\dot{x}}^2}
620: +\frac{12\ddot{x}}{\dot{x}}\bigg).\qquad \qquad \qquad \qquad \nonumber\\
621: \label{cat104}
622: \end{eqnarray}
623: One can easily verify that equation~(\ref{cat104}) admits the following
624: solutions,
625: \begin{eqnarray}
626: S_{1}=0,\quad S_{2}=-\frac{6t{\ddot{x}}^2+3\dot{x}\ddot{x}}{{\dot{x}}^2},
627: \quad R=\frac{{\dot{x}}^3}{{\ddot{x}}^2},\\
628: \bar{S_{1}}=0, \quad \bar{S_{2}}=-\frac{6t{\ddot{x}}^2+4\dot{x}\ddot{x}}{{\dot{x}}^2},
629: \quad \bar{R}=\frac{{\dot{x}}^4}{{\ddot{x}}^2},\\
630: \hat{S_{1}}=\frac{2{\ddot{x}}^2}{{\dot{x}}^2}, \quad
631: \hat{S_{2}}=-\frac{6t{\ddot{x}}^2+2\dot{x}\ddot{x}}{{\dot{x}}^2}, \quad
632: \hat{R}=\frac{{\dot{x}}^2}{{\ddot{x}}^2}.
633: \label{cat105}
634: \end{eqnarray}
635: Having determined the functions $S_i$'s and $R$, $i=1,2$, one can proceed to
636: determine the associated integrals of motion. Substituting the expressions
637: into (\ref{met15}) separately and evaluating the
638: integrals, one obtains
639: \begin{eqnarray}
640: I_1 &=3t{\dot{x}}^2+\frac{{\dot{x}}^3}{\ddot{x}},\qquad \label{cat111}\\
641: I_2 &=2t{\dot{x}}^3+\frac{{\dot{x}}^4}{\ddot{x}},\qquad\label{cat112}\\
642: I_3 & =2x-6t\dot{x}-\frac{{\dot{x}}^2}{\ddot{x}},\; \label{cat114}
643: \end{eqnarray}
644: respectively.
645: One can easily check that $I_i's , i=1,2,3$, are constants on the solutions,
646: that is, $\frac{dI_i}{dt} = 0, i=1,2,3$.
647: From the integrals, $I_1$, $I_2$ and $I_3$, we can deduce the general solution
648: for the equation (\ref{cat101}) straightforwardly.
649:
650: In the following we generate second and third integrals, say, (\ref{cat112}) and
651: (\ref{cat114}), from the first integral, that is, (\ref{cat111}), using our
652: procedure described in Sec.~3.
653:
654: Rewriting (\ref{cat111}) in the form (\ref{the02}) we get
655: \begin{eqnarray}
656: I_1& =\displaystyle{-\frac {1}{\ddot{x}}\frac {d}{dt}(-t{\dot{x}}^3)}
657: =\displaystyle{\frac {dt}{dz}\frac {dw}{dt} = \frac {dw}{dz}},\label{the11}
658: \end{eqnarray}
659: so that
660: \begin{eqnarray}
661: w=-t{\dot{x}}^3,\quad z=-\dot{x}. \label{the12}
662: \end{eqnarray}
663: Integrating (\ref{the11}) and rewriting the latter in terms of the old variables
664: we get
665: \begin{eqnarray}
666: I_2 =2t{\dot{x}}^3+\frac{{\dot{x}}^4}{\ddot{x}},\label{the14}
667: \end{eqnarray}
668: which is exactly the same as the one we derived (vide equation (\ref{cat112}))
669: earlier through the PS procedure.
670:
671: To generate $I_3$ from $I_1$ we rewrite the latter in the form (\ref{the02}) but
672: with different functions $\hat{w}$ and $\hat{z}$, namely,
673: \begin{eqnarray}
674: I_1 =-\frac {{\dot{x}}^2}{\ddot{x}}\frac {d}{dt}(2x-3t\dot{x})
675: = \frac {dt}{d\hat{z}}\frac {d\hat{w}}{dt} = \frac {d\hat{w}}{d\hat{z}},
676: \;\;\;\;\;\;\;\label{the15}
677: \end{eqnarray}
678: so that
679: \begin{eqnarray}
680: \hat{w}=2x-3t\dot{x},\quad \hat{z}=\dot{x}. \label{the16}
681: \end{eqnarray}
682: Integrating (\ref{the15}) we get
683: \begin{eqnarray}
684: \hat{w}=I_1\hat{z}+I_3 \Rightarrow I_3=\hat{w}-I_1\hat{z}.\label{the17}
685: \end{eqnarray}
686: Substituting (\ref{the16}) and (\ref{cat111}) into (\ref{the17}) we get
687: \begin{eqnarray}
688: I_3 =2x-6t\dot{x}-\frac{{\dot{x}}^2}{\ddot{x}}, \label{the18}
689: \end{eqnarray}
690: which exactly coincides with (\ref{cat114}).
691:
692: In a similar way one can derive $I_1$ and $I_2$ from $I_3$ and $I_1$ and $I_3$
693: from $I_2$.
694: \subsection{Example: 2}
695: Let us consider another nontrivial example which was discussed by
696: Steeb \cite{Steeb} in the context of invertible point transformations, namely,
697: \begin{eqnarray}
698: \dddot{x}+\frac{3\dot{x}\ddot{x}}{x}-3\ddot{x}-\frac{3\dot{x}^2}{x}+2\dot{x}=0.
699: \label{fthe20}
700: \end{eqnarray}
701: Substituting the form
702: $\phi =-\frac{3}{x}(\dot{x}\ddot{x}-x\ddot{x}-\dot{x}^2+\frac{2}{3}x\dot{x})$
703: into (\ref{met9})-(\ref{met11}) and solving them, we find the following three
704: particular solutions which satisfy the determining equations
705: \begin{eqnarray}
706: (S_1,F_1,R_1)& =(\frac{\ddot{x}-\dot{x}}{x},
707: \frac{2\dot{x}-x}{x},xe^{-2t}),\;\label{fthe21a}\\
708: (S_2,F_2,R_2)& =(\frac{\ddot{x}-2\dot{x}}{x},
709: \frac{2\dot{x}-2x}{x},xe^{-t}),\;\label{fthe21b}\\
710: (S_3,F_3,R_3)& =(\frac{\ddot{x}-3\dot{x}+2x}{x},
711: \frac{2\dot{x}^2-3x}{x},x).
712: \label{fthe21c}
713: \end{eqnarray}
714: Substituting the expressions (\ref{fthe21a})-(\ref{fthe21c}) separately into
715: the expression
716: (\ref{met15}) and evaluating the integrals we obtain
717: \begin{eqnarray}
718: I_1 &=(\dot{x}^2+x\ddot{x}-x\dot{x})e^{-2t},\qquad \label{cat111a}\\
719: I_2 &=(\dot{x}^2+x\ddot{x}-2x\dot{x})e^{-t},\qquad\label{cat112a}\\
720: I_3 & =(\dot{x}^2+x\ddot{x}-3x\dot{x}+x^2),\;\;\; \label{fthe22}
721: \end{eqnarray}
722: from which the general solution can be written of the form
723: \begin{eqnarray}
724: x(t)=\bigg(\frac{I_1}{2}e^{2t}+I_2e^{t}+I_3\bigg)^{\frac{1}{2}}.
725: \label{fthe22a}
726: \end{eqnarray}
727: From the integrals $I_1, I_2$ and $I_3$, one can also obtain the linearizing
728: transformation.
729: \section{Extension to Higher order ODEs}
730: In the previous two sections we discussed the PS procedure applicable for
731: second and third
732: order ODEs. Following the same steps one can derive the determining equations
733: for the fourth order ODE also from the equations (\ref{net9})-(\ref{net16}). This can
734: be done by restricting to $n=4$ in these equations. For example, for the
735: present case one obtains ten equations for four unknowns, namely,
736: $S_1,S_2,S_3,$ and $R$. Solving them consistently one can obtain explicit
737: expressions for the null forms, $S_i$'s, $i=1,2,3,$ and the integrating factor $R$.
738: Once the $S_i$'s and $R$ are known then the associated integral of motion can be
739: constructed using the relation (\ref{net17}) with $n=4$. Here also, if one is
740: able to find four sets of particular solutions, say, $(S_{ij},R_i),\;i=1,2,3,4$
741: and $j=1,2,3$, one can straightforwardly construct four integrals of motion. On
742: the other hand if one has less number of integrals of motion then using the
743: procedure described in Sec. 3 one can generate the remaining integrals of motion
744: from the known ones and establish the integrability. The extension to higher
745: order ODEs follows along similar lines.
746: \section{ Extension to coupled second order ODEs}
747: So far we discussed the applicability of the PS procedure to scalar differential
748: equations. Interstingly, the procedure can also be extended to coupled
749: ODEs. In the following we describe the procedure to two coupled second
750: order ODEs and the application to higher dimensional equations will be
751: discussed elsewhere.
752:
753: Let us consider a class of second order ODEs of the form
754: \begin{eqnarray}
755: \ddot{x}=\frac{d^2x}{dt^2}=\frac{P_1}{Q_1}, \quad
756: \ddot{y}={\frac{d^2y}{dt^2}}={\frac{P_2}{Q_2}}, \quad
757: { P_i,Q_i}\in C{[t,x,y,\dot{x},\dot{y}]},\; i=1,2.\label {cso01}
758: \end{eqnarray}
759: Let us suppose that the system (\ref{cso01}) admits a first integral of
760: the form $I(t,x,y,\dot{x},\dot{y})=C$
761: with C constant on the solution, so that the total differential gives
762: \begin{eqnarray}
763: dI={I_t}{dt}+{I_{x}}{dx}+{I_{y}}{dy}+{I_{\dot{x}}}{d\dot{x}}
764: +{I_{\dot{y}}}{d\dot{y}}=0, \label {cso02}
765: \end{eqnarray}
766: where subscript denotes partial differentiation with respect to that variable.
767: Rewriting ({\ref{cso01}) in the form
768: \begin{eqnarray}
769: \frac{P_1}{Q_1}dt-d\dot{x}=0,\qquad
770: \frac{P_2}{Q_2}dt-d\dot{y}=0 \label {cso03}
771: \end{eqnarray}
772: and adding null terms $S_1(t,x,y,\dot{x},\dot{y})\dot{x}dt
773: -S_1(t,x,y,\dot{x},\dot{y})dx $ and
774: $S_2(t,x,y,\dot{x},\dot{y})\dot{y}dt\;\;\;\;\;$ $-
775: S_2(t,x,y,\dot{x},\dot{y})dy $ suitably,
776: we obtain that, on the solutions, the 1-forms
777: \begin{subequations}
778: \begin{eqnarray}
779: (\frac{P_1}{Q_1}+S_1\dot{x})dt-S_1dx-d\dot{x}=0,\label {cso04}\\
780: (\frac{P_2}{Q_2}+S_2\dot{y})dt-S_2dy-d\dot{y}=0.\label {cso05}
781: \end{eqnarray}
782: \label {cso06}
783: \end{subequations}
784:
785: Hence, on the solutions, the 1-forms (\ref{cso02}) and
786: (\ref{cso06}) must be proportional. Multiplying (\ref{cso04}) by the factor
787: $ R_1(t,x,y,\dot{x},\dot{y})$ and (\ref{cso05}) by
788: the factor $ R_2(t,x,y,\dot{x},\dot{y})$, which act as the integrating
789: factors for (\ref{cso04}) and (\ref{cso05}), respectively, we have on the
790: solutions that
791: \begin{eqnarray}
792: dI=R_1(\phi_1+S_1\dot{x})dt+R_2(\phi_2+S_2\dot{y})dt-R_1S_1dx
793: -R_2S_2dy-R_1d\dot{x}-R_2d\dot{y}=0,\;\;\label {cso07}
794: \end{eqnarray}
795: where $ \phi_i\equiv {P_i}/{Q_i},\; i=1,2$. Comparing equations (\ref{cso07})
796: and (\ref{cso02}) we have, on the solutions, the relations
797: \begin{subequations}
798: \begin{eqnarray}
799: I_t =R_1(\phi_1+S_1\dot{x})+R_2(\phi_2+S_2\dot{y}), \;\;\;\;\\
800: I_{x} = -R_1S_1,\qquad \qquad \qquad \qquad \qquad \;\;\;\; \\
801: I_{y} =-R_2S_2, \qquad \qquad \qquad \qquad \qquad \quad \\
802: I_{\dot{x}} =-R_1,\qquad \qquad \qquad \qquad \qquad \qquad \\
803: I_{\dot{y}} =-R_2.\qquad \qquad \qquad \qquad \qquad \qquad \;
804: \end{eqnarray}
805: \label {cso08}
806: \end{subequations}
807: The compatibility conditions between the equations
808: (\ref{cso08}) provide us the conditions,
809: \begin{eqnarray}
810: D{[S_1]} =-\phi_{1x}-\frac{R_2}{R_1} \phi_{2x}
811: +\frac{R_2}{R_1}S_1\phi_{2\dot{x}}
812: +S_1\phi_{1\dot{x}}+S_1^2, \label {eq23}\\
813: D{[S_2]} =-\phi_{2y}-\frac{R_1}{R_2} \phi_{1y}
814: + \frac{R_1}{R_2}S_2\phi_{1\dot{y}}
815: +S_2\phi_{2\dot{y}}+S_2^2, \label {eq24}\\
816: D{[R_1]} =-{(R_1\phi_{1\dot{x}}+R_2\phi_{2\dot{x}}+R_1 S_1)},
817: \qquad \qquad \qquad \label {eq25}\\
818: D{[R_2]} =-{(R_2\phi_{2\dot{y}}+R_1\phi_{1\dot{y}}+R_2 S_2)},
819: \qquad \qquad \qquad \label {eq26}\\
820: S_1R_{1y} =-R_1S_{1y}+S_2R_{2x}+R_2S_{2x},
821: \qquad \qquad \qquad \; \label {eq31}\\
822: R_{1x} =S_1R_{1\dot{x}}+R_1S_{1\dot{x}},
823: \qquad \qquad \qquad \qquad \qquad \quad \label {eq27}\\
824: R_{2y} =S_2R_{2\dot{y}}+R_2S_{2\dot{y}},
825: \qquad \qquad \qquad \qquad \qquad \quad \label {eq28}\\
826: R_{1y} =S_2R_{2\dot{x}}+R_2S_{2\dot{x}},
827: \qquad \qquad \qquad \qquad \qquad \quad \label {eq29}\\
828: R_{2x} =S_1R_{1\dot{y}}+R_1S_{1\dot{y}},
829: \qquad \qquad \qquad \qquad \qquad \quad \label {eq30}\\
830: R_{1\dot{y}} =R_{2\dot{x}},
831: \qquad \qquad \qquad \qquad \qquad \qquad \qquad \qquad \label {eq32}
832: \end{eqnarray}
833: where the total differential operator is now defined by
834: \begin{eqnarray}
835: D &=\frac{\partial}{\partial{t}}+\dot{x}\frac{\partial}{\partial{x}}
836: +\dot{y}\frac{\partial}{\partial{y}}
837: +\phi_1\frac{\partial}{\partial{\dot{x}}}+\phi_2\frac{\partial}
838: {\partial{\dot{y}}}. &
839: \end{eqnarray}
840: Integrating equations~(\ref{cso08}), we obtain the integral of motion,
841: \begin{eqnarray}
842: I=r_1+r_2+r_3+r_4
843: -\int\bigg[R_2+\frac{d}{d\dot{y}}\bigg(r_1+r_2+r_3+r_4\bigg)\bigg]
844: d\dot{y},
845: \label {cso09}
846: \end{eqnarray}
847: where
848: \begin{eqnarray}
849: r_1&=\int\bigg(R_1(\phi_1+S_1\dot{x})+R_2(\phi_2+S_2\dot{y})\bigg)dt,
850: \qquad
851: r_2=-\int\bigg(R_1S_1+\frac{d}{dx}(r_1)\bigg)dx,&\qquad\nonumber\\
852: r_3&=-\int\bigg(R_2S_2+\frac{d}{dy}(r_1+r_2)\bigg)dy,\qquad
853: r_4=-\int\bigg[R_1+\frac{d}{d\dot{x}}\bigg(r_1+r_2+r_3\bigg)\bigg]d\dot{x}.&
854: \nonumber
855: \end{eqnarray}
856:
857: As we did earlier, solving the determining equations
858: (\ref{eq23})-(\ref{eq32}) consistently we can obtain expressions for the
859: function $S_i$'s and $R_i$'s, $i=1,2$.
860: Substituting them into (\ref{cso09}) and evaluating the integrals we can deduce
861: the associated integrals of motion.
862: However, unlike the scalar case, the determining equations in the present case are highly
863: coupled and pose difficulties to approach them directly. To overcome this
864: problem we adopt the following technique.
865: We rewrite equations~(\ref{eq23})-(\ref{eq32}) for two variables, namely,
866: $R_1$ and
867: $R_2$, by eliminating $S_1$ and $S_2$, and solve the resultant equations and
868: obtain expressions for $R_1$ and $R_2$. From the latter we deduce the forms of
869: $S_1$ and $S_2$ by using the relations (\ref{eq25}) and (\ref{eq26}). To
870: implement this algorithm we use all the equations~(\ref{eq23})-(\ref{eq32})
871: effectively such that the functions $S_i$'s $i=1,2$, can be eliminated and
872: the functions $R_1$ and $R_2$ can be deduced from an optimal set of equations.
873:
874: To begin with we deduce the following two identities,
875: \begin{eqnarray}
876: D{[R_1 S_1]} &=-(R_1\phi_{1x}+R_2\phi_{2x}), & \label {eq33}\\
877: D{[R_2S_2]} &=-(R_1\phi_{1y}+R_2\phi_{2y}), & \label {eq34}
878: \end{eqnarray}
879: which can be obtained by combining (\ref {eq23})-(\ref {eq26}). Now we have
880: explicit forms for the total derivatives $R_1S_1$ and $R_2S_2$. Let us now take
881: total derivative of equations~(\ref{eq25}) and (\ref{eq26})
882: and substitute (\ref{eq33}) and (\ref{eq34}) in
883: the resultant equations to obtain
884: \begin{eqnarray}
885: R_{1tt}+2\dot{x}R_{1tx}+2\dot{y}R_{1ty}+2\phi_1R_{1t\dot{x}}
886: +2\phi_2R_{1t\dot{y}}+\dot{x}^2R_{1xx}
887: +2\dot{x}\dot{y}R_{1xy}+\dot{y}^2R_{1yy}+\phi_{1t}R_{1\dot{x}}\nonumber\\
888: +\phi_{2t}R_{1\dot{y}}+\dot{x}\phi_{1x}R_{1\dot{x}}
889: +\dot{y}\phi_{1y}R_{1\dot{x}}+2\dot{x}\phi_1 R_{1x\dot{x}}
890: +2\dot{y}\phi_1 R_{1y\dot{x}}+2\dot{x}\phi_2 R_{1x\dot{y}}
891: +2\dot{y}\phi_2 R_{1y\dot{y}}\nonumber\\
892: +\dot{x}\phi_{2x}R_{1\dot{y}}+\dot{y}\phi_{2y}R_{1\dot{y}}
893: +\phi_1R_{1x}+\phi_2R_{1y}+\phi_1\phi_{1\dot{x}}R_{1\dot{x}}
894: +\phi_1^2R_{1\dot{x}\dot{x}}+\phi_2\phi_{1\dot{y}}R_{1\dot{x}}\nonumber\\
895: +\phi_1\phi_{2\dot{x}}R_{1\dot{y}}+\phi_2\phi_{2\dot{y}}R_{1\dot{y}}
896: +\phi_{1\dot{x}}(R_{1t}+\dot{x}R_{1x}+\dot{y}R_{1y}+\phi_1R_{1\dot{x}}
897: +\phi_2R_{1\dot{y}})\nonumber\\
898: +\phi_2^2R_{1\dot{y}\dot{y}}+2\phi_1\phi_2R_{1\dot{x}\dot{y}}
899: +\phi_{2\dot{x}}(R_{2t}+\dot{x}R_{2x}+\dot{y}R_{2y}
900: +\phi_1R_{2\dot{x}}+\phi_2R_{2\dot{y}})\nonumber\\
901: -R_1\phi_{1x}-R_2\phi_{2x}
902: +R_1(\phi_{1t\dot{x}}+\dot{x}\phi_{1x\dot{x}}+\dot{y}\phi_{1y\dot{x}}
903: +\phi_1\phi_{1\dot{x}\dot{x}}+\phi_2\phi_{1\dot{x}\dot{y}})\nonumber\\
904: +R_2(\phi_{2t\dot{x}}+\dot{x}\phi_{2x\dot{x}}+\dot{y}\phi_{2y\dot{x}}
905: +\phi_1\phi_{2\dot{x}\dot{x}}+\phi_2\phi_{2\dot{x}\dot{y}})=0,\nonumber\\
906: \label {eq35}\\
907: R_{2tt}+2\dot{x}R_{2tx}+2\dot{y}R_{2ty}+2\phi_1R_{2t\dot{x}}
908: +2\phi_2R_{2t\dot{y}}+\dot{x}^2R_{2xx}
909: +2\dot{x}\dot{y}R_{2xy}+\dot{y}^2R_{2yy}+\phi_{1t}R_{2\dot{x}}\nonumber\\
910: +\phi_{2t}R_{2\dot{y}}+\dot{x}\phi_{1x}R_{2\dot{x}}
911: +\dot{y}\phi_{1y}R_{2\dot{x}}+2\dot{x}\phi_1 R_{2x\dot{x}}
912: +2\dot{y}\phi_1 R_{2y\dot{x}}+2\dot{x}\phi_2 R_{2x\dot{y}}
913: +2\dot{y}\phi_2 R_{2y\dot{y}}\nonumber\\
914: +\dot{x}\phi_{2x}R_{2\dot{y}}+\dot{y}\phi_{2y}R_{2\dot{y}}
915: +\phi_1R_{2x}+\phi_2R_{2y}+\phi_1\phi_{1\dot{x}}R_{2\dot{x}}
916: +\phi_1^2R_{2\dot{x}\dot{x}}+\phi_2\phi_{1\dot{y}}R_{2\dot{x}}\nonumber\\
917: +\phi_1\phi_{2\dot{x}}R_{2\dot{y}}+\phi_2\phi_{2\dot{y}}R_{2\dot{y}}
918: +\phi_{1\dot{y}}(R_{1t}+\dot{x}R_{1x}+\dot{y}R_{1y}+\phi_1R_{1\dot{x}}
919: +\phi_2R_{1\dot{y}})\nonumber\\
920: +\phi_2^2R_{2\dot{y}\dot{y}}+2\phi_1\phi_2R_{2\dot{x}\dot{y}}
921: +\phi_{2\dot{y}}(R_{2t}+\dot{x}R_{2x}+\dot{y}R_{2y}
922: +\phi_1R_{2\dot{x}}+\phi_2R_{2\dot{y}})\nonumber\\
923: -R_1\phi_{1y}-R_2\phi_{2y}
924: +R_1(\phi_{1t\dot{y}}+\dot{x}\phi_{1x\dot{y}}+\dot{y}\phi_{1y\dot{y}}
925: +\phi_1\phi_{1\dot{x}\dot{y}}+\phi_2\phi_{1\dot{y}\dot{y}})\nonumber\\
926: +R_2(\phi_{2t\dot{y}}+\dot{x}\phi_{2x\dot{y}}+\dot{y}\phi_{2y\dot{y}}
927: +\phi_1\phi_{2\dot{x}\dot{y}}+\phi_2\phi_{2\dot{y}\dot{y}})=0.\nonumber\\
928: \label {eq35a}
929: \end{eqnarray}
930: equations~(\ref{eq27})-(\ref{eq32}) can also be written of the form
931: \begin{eqnarray}
932: R_{1x}=\frac{\partial}{\partial{\dot{x}}}(R_1S_1),\;\;
933: R_{2y}=\frac{\partial}{\partial{\dot{y}}}(R_2S_2),\;\;
934: R_{1y}=\frac{\partial}{\partial{\dot{x}}}(R_2S_2),\;\;
935: R_{2x}=\frac{\partial}{\partial{\dot{y}}}(R_1S_1).
936: \label {sec01}
937: \end{eqnarray}
938: These identities help us to obtain some additional equations for the variables
939: $R_1$ and $R_2$. For example
940: differentiating (\ref {eq25}) with respect to $ \dot{x}$ and (\ref {eq26})
941: with respect to $\dot{y}$ and using the identities (\ref {sec01})
942: in the resulting equations, we get
943: \begin{eqnarray}
944: R_{1t\dot{x}}+\dot{x}R_{1x\dot{x}}+\dot{y}R_{1y\dot{x}}
945: +\phi_1 R_{1\dot{x}\dot{x}} +\phi_2 R_{2\dot{x}\dot{x}}+2R_{1x}
946: +2\phi_{2\dot{x}}R_{2\dot{x}}+2\phi_{1\dot{x}}R_{1\dot{x}}\nonumber\\
947: +R_2\phi_{2\dot{x}\dot{x}}+R_1\phi_{1\dot{x}\dot{x}}=0,
948: \label {eq36}\\
949: R_{2t\dot{y}}+\dot{x}R_{2x\dot{y}}+\dot{y}R_{2y\dot{y}}
950: +\phi_1 R_{1\dot{y}\dot{y}}+\phi_2 R_{2\dot{y}\dot{y}}+2R_{2y}
951: +2\phi_{2\dot{y}}R_{2\dot{y}}+2\phi_{1\dot{y}}R_{1\dot{y}}\nonumber\\
952: +R_2\phi_{2\dot{y}\dot{y}}+R_1\phi_{1\dot{y}\dot{y}}=0. \label {eq37}
953: \end{eqnarray}
954: On the other hand, differentiating (\ref {eq25}) with respect to $\dot{y}$ and
955: using (\ref {sec01}) we get
956: \begin{eqnarray}
957: R_{1t\dot{y}}+\dot{x}R_{1x\dot{y}}+\dot{y}R_{1y\dot{y}}
958: +\phi_1 R_{1\dot{x}\dot{y}}+\phi_2 R_{1\dot{y}\dot{y}}+R_{1y}
959: +R_{2x}+\phi_{2\dot{x}}R_{2\dot{y}}\nonumber\\+\phi_{1\dot{x}}R_{1\dot{y}}
960: +R_2\phi_{2\dot{x}\dot{y}}+R_1\phi_{1\dot{x}\dot{y}}
961: +\phi_{1\dot{y}}R_{1\dot{x}}+\phi_{2\dot{y}}R_{1\dot{y}}=0. \label {eq38}
962: \end{eqnarray}
963: The remaining possibility, that is, differentiation of (\ref {eq26})
964: with respect to $\dot{x}$, leads us to the same equation (\ref {eq38}) and so we
965: can discard it.
966:
967: We can further simplify equations~(\ref {eq35}) and (\ref {eq35a}) by utilizing the
968: equations~(\ref {eq36})-(\ref {eq38}). The final form of the
969: equations~(\ref {eq35}) and (\ref {eq35a}) reads
970: \begin{eqnarray}
971: R_{1tt}+2\dot{x}R_{1tx}+2\dot{y}R_{1ty}+\phi_1R_{1t\dot{x}}
972: +\phi_2R_{1t\dot{y}}+\dot{x}^2R_{1xx}+2\dot{x}\dot{y}R_{1xy}
973: -R_1\phi_{1x}\nonumber\\
974: -R_2\phi_{2x}+\dot{y}^2R_{1yy}
975: +\phi_{1t}R_{1\dot{x}}+\phi_{2t}R_{1\dot{y}}
976: +\dot{x}\phi_{1x}R_{1\dot{x}}+\dot{y}\phi_{1y}R_{1\dot{x}}
977: +\dot{x}\phi_1 R_{1x\dot{x}}\nonumber\\+\dot{y}\phi_1 R_{1y\dot{x}}
978: +\dot{x}\phi_2 R_{1x\dot{y}}
979: +\dot{y}\phi_2 R_{1y\dot{y}}+\dot{x}\phi_{2x}R_{1\dot{y}}
980: +\dot{y}\phi_{2y}R_{1\dot{y}}
981: -\phi_1R_{1x}\nonumber\\-\phi_2R_{2x}
982: +\phi_{1\dot{x}}(R_{1t}+\dot{x}R_{1x}+\dot{y}R_{1y})
983: +R_1(\phi_{1t\dot{x}}+\dot{x}\phi_{1x\dot{x}}+\dot{y}\phi_{1y\dot{x}})\nonumber\\
984: +\phi_{2\dot{x}}(R_{2t}+\dot{x}R_{2x}+\dot{y}R_{2y})
985: +R_2(\phi_{2t\dot{x}}+\dot{x}\phi_{2x\dot{x}}+\dot{y}\phi_{2y\dot{x}})=0,
986: \label {eq39}\\\nonumber\\
987: R_{2tt}+2\dot{x}R_{2tx}+2\dot{y}R_{2ty}+\phi_1R_{2t\dot{x}}
988: +\phi_2R_{2t\dot{y}}+\dot{x}^2R_{2xx}+2\dot{x}\dot{y}R_{2xy}
989: -R_1\phi_{1y}\nonumber\\-R_2\phi_{2y}
990: +\phi_{1t}R_{2\dot{x}}+\phi_{2t}R_{2\dot{y}}+\dot{y}^2R_{2yy}
991: +\dot{x}\phi_{1x}R_{2\dot{x}}+\dot{y}\phi_{1y}R_{2\dot{x}}
992: +\dot{x}\phi_1 R_{2x\dot{x}}\nonumber\\+\dot{y}\phi_1 R_{2y\dot{x}}
993: +\dot{x}\phi_2 R_{2x\dot{y}}+\dot{y}\phi_2 R_{2y\dot{y}}
994: +\dot{x}\phi_{2x}R_{2\dot{y}}+\dot{y}\phi_{2y}R_{2\dot{y}}
995: -\phi_1R_{1y}\nonumber\\-\phi_2R_{2y}
996: +\phi_{1\dot{y}}(R_{1t}+\dot{x}R_{1x}+\dot{y}R_{1y})
997: +R_1(\phi_{1t\dot{y}}+\dot{x}\phi_{1x\dot{y}}+\dot{y}\phi_{1y\dot{y}})
998: \nonumber\\
999: +\phi_{2\dot{y}}(R_{2t}+\dot{x}R_{2x}+\dot{y}R_{2y})
1000: +R_2(\phi_{2t\dot{y}}+\dot{x}\phi_{2x\dot{y}}+\dot{y}\phi_{2y\dot{y}})=0.
1001: \label {eq40}
1002: \end{eqnarray}
1003: As a result now we have a system of five equations (of course in second order)
1004: for the
1005: unknowns $R_1$ and $R_2$, namely equations~(\ref{eq36})-(\ref{eq40}).
1006: Substituting the expressions for $\phi_1$ and $\phi_2$
1007: into (\ref{eq36})-(\ref{eq40}) and solving them one gets the integrating factors
1008: $R_1$and $R_2$. Once $R_i$'s, $i=1,2,$ are known the null forms $S_i$'s,
1009: $i=1,2,$ can be fixed through the relation (\ref{eq25})-(\ref{eq26}).
1010: \subsection{Example: Two-dimensional Kepler problem}
1011: Here we consider a simple, but physically important example, namely, two
1012: dimensional Kepler problem and illustrate the method developed in the
1013: previous section.
1014:
1015: Let us consider the Kepler problem in the $x-y$ plane, that is,
1016: \begin{eqnarray}
1017: \ddot{\hat{{\bf{r}}}}+\frac{\hat{{\bf{r}}}}{r^3}=0,
1018: \label {kep01}
1019: \end{eqnarray}
1020: where $\hat{{\bf{r}}}=x\hat{{\bf{i}}}+y\hat{{\bf{j}}}$ and $r=|\hat{\bf{r}}|$. The respective equations of
1021: motions are
1022: \begin{eqnarray}
1023: \ddot{x}=-\frac {x}{(x^2+y^2)^{\frac {3}{2}}}=\phi_1(x,y), \\
1024: \ddot{y}=-\frac {y}{(x^2+y^2)^{\frac {3}{2}}}=\phi_2(x,y). \label {kep02}
1025: \end{eqnarray}
1026: In this case the determining
1027: equations~(\ref{eq36})-(\ref{eq40}) simplify to
1028: \begin{eqnarray}
1029: R_{1t\dot{x}}+\dot{x}R_{1x\dot{x}}+\dot{y}R_{1y\dot{x}}+\phi_1 R_{1\dot{x}\dot{x}}
1030: +\phi_2 R_{2\dot{x}\dot{x}}+2R_{1x}=0,
1031: \label {eq42}\\
1032: R_{2t\dot{y}}+\dot{x}R_{2x\dot{y}}+\dot{y}R_{2y\dot{y}}+\phi_1 R_{1\dot{y}\dot{y}}
1033: +\phi_2 R_{2\dot{y}\dot{y}}+2R_{2y}=0,
1034: \label {eq43}\\
1035: R_{1t\dot{y}}+\dot{x}R_{1x\dot{y}}+\dot{y}R_{1yv{y}}+\phi_1 R_{1\dot{x}\dot{y}}
1036: +\phi_2 R_{1\dot{y}\dot{y}}+R_{1y}+R_{2x}=0,
1037: \label {eq44}
1038: \end{eqnarray}
1039: \begin{eqnarray}
1040: R_{1tt}+2\dot{x}R_{1tx}+2\dot{y}R_{1ty}+\dot{x}^2R_{1xx}+2\dot{x}\dot{y}R_{1xy}
1041: +\dot{y}^2R_{1yy}+\dot{x}\phi_{1x}R_{1\dot{x}}+\dot{y}\phi_{1y}R_{1\dot{x}}
1042: \nonumber\\+\dot{x}\phi_1 R_{1x\dot{x}}
1043: +\dot{y}\phi_1 R_{1y\dot{x}}
1044: +\dot{x}\phi_2 R_{1x\dot{y}}+\dot{y}\phi_2 R_{1y\dot{y}}+\dot{x}\phi_{2x}R_{1\dot{y}}
1045: +\dot{y}\phi_{2y}R_{1\dot{y}}\nonumber\\
1046: +\phi_1R_{1t\dot{x}}+\phi_2R_{1t\dot{y}}-R_1\phi_{1x}-R_2\phi_{2x}
1047: -\phi_1R_{1x}-\phi_2R_{2x}=0,
1048: \label {eq45}\\
1049: R_{2tt}+2\dot{x}R_{2tx}+2\dot{y}R_{2ty}+\dot{x}^2R_{2xx}+2\dot{x}\dot{y}R_{2xy}
1050: +\dot{y}^2R_{2yy}+\dot{x}\phi_{1x}R_{2\dot{x}}+\dot{y}\phi_{1y}R_{2\dot{x}}
1051: \nonumber\\+\dot{x}\phi_1 R_{2x\dot{x}}
1052: +\dot{y}\phi_1 R_{2y\dot{x}}+\dot{x}\phi_2 R_{2x\dot{y}}
1053: +\dot{y}\phi_2 R_{2y\dot{y}}+\dot{x}\phi_{2x}R_{2\dot{y}}
1054: +\dot{y}\phi_{2y}R_{2\dot{y}}\nonumber\\
1055: +\phi_1R_{2t\dot{x}}+\phi_2R_{2t\dot{y}}-R_1\phi_{1y}-R_2\phi_{2y}
1056: -\phi_1R_{1y}-\phi_2R_{2y}=0.
1057: \label {eq46}
1058: \end{eqnarray}
1059: To solve equations~(\ref{eq42})-(\ref{eq46}) we seek an ansatz
1060: \begin{eqnarray}
1061: R_1=a_1(x,y)+a_2(x,y)\dot{x}+a_3(x,y)\dot{y},\label {eq48}\\
1062: R_2=b_1(x,y)+b_2(x,y)\dot{x}+b_3(x,y)\dot{y}, \;\;\label {eq48a}
1063: \end{eqnarray}
1064: where $a_i$'s and $b_i$'s, $i=1,2,3,$ are arbitrary functions of $x$ and $y$.
1065: Substituting (\ref {eq48}) and (\ref {eq48a}) into (\ref{eq42})-(\ref{eq46}) and
1066: solving the resultant equations we can obtain at least the following three
1067: solutions.
1068: \begin{eqnarray}
1069: (i)\; \quad R_1=\dot{x},\qquad \qquad \;\; R_2=\dot{y},\qquad \label {kep03}\\
1070: (ii)\;\quad \bar{R_1}=y,\qquad \qquad \;\; \bar{R_2}=x,\qquad\label {kep04}\\
1071: (iii)\;\quad \hat{R_1}=2y\dot{x}-x\dot{y},\;\quad \hat{R_2}=-x\dot{x}.\;\;\;\label {kep05}
1072: \end{eqnarray}
1073: We are also now searching for other possible forms with a modified ansatz.
1074: Substituting (\ref {kep03}) into (\ref{eq25}) and (\ref{eq26}) we get
1075: \begin{eqnarray}
1076: (i)\;\quad S_1=\displaystyle{\frac {x}{\dot{x}(x^2+y^2)^{\frac {3}{2}}}},
1077: \quad S_2=\frac {y}{\dot{y}(x^2+y^2)^{\frac {3}{2}}}. \label {kep06}
1078: \end{eqnarray}
1079: In similar way equations (\ref {kep04}) and (\ref {kep05}) provide us
1080: \begin{eqnarray}
1081: (ii)\;\quad\bar{S_1}=-\frac{\dot{y}}{y},\;\;\quad\qquad \qquad
1082: \bar{S_2}=-\frac{\dot{x}}{x},\qquad \quad\; \label{kep07}\\
1083: (iii)\;\quad\hat{S_1}=-\frac{(-\dot{x}\dot{y}+\frac {xy}{r^3})}{2y\dot{x}-x\dot{y}},
1084: \quad
1085: \hat{S_2}=\frac{(\dot{x}^2-\frac {x^2}{r^3})}{x\dot{x}}.\quad \label{kep08}
1086: \end{eqnarray}
1087: Substituting the expressions $R_i$'s and $S_i$'s, $i=1,2$, into (\ref {cso09})
1088: and evaluating the integrals we get,
1089: \begin{eqnarray}
1090: I_1=\frac {1}{2}(\dot{x}^2+\dot{y}^2)-\frac{1}{\sqrt{x^2+y^2}}, \label {kep09}
1091: \end{eqnarray}
1092: which is of course the Hamiltonian of the system. The forms $\bar{R_i}$'s and
1093: $\bar{S_i}$'s, $i=1,2$, provide us
1094: \begin{eqnarray}
1095: I_2=y\dot{x}-x\dot{y}, \label {kep10}
1096: \end{eqnarray}
1097: the second integral, namely, the angular momentum. The integrating factors
1098: $\hat{R_i}$'s and
1099: null form $\hat{S_i}$'s, $i=1,2$, lead us to
1100: \begin{eqnarray}
1101: I_{3}={\dot{x}(y\dot{x}-x\dot{y})-\frac {y}{\sqrt{x^2+y^2}}},& \label {kep11}
1102: \end{eqnarray}
1103: namely, the Runge-Lenz constant.
1104: \section{Final Remarks}
1105: In this paper, we have discussed the method of solving a class of ODEs through
1106: the modified PS method. The method is applicable to both scalar and
1107: multicomponent equations of any order. We also demonstrated the theory with
1108: examples. Apart from the above, in the scalar case, we introduced a novel way of generating integral
1109: of motion from a single integral and illustrated our ideas with the same
1110: example considered previously. The application of this method to multicomponent
1111: systems and their integrability and linearization properties will be published
1112: elsewhere.
1113:
1114: \section*{Acknowledgements}
1115: The work of VKC is supported by Council of Scientific and Industrial Research,
1116: India. The work of MS and ML forms part of a
1117: Department of Science and Technology, Government of India, sponsored
1118: research project.
1119:
1120:
1121: \begin{thebibliography}{99}
1122: \small
1123: \bibitem{Lakshmanan}
1124: Lakshmanan M and Rajasekar S,
1125: Nonlinear Dynamics: Integrability Chaos and Patterns, Springer-Verlag,
1126: New York, 2003.
1127:
1128: \bibitem{Calogero1}
1129: Bruschi M and Calogero F, Solvable and/or Integrable and/or Linearizable
1130: N-Body problems in Ordinary (Three-Dimensional) Space I,
1131: \textit{J. Nonlinear Math. Phys.} \,\textbf {7} (2000), 303-385.
1132:
1133: \bibitem{Calogero3}
1134: Calogero F, A Technique to Identify Solvable Dynamical Systems and
1135: Another Solvable Extension of the Goldfish Many-Body Problem,
1136: \textit{J. Math. Phys.} \,\textbf {45} (2004), 4661-4678.
1137:
1138: \bibitem{Calogero2}
1139: Bruschi M and Calogero F, Integrable Systems of Quartic Oscillators,
1140: \textit{Phys. Lett. A} \,\textbf {273} (2000),
1141: 173-182; arXiv:nlin. SI/0403011 (2004).
1142:
1143: \bibitem{Prelle}
1144: Prelle M and Singer M, Elementary First Integrals of
1145: Differential Equations, \textit{Trans. Am. Math. Soc.}
1146: \,\textbf {279} (1983), 215-229.
1147:
1148: \bibitem{Duarte}
1149: Duarte L G S, Duarte S E S, da Mota A C P and Skea J E F,
1150: Solving the Second-Order Ordinary Differential Equations by
1151: Extending the Prelle-Singer Method, \textit{J. Phys. A}
1152: \,\textbf {34} (2001), 3015-3024.
1153:
1154: \bibitem{Chand1}
1155: Chandrasekar V K, Senthilvelan M and Lakshmanan M,
1156: On the Complete Integrability and Linearization of Certain Second Order
1157: Nonlinear Ordinary Differential Equations, arXiv:nlin. SI/0408053.
1158:
1159: \bibitem{Chand2}
1160: Chandrasekar V K, Senthilvelan M and Lakshmanan M, New Aspects of
1161: Integrability of Force-Free Duffing-van der Pol Oscillator and Related
1162: Nonlinear Systems \textit{J. Phys. A} \,\textbf {37} (2004), 4527-4534.
1163:
1164: \bibitem{Chand3}
1165: Chandrasekar V K, Senthilvelan M and Lakshmanan M, An Unusual
1166: Li\'enard Type Nonlinear Oscillator with Properties of a Linear
1167: Harmonic Oscillator, arXiv:nlin. SI/0408054.
1168:
1169: \bibitem{Chand4}
1170: Chandrasekar V K, Senthilvelan M and Lakshmanan M,
1171: A Note on Solving Third Order Ordinary Differential Equations Through
1172: the Extended Prelle-Singer Procedure, in Proceedings of the
1173: Second National Conference on Nonlinear
1174: Systems and Dynamics, 2005 (To appear).
1175:
1176: \bibitem{Ibragimov1}
1177: Ibragimov N H, Elementary Lie Group Analysis and Ordinary Differential Equations,
1178: John Wiley \& Sons, New York, 1999.
1179:
1180: \bibitem{Ibragimov2}
1181: Ibragimov N H and Mahomed F M, Ordinary Differential Equations,
1182: CRC Handbook of Lie Group Analysis of Differential Equations, Ed. N
1183: H Ibragimov, CRC press, 1996 (Vol III-Chapter 8).
1184:
1185: \bibitem{Mahomed}
1186: Mahomed F M and Leach P G L, Symmetry Lie Algebras on $n$th Order Ordinary
1187: Differential Equations, \textit{J. Math. Anal. Appl.} \,\textbf {151} 1990,
1188: 80-107.
1189:
1190: \bibitem{Olver}
1191: Olver P J, Applications of Lie Groups to Differential Equations,
1192: Springer-Verlag, New York, 1986.
1193: \bibitem{Anco}
1194: Anco S C and Bluman G W, Integrating Factors and First Integrals for Ordinary
1195: Differential Equations, \textit{Euro. J. Appl. Math.} \,\textbf {9} (1998),
1196: 245-259.
1197:
1198: \bibitem{Bluman}
1199: Bluman G W and Anco S C, Symmetries and Integration Methods for Differential
1200: Equations, Springer-Verlag, New York, 2002.
1201:
1202: \bibitem{Lakshmanan1}
1203: Lakshmanan M and Sahadevan R, Painlev\'e Analysis, Lie Symmetries and
1204: Integrability of Coupled nolinear Oscillators of Polynomial Type,
1205: \textit{Phys. Rep.} \,\textbf {224} (1993), 1-93.
1206:
1207: \bibitem{Steeb}
1208: Steeb W H, Invertible Point Transformations and Nonlinear
1209: Differential Equations, World Scientific, London, 1993.
1210:
1211: \end{thebibliography}
1212:
1213: \label{lastpage}
1214:
1215: \end{document}
1216: