Next Article in Journal
Dynamical Analysis of an Economic-Environment Model with Unilateral and Bilateral Control
Previous Article in Journal
Truncated-Exponential-Based General-Appell Polynomials
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Melnikov Method for a Class of Generalized Ziegler Pendulums

Department of Mathematics and Computer Science, University of Ferrara, Via Machiavelli 30, 44121 Ferrara, Italy
*
Author to whom correspondence should be addressed.
Mathematics 2025, 13(8), 1267; https://doi.org/10.3390/math13081267
Submission received: 14 March 2025 / Revised: 8 April 2025 / Accepted: 10 April 2025 / Published: 11 April 2025
(This article belongs to the Section E4: Mathematical Physics)

Abstract

:
The Melnikov method is applied to a class of generalized Ziegler pendulums. We find an analytical form for the separatrix of the system in terms of Jacobian elliptic integrals, holding for a large class of initial conditions and parameters. By working in Duffing approximation, we apply the Melnikov method to the original Ziegler system, showing that the first non-vanishing Melnikov integral appears in the second order. An explicit expression for the Melnikov integral is derived in the presence of a time-periodic external force and for a suitable choice of the parameters, as well as in the presence of a dissipative term acting on the lower rod of the pendulum. These results allow us to define fundamental relationships between the Melnikov integral and a proper control parameter that distinguishes between regular and chaotic orbits for the original dynamical system. Finally, in the appendix, we present proof of a conjecture concerning the non-validity of Devaney’s chaoticity definition for a discrete map associated with the system.

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:
x ˙ = f ( x ) + ε g ( x , t ) ,
where
x = ( q , p ) f = H ( q , p ) p , H ( q , p ) q g = g 1 ( q , p , t ) , g 2 ( q , p , t ) , g ( q , p , t + T ) = g ( q , p , t ) ,
q, p are the canonical coordinates and T > 0 . 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
M ( t 0 ; α ) = + f [ x 0 ( t ) ; α ] · g [ x 0 ( t ) , t + t 0 ; α ] d t ,
where x 0 ( t ) is the unperturbed trajectory, g = ( g 2 , g 1 ) , t 0 is a reference time t 0 [ 0 , T ] , α is a set of scalar parameters and f · g is the Euclidean dot product. Zeros of M ( t 0 ; α ) 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 M ( t 0 ; α ) ( M = 0 , d M d t 0 0 ) correspond to transverse intersections, while double zeros of M ( t 0 ; α ) ( M = 0 , d M d t 0 = 0 ) correspond to tangential intersections.
We remark that the Melnikov method is perturbative. In a general sense, denoting by D ( t 0 ) the splitting distance at the time t 0 between the stable and unstable manifolds of the system (1), one can define the series expansion
D ( t 0 ; α ) = M ( t 0 ; α ) + n = 1 + ε n M n ( t 0 ; α ) .
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 m A , m B , m C , 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 l 2 , while the points B and C are positioned at the ends of a second massless rod hinged in A in such a way that B A ¯ = l 1 and A C ¯ = l 3 . The system is subject to angular elastic potentials associated with two cylindrical springs placed on the hinges A, O and having elastic constants k 1 , k 2 , respectively; furthermore, an external follower force of size F acts always direct as the vector B C . The angles φ 1 , φ 2 , associated with the rotation of the lower and upper rod, respectively, are taken as canonical variables with conjugate momenta v 1 , v 2 (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 F . The Hamiltonian of the system is
H ( φ 1 , φ 2 , v 1 , v 2 ) = 1 2 A ( φ 1 ) A 22 v 1 2 + A 11 v 2 2 + 2 A 12 v 1 v 2 + k 1 2 φ 1 2 + k 2 2 φ 2 2 ,
where
A 11 = m B l 1 2 + m C l 3 2 > 0 A 12 ( φ 1 ) = A 11 Δ l 2 cos ( φ 1 ) A 22 ( φ 1 ) = A 11 + M l 2 2 2 Δ l 2 cos ( φ 1 ) A ( φ 1 ) = A 11 A 22 ( A 12 ) 2 = A 11 M l 2 2 Δ 2 l 2 2 cos 2 ( φ 1 )
and M : = m A + m B + m C , Δ : = m B l 1 m C l 3 . We write the equations of motion in the following perturbative form:
φ 1 ˙ = v 1 v 1 ˙ = H φ 1 ( φ 1 , v 1 , φ 2 , v 2 ) + F g 1 ( φ 1 ) F Δ g 2 ( φ 1 ) φ 2 ˙ = v 2 v 2 ˙ = H φ 2 ( φ 1 , v 1 , φ 2 , v 2 ) F g 1 ( φ 1 ) ,
where
g 1 ( φ 1 ) = A 11 l 2 A ( φ 1 ) sin ( φ 1 ) , g 2 ( φ 1 ) = g 1 ( φ 1 ) A 11 cos ( φ 1 )
and F is a perturbative parameter. If k 2 = 0 , the variable φ 2 is cyclic, so that v 2 ( t ) = L φ 2 ˙ = v 20 is a first integral for the unperturbed Hamiltonian system; moreover, the perturbation depends only on φ 1 . The Equation (7) become
φ 1 ˙ = v 1 v 1 ˙ = H φ 1 ( φ 1 , v 1 ; v 20 ) + F g 1 ( φ 1 ) F Δ g 2 ( φ 1 ) φ 2 ˙ = v 20 v 2 ˙ = F g 1 ( φ 1 ) ,
so that we can separately apply the Melnikov method to the first subsystem in (9) (that is φ 2 -independent) and take into account that ( φ 1 , v 1 ) = ( 0 , 0 ) 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 Δ = 0 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.
  • Where it is not specified, the expression “Melnikov integral” refers to the zero-order term in (4).
  • The system (9) depends on several scalar parameters; despite this fact, the fundamental parameter we are looking for is Δ , so we write M ( t 0 ; Δ ) and the dependence on the other parameters is understood. For the sake of simplicity in notation, the dependence on all parameters is implied for all other functions defining the dynamical system.
  • When the Melnikov function does not depend explicitly on time, we simply write M ( Δ ) .
Numerical simulations presented in Section 3 and Section 4 show the projection of the motion of the system on the plane ( φ 1 , v 1 ) , 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 10 8 and integrating on a time interval of length 10 6 ; 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 H = E s , associated with the hyperbolic point ( φ 1 , v 1 ) = ( 0 , 0 ) . Starting from the Hamiltonian (5) and writing v 1 as a function of φ 1 , we obtain (here we imply the dependence of A 12 , A 22 , A on φ 1 )
v 1 = d φ 1 d t = ± k 1 A A 22 φ 1 2 A ( A 22 ) 2 ( v 20 ) 2 + 2 A A 22 E s + A 12 A 22 v 20 ,
that leads to
t = ± φ 10 φ 1 ( t ) A 22 ( φ 1 ) k 1 A ( φ 1 ) A 22 ( φ 1 ) φ 1 2 A ( φ 1 ) ( v 20 ) 2 + 2 A ( φ 1 ) E s + A 12 ( φ 1 ) v 20 d φ 1 .
The previous integral is not reducible to elliptic or hyperelliptic integrals due to the mixing between the quadratic term and trigonometric functions of φ 1 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 φ 2 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 1.
v 20 = 0 .
Assumption 2.
φ 10 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
t = ± φ 10 φ 1 ( t ) B 1 + B 2 cos ( φ 1 ) φ 1 2 ( B 3 cos 3 ( φ 1 ) + B 4 cos 2 ( φ 1 ) + B 5 cos ( φ 1 ) + B 6 ) + B 7 cos 2 ( φ 1 ) + B 8 d φ 1 ,
where B j , j = 1 , , 8 are constants that depend on the parameters defined in (6); now, we may exploit a Taylor expansion on the terms cos ( φ 1 ) , in order to reduce the (12) to Jacobian elliptic functions. This procedure is of course repeatable to an arbitrary order on φ 1 ; in particular, by taking the Taylor expansion cos ( φ 1 ) = 1 φ 1 2 2 + + o ( φ 1 2 n ) , n N , the (12) is written by means of integrals of the form
J 1 = φ 10 φ 1 ( t ) 1 Q ( φ 1 2 n + 2 , φ 1 2 n , φ 1 2 n 2 , , φ 1 2 , 1 ) d φ 1
J 2 = φ 10 φ 1 ( t ) P ( φ 1 2 n , φ 1 2 n 2 , , φ 1 2 ) Q ( φ 1 2 n + 2 , φ 1 2 n , φ 1 2 n 2 , , φ 1 2 , 1 ) d φ 1 ,
where P , Q are polynomial functions of φ 1 . We take cos ( φ ) = 1 φ 2 2 + o ( φ 2 ) , so that the (12) becomes
t = ± ( A 11 + M l 2 2 2 Δ l 2 ) φ 10 φ 1 ( t ) 1 Q ( φ 1 4 , φ 1 2 , 1 ) d φ 1 ± Δ l 2 φ 10 φ 1 ( t ) φ 1 2 Q ( φ 1 4 , φ 1 2 , 1 ) d φ 1 ,
where
Q ( φ 1 4 , φ 1 2 , 1 ) = k 1 φ 1 4 3 l 2 3 Δ 2 + ( A 11 + M l 2 2 ) l 2 2 Δ + A 11 M l 2 3 Δ k 1 φ 1 2 ( 2 l 2 3 Δ 3 + ( E s A 11 M l 2 2 ) l 2 2 Δ 2 2 A 11 M l 2 3 Δ + A 11 M l 2 2 ( A 11 + M l 2 2 ) ) + + 2 E s ( A 11 M Δ 2 ) l 2 2 .
Given Assumption 3, we denote by a > b > c > d the four roots of Q; therefore, J 1 is reduced to (see Equation (251.00) in [23])
J 1 = 2 ( a c ) ( b d ) ( F ( θ 0 , k ) F ( θ ( t ) , k ) ) ,
where
k 2 = ( b c ) ( a d ) ( a c ) ( b d ) θ 0 = sin 1 ( a c ) ( d φ 10 ) ( a d ) ( c φ 10 ) θ ( t ) = sin 1 ( a c ) ( d φ 1 ( t ) ) ( a d ) ( c φ 1 ( t ) )
and F ( θ , k ) is the incomplete elliptic integral of the first kind. Analogously, J 2 is reduced to (see Equation (251.03) in [23])
J 2 = d 2 ( a c ) ( b d ) ( Z 2 ( u φ ) Z 2 ( u φ 10 ) ) ,
where
Z 2 ( u ˜ ) = 0 u ˜ ( 1 c α 2 d sn 2 u ) 2 ( 1 α 2 sn 2 u ) 2 d u
and
α 2 = a d a c sn 2 u φ = ( a c ) ( d φ ) ( a d ) ( c φ ) sn 2 u φ 10 = ( a c ) ( d φ 10 ) ( a d ) ( c φ 10 ) .
Finally (see Equations (336.00)–(336.03) and (340.04) in [23]), Z 2 ( u φ ) and Z 2 ( u φ 10 ) 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.

3. Melnikov Integral in Duffing Approximation

For the following calculations, we keep taking Assumptions 1 and 2, i.e., v 20 = 0 and φ 10 sufficiently small; furthermore, we impose the system to have a separatrix for H ( φ 1 , v 1 ; 0 ) = 0 and derive proper constraints on the parameters such that this assumption is verified. Starting from the Hamiltonian (5), similar calculations as before lead to
v 1 = d φ 1 d t = ± k 1 A ( φ 1 ) A 22 ( φ 1 ) φ 1 2 .
The Melnikov integral for the system (9) reads
M ( t 0 ; Δ ) = + v 1 ( t ) g 1 ( φ 1 ( t ) ) + Δ g 2 ( φ 1 ( t ) ) d t ,
where v 1 = d φ 1 d t is determined by (21) for suitable initial conditions.
After a second-order Taylor expansion on φ 1 for the term A ( φ 1 ) A 22 ( φ 1 ) , we obtain
d φ 1 d t = ± k 1 a Δ 2 l 2 2 b 2 Δ l 2 φ 1 2 1 + 1 2 α a Δ 2 l 2 2 b 2 Δ l 2 φ 1 2 ,
where
a = A 11 M l 2 2 b = A 11 + M l 2 2 α = d 2 d φ 1 2 A ( φ 1 ) A 22 ( φ 1 ) | φ 1 = 0 = 2 Δ l 2 ( b 2 Δ l 2 a + Δ 2 l 2 2 ) ( b 2 Δ l 2 ) 2 .
We now impose the following constraints on the parameters:
a Δ 2 l 2 2 b 2 Δ l 2 < 0 α > 0 ,
that are equivalent to
min { b 2 , a } < Δ l 2 < max { b 2 , a } 0 < Δ l 2 < 1 1 b + a Δ l 2 > 1 + 1 b + a .
From the definitions of a, b, we have M = b ± b 2 4 a 2 l 2 2 ; therefore we must have b 2 a , in order to obtain a real positive value for M. Furthermore, it must be b 1 + a . Finally, the constraints imposed on the parameters are
a < Δ l 2 < b 2 Δ l 2 < 1 1 b + a Δ l 2 > 1 + 1 b + a b 1 + a .
Given the (27), the motion on the separatrix is reduced to a Duffing oscillator [24]; in particular, after the substitution θ = α 2 | a Δ 2 l 2 2 b 2 Δ l 2 | φ 1 , (23) becomes
d θ d t = ± k 1 a Δ 2 l 2 2 b 2 Δ l 2 θ 2 ( 1 θ 2 ) .
The Ansatz θ ( t ) = ± sech ( x t ) are solution of the (28) if
x = k 1 a Δ 2 l 2 2 b 2 Δ l 2 .
Finally, given the (29), the motion on the separatrix is parametrized by
φ 1 ( t ) = ± 2 | a Δ 2 l 2 2 b 2 Δ l 2 | α sech k 1 a Δ 2 l 2 2 b 2 Δ l 2 t v 1 ( t ) = 2 k 1 α a Δ 2 l 2 2 b 2 Δ l 2 sech k 1 a Δ 2 l 2 2 b 2 Δ l 2 t tanh k 1 a Δ 2 l 2 2 b 2 Δ l 2 t .

3.1. Time-Independent External Force

Let us consider the system (9), i.e., the system subject to the time-independent perturbation F . In this case, once M 1 ( Δ ) is computed, one might exploit the dependence of M 1 on the scalar parameter Δ and apply Theorem 4.2 of [25], that generalizes the Melnikov method for autonomous perturbed Hamiltonian systems. By the way, we can show that the first non-vanishing Melnikov integral appears at least at the second-order in the series (4), under proper assumptions; furthermore, we do not need to assume the constraint (27).
Proposition 1.
Let the perturbed Hamiltonian system (9) be defined by the Hamiltonian (5), the parameters (6), and the perturbations (8). Let M ( Δ ) , M 1 ( Δ ) be the zero and the first-order Melnikov integrals of the system (9), respectively, and let ( φ 1 ( t ) , v 1 ( t ) ) be the parametrization of the separatrix (30). Therefore, under Assumptions 1 and 2:
  • M ( Δ ) = 0 for every choice on the parameters;
  • M 1 ( Δ ) = 0 , provided that l 2 is sufficiently close to a certain L 2 and for every choice on the remaining parameters.
Proof. 
The first part of the thesis follows immediately from the analytical form of the perturbations g 1 , 2 ( φ 1 ) , which are odd with respect to φ 1 , so they have the same parity of φ 1 with respect to t; furthermore, if φ 1 ( t ) has definite parity with respect to t, i.e., φ 1 ( t ) = ± φ 1 ( t ) , the momentum v 1 ( t ) has opposite parity. Given that, if φ 1 ( t ) is the parametrization of the separatrix and has definite parity with respect to t, the integrand function in (22) is always odd; therefore, M ( Δ ) = 0 for every choice on the parameters.
  • For what concerns M 1 ( Δ ) , let us explicitly rewrite the first subsystem in (9); from Assumption 1, i.e., v 20 = 0 , we obtain
φ 1 ˙ = v 1 v 1 ˙ = k 1 φ 1 v 1 2 2 A 2 A A 22 φ 1 A 22 A φ 1 + F g 1 ( φ 1 ) F Δ g 2 ( φ 1 ) .
After a first-order Taylor expansion on φ 1 , we obtain
φ 1 ˙ = v 1 v 1 ˙ = k 1 φ 1 1 4 Δ l 2 ( a b Δ l 2 + Δ 2 l 2 2 ) v 1 2 φ 1 + F l 2 A 11 Δ a Δ 2 l 2 2 φ 1 ,
where we assume the definitions (24). We now use the canonical transformation
φ ˜ 1 = k 1 φ 1 v ˜ 1 = 1 k 1 v 1 ,
so that the (31) can be written in the form
φ ˜ ˙ 1 = k 1 v ˜ 1 v ˜ ˙ 1 = φ ˜ 1 + f ( φ ˜ 1 ) + 1 l 2 P 1 ( φ ˜ 1 , v ˜ 1 ) + F P 2 ( φ ˜ 1 ) ;
in particular, we take f ( φ ˜ 1 ) = 0 and
P 1 ( φ ˜ 1 , v ˜ 1 ) = k 1 4 Δ ( a b Δ l 2 + Δ 2 l 2 2 ) v ˜ 1 2 φ ˜ 1 P 2 ( φ ˜ 1 ) = 1 k 1 l 2 ( A 11 Δ ) a Δ 2 l 2 2 φ ˜ 1 .
The term P 2 ( φ ˜ 1 ) can be seen as perturbative, modulated by the parameter F. In order to treat P 1 ( φ ˜ 1 , v ˜ 1 ) as a perturbative term, we make sure that a b Δ l 2 + Δ 2 l 2 2 l 2 is sufficiently small, i.e., we consider values of l 2 in a neighborhood of
L 2 = ( Δ 2 + A 11 M ) + Δ 2 ( 1 4 A 11 M ) + A 11 M 2 Δ .
Now, since M ( Δ ) = 0 and the two perturbations are time-independent, the first-order Melnikov integral reads [26]
M 1 ( Δ ) = + 0 τ 2 v ˜ 1 ( τ 2 ) P 1 ( φ ˜ 1 ( τ 2 ) , v ˜ 1 ( τ 2 ) ) P 1 ( φ ˜ 1 ( τ 1 ) , v ˜ 1 ( τ 1 ) ) v ˜ 1 d τ 1 d τ 2 + + + 0 τ 2 v ˜ 1 ( τ 2 ) P 2 ( φ ˜ 1 ( τ 2 ) ) P 1 ( φ ˜ 1 ( τ 1 ) , v ˜ 1 ( τ 1 ) ) v ˜ 1 d τ 1 d τ 2 ,
where φ ˜ 1 , v ˜ 1 satisfy (30) and (33).
  • Using the Fubini theorem, we can exchange the order of integration; finally, since the term P 1 v ˜ 1 is odd with respect to τ 1 , we conclude that M 1 ( Δ ) = 0 for every choice on the other parameters. □
Before going on, let us remark upon a few points in the previous proof. Even if (34) presents a perturbative form different from (9), we are allowed to keep taking the homoclinic solution (30); indeed, in (34) we take a part of the Hamiltonian as perturbative, so that the relationship (30) holds also in this case. Furthermore, it is not difficult to see that the minus sign in (34), i.e., the only difference between (34) and the system studied in [26] does not modify the expression of M 1 ( Δ ) , if one takes proper modifications in the proof of Theorem 1 in [26].
Given Proposition 1, we conclude that the Melnikov method is not applicable at the zero and at the first-order. In order to apply it, we need to compute the second-order Melnikov function, whose expression involves multiple integrals in three variables and several terms; furthermore, to our knowledge, an explicit formula for its computation has not been found, such as in [26], so we ignore it for the purpose of this work.

3.2. Time-Periodic External Force

We now focus on an external force F with time-periodic magnitude, i.e., F = F cos ( ω t ) F ^ , so that the perturbed system (9) becomes
φ 1 ˙ = v 1 v 1 ˙ = H φ 1 ( φ 1 , v 1 ; 0 ) + F cos ( ω t ) g 1 ( φ 1 ) F cos ( ω t ) Δ g 2 ( φ 1 ) φ 2 ˙ = 0 v 2 ˙ = F cos ( ω t ) g 1 ( φ 1 ) ,
where g 1 , 2 ( φ 1 ) are defined as in (8); in this case, the Melnikov method can be applied in its original formulation. By taking a Taylor expansion of the perturbative terms g 1 , 2 ( φ 1 ) up to the second order on φ 1 , we arrive to the following expression for M ( t 0 ; Δ ) :
M ( t 0 ; Δ ) = ( Δ A 11 ) l 2 a Δ 2 l 2 2 + v 1 ( t ) φ 1 ( t ) 1 + Δ 2 l 2 2 a Δ 2 l 2 2 φ 1 2 ( t ) cos ( ω ( t + t 0 ) ) d t .
After the substitution t = k 1 a Δ 2 l 2 2 b 2 Δ l 2 t + y , we obtain
M ( t 0 ; Δ ) = A 11 Δ b 2 Δ l 2 2 k 1 α + sinh ( t ) cos ( ω ( t + t 0 ) ) cosh ( t ) cosh 2 ( t ) + β d t ,
where
ω = ω k 1 a Δ 2 l 2 2 b 2 Δ l 2 t 0 = k 1 a Δ 2 l 2 2 b 2 Δ l 2 t 0 β = 2 Δ 2 l 2 2 α ( a Δ 2 l 2 2 ) | a Δ 2 l 2 2 b 2 Δ l 2 | = Δ l 2 ( 2 Δ l 2 b ) b 2 Δ l 2 a + Δ 2 l 2 2 .
The definite integral in (40), solvable by the theorem of residues, can be computed by integrating the function along a rectangular path Γ in the complex plane, considering Re ( z ) ( R , R ) , Im ( z ) [ 0 , π ] and taking the limit R + . We end up with
+ sinh ( t ) cos ( ω ( t + t 0 ) ) cosh ( t ) cosh 2 ( t ) + β d t = 2 π 1 e π ω sin ( ω t 0 ) R ( β ) ,
where R ( β ) is the sum of the residues that must be taken into account, depending on the value of β . In order to simplify the notation, we put t ± : = cosh 1 ( ± β ) ; furthermore, we set β > 1 in order to have a convergent integral.
  • β > 0
    The integrated function has infinitely many poles of first order in t = i π 2 + 2 k π i , k Z and two poles of first order in t = t ± ; in this case t ± = ln ( ± β + β + 1 ) + i π 2 , so that both poles lie inside the path. The residue is
    R = 1 β e π ω 1 β e π ω 2 cos ω ln ( β + β + 1 ) ,
    where we used Re ( t + ) = Re ( t ) .
  • β = 0
    The integrand function has infinitely many poles of third order in t = i π 2 + 2 k π i , k Z . The residue is
    R = e π ω 2 3 4 ω 2 .
  • 1 < β < 0
    The integrand function has infinitely many poles of first order in t = i π 2 + 2 k π i , k Z and two poles of first order in t = t ± ; in this case t ± = i tan 1 β + 1 ± β , so that only t + lies inside the path. The residue is
R = 1 β e π ω 1 2 β e ω tan 1 β + 1 β .
Notice that β 0 does not satisfy the constraint (27), so that the only meaningful residue is defined in (45).
We collect the previous results in the following
Proposition 2.
Let the perturbed Hamiltonian system (38) be defined by the Hamiltonian (5), the parameters (6) and the perturbations (8). Then, for v 20 = 0 and sufficiently small initial conditions φ 10 , the Melnikov integral of the system is
M ( t 0 ; Δ ) = 2 π Δ A 11 Δ l 2 2 k 1 β 2 Δ l 2 b R ( β ) 1 e π ω sin ( ω t 0 ) ,
where a, b are defined in (24) and satisfy the constraint (27), with ω , t 0 , β defined in (41) and
R ( β ) = 1 β e π ω 1 2 β e ω tan 1 β + 1 β .
Despite its complicated analytical form, M ( t 0 ; Δ ) depends on t 0 just through the term sin ( ω t 0 ) ; therefore, M ( t 0 ; Δ ) has simple zeros in t 0 = k π ω , k Z , corresponding to transverse homoclinic intersections. Moreover, since
d M ( t 0 ; Δ ) d t 0 = 2 π Δ A 11 Δ l 2 2 k 1 β 2 Δ l 2 b R ( β ) 1 e π ω ω cos ( ω t 0 ) ,
M ( t 0 ; Δ ) has not double zeros.
We thus end up with the conclusion that the Melnikov method predicts chaotic behavior for every choice on the parameters that satisfy (27), excluding the singular cases corresponding to A 11 = Δ , A 11 + M l 2 2 = 2 Δ l 2 and R ( β ) = 0 . This is not unexpected since we impose from the beginning that the system behaves like a Duffing oscillator that is known to be chaotic if not subject to dissipation [18]; however, we remark that we found the specific constraint (27) on the parameters of the system such that this is actually the case. Some numerical examples are shown in Figure 2, Figure 3 and Figure 4.

3.3. Time-Periodic External Force and Dissipative Term

Let us now analyze the problem in the presence of a dissipative term acting on the lower rod of the pendulum. The Equation (9) become
φ 1 ˙ = v 1 v 1 ˙ = H φ 1 ( φ 1 , v 1 ; 0 ) + F cos ( ω t ) g 1 ( φ 1 ) F cos ( ω t ) Δ g 2 ( φ 1 ) ν φ ˙ 1 φ 2 ˙ = 0 v 2 ˙ = F cos ( ω t ) g 1 ( φ 1 ) ,
where F, ν are perturbative parameters. In this case, the Melnikov integral is given by the sum of M ( t 0 ; Δ ) defined in Proposition 2 and the following contribution due to the dissipative term:
+ v 1 2 ( t ) d t = 2 k 1 α a Δ 2 l 2 2 2 Δ l 2 b 3 2 + sinh 2 ( t ) cosh 4 ( t ) d t ,
where the definitions and substitutions taken above are understood. The integrand function has infinitely many poles of fourth order in t = i π 2 + 2 k π i , k Z ; the integral can be solved using the theorem of residues by integrating along the same path considered for the computation of M ( t 0 ; Δ ) .
Proposition 3.
Let the perturbed Hamiltonian system (47) be defined by the Hamiltonian (5), the parameters (6), and the perturbations (8). Then, for v 20 = 0 and sufficiently small initial conditions φ 10 , the Melnikov integral of the system is
M ν ( t 0 ; Δ ) = M ( t 0 ; Δ ) + 2 3 Δ l 2 ( b 2 Δ l 2 + a Δ 2 l 2 2 ) k 1 ( a Δ 2 l 2 2 ) 3 ( 2 Δ l 2 b ) ,
where M ( t 0 ; Δ ) is defined in Proposition 2 and a, b are defined in (24), satisfying the constraint (27).
Given the expression stated in Proposition 3, if we define
A ( Δ ) = 2 π Δ A 11 Δ l 2 2 k 1 β 2 Δ l 2 b R ( β ) 1 e π ω B ( Δ ) = 2 3 Δ l 2 ( b 2 Δ l 2 + a Δ 2 l 2 2 ) k 1 ( a Δ 2 l 2 2 ) 3 ( 2 Δ l 2 b ) ,
we can write M ( t 0 ; Δ ) in the form
M ν ( t 0 ; Δ ) = A ( Δ ) sin ( ω t 0 ) + B ( Δ ) d M ν ( t 0 ; Δ ) d t 0 = A ( Δ ) ω cos ( ω t 0 )
and we obtain of course A ( Δ ) + B ( Δ ) M ν ( t 0 ; Δ ) A ( Δ ) + B ( Δ ) . Therefore, a threshold for M ν ( t 0 ; Δ ) is given by the sign of A ( Δ ) B ( Δ ) : M ν ( t 0 ; Δ ) has simple zeros if A ( Δ ) > B ( Δ ) , double zeros if A ( Δ ) = B ( Δ ) and no zeros if A ( Δ ) < B ( Δ ) . Finally, the Melnikov method predicts chaotic behavior for the system (47) if
3 π Δ ( Δ A 11 ) ( 2 Δ l 2 b ) l 2 4 R ( β ) 1 e π ω β ( a Δ 2 l 2 2 ) 3 .
A numerical example is shown in Figure 5.

4. Melnikov Integral for Δ = 0

The case Δ = 0 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 Δ = 0 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 Δ = 0 , the Melnikov integral of the system does not exist.
Proof. 
For Δ = 0 , (9) becomes
φ 1 ˙ = v 1 v 1 ˙ = k 1 φ 1 + F M l 2 sin ( φ 1 ) φ 2 ˙ = v 20 v 2 ˙ = F M l 2 sin ( φ 1 ) .
The Melnikov integral M ( Δ ) is
M ( 0 ) = 1 M l 2 + φ 1 ˙ ( t ) sin ( φ 1 ( t ) ) d t = 1 M l 2 cos ( φ 1 ( t ) ) | + .
Since, in this case, the system has a family of periodic solutions, there exists a time T such that ( φ 1 ( t + T ) , v 1 ( t + T ) ) = ( φ 1 ( t ) , v 1 ( t ) ) t ; therefore, M ( 0 ) . □
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 F as the sum of a constant term plus a small time-periodic perturbation, i.e., we redefine F as
F = F 0 + F ε cos ( ω t ) .
Therefore, we can write the (7) for Δ = 0 in the following perturbative form:
φ 1 ˙ = v 1 v 1 ˙ = F 0 M l 2 sin ( φ 1 ) + k 1 g 3 ( φ 1 ) + F ε cos ( ω t ) g 4 ( φ 1 ) φ 2 ˙ = v 20 v 2 ˙ = F 0 M l 2 sin ( φ 1 ) F ε cos ( ω t ) g 4 ( φ 1 ) ,
where
g 3 ( φ 1 ) = φ 1 , g 4 ( φ 1 ) = 1 M l 2 sin ( φ 1 ) ,
k 1 , F ε are perturbative parameters and
ω 0 2 : = F 0 M l 2 .
The system (55) represents the equations of motion of a simple pendulum with natural frequency ω 0 , subject to time-independent and time-periodic perturbations. The analytical form for the separatrix of the unperturbed system is well-known [27]:
φ 1 ( t ) = ± 2 tan 1 ( sinh ( ω 0 t ) ) + π v 1 ( t ) = ± 2 ω 0 sech ( ω 0 t ) .
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 φ 1 ( t ) , we obtain
M ( t 0 ; 0 ) = 2 ω 0 M l 2 + sech ( ω 0 t ) sin 2 sech ( ω 0 t ) tanh ( ω 0 t ) cos ( ω ( t + t 0 ) ) d t .
The expression of M ( t 0 ; Δ ) 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 v 20 0 .
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 φ 10 the Melnikov integral of the system is
M ( t 0 ; 0 ) = 8 π ω 0 M l 2 e π ω 2 ω 0 1 e π ω ω 0 3 4 ω 2 ω 0 2 sin ( ω t 0 ) .
From Proposition 5, we have that M ( t 0 ; 0 ) has simple zeros in t 0 = k π ω 0 , k Z ; furthermore, M ( t 0 ; 0 ) vanishes identically if ω = 3 2 ω 0 . Therefore, the Melnikov method predicts chaotic behavior for the system (55) for every choice on the parameters, excluding the singular case ω = 3 2 ω 0 .
In the presence of a dissipative term acting on the lower rod, (7) become
φ 1 ˙ = v 1 v 1 ˙ = F 0 M l 2 sin ( φ 1 ) + k 1 g 3 ( φ 1 ) + F ε cos ( ω t ) g 4 ( φ 1 ) ν φ ˙ 1 φ 2 ˙ = v 20 v 2 ˙ = F 0 M l 2 sin ( φ 1 ) F ε cos ( ω t ) g 4 ( φ 1 ) ,
where g 3 , 4 ( φ 1 ) are defined in (56) and ν is a perturbative parameter; for the system (60) the Melnikov integral is given by
M ν ( t 0 ; 0 ) = M ( t 0 ; 0 ) + 4 ω 0 2 + sech 2 ( ω 0 t ) d t ,
where M ( t 0 ; 0 ) 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 φ 10 the Melnikov integral of the system is
M ν ( t 0 ; 0 ) = 8 ω 0 1 + π M l 2 e π ω 2 ω 0 1 e π ω ω 0 ω 2 ω 0 2 3 4 sin ( ω t 0 ) .
From Proposition 6, we have that M ν ( t 0 ; 0 ) has simple zeros if ω > 3 2 ω 0 and double zeros if ω = 3 2 ω 0 , while it is always positive if ω < 3 2 ω 0 . Therefore, the Melnikov method predicts chaotic behavior for the system (60) if
ω 3 F 0 4 M l 2 .
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 Δ = 0 ; 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.

Author Contributions

Conceptualization, S.D. and V.C.; Methodology, S.D. and V.C.; Software, S.D.; Validation, V.C.; Formal analysis, S.D.; Writing–original draft, S.D.; Writing–review and editing, V.C.; Visualization, S.D.; Supervision, V.C.; Project administration, V.C.; Funding acquisition, V.C. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the University of Ferrara, FIRD 2024.

Data Availability Statement

The data that supports the funding of this study are available within the article.

Acknowledgments

The authors are grateful to the anonymous reviewers for their useful suggestions.

Conflicts of Interest

The authors declare no conflicts of interest.

Appendix A. Proof of Proposition 4 in [16]

In [16], we defined a discrete map associated with the generalized Ziegler pendulum; assuming the validity of the non-Hamiltonian symmetry Δ = 0 , the discrete map is (here we take a redefinition of the coefficients considered in [16])
f : R 4 R 4 x ¯ n + 1 = f ( x ¯ n ) , n N
x n + 1 = y n y n + 1 = α x n + β z n + γ sin ( x n ) z n + 1 = ω n ω n + 1 = α ˜ x n β z n γ sin ( x n ) , α < 0 , α ˜ > 0 , β > 0 , γ 0 .
By explicit calculations, we proved that the map (A1) does not have dense sets of periodic points up to period 3, and we conjectured that the map has no dense sets of periodic points at all. Since the present work analyzes the chaotic behavior of the same dynamical system studied in [16], it represents an appropriate context for presenting a proof of this latter statement.
Proposition A1.
The map (A1) does not have dense sets of periodic points.
Proof. 
The equations (A1b) can be written as
x n + 1 = y n y n + 1 = g ( x n ) + h ( z n ) z n + 1 = ω n ω n + 1 = g ˜ ( x n ) h ( z n ) ,
where g ( x ) = α x + γ sin ( x ) , g ˜ ( x ) = α ˜ x γ sin ( x ) , h ( z ) = β z . We define the two maps
F ( n ) = F ( n ) g ( x n ) , g ˜ ( x n ) , h ( z n ) , G ( n ) = G ( n ) g ( x n ) , g ˜ ( x n ) , h ( z n ) ,
such that F ( n ) and G ( n ) collect the compositions of the functions g, g ˜ and h up to the n-th iteration; for example, starting from an initial point p 0 = ( x 0 , y 0 , z 0 , ω 0 ) , we have the following definitions for the second and the third iterations:
x 2 = g ( x 0 ) + h ( z 0 ) = : F ( 2 ) ( x 0 , z 0 ) y 2 = g ( y 0 ) + h ( ω 0 ) = F ( 2 ) ( y 0 , ω 0 ) z 2 = g ˜ ( x 0 ) h ( z 0 ) = : G ( 2 ) ( x 0 , z 0 ) ω 2 = g ˜ ( y 0 ) h ( ω 0 ) = G ( 2 ) ( y 0 , ω 0 )
x 3 = g ( y 0 ) + h ( ω 0 ) = F ( 2 ) ( y 0 , ω 0 ) y 3 = g g ( x 0 ) + h ( z 0 ) + h g ˜ ( x 0 ) h ( z 0 ) = : F ( 3 ) ( x 0 , ω 0 ) z 3 = g ˜ ( y 0 ) h ( ω 0 ) = G ( 2 ) ( y 0 , ω 0 ) ω 3 = g ˜ g ( x 0 ) + h ( z 0 ) h g ˜ ( x 0 ) h ( z 0 ) = : G ( 3 ) ( y 0 , ω 0 ) .
The following structure comes out for a generic iteration of the map:
x 2 n = F ( 2 n ) ( x 0 , z 0 ) y 2 n = F ( 2 n ) ( y 0 , ω 0 ) z 2 n = G ( 2 n ) ( x 0 , z 0 ) ω 2 n = G ( 2 n ) ( y 0 , ω 0 ) n N
x 2 n + 1 = F ( 2 n ) ( y 0 , ω 0 ) y 2 n + 1 = g F ( 2 n ) ( x 0 , z 0 ) + h G ( 2 n ) ( x 0 , z 0 ) z 2 n + 1 = G ( 2 n ) ( y 0 , ω 0 ) ω 2 n + 1 = g ˜ F ( 2 n ) ( x 0 , z 0 ) h G ( 2 n ) ( x 0 , z 0 ) n N .
Let p 0 = ( x 0 , y 0 , z 0 , ω 0 ) be a periodic point of period 2 n , n N ; from (A5), we obtain
F ( 2 n ) ( x 0 , z 0 ) = x 0 F ( 2 n ) ( y 0 , ω 0 ) = y 0 G ( 2 n ) ( x 0 , z 0 ) = z 0 G ( 2 n ) ( y 0 , ω 0 ) = ω 0 .
The previous system can be split into two systems that share the same set of solutions, which are
F ( 2 n ) ( x 0 , z 0 ) = x 0 G ( 2 n ) ( x 0 , z 0 ) = z 0 F ( 2 n ) ( y 0 , ω 0 ) = y 0 G ( 2 n ) ( y 0 , ω 0 ) = ω 0
so that a periodic point of even period must be of the form p 0 = ( x 0 , x 0 , z 0 , z 0 ) , where x 0 and z 0 are solutions of
F ( 2 n ) ( x 0 , z 0 ) = x 0 G ( 2 n ) ( x 0 , z 0 ) = z 0 .
On the other hand, since y n = x n + 1 and ω n = z n + 1 , it must be
y 2 n = x 0 = x 2 n + 1 = x 1 ω 2 n = z 0 = z 2 k + 1 = z 1 ,
that is p 0 is a fixed point; therefore, the map (A2) has not periodic points of even period.
  • Let p 0 = ( x 0 , y 0 , z 0 , ω 0 ) be a periodic point of period 2 n + 1 , n N ; from the (A6) we obtain
F ( 2 n ) ( y 0 , ω 0 ) = x 0 g ( F ( 2 n ) ( x 0 , z 0 ) ) + h ( G ( 2 n ) ( x 0 , z 0 ) ) = y 0 G ( 2 n ) ( y 0 , ω 0 ) = z 0 g ˜ ( F ( 2 n ) ( x 0 , z 0 ) ) h ( G ( 2 n ) ( x 0 , z 0 ) ) = ω 0 ,
that returns
y 0 = g F ( 2 n ) F ( 2 n ) ( y 0 , ω 0 ) , G ( 2 n ) ( y 0 , ω 0 ) + + h G ( 2 n ) F ( 2 n ) ( y 0 , ω 0 ) , G ( 2 n ) ( y 0 , ω 0 )
ω 0 = g ˜ F ( 2 n ) F ( 2 n ) ( y 0 , ω 0 ) , G ( 2 n ) ( y 0 , ω 0 ) h G ( 2 n ) F ( 2 n ) ( y 0 , ω 0 ) , G ( 2 n ) ( y 0 , ω 0 ) .
The (A12) satisfies the hypothesis of the implicit function theorem up to a set of critical initial conditions ( y 0 , ω 0 ) that do not solve (A12) so that an explicit function ω 0 = ω 0 ( y 0 ) is in general well defined; therefore, the periodic points of odd period must be of the form p 0 = ( x 0 ( y 0 ) , y 0 , z 0 ( y 0 ) , ω 0 ( y 0 ) ) , where y 0 is a solution of
y 0 = H ( 2 n ) ( y 0 ) ,
with a suitable function H ( 2 n ) depending on F ( 2 n ) and G ( 2 n ) that can be derived from (A12). Given the analytical form of F ( 2 n ) and G ( 2 n ) , we obtain for y 0 a functional relationship (A13) analogous to the one that is associated with the fixed points that do not constitute a dense set (see Proposition 1 and Corollary 1 in [16]), so we conclude that the map (A2) has not dense sets of periodic points of odd period. □
As an immediate consequence of Proposition A1, the map (A1) is not chaotic in the sense of Devaney.
It is worth noticing that in the first part of the previous proof, we have not used in any way the analytical form of the functions g, g ˜ , and h, nor their continuity; therefore, we can state the following general result.
Theorem A1.
Given the functions g , g ˜ , h : R 4 R 4 , the map
f : R 4 R 4 x ¯ n + 1 = f ( x ¯ n ) , n N
x n + 1 = y n y n + 1 = g ( x n ) + h ( z n ) z n + 1 = ω n ω n + 1 = g ˜ ( x n ) h ( z n )
has not periodic points of even period, i.e., n N p R 4 such that f ( 2 n ) ( p 0 ) = p 0 .

References

  1. Mel’nikov, V.K. On the stability of a center for time-periodic perturbations. Tr. Mosk. Mat. Obs. 1963, 12, 3–52. [Google Scholar]
  2. Kuang, J.; Tan, S.; Arichandran, K.; Leung, A.Y.T. Chaotic attitude motion of gyrostat satellite via Melnikov method. Int. J. Bifurc. Chaos 2001, 11, 1233–1260. [Google Scholar] [CrossRef]
  3. Xia, Z. Melnikov method and transversal homoclinic points in the restricted three-body problem. J. Differ. Equations 1992, 96, 170–184. [Google Scholar] [CrossRef]
  4. Robinson, C. Melnikov Method for Autonomous Hamiltonians. Contemp. Math. 1996, 198, 45–53. [Google Scholar] [CrossRef]
  5. Kuang, J.L.; Meehan, P.A.; Leung, A.Y.T. On the chaotic rotation of a liquid-filled gyrostat via the Melnikov-Holmes-Marsden integral. Int. J. Non-Linear Mech. 2006, 41, 475–490. [Google Scholar] [CrossRef]
  6. Kudryashov, N.A.; Lavrova, S.F. Complex dynamics of perturbed solitary waves in a nonlinear saturable medium: A Melnikov approach. Optik 2022, 265, 169454. [Google Scholar] [CrossRef]
  7. Glendinning, P.; Perry, L. Melnikov analysis of chaos in a simple epidemiological model. J. Math. Biol. 1997, 35, 359–373. [Google Scholar] [CrossRef]
  8. Maki, A.; Umeda, N.; Ueta, T. Melnikov integral formula for beam sea roll motion utilizing a non-Hamiltonian exact heteroclinic orbit. J. Mar. Sci. Technol. 2010, 15, 102–106. [Google Scholar] [CrossRef]
  9. Dullin, H.R. Melnikov’s method applied to the double pendulum. Z. FüR Phys. B Condens. Matter 1994, 93, 521–528. [Google Scholar] [CrossRef]
  10. Garcia-Margallo, J.; Bejarano, J.D. Melnikov’s method for non-linear oscillators with non-linear excitations. J. Sound Vib. 1998, 212, 311–319. [Google Scholar] [CrossRef]
  11. Szumiński, W.; Maciejewski, A.J. Dynamics and non-integrability of the double spring pendulum. J. Sound Vib. 2024, 589, 118550. [Google Scholar] [CrossRef]
  12. Jiménez-López, J.; García-Garrido, V.J. Chaos and Regularity in the Double Pendulum with Lagrangian Descriptors. Int. J. Bifurc. Chaos 2024, 34, 2450201. [Google Scholar] [CrossRef]
  13. Matsuzaki, Y.; Furuta, S. Bifurcation Analysis of the Motion of an Asymmetric Double Pendulum Subjected to a Follower Force: Codimension Three Problem. Nonlinear Dyn. 1991, 2, 199–214. [Google Scholar] [CrossRef]
  14. Ziegler, H. Die stabilitätskriterien der elastomechanik. Ing. Arch. 1952, 20, 49–56. [Google Scholar] [CrossRef]
  15. Polekhin, I.Y. On the dynamics and integrability of the Ziegler pendulum. Nonlinear Dyn. 2024, 112, 6847–6858. [Google Scholar] [CrossRef]
  16. Disca, S.; Coscia, V. Chaotic dynamics of a continuous and discrete generalized Ziegler pendulum. Meccanica 2024, 59, 1139–1157. [Google Scholar] [CrossRef]
  17. Guckenheimer, J.; Holmes, P. Nonlinear Oscillations, Dynamical Systems and Bifurcations of Vector Fields; Springer: New York, NY, USA, 1986. [Google Scholar]
  18. Cencini, M.; Cecconi, F.; Vulpiani, A. Chaos: From Simple Models to Complex Systems; World Scientific Pubilshing Co., Inc.: Singapore, 2009. [Google Scholar]
  19. Teschl, G. Ordinary Differential Equations and Dynamical Systems; AMS: Providence, RI, USA, 2012. [Google Scholar]
  20. Birkhoff, G.D. Nouvelles recherches sur les systèmes dynamiques. Collect. Math. Pap. 1950, 2, 530–662. [Google Scholar]
  21. Smale, S. Diffeomorphisms with Many Periodic Points. In Differential and Combinatorial Topology; Princeton University Press: Princeton, NJ, USA, 1965; pp. 63–80. [Google Scholar] [CrossRef]
  22. Devaney, R.L. An Introduction to Chaotic Dynamical Systems, 2nd ed.; Addison-Wesley: Redwood City, CA, USA, 1989. [Google Scholar]
  23. Byrd, P.F.; Friedman, M.D. Handbook of Elliptic Integrals for Engineers and Scientists, 2nd ed.; Springer: New York, NY, USA, 1971. [Google Scholar]
  24. Duffing, G. Erzwungene Schwingungen bei Veränderlicher Eigenfrequenz; F. Vieweg u. Sohn: Braunschweig, Germany, 1918. [Google Scholar]
  25. Wiggins, S.; Holmes, P. Homoclinic Orbits In Slowly Varying Oscillators. SIAM J. Math. Anal. 1987, 18, 612–629. [Google Scholar] [CrossRef]
  26. Chen, F.; Wang, Q. High order Melnikov method: Theory and application. J. Differ. Equations 2019, 267, 1095–1128. [Google Scholar] [CrossRef]
  27. Trueba, J.L.; Baltanás, J.P.; Sanjuán, M.A.F. A generalized perturbed pendulum. Chaos, Solitons Fractals 2003, 15, 911–924. [Google Scholar] [CrossRef]
  28. Szumiński, W. A new model of variable-length coupled pendulums: From hyperchaos to superintegrability. Nonlinear Dyn. 2024, 112, 4117–4145. [Google Scholar] [CrossRef]
  29. Krasil’nikov, P.S. The non-linear oscillations of a pendulum of variable length on a vibrating base. J. Appl. Math. Mech. 2012, 76, 25–35. [Google Scholar] [CrossRef]
  30. Tufillaro, N.B.; Abbott, T.A.; Griffiths, D.J. Swinging Atwood’s Machine. Am. J. Phys. 1984, 52, 895–903. [Google Scholar] [CrossRef]
  31. Yakubu, G.; Olejnik, P.; Awrejcewicz, J. On the Modeling and Simulation of Variable-Length Pendulum Systems: A Review. Arch. Comput. Methods Eng. 2022, 29, 2397–2415. [Google Scholar] [CrossRef]
  32. Szumiński, W.; Maciejewski, A.J. Dynamics and integrability of the swinging Atwood machine generalisations. Nonlinear Dyn. 2022, 110, 2101–2128. [Google Scholar] [CrossRef]
Figure 1. The generalized Ziegler pendulum.
Figure 1. The generalized Ziegler pendulum.
Mathematics 13 01267 g001
Figure 2. Motion of the system (38) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 1 .
Figure 2. Motion of the system (38) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 1 .
Mathematics 13 01267 g002
Figure 3. Motion of the system (38) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 10 .
Figure 3. Motion of the system (38) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 10 .
Mathematics 13 01267 g003
Figure 4. Motion of the system (38) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 100 .
Figure 4. Motion of the system (38) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 100 .
Mathematics 13 01267 g004
Figure 5. Motion of the system (47) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 0.3 , ν = 10 4 .
Figure 5. Motion of the system (47) around the separatrix (30). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4577 · 10 5 . Parameters: k 1 = 1 , l 2 = 1 , A 11 = 1 , M = 4 , Δ = 2.25 , F = 0.01 , ω = 0.3 , ν = 10 4 .
Mathematics 13 01267 g005
Figure 6. Motion of the system (55) around the separatrix (58). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4907 · 10 6 . Parameters: k 1 = 0.001 , l 2 = 4.5 , M = 10 , ω 0 = 0.1491 , F ε = 0.01 , ω = 0.5 .
Figure 6. Motion of the system (55) around the separatrix (58). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 1.4907 · 10 6 . Parameters: k 1 = 0.001 , l 2 = 4.5 , M = 10 , ω 0 = 0.1491 , F ε = 0.01 , ω = 0.5 .
Mathematics 13 01267 g006
Figure 7. Motion of the system (60) around the separatrix (58). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 2.8868 · 10 6 . Parameters: k 1 = 0.001 , l 2 = 1.5 , M = 8 , ω 0 = 0.2887 , F ε = 0.01 , ω = 2 ω 0 , ν = 5 · 10 4 .
Figure 7. Motion of the system (60) around the separatrix (58). Initial conditions: φ 1 ( 0 ) = 10 5 , v 1 ( 0 ) = 2.8868 · 10 6 . Parameters: k 1 = 0.001 , l 2 = 1.5 , M = 8 , ω 0 = 0.2887 , F ε = 0.01 , ω = 2 ω 0 , ν = 5 · 10 4 .
Mathematics 13 01267 g007
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Disca, S.; Coscia, V. Melnikov Method for a Class of Generalized Ziegler Pendulums. Mathematics 2025, 13, 1267. https://doi.org/10.3390/math13081267

AMA Style

Disca S, Coscia V. Melnikov Method for a Class of Generalized Ziegler Pendulums. Mathematics. 2025; 13(8):1267. https://doi.org/10.3390/math13081267

Chicago/Turabian Style

Disca, Stefano, and Vincenzo Coscia. 2025. "Melnikov Method for a Class of Generalized Ziegler Pendulums" Mathematics 13, no. 8: 1267. https://doi.org/10.3390/math13081267

APA Style

Disca, S., & Coscia, V. (2025). Melnikov Method for a Class of Generalized Ziegler Pendulums. Mathematics, 13(8), 1267. https://doi.org/10.3390/math13081267

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop