Theory and Modern Applications

# On the approximation of time-fractional telegraph equations using localized kernel-based method

## Abstract

In the present work, a hybrid transform-based localized meshless method is constructed for the solution of time-fractional telegraph equations. In the first step the Laplace transform is applied to the time-fractional telegraph equation, which reduces the problem to a finite set of elliptic equations which are solved with the help of local radial basis functions method in parallel. Finally, the solution is represented as an integral along a smooth curve in the complex plane. The integral is then evaluated by quadrature rule. The advantage of this method is that it does not suffer from time instability that may occur in a time stepping procedure. A clear improvement is observed in terms of stability, accuracy and ill-conditioning.

## 1 Introduction

Fractional calculus is the generalization of differentiation and integration to non-integer orders. Fractional calculus has gained special importance in the last two or three decades. Many phenomena in engineering and other sciences can be successfully modeled by fractional calculus . The telegraph equations have many applications in physics and engineering. The applications arise, for example, in signal analysis , random walk theory , wave propagation .

The telegraph equations of fractional order have been investigated by many researchers. The solution of space–time-fractional telegraph equation in a bounded domain is obtained in terms of Mittage-Leffler functions by the method of generalized differential transform . Das et al.  used a homotopy analysis method in approximating an analytical solution for the time-fractional telegraph equation and different particular cases have been derived. In  Jiang and Lin obtained a series solution for the time-fractional telegraph equation with Robin boundary value conditions using the reproducing kernel theorem. Saadatmandi and Mohabbati  have used the Tau method for the approximation of fractional telegraph equation. Liu et al.  derived the analytical solution of the nonhomogeneous time-fractional telegraph equation by considering three types of nonhomogeneous boundary conditions using the method of separation of variables. In  the authors approximated the solution of fractional telegraph equation using radial basis functions. More work on fractional telegraph equations can be found in , and the references therein.

In the present work, the Laplace transform is coupled with localized kernel-based method, and the resulting hybrid method is investigated for solving telegraph equations of fractional order. Following the work , the Bromwich integral associated with the inverse Laplace transform is approximated numerically with standard quadrature of M steps. By increasing M round off errors will occur which will make it difficult to find the true solution. The authors in  present a method that can safeguard against this. The combination of Laplace transform with some other methods have been successfully achieved earlier and is available in the literature, but only a small amount of work is available. For example, the Laplace transform coupled with the boundary-particle method  and the Kansa method . Similarly the authors of  studied the combination of Laplace transform with the RBF method on a unit sphere for solving the heat equation. The combination of Laplace transform with the finite element, the finite difference and the spectral methods can be found in Refs. . We consider a time-fractional telegraph equation of fractional order $$\frac{1}{2} < \alpha \leq 1$$ of the form

$${}_{C}D^{2\alpha }_{t} u(\mathbf{x},t)+ \lambda {}_{C}D^{\alpha } _{t} u(\mathbf{x},t)= \mu \mathcal{L} u(\mathbf{x},t)+f(\mathbf{x},t),\quad \mathbf{x} \in \Omega \subset \mathcal{R}^{d}, d \geq 1,$$
(1.1)

subject to initial and boundary conditions

$$u(\mathbf{x},0)= \varphi_{1}(\mathbf{x}),\quad \quad u_{t}(\mathbf{x},0)= \varphi_{2}(\mathbf{x}),\quad \mathbf{x} \in \Omega ,$$
(1.2)

and

$$\mathcal{B}u(\mathbf{x},t)=g_{1}(t),\quad \mathbf{x} \in \partial \Omega ,$$
(1.3)

respectively, where $$\mathcal{L}$$ is a linear spatial differential operator and $$\mathcal{B}$$ is a boundary differential operator and $${}_{C}D^{\alpha }_{t}$$ is the Caputo fractional partial derivative of order α.

## 2 Preliminaries

In this section, we give some important definitions about fractional calculus.

### Definition 2.1

Let the Laplace transform of $$u(t)$$ be defined by

$$\mathscr{L}\bigl\{ u(t)\bigr\} = {U}(z)= \int_{0}^{\infty }e^{-zt}u(t)\,dt.$$
(2.1)

### Definition 2.2

The Riemann–Liouville derivative of fractional order α of a function $$u(t)$$ is defined as (see )

$${}_{RL}D^{\alpha }_{t} u(t)= \frac{1}{\Gamma (p-\alpha )} \frac{d^{p}}{dt ^{p}} \int^{t}_{0}(t-s)^{p-\alpha -1}u(s)\,ds,$$
(2.2)

where $$p-1 \leq \alpha \leq p$$, $$p \in \mathbf{N}$$.

### Definition 2.3

The Caputo fractional partial derivative of order α of a function $$u(t)$$ is defined by (see ).

$${}_{C}D^{\alpha }_{t} u(t)= \frac{1}{\Gamma (p-\alpha )} \int_{0}^{t} (t-s)^{p- \alpha -1} \frac{d^{p}}{ds^{p}}u(s)\,ds,$$
(2.3)

