Next Article in Journal
A Bidirectional Long Short-Term Memory Autoencoder Transformer for Remaining Useful Life Estimation
Next Article in Special Issue
Paradoxes of Competition in Periodic Environments: Delta Functions in Ecological Models
Previous Article in Journal
The Evolutionary Dynamics of a Sex-Structured Population with Non-Overlapping Generations
Previous Article in Special Issue
Acoustic Wind in a Hyperbolic Predator—Prey System
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Emergent Spatial–Temporal Patterns in a Ring of Locally Coupled Population Oscillators

by
Alexey V. Rusakov
1,*,
Dmitry A. Tikhonov
1,2,
Nailya I. Nurieva
1 and
Alexander B. Medvinsky
1
1
Institute of Theoretical and Experimental Biophysics, 142290 Pushchino, Russia
2
Institute of Mathematical Problems of Biology, Keldysh Institute of Applied Mathematics, Professor Vitkevich St. 1, 142290 Pushchino, Russia
*
Author to whom correspondence should be addressed.
Mathematics 2023, 11(24), 4970; https://doi.org/10.3390/math11244970
Submission received: 10 October 2023 / Revised: 8 December 2023 / Accepted: 14 December 2023 / Published: 15 December 2023
(This article belongs to the Collection Theoretical and Mathematical Ecology)

Abstract

:
A closed chain of oscillators can be considered a model for ring-shaped ecosystems, such as atolls or the coastal zones of inland reservoirs. We use the logistic map, which is often referred to as an archetypical example of how complex dynamics can arise from very simple nonlinear equations, as a model for a separate oscillator in the chain. We present an original algorithm that allows us to find solutions to the spatiotemporal logistic equation quite efficiently or to state with certainty that there are no such solutions. Based on the Shannon formula, we propose formulas for estimating the spatial and temporal entropy, which allow us to classify our solutions as regular or irregular. We show that regular solutions can occur within the Malthus parameter region that corresponds to the irregular dynamics of a solitary logistic map.

1. Introduction

Mathematical models have shown high efficiency in studies of qualitative regularities in the functioning of complex systems. One of the significant advantages of this approach is the opportunity to study individual processes separately. For example, the logistic map, describing the population dynamics in the absence of external influences, depends on only one parameter, the Malthusian coefficient r, the value of which unambiguously determines the dynamical regime of the model (Figure 1). With such a simple model, it was possible to demonstrate the full range of population dynamics: the stationary state, periodic oscillations, non-periodic oscillations, and chaotic dynamics [1].
It should be noted that the dynamics of real, not model, populations are characterized not only by changes in their properties (abundance, biomass, growth rate) in time, but also, in general, by variations in these properties in space. Only by using spatially distributed models is it possible to study the spatiotemporal dynamics of populations resulting from interspecific competition, migration, and trophic interactions, as well as to form a strategy for the sustainable functioning of the population under study [2,3,4,5,6,7]. Simple models with a small number of parameters have been widely used to study phenomena related to the spatial dimension of population processes [8]. In such a model, a chain of oscillators can be used, the dynamics of each of which are described both by the logistic map x t + 1 = r x t 1 x t and by exchange processes between coupled oscillators (see, e.g., [6,7,9]). Such a spatially distributed model allows for a large number of spatial structures and their associated effects [7,10,11,12]. Recently, a number of studies describing the behavior of this class of models with different types of coupling (different depth of coupling, coupling with delay) have been conducted [13,14,15], and an attempt has been made to find universal regularities in the occurrence of spatial effects in a chain of diffusively coupled logistic oscillators [16]. Despite the abundance of various effects obtained in these models, no comparison of temporal dynamics and spatial structures has yet been made for a wide range of parameters.
In this work, unlike previous studies, the spatiotemporal processes in an oscillator system are studied for a wide range of parameters. We present here the results of a study of the dynamics and spatial structures arising in a closed chain of locally connected oscillators, with each oscillator being defined by a logistic map. The local coupling between neighboring oscillators in the closed chain can be considered as a model of exchange population processes in ring-shaped ecosystems, such as, for example, the littoral area of an enclosed body of water, like a lake or a pond.

2. Model

In this work, we studied a chain of locally coupled logistic oscillators, the structure of which is shown in Figure 2.

2.1. Logistic Equation as a Map of a Nonlinear Operator

