Next Article in Journal
The Impact of Sentinel-1-Corrected Fractal Roughness on Soil Moisture Retrievals
Next Article in Special Issue
Investigation of a Spatio-Temporal Fractal Fractional Coupled Hirota System
Previous Article in Journal
Minimal Wave Speed for a Nonlocal Viral Infection Dynamical Model
Previous Article in Special Issue
Fractional View Analysis System of Korteweg–de Vries Equations Using an Analytical Method
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Finite Difference Method and Analysis for Simulating the Unsteady Generalized Maxwell Fluid with a Multi-Term Time Fractional Derivative

School of Mathematics and Statistics, Sichuan University of Science and Engineering, Zigong 643000, China
*
Author to whom correspondence should be addressed.
Fractal Fract. 2024, 8(3), 136; https://doi.org/10.3390/fractalfract8030136
Submission received: 14 January 2024 / Revised: 14 February 2024 / Accepted: 23 February 2024 / Published: 26 February 2024

Abstract

:
The finite difference method is used to solve a new class of unsteady generalized Maxwell fluid models with multi-term time-fractional derivatives. The fractional order range of the Maxwell model index is from 0 to 2, which is hard to approximate with general methods. In this paper, we propose a new finite difference scheme to solve such problems. Based on the discrete H 1 norm, the stability and convergence of the considered discrete scheme are discussed. We also prove that the accuracy of the method proposed in this paper is O ( τ + h 2 ) . Finally, some numerical examples are provided to further demonstrate the superiority of this method through comparative analysis with other algorithms.

1. Introduction

In the past several years, non-Newtonian fluids have received widespread attention from mathematicians and physicists. Compared with Newtonian fluids, non-Newtonian fluids were widely used in industry due to their complexity and special properties [1,2]. Viscoelastic fluid is a special type of non-Newtonian fluid, as the name suggests, that possesses both the viscous properties of a liquid and the elastic properties of a solid. It can produce an instantaneous elastic response and continuous stress when a load is applied to it. Due to the widespread applications of viscoelastic fluids in medical [3], chemical [4], biological [5], physical [6], and other fields, various models have been proposed to study their properties [7,8,9]. The Maxwell liquid model is one of them, which is composed of multiple continuous Maxwell units in parallel. Due to its potential advantage of not relying on the complex effects of fluid viscosity, it has attracted the attention of a large number of researchers in recent years, and many works have been published. The heat transfer behavior of Maxwell fluids in a stretching oscillating wall channel during motion was studied under the Cattaneo–Christov heat flux model, and the influence of the parameters on fluid behavior was considered with the help of the homotopy deformation method and series analysis method [10]. The Cattaneo–Christov double diffusion theory model was applied to analyze the thermal effects and transport flow phenomena of Maxwell fluids based on it [11]. The dynamics of Maxwell fluids in rectangular containers under periodic pressure with simple harmonic motion characteristics were studied with the finite difference method, and thus the trend of resonance change was obtained [12]. The MHD flow of Maxwell fluid on its surface was discussed when the carrier medium had certain stratification and thermophoresis effects. The experimental results showed that stratification affects the temperature change rate of the fluid [13]. Compared with these research results, a more complex situation was discussed in [14]. Taking into account the characteristics of various flow parameters, six second-order partial differential equations were used to conduct theoretical and numerical analysis of Maxwell fluids with non-homogeneous boundary conditions. At the same time, on the basis of [14], the scholar in [15] considered the influence of the Joule heating phenomenon and Lorentz force on the experimental results, although the flow of Maxwell fluids still occurs in porous interstitial spaces.
However, it is regrettable that the above article only models the dynamic behavior of fluids in the sense of integer-order partial differential concepts. In practical industrial applications, fluid behavior is much more complex than we can imagine, and integer-order models cannot effectively describe the impact of the flow rate on stress. Fortunately, fractional calculus has become a powerful tool, and it has been several hundred years since its concept was first introduced [16]. It allows for noninteger order differential operations, which could be found in the communication between L’hospital and Leibniz back then. In recent years, fractional calculus has received extensive research in describing complex nonlinear systems due to its unique genetic and memory effects [17,18,19,20]. Fractional calculus is considered by many scholars as an effective means of describing the rheological effects of viscoelastic fluids. In this field, there are several high-quality articles worth exploring. The work in [21] may be one of the earliest representative works in this field, as the author systematically introduced the theoretical calculation process of fractional-order Maxwell models with the classical discrete Laplace transform. Three years later, the scope of application of this method was expanded, and analytical solutions were obtained using the Weber transform and Laplace transform under different flow conditions in [22]. In [23], the Laplace transform and Fourier transform were used to deal with the complex behavior of Maxwell fluids between vertical sidewalls. Theoretical studies have shown that integer-order models are the limited case of the generalized Maxwell model. The authors of [24] improved the method in [23] by mixing the Hankel transform and Laplace transform techniques, effectively reducing the difficulty of theoretical derivation. The results showed that parameters such as the order and Prandtl number have a significant impact on heat transfer. In [25], the process of using Maxwell fluids to clean residual oil from dead corners was studied, which meant that the stress genetic effect of viscoelastic fluid had to be taken into account. The semi-analytical solution was highly consistent with the image simulation results. Akyildiz and Siginer discussed the seepage flow phenomenon of Maxwell fluids in a triangular region and obtained an accurate solution to the momentum equation under the Caputo–Fabrizio definition [26]. At the same time, the (semi-) analytical solutions under the Caputo–Fabrizio and Atangana–Baleanu definition were obtained using the convolution theorem and Laplace transform method in [27], and the drawback of the relatively single-fractional order definition was improved in [26]. In [28], the unstable flow of Maxwell fluids under two different definitions in a heating environment was considered, and the research result included the integer order (fractional-order parameter was one) as a special case.
Nevertheless, almost all of the above articles are devoted to the study of analytical solutions, and the methods include the Laplace transform, Fourier transform, and other integral transformation methods. These methods are only suitable for some linear Maxwell fluids. But, in the actual simulation of heat transfer and the viscoelastic fluid flow model, because of the unpredictable complexity and the influence of physical factors, we will face nonlinear models in most cases. Seeking numerical solutions as an effective approach, there has been some effective numerical methods proposed, such as the finite difference method, finite element method, and spectral method. Interested readers can refer to [29,30,31,32] and the cited articles therein. Nevertheless, they all have some drawbacks. For example, in [29,30], the authors only considered fractional derivatives in the temporal dimension and neglected the spatial dimension. The authors of [31,32] both paid attention to the spatiotemporal dimension. Their algorithms produced significant truncation errors, which were O ( Δ t 2 α + Δ x ) . Such accuracy is insufficient in practical problems. Hence, an effective numerical method is important for the Maxwell fluid model with a fractional-order derivative.
In [33], an unsteady flow of a generalized fractional-order Maxwell fluid model was proposed:
( 1 + λ D t α ) u ( x , t ) t = v 2 u ( x , t ) x 2 ,
where v = μ / ρ is the kinematic viscosity of the fluid. In [22], the authors proposed the unsteady rotating flows of a viscoelastic fluid with the fractional Maxwell model between coaxial cylinders as follows:
( 1 + λ D t α ) u ( x , t ) t = v ( 2 u ( x , t ) x 2 + 1 x u ( y , t ) x u ( x , t ) x 2 ) .
In the following, we mainly study a new multi-term time fractional-order non-Newtonian diffusion model, shown below, which is more general:
a 1 D t α u ( x , t ) + a 2 u ( x , t ) t = a 3 2 u ( x , t ) x 2 a 4 u ( x , t ) a 5 D t β u ( x , t ) + f ( x , t ) , ( x , t ) Ω ,
with the boundary conditions
u ( 0 , t ) = 0 , u ( L , t ) = 0 , 0 t T ,
and the initial conditions
u ( x , 0 ) = ϕ 1 ( x ) , u t ( x , 0 ) = ϕ 2 ( x ) , 0 x L ,
where a 1 , a 2 , a 3 , a 4 0 , 0 < β < 1 , 1 < α < 2 , and Ω = ( 0 , L ) × ( 0 , T ) .
At the beginning of the simulation, the GL definition may generate certain errors, while the RL definition is mainly used for theoretical research of fractional integral equations. The Caputo definition is more relevant to modern physical applications. Meanwhile, the initial conditions for Caputo fractional differential equations are the same as those for integer-order equations. Consequently, we only study the Caputo fractional derivative in this paper. Then, D t α u ( x , t ) and D t β u ( x , t ) are given as follows [34]:
D t α u ( x , t ) u ( x , t ) = 1 Γ ( 2 α ) 0 t ( t τ ) 1 α 2 u ( x , τ ) τ 2 d τ , 1 < α < 2 ,
and
D t β u ( x , t ) u ( x , t ) = 1 Γ ( 1 β ) 0 t ( t τ ) β u ( x , τ ) τ d τ , 0 < β < 1 .
In the following, we will study the application of the finite difference method to these generalized Maxwell fluid models with multi-term fractional derivatives. The basic idea of the finite difference method is to discretize continuous partial differential equations into discrete algebraic equations, numerical solutions are obtained by solving this algebraic equation system. In the finite difference method, the solution region is divided into a series of grid points and regions. Then, the derivative of the original equation at each grid point is approximated. Thus, a discrete system of equations will be reached. A new finite difference scheme is proposed to approximate this model. The stability and convergence analysis of this scheme is proposed based on the discrete H 1 norm.
The general fractional order non-Newtonian fluid model not only has a multi-term fractional time derivative, but the range of the fractional order is from 0 to 2, which is challenging to approximate. A new finite difference scheme is proposed to approximate the multi-term fractional order Maxwell model. The main contributions of this paper are as follows. (1) Our method is proposed for the new Maxwell model, which has a multi-term fractional time derivative. We also propose the L2 scheme for the fractional order term D t α with the first-order accuracy. Meanwhile, we propose some useful and important lemma, and we find that these lemma can be extended to other multi-term fractional-order diffusion models. (2) The stability and convergence analysis of this scheme is proposed based on the discrete H 1 norm. We prove that the accuracy of the new finite difference method is O ( τ + h 2 ) . (3) A numerical example is used to illustrate the validity and rationality of the method with different fractional orders. Our method is effective enough to be generalized to solve the generalized fractional-order Oldroyd-B fluid model, the generalized fractional-order Burgers fluid model and other generalized non-Newtonian fluid models.
The structure of this article is as follows. Section 2 introduces some preliminary knowledge of the finite difference method, and we propose the numerical scheme for discretizing the time fractional derivative. In Section 3 and Section 4, the proof of solvability, stability, and convergence of our new numerical algorithm are given by the energy method. Then, the effectiveness of the algorithm is discussed when the time fractional order of the scheme is changed. In Section 5, the simulation results of some examples are given to verify the superiority of the proposed algorithm. Finally, the conclusions and future work are stated in Section 6.