$$p-1\leq \alpha \leq p$$, $$p\in \mathbf{N}$$.

### Definition 2.4

If $$u(t)\in C^{p}[0,\infty )$$ and $$p-1<\alpha <p$$, $$p \in \mathbf{N}$$, then the Laplace transform of the Caputo fractional derivative is given by

$$\mathscr{L} \bigl\{ {}_{C}D^{\alpha }_{t} u(t)\bigr\} =z^{\alpha } U(z)-\sum^{p-1} _{i=0} z^{\alpha -i-1} u^{(i)}(0).$$
(2.4)

## 3 Analysis of the method

In this section, we propose a meshless method based on Laplace transform for time-fractional telegraph equation. In the proposed method we eliminate the time variable by a Laplace transform and for the time independent PDE, the localized meshless numerical scheme will be constructed.

Applying the Laplace transform to Eqs. (1.1)–(1.3), we get

\begin{aligned} &z^{2\alpha }U(\mathbf{x},z)-z^{2\alpha -1} \varphi_{1}(\mathbf{x})-z ^{2 \alpha -2}\varphi_{2}( \mathbf{x})+ \lambda \bigl( z^{\alpha }U( \mathbf{x},z)-z^{\alpha -1} \varphi_{1}(\mathbf{x}) \bigr) \\ &\quad =\mu \mathcal{L} U(\mathbf{x},z)+F(\mathbf{x},z),\quad \mathbf{x}\in \Omega , \end{aligned}
(3.1)
\begin{aligned} &\mathcal{B}\bigl\{ U(\mathbf{x},z)\bigr\} =G_{1}(z),\quad \mathbf{x} \in \partial \Omega . \end{aligned}
(3.2)

Thus we have the following system of linear differential equations:

\begin{aligned} &\bigl[z^{2\alpha }I+\lambda z^{\alpha }I-\mu \mathcal{L} \bigr] \bigl\{ U(\mathbf{x},z) \bigr\} =G(\mathbf{x},z),\quad \mathbf{x} \in \Omega, \end{aligned}
(3.3)
\begin{aligned} &\mathcal{B}\bigl\{ U(\mathbf{x},z)\bigr\} =G_{1}(z), \quad \mathbf{x} \in \partial \Omega , \end{aligned}
(3.4)

where

$$G(\mathbf{x},z)=z^{2\alpha -1}\varphi_{1}(\mathbf{x})+z^{2\alpha -2} \varphi_{2}(\mathbf{x})+\lambda z^{\alpha -1}\varphi_{1}( \mathbf{x})+F( \mathbf{x},z).$$

In the next section the kernel-based method in local setting is employed to approximate the governing differential operators $$\mathcal{L}$$ and the boundary differential operator $$\mathcal{B}$$ and to solve the time independent problem (3.3)–(3.4) in Laplace space.

### 3.1 Spatial discretization via local kernel based method

We take a given sample data points $$\{U(\mathbf{x}_{i}), i=1,2,\ldots,N \}$$ of an unknown smooth function $$U(\mathbf{x})$$, where $$\{ \mathbf{x}_{1},\ldots,\mathbf{x}_{N}\}\subset \Omega \subset \mathcal{R} ^{d}$$, $$d\geq 1$$. An approximation of the function $$U(\mathbf{x})$$, at each $$\mathbf{x}_{i} \in \Omega$$, is defined by

$$U(\mathbf{x}_{i})=\sum_{\mathbf{x}_{h}\in \Omega_{i}} \alpha_{h}\psi \bigl( \Vert \mathbf{x}_{i}- \mathbf{x}_{h} \Vert \bigr),$$
(3.5)

where $$\boldsymbol{\alpha }^{i}=[\alpha^{i}_{1},\alpha^{i}_{2},\ldots,\alpha ^{i}_{n}]$$ is the expansion coefficients vector, and $$r=\Vert \mathbf{x}_{i}-\mathbf{x}_{h} \Vert$$ is the distance between centers $$\mathbf{x} _{i}$$ and $$\mathbf{x}_{h}$$, $$\psi (r)$$, $$r \geq 0$$ is a radial kernel and $$\Omega_{i}\subset \Omega$$ is a local domain for each center $$\mathbf{x}_{i}$$, containing n neighboring centers around $$\mathbf{x}_{i}$$. Thus we have N small size linear systems of order $$n \times n$$ given by

$$\mathbf{U}^{i}=\Psi^{i}\boldsymbol{\alpha }^{i},\quad i=1,2,\ldots,N,$$
(3.6)

the entries of $$\Psi^{i}$$ are $$b^{i}_{lh}=\psi (\Vert \mathbf{x}_{l}-\mathbf{x}_{h} \Vert ),\mathbf{x}_{l},\mathbf{x}_{h} \in \Omega_{i}$$, the matrix $$\Psi^{i}$$ is known as the interpolation matrix, we need to solve each small size $$n\times n$$ system for the unknowns $$\boldsymbol{\alpha } ^{i}=[\alpha^{i}_{1},\alpha^{i}_{2},\ldots,\alpha^{i}_{n}]$$. Next the $$\mathcal{L}U(\mathbf{x})$$, is approximated by

