Next Article in Journal
SafeWitness: Crowdsensing-Based Geofencing Approach for Dynamic Disaster Risk Detection
Next Article in Special Issue
Applying Two Fractional Methods for Studying a Novel General Formula of Delayed-Neutron-Affected Nuclear Reactor Equations
Previous Article in Journal
Analysis Modulation Instability and Parametric Effect on Soliton Solutions for M-Fractional Landau–Ginzburg–Higgs (LGH) Equation Through Two Analytic Methods
Previous Article in Special Issue
Fractional-Calculus Analysis of the Dynamics of a Vector-Borne Infection with Preventive Measures
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A Compact Difference-Galerkin Spectral Method of the Fourth-Order Equation with a Time-Fractional Derivative

1
School of Science, Jiangsu University of Science and Technology, Zhenjiang 212003, China
2
Zhenjiang Jizhi Ship Technology Co., Ltd., Zhenjiang 212003, China
3
Yangzijiang Shipbuilding Group, Taizhou 212299, China
*
Author to whom correspondence should be addressed.
Fractal Fract. 2025, 9(3), 155; https://doi.org/10.3390/fractalfract9030155
Submission received: 28 November 2024 / Revised: 15 February 2025 / Accepted: 18 February 2025 / Published: 3 March 2025
(This article belongs to the Special Issue Advances in Fractional Modeling and Computation)

Abstract

In this article, we proposed a compact difference-Galerkin spectral method for the fourth-order equation in multi-dimensional space with the time-fractional derivative order α ( 1 , 2 ) . The novel compact difference-Galerkin spectral method can effectively address the issue of high-order derivative accuracy and handle complex boundary problems. Simultaneously, the main conclusions of this article, including the stability, convergence, and solvability of the method, are derived. Finally, some computational experiments are illustrated to demonstrate the superiority of the compact difference-Galerkin spectral method.

1. Introduction

Fractional calculus is generally the generalization of integer-order derivatives and integrals to the case of arbitrary non-integer orders. However, the concept of fractional calculus emerged almost simultaneously with integer-order calculus. The concept of fractional calculus was first proposed by L’Hospital and Leibniz [1]. Historically, Leibniz, Euler, Laplace, Lacroix, and Fourier all noticed derivatives of arbitrary orders. A series of articles published by Liouville from 1832 to 1837 made him the de facto founder of the theory of fractional calculus. After Liouville, Riemann, Fourier, Willian Center, Morgan, Bernhard Riemann, Cayley, and Weyl also conducted work of great significance. After more than 300 years of development, fractional calculus and fractional differential equations have been deeply studied and widely applied in many fields of science and engineering, including fluid mechanics, electronic networks, electromagnetics, probability theory, statistics, viscoelasticity theory, electrochemistry, quantum mechanics, plasma physics, superconductivity, materials science, turbulence, economics and finance, etc. [2,3,4,5,6,7,8,9].
In 1965, Professor Mandelbrot of Yale University in the United States proposed the concept of fractals and believed that there are a large number of phenomena with fractional dimensions in nature and engineering, and their essence is the self-similarity between the whole and the part [10]. It is believed that there is a close internal connection between fractional Brownian motion and the definition of fractional calculus proposed by Riemann-Liouville. Since then, as the basis of fractal geometry and fractal dynamics, the research on fractional operator theory and fractional differential equations has begun to receive extensive attention, and the focus of fractional calculus research has gradually shifted from the pure mathematical field to other disciplinary fields.
Geophysicists Caputo [11] and Mainardi [12] used the fractional calculus method to study complex viscoelastic and rheological media and developed several new mechanical models. Moreover, more importantly, Caputo [11] developed a new definition different from the traditional Riemann-Liouville fractional-derivative definition, which overcame the strong singularity of the former and naturally included the initial conditions in the definition, and has been widely applied in solving practical problems. The first doctoral dissertation on fractional-order viscoelastic material modeling was completed by Bagley under the guidance of Torvik [13]. After that, the application of fractional calculus to the modeling of viscoelastic materials and other complex mechanical processes began to receive increasing attention.
Here, we will consider the following fourth-order equation with a time-fractional derivative in multi-dimensional space:
D t α 0 c u ( x , t ) D t α 0 c Δ u ( x , t ) = 2 u ( x , t ) + u ( x , t ) + f ( x , t ) , x Ω , t ( 0 , T ] ,
with the following initial and boundary conditions:
u ( x , 0 ) = u 0 ( x ) , u t ( x , 0 ) = v 0 ( x ) , x Ω , u ( x , t ) = Δ u ( x , t ) = 0 , x Γ , t ( 0 , T ] ,
where u ( x , t ) is an unknown function and f ( x , t ) is the source term. Here, D t β 0 c denotes the Caputo fractional derivative of order β and it is defined by [2,11,12]
D t β 0 c u ( x , t ) = 1 Γ ( 2 β ) 0 t 2 u ( x , η ) η 2 d η ( t η ) β 1 , 1 β 2 ,
where Γ ( · ) is the Gamma function.
In recent decades, the fourth-order model system [14,15] constitutes a significant element of the fractional-order system. It is widely present in diverse domains such as physics, engineering, and statistics. For instance, it can be found in wave equations of beam systems [16], a system of flat surface furnished with grooves [17,18], and several formations in mathematical modeling pertaining to fourth-order subdiffusion systems [18,19,20,21], among others. Owing to the circumstance that most fractional partial differential equations lack an analytical solution, a substantial number of researchers have focused their efforts on approximation or numerical techniques applicable to these fractional-order systems. A significant portion of the research community has centered on the strong format. This particular model is directly derived from the original discrete equation and is thus also known as the collocation method. The strong formulation proves to be reliable, exhibits a simple structure, and expedites the establishment of the algebraic system. The homotopy analysis method has been employed to obtain approximations for specific fractional partial differential equations, as reported in relevant references [22,23]. A finite difference approximation in the time direction and a finite element method in the spatial direction are presented and deliberated to seek the numerical solutions of a time-fractional fourth-order reaction–diffusion problem. Furthermore, certain fractional differential equations which are applied in the modeling of dynamical systems have been explored by means of an implicit difference format, as documented in reference [24]. Parvizi et al. have effectively harnessed the Jacobi collocation method in reference [25] to acquire the numerical resolution of the fractional equation accompanied by a nonlinear source term, and comparable research undertakings are still in progress.
Nearly all of these schemes need to take into account the strong form (collocation method). In the strong form, it demands that the analytic function possesses a relatively high degree of smoothness. Meanwhile, the Galerkin weak form is more convenient for dealing with complex boundary conditions. For complex geometric shapes and boundary conditions, the strong form may lead to great difficulties in solving the equations. The Galerkin weak form is capable of handling boundary conditions more flexibly. Meanwhile, this article employs the time derivative scenario of the unknown function as it is convenient for obtaining the representations of the second-order derivative situation and facilitating the integration process. By combining the advantages mentioned above, the new scheme we obtain is more stable. The remainder of this paper is structured in the following manner: In Section 2 and Section 3, a compact difference-Galerkin method is deduced and several preliminary concepts as well as lemmas are introduced. In Section 4, the principal conclusions of this article, which encompass the stability, convergence, and solvability of the method, are verified. In Section 5, a number of computational experiments are exemplified to exhibit the superiority of the difference-Galerkin method. Eventually, certain conclusions are provided in Section 6.

