Next Article in Journal
Estimation and Optimal Censoring Plan for a New Unit Log-Log Model via Improved Adaptive Progressively Censored Data
Next Article in Special Issue
On Population Models with Delays and Dependence on Past Values
Previous Article in Journal
A Novel Domination in Vague Influence Graphs with an Application
Previous Article in Special Issue
Chaotic Steady States of the Reinartz Oscillator: Mathematical Evidence and Experimental Confirmation
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Fractal Fractional Derivative Models for Simulating Chemical Degradation in a Bioreactor

by
Ali Akgül
1,2,3 and
J. Alberto Conejero
4,*
1
Department of Mathematics, Art and Science Faculty, Siirt University, 56100 Siirt, Turkey
2
Department of Computer Science and Mathematics, Lebanese American University, Beirut P.O. Box 13-5053, Lebanon
3
Department of Mathematics, Mathematics Research Center, Near East University, Near East Boulevard, 99138 Mersin, Turkey
4
Instituto Universitario de Matemática Pura y Aplicada, Universitat Politècnica de València, 46022 València, Spain
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(3), 151; https://doi.org/10.3390/axioms13030151
Submission received: 18 December 2023 / Revised: 11 February 2024 / Accepted: 20 February 2024 / Published: 26 February 2024
(This article belongs to the Special Issue Advances in Dynamical Systems and Control)

Abstract

:
A three-differential-equation mathematical model is presented for the degradation of phenol and p-cresol combination in a bioreactor that is continually agitated. The stability analysis of the model’s equilibrium points, as established by the study, is covered. Additionally, we used three alternative kernels to analyze the model with the fractal–fractional derivatives, and we looked into the effects of the fractal size and fractional order. We have developed highly efficient numerical techniques for the concentration of biomass, phenol, and p-cresol. Lastly, numerical simulations are used to illustrate the accuracy of the suggested method.

1. Introduction

In a bioreactor, chemical degradation is the process by which certain chemicals or compounds are broken down or changed by living things in the bioreactor’s controlled environment. Bioreactors are widely used to support biological processes, including fermentation, enzyme manufacturing, and wastewater treatment in various industries, including pharmaceuticals, biotechnology, wastewater treatment, and food production.
Many scientific papers have presented the isolation and work of microbial species with higher-degradation action and abilities to degrade chemical compounds [1]. Many isolated bacteria have been investigated in [2]. The biodegradation of one or all chemical parts hinges on the composition of the specific mixture and the utilized microorganisms [3,4,5,6]. Fractional calculus is an influential extension of the classical derivatives. Fractional differential equations (FDEs) have recently been implemented in different fields. Many authors have worked on these equations, such as the KdV equation [7], advection-dispersion equation [8], telegraph equation [9], Schrodinger equation [10], heat equation [11], convection-diffusion equation [12], Fokker Planck equation [13], and Lambert–Beer equation [14,15]. Some of the FDEs do not have exact solutions. Therefore, it is required to work on numerical methods to solve the mentioned equations, such as solving nonlinear fractional diffusion wave equations with the homotopy analysis technique [16], solving PDEs of fractal order by Adomian decomposition method [17]. In [1], the authors have given a bioreactor model but do not consider the bacteria’s death rate and general configuration of the reactor. We have provided the bioreactor model with the fractal–fractional operators. The model with fractal–fractional derivatives has never been analyzed so far. Our model includes the death rate of bacteria, which is important in the process’s environment. We also consider the general configuration of the reactor, where our model includes a membrane and continuous reactor. Additionally, we fractionalize the model and apply a novel numerical technique to achieve the numerical simulations. In these simulations, we use different fractal dimensions and fractional orders. For more details, see [18,19,20,21,22,23,24,25,26,27,28,29,30].
We organize our manuscript as follows. Problem formulation is performed in Section 2. In Section 3, we discuss the model’s analysis in the classical case and present the equilibrium and stability analysis. Next, we explore the analysis of the model with three different kernels viz. the power-law kernel (Section 4), the exponential-decay kernel (Section 5), and the Mittag–Leffler function (Section 6). Finally, in Section 7, we illustrate the numerical simulations of the proposed models.

2. Preliminaries

The following definitions of fractional differentiation operator and fractal–fractional integral operator with three different kernels are taken from [21].
Definition 1.
The fractional differentiation operator with the power-law-type kernel is described as:
  c F F P D t α , η f ( t ) = 1 1 α d d u η c t f ( s ) ( t s ) α d s , 0 < α , η 1 ,
where,
d f ( s ) d s η = lim t s f ( t ) f ( s ) t η s η
Definition 2.
The fractional differentiation operator with the exponential-decay-type kernel is described as:
  c F F E D t α , η f ( t ) = M 1 ( α ) 1 α d d t η c t f ( s ) exp α 1 α ( t s ) d s , 0 < α , η 1 .
Definition 3.
The fractional differentiation operator with the Mittag–Leffler-type kernel is described as:
  c F F M D t α , η f ( t ) = AB ( α ) 1 α d d t η c t f ( s ) E α α 1 α ( t s ) α d s , 0 < α , η 1 ,
where AB ( α ) = 1 α + α Γ ( α ) .
Definition 4.
The fractional integration operator with the power-law-type kernel is described as:
  0 F F P I t α , η f ( t ) = η Γ ( α ) 0 t ( t s ) α 1 s τ 1 ϕ ( s ) d s .
