﻿ Chelyshkov-Tau Approach for Solving Bagley-Torvik Equation

Applied Mathematics
Vol.08 No.12(2017), Article ID:81217,13 pages
10.4236/am.2017.812128

Chelyshkov-Tau Approach for Solving Bagley-Torvik Equation

Mohamed El-Gamel, Mahmoud Abd-El-Hady, Magdy El-Azab

Department of Mathematical Sciences, Faculty of Engineering, Mansoura University, Mansoura, Egypt

Received: October 26, 2017; Accepted: December 18, 2017; Published: December 21, 2017

ABSTRACT

There are few numerical techniques available to solve the Bagley-Torvik equation which occurs considerably frequently in various offshoots of applied mathematics and mechanics. In this paper, we show that Chelyshkov-tau method is a very effective tool in numerically solving this equation. To show the accuracy and the efficiency of the method, several problems are implemented and the comparisons are given with other methods existing in the recent literature. The results of numerical tests confirm that Chelyshkov-tau method is superior to other existing ones and is highly accurate.

Keywords:

Chelyshkov, Tau Method, Bagley-Torvik, Caputo Derivative, Residual Functions

1. Introduction

Recently, the fractional derivative has attracted a lot of attentions due to widely applied in various fields of physics and engineering. Fractional derivative is an excellent tool to describe memory and genetic characteristics of various materials and processes. Many phenomena in various fields of science and engineering such as control, porous media, electrochemistry, viscoelasticity, electromagnetic, etc. can be described by Fractional differential Equation (FDE). The evolution of effective and perfectly appropriate method for numerically solving FDEs has received great attention over the past years.

In this paper, we develop a new approach called Chelyshkov-tau method for solving Bagley-Torvik equation of the form

${A}_{2}\text{ }{u}^{″}\left(x\right)+{A}_{1}\text{ }{u}^{\left(3/2\right)}\left(x\right)+{A}_{0}\text{ }u\left(x\right)=f\left(x\right),\text{ }x\in \left[0,1\right]$ (1)

subject to the boundary conditions

$\sum _{j=0}^{1}\text{ }\text{ }\text{ }{\alpha }_{ij}\text{ }{u}^{\left(j\right)}\left(0\right)+\text{ }{\beta }_{ij}\text{ }{u}^{\left(j\right)}\left(1\right)={\gamma }_{i},\text{ }i=0,1$ (2)

where ${A}_{2}\ne 0$ represents mass of the thin rigid plate immersed in a Newtonian fluid, ${A}_{1}$ is constant depending on area of the thin rigid, viscosity and density of fluid and ${A}_{0}$ represents stiffness of the spring. $f\left(x\right)$ is a given function. $u\left(x\right)$ represents motion of the rigid plate. The questions of existence and uniqueness of the solution to this initial value problem have been discussed in [1] [2] , so there is no need to go into these matters here.

Several numerical and analytical methods of Equation (1) were considered by many authors, such as finite difference method [3] , collocation method based on Müntz polynomials [4] , Tau approximate [5] , Adomian decomposition method [6] [7] , variational iteration method [8] , the generalized block pulse operational matrix [9] , homotopy perturbation method [10] [11] , generalized differential transform method [12] , Legendre-collocation method [13] , Laplace transforms [14] , Fourier transforms [15] , eigenvector expansion [16] , fractional differential transform method [17] [18] , the fractional iteration method [19] , power series method [20] , Bessel collocation method [21] , wavelet [22] and the Haar wavelet method [23] .

Orthogonal polynomials play an important role in mathematics as well as in applications in mathematical physics, engineering and computer science. Chelyshkov polynomials are the most recent set of orthogonal polynomials. Chelyshkov polynomials have become increasingly important in numerical analysis. The efficiency of the method has been officially established by many researchers [24] [25] . With these backgrounds, we extend Chelyshkov-tau method for solving Bagley-Torvik equation of Equation (1).

The efficiency and accuracy of the numerical scheme is assessed on specific test problems. The numerical outcomes indicate that the method yields highly accurate results. The numerical solutions are compared with analytical and other existing numerical solutions in the literature.

The paper is organized as follows. Section 2 preliminarily provides some definitions which are crucial to the following discussion. In Section 3 we apply Chelyshkov-tau method for solving the model equation. In Section 4, we present numerical examples to exhibit the accuracy and the efficiency of the present method. where the numerical results presented in this paper are computed by Matlab programming. The conclusion is presented in the final section.

2. Preliminaries

2.1. Basic Definitions of Fractional

In this section, we introduce the basic necessary definitions and primary facts of the fractional calculus theory which will be more used in this work [26] [27] .

Definition 1. The Riemann-Liouville fractional integral operator ${J}^{\alpha }$ of order $\alpha$ on a usual Lebesgue space ${L}_{1}\left[a,b\right]$ is given by

${J}^{\alpha }\psi \left(t\right)=\frac{1}{\Gamma \left(\alpha \right)}{\int }_{0}^{t}{\left(t-s\right)}^{\alpha -1}\psi \left(s\right)\text{d}s$

