- Research
- Open access
- Published:

# Time accurate solution to Benjamin–Bona–Mahony–Burgers equation via Taylor–Boubaker series scheme

*Boundary Value Problems*
**volume 2022**, Article number: 17 (2022)

## Abstract

The object of this paper is to develop an accurate combined spectral collocation approach to numerically solve the generalized nonlinear Benjamin–Bona–Mahony–Burgers equation. The first stage is devoted to discretization in time, which is carried out with the aid of the well-known Taylor series expansions. Then the spectral collocation procedure based on the Boubaker polynomials is applied for the resulting discretized spatial operator in each time step. A detailed error analysis of the presented technique is carried out with regard to the space variable. The advantages of the hybrid technique are shown via performing several simulations through four test examples. Comparisons between our numerical results and the outcomes of some existing schemes indicate that the proposed technique is not only simple and easy-to-implement, but also sufficiently accurate using a moderate number of bases and a large time step.

## 1 Introduction

Diverse important physical phenomena in nature are mathematically described by means of (nonlinear) partial differential equations (PDEs) with appropriate initial and boundary conditions. Except for some particular cases, the closed-form solutions to the most PDEs either do not exist or are not intractable in practice. Thus developing an accurate approximate or numerical solution for nonlinear PDEs becomes practically important in the filed. In the past decades the subject has attracted many authors, and difference equations have been appeared as a promising research field on both applied and theoretical levels (see [1–17]).

The generalized Benjamin–Bona–Mahony–Burgers (BBMB) model (1) was first considered in [1]. Due to the importance and vast applications, many researchers have been considered the BBMB-type equations over the past decades. In this respect, diverse computational and approximation techniques were proposed in the literature. The Galerkin approach was applied to the Benjamin–Bona–Mahony (BBM) equations in [18–20]. The finite difference schemes with different combined methods in space and time are developed in [6, 7]. The B-spline collocation approaches are studied in [21–23]. The meshless-based methods were investigated in the previously published papers [24, 25]. The spectral collocation procedures based upon (orthogonal) basis functions were discussed in [26–29]. Additionally, a discussion of some other methods for solving PDEs can be found in [30–41]. In most of the proposed numerical solution algorithms for (13), the implemented time marching procedure has the first-order accuracy. In addition, to achieve a reasonable accuracy, the time step cannot be taken rather large. Alternatively, in this research work, we construct a second-order time advancement technique for the numerical treatment of the BBMB equation. Our efficient and accurate approach based upon a hybrid of Taylor method for the time discretization and exponential spectral Boubaker collocation scheme for the spatial operator. The presented hybrid technique is straightforward in implementation compared to other existing numerical models; see also [42–44].

Recently, the authors in [45] obtained new exact solitary solutions for a version of \((3+ 1)\)-dimensional Wazwaz–Benjamin–Bona–Mahony equation formulated in the sense of conformable derivative with the help of two novel techniques: the generalized Kudryashov method and \(\exp (-\phi (\aleph ))\) method. The general fractional formulation of the Wazwaz–Benjamin–Bona–Mahony equation can be expressed as follows:

where \(\mathcal{D}^{\zeta }\) is the fractional operator of order \(0 < \zeta \leq 1\), and the function \(\Psi: [0, \infty ) \to \mathbb{R}\) is *ζ*-differentiable at a point *t*. Matar et al. [46], studied the following fractional differential equation:

where \({}^{C }\mathcal{D}^{ \alpha, \rho }\) and \({}^{C }\mathcal{D}^{ \gamma, \rho }\) are the generalized Caputo fractional derivatives of orders \(0 < \alpha <1 \) and \(0 < \gamma < 1\), respectively, \(\rho >1\), and s \(q: [0,1] \times \mathbb{R}^{2} \to \mathbb{R}\) and \(\theta _{i}: \mathbb{R}^{2} \to \mathbb{R}\), \(i=1,2\), are given nonlinear continuous functions. They investigated possible solutions to the following fractional boundary value problem for an implicit nonlinear an implicit nonlinear fractional differential equation:

where \(\Omega >0\), \(q: [0, \Omega ] \to (1. 2]\) and \(\theta: [0, \Omega ]\times \mathbb{R}^{2} \to \mathbb{R}\) are continuous functions, and \(\mathcal{D}_{ 0^{+}}^{ q(t)} \) is the Riemann–Liouville fractional derivative in the context of variable order \(q(t)\) [47]. Matar et al. [48] consider the FDE

where \({{}^{C} \mathcal{D}}^{\varsigma _{1}, \rho }\) and \({{}^{C} \mathcal{D}}^{\varsigma _{2}, \rho } \wp (t )\) are generalized Caputo fractional derivatives of orders \(1 < \sigma _{1}<2\) and \(0 < \sigma _{2}<1\), respectively, \(\rho >1\), \(\varphi _{p} (p >1)\) is a *p*-Laplacian operator, and \(\mathfrak{w}: [0,1]\times \mathbb{R}^{2} \to \mathbb{R}\) and \(\mathfrak{v}_{1}, \mathfrak{v}_{2}: \mathbb{R}^{2} \to \mathbb{R}\) are given nonlinear continuous functions. Also, the authors in [49] found a theoretical method to investigate the existence of solutions for the strongly singular fractional model of thermostat control given as

where \((\omega - k - 1) p(1) > a \eta ^{k}\), with \(j\neq k\) coupled, \(q: [0,1 ] \to \mathbb{R}\) is singular or strongly singular at some points of \([0,1]\), \(p: [0,1] \to [0, \infty )\) is differentiable at \(t=1\), \(\theta \in C(\mathbb{R}, \mathbb{R})\), and \({}^{C }\mathcal{D}^{ \omega } \) is the Caputo derivative of order *ω*. For more studied related application, see [50, 51]. Rezapour et al. investigated the multisingular integro-differential pointwise equation

