- Research
- Open access
- Published:

# A fourth-order finite difference method based on spline in tension approximation for the solution of one-space dimensional second-order quasi-linear hyperbolic equations

*Advances in Difference Equations*
**volumeÂ 2013**, ArticleÂ number:Â 70 (2013)

## Abstract

In this paper, we propose a new three-level implicit nine-point compact finite difference formulation of order two in time and four in space directions, based on spline in tension approximation in *x*-direction and central finite difference approximation in *t*-direction for the numerical solution of one-space dimensional second-order quasi-linear hyperbolic equations with first-order space derivative term. We describe the mathematical formulation procedure in detail and also discuss how our formulation is able to handle a wave equation in polar coordinates. The proposed method, when applied to a general form of the telegrapher equation, is also shown to be unconditionally stable. Numerical examples are used to illustrate the usefulness of the proposed method.

**MSC:** 65M06, 65M12.

## 1 Introduction

We consider the one-space dimensional second-order quasi-linear hyperbolic equation

with the following initial conditions:

and the boundary conditions

We assume that the conditions (1.2) and (1.3) are given with sufficient smoothness to maintain the order of accuracy in the numerical method under consideration.

The study of a second-order quasilinear hyperbolic equation is of keen interest in the fields like acoustics, electromagnetics, fluid dynamics, mathematical physics, engineering *etc*. Many efforts are going on to develop efficient and high accuracy methods for such types of partial differential equations. The term â€˜splineâ€™ in the spline function arises from the prefabricated wood or plastic curve board, which is called spline and is used by a draftman to plot smooth curves through connecting the known points. In early 1969, the cubic spline method was proposed to be applied on the differential equation to get their numerical solutions, and it was in 1974 that Raggett *et al*. [1] and Fleck, Jr. [2] successfully implemented cubic spline techniques to 1D wave equations. But, still so far in literature, a very limited number of spline methods are there for second-order quasilinear hyperbolic equations. During last three decades, there has been much effort to develop stable numerical methods based on spline approximations for the solution of the differential equations. Fyfe [3], Jain *et al*. [4, 5], Al-Said [6, 7], Khan *et al*. [8] and Kadalbajoo *et al*. [9] have studied the solution of two point boundary value problems by using the cubic spline method. Kadalbajoo *et al.* [10â€“12], MaruÅ¡iÄ‡ [13] and Khan *et al*. [14] have developed the tension spline method for the numerical solution of singular perturbed boundary value problems. Mohanty *et al*. [15, 16] on both uniform as well as non-uniform mesh have used tension spline to find the numerical solution of singular perturbed boundary value problems. The computational techniques based on cubic spline are discussed in detail by Khan *et al*. [17] and Kumar *et al*. [18] for the differential equations. Apart from initial work by Raggett *et al*. [1] and Fleck, Jr. [2] on wave equations using cubic splines, recently, Rashidinia *et al*. [19], Ding *et al*. [20] and Mohanty *et al*. [21â€“23] have studied the cubic spline and compact finite difference method for the numerical solution of hyperbolic problems. More recently, Ding *et al*. [24, 25] and Rashidinia *et al*. [26, 27] have formulated the solution of second-order telegraph equations and a nonlinear Klein-Gordon, sine-Gordon equation by using parametric spline, respectively. In the present paper, we follow the idea of Jain *et al*. [5, 28] but use non-polynomial tension spline approximation to develop an method of order four for the solution of a wave equation in polar co-ordinates with a significant first-order derivative term. We have shown that our method is in general of order four but, for the sake of computation of the result, we have used the consistency of the first-order continuity condition.

In this paper, using nine grid points, we discuss a new three-level implicit spline in the tension finite difference method of accuracy two in time and four in space for the solution of a one-space dimensional second-order quasilinear hyperbolic equation. In this method, we require only three evaluations of a function *g*. In Section 2, we discuss spline in tension and its properties. In Section 3, we propose a new three-level Numerov-type finite difference method based on spline in tension approximation. In Section 4, we derive the proposed method. In Section 5 and Section 6, we discuss the application of our method to some important physical problems like wave equation in polar coordinates and telegraph equation in a general form and their stability analysis. Difficulties were experienced in the past for the high-order spline solution of a wave equation in polar coordinates. The solution usually deteriorates in the vicinity of the singularity. We modify our technique in such a way that the solution retains its order and accuracy everywhere in the solution region. In Section 7, we establish, under appropriate conditions, the fourth-order convergence of the method. In Section 8, we discuss the higher-order approximation at first time level in order to compute the proposed numerical method of same accuracy and compare the numerical results with the results of the corresponding second-order accuracy spline in tension method. Concluding remarks are given in Section 9.

## 2 Spline in tension approximation

Let {S}^{j}(x) be the non-polynomial spline in tension of the function u(x,t) at the grid point ({x}_{l},{t}_{j}) and be given by

where {x}_{l}\xe2\u2030\xa4x\xe2\u2030\xa4{x}_{l+1} and {a}_{l}^{j}, {b}_{l}^{j}, {c}_{l}^{j}, {d}_{l}^{j} are unknowns, and *Ï‰* is an arbitrary parameter to be determined. {S}^{j}(x) is a class of {C}^{2}[0,1], which interpolates u(x,t) at the grid point ({x}_{l},{t}_{j}) at *j* th time level.