Some characteristics of this operator are:

$\begin{array}{l}{J}^{0}\psi \left(t\right)=\psi \left(t\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}{J}^{\alpha }\text{ }{J}^{\beta }\psi \left(t\right)={J}^{\alpha +\beta }\psi \left(t\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}{J}^{\alpha }\text{ }{J}^{\beta }\psi \left(t\right)={J}^{\beta }\text{ }{J}^{\alpha }\psi \left(t\right),\text{\hspace{0.17em}}\text{\hspace{0.17em}}\left(\alpha ,\beta \ge 0\right)\\ {J}^{\alpha }{\left(t-s\right)}^{\mu }=\frac{\Gamma \left(\mu +1\right)}{\Gamma \left(\alpha +\mu +1\right)}{\left(t-s\right)}^{\alpha +\mu },\text{ }\left(\mu >-1\right)\end{array}$

The Riemann-Liouville fractional derivative operator ${D}^{\alpha }$ is given by

${D}^{\alpha }\psi \left(t\right)={\left(\frac{\text{d}}{\text{d}t}\right)}^{m}\left({J}^{m-\alpha }\psi \left(t\right)\right)$

where m is an integer, provided that $m-1<\alpha \le m$ .

However, its derivative has Some drawbacks when we try to make a model for a real phenomenon using fractional differential equations. Therefore, we will provide a modified fractional differential operator ${D}^{\alpha }$ proposed by by Caputo [28] .

Definition 2. The Caputo derivative definition is defined as

${D}^{\alpha }\text{ }\psi \left(t\right)=\frac{1}{\Gamma \left(m-\alpha \right)}\text{ }{\int }_{0}^{x}\text{ }{\left(t-s\right)}^{m-\alpha -1}\text{ }{\psi }^{\left(m\right)}\left(s\right)\text{d}s\text{ },\text{ }m-1<\alpha \le m,m\in ℕ$ (3)

Hence, $\alpha >0$ and m is the smallest integer greater than or equal to $\alpha$ . For the Caputo fractional derivative we have