2. Preliminary Knowledge of the Finite-Difference Method

In the following, some notations and properties are given for discretizing the time fractional order derivative.
Lemma 1.
For 1 < α < 2 , we can define b k ( α ) = ( k + 1 ) 2 α k 2 α , k = 0 , 1 , 2 , , and then
1 . b k ( α ) > 0 , b 0 ( α ) = 1 , b k ( α ) > b k + 1 ( α ) ,
2 . ( 2 α ) ( k + 1 ) 1 α b k ( α ) ( 2 α ) k 1 α ,
3 . lim k b k ( α ) = 0 .
Proof. 
It is easy to prove that b k ( α ) > 0 , b 0 ( α ) = 1 . Let g ( x ) = x 2 α and f ( x ) = g ( x + 1 ) g ( x ) , 1 < α < 2 . Then, we have
f ( x ) = g ( x + 1 ) g ( x ) = ( 2 α ) ( 1 ( x + 1 ) α 1 1 ( x + 1 ) α 1 ) < 0 .
This indicates that f ( x ) is a monotonically decreasing function. Then, we have
f ( k ) = b k ( α ) > b k + 1 ( α ) = f ( k + 1 ) .
By taking the derivative of the function g ( x ) , we have
g ( x ) = ( 2 α ) x 1 α ,
and
g ( x ) = ( 2 α ) ( 1 α ) x α .
For all x > 0 , we can obtain
g ( x ) = ( 2 α ) ( 1 α ) x α < 0 ,
which indicates that g ( x ) is a monotonically decreasing function. It follows from Lagrange’s mean value theorem that
g ( k + 1 ) g ( k ) = g ( ξ ) , k < ξ < k + 1 .
Since g ( x ) is a monotonically decreasing function, we have
g ( k + 1 ) < g ( k + 1 ) g ( k ) < g ( k ) ,
In other words, we have
( 2 α ) ( k + 1 ) 1 α b k ( α ) ( 2 α ) k 1 α .
This is easily obtained by the squeeze theorem. □
Lemma 2.
For 0 < β < 1 , we also define b k ( β ) = ( k + 1 ) 1 β k 1 β , k = 0 , 1 , 2 , , and similar properties can be obtained:
1 . b k ( β ) > 0 , b 0 ( β ) = 1 , b k ( β ) > b k + 1 ( β ) ;
2 . ( 1 β ) ( k + 1 ) β b k ( β ) ( 1 β ) k β ;
3 . lim k b k ( β ) = 0 ;
4 . b k + 1 ( β ) 2 b k ( β ) + b k 1 ( β ) 0 .
Proof. 
The proof is similar to that of Lemma 1. □
To discretize the multi-term time fractional order (Equation (3)), we define the mesh points x i = i h and t n = h τ , i = 0 , 1 , , M , n = 0 , 1 , , N , where τ = T / N and h = L / M are the uniform temporal step size and spatial step size, respectively. Let u n = [ u 1 n , u 2 n , , u M 1 n ] T be the numerical solution of u ˜ n = [ u ( x 1 , t n ) , u ( x 2 , t n ) , , u ( x M 1 , t n ) ] T . The following notations are introduced:
t u i n = u i n u i n 1 τ , u i n 1 2 = u i n + u i n 1 2 ,
x u i n = u i n u i 1 n h , δ x 2 u i n = u i 1 n 2 u i n + u i + 1 n h 2 .
Then, let V h = { v | v is a grid function on Ω h , and v 0 = v M = 0 } . We can define the discrete inner products and induced norms for any v , w V h as follows:
( v , w ) = h j = 1 M 1 v i w i , v , w = h i = 1 M x v i · x w i ,
| | v | | 0 = ( v , v ) , | | v | | = max 0 i M | v i | , | v | 1 = v , v ,
We can easily check that
( δ x 2 v k , v n ) = x v k , x v n ,
( δ x 2 v k , t v n ) = 1 τ x v k , x v n x v n 1 .
Then, we use the following result in [35] to discretize the time fractional-order derivative D t α u ( x , t ) ( 1 < α < 2 ) . For all f ( t ) C 2 [ 0 , t n ] , we have
0 t n f ( t ) d t ( t n t ) α 1 τ 1 α 2 α b 0 ( α ) f ( t n ) k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) f ( t k ) b n 1 ( α ) f ( t 0 ) C max 0 t t n | f ( t ) | τ 3 α ,
where b k α = ( k + 1 ) 2 α k 2 α , k = 0 , 1 , 2 , are defined in Lemma 1.
Due to Equation (21), we can obtain the following equation for f ( t ) C 3 [ 0 , t n ] :
0 t n f ( t ) d t ( t n t ) α 1 τ 1 α 2 α b 0 ( α ) f ( t n ) k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) f ( t k ) b n 1 ( α ) f ( t 0 ) C max 0 t t n | f ( t ) | τ 3 α .
If we approximate f ( t ) = t f ( t n ) + C 1 τ , hten we can obtain
τ 1 α 2 α b 0 ( α ) C 1 τ k = 1 n 1 ( b n k 1 ( α ) ) C 1 τ = C 1 τ 2 α 2 α b 0 ( α ) k = 1 n 1 ( b n k 1 ( α ) ) = C 1 τ 2 α 2 α b n 1 α C 1 τ 2 α ( n 1 ) 1 α C 1 T 1 α τ C 2 τ .
It follows from Equations (22) and (23) that
0 t n f ( t ) d t ( t n t ) α 1 τ 1 α 2 α b 0 ( α ) t f ( t n ) k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) t f ( t k ) b n 1 ( α ) f ( t 0 ) C max 0 t t n | f ( t ) | τ 3 α + C 2 τ C 3 τ .
Then, the new discrete scheme for the fractional-order derivative D t α u ( x , t ) ( 1 < α < 2 ) is obtained at mesh points ( x i , t n ) :
D t α u ( x i , t n ) = τ 1 α Γ ( 3 α ) [ b 0 ( α ) t u ( x i , t n ) k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) u ( x i , t k ) b n 1 ( α ) ϕ 2 ( x i ) ] + R 1 ( O ( τ 3 α ) ) ,
where b k ( α ) = ( k + 1 ) 2 α k 2 α and | R 1 | C τ . The new discrete scheme (called formula L1) for the fractional-order derivative D t β ( x , t ) ( 0 < β < 1 ) is obtained at mesh points ( x i , t n ) :
D t β u ( x i , t n ) = τ β Γ ( 2 β ) [ b 0 ( β ) u ( x i , t n ) k = 1 n 1 ( b n k 1 ( β ) b n k ) u ( x i , t k ) b n 1 ( β ) u ( x i , t 0 ) ] + R 2 ,
where b k ( β ) = ( k + 1 ) 1 β k 1 β and | R 2 | C max 0 < t T | 2 u ( x , t ) t 2 | ( τ 2 β + h 2 ) .
Furthermore, the implicit finite difference scheme of Equation (3) is obtained:
a 1 D t α u ( x i , t n ) + a 2 u ( x i , t n ) t = a 3 2 u ( x i , t n ) x 2 a 4 u ( x i , t n ) a 5 D t β u ( x i , t n ) + f ( x i , t n ) .
It follows from Equations (25) and (26) that
a 1 τ 1 α Γ ( 3 α ) [ b 0 ( α ) t u ( x i , t n ) k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) u ( x i , t k ) b n 1 ( α ) ϕ 2 ( x i ) ] + a 2 t u ( x i , t n ) = a 3 δ x 2 u ( x i , t n ) a 5 τ β Γ ( 2 β ) [ b 0 ( β ) u ( x i , t n ) k = 1 n 1 ( b n k 1 ( β ) b n k ) u ( x i , t k ) b n 1 ( β ) u ( x i , t 0 ) ] a 4 u ( x i , t n ) + f ( x i , t n ) + R i n ,
where | R i n | C ( τ + h 2 ) .
If we omit the error term, then one can obtain the implicit finite difference scheme of Equation (3) as follows:
a 1 τ 1 α Γ ( 3 α ) [ b 0 ( α ) t u i n k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) u i k b n 1 ( α ) ϕ 2 ( x i ) ] + a 2 t u i n = a 3 δ x 2 u i n a 4 u i n a 5 τ β Γ ( 2 β ) [ b 0 ( β ) u i n k = 1 n 1 ( b n k 1 ( β ) b n k ) u i k b n 1 ( β ) u i 0 ] + f i n ,
which can be recast into
c 1 u i n c 2 ( u i 1 n 2 u i n + u i + 1 n ) = d 1 u i n 1 + a 1 τ 1 α Γ ( 3 α ) [ k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) u i k + b n 1 ( α ) ϕ 2 ( x i ) ] + a 5 τ β Γ ( 2 β ) [ k = 1 n 1 ( b n k 1 ( β ) b n k ) u i k + b n 1 ( β ) u i 0 ] + f i n ,
where c 1 = a 1 τ α Γ ( 3 α ) + a 2 τ + a 4 + a 5 τ β Γ ( 2 β ) , c 2 = a 3 h 2 and d 1 = a 1 τ α Γ ( 3 α ) + a 2 τ .
Theorem 1.
The finite difference scheme (Equation (30)) for Equation (3) is uniquely solvable.
Proof. 
Due to the difference scheme in Equation (30), the coefficient matrix D is linear tridiagonal at each time level:
D = c 1 + 2 c 2 c 2 0 0 0 c 2 c 1 + 2 c 2 c 2 0 0 0 b 2 c 1 + 2 c 2 0 0 0 0 0 c 1 + 2 c 2 c 2 0 0 0 c 2 c 1 + 2 c 2 ,
where c 1 = a 1 τ α Γ ( 3 α ) + a 2 τ + a 4 + a 5 τ β Γ ( 2 β ) > 0 and c 2 = a 3 h 2 > 0 . It follows from Equation (31) that D is not only a strictly diagonally dominant matrix but also a nonsingular matrix, which implies that the finite difference scheme in Equation (30) is uniquely solvable. □

