How to Make Systems of Nonlinear Autonomous ODEs with Attractor-Behavior, by First Making the General Solutions: Part Two
Magne Stensland
Moldjord, Norway.
DOI: 10.4236/jamp.2023.111009   PDF    HTML   XML   74 Downloads   294 Views  

Abstract

This paper is presenting a new method for making first-order systems of nonlinear autonomous ODEs that exhibit limit cycles with a specific geometric shape in two and three dimensions, or systems of ODEs where surfaces in three dimensions have attractor behavior. The method is to make the general solutions first by using the exponential function, sine, and cosine. We are building up the general solutions bit for bit according to constant terms that contain the formula of the desired limit cycle, and differentiating them. In Part One, we used only formulas for closed curves where all parts of the formula were of the same degree. In order to use many other formulas for closed curves, the method in this paper is to introduce an additional variable, and we will get an additional ODE. We will choose the part of the formula with the highest degree and multiply the other parts with an extra variable, so that all parts of the formula have the same degree, creating a constant term containing this new formula. We will place it under the fraction line in the solutions, building up the rest of the solutions according to this constant term and differentiating. Keeping this extra variable constant, we will achieve almost the desired result. Using the methods described in this paper, it is possible to make some systems of nonlinear ODEs that are exhibiting limit cycles with a distinct geometric shape in two or three dimensions and some surfaces having attractor behavior, where not all parts of the formulas are the same degree. The pictures show the result.

Share and Cite:

Stensland, M. (2023) How to Make Systems of Nonlinear Autonomous ODEs with Attractor-Behavior, by First Making the General Solutions: Part Two. Journal of Applied Mathematics and Physics, 11, 115-134. doi: 10.4236/jamp.2023.111009.

1. Introduction

In the introduction to [1], we can read: Nonlinear dynamical systems exhibiting limit cycles are found in a large variety of fields including biology, chemistry, mechanics, and electronics.

A limit cycle is a closed trajectory in phase space having the property that at least one other trajectory spirals into it, either as time approaches to infinity or as time approaches to negative infinity. In other words, the limit cycle is an isolated trajectory (isolated in the sense that neighboring trajectories are not closed); it spirals either toward or away from the limit cycle. If all neighboring trajectories approach the limit cycle, we say the limit cycle is stable or attractive, that is, in the case where all the neighboring trajectories approach the limit cycle as time approaches to infinity [2] [3].

The limit cycle is an oscillation peculiar to nonlinear systems. The oscillatory behavior, unexplainable in terms of linear theory, is characterized by a constant amplitude and frequency determined by the nonlinear properties of the system. Limit cycles are distinguishable from linear oscillations in that their amplitude of oscillation is independent of initial conditions. For instance, if a system has a stable limit cycle, the system will tend to fall into the limit cycle, with the output approaching the amplitude of that limit cycle regardless of the initial conditions and forcing function [4].

A limit cycle is said asymptotic stable if all trajectories in the vicinity of the limit cycle converge to it as t . Otherwise, the limit cycle is said semi-stable or unstable [5].

Roughly speaking, an attracting set for a dynamical system is a closed subset A of its phase space such that for “many” choices of initial point the system will evolve towards A [6]. An attractor of a dynamical system is a subset of the state space to which orbits originating from typical initial conditions tend as time increases. It is very common for dynamical systems to have more than one attractor [7]. An attractor is defined as the smallest unit which cannot be itself decomposed into two or more attractors with distinct basins of attraction. This restriction is necessary since a dynamic system may have multiple attractors, each with its own basin of attraction.

Until the 1960s, attractors were thought of as being simple geometric subsets of the phase space, like points, lines, and surfaces.

If somebody wants to make a system of ODEs that is exhibiting a Limit Cycle (LC) with a certain geometric shape, or a distinct surface that has attractor behavior, how can we do it?

1) For example, the graph of ( x 2 + y 2 ) 4 P 2 ( x 3 3 x y 2 ) 2 = f 8 as a limit cycle.

2) Or making a system of ODEs exhibiting a LC with the three-dimensional shape determined by the projection of the closed curve in a) onto a sphere.

3) Or making a system of three ODEs where the closed surface ( x 2 + y 2 + z 2 ) 4 P ( z 3 3 x y 2 ) 2 = f 8 has attractor-behavior, which is attracting the solution curves from both inside and outside this closed surface, and then following the surface as the variable t goes to infinity. P and f are parameters.

This paper is a continuation of Part One [8], and we will continue to describe some techniques I have developed for making nonlinear first-order systems with some special behavior. For the most part, we are going to work with systems of ODEs that are exhibiting limit cycles in two and three dimensions.

We repeat from Part One how to write the general solutions in order to make them easier to work with, and also the theory behind LC.

The method that we will use in this paper is new to the literature, at least to my knowledge. My background for the investigations is the textbook Differential Equations [9]. The number I have given each system of equations is the number they have in my collection.

2. How to Write the Solutions

First, we will look at the way I have chosen to write the solutions, in order to “simplify” the derivations.

The differential equation

d x d t = x x 2 (1)

has the general solution

x ( t ) = 1 1 1 x 0 ( x 0 1 ) e t (2)

This is how we find the solution in the textbooks.

Multiply the numerator and the denominator with x 0 e t :

x ( t ) = x 0 e t x 0 e t x 0 + 1 (3)