Definition 5.
The fractional integration operator with the exponential-decay-type kernel is described as:
  0 F F E I t α , η f ( t ) = α η M 1 ( α ) 0 t s α 1 f ( s ) d s + τ ( 1 α ) t τ 1 M 1 ( α ) ϕ ( t ) .
Definition 6.
The fractional integration operator with the Mittag–Leffler-type kernel is described as:
  0 F F M I t α , η f ( t ) = α η AB ( α ) 0 t s α 1 f ( s ) ( t s ) α 1 d s + τ ( 1 α ) t τ 1 AB ( α ) f ( t ) .
Here, we present the model to be investigated in this research. We present the model as:
d S p h d t = D S p h 0 S p h k p h · μ S p h , S c r · X ,
d S c r d t = D S c r 0 S c r k c r · μ S p h , S c r · X ,
d X d t = D β X + μ S p h , S c r X ,
μ S p h , S c r = μ m a x ( p h ) S p h K s ( p h ) + S p h + S p h 2 k i ( p h ) + I c r / p h S c r + μ m a x ( c r ) S c r K s ( c r ) + S c r + S c r 2 k i ( c r ) + I p h / c r S p h ,
The model parameters and variables are detailed in [1]. The parameter β is presented in the general configuration. When β = 1 , we have continued the reactor. When β = 0 , we have a membrane reactor.

3. Analysis of the Model in Classical Sense

Now, we begin with analyzing the properties of the model in classical sense.
We consider the number of equilibrium solutions of the model ((8)–(10)). It is obvious that the model has a branch of the washout given by
E 0 = ( S p h , S c r , X ) = S p h 0 , S c r 0 , 0 .
We obtain the steady state solution of ((8)–(10)) by setting to zero the right side. From the model ((8)–(10)), we have:
S c r = S c r 0 k p h + k c r ( S p h S p h 0 ) k p h , X = D S ph 0 S ph k ph β D .
f = k c r μ ( s p h , s c r ) X μ ( s p h , s c r ) X F = [ μ ( s p h , s c r ) ( k c r ) X ( s p h , s c r ) X k c r μ ( s p h , s c r ) μ ( s p h , s c r ) X ( s p h , s c r ) X μ ( s p h , s c r ) k c r ( s p h , s c r ) ]
V = D ( s c r 0 s c r ) D β X V = D 0 0 D β , V 1 = D β 0 0 D
F V 1 = 0 k c r μ ( s p h , s c r ) 0 μ ( s p h , s c r ) D 0 0 D β = 0 β D k c r μ ( s p h , s c r ) 0 β D μ ( s p h , s c r )
d e t F V 1 λ I 2 = 0     , λ β D k c r μ ( s p h , s c r ) 0 β D μ ( s p h , s c r ) λ = 0
Thus, we obtain λ 1 = 0 , λ 2 = β D μ ( s p h , s c r ) = R 0 .
Lemma 1.
The steady state solution E 0 is locally asymptotically stable when D > D c r and is unstable when D < D c r , where
D c r = k i c r k p h ( s c r 0 k p h s p h 0 k c r ) m a x c r k i c r k p h ( K s c r k p h + s c r 0 k p h s p h 0 k c r ) + ( s c r k p h s p h 0 k c r ) 2 β .
Proof. 
We have
E 0 = ( s p h , s c r , x ) = ( s p h 0 , s c r 0 , 0 )
J ( E 0 ) = D μ ( s p h , s c r ) s p h k p h x μ ( s p h , s c r ) s p h k p h x μ ( s p h , s c r ) k p h k c r μ ( s p h , s c r ) s p h x D μ ( s p h , s c r ) s p h k c r x μ ( s p h , s c r ) k c r μ ( s p h , s c r ) s p h x μ ( s p h , s c r ) s p h x D β + μ ( s p h , s c r )
J ( E 0 ) = D 0 μ ( s p h 0 , s c r 0 ) k p h 0 D μ ( s p h 0 , s c r 0 ) k c r 0 0 D β + μ ( s p h 0 , s c r 0 )
where
μ ( s p h , s c r ) = μ m a x ( p h ) s p h K s ( p h ) + s p h + s p h 2 K i ( p h ) + I c r / p h s c r + μ m a x ( c r ) s p h K s ( c r ) + s c r + s c r 2 K i ( c r ) + I p h / c r s p h
det [ J ( E 0 ) λ I 3 ] = D λ 0 μ ( s p h , s c r ) k p h 0 D λ μ ( s p h , s c r ) k c r 0 0 μ ( s p h , s c r ) D β λ = 0
= ( D λ ) ( D λ ) ( μ ( s p h , s c r ) D β λ ) = 0
λ 1 = D , λ 2 = D , λ 3 = β D + μ ( s p h , s c r )
and
μ ( s p h , s c r ) = m a x p h s p h 0 ( k s p h + s p h 0 + s p h 0 2 K i ( p h ) + I c r / p h s c r 0 ) 1 + m a x c r s c r 0 ( k s c r + s c r 0 + s c r 0 2 K i ( p h ) + I p h / c r s p h 0 ) 1 D c r = k i c r k p h ( s c r 0 k p h s p h 0 k c r ) m a x c r k i c r k p h ( K s c r k p h + s c r 0 k p h s p h 0 k c r ) + ( s c r k p h s p h 0 k c r ) 2 β
If D > D c r , then λ 3 < 0 . Thus, all eigenvalues are negative. This shows that the steady state solution E 0 is locally asymptotically stable. □