3. Stability Analysis of the Finite Difference Scheme

Lemma 3.
For any G = { g 0 , g 1 , g 2 , , g N } , it holds that
n = 1 N b 0 g n k = 1 n 1 ( b n k 1 b n k ) g k b n 1 g 0 g n 1 2 b N 1 n = 1 N g n 2 1 2 n = 1 N b n 1 g 0 2 ,
where b k is defined as b k ( α ) (or b k ( β ) ). If b k = b k ( α ) , then it follows from Lemma 1 that
1 2 b N 1 ( α ) n = 1 N g n 2 1 2 n = 1 N b n 1 ( α ) g 0 2 ( 2 α ) N 1 α 2 n = 1 N g n 2 N 2 α 2 g 0 2 .
If b k = b k ( β ) , then it follows from Lemma 2 that
1 2 b N 1 β n = 1 N g n 2 1 2 n = 1 N b n 1 ( β ) g 0 2 ( 1 β ) N β 2 n = 1 N g n 2 N 1 β 2 g 0 2 .
Lemma 4.
Let N be any positive integer and real vector G = ( g 0 , g 1 , , g N ) T R N + 1 . Then, we have
n = 1 N b 0 ( β ) g n k = 0 n 1 ( b n k 1 ( β ) b n k ( n k ) ) g k b n 1 ( β ) g 0 ( g n g n 1 ) g 0 2 ,
where b k ( β ) is defined as shown in Lemma 2.
Proof. 
Let ω 0 n = ω 0 = 1 , ω k n = ω k = b k ( β ) b k 1 ( β ) , k = 1 , 2 , , n 1 , and ω n n = b n 1 ( β ) ( n > 0 ) . Then, Equation (35) can be recast into the form
n = 1 N k = 0 n ω n k n g k ( g n g n 1 ) g 0 2 .
Firstly, we will prove
n = 0 N k = 0 n ω n k n g k g n n = 1 N k = 0 n ω n k n g k g n 1 0 .
Since
n = 0 N k = 0 n ω n k n g k g n = G T ω 0 0 0 0 0 ω 1 1 ω 0 0 0 0 ω 2 2 ω 1 ω 0 0 0 ω N 1 N 1 ω N 2 ω N 3 ω 0 0 ω N N ω N 1 ω N 2 ω 1 ω 0 G ,
and
n = 1 N k = 0 n ω n k n g k g n 1 = G T ω 1 1 ω 0 0 0 0 ω 2 2 ω 1 ω 0 0 0 ω 3 3 ω 2 ω 1 0 0 ω N N ω N 1 ω N 2 ω 1 ω 0 0 0 0 0 0 G ,
then
n = 0 N k = 0 n ω n k n g k g n n = 1 N k = 0 n ω n k n g k g n 1 = G T W G ,
where
W = ω 0 ω 1 1 ω 0 0 0 0 ω 1 1 ω 2 2 ω 0 ω 1 ω 0 0 0 ω 2 2 ω 3 3 ω 1 ω 2 ω 0 ω 1 0 0 ω N 1 N 1 ω N N ω N 2 ω N 1 ω N 3 ω N 2 ω 0 ω 1 ω 0 ω N N ω N 1 ω N 2 ω 1 ω 0 .
It follows from ω 1 1 = b 0 ( β ) = ω 0 and ω k k ω k + 1 k + 1 = ω k that
W = 2 ω 0 ω 0 0 0 0 ω 1 ω 0 ω 1 ω 0 0 0 ω 2 ω 1 ω 2 ω 0 ω 1 0 0 ω N 1 ω N 2 ω N 1 ω N 3 ω N 2 ω 0 ω 1 ω 0 ω N N ω N 1 ω N 2 ω 1 ω 0 .
Then, proving Equation (37) is equivalent to proving that the matrix W is positive semidefinite. As we know, the quadric form has the property G T W G = G T W + W 2 G . Then, we just need to prove that H = W + W 2 is positive semidefinite, which means proving that the eigenvalues of H are nonnegative. It follows from Equation (37) that
H = 2 ω 0 ω 1 ω 0 2 ω 2 2 ω 3 2 ω N 1 2 ω N N 2 ω 1 ω 0 2 ω 0 ω 1 ω 1 ω 2 ω 0 2 ω 2 ω 3 2 ω N 2 ω N 1 2 ω N 1 2 ω 2 2 ω 1 ω 2 ω 0 2 ω 0 ω 1 ω 1 ω 2 ω 0 2 0 0 ω N 1 2 ω N 2 ω N 1 2 ω N 3 ω N 2 2 ω N 4 ω N 3 2 ω 0 ω 1 ω 1 ω 0 2 ω N N 2 ω N 1 2 ω N 2 2 ω N 3 2 ω 1 ω 0 2 ω 0 .
Due to Lemma 2, we have
ω k n < 0 , ω i n ω i + 1 n , k = 1 , 2 , , n , i = 1 , 2 , , n 2 ,
which implies that
h i i > 0 , i = 1 , 2 , , N + 1 ,
and
h i j < 0 , i j , i , j = 1 , 2 , N + 1 .
It follows from Equation (42) and Lemma 2 that H is diagonally dominant; in other words, we have
h i i j = 1 , j i N + 1 | h i j | , i = 1 , 2 , , N + 1 .
Since H is a symmetric matrix, the eigenvalues of H are real numbers. Let λ * be any eigenvalue of H. It follows from Gershgorin’s theorem that
| λ * h i i | r i = j = 1 , j i N + 1 | h i j | ,
which implies
h i i j = 1 , j i N + 1 | h i j | λ * h i i + j = 1 , j i N + 1 | h i j | .
Then, we have
λ * h i i j = 1 , j i N + 1 | h i j | 0 ,
which demonstrates that Equation (37) holds; in other words, this means that
n = 0 N k = 0 n ω n k n g k g n n = 1 N k = 0 n ω n k n g k g n 1 = n = 1 N k = 0 n ω n k n g k g n n = 1 N k = 0 n ω n k n g k g n 1 + ω 0 g 0 2 0 .
Therefore, we have
n = 1 N b 0 ( β ) g n k = 0 n 1 ( b n k 1 ( β ) b n k ( n k ) ) g k b n 1 ( β ) g 0 ( g n g n 1 ) g 0 2 .
Theorem 2.
The finite difference scheme (Equation (30)) for Equation (3) is unconditionally stable.
Proof. 
We will use the energy method to analyze the stability of the scheme in Equation (30). First, by multiplying Equation (30) by h τ t u i n , we sum i from 1 to M 1 and sum n from 1 to N, and then we have
a 1 τ 2 α Γ ( 3 α ) n = 1 N i = 1 M 1 h [ b 0 ( α ) t u i n k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) u i k b n 1 ( α ) ϕ 2 ( x i ) ] t u i n + a 5 τ 1 β Γ ( 2 β ) n = 1 N i = 1 M 1 h [ b 0 ( β ) u i n k = 1 n 1 ( b n k 1 ( β ) b n k ) u i k b n 1 ( β ) u i 0 ] t u i n + a 2 τ n = 1 N i = 1 M 1 h ( t u i n ) 2 + a 4 τ n = 1 N i = 1 M 1 h u i n t u i n = a 3 τ n = 1 N i = 1 M 1 h δ x 2 u i n t u i n + τ n = 1 N i = 1 M 1 h f i n t u i n .
It follows from Lemma 3 that
a 1 τ 2 α Γ ( 3 α ) n = 1 N i = 1 M 1 h b 0 ( α ) t u i n k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) u i k b n 1 ( α ) ϕ 2 ( x i ) t u i n a 1 τ 2 α Γ ( 3 α ) i = 1 M 1 h ( 2 α ) N 1 α 2 i = 1 N ( t u i n ) 2 N 2 α 2 ϕ 2 2 ( x i ) a 1 τ T 1 α 2 Γ ( 2 α ) n = 1 N | | t u n | | 0 2 a 1 T 2 α 2 Γ ( 3 α ) | | ϕ 2 | | 0 2 .
Using Lemma 4, we have
a 5 τ 1 β Γ ( 2 β ) n = 1 N i = 1 M 1 h [ b 0 ( β ) u i n k = 1 n 1 ( b n k 1 ( β ) b n k ) u i k b n 1 ( β ) u i 0 ] t u i n = a 5 τ β Γ ( 2 β ) n = 1 N i = 1 M 1 h [ b 0 ( β ) u i n k = 1 n 1 ( b n k 1 ( β ) b n k ) u i k b n 1 ( β ) u i 0 ] ( u i n u i n 1 ) a 5 τ β Γ ( 2 β ) i = 1 M 1 h ( u i 0 ) 2 = a 5 τ β Γ ( 2 β ) | | u 0 | | 0 2 ,
and
a 4 τ n = 1 N i = 1 M 1 h u i n t u i n = a 4 n = 1 N i = 1 M 1 h u i n ( u i n u i n 1 ) = a 4 i = 1 M 1 h n = 1 N u i n ( u i n u i n 1 ) a 4 2 i = 1 M 1 h n = 1 N ( ( u i n ) 2 ( u i n 1 ) 2 ) = a 4 2 i = 1 M 1 h ( ( u i N ) 2 ( u i 0 ) 2 ) = a 4 2 | | u N | | 0 2 a 4 2 | | u 0 | | 0 2 .
Therefore, the left-hand side of Equation (56) is bounded by
L τ ( a 1 T 1 α 2 Γ ( 2 α ) + a 2 ) n = 1 N | | t u n | | 0 2 + a 4 2 | | u N | | 0 2 a 1 T 2 α 2 Γ ( 3 α ) | | ϕ 2 | | 0 2 ( a 5 τ β Γ ( 2 β ) + a 4 2 ) | | u 0 | | 0 2 .
On the other hand, under the relation of the inner and norms (Equation (17)), one can obtain
a 3 τ n = 1 N i = 1 M 1 h δ x 2 u i n t u i n = a 3 τ n = 1 N ( δ x 2 u n , t u n ) = a 3 n = 1 N x u n , x u n x u n 1 a 3 2 n = 1 N ( | | u n | | 1 2 | | u n 1 | | 1 2 ) = a 3 2 ( | | u 0 | | 1 2 | | u N | | 1 2 ) .
Using the inequality x y ε x 2 + y 2 4 ε , we can obtain
τ n = 1 N i = 1 M 1 h f i n t u i n τ ( a 1 T 1 α 2 Γ ( 2 α ) + a 2 ) n = 1 N i = 1 M 1 h ( t u i n ) 2 + τ 4 ( a 1 T 1 α 2 Γ ( 2 α ) + a 2 ) n = 1 N i = 1 M 1 h f i n = τ ( a 1 T 1 α 2 Γ ( 2 α ) + a 2 ) n = 1 N | | t u n | | 0 2 + τ Γ ( 2 α ) 2 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N | | f n | | 0 2 .
Therefore, the right-hand side of Equation (56) is bounded by
R a 3 2 ( | | u 0 | | 1 2 | | u N | | 1 2 ) + τ ( a 1 T 1 α 2 Γ ( 2 α ) + a 2 ) n = 1 N | | t u n | | 0 2 + τ Γ ( 2 α ) 2 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N | | f n | | 0 2 .
It follows from L = R that
a 4 2 | | u N | | 0 2 + a 3 2 | | u N | | 1 2 a 1 T 2 α 2 Γ ( 3 α ) | | ϕ 2 | | 0 2 + ( a 5 τ β Γ ( 2 β ) + a 4 2 ) | | u 0 | | 0 2 + a 3 2 | | u 0 | | 1 2 + τ Γ ( 2 α ) 2 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N | | f n | | 0 2 .
Then, this implies that
| | u N | | 0 2 a 1 T 2 α a 4 Γ ( 3 α ) | | ϕ 2 | | 0 2 + ( 1 + 2 a 5 τ β a 4 Γ ( 2 β ) ) | | u 0 | | 0 2 + a 3 a 4 | | u 0 | | 1 2 + τ Γ ( 2 α ) a 4 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N | | f n | | 0 2 ,
and
| | u N | | 1 2 a 1 T 2 α a 3 Γ ( 3 α ) | | ϕ 2 | | 0 2 + ( a 4 a 3 + 2 a 5 τ β a 3 Γ ( 2 β ) ) | | u 0 | | 0 2 + | | u 0 | | 1 2 + τ Γ ( 2 α ) a 3 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N | | f n | | 0 2 .
It follows from Equation (63) and Lemma 4 that
| | u N | | 2 L 4 | | u N | | 1 2 L 4 [ a 1 T 2 α a 3 Γ ( 3 α ) | | ϕ 2 | | 0 2 + ( a 4 a 3 + 2 a 5 τ β a 3 Γ ( 2 β ) ) | | u 0 | | 0 2 + | | u 0 | | 1 2 + τ Γ ( 2 α ) a 3 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N | | f n | | 0 2 ] .
Hence, the inequalities in Equations (61)–(64) demonstrate that the difference scheme in Equation (30) is unconditionally stable.