\(\wp ^{(j)} (0) = 0, j = 2, \dots, [\sigma ]-1\), where \(\wp \in C^{1}([0,1])\), \(\gamma _{1}, \gamma _{2} \in [2,\infty ), a, b \in (0,1)\), \({ \mathcal{D}}^{\varsigma }\) is the Caputo fractional *q*-derivative of order *ς*, and \(\mathfrak{w}:[0,1] \times \mathbb{R}^{4} \to \mathbb{R}\) is a function such that \(\mathfrak{w}(t,.,.,.,.)\) is singular at some points \(0 \leq t\leq 1\) [52]. In 2021, Izadi [42] presented an effective approximation algorithm to solve the nonlinear Hunter–Saxton equation

subjected to the boundary condition \(\lim_{x\to \infty } w(x, t) =0\). Abdelwahed and Chorf [53] consider the nonlinear heat equation: Find a solution *φ* of

where Ω is a bounded simply connected domain of \(\mathbb{R}^{d}\) \((d= 1,2,3)\), *∂*Ω is its connected Lipschitz continuous boundary, and *T* is a positive constant. They considered families of large eddy simulation models, which are variants of the classical Smagorinsky model, and similarly to the model of Cottet, Jiroveanu, and Michaux, proposed a selective model based on the local behavior of the angle of the vorticity direction [54].

The chief goal of this research paper is developing an effective time-accurate computational procedure for finding the solutions of a PDE model problem arising in broad branches of science and engineering. We consider a hybrid approximation technique to numerically treat the following BBMB equation:

where \(x \in [x_{L},x_{R}]\) and \(t\in [0, T_{f}]\). Also, two coefficient parameters \(\mu,\gamma,\sigma \) are positive constants, \(\eta \in \mathbb{R}\), and \(h(x,t)\) is a familiar real-valued function. Along with this equation, an initial condition is given as

Moreover, with the initial-value problem (1)–(2), the following boundary conditions are supplemented:

for \(t\in [0,T_{f}]\), where \(w_{L}(t)\) and \(w_{R}(t)\) are two prescribed functions. If \(\gamma =0\), then equation (1) is called the BBM equation, which first studied as a model for the propagation of long waves in nonlinear dispersive systems [2]. Some facts on physical significance of this model were given in [3, 5]. For \(\mu =0\) and \(\eta =-1\), the model (1) reduces to (generalized) Burgers equation [4].

Our plan in the rest of the paper is as follows. In the next Sect. 2, we illustrate the time advancement procedure for BBMB equation (1), which is relied on the Taylor series expansion. Afterward, in Sect. 3, we give an overview of the Boubaker functions together with some important their properties. In this section, we also discuss the convergence for this class of polynomials. The hybrid strategy of Taylor and Boubaker functions is illustrated in Sect. 4 in detail. The results of numerical simulations presented through tables and figures are given in Sect. 5. We end the paper with the conclusion Sect. 6.

## 2 Time-marching procedure

To gain an accurate time solution of the nonlinear BBMB equation (1), we first consider the Taylor expansion series to discretize it in time. For this purpose, we uniformly partition the time interval \([0,T_{f}]\) into *J* uniform subdivisions. The corresponding grid points and time-step Δ*t* are given by

where \(\Delta t =t_{j}-t_{j-1}\), and \(j=1,2,\ldots, J\). In what follows, by \(w^{j}\) we denote the approximate solution at time level \(t_{j}\), that is,

We then evaluate the original BBMB equation (1) at time level \(t_{j}\) to arrive at

Let us for convenience define

Application of the Taylor formula to \(u^{j}\) yields

Differentiating (4) with regard to *t* reveals

Now we replace all first-order derivatives \(\frac{\partial w^{j}}{\partial t}\) by the forward difference relation

After multiplying both sides by Δ*t* and some manipulations, the resultant equation becomes

where \(h^{j}:=h(x,t_{j})\). Our next task is to place (6) into the right-hand side of (5) followed by equating to (4). After multiplying by \(2\Delta t\), we get the time-discretized equation for the nonlinear model (1) with second-order accuracy in time. Again for simplicity of notations, we introduce

Similarly, we define

Therefore the resulting second-order equation with regard to space variable can be written as

for \(j=0,1,\ldots, J-1\). In each time level, we must solve the linear equation (7). So we need the given initial condition \(w^{0}=w_{0}(x)\) and its first- and second-order derivatives as they appear in the coefficients of (7). In other words, for \(j=0\), we have \(\chi _{0}(x)=w_{0}(x)\) for \(x\in [x_{L}, x_{R}]\). At each time level \(t_{j+1}\), we exploit the boundary conditions obtained from (3) at two end-points \(x=x_{L},x_{R}\) as follows:

for \(j=0,1,\ldots,J-1\).

## 3 Boubaker functions: an overview

The family of nonorthogonal Boubaker polynomials \({\mathcal{B}}_{\ell }(x)\) naturally appeared in the study of heat transfer equation when its solution can be expanded in terms of Bessel functions of the first kind [55]. These polynomials are very closely related to the Chebyshev polynomials \({\mathrm{U}}_{\ell }(x)\) of the second kind denoted by the relation

These polynomials are obtained via the following recursive formula:

where the first three Boubaker functions are \({\mathcal{B}}_{0}(x)=1\), \({\mathcal{B}}_{1}(x)=x\), and

For \(\ell >0\), these functions are the unique solutions of the second-order differential equation

where \(y(x)= {\mathcal{B}}_{\ell }(x)\). Furthermore, the explicit series solution of Boubaker polynomial \({\mathcal{B}}_{\ell }(x)\) of degree *ℓ* is given by