$\begin{array}{l}{D}^{\alpha }c=0,\text{ }\left(c\text{\hspace{0.17em}}\text{is}\text{\hspace{0.17em}}\text{constant}\right),\\ {D}^{\alpha }{J}^{\alpha }\psi \left(t\right)=\psi \left(t\right),\\ {J}^{\alpha }{D}^{\alpha }\psi \left(t\right)=\psi \left(t\right)-\sum _{i=0}^{m-1}\text{ }\text{ }{\psi }^{\left(i\right)}\left({0}^{+}\right)\frac{{\left(t-s\right)}^{i}}{i!},\\ {D}^{\alpha }{t}^{\beta }=\left\{\begin{array}{l}0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{for}\text{\hspace{0.17em}}\beta <⌈\alpha ⌉,\\ \frac{\Gamma \left(\beta +1\right)}{\Gamma \left(\beta +1-\alpha \right)}\text{ }{t}^{\beta -\alpha },\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{for}\text{ }\text{\hspace{0.17em}}\text{ }\beta \ge ⌈\alpha ⌉.\end{array}\end{array}$ (4)

It can be said when $\alpha \in ℕ$ , the Caputo differential operator matches with the integer-order differential operator.

For more details on fractional derivative definitions, theorems and its properties, you can see [26] [27] .

2.2. Some Properties of Chelyshkov Polynomials

We first review some important concepts and basics of the Chelyshkov function and conclude useful results that are important to this paper. Recently, these polynomials have established by Chelyshkov in [29] [30] [31] [32] [33] , which are orthogonal over the interval $\left[0,1\right]$ , and are explicitly defined by

${C}_{Nj}\left(x\right)=\sum _{i=0}^{N-j}\text{ }{\left(-1\right)}^{i}\text{ }\left(\begin{array}{c}N-j\\ i\end{array}\right)\text{ }\left(\begin{array}{c}N+j+k+1\\ N-j\end{array}\right)\text{ }{x}^{N+k},\text{ }j=0,1,\cdots ,N$ (5)

This gives the Rodrigues formula

${C}_{Nj}\left(x\right)=\frac{1}{\left(N-j\right)!}\text{ }\frac{1}{{x}^{j+1}}\text{ }\frac{{\text{d}}^{N-j}}{\text{d}{x}^{N-j}}\text{ }\left[{x}^{N+j+1}\text{ }{\left(1-x\right)}^{N-j}\right],\text{ }j=0,1,\cdots ,N$

and the orthogonality condition of Chelyshkov polynomials [32] is

${\int }_{0}^{1}\text{ }\text{ }{C}_{Nj}\left(x\right){C}_{Nk}\left(x\right)\text{d}x=\left\{\begin{array}{l}\frac{1}{j+k+1},\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{for}\text{ }\text{\hspace{0.17em}}j=k,\text{\hspace{0.17em}}\text{\hspace{0.17em}}j,k=0,1,\cdots ,N,N+1\\ 0,\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{for}\text{ }\text{\hspace{0.17em}}j\ne k.\end{array}$ (6)

Also it follows from this relation that

${\int }_{0}^{1}\text{ }{C}_{Nj}\left(x\right)\text{d}x={\int }_{0}^{1}\text{ }{x}^{j}\text{d}x=\frac{1}{j+1}$

By using the Cauchy integral formula for derivative and the Rodrigues type representation, we can get the integral relation

${C}_{Nj}\left(x\right)=\frac{1}{2\text{π}i}\frac{1}{{x}^{j+2}}{\int }_{\Omega 1}\frac{{\overline{s}}^{N+j+2}\text{ }{\left(1-s\right)}^{N-j}}{{\left(s-{x}^{-1}\right)}^{N-j+1}}\text{d}s$

such that the point $s={x}^{-1}$ . lies in closed curve $\Omega 1$ .

Chelyshkov polynomials ${C}_{Nj}\left(x\right)$ provide a natural way to solve, expand, and interpret solutions. Actually, these polynomials can be expressed in terms of the Jacobi polynomials ${P}_{k}^{\left(\alpha ,\beta \right)}$ by the following relation,

${C}_{Nj}\left(x\right)={x}^{j}{P}_{N-j}^{\left(2j,1\right)}\left(1-2x\right),\text{ }j=0,1,\cdots ,N$

Let function $u\left(x\right)$ , square integrable in $\left[0,1\right]$ , can be expressed in terms of Chelyshkov polynomials as

$u\left(x\right)\cong {u}_{N}\left(x\right)=\sum _{j=0}^{N}\text{ }\text{ }{a}_{j}{C}_{Nj}\left(x\right),$ (7)

where the coefficients ${a}_{j}$ are the unknown Chelyshkov coefficients and ${C}_{Nj},j=0,1,\cdots ,N$ are Chelyshkov orthogonal polynomials of the degree N such that $N\ge 2$ . Also,

$\begin{array}{l}{{u}^{\prime }}_{N}\left(x\right)=\sum _{j=0}^{N}\text{ }\text{ }{a}_{j}{{C}^{\prime }}_{Nj}\left(x\right),\\ {{u}^{″}}_{N}\left(x\right)=\sum _{j=0}^{N}\text{ }\text{ }{a}_{j}{{C}^{″}}_{Nj}\left(x\right)\end{array}$ (8)

Then we can convert the solution expressed by (7) and its derivative (8) to matrix form

$\begin{array}{l}\left[u\left(x\right)\right]=C\left(x\right)\text{ }A\text{ }\text{ }\text{ }\text{or}\text{ }\left[u\left(x\right)\right]=XCA\\ \left[{u}^{\prime }\left(x\right)\right]=\frac{\text{d}\text{ }C\left(x\right)}{\text{d}x}\text{ }A\text{ }\text{or}\text{ }\left[{u}^{\prime }\left(x\right)\right]=XMCA\\ \left[{u}^{″}\left(x\right)\right]=\frac{{\text{d}}^{2}\text{ }C\left(x\right)}{\text{d}{x}^{2}}\text{ }A\text{ }\text{or}\text{ }\left[{u}^{″}\left(x\right)\right]=X{M}^{2}CA\end{array}$ (9)

where

$A={\left[{a}_{0},\cdots ,{a}_{N}\right]}^{\tau }\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}C\left(x\right)=\left[\begin{array}{ccccc}{C}_{N0}\left(x\right)& {C}_{N1}\left(x\right)& {C}_{N2}\left(x\right)& \cdots & {C}_{NN}\left(x\right)\end{array}\right]$

and

$X=\left[\begin{array}{ccccc}1& x& {x}^{2}& \cdots & {x}^{N}\end{array}\right],\text{ }M={\left[\begin{array}{ccccc}0& 1& 0& \dots & 0\\ 0& 0& 2& \dots & 0\\ 0& 0& 0& \ddots & 0\\ 0& 0& 0& \dots & N\\ 0& 0& 0& \dots & 0\end{array}\right]}_{\left(N+1\right)×\left(N+1\right)}$

if N is odd,

$C=\text{ }{\left[\begin{array}{ccccc}\left(\begin{array}{c}N\\ 0\end{array}\right)\text{ }\left(\begin{array}{c}N+1\\ N\end{array}\right)& 0& \cdots & 0& 0\\ -\left(\begin{array}{c}N\\ 1\end{array}\right)\text{ }\left(\begin{array}{c}N+2\\ N\end{array}\right)& \left(\begin{array}{c}N-1\\ 0\end{array}\right)\text{ }\left(\begin{array}{c}N+2\\ N-1\end{array}\right)& \cdots & 0& 0\\ ⋮& ⋮& \ddots & ⋮& ⋮\\ \left(\begin{array}{c}N\\ N-1\end{array}\right)\text{ }\left(\begin{array}{c}2N\\ N\end{array}\right)& -\left(\begin{array}{c}N-1\\ N-2\end{array}\right)\text{ }\left(\begin{array}{c}2N\\ N-1\end{array}\right)& \cdots & \left(\begin{array}{c}1\\ 0\end{array}\right)\text{ }\left(\begin{array}{c}2N\\ 1\end{array}\right)& 0\\ -\left(\begin{array}{c}N\\ N\end{array}\right)\text{ }\left(\begin{array}{c}2N+1\\ N\end{array}\right)& \left(\begin{array}{c}N-1\\ N-1\end{array}\right)\text{ }\left(\begin{array}{c}2N+1\\ N-1\end{array}\right)& \cdots & -\left(\begin{array}{c}1\\ 1\end{array}\right)\text{ }\left(\begin{array}{c}2N+1\\ 1\end{array}\right)& 1\end{array}\right]}_{\left(N+1\right)×\left(N+1\right)}$

if N is even,

$C=\text{ }{\left[\begin{array}{ccccc}\left(\begin{array}{c}N\\ 0\end{array}\right)\text{ }\left(\begin{array}{c}N+1\\ N\end{array}\right)& 0& \cdots & 0& 0\\ -\left(\begin{array}{c}N\\ 1\end{array}\right)\text{ }\left(\begin{array}{c}N+2\\ N\end{array}\right)& \left(\begin{array}{c}N-1\\ 0\end{array}\right)\text{ }\left(\begin{array}{c}N+2\\ N-1\end{array}\right)& \cdots & 0& 0\\ ⋮& ⋮& \ddots & ⋮& ⋮\\ -\left(\begin{array}{c}N\\ N-1\end{array}\right)\text{ }\left(\begin{array}{c}2N\\ N\end{array}\right)& \left(\begin{array}{c}N-1\\ N-2\end{array}\right)\text{ }\left(\begin{array}{c}2N\\ N-1\end{array}\right)& \cdots & \left(\begin{array}{c}1\\ 0\end{array}\right)\text{ }\left(\begin{array}{c}2N\\ 1\end{array}\right)& 0\\ \left(\begin{array}{c}N\\ N\end{array}\right)\text{ }\left(\begin{array}{c}2N+1\\ N\end{array}\right)& -\left(\begin{array}{c}N-1\\ N-1\end{array}\right)\text{ }\left(\begin{array}{c}2N+1\\ N-1\end{array}\right)& \cdots & -\left(\begin{array}{c}1\\ 1\end{array}\right)\text{ }\left(\begin{array}{c}2N+1\\ 1\end{array}\right)& 1\end{array}\right]}_{\left(N+1\right)×\left(N+1\right)}$

Theorem 1. For ${C}_{Nj}\left(x\right)$ defined in (5) then the finite series can be converted

${u}^{\left(3/2\right)}\left(x\right)\cong {u}_{N}^{\left(3/2\right)}\left(x\right)=\sum _{j=0}^{N}\text{ }\text{ }{a}_{j}{C}_{Nj}^{\left(3/2\right)}\left(x\right)$

into matrix form

$\left[{u}^{\left(3/2\right)}\left(x\right)\right]=X{D}^{\left(3/2\right)}CA$ (10)

where

${D}^{\left(3/2\right)}={\left[\begin{array}{ccccccc}0& 0& 0& 0& 0& \cdots & 0\\ 0& 0& 0& 0& 0& \cdots & 0\\ 0& 0& \frac{\Gamma \left(3\right)}{\Gamma \left(\frac{3}{2}\right)}\text{ }{x}^{-3/2}& 0& 0& \cdots & 0\\ 0& 0& 0& \frac{\Gamma \left(4\right)}{\Gamma \left(\frac{5}{2}\right)}\text{ }{x}^{-3/2}& 0& \cdots & 0\\ ⋮& ⋮& ⋮& ⋮& ⋮& \ddots & ⋮\\ 0& 0& 0& 0& 0& \dots & \frac{\Gamma \left(N+1\right)}{\Gamma \left(\frac{2N-1}{2}\right)}\text{ }{x}^{-3/2}\end{array}\right]}_{\left(N+1\right)×\left(N+1\right)}$ (11)

Proof. The proof is straightforward using Equation (4).

3. The Description of Chelyshkov Scheme

Let us seek the solution of (1) expressed in terms of Chelyshkov polynomials as

$u\left(x\right)\cong {u}_{N}\left(x\right)=\sum _{n=0}^{N}\text{ }\text{ }{a}_{n}{C}_{Nn}\left(x\right).$

Replacing each terms of (1) with the corresponding approximations defined in (7), (8) and (10) and we obtain the following theorem.

Theorem 2. If the assumed approximate solution of the boundary-value problem (1)-(2) is (3), the discrete Chelyshkov-tau system for the determination of the unknown coefficients ${\left\{{a}_{n}\right\}}_{n=0}^{N}$ is given by

${A}_{2}\text{ }\sum _{n=0}^{N}\text{ }\text{ }{a}_{n}{C}_{Nn}^{\left(2\right)}\left(x\right)+{A}_{1}\text{ }\sum _{n=0}^{N}\text{ }\text{ }{a}_{n}{C}_{Nn}^{\left(3/2\right)}\left(x\right)+{A}_{0}\text{ }\sum _{n=0}^{N}\text{ }\text{ }{a}_{n}{C}_{Nn}\left(x\right)=\sum _{n=0}^{N}\text{ }\text{ }{f}_{n}{C}_{Nn}\left(x\right)$ (12)

Equation (12), which can be written in the matrix form

${A}_{2}X{M}^{2}CA+{A}_{1}X{D}^{\left(3/2\right)}CA+{A}_{0}XCA=XCF$ (13)

where

$F={\left[{f}_{0},{f}_{1},\cdots ,{f}_{N}\right]}^{\tau }$

The residual ${R}_{N}\left(x\right)$ for Equation (13) can be written as

${R}_{N}\left(x\right)=X\left[{A}_{2}{M}^{2}CA+{A}_{1}{D}^{\left(3/2\right)}CA+{A}_{0}CA-CF\right]$ (14)

As in a typical tau method [34] we generate N-1 linear equations by applying

$〈{R}_{N}\left(x\right),{C}_{Nn}\left(x\right)〉={\int }_{0}^{1}\text{ }{R}_{N}\left(x\right)\text{ }{C}_{Nn}\left(x\right)\text{d}x=0,\text{ }n=1,2,\cdots ,N-1$ (15)

The boundary condition is derived from Equation (2) and matrices for conditions are

$\sum _{j=0}^{1}\text{ }\text{ }{\alpha }_{ij}X\left(0\right){M}^{j}CA+{\beta }_{ij}\text{ }X\left(1\right){M}^{j}CA={\gamma }_{i},\text{ }i=0,1$ (16)

Equations (15) and (16) generate $N+1$ set of linear equations, respectively. These linear equations can be solved for unknown coefficients of the vector $A$ . Consequently, $u\left(x\right)$ given in Equation (7) can be calculated..

4. Numerical Results

In this section, we apply the Chelyshkov-tau method to various problems which were collected from the open literature [13] [35] [36] [37] [38] . Our primary interest is to compare our method with other methods on the same problems. All computations were carried out using Matlab on a personal computer. In the examples, the maximum absolute error at points is taken as

$‖{E}_{\text{ }\text{Chelyshkov}\text{ }}‖=|{u}_{\text{ }\text{Exact}\text{ }}-{u}_{\text{ }\text{Chelyshkov}\text{ }}|$

Example 1: [21] Consider the linear BVP

${u}^{″}\left(x\right)+{u}^{\left(3/2\right)}\left(x\right)+u\left(x\right)=x+1,\text{ }0

subject to the boundary conditions

$u\left(0\right)=1\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{and}\text{\hspace{0.17em}}\text{\hspace{0.17em}}u\left(1\right)=2$

whose exact solution is

$u=x+1$

the approximate solution $u\left(x\right)$ by the truncated Chelyshkov polynomial for $N=2$ is

$u\left(x\right)={a}_{0}\text{ }{C}_{20}\left(x\right)+{a}_{1}\text{ }{C}_{21}\left(x\right)+{a}_{2}\text{ }{C}_{22}\left(x\right)$

Here, we have

$C=\left[\begin{array}{ccc}3& 0& 0\\ -12& 4& 0\\ 10& -5& 1\end{array}\right],\text{ }M=\left[\begin{array}{ccc}0& 1& 0\\ 0& 0& 2\\ 0& 0& 0\end{array}\right],\text{ }{D}^{\left(3/2\right)}=\frac{4}{\sqrt{\text{π}}}\left[\begin{array}{ccc}0& 0& 0\\ 0& 0& 0\\ 0& 0& {x}^{-3/2}\end{array}\right]$

$X=\left[\begin{array}{ccc}1& x& {x}^{2}\end{array}\right],\text{ }F=\left[\begin{array}{c}\frac{1}{3}\\ \frac{5}{4}\\ \frac{35}{12}\end{array}\right]$ (17)

By applying Equation (15) We obtain

$\left(\frac{23}{3}+\frac{16}{7\text{ }\sqrt{\text{π}}}\right){a}_{0}-\left(\frac{10}{3}+\frac{8}{7\text{ }\sqrt{\text{π}}}\right){a}_{1}+\left(\frac{2}{3}+\frac{8}{35\text{ }\sqrt{\text{π}}}\right){a}_{2}-\frac{1}{3}=0$ (18)

By applying Equation (16), we have

$3\text{ }{a}_{0}-1=0$ (19)

${a}_{0}-{a}_{1}+{a}_{2}-2=0$ (20)

By solving Equations (18)-(20), we get

${a}_{0}=\frac{1}{3},\text{ }{a}_{1}=\frac{5}{4},\text{ }{a}_{2}=\frac{35}{12}$

Thus we can write

$y\left(x\right)=\left[\begin{array}{ccc}\frac{1}{3}& \frac{5}{4}& \frac{35}{12}\end{array}\right]\left[\begin{array}{c}10{x}^{2}-12x+3\\ -5{x}^{2}+4x\\ {x}^{2}\end{array}\right]=1+x$

which is the exact solution.

Example 2: [13] [35] [36] Consider the linear BVP

${A}_{2}\text{ }{u}^{″}\left(x\right)+{A}_{1}\text{ }{u}^{\left(3/2\right)}\left(x\right)+{A}_{0}\text{ }u\left(x\right)=f\left(x\right),\text{ }0

with initial conditions

$u\left(0\right)=0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{u}^{\prime }\left(0\right)=0$

which is known to have analytical solution as

$\begin{array}{c}u\left(x\right)={\int }_{0}^{x}\text{ }{G}_{3}\left(x-\tau \right)f\left(\tau \right)\text{d}\tau \text{ }{G}_{3}\left(x\right)\\ =\frac{1}{{A}_{2}\text{ }}\sum _{k=0}^{\infty }\frac{{\left(-1\right)}^{k}}{k!}{\left(\frac{{A}_{0}\text{ }}{{A}_{2}\text{ }}\right)}^{k}{x}^{2k+1}{E}_{\frac{1}{2},2+\frac{3k}{2}}^{\left(k\right)}\text{ }\left(-\frac{{A}_{1}\text{ }}{{A}_{2}\text{ }}\sqrt{x}\right)\end{array}$

where ${E}_{\lambda ,\mu }^{\left(k\right)}\left(u\right)$ is the kth derivative of the Mittag-Leffler function with parameters $\lambda$ and $\mu$ given by

${E}_{\lambda ,\mu }^{\left(k\right)}\text{ }\left(y\right)=\sum _{j=0}^{\infty }\frac{\left(j+k\right)!{y}^{j}}{j!\Gamma \left(\lambda j+\lambda k+\mu \right)},\text{ }k=0,1,2,\cdots$

and the ${G}_{3}\left(x\right)$ three-term Green’s equation. Let ${A}_{2}=1$ , ${A}_{1}={A}_{0}=0.5$ and $f\left(x\right)=8$ .

Table 1 exhibits a comparison between the exact, the results obtained by using Chelyshkov tau for $N=14$ with analogous results of Çenesiz et al. [35] for underlying the generalized Taylor collocation method (GTCM) and Setia [36] , who used second kind Chebyshev wavelet method (CWM) and with analogous results of El-Gamel and Abd El-Hady [13] for underlying Legendre-collocation method.

Figure 1 displays the estimated absolute error function for $N=14$ with the present method.

Example 3: [13] [19] Now we turn to IVP

${u}^{″}\left(x\right)+{u}^{\left(3/2\right)}\left(x\right)+u\left(x\right)=7x+\frac{8}{\sqrt{\text{π}}}{x}^{3/2}+{x}^{3}+1,\text{ }0

subject to the boundary conditions

$u\left(0\right)=1\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{and}\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}{u}^{\prime }\left(0\right)=1$