4. Convergence Analysis of the Finite Difference Scheme

Let u ˜ n = [ u ( x 1 , t n ) , u ( x 2 , t n ) , , u ( x M 1 , t n ) ] T , and u n = [ u 1 n , u 2 n , , u M 1 n ] T be the exact solution and the numerical solution vectors, respectively. The theorem of convergence can be obtained as follows.
Theorem 3.
If the solution to Equation (30) satisfies u ( x , t ) C x , t 4 , 3 ( Ω ) , then there are three positive constants C 1 , C 2 , and C 3 , which are independent of τ and h such that
| | e n | | 0 C 1 ( τ + h 2 ) ,
| | e n | | 1 C 2 ( τ + h 2 ) ,
and
| | e n | | C 3 ( τ + h 2 ) .
Proof. 
Denote the errors e i n = u ( x i , t n ) u i n , e n = u ˜ n u n = [ e 1 n , e 2 n , , e M 1 n ] T . By subtracting Equation (29) from Equation (28), we can obtain
a 1 τ 1 α Γ ( 3 α ) b 0 ( α ) t e i n k = 1 n 1 ( b n k 1 ( α ) b n k ( α ) ) e i k + a 2 t e i n = a 3 δ x 2 e i n a 4 e i n a 5 τ β Γ ( 2 β ) b 0 ( β ) e i n k = 1 n 1 ( b n k 1 ( β ) b n k ) e i k b n 1 ( β ) e i 0 + R i n ,
with the initial conditions e i 0 = 0 , i = 1 , 2 , , M 1 and e 0 n = e M n = 0 .
It follows from the proof of Theorem 2 that
| | e n | | 0 2 Γ ( 2 α ) τ h a 6 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N i = 1 M 1 ( R i n ) 2 Γ ( 2 α ) τ h a 6 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) n = 1 N i = 1 M 1 C 2 ( τ + h 2 ) 2 Γ ( 2 α ) C 2 n τ ( M 1 ) h a 6 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) ( τ + h 2 ) 2 Γ ( 2 α ) C 2 T L a 6 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) ( τ + h 2 ) 2 ,
which implies
| | e n | | 0 C 1 ( τ + h 2 ) ,
where C 1 = C Γ ( 2 α ) T L a 6 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) . In the same way, we have
| | e n | | 1 C 2 ( τ + h 2 ) ,
and
| | e n | | C 3 ( τ + h 2 ) ,
where C 2 = C Γ ( 2 α ) T L a 3 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) and C 3 = C L 2 Γ ( 2 α ) T L a 3 ( a 1 T 1 α + 2 a 2 Γ ( 2 α ) ) . □