The logistic equation can be written as a map of a vector X k to a vector X k + 1 by means of a nonlinear operator F ^ , where k may be considered a label of consecutive breeding cycles [8].
X k + 1 = F ^   X ( k ) .
The nonlinear operator F ^ acting on the vector X is defined as follows:
F ^   X = A × X ( 1 X ) .
The notation ○ in the formula stands for the Hadamard product [17] (also known as the elementwise product, entrywise product, or Schur product) and is a binary operation that takes two matrices of equal dimensions and returns a matrix of the multiplied corresponding elements.
The symbol × denotes matrix multiplication, where matrix A is a circulant matrix of dimension L × L , each row of which contains exactly three non-zero elements. Each subsequent row of the matrix is obtained by cyclically shifting the elements of the previous row to the right:
A L × L = r 1 2 D r D 0 0 r D r D r 1 2 D r D 0 0 r D r 1 2 D r D r D   r 1 2 D r D r D 0 0 r D r 1 2 D ,
where L is the length of the chain of coupled logistic oscillators, D is the exchange value between neighboring oscillators, and r is the Malthusian coefficient of the logistic map x t + 1 = r x ( t ) ( 1 x ( t ) ) . The parameters r   a n d   D of the logistic equation only enter matrix A . In numerical modeling, we limit the r values to the range from 3.0 to 4.0; this interval corresponds to the r values that provide oscillatory dynamics in the case of a solitary logistic map (see Figure 1) [18]. The numerical values of D lie in the range from values close to 0 (no coupling) to 0.5, since at D ≥ 0.5, stable solutions are absent.
The logistic map at given parameters r   a n d   D and under given initial conditions X 0 can be considered a method of simple iteration of the solution to a nonlinear equation of the form:
X F ^ P   X = 0 .
In Equation (2), P is the degree of the nonlinear operator and X is the solution of Equation (2). In the method of simple iterations, we will say that the solution of Equation (2) is found if, starting from some N1, the following condition is satisfied:
X N 1 + P X N 1 = 0
where X N 1 + P = F ^ P   X ( N 1 ) . In practice, it is convenient to use the value of the residual difference norm at successive iteration steps to search for a solution simultaneously with the search for the period P:
r i = l = 1 L x l N 1 + i x l N 1 ;   i = 1 , 2 , N 2 ,
where N2 is an arbitrary number.
The exact solution of Equation (2) with period P is obtained if the following conditions are satisfied:
z P = 0 ,
where P is the index of the first zero of vector zi. Obviously, along with (3), the conditions for all points with period P are satisfied:
z k × P = 0 ,     k = 1 , 2 , ,   n ; n < N 2 P .
For nonlinear Equation (2), depending on parameters r and D, many various solutions with different periods can be obtained, depending on the initial conditions. In addition to exact solutions with condition (3), there may exist reasonably stable approximate solutions, for which the following inequalities are satisfied:
z k × P < ϵ ,     k = 1 , 2 , ,   n ; n < N 2 P .
It is important to note here that condition (4) must be satisfied simultaneously for all points with period P, since there can be a situation where the fulfillment of (4) for k = 1 does not guarantee the fulfillment of condition (4) for k = 10. In the process of iterations, modes with close frequencies may be present in the system, which will lead to beats modulating the minima additionally with a rather low frequency that is equal to the difference in frequencies between the two modes.
For some initial conditions, there can be no solutions in the exact sense of (3), even for a relaxed criterion (4). At the same time, we cannot claim that solutions with these initial conditions do not exist, because the method of simple iterations has its limitations (it may simply fail to converge to a solution). However, by applying this method to all random initial conditions for a point in the area of parameters r and D, we make the same methodological error, which enables us to draw general conclusions on the existence of exact solutions in the parametric point r, D.
In order to understand the structure and behavior of solutions at some point of parameters r and D, it is necessary to obtain solutions for a whole set of initial conditions by the method of simple iterations using the relaxed criterion (4) for a given value ϵ . Calculations for each point r, D are performed using the algorithm below.

2.2. Algorithm for Finding Solutions for a Set of Initial Conditions

The general idea of the algorithm is to simultaneously iterate several X vectors, while taking out of iterations those for which condition (4) is satisfied. Formally, this is possible by substituting vector X with the rectangular matrix B of dimension L   ×   M of the form B = X 1 , X 2 , , X M in Equation (1).
From a formal point of view, substitution of matrix B for vector X in Equation (1) does not result in any computational advantages; however, for the use of modern libraries accounting for multicore, multithreading, the presence of computational pipelines, and a large amount of cache memory of modern processors, multiplication of the discharged matrix A by the full matrix is much more preferable than the sequential multiplication of A by the number of vectors equal to the number of columns in the full matrix.
The algorithm consists of a number of steps, with the help of which, from the initial random matrix B, we obtain a matrix, several (or all) columns of which are solutions, and the others (if any remain) not being solutions. It is important that further iterations over this matrix do not change the picture. Considering the latter, we will refer to the results of the algorithm as generalized solutions. They may include both proper solutions (condition (3)) and approximate solutions with a given accuracy ϵ (4).
A step of the algorithm includes the sequential application of some (N1) “blind” iterations, where we care not about the intermediate results but only about matrix B N 1 = F ^ N 1 B 0 , and then some number (N2) of “measuring” iterations, where the set of all intermediate matrices is preserved: B N 1 + 1 , B N 1 + 2 , , B N 1 + N 2 .
Having a set of intermediate matrices, we calculate the matrix of residuals according to the following formula:
Z m , i = l = 1 L b l , m N 1 + i b l , m N 1 ; i = 1 , , N 2 ; m = 1 , , M .
For the set criterion ϵ , we check condition (4) for all rows of matrix Z. Each row corresponds to one initial condition (column of matrix B). We separate the convergent solutions, write them down separately, and remove them from matrix B. This reduces the number of its columns.
We proceed to the next step (iteration) of the algorithm, where the matrix B that was reduced at the previous iteration is used as the initial matrix. Exiting from the iteration loop occurs either when matrix B becomes empty (all columns converged to an exact or approximate solution) or when the iterative process stagnates. To check for stagnation, prior to the iterations, we pre-fill the auxiliary array CZ of length NCZ, equal to the allowed number of stagnating iterations, with units. At each iterative step of the algorithm, we assign to the first element of this array the number of columns for which condition (4) is satisfied, and then we cyclically shift the elements of this array to the right by one step. Then we check the sum of its elements. If the sum is zero, we exit the operations and terminate the algorithm; if not, we continue the iterations. If we exit by stagnation, we simply add the columns that did not converge to the solution to those that we previously separated from matrix B as converging to the solution. Note, once again, that we refer to all the columns of matrix B obtained at the output of the algorithm as generalized solutions.
Once the computations are complete for all the initial conditions, we can estimate the probability of obtaining solution Ps with a given accuracy ϵ for a point in the parametric space r, D for random initial conditions:
P S = M C / M ,
where M C is the number of columns of matrix B for which condition (4) is satisfied.
It should be noted that for a given point in the parametric space r, D, if in the set of generalized solutions there exist solutions for which condition (4) is satisfied, the remaining solutions will be similar in some sense. At a minimum, they will have periodic residuals (5). For the general analysis of the residuals generated by the matrix of generalized solutions B, it is convenient to introduce the relative spectral entropy for all rows of the matrix of residuals (5). Next, we outline the general scheme for calculating the spectral entropy and then write out formulas for the relative spectral entropy of the residuals.