4. Analysis of the Model with the Power-Law Kernel

Here, we analyze the model with fractional differentiation operator using the power-law kernel as:
  0 F F P D t α , η S p h = D S p h 0 S p h k p h · μ S p h , S c r · X .
  0 F F P D t α , η S c r = D S c r 0 S c r k c r · μ S p h , S c r · X .
  0 F F P D t α , η X = D β X + μ S p h , S c r X .
We have the following relation between the classical and fractal derivative [21]:
D η f ( t ) = f ( t ) η t η 1 .
A relation between the classical derivative and the fractal derivative gives
  0 R L D t α S p h = η t η 1 D S p h 0 S p h k p h · μ S p h , S c r · X .
  0 R L D t α S c r = η t η 1 D S c r 0 S c r k c r · μ S p h , S c r · X .
  0 R L D t α X = η t η 1 D β X + μ S p h , S c r X .
For simplicity, we define
A ( t , S p h , S c r , X ) = η t η 1 D S p h 0 S p h k p h · μ S p h , S c r · X .
B ( t , S p h , S c r , X ) = η t η 1 D S c r 0 S c r k c r · μ S p h , S c r · X .
C ( t , S p h , S c r , X ) = η t η 1 D β X + μ S p h , S c r X .
Then, we obtain
  0 R L D t α S p h = A ( t , S p h , S c r , X ) .
  0 R L D t α S c r = B ( t , S p h , S c r , X ) .
  0 R L D t α X = C ( t , S p h , S c r , X ) .
Applying the Riemann–Liouville integral yields:
S p h ( t ) S p h ( 0 ) = 1 Γ ( α ) 0 t A ( τ , S p h , S c r , X ) ( t τ ) α 1 d τ .
S c r ( t ) S c r ( 0 ) = 1 Γ ( α ) 0 t B ( τ , S p h , S c r , X ) ( t τ ) α 1 d τ .
X ( t ) X ( 0 ) = 1 Γ ( α ) 0 t C ( τ , S p h , S c r , X ) ( t τ ) α 1 d τ .
Discretizing the above equations at t n + 1 , we receive:
S p h ( t n + 1 ) S p h ( 0 ) = 1 Γ ( α ) 0 t n + 1 A ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ .
S c r ( t n + 1 ) S c r ( 0 ) = 1 Γ ( α ) 0 t n + 1 B ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ .
X ( t n + 1 ) X ( 0 ) = 1 Γ ( α ) 0 t n + 1 C ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ .
S p h ( t n + 1 ) S p h ( 0 ) = 1 Γ ( α ) j = 0 n t j t j + 1 A ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ .
S c r ( t n + 1 ) S c r ( 0 ) = 1 Γ ( α ) j = 0 n t j t j + 1 B ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ .
X ( t n + 1 ) X ( 0 ) = 1 Γ ( α ) j = 0 n t j t j + 1 C ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ .
We use two-step Lagrange polynomial as:
p j ( τ , S p h , S c r , X ) = τ t j 1 t j t j 1 A ( t j , S p h , S c r , X ) τ t j t j t j 1 A ( t j 1 , S p h , S c r , X ) .
q j ( τ , S p h , S c r , X ) = τ t j 1 t j t j 1 B ( t j , S p h , S c r , X ) τ t j t j t j 1 B ( t j 1 , S p h , S c r , X ) .
s j ( τ , S p h , S c r , X ) = τ t j 1 t j t j 1 C ( t j , S p h , S c r , X ) τ t j t j t j 1 C ( t j 1 , S p h , S c r , X ) .
Then, we obtain
S p h ( t n + 1 ) S p h ( 0 ) = 1 Γ ( α ) j = 0 n t j t j + 1 p ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ = j = 0 n h α A ( t j , S p h , S c r , X ) Γ ( α + 2 ) ( n + 1 j ) α ( n j + 2 + α ) ( n j ) α ( n j + 2 + 2 α ) j = 0 n h α A ( t j 1 , S p h , S c r , X ) Γ ( α + 2 ) ( n + 1 j ) α + 1 ( n j ) α ( n j + 1 + α )
S c r ( t n + 1 ) S c r ( 0 ) = 1 Γ ( α ) j = 0 n t j t j + 1 q ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ = j = 0 n h α B ( t j , S p h , S c r , X ) Γ ( α + 2 ) ( n + 1 j ) α ( n j + 2 + α ) ( n j ) α ( n j + 2 + 2 α ) j = 0 n h α B ( t j 1 , S p h , S c r , X ) Γ ( α + 2 ) ( n + 1 j ) α + 1 ( n j ) α ( n j + 1 + α )
X ( t n + 1 ) X ( 0 ) = 1 Γ ( α ) j = 0 n t j t j + 1 s ( τ , S p h , S c r , X ) ( t n + 1 τ ) α 1 d τ = j = 0 n h α C ( t j , S p h , S c r , X ) Γ ( α + 2 ) ( n + 1 j ) α ( n j + 2 + α ) ( n j ) α ( n j + 2 + 2 α ) j = 0 n h α C ( t j 1 , S p h , S c r , X ) Γ ( α + 2 ) ( n + 1 j ) α + 1 ( n j ) α ( n j + 1 + α )
Thus, the numerical scheme for the model with power law kernel has been obtained. We used this scheme and obtained Figure 1, Figure 2, Figure 3 and Figure 4.

