Next Article in Journal
Solvability of a Riemann–Liouville-Type Fractional-Impulsive Differential Equation with a Riemann–Stieltjes Integral Boundary Condition
Next Article in Special Issue
Novel Approximations to the Multi-Dimensional Fractional Diffusion Models Using the Tantawy Technique and Two Other Transformed Methods
Previous Article in Journal
Analytical Insight into Some Fractional Nonlinear Dynamical Systems Involving the Caputo Fractional Derivative Operator
Previous Article in Special Issue
High-Performance Identification and Control of MIMO (Multiple Input—Multiple Output) Experimental Module with Fractional-Order Approach Application
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fractal–Fractional Analysis of a Water Pollution Model Using Fractional Derivatives

1
School of Computer Science and Technology, Zhejiang Normal University, Jinhua 321004, China
2
Department of Mathematics and Statistics, University of Swat, Swat 19200, Pakistan
3
Department of Physics, College of Science, Northern Border University, Arar 73222, Saudi Arabia
4
School of Mathematics and Statistics, Linyi University, Linyi 276005, China
*
Authors to whom correspondence should be addressed.
Fractal Fract. 2025, 9(5), 321; https://doi.org/10.3390/fractalfract9050321
Submission received: 9 April 2025 / Revised: 9 May 2025 / Accepted: 14 May 2025 / Published: 19 May 2025

Abstract

Water pollution is a significant threat for human health, particularly in developed countries. This study advances the mathematical understanding of WP transmission dynamics by developing a fractional–fractal derivative framework with non-singular kernels and the Mittage–Leffler function, which successfully preserves the non-local behavior of pollutants. The fractional–fractal derivatives in sense of the Atangana–Baleanu–Caputo formulation inherently captures the non-local and memory-dependent behavior of pollutant diffusion, addressing limitations of classical differential operators. A novel parameter, γ , is introduced to represent the recovery rate of water systems through treatment processes, explicitly modeling the bridge between natural purification mechanisms and engineered remediation efforts. Furthermore, this study establishes stability analysis, and the existence and uniqueness of the solution are established through fixed-point theory to ensure the mathematical stability of the system. Moreover, a numerical scheme based on the Newton polynomial is formulated, by obtaining significant simulations of pollution dynamics under various conditions. Graphical results show the effect of important parameters on pollutant evolution, providing useful information about the behavior of the system.

1. Introduction

Water pollution (WP) introduces vital challenges in the development of the world’s nations, due to its drastic impacts on the economy, human health, and the environment. Although water is an essential part of living organisms, the rapid growth in industrialization has badly affected freshwater contamination, and WP has thus become the most critical environmental issue in the current age. In particular, contaminated water serves as a carrier of waterborne diseases, which include cholera, diarrhea, typhoid, and hepatitis [1].
Mathematical modeling (MM) plays an important role in understanding and predicting the dynamics of complex systems across disciplines such as environmental pollution [2], epidemiology [3], fluid dynamics [4], and control theory [5]. MM acts as an interface between real-world phenomena and their mathematical representation, which allows us to analyze and investigate problems empirically. In 2024, Xu et al. [6] modeled a plankton–oxygen dynamical model and explored bifurcation along with its stability. Dorshan and Elisov [7] found chaotic attractors, while modeling a multi-rotor attitude system. Further application of MM can be observed in cubic equivalent systems [8,9,10], especially with the analysis of complex systems.
Apart from the above applications, MM has a great role in water power [11]. In 2023, Laskar et al. [12] studied the quality of spring water near Tuirial in a city in India. In the north-eastern state of India, two models, i.e., AHP-TOPSIS and AHP-VIKOR, were considered for the suitability of spring water [13]. Ren et al. [14] collected 168 water samples from seven different locations from the Laixi to the Yangtze Rivers and applied several statistical tools to check the quality of sub-watersheds. The control analysis of water in hilly areas, affecting the surface water, due to anthropogenic factors was studied by Wang et al. [15]. Recently, Cheng et al. [16] discussed the role of leaching in landfall and, indirectly, its impact on water pollution, by determining a strategy for leach reduction and pollution control. A new fractional model of WP based on the Levenberg–Marqurdt back-propagation method for control analysis was modeled for predictive water quality in various contexts [17].
Dynamical systems are further categorized into integer and fractional orders and are an important feature of Fractional Calculus (FC), which is the development of actual dynamical systems in terms of fractional differential equations [18,19]. There exist many studies about the usage of fractional derivatives in dynamical systems. In 2009, El-Sayed [20] considered a biological population system and transformed it into a fractional-order one to find its exact solution. The numerical modeling of a biological model along with a fractional derivative can be found in the work of Rihan [21]. A pine wilt disease-based model [22] with the Caputo–Febrizio derivative was studied to confirm the uniqueness of the solution and its stability. A system based on pantograph fractional-order differential equations [23] was studied to confirm the existence and uniqueness of the solution. In 2020, Ali et al. [24] performed mathematical analysis of dynamical systems along their boundary conditions. Marwan et al. [25] worked on the existence of a solution in a fractional-order attitude chaotic system. In 2024, a tumor–immune interaction dynamical model was investigated with the aid of a fractional derivative [26]. Recently, a non-local operator was considered in a fractional-order coronavirus disease 2019 model [27], which was modeled not only to study its existence and uniqueness but also to discuss its stability.
The new class of fractional operators has a variety of applications in chemical [28], financial [29], and biological systems [30] to develop new systems of differential equations (DEs). In accordance with applications of fractional differential equations (FDEs), a new method for fractal–fractional derivatives (FFDs) was introduced in FC [31] to enhance the analysis of fractional derivatives using different kernels and applications [32,33,34].
There have been several dynamical models designed so far including quadrotor unmanned aerial vehicles [35,36,37], cubic switching [38,39], energy supply and demand [40], switch–twist manifolds [41], and many more beyond these. Similarly, in addition to the above-mentioned dynamical systems, WP is an important issue for all living organisms, consisting of four dimensional systems of ordinary differential equations (ODEs) [42] representing the mathematical form of the systems as follows:
d W ( τ ) d t = Λ α 1 W S α 2 W I + ρ α 2 I μ W , d S ( τ ) d t = α 1 W S + δ I ( θ 1 + μ ) S , d I ( τ ) d t = α 2 W I ρ α 2 I ( δ + θ 2 + μ ) I , d T ( τ ) d t = θ 1 S + θ 2 I μ T ,
with the initial conditions W ( 0 ) = W 0 ; S ( 0 ) = S 0 ; I ( 0 ) = I 0 ; and T ( 0 ) = T 0 . The state variables W , S , I , and T in System (1) represent the number of polluted water sources (WSs), the WSs susceptible to pollution, the WSs infected due to WP, and the WSs recovered due to treatment for the insoluble class, respectively. Regarding the involved parameters in our considered dynamical system, Λ is the rate of WP, α 1 is the rate of soluble CW, α 2 is the rate of insoluble contaminated water (CW), ρ represents the rate at which insoluble water pollutants (WPs) turn into WP, μ shows the vanishing rate of WPs, δ is for the conversion rate of insoluble WPs into solute, θ 1 and θ 2 are the preserved rate of soluble and insoluble WPs, respectively, and γ is used for the re-susceptibility of filtered water.
Regardless of the progress made in these areas, there is still demand for further research on the intersection of FFDs and existence theory. This research work aims to explore this intersection and develop a numerical technique for solving nonlinear dynamical models via the results of existence theory and the Newton polynomial scheme.
This research secures significant importance by addressing the serious issue of WP through advanced MM and analysis. A novel parameter, γ , is introduced to represent the recovery rate of water pollution, which signifies the effectiveness of water treatment processes that not only reduce pollutant concentrations but also restore water quality. A higher value of γ indicates more efficiency in the control of water pollution. Furthermore, the intervention of γ explicitly bridges human intervention strategies with natural self-cleaning mechanisms, employing a comprehensive measure of water quality dynamics restoration. Further, utilizing FFDs in sense of the Atangana–Baleanu–Caputo (ABC) formulation [43,44,45], the model captures the memory effects and non-local dynamics inherent in pollution systems, providing a more accurate representation of real-world scenarios compared to traditional integer-order models. This study establishes the existence and stability of the solution using fixed-point theory (FPT), ensuring the mathematical robustness of the model.
Furthermore, the development of a Newton polynomial (NP) numerical scheme offers an efficient and accurate method for solving the system, enabling the simulation of pollution dynamics under various conditions. This research not only advances the field of environmental modeling but also provides practical insights for policymakers and stakeholders to design effective strategies for mitigating water pollution and promoting sustainable water resource management.

2. Preliminaries

In this section, we present some important lemmas and definitions about our research, in the context of fractal–fractional operators, defined as follows:
Definition 1
([45]). The Gamma function is defined as
Γ ( p ) = 0 η p 1 e η d η , w h e r e R e ( p ) > 0 .
where R e ( p ) means the real part of p.
Definition 2
([46]). The authors define Euler’s first kind of integral as
B ( p 1 , p 2 ) = 0 1 η p 1 1 ( 1 η ) p 2 1 d η ,
for p 1 , p 2 C , such that R e ( p 1 ) , R e ( p 2 ) > 0 .
Definition 3
([45]). The relationship of the Gamma function and the Beta function is given by
B ( p 1 , p 2 ) = Γ ( p 1 ) Γ ( p 2 ) Γ ( p 1 + p 2 ) .
Definition 4
([31]). The FFD in the sense of the ABC framework for the function H ( τ ) , incorporating a generalized Mittag–Leffler function as a nonsingular kernel, is defined as
D 0 , τ p 1 , p 2 F F A B = M ( p 1 ) 1 p 1 d d τ p 2 0 τ E p 1 P H ( s ) d s ,
where P = p 1 1 p 1 ( τ s ) p 1 , p 1 > 0 , p 2 1 N , where d d τ p 2 represents the fractal dimension of the measure p 2 and E describes a Mittage–Leffler function and M ( p 1 ) = 1 p 1 + p 1 Γ ( p 1 ) .
Definition 5
([47]). The fractal derivative of the function M ( τ ) , with the fractal measure τ p (where q is a fractal scaling parameter), is defined as
d M ( τ ) d τ p = lim τ 1 p τ p M ( τ ) 1 M ( τ ) τ 1 p τ p for τ > 0 .
Definition 6
([31]). The fractal–fractional integral (FFI) in sense of the ABC derivative for the function H ( τ ) , incorporating a generalized Mittag–Leffler function as a nonsingular kernel, is defined as
I 0 , τ p 1 , p 2 F F A B = p 1 p 2 M ( p 1 ) Γ ( p 1 ) 0 τ ( τ s ) p 1 s p 2 1 H ( s ) d s + p 2 ( 1 p 1 ) τ p 2 1 H ( τ ) M ( p 1 ) ,
satisfying that, p 1 > 0 , p 2 1 N also combine with, M ( p 1 ) = 1 p 1 + p 1 Γ ( p 1 ) .
Remark 1.
The FFD of the function H ( τ ) , in the ABC sense, which incorporates a generalized Mittag–Leffler function as a nonsingular kernel, is defined as
d H ( τ ) d τ p = d H d τ d τ d τ p = τ 1 p p d H d τ .
Lemma 1.
Let the function q ( b ) C ( I ) C ( I ) ; then, the solution of
D 0 , τ r 1 , r 2 F F A B q ( b ) = w ( b ) f o r a l l r 1 , r 2 ( 0 , 1 ) , q ( 0 ) = q 0 ,
is given by
q ( b ) = q 0 + r 1 r 2 M ( r 1 ) Γ ( r 1 ) 0 b ( b s ) r 1 s r 2 1 w ( s ) d s + r 2 ( 1 r 1 ) b r 2 1 w ( b ) M ( r 1 ) .
Definition 7.
The function A is Lipschitz continuous (LC) on R with the Lipschitz constant p if there exists a constant, 0 p , such that the inequality holds for all pairs:
A 1 ( H 1 ( τ ) ) A 1 ( H 2 ( τ ) ) p H 1 H 2
for all H 1 , H 2 R .
Theorem 1.
Consider a closed convex subset, z , within the Banach space B . Let H : B B , where B is a completely continuous operator in this space; then, H is guaranteed to possess at least one fixed point.
Assumption 1.
The following norm properties are satisfied for any two functions.
1.
M 1 ( τ ) · M 2 ( τ )   =   M 1 ( τ ) · M 2 ( τ ) .
2.
M 1 ( τ ) M 2 ( τ )   =   M 2 ( τ ) M 1 ( τ ) .

3. Generalized FFWP Model

In this research work, the authors generalize the structure of the ordinary WP model (1), in the sense of the fractal–fractional differential operator, and introduce the new parameter γ , representing the re-susceptibility of filter water. The generalized WP model in the F F A B sense is
D 0 , τ r 1 , r 2 F F A B W ( τ ) = Λ α 1 W S α 2 W I + ρ α 2 I μ W , D 0 , τ r 1 , r 2 F F A B S ( τ ) = α 1 W S + δ I ( θ 1 + μ ) S + γ T , D 0 , τ r 1 , r 2 F F A B I ( τ ) = α 2 W I ρ α 2 I ( δ + θ 2 + μ ) I , D 0 , τ r 1 , r 2 F F A B T ( τ ) = θ 1 S + θ 2 I μ T γ T .
Subject to the conditions given as W ( 0 ) = W 0 , T ( 0 ) = T 0 , S ( 0 ) = S 0 , and I ( 0 ) = I 0 , System (11) can be rewritten in the form of (12) with the kernels defined in (13).
D 0 , τ r 1 ABC W ( τ ) = r 2 t r 2 1 F 1 ( W , τ ) , D 0 , τ r 1 ABC S ( τ ) = r 2 t r 2 1 F 2 ( S , τ ) , D 0 , τ r 1 ABC I ( τ ) = r 2 t r 2 1 F 3 ( I , τ ) , D 0 , τ r 1 ABC D ( τ ) = r 2 t r 2 1 F 4 ( T , τ ) ,
where
F 1 ( W , τ ) = Λ α 1 W S α 2 W I + ρ α 2 I μ W , F 2 ( S , τ ) = α 1 W S + δ I ( θ 1 + μ ) S + γ T , F 3 ( I , τ ) = α 2 W I ρ α 2 I ( δ + θ 2 + μ ) I , F 4 ( T , τ ) = θ 1 S + θ 2 I μ T γ T ,
defines the kernels for the generalized model (11).

4. Existence of the Solutions

