Beruflich Dokumente
Kultur Dokumente
A numerical technique for finding the limit cycles of nonautonomous dynamical systems is presented. This technique uses a matrix represen-
tation of the time derivative obtained through the trigonometric interpolation of periodic functions. This differentiation matrix yields exact
values for the derivative of a trigonometric polynomial at uniformly spaced points selected as nodes and can therefore be used as the main
ingredient of a numerical method for solving nonlinear dynamical systems. We use this technique to obtain some limit cycles and bifurcation
points of a sinusoidally driven pendulum and the steady-state response of an electric circuit.
Keywords: Nonautonomous dynamical systems; nonlinear circuits; limit cycles; differentiation matrices; trigonometric polynomials.
Se presenta una técnica numérica para encontrar los ciclos lı́mite de algunos sistemas dinámicos no autónomos. Esta técnica usa una
representación matricial de la derivada temporal obtenida mediante interpolación de funciones periódicas. Produce valores exactos para
la derivada de un polinomio trigonométrico en puntos equiespaciados y puede ser usada como elemento principal de un método numérico
para resolver sistemas dinámicos no lineales. Usamos esta técnica para obtener algunos ciclos lı́mite y puntos de bifurcación de un péndulo
forzado sinusoidalmente y la respuesta estacionaria de un circuito eléctrico.
Descriptores: Sistemas dinámicos no-autónomos; circuitos no-lineales; ciclos lı́mites; matrices de diferenciación; polinomios trigonométricos.
1. Introduction The aim of this paper is to present a novel method for ob-
Dynamical systems are usually given by a set of ordinary dif- taining numerical approximants to the steady-state solutions
ferential equations and some initial conditions. Such prob- of nonautonomous systems, based on the use of the differen-
lems are solved by conventional procedures such as Runge- tiation matrix for periodic functions given in Refs. 5 and 6.
Kutta methods, multistep methods or general linear methods The main idea of the method is established in Sec. 3 and two
(see for example Ref. 1). Shooting methods [2] and extrapo- examples are given in Sec. 4.
lation methods [3] have been applied to accelerate the conver-
gence of the solution to the periodic steady-state of electric 2. Discrete formalism
systems. Some of these implementations require a consid-
erable computational effort and therefore an alternative and In this section, we present only the main results of our dis-
more simple technique may be welcomed. cretization scheme for periodic functions; proofs and further
applications can be found in [5] and [6]. Let D be the N × N
In a series of papers (see Ref. 4 and references therein),
matrix whose components are given by
a Galerkin-collocation-type method for solving differential
boundary value problems has been developed. In some sim- N
P0 1 cot tj −tl , j = k,
ple cases this technique yields exact results, i.e. the numer- Djk = 2 2
l=1
ical output can be interpolated to obtain the functions that
τj tj −tk
exactly solve the problem, and therefore it have been used 2τk csc 2 , j 6= k,
to implement a numerical scheme to solve boundary-value where tk , k = 1, 2, · · · , N are arbitrary (but different) points
problems. Such a method consists basically in the substitu- of [−π, π), i.e. −π < t1 < t2 < · · · < tN ≤ π and
tion of the derivatives that appear in the differential equa-
d hY t − tl i
N
tions with finite-dimensional matrix representations of the
derivative (differentiation matrices) whose entries depend on τj = sin .
dt 2 tj
l=1
the nodes in a simple form. In some cases, the nodes must
be chosen according to some criterion in order to accelerate Let x(t) be a trigonometric polynomial of degree at most
the convergence to the solution. The differentiation matri- n and x and x0 denote the N × 1 vectors whose elements
ces used in this technique arise naturally in the context of the are x(tj ) and x0 (tj ), i.e. the values of the polynomial and
interpolation of functions (see for instance [5]). its derivative at the nodes respectively. Then, the matrix D
268 R.G. CAMPOS AND G.O. ARCINIEGA
x(k) = Dk x, k = 0, 1, 2, . . . , (1) where F denotes the N m×1 vector whose elements are given
by the right-hand side of (6) first running j and then k, X is
where x(k) is the vector whose elements are given by the kth the vector whose elements are given by xk (tj ) (the unknown
derivative of x(t) evaluated at the nodes. solution) ordered in a similar way, and D = 1m ⊗ D, where
The differentiation matrix D takes the simple form 1m is the identity matrix of dimension m.
The points on which our method is based are the follow-
0, j = k, ing:
Djk = (2)
(−1) π
j+k
, j =
6 k, 1. If (4) has a limit cycle, then the solution of (7) is an
2 sin (j−k) N
approximation of the steady-state solution of (4).
if the nodes are chosen to be the N equidistant pointsi
2. Since (7) [or equivalently (6)] is a system of N m non-
2πj linear equations with N m unknowns xk (tj ), its so-
tj = −π + , j = 1, 2, · · · , N. (3)
N lution can be obtained by using a standard procedure
(Newton’s method for instance).
If the periodic function x(t) is not a polynomial, a residual
vector depending on x(t), k, and N must be added to the This shows that a nonautonomous system in the steady-
right-hand side of (1). However, it is expected that the norm state regime can be described approximately by a system of
of such a vector will approach zero as the number of nodes nonlinear algebraic equations. The procedure sketched in
is increased, since x(t) can be expanded in a Fourier series. these statements is not concerned at all with the initial con-
Therefore, if N is great enough, the residual vector can be ditions of the system and yields simultaneously all the values
ignored and the function x(k) (t) can be approximated by an of xk (tj ) (at all times). Thus, this method is quite different in
interpolation of the elements of Dk x. essence from those designed as initial-value-problem solvers.
To obtain the solution of (6), we can use the Newton
method or some variation of it with global convergence. As
3. Method
is well-known, it is not always easy to give a good initial ap-
Let us consider now a nonautonomous system of m compo- proximation X0 to attain convergence in Newton’s method.
nents described by For dynamical systems depending on a parameter p, this
problem can be circumvented by building X0 with the val-
ẋ = f (x, ωt), (4) ues of a known solution of the system for a certain value of
the parameter p0 (this is the case of many dynamical sys-
where x is the vector of components x1 (t), x2 (t), . . . , xm (t) tems). By using such an initial approximation, it is possible
and f is a nonlinear vector function of m + 1 variables, pe- to obtain the steady-state solution for a value of p close to
riodic in t, with period T = 2π/ω. A very important prob- p0 . By iteration of this procedure, the solution for any value
lem is to find the response of the system in the steady-state of p can be obtained. For the case in which a solution is not
regime. Taking into account the periodicity of this response, known, a few Runge-Kutta integrations of the system yield a
we can use the differentiation matrix (2) to obtain approxi- good initial approximation, but this procedure can be time-
mants to the steady-state solution of (4) according to the fol- consuming.
lowing scheme. Due to the nature of our method for approximating the
First of all, we make ωt → t in (4) in order to change the steady-state solution of (5), an algorithm for this technique
period of f to 2π. Thus, (4) becomes will consist necessarily in the algorithm selected to solve the
ω ẋ = f (x, t). (5) set of nonlinear equations.
In the following section, we solve two important nonau-
Let us take an odd number N of points tj as given by (3) tonomous dynamical systems and we find, according to the
and evaluate (5) at each node to form an equality between case, the limit cycles and bifurcation points.
N m × 1 vectors in such a way that the first N entries of
the left-hand side are the components of the vector ẋ1 , i.e. 4. Test cases
ẋ1 (t1 ), ẋ1 (t2 ), . . . , ẋ1 (tN ); the following N entries are the
components of ẋ2 , i.e. ẋ2 (t1 ), ẋ2 (t2 ), . . . , ẋ2 (tN ), and so We have chosen a chaotic mechanical system and a very com-
on. Now we can approximate the vector blocks ẋk by Dxk mon electrical circuit as test cases. To find their steady-state
to obtain the discrete form of (5), which can be written as solutions, we rewrite the equations describing the dynamics
N of these problems in the discretized form (7) and use a FOR-
X
ω Djl xk (tl ) = fk (x1 (tj ), x2 (tj ), . . . , xm (tj ), tj ), (6) TRAN90 program with standard libraries running on a per-
l=1
sonal computer to solve them.
1 h ³ Vd q ´i
F IGURE 1. Maximum and minimum values of the angular dis- x˙1 = Vs − x1 − Vd − is R1 exp( )−1 ,
placement θ of the vertically driven pendulum (8) vs. the driven C1 R 2 ηkT
amplitude b for a = 0.1 and ω = 17.5. For any value of b, the 1 ³ ´
solution θ1 = π (the inverted pendulum) was always found. The x˙2 = − x2 + R4 x3 ,
C2 (R3 + R4 )
curves labeled by θk , k = 2, · · · , 5 correspond to different solu-
tions.
F IGURE 4. Steady-state solution for the diode current id = x3 + C1 x˙1 and the voltage V0 = C2 R3 x˙2 + x2 along two periods obtained
by the present method with N = 251 nodes (4a) and by a Spice simulation (4b). The left-hand and right-hand vertical axes are used for
different scales.
i. The same result is obtained for the set of points tj = π(2j − Computational Mathematics, Cambridge University Press,
N − 1)/N . Cambridge, 1998).
1. A.M. Stuart and A.R. Humphries, Dynamical Systems and 2. T.J. Aprille and T.N. Trick, Proc. IEEE 60 (1972) 108.
Numerical Analysis (Cambridge Monographs on Applied and 3. S. Skelboe, IEEE Trans. Circuits Syst. CAS-27 (1980) 161.
4. R.G. Campos and L.O. Pimentel, J. Comp. Phys. 160 (2000) in Bol. Soc. Mat. Mexicana)
179. 6. R.G. Campos and L.O. Pimentel, Nuovo Cimento B 116 (2001)
5. R.G. Campos and Claudio Meneses, Differ- 31.
entiation matrices for meromorphic functions, 7. S.R. Bishop and D.J. Sudor, Int. J. of Bifurcation and Chaos 9
http://xxx.lanl.gov/abs/math.NA/0407020 (to be published (1999) 273.