Preprint
Article

This version is not peer-reviewed.

A New Mixed Fractional Derivative with Application to Computational Biology

A peer-reviewed article of this preprint also exists.

Submitted:

03 November 2023

Posted:

03 November 2023

You are already at the latest version

Abstract
This study develops a new definition of fractional derivative that mixes the definitions of fractional derivatives with singular and non-singular kernels. Such developed definition encompasses many types of fractional derivatives, such as the Riemann-Liouville and Caputo fractional derivatives for singular kernel type as well as the Caputo-Fabrizio, the Atangana-Baleanu and the generalized Hattaf fractional derivatives for non-singular kernel type. The associate fractional integral of the new mixed fractional derivative is rigorously introduced. Furthermore, newly numerical scheme is developed to approximate the solutions of a class of fractional differential equations (FDEs) involving the mixed fractional derivative. Finally, an application to computational biology is presented.
Keywords: 
;  ;  ;  

1. Introduction

In recent years, fractional mathematical modeling involving nonlocal fractional derivatives plays a robust tool and constitutes a new resource to capture the dynamics of complex systems having memory effects or hereditary characteristics. Such systems arising from various fields including physics, fluid mechanics, material science, signal processing, engineering, chemistry, biology, medicine, finance, social sciences, economics and ecology.
In the literature, there are two main types of nonlocal fractional derivatives. The first named the fractional derivatives with singular kernels like Riemann-Liouville fractional derivative [1,2] and Caputo fractional derivative which was introduced by Caputo in 1967 [3] to find the analytic expression for a linear dissipative mechanism whose quality factor (Q) is almost frequency independent over large frequency ranges. The second ones have non-singular kernels such as the Caputo-Fabrizio (CF) derivative [4] introduced by Caputo and Fabrizio in 2015 to avoid the singularity existing in [3]. In 2016, Atangana and Baleanu [5] proposed a fractional derivative to model the flow of heat transfer through a material with different scale or heterogeneous. In 2020, Al-Refai [6] presented a weighted fractional derivative based on Atangana-Baleanu (AB) fractional derivative [5]. By means of the Laplace transform, he solved an associated linear fractional differential equation.
Recently, a new generalized Hattaf fractional (GHF) derivative with non-singular kernel has been introduced in [7] to cover the CF [4], the AB [5] and the weighted AB [6] fractional derivatives. A new class of fractal-fractional derivatives was derived from the GHF derivative and the new generalized fractal derivative [8] that covers the Hausdorff fractal derivative [9] used to model the anomalous diffusion process. Furthermore, the new GHF derivative was used by many researchers to describe the dynamics of various phenomena arising from several areas of science and engineering [10,11,12,13,14].
The first aim of the present paper is to introduce a new definition of nonlocal fractional derivative that includes and generalizes numerous fractional derivatives with singular and non-singular kernels such as Riemann-Liouville [1,2], Caputo [3], CF [4], AB [5] and the weighted AB [6] fractional derivatives. The new introduced definition also includes the GHF derivative [7], the power fractional derivative [15], as well as the new fractional derivative with Mittag-Leffler kernel of two parameters intoduced in [16] and applied to thermal science.
On the other hand, most fractional differential equations (FDEs) involving nonlocal fractional derivatives are complex and cannot solved analytically. For this reason, various numerical methods have been proposed to approximate the solutions of such FDEs. For instance, a numerical method that recovers the classical Euler’s scheme for ordinary differential equations (ODEs) was introduced in [17] to approximate the solutions of FDEs with GHF derivative. Another numerical method for GHF derivative was developed in [18] to solve numerically nonlinear biological systems of FDEs arising from virology.
The second aim of this paper is to develop a numerical method to approximate the solutions of FDEs with the new mixed fractional derivative mentioned in the first objective. The developed numerical method includes the three recent numerical schemes presented in [18,19,20] and it is based on Lagrange polynomial interpolation.
The remainder of the present paper is organized as follows. Section 2 defines the new mixed fractional derivative in both Caputo and Riemann-Liouville senses and presents the particular cases of such mixed fractional derivative available in the previous studies. Section 3 deals with Laplace transform of the new mixed fractional derivative. Section 4 gives the fractional integral associated to the new mixed fractional derivative and its special cases. Section 5 establishes new important formulas and properties for the new differential and integral operators. Furthermore, Section 6 is devoted to the new developed numerical method. Finally, Section 8 ends the paper with an application to computational biology.

2. The new mixed fractional derivative

This section defines the new mixed fractional derivative in the sense of Caputo and Riemann-Liouville.
Definition 2.1.
Let ( p , q ) [ 0 , 1 ] 2 , r , m > 0 and u H 1 ( a , b ) . The mixed fractional derivative of the function u ( t ) of order p in Caputo sense with respect to the weight function w ( t ) is given as follows:
  C D a , t , w , δ p , q , r , m u ( t ) = H ( p + q 1 ) 2 p q 1 w ( t ) a t ( t τ ) q 1 E r , q [ δ μ p , q ( t τ ) m ] d d τ ( w u ) ( τ ) d τ ,
