1. Introduction
The Poincaré–Melnikov method [
1] represents one of the fundamental analytical tools in the analysis of the chaotic behavior of continuous dynamical systems. The method has found successful applications in several fields, such as solid mechanics [
2], celestial mechanics [
3,
4], dynamics of fluids [
5], optics [
6], biology [
7], and oceanography [
8]. Computation of the Melnikov integral can also be found for simple mechanical systems, such as the double pendulum [
9] and non-linear oscillators [
10]. Pendulum-like systems particularly show themselves as an example of relatively simple mechanical systems that easily approach chaos. Together with the Melnikov method, other analytical tools may be used to establish the transition from regular to chaotic motion for these systems; for instance, [
11] presents results about integrability and non-integrability of a double spring pendulum in the framework of the differential Galois theory, while the method of Lagrangian descriptors has been applied in [
12] for the classical double pendulum. Among others, in [
13], the Melnikov method has been applied to the Ziegler pendulum [
14] subject to damping.
The generalized Ziegler pendulum subject of this work has been defined for the first time in [
15], where it is analytically proven that the system is integrable for a certain class of parameters, in a Hamiltonian and a non-Hamiltonian case; furthermore, the transition to chaotic motion is numerically shown for a general choice of parameters and initial conditions. Several variants of this system, including the presence of gravity and friction, are studied in [
16]; in particular, threshold values for the parameters of the system are found both through analytical treatments and numerical simulations in order to distinguish between periodic and chaotic orbits when the system is subject to conservative or dissipative external forces. The aim of this work is to apply the Melnikov method to the generalized Ziegler pendulum defined in [
15,
16], whose dynamics show different features with respect to the classical Ziegler pendulum. In particular, we look for fundamental relationships between the Melnikov integral and a suitable control parameter that can be interpreted as a non-Hamiltonian threshold between regular and chaotic dynamics of the system.
Let us briefly recall the Melnikov method; for the definitions of hyperbolic points, stable and unstable manifolds, we refer the reader to [
17]. Let us consider a one-dimensional Hamiltonian system subject to a periodic perturbation:
where
q,
p are the canonical coordinates and
. The main idea of the Melnikov method [
17,
18,
19] is to define a proper function (
Melnikov integral) that quantifies the distance between the stable and unstable manifolds associated with a hyperbolic point. The Melnikov integral for a system of the form (
1) is defined as
where
is the unperturbed trajectory,
,
is a reference time
,
is a set of scalar parameters and
is the Euclidean dot product. Zeros of
correspond to homoclinic intersections, i.e., intersections between the two manifolds, implying the onset of chaos around the separatrix by Smale–Birkhoff theorem [
20,
21]. In particular, simple zeros of
(
,
) correspond to transverse intersections, while double zeros of
(
) correspond to tangential intersections.
We remark that the Melnikov method is perturbative. In a general sense, denoting by
the splitting distance at the time
between the stable and unstable manifolds of the system (
1), one can define the series expansion
It is not unusual to obtain identically null terms in the previous series; in these cases, one needs to compute the first non-vanishing Melnikov functions in order to state conclusions about homoclinic intersections.
We point out that the Melnikov theorem provides only a sufficient condition for the onset of chaotic behavior; that is, homoclinic intersections imply chaos, while the absence of homoclinic intersections does not imply general regular orbits.
The generalized Ziegler pendulum is a planar mathematical double pendulum consisting of three material points
A,
B,
C with mass
,
,
, respectively, and not subject to gravity. The point
A is held at constant distance from the point
O by means of a massless rod of length
, while the points
B and
C are positioned at the ends of a second massless rod hinged in
A in such a way that
and
. The system is subject to angular elastic potentials associated with two cylindrical springs placed on the hinges
A,
O and having elastic constants
,
, respectively; furthermore, an external follower force of size
F acts always direct as the vector
. The angles
,
, associated with the rotation of the lower and upper rod, respectively, are taken as canonical variables with conjugate momenta
,
(see
Figure 1).
In order to compute the Melnikov integral for the generalized Ziegler pendulum, let us treat it as a Hamiltonian system perturbed by the external follower force
. The Hamiltonian of the system is
where
and
,
. We write the equations of motion in the following perturbative form:
where
and
F is a perturbative parameter. If
, the variable
is cyclic, so that
is a first integral for the unperturbed Hamiltonian system; moreover, the perturbation depends only on
. The Equation (
7) become
so that we can separately apply the Melnikov method to the first subsystem in (
9) (that is
-independent) and take into account that
is a hyperbolic point.
The paper is organized as follows. In
Section 2, we derive an analytical expression for the separatrix of the system (
7) in terms of elliptic integrals under suitable assumptions on initial conditions and parameters. Under further assumptions, in
Section 3, we compute the Melnikov integral of the system for three possible formulations of the problem, i.e., in the presence of a time-independent external force (
Section 3.1), of a time-periodic external force (
Section 3.2), and of a time-periodic external force together with a dissipative term (
Section 3.3). These three formulations are studied separately for the integrable case
in
Section 4. The Melnikov function is evaluated at the zero or the first order, depending on the case. In
Section 5, we state our conclusions and propose further developments of this work.
We make a few comments regarding the notation.
Numerical simulations presented in
Section 3 and
Section 4 show the projection of the motion of the system on the plane
, as computational support of the analytical results derived in the article. The simulations have been reproduced in MATLAB 2024 through the ODE algorithm
ode45, by taking a relative and absolute tolerance of
and integrating on a time interval of length
; similar ODE algorithms, such as
ode113 and
ode15s, lead to similar results. Every figure also presents a magnification (The magnifications have been reproduced through a properly modified MATLAB function. Copyright (c) 2016, Kelsey Bower. All rights reserved.) of a specific zone in order to appreciate the details of the motion (up to unavoidable numerical errors).
In the appendix, we present a proof of Proposition 4 conjectured in [
16], showing that a discrete map naturally associated with the generalized Ziegler pendulum does not satisfy the definition of chaos in the sense of Devaney [
22] for a choice of the parameters associated with chaotic motion for the continuous dynamical system.
2. Separatrix in Terms of Jacobian Elliptic Integrals
Let us suppose that the first subsystem in (
9) has a separatrix for
, associated with the hyperbolic point
. Starting from the Hamiltonian (
5) and writing
as a function of
, we obtain (here we imply the dependence of
,
,
A on
)
that leads to
The previous integral is not reducible to elliptic or hyperelliptic integrals due to the mixing between the quadratic term and trigonometric functions of
and the presence of a further term external to the square root at the denominator. One may think of integrating by parts in order to remove rid of the term
and deal only with trigonometric functions; however, depending on the integration by parts that one takes, the original mixed term is replaced by logarithmic or polynomials terms of higher order, making the initial problem even more difficult.
In order to simplify the problem, we make the following assumptions.
Assumption 2. is sufficiently small.
Assumption 3. The second-order Taylor polynomial of the denominator in (11) is factorized into four distinct and real roots. Under Assumptions 1–3, the (
11) can be written in the form
where
,
are constants that depend on the parameters defined in (
6); now, we may exploit a Taylor expansion on the terms
, in order to reduce the (
12) to Jacobian elliptic functions. This procedure is of course repeatable to an arbitrary order on
; in particular, by taking the Taylor expansion
,
, the (
12) is written by means of integrals of the form
where
are polynomial functions of
. We take
, so that the (
12) becomes
where
Given Assumption 3, we denote by
the four roots of
Q; therefore,
is reduced to (see Equation (251.00) in [
23])
where
and
is the incomplete elliptic integral of the first kind. Analogously,
is reduced to (see Equation (251.03) in [
23])
where
and
Finally (see Equations (336.00)–(336.03) and (340.04) in [
23]),
and
can be written as a linear combination of the incomplete elliptic integral of the first kind and Legendre’s incomplete elliptic integrals of the second and third kind.
4. Melnikov Integral for
The case
is of particular interest since for this choice of the parameters, the system is integrable in a weak sense, and periodic solutions arise [
15]; we study this case separately since
does not satisfy the constraint (
27).
Proposition 4. Let the perturbed Hamiltonian system (9) be defined by the Hamiltonian (5), the parameters (6), and the perturbations (8). Then, if , the Melnikov integral of the system does not exist. Proof. For
, (
9) becomes
The Melnikov integral
is
Since, in this case, the system has a family of periodic solutions, there exists a time
T such that
; therefore,
. □
Given Proposition 4, we are not allowed to apply the Melnikov method in any order for this specific choice of the parameters; indeed, in this case, we end up with a totally undefined Melnikov function, so we cannot define a priori the perturbative series (
4).
Now, we consider, as before, the presence of a time-periodic external force. In order to apply the Melnikov method, we write the external force
as the sum of a constant term plus a small time-periodic perturbation, i.e., we redefine
as
Therefore, we can write the (
7) for
in the following perturbative form:
where
,
are perturbative parameters and
The system (
55) represents the equations of motion of a simple pendulum with natural frequency
, subject to time-independent and time-periodic perturbations. The analytical form for the separatrix of the unperturbed system is well-known [
27]:
From Proposition 1, we have a vanishing Melnikov integral associated with the time-independent perturbation. Therefore, the only contribution to the Melnikov integral is given by the time-periodic perturbation; after a Taylor expansion on
, we obtain
The expression of
follows directly from (
42) and (
44); notice that in this case we do not need to take Assumption 1, i.e., we assume in general
.
Proposition 5. Let the perturbed Hamiltonian system (55) be defined by the Hamiltonian (5), the parameters (6), the perturbations (56), the external force (54) and the natural frequency (57). Then, for sufficiently small initial conditions the Melnikov integral of the system is From Proposition 5, we have that
has simple zeros in
,
; furthermore,
vanishes identically if
. Therefore, the Melnikov method predicts chaotic behavior for the system (
55) for every choice on the parameters, excluding the singular case
.
In the presence of a dissipative term acting on the lower rod, (
7) become
where
are defined in (
56) and
is a perturbative parameter; for the system (
60) the Melnikov integral is given by
where
is defined in (
59).
Proposition 6. Let the perturbed Hamiltonian system (60) be defined by the Hamiltonian (5), the parameters (6), the perturbations (56), the external force (54) and the natural frequency (57). Then, for sufficiently small initial conditions the Melnikov integral of the system is From Proposition 6, we have that
has simple zeros if
and double zeros if
, while it is always positive if
. Therefore, the Melnikov method predicts chaotic behavior for the system (
60) if
Some numerical examples for both dissipative and non-dissipative cases are shown in
Figure 6 and
Figure 7.
5. Conclusions
In this paper, we applied the Poincaré–Melnikov method to a class of dynamical systems related to the generalized Ziegler pendulums, i.e., a mathematical double-pendulum subject to angular elastic potential and an external follower force. By assuming a few assumptions on the initial conditions, we found the analytical expression for a generic separatrix of the system in terms of elliptic integrals. Under these assumptions and a further constraint on the parameters, we reduced the equations of motion of the system to a Duffing oscillator and computed the Melnikov integral for three possible formulations of the dynamical problem. We showed that the Melnikov method fails at the first order if applied to the original system and fails at all in the case integrable case ; in this case, we computed the second-order Melnikov integral and found an explicit threshold on the parameters such that the Melnikov method predicts chaotic motion. Explicit expressions of the first-order Melnikov integral and analogous relationships for the parameters have been found by considering the presence of a time-periodic external force and a dissipation term acting on the lower rod.
The Melnikov method has been applied to several dynamical systems, and the aim of this study is not far from the usual one, i.e., to find suitable relationships in the parameters of the dynamical system in order to predict and control its chaotic behavior.
From a mathematical point of view, some fundamental questions arise.
By considering the system subject to a time-independent external force, i.e., the generalized Ziegler pendulum in its original formulation, we showed that the Melnikov method is not applicable at the zero and the first order. To the best of our knowledge, an explicit expression for the second-order Melnikov integral, such as the first-order one found in [
26], is not known in the literature. Therefore, an interesting goal might be a generalization of the results presented in [
26], where it has been shown that Melnikov integrals of any order can be derived by an inductive construction; this result would find several applications, including the system we analyzed here.
The three formulations of the dynamical problem we analyzed in this work present choices on the parameters that lead to a vanishing Melnikov integral; in these cases, one must compute the first-order Melnikov integral. Since we encountered several situations of this kind and the computation of the first-order Melnikov integral might be challenging, we leave this problem for future work.
Another question we pose concerns the topological interpretation of an identically null Melnikov integral. Melnikov functions are defined in terms of the splitting distance between stable and unstable manifolds of a Hamiltonian system when subject to a time-periodic perturbation. One can encounter an arbitrary number of identically null terms in the power series before finding a first non-vanishing Melnikov integral, but it is not trivial to interpret the case in which all the terms in the series are vanishing (and there is apparently no reason to exclude this case); if the series (
4) is not simply undefined, an open and challenging question concerns the meaning of having globally coincident stable and unstable manifolds.
Further developments of this work may include applications or generalizations of the analytical results to other pendulum-like systems, such as variable-length pendulums [
28,
29]. A particularly interesting application may concern the swinging Atwood’s machine [
30,
31] and its generalizations [
32]; since both models include the presence of elastic potentials, one might find relationships between the Melnikov integral of the generalized Ziegler pendulum and the one associated with the SAM system, or try to reduce in same way the equations of motion of one system to the other ones.
We conclude by suggesting examining different assumptions in order to obtain more general results about the dynamics of the system; finally, it might be interesting to have empirical verifications of the theoretical predictions stated in this work.