2. Algebraic Equation and Preliminaries

2.1. Variational Equations for the Fourth-Order Equation

Denote the inner product as follows:
( u , w ) = Ω u w d Ω , u , w L 2 ( Ω ) .
Then, the variable formulation of (1) is restated in the following manner:
( D t α 0 c u , w ) + ( D t α 0 c u , w ) = ( ( u ) , w ) ( u , w ) + ( f , w ) , w H 1 ( Ω ) .
Let { t n | n 0 } denote the equidistant time interval, with t n = n τ , τ > 0 . Moreover, suppose
v ( t i + 1 ) / t = ( v i + 1 v i ) / τ , u n = u 0 + τ k = 1 n ( v k 1 + v k ) / 2 ,
where u n , v n represent the values of the function and its first derivative function at the time t n .
The difference scheme of (1) and (5) is presented as follows:
1 τ Γ ( 2 α ) a 0 v n k = 1 n 1 ( a n k 1 a n k ) v n a n 1 v 0 , w + 1 τ Γ ( 2 α ) a 0 v n k = 1 n 1 ( a n k 1 a n k ) v n a n 1 v 0 , w = Δ u n 1 + τ v n 1 + v n 2 , w u n 1 + τ v n 1 + v n 2 , w + ( f n , w ) + ( R τ n , w ) , w H 0 1 ( Ω ) ,
where a l = t l t l + 1 d t t α 1 = τ 3 α 2 α ( l + 1 ) 2 α l 2 α , b l = a n l . It is easy to verify that a l is a monotone decreasing sequence for each n with a 0 = τ 2 α / ( 2 α ) .

2.2. Galerkin–Legendre Scheme

Let { L i } j = 0 p be a set of orthogonal Legendre polynomial bases in one-dimensional space:
L 0 = 1 , L 1 = x , ( j + 2 ) L j + 2 = ( 2 j + 3 ) x L j + 1 ( j + 1 ) L j , j = 2 ,
such that
( L i , L j ) = ( i + 1 / 2 ) 1 δ i j , 0 i , j < .
Here, δ represents the delta function. From [26], two kinds of the best basis functions in H 0 1 ( Ω ) and H 0 2 ( Ω ) are
H 0 1 ( Ω ) = s p a n { ϕ i ( x ) , 0 i < } , H 0 2 ( Ω ) = s p a n { ψ i ( x ) , 0 i < } ,
where
ϕ i ( x ) = L i ( x ) L i + 2 ( x ) , ψ i ( x ) = L i ( x ) 2 ( 2 i + 5 ) 2 i + 7 L i + 2 ( x ) + 2 i + 3 2 i + 7 L i + 4 ( x ) , i = 0 , 1 ,
such that
( ϕ i , ϕ j ) = ( 4 i + 6 ) 1 δ i j , ( ψ i , ψ j ) = ( 2 ( 2 i + 3 ) 2 ( 2 i + 5 ) ) 1 δ i j , 0 i , j < .