whose exact solution is

$u\left(x\right)={x}^{3}+x+1$

Table 1. Results for Example 2.

Figure 1. Error plot between analytical and Chelyshkov results for Example 2.

Table 2 exhibits a comparison between the results obtained by using Chelyshkov tau for $N=8$ with analogous results of Mekkaoui and Hammouch [19] for underlying the variational iteration method (VIM), the fractional iteration method (FIM) and with analogous results of El-Gamel and Abd El-Hady [13] for underlying Legendre-collocation method.

Figure 2 displays the estimated absolute error function for $N=8$ with the present method.

Example 4: [38] Consider the linear BVP

${u}^{″}\left(x\right)+\frac{8}{17}{u}^{\left(3/2\right)}\left(x\right)+\frac{13}{51}u\left(x\right)=f\left(x\right),\text{ }0

where

$f\left(x\right)=\frac{1}{89250\text{ }\sqrt{\text{π}\text{ }x}}\left[48\text{ }p\left(x\right)+7\sqrt{x}\text{ }q\left(x\right)\right]$

$p\left(x\right)=16000\text{ }{x}^{4}-32480\text{ }{x}^{3}+21280\text{ }{x}^{2}-4746\text{ }x+149$

and

$q\left(x\right)=3250\text{ }{x}^{5}-9425\text{ }{x}^{4}+264880\text{ }{x}^{3}-448107{x}^{2}+233262\text{ }x-34578$