2.3. Spectral Entropy of an Arbitrary Valid Signal

The spectral entropy of the arbitrary signal y i ,   i = 1 , , n of the length n , normalized to the unit of the power spectrum, is an estimate of the entropy by Shannon’s formula [19,20]. There are many ways to estimate the signal power spectrum; here is the simplest one. A biased signal, the mean of which is not zero, has a singularity at the zero frequency of the spectrum, which will interfere with the analysis. In order to remove the constant component of the signal, we remove the linear trend from it and subtract from the signal the values that were obtained from the linear regression, which is built on the points y i . Then we perform the Fourier transform of the signal. Let the signal without trend form a column Y; then, the sought Fourier image Y   ~ is a linear transform with the Fourier matrix F:
Y ~ = F × Y .
The elements of the Fourier matrix are given by the following expression:
F j , i = exp 2 π 1 n j 1 i 1 .
The normalized power spectrum S(k) of the valid signal is given by the following expression:
S k = y ~ k 2 k = 1 n / 2 y ~ k 2 , k = 1 , , n / 2 .
For a valid signal, the square of the modulus of its Fourier image is symmetric about the center, so the informative part of the spectrum lies in the region from 1 to n / 2 . The spectral entropy of signal Y after finding its power spectrum S is calculated using Shannon’s formula:
E Y = k = 1 n / 2 S k ln S k .
The argument in square brackets emphasizes that the spectral entropy E is a functional of the signal Y.

2.4. Relative Spectral Entropy of Residuals (Temporal Entropy)

To estimate the degree of periodicity of the solutions, it is sufficient to calculate the spectral entropy of the residuals (5). For convenience in comparing values, it makes sense to divide the entropy value by its maximum value, which it takes for a constant power spectrum S = 2/n:
E 2 / n = k = 1 n / 2 2 / n ln 2 / n = ln n / 2 .
The relative spectral entropy of the residuals or the temporal entropy in the adopted notations will be written as:
E T m = E R m , i / ln N 2 / 2 , m = 1 , , M .
In the case where the signal is periodic in time, E T 1 ; if not, E T is close to 1. Choosing some boundary value of the relative entropy, say 0.3, we can estimate the probability P T that at a given point in the parametric space r, D, the relative temporal entropy will be less than the boundary value. To do this, we need to count the number of cases where E T < 0.3 and divide it by the total number of trials M.

2.5. Relative Spectral Entropy of Solutions (Spatial Entropy)

In addition to the periodicity of solutions in time (iterations), there may be periodicity of solutions in “space” (periodic variation x i , i = 1 , , L along sites). In complete analogy to the previous statement, we can estimate the spatial entropy for each solution X in the solution matrix B. The only difference from the time entropy would be the doubling of the length of the original function, so that entropy estimates can be made for both short chains and chains with an odd number of links. This can be achieved by docking two identical solutions together, thereby doubling the length of the analyzed signal. In this case, the power spectrum will be defined at L points. The formula of the spatial entropy is as follows:
E X m = E { X m ; X m } / ln L , m = 1 , , M .
As for the temporal entropy, we can estimate the probability P X that at a given point of the parametric space r, D, the relative spatial entropy will be less than the boundary value. It is equal to the number of cases when E X < 0.3 , divided by the number of trials M.

2.6. Mean Value of Generalized Solutions and Entropy of the Mean Solution

An important quantity characterizing the structure formation at the parametric point r, D could be the average over all columns of the matrix of generalized solutions of value B, which we denote as < X > . Direct computation will show us a close-to-straight line, since all generalized solutions have an arbitrary random phase. However, a feature of (1) with a circulant matrix A is the invariance of the generalized solutions with respect to an arbitrary cyclic shift of the elements of the generalized solutions x i , i = 1 , , L . We take advantage of this, and before averaging the generalized solutions, we perform a cyclic shift so that the minimum value is in the first element of the vector: x 1 = m i n x i . In this case, all generalized solutions appear to be in the same phase, and their average will be an informative quantity. An additional numerical characteristic of orderliness can be the spatial entropy:
E A X = E { < X m > ; < X m > } / ln L .