2.3. Algebraic Equation of Weak Form with the Boundary Conditions

Take a one-dimensional problem as an example, assuming a column vector
U = [ u 0 , u 1 , u 2 , , u M ] T , V = [ v 0 , v 1 , v 2 , , v M ] T ,
where u ( x i ) , v ( x i ) , a n d   w ( x i ) represent the i-st node function value, derivative value of u, and w function value, respectively, and M represents the number of nodes.
Using the spectral method, the r-th derivative of U can be discretized as
U ( r ) = A r U ,
where A is the first-order differential matrix.
In general, we also have
Ω g ( x ) d ( Ω ) = i = 1 M g ( x i ) ω i .
ω i is called the volume element on the node x i in physics, and it is also named the weight for the corresponding numerical integration in mathematics.
To facilitate the application of boundary conditions, the variables v n and Δ u n are used simultaneously with the following supplementary equation:
Δ u n , w + u n 1 + τ v n 1 + v n 2 , w = 0 .
We multiply both sides of the above equation by 2 τ and considering the arbitrariness of w, and we use Equations (7) and (11) to obtain the following system of equations in matrix form:
a 0 τ Γ ( 2 α ) ( Ω + A T Ω A ) + τ 2 A T Ω A A T Ω A A T Ω A 2 τ Ω V n Δ U n = P A T Ω A ( 2 τ U n 1 + V n 1 ) ,
where P = P 1 + P 2 + Ω F , P 1 = Ω ( I Δ ) τ Γ ( 2 α ) k = 1 n 1 ( a n k 1 a n k ) V n + a n 1 V 0 , P 2 = τ ( Ω A T Ω A ) Δ U n 1 + Δ V n 1 2 , Ω is a diagonal matrix composed of weight vectors ω i and F is composed of the source terms of each node.
Further, we introduce the following boundary conditions: B V n = B V n 1 , B ( Δ U n ) = 0 , where B is the matrix assembled from all boundary points.

2.4. Preliminary Lemmas

We also define
g n = max 0 i M | g i n | , | g n | = h i = 1 M ( g i 1 n ) 2 , h = x x h x .
Furthermore, in the case where g ( Γ ) = 0 , we obtain
g n D 2 | g n | ,
where D represents the measure of the spatial domain Ω .
Next, the following theorem offers an error estimation for the Galerkin method:
Theorem 1.
If u, w, u p and w p C n + 1 ( Ω ) , where Ω has a nonempty, open bounded set with a Lipschitz continuous boundary, then the following error estimates hold:
u ( k ) u p ( k ) c 1 u n + 1 h min { p , n + 1 } 2 k ,
and
( u ( k 1 ) , w ( k 2 ) ) i = 1 M g ( x i ) u p ( k 1 ) w p ( k 2 ) c 1 * h 2 min { p , n + 1 } 4 k 1 k 2 .
For the high-dimensional case, the above corresponding properties also hold with a small change of the coefficient (see [26]).

3. Some Lemmas

Regarding the fractional derivative of the proposed scheme, upon setting w equal to v, some lemmas [27,28] are required:
Lemma 1.
For n 1 and t k = k τ , 0 k n , we have
0 k = 1 n t k 1 t k ( t n t ) 2 α ( t n 1 t ) 2 α + ( t n t ) 2 α 2 d t 2 α 12 + 2 3 α 3 α ( 1 + 2 1 α ) τ 3 α .
Lemma 2.
Suppose v ( t ) C 2 ( [ 0 , t n ] ) . Then,
0 t n v ( t ) d t ( t n t ) α 1 k = 1 n v k v k 1 τ t k 1 t k d t ( t n t ) α 1 τ 3 α 2 α 2 α 12 + 2 3 α 3 α ( 1 + 2 1 α ) v ( t ) L 2 , ( [ 0 , t n ] ) .
Lemma 3.
Suppose v ( t ) C 2 [ 0 , t n ] . Then,
0 t n v ( t ) d t ( t n t ) α 1 1 τ a 0 v n k = 1 n 1 ( a n k 1 a n k ) v k a n 1 v 0 τ 3 α 2 α 2 α 12 + 2 3 α 3 α ( 1 + 2 1 α ) g ( t ) L 1 , ( [ 0 , t n ] ) .
where a l n is defined in (7) and 1 < α < 2 .
Based on Lemma 3 and by introducing Equation (17), we have
D 0 α c u ( x , t ) = 1 Γ ( 2 α ) 0 t 2 u ( x , t ) t 2 d t ( t n t ) α 1 , = 1 τ Γ ( 2 α ) a 0 v n k = 1 n 1 ( a n k 1 a n k ) v k a n 1 v 0 + ( r 1 ) i n ,
and
u i n x = i = 1 M L ( x i ) u i n + ( r 2 ) i n , 2 u i n x 2 = i = 1 M L ( x i ) u i n + ( r 3 ) i n ,
where
| ( r 1 ) i n | c 1 τ 3 α , | ( r 2 ) i n | c 2 ( τ 2 + h min { p , n + 1 } 3 ) , | ( r 3 ) i n | c 3 ( τ 2 + h min { p , n + 1 } 4 ) .
By substituting the aforesaid results into (1), taking into account the initial values and setting w = v n , we obtain
1 τ Γ ( 2 α ) i M ω i v i n a 0 v i n k = 1 n 1 ( a n k 1 a n k ) v i k a n 1 v i 0 + 1 τ Γ ( 2 α ) i M ω i v i n a 0 v i n k = 1 n 1 ( a n k 1 a n k ) v i k a n 1 v i 0 = τ i M ω i Δ ( k = 1 n 1 v i k + v i 0 + v i n 2 ) Δ v i n τ i M ω i ( k = 1 n 1 v i k + v i 0 + v i n 2 ) v i n + i M ω i F ^ i n u i + R i n , v n ,
where
| R n | C ( τ 3 α + h min { p , n + 1 } 4 ) .