The derivatives of a non-polynomial spline in tension function {S}^{j}(x) are given by

We denote

To derive the expression for the coefficients of (2.2) in terms of {U}_{l}^{j}, {U}_{l+1}^{j}, {M}_{l}^{j} and {M}_{l+1}^{j}, we use

From algebraic manipulation, we get

where \mathrm{\xce\xb8}=\mathrm{\xcf\u2030}h and l=0,1,2,\xe2\u20ac\xa6,N\xe2\u02c6\u20191.

Using the continuity of the first derivative at ({x}_{l},{t}_{j}), that is, {S}^{j\mathrm{\xe2\u20ac\xb2}}({x}_{l}\xe2\u02c6\u2019)={S}^{j\mathrm{\xe2\u20ac\xb2}}({x}_{l}+), we obtain the following relation for l=1,2,\xe2\u20ac\xa6,N\xe2\u02c6\u20191:

where

When \mathrm{\xcf\u2030}\xe2\u2020\u20190, that is, \mathrm{\xce\xb8}\xe2\u2020\u20190, then (\mathrm{\xce\pm},\mathrm{\xce\xb2})\xe2\u2020\u2019(\frac{1}{6},\frac{1}{3}), and the relation (2.5) reduces to the ordinary cubic spline relation

From (2.5), we obtain the consistency condition \mathrm{\xce\pm}+2\mathrm{\xce\xb2}+\mathrm{\xce\pm}=1, which is equivalent to the equation tanh\frac{\mathrm{\xce\xb8}}{2}=\frac{\mathrm{\xce\xb8}}{2}. This equation has an infinite number of roots. Solving graphically, we obtain the smallest nonzero positive value \mathrm{\xce\xb8}=0.001.

Now,

and replacing â€˜*h*â€™ by â€˜âˆ’*h*â€™, we get

Combining (2.6) and (2.7), we obtain

Further, from (2.6), we have

and from (2.7), we have

Note that (2.4), (2.8), (2.9) and (2.10) are important properties of the non-polynomial cubic spline in tension function {S}^{j}(x).

## 3 The finite difference method based on spline in tension approximation

For the sake of the simplicity, first we consider the one-space dimensional nonlinear hyperbolic partial differential equation

with the given initial conditions (1.2) and boundary conditions (1.3).

The solution domain [0,1]\xc3\u2014[t>0] is divided into (N+1)\xc3\u2014J mesh with the spatial step size h=1/(N+1) in *x*-direction and the time step size k>0 in *t*-direction, respectively, where *N* and *J* are positive integers. The mesh ratio parameter is given by \mathrm{\xce\xbb}=(k/h)>0. Grid points are defined by ({x}_{l},{t}_{j})=(lh,jk), l=0,1,2,\xe2\u20ac\xa6,N+1 and j=0,1,2,\xe2\u20ac\xa6,J. The notations {u}_{l}^{j} and {U}_{l}^{j} are used for the discrete approximation and the exact value of u(x,t) at the grid point ({x}_{l},{t}_{j}), respectively. Similarly, at the grid point ({x}_{l},{t}_{j}), we define {A}_{l}^{j}=A({x}_{l},{t}_{j}), {A}_{xl}^{j}={A}_{x}({x}_{l},{t}_{j}),\xe2\u20ac\xa6â€‰, *etc*.

We consider the following approximations:

Since the derivative values of {S}^{j}(x) defined by (2.4), (2.8), (2.9) and (2.10) are not known at each grid point ({x}_{l},{t}_{j}), we use the following approximations for the derivatives of {S}^{j}(x). Let

Now we define the following approximations:

in which we use spline in tension function {U}_{l}^{j}={S}^{j}({x}_{l}), the approximation of its first-order space derivative defined by (3.6a)-(3.6c) in *x*-direction and central difference approximations of time derivative defined by (3.2a)-(3.2d) in *t*-direction.

Then, at each grid point ({x}_{l},{t}_{j}), differential equation (3.1) is discretized by

where

and the local truncation error

## 4 Derivation of the method

For the derivation of a Numorov-type method (3.8) based on spline in tension approximations for the numerical solution of differential equation (3.1), we follow the ideas of Jain *et al*. [5, 28]. We use spline in tension approximations in *x*-direction and second-order finite difference approximation in *t*-direction.

At the grid point ({x}_{l},{t}_{j}), let us denote

At the grid point ({x}_{l},{t}_{j}), we may write differential equation (3.1) as

Using the Taylor expansion, we obtain

Simplifying (3.2a)-(3.3b), we get

With the help of the approximations (4.4a) and (4.5b), from (3.4a), we obtain

Similarly,

Now, using the approximations (4.4a)-(4.5b), (4.6a)-(4.6c) and simplifying (3.5a), we get

Similarly,

Now, with the help of the approximations (4.4a) and (4.7a), from (3.7a), we obtain

Similarly,

Using the approximations (4.4a)-(4.4d) and (4.8a)-(4.8c), from (3.8) and (4.3), we obtain the local truncation error {\stackrel{\xcb\u2020}{T}}_{l}^{j}=O({k}^{4}+{k}^{4}{h}^{2}+{k}^{2}{h}^{4}).

Now, we consider the numerical method of O({k}^{4}+{k}^{4}{h}^{2}+{k}^{2}{h}^{4}) for the solution of 1D second-order quasi-linear hyperbolic equation (1.1).