where δ R , w C 1 ( a , b ) , w , w > 0 on [a,b], H ( . ) is a normalization function such that H ( 0 ) = H ( 1 ) = 1 , μ p , q = p + q 1 2 p q and E r , q ( t ) = k = 0 + t k Γ ( r k + q ) is the Wiman function [21] called also Mittag-Leffler function with two parameters r and q.
Definition 2.1 includes several existing fractional derivatives with singular and non-singular kernels. For instance,
  • When q = 1 p and w ( t ) = 1 , we get the Caputo fractional derivative [3] with singular kernel given by
      C D a , t , 1 , δ p , 1 p , r , m u ( t ) = 1 Γ ( 1 p ) a t ( t τ ) p u ( τ ) d τ .
  • When q = r = m = δ = 1 and w ( t ) = 1 , we obtain the CF fractional derivative [4] with non-singular given by
      C D a , t , 1 , 1 p , 1 , 1 , 1 u ( t ) = H ( p ) 1 p a t exp [ μ p , 1 ( t τ ) m ] u ( τ ) d τ ,
    where μ p , 1 = p 1 p .
  • When q = δ = 1 , r = m = p and w ( t ) = 1 , we get the AB fractional derivative [5] given by
      C D a , t , 1 , 1 p , 1 , p , p u ( t ) = H ( p ) 1 p a t E p [ μ p , 1 ( t τ ) p ] u ( τ ) d τ .
  • When q = δ = 1 and r = m = p , we find the weighted AB fractional derivative [6] given by
      C D a , t , w , 1 p , 1 , p , p u ( t ) = H ( p ) 1 p 1 w ( t ) a t E p [ μ p , 1 ( t τ ) p ] d d τ ( w u ) ( τ ) d τ .
  • When q = δ = 1 , we obtain the GHF derivative [7] given by
      C D a , t , w , 1 p , 1 , r , m u ( t ) = H ( p ) 1 p 1 w ( t ) a t E r [ μ p , 1 ( t τ ) m ] d d τ ( w u ) ( τ ) d τ .
  • When q = 1 , m = r and δ = ln ( p ¯ ) (with p ¯ > 0 ), we get the power fractional derivative [15] given by
      C D a , t , w , ln ( p ¯ ) p , 1 , r , r u ( t ) = H ( p ) 1 p 1 w ( t ) a t E r [ ln ( p ¯ ) μ p , 1 ( t τ ) r ] d d τ ( w u ) ( τ ) d τ .
  • When δ = 1 , m = r = p and w ( t ) = 1 , we obtain the fractional derivative introduced in [16] given by
      C D a , t , 1 , 1 p , q , p , p u ( t ) = H ( p + q 1 ) 2 p q a t ( t τ ) q 1 E p , q [ μ p , q ( t τ ) p ] u ( τ ) d τ .
Now, we define the new mixed fractional derivative in Riemann-Liouville sense.
Definition 2.2.
Let ( p , q ) [ 0 , 1 ] 2 , r , m > 0 and u H 1 ( a , b ) . The mixed fractional derivative of the function u ( t ) of order p in Riemann-Liouville sense with respect to the weight function w ( t ) is given as follows:
  R D a , t , w , δ p , q , r , m u ( t ) = H ( p + q 1 ) 2 p q 1 w ( t ) d d t a t ( t τ ) q 1 E r , q [ δ μ p , q ( t τ ) m ] w ( τ ) u ( τ ) d τ .
Obviously, when q = 1 p and w ( t ) = 1 , we obtain the Riemann-Liouville fractional derivative [1,2] with singular kernel. In addition, we have the following result.
Theorem 2.3.
Let w u be an analytic function. Then
  R D a , t , w , δ p , q , r , m u ( t ) =   C D a , t , w , δ p , q , r , m u ( t ) + H ( p + q 1 ) ( t a ) q 1 ( 2 p q ) w ( t ) E r , q [ δ μ p , q ( t a ) m ] ( w u ) ( a ) .