4. Main Results

Before proving the solvability, stability and convergence, we present the following lemmas:
Lemma 4.
For any v = { v ( t 0 ) , v ( t 1 ) , v ( t 2 ) , } , we have
n = 1 N a 0 n v n k = 1 n 1 ( a n k 1 n v n a n k n v n ) v k a n 1 n v 0 , v n t N 1 α 2 τ n = 1 N v n 2 t N 2 α 2 ( 2 α ) v 0 2 .
Proof. 
n = 1 N a 0 n v n k = 1 n 1 ( a n k 1 n a n k n ) v k a n 1 n v 0 , v n = n = 1 N a 0 n v n 2 n = 1 N k = 1 n 1 ( a n k 1 n a n k n ) v k , v n n = 1 N a n 1 n v 0 , v n n = 1 N a 0 n v n 2 1 2 n = 1 N k = 1 n 1 ( a n k 1 n a n k n ) ( v k 2 + v n 2 ) 1 2 n = 1 N a n 1 n ( v 0 2 + v n 2 ) = n = 1 N a 0 n v n 2 1 2 n = 1 N k = 1 n 1 ( a n k 1 n a n k n ) v ( t k ) 2 1 2 n = 1 N k = 1 n 1 ( a n k 1 n a n k n ) v n 2 1 2 n = 1 N a n 1 n v 0 2 1 2 n = 1 N a n 1 n v n 2 .
By interchanging the summation order of the third term within the last inequality, we are able to obtain
n = 1 N a 0 n v n k = 1 n 1 ( a n k 1 n a n k n ) v k a n 1 n v 0 , v n n = 1 N a 0 n v n 2 1 2 n = 2 N ( a 0 n a n 1 n ) v n 2 1 2 n = 1 N 1 ( a 0 n a N n n ) v k 2 1 2 n = 1 N a n 1 n ( v 0 2 + v n 2 ) = 1 2 n = 1 N a N n ( t n ) v n 2 1 2 n = 1 N a n 1 ( t n ) v 0 2 1 2 a N 1 n = 1 N v n 2 t N 2 α 2 ( 2 α ) v 0 2 1 2 t N 1 α τ n = 1 N v n 2 t N 2 α 2 ( 2 α ) v 0 2 ,
where { a l n } is a strictly decreasing sequence for a fixed n and n = 1 N a n 1 ( t n ) n = 0 N 1 a n = t 0 t N d ς ς α 1 = t N 2 α 2 α , a l = t l 1 t l ς 1 α d ς t l + 1 1 α τ . □
Lemma 5.
Suppose that { v n } is the solution of
1 τ Γ ( 2 α ) i M ω i v i n a 0 v i n k = 1 n 1 ( a n k 1 a n k ) v i k a n 1 v i 0 + 1 τ Γ ( 2 α ) i M ω i v i n a 0 v i n k = 1 n 1 ( a n k 1 a n k ) v i k a n 1 v i 0 = τ i M ω i Δ ( k = 1 n 1 v i k + v i 0 + v i n 2 ) Δ v i n τ i M ω i ( k = 1 n 1 v i k + v i 0 + v i n 2 ) v i n + R n , v n , u 0 = 0 , u n ( Γ ) = 0 , 1 i M 1 , n = 1 , 2 ,
We have
k = 1 n v k 2 1 τ Γ ( 2 α ) t m 2 α ( 2 α ) v 0 2 + h Γ ( 2 α ) τ 1 t m α 1 n = 1 m R n 2 .
Proof. 
Using Lemma 1, we have
1 Γ ( 2 α ) n = 1 m a 0 v n k = 1 n 1 ( a n k 1 a n k ) v k a n 1 v 0 , v 1 2 Γ ( 2 α ) t N 1 α τ n = 1 N v n 2 t m 2 α 2 Γ ( 3 α ) h i = 1 M v i 0 2 ,
and
1 Γ ( 2 α ) n = 1 m Δ a 0 v n k = 1 n 1 ( a n k 1 a n k ) v k a n 1 v 0 , v 1 2 Γ ( 2 α ) t N 1 α τ n = 1 N v n 2 t m 2 α 2 Γ ( 3 α ) h i = 1 M v i 0 2 ,
Applying the boundary conditions as given in (26), we have v n ( Γ ) = v n ( Γ ) = 0 . Consequently,
τ n = 1 m Δ ( k = 1 n 1 v k + v 0 + v n 2 ) , v n = τ 2 2 k = 1 n ( v k ) 2
τ n = 1 m Δ 2 ( k = 1 n 1 v k + v 0 + v n 2 ) , v n = τ 2 2 k = 1 n Δ ( v k ) 2
In addition,
τ n = 1 m R n , v n 1 2 n = 1 m 1 Γ ( 2 α ) τ t m 1 α v n 2 + h 2 Γ ( 2 α ) τ t m α 1 R n 2 .
By substituting Equations (28)–(32) into (26), we obtain
1 2 Γ ( 2 α ) t N 1 α τ n = 1 N v n 2 t m 2 α 2 Γ ( 3 α ) h n = 1 m ( v 0 2 + v 0 2 ) + t N 1 α τ 2 Γ ( 2 α ) n = 1 N v n 2 τ 2 2 k = 1 n ( v k ) 2 τ 2 2 k = 1 n Δ ( v k ) 2 + τ t m 1 α 2 Γ ( 2 α ) n = 1 m v n 2 + h 2 Γ ( 2 α ) τ t m α 1 n = 1 m R n 2 .
Then,
k = 1 n v k 2 1 τ Γ ( 2 α ) t m 2 α ( 2 α ) v 0 2 + h Γ ( 2 α ) τ 1 t m α 1 n = 1 m R n 2 .
Theorem 2.
The difference scheme given by (7) is uniquely solvable.
Proof. 
Since Equation (7) is a system of linear algebraic equations at each iterative process of a different time level, it is sufficient to show that the corresponding homogeneous equations only have zero solutions. By using Lemma 5, we have
v n = 0 , n = 1 , , N .
By combining the above equality with the boundary condition, we obtain
v i n = 0 , n 1 , 1 i M .
This completes the proof. □
Theorem 3.
Let u ( x , t ) C x , t 4 , 3 ( Ω × [ 0 , T ] ) and { v n | n 0 } be the solution of the difference scheme()-(). Then, for n τ T , we have
| u ( t n ) u n | c D 2 Γ ( 2 α ) T α ( h min { p , n + 1 } 4 + τ 3 α ) ,
where c is a constant number.
Proof. 
Denote
v ^ n = v ( t n ) v n , u ^ n = u ( t n ) u n , n 0
By subtracting (7) from Equations (21) and (22), respectively, we have the error equations
1 τ Γ ( 2 α ) i M ω i v ^ i n a 0 v ^ i n k = 1 n 1 ( a n k 1 a n k ) v ^ i k a n 1 v ^ i 0 + 1 τ Γ ( 2 α ) i M ω i v ^ i n a 0 v ^ i n k = 1 n 1 ( a n k 1 a n k ) v ^ i k a n 1 v ^ i 0 = τ i M ω i Δ ( k = 1 n 1 v ^ i k + v ^ i 0 + v ^ i n 2 ) Δ v ^ i n τ i M ω i ( k = 1 n 1 v ^ i k + v ^ i 0 + v ^ i n 2 ) v ^ i n + R n , v ^ n , u ^ n ( Γ ) = 0 , n 1 .
Using Lemma 2, we have
u ^ m 2 = τ 2 2 k = 1 n ( v ^ k ) 2 h 2 Γ ( 2 α ) t m α 1 τ n = 1 m R i n 2 , n 1 .
By inserting (21) into the right hand of the above inequality, we obtain
u ^ m c D Γ ( 2 α ) T α ( h min { p , n + 1 } 4 + τ 3 α ) , n 1 .
Noticing (14), we have the following result:
u ^ m c D 2 Γ ( 2 α ) T α ( h min { p , n + 1 } 4 + τ 3 α ) , n 1 .
where c is constant. This completes the proof. □