The drawback with this last expression is that we have got the same exponential function both in the numerator and the denominator. I prefer to use (3) because:

1) The exponent in the exponential function has the same sign than the coefficient in the differential equation. It is easier to see the connection between the solution and the equation.

2) It is easier to differentiate the solution when it is written on the form (3).

I have consequently chosen to write the solutions on the form (3). But when we want to analyze the solutions, we must use (2).

Derivation of fraction:

d d x f ( x ) g ( x ) = f ( x ) g ( x ) g ( x ) f ( x ) g ( x ) 2 = f ( x ) g ( x ) f ( x ) g ( x ) g ( x ) 2 (4)

We will use the last expression when derivation of solutions.

We can demonstrate by differentiating (3):

d x d t = x 0 e t x 0 e t x 0 + 1 x 0 2 e 2 t ( x 0 e t x 0 + 1 ) 2 = x x 2 (5)

Here, we see how simple the derivation becomes, and how easy it is to see the connection between the derivative and the solution x ( t ) , when we write the solution on the form (3).

The general expression of solution (3) is:

x ( t ) = f x 0 e a t x 0 e a t x 0 + f (6)

d x d t = a x a f x 2 (7)

In order to practice the method that we are going to use later, it is crucial necessary that we write the solutions, so that x ( 0 ) = x 0 , y ( 0 ) = y 0 and z ( 0 ) = z 0 . If we put t = 0 in the solution (6), we will get x ( 0 ) = x 0 .

Another solution we will use is when the denominator is square root:

x ( t ) = f x 0 e a t x 0 2 e 2 a t x 0 2 + f 2 (8)

x ( 0 ) = x 0

d x d t = a f x 0 e a t x 0 2 e 2 a t x 0 2 + f 2 f x 0 e a t 1 2 2 a x 0 2 e 2 a t x 0 2 e 2 a t x 0 2 + f 2 ( x 0 2 e 2 a t x 0 2 + f 2 ) = a x a f 2 x 3 (9)

And once again, we can see how easy it is to see the connection between the derivative d x d t and the solution x ( t ) when we write the solution in this way. Notice that all parts in the square root are of same degree, namely the second degree. If the denominator is fourth root, all parts inside the root must be of fourth degree, and so on. This is important when we shall build up the solutions bit for bit, unless it will be wrong.

3. How to Make Limit Cycles (LCs)

3.1. The Theory behind LC

A spiral contains two types of motions: One rotating motion according to the function sine and cosine, and one outwards or inwards motion according to the exponential function. Remember that we are using only these three functions in the solutions described in this paper. In order to make a stable limit cycle, the equilibrium point must be spiral source. If we choose initial values ( x 0 , y 0 ) inside the LC, the solution curve will make an outwards rotating spiral ending up at the LC. And if we choose initial values outside the LC, the solution curve will make an inwards rotating spiral ending up at the LC. When the solution curves arrive the LC, either from outside or inside the LC, the outwards or inwards motion will stop. We have only rotating motion left. What has happened?

Regarding the general solutions this means that the exponential functions have disappeared, and the solutions contain only the functions sine and cosine. If we choose initial values ( x 0 , y 0 ) wherever on a stable LC, we will observe only rotation along the same closed curve over and over when the variable t goes to infinity.

This tells us that we must make the general solutions, so that if we choose initial values wherever on the LC, all exponential functions are gone. And if we choose initial values wherever else, the general solutions will contain exponential functions. The general solutions must contain a constant term made, so that if we choose initial values on the LC, this constant term become zero.

3.2. LC in Two Dimensions

The general solutions to a system of linear differential equations making spiral are:

x ( t ) = e a t ( x 0 cos ( b t ) + y 0 sin ( b t ) ) (10)

y ( t ) = e a t ( y 0 cos ( b t ) x 0 sin ( b t ) ) (11)

In Part One, we made the general solutions to a system of ODEs exhibiting an elliptic LC, where we placed the formula of an ellipse in a constant term under the fraction line:

( x 0 2 g 2 + y 0 2 h 2 ) + 1 (12)

Choosing initial values wherever on the ellipse x 2 g 2 + y 2 h 2 = 1 , this constant term will become zero, and the exponential functions will disappear, as we can see in the solutions below:

x ( t ) = e a t ( x 0 cos ( b t ) + y 0 sin ( b t ) ) 1 g 2 e 2 a t ( x 0 cos ( b t ) + y 0 sin ( b t ) ) 2 + 1 h 2 e 2 a t ( y 0 cos ( b t ) x 0 sin ( b t ) ) 2 ( x 0 2 g 2 + y 0 2 h 2 ) + 1 (13)

y ( t ) = e a t ( y 0 cos ( b t ) x 0 sin ( b t ) ) 1 g 2 e 2 a t ( x 0 cos ( b t ) + y 0 sin ( b t ) ) 2 + 1 h 2 e 2 a t ( y 0 cos ( b t ) x 0 sin ( b t ) ) 2 ( x 0 2 g 2 + y 0 2 h 2 ) + 1 (14)

Notice that all parts inside the square root are of same degree, namely second degree. This is import, unless these methods will not work, and we will not obtain an ODE that is possible to express with the solutions x ( t ) and y ( t ) .

