Odepplane
Odepplane
Ah&ad--An analysis based on weighted linear approximations is developed for certain non-linear ordinary
differential equations, and is applied to the description of singular points and trajectories in the phase plane.
This technique is compared with the analysis of Poincark based on Taylor series linearization where the latter
is applicable. Numerical results are obtained for a quadratic friction problem, and compared with the first-order
Krylov-Bogoliubov-Mitropolsky result. The new technique is also successfully applied to problems of Lienard,
Keil and Mabytrini, and to a special case of a non-isolated singular point, where Taylor series linearkations are
inapplicable or yield qualitatively incorrect results
1.INTRODUCTION
Cl c2
J=
I I
c3 c4
, I = (cl + c,)/Z.
Then, for J # 0, the solutions of the linear parts in (1.2), the T1 approximation,
(1.3)
fall into
four classes, with the usual designations for the s.p. :
1. J<O Saddle (1.4a)
2. 0 < J < l2 Node (1.4b)
3. 0 < I2 < J Focus (l.4c)
4.O<J, I=0 Center (l&l)
Tl correctly indicates the stability of the solutions to (1.1) in the first three of these classes,
although the approach to 0 when J = Z2 may be incorrectly described [l]. In the fourth
class, the stability is not always predicted correctly [l] ; the trajectory in the phase plane
311
312 M. L. ADQSEW and H. H. DENMAN
(x, y) is, in general, a focus, while TI predicts a center. Further, 7” is inapplicable when
J = 0, as it indicates a line (or plane) of s.p., while the complete system (1.1)has an isolated
s.p, at 0.
T1is au approx~ation at a point ; it ignores changes from linearity in X and Y at points
far from 0, and even near 0 may be quite inaccurate in some cases For this reason, we
shall introduce weighted linearizations, U,(J), which approximate X and Y better over a
region containing 0. We shah show that whenever Tl gives the correct description of the
s.p., U,(2) does also, but that the latter technique gives correct results for certain classes
of problems where TI fails or is not appli~b~. A number ofspecific examples are examined.
2. WmGHTED LUWARUATION
We wish to approximate X and Y in (1.1) linearly over a region containing the s.p. 0
(which may or may not be isolated). Let the weight function w(z,,I) be a positive (except,
perhaps, on a set of zero measure), even function of z(x or y), such that (a < 0)
exist. (The limits a, b may be fmite or Semite, but will be taken as fmite in what follows,
since we are primarily interested in bounded motions around the s.p+).The weighted
linearization U,(J) approximates the function X by+
X* = c,(& A,, a) x + c&t,, Ag, n)y, (-2.2)
where
f lXta,&Y’) YWY',
E 4 WlAd’WA
:
- 4 W/A &4,
dXto, - AsY') Y'W, -As<y<O, (2.34
t Note that, in general, the approximations (2.2) and (2.3) are composed of straight line segments of different
slope crossing at 0.
Phaseplanetmafysis of nm-hem sys&wts wing weighted hearimtion 313
two straight line segments of opposite slope. We also note that, for the ultraspherical
polynomial weight function (2.4), the limit A -+ co corresponds to the Tt approximation, as
pointed out by Lanczos [2].
The approximate equations resulting from U,(A) are then
3.THE TsCENTER
If, in (ll),
2 = g(Y) (32a)
3 = -h(x) + k(y), (3.2b)
where g is odd and k is even in y, g’(0) > 0, and h is restoring near the origin (h’(O)> 0),
satisfies the above conditions, so that 0 is a center. Since k(y) has no linear part, Tl gives
the matrix
LyO)
3. (3.3)
It can be shown [33 that the s-p. is now a stable (unstable) focus if Y,(x, y) < 0 (>O) for
0 < y < 6. If Y0has no linear part, Ti ignores it and again predicts, incorrectly, a center,
while U,(L) predicts the focus, if Y has the form (3.2b).
4. CONSERVATIVE SY!B’EMS
3 = -f(x), (4.lb)
corresponding to the second-order equation
f +f(x) = 0. (4.2)
A first integral of the system exists,
$2” + V(x) = E, (4.3)
where V(x) = j f(z) dz, and E is a constant, determined, for example, by the initial con-
ditions. The classical turning points are roots, if any exist, of
E - V(x) = 0, (4.4)
and the motion is periodic between an adjacent pair of turning points, bounded but of
infinite period (for a separatrix), or unbounded.
Ti approximates (4.1) by
I=y (4Sa)
$=; -f ‘(0) x, (4Sb)
where~(0) is assumed 20, so that J # 0. (The -f(O) = 0 is included in the discussion
of Keils’ second problem in Sect. 7.) From (4.5), 7’r predicts a saddle (J < 0) or a center
(J > 0). U,(A) gives the matrix
1
0 1
[ -e&%, (4.6)
A,, A) 0
which also predicts a saddle or center. We shall discuss three important cases:
Case 1. “Hardening”f(x). Iff(x) = 0 only at x = OJ’(0) > 0, andf’(x) & 0 for x # 0,
the singular point is a center, and is correctly described by Ti. However, 7’i yields the simple
harmonic oscillator equation, so that the predicted period for every trajectory about 0
has the same value (27r/y(O)*), independent of the amplitude of the motion, which is
incorrect iff(x) has a non-linear part. In the U,(A) result (4.6), c,(A,, A,, A) will be >O
for this case, which indicates the center. But the-period of oscillation will, in general,
depend on A, and A2 (through cj), as it should. (Actually, A, and A, are not independent
parameters if they are taken as the exact turning points, since they then are related by:
V(A,) = V(A,) = E.)
Exanap~e: f(x) = x + 2, n an odd integer > 1.
T1 gives a period of 27rfor all the trajectories. Since the trajectories are symmetric about
the y axis, we take A, = A2 = A in U,(J), and cj = c,(A, A). Explicitly, for w(x,,l) =
(1 - 9) i-i, corresponding to ultraspherical ~lynomial linearization, U,(J) gives
Phase plane analysis of non-linear systems using weighted linearization 315
(Jr+). . .(;>
CJ(A,A) = 1 + A”_’
(i+!!3(n+qp,.,,. (4*7)
Thus, the period of oscillation (27r/c,(A, A)*) is a fiction of the amplitude A. In fact, it
has been shown [4] that, as A + 0, the period resulting from (4.7) agrees with the exact
period to and including terms of order A’, for 1 = 0, for all oddf(x).
Case 2. “Softening”f(x). Iff’(0) > O,f(x) = 0 only for x = 0 and x = a # 0 (we take
a > 0 without loss of generality), andf(x) monotonic decreasing for x > a, then the point
(a, 0) is also an isolated s.p. In this case, the trajectories arc closed paths about the origin
for small amplitudes. But for the trajectories passing through (u,O), the period becomes
i&mite; these trajectories form a separatrix. Trajectories outside this separatrix are un-
bounded. T1 again gives a center, as does U,(n) for small amplitudes. But for some A, > Q,
@AZ, 4, for x > 0, becomes negative, indicating a change to a saddle point. In this way,
I.J,(J.) indicates, for sufficiently large A,, the existence of another s.p. and unbounded
trajectories.
Emple.f(x) = x(u - x) (1 + x2), a > 0. ?I’ireplaces f(x) by IIX,which yields a center,
with period 2wu-* for all trajectories. Ultraspherical polynomial linearization yields
where cl is used for x 8 0, A+ = A*, etc, and T(x) is the gamma function. The period of
oscillation is a function of amplitude through this expression. For I = -3, and A+ = a,
4 = 0, which indicates an infmite period for x: > 0; for A+ > a, c: < 0, and the period
becomes imaginary. Thus, ultraspherical polynomial linearization indicates a separatrix
for A, = a, if II = - f; (It can be shown that this is a general property for softening systems
andtZ.= -3.)
Case 3. “~ftening-hardening”~(x). Letf’(0) < 0, andf(x) -+ & cc as x -P + CQ.Then
at least two other s.p. exist, with closed trajectories around them. A closed separatrix,
passing through 0, encloses them For amplitudes sulliciently large, cyclical orbits about
0 do exist. Ti indicates only that 0 is a saddle. V,(J) gives &A,, A) < 0 (a saddle) for
small amplitudes, but as Ai, A, + co, c$(A,, A) become >O, indicating a center.
Example. f(x) = - x + x”, n an odd integer >l. Thus, two other isolated singular
points exist at the real roots of x”- ’ - 1 = 0, i.e. at & 1. Sincef(x) is odd, the trajectories
are symmetric about the y axis, so A, = A, = A, and
Forany.&> -2,~~ = 0 for some value of A, indicating a separatrix. Again, for R = -4,
c3 = 0 yields A = &-1, so that the singular points away from 0 are given correctly. (However,
quantitative results for the period have been quite poor for rZ= -4 [4].)
316 M. L. J&ELBBRG and H. H. PENMAN
5. QUA.DRATIC FlUC-FiON
b” = 1 - x - (1 + aJe-“*-X,
where y = 0 when x = -a i < 0. The next x-axis crossing, a2 > 0, is given by
where fi = y/(1 - r”)*, and A* is the maximum velocity for this half-cycle, ai can be found
as a function of y from (5.4) and (5Sa), after which we can determine Az(ai), using (55b).
In the K.B.M. first approximation [S, p. 611, the approximate amplitude a2 where the
trajectory crosses the positive x axis is related to a1 by
a2 = a,/(1 + &)- (5.6)
In Fig. 1, the errors in the ~plit~~ AZ@),a2 as functions of a1 are plotted (several values
of 1 are used). We note that, on the range considered, E.= 6 gives the best agreement with
the exact solution, while I = 0 and K.B.M. yield comparable errors.
For small initial amplitudes a,, A, x al, and y and fi are also small, so that (5.5b) be-
comes, to first order in al,
A2(#QkQST= R/I % 1 - JX r(J + 2)a,/2I-(A + 3). (5.7)
From (5.6), we obtain, in this limit,
a2 = ai0 - k). (5.8)
Thus, when U,(n) is ultraspherical linearization, it agrees with the K.B.M. first approxima-
tion for a2 (and hence with the exact result) for 1= 0, as a1 -, 0.
Phase plane analysis of non-linear systems wing weighted linearization 317
It has been shown, by Lienard and others [7], that the second-order differential equation
jt + f(x) i + g(x) = 0 (6.1)
will have a unique stable periodic solution if:
j = -g(x). (6.2b)
Sincef(x) is even, F(x) is odd, and thus 0 is a s.p. Then T1 yields the matrix (assuming g is
differentiable at 0)
(6.3)
so that J = g’(0) 2 0, I = -f(O)/2 > 0. Thus, T1 indicates that the s.p. is an unstable
node or focus in the x,y plane, and does not predict the limit cycle. (The exact solution
will, however, behave like au unstable node or focus very near 0.)
U,(A) linearization yields the matrix
c,(& 2) ckt4,~)
I . (6.4)
C c,(&J) 0
318 M. L. ADELEERG
and H. H. DMbk4N
(6.6)
For A, very small, the s.p. 0 appears to be an unstable node or focus, as for 7;. But, for
A, = ,/&W. + 2)], f = 0 and we obtain a center, with the trajectory passing through
(A,, 0). For R,= 0, the usual first approximation for the amplitude of oscillation for the
van der Pol equation, A = 2, results. For trajectories with smaller x amplitudes, A <
,,/[2(2 + A)], U,(d) predicts a trajectory of increasing amplitude, while if A > ,/[2(2 + J.)],
the trajectories are decreasing in amplitude. Thus, U,(i) predicts a trajectory pattern
similar to that of the correct unique stable limit cycle.
7. KEIL’S PROBLEMS
We now consider isolated s.p.‘s, where J = 0 but not all of the c, vanish so that Ti
incorrectIy predicts a line of s.p.‘s. In the first problem of Keil, I # 0, so that the exact
equations in normal form are
g= -x+X&,y) (7. la)
i = yF&, Yh (7.lb)
It is known [l, pp. 256-2661 that on each side of the y-axis, a single trajectory is tangent
(as t + co) to the x-axis at 0. The equation, x = XNt, defines a curve (denoted by M)
tangent to the y-axis at 0. For y > 0, the following rules apply:
A. If & > 0, a single trajectory is tangent (as t -+ - 03) to the y-axis at 0; all others
in the half-plane remain near 0 for a finite time; i.e. 0 is a saddle.
t p < 0 is equivalent to changing the sign oft in (6.5). Then the limit cyck is unstable, and is still so indicated
bY v,ca
Phase plane analysis of non-linear systems usingweighted linearization 3l9
B. If &, < 0, all trajectories in the half-plane are tangent (as t + co) to the y-axis at
0 ; i.e. 0 is a (two-tangent) node.
For y c 0, the rules on the sign of Y),,, are reversed
In the second problem of Keil, I = 0, so that the equations in normal form are
3 = Y + X,(X,Y) (7.2a)
3 = YNL(X,Y). (7.2b)
It is known [ 1, pp. 267-2691 that curve M (defined by y = - X,) is tangent to the x-axis
at 0. For x > 0, the following rules apply:
C. If YIM> 0 on each side of the y-axis, a finite number of trajectories are tangent to
the x-axis at 0. Inside the two adjacent to the x-axis, the phase plane has the ap-
pearance of a saddle.
D. If )‘lu < 0, either no trajectories or infinitely many are tangent to the x-axis at 0.
The former possibility corresponds to a center or a focus, the latter to a (one-tangent)
node.
If x < 0, the rules on the sign of )ilM are reversed.
At present, we can apply U,(n) to Keil’s problems only when they are in normal form,
and X, and Y,,_ are sums of functions of x or y. Thus, Keil’s first and second problems
become, respectively,
1= -x+p(x)+hCy) (7.3a)
and
3 = fW + g(x). (7.4b)
We further assume that for sufficiently small arguments none of the above functions
vanish except at 0. With this assumption,
Thus, if lim r(z)/s(z) = Q, lim c,(A,, J)/cJAb 2) = Q, where the subscript refers to the
2-O A,+0
function for which c(A,, 2) is the coefficient. In the following, we make constant use of the
above relation and of the fact that, if s(z) > 0 for z > 0 (z < 0), c, > 0 (c, < 0), where
henceforth we shall omit the arguments of the c’s.
In Keil’s first problem, we see that, as A, + 0, I(A, 2) + -4, and J(A, 1) + 0, so that
for small A,, J(A, 12)< I’(A, 2). Thus U,(A) can indicate only a node or a saddle-in
agreement with the exact analysis. In further agreement, U,(L) indicates isolated tangents
320 M.L. ADELBERG andH.H. DENMAN
near the x-axis asymptotic (as t -+ co) to 0. These conclusions follow immediately, since,
for x, y small and y 4 X, 2 % -xandd=y/x(wheree = tan- ’ y/x), so that for x > 0,
8 > 0 (here y > 0) and oice versa. Thus, the nature of the s.p. in the U,(2) approximation
depends only on the behavior of the tangent near the y-axis ; U,(A) indicates a saddle
(node) if the trajectory of this tangent approaches 0 as t --* - co (as t --) co). Setting x = rcy,
where rc is small, and substituting into the approximate equations
1= -(I- c&J
x+ ChY
3= CfX + c,y,
we obtain, for small Ai: K FZc,,, and y 1r = (c~c,, + c,)y, where y 1T denotes evaluation of
yalongx=rcy.Ify[r>O@(r < 0), U,(n) indicates a saddle (node).
Thus, the U,(n) analysis will agree with the exact results provided y(r has the same sign
as 31M The latter is given by :
where M is given by x = h(y) + a(y), with lim ~~(y)//i(y)= 0. If limf(z) h(z)/z g(z) = 0, it
y-0 z-r0
follows from (7.6), sincefis of higher order than linear, that y (M has the sign of g(y). Provided
we take A, 2 max (Al, A,), we can show t 31T also has the sign of g(y). (Here y > 0.) If,
however, lim g(z)lf[h(z)] is finite and > - 1, ylM has the sign off[h(y)], while )jlT has the
z-r0
sign of cfch [again A, z max (Al, A&J. It is easy to see that, in this case, the sign of 31T
agrees with that of JJtM; e.g. for y > 0 and small, if h(y) c 0, c,, < 0 and, since the argumest
offis ~0 and small, cI has sign opposite that off[h(y)], so that c,c, has the same sign.
In Keil’s second problem, only a tangent to the x axis is possible. Writing y = rcx and
proceeding as before, we write
i = (1 + cp)y + c,,x
j= CJY + C&
from which
Along y = rcx,
t From a formula similar to (7.Q it follows that, for A, 2 maxti,, A,), fimO c~ Jc, = 0.
I-
Phase plane malysif of mm-linear sysiem us&g weighted limwrization 321
Therefore, when x > 0, U,(n) indicates a saddle (with both tangents tending to the x-axis)
if g(x) > 0, and a focus or center if&c) < 0. This can be put in agreement with an exact
analysis if (7.7) is strengthened to
V= z+p(Y)-G(x)
3 = 6J + PtY))fCy) - &)h(~)~
so that 0 is asymptotically stable (in this case a focus, due to (79)). U,(J) also indicates a
stable focus since Z(Ab A) = &zf -t c,,) and is strictly less than zero for A, small.
As an example of a case for which X and Y are not C’ at the s-p. 0, and thus 7’r can
not be applied, we consider
I=y (9.la)
y= -x-H(y), (9.lb)
WH, WH (9.2)
d s
exist. Under these conditions, Malgarini [l, p. 3431 has shown that all trajectories are
tangent to the x-axis at 0 (as t + co) except one in the second quadrant and another in
the fourth which are tangent to the y-axis at 0 (as t -P co).
The Lr,@) equations are
I=y (9.3a)
y= -x-&y, (9.3b)
where ci can be written
c; = (l/N)i[fH(+A*z)/A,z]z’wdz.
Since yHCy) > 0, ci > 0, and because H- ’ is integrable, cl: diverges as A + 0. In (9.3).
J(A,II) = 1, Z(A,A) = - &cj$, and thus as A + 0, 0 < J < Z2, so that V,(A) correctly
describes the s.p. as a two-tangent stable node. Moreover, techniques similar to those
used in Sect. 7 for the analysis of Keil’s problems show that the behavior of the tangents,
and the trajectories near them, as given by u,(n), is correct.
Phase plane analyslFof non-linear systevw using weighted linearization 323
10. DISCUSSION
Note oddcd in proof: J. E. Howard [SIAM J. @pi. hfatb. 16,747 (I%@] has wed a two-lim Chebyahev fora
approximationin tk a@&8 of fnt osci%tjons.
RWOn dbloppe une analyse bask SWdes approximations hneaires pond&es pour certaines equations
~~r~t~~~ o&mires non ha&&es et on ~app~que a ia description des points et des traje&oires singuliers
dam fe plan de phase. On compare cotte technique a i’analyse de Poincari; bas& sur la linearisation en s&ies
de Taylor, lorsque cette derni&e eat applicable. On obtient les r&hats num&iques pour un probl&ne de friction
quadratique et on les compare aver le r&&tat du premier ordre de ~lov-~go~iu~v-Mi~opoI~y. La nouvelle
technique peut au& &re appliqute aver suc&e aux probl&nes de Lienard, Keil et Malgarini ainsi qu’a un cas
special de point singuiier non isol& ou les bnearisations en series de Taylor sont inapphcabls ou conduisent a
resultats qualitativement incorrects.