5. Numerical Simulation and Discussion

Example 1.
The non-Newtonian Maxwell fluid model with a multi-term fractional order is considered as follows:
a 1 D t α u ( x , t ) + a 2 u ( x , t ) t = a 3 2 u ( u , t ) x 2 a 4 u ( x , t ) a 5 D t β u ( x , t ) + f ( x , t ) , u ( x , 0 ) = s i n π x , u t ( x , 0 ) = 0 , u ( 0 , t ) = 0 , u ( 1 , t ) = 0 ,
where ( x , t ) ( 0 , 1 ) × ( 0 , 1 ] , 0 x 1 , 0 t 1 , 1 < α < 2 , 0 < β < 1 , and
f ( x , t ) = s i n π x a 1 Γ ( 3 ) Γ ( 3 α ) t 2 α + 2 a 2 t + a 3 π 2 ( t 2 + 1 ) + a 4 ( t 2 + 1 ) + a 5 Γ ( 3 ) Γ ( 3 β ) t 2 β .
The exact solution to the above fractional order formula (Equation (73)) is u ( x , t ) = ( t 2 + 1 ) s i n π x . In the following, we choose the parameters to be a 1 = a 2 = a 3 = a 4 = a 5 = 1 .
The implicit finite difference scheme in Equation (30) is used to solve the fractional order formula (Equation (73)). We can obtain the numerical results, which are in Table 1, and it yields the L 2 and L error and a convergence order of τ with different α , β , and h = 1 / 1000 at t = 1 . Meanwhile, we found that the results of the numerical simulation were in perfect agreement with the exact solution, which demonstrates that the convergence order reached the expected first order. The comparison of the exact solution and the numerical solution of the fractional order formula (Equation (73)) is given in Figure 1, which further demonstrates the effectiveness and accuracy of our methods. In addition, we used MATALAB R2019b for the numerical computations, and the computation time was 5.0183 s for h = 1 / 1000 and τ = 1 / 640 . The configuration of the Lenovo desktop was as follows: an Inter Core i7-6700HQ, 2.60 GHz with 16 GB of RAM.
Example 2.
The following non-Newtonian Maxwell fluid model with a multi-term fractional order is considered:
a 1 D t α u ( x , t ) + a 2 u ( x , t ) t = a 3 2 u ( u , t ) x 2 a 4 u ( x , t ) a 5 D t β u ( x , t ) + f ( x , t ) , u ( x , 0 ) = 2 s i n π x , u t ( x , 0 ) = 0 , u ( 0 , t ) = 0 , u ( 1 , t ) = 0 ,
where ( x , t ) ( 0 , 1 ) × ( 0 , 1 ] , 0 x 1 , 0 t 1 , 1 < α < 2 , 0 < β < 1 , and
f ( x , t ) = s i n π x a 1 Γ ( 4 ) Γ ( 4 α ) t 3 α + 3 a 2 t 2 + a 3 π 2 ( t 3 + 2 ) + a 4 ( t 3 + 2 ) + a 5 Γ ( 4 ) Γ ( 4 β ) t 3 β .
The exact solution to the above fractional-order formula (Equation (75)) is u ( x , t ) = ( t 3 + 2 ) s i n π x . In the following, we choose the parameters to be a 1 = 1 , a 2 = 2 , a 3 = 3 , a 4 = 4 , and a 5 = 5 .
The implicit finite difference scheme in Equation (30) is used to solve the fractional order formula in Equation (75). We can obtain the numerical results, which are in Table 2, and giving the L 2 and L error and the convergence order of τ with different α , β , and h = 1 / 1000 at t = 1 . Meanwhile, we found that the results of the numerical simulation were in perfect agreement with the exact solution, which demonstrates that the convergence order reached the expected first order. The comparison of the exact solution and the numerical solution of the fractional order formula in Equation (75) is given in Figure 2, which further demonstrates the effectiveness and accuracy of our methods. In addition, we used MATALAB R2019b to yield the numerical computations, and the computation time was 5.0879s for h = 1 / 1000 and τ = 1 / 640 . The configuration of the Lenovo desktop was as follows: an Inter Core i7-6700HQ, 2.60 GHz with 16 GB of RAM.