5. Numerical Experiments

In this section, several numerical experiments are presented to analyze the performance of the proposed difference-Galerkin spectral method. In all numerical experiments, the presented methods are local approximate schemes in spatial dimensions Ω . The numerical results were obtained in MATLAB 2023a on an AMD Ryzen 5 (16G RAM) Windows Win11 system. The L error, which will be reported in those examples, is defined as
E n = i = 1 m ( u n ( x i ) u i n ) 2 a n d O r d e r = log 2 ( E n ) log 2 ( E 2 n ) ,
where u i and u ( x i ) denote the numerical and exact solution of the problem, respectively.

5.1. One-Dimensional Time-Fractional Fourth-Order System

Consider that the exact solution to the system is
u ( x , t ) = t k sin ( π x ) / k , x [ 0 , 1 ] , t ( 0 , 1 ] .
In Figure 1, the two figures at the top depict the present solutions for the fractional-order system, with M = 21 , τ = 10 , α = 1.7 , and k = 3.5 . Even though errors are evidently present compared with the analytical solution with τ = 1 / 10 , the complete congruence of the graph shapes vividly attests to the stability of the scheme format.
Taking α = 1.5 and k = 3.5 , Table 1 shows some numerical and exact solutions at the points ( 0.5 , 0.75 ) and ( 0.5 , 1 ) for diverse mesh sizes while maintaining a fixed temporal step. It is evident from this table that the current scheme converges expeditiously towards the exact solutions.
Table 2 exhibits the temporal convergence order of the proposed scheme at t = 1 , which is in proximity to our theoretical values 1.3.

