Next Article in Journal
On the Product of Zeta-Functions
Previous Article in Journal
A Comprehensive Study on the Different Approaches of the Symmetric Difference in Nilpotent Fuzzy Systems
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

An Efficient Numerical Method for the Fractional Bagley–Torvik Equation of Variable Coefficients with Robin Boundary Conditions

1
Temporary Faculty, Department of Mathematics, National Institute of Technology, Tiruchirappalli 620015, Tamil Nadu, India
2
Department of Mathematics, Amrita School of Physical Science, Amrita Vishwa Vidyapeetham, Coimbatore 641112, Tamil Nadu, India
3
Department of Mathematics and Statistics, College of Science, King Faisal University, Al Ahsa 31982, Saudi Arabia
4
Department of Mathematics, College of Science and Humanities in Al-Kharj, Prince Sattam Bin Abdulaziz University, Al-Kharj 11942, Saudi Arabia
*
Authors to whom correspondence should be addressed.
Mathematics 2025, 13(11), 1899; https://doi.org/10.3390/math13111899
Submission received: 12 May 2025 / Revised: 30 May 2025 / Accepted: 4 June 2025 / Published: 5 June 2025

Abstract

:
In this paper, we propose a numerical method for the fractional Bagley–Torvik equation of variable coefficients with Robin boundary conditions. The problem is approximated using a finite difference scheme on a uniform mesh that combines the L1 scheme with central differences. We prove that this numerical method is almost first-order convergent. The error bounds for the numerical approximation are derived. The numerical calculations carried out for the given examples validate the theoretical results.

1. Introduction

Many physical processes of stochastic transport, cellular systems, diffusion waves, control theory [1], signal processing, and the oil industries [2] include fractional-order boundary value problems. In [3], the Bagley–Torvik equation was initially developed to investigate the behavior of real materials using fractional calculus. It may also be used to represent the motion of a rigid plate submerged in a Newtonian fluid, as well as the motion of a gas in a fluid [4].
In [5,6], the authors discussed the existence and uniqueness of a solution for the Bagley–Torvik equation with boundary conditions. H. M. Wei et al. [7] discussed the uniqueness of a solution for fractional Bagley–Torvik equations with variable coefficients.
Many authors have investigated the Bagley–Torvik fractional differential equation to develop methods for numerical solution. These methods are the Adomian decomposition method [4], collocation-shooting method [5], hybridizable discontinuous Galerkin methods [8,9], the wavelet method [10], and the fast multiscale algorithm [11]. Ref. [12] employed a direct piecewise polynomial collocation method to solve the Bagley–Torvik equation. The authors established global convergence results on graded meshes and derived pointwise error estimates on uniform meshes. The authors of [13,14,15] solved the Bagley–Torvik equations with various numerical methods.
S. Santra and J. Mohapatra [16] considered a time-fractional initial boundary value problem of mixed parabolic–elliptic type. Mainly, they used the classical L1 scheme to approximate the temporal derivatives on a uniform mesh and a second-order standard finite difference scheme to approximate the spatial derivatives. The L1 scheme is also used for the Caputo fractional derivative for solving fractional-order Volterra integro-differential equations in Mohapatra et al. [17]. Refs. [18,19,20] used the numerical methods to solve differential equations and integro-differential equations. Gracia et al. [21] investigated the convergence analysis of a time-fractional convection–diffusion problem, where they used the L1 scheme on a uniform mesh. J. Mohapatra et al. [15] utilized L1 discretization on a uniform mesh to approximate the differential operator, and the modified Newton–Raphson method is applied to convert the fractional model into a system of nonlinear algebraic equations. G. Saini et al. [22] discretize the non-local differential operator utilizing a recognized L1 technique, deriving a nonlinear difference equation that encapsulates the fundamental dynamics of the continuous problem. The associated nonlinear equation is resolved using the Daftardar-Gejji and Jafari (DGJ) method. Ghosh, B. and Mohapatra, J. [23] discretize the fractional differential operator employing the conventional L1 method on a uniform mesh, utilizing the composite trapezoidal rule for the integral component. The Daftardar–Gejji and Jafari approach is utilized to resolve the implicit algebraic equation.
Recently, the authors in [24,25] worked on an generalized piecewise Taylor-series expansion method for the generalized Bagley–Torvik equation with a fractional integral and three-point boundary conditions. These authors focused on the fractional Bagley–Torvik equation with variable coefficients. In this article, we propose a finite difference method for the fractional Bagley–Torvik equation of variable coefficients with Robin boundary conditions. The classical L1 scheme is used to approximate the Caputo fractional derivative. To approximate the second-order derivative, a second order central difference scheme is used. We examine the order of convergence on a uniform mesh of the proposed numerical method.
To highlight the novelty and relevance of our study, we summarize the main contributions as follows:
  • We propose a finite difference method for solving the fractional Bagley–Torvik equation with variable coefficients subject to Robin boundary conditions. This type of equation arises in viscoelasticity and structural dynamics and poses computational challenges due to the presence of both integer and fractional derivatives.
  • To approximate the Caputo fractional derivative, we employ the classical L1 scheme, which is known for its simplicity and effectiveness in handling weakly singular kernels.
  • The second-order spatial derivative is discretized using a second-order central difference scheme on a uniform mesh, allowing the method to retain higher accuracy in space while remaining computationally efficient.
  • We establish a rigorous convergence analysis of the proposed scheme and show that it achieves almost first-order accuracy in time under standard regularity assumptions on the exact solution.
  • Priori error estimates are derived in a discrete norm, which provide theoretical justification for the reliability of the numerical method.
  • Several numerical experiments are carried out to confirm the theoretical error bounds and to demonstrate the practical performance of the method. The results show good agreement with the predicted convergence rates, validating both the stability and accuracy of the scheme.