In order to understand the concept to develop the method for quasi-linear case, we consider the following differential equation:

A fourth-order method for differential equation (4.9) is given by

where {f}_{l}=f({x}_{l}), {f}_{xxl}=\frac{{d}^{2}{f}_{l}}{d{x}^{2}}.

Whenever differential equation (4.9) is of the form {u}^{\xe2\u20ac\xb3}=f(x,u), then the evaluation of {f}_{xx} is difficult and the formula (4.10) needs to be modified. Substituting {h}^{2}{f}_{xxl}=({f}_{l+1}\xe2\u02c6\u20192{f}_{l}+{f}_{l\xe2\u02c6\u20191})+O({h}^{4}) in (4.10), we obtain the modified version of (4.10) due to Numerov as

where {f}_{l}=f({x}_{l},{U}_{l}). Note that (4.11) is consistent with the differential equation {u}^{\xe2\u20ac\xb3}=f(x,u).

Now, we use the above concept to derive the numerical method for quasi-linear equation (1.1). Whenever the coefficient *A* is a function of *x*, *t* and *u*, *i.e.*, A=A(x,t,u), the difference scheme (3.8) needs to be modified. For this purpose, we use the following central differences:

where

With the help of the approximations (4.12a)-(4.12b), it is easy to verify that

Thus, substituting the central differences (4.12a)-(4.12b) into (3.8), we obtain the required numerical method of O({k}^{2}+{k}^{2}{h}^{2}+{h}^{4}) for the solution of second-order quasi-linear hyperbolic equation (1.1) and hence the local truncation error retains its order, that is, {\stackrel{\xcb\u2020}{T}}_{l}^{j}=O({k}^{4}+{k}^{4}{h}^{2}+{k}^{2}{h}^{4}).

Note that the initial and Dirichlet boundary conditions are given by (1.2) and (1.3), respectively. Incorporating the initial and boundary conditions, we can write the method (3.8) in a tri-diagonal matrix form. If differential equation (1.1) is linear, we can solve the linear system using the Gauss-elimination (tri-diagonal solver) method; in the nonlinear case, we can use the Newton-Raphson iterative method to solve the nonlinear system (see Kelly [29], Hageman and Young [30]).

## 5 Application to wave equation with singular coefficients and stability analysis

We consider the one-space dimensional wave equation in polar co-ordinates

For \mathrm{\xce\xb3}=1\text{and}2, the above equation represents the one-space dimensional wave equation in cylindrical and spherical co-ordinates, respectively. The initial and the Dirichlet boundary conditions are prescribed by

Assume that f(r,t)\xe2\u02c6\u02c6{C}^{2}(0,1)\xc3\u2014[t>0] and the conditions (5.2) and (5.3) are given with sufficient smoothness to maintain the order of accuracy in the numerical method under consideration.

Replacing the variable *x* by *r*, applying the spline in tension method (3.8) to (5.1) and neglecting the local truncation error, we obtain

where the approximations associated with (5.4) are defined in Section 3.

Note that the scheme (5.4) is of O({k}^{2}+{k}^{2}{h}^{2}+{h}^{4}) accuracy for the solution of wave equation (5.1). Since {r}_{0}=0, the scheme (5.4) fails to compute at l=1 due to zero division. In order to get a stable spline in tension scheme of O({k}^{2}+{k}^{2}{h}^{2}+{h}^{4}) accuracy, we need the following approximations:

where

Now, with the help of the approximations defined in Section 3 and (5.5a)-(5.5c), neglecting high-order terms, we can re-write the scheme (5.4) in three-level operator compact implicit form

where

and

and {\mathrm{\xce\xbc}}_{r}{u}_{l}=\frac{1}{2}({u}_{l+\frac{1}{2}}+{u}_{l\xe2\u02c6\u2019\frac{1}{2}}) and {\mathrm{\xce\xb4}}_{r}{u}_{l}=({u}_{l+\frac{1}{2}}\xe2\u02c6\u2019{u}_{l\xe2\u02c6\u2019\frac{1}{2}}) are averaging and central difference operators with respect to *r*-direction, *etc*. This implies (2{\mathrm{\xce\xbc}}_{r}{\mathrm{\xce\xb4}}_{r}){u}_{l}^{j}={u}_{l+1}^{j}\xe2\u02c6\u2019{u}_{l\xe2\u02c6\u20191}^{j}, {\mathrm{\xce\xb4}}_{r}^{2}{u}_{l}^{j}={u}_{l+1}^{j}\xe2\u02c6\u20192{u}_{l}^{j}+{u}_{l\xe2\u02c6\u20191}^{j}, {\mathrm{\xce\xb4}}_{t}^{2}{u}_{l}^{j}={u}_{l}^{j+1}\xe2\u02c6\u20192{u}_{l}^{j}+{u}_{l}^{j\xe2\u02c6\u20191}, *etc*. The spline in tension finite difference scheme (5.6) has a local truncation error of O({k}^{2}+{h}^{4}) and is free from the terms \frac{1}{l\xc2\pm 1} and hence it can be solved for l=1(1)N, j=1(1)J in the region 0<r<1, t>0.

For the stability of the method (5.6), we follow the technique used by Mohanty [31]. We may re-write (5.6) as

The additional terms are of high orders and do not affect the accuracy of the scheme. The exact value {U}_{l}^{j}=u({r}_{l},{t}_{j}) satisfies