6. Conclusions

In our paper, we studied the application of the finite difference method to new unsteady, generalized Maxwell fluids with multi-term time-fractional derivatives. We proposed a new finite difference scheme to approximate the multi-term fractional-order Maxwell model. The stability and convergence analysis of this finite difference scheme was proposed based on the discrete H 1 . Then, we proved that the accuracy of the new finite difference method was O ( τ + h 2 ) . Finally, a numerical example was used to illustrate the validity and rationality of the method. Our method is effective enough to be generalized to solve the fractional-order generalized Oldroyd-B fluid model, fractional-order generalized Burgers fluid model, and other non-Newtonian second-order fluid models. We will use our techniques and methods to simulate some new multi-term, fractional-order non-Newtonian fluid models, such as the Oldroyd-B fluid model and Burgers fluid model with high dimensions, in a future work.

Author Contributions

Y.W. proposed the main idea and initially prepared the manuscript. T.L. supplied the numerical simulation for this paper. Y.Z. revised the English grammar of this paper. All authors have read and agreed to the published version of the manuscript.

Funding

This work was partly supported by Sichuan University of Science and Engineering (Grant No. 2022RC12), the Scientific Research and Innovation Team Program of Sichuan University of Science and Engineering (Grant No. SUSE652B002), and the Postgraduate Innovation Fund Project of Sichuan University of Science and Engineering (Grant No. Y2023337).

Data Availability Statement

The data used to support the findings of this study are available from the corresponding author upon request.

Acknowledgments

