Finite Element Orthogonal Collocation Approach for Time Fractional Telegraph Equation with Mamadu-Njoseh Polynomials ()
1. Introduction
A well defined fractional derivative operator denotes the generalization of derivatives of integer order that allows the introduction of any value of α (α ≥ 0). Since the dawn of fractional calculus, two fundamental definitions and concepts are applied in practice: Caputo derivative and Riemann-Liouville derivative [1] . These two main definitions are presented in (1.1) and (1.2) respectively
(1.1)
(1.2)
where
is a factorial function, α denotes the fractional order with α < m, and m is the smallest integer. Two special cases of (1.1) and (1.2) are obtained when the fractional order α assumes different integer values, that is,
(1.3)
The Time Fractional Telegraph Equation (TFTE) with fractional order α has the form [1] [2] [3] :
(1.4)
where
and
are functions defined in Sobolev space,
defines the boundary with convex domain
, and
is fractional derivative of the Caputo type.
Many relevant frequencies related problems in real life can be modeled using the TFTE. Analytic procedures to seek the solution of the TFTE seem complicated, and almost impossible due to complex mathematical perturbations and transformations. Thus, different numerical schemes have been developed and implemented over the years by various researchers for solving the TFTE. For instance, Orsinger and Beghin [4] [5] considered the time-fractional telegraph equation perturbed by a Brownian time. The study centered on seeking the fundamental analytic solution to time fractional telegraph equation of fractional order 2α. It was observed that for any α = 0.5, the fundamental solution represents a uniform distribution of a telegraph process perturbed by time. Similarly, Deresse [6] applied the reduced differential transform method to seek the closed form solution of the one dimensional space-time nonlinear comformable fractional telegraph with relevant prescribed initial conditions. The procedure requires no form of transformation, linearization, discretizing, and weak assumptions. The resulting numerical evidence showed absolute convergent.
Gary and Sharma [7] obtained the closed form solutions of a fully discretized space-time fractional telegraph equation via the Adomain decomposition method (ADM). Here, the space-time fractional derivatives were defined in the Caputo fractional sense, with solutions expressed in terms of Mittage-Leffler functions. Prakash [8] presented an Homotopy perturbation transform method (HPTM) to solve space fractional telegraph equation. The author presented the numerical solutions in terms of a convergent series. The method proved to be eloquent and computationally attractive. Similarly, Kamran et al. [9] considered a non-mesh method called the hybrid transform based method, to construct the solution of time fractional telegraph equation. The authors applied the Laplace transform method to reduce the finite fractional telegraph equation to a set of finite elliptic equations. The local radial basis functions were then applied to solve the finite set of elliptic equations in parallel, and the solution is represented in terms of an integral in a smooth curve pathway along the complex plain. A major advantage of the method lies in the absence of instability which may have resulted in a time stepping procedure.
Ahmad et al. [10] expressed the space-time telegraph equation as a system of linear differential equations. Then, the Adomian decomposition method was used to seek the solution of the resultant system of equations. It was observed that the method converges favourably with more terms in the series. In like manner, Wei et al. [11] presented a finite difference scheme for the solution of time-fractional telegraph equation. The authors proved the convergence and stability of the method using the energy algorithm approach. Numerical evidences presented showed that the method is accurate and reliable.
With the advancement of science and technology, there is growing demand for better and efficient numerical techniques for solving the time telegraph equation, hence the need for this paper. Thus, this paper will focus on the application of certain orthogonal polynomials called Mamadu-Njoseh polynomials (see, [12] - [17] ) as basis functions in a Finite Element Orthogonal Collocation Approach (FEOCA) for the solution of the TFTE. For the understanding of the method’s foundations and other structural elements, readers are advised to consult the authors Mamadu et al. [1] [2] [3] .
2. Basis Functions and Subspace
Let
(2.1)
be the partition of [0, T].
Define
,
,
,
and
.
Let a finite-dimensional subspace of u be defined as
(2.2)
Now, basis functions are formulated depending on the degree of the polynomial involved, and also on the nodal points. It should be of note that each basis functions corresponds to a nodal point. Here, the Mamadu-Njoseh polynomials (see, [1] [3] [12] [16] [17] ) are treated as grid points
in a finite element space.
Basically, when r = 1 (Linear finite element method), the grid points
coincide with the nodal points. Thus, the basis function
associated with
is defined as
(2.3)
Similarly, for r = 2 (Quadratic FEM), it is required to estimate three coefficients from a quadratic basis functions. We must define the three nodal points on each subinterval of
. The centre becomes the extra nodal point since the two endpoints are obvious nodal points.
Thus, the basis functions
associated with
are defined as:
(2.4)
(2.5)
3. The Finite Element Orthogonal Collocation Approach (FEOCA)
We need to first show how the fractional derivative in (1.4) can be discretized. By the analogy of Diethlem [19] , we transform the Caputo type fractional order to Riemann-Liouville type to enhance the validity of the operator so as to savage the requirements for higher smoothness. Thus, for
(y0, a constant) in (1.4), we have
.
Thus,
(3.1)
Let
, such that
is partitioned as
. Then (3.1) can be approximated in time as
. (3.2)
Suppose
, then
. (3.3)
Thus, (3.3) can be rewritten via the quadrature formula as
(3.4)
where
.
Now, the FEOCA is an elegant mixture of the finite element method and the orthogonal collocation method [2] [3] . The mathematical formulation of the method as applied to TFTE is as follows:
Let
be linear and continuous on the convex domain
. The weak formulation for the TFTE is to approximate
such that
. (3.5)
By the finite element method (FEM), we compute
, such that,
(3.6)
which in its abstract sense becomes,
,
, (3.7)
with
,
,
defined by
,
,
, such that
for
.
Now, let
, (3.8)
be an approximation of
, where
,
, are either linear or quadratic finite element basis functions depending on M and
’s are unknown parameters. Substituting (3.8) into (3.7), we have,
(3.9)
Interpolating (3.9) for
, and collocating orthogonally at
for
, yield system of nonlinear equations which on solving via MAPLE 18 yields the approximate solution.
4. Numerical Illustrations
After Here, the FEOCA is experimented on TFTE with the examples below for accuracy and convergence.
Example 4.1: Consider the time fractional telegraph equation:
(4.1)
The initial and boundary values conditions can be computed directly from the exact solution given as
(4.2)
Applying the scheme (3.1) - (3.9) on (4.1) at
and
with parameters
, at t = 0.5 and 1, we obtained the following results presented in Tables 1-5 and Figures 1-3 via MAPLE 18.
(a)(b)
Figure 1. Solutions on mesh 10 × 10 at t = 0.5. (a) Exact solution
. (b) Computed solution
.
(a)(b)
Figure 2. Solutions on mesh 10 × 10 at t = 1. (a). Exact solution
. (b) Computed solution
.
Table 1. Maximum error at α = 1.1 at t = 0.5 for L2.
Table 2. Maximum error at α = 1.1 at t = 0.5 for L∞.
(a)(b)
Figure 3. Solutions on mesh 10 × 10 at α = 1.5, t = 1. (a) Exact solution
; (b) Computed solution
.
Table 3. Maximum error at α = 1.1 at t = 1 for L2.
Table 4. Maximum error at α = 1.1 at t = 1 for L∞.
Table 5. Comparison of exact and approximate solutions.
Example 4.2: Consider the time fractional telegraph equation:
(4.3)
The exact solution is given as
.
Using (3.1) - (3.9) on (4.3) at
with
, results are presented below.
5. Discussion of Results
The resulting numerical evidence for Example 4.1 is expressed in L2 and L∞ error norms and compared with Wei et al. [17] as shown in Tables 1-5. Consequently, maximum errors of order 10−5 and 10−6 were obtained for
with fractional order,
, as shown in Table 1 and Table 2, respectively. Similarly, maximum errors of order 10−7 and 10−7 were obtained for
with fractional order,
, as shown in Table 3 and Table 4, respectively. Also, comparing the results with the standard finite difference method by Wei et al. [17] showed that the method FEOCA converges faster and more accurately. Similarly, evaluating Example 4.2 at
,
and 1.8, the FEOCA attained maximum error norms of order 10−7 and 10−7 for L∞ error norms as shown in Table 6 and Table 7, respectively. Comparison of results between the exact and approximate solutions gave maximum errors of order 10−3 (when
) and 10−5 (when
) at
, as shown in Table 8. Also, graphical comparison of solutions showed that the computed solutions and the exact solution are in agreement as shown the Figures 1-4. In conclusion, we observed that there is a better convergence of the new method as t decreases when error when terms are defined in L2 and L∞. However, when it is expressed in absolute error, the new method converges as t increases. Computationally, FEOCA is more efficient than other numerical techniques as seen in Wei et al. [11] and Liu et al. [18] where they used the standard finite element method and the finite difference method, respectively.
(a)(b)
Figure 4. Solutions on mesh 10 × 10 at α = 1.8, t = 1. (a) Exact solution
; (b) Computed solution
.
Table 6. Maximum error at α = 1.5, t = 1 for L∞.
Table 7. Maximum error at α = 1.8, t = 1 for L∞.
Table 8. Comparison of exact and approximate solutions at t = 1.