If we want to make a system of ODEs exhibiting a LC expressed by the formula x 4 + y 4 4 x y 2 = 1 , how can we do it? Two parts in the formula have degree four and one part has degree three. In order to give all parts in the formula the same degree, we can introduce an extra variable and name it w. x 4 + y 4 4 x y 2 w = 1 . Now, all parts in the formula are of same degree, namely fourth degree.

Making this formula a little more general, the constant term under the fraction line must be:

( x 0 4 + y 0 4 2 P x 0 y 0 2 w 0 ) + f 4 (15)

P and f are parameters.

Since we now have three variables, we must make three general solutions. After the derivations, we will have three ODEs. The fraction line will be too long for this page, so we put x 0 cos ( b t ) + y 0 sin ( b t ) = A and y 0 cos ( b t ) x 0 sin ( b t ) = B :

x ( t ) = f e a t ( A ) e 4 a t ( A ) 4 + e 4 a t ( B ) 4 2 P e 4 a t w 0 ( A ) ( B ) 2 ( x 0 4 + y 0 4 2 P w 0 x 0 y 0 2 ) + f 4 4 (16)

y ( t ) = f e a t ( B ) e 4 a t ( A ) 4 + e 4 a t ( B ) 4 2 P e 4 a t w 0 ( A ) ( B ) 2 ( x 0 4 + y 0 4 2 P w 0 x 0 y 0 2 ) + f 4 4 (17)

w ( t ) = f w 0 e a t e 4 a t ( A ) 4 + e 4 a t ( B ) 4 2 P e 4 a t w 0 ( A ) ( B ) 2 ( x 0 4 + y 0 4 2 P w 0 x 0 y 0 2 ) + f 4 4 (18)

Notice that when x 0 4 + y 0 4 2 P w 0 x 0 y 0 2 = f 4 , the exponential function in all three solutions will disappear, and only the functions sine and cosine are left.

All three solutions contain the same exponential function e a t , and the denominator is the same in the three solutions. When differentiating these solutions, we obtain a system of three ODEs, system (1358):

d x d t = a x + b y x f 4 [ a ( x 4 + y 4 2 P w x y 2 ) + b x y ( x 2 y 2 ) b 2 P y 3 w + b P w x 2 y ] (19)

d y d t = a y b x y f 4 [ a ( x 4 + y 4 2 P w x y 2 ) + b x y ( x 2 y 2 ) b 2 P y 3 w + b P w x 2 y ] (20)

d w d t = a w w f 4 [ a ( x 4 + y 4 2 P w x y 2 ) + b x y ( x 2 y 2 ) b 2 P y 3 w + b P w x 2 y ] (21)

Notice that when x 4 + y 4 2 P w x y 2 = f 4 , all parts containing the parameter a are gone. The parameter a belongs to the only exponential function in the three ODEs.

The secret now is to keep the variable w constant, for example w = 1 . Then we have obtained the system that we wanted to make:

d x d t = a x + b y x f 4 [ a ( x 4 + y 4 2 P x y 2 ) + b x y ( x 2 y 2 ) b 2 P y 3 + b P x 2 y ] (22)

d y d t = a y b x y f 4 [ a ( x 4 + y 4 2 P x y 2 ) + b x y ( x 2 y 2 ) b 2 P y 3 + b P x 2 y ] (23)

I don’t have solutions to this system, but that don’t matter. We have obtained what we wanted to do, making a system of two ODEs with the desired behavior.

See Figure 1 where a = 4 , b = 1 , f = 1 , P = 2 and compare with Figure 2.

My experience is that choosing greater values of the parameter a will give a better similarity with the desired geometric shape of the LC.

Figure 1. A two-dimensional LC.

Figure 2. The graph of x 4 + y 4 4 x y 2 = 1 .

Inspired of these results, let us try to give the closed curve ( x 2 + y 2 ) 2 2 x 3 + 6 x y 2 = 1 attractor behavior. Multiply two parts in the formula with an extra variable, and make it a little more general:

( x 2 + y 2 ) 2 P w x 3 + 3 P x w y 2 = f 4 (24)

P and f are parameters.

Now, all parts in the formula have degree four, and then we have the constant term:

( ( x 0 2 + y 0 2 ) 2 P w 0 x 0 3 + 3 P x 0 w 0 y 0 2 ) + f 4 (25)

Build up the general solutions x ( t ) , y ( t ) and w ( t ) according to this constant term, and define

x 0 cos ( b t ) + y 0 sin ( b t ) = A , y 0 cos ( b t ) x 0 sin ( b t ) = B in order to compress the solutions.

x ( t ) = f e a t ( A ) e 4 a t ( ( A ) 2 + ( B ) 2 ) 2 P w 0 e 4 a t ( A ) 3 + 3 P e 4 a t w 0 ( A ) ( B ) 2 ( ( x 0 2 + y 0 2 ) 2 P w 0 x 0 3 + 3 P w 0 x 0 y 0 2 ) + f 4 4 (26)

y ( t ) = f e a t ( B ) e 4 a t ( ( A ) 2 + ( B ) 2 ) 2 P w 0 e 4 a t ( A ) 3 + 3 P e 4 a t w 0 ( A ) ( B ) 2 ( ( x 0 2 + y 0 2 ) 2 P w 0 x 0 3 + 3 P w 0 x 0 y 0 2 ) + f 4 4 (27)