Proof. 
We have w u is an analytic function. Then ( w u ) ( τ ) = n = 0 + ( w f ) ( n ) ( t ) n ! ( τ t ) n and
  R D a , t , w , δ p , q , r , m u ( t ) = H ( p + q 1 ) ( 2 p q ) w ( t ) d d t n = 0 + k = 0 + ( 1 ) n ( δ μ p , q ) k ( w u ) ( n ) ( t ) n ! Γ ( r k + q ) a t ( t τ ) m k + n + q 1 d τ = H ( p + q 1 ) ( 2 p q ) w ( t ) d d t n = 0 + k = 0 + ( 1 ) n ( δ μ p , q ) k ( w u ) ( n ) ( t ) ( t a ) m k + n + q n ! Γ ( r k + q ) ( m k + n + q ) = H ( p + q 1 ) ( 2 p q ) w ( t ) [ n = 0 + k = 0 + ( 1 ) n ( δ μ p , q ) k ( w u ) ( n + 1 ) ( t ) ( t a ) m k + n + q n ! Γ ( r k + q ) ( m k + n + q ) + n = 0 + k = 0 + ( 1 ) n ( δ μ p , q ) k n ! Γ ( r k + q ) ( w u ) ( n ) ( t ) ( t a ) m k + n + q 1 ] = H ( p + q 1 ) ( 2 p q ) w ( t ) [ n = 0 + k = 0 + ( 1 ) n ( δ μ p , q ) k ( w u ) ( n + 1 ) ( t ) n ! Γ ( r k + q ) a t ( t τ ) m k + n + q 1 d τ + n = 0 + ( 1 ) n n ! ( w u ) ( n ) ( t ) ( t a ) n + q 1 k = 0 + ( δ μ p , q ) k Γ ( r k + q ) ( t a ) m k ] =   C D a , t , w , δ p , q , r , m u ( t ) + H ( p + q 1 ) ( 2 p q ) w ( t ) ( t a ) q 1 E r , q [ δ μ p , q ( t a ) m ] ( w u ) ( a ) .
This ends the proof. □
Theorem 2.3 extends the results in Theorem 1 of [7] for q = δ = 1 and in Theorem 4.2 of [16] for δ = 1 , m = r = p and w ( t ) = 1 .

3. Laplace transform of the new mixed fractional derivative

In this section, we first need the following result.
Lemma 3.1.
The Laplace transform of t q 1 E r , q ( δ μ p , q t m ) is given by
L { t q 1 E r , q ( δ μ p , q t m ) } ( s ) = 1 s q k = 0 + δ μ p , q s m k Γ ( m k + q ) Γ ( r k + q ) .
If m = r , then
L { t q 1 E r , q ( δ μ p , q t r ) } ( s ) = s r q s r + δ μ p , q , | δ μ p , q s m | < 1 .
Proof. 
According to the definition of the Wiman function, we get
L { t q 1 E r , q ( δ μ p , q t m ) } ( s ) = L k = 0 + ( δ μ p , q ) k Γ ( r k + q ) t m k + q 1 ( s ) = k = 0 + ( δ μ p , q ) k Γ ( r k + q ) L t m k + q 1 ( s ) = 1 s q k = 0 + δ μ p , q s m k Γ ( m k + q ) Γ ( r k + q ) .
In particular, if m = r , then
L { t q 1 E r , q ( δ μ p , q t r ) } ( s ) = s r q s r + δ μ p , q , | δ μ p , q s m | < 1 .
This completes the proof. □
By a simple application of Lemma 3.1, we obtain the following theorem.
Theorem 3.2.
(i) 
The Laplace transform of w ( t )   C D 0 , t , w , δ p , q , r , m u ( t ) is given by
L { w ( t )   C D 0 , t , w , δ p , q , r , m u ( t ) } = H ( p + q 1 ) [ s L { w ( t ) u ( t ) } ( w u ) ( 0 ) ] ( 2 p q ) s q k = 0 + δ μ p , q s m k Γ ( m k + q ) Γ ( r k + q ) .
In particular, we have
L { w ( t )   C D 0 , t , w , δ p , q , r , r u ( t ) } = H ( p + q 1 ) 2 p q s r q + 1 L { w ( t ) u ( t ) } s r q w ( 0 ) u ( 0 ) s r + δ μ p , q .
(ii) 
The Laplace transform of w ( t )   R D 0 , t , w , δ p , q , r , m u ( t ) is given by
L { w ( t )   R D 0 , t , w , δ p , q , r , m u ( t ) } = H ( p + q 1 ) ) ( 2 p q ) s q 1 L { w ( t ) u ( t ) } k = 0 + δ μ p , q s m k Γ ( m k + q ) Γ ( r k + q ) .
In particular, we have
L { w ( t )   R D 0 , t , w , δ p , q , r , r u ( t ) } = H ( p + q 1 ) 2 p q s r q + 1 L { w ( t ) u ( t ) } s r + δ μ p , q .
Remark 3.3.
Lemma 3.1 and Theorem 3.2 extend the results presented in [7] for the new GHF derivative, it suffices to take q = δ = 1 .

4. The associate fractional integral

In this section, we define the fractional integral associated to the new mixed fractional derivative. First, we consider the following fractional differential equation:
  R D 0 , t , w , δ p , q , r , r v ( t ) = u ( t ) .
Lemma 4.1.
Eq. (10) has a unique solution given by
v ( t ) = 2 p q H ( p + q 1 )   R L I a , w 1 q u ( t ) + δ μ p , q   R L I a , w 1 + r q u ( t ) , if q 1 ; 1 p H ( p ) u ( t ) + δ p H ( p )   R L I a , w r u ( t ) , if q = 1 ,
where   R L I a , w α is the standard weighted Riemann-Liouville fractional integral of order α given by
  R L I a , w α u ( t ) = 1 Γ ( α ) 1 w ( t ) a t ( t τ ) α 1 w ( τ ) u ( τ ) d τ .