We assume that there exists an error {\mathrm{\xce\mu}}_{l}^{j}={U}_{l}^{j}\xe2\u02c6\u2019{u}_{l}^{j} at the grid point ({x}_{l},{t}_{j}). Subtracting (5.7) from (5.8), we obtain the error equation

For the stability of the modified scheme (5.7), we assume that {\mathrm{\xce\mu}}_{l}^{j}={A}^{l}{e}^{i\mathrm{\xcf\u2022}j}{e}^{i\mathrm{\xce\xb8}l} (where \mathrm{\xce\xbe}={e}^{i\mathrm{\xcf\u2022}} such that |\mathrm{\xce\xbe}|=1) at the grid point ({x}_{l},{t}_{j}), where *Î¾* is in general complex, *Î¸* is an arbitrary real number and *A* is a non-zero real parameter to be determined. Substituting {\mathrm{\xce\mu}}_{l}^{j}={A}^{l}{e}^{i\mathrm{\xcf\u2022}j}{e}^{i\mathrm{\xce\xb8}l} in the homogeneous part of error equation (5.9), we obtain the amplification factor

Since the left-hand side of (5.10) is a real quantity, hence the imaginary part of the right-hand side of (5.10) must be zero, from which we obtain

or

where {T}_{2}\xc2\pm {T}_{3}>0. Substituting the values of *A* and {A}^{\xe2\u02c6\u20191} in (5.10), we get

Since 0\xe2\u2030\xa4{sin}^{2}(\frac{\mathrm{\xcf\u2022}}{2})\xe2\u2030\xa41, max{sin}^{2}(\frac{\mathrm{\xce\xb8}}{2})=1, min{sin}^{2}(\frac{\mathrm{\xce\xb8}}{2})=0, it follows from (5.12) that the spline in tension finite difference scheme (5.4) is stable if

leading to |\mathrm{\xce\xbe}|=1. It is easy to verify that as l\xe2\u2020\u2019\mathrm{\xe2\u02c6\u017e}, 0<{\mathrm{\xce\xbb}}^{2}\xe2\u2030\xa41.

## 6 Application to telegraph equation in a general form and stability analysis

Consider the telegraph equation in a general form

where \mathrm{\xce\pm}>0, \mathrm{\xce\xb2}\xe2\u2030\yen 0 are real parameters. For \mathrm{\xce\xb2}=0, the equation above represents a damped wave equation. The initial and boundary conditions are prescribed by (1.2) and (1.3), respectively. The telegraph equation is a linear differential equation which describes the voltage and current on an electric transmission line with distance and time. In fact, the telegraph equation is more suitable than an ordinary diffusion equation in modeling reaction-diffusion for such branches of science. In equation (6.1), u(x,t) is either voltage or current through the wire at position *x* and time *t*, and \mathrm{\xce\pm}=Z/C, \mathrm{\xce\xb2}=\mathrm{\xe2\u201e\u0153}/I and {c}^{2}=1/(IC), where *Z* is the conductance of a resistor, â„œ is the resistance of the resistor, *I* is the inductance of the coil and *C* is the capacitance of the capacitor.

Now onwards, we denote a={(\frac{\mathrm{\xce\pm}+\mathrm{\xce\xb2}}{2})}^{2}{k}^{2}, b=\mathrm{\xce\pm}\mathrm{\xce\xb2}{k}^{2}; and {f}_{l}^{j}=f({x}_{l},{t}_{j}).

Applying the scheme (3.8) to differential equation (6.1), we may obtain a numerical approximation of O({k}^{2}+{h}^{4}) as

The corresponding error equation is

To establish the stability for the scheme (6.2), it is necessary to assume that the solution of the homogeneous part of error equation (6.3) is of the form {\mathrm{\xce\mu}}_{l}^{j}={\mathrm{\xce\xbe}}^{j}{e}^{i\mathrm{\xce\xb8}l}, where i=\sqrt{\xe2\u02c6\u20191}, *Î¸* is real and we obtain the characteristic equation

where

The necessary and sufficient condition for |\mathrm{\xce\xbe}|<1 is that p+q+r>0, p\xe2\u02c6\u2019r>0, p\xe2\u02c6\u2019q+r>0. The conditions p+q+r>0 and p\xe2\u02c6\u2019r>0 are satisfied for \mathrm{\xce\pm}>0, \mathrm{\xce\xb2}\xe2\u2030\yen 0 and for all *Î¸* except (\mathrm{\xce\xb8},\mathrm{\xce\xb2})=(0,0)\text{or}(2\mathrm{\xcf\u20ac},0). We can treat this case separately.

The condition p\xe2\u02c6\u2019q+r>0 is satisfied if

In order to obtain an unconditionally stable spline in tension finite difference scheme of accuracy of O({k}^{2}+{h}^{4}), we may re-write the scheme (6.2) as

