ABSTRACT (original article): We calculate the solution of the Bagley-Torvik equation for arbitrary initial conditions and arbitrary external force as the sum of two terms. The first one is a linear combination of exponentials with error functions, and the second one is a convolution integral whose kernel is a linear combination of exponentials with error functions. The derivation of the solution is carried out by using the Laplace transform method and the calculation of a new inverse Laplace transform. The aforementioned convolution integral can be calculated for the cases of a sinusoidal- or a potential-type external force. In addition, we calculate the asymptotic behaviour of the solution for and . The computation of this new analytical solution is much faster and stable than other analytical solutions found in the literature. CITATION (original article): Juan Luis González-Santander, Alexander Apelblat (2025), Analytical closed-form solution of the Bagley-Torvik equation, arXiv:2501.05972. https://doi.org/10.48550/arXiv.2501.05972
The Bagley-Torvik equation considers the vertical motion y(t) of a rigid plate of mass m and area A immersed in a Newtonian fluid of infinite extent with density ρ and viscosity μ. The plate is connected by a massless spring of stiffness K to a fixed point, where an external force f(t) is applied to it for t > 0, see Fig_ 1.pdf. The displacement y(t) is referred to the equilibrium point
ℓ
0
at which the weight of the plate is compensated by the force exerted by the sring and the buoyancy force experimented by the plate. The motion of the plate is governerd by the following fractional-order differential equation: ​
ay''(t)+b
*
​
0
3/2
D
t
y(t)+cy(t)=f(t)t>0,
​ where ​
a=mb=2A
μρ
c=K,
​and
*
​
0
3/2
D
t
y(t)
denotes the Caputo fractional derivative of order 3/2.

Useful Inverse Laplace Transform

In order to calculate the solution of the Bagley-Torvik, it is very useful the following new inverse Laplace transform:For p/q positive rational, m non-negative integer, λ real number, the following inverse Laplace transform holds true: ​
-1
ℒ

λ
s
a
m
s
+b
p/q
s
+c
;t=
1/q-λ-1
t
N
∑
k=1
E
1/q,1/q-λ
(
r
k
1/q
t
)
P'(
r
k
)
,
​​
where
r
k
(k=1,...,N)aretheN=max(mq,p)differentrootsofthepolynomial:
​​
P(r)=a
mq
r
+b
q
r
+c,
​​
and
E
α,β
(z)isthetwo-parameterMittag-Lefflerfunction.
Function definition of the Laplace transform
In[]:=
GL[α_,λ_,m_,s_]:=
λ
s
a
m
s
+b
α
s
+c
;

Inverse Laplace transform

Numerical inverse Laplace transform
In[]:=
gnum[α_,λ_,m_,t_]:=Module[{f,s,R},​​f[s_]:=GL[α,λ,m,s];​​R=InverseLaplaceTransform[f[s],s,t,Method->"Talbot"];​​R​​];
Analytical inverse Laplace transform for rational α = p/q
In[]:=
ganal[α_,λ_,m_,t_]:=Module{p,q,n,P,r,g},​​p=Numerator[Rationalize[α]];​​q=Denominator[Rationalize[α]];​​n=Max[mq,p];​​P[z_]:=a
mq
z
+b
p
z
+c;​​r=z/.Solve[P[z]==0,z];​​g=
1/q-1-λ
t
n
∑
k=1
MittagLefflerE[1q,1q-λ,r[[k]]
1/q
t
]
P'[r[[k]]]
;​​g​​//Chop;

Tests of the inverse Laplace transform

Parameters
In[]:=
a=2.1;b=1.3;c=1.4;​​α=10/3;λ=1.3;m=2;t=3.4;
In[]:=
gnum[α,λ,m,t]
Out[]=
-0.508039
In[]:=
ganal[α,λ,m,t]
Out[]=
-0.508039

Solutions of Bagley-Torvik Equation

ThesolutionoftheBagley-Torvikequation:​​ay''[t]+b
0
3/2
D
t
y[t]+cy[t]=f[t],​​witha,b,c∈,andinitialconditionsy(0),y'(0),isgivenby​​y(t)=
y
f
(t)+
y
c
(t),where​​
y
f
(t)=
t
∫
0
f(t-τ)
4
∑
k=1
exp
2
r
k
τerfc(-
r
k
τ
)
(4
ar
k
+3b)
r
k
τ,​​takesintoaccounttheeffectoftheexternalforcef(t),and​​
y
c
(t)=
4
∑
k=1
(
ar
k
+b)
2
r
k
y(0)+y'(0)
(4
ar
k
+3b)
2
r
k
exp
2
r
k
terfc(-
r
k
t
),​​takesintoaccounttheeffectoftheinitialconditions.Also
r
k
(k=1,2,3,4)are4differentrootsofthepolynomialP(r)=a
4
r
+b
3
r
+c.
Non-homogeneous f[t]
Non-homogeneous function (constant)
In[]:=
C0=1;(*parameter*)​​f[t_]:=C0;​​Cl={C0};α={0};(*f(t)=1*)​​Attributes[f]={Listable};
Non-homogeneous function (potential)
In[]:=
Cl={1,1};α={0,1/2};(*Potentialsolutionparameters:f(t)=1+
t
*)​​f[t_]:=
Length[Cl]
∑
l=1
Cl[[l]]Ifα[[l]]==0,1,
α[[l]]
t
;​​Attributes[f]={Listable};
Non-homogeneous function (sinusoidal)
In[]:=
ω=2.5;Ω=1;(*Sinusoidalparameters*)​​f[t_]:=ΩSin[ωt];​​Attributes[f]={Listable};
Non-homogeneous function (Bessel function first kind, order 0)
In[]:=
f[t_]:=BesselJ[0,t];​​Attributes[f]={Listable};

Paper Solutions

Bagley-Torvik parameters
In[]:=
a=1.3;b=2.6;c=3.4;
Rootsofthequarticpolynomial:​​P(r)=a
4
r
+b
3
r
+c
In[]:=
β=b/a;γ=c/a;​​δ=9
2
β
+
81
4
β
-768γ
γ;​​R=
1
2
2
β
2
+
1/3
δ
18
+
8γ
1/3
(12δ)
;​​T[s_]:=
1
2
2
β
2
-4γ
1/3
2
3δ
-
1/3
δ
18
-s
3
β
8R
;​​(*
r
k
fork=1,2,3,4*)​​r={R+T[1],-R+T[-1],R-T[1],-R-T[-1]}-
β
4
;
Homogeneous initial conditions: y(0) = y'(0) = 0
y0=0;(*Boundaryconditiony(0)=y0*)​​yp0=0;(*Boundaryconditiony'(0)=yp0*)
Non-homogeneous initial conditions: y(0) = y'(0) = 1
y0=1;(*Boundaryconditiony(0)=y0*)​​yp0=1;(*Boundaryconditiony'(0)=yp0*)
Solution
y
c
(t)
for non-homogeneous initial conditions
yc[t_]:=
4
∑
k=1
(ar[[k]]+b)(
2
r[[k]]
y0+yp0)
2
r[[k]]
(4ar[[k]]+3b)
Exp[
2
r[[k]]
t]Erfc[-r[[k]]
t
]//Chop;
Solution y(t) (f[t] constant)
In[]:=
y[t_]:=C0
4
∑
k=1
Exp[
2
r[[k]]
t]Erfc[-r[[k]]
t
]-1
3
r[[k]]
(4ar[[k]]+3b)
+yc[t]//Chop;​​Attributes[y]={Listable};
Solution y(t) (f[t] potential)
In[]:=
(*Solutiony(t)=
y
c
(t)+
y
f
(t)*)​​y[t_]:=yc[t]+
Length[Cl]
∑
l=1
Cl[[l]]Gamma[α[[l]]+1]
α[[l]]+1/2
t
4
∑
k=1
MittagLefflerE12,32+α[[l]],r[[k]]
t

2
r[[k]]
(4ar[[k]]+3b)
//Chop;​​Attributes[y]={Listable};
Solution y(t) (f[t] sinusoidal)
Solution y(t) (f[t] general)

Asymptotic solutions (this paper)

Asymptotic solution for sinusoidal force (t -> +∞)
Asymptotic solution for constant force (t -> +∞)
Asymptotic solution for potential force (t -> +∞)

Solutions Given in the Literature

Numerical solutions

Podlubny's numerical solution

Analytical solutions

Auxiliary functions
2A Cohen-Rodriguez-Zagier convergence acceleration algorithm for alternating series
Arora's series solution (potential-type force)

Tests

Parameters for the computations
Checks

Plots

Constant Solution

Constant solution with y(0) = y'(0) = 0
Constant solution with y(0) = y'(0) = 1
Potential solution with y(0) = y'(0) = 0
Potential solution with y(0) = y'(0) = 1

Sinusoidal Solution

Sinusoidal solution with y(0) = y'(0) = 0
Sinusoidal solution with y(0) = y'(0) = 1

General Solution with Bessel Function

General solution with y(0) = y'(0) = 0
General solution with y(0) = y'(0) = 1

Asymptotic Approximation

(* Asymptotic behaviour for t -> +∞ taking a sinusoidal solution with y(0) = y'(0) = 1 *)
Asymptotic behaviour for t -> +∞ taking a constant solution with y(0) = y'(0) = 1

Computational Time Performance

ANALYTICAL COMPARISON: Pang vs. paper

General Solution with Bessel function and y(0) = y'(0) = 1
Sinusoidal Solution with y(0) = y'(0) = 1
Constant Solution with y(0) = y'(0) = 1

NUMERICAL COMPARISON: Numerical Podlubny vs. paper

General Solution with Bessel function and y(0) = y'(0) = 1
Sinusoidal Solution with y(0) = y'(0) = 1
Constant Solution with y(0) = y'(0) = 1

Interactive plots of sinusoidal and constant forces

Solution y(t) (f[t] sinusoidal)
Solution y(t) (f[t] constant)
Solution y(t) (f[t] potential)
Interactive plot for a sinusoidal force
Interactive plot for a constant force
Interactive plot for a constant force

CITE THIS NOTEBOOK

Analytical closed-form solution of the Bagley-Torvik equation​
by Juan Luis González-Santander & Alexander Apelblat
Wolfram Community, STAFF PICKS, January 23, 2026
​https://community.wolfram.com/groups/-/m/t/3623622