Proof. 
From (10), we have
w ( t )   R D 0 , t , w , δ p , q , r , r v ( t ) = w ( t ) u ( t ) .
By applying Theorem 3.2, we get
L { w ( t ) v ( t ) } ( s ) = 2 p q H ( p + q 1 ) 1 s 1 q L { w ( t ) u ( t ) } ( s ) + 2 p q H ( p + q 1 ) δ μ p , q s r q + 1 L { w ( t ) u ( t ) } ( s ) .
  • When q = 1 , we have
    L { w ( t ) v ( t ) } ( s ) = 1 p H ( p ) L { w ( t ) u ( t ) } ( s ) + 1 p H ( p ) δ μ p , 1 s r L { w ( t ) u ( t ) } ( s ) = 1 p H ( p ) L { w ( t ) u ( t ) } ( s ) + 1 p H ( p ) δ μ p , 1 Γ ( r ) L { t r 1 ( w u ) ( t ) } ( s ) .
    By taking the inverse Laplace, we get
    w ( t ) v ( t ) = 1 p H ( p ) w ( t ) u ( t ) + 1 p H ( p ) δ μ p , 1 Γ ( r ) t r 1 ( w u ) ( t ) .
    Hence,
    v ( t ) = 1 p H ( p ) u ( t ) + δ p H ( p ) Γ ( r ) 1 w ( t ) a t ( t τ ) r 1 w ( τ ) u ( τ ) d τ .
  • When q 1 , we have
    L { w ( t ) v ( t ) } ( s ) = 2 p q H ( p + q 1 ) Γ ( 1 q ) L { t q w ( t ) u ( t ) } ( s ) + 2 p q H ( p + q 1 ) Γ ( r q + 1 ) L { t r q ( w u ) ( t ) } ( s ) .
    By passage to the inverse Laplace, we obtain
    w ( t ) v ( t ) = 2 p q H ( p + q 1 ) Γ ( 1 q ) t q w ( t ) u ( t ) + 2 p q H ( p + q 1 ) Γ ( r q + 1 ) t r q ( w u ) ( t ) ,
    which leads to
    v ( t ) = 2 p q H ( p + q 1 )   R L I a , w 1 q u ( t ) + δ μ p , q   R L I a , w 1 + r q u ( t ) .
This completes the proof. □
Definition 4.2.
If m = r , then the fractional integral associated to the new mixed fractional derivative is defined as follows
I a , t , w , δ p , q , r u ( t ) = 2 p q H ( p + q 1 )   R L I a , w 1 q u ( t ) + δ μ p , q   R L I a , w 1 + r q u ( t ) , if q 1 ; 1 p H ( p ) u ( t ) + δ p H ( p )   R L I a , w r u ( t ) , if q = 1 .
Remark 4.3.
The associate integral defined above includes a variety of fractional integral operators. For instance,
(i) 
If δ = 1 , r = p and w ( t ) = 1 , then (15) reduced to the new fractional integral presented in [16].
(ii) 
If q = δ = 1 , then (15) reduced to the new GHF integral introduced in [7] that includes the Atangana-Baleanu fractional integral [5] and the weighted Atangana-Baleanu fractional integral [6].
(iii) 
If p = q = 1 , then (15) reduced to the standard weighted Riemann-Liouville fractional integral of order r and to ordinary integral when r = 1 and w ( t ) = 1 .

5. Fondamental properties of the new differential and integral operators