In this section, the focus is on the existence and uniqueness of the solution (EUS) of the proposed model (11), with particular emphasis on the boundedness and non-negativity.

4.1. Existence

To investigate existence of the system’s solution (11), the Picard–Lindolof method is adopted in this subsection.
Theorem 2.
The solutions of the model in (11) are uniformly bounded and non-negative.
Proof. 
System (14) can be computed with ease using Equation (13)
D 0 , τ r 1 , r 2 F F A B W ( τ ) | W = 0 = Λ + ρ α 2 I 0 , D 0 , τ r 1 , r 2 F F A B S ( τ ) | S = 0 = δ I ( θ 1 + γ T 0 , D 0 , τ r 1 , r 2 F F A B I ( τ ) | I = 0 = 0 , D 0 , τ r 1 , r 2 F F A B T ( τ ) | T = 0 = θ 1 S 0 .
Then, the solutions remain confined to the hyperplane if ( ( W ( 0 ) , S ( 0 ) , T ( 0 ) , I ( 0 ) ) R + 4 ) . Since trajectories cannot escape into negative regions, R + 4 is a positively invariant set; solutions starting within it remain non-negative for all future time, preserving biological or physical feasibility. □
Theorem 3.
The kernels F 1 , F 2 , F 3 , and F 4 satisfy the contraction and LC aspect.
Proof. 
To make the kernels LC, let us take the difference of W 1 and W 2 ; we obtain
F 1 ( W 1 , τ ) F 1 ( W 2 , τ ) = Λ α 1 W 1 S α 2 W 1 I + ρ α 2 I μ W 1 Λ α 1 W 2 S α 2 W 2 I + ρ α 2 I μ W 2 , ( α 1 S ( τ ) + μ + α 2 I ) W 1 ( τ ) W 2 ( τ ) , ħ 1 W 1 ( τ ) W 2 ( τ ) .
By deploying Assumption 1 and employing ћ 1 = α 1 ϵ 1 + μ + α 2 ϵ 2 < 1 , the kernel F 1 thus satisfies the Lipschitz condition. Moreover,
F 2 ( S 1 , τ ) F 2 ( S 2 , τ ) = α 1 W ( S 1 S 2 ) ( θ 1 + μ ) ( S 1 S 2 ) , α 1 W S 1 S 2 + ( θ 1 + μ ) S 1 S 2 , = α 1 W + θ 1 + μ S 1 S 2 , = ħ 2 S 1 S 2 ,
using Assumption 1 and taking ħ 2 = α 1 ϵ θ 1 μ < 1 . Thus, the kernel F 2 satisfies the Lipschitz condition. Similarly,
F 3 ( I 1 , t ) F 3 ( I 2 , t ) = α 2 W I 1 ρ α 2 I 1 ( δ + θ 2 + μ ) I 1 α 2 W I 2 ρ α 2 I 2 ( δ + θ 2 + μ ) I 2 , ( α 2 W ρ α 2 δ θ 2 μ ) I 2 I 1 , ħ 3 I 1 ( t ) I 2 ( t ) ,
where ħ 3 = α 2 ϵ ρ α 2 ( δ + θ 2 + μ ) < 1 . Thus, the kernel F 3 satisfies the Lipschitz condition. Similarly,
F 4 ( T 1 , τ ) F 4 ( T 2 , τ ) = θ 1 S + θ 2 I μ T 1 γ T 1 θ 1 S + θ 2 I μ T 2 γ T 2 , ( μ + γ ) T 2 ( t ) T 1 ( t ) , ħ 4 T 2 ( t ) T 1 ( t ) ,
for ħ 4 = μ + γ < 1 ; therefore, F 4 is LC. As a result, F 1 ( W ( t ) ) , F 2 ( S ( t ) ) , F 3 ( I ( t ) ) , and F 4 ( T ( t ) ) satisfy the LC condition. □

4.2. Uniqueness

Theorem 4.
The solution of the generalized WP model (11) is unique, if the following inequality,
r 2 ( 1 r 1 ) N ( r 1 ) + r 1 r 2 Γ ( r 2 ) N ( r 1 ) Γ ( r 1 + r 2 ) χ i 1 , i N i 4 ,
is true, for first four non-negative integers.
Proof. 
From the definition of the fractal–fractional integral in the ABC sense, we obtain
W ( τ ) = W ( 0 ) + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( W ( τ ) ) + 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( W ( τ ) ) d s , S ( τ ) = S ( 0 ) + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 2 ( S ( τ ) ) + 0 τ ( τ s ) r 1 1 s r 2 1 F 2 ( S ( τ ) ) d s , I ( τ ) = I ( 0 ) + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 3 ( I ( τ ) ) + 0 τ ( τ s ) r 1 1 s r 2 1 F 3 ( I ( τ ) ) d s , T ( τ ) = T ( 0 ) + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 4 ( T ( τ ) ) + 0 τ ( τ s ) r 1 1 s r 2 1 F 4 ( T ( τ ) ) d s .
Picard’s operators A 1 , A 2 , A 3 and A 4 are generated using the FFI method. Therefore, Equation (16) becomes
W ( τ ) = W ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 1 ( W ( τ ) ) , S ( τ ) = S ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 2 ( S ( τ ) ) , I ( τ ) = I ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 3 ( I ( τ ) ) , T ( τ ) = T ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 4 ( T ( τ ) ) .
If A 1 , A 2 , A 3 , and A 4 are Picard’s operators, then we can obtain
A 1 W ( τ ) = W ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 1 ( W ( τ ) ) , A 2 S ( τ ) = S ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 2 ( S ( τ ) ) , A 3 I ( τ ) = I ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 3 ( I ( τ ) ) , A 4 T ( τ ) = T ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 4 ( T ( τ ) ) .
Hence, the boundedness can be formulated by employing the supremum norm to Picard’s operators as follows:
A 1 W ( τ ) = W ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 1 ( W ( τ ) ) , W ( 0 ) + I 0 , τ r 1 , r 2 F F A B F 1 ( W ( τ ) ) , W ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 1 ( W ( τ ) ) , A 2 S ( τ ) = S ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 2 ( S ( τ ) ) , S ( 0 ) + I 0 , τ r 1 , r 2 F F A B F 2 ( S ( τ ) ) , S ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 2 ( S ( τ ) ) , A 3 I ( τ ) = I ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 3 ( I ( τ ) ) , I ( 0 ) + I 0 , τ r 1 , r 2 F F A B F 3 ( I ( τ ) ) , I ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 3 ( I ( τ ) ) , A 4 T ( τ ) = T ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 4 ( T ( τ ) ) , T ( 0 ) + I 0 , τ r 1 , r 2 F F A B F 4 ( T ( τ ) ) , T ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 4 ( T ( τ ) ) .
In view of Theorem 3, F ( W , S , I , T ) is LC, which means that F ( W ( τ ) , S ( τ ) , I ( τ ) , T ( τ ) , τ ) is bounded. Thus, there exist the constants 1 , 2 , 3 , and 4 , such that
F 1 ( W , τ ) 1 , F 2 ( S , τ ) 2 ,
F 3 ( I , τ ) 3 and F 4 ( T , τ ) 4 .
Thus,
A 1 W ( τ ) W ( 0 ) + F F A B I 0 , τ r 1 , r 2 F 1 ( W ( τ ) ) , W ( 0 ) + F F A B I 0 , τ r 1 , r 2 1 , W ( 0 ) + 1 F F A B I 0 , τ r 1 , r 2 ( 1 ) ,
by employing τ = 1 and letting there exist s 1 R .
A 1 W ( τ ) W ( 0 ) + 1 r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 1 r 2 1 N ( r 1 ) .
In Equation (21), we determined that A 1 is a bounded operator. Similarly, we can also determine the boundedness of the operators A 2 , A 3 , and A 4 , i.e.,
A 2 S ( τ ) S ( 0 ) + 1 r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 2 r 2 1 N ( r 1 ) ,
Let ∃ s 2 where 0 τ s 2 .
A 3 I ( τ ) I ( 0 ) + 1 r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 3 r 2 1 N ( r 1 ) .
Considering s 3 , s 4 for τ [ 0 , s 3 ] and τ [ 0 , s 4 ] , respectively to obtain
A 4 T ( τ ) I ( 0 ) + 1 r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 4 r 2 1 N ( r 1 ) .
The operators A 1 , A 2 , A 3 , and A 4 are Picard bounded and, consequently are contraction mappings if the following conditions holds: A 1 , A 2 , A 3 , and A 4 are contraction mappings if the following conditions holds:
A 1 W 1 A 1 W 2 = F F A B I 0 , τ r 1 , r 2 F 1 ( W 1 ( τ ) ) F F A B I 0 , τ r 1 , r 2 F 1 ( W 2 ( τ ) ) , F 1 ( W 1 ( τ ) ) F 1 ( W 2 ( τ ) ) F F A B I 0 , τ r 1 , r 2 ( 1 ) , ( α 1 ϵ 1 + α 2 ϵ 2 + μ ) W 1 W 2 F F A B I 0 , τ r 1 , r 2 ( 1 ) , ( α 1 ϵ 1 + α 2 ϵ 2 + μ ) W 1 ( τ ) W 2 ( τ ) , r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) X 1 r 2 1 N ( r 1 ) .
Moreover, if K 1 < 1 ( α 1 ϵ 1 + α 2 ϵ 2 + μ ) such that K 1 = r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) X 1 r 2 1 N ( r 1 ) , then the operator A 1 satisfies the contraction principle. Also,
A 2 S 1 A 2 S 2 = F F A B I 0 , τ r 1 , r 2 F 2 ( S 1 ( τ ) ) F F A B I 0 , τ r 1 , r 2 F 2 ( S 2 ( τ ) ) , F 1 ( S 1 ( τ ) ) F 2 ( S 2 ( τ ) ) F F A B I 0 , τ r 1 , r 2 ( 1 ) , ( α 1 ϵ 1 θ 1 μ ) S 1 ( τ ) S 2 ( τ ) F F A B I 0 , τ r 1 , r 2 ( 1 ) , ( α 1 ϵ 1 θ 1 μ ) S 1 ( τ ) S 2 ( τ ) , r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 2 r 2 1 N ( r 1 ) .
Suppose K 2 = r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 2 r 2 1 N ( r 1 ) , then 0 < K 2 < 1 ( α 1 ϵ 1 θ 1 μ ) satisfies the contraction principle for A 2 . Moreover, from the third equation in System (11), we have
A 3 I 1 A 3 I 2 = F F A B I 0 , τ r 1 , r 2 F 3 ( I 1 , ( τ ) ) F F A B I 0 , τ r 1 , r 2 F 3 ( I 2 , ( τ ) ) , F 3 ( I 1 ( τ ) ) F 3 ( I 2 ( τ ) ) F F A B I 0 , τ r 1 , r 2 ( 1 ) , ( α 2 ϵ + ρ α 2 + δ + θ 2 + μ ) I 1 I 2 F F A B I 0 , τ r 1 , r 2 ( 1 ) .
Now, let K 3 = F F A B I 0 , τ r 1 , r 2 ( 1 ) = r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) X 3 r 2 1 N ( r 1 ) , then 0 < K 3 < 1 α 2 ϵ + ρ α 2 + δ + θ 2 + μ satisfies the contraction principle for A 3 . Similarly, for the last equation in System (11),
A 4 T 1 A 4 T 2 = F F A B I 0 , τ r 1 , r 2 F 4 ( T 1 , ( τ ) ) F F A B I 0 , τ r 1 , r 2 F 4 ( T 2 , ( τ ) ) , F 4 ( T 1 ( τ ) ) F T ( T 2 ( τ ) ) F F A B I 0 , τ r 1 , r 2 ( 1 ) , ( μ + γ T 1 ( τ ) T 2 ( τ ) F F A B I 0 , τ r 1 , r 2 ( 1 ) , ( μ + γ ) T 1 ( τ ) T 2 ( τ ) , r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) X 4 r 2 1 N ( r 1 ) .
Further, suppose that K 4 = r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) X 4 r 2 1 N ( r 1 ) , then the operator A 4 satisfies the contraction principle for 0 < K 4 < 1 ( μ + γ ) . Thus, the operators A 1 , A 1 , A 3 , and A 4 satisfy the contraction principle. Finally, we establish the uniqueness of the solution by assuming that both W 1 ( τ ) and W 2 ( τ ) satisfy the initial equation in System (11).
W 1 ( τ ) W 0 ( τ ) = F F A B I 0 , τ r 1 , r 2 F 1 ( W 1 , ( τ ) ) , W 2 ( τ ) W 0 ( τ ) = F F A B I 0 , τ r 1 , r 2 F 1 ( W 2 , ( τ ) ) .
The difference of W 1 and W 2 in Equation (22) gives
W 1 W 2 = I 0 , τ r 1 , r 2 F F A B F 1 ( W 1 , ( τ ) ) F F A B I 0 , τ r 1 , r 2 F 1 ( W 2 , ( τ ) ) , W 1 W 2 F 1 ( W 1 , τ ) F 1 ( W 2 , ( τ ) ) F F A B I 0 , τ r 1 , r 2 1 , ( α 1 ϵ 1 + α 2 ϵ 2 + μ ) W 1 W 2 F F A B I 0 , τ r 1 , r 2 ( 1 ) .
Consequently,
( 1 ( α 1 ϵ 1 + α 2 ϵ 2 + μ ) ) F F A B I 0 , τ r 1 , r 2 ( 1 ) W 1 ( τ ) W 2 ( τ ) 0 .
Thus, the term
( 1 α 1 ϵ 1 α 2 ϵ 2 μ ) r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 1 r 2 1 N ( r 1 ) 0
implies that W 1 ( τ ) = W 2 ( τ ) . Further, let S 1 and S 2 denote the two solutions of the second equation in the proposed model (11), such that
S 1 S 0 = F F A B I 0 , τ r 1 , r 2 F 2 ( S 1 , ( τ ) ) , S 2 S 0 = F F A B I 0 , τ r 1 , r 2 F 2 ( S 2 , ( τ ) ) .
The difference of these two equations gives
S 1 S 2 = I 0 , τ r 1 , r 2 F F A B F 2 ( S 1 , τ ) F F A B I 0 , τ r 1 , r 2 F 2 ( S 2 , τ ) , F 2 ( S 1 , τ ) F 2 ( S 2 , τ ) F F A B I 0 , τ r 1 , r 2 1 .
Shifting the right side of Equation (23), we obtain that 1 ( α 1 ϵ 1 θ 1 μ ) F F A B I 0 , τ r 1 , r 2 S 1 ( τ ) S 2 ( τ ) is negative. The term
1 ( α 1 ϵ 1 θ 1 μ ) r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) + r 2 ( 1 r 1 ) s 2 r 2 1 N ( r 1 ) 0
and S 1 ( τ ) = S 2 ( τ ) . Similarly, one can compute the conditions for I ( τ ) and T ( τ ) to obtain I 1 ( τ ) = I 2 ( τ ) and T 1 ( τ ) = T 2 ( τ ) , respectively. Consequently, the operators A 1 , A 2 , A 3 , and A 4 are well defined and adhere to contraction mapping principles. This ensures the uniqueness of the solution for the generalized WP model (11). □