The authors would like to thank the editor and the anonymous reviewers for their constructive comments and suggestions to improve the quality of this paper.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Dong, B.; Zhang, Y.; Zhou, X.; Chen, C.; Li, W. Lattice Boltzmann simulation of two-phase flow involving non-Newtonian fluid in rough channels. Therm. Sci. Eng. Prog. 2019, 10, 309–316. [Google Scholar] [CrossRef]
  2. Mahabaleshwar, U.S.; Nagaraju, K.R.; Kumar Vinay, P.N.; Nadagouda, M.N.; Baeeacer, R.; Sheremet, M.A. Effects of Dufour and Soret mechanisms on MHD mixed convective-radiative non-Newtonian liquid flow and heat transfer over a porous sheet. Therm. Sci. Eng. Prog. 2020, 16, 100459. [Google Scholar] [CrossRef]
  3. Yanbarisov, R.; Efremov, Y.; Kosheleva, N.; Timashev, P.; Vassilevski, Y. Numerical modelling of multicellular spheroid compression: Viscoelastic fluid vs. viscoelastic solid. Mathematics 2021, 9, 2333. [Google Scholar] [CrossRef]
  4. Rasheed, A.; Anwar, M.S. Interplay of chemical reacting species in a fractional viscoelastic fluid flow. J. Mol. Liq. 2019, 273, 576–588. [Google Scholar] [CrossRef]
  5. Li, G.; Lauga, E.; Ardekani, A.M. Microswimming in viscoelastic fluids. J. Non-Newton. Fluid Mech. 2021, 297, 104655. [Google Scholar] [CrossRef]
  6. Turkyilmazoglu, M. Three dimensional MHD flow and heat transfer over a stretching/shrinking surface in a viscoelastic fluid with various physical effects. Int. J. Heat Mass Transf. 2014, 78, 150–155. [Google Scholar] [CrossRef]
  7. Li, B.; Liu, G.; Liu, S.; Chen, L. Research on viscoelastic fluid unsteady flow model based on torque loss correction. Polym. Test. 2021, 93, 106927. [Google Scholar] [CrossRef]
  8. Turan, O.; Yigit, S.; Chakraborty, N. Mixed convection of power-law fluids in cylindrical enclosures with a cold rotating top cover and a stationary heated bottom wall. Therm. Sci. Eng. Prog. 2020, 18, 100541. [Google Scholar] [CrossRef]
  9. Kundu, S.; Pani, A.K. Stabilization of Kelvin-Voigt viscoelastic fluid flow model. Appl. Anal. 2019, 98, 2284–2307. [Google Scholar] [CrossRef]
  10. Khan, S.U.; Ali, N.; Sajid, M.; Hayat, T. Heat transfer characteristics in oscillatory hydromagnetic channel flow of Maxwell fluid using Cattaneo-Christov model. Proc. Natl. Acad. Sci. India Sect. A Phys. Sci. 2019, 89, 377–385. [Google Scholar] [CrossRef]
  11. Khan, M.; Ahmed, A.; Irfan, M.; Ahmed, J. Analysis of Cattaneo-Christov theory for unsteady flow of Maxwell fluid over stretching cylinder. J. Therm. Anal. Calorim. 2021, 144, 145–154. [Google Scholar] [CrossRef]
  12. Sun, X.; Wang, S.; Zhao, M.; Zhang, Q. Numerical solution of oscillatory flow of Maxwell fluid in a rectangular straight duct. Appl. Math. Mech. 2019, 40, 1647–1656. [Google Scholar] [CrossRef]
  13. Ahmad, S.; Khan, M.N.; Nadeem, S. Mathematical analysis of heat and mass transfer in a Maxwell fluid with double stratification. Phys. Scr. 2020, 96, 025202. [Google Scholar] [CrossRef]
  14. Haroon, T.; Siddiqui, A.M.; Ullah, H.; Lu, D. Flow of Maxwell fluid in a channel with uniform porous walls. J. Appl. Anal. Comput. 2021, 11, 1322–1347. [Google Scholar]
  15. Ahmed, A.; Khan, M.; Zafar, A.; Yasir, M.; Ayub, M. Analysis of Soret-Dufour theory for energy transport in bioconvective flow of Maxwell fluid. Ain Shams Eng. J. 2023, 14, 102045. [Google Scholar] [CrossRef]
  16. Arora, S.; Mathur, T.; Agarwal, S.; Tiwari, K.; Gupta, P. Applications of fractional calculus in computer vision: A survey. Neurocomputing 2022, 489, 407–428. [Google Scholar] [CrossRef]
  17. Ikram, M.D.; Imran, M.A.; Chu, Y.; Akgül, A. MHD flow of a Newtonian fluid in symmetric channel with ABC fractional model containing hybrid nanoparticles. Comb. Chem. High Throughput Screen. 2022, 25, 1087–1102. [Google Scholar]
  18. Abbes, A.; Ouannas, A.; Shawagfeh, N. An incommensurate fractional discrete macroeconomic system: Bifurcation, chaos, and complexity. Chin. Phys. B 2023, 32, 030203. [Google Scholar] [CrossRef]
  19. Meng, R. Application of fractional calculus to modeling the non-linear behaviors of ferroelectric polymer composites: Viscoelasticity and dielectricity. Membranes 2021, 11, 409. [Google Scholar] [CrossRef]
  20. Weiss, C.J.; van Bloemen Waanders, B.G.; Antil, H. Fractional operators applied to geophysical electromagnetics. Geophys. J. Int. 2020, 220, 1242–1259. [Google Scholar] [CrossRef]
  21. Tan, W.; Xu, M. Plane surface suddenly set in motion in a viscoelastic fluid with fractional Maxwell model. Acta Mech. Sin. 2002, 18, 342–349. [Google Scholar]
  22. Qi, H.; Jin, H. Unsteady rotating flows of a viscoelastic fluid with the fractional Maxwell model between coaxial cylinders. Acta Mech. Sin. 2006, 22, 301–305. [Google Scholar] [CrossRef]
  23. Vieru, D.; Fetecau, C.; Fetecau, C. Flow of a viscoelastic fluid with the fractional Maxwell model between two side walls perpendicular to a plate. Appl. Math. Comput. 2008, 200, 459–464. [Google Scholar] [CrossRef]
  24. Razzaq, A.; Seadawy, A.R.; Raza, N. Heat transfer analysis of viscoelastic fluid flow with fractional Maxwell model in the cylindrical geometry. Phys. Scr. 2020, 95, 115220. [Google Scholar] [CrossRef]
  25. Huang, J.; Chen, L.; Li, S.; Guo, J.; Li, Y. Numerical study for the Performance of Viscoelastic Fluids on Displacing Oil Based on the Fractional-Order Maxwell Model. Polymers 2022, 14, 5381. [Google Scholar] [CrossRef]
  26. Akyildiz, F.T.; Siginer, D.A. Exact solution of the startup electroosmotic flow of generalized Maxwell fluids in triangular microducts. J. Fluids Eng. 2021, 143, 101302. [Google Scholar] [CrossRef]
  27. Riaz, M.B.; Atangana, A.; Iftikhar, N. Heat and mass transfer in Maxwell fluid in view of local and non-local differential operators. J. Therm. Anal. Calorim. 2021, 143, 4313–4329. [Google Scholar] [CrossRef]
  28. Raza, N.; Ullah, M.A. A comparative study of heat transfer analysis of fractional Maxwell fluid by using Caputo and Caputo-Fabrizio derivatives. Can. J. Phys. 2020, 98, 89–101. [Google Scholar] [CrossRef]
  29. Moosavi, R.; Moltafet, R.; Shekari, Y. Analysis of viscoelastic non-Newtonian fluid over a vertical forward-facing step using the Maxwell fractional model. Appl. Math. Comput. 2021, 401, 126119. [Google Scholar] [CrossRef]
  30. Saqib, M.; Hanif, H.; Abdeljawad, T.; Khan, I. Heat transfer in MHD flow of maxwell fluid via fractional cattaneo-friedrich model: A finite difference approach. Comput. Mater. Contin. 2020, 65, 1959–1973. [Google Scholar] [CrossRef]
  31. Moosavi, R.; Moltafet, R.; Lin, C.; Chuang Abel, P. Numerical modeling of fractional viscoelastic non-Newtonian fluids over a backward facing step-Buoyancy driven flow and heat transfer. Therm. Sci. Eng. Prog. 2021, 21, 100767. [Google Scholar] [CrossRef]
  32. Zhao, J.; Zheng, L.; Zhang, X.; Liu, F. Unsteady natural convection boundary layer heat transfer of fractional Maxwell viscoelastic fluid over a vertical plate. Int. J. Heat Mass Transf. 2016, 97, 760–766. [Google Scholar] [CrossRef]
  33. Fetecau, C.; Athar, M.; Fetecau, C. Unsteady ow of a generalized Maxwell fuid with fractional derivative due to a constantly accelerating plate. Comput. Math. Appl. 2009, 57, 596–603. [Google Scholar]
  34. Podlubny, I. Fractionsl Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  35. Sun, Z.; Wu, X. A fully discrete difference scheme for a diffusion-wave system. Appl. Numer. Math. 2006, 56, 193–209. [Google Scholar] [CrossRef]
