The behavior of systems such as periodicity, fixed points, and most importantly chaos has evolved as an integral part of mathematics, especially in dynamical system. This research presents a study on chaos as a property of nonlinear science. Systems with at least two of the following properties are considered to be chaotic in a certain sense: bifurcation and period doubling, period three, transitivity and dense orbit, sensitive dependence to initial conditions, and expansivity. These are termed as the routes to chaos.

1. Introduction

Dynamical systems are part of life. Quite often it has been studied as an abstract concept in mathematics. Chaos is one of the few concepts in mathematics which cannot usually be defined in a word or statement. Most dynamical systems are considered chaotic depending on the either the topological or metric properties of the system. Yorke et al., 1976, concluded that period three implies chaos. They discussed how a dynamical system with period three orbits gives an assurance that the system is chaotic. Several approaches and conditions are factored before the construction of any definition of chaos [1]. R. L. Devaney has one of the most popular and accepted definitions of chaos in which such systems must exhibit sensitive dependence to initial conditions, topological transitivity, and dense periodic orbits [2]. Later it was proven that if a system is transitive with dense periodic orbits then obviously sensitivity dependence to initial condition is guaranteed.

The deterministic nature of these systems does not make them predictable and this is due to chaos theory. Properties of an unknown map can be associated with that of the known via topological conjugacy; hence properties of unknown maps can always be studied in terms of the unknown. The tent map and logistic maps are two known chaotic maps. At a particular point in time, a certain type of chaos may imply or could be equivalent to another type of chaos depending on the routes of chaos the system exhibits.

The size of the scrambled set of systems is one of the most usually considered conditions in terms of defining chaos in systems [1].

2. Preliminaries

Definition 1. Given dynamical system ,  , the iterations of the function are the composition of a function with itself.
If and   represent the composition of the function with itself once and twice, respectively, the th iteration of at a point represents the times composition of with itself. It is written as .

Definition 2. The orbit of a point in is the set .
The individual elements of the set represent the path of the iteration for a given function. These represent the trajectory of the function or system.

Definition 3. Assume ,   is a periodic point or a period -orbit if .
Under the circumstance the orbit of is called a periodic orbit or a period- orbit. The set of all iterations of iterations of a periodic forms a periodic orbit.

Definition 4 (Li et al., 2015). Let be a dynamical system. A pair is called scrambled if

3. Routes to Chaos and the Types of Chaos

3.1. Sensitive Dependence to Initial Conditions and Lyapunov Exponents

Let be a compact metric space and a continuous map. A dynamical system has sensitivity dependence on initial conditions if such that, for and each , there is with and such that .

This idea of sensitivity dependence is otherwise called butterfly effect. This is perhaps due to any of these reasons or even more; lost patterns and the great effects from marginal or negligible inputs like the flap of the butterfly wings. Generally this is experienced in nonlinear science. The smallest error in change in initial condition grows to become as large as the true and actual value of the state. This makes prediction of future behavior impossible but this does not mean the system is not deterministic.

Numerically, sensitivity is measured by Lyapunov exponent such that a positive value implies the system is really sensitive to initial conditions.

This implies that Lyapunov exponents measure the rate of divergence of orbits away from each other.

Let be a smooth map of the real line. The Lyapunov exponents are calculated using the derivatives of maps in the points of orbits [3]. The Lyapunov number of the orbit is defined as follows: if this limit exists.

The Lyapunov exponent is defined as if the limit exists.

Example 5 (Lyapunov exponent of the tent map). Giventhe given map is defined on the interval . On the interval, the piece continuous function between 0 and 1/2, .
Likewise on the interval between 1/2 and 1, .
Now in both cases. Since the tent map has positive Lyapunov exponent and hence is sensitive to initial conditions [4].

3.2. Topological Entropy

Topological entropy defines the rate of exponential growth of the number of distinct orbits (periodic orbits as tends to infinity).

Entropy is one of the most important quantities in dynamical systems so far as numerical values are concerned. It basically measures the rate of complexity of the dynamical system as time varies largely and towards infinity. For autonomous systems in compact metric space, topological entropy is commutative for composite functions such that [3].

Topological entropy can be defined and determined in terms of fixed points of and expressed as

Li Yorke chaos can be implied from entropy if the system is autonomous and in a compact metric space [3].

3.3. Transitivity and Dense Orbits