$$\mathcal{L}U(\mathbf{x}_{i})=\sum _{\mathbf{x}_{h}\in \Omega_{i}}\boldsymbol{\alpha } ^{i}_{h} \mathcal{L}\psi \bigl(\Vert \mathbf{x}_{i}-\mathbf{x}_{h} \Vert \bigr),$$
(3.7)

Equation (3.7) can be written as a product of two vectors, given by

$$\mathcal{L}U(\mathbf{x}_{i})=\mathbf{v}^{i} \cdot \boldsymbol{\alpha }^{i},$$
(3.8)

where $$\boldsymbol{\alpha }^{i}$$ of order $$n\times 1$$ is a vector of unknown coefficients, and $$\mathbf{v}^{i}$$ is a vector of order $$1 \times n$$ with entries given by

$$\mathbf{v}^{i}=\mathcal{L}\psi \bigl(\Vert \mathbf{x}_{i}-\mathbf{x}_{h} \Vert \bigr),\quad \mathbf{x}_{h} \in \Omega_{i},$$
(3.9)

using Eq. (3.6), we eliminate the unknown coefficients,

$$\boldsymbol{\alpha }^{i} =\bigl(\Psi^{i} \bigr)^{-1}\mathbf{U}^{i},$$
(3.10)

and by inserting the values of $$\boldsymbol{\alpha }^{i}$$ from (3.10) in (3.8) we get

$$\mathcal{L}U(\mathbf{x}_{i})=\mathbf{v}^{i} \bigl(\Psi^{i}\bigr)^{-1}\mathbf{U} ^{i}= \mathbf{w}^{i}\mathbf{U}^{i},$$
(3.11)

where

$$\mathbf{w}^{i}=\mathbf{v}^{i}\bigl( \Psi^{i}\bigr)^{-1}.$$
(3.12)

Hence for each center, the localized approximation of the linear differential operator $$\mathcal{L}$$ using radial basis functions is given by

$$\mathcal{L}U\equiv \mathbf{D}\mathbf{U}.$$
(3.13)

So the spatial operator $$\mathcal{L}$$ is approximated by the $$N\times N$$ sparse differentiation matrix D having $$N-n$$ zero entries and n non-zero entries, where n is the number of centers in the domain $$\Omega_{i}$$. Similarly the boundary operator $$\mathcal{B}$$ can be approximated using the localized kernel-based method as discussed above.

### 3.2 Choosing optimal shape parameter

In the literature we can find a variety of kernel functions. In this work the multiquadrics, $$\psi (r)=\sqrt{1+(\varepsilon r)^{2}}$$ are selected. These kernels contain a scale factor ε and accuracy of the solution relies upon this scale factor. For an optimal value of this scale factor ε a large amount of work is available in the literature  and the references therein. In this paper we utilize the uncertainty principle  (e.g., a better accuracy can be achieved comparatively at larger condition numbers of these type of kernel based system matrices) for a decent estimation of the scale factor ε.

### Algorithm

• The condition number is kept approximately in the range $$10^{12}< \kappa <10^{16}$$ for our problem system matrices.

• Decompose the interpolation matrix as $$\mathbf{Q,S,V}=\operatorname{svd}(\Psi^{i})$$ using a singular value decomposition. The interpolation matrix $$\Psi^{i}$$ is of order $$n \times n$$ for each local subdomain $$\Omega_{i}$$, and S is diagonal matrix containing n singular values of $$\Psi^{i}$$, and $$\kappa =\Vert \Psi^{i} \Vert \Vert (\Psi^{i})^{-1} \Vert =\mbox{max}(\mathbf{S})/\mbox{min}(\mathbf{S})$$ denotes the condition number of the matrix $$\Psi^{i}$$.

• Search for ε until κ satisfy the condition $$10^{12}<\kappa <10^{16}$$, using the algorithm

$$\kappa =1$$

$$10^{12}<\kappa <10^{16}$$

while $$\kappa <\kappa_{\min}$$ and $$\kappa >\kappa_{\max}$$

$$\mathbf{Q,S,V}=\operatorname{svd}(\Psi^{i})$$

$$\kappa =\max(\mathbf{S})/\min(\mathbf{S})$$

if $$\kappa <\kappa_{\min}$$, $$\varepsilon =\varepsilon -\delta\varepsilon$$

if $$\kappa >\kappa_{\max}$$, $$\varepsilon =\varepsilon +\delta \varepsilon$$

$$\varepsilon {(\mbox{optimal})}=\varepsilon$$.

When the above condition is satisfied a good value of ε is obtained, the inverse is

computed using $$({\Psi^{i}})^{-1}=\mathbf{(QSV^{T})}^{-1}=\mathbf{V}\mathbf{S}^{-1}\mathbf{Q}^{T}$$ . Thus we can compute $$\mathbf{w}^{i}$$ in