Figure 1. The comparison of the numerical solution and the exact solution with the order α = 1.5 , β = 0.5 , τ = 1 / 640 , and h = 0.0001 at t = 1 .
Figure 1. The comparison of the numerical solution and the exact solution with the order α = 1.5 , β = 0.5 , τ = 1 / 640 , and h = 0.0001 at t = 1 .
Fractalfract 08 00136 g001
Figure 2. The comparison of the numerical solution and the exact solution with order α = 1.8 , β = 0.7 , τ = 1 / 640 , and h = 0.0001 at t = 1 .
Figure 2. The comparison of the numerical solution and the exact solution with order α = 1.8 , β = 0.7 , τ = 1 / 640 , and h = 0.0001 at t = 1 .
Fractalfract 08 00136 g002
Table 1. The temporal error L 2 , L and convergence of the difference scheme I with different orders α and β when h = 0.001 and t = 1 .
Table 1. The temporal error L 2 , L and convergence of the difference scheme I with different orders α and β when h = 0.001 and t = 1 .
α = 1.5 , β = 0.5 | | E ( h , τ ) | | 0 Order | | E ( h , τ ) | | Order
1/402.8621 × 10 3 4.0476 × 10 3
1/801.4087 × 10 3 1.0231.9922 × 10 3 1.023
1/1606.9717 × 10 4 1.0159.8594 × 10 4 1.015
1/3203.4645 × 10 4 1.0094.8995 × 10 4 1.009
1/6401.7278 × 10 4 1.0042.4434 × 10 4 1.004
α = 1.5 , β = 0.7 | | E ( h , τ ) | | 0 Order | | E ( h , τ ) | | Order
1/403.1908 × 10 3 4.5125 × 10 3
1/801.5587 × 10 3 1.0342.2044 × 10 3 1.034
1/1607.6515 × 10 4 1.0271.0821 × 10 3 1.027
1/3203.7717 × 10 4 1.0215.3340 × 10 4 1.021
1/6401.8668 × 10 4 1.0152.6400 × 10 4 1.015
α = 1.8 , β = 0.7 | | E ( h , τ ) | | 0 Order | | E ( h , τ ) | | Order
1/402.7492 × 10 3 3.8880 × 10 3
1/801.3171 × 10 3 1.0611.8626 × 10 3 1.062
1/1606.3821 × 10 4 1.0459.0257 × 10 3 1.045
1/3203.1190 × 10 4 1.0334.4110 × 10 4 1.033
1/6401.5350 × 10 4 1.0232.1708 × 10 4 1.023
Table 2. The temporal error L 2 , L and convergence of difference scheme I with different orders α and β when h = 0.001 and t = 1 .
Table 2. The temporal error L 2 , L and convergence of difference scheme I with different orders α and β when h = 0.001 and t = 1 .
α = 1.5 , β = 0.5 | | E ( h , τ ) | | 0 Order | | E ( h , τ ) | | Order
1/404.4875 × 10 3 6.3463 × 10 3
1/802.17887 × 10 3 1.0423.0813 × 10 3 1.042
1/1601.0650 × 10 3 1.0331.5061 × 10 3 1.033
1/3205.2380 × 10 4 1.0247.4077 × 10 4 1.024
1/6402.5912 × 10 4 1.0153.6646 × 10 4 1.015
α = 1.5 , β = 0.7 | | E ( h , τ ) | | 0 Order | | E ( h , τ ) | | Order
1/405.3384 × 10 3 7.5497 × 10 3
1/802.5484 × 10 3 1.0673.6040 × 10 3 1.067
1/1601.2232 × 10 3 1.0591.7300 × 10 3 1.059
1/3205.9084 × 10 4 1.0508.3558 × 10 4 1.050
1/6402.8727 × 10 4 1.0404.0627 × 10 4 1.040
α = 1.8 , β = 0.7 | | E ( h , τ ) | | 0 Order | | E ( h , τ ) | | Order
1/405.8816 × 10 3 8.3178 × 10 3
1/802.7960 × 10 3 1.0733.9541 × 10 3 1.073
1/1601.3360 × 10 3 1.0661.8893 × 10 3 1.066
1/3206.4204 × 10 4 1.0579.0799 × 10 4 1.057
1/6403.1052 × 10 4 1.0484.3915 × 10 4 1.048
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

Wang, Y.; Li, T.; Zhao, Y. The Finite Difference Method and Analysis for Simulating the Unsteady Generalized Maxwell Fluid with a Multi-Term Time Fractional Derivative. Fractal Fract. 2024, 8, 136. https://doi.org/10.3390/fractalfract8030136

AMA Style

Wang Y, Li T, Zhao Y. The Finite Difference Method and Analysis for Simulating the Unsteady Generalized Maxwell Fluid with a Multi-Term Time Fractional Derivative. Fractal and Fractional. 2024; 8(3):136. https://doi.org/10.3390/fractalfract8030136

Chicago/Turabian Style

Wang, Yu, Tianzeng Li, and Yu Zhao. 2024. "The Finite Difference Method and Analysis for Simulating the Unsteady Generalized Maxwell Fluid with a Multi-Term Time Fractional Derivative" Fractal and Fractional 8, no. 3: 136. https://doi.org/10.3390/fractalfract8030136

Article Metrics

Back to TopTop