5. Analysis of the Model with the Exponential-Decay Kernel

Next we analyze the model with using the exponential-decay kernel as:
  0 F F E D t α , η S p h = D S p h 0 S p h k p h · μ S p h , S c r · X .
  0 F F E D t α , η S c r = D S c r 0 S c r k c r · μ S p h , S c r · X .
  0 F F E D t α , η X = D β X + μ S p h , S c r X .
Using the relation between the classical derivative and the fractal derivative yields
  0 C F D t α S p h = η t η 1 D S p h 0 S p h k p h · μ S p h , S c r · X .
  0 C F D t α S c r = η t η 1 D S c r 0 S c r k c r · μ S p h , S c r · X .
  0 C F D t α X = η t η 1 D β X + μ S p h , S c r X .
For simplicity, we define
K ( t , S p h , S c r , X ) = η t η 1 D S p h 0 S p h k p h · μ S p h , S c r · X .
L ( t , S p h , S c r , X ) = η t η 1 D S c r 0 S c r k c r · μ S p h , S c r · X .
M ( t , S p h , S c r , X ) = η t η 1 D β X + μ S p h , S c r X .
Then, we obtain
  0 C F D t α S p h = K ( t , S p h , S c r , X ) .
  0 C F D t α S c r = L ( t , S p h , S c r , X ) .
  0 C F D t α X = M ( t , S p h , S c r , X ) .
Applying the CF integral yields [22]:
S p h ( t ) S p h ( 0 ) = 1 α M ( α ) K ( t , S p h , S c r , X ) + α M ( α ) 0 t K ( τ , S p h , S c r , X ) d τ . S c r ( t ) S c r ( 0 ) = 1 α M ( α ) L ( t , S p h , S c r , X ) + α M ( α ) 0 t L ( τ , S p h , S c r , X ) d τ . X ( t ) X ( 0 ) = 1 α M ( α ) M ( t , S p h , S c r , X ) + α M ( α ) 0 t M ( τ , S p h , S c r , X ) d τ .
Discretizing the above equations at t n + 1 and t n , we receive:
S p h n + 1 = S p h 0 + 1 α M ( α ) K ( t n , S p h n , S c r n , X n ) + α M ( α ) 0 t n + 1 K ( τ , S p h , S c r , X ) d τ S c r n + 1 = S c r 0 + 1 α M ( α ) L ( t n , S p h n , S c r n , X n ) + α M ( α ) 0 t n + 1 L ( τ , S p h , S c r , X ) d τ X n + 1 = X 0 + 1 α M ( α ) M ( t n , S p h n , S c r n , X n ) + α M ( α ) 0 t n + 1 M ( τ , S p h , S c r , X ) d τ
and
S p h n = S p h 0 + 1 α M ( α ) K ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) 0 t n K ( τ , S p h , S c r , X ) d τ S c r n = S c r 0 + 1 α M ( α ) L ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) 0 t n L ( τ , S p h , S c r , X ) d τ X n = X 0 + 1 α M ( α ) M ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) 0 t n M ( τ , S p h , S c r , X ) d τ
Thus, we reach
S p h n + 1 = S p h n + 1 α M ( α ) K ( t n , S p h n , S c r n , X n ) K ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) t n t n + 1 K ( τ , S p h , S c r , X ) d τ S c r n + 1 = S c r n + 1 α M ( α ) L ( t n , S p h n , S c r n , X n ) L ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) t n t n + 1 L ( τ , S p h , S c r , X ) d τ X n + 1 = X n + 1 α M ( α ) M ( t n , S p h n , S c r n , X n ) M ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) t n t n + 1 M ( τ , S p h , S c r , X ) d τ
Using the two-step Lagrange polynomial yields, we receive:
S p h n + 1 = S p h n + 1 α M ( α ) K ( t n , S p h n , S c r n , X n ) K ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) 3 h 2 K ( t n , S p h n , S c r n , X n ) h 2 K ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) S c r n + 1 = S c r n + 1 α M ( α ) L ( t n , S p h n , S c r n , X n ) L ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) 3 h 2 L ( t n , S p h n , S c r n , X n ) h 2 L ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) X n + 1 = X n + 1 α M ( α ) M ( t n , S p h n , S c r n , X n ) M ( t n 1 , S p h n 1 , S c r n 1 , X n 1 ) + α M ( α ) 3 h 2 M ( t n , S p h n , S c r n , X n ) h 2 M ( t n 1 , S p h n 1 , S c r n 1 , X n 1 )
Thus, the numerical scheme for the model with exponential decay kernel has been obtained. We used this scheme and obtained Figure 5, Figure 6, Figure 7 and Figure 8.

6. Analysis of the Model with the Mittag–Leffler Kernel

