Existence of Chaotic Phenomena in a Single-Well Duffing Oscillator under Parametric Excitations ()
1. Introduction
Duffing oscillators have received remarkable attention in the recent decades due to the variety of their Engineering applications, for example magneto-elastic mechanical system [1] , large amplitude oscillator of centrifugal governing system [2] , nonlinear vibration beans and plates [3] [4] and fluid flow induced vibration [5] . It is famous for the existence of chaos behavior in recent decades [6] . In 1979, the chaotic phenomena in Duffing equation had been investigated by Ueda [7] . Chaos occurs when the behavior of the dynamical system is extremely sensitive to initial conditions. In mechanical system, it means a motion which trajectories starting from slightly different initial conditions diverge exponentially.
Various researchers have used different methods in obtaining solutions, for instance, Ueda [7] used the numerical simulation where changes in attractors were obtained under various parameters.
The problem in Duffing-type system still remains a puzzle to so many scientists for instance, suppressing and inducing of chaos, influence of time delay, fractional dynamics [8] - [13] .
Melnikov method and Lyapunov exponents are very significant analytical techniques for determining chaos. The main idea of this method is to measure the distance between the stable and unstable manifolds and if the stable and unstable manifolds intensively intersect once, they will intersect infinite times [6] . Thus, according to Smale-Birkhoff theorem in [1] , it implies the existence of the chaotic behavior in the Smale-horseshoe sense. The Melnikov theory was firstly used to study chaos in Duffing system by Holmes [2] and generalized Melnikov function was developed by Wiggins [13] [14] . This criterion is just the necessary condition for chaos but not sufficient for chaos, therefore, it must be sufficient conditions for the suppression of chaos [15] . The Lyapunov exponent is an important indicator in determining the sensitivity of chaotic behavior which characterizes the average rate of the system in phase space between adjacent tracks of convergence and divergence [16] . Whether the Lyapunov exponent is greater than zero or not is one of the most straight forward criterions to distinguish the chaotic systems [17] . In other to calculate the Lyapunov exponent, some methods of solutions includes [16] , nonlinear adaptive filtering method, QR matrix factorization method and its improvement methods. This paper makes use of two methods, the Melnikov method and improved QR matrix factorization.
The objectives of this paper therefore are to investigate the existence of chaotic behavior in a single-well Duffing oscillator forced by parametric excitations.
The rest of the paper is organized as follows: Section 2, explained the preliminaries to the results, Section 3 gives the main results using the Melnikov method and the calculation of the Lyapunov exponent and Section 4 presents the numerical simulations and finally some conclusions are given in Section 5.
2. Preliminaries
2.1. Melnikov Method
One of the main tools for determining the existence or non-existence of chaos in a perturbed Hamiltonian system is Melnikov. In his theory, the distance between stable and unstable manifolds of the perturbed system were calculated up to the first order term.
Melnikov method is a procedure which gives a bound on the parameters of a system such that chaos is predicted not to occur. The Melnikov method investigate the homoclinic bifurcation in the forced Duffing oscillator system with linear and non-damping. It measures the distance between stable and unstable manifolds in the Poincare section [6] and to preserve the homoclinic loops under a perturbation requires that at
, if
, that is the Melnikov function has a simple zero, then a homoclinic bifurcation occurs, implying that the chaotic motion occurs.
2.2. Melnikov Method for Predicting Chaos
Melnikov method gives an analytic tool for establishing the existence of transverse homoclinic points of the Poincare map for a periodic orbit of a perturbed dynamical system of the form;
. (1)
with
. It can also be used to establish the existence of sub-harmonic periodic orbits of perturbed system of the form in (1). Furthermore, it can be used to show the existence of limit cycles and separatix cycles of perturbed planar system with
. For periodically perturbed planar systems, we have the form;
. (2)
where
and g is periodic with period t in T. We assume that
and
and we make the assumption;
1) For
, the system (2) has a homoclinic orbit;
at a hyperbolic saddle point
and
2) For
, the system has a non-parametric family of periodic orbit. Then the Melnikov function
is defined as;
. (3)
The Melnikov method can be interpreted as a derivation in energy from the value on the perturbed separatix. Before stating main result established by Melnikov concerning the existence of transverse homoclinic point of the Poincare section, we need the following lemma and theory which establish the existence of a periodic orbit and hence the existence of the Poincare map with sufficient
.
Lemma 2.1
Under assumption 1) and 2), for
sufficiently small, the system (2) has a unique hyperbolic periodic orbit;
of period T. Correspondingly, the Poincare map
has a unique hyperbolic fixed point of saddle type;
. (4)
Theorem 2.1
Under the assumption 1) and 2), if the Melnikov function
has a simple zero in [0,1], then for all sufficiently small
, the stable and unstable manifold of the Poincare map
intersect transversally, that is,
has a transverse homoclinic point.
This theorem was established by Melnikov [1] . The idea of the proof is that
is a measure of the separation of the stable and unstable manifold of the Poincare map. The theory is an important result because it establishes the existence of transverse homoclinic point for
. It implies the existence of strange invariant set for some iterate of
and the same type of chaotic dynamics for system (2) as for the Smale horseshoe map. Generally, the Melnikov method is very useful for detecting the presence of transverse homoclinic orbits and the occurance of homoclinic bifurcations.
Theorem 2.2 (Smale-Birkhoff Homoclinic Theorem) [18]
Let f be a diffeomorphism (
) and suppose p is a hyperbolic fixed point. A homoclinic point is a point
which is in the stable and unstable manifolds. If the stable and unstable manifolds intersect transversally at q, then q is called transverse. This implies that there is a homoclinic orbit
such that
. Since the stable and unstable manifolds are invariant, we have;
for all
. Moreover, if q is transversal, so are all
since f is diffeomorphism.
2.3. Method of Lyapunov Exponent
The method of Lyapunov exponent serves as a useful tool to qualify chaos. Specifically, Lyapunov exponent measures the rate of convergence or divergence of nearby trajectories [16] [18] . Negative Lyapunov exponents indicate convergence while positive Lyapunov exponents demonstrate divergence and chaos. The magnitude of the Lyapunov exponents is an indicator of the time scale on which chaotic behavior can be predicted or transients for the positive and negative cases respectively [19] .
Physically, the Lyapunov exponent measures average exponential divergence or convergence between trajectories that differ only in having an infinitesimally small difference in their initial condition. The system is said to be chaotic if the trajectories remain within a bounded set of the dynamics. If one considers a ball of points in N-dimensional phase space in which each point follows its own trajectory based upon the system equations of motion over time, the ball of points will collapse to a simple point, will stay a ball or will become ellipsoid in shape [20] . The measure of the rate at which this infinitesimal ball collapse or expands is the Lyapunov exponent. For a system written in the state-space form
, small derivation from trajectory can be expressed by the equation
. The maximal Lyapunov exponent is then defined by this equation.
Other useful quantities are the short time Lyapunov exponent and the local Lyapunov exponent. A short time Lyapunov exponent is simply a Lyapunov exponent defined over some finite time interval. The local Lyapunov exponent is a short time Lyapunov exponent in the limit where the time interval approaches zero. Both are dependent on starting points and the short time Lyapunov exponent is also independent on the magnitude of the time interval. If all points in the neighborhood of a trajectory converge towards the same orbit, the attractor is a fixed point or a limit cycle. However, if the attractor is strange, any two trajectories
and
that starts over very close to each other separate exponentially with time. This sensitive initial condition can be quantified as;
(5)
where λ, the mean rate of separation of trajectories of the system is called the Lyapunov exponent, which can be estimated for long time t as;
(6)
(7)
(8)
Equations (7) and (8) are for short and local Lyapunov exponent. The exponent can be positive or negative but at least one must be positive for an attractor to be classified as chaotic. In particular, if
, the system converges to a stable fixed point or periodic orbits. A negative value of the Lyapunov exponent is characteristic of dissipative or non-conservative systems. If
, the system is conservative and converges to a stable cycle limit. If
, the system is unstable and chaotic. Hence, if the system is chaotic, it will have at least one positive Lyapunov exponent. Thus, the definition of chaotic system is based on a positive Lyapunov exponent. Finally, If
, the system is random.
Generally, the most used measure of sensitive initial condition is a system characterization by the Lyapunov exponent, which quantifies the rate of separation of infinitesimal close trajectories. For example, consider a one-dimensional system with two trajectories
and
which at some point
are arbitrary close together and their difference in time tracked by the function;
. The sign of the lyapunov exponent characterizes whether or not the system is exhibiting chaotic behavior. If the exponent is negative, the system, at least in that set of initial conditions is said to be stable (like trajectories go to like trajectories). A Lyapunov exponent of zero implies an unstable system which is essentially on the edge stable and chaotic. And of course a positive exponent implies the system is chaotic where trajectories exhibit exponential divergence.
3. Results
3.1. The Single-Well Duffing Oscillator
The single-well Duffing equation under parametrical excitation is shown below;
(9)
The System (9) has a unique hyperbolic limit cycle. Using the Melnikov theory, an analysis has been performed of the limit circles in oscillator systems described by single-well Duffing equation under perturbation.
Briefly, we describe Melnikov function and the bifurcations in perturbed Hamiltonian system as;
(10)
where H the Hamiltonian
is the analytic function. Also the perturbation functions
and
are analytic, ε is a small parameter.
Let
be the solution of (3.1). Then the solution of the unperturbed system at (
) is
. Further, we note that the unperturbed system at
has one equilibrium point i.e. the center surrounded by a closed trajectories.
3.2. Melnikov Function for the Perturbed Single-Well Duffing Equation
In this work, the single-well Duffing equation is represented by;
This equation can be rewritten in the following perturbed Hamiltonian system;
(11)
where
.
Let
be the solution of (11). The unperturbed system (11) has a Hamiltonian;
. (12)
and one equilibrium point surrounded by a closed trajectories.
The solution of the unperturbed system is expressed as;
. (13)
where sd is a Jacobian function.
Then, the Melnikov function for the System (3) is given as;
(14)
now taking (13) into (14), we get;
(15)
Then, using the following properties;
(A3)
(A2)
(A3)
The Melnikov function becomes;
(16)
after a long calculation and introducing the notation
and the following identities;
We obtain the final expression as;
where
.
3.3. The Lyapunov Exponent of a Single-Well Duffing Oscillator
Consider the Duffing equation below;
(17)
where
and
are second-order and first-order derivative,
,
,
is the damping,
is the amplitude of the circle,
is the angular frequency of the driven circle. In other to Type equation here, determine whether the system is in chaotic state, we need to calculate the Lyapunov exponent using the QR factorization method.
Let
,
Then Equation (1) is equivalent to;
(18)
which is written in matrix form as;
(19)
According to the variational principle, its variational equations are;
(20)
where
is a 2 by 2 matrix, I is a 2 by 2 unit matrix,
is the Jacobian matrix of the system and its expression is;
Then, QR factorization of
can be written as;
(21)
where Q is orthogonal matrix, R is upper triangular matrix. Substituting (21) in (20), we obtain the variational equation;
. (22)
Left multiply Equation (22) by
and right multiply by
, we have;
(23)
The orthogonal matrix Q is written as a function of angle variables. To the Duffing equation, its orthogonal matrix Q can be expressed by one angle
.
The upper triangular matrix R can be expressed as;
where
is the angle variable,
is the value associated with the Lyapunov exponent. Then,
Then putting
and R into Equation (23), we have;
The correspondent matrix elements on both sides of (23) are equal, so we get;
(24)
We add and subtract the first two differential equations and get a new differential equation. Together with the third differential equation, we obtain three new equations;
(25)
Then from;
(26)
We obtain;
(27)
The time evolution of the Lyapunov exponent is;
(28)
Then, the Lyapunov exponent is;
(29)
4. Numerical Simulation of Single-Well Duffing Oscillator
In this section, we compare the numerical solution of Equation (9) using MATCAD simulation. In Figures 1-6, the trajectory versus time response curves are plotted for different sets of parameter values noted in the figure captions. In all figures, the solid lines represent the numerical solution and the dashed lines
Figure 1. Trajectory-time response curves and parameter values of
,
,
,
,
. The solid lines represent the numerical solution and the dash lines represent the chaotic behavior.
Figure 2. Velocity-time response curves and parameter values of
,
,
,
,
. The solid lines represent the numerical solution and the dash lines represent the chaotic behavior.
Figure 3. The phase portrait orbits in the chaotic state at
.
,
,
,
,
.
represent our chaotic solutions.
Figure 1 and Figure 2 compare solutions by considering a strong nonlinearity value of
. The periodic solution of the Duffing’s equation were shown by the relationship between the first solution function values and the independent variables values as shown in Table 1. The values were generated using the vector initial function values and the constant. However, the solutions are in
Figure 4. Trajectory-time response curves and parameter values of
,
,
,
,
. The solid lines represent the numerical solution and the dash lines represent the chaotic behavior.
Figure 5. Velocity-time response curves and parameter values of
,
,
,
,
. The solid lines represent the numerical solution and the dash lines represent the chaotic behavior.
Figure 6. The phase portrait orbits in the chaotic state at
.
good agreement over the time interval shown. Also, at
, the maximum trajectory is
. Figure 3 is the phase diagram of the chaotic system at
and damping factor
.
The same conclusion can be drawn from Figures 4-6 but with damping factor at
. The solutions are in excellent agreement over the time interval shown. However, Figure 6 is the phase portrait of the chaotic system.
Define a function that determines a vector of derivatives values at any solution point
:
Define an additional argument for the ODE solver:
Initial value of independent variable
Final value of independent variable
Vector of initial function values
Numbers of solution values on [t0, t1]
Independent variables values
First solution function values
Second solution function values
Table 1. Solution matrix table for solution functions.
5. Conclusions
In the present study, the chaotic behavior in single-well Duffing oscillator is investigated using Melnikov approach and Lyapunov exponent. The distance between the stable and unstable manifold of the nonlinear system is calculated by Melnikov approach. The Lyapunov exponent of the nonlinear system is evaluated by QR factorization to determine whether the chaotic phenomenon of the nonlinear system actually occurs.
As a result, threshold values were obtained and the dynamical behaviors showing the intersections of manifold were illustrated. To detect the chaotic phenomena of the nonlinear system, the Melnikov approach, Lyapunov exponent, the time history, phase portrait of the nonlinear system were presented for various cases.