The outline of the paper is as follows: In Section 2, the existence and uniqueness of the solution are proved. Minimum principle, stability result and bounds of solution and its integer derivative are also obtained. The central difference and L1 scheme are constructed for the proposed problem in Section 3. In Section 4, error analysis of this scheme is derived. Three numerical examples are illustrated in Section 5. Finally, the conclusion is presented.
Notations:
  • C n , μ ( 0 , 1 ] denotes the space of functions, where n N , μ ( , 1 ) ,
    y C 0 ( D ¯ ) C n ( 0 , 1 ] such that
    | y ( j ) ( x ) | C ( 1 + x 1 μ j ) for j = 1 ( 1 ) n and x ( 0 , 1 ] .
  • C is a positive constant independent of N. We write the maximum norm | | y | | D = max x D | y ( x ) | .
  • D ¯ N = x j : x j = j h , 0 j N .
  • | | Y | | D N = max 0 j N | Y j | .

2. Continuous Problem

Consider the following fractional Bagley–Torvik equation of variable coefficients with Robin boundary conditions:
L y ( x ) = y ( x ) + p ( x ) D ν y ( x ) q ( x ) y ( x ) = f ( x ) , x D : = ( 0 , 1 ) , B 0 y ( 0 ) = β 1 y ( 0 ) β 2 y ( 0 ) = A , B 1 y ( 1 ) = γ 1 y ( 1 ) + γ 2 y ( 1 ) = B ,
where L is the differential operator, p ( x ) , q ( x ) and f ( x ) are sufficiently smooth functions on D ¯ = [ 0 , 1 ] and
p ( x ) < 0 , q ( x ) 0 , x D ¯ x D ¯ , β 1 , β 2 0 , β 1 β 2 > 0 , γ 1 , γ 2 0 .
The Caputo fractional derivative D ν y ( x ) of order 0 < ν < 1 is defined by
D ν y ( x ) : = 1 Γ ( 1 ν ) 0 x ( x s ) ν y ( s ) d s .
The assumptions (2) guarantee that problem (1) has a unique solution.
Theorem 1
(Existence and uniqueness). Assume that p ( x ) , q ( x ) , and f ( x ) belong to the space C n , μ ( 0 , 1 ] for some n N and μ 1 ν . Suppose further that the homogeneous problem associated with (1), that is, when f ( x ) = 0 and the boundary data A = B = 0 , admits only the trivial solution y ( x ) = 0 . Then, the boundary value problem (1) has a unique solution y C 0 ( D ¯ ) with D ν y C n , λ ( 0 , 1 ] , where λ = max { μ , 1 ν } .
Proof. 
This theorem can be proved by adopting the techniques of the proof of Theorem 2.1 of [26]. □
The operator L in (1) satisfies the following minimum principle.
Theorem 2
(Minimum Principle). Let L in (1) with ϕ ( x ) C 0 ( D ¯ ) C 1 , μ ( 0 , 1 ] C 2 ( D ) , for some μ 1 ν . If B 0 ϕ ( 0 ) 0 , B 1 ϕ ( 1 ) 0 and L ϕ ( x ) 0 , x D , then ϕ ( x ) 0 , x D ¯ .
Proof. 
Define a test function t ( x ) as
t ( x ) = 2 + x .
Then t ( x ) > 0 , x D , B 0 t ( 0 ) , B 1 t ( 1 ) > 0 , and L t ( x ) < 0 , x D . Further, we define
ξ = max x D ¯ ϕ t ( x ) .
Suppose the theorem is not true. Then ξ > 0 and there exists a point x 0 such that ( ϕ + ξ t ) ( x 0 ) = 0 and ( ϕ + ξ t ) ( x ) 0 , x D ¯ .
Case 1: ( ϕ + ξ t ) ( x 0 ) = 0 and x 0 = 0 . Then,
0 < B 0 ( ϕ + ξ t ) ( x 0 ) = β 1 ( ϕ + ξ t ) ( x 0 ) β 2 ( ϕ + ξ t ) ( x 0 ) 0 .
It is a contradiction.
Case 2: ( ϕ + ξ t ) ( x 0 ) = 0 and x 0 D . Then,
0 > L ( ϕ + ξ t ) ( x 0 ) = ( ϕ + ξ t ) ( x 0 ) + p ( x 0 ) D ν ( ϕ + ξ t ) ( x 0 ) q ( x 0 ) ( ϕ + ξ t ) ( x 0 ) 0 ,
by using Theorem 1 of [27].
It is a contradiction.
Case 3: ( ϕ + ξ t ) ( x 0 ) = 0 and x 0 = 1 . Then,
0 < B 1 ( ϕ + ξ t ) ( x 0 ) = γ 1 ( ϕ + ξ t ) ( x 0 ) + γ 2 ( ϕ + ξ t ) ( x 0 ) 0 .
It is a contradiction. Hence, ϕ ( x ) 0 , x D ¯ .
Theorem 3
(Stability Result). The solution y ( x ) satisfies the bound
| y ( x ) | C max | B 0 y ( 0 ) | , | B 1 y ( 1 ) | , | | L y ( x ) | | D , x D ¯ .
Proof. 
Define the barrier functions ψ ± ( x ) = C t ( x ) ± y ( x ) , where C 1 = C max { | B 0 y ( 0 ) | , | B 1 y ( 1 ) | , | | L y ( x ) | | D } .
Then,
B 0 ψ ± ( 0 ) = β 1 ψ ± ( 0 ) β 2 ψ ± ( 0 ) = β 1 ( 2 C 1 ± y ( 0 ) ) β 2 ( C 1 ± y ( 0 ) ) = C 1 ( 2 β 1 β 2 ) ± B 0 y ( 0 ) 0 .
B 1 ψ ± ( 1 ) = γ 1 ψ ± ( 1 ) + γ 2 ψ ± ( 1 ) = C 1 ( 3 γ 1 + γ 2 ) ± B 1 y ( 1 ) 0 . L ψ ± ( x ) = ψ ± ( x ) + p ( x ) D ν ψ ± ( x ) q ( x ) ψ ± ( x ) = C 1 p ( x ) x 1 ν Γ ( 2 ν ) q ( x ) ( 2 + x ) ± L y ( x ) 0 .
Then by the Theorem 2, we get
| y ( x ) | C max | B 0 y ( 0 ) | , | B 1 y ( 1 ) | , | | L y ( x ) | | D , x D ¯ .
Corollary 1.
Let p ( x ) , q ( x ) , f ( x ) C n , μ ( 0 , 1 ] for some n N and μ ( , 1 ) with μ 1 ν . Then the problem (1) possesses atmost one solution y ( x ) C 0 ( D ¯ ) C n ( 0 , 1 ] such that x D ,
| y ( j ) ( x ) | C if j = 0 , C x ν j if j = 1 , 2 , , n .
where C is a constant.
Proof. 
From Theorem 2 it follows that the problem (1) with f = 0 , A = 0 and B = 0 has only one solution. Also from Theorem 1 it follows that y ( x ) C 0 ( D ¯ ) is a unique solution for (1). Hence the result follows from Theorem 3.4 of [28]. □

