1.
Introduction
Due to the difficulty in measuring the biomass of plankton, mathematical models of plankton populations are important methods for understanding the physical and biological processes of plankton. Various phytoplankton-zooplankton models (PZMs) have been studied: An NPZD model [1], a stochastic PZM [2], a plankton-nutrient system [3], a marine phytoplankton-zooplankton ecological model (PZEM) [4], Trophic phytoplankton-zooplankton models (PZM) [5], a bioeconomic PZM with time delays [6], a two-zooplankton one-phytoplankton PZM [7], a phytoplankton and two zooplankton PZM with toxin-producing delay [8], planktonic animal and plant PZM [9], and other PZMs [10, 11, 12]. In [12], Wang et al. investigated the following PZEM:
Fractional-order reaction-diffusion equation can describe the dynamic behavior of real systems more accurately. In recent years, fractional-order models have made remarkable progress in fields such as biomedicine, ecology, and public health. In biomedicine, fractional-order models have been used to study tumor growth [13] and hepatitis B virus (HBV) treatment [14], revealing their advantages in describing the complex dynamic behaviors of biological systems. In ecology, fractional-order models have demonstrated their potential in the study of ecosystem complexity by analyzing the dynamic behaviors of plant-herbivore interactions [15]. In public health, the fractional model has been applied to analyze the transmission of smoking behavior [16] and the correlation between human papilloma virus (HPV) and cervical cancer [17], highlighting their utility in public health research. These studies not only enrich the theoretical application of fractional models but also have made significant progress in numerical analysis, providing new tools and methods for solving complex biomedical and ecological problems [13, 17]. For example, in ecology, fractional PZEMs can more accurately describe the complex dynamics of ecosystems, including population fluctuations and interactions. Li et al. [18] studied an established fractional-order delayed zooplankton-phytoplankton model. Javidi and Ahmad [19] studied dynamic analysis of time fractional-order phytoplankton-toxic PZM. Kumar et al. [20] studied a fractional plankton-oxygen modeling. The proposed fractional-order PZEM extends traditional integer-order models by incorporating memory effects through fractional derivatives, which better capture long-term ecological interactions. This model accounts for toxic substances and additional food transmission, factors critical to understanding algal blooms, and population collapse. Models often neglect cross-diffusion and fractional dynamics, limiting their ability to simulate complex spatiotemporal patterns. Our work bridges this gap, offering insights into chaotic attractors and pattern formation under realistic ecological constraints. In this paper, we investigate the following fractional-order PZEM:
where P and Z represent the population densities of phytoplankton and zooplankton, respectively, at time t. ∇2 stands for the Laplacian operator of the two-dimensional plane, Ω is a bounded connected region with smooth boundaries ∂Ω, and d11 and d31 represent the diffusion coefficients of phytoplankton and zooplankton, respectively. These parameters characterize the stochastic movement of individuals within a population from areas of high concentration to those of lower density. d21 is a cross-diffusion coefficient that indicates the effect of the presence of phytoplankton on the movement of zooplankton populations. αi(i=1,2) is the fractional-order orders, 0<αi<1 and ∂α1P∂tα1,∂α2Z∂tα2 are the Grünwald-Letnikov (GL) fractional derivative. t is the time variable. The meanings of the parameters in the model are shown in Table 1.
Several numerical schemes have been used to solve the Fractional-order reaction-diffusion equation, the Galerkin method [21, 22], the Fourier spectral method [23, 24], the finite difference method [25, 26], the operational matrix method [27, 28], and so on [29, 30, 31, 32, 33, 34]. In this paper, we investigate dynamic properties and numerical solutions of the fractional-order PZEM (1.2). The major contributions of this paper are as follows:
(a) The concept of the phytoplankton-zooplankton ecological model is first extended to fractional-order PZEM that incorporates the effects of toxic substances and additional food transmission in the environment. This model leverages the memory effect of fractional-order derivatives to more effectively capture biological significance compared to traditional integer-order models.
(b) Stability, Turing instability, Hopf bifurcation, and weakly nonlinear property are analyzed for the PZEM. a new high-precision numerical method is developed for the fractional PZEM without diffusion term, and a discretization method is established for the PZEM with a diffusion term.
(c) Numerical simulations show some novel chaotic attractor and pattern dynamical behaviors of the PZEM.
The paper is organized as follows: In Section 2, we give the stability and Hopf bifurcation analysis. In Section 3, we detail weakly nonlinear analysis. In Section 4, we give the numerical algorithm and the numerical simulation results of the system. Finally, in Section 5, we the summarize paper.
2.
Stability analysis
In this section, we investigate the stability of the equilibrium point and the emergence of Hopf bifurcation. Let
Equation (1.2) is converted to the following form:
where, d1=e1h1d11,d2=e1h1d21,d3=e1rd31.
2.1. Stability analysis
We analyze the stability of Eq (2.1) without the diffusion term.
Solving the following equation:
We can get the following equilibrium points of Eq (2.2):
where
u∗ represents the positive solution to the quadratic equation (2.5)
where
Solving Eq (2.5), we can get:
The Jacobian matrix associated with E∗=(ˉu∗,ˉv∗) is formulated as follows
where
When (α1,α2)=(1,1), the characteristic equation at the equilibrium point is as follows:
where,
Let α=0.55,τ=4.1,ζ=0.72,G=8.43,μ=0.79,κ=2.38, and m=2.45. The system's equilibrium point and its associated eigenvalues are presented in Table 2.
It can be seen from Table 3 that all three equilibrium points are unstable points, and the system may generate chaos. Next, we introduce a high-precision numerical method for numerical simulation.
2.2. Numerical comparison
In simulations of this section, let α=1.1,τ=4.4,ζ=0.8,G=8,n=1.75,κ=5.3, and m=2.5 and initial conditions u0=1 and v0=1. We set the time step size h=0.01 and the time as T=600 for simulation. Figure 1 shows numerical results at (α1,α2)=(0.895,0.994).
We consider the following fractional order GL initial value problem
Numerical simulations are performed for Eq (2.9). Compared with the closed-from solution, the simulation results of the high-precision numerical method are in good agreement with the simulation results of other methods, and the accuracy is higher. This verifies the effectiveness of the high-precision numerical method.
2.3. Brief description of the numerical methodology
We first consider the following GL differential equation:
According to [36], we can get the high-precision numerical method [36, 37, 38, 39]:
where,
Where m=[tk/h]+1, h is the step size. Therefore, a high-precision numerical method for the system (2.2) is the following
According to [36, 40], the least common order of the system is identified as 0.9819. Let (α1,α2)=(1.05,0.95),α=0.55,τ=4.1,ζ=0.72,G=8.43,μ=0.79,κ=2.38, and m=2.45, and the characteristic equation of the system is given by
with characteristic roots λ1,2=1.0358±0.0439i, as |arg(λ1,2)|=0.0423<π40. This indicates that the instability of the system may generate chaos. It can be seen from Figure 2 that the system generates chaos. The chaotic phenomenon of the system gradually disappears over time and tends to a stable state.
We set different orders (α1,α2)=(1.1,0.95) to observe the influence of the order on the dynamic behavior of the system at parameters α=0.55,τ=4.1,ζ=0.72,G=8.43,n=0.79,κ=2.38, and m=2.45. The characteristic equation of the system is given by
with characteristic roots λ1,2=1.0021±0.2687i, as |arg(λ1,2)|=0.2620<π40. It indicates that the instability of the system may generate chaos. It can be seen from Figure 3 that the system is in a quasi-periodic state.
To gain a clearer view of the system's dynamic behavior, Figure 4 shows the phase diagram of the system under different α orders.
2.4. Hopf bifurcation analysis
Next, we explore the potential for a Hopf bifurcation at E∗. A Hopf bifurcation is critical as it marks a transition in the model's stability and the emergence of periodic solutions. To achieve this, the characteristic roots of system (2.2) must be purely complex.
The solution to system (2.2) is obtained as follows:
When α=1, system (2.2) undergoes a destabilizing Hopf bifurcation under the conditions tr0=0 and det0>0. Given that the stability of system (2.2) is influenced by the fractional derivative, this derivative can be considered a parameter in the Hopf bifurcation. We now determine the conditions for the Hopf bifurcation for system (2.2) around parameter E∗, α=αh:
(1) At the equilibrium point E∗, the Jacobian matrix possesses a pair of complex conjugate eigenvalues λ1,2=ai+ibi, which transition to being purely imaginary at α=αh;
(2) m(αh)=0 where m(α)=απ2−min1≤i≤2|arg(λi)|;
(3) ∂m(α)∂α|α=αh≠0.
We now demonstrate that E∗ experiences a Hopf bifurcation as α crosses the value αh.
Proof. Given that tr20−4det0<0 and tr0>0, the eigenvalues form a complex conjugate pair with a positive real component. Thus,
and απ2>|tan−1(√4det0−tr20tr0)| for some α. Let αhπ2=|tan−1(√4det0−tr20tr0)|, get αh=2πtan−1(√4det0−tr20tr0). Moreover, ∂m(α)∂α|α=αh=π2≠0. Therefore, all Hopf conditions satisfy. □
3.
Weakly nonlinear analysis
Above, we analyze the dynamical behavior of fractional system (2.2). The expression of the solution of system (2.1) involves more complex special functions, such as the Mittag-Leffler function and other hypergeometric functions. Although the form of the solution exists, its expression is very large. Therefore, in this section, we reveal various spatiotemporal behaviors around the Turing bifurcation threshold d2 and derive the amplitude equations associated with system (2.1) at α1=α2=1 using multi-scale and weakly nonlinear analysis. The solution of system (2.1) is written in the following form:
where (Aˉu∗j,Aˉv∗j)T represents the magnitude of the wave vector qj, fulfilling the condition that |qj|=qT.
Adding a perturbation to the equilibrium point E∗(u∗,v∗), such that ˉu=ˉu∗+u, ˉv=ˉv∗+v, and substituting them into system (2.1), and performing a Taylor expansion, we can get the following form:
where
Let U=(u,v)T and system (3.2) can be simplified as
where
Here, L denotes a linear operator and N represents a nonlinear operator.
We expand parameter d2 with a sufficiently small parameter ε, so we can obtain:
We develop variable U and nonlinear term N, respectively, the small parameter ε:
where
We decompose operator L into the following form:
where
Using the multiple-scale approach, we differentiate the system's time scales into T1=εt,T2=ε2t,T3=ε3t, which are mutually independent. Consequently, the time derivative can be articulated as:
Substituting Eqs (3.4)–(3.8) into Eq (3.3), we can obtain the following equation:
The 1st order of (O(ε)):
The solution of Eq (3.12) is
where φ=−a12a11−d1q2c,|qj|=qc,qc=qT(dT2). Additionally, Wj denotes the amplitude of eiqj⋅r.
The 2nd order of (O(ε2)):
Fju and Fjv(j=1,2,3) are the coefficients with respect to eiqj⋅r in Fu and Fv, respectively.
Using the Fredholm solvability condition for Eq (3.14), the vector function on the right-hand side must be perpendicular to the zero eigenvalue of L+c. The zero eigenvector of Lc is:
with ψ=−a11−d1q2ca21−dT2q2c. From the orthogonal condition:
Utilizing the Fredholm solvability condition as stated in Eq (3.16), we arrive at the following:
where
Next, higher-order disturbance terms are introduced:
We substitute formulas (3.13) and (3.18) into formula (3.10). By solving the equations corresponding to different modes, it is known that the coefficients have the following forms:
where
From the orthogonal condition, we obtain:
where
The amplitude Aj is the coefficient of eiqj⋅r at each level, so
Substituting Eqs (3.17) and (3.22) into Eq (3.23), we get the following amplitude equations:
where
Since each amplitude Aj=ωjeiθj(j=1,2,3) in Eq (3.24) can be decomposed into mode ωj=|Aj| and phase angle θj, substituting Aj into Eq (3.24) to separate the real and imaginary parts yields the following equation:
where, θ=θ1+θ2+θ3. From Eq (3.25), it can be deduced that the solution is stable under the conditions χ>0,ψ=0 and χ<0,ψ=π. The solutions of Eq (3.25) are shown in Table 4.
4.
Numerical simulation
In this section, we conduct numerical simulations to verify the theoretical analysis and observe its pattern dynamic behavior. In order to observe the dynamic behavior, we introduce the numerical method of the PZEM model (2.1). If 0<αi<1(i=1,2), the time derivative is expressed by formula (2.11), and the space derivative is expressed by the following formula (4.2). If αi=1(i=1,2), we employ the Euler discretization approach for conducting numerical simulations in a two-dimensional domain Ω=[0,Lx]×[0,Ly]. We select Lx=250,Ly=250, a time increment Δt=0.2, and a spatial increment Δh=0.69. We denote unpq=u(xp,yq,nΔt) and vnpq=v(xp,yq,nΔt). The model (2.1) is discretized using the Euler method, as outlined below:
where
Next, we select the parameters shown in Table 5 and use Eq (4.1) to conduct numerical simulations.
The parameter values are shown in Table 5, and the calculation results are as follows:
The initial conditions are specified as follows:
The outcomes of the numerical simulation indicate that speckle and mixed-structure patterns emerge in the graphical representation with this particular set of parameters, as illustrated in Figure 5.
Now, we use the parameters in Table 5 and symmetric initial conditions to perform numerical simulations by changing parameters d1, d2, and d3. Numerical simulation was carried out with other parameters remaining unchanged, and the results showed that there is a symmetric mixed structure solution. The subsequent figure illustrates the intricate pattern evolution of the symmetric mixed pattern across parameters. We select the following symmetric initial conditions:
Figure 6 shows the spatial distribution patterns of phytoplankton and zooplankton at different diffusion coefficients, d2. The diffusion coefficient d reflects the influence of phytoplankton on the distribution of zooplankton. When d2=0.003, phytoplankton and zooplankton form highly clustered patterns, with zooplankton closely following the prey. When d2=0.005, phytoplankton and zooplankton are more dispersed, and the zooplankton pattern is more complex. This indicates that the diffusion ability of phytoplankton affects the hunting efficiency of zooplankton, and zooplankton tend to migrate to areas with a high density of phytoplankton. When d2=0.004, the distribution densities of phytoplankton and zooplankton are between the distribution densities of phytoplankton and zooplankton at d2=0.003 and d2=0.005.
Let d1=0.002,d2=0.004, and d3=0.015 through the observation of the distribution pattern of plankton population density in Figure 7. At t=6000, the system presents an incomplete pattern structure. Phytoplankton begins to form an irregular pattern distribution, while zooplankton shows an aggregation pattern following predation. At t=8000, the pattern structure gradually forms a stable state. At t=10000, the system reaches a stable state and forms a predator aggregation area that is misaligned with the plant pattern. We find that as time goes by, t, the distribution pattern of plankton population density becomes more complex. This indicates that the system presents a complex competitive process over time. This reflects the process by which the ecosystem reaches a stable state through dynamic adjustment.
Let parameter d1=0.002,d2=0.004, and d3=0.017, the patterns of phytoplankton and zooplankton at different times are shown in Figure 8a1−a4 and Figure 8c1−c4. For diffusion coefficients at d1=0.002,d2=0.006, and d3=0.017, the patterns of phytoplankton and zooplankton at different times are shown in Figure 8b1−b4 and Figure 8d1−d4. In Figure 8, the density of phytoplankton gradually increases over time. It can be seen from the pattern that the difference between the high-density area and the low-density area significantly increases. The internal structure of the pattern becomes more complex, showing more details and layers. The distribution pattern of zooplankton shows a significantly misaligned predation aggregation area with that of plants, and the density of predation hotspots continues to increase over time. It can be seen from the pattern that the spatial distribution of phytoplankton and zooplankton shows complex dynamic behaviors.
Through the analysis of the patterns of phytoplankton and zooplankton, we see that, as time goes by, the patterns of zooplankton evolve from simple patterns to complex ones, demonstrating the complexity of this ecosystem. The diffusion coefficient is highly sensitive to the generation of patterns. A smaller diffusion coefficient leads to more regular and symmetrical patterns, while a larger diffusion coefficient results in more complex and irregular patterns, significantly affecting the distribution pattern of plankton. The initial conditions and diffusion coefficient significantly impact the long-term ecological behavior of the model. Moreover, initial conditions affect the formation of the pattern, while the parameters affect the distribution structure of the ecosystem.
5.
Conclusions
We combine theoretical analysis with numerical simulation to deeply explore the dynamic behavioral characteristics of the fractional-order PZEM. In theoretical analysis, we conduct stability, Turing instability, Hopf bifurcation, and nonlinear analysis for the PZEM. In numerical methods, we develop a high-precision numerical method for fractional-order PZEM without diffusion terms and verify the superiority of this method through comparison with other methods. Moreover, an effective discretization method is established for the model with diffusion terms. The numerical simulation results not only verify the correctness of the theoretical analysis, but also demonstrate complex dynamic behaviors at different diffusion coefficients. Moreover, the system presents significantly different spatial pattern evolution characteristics. The results reveal that the diffusion coefficient is crucial to the generation of patterns. A bigger diffusion coefficient will lead to more complex and irregular pattern structures, which directly affects the spatial distribution patterns of plankton populations. Furthermore, the initial conditions and the diffusion coefficient have a decisive influence on the long-term ecological behavior of the model: The initial conditions affect the formation process of the pattern, while the diffusion coefficient affects the dynamic evolution of the pattern structure. In future work, we will explore the response mechanism of the system at the coupling effect of multiple factors, as well as the effect of dynamic behavior for fractional-order.
Author contributions
Conceptualization, Methodology, Software, Data, Formal analysis and Funding acquisition, Writing-original draft and writing-review and editing: Shuai Zhang, Hao Lu Zhang, Yu Lan Wang and Zhi Yuan Li. All authors have read and agreed to the published version of the manuscript.
Use of AI tools declaration
The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.
Acknowledgments
This paper is supported by Doctoral research start-up Fund of Inner Mongolia University of Technology (DC2300001252) and the Natural Science Foundation of Inner Mongolia (2024LHMS06025).
Conflict of interest
The authors declare that there are no conflicts of interest regarding the publication of this article.