(3.12).

After discretization of the operators $$\mathcal{L}$$ and $$\mathcal{B}$$ by a localized meshless method the system (3.3)–(3.4) is solved for each point along the contour of integration z. Then the solution $$u(\mathbf{x},t)$$ of problem (1.1)–(1.3) can be obtained by the inverse Laplace transform

$$u(\mathbf{x},t)=\frac{1}{2 \pi i} \int^{\sigma +i\infty }_{\sigma -i \infty }e^{zt} U(\mathbf{x},z)\,dz= \frac{1}{2 \pi i}\int_{\Gamma }e^{zt} U(\mathbf{x},z)\,dz, \quad \sigma >\sigma_{0},$$
(3.14)

where Γ is suitable path joining $$\sigma -i\infty$$ to $$\sigma +i\infty$$ and

$$z=z(\eta ),$$
(3.15)

are the points chosen along the path Γ. Using (3.15) in (3.14), we find the following expression:

$$u(\mathbf{x},t)=\frac{1}{2 \pi i} \int^{\infty }_{-\infty }e^{z(\eta )t} U\bigl(\mathbf{x},z( \eta )\bigr)\acute{z}(\eta )\,d\eta .$$
(3.16)

The approximation of (3.16) can be obtained by the trapezoidal rule with uniform step size k, as

$$u_{k}(\mathbf{x},t)=\frac{k}{2 \pi i}\sum ^{M}_{j=-M} e^{z_{j}t}U( \mathbf{x},z_{j}) \acute{z}_{j},\quad z_{j}= z(\eta_{j}), \eta_{j}=jk.$$
(3.17)

## 4 Error analysis of the method

The accuracy of the approximate solution defined by (3.17) is based on the choice of contour Γ. In the literature various such contours are available, for example parabolic  and hyperbolic . We used the hyperbolic contour in our computation due to :

$$z(\eta )=\omega +\lambda \bigl( 1-\sin(\delta -\iota \eta ) \bigr) ,\quad \mbox{for } \eta \in \mathcal{R},\qquad (\Gamma )$$
(4.1)

with $$\lambda > 0$$, $$\omega \geq 0$$, $$0 < \delta < \beta - \frac{1}{2}\pi$$, and $$\frac{1}{2}\pi < \beta < \pi$$. In fact, when $$\operatorname{Im} \eta =\gamma$$, (4.1) reduces to the left branch of the hyperbola

$$\biggl( \frac{x-\lambda -\omega }{\lambda \sin (\delta +\gamma )} \biggr) ^{2}- \biggl( \frac{y}{\lambda \cos (\delta +\gamma )} \biggr) ^{2}=1,$$
(4.2)

where the strip $$Z_{r}=\{\eta : \operatorname{Im} \eta \leq r\}$$ with $$r > 0$$ is transformed into the hyperbola $$\Omega_{r}=\{z: \eta \in Z_{r}\} \supset \Gamma$$. Let $$\Sigma_{\phi }=\{z \neq 0 :\vert \arg z \vert \leq \phi \} \cup 0$$, with $$0<\phi <\frac{(1-\alpha )\phi }{2}$$, and let $$\Sigma^{\omega }_{\beta }=\omega +\Sigma_{\beta }, \Gamma \subset \Omega_{r}\subset \Sigma^{\omega }_{\beta }$$. The error bound of the proposed method for the hyperbolic path Γ is based on the following theorem.

### Theorem 4.1

Let $$u(\mathbf{x},t)$$ be the solution of (1.1), with $$F( \mathbf{x},t)$$ analytic in $$\Sigma^{\omega }_{\beta }$$. Let $$0<\theta < 1$$, $$0< t_{0}< T$$, and let $$b>0$$ be defined by $$b=\cosh^{-1}(1/( \theta \tau \sin (\delta )))$$, where $$\tau =t_{0}/T$$, and let $$\Gamma \subset \Omega_{r}\subset \Sigma^{\omega }_{\beta }$$, and scaling factor be $$\lambda = \theta \overline{r}M/(bT)$$. Then we have for the approximate solution defined by (3.17), with $$k=b/M\leq \frac{ \overline{r}}{\log 2}$$, $$\vert u_{k}(\mathbf{x},t)-u(\mathbf{x},t) \vert \leq CQe ^{\omega \tau }l(\rho_{r}M)e^{-\mu M} ( \Vert u_{0} \Vert +\Vert \hat{f}(\mathbf{x},t) \Vert _{\Sigma^{\omega }_{\beta }} )$$, for $$l(x)=\max(1,\log(1/x))$$, $$r>0$$, $$\mu =\overline{r}(1-\theta )/b$$, $$\overline{r}=2\pi r$$, $$\rho_{r}= \theta \overline{r} \tau \sin ( \delta -r)/b$$, $$t_{0}\leq t \leq T$$, and $$C=C_{\delta ,r,\beta }$$.

### Proof

See , Theorem 2.1. □

## 5 Stability of the method