5.2. Two-Dimensional Time-Fractional Fourth-Order System

To implement numerical effectiveness, we consider the two-dimensional time-fractional fourth-order system that follows. The exact solution of the system is
u ( x , t ) = t 3 + α sin ( π x ) sin ( π y ) + t sin ( π x ) sin ( π y ) , x [ 0 , 1 ] 2 , t ( 0 , 1 ] .
Take M = 21 , and let α = 1.7 , 1.5 , 1.3 , respectively. Table 3 presents specific numerical results related to the infinity norm errors and the convergence order for different temporal mesh sizes at t = 1. From these results, it can be observed that the temporal convergence order is approximately and close to 3 α .
In Figure 2, when τ = 1 / 10 and α = 1.4 at t = 1 , the surfaces of the numerical solution as well as the absolute error of u are depicted. It is readily observable that the numerical solutions are in extremely close proximity to the analytical solutions. By making a comparison between the two surfaces of u, it can be discerned that the surface of the absolute error coincides with that of the numerical results. A comparable conclusion concerning the relationship between the numerical solution and the absolute error of u is derived in Figure 2.

5.3. Three-Dimensional Time-Fractional Fourth-Order System

To implement the numerical effectiveness, the following fractional fourth-order system is considered. The analytical solution of this system is u ( x , t ) = t 3 3 sin ( π x ) sin ( π y ) sin ( 2 π z ) , x [ 0 , 1 ] 3 , t ( 0 , 1 ] . By setting M = 13 and τ = 1 / 20 , three comparisons of the surfaces between the exact solution and the numerical solution are exhibited, along with the condition x = 1 / 2 at t = 1 when taking α = 1.6 into account in Figure 3.
Let α assume the values 1.3, 1.5, and 1.7, respectively. Table 4 presents specific numerical results related to the maximum errors and the corresponding temporal convergence order for different temporal mesh sizes at t = 1. From these results, it can be observed that the temporal convergence order is approximately and closely equal to 3 α .

6. Conclusions

In this paper, we present a compact difference-Galerkin spectral scheme for coupledly solving a multi-dimensional variable coefficient time-fractional fourth-order partial differential system. The main conclusions of this article, including the stability, convergence, and solvability of the method, were derived. Finally, some computational experiments are illustrated to demonstrate the superiority of the compact difference-Galerkin method. Lastly, we plan to carry out a multitude of subsequent works, including ones on special boundary conditions, discontinuous solutions, and so on.

Author Contributions

Methodology and formal analysis, S.Y.; writing—original draft preparation, Y.W. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Data Availability Statement

The data will be made available by the authors on request.

Conflicts of Interest

Shichao Yi was employed by the Yangzijiang Shipbuilding Group. The remaining authors declare that this research was conducted in the absence of any commercial or financial relationships that could be construed as a potential conflicts of interest. The Yangzijiang Shipbuilding Group had no role in the design of this study; in the collection, analysis, or interpretation of data; in the writing of this manuscript, or in the decision to publish the results.