3. Discrete Problem

The uniform mesh is constructed by dividing D ¯ into N subintervals. We define the uniform mesh as:
D ¯ N = x j : x j = j h , 0 j N , D N : = D ¯ N { x 0 , x N } .
The mesh width is given by h = 1 N .
Consider the following finite difference scheme for the problem (1):
L N = δ 2 Y ( x j ) + p ( x j ) D , L 1 ν Y ( x j ) q ( x j ) Y ( x j ) = f ( x j ) , x j D N , B 0 N Y ( x 0 ) = β 1 Y ( x 0 ) β 2 D + Y ( x 0 ) = A , B 1 N Y ( x N ) = γ 1 Y ( x N ) + γ 2 D Y ( x N ) = B .
where,
D + Y ( x j ) = Y ( x j + 1 ) Y ( x j ) h , D Y ( x j ) = Y ( x j ) Y ( x j 1 ) h , δ 2 Y ( x j ) = Y ( x j + 1 ) 2 Y ( x j ) + Y ( x j 1 ) h 2 ,
D , L 1 ν Y ( x j ) is the L1 discretization of the Caputo fractional derivative [29] defined as
D , L 1 ν Y ( x j ) = 1 h ν Γ ( 2 ν ) k = 0 j 1 Y ( x k + 1 ) Y ( x k ) w j k
with w j k = ( j k ) 1 ν ( j k 1 ) 1 ν .
Note: Using the mean value theorem, we can prove
( 1 ν ) ( j 1 ) ν w j ( 1 ν ) j ν and w j < w j 1 for j 2 .
Theorem 4
(Discrete Minimum Principle). Suppose a mesh function Φ ( x j ) satisfies B 0 N Φ ( x 0 ) 0 , B 1 N Φ ( x N ) 0 , L N Φ ( x j ) 0 , x j D N . Then Φ ( x j ) 0 , x j D ¯ N .
Proof. 
The test function T ( x j ) is defined as
T ( x j ) = 2 + x j .
Note that B 0 N Φ ( x 0 ) > 0 , B 1 N Φ ( x N ) > 0 , L N Φ ( x j ) < 0 , x j D N .
Define
χ = max x j D ¯ N Φ T ( x j ) .
Assume the theorem is not true. Then χ > 0 and there exists x k such that ( Φ + χ T ) ( x k ) = 0 and ( Φ + χ T ) ( x j ) 0 , x j D ¯ N .
Case 1: Assume that ( Φ + χ T ) ( x k ) = 0 for x k = x 0 .
Then,
0 < B 0 N ( Φ + χ T ) ( x k ) = β 1 ( Φ + χ T ) ( x k ) β 2 D + ( Φ + χ T ) ( x k ) 0 .
This is a contradiction.
Case 2: Assume that ( Φ + χ T ) ( x k ) = 0 for x k D N .
Then,
0 > L N ( Φ + χ T ) ( x k ) = δ 2 ( Φ + χ T ) ( x k ) + p ( x k ) ( Φ + χ T ) ( x k ) q ( x k ) ( Φ + χ T ) ( x k )
The discrete Caputo fractional operator can be written as
D , L 1 ν ( Φ + χ T ) ( x k ) = 1 h ν Γ ( 2 ν ) ( ( Φ + χ T ) ( x k ) w j ( Φ + χ T ) ( x 0 ) + l = 1 k 1 ( Φ + χ T ) ( x l ) ( w k l + 1 w k l ) ) = 1 h ν Γ ( 2 ν ) ( w j ( Φ + χ T ) ( x 0 ) + l = 1 k 1 ( Φ + χ T ) ( x l ) ( w k l + 1 w k l ) ) 0 ,
because (5) implies that w j > 0 and w k l + 1 w k l < 0 .
Therefore,
L N ( Φ + χ T ) ( x k ) 0 .
This is a contradiction.
Case 3: Assume that ( Φ + χ T ) ( x k ) = 0 for x k = x N .
Then,
0 < B 1 N ( Φ + χ T ) ( x k ) = γ 1 ( Φ + χ T ) ( x k ) + γ 2 D ( Φ + χ T ) ( x k ) 0 .
This is a contradiction. Hence, Φ ( x j ) 0 , x j D ¯ N .
Theorem 5
(Discrete Stability Result). If Y ( x j ) is a solution of the problem (4) then
| Y ( x j ) | C max | B 0 N Y ( x 0 ) | , | B 1 N Y ( x N ) | , | | L N Y ( x j ) | | D N , x j D ¯ N .
Proof. 
Define the mesh functions
Ψ ± ( x j ) = C 1 ( 2 + x j ) ± Y ( x j ) .
We have B 0 N Ψ ± ( x 0 ) 0 , B 1 N Ψ ± ( x N ) 0 and L N Ψ ± ( x 0 ) 0 . Using Theorem 4, the result can be proved. □