4.3. Stability Analysis

This subsection analyzes the stability properties of the proposed model 11, specifically examining the criteria for Hyers–Ulam stability.
Definition 8.
The generalized WP model (11) is defined as Hyers–Ullam stable within the FFI framework if for every index I N i 4 , the positive constants β i > 0 satisfy all subsequent conditions:
W ( τ ) r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( W ( τ ) , τ ) d s r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( W ( τ ) , τ ) β 1 , S ( τ ) r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 2 ( S ( τ ) , τ ) d s r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 2 ( S ( τ ) , τ ) β 2 , I ( τ ) r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 3 ( I ( τ ) , τ ) d s r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 3 ( I ( τ ) , τ ) β 3 , T ( τ ) r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 4 ( T ( τ ) , τ ) d s r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 4 ( T ( τ ) , τ ) β 4 .
For the generalized model (11), there exists an approximate solution ( W ( τ ) , S ( τ ) , I ( τ ) , T ( τ ) ) so that the following equations are satisfied:
W ( τ ) = r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( W ( τ ) , τ ) d s + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( W ( τ ) , τ ) , S ( τ ) = r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( S ( τ ) , τ ) d s + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( S ( τ ) , τ ) , I ( τ ) = r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( I ( τ ) , τ ) d s + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( I ( τ ) , τ ) , T ( τ ) = r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( T ( τ ) , τ ) d s + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( T ( τ ) , τ ) .
Thus, Equation (11) is said to be Hyers–Ullam stable if
| W W | p 1 β 1 , | S S | p 2 β 2 , | I I | p 3 β 3 , | T T | p 4 β 4 .
Theorem 5.
If System (26) holds, then System (11) is said to be Hyers–Ullam stable.
Proof. 
Consider the first equation of System (26); we have
| W W | = | r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( W ( τ ) , τ ) d s + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( W ( τ ) , τ ) [ r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ s ) r 1 1 s r 2 1 F 1 ( W ( τ ) , τ ) d s , + r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( W ( τ ) , τ ) ] | , = | r 2 ( 1 r 1 ) τ r 2 1 N ( r 1 ) F 1 ( W ( τ ) , τ ) F 1 ( W ( τ ) , τ ) + r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ ( τ ψ ) r 1 1 ψ r 2 1 × F 1 ( W ( τ ) , τ ) F 1 ( W ( τ ) , τ ) d ψ | , r 2 ( 1 r 1 ) N ( r 1 ) ψ 1 W ( τ ) W ( τ ) , ψ 1 r 2 ( 1 r 1 ) N ( r 1 ) + r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) .
This gives | W W |     W ( τ ) W ( τ ) . Moreover, suppose that ψ 1 = β 1 and
r 2 ( 1 r 1 ) N ( r 1 ) + r 1 r 2 N ( r 1 ) . Γ ( r 2 ) Γ ( r 1 + r 2 ) W ( τ ) W ( τ ) = p 1 ,
then, we obtain | W ( τ ) W ( τ ) | p 1 β 1 . Similarly, for other state variables, the following inequalities hold: | S S | p 2 β 2 , | I I | p 3 β 3 , | T T | p 4 β 4 for ψ 2 = β 2 , ψ 3 = β 3 , ψ 4 = β 4 and
p 2 = p 3 = p 4 = r 2 ( 1 r 1 ) N ( r 1 ) + r 1 r 2 N ( r 1 ) Γ ( r 2 ) Γ ( r 1 + r 2 ) .
Hence, W , S , I , and T satisfy Equation (26) thus, the generalized model (11) is Hyers–Ullam stable. □