w ( t ) = f w 0 e a t e 4 a t ( ( A ) 2 + ( B ) 2 ) 2 P w 0 e 4 a t ( A ) 3 + 3 P e 4 a t w 0 ( A ) ( B ) 2 ( ( x 0 2 + y 0 2 ) 2 P w 0 x 0 3 + 3 P w 0 x 0 y 0 2 ) + f 4 4 (28)

Differentiating these solutions give system (1356):

d x d t = a x + b y x f 4 [ a ( x 2 + y 2 ) 2 a P x 3 w + 3 a P x y 2 w 9 4 P b x 2 y w + 3 4 P b y 3 w ] (29)

d y d t = a y b x y f 4 [ a ( x 2 + y 2 ) 2 a P x 3 w + 3 a P x y 2 w 9 4 P b x 2 y w + 3 4 P b y 3 w ] (30)

d w d t = a w w f 4 [ a ( x 2 + y 2 ) 2 a P x 3 w + 3 a P x y 2 w 9 4 P b x 2 w + 3 4 P b y 3 w ] (31)

We keep the extra variable w constant, choose w = 1 , and obtain a system of two ODEs with the desired behavior:

d x d t = a x + b y x f 4 [ a ( x 2 + y 2 ) 2 a P x 3 + 3 a P x y 2 9 4 P b x 2 y + 3 4 P b y 3 ] (32)

d y d t = a y b x y f 4 [ a ( x 2 + y 2 ) 2 a P x 3 + 3 a P x y 2 9 4 P b x 2 y + 3 4 P b y 3 ] (33)

See Figure 3 and compare with Figure 4.

In Figure 3, a = 6 , b = 1 , w = 1 , f = 1 , P = 2 .

Level curve in height c = { ( x , y ) R 2 | f ( x , y ) = c } [10].

In this case w = f ( x , y ) = f 4 ( x 2 + y 2 ) 2 2 P x y 2 P x 3 = c , a constant. (34)

The LC in Figure 3 is a level curve of f ( x , y ) in height c = 1 .

When ( x 2 + y 2 ) 2 P x 3 + 2 P x y 2 = f 4 in Equations (32) and (33), all parts of the system that contain the parameter a are gone. Along this closed curve all exponential functions in the solutions have disappeared, and we have a limit cycle as we can see in the phase portrait.

Let us now try to make a LC that reminds a bit of the quadrifolium, the closed curve:

( x 2 + y 2 ) 3 4 P 2 x 2 y 2 = f 6 (35)

Figure 3. A LC that reminds a bit of the trifolium.

Figure 4. The graph of ( x 2 + y 2 ) 2 2 x 3 + 6 x y 2 = 1 .

Use an extra variable w to give all parts in the formula the same degree:

( x 2 + y 2 ) 3 4 P 2 x 2 y 2 w 2 = f 6 (36)

The constant term under the fraction line:

( ( x 0 2 + y 0 2 ) 3 4 P 2 x 0 2 y 0 2 w 0 2 ) + f 6 (37)

And then build up the solutions x ( t ) , y ( t ) and w ( t ) according to this constant term. We put x 0 cos ( b t ) + y 0 sin ( b t ) = A , y 0 cos ( b t ) x 0 sin ( b t ) = B in order to compress the solutions.

x ( t ) = f e a t ( A ) e 6 a t ( ( A ) 2 + ( B ) 2 ) 3 4 P 2 e 6 a t ( A ) 2 ( B ) 2 w 0 2 ( ( x 0 2 + y 0 2 ) 3 4 P 2 x 0 2 y 0 2 w 0 2 ) + f 6 6 (38)

y ( t ) = f e a t ( B ) e 6 a t ( ( A ) 2 + ( B ) 2 ) 3 4 P 2 e 6 a t ( A ) 2 ( B ) 2 w 0 2 ( ( x 0 2 + y 0 2 ) 3 4 P 2 x 0 2 y 0 2 w 0 2 ) + f 6 6 (39)

w ( t ) = f w 0 e a t e 6 a t ( ( A ) 2 + ( B ) 2 ) 3 4 P 2 e 6 a t ( A ) 2 ( B ) 2 w 0 2 ( ( x 0 2 + y 0 2 ) 3 4 P 2 x 0 2 y 0 2 w 0 2 ) + f 6 6 (40)

Notice the sixth root of the denominator and that all parts inside the root are of sixth degree, and that when ( x 0 2 + y 0 2 ) 3 4 P 2 x 0 2 y 0 2 w 0 2 = f 6 , all exponential functions are gone.

Differentiating these three solutions give system (1354):

d x d t = a x + b y x f 6 [ a ( x 2 + y 2 ) 3 4 a P 2 x 2 y 2 w 2 4 3 b P 2 x y 3 w 2 + 4 3 b P 2 x 3 y w 2 ] (41)

d y d t = a y b x y f 6 [ a ( x 2 + y 2 ) 3 4 a P 2 x 2 y 2 w 2 4 3 b P 2 x y 3 w 2 + 4 3 b P 2 x 3 y w 2 ] (42)

d w d t = a w w f 6 [ a ( x 2 + y 2 ) 3 4 a P 2 x 2 y 2 w 2 4 3 b P 2 x y 3 w 2 + 4 3 b P 2 x 3 y w 2 ] (43)

When ( x 2 + y 2 ) 3 4 P 2 x 2 y 2 w 2 = f 6 all parts containing the parameter a are gone. The parameter a belongs to the exponential functions in the solutions.

Keep the variable w constant, and we have obtained a system of 2 ODEs with the desired behavior. See Figure 5 and compare with Figure 6. In Figure 5, a = 8 , b = 1 , f = 2 , P = 4 , w 2 = 2

Level curve at height c = { ( x , y ) R 2 | f ( x , y ) = c } .

In this case

f ( x , y ) = w = ± ( x 2 + y 2 ) 3 f 6 2 P x y = c (44)

For w 2 = 2 , as in Figure 5, we have two equal limit cycles as level curves at the heights c = ± 2 .

Now, we are able to solve problem a) in the Introduction: Make a system of ODEs exhibiting a limit cycle with the geometric shape ( x 2 + y 2 ) 4 P 2 ( x 3 3 x y 2 ) 2 = f 8 . The constant term under the fraction line must be:

( ( x 0 2 + y 0 2 ) 4 P 2 w 0 2 ( x 0 3 3 x 0 y 0 2 ) 2 ) = f 8 (45)

We build up the solutions according to this constant term, and put x 0 cos ( b t ) + y 0 sin ( b t ) = A , y 0 cos ( b t ) x 0 sin ( b t ) = B and ( x 0 2 + y 0 2 ) 4 P 2 w 0 2 ( x 0 3 3 x 0 y 0 2 ) 2 = C

x ( t ) = f e a t ( A ) e 8 a t ( ( A ) 2 + ( B ) 2 ) 4 P 2 e 8 a t w 0 2 ( ( A ) 3 3 ( A ) ( B ) 2 ) 2 ( C ) + f 8 8 (46)

Figure 5. A LC that reminds a bit of the quadrifolium.

Figure 6. The graph of ( x 2 + y 2 ) 3 128 x 2 y 2 = 64 .

y ( t ) = f e a t ( B ) e 8 a t ( ( A ) 2 + ( B ) 2 ) 4 P 2 e 8 a t w 0 2 ( ( A ) 3 3 ( A ) ( B ) 2 ) 2 ( C ) + f 8 8 (47)

w ( t ) = f w 0 e a t e 8 a t ( ( A ) 2 + ( B ) 2 ) 4 P 2 e 8 a t w 0 2 ( ( A ) 3 3 ( A ) ( B ) 2 ) 2 ( C ) + f 8 8 (48)

Notice that we have taken the eighth root of the denominator and all parts inside the root have degree eight.

Differentiating these solutions give system (1357):

d x d t = a x + b y x f 8 [ a ( x 2 + y 2 ) 4 a P 2 w 2 ( x 3 3 x y 2 ) 2 3 4 b P 2 w 2 ( x 3 3 x y 2 ) ( 3 x 2 y y 3 ) ] (49)

d y d t = a y b x y f 8 [ a ( x 2 + y 2 ) 4 a P 2 w 2 ( x 3 3 x y 2 ) 2 3 4 b P 2 w 2 ( x 3 3 x y 2 ) ( 3 x 2 y y 3 ) ] (50)

d w d t = a w w f 8 [ a ( x 2 + y 2 ) 4 a P 2 w 2 ( x 3 3 x y 2 ) 2 3 4 b P 2 w 2 ( x 3 3 x y 2 ) ( 3 x 2 y y 3 ) ] (51)

We keep the variable w constant, for example w 2 = 1 , and we have a system with the desired behavior:

d x d t = a x + b y x f 8 [ a ( x 2 + y 2 ) 4 a P 2 ( x 3 3 x y 2 ) 2 3 4 b P 2 ( x 3 3 x y 2 ) ( 3 x 2 y y 3 ) ] (52)

d y d t = a y b x y f 8 [ a ( x 2 + y 2 ) 4 a P 2 ( x 3 3 x y 2 ) 2 3 4 b P 2 ( x 3 3 x y 2 ) ( 3 x 2 y y 3 ) ] (53)

I don’t have solutions to the system (52) and (53), but that is no problem since this system gives us a LC with the desired geometric shape. See Figure 7 and compare with Figure 8. In Figure 7, a = 6 , b = 1 , P = 2 , f = 1 , w = 1 .

My experience is that choosing higher values of the parameter a gives a better similarity between the shape of the LC and the graph of the closed curve. In Figure 7 the parameter a = 6 , and is giving a good similarity, but the curves are not absolutely similar.

Level curve in height c = { ( x , y ) R 2 | f ( x , y ) = c }

In this case f ( x , y ) = w = ± ( x 2 + y 2 ) 4 f 8 P ( x 3 3 x y 2 ) = c

For w 2 = 1 , as in Figure 7, we have two equal limit cycles as level curves at height c = ± 1 .

Figure 7. A LC that reminds a bit of the six-folium.

Figure 8. The graph of ( x 2 + y 2 ) 4 4 ( x 3 3 x y 2 ) 2 = 1 .

3.3. LC in Three Dimensions

Let us try to give the LC in Figure 7 a three-dimensional shape by projecting it on surfaces that we know the formula to, so that the LC will lie on these surfaces. The solution curves will then follow the surface, and repeat the same closed curve over and over when the variable t goes to infinity.

We must make the solution z ( t ) , so that the exponential function belonging to z ( t ) has disappeared when the solution curves have arrived this surface. We are going to make a constant term in a such way that when we choose initial values on this surface, this constant term will become zero, and for all other initial values is this constant term not zero.

For example, the paraboloid or hyperbolic paraboloid z = c x 2 + d y 2 . The solution z ( t ) contain two constant terms: One for the closed curve (45), as we earlier have placed under the fraction line in the solutions x ( t ) , y ( t ) and w ( t ) . And one constant term containing the formula for the paraboloid or hyperbolic paraboloid + ( z 0 c x 0 2 d y 0 2 ) , and multiply this last constant term with an exponential function. When both constant terms are zero, are absolutely all exponential functions gone, and the general solutions contain only the functions sine and cosine. We have then obtained a three-dimensional LC.

z ( t ) = c x ( t ) 2 + d y ( t ) 2 + ( z 0 c x 0 2 d y 0 2 ) e k t (54)

d z d t = c 2 x d x d t + d 2 y d y d t + k ( z 0 c x 0 2 d y 0 2 ) e k t (55)

Subtract kz from both sides and put in the expressions for d y d t (49) and for d y d t (50).

d z d t = k z + ( 2 a k ) ( c x 2 + d y 2 ) + 2 b x y ( c d ) 1 f 8 ( c x 2 + d y 2 ) [ 2 a ( x 2 + y 2 ) 4 2 a P 2 w 2 ( x 3 3 x y 2 ) 2 3 2 b P 2 w 2 ( x 3 3 x y 2 ) ( 3 x 2 y y 3 ) ] (56)

Choose the extra variable w 2 = 1 . Together with (52) and (53) we have the system (1425)

See Figure 9, where a = 6 , b = 1 , c = 1 , d = 1 , P = 2 , k = 1 , w = 1 .

Now, we are able to solve problem b) in the Introduction: Make a system of ODEs exhibiting a LC with the three-dimensional shape determined by the projection of the closed curve in Figure 8 onto a sphere. We have already made the solutions x ( t ) (46), y ( t ) (47) and w ( t ) (48). We will obtain two LC, one on the upper hemisphere and one on the lower hemisphere.

The solution z ( t ) must contain the formula for a sphere as a constant term.

x 2 + y 2 + z 2 = R 2

z = ± R 2 x 2 y 2

z ( t ) = ± R 2 x ( t ) 2 y ( t ) 2 + ( z 0 R 2 x 0 2 y 0 2 ) e k t (57)

d z d t = ± 2 x d x d t 2 y d y d t 2 R 2 x 2 y 2 + k ( z 0 R 2 x 0 2 y 0 2 ) e k t (58)

Subtract kz from both sides.

d z d t = k z k R 2 x 2 y 2 ± 1 R 2 x 2 y 2 [ a x 2 a y 2 + x 2 + y 2 f 8 × ( a ( x 2 + y 2 ) 4 a P 2 w 2 ( x 3 3 x y 2 ) 2 3 4 b P 2 w 2 ( x 3 3 x y 2 ) ( 3 x 2 y y 3 ) ) ] (59)

Figure 9. The LC in Figure 7 on the paraboloid z = x 2 + y 2 .

Keep the extra variable constant, w = 1 . Together with Equations (52) and (53), we have the system (1429). See Figure 10 with a three-dimensional LC on the upper hemisphere, and Figure 11 that shows a three-dimensional LC on the lower hemisphere.

In Figure 10 and Figure 11, a = 6 , b = 1 , P = 2 , f = 1 , R = 3 , w = 1 , k = 1 .

The initial values are the same in both figures.

Many more systems of ODEs exhibiting a three-dimensional LC are possible to make by projecting whatever closed curve that you know the formula to, onto whatever surface that you know the formula to.

Figure 10. A LC on the upper hemisphere.

Figure 11. A LC on the lower hemisphere.

4. Surfaces as Attractors

In Part One [2], we made systems of ODEs where a distinct closed surface had attractor behavior, that is attracting the solution curves from both inside and outside the closed surface, and following the surface over and over in the same orbit as the parameter t goes to infinity [5]. The orbit is determined by the initial values. It is a necessary condition that the equilibrium point is spiral source. All exponential functions have disappeared along the whole surface. This is what characterizes a stable three-dimensional attractor.

In this paper, we will use formulas to closed surfaces where not all parts of the formulas are of same degree. As in the previous sections, we are going to use an extra variable w. We will get an extra ODE, and achieve a system of four ODEs with four variables. Keeping this extra variable constant, the problem is solved. The denominator is the same in all four solutions, and they contain the same exponential function.

Consider the formula to a closed surface:

( x 2 + y 2 + z 2 ) 3 + P 2 x 2 y 3 = f 6 (60)

P and f are parameters. The constant term under the fraction line must be:

( ( x 0 2 + y 0 2 + z 0 2 ) 3 + P 2 x 0 2 y 0 3 w 0 ) + f 6 (61)

Build up the solutions x ( t ) , y ( t ) , z ( t ) , w ( t ) according to this constant term. In order to compress the solutions, put x 0 cos ( b t ) + y 0 sin ( b t ) = A , y 0 cos ( b t ) x 0 sin ( b t ) = B

x ( t ) = f e a t ( A ) e 6 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 3 + P 2 e 6 a t w 0 ( A ) 2 ( B ) 3 ( ( x 0 2 + y 0 2 + z 0 2 ) 3 + P 2 x 0 2 y 0 3 w 0 ) + f 6 6 (62)

y ( t ) = f e a t ( B ) e 6 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 3 + P 2 e 6 a t w 0 ( A ) 2 ( B ) 3 ( ( x 0 2 + y 0 2 + z 0 2 ) 3 + P 2 x 0 2 y 0 3 w 0 ) + f 6 6 (63)

