Finding the Fibonacci Spiral Patterns in Atmospheric Equatorial Waves ()
1. Introduction
The Fibonacci sequence of numbers
is defined using the recursive relation
with the seed values
. It is known as probably the most common relationship that occurs in the smallest, to the largest objects in nature. It can be seen in the arrangement of sunflower seeds, shells of snails, in the pattern found on the wings of dragonflies, in the arrangement of hexagons in the honeycomb of bees, as well as in the shape of the Milky Way or other galaxies (see Figure 1). In biology, for example, the packaging of seeds or branching is only a glimpse of underlying heavy usage of Fibonacci sequence in whole morphogenetic process, starting with DNA itself. It is used in shape itself when necessary but not used when not, e.g. our limbs don’t grow in Fibonacci rule way. But it’s hidden somewhere in the shape of our body, bones etc. As a part of
![]()
Figure 1. Fibonacci spirals observed in nature. These images were posted in Art/Science, Paul’s Journal, Workshops. Available at: https://tumamocsketchbook.com/category/journal.
chemical activity, segmented spiral waves were also found in reaction-diffusion systems ( [1] [2]). The segmented spirals are complex dynamical structures with several levels of organization, characterized, for example by the wavelength between successive spiral turns and the turning wavelength between segments. The appearance and complexity of segmented spirals are suggestive of phenomena in living systems.
While the aesthetics and symmetry of Fibonacci spiral patterns has often attracted scientists, a mathematical or physical explanation for their common occurrence in nature is yet to be discovered ( [3]).
Spiral like gravity waves can also exist in the atmosphere. For example, as has been discussed in [4], recent observational studies confirm the existence of spiral gravity waves radiating horizontally outward from tropical cyclones. These waves are wrapped into spirals by the tangential wind of the cyclone and are described as spiral gravity waves.
In this paper, we would like to investigate if there is some correlation between atmospheric equatorial waves and the Fibonacci spiral. Equatorial waves are a key part of the tropical climate system and play a vital role in the planet’s weather and climate by transferring heat towards the poles, and cold air towards the equator. Usually such waves are associated with large-scale perturbations of the atmospheric motion extending coherently around a full longitude circle [5] [6] [7] [8] [9] . For example, Jupiter’s North Equatorial Belt (NEB) is one of the broadest and darkest belts on the planet. It is almost always a scene of notable weather formations and activity, as shown in Figure 2. Bounded by the retrograde jet at 17˚N on its northern edge, and the very fast prograde jet at 7˚N on its southern edge, the visibly dark belt does not always respect these limits. There
![]()
Figure 2. Hi-res image of the planet showing typical comparable large-scale wave structure in the southern equatorial zone called the South Equatorial Disturbance (SED) and the North Equatorial Belt (NEB), as well as small superfast spots on the SEBn jet, and rifts in both NEB and SEB. Data Source: Hubble Space Telescope 2007.
is a continuous gradient of wind speed across the NEB, as shown in Figure 2. Additionally, planetary waves are considered as an important component of the long-term mean upwelling at the tropical tropopause and the planetary wave breaking in the extratropical stratosphere ( [9] [10]). However, the exact role of equatorial planetary waves in tropical upwelling has not been resolved so far.
It is also believed that planetary waves are responsible for widespread changes in the climate system, especially in the ozone variation (see e.g. [11]). The interest in planetary waves increased dramatically increase in the 1980s when the Antarctic ozone hole was discovered ( [6] [12] [13]). The ozone layer, and in turn stratospheric ozone, plays a crucial role in protecting our life on Earth by absorbing harmful solar ultraviolet radiation ( [14] [15]). Moreover, the effects of atmospheric waves on variations of the ozone layer are also essential to the control of the stratospheric temperature via atmospheric radiative heating, as those effects make El Nino to be related with the observed rapid decelerations of the stratospheric polar vortex ( [16]). Also, it was pointed out in [11] [14] [17] [18] [19] [20] [21], that El Nino is directly related with the effects of atmospheric waves on the polar vortex. It was discussed earlier in [22] that the observed breakdowns in the polar vortex are an instability caused by atmospheric waves. To improve seasonal weather forecasting it is important to understand and improve the predictions of the dynamics of the atmospheric waves (see also [23]).
It has been discussed in [7], one method of visualizing the atmospheric waves is to measure water vapor affected by Coriolis effects detected by satellites, and in order to investigate atmospheric perturbations in a form propagating wave, a novel, robust algorithm to extract ring-shape patterns from satellite and model data has been developed in [8].
In this research, we shall analyze one particular class of the exact invariant solution associated with the nonlinear shallow water equations representing planetary equatorial waves corresponding to the free boundary problem describing the non-stationary motion of an incompressible perfect fluid propagating around a solid circle. The solution of interest was obtained by means of Lie symmetries first reported in [24] . Acquaintance with group analysis is important for constructing and investigating nonlinear mathematical models of natural and engineering problems. Numerous physical phenomena can be investigated using Lie symmetries to unearth various group invariant solutions and conservation laws that provide significant physical insight into the problem. Moreover, models of natural phenomena can often be described directly in group theoretic terms. Differential equations, conservation laws, solutions to boundary value problems, and so forth can be derived from the group invariance principle.
We consider the two dimensional motion of an incompressible perfect fluid which has a free boundary
and a solid bottom represented by a circle of radius R. The fluid is circulating around a solid circle and confined by a free boundary. For modeling purposes, we can assume that the motion of the fluid is irrotational and the pressure on a free boundary is constant. It is postulated that that the fluid depth is small compared to the radius of the circle, as shown schematically in Figure 3.
We introduce polar coordinates
,
, where
is a polar angle, r is the distance from the origin, and we use the following notation: R is the radius of the circle representing the radius of a planet,
, where t is time,
is a constant undisturbed level of the equatorial atmospheric layer from the center of the planet, and
is the unknown level of disturbance of a free boundary. Hence, irrotational motion of a perfect fluid is confined in the domain
![]()
Figure 3. Schematic showing an equatorial atmospheric motion.
which is bounded by a solid circular boundary
and a perturbed free boundary
. For the sake of simplicity, the atmospheric flow is supposed to be irrotational and pressure on a free boundary
is constant. It is postulated that the unperturbed level of atmospheric “depth”
is small compared to the radius R and the homogeneous gravity field is given by the vector
, which is assumed to be a constant and directed to the center of the circle.
The paper is organized as follows: First we reduce the free boundary problem to a nonlinear system of shallow water approximation. Next, the invariant solutions of the shallow water system are deduced by constructing the infinite- dimensional Lie algebra composed by the operators admitted by the system. In particular, it is noted that the system is invariant under the non-uniform scaling transformation group. As the next step, we will show that the obtained invariant solution has a Fibonacci spiral-like form and has two parameters k and
. We have defined a new model hypermarameter
, where t is time. The question of particular interest is: can we tune the hypermarameter in order to match the exact solution to the actual Fibonacci spiral?
Main result: It was discovered that the physically relevant part of the solution matches exactly the Fibonacci spiral.
2. Shallow Water Approximation
In what follows, it is assumed that the fluid motion is potential in the domain of the motion which allows to introduce the stream function
via
(1)
Notice that
is a harmonic function in
, since we assumed that the flow is irrotational. Next, we define the average velocity
in terms of the stream function
as
(2)
In order to reduce the number of parameters, we introduce dimensionless variables:
(3)
We next introduce the parameter
(4)
The hypothesis that water is “shallow” is based on the assumption that the parameter
is “small”.
In particular the relation between the boundaries of the dimensional and nondimensional variables can be summarized in the table below
Hereafter the symbol “hat” is omitted.
So, in the nondimensional variables, the free boundary is given by
and thus the functions
and
are two unknown functions whereas
is a given parameter. Although shallow water theory is usually related to the case when the water depth is small relative to the wavelengths of the waves, we find it more appropriate to choose the radius R as a natural physical scale since, in the frame of the present model, we consider waves with wavelengths of the order of the radius of a planet.
Representing the stream function
by the series expansion:
and application of the Lagrange’s method allows one to write the boundary problem as the following nondimensional system of nonlinear shallow water equations, which are a higher-order analogue of the Su - Gardner Equations ( [25]):
(6)
(7)
where the subscripts denote partial derivatives in which independent variables t and
denote the time and the polar angle, respectively, the dependent variables are the average velocity u and the level
of the atmosphere perturbed from
, whereas
is a small parameter.
Due to the fact that
is a small parameter, the terms of order
can be considered as a small perturbation to the zeroth order terms (unperturbed model). Our main concern is a simplified version of the model, in which the perturbations (nonlinear terms at
) are ignored and we consider the following unperturbed system. As has been shown in [26], and [27], elimination of
and
from the terms of the Equations (6) and (7) and ignoring the terms with
leads to the following unperturbed system:
(8)
(9)
It can be checked by direct substitution that one particular exact solution of the unperturbed shallow water system (8) and (9) is
(10)
where
is the intensity of the vortex (source) localized at the center of the planet and is related with the rotation rate of the planet (for example, the angular velocity of the earth is
) by the equation
. Since the solution (10) corresponds to the constant flow with an undisturbed circular free surface, we call it a trivial solution. To a certain extent, the above ansatz (10) can be associated with the polar vortex, which represents a very powerful whirlpool swirling steadily around the planet’s poles at all times.
Understanding and predicting break downs and overall dynamic structure of the polar vortex is important for improving seasonal forecasting (see also [23]). If the undulating path of the west to east atmospheric flow generated by the polar vortex could be predicted, then weather could be predicted too, not just for a week or two, but for an entire season [28]. However, as pointed out in [29], until now understanding of such a correlation has been based on observations and statistical modeling only rather than on the knowledge of its physical foundation. Because of the periodic seasonal breakdowns of the polar vortex and the lack of continuous data for the input of such interactions, statistical approach generally cannot provide the weather patterns accurately enough ( [30] [31] [32] [33]).
Up to the present days, our knowledge of gravity wave sources and properties in the polar region is very much limited because collecting the observations is generally difficult because of harsh natural environments ( [34]).
3. Nontrivial Similarity Solution
Detailed presentations of the theory of symmetries and invariant solutions of differential equations can be found elsewhere [24] [35] - [41]. For convenience, we summarize the basic notation from calculus of Lie group analysis in the Appendix, which represents a simplified version of the overview of basic concepts of Lie symmetry groups.
A simple inspection shows that the system (8) and (9) admits the infinite- dimensional Lie algebra composed by the operators
(11)
In particular, the operator
is admitted due to the invariance of the system (8) and (9) under the Galilean transformation group
(12)
with an arbitrary parameter
. The operator
indicates that the system (8) and (9) is invariant under the non-uniform scaling transformation group
(13)
where
is another arbitrary parameter and the operator
is responsible for a specific non-scaling symmetry of the one-dimensional shallow water model (8) and (9).
The term similarity solution refers to invariant solutions based on scaling transformations (12). It can be checked by direct substitution that the shallow water model (8) and (9) is invariant under the transformation (12). One calculates the invariant
of the group
by solving the first-order linear partial differential equation
(14)
The latter Equation (14) gives three functionally independent invariants corresponding to the transformation (12):
Accordingly, we look for the invariant solution of the (8) and (9) in the form
(15)
Direct substitution of the presentation (15) in the system (8) and (9) yields the following nonlinear ordinary differential equations:
(16)
(17)
In the case when
, the Equation (17) can be written as the following coupled equations
(18)
where W satisfies the nonlinear differential equation of the second order,
(19)
Integration of the Equation (19) yields
(20)
where k is a constant and so W is given implicitly by equation
(21)
where
is an arbitrary constant.
In particular, if the function H is known, the function u can be expressed in terms of H as
(22)
The Equation (21) provides an implicit representation of the function
and hence the functions
and
are (15) due to the Equations (18). We calculate the integral and distinguish the following three cases:
3.1. Case k = 0
When
the Equation (21) has the form
(23)
In this case, the Equations (15) provide us with the solution
(24)
and thus the exact solution of the system (8) and (9) is given by
(25)
3.2. Case k > 0
When
, the functions U and H are given by
(26)
where
and W is given implicitly by equation
(27)
3.3. Case k < 0
When
, the functions U and H are given by
(28)
where
and W is given implicitly by equation
(29)
The function
is defined subject to constraint
(30)
For example, the function
is not defined for
.
We will approximate the functions
for large and small values of W and also for large and small values of k.
4. Asymptotic Analysis
We will analyze the asymptotic behavior of the similarity solution (15) for large and small W as well as for large and small values k.
4.1. Approximation of the Similarity Solution for Large and Small W
We next approximate the function
given by Equation (27) in the limit
. We start with
, where
(31)
First, we consider the limiting behavior of
:
(32)
and for
, since
, we look for
. Using
, we find
(33)
After applying the L’Hopital’s rule 3 times, we get
(34)
Next, with the limiting behavior of
:
(35)
For
, since
, we get
(36)
Using this, we can find two approximations for
:
(37)
since
(38)
(39)
since
(40)
This analysis shows that there are two approximations for
, for very large W and for very small W. In particular,
but
does not exist since
is subject to the constraint
.
4.2. Approximation of the Similarity Solution for Large and Small k
We note that the function
represents a better approximation of
for larger values of
whereas the function
represents a better approximation of
for smaller values of
, which is demonstrated in Figure 4. In particular, the panel (a) shows the curve
and
for
and
. It can be shown that
. The panel (b) compares the curve
and
for
and
. It can be shown that
, subject to the constraint (30). Finally, the panel (c) is used to compare
with
and
for
. For this reason we call the exact solution (15) an attractor solution in the sense that
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, in general, a dynamical system may have multiple attractors, each with its own basin of attraction.
5. Nonlinear Analysis
We start by analyzing the exact attractor solution
representing the deviation of the free boundary (see Equation (15)) form the unperturbed boundary
for the case
at different values of time t. As shown in Figure 5, the attractor solution is a decreasing function of t for a fixed value of
but it is an increasing function of
for a fixed value of time t. We will also apply the numerical technique to compare the attractor solution
(41)
with the exact solution
(42)
for both cases when
and
. The results are shown in Figure 6 and Figure 7.
![]()
Figure 4. Approximation of
by
and
for larger and small values of
. We observe that
, as illustrated in panel (a) and
, as illustrated in panel (b). Panel (c) is used to compare the curves
and
with
for the value of
.
![]()
Figure 5. Attractor solution
for the case
and different values of time
and
.
![]()
Figure 6. Comparison of the solution
for
with the attractor solution
at
and different values of k. Panel (a) shows the attractor solution (dotted red line) and the solution
evaluated at
(dashed blue line) and
evaluated at
(solid green line) and panel (a) compares these solutions for the
and 1 as well, but evaluated at
.
![]()
Figure 7. Comparison of the solution
for
with the attractor solution
at
and different values of k. The attractor solution is plotted by the red line and the solution
evaluated at
is shown by the blue line whereas
evaluated at
is shown by the green line.
In particular, Figure 6 is used to compare the solution
given by (42) for
with the attractor solution given by (41) at
and different values of k. Panel (a) shows the attractor solution (dotted red line) and the solution
given by (41) evaluated at
(dashed blue line) and
(solid green line). We can observe that the attractor solution represents a better approximation of the exact solution given by (41) at
then at
, as expected from the asymptotic analysis showing that
. A similar conclusion holds for larger values of time t, as illustrated in Panel (b) of this figure, showing the solutions evaluated at
.
Similarly, Figure 7 is used to compare the nonlinear solution
given by (42) for
with the attractor solution
given by (41) at
and different values of k. In this plot, the
attractor solution is plotted by the red line and the solution
evaluated at
is shown by the blue line whereas
evaluated at
is shown by the green line. We note that the similarity solution
is defined
for
and
, which covers the whole range of
.
6. Fibonacci Spirals
We associate the parameter k with the Fibonacci sequence
defined by
with
and
. Here each value
corresponds to
the circular arc
, where
so that
corresponds to the circular arc
with
. Also
corresponds to the circular arc
with
and
corresponds to the circular arc
with
and so on. Next, the parameter
is chosen for each value of k such that the endpoints of the arc segments
connect continuously with the next circular segment
, for any given value of time t, so that
,
where we call
model hypermarameter and it is tuned for the given predictive model represented by the Fibonacci spiral. We are tuning the hypermarameter in order to discover how the parameters
and
of the model result in the given prediction.
For example, for
, the values of
corresponding to the first seven terms of Fibonacci sequence
are approximated by the values shown in Table (43).
(43)
The values of
are also shown in Figure 8 and the corresponding few circular arcs are shown in Figure 9. We observe that
(44)
which is also seen from the Figure 8.
In particular, based on the results for the hyperparameter
as shown in Table (43), we visualize our exact solution (15) for
for
in Figure 9 as the sequence of circular arcs plotted at the values of time given by
. For example, when
, we evaluate our exact solution as a function of
at the value of time
. Similarly, when
, we evaluate our exact solution as a function of
at the value of time
and so forth.
![]()
Figure 8. The values of
calculated for the first fourteen terms of the Fibonacci sequence.
![]()
Figure 9. First few circular segments connected with each other for the first few terms of the Fibonacci sequence. The smoothness of connected is designed by choosing the corresponding values of the hypermarameter
.
Figure 10 is used to compare the attractor solution
with the numerical approximation of the perturbation
for
and
and
as the function of time t. We note that
represents
the deviation of the free boundary from the unperturbed state
, so the feasible domain of h is given by
![]()
Figure 10. Comparison of the attractor solution with
with the numerical approximation of the perturbation
for
and
and
.
(45)
where
is a small parameter since it is assumed that the unperturbed level of atmospheric “depth” is small compared to the radius of the Earth. As Figure 10 shows, h is a decreasing function of time t, but it is an increasing function of a polar angle
, which means that our nontrivial solution is valid for only very small values of
.
Figure 11 is used to compare the free boundary given by
and the Fibonacci spiral for the first four values of k, namely, for
. According to the values chosen as shown in Table (43), panel (a) shows the segment of the Fibonacci spiral (green circles) and the free boundary (blue solid line) evaluated at the values of
,
and
. Panel (b) compares the segment of the Fibonacci spiral and the free boundary evaluated at the values of
,
and
. Panel (c) compares the segment of the Fibonacci spiral and the free boundary evaluated at the values of
,
and
. Finally, panel (d) compares the segment of the Fibonacci spiral and the free boundary evaluated at the values of
,
and
.
As it was discussed earlier, the solution for the free boundary perturbation
is only valid in the domain
defined by (45), i.e. in a very narrow band
. For example, if
, we can see from Figure 10 that our
solution is valid for very small values of
bounded by
. Thus, for example, if
, the solution is bounded by
. So, in this domain,
the Fibonacci spiral corresponding to
is a very good approximation of the nontrivial solution
, as shown in panel (a) of Figure 11. For larger values of k, we observe that the solution
diverges from the Fibonacci spiral.
![]()
Figure 11. Comparison of the free boundary
and the Fibonacci spiral for the first three values of k.
7. Discussions
In this paper, we have analyzed and visualized the exact invariant solution of the nonlinear simplified version of the shallow water Equations (8) and (9)
(46)
which are being used to simulate equatorial atmospheric waves of planetary scales. Our model is represented by the Cauchy-Poisson free boundary problem on the nonstationary motion of a perfect incompressible fluid circulating around a vortex field approximated by a circle of a large radius and the gravity is directed to the center of the circle. The solution for the free boundary perturbation
is only valid in a very narrow band
, as also shown schematically in Figure 12. We have shown that within this band, the Fibonacci spiral corresponding to
is a very good approximation of the nontrivial solution
, as shown in Figure 13. However, we observe that the solution
diverges from the Fibonacci spiral for increasing values of k. In other words, the physically relevant part of the solution matches exactly the Fibonacci spiral.
We also remark that the higher-order shallow water equations can be derived for our free boundary model and the higher-order approximation has the following form:
(47)
![]()
Figure 13. Comparison of the free boundary given by
and the Fibonacci spiral evaluated at the values of
,
and
.
(48)
It is one of our goals for further studies to study the higher-order approximations (47) and (48) and see if the Fibonacci spiral can be a better approximation of the free boundary model for larger values of k.
We also note that the model (8) and (9) is invariant under the group of transformations
(49)
where the functions
solve the system of first-order equations
(50)
If we write the operator (49) as an infinitesimal transformation
(51)
The Equations (50) show that the infinitesimal transformation (51) changes the variables
by adding to them an arbitrary solution of the system of linear differential equations
(52)
and that the system (52) admits the infinitesimal transformation (51).
Hence, the operator (49) is admitted both by the nonlinear system (8) and (9) and by the linear system (52). This fact predicts a possibility to map the nonlinear Equations (8) and (9) to the linear system (52) by an appropriate change of variables. It is important to note that the linear system is homogeneous, i.e. invariant under the uniform dilation
produced by the operator
from (11).
We conclude that the operator (49) and the operator
from (11) are responsible for the possibility of mapping of the nonlinear system (8) and (9) to the linear homogeneous system (52). Mapping the nonlinear model (8) and (9) to a linear system will be studies in the forthcoming paper.
Acknowledgements
We would like to thank the Dean of STEM & Social Sciences at Wenatchee Valley College, Holly Bringman and Electronic Media Producer Lead, Brett McGinnis for providing us with all the necessary facilities for the research, great support, and encouragement.
Appendix: Outline of Methods from Lie Group Analysis
Basic concepts from Lie group analysis of differential equations that are used in the present paper are assembled here. For further information regarding Lie groups and their applications to the theory of differential equations, the reader should consult the various classical and modern texts in the field, such as [24] [35] - [41] .
Definition of one-parameter groups. Let
(A1)
be a one-parameter family of invertible transformations of points
into points
. Here a is a real parameter from a neighborhood of
, and we impose the condition that Transformation (A1) is an identity if and only if
, i.e.,
(A2)
The set G of transformations (A1) satisfying Condition (A2) is called a (local) one-parameter group of transformations in
if the successive action of two transformations is identical to the action of a third transformation from G, i.e., if the function
satisfies the following group property:
(A3)
where
(A4)
with a smooth function
defined for sufficiently small a and b. The group parameter a in the transformation (A1) can be changed so that the function (A4) becomes
. In other words, the group property (A3) can be written, upon choosing an appropriate parameter a (called a canonical parameter) in the form
(A5)
Group Generator. Let G be a group of transformations (A1) satisfying the condition (A2) and the group property (A5). Expanding the functions
into Taylor series near
and keeping only the linear terms in a, one obtains the infinitesimal transformation of the group G:
(A6)
where
(A7)
The first-order linear differential operator
(A8)
is known as the generator of the group G.
Invariants. A function
is said to be an invariant of the group G if for each point
is constant along the trajectory determined by the totality of transformed points
:
.
The function
is an invariant of the group G with Generator (A8) if and only if
(A9)
Hence any one-parameter group has exactly
functionally independent invariants (basis of invariants). One can take them to be the left-hand sides of
first integrals
of the characteristic equations for linear partial differential Equation (A9). Then any other invariant is a function of
.
Invariant equations. We say that a system of equations
(A10)
is invariant with respect to the group G (or admits the group G) if the transformations (A1) of the group G map any solution of Equations (A10) into a solution of the same equations, i.e.,
(A11)
whenever z solves Equations (A10). The group G with the generator (A8) is admitted by Equations (A10) if and only if
(A12)
where the symbol |(A10) means evaluated on the solutions of Equations (A10).
If z is a collection of independent variables
, dependent variables
and partial derivatives
, of u with respect to x up to certain order, where
then (A10) is a system of partial differential equations
(A13)
Furthermore, if the transformations (A1) are obtained by the transformations of the independent and dependent variables
(A14)
and the extension of (A14) to all derivatives
, etc. involved in the differential Equations (A13), then Equations (A11) define a group G of transformations (A14) admitted by the differential Equations (A13). In other words, an admitted group does not change the form of the system of differential Equations (A13). The generator of the admitted group G is termed an infinitesimal symmetry (or simply symmetry) of the differential Equations (A13). Equations (A12) serve for obtaining the infinitesimal symmetries and are known as the determining equations. These equations are linear and homogeneous and therefore the set L of its solutions is a vector space. Integration of determining equations often provides several linearly independent infinitesimal symmetries. Moreover, the determining equations have a specific property that guarantees that the set L is closed with respect to the commutator
. Due to this property L is called a Lie algebra. If the dimension of the vector space L is equal to r, the space is denoted by
and is called an r-dimensional Lie algebra. An r- dimensional Lie algebra
generates a group depending on r parameters which is called an r-parameter group.
Invariant solutions. Let the differential Equations (A13) admit a multi- parameter group G, and let H be a subgroup of G. A solution
(A15)
of Equations (A13) is called an H-invariant solution (termed for brevity an invariant solution) if Equations (A15) are invariant with respect to the subgroup H. If H is a one-parameter group and has the generator X, then the H-invariant solutions are constructed by calculating a basis of invariants
.