5. Numerical Scheme Based on Proposed Model

The Newton polynomial numerical scheme for the considered FFDEs is r 1 , r 2 0 , τ F F A B z ( τ ) = F ( τ , z ) . Applying FFI on both sides, we obtain
z ( τ ) = z ( 0 ) + ( 1 r 1 ) r 2 τ r 2 1 N ( r 1 ) F ( τ , z ( τ ) ) + r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 τ n + 1 ( τ s ) r 1 1 s r 2 1 F ( s , z ( s ) ) d s ,
We replace “ τ ” with “ t n + 1 ” in Equation (27) to obtain
z ( t n + 1 ) = z ( 0 ) + ( 1 r 1 ) r 2 τ n + 1 r 2 1 N ( r 1 ) F τ , z ( τ ) + r 1 r 2 N ( r 1 ) Γ ( r 1 ) 0 t n + 1 ( t n + 1 x ) r 1 1 x r 2 1 F ( x , z ( x ) ) d x .
We apply a two-step Lagrange polynomial (LP) to obtain
F ( t , z ( τ ) ) = F τ x , z τ x 1 ( x τ x 1 ) h F τ x 1 , z τ x 1 ( x τ x ) h ,
where h = τ x τ x 1 denotes the step size (the interval between two consecutive points in a set). Applying LP methods to Equation (28) results in
z ( t n + 1 ) = z ( 0 ) + ( 1 r 1 ) r 2 τ n + 1 N ( r 1 ) F τ , z ( τ ) + r 1 r 2 N ( r 1 ) Γ ( r 1 ) × x = 1 n F ( τ x , z ( τ x ) ) h 0 t n + 1 ( τ n + 1 x ) r 1 1 x r 2 1 ( x t x 1 ) d x F ( t x 1 , z ( t x 1 ) ) h 0 t n + 1 ( t n + 1 x ) r 1 1 x r 2 1 ( x τ x ) d x .
Solving the integrals in the aforementioned equation, we obtain
z ( t n + 1 ) = z ( 0 ) + ( 1 r 1 ) r 2 2 τ n + 1 τ r 2 1 N ( r 1 ) U τ n , z ( τ n ) + r 1 r 2 2 τ r 2 1 Γ ( r 2 ) h N ( r 1 ) Γ ( r 1 + r 2 ) × x = 1 n U ( τ x , z ( τ x ) ) Ψ 1 τ x 1 τ n + 1 U ( t x 1 , z ( t x 1 ) ) Ψ 1 τ x τ n + 1 ,
where Ψ 1 = ( t n + 1 ) r 1 + r 2 r 2 ( r 1 + r 2 ) . Further, employing the NP scheme in the model in (11) gives
W ( t n + 1 ) = W ( 0 ) + ( 1 r 1 ) r 2 2 τ n + 1 τ r 2 1 N ( r 1 ) U 1 τ n , W ( τ n ) + r 1 r 2 2 τ r 2 1 Γ ( r 2 ) h N ( r 1 ) Γ ( r 1 + r 2 ) × x = 1 n U 1 ( τ x , W ( τ x ) ) Ψ 1 τ x 1 τ n + 1 U 1 ( t x 1 , W ( t x 1 ) ) Ψ 1 τ x τ n + 1 ,
S ( t n + 1 ) = S ( 0 ) + ( 1 r 1 ) r 2 2 τ n + 1 τ r 2 1 N ( r 1 ) U 2 τ n , S ( τ n ) + r 1 r 2 2 τ r 2 1 Γ ( r 2 ) h N ( r 1 ) Γ ( r 1 + r 2 ) × x = 1 n U 2 ( τ x , S ( τ x ) ) Ψ 1 τ x 1 τ n + 1 U 2 ( t x 1 , S ( t x 1 ) ) Ψ 1 τ x τ n + 1 ,
I ( t n + 1 ) = I ( 0 ) + ( 1 r 1 ) r 2 2 τ n + 1 τ r 2 1 N ( r 1 ) U 3 τ n , I ( τ n ) + r 1 r 2 2 τ r 2 1 Γ ( r 2 ) h N ( r 1 ) Γ ( r 1 + r 2 ) × x = 1 n U 3 ( τ x , I ( τ x ) ) Ψ 1 τ x 1 τ n + 1 U 3 ( t x 1 , I ( t x 1 ) ) Ψ 1 τ x τ n + 1 ,
T ( t n + 1 ) = T ( 0 ) + ( 1 r 1 ) r 2 2 τ n + 1 τ r 2 1 N ( r 1 ) U 4 τ n , T ( τ n ) + r 1 r 2 2 τ r 2 1 Γ ( r 2 ) h N ( r 1 ) Γ ( r 1 + r 2 ) × x = 1 n U 4 ( τ x , T ( τ x ) ) Ψ 1 τ x 1 τ n + 1 U 4 ( t x 1 , T ( t x 1 ) ) Ψ 1 τ x τ n + 1 .
In all above cases, Ψ 1 = ( t n + 1 ) r 1 + r 2 r 2 ( r 1 + r 2 ) , with U 1 , U 2 , U 3 , and U 4 representing the corresponding kernels for each compartment.