Now, we analyze the model with fractional differentiation operator using the Mittag–Leffler kernel as:
  0 F F M D t α , η S p h = D S p h 0 S p h k p h · μ S p h , S c r · X .
  0 F F M D t α , η S c r = D S c r 0 S c r k c r · μ S p h , S c r · X .
  0 F F M D t α , η X = D β X + μ S p h , S c r X .
Then, we obtain
  0 A B D t α S p h = η t η 1 D S p h 0 S p h k p h · μ S p h , S c r · X .
  0 A B D t α S c r = η t η 1 D S c r 0 S c r k c r · μ S p h , S c r · X .
  0 A B D t α X = η t η 1 D β X + μ S p h , S c r X .
For simplicity, we define
Y ( t , S p h , S c r , X ) = η t η 1 D S p h 0 S p h k p h · μ S p h , S c r · X .
Z ( t , S p h , S c r , X ) = η t η 1 D S c r 0 S c r k c r · μ S p h , S c r · X .
T ( t , S p h , S c r , X ) = η t η 1 D β X + μ S p h , S c r X .
Then, we receive
  0 A B D t α S p h = Y ( t , S p h , S c r , X ) .
  0 A B D t α S c r = Z ( t , S p h , S c r , X ) .
  0 A B D t α X = T ( t , S p h , S c r , X ) .
Applying the AB integral gives:
S p h ( t ) S p h ( 0 ) = 1 α A B ( α ) Y ( t , S p h , S c r , X ) + α A B ( α ) Γ ( α ) 0 t ( t p ) α 1 Y ( p , S p h , S c r , X ) d p . S c r ( t ) S c r ( 0 ) = 1 α A B ( α ) Z ( t , S p h , S c r , X ) + α A B ( α ) Γ ( α ) 0 t ( t p ) α 1 Z ( p , S p h , S c r , X ) d p . X ( t ) X ( 0 ) = 1 α A B ( α ) T ( t , S p h , S c r , X ) + α A B ( α ) Γ ( α ) 0 t ( t p ) α 1 T ( p , S p h , S c r , X ) d p .
Discretizing the above equations at t n + 1 , we receive:
S p h n + 1 = S p h 0 + 1 α A B ( α ) Y ( t n + 1 , S p h n , S c r n , X n ) + α A B ( α ) Γ ( α ) 0 t n + 1 ( t n + 1 p ) α 1 Y ( p , S p h , S c r , X ) d p S c r n + 1 = S c r 0 + 1 α A B ( α ) Z ( t n + 1 , S p h n , S c r n , X n ) + α A B ( α ) Γ ( α ) 0 t n + 1 ( t n + 1 p ) α 1 Z ( p , S p h , S c r , X ) d p X n + 1 = X 0 + 1 α A B ( α ) T ( t n + 1 , S p h n , S c r n , X n ) + α A B ( α ) Γ ( α ) 0 t n + 1 ( t n + 1 p ) α 1 T ( p , S p h , S c r , X ) d p
Then, we obtain
S p h n + 1 = S p h 0 + 1 α A B ( α ) Y ( t n + 1 , S p h n , S c r n , X n ) + α A B ( α ) i = 0 n h α Y ( t i , S p h n , S c r n , X n ) Γ ( α + 2 ) ( n + 1 i ) α ( n i + 2 + α ) ( n i ) α ( n i + 2 + 2 α ) α A B ( α ) i = 0 n h α Y ( t i 1 , S p h n 1 , S c r n 1 , X n 1 ) Γ ( α + 2 ) ( n + 1 i ) α + 1 ( n i ) α ( n i + 1 + α )
S c r n + 1 = S c r 0 + 1 α A B ( α ) Z ( t n + 1 , S p h n , S c r n , X n ) + α A B ( α ) i = 0 n h α Z ( t i , S p h n , S c r n , X n ) Γ ( α + 2 ) ( n + 1 i ) α ( n i + 2 + α ) ( n i ) α ( n i + 2 + 2 α ) α A B ( α ) i = 0 n h α Z ( t i 1 , S p h n 1 , S c r n 1 , X n 1 ) Γ ( α + 2 ) ( n + 1 i ) α + 1 ( n i ) α ( n i + 1 + α )
X n + 1 = X 0 + 1 α A B ( α ) T ( t n + 1 , S p h n , S c r n , X n ) + α A B ( α ) i = 0 n h α T ( t i , S p h n , S c r n , X n ) Γ ( α + 2 ) ( n + 1 i ) α ( n i + 2 + α ) ( n i ) α ( n i + 2 + 2 α ) α A B ( α ) i = 0 n h α T ( t i 1 , S p h n 1 , S c r n 1 , X n 1 ) Γ ( α + 2 ) ( n + 1 i ) α + 1 ( n i ) α ( n i + 1 + α ) .
Thus, the numerical scheme for the model with Mittag–Leffler kernel has been obtained. We used this scheme and obtained Figure 9, Figure 10, Figure 11 and Figure 12.
Remark 1.
A valuable and huge benefit of fractional differentiation operator is that we can formulate models better defining the systems with memory effects. It is known that the use of integro-differential kernels of a certain type in integro-differential equations leads us to the fractional derivative operator [31]. The kernels with degree functions in integro-differential equations of the Voltaire type [32], allow us to describe this memory effect [33,34].
Fractal–fractional operators with different memories are related to the non-local dynamical systems’ different types of relaxation processes. Thus, models with fractional differentiation operators are more effective and valuable.

