Professional Documents
Culture Documents
Oscillations in
Planar Dynamic Systems
Ronald E Mickens
Clark Atlanta University
USA
World Scientific
Singapore • New Jersey • London • Hong Kong
Published by
World Scientific Publishing Co. Pte. Ltd.
P O Box 128, Farrer Road, Singapore 912805
USA office: Suite IB, 1060 Main Street, River Edge, NJ 07661
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, Massachusetts 01923, USA.
I thank my many colleagues around the world for their interest in both my
previous book and my research over the past decade in nonlinear oscillations. This
book is in large measure a response to their critiques, requests for reprints, and
various types of collaborations. As always, I am particularly grateful to Annette
Rohrs for typing the complete manuscript. Both she and my wife, Maria Mickens,
provided valuable editorial assistance and encouragement. I also wish to thank
Lori Darden who provided me with the superb figures used in this book. The work
reported here was supported in part by grants from ARO, NASA, and NIH (MBRS).
Ronald E. Mickens
Atlanta, Georgia
August 1995
vii
This page is intentionally left blank
T A B L E OF C O N T E N T S
1 Oscillatory Systems 1
1.1 Introduction 1
1.2 Examples of Nonlinear Systems 2
1.2.1 The Pendulum 2
1.2.2 Mass Attached to a Stretched Wire 3
1.2.3 Vibrations of the Eardrum 3
1.2.4 Nonlinear Electrical Circuits 6
1.2.5 Negative-Resistance Oscillator 10
1.2.6 Oscillations of a Diatomic Molecule 15
1.2.7 Nonlinear Oscillators with Damping 17
1.2.8 Brusselator Model 20
1.2.9 Glycolysis 22
1.2.10 Chlorine Dioxide-Iodine Reaction 23
1.2.11 Advertising Model 24
1.2.12 Predator-Prey 24
1.3 Dimensionless Form of Differential Equations 24
1.3.1 Linear Damped Oscillator 27
1.3.2 Nonlinear Oscillator 28
1.3.3 Rayleigh Equation 29
1.4 Nonlinear Equations Having Exact Solutions 30
1.4.1 Harmonic Oscillator 30
1.4.2 Particle-in-a-Box 31
1.4.3 Antisymmetric, Constant Force Oscillator 35
1.4.4 <Py/dt2 + y + ey3 = 0 38
1.4.5 Exact Period of the Pendulum 41
1.4.6 Pendulum 44
Problems 47
References 50
2.1 Introduction 54
2.2 Secular Terms 56
2.3 Lindstedt-Poincare Method 58
2.4 Examples 61
2.4.1 Example A 61
2.4.2 Example B 64
2.4.3 Example C 65
2.4.4 Example D 66
2.4.5 Example E 68
ix
X
2.4.6 Discussion 71
2.5 Existence of a Periodic Solution 72
2.5.1 Two Conditions 72
2.5.2 F a Function Only of y 75
2.5.3 F = F^y) - C(dy/dt) 76
2.5.4 F a Function Only of dy/dt 77
2.5.5 F = F3(y)dy/dt 78
2.6 Shohat Expansion 79
Problems 82
References 83
3 Method of Krylov-Bogoliubov-Mitropolsky 86
3.1 Introduction 86
3.2 First Approximation of Krylov and Bogoliubov 87
3.2.1 Technique 87
3.2.2 Two Special Cases 91
3.2.3 Stability Properties of Limit Cycles 92
3.2.4 Equivalent Linearization 95
3.3 Worked Examples Using the Method of Krylov and Bogoliubov .. 99
3.3.1 Example A 99
3.3.2 Example B 100
3.3.3 Example C 100
3.3.4 Example D 101
3.3.5 Example E 101
3.3.6 Example F 102
3.3.7 Example G 103
3.3.8 Example H 104
3.4 Method of Krylov-Bogoliubov-Mitropolsky 106
3.4.1 y + y = eF(y, y) 107
3.4.2 y + y = eF(y,y) + e2G(y,y) 115
3.5 Worked Examples Using the Method of Krylov,
Bogoliubov, and Mitropolsky 117
3.5.1 Example A 117
3.5.2 Example B 118
3.5.3 Example C 119
3.5.4 Example D 121
3.6 Spurious Limit Cycles 123
3.7 y + y3 = eF(y, y) 128
Problems 134
References 137
xi
1.1 Introduction
Section 1.4 presents and gives the details of several oscillatory systems for which
exact solutions can be calculated.
1
2 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
1.2 E x a m p l e s of Nonlinear S y s t e m s
This section gives the equations of motion for twelve systems that can have
oscillatory solutions provided the parameters that occur in the equations satisfy
certain restrictions. Some of these systems are discussed fully, while others only
have the model equations written down without the details of their derivation given.
However, in each particular case, references to the relevant literature are given so
that the reader can learn the basis of each set of model equations.
One of the simplest nonlinear oscillating systems is the free pendulum [2]. This
system consists of a particle of mass m attached to the end of a light inextensible
rod, with the motion taking place in a vertical plane. As shown in Figure 1.2.1, let
9 be the angle between the vertical and the line OP, where O is the center of the
circular path and P is the instantaneous position of the particle. The distance S
is measured from the equilibrium position 0\. Prom the figure it follows that the
component of the force of gravity mg in the direction of S is equal to — mg sin 9. If
L is the length of the pendulum, then the angle 9 is equal to S/L, and the equation
of motion is
<fS
m -££ ++ mg
. (S
sin ( — ) = 0 , (1.1)
m9Sm
lF (L
or, in terms of 9
cPd , (g
Because of the presence of the trigonometric function sin 9, Eq. (1.2) is a nonlinear
differential equation. For small angles
93
sm9 = 9 - - + 0(95), (1.3)
This representation for Eq. (1.2) is a good approximation even for angles as large
as TT/4 [2].
T = k(L-a), (1.5)
where L is the stretched length, a is the length for which x = 0, and k is the
coefficient of stiffness. The total force in the x direction on the mass is
<Px
= -(2S)sm0=~2k(L-a)(~\, (1.6)
cPx , 2kax „ . „.
m— 2 + 2kx- . = 0. (1.7)
dt JdFT
If \x\ <C d, then Eq. (1.7) becomes
<Px 2k(d - a) *+ £ * ,
+ - = 0. (1.8)
(?)
where a and 6 are positive constants. Consequently, the equation of motion is given
by the following nonlinear differential equation
d2 x .A
m - — + ax + bx2 = V^ At cos(uJit + 0,-), (1-H)
i=l
Electrical networks may be analyzed by applying Kirchhoff's laws [4]: (1) The
sum of the currents into (or away from) any point in the circuit is zero. (2) Around
any closed path of the circuit, the sum of the instantaneous voltage drops in a given
direction is zero. The first law is just the statement that the current is the same
throughout a simple electrical circuit.
To apply Kirchhoff's voltage law, it is necessary to know the contribution of
each of the elements shown in Figure 1.2.3. These are given in the following rules:
1. The voltage drop across the resistance is RI.
2. The voltage drop across the inductance is Ldl/dt. For an iron-core inductance
coil, the voltage drop can be written in terms of the magnetic flux <f> as d(j)/dt.
3. The voltage drop across the capacitor is Q/C, where Q is the charge on the
capacitor.
4. The current in the circuit is / = dQ/dt.
7
Consider the problem of finding the variation in the flux <j> for an iron-core
inductance coil that is connected to a charged condenser as shown in Figure 1.2.4(a).
If <f> is the flux in the coil, then the equation of the circuit is
d<t> Q ,
where Q is the charge on the condenser and C is its capacitance. Applying rule 4
gives
2 + h* <»•>
In elementary circuit theory there exists a linear relationship between the current
and flux: / = 4>/L, where L is the inductance. However, for an iron-core inductance,
a more accurate expression of the relationship between current and flux (for values
of flux that are not too large) is
I=A<t>-B</>3, (1.14)
where A and B are positive numbers. Substitution of this into Eq. (1.13) gives
| + «+(I)g.a (i.i6)
g + * , _ „ , ) » + ( £ ) , - ( § ) / = 0, ,1.17)
0 1 )
dEj ■ (
The curve has negative slope in the interval E\ < E < E2 and thus the resistance
is negative in this interval. A device having such a current-volt age relation is called
a negative resistor. The simplest equation describing the curve of Figure 1.2.6 is
Ic + h + I = 0, (1.23)
11
Figure 1.2.6. Characteristic curve for a nonlinear negative resistor. The resistance
at any point is defined as r = (dl/dE)~l.
13
where
T -rdE (1.24a)
Ic C
- n>
(1.24b)
Therefore,
dlc dIL dl
(1.25)
dt dt dt
and, after some simplification, this becomes
cPE dE
~dl + LCj E
f-feWfe1*"
R
= 0. (1.26)
+
If the resistance R is small, the last term in Eq. (1.26) can be dropped to give
^ - a ( l - ^ ) f + ^ = 0, (1.27)
where
36
P= "o2 = (1.28)
Note that the "damping term" dE/dt has a nonlinear dependence on E. If the
voltage is small, the damping is negative, while if the voltage is large, the damping
is positive. Negative damping corresponds to the introduction of energy into the
system; positive damping represents the removal of energy.
Equation (1.27) is related to the van der Pol equation
which arises in the study of triode vacuum tube oscillatory circuits [7]. It was
investigated in great detail by van der Pol [8, 9].
OSCILLATORY SYSTEMS 15
d2x
M%
dx
+ kx = 0, (1.30)
~dl
where (A,B,k) axe positive constants, was first studied by Rayleigh [10, 11] in
connection with certain acoustical problems. It can be shown that Eq. (1.30) can
be transformed into Eq. (1.29) by a change of variables.
where A and B are positive constants. This potential is sketched in Figure 1.2.8.
The potential has a single minimum located at r = Ro-
An important property of diatomic molecular systems is the frequency of os
cillation about the position of equilibrium, R0. To calculate this frequency, the
equation of motion is required; it is [2]
m
w=—-dV- (L32)
where m is the reduced mass of the two atoms. If the two atoms have masses mj
and m 2 , then the reduced mass is
m 1 7n 2
(1.33)
m\ + TTl2
(r - RoY + ■ (1.34)
+ 'IN
dr3
d3V(Ro)
16
^ 1 = 0 . (1.35)
dr
Define a new variable
y = r-Ro, (1.36)
and let
* - ^ . * . ~ ^ . ( - )
then Eq. (1.34) becomes
k = 72A/2'/3B2, ki = 6 0 4 8 / 2 1 / 2 B 3 . (1.39b)
where the coefficients / „ are functions of R, p, and 77. Now assume that the / „ have
a power-law dependence on their variables; therefore,
/« = Cnr,aphRc, (1.44)
where C„, a, b, and c are (pure) numbers. Applying the techniques of dimensional
analysis allows the determination of a, 6, and c [14]. They are
p
f - r (1.46)
For a spherical body of radius R, the viscous frictional force, in the limit of
small velocities, can be shown to be exactly [15]
/ = QTZTJRV. (1.47)
If the first two terms in Eq. (1.43) are retained, then the equation of motion
for a particle in a viscous medium is
<Px dx , fdx\ , . ,
m + / l +/2
^ ^ U J +*« + *.(*) = <>. (1.48)
However, to ensure that the viscous force is dissipative, this force must always act
on the object in a direction opposite to the velocity. This means that the frictional
force must be modified to read
dx dx
(1.49)
~dt'
(Px dx
— + kx + gi(x) = 0. (1.50)
fi + h dt
Coulomb or dry friction is a second type of frictional force. This type of force
arises when an object slides on a dry surface [15, 16]. For motion to begin, there
must be a force acting on the body to overcome the resistance to motion caused by
friction. The dry frictional force Fj is parallel to the surface and proportional to
ln
the force normal to the surface, Fn. The force Fn is equal to 77117 the case of the
mass-spring system of Figure 1.2.9. The constant of proportionality, us, is a number
whose fj. value is between 0 and 1, and depends on the surface contact materials.
Once motion is started, the frictional force drops in value to fi^mg, where Uk is the
kinetic friction coefficient. In general, Uk < Us- The frictional force is opposite to
20 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Fd = -fikmgsgn(—j, (1.51)
With this notation, the equation of motion for the system of Figure 1.2.9 is
There exists a vast research literature on oscillating chemical reactions [17, 18,
19]. A widely used model for such oscillations is the Brusselator scheme formulated
and investigated by Lefever, Prigogine, and Nicolis [20, 21], and others [22]. The
model is taken to be the following set of reactions
A-*X
B + X -+D + Y
(1.54)
Y + 2X -> 3X
X ->E,
where the letters represent various chemical species. The net effect of the above set
of reactions is to convert the two reactants A and B into the products D and E.
This is done by means of a sequence of irreversible chemical reactions that involve
21
Figure 1.2.10.
22 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
the intermediates X and Y. Under the assumption that the initial concentrations
of A and B are vastly larger than the maximum concentrations of X and Y, then
the rate equations for X and Y are
dx 2
— = -x + ay + xy, (1.56a)
They also were able to obtain empirical rate equations for the J 2 , C102 and C102
species:
d[I2] _ kla[MA][I2]
(1.58a)
dt klb + [I2
d[Cl02"
= -k2[C102][r], (1.58b)
dt
where [■ • •] indicates the concentration and the other "constants" are kinetic param
eters [25, 26]. An analytically tractable model for Eqs. (1.58) can be obtained by
making various approximations based on the fact that the concentrates of I~ and
C102 change by several orders of magnitude over an oscillation period, while the
other species concentrations have much smaller changes. In dimensionless form, the
equations for I~ and C102 can be written as [27]
— =a - x - , (1.59a)
dt 1 + xz
V
I (1.59b)
dt 1 + z2.
where x and y are the dimensionless concentrations [I~] and [C102 ], and the pos
itive parameters a and 6 are functions of the rate constants and the other concen
trations that are slowly varying functions of time.
24 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
1.2.12 Predator-Prey
in which all the parameters, (r,s,K,/3,a,v), are positive. Again, under certain
conditions on the parameters, a limit cycle can exist for Eqs. (1.61).
<Py , , dy
m , + A, ^ + *, + * ( « , , * ! ) = < > , (1.62)
dt
OSCILLATORY SYSTEMS 25
where a represents the set of parameters necessary to specify the nonlinear function
F. In general, m, k^, k, and a are dimensional constants, y is a dimensional depen
dent variable, and t is the dimensional independent variable. An excellent discussion
of units, pure numbers, dimensional and nondimensional constants and variables is
given in Chapter 1 of the book by Isaacson and Isaacson [14]. If Eq. (1.62) is inter
preted as a model of a particle acted on by various forces, then it may be of value to
determine a set of dimensionless variables and parameters such that the nonlinear
dimensionless force is "small." Generally, if the dimensionless variables are wisely
selected, then a small dimensionless parameter will naturally appear, multiplying
the nonlinear term. At this point, various methods of approximation can be applied
to obtain solutions to the nonlinear differential equation.
Similar results also hold for systems modeled by two coupled, first-order differ
ential equations, i.e.,
dx
-£ = ffl,x,y), (1.63a)
^ f = <?(/?, * , y ) , (1.63b)
These initial conditions are sufficiently general to cover most mechanical systems.
Note that y has the dimension of length, m that of mass, and t that of time.
The following procedures can be used to convert Eq. (1.62) to an equation
having dimensionless variables and parameters:
26 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
(1) List all dimensional parameters associated with the problem. From
Eqs. (1.62) and (1.64), these are
m, k,ki,a,A. (1.65)
Note that the initial position, A, has been included among the dimensional param
eters.
(2) Using the dimensional parameters of Eq. (1.65), form other dimensional
parameters having the dimensions of time and length. These new dimensional pa
rameters will be used as time and length "scales." (It is possible that some of the new
dimensional parameters may coincide with the original dimensional parameters.)
For example, from Eq. (1.65), new time and length scales that can be con
structed are
T T2 =
i = (j) - ^' r 3 = <,!(<*,*,*!) (i-66)
For most problems involving mechanical systems, the natural time scale is
given by T, of Eq. (1.66) and, for "small" damping constant Jfc,, Tx < T 2 . Thus,
the dimensionless time variable will usually be
i = ±-. (1.69)
cPv dv
With the initial conditions of Eq. (1.64), the following two time scales can be formed:
m\\ 1/2
' _
Ti T2 =m (L71)
= UJ ' v
As previously observed, T\ is the characteristic time for the free oscillations and T2
is the characteristic time for the damping process. The only length scale available
is the initial amplitude A; consequently, L\ = A. Thus, the following dimensionless
variables can be formed:
y v ;
A Tj
The substitution of y and t from Eq. (1.72) into Eq. (1.70) gives
cPy.fkAdyfk^ = fy J_dy 1
+ V
dfi \mj dt \m) dt2 +
T2dt +
Tf V
$ + <§+* = »• <■■»>
28 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
where
e=£- (1-75)
The condition 0 < e <C 1 corresponds to the case where the damping force is small
in the original problem. For this situation, the small dimensionless parameter is the
ratio of the time associated with the free oscillations and the time associated with
damping of the amplitude.
cPv
m-^ + ky + kiy3=Q, (1.76)
T, - ( = ) " \ (1.7,
can be constructed. Thus, there exists two possible sets of time and length scales:
(Ti,!,,) and (TUL2).
First consider the set of scales Ti and L\. The corresponding dimensionless
variables are
i= (1J9)
y=b k-
Substituting these dimensionless variables into Eq. (1.76) gives
^ + y + f=0. (1.81)
OSCILLATORY SYSTEMS 29
Therefore, the use of the scales Ti and L\ transforms Eq. (1.76) into a dimensionless
equation having no small parameter multiplying the nonlinear term.
Consider now the second set of scales T\ and L 2 , with associated dimensionless
variables
_ y ,- t (1.82)
cPy
+ y + tys = 0, (1.83)
di2
where
k xA 2
(1.84)
KLJ k
The dimensionless parameter e is the square of the ratio of the initial amplitude
to the characteristic length, L\ = (fc/fci) 1 / 2 , associated with the system. Small e
means that the initial amplitude is small compared to the characteristic length or
size of the system.
Ti = T2 = (1.87)
kJ a
The initial conditions are those given in Eq. (1.64). The appropriate dimensionless
variables for this problem are
= i_=t
" b xr (1.88)
30 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
cPy
^ + y = o, (1.89)
w UJ dt
where
Ti
(1.90)
y(o) = ^ ( ^ l • ^ = o. (i.9i)
This section treats six equations for which exact solutions exist. Except for
the first equation, the harmonic oscillator, all the other differential equations are
nonlinear.
The harmonic oscillator with linear damping provides a good first approxima
tion to a number of dynamic systems [2, 3, 4, 15, 16]. This system is modeled by
the equation
cPv _ dy
OSCILLATORY SYSTEMS 31
where Ax and A2 are arbitrary constants. For no damping, i.e., e = 0, Eq. (1.93)
reduces to
In summary, if 0 < e < 1, then the solutions oscillate with an amplitude that
decreases to zero. For e = 0, all the solutions are periodic and the period is 27r.
1.4.2 Particle-in-a-Box
T* = - (1.95)
P
hits the wall where its momentum instantaneously reverses direction to become —p.
The particle now moves to the left with constant momentum - p where it hits the
wall at time t = 2T* and the process repeats itself. The overall motion is periodic
with period T equal to
or
T = IT* = — . (1.96)
P
Figure 1.4.3 gives plots of y{t) and p(t). Mathematically, these fimctions are
Figure 1.4.2. Phase space for the particle-in-a-box. The motion is cyclical:
l->2-»3-+4-»l.
34
y + sgn(y) = 0, (1.100)
where the "dot" notation is used for the derivative, i.e., y = dy/dt and y = cPy/dt2;
and
This equation models the motion of an infinitesimal ball rolling in a "V" shape
trough in a constant gravitational field. The arms of the "V" make equal angles
with the horizontal plane and the origin of the (horizontal) y coordinate is taken to
be the point of interaction of the two arms. In a suitable set of units, the equation
of motion can be written as Eq. (1.100). Note that the force corresponding to this
system is antisymmetric, but, piecewise constant.
Equation (1.100) is a conservative system and has the following first-integral
[2, 35]
y + M=£>0, (1.102)
where E is the constant total energy. Its value depends on the initial conditions.
Since both terms on the left-side of Eq. (1.102) are non-negative, it follows that all
the integral curves, y = y(x), in the (y,y) phase space, are boimded and simple
closed curves. Consequently, all the solutions to Eq. (1.100) are periodic.
These closed, simple curves in phase space are "oval" shaped and have the
property of being symmetric with respect to both the y and y axes. Since Eq. (1.100)
is invariant under the transformation
the solution can be selected to be either an even or odd function of t. The initial
conditions
y(0) = 0, y(0) = A, (1.104)
Denote the respective solutions of these two equations by y+(i) and y~(t)- Direct
integration of these equations gives
These points correspond to the various extrema of the phase space trajectory having
the initial conditions of Eq. (1.104). During the continuous motion along the closed
trajectory, the path Pi —> P2 —* P3 is described by y+(t), while the path P3 —*
Pi —* Pi is given by y - ( t ) . Now y+{t) can be determined from Eq. (1.106a) by
requiring that it satisfies the initial conditions of Eq. (1.104). Doing this gives for
Ai and B\ the following values:
Ax = A, Bi= 0, (1.108)
OSCILLATORY SYSTEMS 37
and
T = 4A. (1.110)
This gives
A2 = -3 A, B2 = 4A2, (1.112)
and
y-(t) = - - (3A)t + 4A2, 2A<t<4A. (1.113)
j -t(t
-t{t - 2A)/2, for 0 < t < 2A,
(1.115)
y{t) 2 (3A)t + 4A2, ior2A<t<4A.
An easy and direct calculation gives the following Fourier series representation for
V(t)
, . fl6A2\ ^ 1 (2m + l)?rf
(1.116)
2A
Note that only the odd harmonics appear in the above expression and that the
coefficients are bounded by djm3, where d is a constant. (See section 3 of Appendix
C.) Also the condition y(0) = A gives the well known result [36]
The equation of this subsection will be solved subject to the condition e > 0.
The solutions of the more general equation
<Py
dt2 + ay + Pyi = 0 (1.118)
for arbitrary signs of a and /? are given in the book of McLachlan [38].
Consider the nonlinear differential equation
cPy
-^+y + eys = 0, e > 0, (1.119)
(1.124)
where the integration constant was evaluated using the initial conditions of
Eq. (1.120). Solving for v(y) gives
2
„a = (A 2 -y 2 ) 1 + ( | ) (A +,,*)], (1.125)
and
v(y) = ±|(A 2 -y 2 )[l+Q(A 2 +y 2 )]| . (1.126)
OSCILLATORY SYSTEMS 39
Since e > 0, the trajectories v(y), in the (y, v) phase space, are simple closed
curves. Thus, all the solutions of Eq. (1.119) are periodic. Also, each closed curve,
C, is symmetric with respect to both the y and v coordinate axes. The graph of
Eq. (1.124) is given in Figure 1.4.4. The extreme values of y and v are given by the
following relations:
Vi = -2/2 = A, (1.127a)
1/2
V\ = —1?2 = A i+ljlA- (1.127b)
dy
dt = ± - 1/2-
(1.128)
{ ( A » - y ' ) [ l + ($(A2 + y2)]}
The time to go from point (A, 0) to the point (y,v) in the lower half-plane (Fig
ure 1.4.4(b)) is
dy
t(y) = - [' (1.129)
JA { ( A * - v * ) [ l + ( f ) ( i i » + y')}} 1/2'
1/2 /■!
dz
«>-m Lr- 2
U-' )[(^) + * ] 2 1/2'
(1.130)
The integral can be written in terms of an elliptic integral of the first kind F(ip, k)
[39, 40]:
F[aiccos(y/A); k]
t(y) 1/2
(1.131)
[1 + eA2]
where 1/2
eA2
k = (1.132)
2(1 + eA2)
Equation (1.131) can be inverted to give y as a function of t. Doing this gives
Figure 1.4.4. (a) Graph of Eq. (1.119). (b) Typical point on the trajectory for the
initial conditions j/(0) = 0, dy(0)/dt = 0.
OSCILLATORY SYSTEMS 41
where
nK(k')
q(k) = exp (1.136a)
K{k)
In Section 1.2.1, the equation of motion of the pendulum was derived. This
equation is
'fe.2+ ( 1)^6 = 0. (1.138)
dt
The first-integral is
(1.139)
T ( D + V W = *,,
42 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
where
and E0 is a constant which gives the total energy. Substituting Eqs. (1.140) and
(1.141) into Eq. (1.139) gives
Hence, Eo is
E 0 = m p i ( l - cos0 o ), (1.144)
?jP\(cos8-cos80). (1.145)
Note that if 8 is small, then the sine function can be approximated by sin 6 ~ 0,
and Eq. (1.138) becomes
^ + (i)* = °-
dt2 (1146)
The general solution of this equation is
where A and cj> are arbitrary constants, and the period of the oscillation Po is given
by
P
° = 77 = 2 7 r (£) 1 / 2 - ( L148 >
The period for this case is independent of the amplitude of oscillation.
OSCILLATORY SYSTEMS 43
To investigate the situation for large amplitudes, consider Eq. (1.145). Solving
for dt gives
P( o) = 4
* ( £ ) 1 / 2 lH t a " *W2- ( 1 1 5 °)
\*9/ Jo (cos0 - cos#o) '
Using the trigonometric identity
cos0 = 1 - 2 s i n 2 I - ) , (1.151)
i/2 (i i54)
^)=<s rM^- -
1/2
P(6o) = 4 (j) K(k), (1.155)
where K(k) is the complete elliptic integral of the first kind [40, 41]. Its values have
been tabulated for various values of k.
The first of Eq. (1.153) determines k in terms of the maximum angle of de
flection SQ. Thus, the period P(90) can be found from tables of the function K(k)
44 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
and Eq. (1.155). One conclusion is that the period of the pendulum depends on the
amplitude, 60. For example, if 0O = T / 3 , the period is
pQ~1.07P0, (1.156)
where Po is given by Eq. (1.148). This is about a seven percent correction to the
result obtained for small amplitude oscillations.
A first-integral is
( y j 0 2 + < ? L ( l - C O S 0 ) = C', (1.158)
the constant C is
C=~^- (1-160)
If h is defined to be
T2Q2
!sinM-J. (1.163)
OSCILLATORY SYSTEMS 45
Now let
y = sin (1.164)
V'
then
*-©'' (1.165)
and
y2 = ( ^ cos 2 Q ) = g ) * 2
[ l - sin2 Q ] = g ) ^ ( l - y*). (1.166)
m
result is obtained:
2
I ( ~ . l =2gh-4gLy2; (1.168)
y2 = (I ( 1 - y 2 ) y (1.169)
2L
Before completing the solution of Eq. (1.169), it should be indicated that the
pendulum problem has two types of motions. The first is oscillatory, i.e., the pen
dulum moves back and forth about the point of equilibrium at 8 = 0. The second
is a circulating motion in which the pendulum has enough energy to carry it over
the vertical position at 6 = -K. For this case, the pendulum rotates always in the
same direction.
Consider the case of oscillatory motion. This situation corresponds to y be
ing zero for some value of y less than unity; see Eqs. (1.164) and (1.165). From
Eq. (1.169), this implies that
^ < I- (1-170)
46 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Defining a new positive constant k, less than one in value, it follows that
h
= k< (1.171)
2L
(1.172)
(£)'-<i-"xi-*v>. (1.174)
The solution of Eq. (1.174) is the Jacobi elliptic function sn(i, k) [43], i.e.,
. .. , ^ 2
y(t) = ksn
V ^ (1.176)
The sn(u; k) function has the following Fourier expansion [38, 40]
'2TTN
- " ( « ; k) = ( £ ) £ I 4 - 3 ^ r sin [(2m + 1) ™ ] , (1.177)
where K(k) is the complete elliptic integral of the first kind [40, 41], and q(k) is
defined by Eqs. (1.136). With these results, Eq. (1.176) becomes
/27f\ ^ lm+2
sin 2
I'M = VK) E i_q2m+i ( ™ + !M, (1-178)
OSCILLATORY SYSTEMS 47
where
This result for the period of the pendulum was also obtained in section 1.4.5; see
Eq. (1.155).
Problems
1.4 Show by use of the proper transformation that Eq. (1.30) can be transformed
into Eq. (1.29).
1.6 Use dimensional analysis to show that the a, b and c of Eq. (1.44) are those
given by Eq. (1.45).
1.9 Determine the dimensionless form of the Rayleigh equation, Eq. (1.85), using
the L\ and Ti scales of Eqs. (1.86) and (1.87). Is this an appropriate set of
scales? Do the same using the L2 and T\ scales.
48 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
1.10 A mechanical system with dry friction and an asymmetric spring is governed
by the equation
cPx _ (dx\ , ,
+FdS +kx+hx =0
^ ^{n) '
where Fd, k and fci are positive parameters. Obtain the dimensionless form of
this equation.
Co
C(Q)
1 + aQ + bQ2'
2
^-+u> Q[l + aQ + bQ2] = 0, u$
dt2 LgCg
1.12 The following equation occurs in the problem of the rolling of a ship fitted with
stabilizing equipment [44]
de „(d8y „,
2k + + UJ29 = 0,
dF + \- &
where all the parameters are positive. Obtain a dimensionless form of this
equation.
1.13 A particle moves in a rough horizontal straight groove under the action of a
spring attached to it and to a fixed point on the groove. The tension F in the
spring when it is extended a distance y is
If the factional force is proportional to the square of the velocity, show that
the equation of motion is
m + k + ay + by3 = 0,
-d¥
and put the equation in dimensionless form.
OSCILLATORY SYSTEMS 49
1.14 Determine an exact solution to the linear mechanical oscillator with dry friction
[45]
y = Asin(a>t + 6).
Determine the conditions on A and u> that will allow this solution to exist [46].
<Py , 3 n
are periodic.
1.18 Obtain the Fourier series representation for the solution to the particle-in-a-
box. See Eq. (1.98).
1.20 Explain why the Fourier coefficients in Eq. (1.116) are expected to decrease as
1.21 Show that in the phase space graph of Figure 1.4.4, the motion of the system
with time is in the clockwise direction along the curve C.
1.24 Determine the exact solution to the pendulum problem for circulating motion
[42].
(fv
-j± + ay + by3 = 0, a > 0, 6 > 0,
y = Acn[t(a + bA2y^;k],
hA2
2{a + bA2)'
Also, show that the period P is
4if(fc)
P =
(a + bA2)1/*'
References
5. W. A. Edson, Vacuum Tube Oscillators (Wiley, New York, 1953). See pp. 408-
412.
OSCILLATORY SYSTEMS 51
7. Y. H. Ku, Analysis and Control of Nonlinear Systems (Ronald Press, New York,
1958). See Section 6.4.
10. J. W. S. Rayleigh, The Theory of Sound, Vol. I (Dover, New York, 1945). See
pp. 79-81.
15. G. H. Duffey, Theoretical Physics (Houghton Mifflin, Boston. 1973). See Sec
tion 13.10.
18. R. Field and M. Burger, editors, Oscillations and Traveling Waves in Chemical
Systems (Wiley, New York, 1985).
19. S. K. Scott, Chemical Chaos (Clarendon Press, Oxford, 1991). See pp. 60-61.
21. R. Lefever, G. Nicolis, and P. Borckmans, J. Chem. Soc. Faraday Trans. 1, 84,
287 (1988).
52 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
22. P. Gray, S. K. Scott, and J. H. Merkin, J. Chem. Soc. Faraday Trans. 1, 84,
993 (1988).
24. B. Chance, E. K. Pye, A. K. Ghosh, and B. Hess, editors, Biological and Bio
chemical Oscillators (Academic, New York, 1973).
25. I. Lengyel, G. Rabai, and I. R. Epstein, J. Am. Chem. Soc. 112, 9104 (1990).
31. R. May, Model Ecosystems (Princeton University Press; Princeton, NJ; 1973).
33. G. Murphy, Ordinary Differential Equations and Their Solution (Van Nostrand
Reinhold, New York, 1960).
36. L. B. W. Jolley, Summation of Series (Dover, New York, 1961). See pp. 64-65,
#339.
39. F. Dinca and C. Teodosiu, Nonlinear Random Vibrations (Academic, New York,
1973). See Section 9a.
41. E. Jahnke and F. Emde, Tables of Functions with Formulas and Curves (Dover,
New York, 1945). See pp. 41-106.
46. P. M. Mathews and M. Lakshmanan, Quart. Appl. Math. 32, 215 (1974).
Chapter 2
LINDSTEDT-POINCARE PERTURBATION METHOD
2.1 Introduction
This chapter presents the simplest and perhaps one of the most useful of all
approximation methods: the expansion of a solution to a differential equation in a
series in a small parameter. This technique is known as the perturbation method. It
will be used to construct uniformly valid periodic solutions to second-order nonlinear
differential equations of the form
In general, this series is an asymptotic expansion. The original justification for this
expansion was given by Poincare [1].
The perturbation method is extensively used and is the subject of a vast number
of books [2-12]. The general procedure is to substitute Eq. (2.2) into Eq. (2.1),
expand in powers of e, and set the various coefficients of the powers of e equal to
zero. This leads to a set of linear inhomogeneous differential equations that can be
solved recursively.
To illustrate the method, consider the following nonlinear differential equation:
^ +y + ey3=0. (2.3)
54
LINDSTEDT-POINCARE PERTURBATION METHOD 55
Examination of the first-integral shows that all its solutions are periodic. T h e
substitution of Eq. (2.2) into Eq. (2.3) gives
+
dp dP +e dP +
and
Setting the coefficients of the various powers of e to zero leads to the following
system of linear differential equations;
<Pyo
+ yo = 0, (2.6a)
dP
+ yi=-y03, (2.6b)
dP
d2^
+ yn=Fn(ya,y1,...,yn-i), (2.6d)
dt
where Fn is a cubic polynomial function of its arguments. Note that this system
of equations can be solved recursively, i.e., the determination of y^ involves only
knowledge of the functions ym for 0 < m < k — 1.
To solve these equations, initial conditions have to be selected. The choice
y(0) = A, « = 0 , (2.7)
gives
fy„(0) = A, y,-(0) = 0 for i > 1,
(28)
{^1=0 iovk>0.
The solution to Eq. (2.6a) is
yo(t) = ^.cost. (2.9)
56 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
yiP(<) =
(4)cos3t ~ (^r)tsint- (2 n)
-
Consequently, the complete solution is
The initial conditions, as specified by Eqs. (2.8), allow the arbitrary constants C\
and C2 to be determined; they are C\ = (—A3/32) and C2 = 0, and yi(i) is
y i ( * ) = f 3 2 ) (cos 3 * - c o s i ) - ( — J i s i n t . (2.13)
However, inspection of Eq. (2.14) shows that yi(t), the supposedly small correction
term to the periodic function yo(t), is not only nonperiodic, but, in addition, is
unbounded as t —> 00. Thus a direct, naive application of Eq. (2.2) leads to serious
difficulties if the goal is to calculate analytic periodic approximations to the solutions
of nonlinear differential equations of the form given by Eq. (2.1).
The calculations of the previous section show that using a solution of the form
given by Eq. (2.2) does not give an analytic periodic approximation to the actual
periodic solution of Eq. (2.1) if only a finite number of terms are retained. The
resulting approximation is aperiodic and becomes unbounded as t —» 00. This lack
of periodicity comes about because even if y(t) is periodic in t, the retention of only
LINDSTEDT-POINCARE PERTURBATION METHOD 57
a finite number of terms, in its expansion, can give a function that is not periodic.
For example, consider the function sin(l + e)t. Its expansion in terms of e is
feH2\
sm(l + e)t = sint + etcost- I 1 sinH . (2.15)
It is seen that the retention of a finite number of terms on the right-side of Eq. (2.15)
gives a function that is not only aperiodic, but, is unbounded as t —> oo.
Terms such as f m cos< or t m s i n t are called secular terms. These expressions
arise because the expansion of Eq. (2.2) is nonuniformly valid. The existence of
such expressions destroys the periodicity of the expansion given by Eq. (2.2) when
only a finite number of terms is used. In actual applications, a variety of time
and/or calculational considerations force the use of only a small number of terms
for inclusion in the perturbation expansion. Therefore, to construct a uniformly
valid solution, an approximation is needed that eliminates secular terms.
A technique to avoid the presence of secular terms was developed by Lindst-
edt [13]. Later, Poincare [1] proved that the expansions obtained by Lindstedt's
technique are both asymptotic and uniformly valid.
Although the Lindstedt-Poincare method gives uniformly valid asymptotic ex
pansions for the periodic solutions of weakly nonlinear oscillations, i.e., 0 < e <C 1,
in general, the technique does not work if the amplitude of the oscillation is a func
tion of time. It has been shown by Nayfeh [4] that the technique does not give
information on any solutions other than the limit cycles and limit points.
Extensive use has been made of the perturbation method to obtain analytic
approximations to the periodic solutions of Eq. (2.1). Earlier works include Stoker
[5], McLachlan [6], Minorsky [2], Andronov et al. [7], Bellman [8], and Nayfeh
[3]. More recent books include those by Bender and Orszag [9], Nayfeh [11], and
Murdock [12]. A major work in applications and theory of perturbative techniques
is the book by Minorsky [2]. The work of Bellman [8] contains a summary of many
of the varied problems and results that can be obtained through the general use of
58 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
perturbative techniques; this book gives many important and useful references to
the research literature. Nayfeh's book [3] surveys almost all of the "perturbation-
type" techniques currently in use. It considers applications to both ordinary and
partial differential equations and contains an excellent list of references. In addition,
it provides a good discussion of asymptotic expansions and the problems associated
with nonuniformly valid expansions. Nayfeh's later books [10, 11] apply a variety
of perturbation methods to solve oscillatory problems that arise in various areas of
the sciences and engineering. The book by Murdock [12] is one of the few books
available that discusses in detail precisely what types of "mathematical objects"
arise in perturbation calculations. An important feature of his book is the "Notes
and References" section given at the end of each chapter. This provides the reader
with relevant references, other applications, and various historical insights into the
genesis of a number of topics.
Section 2.3 presents the details of the Lindstedt-Poincare perturbation method.
It shows how the method renders the approximate solutions to Eq. (2.1) to be
uniformly valid. The method is then used in Section 2.4 to construct approximate
solutions to a number of nonlinear oscillatory problems. Section 2.5 gives a heuristic
discussion of the existence of periodic solutions within the context of perturbation
theory. Finally, Section 2.6 is devoted to a method, first used by Shohat, [14] to
calculate solutions that are not only accurate for small values of e, but, in principle,
accurate also for all e > 0.
2.3 Lindstedt-Poincare M e t h o d
this change in frequency, a new variable 6 = uit is introduced, and both y and u are
expanded in powers of e as follows:
. _ dy .. _d?y ,,171
W= y = (2 17a)
dtf' d ^ ' -
F
"(y'y) = - ^ — ' F
* = —^—• (2 17b)
-
If Eqs. (2.16) are substituted into Eq. (2.1) and the coefficients of the various powers
of e are set equal to zero, then the following equations are obtained for the yn:
y0 + y0 = o, (2.18)
yn + yn = G n (yo,yi,---,yn-i;yo,yi,-yn-i)- (2.21)
« = 0 , (2.24b,
where the An are, a priori, unknown constants. Thus, the periodicity requirement
forces the right-side of Eq. (2.19) to have a term linear in ujr and, generally, another
term nonlinear in Ag. These two terms are expressions involving sin 6 and cos 9.
Consequently, by setting the coefficients equal to zero for the elimination of secular
terms, both u)j and A0 can be determined. Likewise, for n > 2, the periodicity
condition on y n (#) gives a pair of equations for u>„ and An-\. Again, the elimination
of secular terms allows both u>„ and An-\ to be determined. At any given step in
the calculation un, J4„_I , and yn{8) can be simultaneously determined. In this way,
a uniformly valid periodic approximation to the periodic solutions of Eq. (2.1) can
be found.
There does exist a situation for which the preceding analysis can be simplified.
This occurs when the function F(y,dy/dt) is an even function of dy/dt. For this
case, y(t) can be chosen to be an even function of t by using the initial conditions
V(0) = A, « = 0 . (2.25)
Consequently, both y(6) and y n (0) are even functions of 6. Thus, the right-sides of
Eqs. (2.19), (2.20), and (2.21) contain no term in sin 6. For this situation, only one
LINDSTEDT-POINCARE PERTURBATION METHOD 61
free parameter u>n is needed to ensure that there is no term in cos#. This result
implies that Eqs. (2.24) become
y (0 = O) = A = A o , ^ = 0, (2.26)
where
e = ut = [1 + tu! + ■ ■ ■ + enu>n + 0(en+l )]t. (2.28)
2.4 E x a m p l e s
2.4.1 Example A
where F = —y2 and the initial conditions are given by Eq. (2.25). The differential
equations satisfied by yo(#), yi(9), and 1/2(0) are
Substitution of this result into Eq. (2.31) gives the following equation for yi(#):
c o s 26> (2 34)
y\+yi = 2ux A cos 0 - (—) - f-y) " '
wj = 0. (2.35)
COS 2e (2 36)
vi + vi = - (j-) ~ (T) - '
where Ci and C2 are arbitrary constants whose value can be obtained from the
initial conditions for yi(0), i.e.,
(2 38)
VI(V) = CI-(T) +
(T)=0' '
LINDSTEDT-POINCARE PERTURBATION METHOD 63
Therefore, yi(0) is
If Eqs. (2.33), (2.35), and (2.40) are substituted into Eq. (2.32) and the resulting
expression is simplified, then the following equation is obtained for y2(9):
3\ / 5^3 3\ /J43^
V2 + V 2
"® + ( 2u2A + —— ) cos 9
"(T) cos 26>- ( — ) cos 36>. (2.41)
The second expression on the right-side will give rise to a secular term unless the
coefficient of cos 6 is zero. Imposing this requirement gives for u)2 the following value
"2 = ~ . (2.42)
The general solution of Eq. (2.41), with this requirement and with 1/2(0) = 2/2(0) = 0,
is
+ e2
(T)[- 1 + (l) c o s e + © c o s 2 ^(^) c o s 3 e
+ 0(e3), (2.44)
Note that the frequency of the nonlinear oscillator is a function of both the param
eter e and the initial amplitude A.
64 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
2.4.2 Example B
cPy
y+ «(|) =0, (2.46)
dt2 +
m + yo = 0 (2.47)
y\ + y\ = -2wiyo - yl (2.48)
The solution for yo(0) is yo(^) = .Acosfl. Substituting this result into Eq. (2.48)
gives
12\ /^2X
y\+yi= 2u>1J4cos0 - (—J -+ ( ',; j cos20. (2.50)
27
No secular term requires LO\ = 0. If the resulting differential equation is solved for
yi(0), subject to the initial conditions yi(0) = yi(0) = 0, then
+ 0(e3), (2.55)
2.4.3 Example C
<Py
+ y + ey* = 0, (2.57)
dP
yo+Vo = 0, (2.58)
If y0(9) = Acos9 is substituted into the right-side of Eq. (2.59) and the resulting
expression is simplified, then the following result is obtained
/ 3 A3 \ /A3\
y\
V i + V i = (2w1A-—jcos9- ( — Jcos36>. (2.61)
The solution of Eq. (2.61), subject to the condition of Eq. (2.62) and the initial
conditions, yi(O) = yi(0) = 0, is
Vi(«)
© ( - c o s 0 + cos30). (2.63)
66 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
If yo(9), yi(9), and u>i are substituted into the right-side of Eq. (2.60), this
equation becomes
h + V2 = + 2w2 A cos e +
(w ) (IT) COS ™ ~ (iS) cos59- (264)
Secular terms are eliminated if
21A4
U>2 = — " (2 65)
-
The general solution to the resulting differential equation for 1/2(0)1 subject to
2/2(0) = t/2(0) = 0, is
where 6 = ut and
2
^ ) = l+< ^ ) - ( w ) + ^ ) . (2.68)
2.4.4 Example D
The initial conditions to be used are given in Eq. (2.24). For this equation, F =
(\-y2)dy/dt. Substitution of this function into Eqs. (2.18), (2.19), and (2.20) gives
Substituting Eq. (2.73) into Eq. (2.71) and simplifying the resulting expression gives
A0 = 2 , u1 = 0, (2.75)
and
Vi + Vi = (~) sin30, yi(0) = Au y,(0) = 0. (2.76)
Substitution of Eqs. (2.73), (2.75), and (2.77) into Eq. (2.72) gives
A, = 0 , cv2 = - - L (2.79)
/3\ /5\
j/2 + y2 = - ( g ) c o s 3 ( 9 +
(i) c o s 5 6 > ' 3/2(0) = A 2 , */2(0) = 0. (2.80)
The solution to Eq. (2.80) is
Continuing this procedure, it can be shown that to terms of order e 2 , Eq. (2.69) has
the periodic solution
2/(0, e) = 2 c o s 0 + ( j ) ( 3 s i n 0 - s i n 3 0 )
2.4.5 Example E
occurs quite widely in a variety of engineering applications such as the nonlinear free
vibrations of thin laminated plates [17, 18, 19]. The determination of approximate
solutions using perturbation techniques can lead to difficulties unless the calculation
is done carefully [20]. The major problem arises from the fact that the y2 term
does not make a contribution to the frequency correction in the lowest order of a
perturbation calculation [21], see Section 2.4.1, while the y 3 term does. Thus to
obtain a consistent result, with no secular terms, it is necessary that the y2 term
enter the calculation before the y 3 term. The use of scaling [21] allows this to occur.
Let the initial conditions be
and introduce, for small amplitude oscillations, the scaling variable e, i.e.,
y = ex, (2.86)
where
0 < e < 1, x = 0(1). (2.87)
x(0) = a, ^ = 0 . (2.89)
Substituting Eqs. (2.91) and (2.92) into Eq. (2.90), and using the notation, x(8) =
dx/d0 and x(0) = cPx/dQ2, the following equations are obtained for x o (0), xi(6),
and x 2 (#):
xo + x o = 0 , (2.93)
- W - O K - ^ — (T) cos 20
/2<* 2 +3/?\
(2.101)
V 32 y
with
Wi = 0 , CJ2 =
9/9 - 10
24
^y. (2.102)
z(0, e) = <zcos0 + e
f> 3 + 2 cos 0 + cos 20]
A 74a 2 - 2 7 ^
+€
(T) ~ t t
' +
l 288 ,
')COSe
' 2 a 2 + 3/9
?- ) cos 20 + f — J , "'" ] cos 30 + 0 ( e 3 ) , (2.103)
+ 32 )
where 0 = wt and
2 f9p - 10a
W(e) = l + e2^ -)a2 + 0(« • ) ■ (2.104)
"24
In terms of the original variable y = ex, the last two expressions can be rewrit
ten, using A = ea, to the forms:
y(6, A) = A cos 0 +
:i> 3 + 2 cos 0 + cos 20]
/174a 2 - 27/9
+ if) - " ' H 288~")|C ° S *
where
0 < A < 1. (2.107)
In summary, Eq. (2.105) is the solution to the mixed parity nonlinear oscillator
equation of motion when the amplitude of oscillation is small [20]. Further, the
effects of the y2 term appear in the solutions before that of the y3 term. To obtain
these results, scaling [21] and the Lindstedt-Poincare perturbation method were
used to calculate a uniformly valid solution to the scaled differential equation.
2.4.6 Discussion
For all of the examples considered in this section, the frequency u is a function
of the small parameter e and the initial amplitude y(0) = A, i.e.,
u = w(A,e). (2.108)
Note that in each case, when e goes to zero, the frequency goes to one, and Eq. (2.1)
becomes
J2„-
cPy
+ y = o,
dt2
with initial conditions (2.109)
dy(0)
y(o) = A, dt
where (2.110)
m =Limy(t,e)
€—+0
m = A cos t. (2.112)
This function is called the generating solution for the perturbation problem and
corresponds to the first approximation in the perturbation method [2].
72 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
y(0) = A, « = 0. (2.114)
As in the previous sections, let 8 = uj(e)t and expand y(8) and u>(e) in series in e,
i.e.,
The following differential equations are, respectively, satisfied by yo(8) and J/i(#):
The solution of Eq. (2.120) subject to the initial conditions in Eq. (2.118b) is
f9
y i ( 0 ) = / [2wj A cos r + F ( A C O S T , - A s i n r ) ] - s i n ( ( 9 - T ) d T . (2.121)
r2w
/ [2o>iAcosr + F(A cos r, -A sin r)] sin T dr = 0, (2.124)
Jo
j [2U>IACOST + F ( A C O S T , - A s i n r ) ] c o s r d r = 0. (2.125)
Jo
The second relation uses the fact that the derivative of Eq. (2.121) is
Since
I-2TT r2n
/ cos T sin r dr = 0, / cos2 r dr = 7r, (2.127)
Jo Jo
these equations become
/•2ir
P(A) = / P(A cos r, — A sin r ) sin r d r = 0, (2.128)
Jo
r2ir
Q(A,W1) = 2TTOJ1A+ / F(A COST, — A s i n T ) c o s r d r = 0. (2.129)
Jo
Thus, to terms of order e, Eq. (2.113) has a periodic solution provided the conditions
of Eqs. (2.128) and (2.129) are satisfied.
If F(y,dy/dt) is a polynomial function of its arguments, then P(A) is also a
polynomial function of A. Now denote the real roots of P{A) = 0 by {Ai} where
i = 1 , 2 , . . . , I. Corresponding to each A{, there is a correction to the frequency d)J''
given by the solution to Eq. (2.129). The particular periodic solution obtained by
Eq. (2.113) is
yW(8, e) = At ooa[u®i] + O(e), (2.130)
(i)
w = 1 + eu>(,) + 0 ( e 2 ) . (2.131)
LINDSTEDT-POINCARE PERTURBATION METHOD 75
The following discussion examines a number of special cases that occur for
particular choices of the function F,
F = F^y). (2.132)
This means that Eq. (2.128) can be satisfied for any value of A; consequently,
y(0) = A can be prescribed arbitrarily. Given an A, the frequency correction u\ is
/■2ir
Observe that ii F\(y) contains a term aij/ 2 ", where n is a non-negative integer,
then its contribution to u)\ is
Therefore, even power terms in the force function do not contribute to the frequency
correction in first-order perturbation methods.
If Fi(y) has a term a 2 j / 2 n + 1 , then
l2n\ /-2JT
Thus, odd power terms in F\(y) do contribute to a first order in e frequency shift.
In summary, the frequency correction u>i obtained by first-order perturbation
methods is an even power function of the amplitude A if F is a polynomial function
of y.
76 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Example 1
Example 2
§ + !/ = - q / 3 , (2.140)
Wl
-fedC *-''*-¥■■ <2ui>
Thus, this nonlinear differential equation has a periodic solution of amplitude A
and frequency
u;(e) = l + e(jpj+0(e2). (2.142)
2.5.3 F = Fl(y)-C(dy/dt)
F
(y^)mF^-c% c > 0
- (2 143)
-
LINDSTEDT-POINCARE PERTURBATION METHOD 77
Since C > 0, then A must be zero. Thus, the only periodic solution is the state of
equilibrium.
Example 3
Let
*(s)-s-G)@y-
Then
P(A) = -nA (l - ^-) = 0, (2.152)
and P(A) is zero for either A = 0 or A = ±2. Thus, the nonlinear differential equa
tion corresponding to this function, F2(dy/dt), has a nontrivial periodic solution
with amplitude A = 2 and a frequency given by Eq. (2.147). This solution is a limit
cycle.
2.5.5 F = F3(y)dy/dt
= -A F3(AcosT)sm2Tdr. (2.154)
./o
In general, the integral
/•2?r
P1(A)= F3(AcosT)sm2TdT (2.155)
Jo
is not identically zero. Hence, the amplitudes of the periodic solutions are given by
the real solutions of the equation
Substitution of this form for F into Eq. (2.129) gives for ui the expression
/■2n
2iruiA = - FZ(A cos T)(-A sin T) COST dr. (2.157)
Jo
Now for any F3(A cos T), the integral on the right-side of Eq. (2.157) is zero. There
fore, the correction to the frequency is zero in order e of the perturbation calculation,
i.e.,
w(e) = 1 + 0{e2). (2.158)
A method was developed by Shohat [24, 25] that apparently gives an expression
for the periodic solutions to Eq. (2.1) that are accurate not only for small e, but for
all e > 0. The procedure applies to those differential equations that have periodic
solutions for all e > 0. The method is illustrated by considering the equation
g + ,W = 0, 2/(0) = 1, « = 0 . (2.159)
where
dy cPy
V (2.161)
dO2'
2
Multiplying Eq. (2.160) by e gives
(euj)2y + e 2y + e y =o (2.162)
This form of the expansion for u> is determined by the requirement that w(0) = 1.
Let y have the expansion
Substituting Eqs. (2.163), (2.164), and (2.165) into Eq. (2.162) and collecting terms
of the same power of p together gives for ya{9), yi(0), and y 2 (#) the following
expressions:
yo + yo, yo(0) = l, y„(0) = 0, (2.166)
The solution to Eq. (2.166) is ya{6) = cosO. Substituting this into Eq. (2.167a)
gives
y'i + y i = (2c 2 - — j c o s f l - ( - J c o s 3 0 . (2.169)
c2 = — = 1.375. (2.170)
o
The Eq. (2.168a) becomes, after substituting yo(#), yi(#), and c 2 , into its right-
side:
Again, elimination of the secular term in the solution for j/2(<?) gives
427
C3 = = 1 668 (2173)
256 ' '
and the solution to Eq. (2.172), with initial conditions of Eq. (2.167b), is
w{e)=P+ (2i76)
{Y)P2+(ny+°{n
where
P =■£-.. (2-177)
The Shohat expansion has also been applied to the van der Pol equation, i.e.,
+p2(h)
(—16 cos 0 - 24 sin 0 + 24 cos 30 + 72 sin 30 — 5 cos 50)
+ 0{p%
where 0 = wi and (2.179)
eu = p + p2 +
G?>' + (iy +o <' ! >- <2i8°»
82 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
The values of u(e), given by Eq. (2.180), were compared with values of w(e)
determined by a graphic technique for 0 < e < 10. The two results differed by
approximately 5% [24]. It was suggested, without proof, that the Shohat series
converges for all positive values of e.
Problems
cPv dy
2.3 Apply the Lindstedt-Poincare method to the linear damped oscillator of Prob
lem 2.1. Show that the only periodic solution is y(t) = 0.
<?y ( i.dy
+y l y)
-d¥ =<- H ^
cPy , M
(;/2-l)| + ^ = 0 (c)
2.5 In constructing a uniformly valid solution for the van der Pol equation, the
amplitude was determined by the condition
LINDSTEDT-POINCARE PERTURBATION METHOD 83
2.6 Prove that if A0 is a root of Eq. (2.128), then -A0 is also a solution.
2.7 Apply the methods of Section 2.5 to the following nonlinear differential equa
tions, and determine the amplitude and the correction to the frequency for
possible periodic solutions:
g + .-O-M)* W
jp + v + Ay\y = o (c)
— + y + e(l-3y + y ) - . (d)
2.9 Derive the results of Section 2.6.5 by starting with the equation
cPx ~ (dx\
and taking its derivative. Note that the above differential equation is an ex
ample of the case given in Section 2.5.4.
2.10 Use the Shohat expansion to obtain Eqs. (2.179) and (2.180) for the van der
Pol equation.
References
3. A. H. Nayfeh, Perturbation Methods (Wiley, New York, 1973). See Sections 1.1,
2.1.1, and 3.1.
18. B. N. Rao and S. R. R. Pillai, J. Sound and Vibration 154, 173 (1992).
LINDSTEDT-POINCARE PERTURBATION METHOD 85
3.1 Introduction
where p and q are real constants, with p > 0. Another technique of interest is
described by Struble [6] for treating weakly nonlinear oscillatory systems having
equations of motion of the form given by Eq. (3.1).
In Section 3.2, the first approximation of Krylov and Bogoliubov is derived. To
illustrate the method, several examples are worked out in Section 3.3. Section 3.4
86
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 87
gives the general method of Krylov, Bogoliubov, and Mitropolsky which allows the
determination of the solution to any order of e. In addition, the procedure is given
for the case where the right-side of Eq. (3.1) has nonlinear terms of orders t and e2,
(33
"(-^"('■D+M**)- ->
Section 3.5 applies these procedures to several examples, and solutions are calculated
to second order in e. In Section 3.6, the issue of "spurious limit cycles" is investigated
[7, 8]. These are limit cycles that appear in higher order approximations, but do
not correspond to an actual limit cycle of the system. Finally in Section 3.7, a
discussion is given of the generalized Krylov-Bogoliubov method applied to oscillator
differential equations having the form
g+vW(„£). (-»
3.2 First Approximation of Krylov and Bogoliubov
3.2.1 Technique
^ f + y = o. (3.5)
dt
The general solution and its derivative are given by the following expressions
where a(t) = a(t, e) and <b(t) = (p(t, e) are functions of both t and e. In addition,
assume that the derivative of this assumed form for the solution is
dy da . d<p . . „„,
—- = — costp — asmip — a — simp = —asmxp, (<>™)
dt dt dt
provided that
— cos tb — a—— sinib = 0, (3.10)
Y
dt dt
where xp(t) = t + <b(t). Differentiating the assumed form for the derivative, Eq. (3.8),
gives
d*y da deb
-TIT = —7- simp — acosip — a — costp. ("■*■*■)
dtz dt dt
Substituting Eqs. (3.7), (3.8), and (3.11) into Eq. (3.1) gives
da . dd> . , .
— sin ib + a — cos y> = —er [acos ip, —asiarp]. (3-12)
dt dt
Equations (3.10) and (3.12) are both linear in the derivatives da/dt and ad(j>/dt.
Solving for them gives the following expressions:
da
— = — eF(acosip, — as'mip)smip (3.13)
d<j> ft\
—r- = — ( - \F(a cos rp, — a simp) cos ip (3-14)
Note that these are the exact equations for a(t, e) and <fi(t, e) when the assumed
solution for y and its derivative take the forms given by Eqs. (3.7) and (3.8). These
equations are coupled, first order nonlinear differential equations and, in general,
axe quite complex in structure.
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 89
The derivation of the first approximation of Krylov and Bogoliubov begins with
the Fourier expansion of Fsinip and Fcosip. This can, in general, be done because
both of these functions are periodic functions of xp with period 2n. This follows
from an examination of the right-sides of Eqs. (3.13) and (3.14). Therefore,
oo
oo
where
d4
- Q P 0 (o) - Q f^ [Pm(a) cas(rmp) + Q m ( a ) sin(m^)]. (3.18b)
dt
The first approximation of Krylov and Bogoliubov consists of neglecting all the
terms on the right-side of Eqs. (3.18) except for the first; that is
and for 0 < e <C 1, these derivatives change very little over any if> interval of 2ir.
Averaging the right-side of Eqs. (3.13) and (3.14) over the interval 2n in ip, for
which a and </> are taken to be constants, the Eqs. (3.19) are obtained.
A rigorous justification of the first approximation of Krylov and Bogoliubov can
be given [2]. It follows naturally from the general method of Krylov, Bogoliubov,
and Mitropolsky which is discussed in Section 3.4.
In summary, the first approximation of Krylov and Bogoliubov to the oscillatory
solution of
cPy
+y eF (y dy\
0<£<<1
J = { >i)' ' < 3-21)
is
y(t, e) = a(t, e) cos[t + cj>(t, e)], (3.22)
where a(t, e) and <f>(t, e) are solutions to the following system of first order differential
equations:
da fe\ f2n „ ,
-77 = ~ ( 2 ^ ) / nacosVs-asint/>)sinV>#, (3.23)
d<j>
[-z—) / F(a cos ip,-a simp) cos ip dip. (3.24)
~dl
These two equations can be written as
da
— = eA1(a), (3.25a)
dd>
-£ = eBi{a). (3.25b)
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 91
The general procedure consists of solving Eq. (3.25a) for a — a(t, e) and substituting
this result into Eq. (3.25b) and solving for <j> = (f>(t,e).
F 2/
( 'f) =i?l(!/) - (326)
For this case, the equation for a(t) is
da ( e \ f2*
— = - ( — ] / Fi(acosV>)sin</>#. (3.27)
The integrand is an odd function of ip and thus the integral is zero. Consequently,
a{t,e) = A, (3.28)
Thus, for the case where F depends only on y, the first order solution is
4SH(sy ^
92 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Thus,
-^ = - ( - ^ - ) / F2(-a sinVO cos i/> dip. (3.33)
at \2naJ J0
If F2(v) is an even function of v, then this case reduces to that of the previous
situation discussed above. If F2{v) is an odd function of v, then
Real, positive solutions of Ai(a) = 0 give the amplitudes of the limit cycles. If these
are denoted by o;, then the first approximation to the i-th limit cycle is
where I is the total number of positive solutions to A\(a) = 0. For arbitrary initial
conditions, the oscillation has a variable amplitude and a frequency aj(e) = l + 0 ( e 2 ) .
In the first approximation of Krylov and Bogoliubov, the variation of the am
plitude with time is given by the first order differential equation
da
— = eA1(a). (3.37)
Theoretically, this differential equation can always be integrated, but the integra
tion can be quite difficult in certain cases. However, valuable information can be
obtained concerning the behavior of the solution a(t) by considering the properties
of Ai(a). In the material to follow, it is assumed that e > 0.
Since the purpose of this book is to discuss techniques for constructing ap
proximations to the solutions of differential equations modeling "physical" systems,
the following assumption is generally understood to hold: There exists no positive
value a = a* such that A\(a) > 0 for all a > a*. If such a value of a existed, then
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 93
selecting the initial value of the amplitude to be greater than a* would lead to an
unlimited increase in the amplitude. From a physical point of view, it is expected
that systems of interest be bounded in space [10]. Of course, mathematical models
can be constructed that violate this requirement. However, even for these cases,
the general results to follow hold.
Inspection of Eq. (3.37) shows that when Ai(a) > 0 the amplitude increases,
and when Ai(a) < 0, the amplitude decreases. Stationary values of the amplitude
are determined by the condition
Ai(o) = 0. (3.38)
Thus if the initial amplitude, a(0) = oo, is not stationary [i.e., Ai(ao) ^ 0], then
the amplitude increases monotonically if A\(a0) > 0 and decreases monotonically
if Ai(ao) < 0. With increase in time, the amplitude will tend to a stationary value.
This means that a nonstationary oscillation approaches a stationary one with the
passage of time.
If, for example, the function F(y,dy/dt), in Eq. (3.1), depends only on y,
then Ai(a) is identically zero. For this case, any oscillation is stationary. Physical
systems modeled by these types of functions
^ + y = eFl(y), (3.39)
are called conservative and correspond to the total energy being constant [11]. A
detailed discussion of conservative oscillatory systems is given in the book by An-
dronov, Vitt, and Khaikin [11].
Assume that A\(a) is not identically equal to zero and let a\ be one of the
positive roots of Eq. (3.38), i.e.,
A 1 (a 1 ) = 0, a!>0. (3.40)
determine the stability of the stationary states using a so-called linear stability
analysis.
To proceed, let a(t) be a solution close to a\, i.e.,
|/3(0)| « 1. (3.42)
d
Jt = eAy (a, + /?) = eA1 ( a , ) + e ^ ^ /? + 0(/? 2 ). (3.43)
Note that this result follows from the fact that Ai(a) = 0 and the neglect of higher
order terms in /9. The solution to Eq. (3.44) is
Observe that the small initial perturbation /?(0) increases with time if R > 0, while
it decreases with time if R < 0. Thus, the stationary amplitude nj has the following
(linear) stability properties:
AAi(O)
> 0, (3.48)
da
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 95
< 0, (3.49)
da
the state of equilibrium is stable. Equation (3.48) represents the condition for self-
excited oscillations if one or more limit cycles exist. If the condition of Eq. (3.48)
holds, then a small perturbation away from equilibrium causes the amplitude to
increase to finite values with increase of time. The condition of self-excitation is
not essential for the existence of stable stationary oscillations. All that is required
is the existence of at least one root to Aj(a) = 0 that satisfies Eq. (3.49).
y = acosip, (3.51)
j / , \ /•2T
—- = — ( — I / F(acostp, — asini/>)sinip dip (3.52)
dt \2nJ J0
^ = «,(«), (3.53)
96 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
and
da "Ae(a)
(3.56a)
di
<hp_
ue(a) = \Ke{a)]ll\ (3.56b)
~dt
Differentiate Eq. (3.51) twice and use Eqs. (3.56) to obtain
dy . fX.\
— = — ame sin ip — I — I a cos \b (3.57)
and
d?y A2\
-J-T = —au>e cos ip + \eauje sin ip + I —■ 1 a cos ip
+ (T>°^+(£)(T>!^
dy fdX\ (V
©
du>e
ay. (3.58)
(3.59)
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 97
where the following have been used, based on Eqs. (3.54) and (3.55b):
Thus, the first approximation of Krylov and Bogoliubov gives a solution to Eq. (3.50)
that also satisfies the above linear differential equation to terms of order e 2 . Note
that this is precisely the accuracy with which the first approximation determines the
solution to Eq. (3.50). From this viewpoint, the first approximation to the solution
of nonlinear Eq. (3.50) and the solution to the linear Eq. (3.59) are equivalent.
The function \e(a) is called the equivalent coefficient of damping, while Ke(a)
is the equivalent coefficient of elasticity.
Comparing Eqs. (3.50) and (3.59), it is clearly seen that the latter equation can
be obtained from the former one by replacing the nonlinear term with the following
linear term:
eF V
( ' f ) ■" " {[K'{a) ~ 1]V + Ae(a) f } ' (36
where Ke(a) and A e (a) are given by Eqs. (3.55).
In the remainder of this section, two examples are given to illustrate the method
of equivalent linearization. Additional details of the procedure and examples are
given in the book by Minorsky [12].
Consider the differential equation
^ + y + ey3=0. (3.62)
g + (i + «fi,.o,
)v = o,
98 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
with
w.(a) = [Ke(a)\^ = 1 + *f + 0(e2). (3.66)
Note that Eq. (3.62) is a conservative oscillator, hence the amplitude a(t) is a
constant, i.e., a(t) = A. With this requirement the solution to Eq. (3.65) is
y = A cos
(1+ !£) t + <t>o (3.67)
This agrees with previous results for the perturbation solution to Eq. (3.62); see
Section 2.4.3.
Consider now the van der Pol oscillator equation
^ + !/ = e ( l - y ) - . (3.68)
and
Thus, the linearized equation corresponding to the van der Pol differential equation
is
a2\
J~ { -T)i+y
e 1(*
= 0- < 3 - 72 )
d?y dv ,
Stationary solutions are obtained by requiring that the coefficient of the first deriva
tive be zero. This gives
e(l- j j = 0 = ^ a = 2. (3.73)
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 99
3.3.1 Example A
^ + y + ey2=0. (3.76)
and
a(t,e) = A, <f>(t,e) = <f>0, (3.78)
Thus, the first approximation gives exactly the same solution as the linear equation
obtained by letting e = 0. The amplitude is constant and the frequency is 1, that
is, co = 1.
100 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
3.3.2 Example B
§ + , + .(§)'-.. (,80)
For this case F = —(dy/dt)2. In the first approximation
where A and <f>0 are constants. This is exactly the same-result obtained in Exam
ple A. Thus, when the nonlinear function is either — y2 or —(dy/dt)2 or a linear
combination of them, the first approximation is the same as in the linear case,
i.e., e = 0. The effect of the nonlinearity therefore shows up only in higher order
approximations to the solution.
3.3.3 Example C
-J. + y + ey 3 = o (3.83)
3eA2N
y = A cos
[('♦¥) t + <f> 0
(3.87)
3.3.4 Example D
<?y , „ dy
(3.88)
where F = —2dy/dt. The equations determining the phase and amplitude are
d<f>
= 0, (3.89)
dt
da fe\ f2* .a (3.90)
-^ = — I — I / a sin w #
<*< w . A >
The solutions are
<f>(t,e) = tQ, a(t,e) = Ae-et. (3.91)
Therefore, the first approximation of Krylov and Bogoliubov gives the following
solution to Eq. (3.88):
y = Ae~et cos(t + <j>0). (3.92)
i
.2 \ 1/2
tl
(3.93)
y = Ae cos
[(* -J t + to
3.3.5 Example E
<Py dy d
dt I =^ (3.94)
corresponding to
dy dy
F == — (3.95)
dt dt'
102 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
and
da _2\ r2w
—— I / | sin ^ | sin2 i/> dtp
~dl K2* J Jo
(3.97)
= — I —— 1 / sin 3 ip di/> — / sin 3 ip dxj) 3TT
a0 (3.98)
a(t,e) =
_ a 0 cos(t + </>p)
(3.99)
3.3.6 Example F
where
— (I)' (3.101)
and
+1, for x > 0,
sgn(x): (3.102)
-1, for x < 0.
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 103
The phase </>(i, e) is constant for this system and the amplitude equation is
da ( t \ f2nI
~dt~~~\2~) [-C sgn(-a simp)] simp dip
eC\ f2"
— ) / sgn(—a simp) sin ip dip
27I
7 Jo I*2TV f2n
--a?)- if a / 0; (3.103)
and
da
if a = 0. (3.104)
The motion will continue as long as a(t) > 0 and will cease for time fi = 7ra 0 /2eC.
Thus, the oscillation lasts for a finite time and the solution is given by the expression
(2eC
y(*,0 a0 - [ it cos(i + <j>0), (3.106a)
irao
for 0 < t < (3.106b)
2lC'
and
y(t,e) = 0, tart> wa0 (3.107)
2lC'
3.3.7 Example G
cPy dy
+ y + € = 0, (3.108)
^ {dt+ar
has the function F equal to the expression
y (3.109)
dt '
104 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
where a is a constant of order one. The amplitude and phase equations are
da fea\ (3.110)
=
~dt ~\2J'
and
d(j> 3eaa2
(3.111)
~dl ~ 8
The corresponding solutions to these equations are
et
<Kt,e)=<t>0-(^f-y- , (3.113)
where A and <f>o are constants. Thus, in the first approximation of Krylov and
Bogoliubov, Eq. (3.108) has the solution
(3aA2^
y = Ae~^2 cos t - f ^ p V ' * + <Po (3.114)
(3.115)
3.3.8 Example H
where
'-<>-.■£■ (3.117)
Hf)K). <»2»>
dd>
i = °- (3-121>
The solution to Eq. (3.121) is (j>{t,t) = <j>0. Multiplying Eq. (3.120) by 2a and
denning z = a2, the following equation is obtained
dz
(l - £) . (3.122)
ez
(3123)
•-.+(«£-.)•
where z0 = [a(0)] 2 = A 2 . Therefore, the first approximation to the solution of the
van der Pol equation, according to the method of Krylov and Bogoliubov, is
^ 0 e 6 t / 2 c o s ( t + </.(,)
(3.124)
e( 1/2"
[l+(f)(e -l)]
This function represents an analytic approximation to the unique limit cycle of the
van der Pol equation.
Examination of Eq. (3.124) shows that for any initial conditions, the solution
y(t, e) approaches the function y = 2 cos(i + <^o), i.e., the function of Eq. (3.124) has
the property
Limy = 2cos(t + 0o) (3.125)
t—►OO
In more detail, if the initial amplitude is zero, i.e., Ao = 0, then a(t) = 0 for all
t, and y(t) = 0; this is the equilibrium solution of the van der Pol equation. From
Eq. (3.120), it follows that the solution a(t) = 2 is (linearly) stable since
^ ( o ) = ( f ) ( l - j ) , (3-127.)
^ } = -e<0. (3.127b)
da
(See the discussion of Section 3.2.3.) Likewise, the equilibrium solution is (linearly)
unstable since
^ l M = l > 0 . (3.127c)
da 2
In summary, the stationary periodic solution of the van der Pol equation does
not depend on the initial conditions. Its functional form depends uniquely on the
parameters of the differential equation itself. In the (y, dy/dt) phase plane, this
periodic solution or limit cycle corresponds to a closed curve. If 0 < e <C 1, the
closed curve is accurately approximated by a circle of radius two.
3.4. M e t h o d of Krylov-Bogoliubov-Mitropolsky
The method of Krylov and Bogoliubov [1] provides a first approximation to the
oscillatory solutions of the nonlinear differential equation
In the course of improving the first approximation, Krylov and Bogoliubov devel
oped a technique for determining the solution to any order in e. The technique was
then generalized and justified mathematically by Bogoliubov and Mitropolsky [2].
This section gives the details of this method applied to Eq. (3.128) and its extension
3.4.1 y + y = eF(y,y)
Assume that the solution to Eq. (3.128) takes the form [2]
where the Ui(a, $) are periodic functions of </>, with period 2n, and the quantities a
and ij> are functions of time defined by the following equations:
da «
— =eAi(a) + (2A2(a)---, (3.131)
dib _
-^ = 1 + eB^a) + e2B2{a) ■ ■ ■. (3.132)
Note that the functions Ai(a) and B,(a) depend only on the ''amplitude" a.
The functions u;(a), A,(a), and B,-(a) are to be chosen in such a way that
Eq. (3.130), after replacing a and ip by the functions defined in Eqs. (3.131) and
(3.132), is a solution of Eq. (3.128). As soon as explicit expressions for the coef
ficients on the right-side of Eqs. (3.131) and (3.132) are obtained, the problem of
finding a solution to Eq. (3.128) is reduced to that of integrating Eqs. (3.131) and
(3.132). These equations have separable variables and if the Ai(a) and JB,(O) are
polynomial functions of a, then the integration of Eqs. (3.131) and (3.132) can be
done using standard integration techniques. However, if the Ai(a) are polynomial
functions of order greater than two, the resulting integrations do not lead generally
to solutions for a(t) that are expressible in terms of the elementary functions. In
any case, once a(t) is obtained, it can be substituted into Eq. (3.132) to give i/>(t).
dH(a,\l>) _ da dH dtp dH
Jr (3 138)
It ~~dl~da~ ltlhp' -
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 109
and
■ dt»**££+(*)
dt dadip \dtj dip S- 2
dy _ da f du\ 2du2 \
dt dt \ da da )
<ty ( . , dux , du2 \
+ JL\-am1, + e - l + *-± + ..ji (3.140)
and
/da\ f d2u1
\dt) \e~daT
da dip I d2u\ 2 d2u2
dt dt \ dadip dadip
Using Eqs. (3.134) and (3.135), the following expressions are obtained:
cPa d fda\ i\
da d /da^ da Y ^ ndAn
t)~dt^e
lit2 ~ dlVdi) ~ 'didaVdtj da
' n=l
2
= t A ^ + 0{e% (3.142)
If Eqs. (3.142) to (3.146) are substituted into Eqs. (3.140) and (3.141), and terms
of the same power of e are collected together, then y and dy/dt take the forms:
dy . , / , . , dux
—- = — a sin ip + e [ Ax cos w — aBx sin w + -=—
dt \ dtp
2
+ e ^ 2 cos^a5 2 sin^ + ^ — + Bl — + — j
+ 0(« 3 ), (3.147)
and
dAX dBt
+ e< Ax - ~ - aB{ - 2aB2 ) cosip - [ 2A2 + 2AiB] + Aj - p a J sinip
d2 ux 2
nn d ux d2 « 2
+ 2Ai + 2B + 0(e3). (3.148)
dadip " dtp2 dip2
d Ul a
4-2A ' , , R V a V ^ + 0(e3). (3.149)
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 111
d
( v\ uiFy(a cos ip, —a sin ip)
eF I y, — 1 = eF(acostp,— asmrp) + e
+ 0(e3), (3.150)
F , ( , , « ) S ^ M * , ( , , » ) = «*&!£>. (3.151)
Substituting the results of Eqs. (3.149) and (3.150) into Eq. (3.128), collecting
together the terms with like powers of e, and setting them to zero, gives
d2ux
+ ui = -F0(a,i/>)-|-2J41sini/> + 2a.B1cosV>, (3.152)
dV>2
+ u 2 = Jri(a,V>) + 2 A 2 s i n ^ - | - 2 a B 2 C o s ^ , (3.153)
dip2
d2 u
-g-j^- + um = Fm-1{a,il>) + 2Amsmip + 2aB,ncosi>, (3.154)
where
F0(a,ip) = F(a cos xp,—asm ip), (3.155)
In the above two equations, F y and F y ' , stand for the functions
= aFtacos^-asin^
Of
112 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
p , = d-F(acosV>,-asin^) (3.157b)
dw
See Eq. (3.151).
It is clear that the functions JFjt(a, VO are periodic functions of the variable ip
with period 2ir. They also depend on the amplitude a. The explicit expression
for Fk(a,if>) is determined as soon as the functions A{(a), #;(«), and Ui(a,rp) are
known to the k-th order.
The functions A1(a), B\(a), and ui(a,ip) can be found by doing a series of
calculations. First, expand F0(a,ip) and U\{a,tp) into Fourier series:
oo
oo
ui(a, ij>) = vo(a) + 2_][vn(a) cos(nrp) + wn(a) sm(nif>)]. (3.159)
71=1
Note that F0(a,xj>) is a known function, see Eq. (3.155), and, consequently, its
Fourier coefficients gn(a) and hn(a) can be determined. Substituting Eqs. (3.158)
and (3.159) into Eq. (3.152) gives
OO
Equating coefficients of the harmonics of the same order in Eq. (3.160) gives
hn(a)
!>n(«0 (3.163)
1-n2'
hi(a)
(3.164)
2 '
gi(g)
Bi(a) = - (3.165)
2a
Therefore,
/ 1 \ f2"
Ai(a) = — ( 2— 1 / F(acosxp,—a sin ip) sin ip dip, (3.167)
V *"/ Jo
/ i \ A2*
2?i(a) = — I - — I / F(acosrp,—asinip)cosrp dip, (3.168)
\2-naJ J0
where
F ( a cos i/), —a sin ip) cos(nip)dip, (3.169a)
M
"-G)jf F(acostp, —asinip) sin(nip)dip. (3.169b)
Now that ui(a,ip), A\(a), and Bi(a) have been calculated, the function F\(a,ip)
from Eq. (3.156) can be determined. Expanding Fi(a,ip) in a Fourier series gives
oo
cos
Fi(a, *) = ff^(a) + £ X > ( a ) ("</0 + h^(a) sin(m/>)]. (3.170)
n=l
Likewise, expanding u2(a, ip) in a Fourier series, substituting it and Eq. (3.170) into
Eq. (3.153), and imposing the conditions of Eqs. (3.136) and (3.137), gives
M°) = 2 '
(3.171)
*(«) = - 2a - (3.172)
In detail, the functions A2(a) and #2(0) are given by the expressions:
/•2JT
V2W / UlF
v+ ( A! cos ip-aB! simp + - ^ ) Fy, smipdiP, (3.174)
B2(a) = -[-
\ a ) da
_
( d b ) i [ « 1 ^ + ( ^ c o s V - a 5 1 s i n V . + ^ ) ^ costp dip, (3.175)
where Alt Bi, Ui, i ^ , and Fyi are given, respectively, by Eqs. (3.167), (3.168),
(3.166), (3.157a), and (3.157b).
While the evaluation of higher approximations is complicated from an algebraic
viewpoint, the method is straightforward. Thus, the evaluation of Ui(a,ip), Ai(a),
and Bi(a) can be done systematically for any value of i.
In summary, the first approximation to Eqs. (3.1) and (3.128), according to the
Krylov-Bogoliubov-Mitropolsky asymptotic method, (see Problem 3.9) is [2]
y = acosip, (3.176a)
da
eAi(a), (3.176b)
~dl
dip
1 + eB^a), (3.176c)
~dt
where Ai(a) and JE?i(a) are given by Eqs. (3.167) and (3.168). This is exactly the
same as the first approximation of Krylov and Bogoliubov given in Section 3.2.
Likewise, the second approximation is
In general, the m-th order approximation is given by the following system of equa
tions:
where
da
=eA1(a) + e2A2(a), (3.181)
dtfc
where F0(a,ip) and Fx(a,ip) are given by Eqs. (3.155) and (3.156). The Fourier ex
pansion of F0(a, ip) is given by Eq. (3.158). In terms of the coefficients of the Fourier
expansion of F0(a, </>), the function «i(a, xj>) is given by Eq. (3.166). Likewise, Ai(a)
and B\{a) are determined by Eqs. (3.167) and (3.168).
Define Fi(a,tp) to be
where F^(a,xp) is given by Eq. (3.156). Since G(a cos «/>,—a sin </>), ui(a, r/>), -Ai(a),
and Bi(a) are known, the Fourier expansion of F\(a,ip) can be determined. Write
it as
CO
The functions ^ ( a ) and £2(1) of Eqs. (3.181) and (3.182) are given by the relations
A a (a) = - ^ ) , (3.186)
% ) = - ^ , (3-187)
r<
=7n
( i )(a)
/-i ^ . / A +, /i„
cos(nt/i) 1(1) (a) sin(rn/>)
u2(a,V) = 5o1V) + X^ 1-n 2 (3.188)
This completes the task of calculating a uniformly valid solution to Eq. (3.179)
correct to terms of order e2. It should be kept in mind that to this order of e,
the u 2 (a,V0 term is not retained in Eq. (3.180). (See Problem 3.6 and the above
discussion after Eqs. (3.176).)
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 117
3.5.1 Example A
g + , = -2e|. (3.189)
F = 2asin</>, (3.191)
u1(a,rp) = 0. (3.193)
Next Ai(a) and i?2(a) can be calculated from Eqs. (3.171) and (3.172); they are
y = acosip, (3.195a)
da
= —ea, (3.195b)
~dl
~dt -f (3.195c)
118 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
where A and tpo are arbitrary constants. Putting these results in Eq. (3.195a) gives
the solution
y = At cos
K) (3.197)
Comparing Eqs. (3.197) and' (3.198) shows that they have the same amplitude and
damping factor, and the frequencies agree with each other to terms of order e2
3.5.2 Example B
has
F = -y2 = -a2 cos2 ^ = - (y J - (~ j cos 2T/>. (3.200)
hn(a) = 0, n= 1 , 2 , 3 , . . . . (3.201c)
Substituting Eqs. (3.202) and (3.203) into Eqs. (3.171) and (3.172) gives
da
= 0, (3.205b)
dt
dip _ 5e 2 a 2
(3.205c)
dt~ _ ~ 12
Solving the second and third of these equations, and substituting their results in
Eq. (3.205a) gives
y = A cos
5e2A2
C O S
( Y ) { 2 ( l - ^ ) i + 2^o -3} (3.206)
3.5.3 Example C
cPy „2^dV
dt2+y = <i-y)a> (3.207)
h3(a) = j , (3.209d)
Thus, Aj(a), Bi(a), A 2 (a), 5 2 ( a ) , and u-i(a,tp) are given by the expressions
A
M«) = (|) (l " x ) ' ^°) = °> ( 3 - 210a )
In the second approximation, the solution to the van der Pol differential equation
is
y = acosV>-ef^jsin3V>, (3.211)
where
da
~di f)K). (3.212)
2-i-G)(i-,+£)-
The solution for the amplitude a(t) is given by Eq. (3.123), i.e
(»">
a{t)
= r- T^rrz r t ,,,!/,. (3-214)
[l + (f)(e -l)]
where A = a(0) is a constant. Note that since
y(t) = 2 cos
I^H-tCHK1-^) 3 ( 1 - — ) t + 3V-o (3.216)
c-
2
<Py , 2^dV
ea
)'<i) + (it
+'&) [© y2 (3.217)
This is a generahzed form of the van der Pol differential equation [19], and, in fact,
reduces to the van der Pol equation when a = 0. Observe that Eq. (3.217) has
a nonlinear term that contains expressions of orders e and e2. Comparison with
Eq. (3.179) gives
2
dy_ > . i->\ , / M _ 2)^/
Fly,
dt y^fi + ilr -* ( 1 2 / (3.219)
<*f)-(x' '^'+ dt
(3.220)
* - S - T (3.221a)
A a (o) = 0, S i ( o ) = 0, (3.221b)
da
(3.222)
dt -T).
The solutions to Eq. (3.222) is provided by Eq. (3.214). This function can be
substituted into Eq. (3.223), which can then be integrated to give ip(t). However,
the large time behavior of the solution y can be obtained by replacing a(t) by its
asymptotic value 2; see Eq. (3.215). Doing this gives, for large t, the results
14a\ . , „ 7 s /51-16a2\ ,„ T.
— J sin(2</>) + ^ ~ j cos(3t/>)
where
$ = l- V 13a - ^ (3.225)
2
Examination of Eq. (3.222) leads to the conclusion that the original differential
equation has a unique, stable limit cycle.
Observe that Eq. (3.217) has, in the second approximation, exactly the same
amplitude equation as the van der Pol oscillator, i.e., Eq. (3.222). It is of interest to
find the class of generalized van der Pol differential equations that have this prop
erty, i.e., determine functions f{y,dy/dt) and g(y,dy/dt) such that the nonlinear
equation
fy + y
dt2 *-*%+'(>■$)]+«(>.%)• <»»>
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 123
is known to have a single, stable limit cycle [20]. Now consider the modified van
der Pol equation
fl„
<Py r . A,1
-^3 + (l-y2)| (3.229)
The above modified van der Pol differential equation has a single, stable
limit cycle for all values of e and j3 such that e > 0 and ft > 0.
Now assume that the parameters e and j3, in Eq. (3.229), satisfy the conditions
A first approximation to the solution to Eq. (3.229) can be found by using the
method of Krylov and Bogoliubov. Doing this gives the following results:
(3 231
S-•*<«>-■©('-?)• - >
f = 1 + <BlW = l + « ( ^ ) . (3-232)
Examination of these two equations leads to the following conclusion:
124 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
In the first approximation, the modified van der Pol equation has a single,
stable limit cycle. The amplitude of the limit cycle is (to terms of order
e) equal to 2 in value, and the frequency is (to terms of order e) equal to
3/?
w= 1 + (3.233)
These results are in agreement with the conclusions reached by means of the
Lienard-Levinson-Smith theorem.
In the second approximation, a direct calculation gives
A2(a)
16 3+
©" (3.234)
«i(o,^)
© (/?cos3V> — sin3V>)- (3.236)
Therefore, to this level of approximation, the variation of the amplitude with time
is given by
da
= eAi(a) + e2 A2{a)
~dl
2 , 1
16 •+(T)'
i-G . - * v + 196,9
64 4 (3.237)
The positive solutions of Eq. (3.238) give the limit cycles in the second approxima
tion.
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 125
At this point, a problem arises. To see this, consider the following cubic equa-
tion:
■[e-SO-'-GX'-^H 0. (3.239)
The root
(3.240)
corresponds to an unstable limit point. The other two roots are located at
1/2
^ i j■G
t e M d - 3 * ) * l-44s+ (jjx2 (3.241)
where
* = f>0. (3.242)
/Q\ I i/2
(3.243)
l-44i+(-jx2 = 1 - 22x + 0{x2),
(3.245)
'Z3 =
T9-x-l9+0^-
Figure 3.6 gives the behavior of these two roots as a function of x for small x.
In addition, it shows a plot of A as a function of z, where A is
A = ez
-@(-¥>+(^> (3.246)
These plots show that in the second approximation, see Eq. (3.237) or Eq. (3.228),
the modified van der Pol differential equation has two limit cycles: a stable limit
cycle with amplitude z2 and an unstable limit cycle having amplitude z3. But, ac
cording to the Lienard-Levinson-Smith theorem, the modified van der Pol equation
can have only one stable limit and no others! How is this paradox to be resolved?
126
(a)
(b)
Figure 3.6. (a) Plots of z2 and z3 as functions of x for x small, (b) Plot of A
versus z.
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 127
First, observe that z2 = 4 + O(e) and corresponds to the known limit cycle of am
plitude a = 2 + 0(e). This result was obtained in both the Lindstedt-Poincare and
Krylov-Bogoliubov methods (see Sections 2.4.4 and 3.3.8). Second, note that z 3 has
the following properties:
Consequently, for small e, z 3 is very large. The limit cycle corresponding to this
root will be called a spurious limit cycle. It appears in the second approximation
of the method of Krylov-Bogoliubov-Mitropolsky, but, is an artifact of the method,
i.e., it does not correspond to an actual hmit cycle of the modified van der Pol
differential equation.
The mathematical reason for the appearance of the spurious limit is the fact
that A2{a) is a fifth order polynomial in a, while Ai(a) is a cubic polynomial.
Consequently, the amplitude equation
^ = eA,(a). (3.250)
The next higher order calculation for the amplitude equation takes the form
the expectation is that all of the spurious limit cycles will disappear and only the
actual one, located at a = 2 + 0(e), will remain.
The above calculations and discussion lead to the following conclusions:
The application of the method of Krylov-Bogoliubov-Mitropolsky to the
calculation of the periodic solutions of
a2 ~ £ , (3.254)
where k and 7 are constants, with 7 > 0. For any finite order of the
calculation, they should be ignored. The actual limit cycles have finite
limits as e —» 0.
3.7 y + y3=eF(y,y)
Mickens and Oyedeji [20] studied a new class of nonlinear oscillator differential
equation, namely
g + y3 = ^ ( y , | ) , 0<e«l, (3.255)
where, for the moment, A(t) and <^(t) are unknown functions of time and u> is an
(unspecified) constant. Taking the derivative of Eq. (3.257) and letting
ip = ut + <j>(t), (3.258)
dy dA d<j>
— = — LjAsmip + — cosi/> — A — sinV", (3.259)
at dt dt
and requiring that
- ^ = -wAshu/>, (3.260)
dt
gives the relation
—- cosi/>- A-j- sin«/> = 0. (3.261)
dt dt
The second derivative is
dt1 dt dt
dA . , d<f, , . , f3A3\
-r- sin w + A — cos w = —w A costy>+ I —— cos y>
dt dt \ 4u )
+ (—) cos 3xp - ( - ) F(A cos ip, -LJA sin ip). (3.263)
The Eqs. (3.261) and (3.263) are two linear relations for dA/dt and d<f>/dt; solving
them gives the following expressions for these derivatives:
dA A , . , {3A3\ . . .
—
dt = — u! A cos t/> sin rp + I —— I cos tp sin ip
A =
T (izr ~ wA ) cos2 ^ + (z~)cos 3^cos ^ ~ («) F cos ^' (3 265)
'
where F = F(ACOSJ/J, — uiAsmip). Thus far these are exact expressions for the
derivatives. To obtain the equations needed to calculate an approximation to the
130 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
solutions of Eqs. (3.264) and (3.265), the right-sides of both equations are averaged
over the period 2% in the variable ij>. Doing this gives the averaged equations:
3A2
f =
-(2^4) I n^cosV,-a.Asin^)cosV-#+ Q) (3.267)
ALO
This is the required generalized of the Krylov and Bogoliubov method to the dif
(3.268a)
dy(0)
y(0) = An, = 0. (3.268b)
dt
dA
0 or A(t) = A0, (3.270a)
dt
and
3A*
(3.270b)
dt
whose solution is
2
"\A
o
-"-0 2
«<> = te t + <j>o- (3.271)
Comparison of Eqs. (3.257) with Eqs. (3.269) and with the result of Eq. (3.271)
shows that for the case
dy(0)
-^+y3=eFi(y), y(0) = A 0 , = 0. (3.273)
dt
The amplitude and phase equations take the following forms (see Eqs. (3.266) and
(3.267)):
dA
= 0, (3.274)
~dl
3A2
2-*<•>+(£) (3.275)
The solution to Eq. (3.274) is A(t) = A0, where A0 is a constant. Thus, the phase
equation becomes
d<j>
(3.276)
One possible choice for the constant u> is to let it satisfy the relation
1A2
2 "-"-a (3.277)
If this is done, then the first approximation to the solution to Eq. (3.273) is given
by the expressions:
1/2
y{t) = Ao cos A0t + 4>(t) (3.278a)
where
64
= -( J A j Fi(A0cosi>)cosj>dj> = eBi(A0). (3.278b)
dt
1/2
y(t) — A0 cos A0+efli(A0) (3.280)
132 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
^ +y =e(i-y)^- (3.281)
Substitution of this function into the right-sides of Eqs. (3.266) and (3.267), and
doing the integration gives
dA _
dt <t >-$
(3.283)
d<j> 3A 2
(3.284)
~dl ~ \2^y
The limit cycle parameters are determined by the fixed-points of Eqs. (3.283) and
(3.284). The nontrivial solution is
A2e" + ( 4 - A 2 )
m -®- *, (3.287)
where the integration constant was determined by the requirement 4>(Qi) = 0. Note
that for large t, the function <j>(t) goes to a constant, i.e.,
can be solved in terms of the Jacobi elliptic functions. They investigate the appli
cation of these methods to the following general case of differential equations
Problems
3.1 In the first approximation of Krylov and Bogoliubov, explain why the first
derivative of the assumed solution can be taken as the form given by Eq. (3.8).
3.2 Verify that the coefficients Kn{a), Ln(a), Pn(a), and Qn(a) of Eq. (3.16) are
given by the expressions of Eqs. (3.17).
3.3 Work out the consequences for the amplitude and phase relations if the non
linear function takes the form
dy
VD- Fx(y)
dt'
3.4 Use the Krylov-Bogoliubov method to determine approximate solutions for the
following equations:
<Py (a)
(i-v)-«-v
cPy ,dy
(d)
-d¥ + y =
-^Tf
<Mi(<ii)
= 0.
dt
What can be done for this case? Analyze this situation both graphically and
mathematically. (See Eq. (3.43).)
3.6 Use the method of equivalent linearization to construct the linear equations for
the examples of Problem 3.4.
METHOD OF KRYLOV-BOGOLIUBOV-MITROPOLSKY 135
3.7 Prove that the conditions given in Eqs. (3.136) and (3.137) eliminate the fun
damental harmonic in the solutions obtained by using the Krylov-Bogoliubov-
Mitropolsky technique. Show that this condition also guarantees the absence
of secular terms in all successive approximations.
cPy /i 2\dy 3
v
^ '~dt~ay
where a > 0 and a = 0 ( 1 ) .
-^ + y = e(l-y )-,
where n is an integer, has a unique, stable limit cycle. Calculate its amplitude
and frequency.
136 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
<Py_
dt2 + y = e d-rt*-.
where 6 is positive and 0(1). Show that if 6 = 1, then y = sint is an exact
solution to this equation.
~, dy
dt2 + -2k - f + a
dt !+<: cy + y = 0,
where k, a, 6, and c are positive and of order e. Does this equation have any
stable periodic solutions?
3.18 Use the results from Problem 3.12 to investigate "spurious" limit cycles for this
equation.
<Py , „ dy , rpf dy
Show that for Eq. (a), the method requires that the amplitude satisfies the
restriction
Also, prove that all solutions to Eq. (a) have the property
Lim y(t) = 0.
References
13. D. Siljak, Nonlinear Systems: The Parameter Analysis and Design (Wiley, New
York, 1969).
20. R. E. Mickens and K. Oyedeji, J. Sound and Vibration 102, 579 (1985).
22. S. Bravo Yuste and J. Diaz Bejarano, J. Sound and Vibration 110, 347 (1986).
23. S. Bravo Yuste and J. Diaz Bejarano, J. Sound and Vibration 139, 151 (1990).
24. S. Bravo Yuste and J. Diaz Bejarano, J. Sound and Vibration 158, 267 (1992).
4.1 I n t r o d u c t i o n
Section 4.2 gives the details of the general procedures for calculating solutions
by means of the method of harmonic balance. The emphasis is on the first and
second approximations. For these approximations, the required work can usually
be done by "hand." Sections 4.3 and 4.5 illustrate the use of harmonic balance by
applying it to a number of important nonlinear differential equations. Section 4.4
studies the relationship between the method of harmonic balance and the Lindstedt-
Poincare perturbation procedure when the differential equation takes the form
139
140 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
4.2 General M e t h o d
dt2 + F ( ! ) ■• - * >
,.\' •d(4\,D
! ) '
dy_
dt'
(4.2)
where the functions F and G are, in general, polynomial functions of their arguments
and, a and /3 denote sets of parameters that define the system. The parameter A is
taken to be non-negative. If A = 0, then Eq. (4.2) becomes
dy
+F = 0, (4.3)
dt2
and this equation corresponds to a generalized conservative oscillator. The case for
which F is given by
F = y, (4.4a)
i.e.,
<Py dy_
5? + » = i G '■'Si •"
(4.4b)
dt'
represents an oscillatory system for which limit cycles may exist.
where {ak, bk : k = 1,2,3,...} are the Fourier coefficients. (The equation of motion
can always be written in such a form that no constant term appears.) The Weier-
strass theorem [29] states that for any continuous periodic function y(t) and for any
e > 0, a trigonometric polynomial
\y(t)-Y{t,N(e))\<e. (4.8)
N
y(t, N) = ^2[ak cos(kivt) + bk sin(ifcu>t)] (4.9)
and determine both the coefficients {ak,bk : k = 1,2, ...,7V} and the angular
frequency ui. All of these quantities are to be expressed finally in terms of the
initial conditions. General results on the existence and convergence of y(t, N) to
y(<), as N —» oo, can be found in references [4, 5, 10, 27, 28]. In the following
discussion, it is shown that very stringent bounds exist on the Fourier coefficients
of the periodic solutions to Eq. (4.2).
M
M + lM^p+r (4-n)
142 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
T h e o r e m 2. Let y(t) be a function oft, analytic in the interval [0, T). It is possible
to £nd a 9, where
0 < B < 1, (4.12a)
M + |6*|<Atf*. (4.12b)
These theorems can be applied to Eq. (4.2). Many important dynamic sys
tems can be modeled by this type of equation where the functions F[y, (y)2,«] and
2
G[y,(y) ,/3] are polynomial functions of their arguments. For this case, the condi
tions of both theorems are satisfied. (Note that if Theorem 2 holds, then, Theorem 1
is also true.) This can be shown by the following argument: If y(t) is a real ana
lytic function in [0,T], then all the derivatives of y(t) exist at an arbitrary point
on this interval. The r-th derivative can be calculated by successively taking the
r — 2 derivatives of Eq. (4.2) and evaluating the resulting expression at t = t 0 - This
process is always possible since the functions F and G are polynomials in y and ij.
Thus, the r-th derivative can be expressed in terms of the ^-th derivative, evaluated
at t — to, for I — i— 1, r — 2 , . . . , 1,0. (Note that since Eq. (4.2) is a second-order
differential equation, y(to) and y(t0) are known, i.e., they can be selected to have
any desired finite values. Consequently, the second derivative is known in terms of
y(t0) and y(t0); the third derivative can be expressed in terms of y(to), y(*o), and
y(to); etc. It immediately follows that the coefficients of the Fourier series of the
periodic solutions to Eq. (4.2) satisfy the inequality of Eqs. (4.12) if F and G are
polynomial functions of their arguments.
HARMONIC BALANCE 143
It should be kept in mind that the existence of the bounds given by Eqs. (4.11)
and (4.12) does not necessarily imply that the Fourier coefficients decrease mono-
tonically with an increase in the index k. However, these results do imply that the
Fourier coefficients decrease rapidly.
While this book is generally concerned with autonomous second-order differ
ential equations, i.e., the differential equations do not depend explicitly on t, the
above results can be readily generalized to the non-autonomous case where
d
* » -L n ( y A n (4.13)
(4.14)
d2v ■>
A >0. (4.15)
F = y + \y3, G = 0. (4.16)
y (0) = A, * g ) = 0 , (4.18)
dt
where
1/2
XA2 AK(k)
k = (4.19)
2(1 + A ^ ) J ' [l + XA2]1'2'
and K(k) is the complete elliptic integral of the first kind [32]. The coefficients
a2m-i are
a
2m-l (4.20)
l+g2m-l'
nm
where
Note that
0 < q < 1, (4.22)
where
(4.24)
The exponential decrease of the coefficients is expected since Eq. (4.16) is a poly
nomial function of y.
Now consider the equation
<Py , 3 ■ .
(4.25)
-d¥ + y =sint
'
which represents a periodic forced nonlinear oscillator. The following trigonometric
polynomial provides an approximation to a periodic solution [27] of Eq. (4.25):
The ratio of neighboring coefficients can be calculated and are given by the following
numbers:
J^-8.87X10- ^_7.69xl0-2)
bz
7 2
65 ~
- -7.83
~ , , u " x" i10-
u ,' ^&9- ~_ -7.83
7 0 , „ i n -
x 10 2
67
^ - 7 . 8 5 x 1 0 - 613
^ 5 _ 7 . M x l 0 .
611
^ s- -7.90 x 10- 2
»13
Note that all the ratios are close to the value —7.84 x 1 0 - 2 . (The last ratio value
probably reflects the effect of truncation of the infinite Fourier series, wliile the
first two ratio values indicate the dominance of the lower harmonics in the periodic
solution.) The coefficients are expected to satisfy a relationship having the form
given by Eqs. (4.12). For m > 3, the following relation is consistent with the above
coefficient ratios:
62m_] ~ ( - l ) m + 1 & 0 2 m - \ (4.27)
where 6 and b are constants. The constant 6 can be determined from Eq. (4.27)
and the coefficient ratios, i.e.,
h
J^+l. „ _02 ~ _7.84 x 1 0 - 2 , (4.28)
and
9 ~ 0.28. (4.29)
146 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
y(t) m± 3
V 7T J ^
v
' m=0
1
(2m + l )
v
'
3
. [(2m + l ) i
1A
(4.32)
(See Section 1.4.3.) Observe, from Eq. (4.30), that y(i) has a bounded second
derivative, and that y(t) is of bounded variation. Hence, from Theorem 1, it follows
that the Fourier coefficients satisfy the bound
M
hk+r < p . , (4.33)
M = 2,4 2 . (4.34)
The restriction to this form is no actual loss of generality since almost all of the non
linear oscillators that are considered in this book have this structure. An important
feature of systems that can be modeled by Eqs. (4.35) and (4.36) is the property
that only the odd harmonics appear in the Fourier expansions of the solutions.
First consider the situation for a conservative system, i.e., g = 0 in Eq. (4.35):
^ f + / ( y , a ) = 0. (4.37)
y(0)=A, « = 0 . (4.38)
where it is indicated that the Fourier coefficients depend on the parameters a and
the initial position A. While not written out explicitly, the angular frequency u>
also depends on a and A, i.e.,
u=u{a,A). (4.40)
148 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
The N-th order method of direct harmonic balance approximates the exact solution
y(t) by the expression
N
A cos
yN(t) =J2 % K 2m - ^Pfi] (4-41)
m=l
where Am and U>N are, respectively, approximations to Am and u>. Equation (4.41)
contains N + 1 unknowns: the N coefficients and the angular frequency. They can
be determined as follows:
(1) Substitute Eq. (4.41) into Eq. (4.37) and write the resulting expression as
N
^ F m c o s [ ( 2 m - l ) w t ] + HOH = 0, (4.42)
m=l
Hm = Hm(A[N\AiN\...,A^;Q,a). (4.43)
Note that for each N, it is required that the initial conditions of Eq. (4.38) be
satisfied, i.e.,
„ W (0) = A, ^ = 0. (4.46)
Now consider the full equation given by Eq. (4.35). For this case, limit cycles
may exist and the initial conditions cannot, in general, be o priori specified. The
HARMONIC BALANCE 149
N-th order method of direct harmonic balance approximates the periodic solutions
of Eq. (4.35) by the expression
f i W A(N) A(N)
(4.48)
r. R(N) R<N)
and solve the quantities listed in Eq. (4.48). In general, these quantities will be
expressed in terms of the system parameters a and /?.
has an exact solution that can be expressed in terms of a Jacobi elliptic function.
These functions have the feature that they can be written as ratios of series of
trigonometric functions [34]. This suggests that approximations to the periodic
solutions of Eq. (4.35) can take the form
where
6 = «5&t. (4.53)
y>(t) = i ( 1 1 ) c o s ( ^ t ) , (4.54)
= A™ cos(Q{t)
(4.56)
1
l + C,11)cos(2u>1It) + .D<1) sm(2u>\t)'
and
= A < ' > c o ^ ) + ff>co.(3u>;t)
n J V
l + D^sm^lt) '
The harmonic balancing procedure for the representations of Eqs. (4.54) and (4.55)
has already been discussed in Section 4.2.2.
Consider the form of Eq. (4.56) first for a conservative oscillator. For this case,
Eq. (4.56) reduces to the expression
l}
, 1 W _ ^ A[
cos(u>\t)
^1 "l1 ut-o\
ViW ~ .l +. Ci
^(i)
(1) ^~7T>
cos(2w 1
1 t)'
(4-58)
HARMONIC BALANCE 151
where the initial conditions are those of Eq. (4.38). Substitution of Eq. (4.58) into
Eq. (4.37) and expanding the resulting expression into a trigonometric series, the
following result is obtained:
where 9 = uj^t. Setting the coefficients of the two lowest harmonics to zero gives
#i =0, H2 = 0, (4.60)
which can be solved for 0\ and w\ as functions of A\'. The amplitude A\1' can
then be expressed in terms of the initial value, y(0) = A, by means of the relation
Am
Hx = 0 , H2 = 0, Lt = 0 , L2 = 0, (4.63)
which are to be solved for A*1*, Cj (1) , D\n, and u>\ in terms of the parameters a
and p.
Similar considerations apply to the form given by Eq. (4.57).
152 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
This section gives the details of the calculations necessary to obtain a first
approximation to the periodic solutions to eight nonlinear differential equations
by means of the method of harmonic balance. An important advantage of this
technique is that it can be applied to differential equations for which perturbation
methods cannot be employed.
In the material to follow, both in this section and the remaining sections of this
chapter, bars and unnecessary subscripts and superscripts will not be placed on the
amplitudes and angular frequency. They will be taken, respectively, to be A\ and
u>. However, it should also be clear that the final quantities of the calculations are
approximations to the actual values of the corresponding expressions in the exact
solutions.
For conservative systems
J f + /(y,a) = 0, (4.64)
3,(0) = A, « = 0. (4.65)
and the corresponding "approximate" expressions for the first and second derivatives
are
dy\
-~ = -u)Ax smut, (4.67)
4.3.1 Example A
g + , 3 = 0. (4.69)
All of its solutions are periodic. The substitution of Eqs. (4.66) and (4.68) into this
equation gives
- w 2 Ax cos ut + A\ cos3 ut ~ 0, (4.70)
Setting the coefficient of cosuii equal to zero allows the determination of w in terms
of Aj;
« = yf^- (4-72)
Therefore, the first approximation to the solution of Eq. (4.69) is
Ai = A, (4.74)
and
yi(t) = A cos U^ At) (4.75)
It will be shown later that the expression given by Eq. (4.75) provides an accu
rate approximation to the solution of Eq. (4.69). Note that perturbation methods
cannot be applied to this equation.
4.3.2 Example B
§ + y + ey3=0. (4.76)
154 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
3eA2
-w2 + 1 + coswt + HOH = 0. (4.78)
Setting the coefficient of cos ut equal to zero and solving for u gives
3eA2
w=\ 1+ (4.79)
4.3.3 Example C
The approximate solution and its derivatives for this case are given by Eqs. (4.66),
(4.67), and (4.68), where the initial conditions are unspecified. Therefore,
and
,4-!)
( - u / + l)Aj coswt + eAuj ( 1 - -7- ) sinwt + HOH = 0. (4.83)
Setting the coefficients of the cosuit and sinwt terms equal to zero and solving for
u> and A\ gives two solutions; they are
A\ = 0, ui = arbitrary, (4.84a)
Ai = 2, w = 1. (4.84b)
The first solution corresponds to the trivial solution or a limit point, i.e.,
yi 1 } (0 = 0, (4.85)
while the second gives the approximate parameters of the limit cycle, i.e.,
Based upon the knowledge gained from the application of the Lindstedt-
Poincare perturbation method to the van der Pol equation, it is clearly seen that
Eq. (4.86) reproduces exactly the first term in the perturbation series of Eq. (4.81)
under the condition that 0 < e < 1.
4.3.4 Example D
A 1 L2 - ^ ) = 0, (4.89a)
uAl (l - £\ = 0. (4.89b)
Ax = 2, w = \/3, (4.90)
In view of the results obtained in Example C, it is expected that the j/i(t), given in
Eq. (4.91), holds only for 0 < e < 1.
4.3.5 Example E
g + y - 7 ^ f = 0 , 0<A<1. (4.92)
y2
v(y) = j - W i + y2 + K (4.94)
and E is the "total energy" of the nonlinear oscillator. All the motions correspond
ing to Eq. (4.92) are periodic.
HARMONIC BALANCE 157
Observe that for small and large y, the equation of motion takes the forms:
V large : — + y ~ 0. (4.95b)
fy (4.96)
( i + y 2 ) dt2 + y = AY.
Substituting the first order harmonic solution into this equation gives
-ll/2
w± = 1± (4.99)
f^f\
The discussion after Eqs. (4.95) shows that the solution with the negative sign
should be selected, i.e.,
1/2
A
1 (4.100)
f^4\
158 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
"I 1/2
\
yi(t) = A cos (4.101)
V^f
cPy
+ lvlv = o, (4.102)
dt2
3)(£)+(>»°-^ (4.103)
0
i=©[G) + G) cos2 ^-(^) cos4e + (4.105)
/8J42\
\y\y= ( — J c o s w i + HOH (4.106)
Setting the coefficient of cos ait to zero and solving for w gives for yi(<) the following
expression
4.3.7 Example G
g + y»-<l-|»l)|. (4-109)
o_ / o \ 3/2
A, = ^ , «=*^J - (4.113)
Ai = 0, a» = arbitrary, (4.114)
160 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
which corresponds to the fixed-point, yi(t) = 0. The solution for the values given
in Eq. (4.113) is
3 2
/s.\ r //-A
3 \ 3 //2 1
(4.115)
Hi *
This gives a first approximation to the limit cycle of Eq. (4.109).
4.3.8 Example H
Consider the following generalization of the van der Pol differential equation:
§ 2 + y + ( a - / 3 y 2 + 7 ^ ) $ = 0, (4.116)
dt dt
where the parameters (a, j3,7) are all positive. One or more limit cycles are expected
to exist for this equation. The exact number obtained depends on the values of the
parameters.
Substituting Eqs. (4.66), (4.67), and (4.68) into Eq. (4.116) gives, after simpli
fication, the following result:
w = 1. (4.118)
The amplitudes of possible limit cycles axe given as roots to the cubic equation
A,
!>:-©*- 0. (4.119)
The root
Ax = A^ = 0, (4.120)
V(t\t) = 0. (4.121)
HARMONIC BALANCE 161
Note that >i (2) and A ( 3 ) are real and distinct if the following condition holds
The following argument indicates that the fixed-point at the origin is stable, the
limit cycle with amplitude A ( 2 ) is unstable, and the limit cycle with amplitude A^
is stable:
(1) The coefficient of the dy/dt term can be considered a damping function,
i.e., when it is positive this term causes the amplitude to decrease and when it is
negative the amplitude increases.
(2) For small values y and dy/dt, the damping function is positive. Therefore, in
the neighborhood of the origin in phase space, the phase trajectory moves toward
the origin. Hence, the origin, i.e., the fixed-point corresponding to AS1) = 0, is
stable.
(3) For large values of y, the damping function is also positive. This implies
that there exist a value y* > 0 such that for \y\ > y*, the motion in phase space is
such that the phase trajectory decreases its distance from the origin.
(4) The only possibility that can lead to the situation described in (2) and
(3) is for the limit cycle with amplitude A' 2 ' to be unstable, while the one with
amplitude A^ be stable.
162 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
(5) In summary, for /32 > 8«7, there exists a stable fixed-point, an unstable
limit cycle, and a stable limit cycle. The corresponding solutions according to the
first approximation of harmonic balance are
yW(t) = AW = 0, (4.125a)
yf°(<) = A ( 2 ) c o s i , (4.125b)
AW = AW = i (4.126)
7
is semi-stable.
For P2 < 807, AW and AW are complex conjugates of each other and the
fixed-point AW = 0 is globally stable, i.e., for any initial conditions the solution
decays to the origin in phase space.
Exactly the same conclusions are reached if the parameters (a,/?,7) are as
sumed to be of order e and the method of Krylov and Bogoliubov is then used to
obtain an approximation to the solution of Eq. (4.116); see Problem 4.7.
HARMONIC BALANCE 163
The eight worked examples of the previous section fall into four categories:
Category Examples Differential Equation
(I) B, E y+y = eFl(y) (4.127a)
F j ( - y ) = -Fiiy) (4.127b)
(II) C, H y + y = eF2(y)y (4.128a)
F2(-y) = +F 2 (y) (4.128b)
(III) A, F y + F 3 (y) = 0 (4.129a)
Lim y _ 0 F3(y)/y = 0 (4.129b)
(IV) D, G y + F^y) = eF^y (4.130a)
F 4 ( - y ) = +F 4 (y). (4.130b)
Category I differential equations correspond to conservative systems, and, in
general, all their solutions are periodic for arbitrary initial conditions. For small
values of e (replace A in Example E by e and let |y| < 1) the harmonic balance first
approximation solution agrees with that determined by means of the Lindstedt-
Poincare perturbation technique. Moreover, the first approximation appears to
provide good analytic approximations to the periodic solutions for large values of t
and arbitrary initial conditions.
Category II differential equations generally have limit cycles as the periodic
solutions. A detailed examination of Examples C and H shows that the first approx
imation of the harmonic balance method gives accurate values for the amplitude of
the fundamental harmonic term and the angular frequency provided that e is small.
As such, the calculated results are the same as those obtained by use of first-order
perturbation techniques.
y(0) = A, « = 0. (4.131)
(2) The first approximation of the method of harmonic balance, when applied
to Categories II and IV differential equations, generally gives the same result as
first-order perturbation procedures.
4.5.1 Example A
Section 4.3.1 gave the harmonic balance first approximation solution to the
differential equation
A possible second approximation form for the periodic solution to Eq. (4.132)
is
y2(<) = Ai cos 0 + A2 cos 30, (4.135)
where
9 = ut. (4.136)
Substitution of Eq. (4.135) into Eq. (4.132) and simplifying the resulting expression
gives
Hi(AuA2,u)cos8 + H2(A1,A2,u)co836 + KOK = 0, (4.137)
where
Hl=Ax \M-\7)MA
1
(4.138)
\4J * V2
K4J"
Hl(A1,A2,u:) = 0, (4.140)
H2(A1,A2,u>) = 0. (4.141)
(1.142a)
where
(1.142b)
166 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
If this value for CJ is substituted into Eq. (4.141), then, after some algebraic manip
ulation, the following equation is obtained for x:
This equation is cubic and therefore has three solutions. However, the root of
interest is the one for which
\x\ < 1, (4.144)
for this requirement forms the basis of the harmonic balance method. To proceed,
assume that such a solution, xs, exists, i.e., |x s | <C 1. Its approximate value can be
determined by neglecting the first two terms in Eq. (4.143). Solving the resulting
equation gives
xM - ^ r = 0.0476. (4.145)
To further improve this result, retain the quadratic term in Eq. (4.143) and solve
this equation to obtain
z' 2 ) = 0.0450, (4.146)
Y a 0.045. (4.147)
Thus, the amplitude of the higher harmonic is about 5% the value of the fundamen
tal amplitude. Comparison of the expressions for the angular frequency, UJ, given by
Eqs. (4.134) and (4.142a) shows that the inclusion of the higher harmonic increases
the value of u> by about 2%.
The second approximation to the solution of Eq. (4.132) is
w ~ 0.8507A. (4.150)
where en is the Jacobi elliptic function. The exact period of the oscillation is
m 7.4163
(4.154)
A '
which can be compared to the periods of the first (Tj) and second approximations
(T2)
7.2552 m 7.3859
T, = — ^ — , T2 = - j - . (4.155)
A Fourier expansion of the exact solution, Eq. (4.153), gives a ratio of the amplitudes
of the cos3w£ and coswi terms to be 0.0450778, as compared to the value given by
Eq. (4.147). These results show that the method of harmonic balance provides an
excellent approximation to the solution of Eq. (4.132).
, A-i cos 0
6 = U;t
(4.157)
^ = 1 + 5 ! cos20'
|COSe|=
©[© + © COS2e -(^) C ° S ^ + ■ (4.158)
3Bi
(1 + Bicos20) 3 |y|y i+ cos0
5
i' 175!
+ i+ cos30 + HOH (4.159)
and
115?
(1 + B1COS20)3C^- = -L>2A1 1+ 5
dt2
35i
+ 35j -1 cos30 + HOH (4.160)
Substituting of Eqs. (4.159) and (4.160) into Eq. (4.156), and equating the coeffi
cients of cos 8 and cos 30 to zero gives the two equations
m 8A2
i+
35i
5
17^!
= w 2 A, 1 + B i -
95?
115?2 1 (4.161)
1+ 35j (4.162)
157T
These are three equations for the three unknowns A\, B\, and u>. To obtain B\,
divide Eq. (4.161) by Eq. (4.162) and simplify the resulting expression. Doing this
gives the result
HARMONIC BALANCE 169
5 i ^ - ^ =-0.054. (4.164)
The angular frequency u> can be determined from Eq. (4.162) and is given by
the expression
,15TT
)[ ( l + ^ ) / (£a_3 B l ) Ai, (4.165)
'122\
A 1 ~ ^ ) - 4 = (0.946).4. (4.168)
,129 y
Substitution of all of these results into Eq. (4.157) gives the following expression for
the periodic solution of Eq. (4.156)
= (0.946)Acos(0.908v/ZQ
1 - (0.054) cos(1.816\/Zt)
Problems
4.1 Calculate the Fourier series for |cos#| for —7r < 6 < ir. Apply the theorems of
Section 4.2 to predict bounds on the rate of decrease of the Fourier coefficients.
4.2 Prove that in the Fourier expansion of the solutions to Eq. (4.35) only odd
harmonics appear if the conditions given by Eq. (4.36) hold.
170 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
4.3 Explain why for the first harmonic balance approximation the following form
should always be selected
yi(t) = A\ cos tut,
rather than
yi(i) = A\ coswt + B\ sinuit.
4.4 Construct the first approximation using harmonic balance for a conservative
oscillator if the initial conditions are
4.5 Apply the results of Problem 4.4 to Examples A, B, and E of Section 4.3.
4.7 Assume the parameters (a, j3,7) in the example of Section 4.3.8 are all of order
e. Use the Krylov-Bogoliubov method to verify the results obtained by the
method of harmonic balance.
<Py
*-Th\ (a)
<Py , 3
w+y =t
L i-y2J
(b)
4.9 Determine all the roots to the cubic equation given by Eq. (4.143).
4.11 Show that the exact period of Eq. (4.132) is given by Eq. (4.154).
HARMONIC BALANCE 171
4.12 Work out the details leading to Eqs. (4.159) and (4.160).
4.14 Determine first and second order approximations to the differential equation
§ + v+ { r ^ = o, *>0, g>0.
4.15 Analyze the number and type of limit cycles for the differential equations
^ + (<*-/V+7y4)^| + y + W 3 = 0 (a)
2
<Py"
dt2
... , ,. :>
ay + by = <-«r i <»
a, 6, c, d all positive. See reference [37].
4.16 Can the method of harmonic balance be applied to the systems discussed in
Sections 1.4.2 and 1.4.3? If so, construct the first approximation solutions.
4.17 Harmonic balance, when used in lowest order, leads to inconsistencies for non
linear conservative oscillators having mixed-parity terms. An example of such
an equation is [38]
-^ + ay + by2 + cy3 = 0.
Apply various harmonic balance approximations to this equation. What major
conclusion comes out of this effort?
References
12. K. Huseyin and R. Lin, Int. J. Non-Linear Mechanics 26, 727 (1991).
16. J. L. Summers and M. D. Savage, Phil. Trans. R. Soc. London A 340, 473
(1992).
18. J. Garcia-Margallo and J. Diaz Bejarano, J. Sound and Vibration 116, 591
(1987).
19. J. Garcia-Margallo, J. Diaz Bejarano, and S. Bravo Yuste, J. Sound and Vi
bration 125, 13 (1988).
21. J. Garcia-Margallo and J. Diaz Bejarano, J. Sound and Vibration 136, 453
(1990).
35. R. E. Mickens and M. Mixon, J. Sound and Vibration 159, 546 (1992).
36. J. B. Lewis, Trans. Am. Institute of Electrical Engineers, Part 7772, 449 (1953).
38. A. Venkateshwar Rao and B. Nageswara Rao, J. Sound and Vibration 170, 571
(1994).
Chapter 5
MULTI-TIME EXPANSIONS
5.1 Introduction
To illustrate the basic concepts, consider the equation for a linear oscillator
with small linear damping:
<Py . 0 dy
_ + 2 e _ + y = 0. (5.2)
where A and <j> are arbitrary constants. Observe that the time variable t appears
in either the combination et or (1 — e 2 ) 1/,2 t. The first combination determines the
decay properties of the amplitude, while the second combination is related to the
period of the free oscillations. Let
t = et, t+={l-e2yl\ (5.4)
174
MULTI-TIME EXPANSIONS 175
These results have been used by Cole and Kevorkian [2] to formulate a method
called the two-variable expansion procedure. It is assumed that a uniformly valid
asymptotic solution to Eq. (5.1) can be written as
m-l
y ( M ) = £ > * w ( M + ) + 0(em), (5.5)
where
t = et, (5.6a)
with the wjt being constants. The time derivative is transformed according to the
following equation:
| = e | + ( l + ^ 2 + ... + ^ m ) J F . (5.7)
The use of Eqs. (5.5), (5.6), and (5.7) transforms the original ordinary differential
equation into a partial differential equation.
Note that for the linear damped harmonic oscillator, the exact solution, given
by Eq. (5.3), depends explicitly on the variables to =t,t\ — et, t2 = e2t,..., as well
as e itself. Thus, a second version of the multi-time method can be constructed by
considering the time variables
In general, the time scale r„ is slower than i* where n > k. For this case, a uniformly
valid asymptotic solution is assumed to take the form:
m-l
y(t, e)=J2 e*Vt(*o, *i , . • • , * » ) + 0{em). (5.9)
t, s S»(e)l, (5-11.)
(5 Ilb)
S-I»K-
k=0 "
-
These expressions may be further generalized by using
tk = 6k(e)gk[nk(e)t], (5.12a)
- = Ys^^g'MW-Qf, (5-i2b)
where {/J*(e)} is another asymptotic sequence and {gk(x)} is a set of functions with
continuous first and second derivatives. The transformations of Eq. (5.12) allow for
linear as well as nonlinear time scales.
The two-time expansion procedure can also be generalized. For example,
Eqs. (5.6) and (5.7) can be generalized to the forms:
t = fi(€)t, (5.13a)
m
t+ =J2h(e)gMe)tl (5.13b)
fc=o
d
(5.13c)
k=0
dt+'
This chapter discusses the two-time expansion procedure in Section 5.2 and
the derivative expansion procedure in Section 5.4. Worked examples illustrating
the two methods are given in Sections 5.3 and 5.5.
Chapter 6 of the book by Nayfeh [1] gives an excellent summary of the method
of multi-times. It also contains many references to the research literature where
MULTI-TIME EXPANSIONS 177
5.2 T w o - T i m e Expansion
Assume that the solution to Eq. (5.1) takes the following form:
where
t - et, (5.15a)
Expanding this expression and collecting together terms of the same order in e,
gives
2-&+-(&+$)+-'(&+«&+$)+<*,>- (5 19)
-
To terms of order e 2 , the nonlinear function F has the following expansion:
"(4H(»-IF)
+< !
The differential equations satisfied by j/o(i + ,i), yi(t+,t), and J/2(^ + ; ^) can
be
obtained by substituting Eqs. (5.18), (5.19), and (5.20) into Eq. (5.1) and grouping
terms of the same power of e together. Setting the coefficients of the various powers
of e to zero, gives
Q$ + Vo = 0, (5.21)
+!
Equation (5.21) has the solution
where, for the moment, A0(t) and B0(t) are arbitrary functions of t. Thus, the
second term on the right-side of Eq. (5.22) is
_ 2 - ^ = _ 2 ^ c o s < + + 2 ^ s i n t + (5.25)
dt+dt dt dt
Let the original differential equation satisfy the initial conditions
y(0,e) = A, ^ = 0, (5.26)
where A is a constant. Using the results of Eqs. (5.14) and (5.19), the initial
conditions, in the new variables, are
dyo(0,0)
= 0, (5.27b)
dt+
^ ) + ^ | £ ) = 0 , (5.27c)
^ ^ + . 2 ^ 0 ) + ^ l = 0 . (5.27d)
+ +
OT OT at
In the next section, the two-time expansion method is applied to six examples
of differential equations having oscillatory solutions. Other worked examples can
be found in references [1, 3, 4, 5, 6, 7].
5.3.1 Example A
§+*§+» = »• <^8>
For this case, Eq. (5.22) becomes
g, + V l = _ 2 ( ^ + , 0 ) c o , i + (f + B o ), i D l + . (,30,
Eliminating the terms that produce secular terms in this last equation gives
^ + Ao=0, (5.31a)
at
^ + Bo = 0. (5.31b)
dt
The solutions to these equations are
where a0 and /?o are integration constants. These constants can be determined from
the initial conditions given by Eqs. (5.27). They are found to be
<*o = 0 , A, = A. (5.33)
yo = Ae~(cost+. (5.34)
Q^ + Vi = 0 , (5.35)
whose solution is
yi = Ai(t)smi+ + Bx(?) cost + . (5.36)
Substituting these expressions for t/0 and yi into the right-side of Eq. (5.23) gives
MULTI-TIME EXPANSIONS 181
or
32y2
+ y2 = -2 —~+Ai - ( 2 + W 2 J Ae-* cost*
dt+2
+2 l<+. (5.38)
The absence of secular terms in the solution for j/2 gives the following two equations:
+ S i = 0. (5.39b)
dt
The solutions to these equations are
where a\ and f}\ are integration constants. If Eq. (5.40a) is substituted into
Eq. (5.36), a secular term is obtained unless
«2 = " 2 - (5.41)
The constants ot\ and j3t can be determined from the initial conditions given by
Eqs. (5.27). They turn out to be
ax =A, px = 0, (5.43)
and, consequently, yx is
yx = Ae * s i n t + . (5.44)
182 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
y(t,e) = Ae-«
K)
This result is to be compared with the exact solution to Eq. (5.28), which is
2
t + e sin ( 1 - — | t + 0(e ). (5.46)
5.3.2 Example B
(5.48)
d2yi 0 d2yo 2
(5.49)
dt+2 ■ " dt+dt
and
d2 V2 d2y0 d2y0 „ d2y1
+ 2/2 = - 2 w : - —^--2 ■2y 0 yi. (5.50)
Qt+2 »< ' ft+2 Qp Qt+Qt
(5.52)
dt
a0 = 0 , p0 = A. (5.54)
/ 5J42\
A1(t) = A\u2 + — Jt + ai, (5.59a)
B,(t) = A , (5.59b)
where <*i and /?i are integration constants. The function yi will contain secular
terms unless
«-2 = - ^ - . (5-60)
184 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Thus, yl is
y1 = -
C2)
- (3 - 2cost+ - cos2t+),
&d the solution to Eq. (5.48) to terms of order e2 is
- cos2 [I - (g)c2]
+ t} 0(e2). (5.64)
5.3.3 Example C
Consider the nonlinear differential equation
and
MULTI-TIME EXPANSIONS 185
where ao and j30 are constants. The use of the initial conditions, given by
Eqs. (5.27), further requires that
a0 = 0, A, = A. (5.71)
y0 = A c o s r + . (5.72)
The differential equation for yi, with the conditions for elimination of secular
terms satisfied, is
0 — -(T) + ( T H + <"3>
The general solution to this equation is
A, , ( A2\ AT*.
dB x
0. (5.76)
dt
(5.77b)
where a\ and fa are integration constants. The first of Eqs. (5.77) will lead to
secular terms in y\ unless
"* = - ( ^ ) - (5-78)
Applying the initial conditions allows the determination of ay and fa. They have
the values
9
2A4 22
«i = 0 , fa = —. (5.79)
y(t, e) = A cos
®'MS){- ■3 + 4 cos 1 - -=r e
5.3.4 Example D
cPy
+ y + eys = 0, (5.82)
dt2
MULTI-TIME EXPANSIONS 187
dV. d2y0 3
(5.83)
d2 Vi dAp
+ Vi=- + (7)AIBQ + cost"1
dt+2 dt
A3 sint
+
+ (-j(A30 - 3A0B2)sm3t+ + C^j(B3 - 3A20B0)cos3t+. (5.84)
(5.85a)
at \o/
(5.85b)
at \o/
±(Al+B20) = 0, (5.86a)
A2+B2=A2 (5.86b)
where the initial conditions were used to evaluate the integration constant on the
right-side of Eq. (5.86b). Using this result, Eqs. (5.85) become
dAp dBp
-UJIBP, —Tzr =WlA0, (5.87)
dt dt
where
3A2
U>! (5.88)
where <f> is a constant. Substituting Eqs. (5.89) into Eq. (5.24) gives
Satisfaction of the initial conditions, as given by Eqs. (5.27), gives for (f> the value
v (5.93)
2
Consequently, to terms of order e, the solution to Eq. (5.82) is
5.3.5 Example E
An oscillator with nonlinear cubic damping has the following equation of mo
tion:
dt2
+ y+e
®f-
The function yi is a solution to the differential equation
0. (5.95)
d2Vi , 2
0 d y0 fdyo
2 + yi = - 2 (5.96)
dt+ ' •" " dt+dt \dt+
d2yi cos< +
dt+- ■ + Vi
2 + sini+
+ ^r {VA°Bo + [vBo
(^j){Al -3B2)cos3t+ + (^f)(3Al - B20)sin3t+. (5.97)
MULTI-TIME EXPANSIONS 189
The elimination of secular terms, in the solution for j/i, gives the two equations
dA
o , fi\ . , ,2 . „2
dJ +[^)Ao(Al + B20) = 0, (5.98a)
Vo(0,0) = A, ^ ^ = 0, (5.99)
consequently,
A0(0) = 0, B 0 (0) = A. (5.100)
Consider Eq. (5.98a) at i= 0. From the results of Eq. (5.100), it follows that
^ a - o . (5.101,
This last result, along with the results of Eq. (5.100), implies that
A0(t) = 0, (5.102)
and
^ + ( | V = 0. (5.103)
at \o/
The solution to Eq. (5.103), with the condition given by Eq. (5.100), is
B
° = ^TE- (5-104)
A cost
y«,0 = - / r. 1 i/2+°^- ( 5 - 105 )
190 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
5.3.6 Example F
^ +yi = _2|!^+|^_^^Y
Qt+2 ' « " -"gi+fi^dtf \3j\dt+J (5 107)
"
The substitution of y0, given by Eq. (5.24), into the right-side of Eq. (5.107) gives
9d2yi
V \dA0 fAl + A0Bj\] .
dBQ (AlB0 + Bl
)
- ( j f ) (Ag - 35 0 2 ) cos 3i+ + {^j {ZAl - B%) sin3t+ (5.108)
The elimination of secular terms requires that AQ and B0 satisfy the following
differential equations:
(5.109a)
(5.109b)
Letting t = 0 in Eq. (5.109a) and using the first result of Eq. (5.110), gives
dA0(0)
0. (5.111)
dt
A0{t) = 0, (5.112)
MULTI-TIME EXPANSIONS 191
and
dB
« = (?±y-Bl). (5.113)
dt
Integration of Eq. (5.113) gives
~ 1A
[A - (A - 4)e- T |
2 2
Thus, the first approximation to the solution of the Rayleigh equation, accord
ing to the two-time expansion method, is
/ ^ 2A COS t „,. ,
v(*,«) = 777 + 0 ( e ) . (5.115)
[A2 - (A 2 - 4 ) e - " ] 1 / 2
which is uniformly valid for all times is given by an asymptotic expansion having
the form
m
y(t,e) = ^ e * y t ( * o , * i , . • • ,*m) + 0 ( e m + 1 ) , (5.117)
ifc=o
where
tk = ekt. (5.118)
a-I/a;+<*"'>■ («")
/t=o
Using Eqs. (5.117) and (5.119) to calculate the first and second derivatives of y
where
Dk = -i-. (5.121)
dtk
The initial conditions
m = A, « = 0 , (5.122)
dt
become, if the calculation is only done to order e 2 :
ayo(o,o,o)
0, (5.123b)
dt0
ayx (0,0,0) %o (0,0,0)
+ = 0 (5 123c)
at„ dt, ' -
ay 2 (0,0,0) Aft (0,0,0) ayo(0,0,0)
+ + =0 (5 123d)
at 0 at, a*2 - -
The basic procedure for the derivative expansion method is to substitute
Eqs. (5.120) into Eq. (5.116), collect together terms of the same power of e and
set them equal to zero, and solve the resulting differential equations. These solu
tions will contain arbitrary functions of the variables i o , < i , . . . ,tm. However, these
functions can be determined by requiring that no secular terms appear.
The next section gives three examples to illustrate the derivative expansion
method. Other worked examples are given in references [1, 5].
5.5.1 Example A
<Pv « dy
-JL + y = -2e-. (5.124)
MULTI-TIME EXPANSIONS 193
Substituting Eqs. (5.125) and (5.120) into Eq. (5.124), and equating the coefficient
of each power of e to zero, gives the three equations
Dly0+y0 = 0, (5.126)
^ + A > = 0 , (5.131a)
at i
^ + B 0 = 0. (5.131b)
A0 = a0(t2)e-tl, (5.133a)
194 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Bo = A>(<2)e-(1, (5.133b)
and
(5.134)
yi = J 4 i ( t i , t 2 ) c o s i 0 + Bi(ti,t2) sin to-
If Eqs. (5.134) and (5.135) are substituted into the right-side of Eq. (5.128),
then the following differential equation is obtained for y2:
Secular terms can be eliminated in the solution for y2 if the following two equations
are satisfied:
dBl
+B - (5.137a)
dt2)e '
dt r + * - ( f + £)•-■ (5.137b)
Note that yi will have secular terms unless the right-sides of Eqs. (5.137) are zero.
Setting them equal to zero gives the following pair of differential equations for c*o
and /30:
dp0 __ a 0
(5.138a)
H^ ~ Y'
dap _ _ / ? 0
(5.138b)
dt2 ~ T*
These equations have the solution
a 0 ( t 2 ) = Cj cos f -% + A , (5.139a)
where C\ and <f> are constants. If Eqs. (5.139) are substituted into Eq. (5.135) and
use is made of the relation
(l
yo('o,<i,<2) = Cje cos ( « . - ! ) - ♦ ■ (5.141)
The application of the initial conditions, expressed in Eq. (5.123a), allows C\ and
<j> to be determined. They have the values Cj = A and <j> = 0. Therefore, the first
approximation to the solution to Eq. (5.124) is
ft
y{t , e) = Ae~ cos ( l - ^-) t + 0(e). (5.142)
5.5.2 Example B
Dlyo + Vo = 0 (5.144a)
Al+Bl
,.(-.£ + * 1 ")]} cos to
/ t e r m s that do not produce
(5.146)
+ secular terms )
196 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
The elimination of secular terms requires that A0 and B0 satisfy the following
equations:
,£-4-(4±*)
.1 A ' / A'l I D2\ 1
(5.147a)
dBo
2•> B -R
0 I _ [ " » ; ~» | . (5.147b)
^ ~
The functions A0(h) and B0(U) satisfy the following initial conditions
4 , ( 0 ) = A, flo(0) = 0. (5.148)
rfBo(O)
0. (5.149)
The results for B0(ti), given by Eqs. (5.148) and (5.149), imply that
B 0 (*i) = 0. (5.150)
ȣ-*(-3)- (5.151)
2 A cos t
tf(*> 0 = m + °(e)- (5.153)
5.5.3 Example C
dy _ fl\ (dy
dyY
+ y =e (5.154)
dt2 dt \3 dt)
MULTI-TIME EXPANSIONS 197
Dfoo + yo = 0, (5.155a)
The solution to Eq. (5.155a) is given by Eq. (5.145). Substituting this expression
for y0 into the right-side of Eq. (5.155b) gives
DQVI + Vi =
The requirement of no secular terms in the solution for yj gives the following two
equations for Ag and B0:
Ag + Bg
2 ^ -An (5.157a)
9dB° - R 1-
^ + -Bo2 (5.157b)
Note that Eqs. (5.147) and (5.157) are identical. Therefore, Ag and Bo are given,
respectively, by the results of Eqs. (5.152) and (5.150).
Therefore, the first approximation to the solution of the Rayleigh equation is
2A cos t
y(t, e) = r-p, + 0(e) (5.158)
2
[A + (4 - A2)e-«}1/2
Problems
5.1 Verify the results given by Eqs. (5.7), (5.10), (5.12b), and (5.13c).
5.2 Show that in the two-time expansion method yo, yi, and yi satisfy Eqs. (5.21),
(5.22) and (5.23).
198 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
5.3 Prove that the general solution to Eq. (5.21) is given by the result of Eq. (5.24).
5.5 Derive Eqs. (5.87) and show that they have the solutions given by Eqs. (5.89).
5.6 Show that the result given by Eq. (5.102) follows from Eqs. (5.98), (5.100), and
(5.101).
5.8 Derive Eqs. (5.126), (5.127), and (5.128) from Eqs. (5.124) and (5.125).
d2y „ dy
(a)
— +y = e(l-y)- (b)
2
dy 2 dy
+ y = ey (c)
-d¥ - H
<?y , , ,dy
-d¥+y = -e^li (d)
d2
y _L c\ i wdy
(e)
d2y
-dW + y = e
»"+($)' (f)
References
6.1 Introduction
Thus far, the book has considered planar dynamical systems that are modeled
by a second-order differential equation having the form
f+ . - * ( . . * ) .
dt2 (")
where F is a rational function of its arguments and e is a small positive parameter.
However, a general planar dynamical system can be represented by two coupled
first-order differential equations, i.e.,
J = /(*»y), (6-2a)
% = 9ix,y). (6.2b)
The elimination of one of the variables, in Eqs. (6.2), to give a single second-
order equation in the other variable usually leads to an expression that is rather
complex in form. For example, the two coupled first-order equations
dx
— = x - xy, (6.3a)
^ = -y + xy, (6.3b)
A direct comparison of Eqs. (6.3) and (6.4) indicates that the first-order system
may be preferable to work with than the single, second-order equation.
®O0
GENERAL SECOND-ORDER SYSTEMS 201
For many dynamical systems [1—7], a single parameter plays an important role
in characterizing the behavior of the solutions. In this case, the equations of motion
take the form
dx
-fi = f{x,y,fi), (6.5a)
-^ = 9{x,V,IJ), (6.5b)
where /z is a parameter. The following questions arise in the analysis of Eqs. (6.5):
(i) Where are the equilibrium states or fixed-points located and what are their
(linear) stability properties?
(ii) Do stable limit cycles exist and, if so, what are the approximate values for
their amplitudes and frequencies?
(iii) How do the properties of the fixed-points and the limit cycles change as
the parameter n is varied?
The main purpose of this chapter is to provide answers to these questions. The
next section examines the differential equations that model the oscillations in the
biochemical reaction of glycolysis. It is shown that a geometrical analysis of the
phase plane of the variables gives only two possibilities for the solution behaviors
to the differential equations. To proceed further in the analysis of these types of
equations, additional mathematical tools have to be introduced. Section 6.3 states
a form of the Hopf bifurcation theorem, which is then used to find the conditions for
which the glycolysis reaction has periodic solutions, i.e., a stable limit cycle exists.
In Section 6.4, a general procedure is given for determining the conditions under
which Eqs. (6.5) have a ''small" amplitude limit cycle and, if such a limit cycle
exists, its stability properties. The procedure combines the results of the Hopf
bifurcation theorem with that of an averaging method. Section 6.5 gives a "recipe"
for directly calculating the bifurcation parameter, and the amplitude and angular
frequency of any limit cycles. Finally, in Section 6.6, a number of worked examples
are given to illustrate the use of the procedure derived in Section 6.4.
202 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
The general behavior of these trajectories can be determined by finding the nullclines
to Eq. (6.7). Observe that dy/dx is zero on the curve yo(x), where
*(») = ~ ^ , (6-8)
Voo = — £ - j . (6.9)
a + xl
Figure 6.2.1 gives a sketch of the nullclines along with an indication of the regions
where dy/dx has a definite sign. Detailed examination of this figure shows that all
trajectories that originate in the first quadrant remain in the first quadrant. Also,
the Eqs. (6.6) have only a single fixed-point located at
s
= 6' v- —na ■ ( 6 - 10 )
a + bz
Figure 6.2.2 gives typical phase space trajectories that originate "far" from the fixed-
point. The behavior of these curves leads to the following conclusion: Trajectories
in phase space that start sufficiently far from the fixed-point, located at (x, y), spiral
in toward the fixed-point, i.e., no plane space trajectory that originates in a finite
portion of the first quadrant becomes unbounded.
203
Figure 6.2.2. Typical phase space trajectories for Eqs. (6.6) that originate far from
the fixed-point.
GENERAL SECOND-ORDER SYSTEMS 205
To complete this analysis, the behavior of trajectories near the fixed-point must
be determined. There are essentially two possibilities:
(1) The fixed-point, (x,y), is stable and all trajectories eventually end on it.
This corresponds to the fixed-point being a global attractor.
(2) The fixed-point, (x,y), is unstable. For this case one or more limit cycles
may exist.
Just which case occurs depends on the values of the parameters a and b. Fig
ure 6.2.3 illustrates these two situations. Figure 6.2.3a corresponds to the fixed-
point being stable; consequently, it is a global attractor. For Figure 6.2.3b, the
fixed-point is unstable. The figure drawn is for the case of a single, stable limit
cycle surrounding the fixed-point. If the limit cycles are nondegenerate, then, in
general, an odd number of limit cycles can occur. This type of geometrical analysis
will not allow the determination of the exact number of limit cycles.
The stability of the fixed-point can be found by applying linear stability anal
ysis. Let
x(t) = x + rn(t), (6.11a)
(6.12)
dt\n2) \Ml ^ 2 2 / V?2
where
An = _ l + - ^ _ , Al2=a + b2 , (6.13a)
a + bl
A u = — ^ , A 22 = - ( a + 6 2 ). (6.13b)
a + bl
206
Figure 6.2.3. (a) Fixed-point is a global attractor. (b) Fixed-point is unstable and
there is one stable limit cycle.
GENERAL SECOND-ORDER SYSTEMS 207
&4 + ( 2 a - l ) + a ( l + a ) "
T = trace A = — (6.14b)
a + b2
The two eigenvalues of A are
»72(i) = C 3 e A l ( - r C 4 e A 2 \ (6.16b)
where C3 and C\ are linear combinations of C\ and C 2 . Prom Eqs. (6.15), it follows
that if T > 0, then the eigenvalues have ''real parts" that are positive. If this is
true, then the perturbations, »?i(t) and ?72(i), grow with time. Consequently, the
fixed-point (x,y) is unstable. Likewise, if T < 0, the fixed-point is stable since the
magnitude of the perturbations goes to zero.
Equation (6.14b) shows that T is a function of the parameters a and 6. In terms
of a and b, the boundary curve separating the parameters for stable and unstable
fixed-point behavior is given by
T = 0, (6.17)
These functions define the two branches of a double valued function b2(a) in the
(a,b2) parameter plane. The function 6 2 (a) has the following properties:
(1) 6 2 (a) is defined only for 0 < a < 0.125.
(2) Everywhere in this interval of a values, except for a — 0.125, the function
2
6 (a) has two positive values. For example, at a = 0,
and at a = 0.125,
6^(0.125) = 6i(0.125) = 0.375. (6.21)
db\ 2
da fl[ 1 1J < 0,
^1 - 8a
(6.22a)
db2_ 2
! | > 0. (6.22b)
da Jl-8a
Thus, in the interval 0 < a < 0.125, 6+(a) has a positive slope, while b2_(a) has a
negative slope.
(4) Figure 6.2.4 provides a sketch of the general shape of the boundary curve
given by Eq. (6.18) or Eqs. (6.19). Evaluation of b2(a) at any point inside the
"fingertip" shaped region shows that T > 0 and consequently, the fixed-point is
unstable in this region of parameter space.
(5) If the fixed-point is unstable, then one or more limit cycles can exist. (See
Appendices G and I.) However, this analysis will not determine the precise number
of limit cycles or their approximate location in the phase space. To accomplish this
goal, more powerful mathematical tools must be used. One such tool is the Hopf
bifurcation theorem which is introduced in the next section.
209
Figure 6.2.4. General shape of the boundary curve given by Eq. (6.18). The fixed-
point is stable in the region outside of the "fingertip" shaped area.
210 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
f = /(*,y,^), (6.23a)
f = <K*,y,^ (6-23b)
where /i is a parameter whose value can be varied. The steady state or fixed-points
are obtained from the solutions to the equations
/(2,»,/0 = 0, s ( M , / i ) = 0, (6.24)
The essential content of the Hopf bifurcation theorem is that it predicts the appear
ance of a limit cycle about a fixed-point whenever the stability of the fixed-point
changes as the parameter JJ. is varied. Thus the theorem is of value for investigating
the conditions under which limit cycles can exist for Eqs. (6.23).
The Hopf bifurcation theorem, as it will be stated below, can be generalized
to N > 2 coupled, first-order differential equations. This generalization and the
associated formal proofs are given in the references [14-17]. A rather informal, but
excellent introduction to this theorem and some of its applications is presented in
reference [18].
^=fl(x,y,/x). (6.26b)
GENERAL SECOND-ORDER SYSTEMS 211
Assume that f(x,y,fi) and g(x,y,n) are continuous functions of (x,y,fi) and have
partial derivatives with respect to these variables. Assume that for each value of
H the equations have a fixed-point, [x(fi),y(ft)], that depends on fi. Define the
Jacobian matrix, evaluated at [x(^),y(/i)], to be
Ai l2 00 = a(/0 ± »&(/*). ( 6 - 28 )
Let there exist a value of fj, = fi*, called the bifurcation value, such that
and as fi is varied through /J,*, the real parts of the eigenvalues change signs, i.e.,
VTKIKIH, (6.31)
such that a single closed trajectory surrounds the fixed-point [x(fi),y(fi)]. (See
Figure 6.3.2.) This closed trajectory is a limit cycle. As \x is varied, the size, R(/J,),
of the limit cycle changes as
a0i)<x|/i-vi 1 / 2 . (6.32)
212 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
such that a single closed trajectory surrounds the fixed-point at [x(fi), J/(AO]- Similar
conclusions to those of case 2 hold for this situation.
This case is known as a subcritical bifurcation.
Comments
(i) For many applications, the functions f(x,y,fi) and g(x,y,fi) are analytic
functions of (x, y, n). Consequently, all the partial derivatives, with respect to these
variables, exist.
(ii) The theorem does not provide any information on the values of n\ and
\t-i- Consequently, the theorem, in general, holds only for values of fi close to the
bifurcation value /J,*.
(iii) In general, a(/j) ^ 0 and b(fj.) ^ 0, except for isolated values of (i. Thus,
the trajectories in phase space near the fixed-point will be either stable spirals, for
a((j.) < 0, or unstable spirals, for a((i) > 0. Consequently, the Hopf bifurcation
theorem predicts the appearance of a limit cycle about a fixed-point that changes
stability as the parameter fj. is varied.
(iv) For either the supercritical or the subcritical situations, the size of the
limit cycle increases continuously from zero for fi close to fi*\ see Eq. (6.32).
(v) For n close to ^t*, the angular frequency of the motion on the limit cycle is
given approximately by the expression
w = b(fj.*). (6.34)
213
Figure 6.3.1. At \i = fj,*, a center is created and infinitely many neutrally stable
closed trajectories surround the fixed-point.
214
Figure 6.3.2. An isolated limit cycle exists for fi satisfying either of the conditions
given by Eq. (6.31) or (6.33).
GENERAL SECOND-ORDER SYSTEMS 215
T
= W) = ^ ) + 0 i " ~ ^ (6 35)
-
where T(n) is the period.
(vi) Figures 6.3.3 and 6.3.4 illustrate what happens, respectively, for the cases
of supercritical and subcritical bifurcations when p, is near /J,*.
(vii) Finally, note that the Hopf bifurcation theorem does not, in general, allow
for the a priori prediction of the critical value for the bifurcation parameter.
6.3.2 Example
and
a(0) = 0, ^ = 1^0. (6.40)
Also, the real parts of the eigenvalues, a(/j), changes sign at \i = 0 and, for ft = 0,
the linear part of Eqs. (6.36) has a fixed-point that corresponds to a center. Thus,
216
Figure 6.3.3. A supercritical bifurcation as ft is varied: (a) stable spiral; (b) neu
trally stable closed trajectories; (c) stable limit cycle.
217
Figure 6.3.4. A subcritical bifurcation as y, is varied: (a) unstable spiral; (b) neu
trally stable closed trajectories; (c) unstable limit cycle.
218 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Since r > 0 and y2 > 0, then for p. > 0, r(t) obeys the condition
This result implies that all trajectories are repelled from the origin and go out to
infinity. Clearly, there are no closed trajectories for p > 0. Thus, the unstable
fixed-point is not enclosed by a stable limit cycle and the bifurcation cannot be
supercritical. The only other possibility is for the bifurcation to be subcritical, i.e.,
for p < 0, the stable fixed-point at (x,y) = (0,0) is enclosed by an unstable limit
cycle.
This section investigates the possible periodic solutions to the following system
of differential equations
dx ,
— =f(x,y,p), (6.44a)
^=g(x,y,P), (6.44b)
where p denotes the A^-parameters that characterize the system. In particular, the
conditions under which Eqs. (6.44) have a small amplitude limit cycle will be found.
To do this, the relevant bifurcation parameter must be determined in terms of the
GENERAL SECOND-ORDER SYSTEMS 219
parameters p. In addition, the calculations will give the period and amplitude of
the limit cycle along with its stability properties.
To begin, assume that x = y = 0 is a fixed-point of Eqs. (6.44). It is also
assumed that / and g are analytic about x = y = 0. This means that they can be
expanded in Taylor series to give the following results for Eqs. (6.44):
where all the indicated constants are known when / ( x , y) and g(x,y) are given. The
linear transformation [20]
where
(d -a)2 -i 1/2
0= - v " ."' -bebe , (6.47a)
4
a+ d
fl = (6.47b)
2 '
d—a
p= 2 , (6-47c)
when substituted into Eqs. (6.45) gives, after a long, but straightforward calculation,
the result
where the barred parameters are given in terms of the parameters of Eqs. (6.45) by
the following relations:
c 2 ft 2
c2 = (6.49c)
a3 = a3b2 + 30b3b+3c302
63 = - n 636 + 2c3/3 +
+
d30"<
m (6.49d)
(6.49e)
d30
c3 = n 2 c3 + (6.49f)
<*3 (6.49g)
c2/3
a20b + 20'b2 + -*£- - A2bl - 2bB20 - C202 (6.49h)
C2^
B j = - ( /362 I 6B 2 - C2/3 (6.49i)
6 )•
C2
-»(x C2 (6.49J)
d303
0[a3bz+30b3b+3c302 +
d30'
B3 = -0[b3b + 2c30 + + (B3b2 + 2C3b0 + D302), (6.49£)
d30
c 3 = n 0(c3 + ^)-(C3b + D30) (6.49m)
A-«■(*-&) (6.49n)
GENERAL SECOND-ORDER SYSTEMS 221
The parameter fi, given by Eq. (6.47b), is the bifurcation parameter for the (u,v)
differential equations [9]. Thus, ft and /? can be rewritten to show explicitly their
functional dependence on n, i.e.,
n(fi)=[-(n-a)2-bcf/\ (6.50)
de
— =ft+ rV>3 + r2V>4 + • • •, (6.53b)
where
<^4 = [a3 cos 3 0 + 363 cos 2 0 sin 0 + 3c~3 cos 0 sin 2 0 + d3 sin 3 0] cos 0
+ [A3 cos 3 0 + 3 5 3 cos2 0 sin 0 + 3C3 cos 0 sin 2 0 + £>3 sin 3 0] sin 0, (6.54c)
xpt = — [a3 cos 3 0 + 363 cos 2 0 sin 0 + 3c 3 cos 0 sin 2 0 + d3 sin 3 0] sin 0
+ [A3 cos 3 0 + 3B3 cos2 0 sin 0 + 3C3 cos 0 sin 2 0 + 5 3 sin 3 0] cos 0. (6.54d)
The differential equations for the (r, 0) variables are, in general, intractable since
the right-sides of these equations depend on both r and 0. However, very useful
equations can be obtained by applying an averaging procedure. To do this, first
222 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
note that the right-sides of Eqs. (6.53) are periodic in the variable 9 with period
2ir. Thus, averaging the right-sides over the 6 variable gives [10]
^ = n + Vi4r2 + 0 ( r 4 ) , (6.55b)
at
where
/ (f,3de = 0= / ipzdd, (6.56a)
Jo Jo
( i \ y2" /3\
^ = (2W / *4<w = I § J ^ + di + B*+ ^a)' (6 56b)
'
^4 = (h) J ^de = ( I ) ( ^ 3 + ^ - &3 - da)• (6.56c)
(The variables r and 6 in Eqs. (6.55) should be barred to indicate that they are
''averaged" quantities. However, the absence of bars should cause no difficulties.)
From bifurcation theory [14-17], it follows that
r = 0{^), (6.57)
z = r2 , (6.60)
dz r - n
— = 2fiz [1 + 4>4(p)s] , (6.63)
M < 1. (6.64)
This expression is correct to terms of order ft. Likewise, under the same assump
tions, Eq. (6.55b) becomes
d =m+
^ W)+tlMo)"- (6 65)
-
Consider now the differential equation given by Eq. (6.63). This equation has
two fixed-points; they are
h = 0, z2 = - j — . (6.66)
The equilibrium state, z.\ = 0, is unstable for ft > 0 and stable for ft < 0. With this
information, all of the possible solution behaviors for z{i) can be determined:
For this situation, the derivative of z{t) is positive for all z > 0; therefore, the
amplitude of the motion increases without bound.
224 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
1
zo = - &(0)' (6.67a)
1/2
ro = (6.67b)
.(0)
For this case, the derivative of z(t) is everywhere negative; hence, all solutions
decrease to zero, i.e., the origin is globally stable.
This situation corresponds to the equilibrium state being locally stable and the
limit cycle unstable.
A stable limit cycle exists only for Case 2. Consequently, the steady-state
periodic motion has the amplitude given by Eq. (6.67b) and an angular frequency
tj(ju) that can be determined by substitution of Eq. (6.67a) into Eq. (6.65), i.e.,
a &(0)"
w(/x) = ft(0) + fi (6.68)
fi(0) fc(0)
In summary, if Eqs. (6.45) have a limit cycle solution, then a first approximation
to this solution is
x(t) = br0 cos(ut + 60) (6.70a)
where r 0 and u are given, respectively, by Eqs. (6.67b) and (6.68). Observe that all
of these quantities are directly determined by the parameters in the original pair of
differential equations, namely, Eqs. (6.45).
6.5 T h e R e c i p e
This section gives a recipe for obtaining the value of all the factors in Eqs. (6.70)
directly from the parameters expressed in the original system of differential equa
tions, i.e., Eqs. (6.45). It should be emphasized that in the following procedure, at
each step, only terms to lowest order in fj, or its powers should be retained.
(1) From Eqs. (6.45), obtain the values of the relevant parameters: (a,b, c,d),
( a 2 , 6 2 , c 2 ) , (A2,B2,C2), ( a 3 , 6 3 , c 3 , d 3 ) , and {A3,B3, C 3 , D3).
(2) Calculate fi, /? and ft(0):
a+d
t* (6.71)
2 '
d—a
P 2 '
(6.72)
Mo) = -b3A3+ab2{3B3-a3)
8fi(0)
where 00 is a constant.
sciences.
dx
(6.80a)
dy_
(-x + ey) - ex2y, (6.80b)
dt
02 = 02 = C2 = 0 , (6.81b)
a3 = b3 = c3 = d3 = 0, (6.81d)
r 0 = 2, w = 1, (6.82b)
and
This equation is a large amplitude generalization of the van der Pol differential
equation. In system form, the equations are
dx
-^ = y, (6.84a)
x
M==-x - ++ 4i-^)y>
e
[T^ ( 6 - 84b )
where e and fi are positive parameters that satisfy the conditions
a2 = b2 = c2 = 0, (6.87b)
A2=B2 = C2 = 0, (6.87c)
Q3 = h = Ci = di = 0, (6.87d)
r„ = 2 - ^ , w = 1, (6.88b)
and
x(t) = 2i//Icos(t + #o), (6.89a)
This approximate solution agrees with the result of other calculations [22].
dx
— = -{AaP)y - [(Aa)xy + (Ap)y2} - Axy2, (6.90a)
where (.A, B,a,/3,7, e) are the system parameters. Again, comparison of these equa
tions with Eqs. (6.45) gives
By82 .
H = —J-, fi(O) = afiVAB, £1'(0) = 0, (6.92a)
T
o = ~ , u = ap*VAB- [23eJ — U, (6.92b)
OJ./I \ y A 1
and
x(r) = -2/3^/7 cos(wt + 0„), (6.93a)
X = 1, Y = ^. (6.95)
a
230 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
The transformation
X = 1 + x(t), Y = £ + y(t), (6.96)
a
when substituted into Eqs. (6.94), gives
Comparison of these equations with Eqs. (6.45) gives the following identifications:
= [ap-p2+2p-l]\ii=0. (6.100)
Consequently, ft(0) is
= -(y)[2(/3-l)-3a]|M=0. (6.103)
<0. (6.104)
**<°>—(T)
From the discussions given in Section 6.4, it follows that Eqs. (6.97) have a
stable, small amplitude limit cycle if
1 +
,-'-< ">>o, (6.105)
with fi "small." For this case, the equilibrium state, x(t) = 0 and y(t) = 0, is
unstable.
The quantity r 0 is
i/2 / o \ / . . \ 1/2
i"o =
.(0) =(M (6.106)
Therefore, using the parameter values of Eqs. (6.98) and the above ro, the solutions
x(t) and j/(t) are determined from Eqs. (6.78) and (6.79). They are given by the
following expressions:
1/2
c(t) = 2 cos (y/at + 0O) , (6.107a)
1 1/2
y{t) = - 2 cos (v'crf + 0O) - ( - ] (2/z) 1/2 sin (y/Zt + 0O) • (6.107b)
232 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
In terms of the variables in the original differential equations, i.e., Eqs. (6.94), the
solution can be written as
X{t)=l + x(t), (6.108a)
Problems
6.1 Show that Eq. (6.4) is equivalent to the two coupled first-order equations given
by Eq. (6.3).
6.2 Prove that the nullclines divide the first quadrant of the (x, y) plane as indicated
in Figure 6.2.1 and that in each region the derivative, dy/dx, has the indicated
sign.
6.3 State the Hopf bifurcation theorem for iV-coupled first-order differential equa
tions [24, 25].
6.5 Show that the linear transformation of Eq. (6.46) when substituted into
Eqs. (6.45) gives the results of Eqs. (6.48) and (6.49).
6.6 Derive Eqs. (6.53) and (6.54) from the transformation of Eq. (6.52).
6.8 Can the order \x term on the right-side of Eq. (6.68) be justified at this level of
the calculation? If yes, then why can it be included? If no, then why should it
not be included?
6.9 Derive the results for the first approximations to x(t) and y(t) given by
Eqs. (6.70).
6.10 Why is the phase space for the system of Eqs. (6.84) restricted to the region
given by Eq. (6.85).
6.11 Rewrite the solutions for x(t) and y(t), given by Eqs. (6.93), in terms of the
bifurcation parameter (JL of Eq. (6.92a).
GENERAL SECOND-ORDER SYSTEMS 233
6.12 Apply the Hopf bifurcation theorem to the glycolytic oscillator modeled by
Eqs. (6.6). Can a stable limit cycle exist? If so, what are the conditions for it
to exist?
6.13 The following equations model the chlorine dioxide-iodine-malonic acid reaction
[26]:
dx 4iy
dt = a — x — 1 + x2
$ = &* 1 -
dt 1 + x2
where a and 6 are positive. Show that this system has limit cycle in the first
quadrant (i.e., x > 0, y > 0) provided a and 6 satisfy certain restrictions. What
is the bifurcation parameter \i1 Calculate the limit cycle for small values of fi.
— = x[x(l -x)-y]
!Tt=y{x-a)
where x > 0, y > 0 and a > 0. Apply both geometrical techniques and the Hopf
bifurcation theorem to analyze the behavior of the solutions to this system.
References
13. E. Hopf, Ber. Verh. Sachs. Akad. Wiss. Leipzig, Math.-Nat., 95, 3 (1942).
15. J. E. Maxsden and M. McCracken, The Hopf Bifurcations and Its Applications
(Springer-Verlag, Heidelberg, 1976).
19. The statement of this theorem and the discussion that follows is based on
reference [5]; see pp. 341-344.
21. S. van der Pol and J. van der Mark, Nature 120, 363 (1927).
23. S. K. Scott, Chemical Chaos (Clarendon Press, Oxford, 1991). See pp. 60-61.
25. M. Farkas, Periodic Motions (Springer-Verlag, New York, 1994). See Section
7.2.
26. I. Lengyel, G. Rabai, and I. R. Epstein, J. Am. Chem. Soc. 112, 9104 (1990).
Appendix A
MATHEMATICAL RELATIONS
This appendix gives various mathematical relations that are used regularly in
the calculations of the text. The references listed at the end of this appendix contain
extensive tables of other useful mathematical relations and analytic expressions.
A . l Trigonometric Relations
e'z — e~'x
sinx= — (A.l)
e'i xi +I e„ - n
(A.2)
cos J x = ft
I - I (3 cos x + cos 3x) (A.8)
SK
APPENDICES 237
1
cos4 X = (3 + 4 cos 2x + cos 4x) A.10
fx±y\ (x=fy\
sin x ± sin y = 2 sin I cos —-— A.15
v 2 ; \ 2 J
(x + y\ (x — y\ A.16
o ■ fx + y\ . (x - y\
cos x — cos y = —2 sin I sin ( A.17
G)
cos x sin y = I - J [sin(x + y) — sin(x — y)] A.19
d_
(A.34)
dx cos x = — sin x
d
(A.35)
dx■ sin x = cos x
J 'sin xdx = I — I x —
" \2J~ \4j sin2x (A.38)
(a + b + c) 3 = a 3 + 63 + c 3 + 3a 2 (6 + c) + 36 2 (a + c) + 3c 2 (o + 6) + 6a6c (A.53)
a2 - 62 = (a - 6)(a + 6) (A.54)
A . 3 Quadratic Equations
3<Z-P2
(A.64)
, _ 3p 3 - Qpq + 27r
(A.65)
27
Let A and B be denned as
1/3
'b\ /ft 2 3 1/2
A = + a ^ (A.66)
,2) +
U 27J
B + (A.67)
\2J \4 27)
The three roots of Eq. (A.62) are given by the following expressions
xj =A + B, (A.68)
'A + B\ ,— (A-B
x2 = - I — ^ — +V=3 (A.69)
APPENDICES 241
Let
If A > 0, then there will be one real root and two complex conjugate roots. If
A = 0, there will be three real roots, of which at least two are equal. If A < 0,
there will be three real and unequal roots.
In addition, let ip{i) and <j>(t) be defined and have continuous first derivatives for
ti < t < <2- Then, for t\ < t < t2, we have
A (A.75)
<° J)
242 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
A
d e tr- AUO. (A.76)
c d — X
A2 - TX + D = 0, (A.77)
where
T = trace(A) = a + d,
Al =
(0[T+v/T2_4D]' (A79a)
References
3. E. Jaknke and F. Emde, Tables of Functions with Formulas and Curves (Dover,
New York, 1943).
B . l U n i f o r m Convergence
This sequence of functions then converges pointwise on the interval and f(x) is
called the limit function of the sequence.
The sequence {fn(x)} is said to converge uniformly to f(x) if, given any e > 0,
there exists a positive number N that depends only on e, such that
for all n > A" for every x such that a < x < b.
Consider the infinite series of real functions
$>,(*), (B.3)
1=1
each of which is defined on a real interval a < x < b. Consider the sequence {fn(x)}
ai partial sums of this series defined as follows
n
/„(*) = £«;(*). (B.4)
i=)
343i
244 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
The infinite series, Eq. (B.3), converges uniformly to / ( x ) , on a < x < 6, if the
sequence of partial sums {/ n (x)} converges uniformly to / ( x ) on this interval.
EM« (B-5)
n=l
oo
n=l
Let {un(x)} be a sequence of functions defined on a < x < b Assume that the
series
oo (B.7)
n=l
converges to a sum / ( x ) for a < x < 6, i.e.,
oo
f( ) = J2Un(x)-
x
n=l
T h e o r e m 1. Let each u„(x) be continuous for a < x <b. Then f(x) is continuous,
provided the series converges uniformly for a < x < b.
T h e o r e m 4. If the series
oo oo
are uniformly convergent for a < x < 6, and h(x) is continuous for a < x < 6, then
the following series are uniformly convergent for a < x < b
oo
oo
53fc(*)u„(i), (B.12)
B.4 P o w e r Series
£Cn*", (B.13)
n=0
246 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
a—R a a+ R
Figure B.l. Regions of convergence and divergence of a power series that converges
(B 17)
* = ££,ic^' -
APPENDICES 247
(5) A power series represents a continuous function within the interval of con
vergence.
(6) A power series can be integrated term by term within the interval of con
vergence.
(7) A power series can be differentiated term by term within the interval of
convergence.
oo
with convergence interval (a — R) < x < (a + R). This series is called a Taylor series
of f(x) at x = a if the coefficients C„ are given by
f("Val
J
Cn = —fA n = 0,l,2,..., (B.19)
n'.
oo oo
i a v e non-zero convergence radii and have equal sums whenever both series converge,
then the series are identical, i.e.,
(3) If a power series has a non-zero convergence radius and has a sum that is
identically zero, then every coefficient of the series is zero, i.e., if
oo
£C B ( x - a ) " = 0, (B.22)
n=0
then
Cn=0, n = 0,1,2,.... (B.23)
If a = 0, the Taylor series is called the Maclaurin series of f(x), i.e.,
n=0
T h e o r e m 7. Let
oo
F(x) = ^ C „ ( x - a ) » , (B.25)
n=0
oo
G(;r) = £ D„(x - a ) B , (B.26)
n=0
be convergent power series with radii of convergence R\ and R2, respectively, where
Then
OO
converges in the interval (a — R\) < x < (a + R\), and the coefficients kn are given
by
kn = C0Dn + C-i.D^-1 + C2Dn-2 + ■■■ + CnD0. (B.29)
Let f(x) be a real valued function denned for |x| < R, where R > 0, and
have all its derivatives exist. The kth. Taylor polynomial of f(x) is defined by the
expression
k
p^EE^a;^, (B.30)
i=0
APPENDICES 249
where
/«>(0)
(B.31)
Note that if f(x) is only s times differentiable, then the Taylor polynomials are only
denned for 0 < k < s. For this situation, f(x) can be written as
where Rk(x) is the remainder. The following theorem gives the Taylor theorem for
this case.
<0
/(*) = £ /
1=0
(0)
x' + Rk(x), (B.33)
Mk{R,) i*+l
\Rk(*)\ < (B.35)
L(fc+l)!j' ' '
wiiere
Mk(Ri) = Max{|/ ( f c + 1 ) (x)|} for \x\ < RL (B.36)
(x,y) = (a,6). Then f(x,y) can be expanded about the point (x,y) = (a,b) in a
Taylor series that takes the form
d2f(a,b) 2
5i (a; — aj
d2f(a,b) . ,,, nd
2
f(a,b), ,. ,,
+ •••. (B.37)
References
Let f(x) be a function that is defined on the interval — L < x < L and is such
that the following integrals exist:
where
an = f £ ) / % ( * ) cos ( ^ ) d z , (C.3)
K=
(i)fLfix)sin(^r)dx> (c 4)
-
is called the Fourier series of f(x) on the interval — L < x < L. The numbers {an}
and {&„} are called the Fourier coefficients of f(x).
A function / i ( x ) such that
If f(x) is initially defined only in the interval — L < x < L, then Eq. (C.6) can be
used to define it for all values of x, i.e., —oo < x < oo.
"251
252 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
C.2.1 Examples
is piecewise smooth on the interval —7r < x < 7r. The two subintervals are [—7r,0)
and (0,7r].
The function / ( x ) defined on the interval 0 < x < 5 by
x2, 0<x<l,
2-x, l<x<3, ,_, .
/(*) 1, 3 < x < 4, (C 8)
-
>-4)3/2, 4<x<5,
T h e o r e m 1. Let f(x), (1) be periodic of period 2L, and (2) be piecewise smooth
on the interval -L < x < L. Then the Fourier series of f(x)
Y + 2^ anCosf-^-J+6nsinf—J , (C.9)
where
an =
(i) [_ f{x)cos (rr)dx> (C10)
bn=
(l)fLf{x)sin(:T~)dx> (C11)
wiere /(xjj~) is the right-hand limit of f(x) at x0 and f(ig) is the left-hand hmit
of f(x) at xo- If f(xo) is continuous at i 0 , the value given by Eq. (C.12) reduces
to f(xo) and the Fourier series of f(x) converges to f(x0).
M
K\ + \bn\ < — . (C.13)
At a number of places in the text, the Fourier series is needed for a function of
two variables, F(u,v), where
Replacing u and v by the relations of Eq. (C.15), and using the trigonometric
relations given in Appendix A, the following result is obtained:
/a 2 -4\ . fa3\ . „
= ( — 7 — ) a s i n x + (— J s m 3 x . (C17)
References
256
APPENDICES 257
then
The symbol o is defined as follows: Let /(e) be a function of e and let g(e) be
a gauge function. Let there exist an eo > 0, and let, for every positive number 6,
independent of e, the following condition hold
for (D.7)
1/(01 < %(0I, M < eo,
then
/(e) = o[g(e)] as e -» 0. (D.8)
Lim = 0. (D.9)
£-*0 »(0
Let / ( x , e) be a function of x and e, and let g(x, e) be a gauge function. Then
D . 2 A s y m p t o t i c Expansion
oo
m=0
The expansion given by Eq. (D.14) may diverge. However, if the series is an
asymptotic expansion, then although Eq. (D.14) may diverge, for fixed n, the first
n terms in the expansion can represent y with an error that can be made arbitrarily
small by taking e sufficiently small. Thus, the error made in truncating the series
after n terms is numerically less than the first neglected term, namely, the (n + l)th
term.
Note, however, that given a function y(«), the asymptotic expansion is not
unique. In fact, y(e) can be represented by an unlimited number of asymptotic
expansions, since there exists an unlimited number of possible asymptotic sequences
APPENDICES 259
that can be used. However, once a particular asymptotic sequence is selected, the
representation of y(e) in terms of this sequence is unique. If y(e) has the asymptotic
expansion
oo
y(e) ~ Y, « m M 0 as t - 0, (D.16)
m=0
for a particular sequence {Sm(e)}, then the coefficients an are given uniquely by
a„ = L i m ^ b & ^ ) . (D.17)
e-o Sn(e)
D . 3 U n i f o r m Expansions
where
Rn(x,e) = 0[Sn(e)], (D.20)
uniformly for all x of interest. If these conditions do not hold, then the expansion
is said to be nonuniformly valid.
For the expansion to be uniformly valid, the term am(x)Sm(e) must be small
compared with the preceding term a m _ i ( x ) £ m _ i ( e ) for each m. Since
then am(x) can be no more singular than am_-i(x) for all values of x of interest, if
the expansion is to be uniform. This means that am(x)/am-i is bounded. Con
sequently, each term in the expansion must be a small correction to the preceding
term irrespective of the value of x.
oo
/(*,e)~£am0r)M*). (°-22)
m=0
oo
g(x,e)~ £ ] & m (aOMz). P-23)
m=0
D.4.2 Integration
AX °° [X
I f(x,e)dx~J2S"'(e) a
m{x)dx. (D.25)
•/xi m=0 Jx
i
ft °° /e
f(x,e)de~Tam(x) 6m(e)de. (D.26)
^0 m= n -/0
APPENDICES 261
D.4.3 Multiplication
where
m
cm(x) = J2 an{x)bm_n{x). (D.30)
n=0
D.4.4 Differentiation
/(*,e)~5>m(*)em, (D.31)
m=0
for all x in S. Under these conditions, the am[x) are analytic for x in S and
D.5 Examples
As e -> 0,
sine = 0(e) cose = 0(1)
As e -> 0,
sine = o(l) cose = o{e~1l2)
and
sin(x + e) = o ( e - 1 / 3 ) uniformly as e —> 0
=
I1 _ h + i f + ••■) s i n * + ( e _ sT + HI + ■")cosx
/e2\ fe3\
= sin x + e cos x — I — J sin x — I — 1 cos x + • • • (D.33)
For all values of x the coefficients of all powers of e are bounded. Consequently, the
expansion is uniformly valid.
Most of the calculational procedures given in the text are based on expansions
that take the following form
Observe that t occurs not only in the powers of e m , but also appears in the coef
ficients of these powers. A requirement is that this expansion be uniformly valid
for all x. This will be the case if all the coefficients remain bounded as e —> 0, for
fixed x. Such an expansion is called a generalized asymptotic power series. This is
a special case of the generalized asymptotic expansion
References
E . l Introduction
cPy dy
dt2 = f(y, dt , ) . (E.l)
dy\ _
(E.2)
dt ~ ■!/2>
dy2
(E.3)
dt = f(yi ,V2 ,*),
by means of the transformation (y,dy/dt) = (yi,y2)- A general system of coupled,
first-order differential equations is
dy_
■% = MvuV2,t), (E.4)
dt
265
266 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
defined in this interval, for which the following conditions are satisfied: (1) 4>i(t0) =
y° and <fo(*o) — J/2- (2) F°r ^ values oft in the interval, ti < t < t2, the point
P[4>i(t), <j>2(t),t\ belongs to the domain R. (3) The system of functions given by
Eq. (E.6) satisGes the system of differential equations (E.4) and (E.5). (4) The
solutions, given by Eq. (E.6), can be continued up to the boundary of the domain
R; that is, whatever closed domain Ri, contained entirely in R, there are values t'
and t", where
h<t' < t2, <i < t" < t3, (E.7)
such that the points P [ ^ ( t ' ) , ^ ( t ' ) . * ' ] and ^[^i(*")» fa(t"),t"] He outside Rt.
The solutions of Eqs. (E.4) and (E.5) depend on the initial conditions
(yJ,y2,<o)- Consequently, the solutions can be written as
yi = 4>i{iM,yl,yl), y% = ^ ( M o . y ? , ^ ) , (E.8)
with
The following theorems give information concerning the dependence of the solutions
on the initial conditions.
APPENDICES 267
T h e o r e m 2. Let
yi = fc(*,**.vi,v5). (E-iOa)
2/2 = &(*,**, yj.yj), (E.iob)
be a soiution to Eos. (E.4) and (E.5), defined for t in the interval, tx <t < t2, and
having the initial values
T i e n for an arbitrary positive e, there exists a positive number S = S(e, Ti, Tj) such
that for the values oft0, y° and y2 for which
the solutions
are defined for all values oft in the interval T\ <t<T2, and satisfy the inequalities
|^(*,<o,»;,yS)-^(*,<*,yI,i/5)|<e- (E-16)
T h e o r e m 3. If the functions fi(yi,yz,t) and f2{y\,y2,t) of Eqs. (E.4) and (E.5)
have continuous partial derivatives with respect to the variables j/i and y2 of order
up to n > 1, then the solutions to this system have continuous partial derivatives
with respect to y\ and y2 of the same order.
of its arguments in a neighborhood of every set of values for which the functions
Let the functions f\ and f2 depend on a parameter A. For this case, Eqs. (E.4)
and (E.5) become
% - = /i(yi,y a ,*,A), (E.17)
^=/a(Vi,tto,M). (E-18)
d<t>i{t,to,yly°2,\)
« = (1,2), i = (1,2), (E.20)
dy]
are also continuous functions of X.
References
F . l Basic Existence T h e o r e m
If F(t) = 0, then Eq. (F.l) is said to be homogeneous; if F(t) ^ 0, then Eq. (F.l)
is said to be inhomogeneous.
T h e o r e m 1. Let a0(t), a,\(t), a2(t) and F(t) be continuous on the interval a <t <
b, with ao(i) ^ 0 on this interval. Let t0 be a point of the interval a < t < b, and
let C\ and C2 be two real constants. Then there exists a unique solution y = <t>(t)
ofEq. (F.l) sucii that
and the solution is defined over the entire interval a < t < b.
u v dv
a0(t)~ + a1{t)^+a2(t)y = 0. (F.3)
Again, it is assumed that a0(t), a-i(t), and a2(t) are continuous on the interval
a <t < b and a0(t) / Oon this interval.
^70
APPENDICES 271
*(M = 0, ^ 2 = 0, (F.4)
The n functions /i(<), fi{i), ■ ■ ■, fn{t) are called linearly dependent on a < t < b
if and only if there exist constants C\, C2, ■ ■ ■, C„, not all zero, such that
Cj = C2 = ■ • ■ = Cn = 0. (F.8)
272 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
where Ci,C2,... ,Cn are arbitrary constants, is also a solution of Eq. (F.3) on
a<t<b.
T h e o r e m 2. There exists a set of two solutions of Eq. (F.3) such that the two
solutions are linearly independent on a <t < b.
Definition. Let / i ( t ) and /2(t) be real functions, each of which has a derivative
on a < t < 6. The determinant
hit) /»(*)
(F.10)
dfi(t) dh(t)
it dt
T h e o r e m 3. Let / i ( t ) and fi(t) be two solutions of Eq. (F.3) on a < t < b. Let
W(t) denote the Wronskian of f\(t) and f2(t). Then either W(t) is zero for all t on
a <t <b or W(t) is zero for no t on a < t < b. The Wronskian W{t) is zero if and
only if the two solutions f\{t) and /2(t) are linearly dependent on a < t < b.
T h e o r e m 4 . Let fi(t) and f2(t) be two linearly independent solutions ofEq. (F.3)
on a < t < b. Let W(t) be their Wronsia'an and let a < t < b. Then
F . 3 I n h o m o g e n e o u s L i n e a r Differential E q u a t i o n s
It is assumed that a&(t), aj(i), 02(1) and F(t) are continuous on a < t < b, with
a0(t) ^ 0 on this interval.
The Eq. (F.13) can be written as
Ly = F(t), (F.14)
T h e o r e m 6. Let v(t) be any solution of the inhomogeneous Eq. (F.13), and Jet
u(t) be any solution of the homogeneous equation
Ly = 0. (F.16)
The solution u(t) is called the homogeneous part of the solution to Eq. (F.13),
and v(t) is called the particular solution to Eq. (F.13). The homogeneous solution
274 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
u(t) will contain two arbitrary constants. However, the particular solution v(t) will
not contain any arbitrary constants.
T h e o r e m 7. Let
Ly = Fi(t), i = l,2,...,n, (F.17)
!=1
or v dv
+p{t) +q{t)v =m (F 20)
~d dt > -
where p(t), q(t), and f(t) are continuous functions for a < t < b. Assume that
two linearly independent solutions, yi(t) and 2/2(2) are known for the corresponding
homogeneous differential equation
where W(t0) = W(y1,y2,t0) is the Wronskian of yi(t) and y2(t) evaluated at i = t0,
a <t <b; C\ and C2 are arbitrary constants; and I(x) is
cPv dv ,„
a + a i + a 2 j / =0 (F24)
°^ i '
where the coefficients ao, a\, and a2 are real constants. The equation
is called the characteristic equation corresponding to Eq. (F.24). The two roots of
Eq. (F.25), mi and m 2 are related to the general solution of Eq. (F.24) as follows:
(1) Let mj and m 2 be real and distinct, i.e., mj =^ m 2 . The general solution
of Eq. (F.24), in this case, is
where ao, a%, and o 2 are constants and Q(t) has first and second derivatives for an
interval a < t < b. In general, if Q(t) takes the form of a sum of terms, each having
the structure
Rule 1. Let no term of Q(t) be the same as a term in the homogeneous solution
u(t). In this case, a particular solution of Eq. (F.29) will be a linear combination
of the terms in Q(t) and all its linearly independent derivatives.
The following example illustrates this rule. Consider the equation
^ f - 3 - ^ + 2y = 2 t e 3 ' + 3 s i n ( . (F.33)
m 2 - 3m + 2 = 0, (F.34)
and has solutions m.\ = 1 and m 2 = 2. Therefore, the solution to the homogeneous
equation is
u(t) = C1et+C2e2t, (F.35)
A = l, * - ( § ) , C = l , D - l . (F.38)
Rule 2. Let Q(t), in Eq. (F.29), contain a term that, ignoring constant coeffi
cients, is tk times a term u-i(t) of u(t), where k is zero or a positive integer. In this
case, a particular solution to Eq. (F.29) will be a linear combination of < i + 1 ui(t)
and all its linearly independent derivatives that are not contained in u(t).
As an illustration of this rule, consider the equation
contains the term exp(2t), which, ignoring constant coefficients, is t° times the same
term in the homogeneous solution, Eq. (F.35). Hence, v(t) must contain a linear
combination of texp(2£) and all its linearly independent derivatives that are not
contained in u(t). Consequently, v(t) has the form
Note that exp(2i) is not included in Eq. (F.43) because it is already included in u(t).
Substituting Eq. (F.43) into Eq. (F.41) and setting the coefficients of the various
linearly independent terms equal to zero allows the determination of A, B, C and
D. They are
A = l, 5 = 3, C=7-, D = 3, (F.44)
References
G . l Limit Cycles
dy\ _
V2, (G.2)
dt
dy% _
dt
-yi + eF(Vi: . 1 / 2 ) , (G.3)
where yi = y. The (yi,y2) plane is called the phase plane. The trajectories in the
phase plane, i.e., y% = yziyi), are solutions to the first-order differential equation
dyi = -yi+eF(yi,y2) .
dy\ 2/2
Solutions of Eq. (G.4) that are simple closed curves correspond to periodic solutions.
Such isolated closed curves are called limit cycles. More precisely, a limit cycle is a
closed trajectory in the (j/i, j/2) phase plane such that no trajectory sufficiently near
it is also closed. A detailed discussion of the nature and properties of limit cycles
is given in the books by Minorsky [6] and Farkas [10].
Every trajectory beginning sufficiently near a limit cycle approaches it either
for t —> co or t —> —00. (See Figure G.l.) If all nearby trajectories approach a limit
280"
APPENDICES 281
cycle C as t —> oo, then the limit cycle is stable. If all nearby trajectories approach
a limit cycle C as t —+ —oo, then the limit cycle is unstable. In the case where
trajectories on one side of C approach it, while those on the other side depart from
it, the limit cycle is semistable. FVom a practical point of view, semistable limit
cycles are unstable.
The problem of the determination of limit cycles is fundamental in the theory
of oscillations of nonlinear nonconservative systems. These are the only kinds of
systems in which limit cycles can exist. The matter of determining the presence of
limit cycles for a given differential equation is a very difficult problem that can be
solved by direct methods only in a few special cases.
g + / ( y ) | + ,(y) = o, (G.5)
where f(x) and g(x) are differential functions. (1) Let there exist j/i > 0 and y2 > 0
such that
/(y) < 0 for - yi < y < y 2 , (G.6)
(3) Let
/ g(y)dy = oo, (G.8)
Jo
,-oo
/ g(y)dy = oo, (G.9)
Jo
/ f{y)dy = oo. (G.10)
Jo
282
Figure G.l. (a) Stable limit cycle; (b) unstable limit cycle; (c) semi-stable limit
cycle.
APPENDICES 283
(4) Let
Under these conditions Eq. (G.5) has an essentially unique periodic solution.
(G 14)
§ + >("*)§+*>-. '
and established the existence of at least one limit cycle under certain conditions.
T h e o r e m 2. Assume
yg(y) > 0 for \y\ > 0; (G.15)
/(0,0)<0; (G.16)
/•OO /* — OO
Under these conditions, there exists at least one limit cycle for Eq. (G.14).
Levinson and Smith have also established the uniqueness of the periodic solu
tion when further restrictions on the functions f(y, v) and g(y) are satisfied.
References
10. M. Farkas, Periodic Motion (Springer-Verlag, New York, 1994). See Chapter 3.
Appendix H
S T A B I L I T Y OF LIMIT C Y C L E S
H . l Introduction
£+■-"(-I) <«•«
where e is a positive parameter, usually taken to be small, and F is a nonlinear
function of its arguments. The function F does not depend on the independent
variable t. Such differential equations are called autonomous.
In a typical initial-value problem x and dx/dt are to be determined at time t
when these two quantities are given at time t0.
Equation (H.l) can be reduced to a system of two first-order differential equa
tions by using the new variable
, - | . (H.2)
^ = -x + eF(xty). (H.3b)
In the (x,y) plane, called the phase plane (see Appendix G and references therein),
x is, in general, a measure of a "displacement" and y is a measure of the "velocity''
of the displacement.
The Eqs. (H.3) can be generalized to the set
dy Q{x,y)
(H.5)
dx P(x,y)
285
286 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
F1(x,y,C) = 0, (H.6)
where C is the integration constant. A plot of this equation for various values of
C gives rise to a family of curves called integral curves. If the initial conditions are
x(t0) = x0 and y(t0) = y0, it follows that the integral curve must pass through the
point P(x0,y0). For t > t 0 , the point P[x(t),y(t)] traces out a path denned by the
curve Fi[x(t),y(t),Ci] = 0, where C\ is the value of the constant C at t = t0, i.e.,
F1(x0,y0,C1) = 0.
The references listed at the end of this appendix give detailed discussions of
the existence, uniqueness, and continuity properties of the first-order system of
Eq. (H.4).
A limit cycle is an isolated closed integral curve L that has the important
property that all integral curves in its neighborhood either spiral toward or away
from it. (See the discussion in Section 1 of Appendix G.) Limit cycles correspond
to periodic solutions of Eq. (H.4) in the phase plane.
This appendix is concerned with the question of the stability of the limit cycles
that may exist for Eq. (H.4). The procedure given here follows closely the method
of Davies and James [1, 2].
The notion of stability used here is the following: If a moving point in the (x, y)
plane is subject to Eq. (H.4) and starts at time t = t0 from a point (xo,yo) that is
sufficiently close to a limit cycle L, then as t —► oo, the moving point tends to the
limit cycle. This type of stability is called asymptotic stability. The limit cycle is
unstable if the moving point moves farther from the limit cycle as t —> oo.
H.2 S t a b i l i t y C o n d i t i o n
where £(i) and 77(1) are assumed initially to be small as compared, respectively, with
4>(t) and xp(t). Substitution of Eq. (H.8) into Eq. (H.4) gives
and
=
rf^ & ^+ dy "' (H
-Ha)
where Aj, B\, A2, and B 2 are arbitrary constants. This result follows from the fact
that since £i(i) and ^2(t) are two linearly independent solutions, any other solutions
can be written as a linear combination of them.
Given £i(t) and £2(t), the solution 771(f) can be deduced from Eq. ( H . l l a )
in terms of £i(t), and 772(f) in terms of (,2(t). Consequently, the same constants
(Ai,Bi,A2,B2) will appear in the equations for 771(7; + 27r) and 772(1 + 27r), i.e.,
#(t) = a 1 { 1 ( t ) + / 9 1 f a ( t ) , (H.14)
where c*i and /?i are constants. Consider now the case where £ = 6{t) satisfies the
condition
0{t + 2TT) = k$(t), (H.15)
or
Ai — k A2
= k2 - (A1 + B2)k + (AiBt - A a B i ) = 0. (H.19)
Bi B2 - k
When Ai, A2, B\, and B2 are known, Eq. (H.19) can be solved to determine k.
Since Eq. (H.19) is of second degree, there will be two solutions for k, which can be
written in the following form:
The fi\ and fi2 are called characteristic exponents. It follows that there exist two
functions 6{i) such that
81(t + 2n) = e2"»i01(t), (H.21a)
or
e-"i(«+2»)0j(* + 2TT) = e-^e^t). (H.22b)
*»(*) = e « 7 a i ( t ) . (H-23b)
The two linearly independent solutions for Jj(f) will also be of the form
where /i2(f + 27r) = /12(f) and fM(t + 2TT) = /22(f)- Note that, in general, £(f)
and 77(f) are not periodic functions in f. If these functions are substituted into
Eq. (H.lla) and simplified, then the following two equations are obtained:
dfn , , dP dP
+ //l/ll = /ll +
^T ^ ^/l2' (H 26a)
-
^ + ,2/21 = f/21 + f/2, (H.26b)
Solving for dP/dx gives
!h+~dy~ =
7t [ l o s(/»/22 - /12/21)] + Mi + M2- (H.30)
APPENDICES 291
r(£+f)^2^+^ (H 3I)
-
since the log term in Eq. (H.30) integrates to zero because the fij(t) are periodic
functions of t with period 2-K. Hence, the sum of the two characteristic exponents
an
Since C\ and C2 are not both zero, and since (£1,6) ^ ( ' / l i ^ ) are linearly
independent, it follows from Eqs. (H.36) and (H.37) that either ^ or (J,2 must
vanish.
It is easy to show that Eq. ( H . l l ) has at least one periodic solution, and as a
consequence of the previous result one of its characteristic exponents is zero.
To show this, note that
d£ dP dx dP dy dP „ dP n DP , DP
-dt=lx-M+-dy-li =
-dX-P+-^Q=-dX-li+-Qy-r1, (H.39a)
From Eqs. (H.24) and (H.25), it follows that the criterion for stability or instability
of the periodic solution
Note that the integrand in Eq. (H.40) is evaluated at x = <j>(t) and y = V'(r)-
APPENDICES 293
For nonlinear differential equations of the form given by Eq. (H.l), the condition
for stability is
■ fM^q (H.43)
Jo oy
If the period of oscillation is T rather than 2ir, then the condition for stability
becomes
Jo oy
where y = x = 4>{t).
Often a "first approximation" to the solution to Eq. (H.l) is
To illustrate the procedure, consider the van der Pol differential equation
where
F(x,y) = (l-x2)y. (H.48)
Therefore,
dF x 2
( 'y) =i- x = l-4cos2i = -l-2cos2t, (H.50)
dy
and
/■27T
r2ir ftp t"
e I lf-dt
d
= -e (l + 2cos2t)di = -2Tre<0. (H.51)
Jo y Jo
294 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
The conclusion reached is that the above periodic function, Eq. (H.49), corresponds
to an approximation to the stable limit cycle of the van der Pol equation.
References
I.l Introduction
Essentially all of the differential equations considered in this book can be rep
resented as a system of two coupled first-order equations, i.e.,
dy_ _ Q{x,y)
(
dx p(x,yy ->
The general solution to Eq. (1.2) is often called a first-integral of the system given
by Eq. (1.1).
The simplest solutions to Eq. (I.l) are the constant solutions, x(t) = x and
y(£) = y. They correspond to the fixed-points of this equation and are obtained by
solving the equations
P(x,y) = 0, Q(x,y)=0. (1.3)
:
2S5 V
296 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
However, there does exist an abundance of other planar phase space models that
have multi-fixed-points [1, 2, 3, 4, 5].
The purpose of this appendix is to give a brief introduction to the use of
qualitative techniques to obtain information on the trajectories in the (x,y) phase
space for the various types of differential equations considered in this book. More
detailed procedures and their mathematical justification are presented in the various
references listed at the end of this appendix. Appendix A.3 of Segel's book [5]
provides one of the best introductions to this topic.
(1) Determine the fixed-points of Eq. (1.1). These correspond to the solutions
of Eq. (1.3).
(2) Calculate the x nullcline, the curve in the phase plane along which dy/dx =
oo, by solving
P[x,Voo(x)]=0, (1.4)
for yx = yoo(x)-
(3) Calculate the y nullcline, the curve in the phase plane along which dy/dx =
0, by solving
Q[x,y0(x)]=0, (1.5)
for y0 = yo(x)-
C o m m e n t . Note that the x and y nullclines intersect at the fixed-points. Also,
they, in general, are not solutions to Eq. (1.2).
(4) The x and y nullclines divide the phase plane into several open regions. In
each region the sign of dy/dx is fixed, i.e., in a given region, dy/dx is bounded and
either positive or negative. The next step is to determine the sign of dy/dx in each
region. This can usually be done in a rather direct fashion.
APPENDICES 297
(5) Start at a carefully selected point in the phase plane and sketch the trajec
tory passing through that point. Repeat this procedure for several other starting
points.
(6) It may be of value to examine the behavior of trajectories in the neighbor
hood of a fixed-point. A linear approximation to Eq. (I.l) will usually provide this
information [1, 2, 5].
C o m m e n t . Almost all of the systems considered in this book will have the relevant
fixed-point being either a neutral center or a stable or unstable spiral. See Figure I.l.
1.3 Applications
The first two examples are conservative oscillators [6]. They can be represented
by the form
g + / W = 0. (1.6)
- = y , ^ = -/(*), (L7)
dy f(x) (1.8)
dx y
Observe that the x nullcline is the i-axis, while the y nullcline correspond to the
isolated solutions of
/(*)=0. (1.9)
{x n }, n = l,2,...,7V, (1.10)
then the fixed points all lie on the i-axis and are given by
y2
Y + V(x) = E = constant, (1.12)
Equation (1.12) is called the first-integral of Eq. (1.6) and, generally, provides an
implicit functional representation for the phase space trajectories. The constant E
depends on the initial conditions, i.e., if x{t0) = x0 and y(t0) = y0, then
Example 1.3.1.
cPx ,
3
^+* = 0. (1.15)
v2 X*
y
J + ^ = E>0. (1.16)
This latter equation defines a family of closed oval shaped curves in the phase plane.
Larger values of E correspond to larger oval curves. (See Figure 1.2.) The conclusion
is that for whatever set of initial conditions, the solutions to Eq. (1.15) are periodic.
Example 1.3.2.
J-* + * 3 =0 (1.17)
300
Figure 1.2. Plots of Eq. (1.16) for various values of E. Note that E^ < E2 < E3.
APPENDICES 301
dx dv ,
Observe that for this oscillator there are three fixed-points located at (x,y) =
{ ( - 1 , 0 ) , (0,0), (1,1)}. The first integral is
v2 x2 I4
Examination of this equation shows that while all the phase space curves are closed
and thus all solutions are periodic, the general topology of the phase space is more
complex than that for Eq. (1.15).
Figure 1.3 gives a sampling of phase space trajectories for this system. The
fixed-points are indicated by heavy dots. The figure-eight shaped trajectory sep
arates the phase space into three regions. Inside each of the lobes, the trajec
tories encircle a fixed-point. For example, the left lobe contains the fixed-point
(x,y) = (—1,0) and the right lobe (x,y) = (1,0). Note that the two lobes both
start at the fixed-point (x,y) = (0,0) and return there. This type of trajectory
is called a homoclinic trajectory. A simple calculation shows that his homoclinic
trajectory corresponds to E = 0. For
the closed trajectories are confined to the interior of one of the lobes. For a given
value of E in this interval, there exists two periodic motions. For E > 0, the closed
trajectories enclose both fixed-points.
Example 1.3.3.
g + . - e d - , - ) £ , ,>0. (1.21)
302
Figure 1.3. Plots of Eq. (1.19) for various values of E. The fixed-points are indi
cated by the heavy dots.
APPENDICES 303
dx
Tt = y, (1.22a)
^ = -x + e(l-x2)y. (I.22b)
There is a single fixed-point at (x,y) = (0,0). The trajectories in phase space are
determined by the first-order differential equation
dy _ -x + e(l - x2)y
(1.23)
dx y
From Eqs. (1-22), it follows that the x nullcline is the x-axis, while the y nullcline
is the curve yo{x) given by the expression
The x and y nullclines separate the phase plane into six open regions. These regions,
as well as the sign of dy/dx in each region, is shown in Figure 1.4.
Figure 1.5 shows the path of two typical trajectories, one starting far from the
fixed-point and the other near the fixed-point. The path of the trajectory far from
the fixed-point is drawn using information on the sign of the derivative dy/dx in
each region and the fact that the trajectory has unbounded slope whenever it passes
through the x-axis and zero slope whenever it passes through the y nullcline. The
trajectory near the fixed-point is determined by examining the linearized form of
Eq. (1.22), namely,
dx d
y , n OKA
=y
Tt ' Tt=-x + ey
- (L25)
aFigure 1.4. The curves are plots of the y nullcline yo(x) given by Eq. (1.24).
305
Figure 1.5. Typical trajectories for the van der Pol equation.
306 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
implies a limit cycle, the general conclusion is that the van der Pol equation has at
least one stable limit cycle. The total number of limit cycles cannot be determined
from these qualitative geometric arguments.
References
307
308 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Bush, A. W., Perturbation Methods for Engineers and Scientists (CRC Press, Boca
Raton, FL, 1992).
Bogoljiubov, N. N., Ju. A. Mitropoliskii, and A. M. Samoilenko, Methods of Ac
celerated Convergence in Nonlinear Mechanics (Springer-Verlag, New York,
1976).
Cesari, L., Asymptotic Behavior and Stability Problems in Ordinary Differential
Equations (Springer-Verlag, Berlin, 1959).
Coddington, E. A. and N. Levinson, Theory of Ordinary Differential Equations
(McGraw-Hill, New York, 1955).
Cole, J. D., Perturbation Methods in Applied Mathematics (Blaisdell, Waltham,
MA, 1968).
Davies, H. T., Introduction to Nonlinear Differential and Integral Equations (Dover,
New York, 1962).
Davies, T. V. and E. M. James, Nonlinear Differential Equations (Addison-Wesley,
Reading, MA, 1966).
de Figueiredo, R. P., Contribution to the Theory of Certain Nonlinear Differential
Equations (Lisbon, 1960).
Fedoryuk, M. V., Asymptotic Analysis (Springer-Verlag, Berlin, 1993).
Giacaglia, G. E., Perturbation Methods in Nonlinear Systems (Springer-Verlag,
New York, 1972).
Glendinning, P., Stability, Instability and Chaos (Cambridge University Press,
Cambridge, 1994).
Greenspan, D., Theory and Solution of Ordinary Differential Equations (Macmil-
lan, New York, 1960).
Hurewicz, E., Lectures on Ordinary Differential Equations (Wiley, New York,
1958).
Ince, E. L., Ordinary Differential Equations (Dover, New York, 1956).
Lefschetz, S., Differential Equations, Geometric Theory (Interscience, New York,
1957).
Murdock, J. A., Perturbations: Theory and Methods (Wiley-Interscience, New
York, 1991).
Nayfeh, A. H., Perturbation Methods (Wiley, New York, 1973).
Nemytskii, V. and V. Stepanov, Qualitative Theory of Differential Equations (Prince
ton University Press, Princeton, NJ, 1959).
BIBLIOGRAPHY 309
N o n l i n e a r Oscillations
Andronov, A. A. and C. E. Chaikin, Theory of Oscillations (Princeton University
Press, Princeton, NJ, 1949).
Andronov, A. A., A. A. Vitt and S. E. Khaikin, Theory of Oscillators (Addison-
Wesley, Reading, MA, 1966).
Bobylev, N. A., Y. M. Burman and S. K. Korovin, Approximation Procedures in
Nonlinear Oscillation Theory (Walter de Gruyter, Berlin, 1994).
Bogoliubov, N. N. and Y. A. Mitropolsky, Asymptotic Methods in the Theory of
Non-linear Oscillations (Hindustan Publishing, Delhi, 1961).
Butenin, N. N., Elements of the Theory of Nonlinear Oscillations (Blaisdell, New
York, 1965).
Cunningham, W. J., Introduction to Nonlinear Analysis (McGraw-Hill, New York,
1958).
Dinca, F. and C. Teodosiu, Nonlinear and Random Vibrations (Academic, New
York, 1973).
Farkas, M., Periodic Motions (Springer-Verlag, New York, 1994).
Haag, J., Oscillatory Motions (Wadsworth, Belmont, CA, 1962).
Hale, J. K., Oscillations in Nonlinear Systems (McGraw-Hill, New York, 1963).
Hartog, J. P. D., Mechanical Vibrations (McGraw-Hill, New York, 1956), 4th ed.
Hayashi, C., Forced Oscillations in Nonlinear Systems (Nippon Printing, Osaka,
Japan, 1953).
Hayashi, C., Nonlinear Oscillations in Physical Systems (McGraw-Hill, New York,
1964).
310 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Applications
Ames, W. F., Nonlinear Ordinary Differential Equations in Transport Processes
(Academic, New York, 1968).
Beltrami, E., Mathematics for Dynamic Modeling (Academic, Boston, 1987).
Blaquiere, A., Nonlinear System Analysis (Academic, New York, 1966).
Edelstein-Keshet, L., Mathematical Models in Biology (McGraw-Hill, New York,
1987).
Gray, P. and S. K. Scott, Chemical Oscillations and Instabilities (Clarendon Press,
Oxford, 1990).
Hughes, W. L., Nonlinear Electrical Networks (Ronald Press, New York, 1960).
Ku, Yii-hsiu, Analysis and Control of Nonlinear Systems (Ronald Press, New York,
1958).
Meirovitch, L., Elements of Vibration Analysis (McGraw-Hill, New York, 1975).
Minorsky, N., Introduction to Nonlinear Mechanics (J. W. Edwards, Ann Arbor,
MI, 1947).
BIBLIOGRAPHY 311
20. "Perturbation Procedure for the van der Pol Oscillator Based on the Hopf
Bifurcation Theorem," Journal of Sound and Vibration 127, 187 (1988).
21. "Construction of a Perturbation Solution for a Nonlinear, Singular Oscillator
Equation," Journal of Sound and Vibration 130, 513 (1989).
22. "A Difference-Equation Model of the Duffing Equation," with 0 . Oyedeji and
C. R. Mclntyre, Journal of Sound and Vibration 130, 509 (1989).
23. "Investigation of the Mathematical Properties of a New Nonlinear Negative
Resistance Oscillator," Circuits, Systems and Signal Processing 8, 187 (1989).
24. "Calculation of the Transient Behavior for a Nonlinear, Singular Oscillator
Equation," Journal of Sound and Vibration 134, 187 (1989).
25. "Symmetry Properties of van der Pol Type Differential Equations and Im
plications," with W. E. Collins, Journal of Sound and Vibration 136, 352
(1990).
26. "Calculation of the Oscillatory Properties of the Solutions of Two Coupled,
First-Order, Nonlinear Differential Equations," Journal of Sound and Vibra
tion 137, 331 (1990).
27. "Investigation of Finite-Difference Models of the van der Pol Equation," in
Differential Equations and Applications, editor A. R. Aftabizadeh (Ohio Uni
versity Press; Columbus, OH; 1989); pp. 210-215.
28. "Investigations of the Conditions for Oscillations in Two-Variable Models of
Biological Processes," BioSystems 24, 31 (1990).
29. "Failure of the Method of Slowly Varying Amplitude and Phase for Nonlinear,
Singular Oscillators," with I. Ramadhani, Journal of Sound and Vibration
152, 180 (1992).
30. "Investigation of an Anti-Symmetric Quadratic Nonlinear Oscillator," with
I. Ramadhani, Journal of Sound and Vibration 154, 190 (1992).
31. "Application of Generalized Harmonic Balance to an Anti-Symmetric Quad
ratic Nonlinear Oscillator," with M. Mixon, Journal of Sound and Vibration
159, 546 (1992).
32. "Harmonic Balance: Comparison of Equation of Motion and Energy Meth
ods," with S. Hiamang, Journal of Sound and Vibration 164, 179 (1993).
33. "Construction of a Perturbation Solution to a Mixed Parity System that Sat
isfies the Correct Initial Conditions," Journal of Sound and Vibration 167,
564 (1993).
34. "Exact Solution to the Anti-Symmetric Constant Force Oscillator Equation,"
with T. Lipscomb, Journal of Sound and Vibration 169, 138 (1994).
314 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS
Advertising model, 24
Antisymmetric, constant force oscillator, 35-37
Asymptotic expansions
definition of, 258
elementary operations on, 260-262
generalized, 263-264
uniform, 259-260
uniqueness of, 258-259
Asymptotic sequence, 258
Averaged quantities, 90, 222
Batch fermentation oscillations, 228-229
Brusselator model, 20, 22, 229-232
Characteristic equation, 241
roots, 242
Characteristic exponents, 289
Chlorine dioxide-iodine reaction, 23
Coulomb friction, 19-20, 102-103
Damping forces
Coulomb, 19-20, 102-103
cubic, 188-189
linear, 27, 101
negative, 10
quadratic, 19, 64-65, 101-103
viscous, 17-19
Derivative expansion procedure, 191-192
Diatomic molecule, oscillations, 15-17
Differentiation
of composite functions, 59, 108-111, 177-178, 191-192
of definite integrals, 241
Dimensionless forms of differential
equations, 24—27
examples, 27-30
Dufnng's equation, 28-29
exact solution, 38-41
free oscillations treated by: harmonic balance, 153-154, 164-167;
Krylov-Bogoliubov first approximation, 100-101;
perturbation method, 65-66; two-time expansion, 186-188
315
316 OSCILLATIONS IN PLANAR DYNAMIC SYSTEMS