and subject to the boundary conditions

$y\left(0\right)=0\text{\hspace{0.17em}}\text{\hspace{0.17em}}\text{ }\text{and}\text{ }\text{\hspace{0.17em}}\text{\hspace{0.17em}}y\left(1\right)=0$

whose exact solution is

$y\left(x\right)={x}^{5}-\frac{29}{10}\text{ }{x}^{4}+\frac{76}{25}{x}^{3}-\frac{339}{250}\text{ }{x}^{2}+\frac{27}{125}\text{ }x$

Table 3 exhibits a comparison between the absolute errors obtained by using Chelyshkov tau for $N=8$ with analogous errors of Rehman and Ali Khan [38] for underlying Haar wavelets method.

Figure 3 displays the estimated absolute error function for $N=8$ with the present method.

Figure 2. Error plot between analytical and Chelyshkov results for Example 3.

Figure 3. Error plot between analytical and Chelyshkov results for Example 4.

Table 2. Results for Example 3.

Table 3. Results for Example 4.

5. Conclusion

In this paper, Chelyshkov operational matrix of fractional derivative has been derived. Our approach was based on the tau method. The proposed technique is easy to implement efficiently and yield accurate results. Moreover, only a small number of Chelyshkov polynomials is needed to obtain a satisfactory result. In addition, an interesting feature of this method is to find the analytical solution if the equation has an exact solution that is polynomial functions. Numerical examples are included and a comparison is made with an existing result.

