Professional Documents
Culture Documents
com
Abstract
Based on the integral of energy and numerical integration, we introduce, develop, and apply a general algorithm to predict
parameters of a parametric equation to produce a periodic response. Using the new method, called energy-rate, we are able
to 3nd not only stability chart of a parametric equation which indicates the boundaries of stable and unstable regions, but
also periodic responses that are embedded in stable or unstable regions.
There are three main important advantages in energy-rate method. It can be applied not only to linear but also to non-linear
parametric equations; most of the perturbation methods cannot. It can be applied to large values of parameters; most of
the perturbation methods cannot. Depending on the accuracy of numerical integration method, it can also 3nd the value of
parameters for a periodic response more accurate than classical methods, no matter if the periodic response is on the boundary
of stability and instability or it is a periodic response within the stable or unstable region.
In order to introduce the energy-rate method and indicate its advantages we apply the method to the standard Mathieu’s
equation,
x7 + ax − 2bx cos(2t) = 0
and show how to 3nd its stability chart for the large values of b in a–b plane. The results are compared with McLachlan’s
report (Theory and Application of Mathieu Function, Clarendon, Oxford, 1947).
? 2003 Elsevier Ltd. All rights reserved.
0020-7462/$ - see front matter ? 2003 Elsevier Ltd. All rights reserved.
doi:10.1016/j.ijnonlinmec.2003.08.009
1320 G.N. Jazar / International Journal of Non-Linear Mechanics 39 (2004) 1319 – 1331
them are, Melde (1860), Mathieu (1860), Matthiessen solution generates a graph which is called a stability
(1870), Floquet (1883), Hill (1886), Rayleigh (1887), chart [4]. The relation could be developed analytically
Stephenson (1906), Meissner (1918), Strutt (1927), by Fourier coeIcients or perturbation methods, but
van der Pol (1928), and Barrow (1923), in the late all of these methods fail to predict the stability chart
19th and the beginning of the 20th century [13]. when b is large.
It is known that the 3rst detailed theory relevant Many authors investigated the stability chart of the
to the study of periodically time varying systems was time-varying systems including Mathieu’s equation
given by Mathieu [14], Hill [15], and Lord Rayleigh using a variety of concepts such as Lyapunov expo-
[16] in 1860 –1890. One of the most important earlier nents [25], Poincare Mapping [26], Lyapunov–Floquet
works on the behaviour of periodically time-varying transformation, and perturbative Hamiltonian normal
systems was that by Hill in 1886, in which he laid forms [27]. None of these analysis could give accurate
down the very mathematical foundations of the stabil- prediction of the stability boundaries when b is large
ity theory of parametric systems [15]. The 3rst anal- and/or some non-linearity is presented. Due to the na-
ysis of parametric resonance of a structural con3g- ture of the solutions given by the classical approaches,
uration (a pinned perfect column) was presented by extensive calculation is generally required to ensure
Beliaev [17]. Many studies started appearing in the suIcient convergence to give accurate answers. De-
literature in the late 1940s and 1950s. Reviews on the termination of stability, classically, rests upon the use
subject, including historical sketches, may be found in of the Hill determinant procedure [28]. For values of
the works of Beilin and Dzhanelidze [18]. For more a and b signi3cantly larger than unity, quite large de-
recent contributions on the subject, the reader is re- terminant need to be calculated which is also a time
ferred to the work done by Yao [19], Hsu [42], Es- consuming task. Further, these may diverge initially
mailzadeh and Nakhaie Jazar [20,21], Luo [22], and prior to acceptable convergence [13].
Zounes and Rand [23]. Taylor and Narendra [29] and later on Gunderson et
Solution of the Mathieu’s equation depends on two al. [30] found the stability boundaries of the damped
independent parameters, a and b. It is known from Mathieu’s equation using Laplace transformation and
Floquet theory that its solution is, in general, of the Lyapunov function. Their stability theory was only
following structure: correct for small multiplier of both damping and pe-
riodic terms.
x(t) = C1 e
t ’(t) + C2 e−
t ’(−t) (3)
Within the limits of numerical accuracy, most of
in which the function ’(t) is periodic. The character- these procedures have the appeal that they give exact
istic exponent,
, is a time invariant constant that de- results since they do not rely upon algebraic ap-
pends in an intricate way upon the parameters a and proximations to the solutions of the equation. Their
b. If it is real, the solution becomes exponentially in- shortcomings, however, lie with their numerical error,
3nite, i.e., a so called unstable solution. If the expo- especially when solutions near stability boundaries
nent is purely imaginary the solutions remain bounded are required. Accuracy is also governed by the num-
along the real axis. The intermediate case in which ber of iteration points chosen for iterative techniques
= 0 is of especial importance because it includes a per period of the periodic coeIcient. Numerical so-
solution known as a Mathieu function which is peri- lution of the Mathieu’s equation has been extensively
odic [24]. Broadly speaking, the determination of the used in the past to model systems which contain a
Mathieu functions is the matter of prime importance sinusoidal time-varying parameter [31]. Rand and
in the applications of the equation. Hastings [32] used numerical integration to determine
The most comprehensive treatment of classical regions of stability for a quasi-periodic Mathieu’s
methods for analyzing the Mathieu’s equation has equation. They assumed that the equation is stable
been given by McLachlan [1]. It is known that the for a given initial condition r(0), if r(t) ¡ 106 r(0)
Mathieu’s equation (2), could have periodic solution for 1000 time units and for all t between 0 and 1000,
depending on parameters a and b, and independent of where r(t) = x2 (t) + ẋ2 (t). Using a numerical inte-
the initial conditions, due to the linearity of the equa- gration, they could develop and present some useful
tion. The relationship between a and b for periodic stability charts.
1322 G.N. Jazar / International Journal of Non-Linear Mechanics 39 (2004) 1319 – 1331
which are corresponding to characteristic numbers for cos(2rt), to draw the stability chart of Fig. 1.
denoted by a2n ; b2n+1 ; a2n+1 , and b2n+2 . In every A similar method was used by McLachlan to report
case, satisfaction of the diEerential equation necessi- Table 1 for stability chart of the Mathieu’s equa-
tates recurrence formulae connecting three successive tion (2). In Table 1, the numerical values related to
coeIcients. The continued fraction forms the basis aci and asi are the stability boundaries for ith co-
of the technique developed by Ince [37] and Gold- sine elliptic (cei ) and ith sine elliptic (sei ) functions,
stein [38] for the computation of the characteristics respectively. Fig. 1 is a graphical representation of
numbers. Table 1.
If each series of (4)–(7) is substituted in turn in It can be seen in Table 1 and Fig. 1 that continued
the Mathieu’s equation (2), and the coeIcients of fractions method is strong enough to detect the sta-
cos(2rt); cos((2r +1)t); sin((2r +1)t); sin((2r +2)t) bility boundaries for large values of parameters. The
equated to zero for r = 0; 1; 2; : : :, the follow- method of continued fractions was used by later in-
ing recurrence relations are obtained, respectively vestigators, and it is shown that the continued fraction
Table 1
McLachlan’s report for Mathieu stability chart
b ac0 as1 ac1 as2 ac2 as2 ac3 as4 ac4 as5 ac5 as6
0, 0, 1, 1, 4, 4, 9, 9, 16, 16, 25, 25, 36,
1, −0.4551386, −0.1102488, 1.8591081, 3.9170248, 4.3713010, 9.0477393, 9.0783688, 16.0329701, 16.0338323, 25.0208408, 25.0208543, 36.0142899,
2, −1.5139569, −1.3906765, 2.3791999, 3.6722327, 5.1726651, 9.14062277, 9.3703225, 16.1276880, 16.1412038, 25.0833490, 25.0837778, 36.0572070,
3, −2.8343919, −2.7853797, 2.5190391, 3.2769220, 6.0451969, 9.2231328, 9.91155063, 16.2727012, 16.3387207, 25.1870798, 25.1902855, 36.1288712
4, −4.2805188, −4.2591829, 2.3180082, 2.7468810, 6.8290748, 9.2614461, 10.6710271, 16.4520353, 16.6468189, 25.3305449, 25.3437576, 36.22944114
of energy as follows:
E =T (ẋ)+V (x), respectively, we can write an integral
for the system by V (x) = f(x) d x; T (ẋ) = 21 ẋ2 , and
a kinetic, potential, and mechanical
should expect a tendency to oscillate [40]. De3ning
and g(x; ẋ; t) is a periodic function of time, then we
the particle, and also time. If f(x) is a restoring force
on the value of parameters, position and velocity of
applied force generates or absorbs energy depending
the system is governed by x7 +f(x)=0. In general, the
non-conservative force −g(x; ẋ; t). The free motion of
attached to a conservative spring, acted upon by a
shows that the system is a model of a unit mass particle
g(0; 0; t) = 0
where
algorithm
4. Energy-rate method and stability chart
curves.
velop an applied method to determine the transition
integral combined with numerical integration to de-
the next section, we use the principle of the energy
large coeIcients, but also to non-linear equations. In
plicable not only for linear parametric equation with
need a more reliable and accurate method to be ap-
parametric equations [39]. Due to this problem, we
ential equations, but it is not applicable to non-linear
method can be applied to all linear parametric diEer-
= −ẋg(x; ẋ; t):
(f(x)ẋ) dt
energy function
(16)
(15)
(14)
(13)
1323
1324 G.N. Jazar / International Journal of Non-Linear Mechanics 39 (2004) 1319 – 1331
This expression represents the rate of energy generated boundary that has a stable region on its left-hand side
or absorbed by the term −g(x; ẋ; t). and unstable region on its right-hand side. This group
Suppose that for some set of parameters and a of points constitutes a branch of -periodic boundary
non-zero response x(t); Ė = −ẋg(x; ẋ; t) is negative corresponding to ce2n or se2n+2 .
then, E continuously decreases along the path of By changing the strategy and looking for a to be
x(t). The eEect of g(x; ẋ; t) resembles damping or on a boundary that its right-hand side is stable and
resistance; energy is continuously withdrawn from its left-hand side is unstable then, we can generate
the system, and this produces a general decrease in the 2-periodic branches corresponding to ce2n+1 or
amplitude until the rate of initial amplitude depended se2n+1 . Now we may change b by some increment
energy runs out and a new solution make Ė = 0. and repeat the procedure. This procedure could be ar-
On the other hand, if for a set of parameters and a ranged in an algorithm called “stability chart algo-
non-zero response x(t); Ė = −ẋg(x; ẋ; t) is positive rithm”.
then, the amplitude increases so long as the path of
x(t) runs away. Evaluating a suitable numerical inte-
gration can show if a set of parameters belongs to a 4.1. Stability chart algorithm
stable or unstable region by evaluating Ė.
It is known that time derivative of mechanical en- 1. set a, equal to one of its special values;
ergy E must be zero over one period for conservative 2. set b, equal to some arbitrary small value;
and autonomous systems in a steady state periodic cy- 3. solve the diEerential equation numerically;
cle [41]. We may integrate the Mathieu’s equation (2), 4. evaluate Eav ;
to get the following equation: 5. decrease (increase) a, if Eav ¿ 0 (Eav ¡ 0) by
1 d 2 some small increment;
(ẋ + ax2 ) = 2bxẋ cos(2t) = Ė; (17)
2 dt 6. the increment of a must be decreased if Eav (ai ) ·
where E is the mechanical energy of the system. In Eav (ai−1 ) ¡ 0;
order to 3nd a set of a and b to indicate a steady-state 7. save a and b when Eav 1;
periodic response, we may choose a pair of parameters 8. while b ¡ b3nal , increase b and go to step 3;
a and b and integrate Eq. (17) numerically. 9. set a, equal to another special value and go to
We may evaluate the averaged energy over a period step 2;
10. reverse the decision in step 5 and go to step 1.
1 T 1 T
Eav = Ė dt = (2bxẋ cos(2t)) dt;
T 0 T 0 It is known that the boundary between stable and un-
stable regions in the stability chart starts from some
T = 2 (18)
special values of a. So, it is better to start the algo-
to compare with zero. If Eav is greater than zero, (a; b) rithm from one of these characteristic values.
belongs to a region that energy being inserted to the
system and then Eq. (2) is unstable. However, if it
is less than zero, then (a; b) belongs to a region that
energy being extracted from the system and Eq. (2) is 5. Applying the stability chart algorithm
stable. On the common boundary of these two regions,
Eav =0. In order to 3nd more accurate values than those
Assume b is 3xed and we are looking for a to be presented in Table 1, we have used the elements
on a boundary that its left-hand side is stable and its of McLachlan’s table as an initial value. Then,
right-hand side is unstable then, if the chosen param- the Mathieu’s equation was solved numerically for
eters show that Eav is less than zero, increasing a in- 0 ¡ t ¡ T; T =2, in order to include both -periodic
creases Eav . On the other hand, if Eav is greater than and 2-periodic solutions. Two solutions of identical
zero, decreasing a decreases Eav . Using this strategy period, even or 2, bound the region of instability,
we may 3nd the appropriate value of a such that Eav while two solutions of diEerent periods bound the
equates zero. In this way, we will 3nd a point on the region of stability.
Table 2
Stability chart for Mathieu’s equation generated by the algorithm
b ac0 as1 ac1 as2 ac2 as2 ac3 as4 ac4 as5 ac5 as6
0, 0, 1, 1, 4, 4, 9, 9, 16, 16, 25, 25, 36
1, −0.455138604, −0.110249001, 1.8591084, 3.9170245, 4.3713010, 9.04773900, 9.0783688, 16.0329698, 16.0338323, 25.0208405, 25.0208543, 36.0142899,
2, −1.5139568851, −1.3906767, 2.3791999, 3.6722324, 5.1726648, 9.14062247, 9.3703225, 16.1276877, 16.1412038, 25.0833487, 25.0837778, 36.0572070,
3, −2.834391889959, −2.7853799, 2.519039087, 3.2769217, 6.0451972, 9.2231325, 9.91155033, 16.2727009, 16.3387207, 25.1870795, 25.1902855, 36.1288709
4, −4.280518818368, −4.2591831, 2.31800817, 2.7468807, 6.8290745, 9.2614458, 10.6710271, 16.452035, 16.64681817, 25.3305446, 25.3437576, 36.22944084
5, −5.8000460207, −5.7900808, 1.8581875414, 2.0994601, 7.4491094, 9.2363274, 11.5488317, 16.6482196, 17.0965817, 25.5108157, 25.5499717, 36.3588665
a = 0; 22 ; 42 ; : : :.
1; 32 ; 52 ; : : :, and -periodic transition curves start from
Indeed, 2-periodic transition curves start from a =
cate characteristic values, a = k 2 ; k = 0; 1; 2; 3; : : : .
Both cases can be combined in one formula to indi-
the characteristic values a = (2k)2 ; k = 0; 1; 2; 3; : : : .
and the solutions with a -period lie in pairs near
the characteristic values a=(2k +1)2 ; k =0; 1; 2; 3; : : :,
3nd that the solutions with a 2-period lie in pairs near
clear if we let b → 0 then, using relations (8)–(11), we
h
T
n−1
k=0
0
(2bxẋ cos(2t)) dt
2
T
n
1325
1326 G.N. Jazar / International Journal of Non-Linear Mechanics 39 (2004) 1319 – 1331
Table 3
The values of TEav for 3rst 10 digits of ac0 for a and b from Tables 1 and 2
Fig. 4. Time response for a point on the boundary of stability. Fig. 6. Plot of TEav as a function of a for b = 5 integrated for
diEerent period of time.
Fig. 7. Time history of -periodic response of Mathieu’s equation Fig. 9. Time history of 3- and 6-periodic response of Mathieu’s
for (a = 7:45; b = 5), a periodic response in instability region. equation for (a = 12:57; b = 5) and (a = 14:54; b = 5).
12 12
10 10
8 8
b b
6 6
4 4
2 2
0 2 4 6 8 10 12 0 2 4 6 8 10 12
(a) a (b) a
12 12
10 10
8 8
b b
6 6
4 4
2 2
0 2 4 6 8 10 12 0 2 4 6 8 10 12
(c) a (d) a
12 12
10 10
8 8
b b
6 6
4 4
2 2
0 2 4 6 8 10 12 0 2 4 6 8 10 12
(e) a (f) a
Fig. 10. (a) Mathieu’s -periodicity chart and splitting curves, based on the “splitting chart algorithm”; (b) Mathieu’s 2-periodicity
chart and splitting curves, based on the “splitting chart algorithm”; (c) Mathieu’s 3-periodicity chart and splitting curves, based on the
“splitting chart algorithm”; (d) Mathieu’s 4-periodicity chart and splitting curves, based on the “splitting chart algorithm”; (e) Mathieu’s
5-periodicity chart and splitting curves, based on the “splitting chart algorithm”; and (f) Mathieu’s periodicity chart and splitting curves,
for ; 2; 3; 4, and 5-periodic solutions.
1330 G.N. Jazar / International Journal of Non-Linear Mechanics 39 (2004) 1319 – 1331
[22] A.C.J. Luo, Chaotic motion in the generic separatrix band [31] P.H. Dawson, N.R. Whetten, Ion storage in three dimensional,
of a Mathieu–DuIng oscillator with a twin-well potential, J. rotationally symmetric, quadrupole 3eld. I. Theoretical
Sound Vib. 248 (3) (2001) 521–532. treatment, J. Vac. Sci. Technol. 5 (1968) 1–6.
[23] R.S. Zounes, R.H. Rand, Global behaviour of a nonlinear [32] R. Rand, R. Hastings, A quasiperiodic Mathieu equation,
quasiperiodic Mathieu equation, Proceedings of DETC01, ASME Des. Eng. Tech. Conf. DE 84-1 Part A 3 (1995)
ASME 2001 Design Engineering Technical Conference, 747–758.
Pittsburgh, PA, September 2001, pp. 1–11. [33] V.V. Bolotin, The Dynamic Stability of Elastic Systems,
[24] R.E. Langer, The solution of the Mathieu equation with a Holden-Day, San-Francisco, USA, 1964.
complex variable and at least one parameter large, Trans. [34] A.H. Nayfeh, D.T. Mook, Nonlinear Oscillation, Wiley, New
Amer. Math. Soc. 36 (3) (1934) 637–695. York, USA, 1979.
[25] F. Colonius, W. Kliemann, Stability of time varying systems, [35] P. Pederson, On stability diagrams for damped Hill equations,
ASME Design Engineering Technical Conferences DE. 84-1, Quart. Appl. Math. 42 (1985) 477–495.
Vol. 3, Part A, 1995, pp. 365 –373. [36] L. Cesari, Asymptotic Behaviour and Stability Problems in
[26] R.S. Guttalu, H. Flashner, An analytical study of stability of Ordinary DiEerential Equations, 2nd Edition, Academic Press,
periodic systems by Poincare mappings, ASME Des. Eng. New York, USA, 1964.
Tech. Conf. DE 84-1 Part A 3 (1995) 387–398. [37] E.L. Ince, Tables of the elliptic-cylinder functions, R. Soc.
[27] E.A. Butcher, S.C. Sinha, On the analysis of time-periodic Edinburgh Proc. 52 (1932) 355–423.
nonlinear hamiltonian dynamical systems, ASME Des. [38] S. Goldstein, Mathieu functions, Trans. Cambridge Philos.
Eng. Tech. Conf. DE 84-1 Part A 3 (1995) Soc. 23 (1927) 303–336.
375–386. [39] G. Nakhaie Jazar, Analysis of nonlinear parametric vibrating
[28] D.W. Jordan, P. Smith, Nonlinear Ordinary DiEerential systems, Ph.D. Thesis, Mechanical Engineering Department,
Equations, Oxford University Press, Oxford, 1999. Sharif University of Technology, 1997.
[29] J. Taylor, K. Narendra, Stability regions for the damped [40] E. Esmailzadeh, B. Mehri, G. Nakhaie Jazar, Periodic solution
Mathieu equation, SIAM J. Appl. Math. 17 (1969) of a second order, autonomous, nonlinear system, Nonlinear
343–352. Dyn. 10 (1996) 307–316.
[30] H. Gunderson, H. Rigas, F.S. VanVleck, A technique [41] W. Szemplinska-Stupnicka, The Behaviour of Nonlinear
for determining stability regions for the damped Vibrating Systems, Kluwer Publishers, Dordrecht, 1990.
Mathieu equation, SIAM J. Appl. Math. 26 (2) (1974) [42] C.S. Hsu, Impulsive parametric excitation: Theory, Journal
345–349. of Applied Mechanics 39 (1972) 551–559.