7. Results and Discussions

In this section, we present numerical simulations for different fractional order and fractal dimension values. We also add the classical derivative with the integer fractal dimension equal to 1.
We chose fractal dimension as the integer and noninteger in the figures. We discuss the results with the three kernels described in Section 5, Section 6 and Section 7. The figures α , β , and η are between zero and one. In these simulations, β is the parameter given on the model, η is the fractal dimension, and α is the fractional order. We see the effect of the fractional order α under different kernels and values of the parameter β and the fractal dimension η . Figure 1 and Figure 2 show the numerical simulations for β = 1 , the fractal dimensions η = 1 and η = 0.8 , and for different fractional order α values with the power-law kernel. We also show how this kernel behaves for β = 0.5 and the fractal dimension η = 1 and η = 0.9 in Figure 3 and Figure 4. We see that the convergence is faster for the case β = 1 than to the case β = 0.5 , as long as the fractal dimension is close to 1. The concentrations S p h ( t ) and S c r ( t ) decrease as long as α decreases. In all the cases, the concentration X ( t ) decreases to 0.
The results for the exponential-decay kernel are shown for β = 1 in Figure 5 (with fractal dimension η = 1 ) and Figure 6 (with fractal dimension η = 0.7 ). We demonstrate the results for β = 0.8 and η = 1 (Figure 7) and η = 0.7 (Figure 8). Despite varying the parameters β , α , and the fractal dimension, there are fewer differences in the concentrations with respect to the results shown by the power-law kernel.
Finally, in Figure 9, Figure 10, Figure 11 and Figure 12, we show the results for the Mittag–Leffler kernel. The numerical simulations for β = 1 are shown in Figure 9 ( η = 1 ) and Figure 10 ( η = 0.5 ). We also see the behavior of the solution for β = 0.5 , η = 1 in Figure 11 and β = 0.5 , η = 0.6 in Figure 12.
We have seen that the exponential-decay kernel is the one that converges faster to the equilibrium, with the smaller difference among concentrations of the substances.

8. Conclusions

This work provides a mathematical model for breaking down a phenol and p-cresol mixture in a bioreactor with continuous stirring. Three nonlinear ordinary differential equations served as the foundation for the model. The equilibrium points of the model were identified, and their stability was examined and shown. Additionally, we used the fractional differentiation operator to examine the model and three distinct kernels to examine the effects of the fractal dimension and fractional order. We developed very efficient numerical algorithms for biomass, phenol, and p-cresol concentrations. To demonstrate the accuracy of the suggested approach, we offered numerical simulations for different α and β values. The right choice of model parameters would require validation with experimental data.

Author Contributions

Conceptualization, A.A. and J.A.C.; methodology, A.A. and J.A.C.; software, A.A.; formal analysis, A.A. and J.A.C.; investigation, A.A. and J.A.C.; writing—original draft preparation, A.A.; writing—review and editing, A.A. and J.A.C. All authors have read and agreed to the published version of the manuscript.

Funding

J.A.C. is supported by Generalitat Valenciana, Project PROMETEO CIPROM/2022/21.

Data Availability Statement