To discuss the stability of system (3.3)–(3.4), in discrete form this system may be represented as

$$A\mathbf{U}=\mathbf{b},$$
(5.1)

where A is $$N\times N$$ sparse differentiation matrix which can be obtained by localized kernel-based method discussed in Sect. 3. the stability constant corresponding to system (5.1) is given by

$$C=\sup_{U\neq 0} \frac{\Vert U \Vert }{\Vert AU \Vert },$$
(5.2)

where C is finite using any type of discrete norms $$\Vert \cdot \Vert$$ on $$R^{N}$$. The above equation can be expressed as

$$\Vert A \Vert ^{-1} \leq \frac{\Vert U \Vert }{\Vert AU \Vert }\leq C.$$
(5.3)

Again in terms of the pseudoinverse $$A^{\dagger}$$ of A, we have

$$\bigl\Vert A^{\dagger} \bigr\Vert = \sup _{v \neq 0} \frac{\Vert A^{\dagger} v \Vert }{\Vert v \Vert }.$$
(5.4)

Now we write

$$\bigl\Vert A^{\dagger} \bigr\Vert \geq \sup _{v=AU\neq 0}\frac{\Vert A^{\dagger}AU \Vert }{\Vert AU \Vert }= \sup_{U \neq 0} \frac{\Vert U \Vert }{\Vert AU \Vert }=C.$$
(5.5)

Hence Eqs. (5.3) and (5.5) ensure the boundedness of the stability constant C. For a numerical approximation of the system (5.1) the calculation of the pseudoinverse may be computationally expansive, but it ensures numerical stability. In the case of square systems, the MATLAB’s function condest estimates $$\Vert A^{-1} \Vert _{\infty }$$, thus we have