Cite this paper

El-Gamel, M., Abd-El-Hady, M. and El-Azab, M. (2017) Chelyshkov-Tau Approach for Solving Bagley-Torvik Equation. Applied Mathematics, 8, 1795-1807. https://doi.org/10.4236/am.2017.812128

References

1. 1. Luchko, Y. and Gorenflo, R. (1999) An Operational Method for Solving Fractional Differential Equations with the Caputo Derivatives. Acta Mathematica Vietnamica, 24, 207-233.

2. 2. Podlubny, I. (1999) Fractional Differential Equations. Academic Press, San Diego.

3. 3. Meerschaert, T. and Tadjeran, C. (2006) Finite Difference Approximations for Two-Sided Space-Fractional Partial Differential Equations. Applied Numerical Mathematics, 56, 80-90. https://doi.org/10.1016/j.apnum.2005.02.008

4. 4. Esmaeili, S. and Shamsia, M. and Luchko, Y. (2011) Numerical Solution of Fractional Differential Equations with a Collocation Method Based on Müntz Polynomials. Computers & Mathematics with Applications, 62, 918-929. https://doi.org/10.1016/j.camwa.2011.04.023

5. 5. Vanani, S. and Aminataei, A. (2011) Tau Approximate Solution of Fractional Partial Differential Equations. Computers & Mathematics with Applications, 62, 1075-1083. https://doi.org/10.1016/j.camwa.2011.03.013