where *Î·* and *Î³* are free parameters to be determined. The additional terms \mathrm{\xce\xb7}{b}^{2}{\mathrm{\xce\xb4}}_{t}^{2}{u}_{l}^{j} and \xe2\u02c6\u2019\mathrm{\xce\xb3}{\mathrm{\xce\xbb}}^{2}{c}^{2}{\mathrm{\xce\xb4}}_{x}^{2}{\mathrm{\xce\xb4}}_{t}^{2}{u}_{l}^{j} are of higher order and do not affect the consistency and accuracy of the scheme. Now using the technique discussed in [21] and [22], we find that for \mathrm{\xce\pm}>0, \mathrm{\xce\xb2}\xe2\u2030\yen 0, \mathrm{\xce\xb7}\xe2\u2030\yen \frac{1}{64}; and \mathrm{\xce\xb3}\xe2\u2030\yen \frac{1+3{\mathrm{\xce\xbb}}^{2}{c}^{2}}{12{\mathrm{\xce\xbb}}^{2}{c}^{2}}, the spline in tension finite difference scheme (6.6) is stable for all choices of h>0 and k>0.

## 7 Convergence analysis

In this section, we establish under appropriate conditions the fourth-order convergence of the proposed method. For simplicity, we consider the nonlinear hyperbolic differential equation

with the initial and boundary conditions which are prescribed by (1.2) and (1.3), respectively.

We assume that the initial value problem (7.1), (1.2)-(1.3) has a unique smooth solution u(x,t) and the following conditions are satisfied:

(i) g(x,t,u,{u}_{x},{u}_{t}) is continuous,

(ii) g(x,t,u,{u}_{x},{u}_{t}) satisfies the Lipschitz condition, namely,

where {\mathrm{\xce\xbe}}_{i} and {\mathrm{\xce\xbe}}_{i}^{\xe2\u02c6\u2014} are arbitrary real numbers and *L* is a Lipschitz constant,

(iii) a(x) and b(x) are continuously differentiable up to order four and two, respectively.

The method (3.8) becomes

where {\stackrel{\xc2\xaf}{G}}_{l}^{j}=g({x}_{l},{t}_{j},{U}_{l}^{j},{\stackrel{\xc2\xaf}{U}}_{xl}^{j},{\stackrel{\xc2\xaf}{U}}_{tl}^{j}), {\stackrel{\xcb\u2020}{G}}_{l}^{j}=g({x}_{l},{t}_{j},{U}_{l}^{j},{\stackrel{\xcb\u2020}{U}}_{xl}^{j},{\stackrel{\xc2\xaf}{U}}_{tl}^{j}), *etc.*, â€¦ and {T}_{l}^{j}=O({k}^{4}+{k}^{4}{h}^{2}+{k}^{2}{h}^{4}).

Let {\mathbf{U}}^{j}={[{U}_{1}^{j},{U}_{2}^{j},\xe2\u20ac\xa6,{U}_{N}^{j}]}^{T} (*T* denotes transpose) and {\mathbf{u}}^{j}={[{u}_{1}^{j},{u}_{2}^{j},\xe2\u20ac\xa6,{u}_{N}^{j}]}^{T} be the exact and approximate solution vectors of the solution u(x,t) at the grid point ({x}_{l},{t}_{j}), respectively, and \mathbf{T}={[{T}_{1}^{j},{T}_{2}^{j},\xe2\u20ac\xa6,{T}_{N}^{j}]}^{T} be the local truncation error vector.

Let

and

where {\stackrel{\xc2\xaf}{g}}_{l}^{j}=g({x}_{l},{t}_{j},{u}_{l}^{j},{\stackrel{\xc2\xaf}{u}}_{xl}^{j},{\stackrel{\xc2\xaf}{u}}_{tl}^{j}), {\stackrel{\xcb\u2020}{g}}_{l}^{j}=g({x}_{l},{t}_{j},{u}_{l}^{j},{\stackrel{\xcb\u2020}{u}}_{xl}^{j},{\stackrel{\xc2\xaf}{u}}_{tl}^{j}), *etc.*, â€¦â€‰.

Then, the spline in tension method described by (7.2) can be expressed in a matrix form as follows:

where \mathbf{D}={[\xe2\u02c6\u20191,\xe2\u02c6\u201910,\xe2\u02c6\u20191]}^{T} and \mathbf{C}={[1+6{\mathrm{\xce\xbb}}^{2},10\xe2\u02c6\u201912{\mathrm{\xce\xbb}}^{2},1+6{\mathrm{\xce\xbb}}^{2}]}^{T} are tri-diagonal matrices of order *N*.

The method consists of obtaining an approximation {\mathbf{u}}^{j+1} for {\mathbf{U}}^{j+1} by solving the tri-diagonal system

Let {\mathrm{\xce\mu}}_{l}^{j}={u}_{l}^{j}\xe2\u02c6\u2019{U}_{l}^{j} and {\mathbf{E}}^{j}={\mathbf{u}}^{j}\xe2\u02c6\u2019{\mathbf{U}}^{j}={[{\mathrm{\xce\mu}}_{1}^{j},{\mathrm{\xce\mu}}_{2}^{j},\xe2\u20ac\xa6,{\mathrm{\xce\mu}}_{N}^{j}]}^{T}.

We may write {\stackrel{\xc2\xaf}{u}}_{tl}^{j}\xe2\u02c6\u2019{\stackrel{\xc2\xaf}{U}}_{tl}^{j}=({\mathrm{\xce\mu}}_{l}^{j+1}\xe2\u02c6\u2019{\mathrm{\xce\mu}}_{l}^{j\xe2\u02c6\u20191})/(2k), {\stackrel{\xc2\xaf}{u}}_{xl}^{j}\xe2\u02c6\u2019{\stackrel{\xc2\xaf}{U}}_{xl}^{j}=({\mathrm{\xce\mu}}_{l+1}^{j}\xe2\u02c6\u2019{\mathrm{\xce\mu}}_{l\xe2\u02c6\u20191}^{j})/(2h),\xe2\u20ac\xa6â€‰, *etc*.