6. Graphical Representations and Discussion

This section of this research work focuses on the graphical representation of the proposed model (11), using the assumed values of the compartment and parameters with the step size h = 0.5 . MATLAB 2019b, a mathematical software tool, was employed to generate and analyze these graphs in detail. The following figures illustrate the analysis of different compartments for various values of fractal–fractional orders, i.e., r 1 and r 2 .
From the graphical analysis of the combined Figure 1a, it is observed that the number of polluted water sources decreased for different values of r 1 and r 2 . As a result, we can come to the conclusion that the fractional order r 1 and the fractal dimension r 2 had a significant impact on reducing the number of polluted water sources, W ( τ ) . In Figure 1b, we observe that the number of susceptible water sources decreased for different values of r 1 and r 2 . Consequently, the fractional order r 1 and the fractal dimension r 2 had a significant impact on reducing the number of susceptible water sources, S ( τ ) . In Figure 1c, it is observed that the number of infected water sources decreased for various values of r 1 and r 2 , which concludes that the fractional order r 1 and the fractal dimension r 2 reduced the number of infected water sources, I ( τ ) . Similar was the case shown in Figure 1d, where the number of recovered water sources increased with the increase in r 1 and r 2 , and the fractional order r 1 along with the fractal dimension r 2 reduced the number of polluted water sources, I ( τ ) .
In Figure 2, we observe that the polluted, susceptible, and infected water sources decreased, while recovered water sources increased for various values of r 1 and r 2 , based on the inspection of graphical analysis; as the fractional order r 1 and the fractal dimension r 2 increased, the polluted, susceptible, and infected water sources decreased and recovered water increased. Thus, the fractal–fractional operator had a vital influence on the proposed model.

Comparative Study

To check the effectiveness of the proposed numerical scheme with ordered classical numerical methods, such as the Runge–Kutta fourth-order (RK-4) method and modified Euler method (EM), by converting the considered model to a conventional integral-order model, e.g., r 1 = r 2 = 1 . We performed the numerical simulations for the compartment W ( τ ) of the proposed model with the step size h = 0.5 using MATLAB-15 with Central Processing Unit (CPU) time comparison.
Thus, we compared the aforementioned numerical schemes for CPU time to see which method is cheaper regarding the consumption of time presented in Table 1. From Table 1, it is clear that our proposed method is more reliable than both the RK-4 method and Euler's methods. Furthermore, the NP scheme remains applicable and advantageous for fractional-order settings ( r 1 , r 2 < 1 ) , where classical methods like RK-4 are not valid. This flexibility makes the NP approach particularly suited for modeling real-world processes with memory and non-locality, such as water pollution dynamics.

7. Conclusions

In this current study, a novel mathematical model for water pollution was examined using FFDs in the ABC sense, which effectively captured the memory and non-local dynamics of pollutant behavior. The inclusion of the parameter γ emphasized the critical role of improving efforts in relieving pollution. Moreover, the existence, uniqueness, and stability of solutions using fixed-point theory were mathematically analyzed. An NP numerical scheme was proposed to solve the system efficiently, by providing accurate simulations of pollution dynamics under changing conditions.
This research contributes to the field of environmental modeling by integrating advanced mathematical tools with practical applications, providing a framework for understanding and addressing WP. The analysis highlighted the importance of fractional-order modeling in capturing complex environmental processes and the results offer a platform for upcoming studies. Furthermore, the model serve as a valuable tool for policymakers and stakeholders to evaluate and design effective strategies for sustainable water resource management.

Author Contributions

Conceptualization, L.L., A.A., J.A., and J.Y.; methodology, L.L., A.A., J.A., and J.Y.; software, J.A. and J.Y.; validation, L.L., A.A., J.A., Y.W., L.G.A., and J.Y.; formal analysis, A.A., J.A., and L.G.A.; investigation, L.L.; resources, J.A.; writing—original draft preparation, J.A. and J.Y.; writing—review and editing, L.L., A.A., J.A., Y.W., L.G.A., and J.Y.; supervision, A.A. and J.Y.; funding acquisition, L.L., Y.W., L.G.A., and J.Y. All authors have read and agreed to the published version of the manuscript.

Funding

The authors extend their appreciation to the Deanship of Scientific Research at Northern Border University, Arar, KSA, for funding this research work through the project number NBU-FFR-2025-2618-02. This research is also funded by Natural Science Foundation of Shandong Province, China, OF Grant No. ZR2022QA057 (Y. Wei) and Zhejiang Normal University, Jinhua, China, OF Grant No. ZC034023928 (L. Loudahi).

Data Availability Statement

The original contributions presented in this study are included in the article material. Further inquiries can be directed to jk281723@gmail.com (J.A.) or wyl19910110@163.com (Y.W.).

Conflicts of Interest

The authors declare no conflicts of interest.

Abbreviations

The following abbreviations are used in this manuscript:
ABCAtangana–Baleanu–Caputo
CWContaminated water
DEsDifferential equations
EUSExistence and uniqueness of solution
FPTFixed-point theory
FCFractional Calculus
FDEsFractional differential equations
FFDsFractal–fractional derivatives
FFIFractal–fractional integral
LCLipschitz continuous
LPLagrange polynomial
MMMathematical modeling
NPNewton polynomial
ODEsOrdinary differential equations
RK4Runge–Kutta
WPWater pollution
WSsWater sources
WPsWater pollutants