6. 6. Momani, S. and Al-Khaled, K. (2005) Numerical Solutions for Systems of Fractional Differential Equations by the Decomposition Method. Computers & Mathematics with Applications, 162, 1351-1365. https://doi.org/10.1016/j.amc.2004.03.014

7. 7. Ray, S. and Bera, R. (2005) Analytical Solution of the Bagley-Torvik Equation by Adomian Decomposition Method. Applied Mathematics and Computation, 168, 398-410. https://doi.org/10.1016/j.amc.2004.09.006

8. 8. Odibat, Z. and Momani, S. (2006) Application of Variational Iteration Method to Nonlinear Differential Equations of Fractional Order. International Journal of Nonlinear Sciences and Numerical Simulation, 70, 27-34. https://doi.org/10.1515/IJNSNS.2006.7.1.27

9. 9. Li, Y. and Sun, N. (2011) Numerical Solution of Fractional Differential Equations Using the Generalized Block Pulse Operational Matrix. Computers & Mathematics with Applications, 62, 1046-1054. https://doi.org/10.1016/j.camwa.2011.03.032

10. 10. Odibat, Z. (2008) Compact and Noncompact Structures for Nonlinear Fractional Evolution Equations. Physics Letters A, 372, 1219-1227. https://doi.org/10.1016/j.physleta.2007.09.022

11. 11. Ganji, Z., Jafari, H. and Rostamian, M. (2008) Application of the Homotopy Perturbation Method to Coupled System of Partial Differential Equations with Time Fractional Derivatives. Topological Methods in Nonlinear Analysis, 31, 341-348.

12. 12. Odibat, Z. and Odibat, S. (2008) Generalized Differential Transform Method for Linear Partial Differential Equations of Fractional Order. Applied Mathematics Letters, 31, 194-199. https://doi.org/10.1016/j.aml.2007.02.022

13. 13. El-Gamel, M. and Abd El-Hady, M. (2017) Numerical Solution of the Bagley-Torvik Equation by Legendre-Collocation Method. SeMA Journal, 74, 371-383. https://doi.org/10.1007/s40324-016-0089-6

14. 14. Uddin, M. and Ahmad S. (2017) On the Numerical Solution of Bagley-Torvik Equation via the Laplace Transform. Tbilisi Mathematical Journal, 10, 279-284. https://doi.org/10.1515/tmj-2017-0017

15. 15. Gaul, L., Klein, P. and Kemple, S. (1991) Damping Description Involving Fractional Operators. Mechanical Systems and Signal Processing, 5, 81-88. https://doi.org/10.1016/0888-3270(91)90016-X

16. 16. Suarez, L., Shokooh, A. and Kemple, S. (1991) An Eigenvector Expansion Method for the Solution of Motion Containing Fractional Derivatives. Journal of Applied Mechanics, 64, 629-635. https://doi.org/10.1115/1.2788939