4. Error Analysis

4.1. Local Truncation Error

Let us consider the local truncation error of the problem (4):
B 0 N ( y Y ) ( x 0 ) = B 0 N y ( x 0 ) B 0 N Y ( x 0 ) = β 1 y ( x 0 ) β 2 y ( x 0 ) β 1 y ( x 0 ) + β 2 D + y ( x 0 ) = β 2 D + d d x y ( x 0 ) . B 1 N ( y Y ) ( x N ) = B 1 N y ( x N ) B 1 N Y ( x N ) = γ 2 d d x D y ( x N ) . L N ( y Y ) ( x j ) = ( L L N ) y ( x j ) = d 2 d x 2 δ 2 y ( x j ) + p ( x j ) D ν D , L 1 ν y ( x j ) .
Lemma 1.
Suppose p ( x ) , q ( x ) , f ( x ) C n , ν ( 0 , 1 ] for some n N and μ 1 ν . Then the truncation error bound satisfies
| B 0 N ( y Y ) ( x 0 ) | C β 2 h ν 1 , | B 1 N ( y Y ) ( x N ) | C γ 2 h ,
| L N ( y Y ) ( x j ) | C h x j 3 for j = 1 ( 1 ) N .
Proof. 
Using Corollary 1 yields
| B 0 N ( y Y ) ( x 0 ) | = β 2 | y ( x 1 ) y ( x 0 ) h y x 0 | = β 2 h | ζ 1 = x 0 x 1 ζ 2 = x 0 ζ 1 y ( ζ 2 ) d ζ 2 d ζ 1 | C β 2 h ζ 1 = 0 h ζ 2 = 0 ζ 1 ζ 2 ν 2 d ζ 2 d ζ 1 C β 2 h ν 1 .
| B 1 N ( y Y ) ( x N ) | = γ 2 | y ( x N ) y ( x N 1 ) h y ( x N ) | γ 2 h ζ 1 = x N 1 x N ζ 2 = ζ 1 x N | y ( ζ 2 ) | d ζ 2 d ζ 1 C γ 2 h x N 1 ν 2 C γ 2 h .
Now,
L N ( y Y ) ( x j ) = d 2 d x 2 δ 2 y ( x j ) + p ( x j ) ( D ν D , L 1 ν ) y ( x j ) = I 1 ( x j ) + I 2 ( x j ) .
Consider,
I 1 ( x j ) : = d 2 d x 2 δ 2 y ( x j ) .
Case (i): If j = 1
| I 1 ( x 1 ) | = | y ( x 2 ) 2 y ( x 1 ) + y ( x 0 ) h 2 y ( x 1 ) | = | 1 h 2 ζ 1 = h 2 h ζ 2 = h ζ 1 ζ 3 ζ 2 y ( ζ 3 ) d ζ 3 d ζ 2 d ζ 1 0 h ζ 1 ζ 2 = h ζ 2 ζ 3 = h y ( ζ 3 ) d ζ 3 d ζ 2 d ζ 1 | C h 2 ζ 1 = h 2 h ζ 2 = h ζ 1 ζ 3 ζ 2 ζ 3 ν 3 d ζ 3 d ζ 2 d ζ 1 0 h ζ 1 ζ 2 = h ζ 2 ζ 3 = h ζ 3 ν 3 d ζ 3 d ζ 2 d ζ 1 C h ν 2 ,
from Corollary 1.
Case (ii): If j 2 ,
| I 1 ( x j ) | = | Y ( x j + 1 ) 2 Y ( x j ) + Y ( x j 1 ) h 2 y ( x j ) | = 1 h 2 | x j x j + 1 ζ 2 = x j ζ 1 ζ 3 = x j ζ 2 y ( ζ 3 ) d ζ 3 d ζ 2 ζ 1 x j 1 x j ζ 1 ζ 2 = x j ζ 2 ζ 1 = x j y ( ζ 3 ) d ζ 3 d ζ 2 ζ 1 | 1 h 2 x j x j + 1 ζ 2 = x j ζ 1 ζ 3 = x j ζ 2 | y ( ζ 3 ) | d ζ 3 d ζ 2 ζ 1 + x j 1 x j ζ 1 ζ 2 = x j ζ 2 ζ 1 = x j | y ( ζ 3 ) | d ζ 3 d ζ 2 ζ 1 C h 2 x j x j + 1 ζ 2 = x j ζ 1 ζ 3 = x j ζ 2 ζ 3 ν 3 d ζ 3 d ζ 2 ζ 1 + x j 1 x j ζ 1 ζ 2 = x j ζ 2 ζ 1 = x j ζ 3 ν 3 d ζ 3 d ζ 2 ζ 1 C h x j ν 3 ,
where we used Corollary 1 and 2 x j 1 x j .
Using remark 2 of [30], we get
| I 2 ( x j ) | = | p ( x j ) ( D , L 1 ν D ν ) y ( x j ) | | | p | | | ( D , L 1 ν D ν ) y ( x j ) | C h x j 1 .
From the bound of I 1 ( x j ) and I 2 ( x j ) , we get the desired result. □

4.2. Error Estimate

Theorem 6.
Let y ( x j ) , Y ( x j ) be the solutions of (1) and (4), respectively. Suppose the hypotheses of Lemma 1 and (2) are satisfied. Then, we have
| y ( x j ) Y ( x j ) | C N 1 | ln N | , x j D ¯ N .
where C is a constant.
Proof. 
Define the mesh functions
Φ ± ( x j ) = C N 1 | ln N | T ( x j ) ± ( y Y ) ( x j ) , x j D ¯ N .
Then, we have
B 0 N Φ ± ( x 0 ) = β 1 Φ ± ( x 0 ) β 2 D + Φ ± ( x 0 ) = C N 1 | ln N | ( 2 β 1 β 2 ) ± B 0 N ( y Y ) ( x 0 ) C N 1 | ln N | ( 2 β 1 β 2 ) ± C β 2 h ν 1 0 . B 1 N Φ ± ( x N ) = γ 1 Φ ± ( x N ) + γ 2 D Φ ± ( x N ) = C N 1 | ln N | ( 3 γ 1 + γ 2 ) ± B 1 N ( y Y ) ( x N ) C N 1 | ln N | ( 3 γ 1 + γ 2 ) ± C γ 2 h 0 . L N Φ ± ( x j ) = δ 2 Φ ± ( x j ) + p ( x j ) D , L 1 ν Φ ± ( x j ) q ( x j ) Φ ± ( x j ) = C N 1 | ln N | p ( x j ) D , L 1 ν T ( x j ) q ( x j ) T ( x j ) ± L N ( y Y ) ( x j ) .
By the L1 discretization of Caputo fractional derivative and (5), we get
D , L 1 ν T ( x j ) = 1 h ν Γ ( 2 ν ) l = 0 j 1 ( x l + 1 x l ) w j l w j h ν Γ ( 2 ν ) l = 0 j 1 ( x l + 1 x l ) x j 1 ν Γ ( 1 ν ) .
Therefore
L N Φ ± ( x j ) = C N 1 | ln N | p ( x j ) D , L 1 ν T ( x j ) q ( x j ) T ( x j ) ± C h x j 3 0 x j D N .
Applying Theorem 4, we get
Φ ± ( x j ) 0 , x j D ¯ N .
Hence, it is proved. □

5. Numerical Exemplifications

Example 1.
y ( x ) + ( x 2 1 ) D ν y ( x ) sin ( 2 π x ) y ( x ) = f ( x ) , x D , y ( 0 ) = A , y ( 1 ) + y ( 1 ) = B .
The exact solution is y e ( x ) = x ( 2 + ν ) ( 1 x ) + 2 , where the function f ( x ) and the constants A and B are chosen using y e ( x ) . We evaluate the maximum pointwise error D ν N and rate of convergence p ν N by
D ν N : = max 0 i N | y e ( x i ) Y ( x i ) | and p ν N = log 2 D ν N D ν 2 N
Uniform errors for the various values of ν and the corresponding rate of convergence are obtained by
D N = max ν D ν N and p N = log 2 D N D 2 N .
The numerical solution and exact solution of Example 1 are plotted in Figure 1.
Example 2.
y ( x ) ( 1 + x ) D ν y ( x ) x y ( x ) = 1 2 x , x D , 2 y ( 0 ) y ( 0 ) = 0 , 3 y ( 1 ) + y ( 1 ) = 1 .
Example 3.
y ( x ) ( 1 + x 2 ) D ν y ( x ) cos ( 3 x ) y ( x ) = x 2 , x D , 3 y ( 0 ) y ( 0 ) = 1 , 2 y ( 1 ) + y ( 1 ) = 0 .
The exact solutions to Examples 2 and 3 are unknown. Table 1 and Table 2 show the maximum pointwise errors E N and uniform rates of convergence r N which are obtained by using the double mesh principle [31] defined as follows:
E ν N : = max 0 i N | Y i N Y i 2 N | and r ν N : = log 2 E ν N E ν 2 N . E N : = max ν E ν N and r N : = log 2 E N E 2 N .
The numerical solution of Examples 2 and 3 are plotted in Figure 2 and Figure 3. The error plot in Figure 4, Figure 5 and Figure 6 indicates that as the value of N increases as the maximum errors decreases. Table 1, Table 2 and Table 3 show the uniform errors and convergence orders of Examples 1, 2, and 3, respectively. The loglog plot in Figure 7, Figure 8 and Figure 9 validates our theoritical error bound which is of O ( N 1 ( ln N ) ) .

6. Conclusions

The proposed finite difference scheme provides an efficient and accurate numerical method for solving the fractional Bagley–Torvik equation with variable coefficients and Robin boundary conditions. The combination of the L1 scheme for the fractional derivative with central difference approximations ensures simplicity in implementation while maintaining stability. Theoretical analysis confirms that the method achieves nearly first-order convergence, and rigorous error bounds are derived. Numerical experiments further validate the analytical results, demonstrating the reliability, accuracy, and practical applicability of the scheme for solving fractional differential equations arising in engineering and applied sciences.

Author Contributions

Validation, R.A.; Formal analysis, M.A.; Writing—original draft, S.J.C.M.; Writing—review & editing, S.E. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the Deanship of Scientific Research, Vice Presidency for Graduate Studies and Scientific Research, King Faisal University, Saudi Arabia. [Grant No.KFU252194]. This study is supported via funding from Prince Sattam bin Abdulaziz University, Saudi Arabia, project number [PSAU/2025/R/1446].

Data Availability Statement

The original contributions presented in this study are included in the article. Further inquiries can be directed to the corresponding author.

Conflicts of Interest

The authors declare that they have no competing interests concerning the publication of the manuscript.

References

  1. Manabe, S. A suggestion of fractional-order controller for flexible spacecraft attitude control. Nonlinear Dyn. 2002, 29, 251–268. [Google Scholar] [CrossRef]
  2. Fitt, A.D.; Goodwin, A.R.H.; Ronaldson, K.A.; Wakeham, W.A. A fractional differential equation for a MEMS viscometer used in the oil industry. J. Comput. Appl. Math. 2009, 229, 373–381. [Google Scholar] [CrossRef]
  3. Bagley, R.L.; Torvik, P.J. A different approach to the analysis of viscoelas- tically damped structures. AIAA J. 1983, 21, 741–748. [Google Scholar] [CrossRef]
  4. Ray, S.S.; Bera, R.K. Analytical solution of the Bagley—Torvik equation by Adomian decomposition method. Appl. Math. Comput. 2005, 168, 398–410. [Google Scholar] [CrossRef]
  5. Al-Mdallal, Q.; Syam, M.; Anwar, M.N. A collocation-shooting method for solving fractional boundary value problems. Commun. Nonlinear Sci. Numer. Simul. 2010, 15, 3814–3822. [Google Scholar] [CrossRef]
  6. Podlubny, I. Fractional Differential Equations; Academic Press: San Diego, CA, USA, 1999. [Google Scholar]
  7. Wei, H.M.; Zhong, X.C.; Huang, Q.A. Uniqueness and approximation of solution for fractional Bagley—Torvik equations with variable coefficients. Int. J. Comput. Math. 2017, 94, 1542–1561. [Google Scholar] [CrossRef]
  8. Karaaslan, M.F.; Celiker, F.; Kurulay, M. Approximate solution of the Bagley—Torvik equation by hybridizable discontinuous Galerkin methods. Appl. Math. Comput. 2016, 285, 51–58. [Google Scholar] [CrossRef]
  9. Izadi, M.; Negar, M.R. Local discontinuous Galerkin approximations to fractional Bagley—Torvik equation. Math. Methods Appl. Sci. 2020, 43, 4798–4813. [Google Scholar] [CrossRef]
  10. Balaji, S.; Hariharan, G. An efficient operational matrix method for the numerical solutions of the fractional Bagley–Torvik equation using wavelets. J. Math. Chem. 2019, 57, 1885–1901. [Google Scholar] [CrossRef]
  11. Chen, J. A fast multiscale Galerkin algorithm for solving boundary value problem of the fractional Bagley—Torvik equation. Bound. Value Probl. 2020, 91, 1–13. [Google Scholar] [CrossRef]
  12. Wang, L.; Liang, H. Analysis of direct piecewise polynomial collocation methods for the Bagley—Torvik equation. Bit. Numer. Math. 2024, 64, 41. [Google Scholar] [CrossRef]
  13. Wang, L.; Liang, H. Superconvergence and postprocessing of collocation methods for fractional differential equation. J. Sci. Comput. 2023, 97, 29. [Google Scholar] [CrossRef]
  14. Liang, H.; Stynes, M. A general collocation analysis for weakly singular Volterra integral equations with variable exponent. IMA J. Numer. Anal. 2024, 44, 2725–2751. [Google Scholar] [CrossRef]
  15. Mohapatra, J.; Mohapatra, S.P.; Anasuya, N. An approximation technique for a system of time-fractional differential equations arising in population dynamics. J. Math. Model. 2025, 13, 519–531. [Google Scholar]
  16. Santra, S.; Mohapatra, J. Analysis of the L1 scheme for a time fractional parabolic–elliptic problem involving weak singularity. Math. Methods Appl. Sci. 2021, 44, 1529–1541. [Google Scholar] [CrossRef]
  17. Santra, S.; Mohapatra, J. Numerical analysis of Volterra integro-differential equations with Caputo fractional derivative. Iran J. Sci. Technol. Trans. Sci. 2021, 45, 1815–1824. [Google Scholar] [CrossRef]
  18. Sekar, E. Second order singularly perturbed delay differential equations with non-local boundary condition. J. Comput. Appl. Math. 2023, 417, 114498. [Google Scholar]
  19. Elango, S.; Govindarao, L.; Awadalla, M.; Zaway, H. Efficient Numerical Methods for Reaction–Diffusion Problems Governed by Singularly Perturbed Fredholm Integro-Differential Equations. Mathematics 2025, 13, 1511. [Google Scholar] [CrossRef]
  20. Raja, V.; Sekar, E.; Loganathan, K. Computational approaches for singularly perturbed turning point problems with non-local boundary conditions. Partial Differ. Equ. Appl. Math. 2025, 13, 101122. [Google Scholar] [CrossRef]
  21. Gracia, J.; O’Riordan, E.; Stynes, M. Convergence in positive time for a finite difference method applied to a fractional convection-diffusion problem. Comput. Methods Appl. Math. 2018, 18, 33–42. [Google Scholar] [CrossRef]
  22. Saini, G.; Ghosh, B.; Sunita, C.; Mohapatra, J. An iterative-based difference scheme for nonlinear fractional integro-differential equations of Volterra type. Partial Differ. Equ. Appl. Math. 2025, 13, 101138. [Google Scholar] [CrossRef]
  23. Ghosh, B.; Mohapatra, J. An iterative difference scheme for solving arbitrary order nonlinear Volterra integro-differential population growth model. J. Anal. 2024, 32, 57–72. [Google Scholar] [CrossRef]
  24. Huang, Q.A.; Zhong, X.C.; Guo, B.L. Approximate solution of Bagley—Torvik equations with variable coefficients and three-point boundary-value conditions. Int. J. Appl. Comput. Math. 2016, 215, 327–347. [Google Scholar] [CrossRef]
  25. Zhong, X.; Liu, X.; Liao, S.L. On a generalized Bagley–Torvik equation with a fractional integral boundary condition. Int. J. Appl. Comput. Math. 2017, 3, 727–746. [Google Scholar] [CrossRef]
  26. Pedas, A.; Tamme, E. Piecewise polynomial collocation for linear boundary value problems of fractional differential equations. J. Comput. Appl. Math. 2012, 236, 3349–3359. [Google Scholar] [CrossRef]
  27. Luchko, Y. Maximum principle for the generalized time-fractional diffusion equation. J. Math. Anal. Appl. 2009, 351, 218–223. [Google Scholar] [CrossRef]
  28. Stynes, M.; Gracia, J. A finite difference method for a two-point boundary value problem with a Caputo fractional derivative. IMA J. Numer. Anal. 2015, 35, 698–721. [Google Scholar] [CrossRef]
  29. Li, C.; Zeng, F. Numerical Methods for Fractional Calculus; CRC Press, Taylor & Francis Group: Boca Raton, FL, USA, 2015. [Google Scholar]
  30. Gracia, J.; O’Riordan, E.; Stynes, M. Convergence outside the initial layer for a numerical method for the time-fractional heat equation. In International Conference on Numerical Analysis and Its Applications; Springer International Publishing: Cham, Switzerland, 2016. [Google Scholar]
  31. Farrell, P.A.; Hegarty, A.F.; Miller, J.J.H.; O’Riordan, E.; Shishkin, G.I. Robust Computational Techniques for Boundary Layers; Applied Mathematics; Chapman & Hall/CRC: Boca Raton, FL, USA, 2000. [Google Scholar]
Figure 1. Exact and approximate solutions of Example 1 for N = 2 8 and ν = 0.4 .
Figure 1. Exact and approximate solutions of Example 1 for N = 2 8 and ν = 0.4 .
Mathematics 13 01899 g001
Figure 2. The numerical solution for N = 2 7 and ν 0.1 , 0.5 , 0.9 .
Figure 2. The numerical solution for N = 2 7 and ν 0.1 , 0.5 , 0.9 .
Mathematics 13 01899 g002
Figure 3. The numerical solution for N = 2 7 and ν 0.1 , 0.5 , 0.9 .
Figure 3. The numerical solution for N = 2 7 and ν 0.1 , 0.5 , 0.9 .
Mathematics 13 01899 g003
Figure 4. Error plot for Example 1.
Figure 4. Error plot for Example 1.
Mathematics 13 01899 g004
Figure 5. Error plot for Example 2.
Figure 5. Error plot for Example 2.
Mathematics 13 01899 g005
Figure 6. Error plot for Example 3.
Figure 6. Error plot for Example 3.
Mathematics 13 01899 g006
Figure 7. Log-log plot for Example 1.
Figure 7. Log-log plot for Example 1.
Mathematics 13 01899 g007
Figure 8. Log-log plot for Example 2.
Figure 8. Log-log plot for Example 2.
Mathematics 13 01899 g008
Figure 9. Log-log plot for Example 3.
Figure 9. Log-log plot for Example 3.
Mathematics 13 01899 g009
Table 1. Enumerated maximum errors and uniform errors E ν N , E N and orders of convergence r ν N , r N of Example 2 for the values of ν and N .
Table 1. Enumerated maximum errors and uniform errors E ν N , E N and orders of convergence r ν N , r N of Example 2 for the values of ν and N .
ν / N 64128256512102420484096
0.011.866e-039.385e-044.706e-042.356e-041.179e-045.897e-052.949e-05
0.99170.99580.99790.99890.99940.9997-
0.11.894e-039.528e-044.779e-042.393e-041.197e-045.990e-052.995e-05
0.99100.99550.99770.99880.99940.9997-
0.21.926e-039.698e-044.866e-042.437e-041.219e-046.101e-053.051e-05
0.99010.99500.99740.99870.99930.9996-
0.31.960e-039.877e-044.958e-042.484e-041.243e-046.220e-053.111e-05
0.98890.99430.99700.99840.99910.9995-
0.41.994e-031.006e-035.054e-042.533e-041.268e-046.347e-053.175e-05
0.98720.99320.99630.99790.99880.9993-
0.52.027e-031.024e-035.151e-042.584e-041.294e-046.480e-053.242e-05
0.98500.99160.99520.99710.99820.9989-
0.62.055e-031.040e-035.241e-042.632e-041.320e-046.613e-053.311e-05
0.98190.98940.99340.99580.99710.9980-
0.72.072e-031.051e-035.308e-042.671e-041.341e-046.728e-053.372e-05
0.97820.98640.99090.99360.99530.9964-
0.82.066e-031.051e-035.320e-042.682e-041.349e-046.782e-053.405e-05
0.97440.98310.98790.99080.99260.9939-
0.92.018e-031.028e-035.206e-042.627e-041.323e-046.659e-053.348e-05
0.97290.98180.98660.98920.99080.9919-
0.991.911e-039.693e-044.884e-042.453e-041.230e-046.165e-053.087e-05
0.97970.98880.99340.99570.99680.9974-
E N 2.072e-031.051e-035.320e-042.682e-041.349e-046.782e-053.405e-05
r N 0.97820.98330.98790.99080.99260.9939-
Table 2. Enumerated maximum errors and uniform errors E ν N , E N and orders of convergence r ν N , r N of Example 3 for the values of ν and N .
Table 2. Enumerated maximum errors and uniform errors E ν N , E N and orders of convergence r ν N , r N of Example 3 for the values of ν and N .
ν / N 64128256512102420484096
0.012.594e-031.299e-036.506e-043.255e-041.628e-048.141e-054.071e-05
0.99670.99830.99920.99960.99980.9999-
0.12.551e-031.278e-036.401e-043.202e-041.601e-048.010e-054.005e-05
0.99660.99830.99910.99950.99970.9998-
0.22.503e-031.255e-036.283e-043.143e-041.572e-047.863e-053.931e-05
0.99630.99810.99900.99950.99970.9998-
0.32.453e-031.230e-036.161e-043.083e-041.542e-047.713e-053.857e-05
0.99580.99780.99880.99930.99960.9998-
0.42.402e-031.205e-036.036e-043.021e-041.511e-047.561e-053.781e-05
0.99510.99730.99850.99910.99950.9997-
0.52.347e-031.178e-035.906e-042.957e-041.480e-047.404e-053.703e-05
0.99420.99660.99790.99870.99910.9994-
0.62.287e-031.149e-035.765e-042.888e-041.446e-047.239e-053.622e-05
0.99290.99550.99700.99790.99850.9989-
0.72.240e-031.123e-035.621e-042.811e-041.408e-047.056e-053.532e-05
0.99650.99850.99930.99690.99750.9981-
0.82.280e-031.143e-035.725e-042.864e-041.432e-047.162e-053.580e-05
0.99550.99800.99920.99971.00001.0000-
0.92.334e-031.172e-035.875e-042.939e-041.470e-047.351e-053.675e-05
0.99350.99710.99880.99961.00001.0000-
0.992.403e-031.210e-036.070e-043.040e-041.521e-047.610e-053.805e-05
0.99000.99500.99750.99880.99950.9998-
E N 2.594e-031.299e-036.506e-043.255e-041.628e-048.141e-054.071e-05
r N 0.99670.99830.99920.99960.99980.9999-
Table 3. Enumerated maximum errors and uniform errors D ν N , D N and orders of convergence p ν N , p N of Example 1 for the values of ν and N .
Table 3. Enumerated maximum errors and uniform errors D ν N , D N and orders of convergence p ν N , p N of Example 1 for the values of ν and N .
ν / N 64128256512102420484096
0.011.581e-027.936e-033.976e-031.990e-039.954e-044.978e-042.489e-04
0.99430.99710.99850.99930.99960.9998-
0.11.642e-028.245e-034.130e-032.067e-031.034e-035.171e-042.586e-04
0.99430.99720.99860.99930.99970.9998-
0.21.709e-028.581e-034.298e-032.151e-031.076e-035.382e-042.691e-04
0.99440.99720.99860.99920.99970.9998-
0.31.775e-028.911e-034.464e-032.234e-031.117e-035.588e-042.794e-04
0.99440.99730.99870.99930.99970.9998-
0.41.840e-029.238e-034.627e-032.315e-031.158e-035.792e-042.896e-04
0.99450.99740.99870.99950.99970.9999-
0.51.905e-029.562e-034.789e-032.396e-031.198e-035.992e-042.996e-04
0.99460.99760.99890.99960.99990.9999-
0.61.970e-029.889e-034.952e-032.477e-031.238e-036.193e-043.096e-04
0.99470.99780.99920.99981.0001.000-
0.72.037e-021.022e-025.118e-032.560e-031.279e-036.397e-043.197e-04
0.99490.99820.99961.0001.0001.000-
0.82.108e-021.057e-025.295e-032.648e-031.323e-036.613e-043.304e-04
0.99490.99830.99991.0001.0001.000-
0.92.185e-021.097e-025.493e-032.747e-031.372e-036.859e-043.427e-04
0.99420.99790.99971.0001.0011.001-
0.992.263e-021.137e-025.704e-032.855e-031.428e-037.142e-043.571e-04
0.99230.99630.99830.99920.99981.000-
D N 2.263e-021.137e-025.704e-032.855e-031.428e-037.142e-043.571e-04
p N 0.99230.99630.99830.99920.99981.000-
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