3. Results

As a result of numerical experiments covering the range of parameters of Models (1)–(2) (numerical values of r are in the range from 3 to 4; those of parameter D are in the range from 0.001 to 0.5, and those of parameter L are in the range from 2 to 200), all those dynamical regimes characteristic of the pointwise logistic model with discrete time were obtained (Figure 1). In particular, both regular oscillations with different periods and chaotic oscillations were observed (Figure 3, right column, which shows the time series characterizing the dynamics of one of the oscillators in the chain (l = 1), namely, during the last twenty time steps before the end of the numerical experiment; periodic oscillations with period 2 (Figure 3a,b), periodic oscillations with period 4 (Figure 3c,d), and chaotic oscillations (Figure 3e) can be seen). The middle column (Figure 3) displays the last 150 values of x for each oscillator in the chain. It can be seen that an increase in the numerical values of the parameters r and D can lead to a transition from regular to chaotic dynamics in each oscillator in the chain. The left column of Figure 3 shows examples of “spatial” structures, demonstrating the distribution of numerical values of x in the chain of oscillators at a particular moment of time. It can be seen from Figure 3 that the transition from regular to chaotic dynamics is accompanied by a significant change in the “spatial” structure. In particular, such a transition results in an increase in the number of peaks with different amplitudes, which are irregularly distributed along the chain of oscillators.
One of the features of the distributed Models (1)–(2) (see also [7]) is their sensitivity to the initial conditions for the whole range of values of the parameter r; i.e., both for regular and chaotic oscillators (Figure 4). In the case of an isolated oscillator (when D = 0), sensitivity to the initial conditions is a distinctive feature of the chaotic regime. Since, in our case, the dependence on initial conditions at D ≠ 0 was not related to the regularity or irregularity of both the dynamics of individual oscillators and the nature of “spatial” structures, i.e., the distribution of x values along the chain of oscillators at the selected moment of time t, we used entropy to characterize the spatiotemporal regimes of oscillations in the whole chain as an integral system. The numerical value of entropy in different initial conditions makes it possible to characterize both the dynamics of the system of oscillators and its accompanying spatial structures (examples are shown in Figure 3) depending on their orderliness: a smaller value of entropy corresponds to regular dynamics and relatively more ordered “spatial” structures.
In order to reveal the influence of changes in numerical values of the parameters of Models (1)–(2) on the entropy value, we estimated this value at different numerical values of the parameters r, D, and L. To assess the dynamics of Models (1)–(2), we calculated the “temporal entropy” ET (see Model), which, under given initial conditions, characterizes oscillatory processes in a chain of oscillators considered as an integral system. Figure 3 shows the dependence of the probability of low-entropy dynamics, ET < 0.3, on the model parameters under initial conditions that were set randomly. It can be seen that for small values of the chain length (Figure 4, L = 2 and L = 5), the behavior of the model qualitatively resembles that of the pointwise (at D = 0) logistic map. In particular, this behavior depends significantly on the value of the parameter r. For example, for r values in the range of 3–3.5, the dynamics of the model is regular, i.e., low-entropy, with ET < 0.3 at any values of the parameter D. With increasing r, the dynamics becomes irregular, highly entropic, and the probability of low numerical values of ET is close to zero (Figure 4). The narrow vertical regions of low-entropy dynamics at L = 2 and L = 5 (Figure 4) resemble the windows of regularity in the pointwise logistic map (cf. Figure 1). A significant difference from the pointwise map is the presence of regions with regular dynamics in a wide range of high values of r (Figure 4, regions indicated in yellow at r > 3.6). The presence of such regions indicates that for any r in Models (1)–(2) at relatively small values of the parameter L, there will be such a value of the parameter D at which the dynamics of the model is low-entropy. In the space of parameters (r, D), note also the enlargement of such regions that correspond to intermediate (between 0 and 1) values of the probability of observing low-entropy regimes as the length of the oscillator chain increases (in Figure 4, these regions are marked with colors other than yellow and dark blue). At L = 2 and L = 5, such regions are hardly noticeable, but with increasing L, their area increases distinctively. This means that the dynamics of the oscillator chain at r > 3.6 depends more and more noticeably on the initial conditions with increasing chain length. At the same time, at r ≤ 3.5, the increase in L does not affect the regime of the dynamics of the oscillator chain; the dynamics remain low-entropy (Figure 4).
To assess the degree of orderliness of the spatial structures (some examples of these structures are given in the left column in Figure 3), we determined a value of “spatial entropy” Ex (see model) that was established by the time the numerical experiment ended. The dependence of Ex on the parameters of Models (1)–(2) is shown in Figure 5.
Figure 5 shows the values of spatial entropy (see model), which we estimated using the regularity of “spatial” structures at the end of the computations. Given that for many values of the parameters r and D, the final shape of the spatial distribution of x depends on the initial conditions, we computed the space average for 100 initial values. To avoid subtraction of “spatial” structures in the antiphase, the x values of each chain were shifted so that the minimum value was in the first oscillator. Thus, regular structures are preserved under averaging and correspond to low spatial entropy. High entropy (yellow and light green colors; Figure 5) are characteristic of highly irregular structures. Dark blue regions are typical of regular structures, such as those in Figure 3d. In other cases, the emergent structures are irregular. It should be noted that in some regions of the r and D parameter space, the solution reduces to the pointwise map: the x values in all oscillators are the same, the exchange between oscillators is absent, and the dynamics in each oscillator is similar to that of the pointwise map at the same r value. The areas of r and D values for such cases are shown in white in Figure 5.
If we compare the regions with regular dynamics at r > 3.6, demonstrated in Figure 4, and the regular structures in the same regions (Figure 5), we find that these areas overlap to a large extent. Having plotted the average values of x ¯ (for 100 experiments with different initial conditions) at the last step of the computations in all oscillators in the chain for a fixed value of r, we obtained the picture presented in Figure 6. It can be seen that clear periodic structures are characteristic of many model parameter values. The period of such structures increases with increasing values of the parameter D.
It should also be noted (Figure 6) that the length of the oscillator chain L affects the formation of such structures. With the increasing length of the oscillator chain, the structures become less clear, and the range of values of the parameter D, in which regular structures are observed, decreases.
Figure 7 shows the examples of the distribution of x values in the oscillators of the chain at different random initial values for different chain lengths (left and middle column), and the mean value of x for each oscillator in the chain for 100 initial values with the same chain lengths (right column). It can be seen that the examples of the distribution of the values of x in the oscillators of the chain given in Figure 7 are similar, consisting of periodically repeating structures similar in shape but differing in amplitude. Using the distribution of the mean values of x in each oscillator of the chain, by which it is possible to characterize the spatial distribution of x for selected model parameters (r and D) for different initial values, depends qualitatively on the chain length L. In the case when the period of the repeating “spatial” structures is divisible by the chain length, we can see regularly repeating spatial structures of the average values of x ¯ with shapes close in amplitude (Figure 7a, 10 peaks; Figure 7c, 11 peaks); otherwise, such regularity is significantly disrupted (Figure 7b).