for suitable *W*, *H* and *I*. Further, we may write

With the help of (7.5c) and (7.5d), we obtain

where **P**, **Q** and **R** are the coefficient matrices of error vectors {\mathbf{E}}^{j+1}, {\mathbf{E}}^{j} and {\mathbf{E}}^{j\xe2\u02c6\u20191}, respectively.

Subtracting (7.4) from (7.3), we have

Assume that the exact solution values of u(x,t) are known exactly at the initial and first time levels so that {\mathbf{E}}^{j}={\mathbf{E}}^{j\xe2\u02c6\u20191}=0. Then from (7.7), we obtain the error equation

Let {P}_{l,m} be the (l,m)th element of matrix **P**, then it is easy to verify that

and hence \mathbf{D}+\mathbf{P} is irreducible (see Varga [32]).

Let {S}_{m} be the sum of the elements of the *m* th row of \mathbf{D}+\mathbf{P} and {H}_{\xe2\u02c6\u2014}=min[(5\mathrm{\xce\pm}\xe2\u02c6\u2019\mathrm{\xce\xb2}){H}_{l}^{j}\xe2\u2039\dots {I}_{{x}_{l}}^{j}\xe2\u02c6\u2019(2\mathrm{\xce\pm}+\mathrm{\xce\xb2}{I}_{l}^{j}){H}_{{x}_{l}}^{j}], then for sufficiently small *h* and *k*, we obtain

and hence, \mathbf{D}+\mathbf{P} is also monotone.

Then, {(\mathbf{D}+\mathbf{P})}^{\xe2\u02c6\u20191} exists and {(\mathbf{D}+\mathbf{P})}^{\xe2\u02c6\u20191}\xe2\u2030\yen 0 (see Varga [32]), *i.e.*, {(\mathbf{D}+\mathbf{P})}_{l,m}^{\xe2\u02c6\u20191}\xe2\u2030\yen 0.

Since

hence

and

From (7.8), we have

Now,

Let \xe2\u02c6\yen {E}^{j+1}\xe2\u02c6\yen =max\{|{\mathrm{\xce\mu}}_{l}^{j+1}|:l=1(1)N\}.

With the help of (3.9), (7.10a) and (7.10b), for a fixed value of \mathrm{\xcf\u0192}=\frac{k}{{h}^{2}}, from (7.12), we obtain for sufficiently small *h* and *k*

This establishes the fourth-order convergence of the method.

## 8 Numerical illustrations

In this section, we solve some benchmark problems using the method described by equation (3.8) and compare our results with those obtained by the numerical method of O({k}^{2}+{h}^{2}) accuracy based on spline in tension approximations. The exact solutions are provided in each case. The linear difference equation was solved using a tri-diagonal solver, whereas nonlinear difference equations were solved using the Newton-Raphson method. While using the Newton-Raphson method, the iterations were stopped when absolute error tolerance â‰¤10^{âˆ’10} was achieved. In order to demonstrate the fourth-order convergence of the proposed method, throughout the computation, we chose the fixed value of the parameter \mathrm{\xcf\u0192}=\frac{k}{{h}^{2}}=3.2. All computations were carried out using double precision arithmetic.

Note that, the proposed spline in tension finite difference method (3.8) for second-order quasilinear hyperbolic equations is a three-level scheme. The value of *u* at t=0 is known from the initial condition. To start any computation, it is necessary to know the numerical value of *u* of required accuracy at t=k. In this section, we discuss an explicit scheme of O({k}^{2}) for *u* at first time level, *i.e.*, at t=k in order to solve differential equation (1.1) using the method (3.8), which is applicable to problems in Cartesian and polar coordinates.

Since the values of *u* and {u}_{t} are known explicitly at t=0, this implies all their successive tangential derivatives are known at t=0, *i.e.*, the values of u,{u}_{x},{u}_{xx},\xe2\u20ac\xa6,{u}_{t},{u}_{tx},\xe2\u20ac\xa6â€‰, *etc*. are known at t=0.

An approximation for *u* of O({k}^{2}) at t=k may be written as

From equation (1.1), we have

Thus, using the initial values and their successive tangential derivative values, from (8.2) we can obtain the value of {({u}_{tt})}_{l}^{0}, and then ultimately, from (8.1) we can compute the value of *u* at first time level, *i.e.*, at t=k. Replacing the variable *x* by *r* in (8.1), we can also obtain an approximation of O({k}^{2}) for *u* at t=k in polar coordinates.

**Example 1** (Wave equation in polar coordinates)

The initial and boundary conditions are given by

We solve equation (8.3a) using the method (5.6) in the region bounded by 0<r<1, t>0. The exact solution is given by u(r,t)={r}^{2}sinht. The maximum absolute errors (MAE) are tabulated in Table 1 at t=5.0 and for \mathrm{\xce\xb3}=1, \mathrm{\xce\xb3}=2.

**Example 2** (Telegraphic equation in general form)

The initial and boundary conditions are given by