In this section, we establish new important formulas and properties for the new differential and integral operators.
For simplicity, we denote   C D a , t , w , δ p , q , r , r by D a , w , δ p , q , r and I a , t , w , δ p , q , r by I a , w , δ p , q , r .
Lemma 5.1.
The mixed fractional derivative D a , w , δ p , q , r can be expressed as follows:
D a , w , δ p , q , r u ( t ) = H ( p + q 1 ) 2 p q k = 0 + ( δ μ p , q ) k   R L I a , w k r + q ( w u ) w ( t ) .
Proof. 
Since the Mittag-Leffler function E p , q ( t ) is an entire function of t, then D a , w , δ p , q , r can be expressed as follows:
D a , w , δ p , q , r u ( t ) = H ( p + q 1 ) 2 p q 1 w ( t ) k = 0 + ( δ μ p , q ) k Γ ( r k + q ) a t ( t τ ) r k + q 1 ( w u ) ( τ ) d τ = H ( p + q 1 ) 2 p q k = 0 + ( δ μ p , q ) k 1 Γ ( r k + q ) 1 w ( t ) a t ( t τ ) r k + q 1 ( w u ) ( τ ) d τ = H ( p + q 1 ) 2 p q k = 0 + ( δ μ p , q ) k   R L I a , w k r + q ( w u ) w ( t ) .
This ends the proof. □
Remark 5.2.
Lemma 5.1 extends the recent result established by Zitane and Torres in Lemma 3 of [20].
Theorem 5.3.
Let ( p , q ) [ 0 , 1 ] 2 , r > 0 , δ R and u H 1 ( a , b ) . Then, we have the following property:
I a , w , δ p , q , r D a , w , δ p , q , r u ( t ) = u ( t ) w ( a ) u ( a ) w ( t ) .
Proof. 
When q 1 , we have
I a , w , δ p , q , r D a , w , δ p , q , r u ( t ) = 2 p q H ( p + q 1 )   R L I a , w 1 q D a , w , δ p , q , r u ( t ) + δ μ p , q   R L I a , w 1 + r q D a , w , δ p , q , r u ( t ) .
By applying Lemma 5.1, we get
I a , w , δ p , q , r D a , w , δ p , q , r u ( t ) =   R L I a , w 1 q k = 0 + ( δ μ p , q ) k   R L I a , w k r + q ( w u ) w ( t ) + δ μ p , q   R L I a , w 1 + r q k = 0 + ( δ μ p , q ) k   R L I a , w k r + q ( w u ) w ( t ) = k = 0 + ( δ μ p , q ) k   R L I a , w k r + 1 ( w u ) w ( t ) k = 1 + ( δ μ p , q ) k   R L I a , w k r + 1 ( w u ) w ( t ) =   R L I a , w 1 ( w u ) w ( t ) = 1 w ( t ) a t ( w u ) ( τ ) d τ = u ( t ) w ( a ) u ( a ) w ( t ) .
For q = 1 , we have
I a , w , δ p , 1 , r D a , w , δ p , 1 , r u ( t ) = 1 p H ( p ) ( D a , w , δ p , q , r u ) ( t ) + δ p H ( p )   R L I a , w r D a , w , δ p , q , r u ( t ) = k = 0 + ( δ μ p , 1 ) k   R L I a , w k r + 1 ( w u ) w ( t ) + δ μ p , 1   R L I a , w r k = 0 + ( δ μ p , 1 ) k   R L I a , w k r + 1 ( w u ) w ( t ) = k = 0 + ( δ μ p , 1 ) k   R L I a , w k r + 1 ( w u ) w ( t ) k = 1 + ( δ μ p , 1 ) k   R L I a , w k r + 1 ( w u ) w ( t ) =   R L I a , w 1 ( w u ) w ( t ) = u ( t ) w ( a ) u ( a ) w ( t ) .
Hence, the proof is completed. □
It is obvious that when w ( t ) = 1 , we obtain the following first corollary of Theorem 5.3 that extends the Newton-Leibniz formula given in [22].
Corollary 5.4.
The new mixed fractional derivative and integral satisfy the Newton-Leibniz formula. In other words, we have
I a , 1 , δ p , q , r D a , 1 , δ p , q , r u ( t ) = u ( t ) u ( a ) .
Clearly, D a , 1 , δ p , q , r ( c ) = 0 for all constant function u ( t ) = c . Moreover, we have the following result.
Corollary 5.5.
Let u be a solution of the following fractional differential equation
D a , 1 , δ p , q , r u ( t ) = 0 .
Then the function u is a constant function.
Proof. 
It follows from (18) that u ( t ) = u ( a ) . This proves that u is a constant function. □

6. Numerical scheme