4. Discussion

The logistic map is one of the simplest mathematical models of population dynamics. Although its use for the numerical description of specific biological populations is significantly limited, studies of the logistic map made it possible to reproduce and investigate those dynamical regimes that are characteristic of natural populations. The simplest model that was used in an attempt to account for the spatial heterogeneity of ecological systems is a model system including two coupled logistic oscillators [7,21,22,23,24]. As a result of research on such models, the effects related to the synchronization/desynchronization of oscillations of coupled oscillators as well as the effects related to imposing the dynamics of one oscillator on the dynamic mode of the whole system were described.
An even greater variety of both spatial structures and dynamical regimes was obtained from studies of chains of globally coupled oscillators [13,14,15,16]. The main problem with this approach is that a large number of both parameters and ways of setting global couplings arise in such models, making it difficult to identify general patterns for systems of this kind.
In our work, we studied a chain of locally coupled logistic oscillators. We have shown that when the chain length is short (Figure 4), the dependence of the model dynamics on the parameter r is similar to that typical of the pointwise model. As the chain length increases, this correspondence breaks in the range of high values of the parameter r. In particular, as the chain length increases, the space of the parameters r and D increases as well, for which the dynamics of the model depend on the initial conditions (Figure 4, colors other than yellow and dark blue). It should be noted that the transition boundary between low-entropy (regular) and high-entropy (irregular) dynamics remains unchanged when the chain length is changed (Figure 4).
The “spatial” structures arising as a result of regular oscillations in a chain of oscillators have an arbitrary shape in a wide space of the parameters r and D. The shape of such structures is irregular and depends significantly on initial conditions. Only in the range of values where the parameter r > 3.6 is there a region with regular dynamics, for which the shape of the spatial structures demonstrates periodicity (Figure 6 and Figure 7). It should be noted that this range also demonstrates the dependence of spatial structures on the initial conditions; however, their periodicity remains unchanged. Figure 8 shows the “spatial” structures arising under different initial conditions (first and second columns) and the spatial structures averaged over 100 randomly set initial conditions (third column) for high-entropy dynamics (Figure 8a,b), low-entropy dynamics with resulting disordered spatial structures (Figure 8c,d) and low-entropy dynamics with resulting spatial structures characterized by a periodic arrangement of peaks (Figure 8e). Although the amplitude of the peaks in such structures (Figure 8e) depends on the initial conditions, their periodicity is preserved, which is clearly expressed for the averaged values (Figure 8, third column). At the same time, the averages presented in Figure 8a–d (third column) demonstrate neither a distinct shape nor periodicity and are similar to each other, despite resulting from both high-entropy and low-entropy oscillations.
In [12], we described the mechanism of transformation of chaotic dynamics into a regular one due to the resonance of natural vibrations of the oscillators and vibrations characteristic of exchange processes between neighboring oscillators.
The results of this study allowed us to clarify this mechanism. Such resonance occurs only if the period of the spatial structures arising in such a process is a multiple of the chain length or very close to it. The probability of the occurrence of such a resonance decreases with the increasing length of the chain of coupled oscillators (Figure 6, areas with no clear alternation of yellow and blue bands increase with increasing chain length).
Logistic maps (2) have been widely used in the mathematical modeling of ecological processes [24,25]. The mathematical Models (1)–(2) presented here couple the oscillators, the dynamics of which are described by the logistic map, into a closed chain (Figure 2). The characteristics of oscillatory processes in such a chain, as shown in this work, depend both on the intrinsic dynamics of the oscillators included in the chain and the exchange processes between neighboring oscillators, as well as, in general, on the number of oscillators in the chain.
The chain of closed oscillators can be seen as a reduced description of natural ring-shaped ecosystems, such as atolls or the littoral areas of enclosed bodies of water (lakes, ponds). In this work, we limited ourselves to a model of spatial heterogeneity and its role in the formation of holistic characteristics, i.e., the spatiotemporal characteristics of the ring-shaped ecosystem as a whole. The spatial heterogeneity of coastal ecosystems (e.g., in marine ecosystems in the vicinity of atolls) depends on a plethora of biotic and abiotic factors [26]. In particular, this heterogeneity may be a consequence of the spatial distribution of sea currents that transport organic matter to atoll shores. In addition, a source of spatial heterogeneity of ecosystems in the vicinity of atolls is the transfer of biogens from the coast to the ocean. In this case, the source of biogens is the excrement of fish-eating birds that return from upwelling areas to their nesting sites on the shore of the atoll [27]. Enrichment of coastal waters with biogenic elements (guanotrophication) is also provided by colonial hydrophilic birds that nest on lake shores [28,29]. Spatial heterogeneity in coastal ecosystems of enclosed water bodies can also be caused by anthropogenic impacts on such ecosystems [30,31].
In Models (1)–(2), heterogeneity of the oscillator dynamics within the chain is set not by the intrinsic properties of the oscillators themselves, which are assumed to be identical, but by different initial conditions. Different initial conditions of the model oscillators can be matched with very different mechanisms underlying the heterogeneity of natural ecosystems. In addition, unlike time t, the spatial length of the chain of the model oscillators is not defined in any way. Therefore, we can assume that the dynamical regimes and spatial structures that result from oscillator interactions (Figure 2, Figure 3, Figure 4, Figure 5, Figure 6 and Figure 7) can be reproduced in real ring-shaped ecosystems at different spatial scales. The results presented in this paper are aimed particularly at identifying such indicators that characterize key features of the functioning of ring-shaped ecosystems.