References

  1. Schwarzenbach, R.P.; Egli, T.; Hofstetter, T.B.; Von Gunten, U.; Wehrli, B. Global water pollution and human health. Annu. Rev. Environ. Resour. 2010, 35, 109–136. [Google Scholar] [CrossRef]
  2. Mishra, A.K.; Dubey, R.S. Fractional-order modeling of groundwater contamination with non-local transport dynamics. J. Contam. Hydrol. 2023, 248, 104022. [Google Scholar]
  3. Podlubny, I. Fractional differential equations in disease modeling: New perspectives. Chaos Solit. Fractals 2020, 140, 110236. [Google Scholar] [CrossRef]
  4. Singh, J.; Kumar, D.; Baleanu, D. A fractional approach to turbulent flow with memory effects. Appl. Math. Model. 2021, 89, 1257–1272. [Google Scholar] [CrossRef]
  5. Petráš, I. Fractional-Order Chaotic Systems: Control and Synchronization; Springer: Berlin, Germany, 2019. [Google Scholar]
  6. Xu, C.; Zhao, Y.; Lin, J.; Pang, Y.; Liu, Z.; Shen, J.; Ahmad, S. Mathematical exploration on control of bifurcation for a plankton–oxygen dynamical model owning delay. J. Math. Chem. 2024, 62, 2709–2739. [Google Scholar] [CrossRef]
  7. Doroshin, A.V.; Elisov, N.A. Multi-rotor spacecraft attitude control by triggering chaotic modes on strange chaotic attractors. Nonlin. Dyn. 2024, 112, 4617–4649. [Google Scholar] [CrossRef]
  8. Chen, T.; Li, F.; Yu, P. Nilpotent center conditions in cubic switching polynomial Lienard systems by higher-order analysis. J. Differ. Equ. 2024, 379, 258–289. [Google Scholar] [CrossRef]
  9. Li, F.; Jin, Y.; Tian, Y.; Yu, P. Integrability and linearizability of cubic Z2 systems with non-resonant singular points. J. Differ. Equ. 2020, 269, 9026–9049. [Google Scholar] [CrossRef]
  10. Li, F.; Liu, Y.; Yu, P.; Wang, J. Complex integrability and linearizability of cubic Z2-equivariant systems with two 1: q resonant singular points. J. Differ. Equ. 2021, 300, 786–813. [Google Scholar] [CrossRef]
  11. Gaimei, G.; Cheng, G. Mathematical modeling and application for simulation of water pollution accidents. Process Saf. Environ. Prot. 2019, 127, 189–196. [Google Scholar] [CrossRef]
  12. Laskar, N.; Singh, U.; Kumar, R.; Meena, S.K. Spring water quality and assessment of associated health risks around the urban Tuirial landfill site in Aizawl, Mizoram, India. Groundw. Sustain. Dev. 2022, 17, 100726. [Google Scholar] [CrossRef]
  13. Biswas, B.; Ghosh, A.; Sailo, B.L. Spring water suitable and vulnerable watershed demarcation using AHP-TOPSIS and AHP-VIKOR models: Study on Aizawl district of North-Eastern hilly state of Mizoram, India. Environ. Earth Sci. 2023, 82, 80. [Google Scholar] [CrossRef]
  14. Xiao, J.; Gao, D.; Zhang, H.; Shi, H.; Chen, Q.; Li, M.; Chen, Q. Water quality assessment and pollution source apportionment using multivariate statistical techniques: A case study of the Laixi River Basin, China. Environ. Monit. Assess. 2023, 195, 287. [Google Scholar] [CrossRef] [PubMed]
  15. Wang, Y.; Wang, F.; Cheng, Z.; Su, Q.; Cao, Y. Health risk cause of water around landfill in hilly area and prevention and control countermeasures. J. Environ. Manag. 2023, 346, 119019. [Google Scholar] [CrossRef]
  16. Cheng, Z.; Wang, F.; Wang, Y.; Ding, L.; Li, H.; Dong, W. Leachate reduction and pollution control strategies for landfills in hilly areas based on site condition analysis and numerical simulation. J. Environ. Manag. 2024, 367, 122033. [Google Scholar] [CrossRef]
  17. Sabir, Z.; Sadat, R.; Ali, M.R.; Said, S.B.; Azhar, M. A numerical performance of the novel fractional water pollution model through the Levenberg-Marquardt back propagation method. Arab. J. Chem. 2023, 16, 104493. [Google Scholar] [CrossRef]
  18. Ullah, M.S.; Higazy, M.; Kabir, K.A. Dynamic analysis of mean-field and fractional-order epidemic vaccination strategies by evolutionary game approach. Chaos Solit. Fractals 2022, 162, 112431. [Google Scholar] [CrossRef]
  19. Loudahi, L.; Yuan, J.; Dioubi, F. Stability Analysis of A Fractional Ordered Quadrotor Unmanned Aerial Vehicle Chaotic System. Fractals 2025, 33, 1–12. [Google Scholar] [CrossRef]
  20. El-Sayed, A.M.A.; Rida, S.Z.; Arafa, A.A.M. Exact solutions of fractional-order biological population model. Commun. Theor. Phys. 2009, 52, 992. [Google Scholar] [CrossRef]
  21. Rihan, F.A. Numerical modeling of fractional-order biological systems. Abstr. Appl. Anal. 2013, 2013, 816803. [Google Scholar] [CrossRef]
  22. Shah, K.; Alqudah, M.A.; Jarad, F.; Abdeljawad, T. Semi-analytical study of Pine Wilt disease model with convex rate under Caputo-Febrizio fractional order derivative. Chaos Solit. Fractals 2020, 135, 109754. [Google Scholar] [CrossRef]
  23. Ahmad, I.; Nieto, J.J.; Shah, K. Existence and stability for fractional order pantograph equations with nonlocal conditions. Electron. J. Diff. Equ. 2020, 132, 1–6. [Google Scholar] [CrossRef]
  24. Ali, Z.; Shah, K.; Zada, A.; Kumam, P. Mathematical analysis of coupled systems with fractional order boundary conditions. Fractals 2020, 28, 2040012. [Google Scholar] [CrossRef]
  25. Marwan, M.; Ali, G.; Khan, R. Existence of solution and self-exciting attractor in the fractional-order gyrostat dynamical system. Complexity 2022, 2022, 3505634. [Google Scholar] [CrossRef]
  26. Ali, G.; Marwan, M.; Rahman, U.U.; Hleili, M. Investigation of fractional-ordered tumor-immune interaction model via fractional-order derivative. Fractals 2024, 32, 2450119. [Google Scholar] [CrossRef]
  27. Marwan, M.; Ali, G.; Li, F.; Abdallah, S.A.O.; Saidani, T. Semi-analytical analysis of a fractional-order pandemic dynamical model using non-local operator. Fractals, 2025; online first. [Google Scholar]
  28. Marwan, M.; Xiong, A.; Han, M.; Khan, R. Chaotic behavior of Lorenz-based chemical system under the influence of fractals. MATCH Commun. Math. Comput. Chem. 2024, 91, 307–336. [Google Scholar] [CrossRef]
  29. Alzaid, S.S.; Kumar, A.; Kumar, S.; Alkahtani, B.S.T. Chaotic behavior of financial dynamical system with generalized fractional operator. Fractals 2023, 31, 2340056. [Google Scholar] [CrossRef]
  30. Singh, J.; Agrawal, R.; Baleanu, D. Dynamical analysis of fractional order biological population model with carrying capacity under Caputo-Katugampola memory. Alex. Eng. J. 2024, 91, 394–402. [Google Scholar] [CrossRef]
  31. Atangana, A. Fractal-fractional differentiation and integration: Connecting fractal calculus and fractional calculus to predict complex system. Chaos Solit. Fractals 2017, 102, 396–406. [Google Scholar] [CrossRef]
  32. Atangana, A. Modelling the spread of COVID-19 with new fractal-fractional operators: Can the lockdown save mankind before vaccination? Chaos Solit. Fractals 2020, 136, 109860. [Google Scholar] [CrossRef] [PubMed]
  33. Farman, M.; Akgül, A.; Nisar, K.S.; Ahmad, D.; Ahmad, A.; Kamangar, S.; Saleel, C. A Epidemiological analysis of fractional order COVID-19 model with Mittag-Leffler kernel. AIMS Math. 2022, 7, 756–783. [Google Scholar] [CrossRef]
  34. Ullah, S.; Shah, K.; Sarwar, M.; Hleili, M.; Ali, A.; Abdeljawad, T. On analysis of a system of non-homogenous boundary value problems using hausdorff derivative with exponential kernel. J. App. Math. Comput. 2024, 70, 5805–5827. [Google Scholar] [CrossRef]
  35. Li, F.; Marwan, M.; Karawanich, K. On the bifurcations in a quadrotor unmanned aerial vehicle dynamical system using normal form theory. Nonlin. Dyn. 2025, 113, 6405–6425. [Google Scholar] [CrossRef]
  36. Marwan, M.; Li, F.; Ahmad, S.; Wang, N. Mixed obstacle avoidance in mobile chaotic robots with directional keypads and its non-identical generalized synchronization. Nonlin. Dyn. 2025, 113, 2377–2390. [Google Scholar] [CrossRef]
  37. Marwan, M.; Han, M.; Dai, Y.; Cai, M. The impact of global dynamics on the fractals of a quadrotor unmanned aerial vehicle (QUAV) chaotic system. Fractals 2024, 32, 2450043. [Google Scholar] [CrossRef]
  38. Li, F.; Yu, P.; Tian, Y.; Liu, Y. Center and isochronous center conditions for switching systems associated with elementary singular points. Commun. Nonlinear Sci. Numer. Simul. 2015, 28, 81–97. [Google Scholar] [CrossRef]
  39. Li, F.; Yu, P.; Liu, Y.; Liu, Y. Centers and isochronous centers of a class of quasi-analytic switching systems. Sci. China Math. 2018, 61, 1201–1218. [Google Scholar] [CrossRef]
  40. Chen, D.; Liu, W. Chaotic behavior and its control in a fractional-order energy demand-supply system. J. Comput. Nonlin. Dyn. 2016, 11, 061010. [Google Scholar] [CrossRef]
  41. Marwan, M.; Han, M.; Osman, M. Hidden covers (wings) in the fractals of chaotic systems using advanced Julia function. Fractals 2023, 31, 2350125. [Google Scholar] [CrossRef]
  42. Ebrahimzadeh, A.; Jajarmi, A.; Baleanu, D. Enhancing water pollution management through a comprehensive fractional modeling framework and optimal control techniques. J. Nonlin. Math. Phys. 2024, 31, 48. [Google Scholar] [CrossRef]
  43. Bushnaq, S.; Shah, K.; Alrabaiah, H. On modeling of coronavirus-19 disease under Mittag-Leffler power law. Adv. Differ. Equ. 2020, 2020, 487. [Google Scholar] [CrossRef] [PubMed]
  44. Din, A.; Abidin, M.Z. Analysis of fractional-order vaccinated Hepatitis-B epidemic model with Mittag-Leffler kernels. Math. Model. Numer. Simul. Appl. 2022, 2, 59–72. [Google Scholar] [CrossRef]
  45. Ali, Z.; Zada, A.; Shah, K. Ulam stability to a toppled system of nonlinear implicit fractional order boundary value problem. Bound. Value Probl. 2018, 1, 1–16. [Google Scholar] [CrossRef]
  46. France, J.; Thornley, J.H. Mathematical Models in Agriculture; Butterworths: London, UK, 1984. [Google Scholar]
  47. Deppman, A.; Megías, E.; Pasechnik, R. Fractal derivatives, fractional derivatives and q-deformed calculus. Entropy 2023, 25, 1008. [Google Scholar] [CrossRef]