$$C= \frac{\operatorname{condest}(A')}{\Vert A \Vert _{\infty }}.$$
(5.6)

This works well for our sparse matrix A with a small amount of computations. The bounds of stability constant C of our system (3.3)–(3.4) corresponding to Problem 1 are shown in Fig. 1. Choosing $$M=90$$, $$N=50$$ and $$n=7$$ at time $$t=1$$, we can see that $$0.0088 \leq C \leq 1.7401$$, which shows the stability constant is bounded by numbers that are not very large, and this implies the numerical stability of localized kernel-based numerical scheme.

## 6 Numerical results

In this section the proposed method is tested for one dimensional time-fractional telegraph equations. In our computations the multiquadrics $$\psi (r)$$ = $$(1+(\varepsilon r)^{2})^{1/2}$$ are used. The accuracy of the solution depends on the shape parameter ε. A number of criteria are available in the literature for choosing optimal values of the shape parameters. We use the uncertainty principle due to  to select the optimal shape parameter. The accuracy of the proposed method is measured by the maximum absolute error ($$L_{\infty }$$) defined by

$$L_{\infty }=\bigl\Vert u(\mathbf{x},t)-u_{k}(\mathbf{x},t) \bigr\Vert _{\infty }= \max_{1 \leq j \leq N}\bigl(\bigl\vert u( \mathbf{x},t)-u_{k}(\mathbf{x},t) \bigr\vert \bigr).$$

Here u and $$u_{k}$$ denotes the exact and approximate solutions, respectively. The error norms are calculated at fixed value of t in time interval $$[t_{0}, T]$$, where $$t_{0}$$ and T are given in each numerical experiment.

### 6.1 Problem 1

Here we apply our proposed numerical method to the one dimensional time-fractional telegraph equation ,

$${}_{C}D^{2\alpha }_{t} u(x,t)+ {}_{C}D^{\alpha }_{t} u(x,t)= \frac{1}{2} D^{2}_{x}u(x,t)+f(x,t), \quad 0< x< 1, 0< t\leq 1,$$

where

$$f(x,t)= \frac{2e^{x}}{\Gamma (3-2\alpha )} t^{2-2\alpha } + \frac{2e ^{x}}{\Gamma (3-\alpha )}t^{2-\alpha }- \frac{1}{2}t^{2}e^{x},$$

subject to the initial condition

$$u(x,0)=0, \qquad u_{t}(x,0)=0, \quad 0< x< 1,$$

and the boundary conditions

\begin{aligned}& u(0,t)+u_{x}(0,t)=2t^{2}, \quad 0< t\leq 1, \\& u(1,t)-\frac{1}{2}u_{x}(1,t)=\frac{et^{2}}{2}, \quad 0< t\leq 1, \end{aligned}

with exact solution $$u(x,t)= e^{x} t^{2}$$. The problem is solved over the domain $$0 \leq x \leq 1$$ at $$t=1$$. Different quadrature points are used along the hyperbolic Γ contour. These points are generated by MATLAB statement $$\eta = -M:k:M$$ for hyperbolic contour Γ. The parameters used are $$\theta =0.1, \delta =0.1541, r=0.1387, \omega =2, t_{0}=0.5$$ and $$T=5$$. The other optimal parameters are given in (4.1). The $$L_{\infty }$$ error and error estimate (E) using fractional orders $$\alpha = 0.8,0.96$$ are shown in Table 1. Various numbers of points N in the global domain Ω and n in the local domain $$\Omega_{i}$$ are used. The shape parameter is optimized using the uncertainty principle . The condition number κ, the shape parameter ε and the CPU time(s) are given in the table. It is observed that the proposed method is less sensitive with respect to the shape parameter. The accuracy is achieved for small shape parameter and large condition number. The results are compared with other methods . It is observed that the proposed method is accurate and computationally efficient. This method gives an almost exact solution in time, an error occurs only in spatial discretization. So we can approximate the telegraph equation very accurately in time without any time instability issue. The local nature of the method makes it more attractive for such a type of problems.

### 6.2 Problem 2

Next we consider the one dimensional time-fractional telegraph equation with $$\alpha =\frac{2}{3}$$,

$${}_{C}D^{2 \alpha }_{t} u(x,t)+ {}_{C}D^{\alpha }_{t} u(x,t)= D^{2} _{x}u(x,t)+f(x,t),\quad 0< x< 1, 0< t\leq 1,$$

where

$$f(x,t)= 6\sin (x+1) \biggl( \frac{t^{3-2\alpha }}{\Gamma (4-2\alpha )}+ \frac{t ^{3-\alpha }}{\Gamma (4-\alpha )} \biggr) +\sin (x+1) \bigl(t^{3}+1\bigr),$$

subject to the initial condition

$$u(x,0)=\sin (x+1), \qquad u_{t}(x,0)=0, \quad 0< x< 1,$$

and the boundary conditions

\begin{aligned}& u(0,t)=\sin (1) \bigl(t^{3}+1\bigr), \quad 0< t\leq 1, \\& u(1,t)+3u_{x}(1,t)=\bigl(t^{3}+1\bigr) \bigl(\sin (2)+3 \cos (2)\bigr), \quad 0< t\leq 1. \end{aligned}

The exact solution of the problem is $$u(x,t)=(t^{3}+1)\sin (x+1)$$. Here the problem is solved over the domain $$[0,1]$$ at time $$t=1$$. Various quadrature points along the hyperbolic path Γ are used. These points are generated by the MATLAB statement $$\eta = -M:k:M$$. The parameters used are $$\theta =0.1$$, $$\delta =0.1541$$, $$r=0.1387$$, $$\omega =2$$, $$t_{0}=0.5$$ and $$T=5$$. The other optimal parameters are given in Eq. (4.1). The $$L_{\infty }$$ error and error estimate (E) using fractional order $$\alpha = \frac{2}{3}$$ are shown in Table 2. Various numbers of points N in the global domain Ω and n in the local domain $$\Omega_{i}$$ are used. The shape parameter is optimized using the uncertainty principle . The condition number κ, the shape parameter ε and the CPU time(s) are given in Table 2. A similar performance is observed to the one we observed in Problem 1.

### 6.3 Problem 3

As a third example we consider the one dimensional time-fractional telegraph equation with $$\alpha \in (1,2]$$ 

$${}_{C}D^{\alpha }_{t} u(x,t)+ {}_{C}D^{\alpha -1}_{t} u(x,t)+ u(x,t) = \pi D^{2}_{x}u(x,t) +f(x,t),\quad 0< x< 1, 0< t\leq 1,$$

where

$$f(x,t)= 6\bigl(\sin (x)\bigr)^{2} \biggl( \frac{t^{3-\alpha }}{\Gamma (4-\alpha )}+ \frac{t^{4-\alpha }}{\Gamma (5-\alpha )}+\frac{t^{3}}{6} \biggr) -2 \pi t^{3} \cos (2 x),$$

subject to the initial condition $$u(x,0)= u_{t}(x,0)=0$$, $$0< x<1$$, and the boundary conditions are chosen according to the exact solution $$u(x,t)= t^{3}(\sin (x))^{2}$$. Here we tested our method for the one dimensional telegraph equation in domain $$[0,1]$$ at time $$t=1$$. We used the same hyperbolic contour and the same optimal parameters as discussed in Problem 1 and Problem 2. The absolute errors and error estimate for the contour Γ are shown in Table 3 using fractional order $$\alpha = 1.25, 1.5, 1.75, 1.95$$. The error functions are shown in Fig. 2, which are calculated for $$N=11$$ and $$n=4$$. These results can be improved by increasing N. It is observed that as we increase the value of α the absolute error decreases. From Table 3 and Fig. 2 a clear improvement is observed as compared to . So the proposed method is an excellent alternative for solving the fractional order telegraph equations.

### 6.4 Problem 4

In the last example we consider the one dimensional time-fractional telegraph equation with $$\alpha \in (1,2]$$ 

$${}_{C}D^{\alpha }_{t} u(x,t)+ {}_{C}D^{\alpha -1}_{t} u(x,t)+ u(x,t) = D^{2}_{x}u(x,t) +f(x,t),\quad 0< x< 1, 0< t \leq 1,$$

where

$$f(x,t)= \biggl( \frac{t^{2-\alpha }}{\Gamma (3-\alpha )}+ t \biggr) \bigl(x ^{2}-x\bigr)-2t$$

subject to the initial condition

$$u(x,0)= u_{t}(x,0)= x^{2}-x, \quad 0< x< 1,$$

and the boundary conditions are

$$u(0,t)=u(1,t)=0.$$

Exact solution of the problem is $$u(x,t)=(x^{2}-x)t$$. The problem is solved over the domain $$[0,1]$$ at time $$t=1$$. The same hyperbolic contour Γ and the same optimal parameters are used in this problem. The absolute errors and error estimate for the contour Γ are shown in Table 4 using fractional order $$\alpha = 1.95$$. The result given in Table 4 shows that the proposed method is accurate and efficient as compared to . So the proposed method is an excellent alternative for solving the fractional order telegraph equations.

## 7 Conclusion

In the present work, we propose a local meshless method coupled with the Laplace transform for a time-fractional telegraph equation. The method is almost exact in time without any time instability, which is commonly encountered in time stepping mesh-free methods. These time stepping methods require a very small time step for greater accuracy on the expense of large computations. We tested our procedure for 1D telegraph equations with time-fractional orders. The accuracy and performance of the methods is excellent for solving time-fractional telegraph equations. The proposed hybrid mesh-free method is an excellent alternative for solving time-fractional partial differential equations.

## References

1. Baleanu, D., Muslih, S.I., Taş, K.: Fractional Hamiltonian analysis of higher order derivatives systems. J. Math. Phys. 47(10), 103503 (2006)

2. Aguilar, J.F., Córdova-Fraga, T., Tórres-Jiménez, J., Escobar-Jiménez, R.F., Olivares-Peregrino, V.H., Guerrero-Ramírez, G.V.: Nonlocal transport processes and the fractional Cattaneo–Vernotte equation. Math. Probl. Eng. 2016, Article ID 7845874 (2016). https://doi.org/10.1155/2016/7845874

3. Gómez-Aguilar, J.F., Escobar-Jiménez, R.F., López-López, M.G., Alvarado-Martínez, V.M.: Atangana–Baleanu fractional derivative applied to electromagnetic waves in dielectric media. J. Electromagn. Waves Appl. 30(15), 1937–1952 (2016)

4. Coronel-Escamilla, A., Gómez-Aguilar, J.F., Alvarado-Méndez, E., Guerrero-Ramírez, G.V., Escobar-Jiménez, R.F.: Fractional dynamics of charged particles in magnetic fields. Int. J. Mod. Phys. C 27(08), 1650084 (2016)

5. Coronel-Escamilla, A., Gómez-Aguilar, J.F., Baleanu, D., Córdova-Fraga, T., Escobar-Jiménez, R.F., Olivares-Peregrino, V.H., Qurashi, M.M.Al.: Bateman–Feshbach tikochinsky and Caldirola–Kanai oscillators with new fractional differentiation. Entropy 19(2), 55 (2017)

6. Gomez-Aguilar, J.F., Yepez-Martinez, H., Torres-Jiménez, J., Córdova-Fraga, T., Escobar-Jimenez, R.F., Olivares-Peregrino, V.H.: Homotopy perturbation transform method for nonlinear differential equations involving to fractional operator with exponential kernel. Adv. Differ. Equ. 2017(1), 68 (2017)

7. Morales-Delgado, V.F., Taneco-Hernández, M.A., Gómez-Aguilar, J.F.: On the solutions of fractional order of evolution equations. Eur. Phys. J. Plus 132(1), 47 (2017)

8. Jordan, P.M., Puri, A.: Digital signal propagation in dispersive media. J. Appl. Phys. 85, 1273–1282 (1999)

9. Banasiak, J., Mika, J.R.: Singular perturbed telegraph equations with applications in the random walk theory. J. Appl. Math. Stoch. Anal. 11, 9–28 (1998)

10. Weston, V.H., He, S.: Wave splitting of the telegraph equation in $$r^{3}$$ and its application to inverse scattering. Inverse Probl. 9, 789–812 (1993)

11. Garg, M., Manohar, P., Kalla, S.L.: Generalized differential transform method to space–time fractional telegraph equation. Int. J. Differ. Equ. Appl. 2011, Article ID 548982 (2011). https://doi.org/10.1155/2011/548982

12. Das, S., Vishal, K., Gupta, P.K., Yildirim, A.: An approximate analytical solution of time-fractional telegraph equation. Appl. Math. Comput. 217(18), 7405–7411 (2011)

13. Jiang, W., Lin, Y.: Representation of exact solution for the time-fractional telegraph equation in the reproducing kernel space. Commun. Nonlinear Sci. Numer. Simul. 16, 3639–3645 (2011)

14. Saadatmandi, A., Mohabbati, M.: Numerical solution of fractional telegraph equation via the Tau method. Math. Rep. 17(67)(2), 155–166 (2015)

15. Chen, J., Liu, F., Anh, V.: Analytical solution for the time-fractional telegraph equation. J. Math. Anal. Appl. 338, 1364–1377 (2008)

16. Hosseini, V.R., Chen, W., Avazzadeh, Z.: Numerical solution of fractional telegraph equation by using radial basis functions. Eng. Anal. Bound. Elem. 38, 31–39 (2014)

17. Beghin, L., Orsingher, E.: The telegraph process stopped at stable distributed times and its connection with the fractional telegraph equation. Fract. Calc. Appl. Anal. 6(2), 187–204 (2003)

18. Orsingher, E., Zhao, X.: The space-fractional telegraph equation and the related fractional telegraph process. Chin. Ann. Math. 1, 45–56 (2003)

19. Orsingher, E., Beghin, L.: Time-fractional telegraph equations and telegraph processes with Brownian time. Probab. Theory Relat. Fields 128(1), 141–160 (2004)

20. Weideman, J.A.C., Trefethen, L.N.: Parabolic and hyperbolic contours for computing the Bromwich integral. Math. Comput. 76(259), 1341–1356 (2007)

21. Schäle, A., Fernandez, M.L., Lubich, C.: Fast and oblivious convolution quadrature. SIAM J. Sci. Comput. 28(2), 421–438 (2006)

22. Fu, Z.J., Chen, W., Yang, H.T.: Boundary particle method for Laplace transformed time fractional diffusion equations. J. Comput. Phys. 235, 52–66 (2013)

23. Moridis, G.J., Kansa, E.J.: The Laplace transform multiquadric method: a highly accurate scheme for the numerical solution of partial differential equations. J. Appl. Sci. Comput. 1, 375–475 (1994)

24. Gia, Q.T.L., Mclean, W.: Solving the heat equation on the unit sphere via Laplace transforms and radial basis functions. Adv. Comput. Math. 40(2), 353–375 (2014)

25. Sheen, D., Shaon, I.H., Thomee, V.: A parallel method for time discretization of parabolic equations based on Laplace transformation and quadrature. IMA J. Numer. Anal. 23(2), 269–299 (2003)

26. McLean, W., Thomee, V.: Time discretization of an evolution equation via Laplace transforms. IMA J. Numer. Anal. 24, 439–463 (2004)

27. McLean, W., Thomee, V.: Numerical solution via Laplace transforms of a fractional order evolution equation. J. Integral Equ. Appl. 22(1), 57–94 (2010)

28. Fernandez, M.L., Palencia, C.: On the numerical inversion of the Laplace transform of certain holomorphic mappings. Appl. Numer. Math. 51(2), 289–303 (2004)

29. Jacobs, B.A.: High-order compact finite difference and Laplace transform method for the solution of time fractional heat equations with Dirichlet and Neumann boundary conditions. Numer. Methods Partial Differ. Equ. 32, 1184–1199 (2016)

30. Oldham, K.B., Spanier, J.: The Fractional Calculus Theory and Applications of Differentiation and Integration to Arbitrary Order, vol. 111. Academic Press, New York, London (1974)

31. Uddin, M.: On the selection of a good value of shape parameter in solving time dependent partial differential equations using RBF approximation method. Appl. Math. Model. 38(1), 135–144 (2014)

32. Carlson, R.E., Foley, T.A.: The parameter $$r^{2}$$ in multiquadric interpolation. Comput. Math. Appl. 21(9), 29–42 (2014)

33. Foley, T.A.: Near optimal parameter selection for multiquadric interpolation. Manuscript, Computer Science and Engineering Department, Arizona State University, Tempe (1994)

34. Rippa, S.: An algoritham for selecting a good value for the parameter c in radial basis function interpolation. Adv. Comput. Math. 11(2–3), 193–210 (1999)

35. Fasshauer, G.E., Zhang, J.G.: On choosing optimal shape paramters for RBF approximation. Numer. Algorithms 45(1–4), 345–368 (2007)

36. Schaback, R.: Error estimates and condition numbers for radial basis function interpolation. Adv. Comput. Math. 3, 251–264 (1995)

37. Trefethen, L.N., Bau, D.: Numerical Linear Algebra. Other Titles in Applied Mathematics, vol. 50. SIAM, Philadelphia (1997)

38. Sweilam, N.H., Nagy, A.M., El-Sayed, A.A.: Solving time-fractional order telegraph equation via Sinc–Legendre collocation method. Mediterr. J. Math. 13(6), 5119–5133 (2016). https://doi.org/10.1007/s00009-016-0796-3

## Acknowledgements

The authors would like to thank the reviewers for their valuable comments.

## Funding

This work is self-supported by the authors in respect of funding and technically supported by Islamia College Peshawar and University of Engineering and Technology, Khyber Pakhtun Khwa, Peshawar, Pakistan.

## Author information

Authors

### Contributions

All the authors contributed in theoretical and computational results and all authors read and approved the final manuscript.

### Corresponding author

Correspondence to Kamran.

## Ethics declarations

### Competing interests

The authors declare that they have no conflict of interests. 