In this section, we first develop a numerical method to approximate the solution of the following FDE with the new mixed fractional derivative given by
D a , w , δ p , q , r y ( t ) = f t , y ( t ) ,
subject to the given initial condition
y ( a ) = y 0 .
From Theorem 5.3, Eq. (20) can be converted into the following fractional integral equation:
y ( t ) y ( a ) w ( a ) w ( t ) = I a , w , δ p , q , r f t , y ( t ) .
So, we discuss to cases. When q = 1 , we have
y ( t ) y ( a ) w ( a ) w ( t ) = 1 p H ( p ) f t , y ( t ) + δ p H ( p )   R L I a , w r f t , y ( t ) ,
which implies that
y ( t ) = y ( a ) w ( a ) w ( t ) + 1 p H ( p ) f t , y ( t ) + δ p H ( p ) Γ ( r ) 1 w ( t ) a t ( t τ ) r 1 w ( τ ) f τ , y ( τ ) d τ .
Let Δ t be the discretization step and t n = a + n Δ t , with n I N . We have
y ( t n + 1 ) = y 0 w ( a ) w ( t n ) + 1 p H ( p ) f t n , y ( t n ) + δ p H ( p ) Γ ( r ) w ( t n ) a t n + 1 ( t n + 1 τ ) r 1 w ( τ ) f τ , y ( τ ) d τ .
Then
y ( t n + 1 ) = y 0 w ( a ) w ( t n ) + 1 p H ( p ) f t n , y ( t n ) + δ p H ( p ) Γ ( r ) w ( t n ) k = 0 n t k t k + 1 ( t n + 1 τ ) r 1 g τ , y ( τ ) d τ ,
where g τ , y ( τ ) = w ( τ ) f τ , y ( τ ) . The function g can be approximated over [ t k , t k + 1 ] by means of the Lagrange polynomial interpolation as follows:
P k ( τ ) = τ t k t k 1 t k g t k 1 , y ( t k 1 ) + τ t k 1 t k t k 1 g t k , y ( t k ) , g ( t k 1 , y k 1 ) Δ t ( t k τ ) + g ( t k , y k ) Δ t ( τ t k 1 ) .
Hence,
y ( t n + 1 ) = y 0 w ( 0 ) w ( t n ) + 1 p H ( p ) f t n , y n + δ p H ( p ) Γ ( r ) w ( t n ) k = 0 n [ g t k , y k Δ t t k t k + 1 τ t k 1 t n + 1 τ r 1 d τ + g t k 1 , x k 1 Δ t t k t k + 1 t k τ t n + 1 τ r 1 d τ ] .
Since
t k t k + 1 ( t n + 1 τ ) r 1 ( τ t k 1 ) d τ = ( Δ t ) r + 1 r ( r + 1 ) [ ( n k + 1 ) r ( n k + 2 + r ) ( n k ) r ( n k + 2 + 2 r ) ] ,
and
t k t k + 1 ( t n + 1 τ ) r 1 ( t k τ ) d τ = ( Δ t ) r + 1 r ( r + 1 ) [ ( n k ) r ( n k + 1 + r ) ( n k + 1 ) r + 1 ] ,
we have the following numerical scheme for the case q = 1 :
y n + 1 = y 0 w ( 0 ) w ( t n ) + 1 p H ( p ) f t n , y n   + δ p ( Δ t ) r H ( p ) Γ ( r + 2 ) w ( t n ) k = 0 n ( w ( t k ) f t k , y k A n , k r + w ( t k 1 ) f t k 1 , y k 1 B n , k r ) ,
where
A n , k r = ( n k + 1 ) r ( n k + 2 + r ) ( n k ) r ( n k + 2 + 2 r ) , B n , k r = ( n k ) r ( n k + 1 + r ) ( n k + 1 ) r + 1 .
Remark 6.1.
The numerical scheme given in (27) covers the numerical method of Hattaf et al. [18] when q = δ = 1 , Toufik and Atangana [19] when w ( t ) = 1 , q = δ = 1 and r = p , as well as the recent numerical scheme presented in [20] when q = 1 and δ = ln ( p ¯ ) with p ¯ > 0 .
For q 1 , Eq. (21) becomes
y ( t ) = y ( a ) w ( a ) w ( t ) + 2 p q H ( p + q 1 ) w ( t ) [ 1 Γ ( 1 q ) a t ( t τ ) q w ( τ ) f τ , y ( τ ) d τ + δ μ p , q Γ ( r q + 1 ) a t ( t τ ) r q w ( τ ) f τ , y ( τ ) d τ ] .
Thus,
y ( t n + 1 ) = y ( a ) w ( a ) w ( t n ) + 2 p q H ( p + q 1 ) w ( t n ) [ 1 Γ ( 1 q ) k = 0 n t k t k + 1 ( t n + 1 τ ) q g τ , y ( τ ) d τ + δ μ p , q Γ ( r q + 1 ) k = 0 n t k t k + 1 ( t n + 1 τ ) r q g τ , y ( τ ) d τ ] .
Similarly, we obtain the following scheme for the case q 1 :
y n + 1 = y 0 w ( a ) w ( t n ) + ( 2 p q ) ( Δ t ) 1 q H ( p + q 1 ) w ( t n ) [ 1 Γ ( 3 q ) k = 0 n ( w ( t k ) f t k , y k A n , k r   + w ( t k 1 ) f t k 1 , y k 1 B n , k r ) + δ μ p , q ( Δ t ) r Γ ( r q + 3 ) k = 0 n ( w ( t k ) f t k , y k A n , k r q + 1 + w ( t k 1 ) f t k 1 , y k 1 B n , k r q + 1 ) ] .
To illustrate our numerical scheme, we consider the following FDE with the mixed fractional derivative:
D a , w , δ p , 1 , r y ( t ) = t 2 e t , y ( 0 ) = 0 .
Let w ( t ) = e t . By applying the fractional integral to both sides of (29) and using Theorem 5.3, we obtain the exact solution of (29), which is given by
y ( t ) = 1 p H ( p ) + 2 p δ t r H ( p ) Γ ( r + 3 ) t 2 e t .
Now, we apply the developed numerical scheme for the case q = 1 presented in (27) to approximate the solution of (29). For all numerical simulations, we choose the normalisation function as follows
H ( p ) = 1 p + p Γ ( p ) .
The comparaison between the exact and approximate solutions of (29) with the corresponding absolute errors is visualized in Figure 1 for different values of Δ t , p = 0 . 7 , r = 0 . 8 and δ = 2 . 5 . Furthermore, Table 1 presents the maximum error for numerous values of Δ t .
From Figure 1, we notice that the developed numerical scheme gives a very good agreement between the exact and approximate solutions for different values of the discretization step Δ t . Also, Table 1 shows that the convergence of the numerical approximation depends on the discretization step Δ t . By comparing the exact and approximate solutions, we deduce that the new developed numerical scheme is very effective and rapidly converges to the exact solution.

