Abstract
Conditions for the separation of variables in autonomous systems of general differential equations are discussed. The approach is based on Liouville’s idea of including such a system in a Hamiltonian system in a phase space of double dimension. The Stäckel coordinates and the elliptic coordinates introduced by Jacobi are used to separate the variables.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1. LIOUVILLE EQUATIONS
Let \(v \) be a smooth vector field on an \(n \)-dimensional manifold \(M \) generating the autonomous system of differential equations
Here \(x=(x_1,\ldots ,x_n)\) are local coordinates on \(M \). Let \(T^*M \) be the total space of the cotangent bundle of \(M \), and let \(y=(y_1,\ldots ,y_n) \) be the Cartesian coordinates in the vector space \(T_x^*M \).
The function
is invariantly defined on \(T^*M \). The parentheses \((\thinspace ,\thinspace \!) \) stand for pairing (the value of a covector on a vector). On the other hand, there exists a natural (canonical) symplectic structure on \(T^*\!M \) given by the nondegenerate closed 2-form
which permits one to treat the function (1.2) as a Hamiltonian and consider the associated system of differential Hamiltonian equations
The first group of equations coincides with the original system of differential equations (1.1), and the second one is the adjoint variational system for system (1.1).
These observations, dating back to Liouville, allow reducing the study of system (1.1) to a problem about the Hamiltonian system (1.3) with Hamiltonian linear in the momenta. It is useful to associate the Hamilton–Jacobi equation
with the Hamiltonian (1.2). The function \(S \) has the meaning of action in the sense of Hamilton in the Hamiltonian formalism and is a first integral of system (1.1).
Recall that a complete solution of Eq. (1.4) is a function \(S(t,x,\alpha ) \) (where \(\alpha =(\alpha _1,\ldots ,\alpha _n)\) is a set of parameters) satisfying Eq. (1.4) for each \(\alpha \) and the nondegeneracy condition
Since the field \(v \) is time-independent, we can set
then it is easily seen that the function \(W \) satisfies the equation
and condition (1.5) (with \(S\) replaced by \(W \)).
By the Jacobi theorem, if a complete solution of Eq. (1.4) is known, then the general solution of the corresponding Hamiltonian system (1.3) can be found from the relations
The possibility of finding the variables \(x_1,\ldots ,x_n \) as functions of time \(t \) and \(2n \) arbitrary constants \(\alpha _i \), \(\beta _i\) ( \(1\le i\le n \)) is guaranteed by the implicit function theorem in view of condition (1.5). The solutions of the adjoint linear variational system are found by the formulas
where one should substitute the solutions of system (1.1) for \(x \).
We say that the variables \(x_1,\ldots ,x_n\) in the system of ordinary differential equations are separated if the complete solution of Eq. (1.6) has the form
This general definition is a key one for further analysis. In Secs. 2 and 3, we indicate meaningful examples of nonlinear systems solvable by separation of variables.
However, already for \(n=2\) there exist systems of differential equations that are customarily referred to as systems with separated variables and which do not fall under our consideration. We mean systems of the form
To eliminate this contradiction, we agree not to distinguish between systems whose right-hand sides differ by a factor in the form of an everywhere positive (or negative) smooth function. Such systems have the same phase trajectories and are simultaneously integrable (or nonintegrable) by quadratures. Since we consider autonomous systems of differential equations, the problem of finding their trajectories (rather than solutions) seems even more natural. If we divide the right-hand sides of (1.7) by the product \( v_1v_2\) (in the domain where system (1.7) has no singular points), then we obtain a system with separated variables in the sense of our general definition.
To conclude this section, we present one relation important for further analysis. Let
be two functions on \(T^*M \) linear in the momenta, and let \(w_1 \) and \(w_2 \) be smooth vector fields on \(M \). Then the Poisson bracket \(\{\Phi _1,\Phi _2\} \) is equal to
where \([\thinspace {,}\thinspace ] \) is the commutator of vector fields. Consequently, the functions \(\Phi _1\) and \(\Phi _2 \) are in involution if and only if the fields \(w_1 \) and \(w_2 \) commute with each other.
Let the functions
be pairwise in involution with each other. In particular, all of them are integrals of the Hamiltonian system (1.3). In addition, let the vector fields \(w_1=v,w_2,\ldots ,w_n \) be linearly independent at each point \(M \) and unrestrained on \(M \). Then each connected component of the manifold \(M \) is a cylinder (diffeomorphic to the direct product \(\mathbb {R}^k\times \mathbb {T}^{n-k}\), where \(\mathbb {T}^m \) is an \(m \)-dimensional torus), and on this cylinder we can introduce \(k \) linear coordinates \(\psi _1,\ldots ,\psi _k \) and \(n-k \) angular coordinates \(\varphi _{k+1},\ldots ,\varphi _n\mod 2\pi \) so that system (1.1) in these coordinates acquires the form
This assertion is a global version of the theorem on the rectification of trajectories (see, e.g., [1, Ch. II, Sec. 4]). In the compact case (\(k=0 \)), we obtain conditionally periodic motions on \(\mathbb {T}^n \). Reducing a system of equations to the form (1.9) is often called a linearization of this system (because the variables \(\psi _i\), \(1\le i\le k \) and \(\varphi _j \), \(k+1\le j\le n\), vary linearly with time).
The application of the Liouville equations to the integration of nonlinear systems of differential equations can be found in [2]. This note should be viewed as a supplement to that paper.
2. STÄCKEL SYSTEMS
Consider a nonsingular \(n\times n\) matrix
Let \(\Phi \) be its determinant, and let \(\Phi _{ij}\) be the cofactor of the entry \(\varphi _{ij}\) (depending only on the coordinate \(x_j\)). Consider \(n \) systems of differential equations of the form
where the \(f_j \) are nonvanishing smooth functions of a single variable. The integer \(m\) (\(1\leq m\leq n \)) labels these systems. We claim that each of these systems can be integrated by separation of variables. Moreover, all these nonlinear systems are linearizable by the one and the same transformation in the case of the torus (\(M=\mathbb {T}^n \)).
In the case under consideration, Eq. (1.6) acquires the form
or
Set
where \(W_s\) (as a function of one variable \(x_s \)) satisfies the equation
The equation can be solved in a trivial way, and (since the matrix (2.1) is nonsingular) the function (2.4) gives a complete solution of Eq. (2.3).
We point out that all \(n\) systems (2.2) of differential equations are solved simultaneously by separating the variables \(x_1,\ldots ,x_n\). It is easy to understand that \(n\) functions of the form (1.8)
form a complete set of first integrals in involution. Since the functions \(f_1,\ldots ,f_n \) nowhere vanish by assumption, we have
Consequently, the phase flows of the systems of differential equations (2.2) for different \(m \) commute with each other.
This method for the separation of variables was first used by Stäckel to solve equations of dynamics (see, e.g., the monograph [3, p. 2.3] and references therein). In particular, he indicated Riemannian metrics whose geodesics can be found by quadratures. The same variables are separated in the corresponding Laplace–Beltrami operator.
It follows from Eq. (2.5) that
Consequently, by the Jacobi theorem,
which gives the general solution of the \(m \)th system of differential equations in (2.2). For the arbitrary constants one can take \(x_1^0,\ldots ,x_n^0\) or \(\beta _1,\ldots ,\beta _n \).
3. ABEL EQUATIONS
Consider the special case of the Stäckel system in which the matrix (2.1) is the Vandermonde matrix
Let us explicitly write system (2.2) of differential equations with separated variables in the simplest case of \(m=n\),
If we disregard the content of Sec. 2, then it is not that obvious here that this system can be solved by separation of variables.
In many problems of mechanics that have been integrated, \(f_1=\ldots =f_n=f \) and
where \(P \) is a polynomial of degree \(2n+1 \) or \(2n+2 \) without multiple roots. In particular, for \(n=2 \) Eqs. (3.1) (the function \(f \) is determined by (3.2)) arise when integrating the equations of rotation of a massive solid body in the Kovalevskaya and Goryachev–Chaplygin cases (see, e.g., [1, Ch. II, Sec. 5]).
Equations (2.6) acquire the form
The problem of inverting these equations (finding \(x_1,\ldots ,x_n \)) is the subject of classical studies begun by Abel, Jacobi, and Riemann (the modern approach is described, e.g., in [4]). If \(P\) is a polynomial of degree \(2n-1 \), then (as Abel proved) the solution of the transcendental system (3.3) can be reduced to an algebraic problem of solving a system of polynomial equations. Jacobi associated the separating variables \(x_1,\ldots ,x_n\) with elliptic coordinates in \(\mathbb {R}^n\) [5, p. 209]. The relation between Abel equations (3.1) and Stäckel systems was also discussed in [6; 7, Ch. 3, Sec. 3] from the viewpoint of the problem of integrating the equations of dynamics.
4. SYSTEMS WITH MULTIVALUED INTEGRALS ON A TORUS
Let \(M \) be the \(n \)-dimensional torus \(\mathbb {T}^n=\{x_1,\ldots ,x_n\mod 2\pi \}\), and let \(f\colon \mathbb {T}^n\to \mathbb {R}\) be a smooth positive function. Consider the system of differential equations
on \(\mathbb {T}^n\). Here \(\omega _1,\ldots ,\omega _n\) are nonzero constant numbers.
Obviously, system (4.1) is integrable by quadratures. Moreover, it admits the multivalued integrals
of which exactly \(n-1 \) are functionally independent. Note that, under some additional assumptions, the converse is also true: if a system on a torus admits \(n-1 \) independent multivalued integrals, then this system can be reduced to the form (4.1) in some angular variables (see [8]). The case of \(n=3\) was considered by Arnold [9]. System (4.1) admits the invariant measure \(f(x)\thinspace d^nx \). As shown by Kolmogorov [10], any system without singular points on a two-dimensional torus that admits an invariant measure with a positive smooth density can be reduced to the form (4.1).
First, let us make a simple remark. If
then system (4.1) can be solved by separation of variables. By the way, this case is realized in integrable problems of rigid body dynamics: after the introduction of angular variables, the Abel equations (3.1) (for \(n=2\)) take exactly this form.
In the general case, Eq. (1.6) has the simple form
Set \(f=\overline {f}+\widetilde {f} \), where \(\overline {f} \) is the mean value of the function \(f \) on \(\mathbb {T}^n \) and the mean of \(\widetilde {f}=f-\overline {f} \) is zero. Then the solution of Eq. (4.2) can be represented as the sum of functions \(\overline {W} \) and \(\widetilde {W} \), where
and
It is well known that for almost all \(n \)-tuples \((\omega _1,\ldots ,\omega _n)\in \mathbb {R}^n\) Eq. (4.3) admits a smooth solution (which is unique if the mean \(\widetilde {W} \) is assumed to be zero).
Then \(S=-h(\alpha )t+W(x,\alpha ) \) and the variables \(x_1,\ldots ,x_n \) as functions of time can be found from the relations
Here \(W^{\prime }=\widetilde {W}/h \). Consequently, the change of variables
takes system (4.1) to the system
which defines a conditionally periodic motion on the torus. The frequencies \( \omega ^{\prime }_j\) are the mean values of the right-hand sides of system (4.1) with respect to the invariant measure \(f\thinspace d^nx\).
Formulas (4.4) are indicated in the book [11, p. 156]; the same result about reducing system (4.1) to system (4.5) for almost all \(\omega \in \mathbb {R}^n \) is proved in a similar manner in the paper [12]. Kolmogorov’s proof in [10] for \(n=2\) is based on another idea.
5. CONDITIONS FOR SEPARATION OF VARIABLES
The next assertion answers the question about the separation of variables \(x_1,\ldots ,x_n\) in the system of differential equations (1.1), i.e., in the system
Theorem.
The variables \( x_1,\ldots ,x_n\) in system (5.1) can be separated if and only if the components of the vector field \(v \) satisfy the following \( n(n-1)\) conditions:
The proof is based on the well-known result by Levi-Civita on the criterion for separation of variables in the Hamilton–Jacobi equation with the Hamiltonian \( H(x_1,\ldots ,x_n,y_1,\ldots ,y_n)\),
for all \(1\leq j<k\leq n \) (there is no summation over repeated indices). The proof of this fact and its discussion can be found, for example, in [3, Sec. 2.3].
Now substituting the Hamiltonian (1.2) into relations (5.3), we obtain conditions (5.2) for the separation of variables in the system of differential equations (1.1).
It is hardly possible to find all vector fields that satisfy system (5.2) in the most general case. Consider the special case mentioned in Sec. 1, where \(n=2 \); system (1.7). In this case, system (5.2) can be reduced to the two partial differential equations
They are easily transformed to the form
The latter, in an obvious manner, implies the equalities
with some smooth functions \(\varphi \) and \(\psi \).
First, let \(\varphi \equiv 0\). (The case of \(\psi \equiv 0\) can be considered in a similar way.) Then the first relation in (5.4) implies that \(v_1=\alpha (x_1)\), where \(\alpha \) is a smooth function. However, then the second equality in (5.4) implies that
where \(\gamma _1=\exp \int \psi (x_1)\alpha (x_1)\thinspace dx_1 \). In this case, the Hamilton–Jacobi equation (1.6) can be solved by the separation of variables.
Now assume that the functions \(\varphi \) and \(\psi \) do not vanish anywhere. Set
Then it follows from relations (5.4) that \(\partial w_1/\partial x_2=\partial w_2/\partial x_1 \). Consequently, the field \(w=(w_1,w_2) \) is potential,
with a smooth potential \(a \) satisfying the equation
Based on this, we conclude that
with some smooth functions \(c_1\) and \(c_2 \) of one variable. Hence, according to Eqs. (5.5) and (5.6), we have
Finally, from the first equation in (5.7) we obtain
As a result, the representations (5.8) yield the following form of the right-hand sides of our system of differential equations:
where \(A \), \(B \), \(C \), and \(D \) are smooth functions. In this case, we have the Stäckel system with separating variables in Sec. 2.
REFERENCES
Kozlov, V.V., Symmetries, Topology, and Resonances in Hamiltonian Mechanics, Berlin: Springer-Verlag, 1996.
Kozlov, V.V., Remarks on integrable systems, Regular Chaotic Dyn., 2014, vol. 19, no. 2, pp. 145–161.
Perelomov, A.M., Integriruemye sistemy klassicheskoi mekhaniki i algebry Li (Integrable Systems of Classical Mechanics and Lie Algebras), Moscow: Nauka, 1990.
Dubrovin, B.A., Theta functions and non-linear equations, Russ. Math. Surv., 1981, vol. 36, no. 2, pp. 11–92.
Jacobi, C.G.J., Vorlesungen über Dynamik, Berlin: Druck und Verlag von G. Reimer, 1884. Translated under the title: Lektsii po dinamike, Moscow–Leningrad: ONTI, 1936.
Tsyganov, A.V., Homogeneous Stäckel-type systems, Theor. Math. Phys., 1998, vol. 115, no. 1, pp. 3–28.
Borisov, A.V. and Mamaev, I.S., Sovremennye metody teorii integriruemykh sistem (Contemporary Methods of the Theory of Integrable Systems), Moscow–Izhevsk: Inst. Komp’yut. Issled., 2003.
Kozlov, V.V., Dynamical systems with multivalued integrals on a torus, Proc. Steklov Inst. Math., 2007, vol. 256, pp. 201–218.
Arnold, V.I., Polyintegrable flows, St. Petersb. Math. J., 1993, vol. 4, no. 6, pp. 1103–111.
Kolmogorov, A.N., On dynamical systems with an integral invariant on the torus, Dokl. Akad. Nauk SSSR, 1953, vol. 93, no. 5, pp. 763–766.
Kozlov, V.V., Metody kachestvennogo analiza v dinamike tverdogo tela (Qualitative Analysis Methods in Rigid Body Dynamics), Moscow: Regulyarnaya Khaoticheskaya Din., 1980.
Herman, M.R., Exemples de flots hamiltoniens dont aucune perturbation en topologie \( C^\infty \) n’a d’orbites périodiques sur un ouvert de surfaces d’énergies, Comp. Rend. Acad. Sci. Paris, 1991, vol. 312, sér. 1, no. 13, pp. 989–994.
Funding
This work was supported by the Russian Science Foundation, project no. 21-71-30011.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated by V. Potapchouck
Rights and permissions
About this article
Cite this article
Kozlov, V.V. On the Problem of Separation of Variables in Systems of Ordinary Differential Equations. Diff Equat 57, 1299–1306 (2021). https://doi.org/10.1134/S0012266121100049
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0012266121100049