Author Contributions

Conceptualization, A.V.R. and D.A.T.; methodology, A.V.R., D.A.T. and A.B.M.; software and visualization, A.V.R., D.A.T. and N.I.N.; investigation, interpretation, and writing, A.V.R., D.A.T., N.I.N. and A.B.M. All authors have read and agreed to the published version of the manuscript.

Funding

The reported study was funded by the Institute of Theoretical and Experimental Biophysics of the Russian Academy of Sciences (state assignment № 075-01025-23-01) and by the Institute of Mathematical Problems of Biology, Keldysh Institute of Applied Mathematics of the Russian Academy of Sciences (state assignment № 0017-2019-0009).

Data Availability Statement

Data is contained within the article.

Acknowledgments

We are grateful to the reviewers for those comments that helped us prepare the updated version of the paper.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. May, R.M. Biological populations with non-overlapping generations: Stable points, stable cycles, and chaos. Science 1974, 13, 311–326. [Google Scholar]
  2. Abta, R.; Schiffer, M.; Ben-Ishay, A.; Shnerb, N.M. Stabilization of metapopulation cycles: Toward a classification scheme. Theor. Popul. Biol. 2008, 74, 273–282. [Google Scholar] [CrossRef] [PubMed]
  3. Kerr, B.; Neuhauser, C.; Bohannan, B.J.M.; Dean, A.M. Local migration promotes competitive restraint in a host–pathogen ‘tragedy of the commons’. Nature 2006, 442, 75–78. [Google Scholar] [CrossRef] [PubMed]
  4. Zion, Y.; Yaari, G.; Shnerb, N. Optimizing Metapopulation Sustainability through a Checkerboard Strategy. PLoS Comput. Biol. 2010, 6, e1000643. [Google Scholar]
  5. Kulakov, M.; Neverova, G.; Frisman, E. The Ricker Competition Model of Two Species: Dynamic Modes and Phase Multistability. Mathematics 2022, 10, 1076. [Google Scholar] [CrossRef]
  6. Dzwinel, W. Spatially extended populations reproducing logistic map. Cent. Eur. J. Phys. 2010, 8, 33–41. [Google Scholar] [CrossRef]
  7. Lloyd, A. The Coupled Logistic Map. A Simple Model for the Effects of Spatial Heterogeneity on Population Dynamics. J. Theor. Biol. 1995, 173, 217–230. [Google Scholar] [CrossRef]
  8. Kot, M. Elements of Mathematical Ecology; Cambridge University: Cambridge, UK, 2001. [Google Scholar]
  9. Kaneko, K. Period-doubling of kink-antikink patterns, quasiperiodicity in antiferro-like structures and spatial intermittency in coupled logistic lattice. Prog. Theor. Phys. 1984, 72, 480–486. [Google Scholar] [CrossRef]
  10. Bruce, E. Kendall Spatial Structure, Environmental Heterogeneity, and Population Dynamics: Analysis of the Coupled Logistic Map. Theor. Popul. Biol. 1998, 54, 11–37. [Google Scholar]
  11. Savi, M.A. Effects of randomness on chaos and order of coupled logistic maps. Phys. Lett. A 2007, 364, 389–395. [Google Scholar] [CrossRef]
  12. Rusakov, A.V.; Tikhonov, D.A.; Nurieva, N.I.; Medvinsky, A.B. Emergence of Self-Organized Dynamical Domains in a Ring of Coupled Population Oscillators. Mathematics 2021, 9, 601. [Google Scholar] [CrossRef]
  13. Willeboordse, F.H. Time-Delayed Map extension to n-dimensions. Chaos Solitons Fractals 1992, 2, 411–420. [Google Scholar] [CrossRef]
  14. Ouchi, N.B.; Kaneko, K. Coupled maps with local and global interactions. Chaos 2000, 10, 359–365. [Google Scholar] [CrossRef] [PubMed]
  15. Rajvaidya, B.P.; Deshmukh, A.D.; Gade, P.M.; Sahasrabudhe, G.G. Transition to coarse-grained order in coupled logistic maps: Effect of delay and asymmetry. Chaos Solitons Fractals 2020, 139, 110301. [Google Scholar] [CrossRef]
  16. Willeboordse, F.H. Hints for universality in coupled map lattices. Phys. Rev. E 2002, 65, 026202. [Google Scholar] [CrossRef]
  17. Horn, R.A.; Johnson, C.R. Matrix Analysis; Cambridge University Press: Cambridge, UK, 2012. [Google Scholar]
  18. May, R. Simple mathematical models with very complicated dynamics. Nature 1976, 261, 459–467. [Google Scholar] [CrossRef] [PubMed]
  19. Shannon, C.E. A Mathematical Theory of Communication. Bell Syst. Tech. J. 1948, 27, 379–423. [Google Scholar] [CrossRef]
  20. Ellerman, D. Logical Information Theory: New Logical Foundations for Information Theory. Log. J. IGPL 2017, 25, 806–835. [Google Scholar] [CrossRef]
  21. Cánovas, J.S. The dynamics of coupled logistic maps. Netw. Heterog. Media 2023, 18, 275–290. [Google Scholar] [CrossRef]
  22. Layek, G.C.; Pati, N.C. Organized structures of two bidirectionally coupled logistic maps. Chaos 2019, 10, 093104. [Google Scholar] [CrossRef]
  23. Metzler, W.; Beau, W.; Frees, W.; Ueberla, A. Symmetry and Self-Similarity with Coupled Logistic Maps. Z. Naturforsch. 1987, 42a, 310–318. [Google Scholar] [CrossRef]
  24. Maistrenko, Y.L.; Maistrenko, V.L.; Popovych, O.; Mosekilde, E. Desynchronization of chaos in coupled logistic maps. Phys. Rev. E 1999, 60, 2817. [Google Scholar] [CrossRef] [PubMed]
  25. Solé, R.V.; Bascompte, J. Self-Organization in Complex Ecosystems; Princeton University: Princeton, NJ, USA, 2006. [Google Scholar]
  26. Levin, S.A. The problem of pattern and scale in ecology. Ecology 1992, 73, 1943–1967. [Google Scholar] [CrossRef]
  27. Fosberg, F.R. Qualitative description of the coral atoll ecosystem. Atoll Res. Bull. 1961, 81, 1–11. [Google Scholar] [CrossRef]
  28. Leentvaar, P. Observations in guanotrophic environments. Hydrobiologia 1967, 29, 441–489. [Google Scholar] [CrossRef]
  29. Moss, B.; Leah, R.T. Changes in the ecosystem of a guanotrophic and brackish shallow lake in eastern England: Potential problems in its restoration. Int. Rev. Gesamten Hydrobiol. Hydrogr. 1982, 67, 625–659. [Google Scholar]
  30. Ostrovsky, I.; Rimmer, A.; Yacobi, Y.Z.; Nishri, A.; Sukenik, A.; Hadas, A.; Zohary, T. Long-term changes in the Lake Kinneret ecosystem: The effects of climate change and antropogenic factors. In Climate Change and Global Warming in Inland Waters: Impacts and Mitigation for Ecosystems and Societies; Robarts, R.D., Goldman, C.R., Kumagai, M., Eds.; Wiley & Sons: Oxford, UK, 2013; pp. 271–293. [Google Scholar]
  31. Adamovich, B.V.; Medvinsky, A.B.; Nikitina, L.V.; Radchikova, N.P.; Mikheyeva, T.M.; Kovalevskaya, R.Z.; Veres, Y.K.; Chakraborty, A.; Rusakov, A.V.; Nurieva, N.I.; et al. Relations between variations in the lake bacterioplankton abundance and the lake trophic state: Evidence from the 20-year monitoring. Ecol. Indic. 2019, 97, 120–129. [Google Scholar] [CrossRef]