A dynamical system has a dense orbit if and only if where represents a specific iteration. The orbits of , , moves arbitrary close to another orbit at a given time, such that the metric between them is significantly small.

A dynamical system is topologically transitive if and only if, for all nonempty subsets and of , there exist positive such that the iteration of on intersects at least at a point.

Transitivity usually implies the existence of dense orbit, if such that is a dense subset of .

Topological transitivity guarantees that there always exists a point which results from the intersection of open sets under iterative process of map.

A point is considered a transitive point in if has a dense orbit under .

3.4. Expansivity

Let . is a metric space with a metric defined on it. The map is expansive if such that, , .

The constant defined by is called the expansive constant for the map. Points and are distinct points and .

There exists an obvious and more direct link between expansivity and sensitivity dependence on initial conditions. Every expansive map exhibits sensitivity dependence to initial conditions. The converse does not hold and the two conditions are never equivalent.

Expansivity implies sensitive dependence because expansivity deals with the distance between two nearby points and how their orbits separate continuously. In expansivity, the separation is observed between two nearby points by at least the constant . In sensitive dependence the requirement is that, at least there should be one point whose orbit moves away from the orbit of another close point after the same number of iterations.

3.5. Period Three

Let be a dynamical system and be defined by the map.

The map is said to have a periodic point if for ,  

For a given map, since is a natural number, the map is said to have periodic point of period three when . Period three is normally associated with chaos of dynamical systems and was first proved in [5].

Example 6 (systems with period three orbits). Let Since then the map has a cycle of period or the map has period three point.

Example 7 (systems with period three orbits). Given the given map is defined on the interval . We want to show that the tent function has period three cycles.
Let Since then the tent function has a period three cycle [6].

Theorem 8 (period three theorem). Let be a continuous function. If has periodic points of period three, then has periodic point of all other periods.

3.6. Bifurcation and Period Doubling

Bifurcation is defined as the structural changes of a dynamical system as a result of the alteration or changes in the parameter value. This change is usually sudden and could be topological or qualitative. In such cases, we expect the dynamical system to be a function of both the dependent variable and the parameter in context. An example is .

The idea of bifurcation can be grouped into two, which are global bifurcation and local bifurcation. In local bifurcation, the interest is the change that happens in the system near the fixed point. It is usually analyzed through changes in stability properties and periodic orbits. Global bifurcation occurs when larger invariant sets of the system collide with each other.

Period doubling is the splitting of a trajectory into two during iteration. This unusual scene is influenced by the parameter value most of the time. Chaos is observed as the period doubling increases. This is because the path of trajectory at certain points is mixed up and inseparable making the system chaotic.

3.7. Types of Chaos
3.7.1. Li Yorke Chaos

Let . The pair is a Li Yorke scrambled pair if A map is Li Yorke chaotic if it has uncountable scrambled set in (Li et al., 2015).

is proximal but not asymptotic. Li Yorke chaotic systems have a two-point distributional scrambled set which is equivalent to an uncountable scrambled set [1].

3.7.2. Devaney Chaos (see [2])

Let be a metric space. A continuous map is said to be chaotic if(1) is transitive,(2)the periodic orbit of is dense in ,(3) has sensitivity dependence on initial conditions.

3.7.3. Wiggins Chaos (see [7])

Let be continuous map and a metric space. The map is considered to be chaotic if(1) is topologically transitive,(2) has sensitivity dependence on initial conditions.

3.8. Lyapunov Definition of Chaos (see [7])

Let be a continuous differentiable map. The map is said to be chaotic if(1) is topological transitive,(2) has positive Lyapunov exponent.

3.9. Knudsen Chaotic System

Let be a continuous map on a metric space , then the dynamical system is chaotic according to Knudsen’s definition iff(1) has dense orbits,(2) is sensitive to IC.

3.10. Positive Expansive Chaotic System

Let be a continuous map on a perfect metric space .

The dynamical system is positively expansive chaotic (E-chaotic) iff(1) is topologically transitive,(2) has dense periodic orbits,(3) is positively expansive.

4. Interrelation of Various Types of Chaos

Let and be two mappings. is topologically conjugated to if there exists a homeomorphism such that .

Let be defined by and .

We verify that and are conjugated via as follows: Also, Since and is a homeomorphism of , and are conjugates.

Since the mappings in all two examples are conjugated topologically, they share the same topological properties. Hence if any of the mappings is identified with any topological property, we can as well associate the other mapping with the same property and vice versa.