References

  1. Samko, S.G.; Kilbas, A.A.; Marichev, O.I. Fractional Integrals and Derivatives: Theory Applications; Gordon and Breach Science: New York, NY, USA, 1993. [Google Scholar]
  2. Podlubny, I. Fractional Differential Equations; Academic Press: New York, NY, USA, 1999. [Google Scholar]
  3. Kilbas, A.A.; Srivastava, H.M.; Trujillo, J.J. Theory and Applications of Fractional Differential Equations; North-Holland: New York, NY, USA, 2006. [Google Scholar]
  4. Baleanu, D.; Diethelm, K.; Scalas, E.; Trujillo, J.J. Fractional Calculus Models and Numerical Methods; Series on Complexity, Nonlinearity and Chaos; World Scientific: Singapore, 2012. [Google Scholar]
  5. Sun, H.; Zhang, Y.; Baleanu, D.; Chen, W.; Chen, Y. A new collection of real world applications of fractional calculus in science and engineering. Commun. Nonlinear Sci. Numer. Simul. 2018, 64, 213–231. [Google Scholar] [CrossRef]
  6. Li, X.; Xu, C. A space-time spectral method for the time fractional diffusion equation. SIAM J. Numer. Anal. 2009, 47, 2108–2131. [Google Scholar] [CrossRef]
  7. Zhao, J.; Xiao, J.; Xu, Y. Stability and convergence of an effective finite element method for multiterm fractional partial differential equations. Abstr. Appl. Anal. 2013, 2013, 857205. [Google Scholar] [CrossRef]
  8. Zhuang, P.; Gu, Y.T.; Liu, F.; Turner, I.; Yarlagadda, P.K.D.V. Time-dependent fractional advection-diffusion equations by an implicit MLS meshless method. Int. J. Numer. Methods Eng. 2011, 88, 1346–1362. [Google Scholar] [CrossRef]
  9. Gu, X.M.; Sun, H.W.; Zhao, Y.L.; Zheng, X. An implicit difference scheme for time-fractional diffusion equations with a time-invariant type variable order. Appl. Math. Lett. 2021, 120, 107270. [Google Scholar] [CrossRef]
  10. Mandelbrot, B.B. The Fractal Geometry of Nature; WH Freeman: New York, NY, USA, 1982. [Google Scholar]
  11. Caputo, M. Elasticitàe Dissipazione; Zanichelli: Bologna, Italy, 1969. [Google Scholar]
  12. Caputo, M.; Mainardi, F. Linear models of dissipation in an elastic solids. Riv. Nuevo Clmento (Ser. II) 1971, 1, 161–198. [Google Scholar]
  13. Bagley, R. Applications of Generalized Derivatives of Viscoelasticity. Ph.D. Thesis, Air Force Institute of Technology, Wright-Patterson AFB, OH, USA, 1979. [Google Scholar]
  14. Golbabai, A.; Sayevand, K. Fractional calculus—A new approach to the analysis of generalized fourth-order diffusion-wave equations. Comput. Math. Appl. 2011, 67, 2227–2231. [Google Scholar] [CrossRef]
  15. Jafari, H.; Dehghan, M.; Sayevand, K. Solving a fourth-order fractional diffusion wave equation in a bounded domain by decomposition method. Numer. Methods Partial. Differ. Equ. 2008, 24, 1115–1126. [Google Scholar] [CrossRef]
  16. Agrawal, O.P. A general solution for a fourth-order fractional diffusion-wave equation defined in a bounded domain. Comput. Struct. 2001, 79, 1497–1501. [Google Scholar] [CrossRef]
  17. Oldham, K.B.; Spanier, J. The Fractional Calculus; Academic Press: Cambridge, MA, USA, 1974. [Google Scholar]
  18. Vong, S.; Wang, Z. Compact finite difference scheme for the fourth-order fractional subdiffusion system. Adv. Appl. Math. Mech. 2014, 6, 419–435. [Google Scholar] [CrossRef]
  19. Hu, X.L.; Zhang, L.M. On finite difference methods for fourth-order fractional diffusion-wave and subdiffusion systems. Appl. Math. Comput. 2012, 218, 5019–5034. [Google Scholar] [CrossRef]
  20. Liu, Y.; Du, Y.W.; Li, H.; Li, J.C.; He, S. A two-grid mixed finite element method for a nonlinear fourth-order reaction diffusion problem with time-fractional derivative. Comput. Math. Appl. 2015, 70, 2474–2492. [Google Scholar] [CrossRef]
  21. Liu, Y.; Du, Y.W.; Li, H.; He, S.; Gao, W. Finite difference/finite element method for a nonlinear time-fractional fourth-order reaction-diffusion problem. Comput. Math. Appl. 2015, 70, 573–593. [Google Scholar] [CrossRef]
  22. Dehghan, M.; Manafian, J.; Saadatmandi, A. The solution of the linear fractional partial differential equations using the homotopy analysis method. Z. Naturforschung-A 2010, 65, 935–949. [Google Scholar] [CrossRef]
  23. Dehghan, M.; Manafian, J.; Saadatmandi, A. Solving nonlinear fractional partial differential equations using the homotopy analysis method. Numer. Methods Partial. Differ. Equ. 2010, 26, 448–479. [Google Scholar] [CrossRef]
  24. Zhang, H.; Liu, F.; Phanikumar, M.S.; Meerschaert, M.M. A novel numerical method for the time variable fractional order mobile-immobile advection–dispersion model. Comput. Math. Appl. 2013, 66, 693–701. [Google Scholar] [CrossRef]
  25. Parvizi, M.; Eslahchi, M.R.; Dehghan, M. Numerical solution of fractional advection-diffusion equation with a nonlinear source term. Numer. Algorithms 2015, 68, 601–629. [Google Scholar] [CrossRef]
  26. Tang, T.; Jie, S. Spectral and High-Order Methods with Applications; Science Press: Alexandria, NSW, Australia, 2006. [Google Scholar]
  27. Yi, S.C.; Yao, L.Q. A steady barycentric lagrange interpolation method for the 2d higher order time-fractional telegraph equation with nonlocal boundary condition with error analysis. Numer. Methods Partial. Differ. Equ. 2019, 35, 1694–1716. [Google Scholar] [CrossRef]
  28. Sun, Z.Z.; Wu, X.N. A fully discrete difference scheme for a diffusion-wave system. Appl. Numer. Math. 2006, 56, 193–209. [Google Scholar] [CrossRef]