7. Application to computational biology

Computational biology is a branch of biology used mathematical modeling and computational simulations in order to understand biological systems and relationships. Now, consider the following FDE system describing the evolution of cell population in human body:
D 0 , w , δ p , 1 , r N ( t ) = λ d N ( t ) ,
where N ( t ) is the total cell population produced at rate λ and die naturally at rate d. Applying Laplace transform to (32), we get
L { w ( t ) D 0 , w , δ p , 1 , r N ( t ) } = λ L { w ( t ) } d L { w ( t ) N ( t ) } .
According Theorem 3.2, we have
L { w ( t ) N ( t ) } ( s ) = H ( p ) w ( 0 ) N ( 0 ) s r 1 [ H ( p ) + d ( 1 p ) ] s r + d p δ + λ ( 1 p ) s β + p λ δ [ N ( p ) + d ( 1 p ) ] s r + d p δ L { w ( t ) } ( s ) .
Then
L { w ( t ) N ( t ) } ( s ) = H ( p ) w ( 0 ) N ( 0 ) s r 1 a p s r + d p δ + λ ( 1 p ) s β + p λ δ a p s r + d p δ L { w ( t ) } ( s ) ,
where a p = H ( p ) + d ( 1 p ) . Hence,
L { w ( t ) N ( t ) } ( s ) = H ( p ) w ( 0 ) N ( 0 ) a p s r 1 s r + d p δ a p + λ ( 1 p ) a p s r 1 s r + d p δ a α s L { w ( t ) } ( s ) + p λ δ a p 1 s r + d p δ a p L { w ( t ) } ( s ) = H ( p ) w ( 0 ) N ( 0 ) a p L { E r d p δ a p t r } + λ ( 1 p ) a p L { E r d p δ a p t r } L { w ( t ) } + w ( 0 ) λ d L { d d t E r d p δ a p t r } L { w ( t ) } .
Thus,
w ( t ) N ( t ) = H ( p ) w ( 0 ) N ( 0 ) a p E r d p δ a p t r + λ ( 1 p ) a p E r d p δ a p t r w ( t ) + λ ( 1 p ) w ( 0 ) a p E r d p δ a p t r λ d d d t E r d p δ a p t r w ( t ) .
On the other hand, we have
d d t E r d p δ a p t r w ( t ) = E r d p δ a p t r w ( 0 ) w ( t ) + E r d p δ a p t r w ( t ) .
This leads to
N ( t ) = λ d + H ( p ) w ( 0 ) a p w ( t ) N ( 0 ) λ d E r d p δ a p t r λ H ( p ) d a p w ( t ) E r d p δ a p t r w ( t ) .
When the weight function is constant, Eq. (33) becomes
N ( t ) = λ d + H ( p ) w ( 0 ) a p w ( t ) N ( 0 ) λ d E r d p δ a p t r .
For liver cells also called hepatocytes, λ = 5 . 04 ± 0 . 71 × 10 5 cell/ml/day [23] and d = 0 . 0039 day   1 [24]. Figure 1 shows the impact of order p on dynamical behavior of the solutions of (32) with two initial conditions N ( 0 ) = 1 . 1 × 10 8 and N ( 0 ) = 1 . 5 × 10 8 cells/ml, for δ = 1 and r = 0 . 95 .
Now, we investigate the impact of the parameter p on the dynamics of (32) with p = 0 . 8 and r = 0 . 95 . Figure 2 demonstrates this impact.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The author declares no conflicts of interest.