All data used in this work has been obtained from the mathematical formulas described in the paper.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Dimitrova, N.; Zlateva, P. Global stability analysis of a bioreactor model for phenol and cresol mixture degradation. Processes 2021, 9, 124. [Google Scholar] [CrossRef]
  2. Seo, J.S.; Keum, Y.S.; Li, Q.X. Bacterial degradation of aromatic compounds. Int. J. Environ. Res. Public Health 2009, 6, 278–309. [Google Scholar] [CrossRef]
  3. Sharma, N.K.; Philip, L.; Bhallamudi, S.M. Aerobic degradation of phenolics and aromatic hydrocarbons in presence of cyanide. Bioresour. Technol. 2012, 121, 263–273. [Google Scholar] [CrossRef]
  4. Tomei, M.C.; Annesini, M.C. Biodegradation of phenolic mixtures in a sequencing batch reactor: A kinetic study. Environ. Sci. Pollut. Res. 2008, 15, 188–195. [Google Scholar] [CrossRef]
  5. Yemendzhiev, H.; Zlateva, P.; Alexieva, Z. Comparison of the biodegradation capacity of two fungal strains toward a mixture of phenol and cresol by mathematical modeling. Biotechnol. Biotechnol. Equip. 2012, 26, 3278–3281. [Google Scholar] [CrossRef]
  6. Kietkwanboot, A.; Chaiprapat, S.; Müller, R.; Suttinun, O. Biodegradation of phenolic compounds present in palm oil mill effluent as single and mixed substrates by Trameteshirsuta AK04. J. Environ. Sci. Health Part A Toxic/Hazard. Subst. Environ. Eng. 2020, 55, 989–1002. [Google Scholar]
  7. Momani, S. An explicit and numerical solutions of the fractional KdV equation. Math. Comput. Simul. 2005, 70, 110–118. [Google Scholar] [CrossRef]
  8. Li, C.; Cao, J. A finite difference method for time-fractional telegraph equation. In Proceedings of the IEEE/ASME International Conference on Mechatronics and Embedded Systems and Applications (MESA), Suzhou, China, 8–10 July 2012; pp. 314–318. [Google Scholar]
  9. Huang, F.; Liu, F. The fundamental solution of the space-time fractional advection-dispersion equation. J. Appl. Math. Comput. 2005, 18, 21–36. [Google Scholar] [CrossRef]
  10. Bhrawy, A.H.; Doha, E.H.; Ezz-Eldien, S.S.; Van Gorder, R.A. A new Jacobi spectral collocation method for solving (1+1)fractional Schrodinger equations and fractional coupled Schrodinger systems. Eur. Phys. J. Plus. 2014, 129, 260. [Google Scholar] [CrossRef]
  11. Karatay, T.; Bayramoglu, S.R.; Sahin, A. Implicit difference approximation for the time fractional heat equation with the nonlocal condition. Appl. Numer. Math. 2011, 61, 1281–1288. [Google Scholar] [CrossRef]
  12. Chen, Y.; Yi, M.; Chen, C.; Yu, C. Bernstein polynomials method for fractional convection-diffusion equation with variable coefficients. Comput. Model. Eng. Sci. 2012, 83, 639–653. [Google Scholar]
  13. Liu, F.; Anh, V.; Turner, I. Numerical solution of space fractional FokkerPlanck equation. J. Comp. Appl. Math. 2004, 166, 209–219. [Google Scholar] [CrossRef]
  14. Fuente, D.; Lizama, C.; Urchueguía, J.F.; Conejero, J.A. Estimation of the light field inside photosynthetic microorganism cultures through Mittag-Leffler functions at depleted light conditions. J. Quant. Spectrosc. Radiat. Transf. 2018, 204, 23–26. [Google Scholar] [CrossRef]
  15. Lizama, C.; Murillo-Arcila, M.; Trujillo, M. Fractional Beer-Lambert law in laser heating of biological tissue. AIMS Math. 2022, 14, 14444–14459. [Google Scholar] [CrossRef]
  16. Momani, S.; Odibat, Z. Comparison between the homotopy perturbation method and the variational iteration method for linear fractional partial differential equations. Comput. Math. Appl. 2007, 54, 910–919. [Google Scholar] [CrossRef]
  17. El-Sayed, A.M.A.; Gaber, M. The Adomian decomposition method for solving partial differential equations of fractal order in finite domains. Phys. Lett. A 2006, 359, 175–182. [Google Scholar] [CrossRef]
  18. Ahmad, H.; Khan, M.N.; Ahmad, I.; Omri, M.; Alotaibi, M.F. A meshless method for numerical solutions of linear and nonlinear time-fractional Black-Scholes models. AIMS Math. 2023, 8, 19677–19698. [Google Scholar] [CrossRef]
  19. Khaliq, S.; Ahmad, S.; Ullah, A.; Ahmad, H.; Saifullah, S.; Nofal, T.A. New waves solutions of the (2 + 1)-dimensional generalized Hirota–Satsuma–Ito equation using a novel expansion method. Res. Phys. 2023, 50, 106450. [Google Scholar] [CrossRef]
  20. Adel, M.; Khader, M.M.; Ahmad, H.; Assiri, T.A. Approximate analytical solutions for the blood ethanol concentration system and predator-prey equations by using variational iteration method. AIMS Math. 2023, 8, 19083–19096. [Google Scholar] [CrossRef]
  21. Atangana, A. Fractal-fractional differentiation and integration: Connecting fractal calculus and fractional calculus to predict complex, system. Chaos Solitons Fractals 2017, 102, 396–406. [Google Scholar] [CrossRef]
  22. Toufik, M.; Atangana, A. New numerical approximation of fractional derivative with non-local and non-singular kernel: Application to chaotic models. Eur. Phys. J. Plus 132 2017, 10, 444. [Google Scholar] [CrossRef]
  23. Mohammadi, H.; Kumar, S.; Rezapour, S.; Etemad, S. A theoretical study of the Caputo-Fabrizio fractional modeling for hearing loss due to Mumps virus with optimal control. Chaos Solitons Fractals 2021, 144, 110668. [Google Scholar] [CrossRef]
  24. Baleanu, D.; Jajarmi, A.; Mohammadi, H.; Rezapour, S. A new study on the mathematical modelling of human liver with Caputo-Fabrizio fractional derivative. Chaos Solitons Fractals 2021, 134, 109705. [Google Scholar] [CrossRef]
  25. Alzabut, J.; Selvam, A.; Dhineshbabu, R.; Tyagi, S.; Ghaderi, M.; Rezapour, S. A Caputo discrete fractional-order thermostat model with one and two sensors fractional boundary conditions depending on positive parameters by using the Lipschitz-type inequality. J. Inequal. Appl. 2022, 2022, 56. [Google Scholar] [CrossRef]
  26. Heydarpour, Z.; Izadi, J.; George, R.; Ghaderi, M.; Rezapour, S. On a partial fractional hybrid version of generalized Sturm–Liouville–Langevin equation. Fractal Fract. 2022, 6, 269. [Google Scholar] [CrossRef]
  27. George, R.; Houas, M.; Ghaderi, M.; Rezapour, S.; Elagan, S.K. On a coupled system of pantograph problem with three sequential fractional derivatives by using positive contraction-type inequalities. Results Phys. 2022, 39, 105687. [Google Scholar] [CrossRef]
  28. Matar, M.M.; Abbas, M.I.; Alzabut, J.; Kaabar, M.K.A.; Etemad, S.; Rezapour, S. Investigation of the p-Laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv. Differ. Equ. 2021, 2021, 68. [Google Scholar] [CrossRef]
  29. Etemad, S.; Avci, I.; Kumar, P.; Baleanu, D.; Rezapour, S. Some novel mathematical analysis on the fractal-fractional model of the AH1N1/09 virus and its generalized Caputo-type version. Chaos Solitons Fractals 2022, 162, 112511. [Google Scholar] [CrossRef]
  30. Ullah, I.; Ullah, A.; Ahmad, S.; Ahmad, H.; Nofal, T.A. A survey of KdV-CDG equations via nonsingular fractional operators. AIMS Math. 2023, 8, 18964–18981. [Google Scholar] [CrossRef]
  31. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; Elsevier: Amsterdam, The Netherlands, 2006; Volume 204, 523p. [Google Scholar]
  32. Volterra, V. Sur les équations intégro-différentielles et leurs applications. Acta Math. 1912, 35, 295–356. [Google Scholar] [CrossRef]
  33. Coimbra, C.F. Mechanics with variable-order differential operators. Ann. Phys. 2003, 12, 11–12. [Google Scholar] [CrossRef]
  34. Ortigueira, M.D.; Valerio, D.; Machado, J.T. Variable order fractional systems. Commun. Nonlinear Sci. Numer. Simul. 2019, 71, 231–243. [Google Scholar] [CrossRef]
