Abstract
This paper discusses the dynamics of systems of point masses joined by massless rigid rods in the field of a potential force. The general form of equations of motion for such systems is obtained. The dynamics of a linear chain of mass points moving around a central body in an orbit is analysed. The non-integrability of the chain of three masses moving in a circular Kepler orbit around a central body is proven. This was achieved thanks to an analysis of variational equations along two particular solutions and an investigation of their differential Galois groups.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Investigations of multibody systems dynamics are relevant for space missions such as space robots, tethered systems, and space stations. In the simplest models, systems of points connected with joints having specific properties are considered. For example, in the perfect dumb-bell model, two point masses are joined by a massless rigid rod. An example of investigations of motion of a dumb-bell in an orbit can be found in Celletti and Sidorenko (2008). This model is in fact a simplification of a system describing the motion of a symmetric rigid body in an orbit. One can also consider a spring dumb-bell in an orbit; see, e.g., papers (Burov and Kosenko 2013; Burov 2011; Sidorenko and Celletti 2010) and references therein. These kinds of systems can serve as models with a deformable body.
Other models of deformable extended bodies consist of point masses joined by massless rigid rods with spherical hinges. The simplest of them are just open chains. A system of \((n+1)\) points can be joined one after another to form an open chain with n links. It is called n-chain. The most general description of this type of systems in an orbital environment was done by Guerman (2003, (2006). Among other things, for such systems certain families of equilibria were found.
A peculiar dynamical property of linear chains is that if \(n>2\), then equations of their free motion are not integrable; see, e.g., (Szumiński 2014). Moreover, an n-chain with one fixed end is just a multiple pendulum. Amazingly, even in the absence of the gravity field, the system is not integrable for \(n>2\); see Salnikov (2013). Free systems of coupled planar rigid bodies were investigated also by Sreenath et al. (1988) and by Oh et al. (1989).
In this paper we derive equations of motion for an open chain in an arbitrary potential field. Next, we obtain equations of motion for a chain whose centre of mass moves in a circular orbit. We show that equations for 2-chains are not integrable. To obtain this result we investigate variational equations along two families of particular solutions. Thanks to this, we were able to prove the non-integrability for all allowable values of the system parameters.
2 Equations of motion and main result
We consider a system of \((n+1)\) points \(P_0\), ..., \(P_n\). Point \(P_i\) is connected with point \(P_{i+1}\) by a massless perfectly rigid rod and the junction is a spherical hinge. Thus, the points form an open chain with n links. Example of three points with two links forming 2-chain is given in Fig. 1.
Let \(m_i\) and \(\varvec{q}_i\) denote the mass and the radius vector of point \(P_i\), respectively. The rigid rods put n holonomic constraints
on the system. We can set
where
and
Clearly, \((\varvec{q}_0, \varvec{e}_1, \ldots , \varvec{e}_n)\) specify the configuration of the system. Hence, its configuration space is \(M^{2n+3}=\mathbb {R}^3\times \left( {\mathbb {S}}^2 \right) ^n\), or, in the planar case \(M^{2+n}=\mathbb {R}^2\times \left( {\mathbb {S}}^1 \right) ^{n}=\mathbb {R}^2\times \mathbb {T}^n \). Notice that instead of \(\varvec{q}_0\) we can take an arbitrary point \(\varvec{q}_i\) with \(0\le i \le n\). However, it is natural to specify a configuration by \((\varvec{r}, \varvec{e}_1, \ldots , \varvec{e}_n)\), where \(\varvec{r}\) is the radius vector of the centre of the mass
Then, from (2.2) we obtain
Hence, we can write
for \(i=0, \ldots , n\). Obviously, we have
Application of this equality gives
and similarly, we have
Next, we introduce a symmetric \(n\times n\) matrix \(I=[I_{\alpha ,\beta }]\) defined by
Using the definition of \(\varvec{r}_i\), see (2.7), we find that
Here, we notice that
Using the above relations, one can find
The kinetic energy has the form
Let \(V(\varvec{r},\varvec{e}_1, \ldots , \varvec{e}_n)\) be the potential of an external forces. Then the Lagrange function is
and the equations of motion have the form
where \(\lambda _{\alpha }\) are the Lagrange multipliers. Their dependence on dynamical variables \(\varvec{r}\), \(\varvec{e}_1\), ..., \(\varvec{e}_n\) and velocities \(\dot{\varvec{r}}\), \(\dot{\varvec{e}}_1\), ..., \(\dot{\varvec{e}}_n\) can be deduced from constraints
Example 2.1
Let us assume that the chain moves in a constant gravity field. The potential energy of a point mass m is given by \(V= -m\,\varvec{n}\cdot \varvec{q}\), where \(\varvec{n}\) is a constant vector of a gravity field intensity. Thus, the potential energy of the chain is
It implies that the motion of the centre of the mass of the chain moves like a point in a constant gravity field. Nevertheless, the motion of the chain is highly complicated. If \(n>2\), the system is not integrable.
Remark 2.1
If in the above example we fix one end of the chain, then we obtain just a multiple pendulum. This modification changes the dynamics of the system. In fact, even for \(n=2\) the system is not integrable. This problem was investigated by many authors; see, e.g., (Burov and Nechaev 2002; Moauro and Negrini 1998; Paul and Richter 1994).
Now, let us assume that the chain moves around a central body with mass M along an orbit. The potential energy of the chain is
Let us assume that lengths of the chain links are small in comparison to the dimension of the orbit of its mass centre. It means that the following quantity
is small. It is customary to approximate the potential by its truncated form. We take expansion
where dots denote terms of order higher than \(\varepsilon ^2\), which we neglect. Then using formula (2.13) we obtain
where \(\varvec{e}_{\varvec{r}}=\varvec{r}/||\varvec{r} ||\).
Now we fix the orbit. More precisely, we assume that the centre of mass of the chain moves in a circular Keplerian orbit of radius a. The motion of the chain is conveniently investigated in its orbital frame. The first axis of this frame is directed along the radius vector, and the third axis is normal to the plane of the orbit and has the direction of the orbital angular momentum. The orbital frame rotates around the origin with constant angular velocity \(\omega \) defined by
In our notation, \(\varvec{e}_i=(x_i,y_i,z_i)^T\) denotes the coordinates of unit vector
in the chosen inertial frame. Coordinates of this vector in the orbital frame are denoted by \(\varvec{s}_i=(X_i, Y_i, Z_i)^T\). The relation between these two sets of coordinates is given by \(\varvec{e}_i=\varvec{A}(t) \varvec{s}_i\), where \(\varvec{A}(t)\) is the rotation matrix. We can assume with no loss of generality that the orbit plane coincides with the (x, y)-plane of the inertial frame and then
The time derivative of \(\varvec{e}_i\) is given by
where
is the vector of the orbital angular velocity. Using the above identities, we can rewrite the Lagrange function in the form
where
and \(\varvec{s}=(1,0,0)^T\). Let us notice that we neglected terms describing the motion of the mass centre. By a proper choice of the unit of time, we can achieve that \(\omega =1\).
2.1 Planar 2-chain problem
In the rest of this paper, we investigate the motion of a 2-chain, which moves in the plane of the orbit, see in Fig. 1. As coordinates we take two angles \((\varphi _1, \varphi _2)\) such that
In these coordinates, the Lagrange function reads
where
Explicit forms of entries of the tensor of inertia for a 2-chain are as follows
where \(l_1\) and \(l_2\) are lengths of arms between masses \(m_0\) and \(m_1\), and \(m_1\) and \(m_2\), respectively.
For further considerations, it is convenient to introduce relative coordinates \(x_1 = \varphi _1\) and \(x_2=\varphi _2-\varphi _1\). Using these coordinates, we rewrite Lagrange equations in a form of the following system of first-order differential equations
where
The above system is a Hamiltonian; however, coordinates \((x_1,y_1,x_2, y_2)\) are not canonical. The Hamiltonian function in these variables reads
Parameters \(\lambda _1\) and \(\lambda _2\) are positive, and moreover,
so the set of physically admissible values of \((\lambda _1,\lambda _2)\) is given by
2.2 Main theorem
Numerical tests (see Fig. 2) show that, in general, the system (2.34) is not integrable. However, such tests do not exclude the possibility that the system is integrable for certain values of \((\lambda _1,\lambda _2)\in \Lambda \). Our aim is to prove that no such values exist.
For the considered system, the configuration space is a two-dimensional torus \(\mathbb {T}^2\) with coordinates \((x_1, x_2) \mod 2\pi \). The phase space is \(T^{\star } \mathbb {T}^{2}\simeq \mathbb {T}^2 \times \mathbb {R}^2\), and \((x_1, x_2, y_1,y_2)\) are coordinates on it.
Functions \(f(x_1, x_2, y_1,y_2)\) defined on the phase space are periodic with respect to the first two arguments. We extend our system to the complex phase space, so considered functions are complex functions of complex variables \((x_1, x_2, y_1,y_2)\in \mathbb {C}^4\).
The main result of this paper is the following theorem.
Theorem 2.1
The complex system (2.34) does not have a first integral which is meromorphic and functionally independent of H.
3 Proof
In this section, we prove our main theorem by analysing properties of the differential Galois group of variational equations for certain particular solutions of the system. Our considerations are based on the general theorem of Morales Ruiz (1999), Morales-Ruiz and Ramis (2001) that formulates necessary integrability conditions using properties of the differential Galois group of variational equations.
Theorem 3.1
(Morales–Ramis). Assume that a Hamiltonian system is meromorphically integrable in the Liouville sense in a neighbourhood of a phase curve \(\Gamma \). Then the identity component of the differential Galois group of the variational equations along \(\Gamma \) is Abelian.
The main steps of the proof are as follows. At first we find two families of particular solutions of our system. They describe oscillations (and rotations) of the chain. These solutions describe the motion of the chain when its two parts are either parallel or anti-parallel. Then we derive the variational equations and transform their normal subsystems into the form of second-order equations with rational coefficients. These equations are Fuchsian, and their differential Galois groups are subgroups of \(\mathrm {SL}(2,\mathbb {C})\).
Local analysis of variational equations shows that solutions of normal variational equations have logarithmic terms. Hence, it is impossible that all their solutions are algebraic. This fact simplifies further consideration. To complete the proof of non-integrability, it is enough to show that the equations do not have exponential solutions. At this point, we apply a part of the Kovacic algorithm.
3.1 Particular solutions and variational equations
System (2.34) has two invariant manifolds
and its restriction to \({{\mathscr {N}}}_k\) reads
These equations have the energy integral
Let \(\Gamma (\eta )\in \mathbb {C}^2\) denote a phase curve of system (3.1) lying on the level \(h(x,y)=\eta \), and \(\Gamma _k(\eta )\subset {{\mathscr {N}}}_k\) with \(k=1,2\) are the respective phase curves of system (2.34).
If we denote by \([X_1,Y_1,X_2,Y_2]^T\) variations of phase variables \([x_1,y_1,x_2,y_2]^T\), then the variational equations along \(\Gamma _k(\eta )\) have the form
where \((x,y)\in \Gamma (\eta )\) and
and
for \(k=1, 2\).
The last two equations in (3.3) form a closed subsystem, which is called the normal variational equations. The equivalent second-order differential equation reads
For both phase curves \(\Gamma _1(\eta )\) and \(\Gamma _2(\eta )\), we fix the same level of integral h, so
For further considerations, it is convenient to make the following change of independent variable
Then from (3.5), we obtain
and
Using the above formulae, we transform equations (3.4) to the following form
where prime denotes the derivative with respect to z, and rational coefficients of these equations are as follows
Next, we make the following change of dependent variable
which convert equations (3.7) into its reduced form
Moreover, we fix the energy \(\eta =1\) for both particular solutions. It is clear that for this value of \(\eta \) two singular points of equation (3.10) collapse into one at \(z=0\). Then, the coefficient \(r_k\) is given by
It is worth to notice here that \(r_k\) is a symmetric function of \(\lambda _1\) and \(\lambda _2\). In fact, we have
The admissible values of parameters \((\lambda ,\sigma )\) are distinguished by the following inequalities
see Fig. 3.
Equation (3.10) with the above coefficient \(r_k\) is a Fuchsian equation with four regular singular points \(z_0=0\), \(z_{\pm 1}=\pm 1\) and \(z_\infty =\infty \). The respective differences of exponents at these points are as follows
where
respectively. In terms of \(\sigma \) and \(\lambda \), these quantities read
Moreover, rational functions \(r_k(z)\), see (3.11), can be rewritten in the following form
3.2 Logarithmic terms
Since the difference of exponents \(\Delta _0=2\) is an integer, local solutions near \(z=0\) can have logarithmic terms; see, e.g., (Whittaker and Watson 1935, Chap. 10) and (Maciejewski et al. 2013, App. B). More precisely, two linearly independent local solutions \(w_1\) and \(w_2\) of (3.10) in a neighbourhood of \(z=0\) have the following form
where f(z) and h(z) are holomorphic at \(z=0\) and \(f(0)\ne 0\). Coefficient g multiplying the logarithmic term is
Since \(g>0\) for arbitrary \(c_k\in \mathbb {R}\), the logarithmic term appears in local solutions of the variational equation for all values of the parameters.
A continuation of the matrix of fundamental solutions along a small loop \(\gamma \) encircling the origin \(z=0\) counterclockwise gives rise to a triangular monodromy matrix
Hence, the monodromy group of equation (3.10) contains matrix
which is not diagonalisable.
3.3 Differential Galois group of the variational equation
The variational equation (3.10) is a parameterised family of second-order differential equations of the following form
For such equations, their differential Galois group \({{\mathcal {G}}}\) is an algebraic subgroup of \(\mathrm {SL}(2,\mathbb {C})\). The following lemma describes all possible types of \({{\mathcal {G}}}\) and relates these types to forms of solution of (3.22); see (Kovacic 1986; Morales Ruiz 1999).
Lemma 3.1
Let \({{\mathcal {G}}}\) be the differential Galois group of equation (3.22). Then one of four cases can occur.
-
1.
\({{\mathcal {G}}}\) is reducible (it is conjugated to a subgroup of a triangular group); in this case equation (3.22) has an exponential solution of the form \(y=\exp \int \omega \), where \(\omega \in \mathbb {C}(z)\),
-
2.
\({{\mathcal {G}}}\) is conjugated with a subgroup of
$$\begin{aligned} D^\dag = \left\{ \begin{bmatrix} c&0\\ 0&c^{-1} \end{bmatrix} \; \biggl | \; c\in \mathbb {C}^*\right\} \cup \left\{ \begin{bmatrix} 0&c\\ c^{-1}&0 \end{bmatrix} \; \biggl | \; c\in \mathbb {C}^*\right\} . \end{aligned}$$in this case equation (3.22) has a solution of the form \(y=\exp \int \omega \), where \(\omega \) is algebraic over \(\mathbb {C}(z)\) of degree 2,
-
3.
\({{\mathcal {G}}}\) is primitive and finite; in this case all solutions of equation (3.22) are algebraic,
-
4.
\({{\mathcal {G}}}= \mathrm {SL}(2,\mathbb {C})\) and equation (3.22) has no Liouvillian solution.
For the notion of Liouvillian solutions, see, e.g., Kovacic (1986) and references therein. Now, let us return to our variational equation (3.10). Let \({{\mathscr {M}}}_{k}\) and \({{\mathscr {G}}}_k\) denote its monodromy and differential Galois group, respectively. It is known that \({{\mathscr {M}}}_{k} \subset {{\mathscr {G}}}_{k}\). We showed that its monodromy group contains non-diagonalisable matrix \(M_0\). Thus, \({{\mathscr {G}}}_k\) is not a finite subgroup of \(\mathrm {SL}(2,\mathbb {C})\). In this way, we exclude the third case of Lemma 3.1.
By the same reason, \({{\mathscr {G}}}_k\) cannot be also a subgroup of the dihedral group \(D^\dag \) because it cannot contain a non-diagonalisable triangular matrix. Thus, the differential Galois group \({{\mathscr {G}}}_k\) of the variational equation is either a triangular subgroup of \(\mathrm {SL}(2,\mathbb {C})\) or \(\mathrm {SL}(2,\mathbb {C})\).
3.4 Elimination of the first case of Lemma 3.1
Let us assume that for our variational equation (3.10) the first case of Lemma 3.1 occurs. Then this equation has a nonzero solution of the form
see Kovacic (1986). If such a solution exists, then polynomial P(z) of degree d and rational function \(\omega (z)\) can be found by application of Case 1 of the Kovacic algorithm, see Kovacic (1986). In order to construct this solution, first we calculate for each singularity auxiliary sets
Next, we select from the Cartesian product
these elements \(\varvec{\rho }=(\rho _{-1},\rho _0,\rho _1,\rho _\infty )\in {{\mathscr {E}}}\) for which
is a non-negative integer. The integer \(d(\varvec{\rho })\) is the degree of polynomial P(z) entering into solution (3.23). For each selected element \(\varvec{\rho }\in {{\mathscr {E}}}\), we define the corresponding rational function
Moreover, polynomial P must satisfy equation
For our normal variational equations, the auxiliary sets are the following
For possible choices of \(\varvec{\rho }\), we have that
with \(m\in \{-1,0,1,3,4,5\}\). We require that \(d(\varvec{\rho })\) is a non-negative integer for \(k=1\) and \(k=2\). This implies that \(\delta _1\) and \(\delta _2\) are integers, which we denote by \(n_k = \delta _k\). Using equation (3.16), one can express parameters \((\lambda _1,\lambda _2)\) in terms of \((n_1,n_2)\) and symmetric functions \(\lambda \) and \(\sigma \) defined in Eq. (3.12) take the forms
Now the last inequality in (3.13) expressed in terms of \((n_1,n_2)\) reads
Hence, \(n_1\) and \(n_2\) are non-negative integers, which satisfy three inequalities
From the last two conditions, it follows that \(n_1^2>9\). Putting \(n_1^2 = 9 + a\), with a certain \(a>0\), from the first condition (3.29) we obtain
Thus, we conclude that there is only a finite number of admissible values of \(n_2\), namely \(n_2\in \{0,1,2\}\). We investigate these three cases using the variational equation corresponding to the second particular solution, i.e., we fix \(k=2\).
If \(n_2 =\delta _2=0\), then \({{\mathscr {E}}}_\infty =\{1/2\}\). There are two possible choices of \(\varvec{\rho }\in {{\mathscr {E}}}\) for which \(d(\varvec{\rho })\) is a non-negative integer, namely
So, the polynomial P(z) is a nonzero constant polynomial, and we can assume that \(P(z)=1\). Then equation (3.26) reduces to the following one
with \(\omega =\omega (z)\) given by (3.25). In the considered case, this function reads
with an upper sign for \(\varvec{\rho }_1\). Moreover, as \(\delta _2=0\), coefficient \(r_2\) in (3.17) simplifies to
Hence,
In other words, this case is excluded.
If \(\delta _2=1\), then \({{\mathscr {E}}}_4=\{1,0\}\), and
One can find that there are three admissible vectors \(\varvec{\rho }\in {{\mathscr {E}}}\), namely
For these vectors, the respective rational functions \(\omega \) are as follows
For \(\varvec{\rho }_1\) and \(\varvec{\rho }_2\), we can set \(P(z)=1\), and we have to check if equation (3.31) is satisfied. But for both vectors, we obtain
For \(\varvec{\rho }_3\), we can set \(P(z)=z + a\) with a certain \(a\in \mathbb {C}\). This polynomial must fulfill equation (3.26), which reduces to
for an arbitrary \(a\in \mathbb {C}\). Thus, this case is also excluded.
If \(\delta _2=2\), then \({{\mathscr {E}}}_4=\{-1/2,3/2\}\), and
Now, we have two possible choices for \(\varvec{\rho }\). Namely,
The respective functions \(\omega \) are given by (3.32), and we can put \(P=z+a\). Then equation (3.26) reduces to equality
which cannot be fulfilled for any \(a\in \mathbb {C}\). Thus, this case is also excluded.
In summary, it is impossible that for both variational equations their differential Galois groups are triangular subgroups of \(\mathrm {SL}(2,\mathbb {C})\). At the same time, this shows also that at least for one particular solution the identity component of the differential Galois group of the respective normal variational equation is not Abelian. Thus, by Theorem 3.1, the system is non-integrable.
References
Burov, A.A.: Oscillations of a vibrating dumbbell in an elliptic orbit. Dokl. Akad. Nauk. 437(2), 186–189 (2011)
Burov, A.A., Kosenko, I.I.: On the existence and stability of “orbitally uniform” rotations of a vibrating dumbbell in an elliptical orbit. Dokl. Akad. Nauk. 451(2), 164–167 (2013)
Burov, A.A., Nechaev, A.N.: On nonintegrability in the problem of the motion of a heavy double pendulum. In: Problems in the investigation of the stability and stabilization of motion, pp. 128–135, Ross. Akad. Nauk, Vychisl. Tsentr im. A. A. Dorodnitsyna, Moscow (in Russian) (2002). http://www.ccas.ru/depart/mechanics/TUMUS/z_SBORNIKI/Issues.html
Celletti, A., Sidorenko, V.: Some properties of the dumbbell satellite attitude dynamics. Celest. Mech. Dyn. Astron., 101(1–2), 105–126 (2008)
Guerman, A.D.: Equilibria of multibody chain in orbit plane. J. Guid. Control Dyn. 26(6), 942–948 (2003)
Guerman, A.D.: Spatial equilibria of multibody chain in a circular orbit. Acta Astronautica 58(1), 1–14 (2006). doi:10.1016/j.actaastro.2005.05.002
Kovacic, J.J.: An algorithm for solving second order linear homogeneous differential equations. J. Symbol. Comput. 2(1), 3–43 (1986)
Maciejewski, A.J., Przybylska, M., Simpson, L., Szumiński, W.: Non-integrability of the dumbbell and point mass problem. Celest. Mech. Dyn. Astron. 117(3), 315–330 (2013)
Moauro, V., Negrini, P.: Chaotic trajectories of a double mathematical pendulum. Prikl. Mat. Mekh. 62(5), 892–895 (1998)
Morales Ruiz, J.J.: Differential Galois theory and non-integrability of Hamiltonian systems, volume 179 of Progress in Mathematics. Birkhäuser Verlag, Basel (1999)
Morales-Ruiz, J.J., Ramis, J.P.: Galoisian obstructions to integrability of Hamiltonian systems. I. Methods Appl. Anal. 8(1), 33–95 (2001)
Oh, Y.-G., Sreenath, N., Krishnaprasad, P.S., Marsden, J.E.: The dynamics of coupled planar rigid bodies. II. Bifurcations, periodic solutions, and chaos. J. Dyn. Differ. Equ. 1(3), 269–298 (1989)
Paul, A., Richter, P.H.: Application of Greene’s method and the MacKay residue criterion to the double pendulum. Z. Phys. B 93(4), 515–520 (1994)
Salnikov, V.: On numerical approaches to the analysis of topology of the phase space for dynamical integrability. Chaos Solitons Fractals 57, 155–161 (2013)
Sidorenko, V.V., Celletti, A.: A “spring-mass” model of tethered satellite systems: properties of planar periodic motions. Celest. Mech. Dyn. Astron. 107(1–2), 209–231 (2010)
Sreenath, N., Oh, Y.-G., Krishnaprasad, P.S., Marsden, J.E.: The dynamics of coupled planar rigid bodies. I. Reduction, equilibria and stability. Dyn. Stab. Syst. 3(1–2), 25–49 (1988)
Szumiński, W.: Dynamics of multiple pendula without gravity. Chaotic Model. Simul. (CMSIM) 1, 57–67 (2014)
Whittaker, E.T., Watson, G.N.: A Course of Modern Analysis. Cambridge University Press, London (1935)
Acknowledgments
This work was partially supported by the National Science Centre of Poland under grants DEC-2012/05/B/ST1/02165 and DEC-2013/09/B/ST1/04130 and by the EC Marie Curie Network for Initial Training Astronet-II, Grant Agreement No. 289240.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Maciejewski, A.J., Przybylska, M. Dynamics of multibody chains in circular orbit: non-integrability of equations of motion. Celest Mech Dyn Astr 126, 297–311 (2016). https://doi.org/10.1007/s10569-016-9696-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10569-016-9696-x