Figure 1. Bifurcation diagram of the logistic map x t + 1 = r x t 1 x t .
Figure 1. Bifurcation diagram of the logistic map x t + 1 = r x t 1 x t .
Mathematics 11 04970 g001
Figure 2. Structure of the chain of coupled oscillators.
Figure 2. Structure of the chain of coupled oscillators.
Mathematics 11 04970 g002
Figure 3. Examples of spatial and temporal structures for different parameter values of Models (1)–(2) for L = 100. The left column demonstrates the values of Models (1)–(2) in each oscillator at the end of the numerical experiment (see model); the middle column shows the last 150 values in each oscillator, and the right column shows the last 20 values in the first (I = 1) oscillator. (a,b) r = 3.141, D = 0.16 (for different initial conditions); (c) r = 3.545, D = 0.16; (d) r = 3.808, D = 0.32; (e) r = 3.909, D = 0.02.
Figure 3. Examples of spatial and temporal structures for different parameter values of Models (1)–(2) for L = 100. The left column demonstrates the values of Models (1)–(2) in each oscillator at the end of the numerical experiment (see model); the middle column shows the last 150 values in each oscillator, and the right column shows the last 20 values in the first (I = 1) oscillator. (a,b) r = 3.141, D = 0.16 (for different initial conditions); (c) r = 3.545, D = 0.16; (d) r = 3.808, D = 0.32; (e) r = 3.909, D = 0.02.
Mathematics 11 04970 g003
Figure 4. Probability of observing low temporal entropy (Et < 0.3; Equation (4)) for different chain lengths L of Models (1)–(2) under different initial conditions (100 numerical experiments for each pair of parameters r and D).
Figure 4. Probability of observing low temporal entropy (Et < 0.3; Equation (4)) for different chain lengths L of Models (1)–(2) under different initial conditions (100 numerical experiments for each pair of parameters r and D).
Mathematics 11 04970 g004
Figure 5. Values of the averaged spatial entropy for different lengths (L = 50, 100, 200) of the oscillator chain (1) under different initial conditions (100 numerical experiments for each pair of the parameters r and D). The white color indicates the regions in which the values of x in all oscillators are the same at the end of the computations.
Figure 5. Values of the averaged spatial entropy for different lengths (L = 50, 100, 200) of the oscillator chain (1) under different initial conditions (100 numerical experiments for each pair of the parameters r and D). The white color indicates the regions in which the values of x in all oscillators are the same at the end of the computations.
Mathematics 11 04970 g005
Figure 6. Averaged values of x ¯   in each oscillator at time t (see model) for different initial conditions depending on the value of the parameter D; r = 3.808. (a) L = 20, (b) L = 100, (c) L = 200.
Figure 6. Averaged values of x ¯   in each oscillator at time t (see model) for different initial conditions depending on the value of the parameter D; r = 3.808. (a) L = 20, (b) L = 100, (c) L = 200.
Mathematics 11 04970 g006
Figure 7. The values of x in each oscillator of the chain for two different initial conditions (left and middle columns) and the average values of x ¯ for each oscillator in the chain for 100 different initial values (right column); r = 3.8; D = 0.32. (a) L = 90, (b) L = 93, (c) L = 95.
Figure 7. The values of x in each oscillator of the chain for two different initial conditions (left and middle columns) and the average values of x ¯ for each oscillator in the chain for 100 different initial values (right column); r = 3.8; D = 0.32. (a) L = 90, (b) L = 93, (c) L = 95.
Mathematics 11 04970 g007
Figure 8. Examples of spatial structures for different initial conditions (first and second columns) and for average values of x ¯ over 100 random initial conditions (third column); L = 100. (a) r = 3.65, D = 0.01; (b) r = 3.65, D = 0.05; (c) r = 3.4, D = 0.01; (d) r = 3.4, D = 0.05; (e) r = 3.808, D = 0.33.
Figure 8. Examples of spatial structures for different initial conditions (first and second columns) and for average values of x ¯ over 100 random initial conditions (third column); L = 100. (a) r = 3.65, D = 0.01; (b) r = 3.65, D = 0.05; (c) r = 3.4, D = 0.01; (d) r = 3.4, D = 0.05; (e) r = 3.808, D = 0.33.
Mathematics 11 04970 g008
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Rusakov, A.V.; Tikhonov, D.A.; Nurieva, N.I.; Medvinsky, A.B. Emergent Spatial–Temporal Patterns in a Ring of Locally Coupled Population Oscillators. Mathematics 2023, 11, 4970. https://doi.org/10.3390/math11244970

AMA Style

Rusakov AV, Tikhonov DA, Nurieva NI, Medvinsky AB. Emergent Spatial–Temporal Patterns in a Ring of Locally Coupled Population Oscillators. Mathematics. 2023; 11(24):4970. https://doi.org/10.3390/math11244970

Chicago/Turabian Style

Rusakov, Alexey V., Dmitry A. Tikhonov, Nailya I. Nurieva, and Alexander B. Medvinsky. 2023. "Emergent Spatial–Temporal Patterns in a Ring of Locally Coupled Population Oscillators" Mathematics 11, no. 24: 4970. https://doi.org/10.3390/math11244970

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop