We present a novel method to solve the Bagley-Torvik equation by transforming it into ordinary differential equations (ODEs). This method is based on the equivalence between the Caputo-type fractional derivative (FD) of order 3/2 and the solution of a diffusion equation subjected to certain initial and boundary conditions. The key procedure is to approximate the infinite boundary condition by a finite one, so that the diffusion equation can be solved by separation of variables. By this procedure, the Bagley-Torvik and the diffusion equations together are transformed to be a set of ODEs, which can be integrated numerically by the Runge-Kutta scheme. The presented method is tested by various numerical cases including linear, nonlinear, nonsmooth, or multidimensional equations, respectively. Importantly, high computational efficiency is achieved as this method is at the expense of linearly increasing computational cost with the solution domain being enlarged.

Introduction

Originally, the Bagley-Torvik equation was established by modeling the motion of a rigid plate immersed in Newtonian fluid [1]. It was later widely extended to model the dynamic responses of viscoelastically damped structures in which the viscoelasticity is described by a fractional derivative (FD) [2]. There are different definitions of FD [25], with various applications in different academic fields [68]; and we use the Caputo-type fractional derivative in this study [3].

Due to the difficulty in solving analytical solutions, a lot of numerical techniques have been developed to solve this equation since its presence. A large category of these approaches belongs to time-marching integrators. For instance, Diethelm and Ford [9] developed a fractional linear multistep method and a predictor–corrector (PC) method of the Adams type, respectively. Later, Diethelm et al. [10] extended the predictor–corrector method to more general fractional differential equations (FDEs). Ray and Bera [11] obtained an analytical solution by Adomian decomposition method. Zolfaghari et al. [12] used the enhanced homotopy perturbation method to find more accurate solution. Çenesiz et al. [13] employed the generalized Taylor collocation method to solving the Bagley–Torvik equation. Wang and Wang [14] solved the equation by changing it into a sequential FDE with constant coefficients.

Other solution approaches are based more or less on collocation technique such as the Haar wavelet method [15,16]. Al-Mdallal et al. [17] proposed a collocation-shooting method, which can be used to solve this equation equipped with boundary conditions. And Raja et al. [18] developed a stochastic technique. Numerical solution can also be obtained by the Bessel collocation method [19].

In addition, some methods make use of the expansion of the integral kernel in FD. Atanackovic and Zorica [20] established a new method based on a derived expansion formula for FDs. Krishnasamy and Razzaghi [21] suggested a numerical method via using fractional Taylor vector approximation. The method established by Gülsu et al. [22] is based on Taylor matrix method. More recently, Arqub and Maayah [23] constructed an iterative reproducing kernel algorithm.

As is well known, the key point to solve a FDE is how to deal with the FD. Generally speaking, time-marching and collocation-type numerical methods require repeated usage of the past responses in processing the convolutions describing FDs [24]. For these reasons, the computational cost increases in proportion to order n2 with n as the number of integration steps. To this end, a large number of contributions have been made to enhance the computation efficiency. By using the short memory principle [25], for instance, one can significantly reduce the computational cost to order nlog(n) without losing substantial accuracy. This is very close to the cost of order n for solving ordinary differential equations (ODEs). Actually, for both spectrum based and memory-free algorithms, the computational cost has even been controlled to n [26,27].

In this paper, we will present a method with the computational cost of order n to solve FDEs of order 3/2 exemplified by the Bagley-Torvik equation. Our method is based on a physical meaning behind the Bagley-Torvik equation. Torvik and Bagley [1] talked about the relationship between this equation and a diffusion equation (partial differential equation (PDE)). Fitt et al. [28] proved that the FD of order 3/2 is the solution of a diffusion equation with certain initial and boundary conditions. Motivated by this, we will incorporate the FDE into the PDE and solve them together by the method of separation of variables, according to which a set of ODEs is deduced and solved by the Runge-Kutta scheme.

Solution Procedures

For the sake of conciseness, the method will be first established to solve the Bagley-Torvik equation with linear damping
(1)
with initial conditions x(0) and x˙(0), and m, c1, c2, k are all constants and f(t) denotes an external excitation. The Caputo-type fractional derivative [3] with order 3/2 is defined as
(2)
Now consider a one-dimensional diffusion equation given by the following PDE:
(3)
with the initial condition u(y,0)=0, the boundary conditions as u(0,t)=x˙(t) and limy+u(y,t)=0. By the Laplace transform [1,28], we have
(4)
which further yields
(5)
Consequently, we can rewrite Eq. (1) as
(6)
In essence, our method is constructed by solving the coupled problem of Eqs. (3) and (6). It should be pointed out that there will be no FD any more. In order to solve Eq. (3) by the separation of variables, we approximate the infinite boundary condition limy+u(y,t)=0 by
(7)
where L is a constant large enough. To homogenize the boundary conditions, we let u(y,t)=w(y,t)+v(y,t) with w(0,t)=0 and w(L,t)=0, which further implies that v(0,t)=x˙(t) and v(L,t)=0. To make these equalities the truth, we choose v(y,t)=(1(y/L))x˙(t) and rewrite Eq. (3) as
(8)
with the homogeneous boundary conditions as w(0,t)=0 and w(L,t)=0, and w(y,0)=v(y,0)=(1y/L)x˙(0).
According to the method of separation of variables, we expand w(y,t) as Fourier series
(9)
Substituting Eq. (9) into Eq. (8) and its initial as well as boundary conditions results in
(10)
(11)
where αn=(2/L)0L(1(y/L))sin(nπy/L)dy=(2/nπ). Equating all the coefficients of the sine functions in Eqs. (10) and (11), we have
(12)
(13)
In addition, we deduce uy(0,t)=wy(0,t)+vy(0,t)=n=1(nπ/L)an(t)(1/L)x˙(t) and rewrite Eq. (6) as
(14)
Denote x˙(t)=z(t) and truncate the first N terms of the Fourier series, we rewrite Eqs. (12)(14) in matrix form as
(15)
where Φ=[xza1a2aN]T, Ψ=[0f(t)000]T and the coefficient matrices are given as
with initial conditions Φ0=[x(0)x˙(0)2πx˙(0)22πx˙(0)2Nπx˙(0)]T. Equation (15) can be integrated numerically by time-marching approaches such as the Runge-Kutta scheme. So far, we have listed the main procedures of the presented method. The first component in vector variable Φ can be extracted as the numerical result of the Bagley-Torvik equation, i.e., Eq. (1).

Numerical Examples

In this section, we will present several examples to test the presented method. To demonstrate the wide applicability, the considered numerical cases will include both linear and nonlinear, smooth and nonsmooth, single- and multidimensional equations.

First of all, we take a numerical example of Eq. (1) with m=1, c1=0.2, c2=0.1, k=1, f(t)=sint, and the initial conditions x(0)=1 and x˙(0)=0. We select the parameters L=100 and N=1000, and solve system (15) by the fourth-order Runge-Kutta method with the step length Δt=0.001. Since it is quite cumbersome to find an exact analytical solution, in order to verify the obtained results, we employ the famous PC algorithm [9,10] to get the reference solution. Nice agreement can be observed between these results, as shown in Fig. 1. Note that the step length of the PC algorithm is also fixed as Δt=0.001.

Fig. 1
Comparison of the results obtained by the PC algorithm and the presented method for system (1), respectively
Fig. 1
Comparison of the results obtained by the PC algorithm and the presented method for system (1), respectively
Close modal

Figure 2 shows the comparison of the CPU running time spent by the PC algorithm and the presented method, respectively. The running time for the PC algorithm increases in proportion to nstep2 with nstep as the number of integration time steps. An overall linear increasing computational cost can be observed for the presented method.

Fig. 2
Comparison of the respective CPU running time for the PC algorithm and the presented method in obtaining the results in Fig. 1
Fig. 2
Comparison of the respective CPU running time for the PC algorithm and the presented method in obtaining the results in Fig. 1
Close modal

Now we talk about the choice of parameters L and N. Theoretically, L should be a large constant as it is introduced to approximate infinity. As shown in Fig. 3, however, we have to raise N much more as L increases to guarantee a reasonable precision for the obtained results. The reason consists in that, when L increases, it requires more truncated terms of the Fourier series to maintain the accuracy. As L is fixed, differently, higher precision can be achieved with N increasing as it denotes the truncated number of the Fourier series. Anyway, in order to achieve accurate results, it is suggested to select a moderate constant for L and a large enough number for N. Notice that there would be a trade-off between the precision and the computational efficiency as the dimension of the deduced ODE increases linearly with respect to N.

Fig. 3
Absolute errors of x at t=0.95 for Eq. (1) with m=1, c1=0.2, c2=0.1, k=1, and f(t)=sin t.
Fig. 3
Absolute errors of x at t=0.95 for Eq. (1) with m=1, c1=0.2, c2=0.1, k=1, and f(t)=sin t.
Close modal
Consider another two numerical examples to testify that the presented method can also be applied to nonlinear and/or nonsmooth FDEs. Actually, the method can be straightforwardly implemented by dealing with the nonlinear and/or nonsmooth terms as a part of the external force. As examples, we consider the system with a smooth or nonsmooth nonlinearity described as
(16)
with initial conditions x(0)=1 and x˙(0)=0. The nonlinear term, g(x), can be given as either smooth or nonsmooth functions in x(t).

Likewise, we choose the parameters L=100 and N=1000, and solve system (16) with g(x)=2x3 with the step length Δt=0.001. As shown in Fig. 4, nice consistence can still be observed between these results. Consider a nonsmooth case with g(x)={2x3+x,x<02x3+x+2,x0 and the same initial conditions. As shown in Fig. 5, the presented method can provide accurate results compared to the PC solution.

Fig. 4
Comparison of numerical results of system (16) with g(x)=2x3 obtained by the PC algorithm and the presented method, respectively
Fig. 4
Comparison of numerical results of system (16) with g(x)=2x3 obtained by the PC algorithm and the presented method, respectively
Close modal
Fig. 5
Comparison of numerical results of system (16) with a nonsmooth nonlinearity obtained by the PC algorithm and the presented method, respectively
Fig. 5
Comparison of numerical results of system (16) with a nonsmooth nonlinearity obtained by the PC algorithm and the presented method, respectively
Close modal
Finally, we consider a multidimensional FDE given as
(17)
with X(t)=[x1(t)x2(t)x3(t)]T, X3(t)=[x33(t)x23(t)x33(t)]T and
with initial conditions X(0)=[111]T and X˙(0)=[000]T.

As shown in Fig. 6, nice agreement can also be observed, indicating that the presented method can be straightforwardly applied in higher dimensional problems. In fact, there is no substantial difference between the solution procedures for a single- or multidimensional system, as in the presented method one needs to only approximate the FD by the solution of the PDE, i.e., Eq. (3). In our opinion, this is the key point to guarantee the wide applicability of the presented method.

Fig. 6
Comparison of numerical results of Eq. (17) obtained by the PC algorithm and the presented method, respectively.
Fig. 6
Comparison of numerical results of Eq. (17) obtained by the PC algorithm and the presented method, respectively.
Close modal

Conclusions and Remarks

We have presented an efficient method for solving FDEs with fractional order as 3/2, based on the fact that the FD can be considered as the solution to a certain diffusion equation given by PDE. After approximating an infinite boundary condition by a finite one, the fractional differential equation and the PDE are solved by the method of separation of variables. A set of ODEs is then deduced, which are solved by the Runge–Kutta scheme. A variety of numerical examples are taken to validate the presented method, indicating that it is effective for both linear and nonlinear equations, even when nonsmoothness is included.

Aside from the wide applicability, another significant merit of the presented method consists in its high computational efficiency. As the FDEs are transformed into ODEs, the computational cost is at the order of n with n as the number of integration steps. In fact, the computational efficiency has been enhanced to just the same as solving ODEs. As we know, such high computational efficiency for solving FDEs has been shared by several other approaches such as spectrum based and memory-free algorithms [26,27], and a newly initiated method named as differential operator multiplication method [29,30]. To the best of our knowledge, an outstanding merit of the presented method is its applicability to various different equations by maintaining such high computational efficiency.

Notice that we are enlightened by the physical meaning for the FD of order 3/2. In fact, the presented method can be extended to other problems of order m/2 with m as an odd number, with the help of the index law DαDβf(t)=Dα+βf(t) for FDs [2]. For example, the FD of order 5/2 can be considered as D5/2f(t)=D3/2f(t), which can possibly be handled as the FD of 3/2 under the framework of the presented method. This will be among our future work. Frankly, it will be a challenging topic for a possible extension of the presented method in solving problems with general fractional derivatives.

Funding Data

  • National Natural Science Foundation of China (Grant Nos. 11702333, 11572356, and 11672337; Funder ID: 10.13039/501100001809).

References

1.
Torvik
,
P. J.
, and
Bagley
,
R. L.
,
1984
, “
On the Appearance of the Fractional Derivative in the Behavior of Real Materials
,”
ASME J. Appl. Mech.
,
51
(
2
), pp.
294
298
.
2.
Podlubny
,
I.
,
1999
,
Fractional Differential Equations
,
Academic Press
,
San Diego, CA
.
3.
Diethelm
,
K.
,
2010
,
The Analysis of Fractional Differential Equations: An Application-Oriented Exposition Using Differential Operators of Caputo Type
,
Springer Science & Business Media
,
Berlin
.
4.
Baleanu
,
D.
, and
Fernandez
,
A.
,
2018
, “
On Some New Properties of Fractional Derivatives With Mittag-Leffler Kernel
,”
Commun. Nonlinear Sci. Numer. Simul.
,
59
, pp.
444
462
.
5.
Baleanu
,
D.
,
Jajarmi
,
A.
, and
Hajipour
,
M.
,
2018
, “
On the Nonlinear Dynamical Systems Within the Generalized Fractional Derivatives With Mittag–Leffler Kernel
,”
Nonlinear Dyn.
,
94
(
1
), pp.
397
414
.
6.
Jajarmi
,
A.
, and
Baleanu
,
D.
,
2018
, “
A New Fractional Analysis on the Interaction of HIV With CD4+ T-Cells
,”
Chaos, Solitons Fractals
,
113
, pp.
221
229
.
7.
Baleanu
,
D.
,
Jajarmi
,
A.
,
Bonyah
,
E.
, and
Hajipour
,
M.
,
2018
, “
New Aspects of Poor Nutrition in the Life Cycle Within the Fractional Calculus
,”
Adv. Differ. Equations
,
2018
(
1
), p.
230
.
8.
Jajarmi
,
A.
, and
Baleanu
,
D.
,
2018
, “
Suboptimal Control of Fractional-Order Dynamic Systems With Delay Argument
,”
J. Vib. Control
,
24
(
12
), pp.
2430
2446
.
9.
Diethelm
,
K.
, and
Ford
,
J.
,
2002
, “
Numerical Solution of the Bagley-Torvik Equation
,”
BIT Numer. Math.
,
42
(
3
), pp.
490
507
.https://link.springer.com/article/10.1023/A:1021973025166
10.
Diethelm
,
K.
,
Ford
,
N. J.
, and
Freed
,
A. D.
,
2002
, “
A Predictor-Corrector Approach for the Numerical Solution of Fractional Differential Equations
,”
Nonlinear Dyn.
,
29
(
1/4
), pp.
3
22
.
11.
Ray
,
S. S.
, and
Bera
,
R.
,
2005
, “
Analytical Solution of the Bagley Torvik Equation by Adomian Decomposition Method
,”
Appl. Math. Comput.
,
168
(
1
), pp.
398
410
.
12.
Zolfaghari
,
M.
,
Ghaderi
,
R.
,
SheikholEslami
,
A.
,
Ranjbar
,
A.
,
Hosseinnia
,
S.
,
Momani
,
S.
, and
Sadati
,
J.
,
2009
, “
Application of the Enhanced Homotopy Perturbation Method to Solve the Fractional-Order Bagley–Torvik Differential Equation
,”
Phys. Scr.
,
2009
(
T136
), p.
014032
.
13.
Çenesiz
,
Y.
,
Keskin
,
Y.
, and
Kurnaz
,
A.
,
2010
, “
The Solution of the Bagley–Torvik Equation With the Generalized Taylor Collocation Method
,”
J. Franklin Inst.
,
347
(
2
), pp.
452
466
.
14.
Wang
,
Z.
, and
Wang
,
X.
,
2010
, “
General Solution of the Bagley–Torvik Equation With Fractional-Order Derivative
,”
Commun. Nonlinear Sci. Numer. Simul.
,
15
(
5
), pp.
1279
1285
.
15.
Li
,
Y.
, and
Zhao
,
W.
,
2010
, “
Haar Wavelet Operational Matrix of Fractional Order Integration and Its Applications in Solving the Fractional Order Differential Equations
,”
Appl. Math. Comput.
,
216
(
8
), pp.
2276
2285
.
16.
Ray
,
S. S.
,
2012
, “
On Haar Wavelet Operational Matrix of General Order and Its Application for the Numerical Solution of Fractional Bagley Torvik Equation
,”
Appl. Math. Comput.
,
218
(
9
), pp.
5239
5248
.
17.
Al-Mdallal
,
Q. M.
,
Syam
,
M. I.
, and
Anwar
,
M.
,
2010
, “
A Collocation-Shooting Method for Solving Fractional Boundary Value Problems
,”
Commun. Nonlinear Sci. Numer. Simul.
,
15
(
12
), pp.
3814
3822
.
18.
Raja
,
M. A. Z.
,
Khan
,
J. A.
, and
Qureshi
,
I. M.
,
2011
, “
Solution of Fractional Order System of Bagley-Torvik Equation Using Evolutionary Computational Intelligence
,”
Math. Probl. Eng.
,
2011
(
1
), p.
1
.
19.
Yüzbaşı
,
Ş.
,
2013
, “
Numerical Solution of the Bagley–Torvik Equation by the Bessel Collocation Method
,”
Math. Methods Appl. Sci.
,
36
(
3
), pp.
300
312
.
20.
Atanackovic
,
T.
, and
Zorica
,
D.
,
2013
, “
On the Bagley–Torvik Equation
,”
ASME J. Appl. Mech.
,
80
(
4
), p.
041013
.
21.
Krishnasamy
,
V.
, and
Razzaghi
,
M.
,
2016
, “
The Numerical Solution of the Bagley–Torvik Equation With Fractional Taylor Method
,”
ASME J. Comput. Nonlinear Dyn.
,
11
(
5
), p.
051010
.
22.
Gülsu
,
M.
,
Öztürk
,
Y.
, and
Anapali
,
A.
,
2017
, “
Numerical Solution the Fractional Bagley–Torvik Equation Arising in Fluid Mechanics
,”
Int. J. Comput. Math.
,
94
(
1
), pp.
173
184
.
23.
Arqub
,
O. A.
, and
Maayah
,
B.
,
2018
, “
Solutions of Bagley–Torvik and Painlevé Equations of Fractional Order Using Iterative Reproducing Kernel Algorithm With Error Estimates
,”
Neural Comput. Appl.
,
29
(
5
), pp.
1465
1479
.
24.
Ford
,
N. J.
, and
Simpson
,
A. C.
,
2001
, “
The Numerical Solution of Fractional Differential Equations: Speed Versus Accuracy
,”
Numer. Algorithm
,
26
(
4
), pp.
333
346
.
25.
Deng
,
W. H.
,
2007
, “
Short Memory Principle and a Predictor-Corrector Approach for Fractional Differential Equations
,”
J. Comput. Appl. Math.
,
206
(
1
), pp.
174
188
.
26.
Singh
,
S. J.
, and
Chatterjee
,
A.
,
2006
, “
Galerkin Projections and Finite Elements for Fractional Order Derivatives
,”
Nonlinear Dyn.
,
45
(
1–2
), pp.
183
206
.
27.
Yuan
,
L.
, and
Agrawal
,
O. P.
,
2002
, “
A Numerical Scheme for Dynamic Systems Containing Fractional Derivatives
,”
ASME J. Vib. Acoust.
,
124
(
2
), pp.
321
324
.
28.
Fitt
,
A. D.
,
Goodwin
,
A. R. H.
,
Ronaldson
,
K. A.
, and
Wakeham
,
W. A.
,
2009
, “
A Fractional Differential Equation for a MEMS Viscometer Used in the Oil Industry
,”
J. Comput. Appl. Math.
,
229
(
2
), pp.
373
381
.
29.
Tang
,
S.
,
Ying
,
Y.
,
Lian
,
Y.
,
Lin
,
S.
,
Yang
,
Y.
,
Wagner
,
G. J.
, and
Liu
,
W. K.
,
2016
, “
Differential Operator Multiplication Method for Fractional Differential Equations
,”
Comput. Mech.
,
58
(
5
), pp.
879
888
.
30.
Chen
,
Y. M.
,
Chen
,
Y. X.
, and
Liu
,
J. K.
,
2018
, “
Transforming Linear FDEs With Rational Orders Into ODEs by Modified Differential Operator Multiplication Method
,”
J. Vib. Control
,
25
(
2
), pp.
373
385
.