Figure 1. Class of (a) W ( τ ) , (b) S ( τ ) , (c) I ( τ ) , and (d) T ( τ ) with different values of fractional operator ( r 1 ) and fractal dimension ( r 2 ).
Figure 1. Class of (a) W ( τ ) , (b) S ( τ ) , (c) I ( τ ) , and (d) T ( τ ) with different values of fractional operator ( r 1 ) and fractal dimension ( r 2 ).
Fractalfract 09 00321 g001
Figure 2. (a,b) Class of W ( τ ) , S ( τ ) , I ( τ ) , and T ( τ ) with different values of fractional operator ( r 1 ) and fractal dimension ( r 2 ).
Figure 2. (a,b) Class of W ( τ ) , S ( τ ) , I ( τ ) , and T ( τ ) with different values of fractional operator ( r 1 ) and fractal dimension ( r 2 ).
Fractalfract 09 00321 g002
Table 1. CPU time comparison for extended simulation intervals using NP, RK-4, and EM.
Table 1. CPU time comparison for extended simulation intervals using NP, RK-4, and EM.
N = t h Time Range tRK-4 CPU Time (s)EM CPU Time (s)NP (AB) CPU Time (s)
100500.1290.1140.092
2001000.2510.2280.188
30001500.3720.3400.284
4002000.5030.4510.369
5002500.6340.5670.457
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

Loudahi, L.; Ali, A.; Yuan, J.; Ahmad, J.; Amin, L.G.; Wei, Y. Fractal–Fractional Analysis of a Water Pollution Model Using Fractional Derivatives. Fractal Fract. 2025, 9, 321. https://doi.org/10.3390/fractalfract9050321

AMA Style

Loudahi L, Ali A, Yuan J, Ahmad J, Amin LG, Wei Y. Fractal–Fractional Analysis of a Water Pollution Model Using Fractional Derivatives. Fractal and Fractional. 2025; 9(5):321. https://doi.org/10.3390/fractalfract9050321

Chicago/Turabian Style

Loudahi, Lamia, Amjad Ali, Jing Yuan, Jalil Ahmad, Lamiaa Galal Amin, and Yunlan Wei. 2025. "Fractal–Fractional Analysis of a Water Pollution Model Using Fractional Derivatives" Fractal and Fractional 9, no. 5: 321. https://doi.org/10.3390/fractalfract9050321

APA Style

Loudahi, L., Ali, A., Yuan, J., Ahmad, J., Amin, L. G., & Wei, Y. (2025). Fractal–Fractional Analysis of a Water Pollution Model Using Fractional Derivatives. Fractal and Fractional, 9(5), 321. https://doi.org/10.3390/fractalfract9050321

Article Metrics

Back to TopTop