The next theorem establishes the distribution of the zeros of these polynomials on \([-2,2]\); see [56, Theorem 2.4].

### Theorem 3.1

*The function* \({\mathcal{B}}_{\ell }(x)\) *of degree* *ℓ* *has has* \(\ell -2\) *real zeros and two nonreal*, *purely imaginary complex zeros*. *All zeros of* \({\mathcal{B}}_{\ell }(x)\) *are located in* \([-2,2]\), *and the two purely imaginary zeros lie outside the unit circle*.

### Remark 3.1

Based on the observation established in Theorem 3.1, the shifted version of these polynomials were previously considered on an arbitrary domain \([x_{L},x_{R}]\) in [57]. This can be accomplished trough the change of variable

where \(x\in [x_{L},x_{R}]\) and \(\eta \in [ -2, 2 ]\). Thus we get the shifted version of these polynomial by using \({\mathcal{B}}_{\ell }^{*}(\eta )={\mathcal{B}}_{\ell }(x)\). In the numerical examples, we may appropriately use the shifted Boubaker polynomials.

### 3.1 Convergence results

To proceed, we define \(\Omega =[x_{L},x_{R}]\) and the related weighted \(L_{2}\) space as [57]

where

with \(\omega (x)=\frac{1}{x_{R}-x_{L}}\) denotes the induced norm resulting from the following inner product of the space \(L_{2,\omega }(\Omega )\):

In practice, we consider a finite-dimensional subspace of \(L_{2,\omega }(\Omega )\) of the form

Clearly, \(\dim (\mathbb{L}_{M})=M+1\), and \(\mathbb{L}_{M}\) is a closed and thus complete subspace of \(L_{2,\omega }(\Omega )\). Thus any function \(u\in L_{2,\omega }(\Omega )\) has a unique best approximation \(u^{*}\in \mathbb{L}_{M}\) in the sense that

We further invoke the following result from the approximation theory [58].

### Theorem 3.2

*Let* *u* *be an* *M* *times continuously differentiable function on* Ω. *Also*, *let* \(P_{M}\) *denote the interpolating function of* *u* *at* *M* *Chebyshev nodes in the interval* Ω. *Then*, *for every* \(x\in \Omega \), *we have*

*where* \(\|u\|_{\infty }: = \max_{ x \in \Omega } \vert u^{(M)}(x) \vert \).

Now assume that an arbitrary function \(u\in L_{2,\omega }(\Omega )\) can be written in terms of shifted Boubaker functions as

By restricting our attention to the finite subsets \(\mathbb{L}_{M}\) of \(L_{2,\omega }(\Omega )\) we may write a truncated series for *u* as

The next theorem provides an error bound for \(E_{M}(x)=u(x)-u_{M}(x)\).

### Theorem 3.3

*Let*

*Let* \(u_{M}\) *be the best approximation to* *u* *in the space* \(\mathbb{L}_{M}\) *in the sense of* (12). *Then we have*

*as* \(M \to \infty \).

### Proof

Since \(u_{M}\) is the best approximation belonging to \(\mathbb{L}_{M}\), we obtain

The foregoing inequality is valid in particular for \(v=P\in \mathbb{L}_{M}\). We therefore conclude that

According to Theorem 3.2 with \((M+1)\) nodes, we get

The proof is finished by tending *M* to infinity. □

## 4 The hybrid procedure

The discretization of the BBMB equation (1) with regard to time is already carried out by relation (7). Also, the given boundary conditions (3) are converted to the boundary conditions (8) for the second-order differential equation (7). So the main objective is to treat the initial-boundary value problem (7)–(8) numerically with respect to the space variable *x*. Suppose that the solutions \(\chi _{j+1}(x)\) of (7) at each time level *j* can be written as combinations of the (shifted) Boubaker functions defined by (11). Let assume that \({\mathcal{X}}_{j,M}(x)\) are the computed Boubaker approximations to \(\chi _{j}(x)\) at the time steps \(t_{j}\). To start, we need \(\chi _{0}(x)\), which can be derived from the given initial condition \(w_{0}(x)\). In the next time step \(t_{j+1}\), we look for the approximate solution \({\mathcal{X}}_{j+1,M}(x)\) for \(j=0,1,\ldots,J-1\) as follows:

Here our ultimate goal is to find the unknowns \({\lambda }^{j+1}_{\ell }\) for \(\ell =0,1, \ldots, M\) at time level \(j\geq 0\). For convenience, we set

With the aid of these vectors, the \((M+1)\)-term finite expansion series (13) can be expressed compactly in the matrix form as

After defining the vector of monomials

we further decompose the vector of Boubaker bases as

where the upper-triangular matrix

has the following elements:

where the only nonzero elements on the first and second columns are \(n_{0,0},n_{1,1}=1\). For example, for \(M=6\), we get

We note that determinant of \(\pmb{N}_{M}\) is equal to unity. Ultimately, we requires a set of collocation points on \([x_{L},x_{R}]\) to acquire an approximate solution of the discretized model problem (7) in the form (9). In this respect, we use the zeros of the shifted Chebyshev polynomials on \([x_{L},x_{R}]\) given by

where \(s_{\tau }\) are roots of Chebyshev functions of degree \((M+1)\) on \((-1,1)\). Further, we combine relationships (14) and (15) to express the approximate solution \({\mathcal{X}}_{j+1,M}(x)\) in (13) in a compact form as

Using points of collocation (16) and putting them into (17), we obtain

The next objective would be finding a connection between \(\pmb{V}_{M}(x)\) and its derivatives. We can show that the derivatives of \(\pmb{V}_{M}(x)\) can be stated in terms of differentiation matrix \(\pmb{D}\) as