17. 17. Arikoglu, A. and Ozkol, I. (2009) Solution of Fractional Integro-Differential Equations by Using Fractional Differential Transform Method. Chaos, Solitons & Fractals, 40, 521-529. https://doi.org/10.1016/j.chaos.2007.08.001

18. 18. Mekkaouii, T. and Hammouch, Z. (2012) Application of Generalized Differential Transform Method to Multi-Order Fractional Differential Equations. Mathematics in Computer Science, 39, 251-256.

19. 19. Mekkaouii, T. and Hammouch, Z. (2012) Approximate Analytical Solutions to the Bagley-Torvik Equation by the Fractional Iteration Method. Mathematics in Computer Science, 38, 251-256.

20. 20. Odibat, Z. and Shawagfeh, N. (2007) Generalized Taylor Formula. Applied Mathematics and Computation, 186, 286-293. https://doi.org/10.1016/j.amc.2006.07.102

21. 21. Yzba, S. and Shawagfeh, N. (2013) Numerical Solution of the Bagley-Torvik Equation by the Bessel Collocation Method. Mathematical Methods in the Applied Sciences, 36, 300-312. https://doi.org/10.1002/mma.2588

22. 22. Wu, J.L. (2013) A Wavelet Operational Method for Solving Fractional Partial Differential Equations Numerically. Applied Mathematics and Computation, 214, 31-40. https://doi.org/10.1016/j.amc.2009.03.066

23. 23. Lepik, H. (2009) Solving Fractional Integral Equations by the Haar Wavelet Method. Applied Mathematics and Computation, 214, 468-678. https://doi.org/10.1016/j.amc.2009.04.015

24. 24. Oguz, C. and Sezer, M. (2015) Chelyshkov Collocation Method for a Class of Mixed Functional Integro-Differential Equations. Applied Mathematics and Computation, 259, 943-954. https://doi.org/10.1016/j.amc.2015.03.024

25. 25. Oguz, C., Sezer, M. and Denk Oguz, A. (2015) Chelyshkov Collocation Approach to Solve the Systems of Linear Functional Differential Equations. NTMSCI, 3, 83-97.

26. 26. Hilfer, R. (2000) Applications of Fractional Calculus in Physics. World Scientific Publishing Company, Singapore. https://doi.org/10.1142/3779

27. 27. Diethelm, K. (1982) The Analysis of Fractional Differential Equations. Springer-Verlag, Berlin Heidelberg.

28. 28. Caputo, M. and Sezer, M. (1967) Linear Models of Dissipation Whose Q Is Almost Frequency Independent. Part II. Geophysical Journal of the Royal Astronomical Society, 13, 529-539. https://doi.org/10.1111/j.1365-246X.1967.tb02303.x

29. 29. Chelyshkov, V. and Sezer, M. (1974) Stability of the Rest Position of the Inner Cylinder in a Couette Flow. Fluid Dynamics, 6, 1003-1005.

30. 30. Chelyshkov, V. (1982) Three-Dimensional Self-Oscillatory Regimes of Fluid Flows. Hydromech, 4, 53-57.

31. 31. Chelyshkov, V. (1986) Using the Method of Integration with Respect to a Small Parameter for Calculating a Laminar Boundary Layer on a Cylinder. USSR Computational Mathematics and Mathematical Physics, 26, 94-96. https://doi.org/10.1016/0041-5553(86)90047-9

32. 32. Chelyshkov, V. (2006) Alternative Orthogonal Polynomials and Quadratures. ETNA, 25, 17-26.

33. 33. Chelyshkov, V. (1994) A Variant of Spectral Method in the Theory of Hydrodynamic Stability. Hydromech, 68, 105-109.

34. 34. Canuto, C., Hussaini, M. and Quarteroni, A. (1988) Spectral Method in Fluid Dynamic. Prentice-HLL, Englewood Cliffs. https://doi.org/10.1007/978-3-642-84108-8

35. 35. ?enesiz, Y., Keskin, Y. and Kurnaz, A. (2010) The Solution of the Bagley-Torvik Equation with the Generalized Taylor Collocation Method. Journal of the Franklin Institute, 347, 452-466. https://doi.org/10.1016/j.jfranklin.2009.10.007

36. 36. Setia, A., Liu, Y. and Vatsala, A. (2014) The Solution of the Bagley-Torvik Equation by Using Second Kind Chebyshev Wavelet. 11th International Conference on Information Technology.

37. 37. Bagly, R. and Torvik, P. (1984) On the Appearance of the Fractionl Derivative in the Behavior of Real Materials. Journal of Applied Mechanics, 51, 294-298. https://doi.org/10.1115/1.3167615

38. 38. Rehman, M. and Ali Khan, R. (2012) A Numerical Method for Solving Boundary Value Problems for Fractionl Differential Equation. Applied Mathematical Modelling, 36, 894-907. https://doi.org/10.1016/j.apm.2011.07.045