Figure 1. The curved surfaces of the numerical solution u (left) and the analytical solution (right).
Figure 1. The curved surfaces of the numerical solution u (left) and the analytical solution (right).
Fractalfract 09 00155 g001
Figure 2. The curved surfaces of the numerical solution u (left) and absolute error (right).
Figure 2. The curved surfaces of the numerical solution u (left) and absolute error (right).
Fractalfract 09 00155 g002
Figure 3. The curved surfaces for the numerical solutions (left) and exact solutions (right).
Figure 3. The curved surfaces for the numerical solutions (left) and exact solutions (right).
Fractalfract 09 00155 g003
Table 1. Several numerical outcomes of the diverse space grid schemes ( τ = 1 / 320 ).
Table 1. Several numerical outcomes of the diverse space grid schemes ( τ = 1 / 320 ).
( x , t ) 5791113Exact Solution
( 0.5 , 0.75 ) 0.10460.10440.10440.10440.10440.1044
( 0.5 , 1 ) 0.28630.28570.28570.28570.28570.2857
Table 2. Temporal convergence order of the proposed scheme ( M = 21 ) .
Table 2. Temporal convergence order of the proposed scheme ( M = 21 ) .
τ 1/101/201/401/801/1601/320Value
E n 7.1808 × 10−32.9680 × 10−31.2150 × 10−34.9515 × 10−42.0139 × 10−48.1845 × 10−5
Order 1.27461.28861.29501.29791.29911.3000
Table 3. The convergence order in two-dimensional space at t = 1.
Table 3. The convergence order in two-dimensional space at t = 1.
τ α = 1.7 α = 1.5 α = 1.3
E n Order E n Order E n Order
1/105.6317 × 10−3 2.6130 × 10−3 1.1484 × 10−3
1/202.1551 × 10−31.3858 9.3348 × 10−41.4850 3.6085 × 10−41.6701
1/408.4851 × 10−41.3448 3.3230 × 10−41.4901 1.1222 × 10−41.6851
1/803.3976 × 10−41.3204 1.1790 × 10−41.4949 3.4712 × 10−51.6928
1/1601.3716 × 10−41.3086 4.1762 × 10−51.4973 1.0711 × 10−51.6964
1/3205.5570 × 10−51.3035 1.4781 × 10−51.4985 3.3012 × 10−61.6980
1/6402.2547 × 10−51.3015 5.2290 × 10−61.4991 1.0169 × 10−61.6988
1/12809.1538 × 10−61.3005 1.8495 × 10−61.4994 3.1317 × 10−71.6992
1/25603.7172 × 10−61.3002 6.5406 × 10−71.4996 9.6428 × 10−81.6994
Theoretical value 1.3000 1.5000 1.7000
Table 4. The convergence order in three-dimensional space at t = 1.
Table 4. The convergence order in three-dimensional space at t = 1.
τ α = 1.3 α = 1.5 α = 1.7
E n Order E n Order E n Order
1/102.1249 × 10−4 4.9392 × 10−3 9.7883 × 10−3
1/206.6285 × 10−41.6806 1.7756 × 10−41.4760 3.9602 × 10−31.3055
1/402.0573 × 10−51.6979 6.3224 × 10−51.4897 1.6177 × 10−41.2916
1/806.3850 × 10−51.6880 2.2444 × 10−51.4942 6.6040 × 10−51.2925
1/1601.9992 × 10−61.6752 7.9736 × 10−61.4930 2.6878 × 10−51.2946
1/3206.4637 × 10−71.6291 2.8493 × 10−61.4846 1.0932 × 10−51.2945
Theoretical value 1.7000 1.5000 1.3000
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.; Yi, S. A Compact Difference-Galerkin Spectral Method of the Fourth-Order Equation with a Time-Fractional Derivative. Fractal Fract. 2025, 9, 155. https://doi.org/10.3390/fractalfract9030155

AMA Style

Wang Y, Yi S. A Compact Difference-Galerkin Spectral Method of the Fourth-Order Equation with a Time-Fractional Derivative. Fractal and Fractional. 2025; 9(3):155. https://doi.org/10.3390/fractalfract9030155

Chicago/Turabian Style

Wang, Yujie, and Shichao Yi. 2025. "A Compact Difference-Galerkin Spectral Method of the Fourth-Order Equation with a Time-Fractional Derivative" Fractal and Fractional 9, no. 3: 155. https://doi.org/10.3390/fractalfract9030155

APA Style

Wang, Y., & Yi, S. (2025). A Compact Difference-Galerkin Spectral Method of the Fourth-Order Equation with a Time-Fractional Derivative. Fractal and Fractional, 9(3), 155. https://doi.org/10.3390/fractalfract9030155

Article Metrics

Back to TopTop