for \(k=1,2\). Twice differentiation of relation (17) with respect to *x* and using the former relation (19) reveal that

Now it is sufficient to insert the points of collocations (16) into the last formulas to obtain the following matrix expressions for the first and second derivatives in (7):

If we substitute the approximate solution \({\mathcal{X}}_{j+1,M}(x)\) and its two derivatives

into (7), then the resulting equation for \(j=0,1,\ldots,J-1\) is

for \(x\in [x_{L},x_{R}]\). Inserting the collocation points inserted into the foregoing equation followed by writing it in a matrix representation yields

where we have used the coefficient matrices \(\pmb{A}_{j}\ (\pmb{B}_{j} \text{ or } \pmb{C}_{j})\) of size \((M+1)\times (M+1)\) and the vectors \(\pmb{F}_{j}\) of size \((M+1)\times 1\) defined as

Based on the matrix forms derived in relations (18)–(22), we get the fundamental matrix equation

where

To obtain the unknowns \(\lambda _{0}^{j+1}, \lambda _{1}^{j+1}, \ldots, \lambda _{M}^{j+1}\), we may use any linear solver to solve the matrix equation (25) consisting of \(M+1\) linear equations and \(M+1\) unknowns. The incorporation of the boundary conditions (8) into the fundamental matrix equation (25) is still demanding to get a unique solution. By means of representation (15) the boundary conditions \({\mathcal{X}}_{j+1,M}(x_{L})=\chi _{L}^{j+1}\) and \({\mathcal{X}}_{j+1,M}(x_{R})=\chi _{R}^{j+1}\) can be written in the matrix notation:

After the replacements of two rows (first and last rows) of the augmented matrix \([\pmb{Y}_{j}; \pmb{F}_{j}]\) by two row matrices and , we get the linear algebraic system of equations

Ultimately, once the above linear system is solved, we get the unknown Boubaker coefficients in (13) or (17).

## 5 Graphical and experimental results

We performed some numerical experiments to testify the exactness of theoretical findings as well as the practicability and utility of the presented hybrid algorithm for the model problem (1) with initial and boundary conditions (2)–(3). Our calculations were performed utilizing Matlab 2021a on a laptop computer with a 2.2 GHz Intel Core i7 CPU and 16 GB memory.

Additionally, the numerical errors are assessed by defining the (pointwise) absolute errors at time step \(t=t_{j}\) via

The calculation of the \(L_{2}\) and the \(L_{\infty }\) error norms at \(t=T_{f}\) are accomplished through defining

Furthermore, the estimated rates of convergence of \(\mathcal{E}_{\infty }\) and \(\mathcal{E}_{2}\) are calculated as the the number bases and grid size are halved successively. Suppose that \(\mathcal{E}_{\ell }\equiv \mathcal{E}_{\ell }(J,M)\) for \(\ell =2,\infty \). Then the rates of convergence (ROCs) with regard to *x* and *t* are estimated as

### Test Problem 5.1

*We first consider* (1) *using the following coefficients and right*-*hand side* [7]: \(\mu =1, \gamma =1, \sigma =1, \eta =1\),

*The given periodic initial and boundary conditions are*

*The exact analytical solution takes the form*

We first consider \(\Delta t=0.1\) and \(T_{f}=1\). We use (13) with \(M=8\) to obtain the following approximate solutions at the first and last time steps \(t=\Delta t\) and \(t=T_{f}\) for \(0\leq x\leq 1\):

and

The profile of the approximate solution using these parameters are presented in Fig. 1, left. In Fig. 1, right, we further present the achieved absolute errors \(E_{j,M}(x)\) for \(x\in [0,1]\), \(\Delta t=0.1\), and \(T_{f}=1\), evaluated at various time levels

In Tables 1 and 2, some comparisons are done to validate our computational results.

For this purpose, the error norms in the \(L_{\infty }\) evaluated at the final time \(t=T_{f}\) are calculated. In Table 1 the spatial rate of convergence of the proposed hybrid technique for a moderate time step \(\Delta t=0.01\) and some

are reported. In addition, the elapsed CPU time (in seconds) are further presented in Table 1. It should be emphasized that in each case the required times for solving the modified linear system of equations (26) in all time steps are added together. Here we have 100 time steps. Moreover, analogue results obtained by the fourth-order difference method (FODM) [7] using the parameters \(k=10^{-4}\) and different

are tabulated in Table 1. We can clearly see that the performance of the proposed hybrid technique is better than the FODM with less computational efforts and the number of bases.

The second-order accuracy of the present technique with respect to time variable is investigated in Table 2. In this respect, we use a fixed \(M=10\) and various

The related outcomes of the existing FODM [7] are also presented in Table 2 for comparison. Obviously, our method with considerably larger time steps Δ*t* shows its order of accuracy as \(\mathcal{O}(\Delta t^{2})\) in comparison with FODM.

Finally, for this example, we go beyond the unit time interval and consider \(T_{f}=3\pi \). In this case the approximate solutions at time \(t=T_{f}\) is given by

Here we have used \(\Delta t=0.1\) and \(M=10\). The achieved absolute errors \(E_{j,10}(x)\) at all time steps are depicted in Fig. 2.

### Test Problem 5.2

*As the second test problem*, *let us consider* [6, 27, 28] \(\mu =1, \gamma =1, \sigma =1, \eta =1\),

*The initial and boundary conditions are taken for* \(x\in [x_{L},x_{R}]=[0,\pi ]\) *and* \(t\in [0,T_{f}]\) *as*

*The exact solution for this model problem is*

*Let us first consider* \(\Delta t=0.1\), \(T_{f}=1,2,4\), *and* \(T_{f}=10\). *The approximated solutions using* \(M=8\) *obtained at these* \(t=T_{f}\) *are given as follows*:

*and*

*Graphics of the whole approximate solutions on* \((x,t)\in [0,\pi ]\times [0,T_{f}]\) *using various* \(T_{f}=1,2,4,10\) *are presented in Figs*. 3*and* 4. *The maximum absolute errors in all four cases is are than* \(\mathcal{E}_{\infty }=5\times 10^{-5}\). *However*, *to get more accurate results*, *we may use a smaller time step* Δ*t* *or increase the number of bases* *M*. *To show this fact*, *we utilize* \(M=8\) *and set* \(\Delta t=0.01\). *The snapshots of absolute errors at all time steps*

*are visualized in Fig*. 5.

*A comparison of the outcomes obtained by the present Taylor–Boubaker method* (*TBM*) *with the outcomes of some existing approaches are carried out in the next experiments*. *For this purpose*, *we exploit the quartic B*-*spline collocation method* (*QSCM*) [21], *the nonpolynomial spline method* (*NPSM*) [22], and *the improvised cubic B*-*spline collocation method* (*ICSCM*) [23].

*The results using fixed* \(M=15\) *and* \(\Delta t=0.01\), *and diverse values of* \(T_{f}=1,2,4,10\) *are listed in Table *3. *Clearly*, *our approach with less computational efforts is more accurate than the QSCM*/*ICSCM and is comparable with the NPSM*.

*We next fix* \(M=12\) *and vary* Δ*t* *as* \(1/2,1/4,1/8,1/16\). *The estimated order of accuracy in time* (\(\operatorname{ROCt}_{\infty }\)) *is investigated at time* \(T_{f}=10\) *for this Test Problem as well*. *The results of achieved* \(\mathcal{E}_{\infty }\) *error norms*, *together with related* \(\operatorname{ROCt}_{\infty }\), *are shown in Table *4, *where a further comparison with some other available computational methods is done*.

We have used the combined method based on a finite difference procedure and a new class of polynomials (FDCP) [28], the FDM [6], and the method based on Lucas polynomials [27]. Obviously, the presented results confirm that the order of accuracy of two is obtainable for the used time-marching algorithm and with relatively large time steps in comparison with other approaches.

### Test Problem 5.3

*The third test problem is devoted to the following nonhomogeneous model with nonunity coefficients* [27, 28], \(\mu =0.1, \gamma =1, \sigma =0.01, \eta =1\):

*The computational domain is taken as*

*and the initial and boundary conditions are*

*The exact solution of this example is*

We first set \(M=8\) and \(T_{f}=1\) and use \(\Delta t=0.1\) in the computations. The approximate solution at \(t=T_{f}\) on \([x_{L},x_{R}]\) is obtained as

The profiles of the approximate solutions along with related exact solutions at diverse time steps

are shown in Fig. 6, left. The related absolute errors are further shown in Fig. 6, right. In the next experiments, we indicate the second-order convergence of our approach with respect to time discretization. In Table 5, using \(M=10\) and various

we present the achieved \(\mathcal{E}_{\infty }\) and calculate the corresponding \(\operatorname{ROCt}_{\infty }\). Similar results reported by other the existing schemes but with larger number of resources are also presented in Table 5. These approaches are the FDCP [28] with \(N=18\), the Chebyshev–Legendre method (CLM) [26] with \(N=36\), and the method based on Lucas polynomials [27] with \(N=18\). Clearly, the TBM using a few bases, together with relatively large time steps, confirms the order of convergence two.

The spectral accuracy with regard to the achieved \(\mathcal{E}_{2}/\mathcal{E}_{\infty }\) error norms for the space variable is also investigated in Fig. 7. In these results, we have used \(\Delta t=10^{-3}\) and diverse

The corresponding rates of convergence ROCx_{2} and \(\operatorname{ROCx}_{\infty }\) are also visualized in Fig. 7. Finally, for this test problem, let us see the behavior of numerical solution and error norms when \(T_{f}=5\). These results using \(M=12\) are depicted in Fig. 8. Note that in the left plot, we used \(\Delta t=0.05\) whereas for the right plotted absolute errors, we used \(\Delta t=0.005\). Additionally, the approximate solution for \(\Delta t=0.05\) on \(x\in [-1,1]\) at \(t=T_{f}\) is given by

### Test Problem 5.4

*In the last test problem*, *we pay attention to* [24, 25] *with* \(\mu =1, \gamma =1, \sigma =1\), *and* \(\eta =\pm 1\). *For* \(\eta =\pm 1\), *we have the right*-*hand side functions* \(h(x,t)\), *respectively*,

*The model problem* (1) *is solved on*

*The corresponding exact solution is*

*The initial and boundary conditions are obtained from the exact solution for this example*. *We first consider* \(M=7\) *and* \(T_{f}=1\) *and use* \(\Delta t=0.1\) *in the computations*. *The approximate solutions for* \(\eta =\pm 1\) *at* \(t=T_{f}\) *on* \([-1,1]\) *are obtained*, *respectively*, *as*

*and*

*As we can see*, *both approximate solutions are very close to each other*. *We thus only plot the the graphs of* \(\mathcal{X}_{10, 7}^{-}(x)\) *and the related absolute errors for* \(\eta =-1\) *in Fig*. 9.

*Next*, *we examine the behavior of* \(\mathcal{E}_{\infty }\) *error norms when* \(M=8\) *is fixed and* Δ*t* *varies as* \(1/2,1/4,1/8,1/16\). *In addition*, *the final time is taken as* \(T_{f}=1\), *and* \([x_{L},x_{R}]=[0,1]\). *These results for* \(\eta =-1\) *are reported in Table *6. *For comparison*, *the outcomes of the previously existing computational procedures are also displayed in Table *5. *To this end*, *we use the Lie*-*group approach based on radial basis functions* (*LG*-*RBFs*) [25], *the meshless method* [24], *and the Legendre spectral element method* (*LSEM*) [29]. *We can observe from the results shown in Table *6*that our numerical results provide second*-*order accuracy in time while employing a smaller number of bases and time steps compared to other well*-*established numerical procedures in the literature*.

*Similar results for* \(\eta =+1\) *are further reported in Table *7. *However*, *here we have used* \(T_{f}=0.1\), *and the values of* Δ*t* *are* \(1/10,1/20,1/40\) *as used in the results presented in the ICSCM* [23] *and meshless methods* [24] *with parameter* \(h=1/10\). *Clearly*, *the results obtained by the TBM are more accurate in comparison with two other methods*. *The next experiments show further the accuracy of our approach in the framework of results evaluated at time* \(t=T_{f}\), *where* \(T_{f}=5\). *We use* \(\eta =-1\) *and* \(M=8\) *and compare with the methods used in Table *6. *The aforementioned results are shown in Table *8, *which indicate the superiority of our procedure compared to the LG*-*RBFs*, *LSEM*, *and meshless approaches*. *Besides*, *the second*-*order accuracy in time is visible from the given results if Table *8. *For completeness*, *the graphical representations of approximate solutions together with their absolute errors at diverse time instants*

*are visualized in Fig*. 10. * Finally*, *for the last test example*, *we also investigate the spectral accuracy of the numerical solutions for* \(\Delta t=0.001\) *and moderate values of*

*For the simulations*, *we employ both* \(\eta =\pm 1\) *and compute the results at* \(T_{f}=1\) *and the spatial domain* \([-1,1]\). *The results are shown in Table *9.

## 6 Conclusions

We have developed an accurate time numerical solution algorithm (using a large time step) for the generalized BBMB-type equations (1) arising in diverse disciplines of engineering science. The proposed technique is constructed based on a combination of the Boubaker collocation procedure for the spatial variable and the Taylor series formula for the temporal discretization. The main characteristic of the presented work is that we need to solve an algebraic system of equations at each time step rather than solving a global system obtained in the spectral collocation methods developed in the past. The convergence analysis of the hybrid technique is discussed. The numerical results shown in tables and figures justify the second-order accuracy in time and the high-order accuracy in the space of the presented technique in comparison with some existing well-established computational schemes.

## Availability of data and materials

Data sharing not applicable to this paper as no datasets were generated or analyzed during the current study.

## References

Mei, M.: Large-time behavior of solution for generalized Benjamin–Bbona–Mahony–Burgers equations. Nonlinear Anal.

**33**, 699–714 (1998)Benjamin, T.B., Bona, J.L., Mahony, J.J.: Model equations for long waves in nonlinear dispersive systems. Philos. Trans. R. Soc. Lond. A

**272**, 47–78 (1972)Peregrine, D.H.: Calculations of the development of an undular bore. J. Fluid Mech.

**25**, 321–330 (1966)Izadi, M., Yüzbasbi, S., Baleanu, D.: A Taylor–Chebyshev approximation technique to solve the 1D and 2D nonlinear Burgers equations. Math. Sci. (2021). https://doi.org/10.1007/s40096-021-00433-1

Bona, J.L.: Model equations for waves in nonlinear dispersive systems. In: Proc. Int. Congress of Mathematicians, Helsinki, vol. 2, pp. 887–894 (1978)

Omrani, K., Ayadi, M.: Finite difference discretization of the Benjamin–Bbona–Mahony–Burgers equation. Numer. Methods Partial Differ. Equ.

**24**, 239–248 (2008)Bayarassou, K.: Fourth-order accurate difference schemes for solving Benjamin–Bona–Mahony–Burgers (BBMB) equation. Eng. Comput.

**37**, 123–138 (2021). https://doi.org/10.1007/s00366-019-00812-2Etemad, S.T.M.T., Etemad, S., Rezapour, S.: On a coupled Caputo conformable system of pantograph problems. Turk. J. Math.

**45**(1), 496–519 (2020)Mohammadi, H., Kumar, S., Rezapour, S., Etemad, S.: A theoretical study of the Caputo–Fabrizio fractional modeling for hearing loss due to Mumps virus with optimal control. Chaos Solitons Fractals

**144**, Article ID 110668 (2021)Alizadeh, S., Baleanu, D., Rezapour, S.: Analyzing transient response of the parallel RCL circuit by using the Caputo–Fabrizio fractional derivative. Adv. Differ. Equ.

**2020**, Article ID 55 (2020)Samei, M.E., Rezapour, S.: On a system of fractional

*q*-differential inclusions via sum of two multi-term functions on a time scale. Bound. Value Probl.**2020**, Article ID 135 (2020)Samei, M.E., Hedayati, V., Rezapour, S.: Existence results for a fraction hybrid differential inclusion with Caputo–Hadamard type fractional derivative. Adv. Differ. Equ.

**2019**, Article ID 163 (2019). https://doi.org/10.1186/s13662-019-2090-8Abdeljawad, T., Samei, M.E.: Applying quantum calculus for the existence of solution of

*q*-integro-differential equations with three criteria. Discrete Contin. Dyn. Syst., Ser. S**14**(10), 3351–3386 (2021)Balanu, D., Mohammadi, H., Rezapour, S.: Analysis of the model of HIV-1 infection of \(cd4^{+}\)

*t*-cell with a new approach of fractional derivative. Adv. Differ. Equ.**2020**, Article ID 71 (2020)Baleanu, D., Etemad, S., Pourrazi, S., Rezapour, S.: On the new fractional hybrid boundary value problems with three-point integral hybrid conditions. Adv. Differ. Equ.

**2019**, Article ID 473 (2019)Baleanu, D., Hedayati, V., Rezapour, S., Mohamed Al Qurashi, M.: On two fractional differential inclusions. SpringerPlus

**5**(1), 882 (2016)Baleanu, D., Etemad, S., Rezapour, S.: On a fractional hybrid integro-differential equation with mixed hybrid integral boundary value conditions by using three operators. Alex. Eng. J.

**59**(5), 3019–3027 (2020)Raupp, M.A.: Galerkin methods applied to the Benjamin–Bona–Mahony equation. Bol. Soc. Brazil Math.

**6**, 65–77 (1975)Wahlbin, L.: Error estimates for a Galerkin method for a class of model equations for long waves. Numer. Math.

**23**, 289–303 (1975)Izadi, M.: Application of the Newton–Raphson method in a SDFEM for inviscid Burgers equation. Comput. Methods Differ. Equ.

**8**(4), 708–732 (2020)Arora, G., Mittal, R.C., Singh, B.K.: Numerical solution of BBM–Burger equation with quadratic b-spline collocation method. J. Eng. Sci. Technol.

**9**, 104–116 (2014)Kanth, A.R., Deepika, S.: Non-polynomial spline method for one dimensional nonlinear Benjamin–Bona–Mahony–Burgers equation. Int. J. Nonlinear Sci. Numer. Simul.

**18**(3–4), 277–284 (2017)Shallu, V.K.K.: Numerical treatment of Benjamin–Bona–Mahony–Burgers equation with fourth-order improvised b-spline collocation method. J. Ocean Eng. Sci. (2021). https://doi.org/10.1016/j.joes.2021.07.001

Dehghan, M., Abbaszadeh, M., Mohebbi, A.: The numerical solution of nonlinear high dimensional generalized Benjamin–Bona–Mahony–Burgers equation via the meshless method of radial basis functions. Comput. Math. Appl.

**68**, 212–237 (2014)Hajiketabi, M., Abbasbandy, S., Casas, F.: The Lie-group method based on radial basis functions for solving nonlinear high dimensional generalized Benjamin–Bona–Mahony–Burgers equation in arbitrary domains. Appl. Math. Comput.

**321**, 223–243 (2018)Zhao, T., Zhang, X., Huo, J., Su, W., Liu, Y., Wu, Y.: Optimal error estimate of Chebyshev–Legendre spectral method for the generalised Benjamin–Bona–Mahony–Burgers equations. Abstr. Appl. Anal.

**2012**, Article ID 106343 (2012)Oruc, O.: A new algorithm based on Lucas polynomials for approximate solution of 1D and 2D nonlinear generalized Benjamin–Bona–Mahony–Burgers equation. Comput. Math. Appl.

**74**, 3042–3057 (2017)Hajishafieiha, J., Abbasbandy, S.: A new class of polynomial functions for approximate solution of generalized Benjamin–Bona–Mahony–Burgers (gBBMB) equations. Appl. Math. Comput.

**367**, Article ID 124765 (2020)Dehghan, M., Shafieeabyaneh, N., Abbaszadeh, M.: Numerical and theoretical discussions for solving nonlinear generalized Benjamin–Bona–Mahony–Burgers equation based on the Legendre spectral element method. Numer. Methods Partial Differ. Equ.

**37**(1), 360–382 (2021)Yüzbasi, Ş.: A collocation approach for solving two-dimensional second-order linear hyperbolic equations. Appl. Math. Comput.

**338**, 101–114 (2018)Karpinar, Z., Baleanu, D., Inc, M., Almohsen, B.: Some applications of the least squares-residual power series method for fractional generalized long wave equations. J. Ocean Eng. Sci. (2022). https://doi.org/10.1016/j.joes.2021.09.001

Izadi, M., Srivastava, H.M.: An optimized second order numerical scheme applied to the non-linear Fisher’s reaction–diffusion equation. J. Interdiscip. Math.

**25**, 471–492 (2022). https://doi.org/10.1080/09720502.2021.1930662Mishra, S.K., Rajković, P., Samei, M.E., Chakraborty, S.K., Ram, B., Kaabar, M.K.A.: A

*q*-gradient descent algorithm with quasi-Fejér convergence for unconstrained optimization problems. Fractal Fract.**5**(2), 110 (2021). https://doi.org/10.3390/fractalfract5030110Mishra, S.K., Samei, M.E., Chakraborty, S.K., Ram, B.: On

*q*-variant of Dai–Yyuan conjugate gradient algorithm for unconstrained optimization problems. Nonlinear Dyn.**104**, 2471–2496 (2021). https://doi.org/10.1007/s11071-021-06378-3Mishra, S.K., Chakraborty, S.K., Samei, M.E., Ram, B.:

*q*-Polak–Ribière–Polyak conjugate gradient algorithm for unconstrained optimization problems. J. Inequal. Appl.**2021**, Article ID 25 (2021). https://doi.org/10.1186/s13660-021-02554-6Hosseininia, M., Heydari, M.H., Cattani, C.: A wavelet method for nonlinear variable-order time fractional 2D Schrödinger equation. Discrete Contin. Dyn. Syst., Ser. S

**14**(7), 2273–2295 (2021)Mishra, S.K., Panda, G., Chakraborty, S.K., Samei, M.E., Ram, B.: On

*q*-BFGS algorithm for unconstrained optimization problems. Adv. Differ. Equ.**2020**, Article ID 638 (2020). https://doi.org/10.1186/s13662-020-03100-2Lai, K.K., Mishra, S.K., Panda, G., Chakraborty, S.K., Samei, M.E., Ram, B.: A limited memory

*q*-BFGS algorithm for unconstrained optimization problems. J. Appl. Math. Comput.**6663**, 183–202 (2021). https://doi.org/10.1007/s12190-020-01432-6Izadi, M.: A second-order accurate finite-difference scheme for the classical Fisher–Kolmogorov–Petrovsky–Piscounov equation. J. Inf. Optim. Sci.

**42**(2), 431–448 (2021). https://doi.org/10.1186/s13662-020-03100-2Rezazadeh, H., Inc, M., Baleanu, D.: New solitary wave solutions for variants of (\(3+1\))-dimensional Wazwaz–Benjamin–Bona–Mahony equations. Front. Phys. (2020). https://doi.org/10.3389/fphy.2020.00332

Javeed, S., Saif, S., Waheed, A., Baleanu, D.: Exact solutions of fractional mbbm equation and coupled system of fractional Boussinesq–Burgers. Results Phys.

**9**, 1275–1281 (2018)Izadi, M.: Numerical approximation of Hunter–Saxton equation by an efficient accurate approach on long time domains. UPB Sci. Bull., Ser. A

**83**(1), 291–300 (2021)Izadi, M.: A combined approximation method for nonlinear foam drainage equation. Sci. Iran.

**29**(1), 70–78 (2022). https://doi.org/10.24200/sci.2021.56571.4792Izadi, M., Yüzbas, S.: A hybrid approximation scheme for 1-d singularly perturbed parabolic convection–diffusion problems. Math. Commun.

**27**(1), 47–63 (2022). https://doi.org/10.24200/sci.2021.56571.4792Kaabar, M.K.A., Kaplan, M., Siri, Z.: New exact soliton solutions of the \((3+1)\)-dimensional conformable Wazwaz–Benjamin–Bona–Mahony equation via two novel techniques. J. Funct. Spaces (2021). https://doi.org/10.1155/2021/4659905

Matar, M.M., Abbas, M.I., Alzabut, J., Kaabar, M.K.A., Etemad, S., Rezapour, S.: Investigation of the

*p*-Laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv. Differ. Equ.**2021**, Article ID 68 (2021). https://doi.org/10.1186/s13662-021-03228-9Kaabar, M.K.A., Refice, A., Souid, M.S., Martínez, F., Etemad, S., Siri, Z., Rezapour, S.: Existence and UHR stability of solutions to the implicit nonlinear FBVP in the variable order settings. Mathematics

**9**, 1693 (2021). https://doi.org/10.3390/math9141693Matar, M.M., Abbas, M.I., Alzabut, J., Kaabar, M.K.A., Etemad, S., Rezapour, S.: Investigation of the p-Laplacian nonperiodic nonlinear boundary value problem via generalized Caputo fractional derivatives. Adv. Differ. Equ.

**2021**, Article ID 68 (2021)Kaabar, M.K.A., Shabibi, M., Alzabut, J., Etemad, S., Sudsutad, W., Martínez, F., Rezapour, S.: Investigation of the fractional strongly singular thermostat model via fixed point techniques. Mathematics

**9**, 2298 (2021). https://doi.org/10.3390/math9182298Achar, S.J., Baishya, C., Kaabar, M.K.A.: Dynamics of the worm transmission in wireless sensor network in the framework of fractional derivatives. Math. Methods Appl. Sci. (2021). https://doi.org/10.1002/mma.8039

Abu-Shady, M., Kaabar, M.K.A.: A generalized definition of the fractional derivative with applications. Math. Probl. Eng.

**9**, 2298 (2021). https://doi.org/10.3390/math9182298Rezapour, S., Samei, M.E.: On the existence of solutions for a multi-singular point-wise defined fractional

*q*-integro-differential equation. Bound. Value Probl.**2020**, Article ID 38 (2020). https://doi.org/10.1186/s13661-020-01342-3Abdelwahed, M., Chorfi, N.: A posteriori analysis of the spectral element discretization of a non linear heat equation. Adv. Nonlinear Anal.

**10**(1), 477–493 (2021). https://doi.org/10.3390/math9182298Chorfi, N., Abdelwahed, M., Berselli, L.: On the analysis of a geometrically selective turbulence model. Adv. Nonlinear Anal.

**9**(1), 1402–1419 (2020). https://doi.org/10.3390/math9182298Boubaker, K.: On modified boubaker polynomials: some differential and analytical properties of the new polynomial issued from an attempt for solving bi-varied heat equation. Trends Appl. Sci. Res.

**2**, 540–544 (2007)Kim, S.H., Zhang, L., Boubaker, K., Lei, Q.: On zeros of Boubaker polynomials. Bull. Korean Math. Soc.

**51**(2), 547–553 (2014)Parand, K., Yousefi, H., Fotouhifar, M., Delkhosh, M., Hosseinzadeh, M.: Shifted Boubaker Lagrangian approach for solving biological systems. Int. J. Biomath.

**11**(3), Article ID 1850039 (2018)Stewart, G.W.: Afternotes on Numerical Analysis, vol. 49 SIAM, Philadelphia (1996)

## Acknowledgements

Not applicable.

## Funding

Not applicable.

## Author information

### Authors and Affiliations

### Contributions

The authors declare that the study was realized in collaboration with equal responsibility. Both authors read and approved the final manuscript.

### Corresponding author

## Ethics declarations

### Ethics approval and consent to participate

Not applicable.

### Consent for publication

Not applicable.

### Competing interests

The authors declare that they have no competing interests.

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Izadi, M., Samei, M.E. Time accurate solution to Benjamin–Bona–Mahony–Burgers equation via Taylor–Boubaker series scheme.
*Bound Value Probl* **2022**, 17 (2022). https://doi.org/10.1186/s13661-022-01598-x

Received:

Accepted:

Published:

DOI: https://doi.org/10.1186/s13661-022-01598-x