References

  1. A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and Applications of Fractional Differential Equations, North-Holland Mathematics Studies, Elsevier, Amsterdam, 2006.
  2. I. Podlubny, Fractional Differential Equations, Academic Press, San Diego, 1999.
  3. M. Caputo, Linear models of dissipation whose Q is almost frequency independent-II, Geophysical Journal International 13 (1967) 529–539. [CrossRef]
  4. M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel, Progress Fractional Differention and Applications (2015) 73–85.
  5. A. Atangana, D. Baleanu, New fractional derivatives with non-local and non-singular kernel: theory and application to heat transfer model, Thermal Science 20 (2016) 763–769.
  6. M. Al-Refai, On weighted Atangana-Baleanu fractional operators, Advances in Difference Equations 2020 (2020) 1–11. [CrossRef]
  7. K. Hattaf, A new generalized definition of fractional derivative with non-singular kernel, Computation 8 (2) (2020) 1–9. [CrossRef]
  8. K. Hattaf, A new class of generalized fractal and fractal-fractional derivatives with non-singular kernels, Fractal Fractional 7 (5) (2023) 1–16. [CrossRef]
  9. W. Chen, Time-space fabric underlying anomalous diffusion, Chaos Solitons Fractals 28 (2006) 923–929. [CrossRef]
  10. K. Hattaf, Stability of fractional differential equations with new generalized Hattaf fractional derivative, Mathematical Problems in Engineering, 2021 (2021) 1–7. [CrossRef]
  11. Asma, M. Yousaf, M. Afzaal, M. H. DarAssi, M. A. Khan, M. Y. Alshahrani, M. Suliman, A mathematical model of vaccinations using new fractional order derivative, Vaccines 10 (12) (2022) 1980. [CrossRef]
  12. K. R. Cheneke, K. P. Rao, G. K. Edesssa, A new generalized fractional-order derivative and bifurcation analysis of cholera and human immunodeficiency co-infection dynamic transmission, International Journal of Mathematics and Mathematical Sciences 2022 (2022) 1–15. [CrossRef]
  13. M. R. Lemnaouar, C. Taftaf, C., Y. Louartassi, On the controllability of fractional semilinear systems via the generalized Hattaf fractional derivative, International Journal of Dynamics and Control (2023) 1–8. [CrossRef]
  14. Z. Hajhouji, K. Hattaf, N. Yousfi, A generalized fractional HIV-1 infection model with humoral immunity and highly active antiretroviral therapy, Journal of Mathematics and Computer Science 32 (2) (2024) 160–174. [CrossRef]
  15. E. M. Lotfi, H. Zine, D. F. M. Torres and N. Yousfi, The power fractional calculus: First definitions and properties with applications to power fractional differential equations, Mathematics 10 (2022) 1–10. [CrossRef]
  16. S. M. Chinchole, A. P. Bhadane, A new definition of fractional derivatives with Mittag-Leffler kernel of two parameters, Communications in Mathematics and Applications 13 (1) (2022) 19–26. [CrossRef]
  17. K. Hattaf, On the Stability and Numerical Scheme of Fractional Differential Equations with Application to Biology, Computation 10 (6) (2022) 1–12. [CrossRef]
  18. K. Hattaf, Z. Hajhouji, M. A. Ichou, N. Yousfi, A Numerical Method for Fractional Differential Equations with New Generalized Hattaf Fractional Derivative, Mathematical Problems in Engineering (2022) 1–9. [CrossRef]
  19. M. Toufik, A. Atangana, New numerical approximation of fractional derivative with non-local and non-singular kernel: Application to chaotic models, The European Physical Journal Plus (2017) 132: 444. [CrossRef]
  20. H. Zitane, D. F. M. Torres, A class of fractional differential equations via power non-local and non-singular kernels: Existence, uniqueness and numerical approximations, Physica D: Nonlinear Phenomena 457 (2024) 133951. [CrossRef]
  21. A. Wiman, Über den fundamental satz in der theorie der funktionen Ea(x), Acta Mathematica 29 (1905) 191–201.
  22. D. Baleanu, A. Fernandez, On some new properties of fractional derivatives with Mittag-Leffler kernel, Communications in Nonlinear Science and Numerical Simulation 59 (2018) 444–462.
  23. N. Yousfi, K. Hattaf, A. Tridane, Modeling the adaptive immune response in HBV infection, Journal of Mathematical Biology 63 (2011) 933–957. [CrossRef]
  24. S. Eikenberry, S. Hews, J. D. Nagy, Y. Kuang, The dynamics of a delay model of HBV infection with logistic hepatocyte growth, Mathematical Biosciences and Engineering 6 (2009) 283–299.
Figure 1. The exact and numerical solutions of (29) with the corresponding absolute errors for different values of Δ t .
Figure 1. The exact and numerical solutions of (29) with the corresponding absolute errors for different values of Δ t .
Preprints 89557 g001
Figure 2. Solution of (32) with two initial conditions for δ = 1 , r = 0 . 95 and different values of p.
Figure 2. Solution of (32) with two initial conditions for δ = 1 , r = 0 . 95 and different values of p.
Preprints 89557 g002
Figure 3. Impact of the parameter δ on the dynamics of (32) with p = 0 . 8 and r = 0 . 95 .
Figure 3. Impact of the parameter δ on the dynamics of (32) with p = 0 . 8 and r = 0 . 95 .
Preprints 89557 g003
Table 1. The maximum error corresponding to different values of Δ t with p = 0 . 7 , r = 0 . 8 and δ = 2 . 5 .
Table 1. The maximum error corresponding to different values of Δ t with p = 0 . 7 , r = 0 . 8 and δ = 2 . 5 .
Discretization step ( Δ t ) Error
0.1 8.6991 × 10 2
0.01 8.5373 × 10 3
0.001 8.5204 × 10 4
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.
Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.
Prerpints.org logo

Preprints.org is a free preprint server supported by MDPI in Basel, Switzerland.

Subscribe

Disclaimer

Terms of Use

Privacy Policy

Privacy Settings

© 2025 MDPI (Basel, Switzerland) unless otherwise stated