Joe Christin Mary, S.; Elango, S.; Awadalla, M.; Alzahrani, R. An Efficient Numerical Method for the Fractional Bagley–Torvik Equation of Variable Coefficients with Robin Boundary Conditions. Mathematics 2025, 13, 1899. https://doi.org/10.3390/math13111899

AMA Style

Joe Christin Mary S, Elango S, Awadalla M, Alzahrani R. An Efficient Numerical Method for the Fractional Bagley–Torvik Equation of Variable Coefficients with Robin Boundary Conditions. Mathematics. 2025; 13(11):1899. https://doi.org/10.3390/math13111899

Chicago/Turabian Style

Joe Christin Mary, S., Sekar Elango, Muath Awadalla, and Rabab Alzahrani. 2025. "An Efficient Numerical Method for the Fractional Bagley–Torvik Equation of Variable Coefficients with Robin Boundary Conditions" Mathematics 13, no. 11: 1899. https://doi.org/10.3390/math13111899

APA Style

Joe Christin Mary, S., Elango, S., Awadalla, M., & Alzahrani, R. (2025). An Efficient Numerical Method for the Fractional Bagley–Torvik Equation of Variable Coefficients with Robin Boundary Conditions. Mathematics, 13(11), 1899. https://doi.org/10.3390/math13111899

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop