 Research
 Open Access
 Published:
Numerical solvability of generalized Bagley–Torvik fractional models under Caputo–Fabrizio derivative
Advances in Difference Equations volume 2021, Article number: 469 (2021)
Abstract
This paper deals with the generalized Bagley–Torvik equation based on the concept of the Caputo–Fabrizio fractional derivative using a modified reproducing kernel Hilbert space treatment. The generalized Bagley–Torvik equation is studied along with initial and boundary conditions to investigate numerical solution in the Caputo–Fabrizio sense. Regarding the generalized Bagley–Torvik equation with initial conditions, in order to have a better approach and lower cost, we reformulate the issue as a system of fractional differential equations while preserving the second type of these equations. Reproducing kernel functions are established to construct an orthogonal system used to formulate the analytical and approximate solutions of both equations in the appropriate Hilbert spaces. The feasibility of the proposed method and the effect of the novel derivative with the nonsingular kernel were verified by listing and treating several numerical examples with the required accuracy and speed. From a numerical point of view, the results obtained indicate the accuracy, efficiency, and reliability of the proposed method in solving various real life problems.
Introduction
In the last two decades, fractional calculus has become one of the most effective tools used in modeling of dynamical systems, to name a few, quantum, quantum physics, liquids, mechanics, optimization of biological models [1–6], where these phenomena are modeled and updated in equations that are closest to actually describing their condition. The first application for fractional calculus was probably what is referred to as a tautochrone problem that was given by Niels Henrik Abel in 1823 [2]. The great expansion in this field caused the attention and concern of researchers from various sciences, who in turn rushed to improve and correct some of the deficiencies and gaps in modeling.
However, there is no generally accepted definition of fractional operator, but some papers suggested mathematical properties that a fractional derivative must have. Hence, we can find many definitions each has advantages and disadvantages, see for example [5–8]. In 2015, the scientists Caputo and Fabrizio introduced a novel operator without a singular kernel [9], called Caputo–Fabrizio fractional derivative (CFFD). The advantage of this operator is that it provides an accurate update and description of some typical phenomena in which the most famous definitions often complain, similar to the Caputo, Riemann–Liouville, Riesz fractional operators, of limitations and deficiencies in the description [10–15], since all of these definitions have a singular kernel. The interest of the nonsingular kernel is due to the necessity of describing material heterogeneitics and structures with distinct scales which local theory fails to describe. For more information, the reader is kindly requested to read the papers [16–21].
Anyhow, Caputo–Fabrizio derivative has a nice characteristic; it has an equivalent representation with singular kernel which allows to study more general materials such as viscoplastic materials rather than only viscoelastic ones. The reader can refer to [22] in which the equivalence of CFFD with a model of singular kernel is presented. The Bagley–Torvik equation is one of the most important equations that occupies a leading status in the study of applied sciences and engineering applications. It was originally formulated in the eighties of the last century, where both Bagley and Torvik presented a study model viscoelasticity damped structure in the following equation [23]:
along with the constants \(a_{i}\in R\), \(i=1,2,3\), \(h(\xi )\in C[0,X]\) which is the space of continuous functions over the interval \([0,X]\), and \(z(\xi )\) is an unknown function to be determined. Moreover, the Bagley–Torvik equation (1.1) has been generalized as \(\gamma \in (0, 2)\), and it can be modeled from a generalized fractional vibration equation [24]. Most previously prepared works are mostly related to Riemann–Liouville and Caputo derivatives.
Furthermore, the coefficients \(a_{i}\) may also change parallel with the changes in fluid density and viscosity. That is, \(a_{i}\) may be functions with respect to time. Exclusively, we generally consider the following generalized Bagley–Torvic equation (GBT) within CFFD:
with initial conditions given by
whereas the boundary conditions are of the form
whereas \(0\leq \xi \leq X\), \(a_{i}(\xi ),h(\xi )\in C[0,X]\), \(\alpha _{i},\beta _{i}\in R\), while \(z(\xi )\) are the solutions to the equation under initial or boundary conditions that are given in the Hilbert spaces \(\mathcal{H}_{2}[0,X]\) and \(\mathcal{H}_{3}[0,X]\) which will be defined later in Sect. 3.
Physically, the fractional 1/2order and 3/2order derivatives are common to predict the frequencydependent damping material. These derivatives are often used to model the motion of physical systems, as a study of an immersed plate in a Newtonian fluid was associated with the derivative 3/2 and gas in a fluid with the derivative 1/2. For more information, we refer to [25–30] and the references therein.
The value and importance of the Bagley–Torvic equation attracted the interest of researchers in finding approximate solutions using a range of iterative methods, among them, Adomian decomposition method, the generalized Taylor collocation method, homotopy analysis method, Chebyshev wavelet method, multistep methods, and predictor–corrector method of Adams type [31–33]. In this present paper, we are interested in studying and developing the modified reproducing kernel Hilbert space (MRKHS) under the influence of the CFFD, and making it suitable for solving the GBT under initial or boundary conditions, and that with greater accuracy and a lower time effort. The beginnings of the MRKHS method dates back to 1907, when Stanisław Zaremba presented research treating the boundary value problem of the harmonic functions. Thereafter, the process of developing this method proceeded until it has reached its current form. The MRKHS method occupies an important position among other numerical methods, as it is a very effective tool in many fields, such as machine learning, statistics, probability theory, economics, and the theory of integral operators [34–38]. In addition to that, this method is not limited to treating the wellposed problems, but also allows treating illposed problems.
The aim of this research paper can be summarized in several key points:

We undertake adjustments and improvements at the level of the MRKHS method, under the influence of the novel operator CFFD.

We use the CFFD properties to formulate GBT under initial conditions and convert it into an equivalent system of fractional differential equations. Then we apply the method given to solve this system. Finally, we get a relationship between the system solution and our equation.

We solve the GBT equation under the boundary conditions using the proposed method.

We prove some theorems related to the RKHS solution and its convergence to the exact solution.

We add mathematical simulations to determine the appropriateness and effectiveness of the accounts created.
Basic definitions and concepts
In this part, we present some basic definitions and theories for the Caputo–Fabrizio fractional derivative (CFFD) used in our study. It should be noted that rewriting Eq. (1.1) in the sense of this operator is due to its property of having a nonsingular kernel that enables it to represent some phenomena that well brief the functions of kernels. This data is not presented in other definitions, which creates difficulties in modeling. The use of exponentially based kernel and the equivalence of CFFD with a model of singular kernel give high precision in realistic representation phenomena, especially for physical problems.
Definition 2.1
([9])
The nonlocal fractional derivative of order \(0\leq \alpha \leq 1\) of a smooth function \(z:[a,\infty )\rightarrow \Re \) is given as
such that \(a\leq 0\), \(\xi \geq 0\), and \(M(\alpha )\) is a normalization function that satisfies \(M(0)=M(1)=1\). This operator is called Caputo–Fabrizio fractional derivative and is denoted by (CFFD).
Definition 2.2
([9])
Let z be a smooth function over \([0,X] \) and \(0 \leq \alpha \leq 1\). Then the corresponding fractional integral of CFFD operator with order α of a function z is given by
Proposition 2.3
([10])
For \(0<\alpha <1\) and \(z\in \mathcal{H}_{1}[0,X]\), we can conclude that
where \({H}_{1}[0,X]\) is the usual Sobolev space over \([0,X]\).
The following proposition will be used as an important hint for the higherorder derivations.
Proposition 2.4
([10])
If \(\alpha \in [0,1]\) and \(n\in N\), then the CFFD of order \(n+\alpha \) is defined as
Remark 2.5
In this present work, we take \(M(\alpha )=1\) and \(a=0\), so we can reformulate Definition 2.1 as follows:
where (∗) is the convolution operator.
In addition to that, the CFFD of any constant is zero, that is, for all \(c\geq 0\), we have \({}^{CF} \mathcal{D}^{\alpha }_{\xi } c=0\). Anyhow, we end this section with the equivalent representation of the CFFD which is
where \(g'_{0}(\xi )=\int _{a}^{0} e^{{ \frac{\alpha (\xi \tau )}{1\alpha }}}z'(\tau )\,d\tau \).
Preliminaries of MRKHS method
In this section, some of the essential facts of reproducing kernel theory are presented to construct Hilbert spaces associated with the reproducing function of our method. For more details, please read the papers [39–47]. During this study, \(AC[0,T]\) denotes the absolutely continuous real functions.
Definition 3.1
Let Λ be a nonempty abstract set, and let \(\mathcal{W}\) be a Hilbert space of functions \(v : \Lambda \longrightarrow \mathcal{W} \). Then any function \(B:\Lambda \times \Lambda \longrightarrow C\) that attains both
 (i):

\(B(\cdot,\xi )\in \mathcal{W} \) for each \(\xi \in \Lambda \) and
 (ii):

\(\langle v(\cdot),B(\cdot,\xi )\rangle =v(\xi )\) for each \(v \in \mathcal{W} \)
This function possesses some important properties such as being of unique representation, conjugate symmetric, and positivedefinite.
Definition 3.2
Any Hilbert space \(\mathcal{W}\) defined on a nonempty abstract Λ which possesses a reproducing kernel function is called a reproducing kernel Hilbert space.
Definition 3.3
For \(m=1,2,3\), the Hilbert spaces \(\mathcal{H}_{m}[0,X]\) are described by
The inner product and the norm corresponding in \(\mathcal{H}_{m}[0,X]\) for \(m = 1,2,3\) are given as follows:
Theorem 3.4
([34])
The unique representation of the reproducingkernel function associated with the Hilbert space \(\mathcal{H}_{1}[0,X]\) is given by
Theorem 3.5
([35])
The unique representation of the reproducingkernel function associated with \(\mathcal{H}_{2}[0,X]\) can be written as
Theorem 3.6
([35])
The unique representation of the reproducingkernel function associated with \(\mathcal{H}_{3}[0,X]\) can be written as
Definition 3.7
We describe the inner product Hilbert space \(\mathcal{W}_{m}[0,X]\), \(m=1,2\), of \(\mathcal{H}_{m}[0,X]\) and \(\mathcal{H}_{m}[0,X]\) by
as well as the inner product and the norm associated with \(\mathcal{W}_{m}[0,X]\) are built as follows:
Structure of analytical solution
MRKHS solution of GBT equation along with boundary conditions
In this section, we present a brief description for the notations and preliminary definitions of the MRKHS theory. Additionally, we explain how to solve GBT with boundary conditions (1.2)–(1.4) using the MRKHS method. Accordingly, we construct orthonormal function systems of the space based on the process orthogonalization of Gram–Schmidt.
Consider the GBT equation within CFFD
Now, to apply our technique to GBT equation (4.1) on the Hilbert space \(\mathcal{H}_{2}[0,X]\), we consider a linear differential operator defined as follows:
Thus, using the simple transform \(z(\xi ):=(\omega (\xi )(\mu _{2}\mu _{1})\xi +\mu _{1})\), the GBT with the boundary condition equation (4.1) can be equivalently converted to the form
Theorem 4.1
The differential operator \(\mathcal{L}\) from \(\mathcal{H}_{3}[0,X] \) into \(\mathcal{H}_{1}[0,X]\) is bounded and linear. Hence, \(\mathcal{L}\) is continuous.
Proof
In order to prove that \(\mathcal{L}\) is a bounded operator, it is enough to find \(M>0\) such that \(\frac{\\mathcal{L}z(\xi )\_{\mathcal{H}_{1}}}{\z(\xi )\_{\mathcal{H}_{3}}} \leq M\). By the definition of the inner product for \(m=1\) in (3.2) on the Hilbert space \(\mathcal{H}_{1}[0,X]\), we have
On the other hand, using the reproducing property of the MRKHS and by the Cauchy–Schwarz inequality, we can write
Hence,
where \(M=\sqrt{(M_{\{0\}}^{2}+XM_{\{1\}}^{2})}\).
Next, for all \(z,\eta \in \mathcal{H}_{3}[0,X] \), we have \(\\mathcal{L}(z+\eta )\mathcal{L}(z)\_{\mathcal{H}_{1}}= \ \mathcal{L}(\eta )\_{\mathcal{H}_{1}}\leq M\\eta \_{\mathcal{H}_{3}}\). Letting \(\eta \rightarrow 0\) implies that \(\mathcal{L}\) is continuous. □
We construct an orthonormal function system of \(\mathcal{H}_{3}[0,X]\) as follows: Put \(\Phi _{i}(\cdot)=V^{\{1\}}_{\xi _{i}}(\cdot)\) and \(\Psi _{i}(\cdot)=\mathcal{L}^{\star }\Phi _{i}(\cdot)\), where \(\mathcal{L}^{\star }\) is the adjoint operator of \(\mathcal{L}\) and \(\{\xi \}_{i=1}^{\infty }\) is a dense set on \([0, X]\).
The orthonormal system \(\{\widehat{\Psi }_{i}(\xi )\}_{i=1}^{\infty }\) of the space \(\mathcal{H}_{3}[0,X]\) can be generated from the wellknown Gram–Schmidt orthogonalization process as follows:
where \(\sigma _{ik}>0\) are the orthogonalization coefficients.
Theorem 4.2
For (4.3), if \(\{\xi _{i}\}_{i=1}^{\infty }\) is a dense set on [0, X], then the orthogonal function system \(\{ \Psi _{i}(\xi ) \}_{i=1}^{\infty }\) is complete in \(\mathcal{H}_{3}[0,X]\).
Proof
Note that
Now, for each \(z(\xi )\in \mathcal{H}_{3}[0,X]\), suppose \(\langle z(\xi ),\Psi _{i}(\xi ) \rangle =0\), thus we have
Because \(\{\xi _{i}\}_{i=1}^{\infty }\) is dense in [0, X] and \(\mathcal{L}\) is continuous, we get \(\mathcal{L}z(\xi _{i})=0\). Using the existence of the inverse operator \(\mathcal{L}^{1}\), we conclude that \(z(\xi )=0\). So the proof is complete. □
Theorem 4.3
If \(\{\xi _{i}\}_{i=1}^{\infty }\) is a dense subset on [0, X] and the analytic solution \(z(\xi )\) of (4.1) is unique, then the solution \(z(\xi )\) can be represented in the following form:
Proof
For each \(z(\xi )\in \mathcal{H}_{3}[0,X]\), \(z(\xi )\) can be extended in the Fourier series \(\sum^{\infty }_{i=1}\langle z(\xi ), \widehat{\Psi }_{i}(\xi ) \rangle \widehat{\Psi }_{i}(\xi ) \) about the orthonormal function system \(\{ \Psi _{i}(\xi ) \}_{i=1}^{\infty }\) of \(\mathcal{H}_{3}[0,X]\). Moreover, the series \(\sum^{\infty }_{i=1}\langle z(\xi ),\widehat{\Psi }_{i}(\xi ) \rangle \) is uniformly convergent in the Hilbert space \(\mathcal{W}_{2}[0,X]\). So, we have
□
Now, the approximate solution can be obtained by truncating the series in (4.9) as follows:
In the following theorem, we prove that the error that results when approximating the solution in (4.9) by the form (4.11) is decreasing to zero.
Theorem 4.4
Let \(E_{n}=\zz_{n}\_{\mathcal{H}_{3}}\), where z, \(z_{n}\) are respectively the exact and the approximate solution of (4.1) represented in (4.9) and (4.11), then the error \(E_{n}\) decreases monotonously in the sense of \(\\cdot\_{\mathcal{H}_{3}}\), and \(E_{n}\rightarrow 0\) as \(n\rightarrow \infty \).
Proof
We have
and
Note that \(E_{n1}^{2} > E_{n}^{2} \), so we conclude that the error \(E_{n} \) is monotone decreasing in the sense of \(\\cdot\^{2}_{\mathcal{H}_{3}}\), and because \(\sum^{\infty }_{i=1}\langle z(\xi ),\widehat{\Psi }_{i}(\xi ) \rangle \widehat{\Psi }_{i}(\xi ) \) is convergent, \(E_{n}\rightarrow 0\) as \(n\rightarrow \infty \). Hence, the proof is complete. □
MRKHS solution of GBT equation along with initial conditions
Now, we give some notations and preliminary definitions of the MRKHS theory. We then explain how to reformulate the GBT under the initial conditions (1.2)–(1.3) into an equivalent system of firstorder fractional differential equations and how to implement our method to solve this system, with highlighting the relationship between the solution of the system and the solution of GBT. Accordingly, we construct an orthonormal function system of the space based on the Gram–Schmidt orthogonalization process.
Consider the following GBT with initial conditions:
We can obtain an equivalent form of (4.12) by homogenizing the initial conditions using a transformation given by the following formula \(z(\xi ):=\omega (\xi )(\mu _{2}\xi +\mu _{1})\)
where \(H(\xi )=h(\xi )(a_{3}(\xi )\mu _{2}+2\mu _{2} a_{4}(\xi )(1e^{\xi })+a_{5}( \xi )(\mu _{2}\xi +\mu _{1}))\).
Before starting to describe the approximate RKHS scheme, we find it appropriate to rewrite the equivalent GBT equation (4.13) in the form of a system of fractional differential equations (SFDE) of first order by setting \(z(\xi )=z_{1}(\xi )\) and \(z_{1}'(\xi )=z_{2}(\xi )\). In this sense, the equivalent SFDE that we design has the form
equipped with the initial conditions
It is obvious that GBT equation (4.13) with its original initial conditions is equivalent to SFDE (4.14) with the new initial conditions (4.15) in the following sense: whenever \(Z=(z_{1},z_{2})^{T}\) with \(z_{1}\in \mathcal{H}_{2}[0,X]\) is a solution of SFDE (4.14) associated with initial conditions (4.15), the solution \(z := z_{1}\) solves GBT equation (4.13). Also, whenever \(z\in \mathcal{H}_{2}[0,X]\) is a solution to GBT equation (4.13) with original initial conditions, the vector of solutions \(Z:=(z_{1},z_{2})^{T}:= (z,z')^{T}\) solves SFDE (4.14) equipped with initial conditions (4.15).
Now, we begin by applying the MRKHS approach to solve the SFDE by defining differential operators as
whereas \(\mathcal{L}_{1}z_{1}(\xi )=z'_{1}(\xi )\) and \(\mathcal{L}_{2}z_{2}(\xi )= a_{1}(\xi )z'_{2}(\xi )+ a_{2}(\xi ){}^{CF} \mathcal{D}_{\xi }^{\frac{1}{2}}z_{2}(\xi )\). Put $\mathcal{L}=\left(\begin{array}{cc}{\mathcal{L}}_{1}& 0\\ 0& {\mathcal{L}}_{2}\end{array}\right)\in {\mathcal{W}}_{2}[0,X]$, \(H_{1}(\xi ,Z(\xi ))=z_{2}(\xi )\), \(H_{2}(\xi ,Z(\xi ))= a_{3}(\xi )z_{1}(\xi )+H(\xi )\), and \(H(\xi ,Z(\xi ))= (H_{1}(\xi ,Z(\xi )),H_{2}(\xi ,Z(\xi )))^{T}\).
Consequently, the initial value GBT equation can be converted into the form
equipped with the initial conditions
Lemma 4.5
The differential operators \(\mathcal{L}_{1},\mathcal{L}_{2}:\mathcal{H}_{2}[0,X]\longrightarrow \mathcal{H}_{1}[0,X]\) are linear and bounded operators. Consequently, the operator \(\mathcal{L}:\mathcal{W}_{2}[0,X] \longrightarrow \mathcal{W}_{1}[0,X]\) is also linear and bounded.
Proof
The proof is divided into two parts; first, we prove that \(\mathcal{L}_{j}:\mathcal{H}_{2}[0,X]\longrightarrow \mathcal{H}_{1}[0,X]\), \(j=1,2\), are bounded and linear. The linearity is obvious since both integer order and Caputo–Fabrizio derivatives are linear.
For boundedness, let \(z\in \mathcal{H}_{2}[0,X]\), then
Using the reproducing property of \(V^{\lbrace 2\rbrace }_{\xi }(\tau )\), we can write \(z(\xi )= \langle z(\cdot), V^{\lbrace 2\rbrace }_{\xi }(\cdot) \rangle _{\mathcal{H}_{2}}\) and
and
Applying the Schwarz inequality and using the fact that z, \(a_{1}\), \(a_{2}\) are continuous over \([0,X]\) and \({}^{CF}\mathcal{D}_{\xi }^{\frac{1}{2}}V^{\lbrace 2\rbrace }_{\xi }\) is continuous and uniformly bounded, we get
and similarly,
where \(\Upsilon _{ij} \in \Re ^{+}\), \(\forall i,j=1,2\).
Hence,
where \(M_{j}^{2}=(\Upsilon _{1j}^{2}+\Upsilon _{2j}^{2})X\).
So, \(\Vert \mathcal{L}_{j} z_{j} \Vert _{\mathcal{H}_{1}}^{2}\leq M_{j} \Vert z \Vert _{\mathcal{H}_{2}}\).
Now, for any \(Z=(z_{1},z_{2})^{T} \in \mathcal{W}_{2}[0,X]\), we have
where \(M=\max \{M_{1},M_{2}\}\). So, the proof is complete. □
Next, we create an orthonormal function system of \(\mathcal{W}_{2}[0,X]\) as follows: Let \(\Phi _{ij}(\cdot)=V^{\{1\}}_{\xi _{i}}(\cdot)\) and \(\Psi _{ij}(\cdot)=\mathcal{L}^{\star }\Phi _{ij}(\cdot)\) for each \(i=1,2,\ldots\) , and \(j=1,2\), where \(\mathcal{L}^{\star }\) is the adjoint operator of \(\mathcal{L}\) and \(\{\xi _{i}\}_{i=1}^{\infty }\) is a countable dense subset of \([0,X]\). Moreover, using the properties of the reproducing kernel, we find
To build the representative form of the MRKHS solutions of SFDE (4.14) equipped with the initial conditions (4.15) in the space \(\mathcal{W}_{2}[0, X]\), we use the wellknown Gram–Schmidt process that outputs an orthonormal function \(\{ (\widehat{\Psi }_{i1}(\xi ), \widehat{\Psi }_{i2}(\xi ))^{T} \}_{i=1}^{ \infty }\) of the space \(\mathcal{W}_{2}[0,X]\) constructed from \(\{ (\Psi _{i1}(\xi ),\Psi _{i2}(\xi ))^{T} \}_{i=1}^{\infty }\) such that
where \(\sigma ^{j}_{ik}\), \(j=1,2\), are the orthogonalization coefficients.
Theorem 4.6
If \(\{\xi _{i}\}_{i=1}^{\infty }\) is a dense set on [0, X], then the orthogonal function system \(\{ (\Psi _{i1}(\xi ),\Psi _{i2}(\xi ))^{T} \}_{i=1}^{\infty }\) is complete in \(\mathcal{W}_{2}[0,X]\).
Proof
For each $Z(\xi )=\left(\begin{array}{c}{z}_{1}(\xi )\\ {z}_{2}(\xi )\end{array}\right)\in {\mathcal{W}}_{2}[0,X]$, suppose \(\langle Z(\xi ),\Psi _{ij}(\xi ) \rangle =0\). On the other hand, we have
Because \(\{\xi _{i}\}_{i=1}^{\infty }\) is dense in [0, X] and \(\mathcal{L}\) is continuous, we get \(\mathcal{L}Z(\xi _{i})=0\). Using the existence of the inverse operator \(\mathcal{L}^{1}\), we conclude that \(Z(\xi )=0\). So the proof is complete. □
Theorem 4.7
If \(\{\xi _{i}\}_{i=1}^{\infty }\) is a dense subset on [0, X] and the analytic solution \(Z(\xi )\) of SFDE (4.14) is unique, then the analytic solution \(Z(\xi )\) can be represented in the following form:
Proof
For each \(Z(\xi )\in \mathcal{W}_{2}[0,X]\), \(Z(\xi )\) can be extended in the Fourier series \(\sum^{\infty }_{i=1}\langle Z(\xi ), \widehat{\Psi }_{i}(\xi ) \rangle \widehat{\Psi }_{i}(\xi ) \) about the orthonormal function system \(\{ (\Psi _{i1}(\xi ),\Psi _{i2}(\xi ))^{T} \}_{i=1}^{\infty }\), as \(\mathcal{W}_{2}[0,X]\). Moreover, the series \(\sum^{\infty }_{i=1}\langle Z(\xi ),\widehat{\Psi }_{i}(\xi ) \rangle \) is convergent in norm in the Hilbert space \(\mathcal{W}_{2}[0,X]\). So, we have
□
Moreover, if we take finitely many terms in the series representation for the analytic solution \(Z(\xi )\), we get directly the approximate solution SFDE (4.14), and it is given as the form
Lemma 4.8
The analytical solution of FBT equation (4.13) is given as
Proof
From Theorem 4.6, the proof is direct. □
Theorem 4.9
If \(E_{n}=\ZZ_{n}\_{\mathcal{W}_{2}}\), where Z, \(Z_{n}\) are the exact and the approximate solutions of SFDE (4.14), respectively, represented in (4.20) and (4.22), then the error \(E_{n}\) is monotonic decreasing in the sense of \(\\cdot\_{\mathcal{W}_{2}}\), and \(E_{n}\rightarrow 0\) as \(n\rightarrow \infty \). Consequently, the behavior error of the solution of the GBT equation decreases monotonously in the sense of \(\\cdot\_{\mathcal{W}_{2}}\).
Proof
We have
and
Note that \(E_{n1}^{2}> E_{n}^{2} \). So, we conclude that the error \(E_{n} \) is monotone decreasing in the sense of \(\\cdot\^{2}_{\mathcal{W}_{2}}\), and because \(\sum^{\infty }_{i=1}\langle Z(\xi ),\widehat{\Psi }_{i}(\xi ) \rangle \widehat{\Psi }_{i}(\xi ) \) is convergent, then \(E_{n}\rightarrow 0\) as \(n\rightarrow \infty \). So, the proof is complete. □
Numerical experiments
In order to demonstrate the effectiveness and eligibility of the proposed method for solving generalized Bagley–Torvik equations under the effect of CFFD derivative, we provide some illustrative examples and then solve them using MRKHS. In each example, we compare their results with the exact solution. All numerical computations are carried out using Mathematica 12.0 software package.
Example 5.1
Consider the GBT equation equipped with the following initial conditions (ICs):
which can be rewritten along with homogeneous ICs as follows:
where the exact solution is \(z(\xi )=\xi (1\xi )\).
In order to apply the MRKHS method with high efficiency, we make the substitution \(z_{1}(\xi )=v(\xi )\) and \(z_{2}(\xi )=v'(\xi )\) to convert it into the equivalent system:
Now, we apply the proposed method with \(n=70\) to get some numerical results as shown in Table 1. A comparison between the exact and the approximate curves is displayed in Fig. 1, which shows the accuracy of our method.
Example 5.2
Consider the GBT equation equipped with the following initial conditions:
which can be rewritten along with homogeneous ICs as follows:
where the exact solution is \(z(\xi )=\xi +1\).
The SFDE related to this GBT equation assuming \(z_{1}(\xi )=v(\xi )\) and \(z_{2}(\xi )=v'(\xi )\) is
To achieve high accuracy, we found it enough to take \(n=5\) as shown in Table 2 and Fig. 2.
Example 5.3
Consider the following GBT equation:
subject to
where the exact solution \(z(\xi )=\xi ^{2}\).
Applying the methodology described in this paper, with \(n=90\), some tabulated and graphical results are shown in Table 3 and Fig. 3.
Example 5.4
Consider the GBT equation equipped with the following ICs:
whose the exact solution is \(z(\xi )=2(1\xi )\).
The comparison between the exact and the approximate curves for \(n=5\) is displayed in Fig. 4, which shows high accuracy of this method.
Example 5.5
Consider the following GBT equation:
subject to ICs
which is equivalent to
subject to the homogeneous ICs
where the exact solution is \(z(\xi )=2 (1\xi ) \exp (\xi )\).
By applying the MRKHS method with \(n=55\), a comparison between the exact and the approximate curves is displayed in Fig. 5, which shows the accuracy of our method.
Example 5.6
Consider the GBT equation with boundary conditions (BCs) within CFFD of the form
In this example, we assume different values of the fractional CFFD orders to see the effect of this nonsingular kernel derivative to the GBT equations. Hence, a comparison between the approximate solutions for \(\alpha \in \lbrace 1,2,1.9,1.8,1.7,1.6,1.5\rbrace \) is shown in Table 4.
Example 5.7
Consider the following GBT equation:
subject to the BCs
in which the exact solution is \(z(\xi )=\xi ^{2}\xi \).
By applying the methodology described in this paper for \(n=55\), some tabulated and graphical results are shown in Table 5 and Fig. 6.
Conclusion
In this paper, solutions of generalized Bagely–Torvik equations under the fractional derivative of a nonsingular kernel, the Caputo–Fabrizio derivative, are meaningfully discussed. These types of differential equations were solved under appropriate initial or boundary conditions. In the case of ICs, we prefer to convert the problem into a system of fractional differential equations seeking more efficiency and simplicity of the RKHS technique. Some theories related to the proposed method solutions, convergence, and error estimation have been proven. Numerical examples have been presented to reveal the effects of CFFD on solutions of the GBT equation. These examples showed how the proposed method is effective in solving GBT equations and showed how close the fractional solutions are to the solutions of the integer order.
Availability of data and materials
Not applicable.
References
 1.
Zaslavsky, G.M.: Hamiltonian Chaos and Fractional Dynamics. Oxford University Press, London (2005)
 2.
Podlubny, I., Magin, R.L., Trymorush, I.: Niels Henrik Abel and the birth of fractional calculus. Fract. Calc. Appl. Anal. 20(5), 1068–1075 (2017)
 3.
AlSmadi, M., Abu Arqub, O., Momani, S.: Numerical computations of coupled fractional resonant Schrödinger equations arising in quantum mechanics under conformable fractional derivative sense. Phys. Scr. T 95(7), 075218 (2020)
 4.
AlSmadi, M., Abu Arqub, O., Hadid, S.: An attractive analytical technique for coupled system of fractional partial differential equations in shallow water waves with conformable derivative. Commun. Theor. Phys. 72(8), 085001 (2020)
 5.
Hamani, S., Benhamida, W., Henderson, J.: Boundary value problems for CaputoHadamard fractional differential equations. Adv. Theory Nonlinear Anal. Appl. 2(3), 138–145 (2018)
 6.
Nghia, B.D.: Existence of a mild solution to fractional differential equations with ψCaputo derivative, and its ψHölder continuity. Adv. Theory Nonlinear Anal. Appl. 5(3), 337–350 (2021)
 7.
Karapinar, E., Binh, H.D., Luc, N.H., Can, N.H.: On continuity of the fractional derivative of the timefractional semilinear pseudoparabolic systems. Adv. Differ. Equ. 2021, 70 (2021)
 8.
Phuong, N.D.: Note on a AllenCahn equation with CaputoFabrizio derivative. Results Nonlinear Anal. 4(3), 179–185 (2021)
 9.
Caputo, M., Fabrizio, M.: A new definition of fractional derivative without singular kernel. Prog. Fract. Differ. Appl. 1(2), 73–85 (2015)
 10.
Agarwal, P., Jain, S., Bashir Ahmad, B., AlOmari, S.: Certain recent fractional integral inequalities associated with the hypergeometric operators. J. King Saud Univ., Sci. 2015(17), 1–12 (2015)
 11.
AbuGdairi, R., Hasan, S., AlOmari, S., AlSmadi, M., Momani, S.: Attractive multistep reproducing kernel approach for solving stiffness differential systems of ordinary differential equations and some error analysis. Comput. Model. Eng. Sci. (2021, in press)
 12.
Cangpin, L., Qian, D., Chen, Y.: On Riemann–Liouville and Caputo derivatives. Discrete Dyn. Nat. Soc. 2011, 562494 (2011)
 13.
Abuteen, E., Freihat, A., AlSmadi, E., Khalil, H., Khan, R.A.: Approximate series solution of nonlinear, fractional KleinGordon equations using fractional reduced differential transform method. J. Math. Stat. 12, 23–33 (2016)
 14.
Chen, Z., Qiu, P., Yang, X.J., Feng, Y., Liu, J.: A new fractional derivative model for the anomalous diffusion problem. Therm. Sci. 23, 1005–1011 (2019)
 15.
AlSmadi, M.: Fractional residual series for conformable timefractional Sawada–Kotera–Ito, Lax, and Kaup–Kupershmidt equations of seventh order. Math. Methods Appl. Sci. (2021). https://doi.org/10.1002/mma.7507
 16.
Afshari, H., Shojaat, H., Moradi, M.S.: Existence of the positive solutions for a tripled system of fractional differential equations via integral boundary conditions. Results Nonlinear Anal. 4(3), 186–199 (2021)
 17.
Lazreg, J.E., Abbas, S., Benchohra, M., Karapinar, E.: Impulsive CaputoFabrizio fractional differential equations in bmetric spaces. Open Math. 19, 363–3752 (2021)
 18.
Afshari, H., Atapour, M., Karapinar, E.: A discussion on a generalized Geraghty multivalued mappings and applications. Adv. Differ. Equ. 2020, 356 (2020)
 19.
Afshari, H., Hosseinpour, H., Marasi, H.R.: Application of some new contractions for existence and uniqueness of differential equations involving CaputoFabrizio derivative. Adv. Differ. Equ. 2021, 321 (2021)
 20.
Karapinar, E., Fulga, A., Rashid, M., Shahid, L., Aydi, H.: Large contractions on quasimetric spaces with an application to nonlinear fractional differentialequations. Mathematics 7(5), 444 (2019)
 21.
Salim, A., Benchohra, B., Karapinar, E., Lazreg, J.E.: Existence and Ulam stability for impulsive generalized Hilfertype fractional differential equations. Adv. Differ. Equ. 2020, 601 (2020)
 22.
Caputo, M., Fabrizio, M.: On the singular kernels for fractional derivatives. Some applications to partial differential equations. Prog. Fract. Differ. Appl. 7(2), 1–4 (2021)
 23.
Torvik, P.J., Bagley, R.L.: On the appearance of the fractional derivative in the behavior of real materials. J. Appl. Mech. 51, 294–298 (1984)
 24.
Dai, H.Z., Zheng, Z.B., Wang, W.: On generalized fractional vibration equation. Chaos Solitons Fractals 95, 48–51 (2017)
 25.
AlSmadi, M., Abu Arqub, O., Hadid, S.: Approximate solutions of nonlinear fractional KunduEckhaus and coupled fractional massive Thirring equations emerging in quantum field theory using conformable residual power series method. Phys. Scr. 95(10), 105205 (2020)
 26.
AlSmadi, M., Abu Arqub, O., Zeidan, D.: Fuzzy fractional differential equations under the MittagLeffler kernel differential operator of the ABC approach: theorems and applications. Chaos Solitons Fractals 146, 110891 (2021)
 27.
Adigüzel, R.S., Aksoy, Ü., Karapinar, E., Erhan, I.M.: On the solution of a boundary value problem associated with a fractional differential equation. Math. Methods Appl. Sci. (2020). https://doi.org/10.1002/mma.6652
 28.
Adıgüzel, R.S., Aksoy, Ü., Karapınar, E., Erhan, I.M.: Uniqueness of solution for higherorder nonlinear fractional differential equations with multipoint and integral boundary conditions. Rev. R. Acad. Cienc. Exactas Fís. Nat., Ser. A Mat. 115, 155 (2021)
 29.
Adıgüzel, R.S., Aksoy, Ü., Karapınar, E., Erhan, I.M.: On the solutions of fractional differential equations via Geraghty type hybrid contractions. Appl. Comput. Math. 20(2), 313–333 (2021)
 30.
Afshari, H., Karapınar, E.: A discussion on the existence of positive solutions of the boundary value problems via ψHilfer fractional derivative on bmetric spaces. Adv. Differ. Equ. 2020, 616 (2020)
 31.
Ray, S.S., Bera, R.K.: Analytical solution of the BagleyTorvik equation by Adomian decomposition method. Appl. Math. Comput. 168, 398–410 (2005)
 32.
Çenesiz, Y., Keskin, Y., Kurnaz, A.: The solution of the BagleyTorvik equation with the generalized Taylor collocation method. J. Franklin Inst. 347, 452–466 (2010)
 33.
Zolfaghari, M., Ghaderi, R., Eslami, A.S., Ranjbar, A., Hosseinnia, S.H., Momani, S., Sadati, J.: Application of the enhanced homotopy perturbation method to solve the fractionalorder Bagley–Torvik differential equation. Phys. Scr. T 136, 014032 (2009)
 34.
AlSmadi, M., Djeddi, N., Momani, S., AlOmari, S., Araci, S.: An attractive numerical algorithm for solving nonlinear CaputoFabrizio fractional Abel differential equation in a Hilbert space. Adv. Differ. Equ. 2021, 271 (2021)
 35.
Gumah, G., Naser, M., AlSmadi, M., AlOmari, S., Baleanu, D.: Numerical solutions of hybrid fuzzy differential equations in a Hilbert space. Appl. Numer. Math. 151, 402–412 (2020)
 36.
AlSmadi, M., Abu Arqub, O.: Computational algorithm for solving Fredholm timefractional partial integrodifferential equations of Dirichlet functions type with error estimates. Appl. Math. Comput. 342, 280–294 (2019)
 37.
Ayasrah, M., ALSmadi, M., AlOmari, S., Baleanu, D., Momani, S.: Structure of optical soliton solution for nonlinear resonant spacetime Schrödinger equation in conformable sense with full nonlinearity term. Phys. Scr. 95(10), 105215, 1–11 (2020)
 38.
Gumah, G., Naser, M., AlSmadi, M., AlOmari, S.: Application of reproducing kernel Hilbert space, method for solving secondorder fuzzy Volterra integrodifferential equation. Adv. Differ. Equ. 2018, 475 (2018)
 39.
Momani, S., Djeddi, N., AlSmadi, M., AlOmari, S.: Numerical investigation for CaputoFabrizio fractional Riccati and Bernoulli equations using iterative reproducing kernel method. Appl. Numer. Math. 170, 418–434 (2021)
 40.
Hasan, S., ElAjou, A., Hadid, S., AlSmadi, M., Momani, S.: AtanganaBaleanu fractional framework of reproducing kernel technique in solving fractional population dynamics system. Chaos Solitons Fractals 133, 109624 (2020)
 41.
AlSmadi, M., Dutta, H., Hasan, S., Momani, S.: On numerical approximation of AtanganaBaleanuCaputo fractional integrodifferential equations under uncertainty in Hilbert space. Math. Model. Nat. Phenom. 16, 41 (2021)
 42.
AlSmadi, M., Abu Arqub, O., Momani, S.: A computational method for twopoint boundary value problems of fourthorder mixed integrodifferential equations. Math. Probl. Eng. 2013, 832074 (2013)
 43.
AlSmadi, M., Freihat, A., Khalil, H., Momani, S., Khan, R.A.: Numerical multistep approach for solving fractional partial differential equations. Int. J. Comput. Methods 14(3), 1750029 (2017)
 44.
Harrouche, N., Momani, S., Hasan, S., AlSmadi, M.: Computational algorithm for solving drug pharmacokinetic model under uncertainty with nonsingular kernel type CaputoFabrizio fractional derivative. Alex. Eng. J. 60(5), 4347–4362 (2021)
 45.
Gumah, G., AlOmari, S., Baleanu, D.: Soft computing technique for a system of fuzzy Volterra integrodifferential equations in a Hilbert space. Appl. Numer. Math. 44(10), 8322–8332 (2019)
 46.
Geng, F., Cui, M.: Solving a nonlinear system of second order boundary value problems. J. Math. Anal. Appl. 327, 1167–1181 (2007)
 47.
Geng, F.Z., Qian, S.P.: A new reproducing kernel method for linear nonlocal boundary value problems. Appl. Math. Comput. 248, 421–425 (2014)
Acknowledgements
The authors gratefully acknowledge the anonymous reviewers for their insightful suggestions and careful reading of the manuscript, and they are particularly grateful for Springer Nature’s support.
Funding
Not available.
Author information
Affiliations
Contributions
The authors contributed equally and significantly in writing this paper. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Hasan, S., Djeddi, N., AlSmadi, M. et al. Numerical solvability of generalized Bagley–Torvik fractional models under Caputo–Fabrizio derivative. Adv Differ Equ 2021, 469 (2021). https://doi.org/10.1186/s1366202103628x
Received:
Accepted:
Published:
Keywords
 Generalized Bagley–Torvik equations
 Caputo–Fabrizio fractional derivative
 Modified reproducing kernel Hilbert spaces