z ( t ) = f z 0 e a t e 6 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 3 + P 2 e 6 a t w 0 ( A ) 2 ( B ) 3 ( ( x 0 2 + y 0 2 + z 0 2 ) 3 + P 2 x 0 2 y 0 3 w 0 ) + f 6 6 (64)

w ( t ) = f w 0 e a t e 6 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 3 + P 2 e 6 a t w 0 ( A ) 2 ( B ) 3 ( ( x 0 2 + y 0 2 + z 0 2 ) 3 + P 2 x 0 2 y 0 3 w 0 ) + f 6 6 (65)

Differentiating these four solutions give system (1686):

d x d t = a x + b y x f 6 [ a ( x 2 + y 2 + z 2 ) 3 + a P 2 x 2 y 3 w + b 3 P 2 x y 4 w b 2 P 2 x 3 y 2 w ] (66)

d y d t = a y b x y f 6 [ a ( x 2 + y 2 + z 2 ) 3 + a P 2 x 2 y 3 w + b 3 P 2 x y 4 w b 2 P 2 x 3 y 2 w ] (67)

d z d t = a z z f 6 [ a ( x 2 + y 2 + z 2 ) 3 + a P 2 x 2 y 3 w + b 3 P 2 x y 4 w b 2 P 2 x 3 y 2 w ] (68)

d w d t = a w w f 6 [ a ( x 2 + y 2 + z 2 ) 3 + a P 2 x 2 y 3 w + b 3 P 2 x y 4 w b 2 P 2 x 3 y 2 w ] (69)

Keeping the variable w constant, we have made a system of three ODEs with the desired behavior.

Notice that when ( x 2 + y 2 + z 2 ) 3 + P 2 x 2 y 3 w = f 6 all parts containing the parameter a have disappeared, that means all exponential functions are gone. When a > 0 , the solution curves will follow the closed surface as the variable t goes to infinity.

See Figure 12, where a = 8 , b = 1 , f = 3 , P = 2 , w = 6 .

We see 9 limit cycles on this closed surface, one for each initial value.

Level set at height c = { ( x , y , z ) R 3 | f ( x , y , z ) = c } .

In this case w = f ( x , y , z ) = f 6 ( x 2 + y 2 + z 2 ) 3 P 2 x 2 y 3 = c , a constant. (70)

Now, we are able to solve problem c) in the Introduction: Make a system of ODEs where the closed surface ( x 2 + y 2 + z 2 ) 4 P ( z 3 3 x y 2 ) 2 = f 8 has attractor-behavior.

The constant term under the fraction line to all the solutions x ( t ) , y ( t ) , z ( t ) , w ( t ) must be:

( ( x 0 2 + y 0 2 + z 0 2 ) 4 P w 0 2 ( z 0 3 3 x 0 y 0 2 ) 2 ) + f 8 (71)

In order to compress the solutions, put x 0 cos ( b t ) + y 0 sin ( b t ) = A , y 0 cos ( b t ) x 0 sin ( b t ) = B , ( x 0 2 + y 0 2 + z 0 2 ) 4 P w 0 2 ( z 0 3 3 x 0 y 0 2 ) 2 = C The fraction line will be too long for this page.

x ( t ) = f e a t ( A ) e 8 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 4 P e 8 a t w 0 2 ( z 0 3 3 ( A ) ( B ) 2 ) 2 ( C ) + f 8 8 (72)

Figure 12. 9 LC on a closed surface.

y ( t ) = f e a t ( B ) e 8 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 4 P e 8 a t w 0 2 ( z 0 3 3 ( A ) ( B ) 2 ) 2 ( C ) + f 8 8 (73)

z ( t ) = f z 0 e a t e 8 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 4 P e 8 a t w 0 2 ( z 0 3 3 ( A ) ( B ) 2 ) 2 ( C ) + f 8 8 (74)

w ( t ) = f w 0 e a t e 8 a t ( ( A ) 2 + ( B ) 2 + z 0 2 ) 4 P e 8 a t w 0 2 ( z 0 3 3 ( A ) ( B ) 2 ) 2 ( C ) + f 8 8 (75)

Notice that when ( C ) = f 8 , the exponential functions in all four solutions are gone.

Differentiating these four solutions give system (1762):

d x d t = a x + b y x f 8 [ a ( x 2 + y 2 + z 2 ) 4 a P w 2 ( z 3 3 x y 2 ) 2 3 4 P b w 2 ( z 3 3 x y 2 ) ( 2 x 2 y y 3 ) ] (76)

d y d t = a y b x y f 8 [ a ( x 2 + y 2 + z 2 ) 4 a P w 2 ( z 3 3 x y 2 ) 2 3 4 P b w 2 ( z 3 3 x y 2 ) ( 2 x 2 y y 3 ) ] (77)

d z d t = a z z f 8 [ a ( x 2 + y 2 + z 2 ) 4 a P w 2 ( z 3 3 x y 2 ) 2 3 4 P b w 2 ( z 3 3 x y 2 ) ( 2 x 2 y y 3 ) ] (78)

d w d t = a w w f 8 [ a ( x 2 + y 2 + z 2 ) 4 a P w 2 ( z 3 3 x y 2 ) 2 3 4 P b w 2 ( z 3 3 x y 2 ) ( 2 x 2 y y 3 ) ] (79)