where \mathrm{\xce\pm}=6, \mathrm{\xce\xb2}=4; \mathrm{\xce\pm}=\mathrm{\xcf\u20ac}, \mathrm{\xce\xb2}=\mathrm{\xcf\u20ac}, and \mathrm{\xce\pm}=3\mathrm{\xcf\u20ac}, \mathrm{\xce\xb2}=\mathrm{\xcf\u20ac}. We solve equation (8.4a) using the method (6.6). The exact solution is given by u={e}^{\xe2\u02c6\u2019t}sinhx. The MAE are tabulated in Table 2.

**Example 3** (Nonlinear hyperbolic equation)

The initial and boundary conditions are given by

We solve equation (8.5a) using the method (3.8) in the region bounded by 0<x<1, t>0. The exact solution is given by u(x,t)={x}^{2}sinht. The MAE are tabulated in Table 3 for \mathrm{\xce\xb3}=1,5\text{and}10 at t=2.0.

**Example 4** (Quasi-linear hyperbolic equation)

The initial and the boundary conditions are given by

The exact solution is given by u={e}^{\xe2\u02c6\u2019t}sinhx. The MAE are tabulated in Table 4 for \mathrm{\xce\xb3}=1,5\text{and}10 at t=2.

The order of convergence may be obtained by using the formula

where {e}_{{h}_{1}} and {e}_{{h}_{2}} are maximum absolute errors for two uniform mesh widths {h}_{1} and {h}_{2}, respectively. For computation of order of convergence of the proposed method, we have considered {h}_{1}=\frac{1}{32} and {h}_{2}=\frac{1}{64} for all cases, and results are reported in Table 5.

## 9 Concluding remarks

Available numerical methods based on spline in tension approximations for the numerical solution of second-order quasilinear hyperbolic equations are of O({k}^{2}+{h}^{2}) accuracy only and require 9-grid points. In this article, using the same number of grid points and three evaluations of the function *g* (as compared to five and nine evaluations of the function *g* discussed in [33] and [35]), we have derived a new stable spline in tension finite difference method of O({k}^{2}+{h}^{4}) accuracy for the solution of second-order quasi-linear hyperbolic equation (1.1). For a fixed parameter \mathrm{\xcf\u0192}=\frac{k}{{h}^{2}}, the proposed method behaves like a fourth-order method, which is exhibited by the computed results. The proposed numerical method for the wave equation in polar coordinates is conditionally stable, whereas for the damped wave equation and the telegraphic equation, the method is shown to be unconditionally stable. From Table 5, we found that the order of the method is nearly equal to four.

## References

Raggett GF, Wilson PD:

**A fully implicit finite difference approximation to the one-dimensional wave equation using a cubic spline technique.***IMA J. Appl. Math.*1974, 14: 75â€“77. 10.1093/imamat/14.1.75Fleck JA Jr.:

**A cubic spline method for solving the wave equation of nonlinear optics.***J. Comput. Phys.*1974, 16: 324â€“341. 10.1016/0021-9991(74)90043-6Fyfe DJ:

**The use of cubic splines in the solution of two point boundary value problems.***Comput. J.*1969, 12: 188â€“192. 10.1093/comjnl/12.2.188Jain MK, Aziz T:

**Spline function approximation for differential equations.***Comput. Methods Appl. Mech. Eng.*1981, 26(2):129â€“143. 10.1016/0045-7825(81)90090-6Jain MK, Aziz T:

**Cubic spline solution of two-point boundary value problems with significant first derivatives.***Comput. Methods Appl. Mech. Eng.*1983, 39(1):83â€“91. 10.1016/0045-7825(83)90075-0Al-Said EA:

**Spline methods for solving a system of second order boundary value problems.***Int. J. Comput. Math.*1999, 70: 717â€“727. 10.1080/00207169908804784Al-Said EA:

**The use of cubic splines in the numerical solution of a system of second order boundary value problem.***Comput. Math. Appl.*2001, 42: 861â€“869. 10.1016/S0898-1221(01)00204-8Khan A, Aziz T:

**Parametric cubic spline approach to the solution of a system of second order boundary value problems.***J. Optim. Theory Appl.*2003, 118: 45â€“54. 10.1023/A:1024783323624Kadalbajoo MK, Aggarwal VK:

**Cubic spline for solving singular two-point boundary value problems.***Appl. Math. Comput.*2004, 156: 249â€“259. 10.1016/j.amc.2003.07.020Kadalbajoo MK, Bawa RK:

**Cubic spline method for a class of non-linear singularly perturbed boundary value problems.***J. Optim. Theory Appl.*1993, 76: 415â€“428. 10.1007/BF00939375Kadalbajoo MK, Patidar KC:

**Tension spline for the numerical solution of singularly perturbed non-linear boundary value problems.***Comput. Appl. Math.*2002, 21(3):717â€“742.Kadalbajoo MK, Patidar KC:

**Tension spline for the solution of self-adjoint singular perturbation problems.***Int. J.Â Comput. Math.*2002, 79(7):849â€“865. 10.1080/00207160211293MaruÅ¡iÄ‡ M:

**A fourth/second order accurate collocation method for singularly perturbed two-point boundary value problems using tension splines.***Numer. Math.*2001, 88(1):135â€“158. 10.1007/PL00005437Khan I, Aziz T:

**Tension spline method for second-order singularly perturbed boundary-value problems.***Int. J.Â Comput. Math.*2005, 82(12):1547â€“1553. 10.1080/00207160410001684280Mohanty RK, Evans DJ, Arora U:

**Convergent spline in tension methods for singularly perturbed two-point singular boundary value problems.***Int. J. Comput. Math.*2005, 82(1):55â€“66. 10.1080/0020716042000261414Mohanty RK, Arora U:

**A family of non-uniform mesh tension spline methods for singularly perturbed two-point singular boundary value problems with significant first derivatives.***Appl. Math. Comput.*2006, 172(1):531â€“544. 10.1016/j.amc.2005.02.023Khan A, Khan I, Aziz T:

**A survey on parametric spline function approximation.***Appl. Math. Comput.*2005, 171(2):983â€“1003. 10.1016/j.amc.2005.01.112Kumar M, Srivastava PK:

**Computational techniques for solving differential equations cubic, quintic and sextic splines.***Int. J. Comput. Methods Eng. Sci. Mech.*2009, 10: 108â€“115. 10.1080/15502280802623297Rashidinia J, Jalilian R, Kazemi V:

**Spline methods for the solutions of hyperbolic equations.***Appl. Math. Comput.*2007, 190: 882â€“886. 10.1016/j.amc.2007.01.082Ding H, Zhang Y:

**Parametric spline methods for the solution of hyperbolic equations.***Appl. Math. Comput.*2008, 204: 938â€“941. 10.1016/j.amc.2008.08.003Mohanty RK, Gopal V:

**High accuracy cubic spline finite difference approximation for the solution of one-space dimensional non-linear wave equations.***Appl. Math. Comput.*2011, 218(8):4234â€“4244. 10.1016/j.amc.2011.09.054Mohanty RK, Gopal V:

**An off-step discretization for the solution of 1D mildly nonlinear wave equations with variable coefficients.***J. Adv. Res. Sci. Comput.*2012, 4(2):1â€“13.Mohanty RK, Gopal V:

**High accuracy arithmetic average type discretization for the solution of two-space dimensional nonlinear wave equations.***Int. J. Model. Simul. Sci. Comput.*2012., 3: Article ID 1150005Ding H, Zhang Y:A new unconditionally stable compact difference scheme of O({\mathrm{\xcf\u201e}}^{2}+{h}^{4})

**for the 1D linear hyperbolic equation.***Appl. Math. Comput.*2009, 207: 236â€“241. 10.1016/j.amc.2008.10.024Ding H, Zhang Y, Cao J, Tian J:

**A class of difference scheme for solving telegraph equation by new non-polynomial spline methods.***Appl. Math. Comput.*2012, 218: 4671â€“4683. 10.1016/j.amc.2011.10.078Rashidinia J, Mohammadi R:

**Tension spline approach for the numerical solution of nonlinear Klein-Gordon equation.***Comput. Phys. Commun.*2010, 181(1):78â€“91. 10.1016/j.cpc.2009.09.001Rashidinia J, Mohammadi R:

**Tension spline solution of nonlinear sine-Gordon equation.***Numer. Algorithms*2011, 56(1):129â€“142. 10.1007/s11075-010-9377-xJain MK:

*Numerical Solution of Differential Equations*. 2nd edition. Wiley, New Delhi; 1984.Kelly CT:

*Iterative Methods for Linear and Non-Linear Equations*. SIAM, Philadelphia; 1995.Hageman LA, Young DM:

*Applied Iterative Methods*. Dover, New York; 2004.Mohanty RK:

**Stability interval for explicit difference schemes for multi-dimensional second order hyperbolic equations with significant first order space derivative terms.***Appl. Math. Comput.*2007, 190: 1683â€“1690. 10.1016/j.amc.2007.02.097Varga RS:

*Matrix Iterative Analysis*. 2nd edition. Springer, Berlin; 2000.Mohanty RK, Jain MK, George K:

**On the use of high order difference methods for the system of one space second order non-linear hyperbolic equations with variable coefficients.***J. Comput. Appl. Math.*1996, 72: 421â€“431. 10.1016/0377-0427(96)00011-8Mohanty RK:

**New unconditionally stable difference schemes for the solution of multi-dimensional telegraphic equations.***Int. J. Comput. Math.*2009, 86: 2061â€“2071. 10.1080/00207160801965271Mohanty RK, Arora U:

**A new discretization method of order four for the numerical solution of one space dimensional second order quasi-linear hyperbolic equation.***Int. J. Math. Educ. Sci. Technol.*2002, 33: 829â€“838. 10.1080/00207390210162465

## Acknowledgements

This research work is supported by South Asian University, New Delhi, India. The authors thank the reviewers for their valuable suggestions, which substantially improved the standard of the paper.

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

### Competing interests

The authors declare that they have no competing interest.

### Authorsâ€™ contributions

RKM derived the difference method based on spline in tension approximation and discussed the convergence analysis of the method. VG has discussed the application of proposed method to wave equation in polar coordinates and telegraphic equation, and stability analysis. VG also carried out all computational work. All authors read and approved the final manuscript.

## Rights and permissions

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

## About this article

### Cite this article

Mohanty, R.K., Gopal, V. A fourth-order finite difference method based on spline in tension approximation for the solution of one-space dimensional second-order quasi-linear hyperbolic equations.
*Adv Differ Equ* **2013**, 70 (2013). https://doi.org/10.1186/1687-1847-2013-70

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/1687-1847-2013-70