Figure 1. Solutions of (14)–(16) for β = 1 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Figure 1. Solutions of (14)–(16) for β = 1 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Axioms 13 00151 g001
Figure 2. Solutions of (14)–(16) for β = 1 , fractal dimension 0.8 , and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Figure 2. Solutions of (14)–(16) for β = 1 , fractal dimension 0.8 , and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Axioms 13 00151 g002
Figure 3. Solutions of (14)–(16) for β = 0.5 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Figure 3. Solutions of (14)–(16) for β = 0.5 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Axioms 13 00151 g003
Figure 4. Solutions of (14)–(16) for β = 0.5 , fractal dimension 0.9 , and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Figure 4. Solutions of (14)–(16) for β = 0.5 , fractal dimension 0.9 , and α = 1 , 0.9 , 0.8 , 0.7 with the power-law kernel.
Axioms 13 00151 g004
Figure 5. Solutions of (39)–(41) for β = 1 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Figure 5. Solutions of (39)–(41) for β = 1 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Axioms 13 00151 g005
Figure 6. Solutions of (39)–(41) for β = 1 , fractal dimension 0.7 , and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Figure 6. Solutions of (39)–(41) for β = 1 , fractal dimension 0.7 , and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Axioms 13 00151 g006
Figure 7. Solutions of (39)–(41) for β = 0.8 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Figure 7. Solutions of (39)–(41) for β = 0.8 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Axioms 13 00151 g007
Figure 8. Solutions of (39)–(41) for β = 0.8 , fractal dimension 0.7 , and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Figure 8. Solutions of (39)–(41) for β = 0.8 , fractal dimension 0.7 , and α = 1 , 0.9 , 0.8 , and 0.7 with exponential decay kernel.
Axioms 13 00151 g008
Figure 9. Solutions of (54)–(56) for β = 1 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Figure 9. Solutions of (54)–(56) for β = 1 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Axioms 13 00151 g009
Figure 10. Solutions of (39)–(41) for β = 1 , fractal dimension 0.5 , and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Figure 10. Solutions of (39)–(41) for β = 1 , fractal dimension 0.5 , and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Axioms 13 00151 g010
Figure 11. Solutions of (39)–(41) for β = 0.5 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Figure 11. Solutions of (39)–(41) for β = 0.5 , fractal dimension 1, and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Axioms 13 00151 g011
Figure 12. Solutions of (39)–(41) for β = 0.5 , fractal dimension 0.6 , and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Figure 12. Solutions of (39)–(41) for β = 0.5 , fractal dimension 0.6 , and α = 1 , 0.9 , 0.8 , and 0.7 with Mittag–Leffler kernel.
Axioms 13 00151 g012
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

Akgül, A.; Conejero, J.A. Fractal Fractional Derivative Models for Simulating Chemical Degradation in a Bioreactor. Axioms 2024, 13, 151. https://doi.org/10.3390/axioms13030151

AMA Style

Akgül A, Conejero JA. Fractal Fractional Derivative Models for Simulating Chemical Degradation in a Bioreactor. Axioms. 2024; 13(3):151. https://doi.org/10.3390/axioms13030151

Chicago/Turabian Style

Akgül, Ali, and J. Alberto Conejero. 2024. "Fractal Fractional Derivative Models for Simulating Chemical Degradation in a Bioreactor" Axioms 13, no. 3: 151. https://doi.org/10.3390/axioms13030151

APA Style

Akgül, A., & Conejero, J. A. (2024). Fractal Fractional Derivative Models for Simulating Chemical Degradation in a Bioreactor. Axioms, 13(3), 151. https://doi.org/10.3390/axioms13030151

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