Keeping the extra variable w constant, the problem is solved. We have general solutions to a system of four ODEs (1762), but we don’t have solutions to the system of three ODEs in level height w = c , a constant.

See Figure 13, where a = 8 , b = 1 , P = 6 , f = 3 , w 2 = 4 .

Figure 13. 7 LC on a closed surface.

Notice that when ( x 2 + y 2 + z 2 ) 4 P w 2 ( z 3 3 x y 2 ) 2 = f 8 , all parts in the ODEs containing the parameter a have disappeared. That means all exponential functions in the solutions are gone along this surface. When a > 0 , this surface is an attractor.

Level set at height c = { ( x , y , z ) R 3 | f ( x , y , z ) = c } .

In this case w = f ( x , y , z ) = ± ( x 2 + y 2 + z 2 ) 4 f 8 P ( z 3 3 x y 2 ) 2 = ± c , a constant.

We have two equal solutions in level height w = c = ± 2 .

5. Conclusions

It is possible to make systems of nonlinear ODEs that are exhibiting limit cycles by making a system of general solutions first. A short summary of the techniques that we have used in this paper:

1) Choose a formula for a closed curve.

2) If not all parts of the formula have the same degree, choose the part with the highest degree and multiply the other parts with an extra variable, so that all parts of the formula have the same degree.

3) Create a constant term containing this formula, so that if you choose initial values on the closed curve, this constant term will become zero.

4) Place this constant term under the fraction line and build up the solutions according to the constant term. The denominator must be the same in all solutions.

5) Differentiate all solutions and keep the extra variable constant, and you have obtained the desired system of ODEs.

6) If you want to give this two-dimensional limit cycle a three-dimensional shape, make a constant term containing the formula for a surface, no matter how complicated this formula is, and multiply it with an exponential function. Make the constant term, so that it will become zero when you choose initial values wherever on the surface.

7) Differentiate the solution and keep the extra variable constant with the same value as in the other solutions, and you have obtained a system of three ODEs with the desired behavior.

8) If you want to make a system of ODEs where a closed surface has attractor-behavior and not all parts of the formula of the closed surface are of the same degree, choose the part with the highest degree and multiply the other parts with an extra variable, so that all parts of the formula have the same degree.

9) Create a constant term containing this formula, so that if you choose initial values wherever on the surface, this constant term will become zero.

10) Place this constant term under the fraction line in all solutions and build up the solutions according to the constant term. The denominator must be the same in all solutions and they must contain the same exponential function.

11) Differentiate the four solutions. Keep the extra variable constant and you have obtained a system of three ODEs with the desired behavior.

You can place as many limit cycles on a closed surface, and some open surfaces, as you want to. Choosing greater values of the parameter a and using a better computer, I am sure you will achieve a better similarity with the desired geometric shape.

Many more limit cycles in two and three dimensions are easy to make using these methods. Only the imagination is the limit. The possibilities for a lot of mathematical fun seem unlimited.

Conflicts of Interest

The author declares no conflicts of interest regarding the publication of this paper.

References

[1] Maliki, O.S. and Sesan, O. (2018) On Existence of Periodic Solutions of Certain Second Order Nonlinear ODEs via Phase Portrait Analysis. Applied Mathematics, 9, 1225-1237.
[2] Espinosa-Paredes, G. (2021) Chapter 7—Nonlinear BWR Dynamics with a Fractional Reduced Order Model. Fractional-Order Models for Nuclear Reactor Analysis, 247-295.
https://doi.org/10.1016/B978-0-12-823665-9.00007-9
[3] Prieto-Guerrero, A. and Espinosa-Paredes, G. (2019) 2—Description of Boiling Water Reactors. Linear and Non-Linear Stability Analysis in Boiling Water Reactors, 25-55.
https://doi.org/10.1016/B978-0-08-102445-4.00002-3
[4] Van Valkenberg, M.E. and Middleton, W.M. (Ed.) (2002) Reference Data for Engineers: Radio, Electronics, Computers and Communications. Elsevier, Amsterdam.
[5] Salehi Fathabadi, H. (2012) Behavior of Limit Cycles in Nonlinear Systems. International Journal of Information and Electronics Engineering, 24, 523-526.
https://doi.org/10.7763/IJIEE.2012.V2.152
[6] Milnor, J.W. (2006) Attractor. Scholarpedia, 1, Article No.1815.
[7] Ott, E. (2006) Basin of Attraction. Scholarpedia, 1, Article No. 1701.
https://doi.org/10.4249/scholarpedia.1701
[8] Stensland, M. (2022) How to Make Systems of Nonlinear Autonomous ODEs with Attractor-Behavior, by First Making the General Solutions: Part One. Journal of Applied Mathematics and Physics, 10, 3814-3835.
https://doi.org/10.4236/jamp.2022.1012253
[9] Blanchard, P., Devaney, R. L. and Hall, G.R. (2002) Differential Equations. 2nd Edition, BROOKS/COLE, Pacific Grove, 97, 197, 438.
[10] Colley, S.J. (2002) Vector Calculus. Prentice Hall, Upper Saddle River, NJ, 90-97.

Copyright © 2024 by authors and Scientific Research Publishing Inc.

Creative Commons License

This work and the related PDF file are licensed under a Creative Commons Attribution 4.0 International License.