At this point we take a study through the equivalent relations in various types of chaos and the implications as well.

Devaney chaos implies Wiggins chaos, Knudsen chaos, and Lyapunov chaos. Sensitivity to initial conditions is a common route in Devaney, Wiggin, and Knudsen chaos while positive Lyapunov exponents which are equivalent to sensitive dependence are used in Lyapunov chaos. Now, Devaney chaos combines both topological transitivity and the existence of dense orbits. Since Wiggins, Lyapunov, and Knudsen chaos depend on either of the two topological conditions, then Devaney chaos implies them all. A system that is Devaney chaotic has to be Wiggins chaotic, Lyapunov chaotic, and Knudsen chaotic.

Positive expansive implies Wiggins chaos, Knudsen chaos, and Lyapunov chaos. Wiggins definition, Knudsen chaos, and Lyapunov’s definitions satisfies either the condition of transitivity or dense orbits.

In relation to Wiggins chaos, their distinct conditions are positive expansiveness and sensitive dependence to initial conditions. Expansivity implies sensitive dependence; hence positive expansive chaos implies Wiggins chaos.

In the case of Knudsen chaos, beyond the existence of dense orbit, the distinct condition is also sensitivity. Similarly, since expansivity implies sensitive dependence, expansive chaos implies Knudsen chaos.

Also for positive Lyapunov exponents, the distinct condition is expansivity and positive Lyapunov exponents. Every expansive map has a positive Lyapunov exponent but the converse is not true. As said earlier, if just two orbits separate apart at a point in the iteration, the Lyapunov will be positive but the map might not necessarily be expansive.

Wiggins chaos and Knudsen chaos imply each other and are quite similar or equivalent. They share a common property of transitivity. They also share an equivalent property of sensitivity and positive Lyapunov exponents. The difference in the two definitions is the space on which it is defined. Wiggins considers a continuous map on a metric whiles Lyapunov deals with differentiable maps.

Knudsen chaos shares an equivalent property of sensitivity dependence to initial condition and positive Lyapunov exponents with Wiggins definition and Lyapunov’s definition. In some systems, transitivity is equivalent to dense orbits though not always. In such systems, all three types of chaos are the same apart from the space on which each is defined.

Devaney chaos and Li York chaos are interrelated via topological entropy. Devaney chaos implies positive topological entropy and the converse is not true. Positive topological entropy implies Li Yorke chaos and here too the converse does not hold. According to the law of transitivity in analysis Deveney chaos implies Li Yorke chaos. On the interval map Deveney chaos is the strongest whereas Li Yorke’s chaos is the weakest.

From above, Devaney chaos implies Wiggins chaos, Lyapunov chaos, and Knudsen chaos. Positive expansive chaos implies Wiggins chaos, Lyapunov chaos, and Knudsen chaos. Possibly then, there should be a link between the two. The two definitions share two common properties of topological transitivity and dense periodic orbit. Positive expansivity is a stronger property than sensitive dependence to initial conditions. Since positive expansivity implies sensitive dependence, the positive expansive chaos implies Deveney chaos.

Every Expanding Map Is Chaotic. Expansivity implies topological mixing which implies transitivity. When chaos of a system is defined in terms of expansivity, transitivity which is considered as one of the strongest and essential condition for chaos is captured.

There should always be a way to calculate chaos or numerically determine chaos. Entropy usually is quite difficult to obtain numerically compared to Lyapunov exponent. Since every expansive map has positive Lyapunov exponent, then by confirming the expansiveness of a map, chaos is possible if not guaranteed.

Lastly, that gives a more stronger form of chaos in that the existence of sensitive dependence alone in itself would not and cannot guarantee chaos in dynamical systems. Hence other routes become relevant in the definition of the types of chaos.

5. Conclusion

Chaos as a nonlinear science has become part of our daily lives. There is an implication or equivalence relation between the kinds of chaos based on the particular routes to chaos. Topological conjugacy is one of the means of associating topological properties of a map with known properties and a map with unknown topological properties. Expansive chaotic system implies Lyapunov chaos. Devaney chaos implies Wiggins chaos, Knudsen chaos, and Lyapunov chaos. Wiggins chaos and Knudsen chaos imply each other and are quite similar or equivalent. Devaney chaos and Li York chaos are interrelated via topological entropy.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.