Next Article in Journal
Characteristics and Research Techniques Associated with the Journal Impact Factor and Other Key Metrics in Pharmacology Journals
Previous Article in Journal
Conditional Variational Autoencoder for Learned Image Reconstruction
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

An Invariant-Preserving Scheme for the Viscous Burgers-Poisson System

by
Chayapa Darayon
1,†,
Morrakot Khebchareon
2,† and
Nattapol Ploymaklam
2,*,†
1
Department of Mathematics, Faculty of Education, Dhonburi Rajabhat University, Bangkok 10600, Thailand
2
Department of Mathematics, Faculty of Science, Chiang Mai University, Chiang Mai 50200, Thailand
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Computation 2021, 9(11), 115; https://doi.org/10.3390/computation9110115
Submission received: 27 September 2021 / Revised: 24 October 2021 / Accepted: 28 October 2021 / Published: 30 October 2021

Abstract

:
We formulate and analyze a new finite difference scheme for a shallow water model in the form of viscous Burgers-Poisson system with periodic boundary conditions. The proposed scheme belongs to a family of three-level linearized finite difference methods. It is proved to preserve both momentum and energy in the discrete sense. In addition, we proved that the method converges uniformly and has second order of accuracy in space. The analysis given in this work is the first time a pointwise error estimation is done on a second-order finite difference operator applied to the Burgers-Poisson system. We validate our findings by performing various numerical simulations on both viscous and inviscous problems. These numerical examples show the efficacy of the proposed method and confirm the proven theoretical results.

1. Introduction

The study of water waves has been one of the fascinating subjects in mathematical modeling as one can gain insights into ranges of natural phenomena. One of the earliest well-known water models is the Korteweg-De Vries (KdV) equation [1]. Its dimensionless form is given by
u t + u x x x 6 u u x = 0 ,
where t , x are temporal and spatial variables, respectively. The variable u represents the fluid velocity along the x-axis. The subscripts indicate the partial derivatives. Thanks to its completely integrable solution, the KdV model has been a subject of active research since its discovery. As a water wave model, the KdV equation has some shortcomings, one of which is its incapability to capture the wave-breaking phenomenon. In [2], Whitham proposed a model of the form
t u + u x u = x [ G u ] ,
where G u defines a convolution
[ G u ] ( x ) = R G ( x y ) u ( y ) d y .
For what is now known as the Whitham equation, the convolution kernel G = G W h is given by
G W h ( x ) = 1 2 π R g κ tanh ( κ h 0 ) e i κ x 1 / 2 d y ,
where g is the gravitational constant of acceleration, h 0 is the undisturbed water depth, assuming flat ground, and κ is the wave number. When the ratio g κ is normalized, the kernel G W h can be approximated by
G B P ( x ) = π 4 e π | x | / 2 .
The resulting model is called Burgers-Poisson equations [3]
u t + u u x = ϕ x ,
ϕ x x ϕ = u .
Unlike the KdV equation, the models derived from (2) using the kernels (4) and (5) capture the peaking and breaking of water waves. To understand the behavior of water waves on the shallow flat bottom better, we are interested in numerical approximation of the system (6) and (7) with periodic boundary condition. Not only will this help us gain more insights into the shallow water waves, but also many other natural phenomena with models of similar forms; for instance, the Two-Species-Euler-Poisson system as mentioned in [3]. We also add the viscous term to the Burgers equation in order to cover the one-dimensional version of the Navier-Stokes-Poisson system as mentioned in [4].
Analytic properties of (6) and (7) are first studied in [3] where the traveling solution is founded. Local existence for the smooth solution and global existence for the weak entropy solution are also confirmed. In [5], classification of group invariant solutions for the system (6) and (7) is determined by using the classical Lie method. In [6], another global existence for the entropy solution is studied under some regularity conditions on the initial data. In an alternate approach to study the system (6) and (7), one can also rewrite it into a single-equation form
u t u x x t + u x + u u x = 3 u x u x x + u u x x x ,
which has terms similar to other wave models such as Camassa-Holm equation [7,8], Benjamin-Ono equation [9,10], KdV equation, Rosenua equation [11,12], and the RLW equation [13,14], to name a few.
One of the common properties for these models is invariant-preserving: certain quantities derived from the solution stay constant or do not increase over time. The solution of (6) and (7) possesses two invariants, namely momentum and energy. This raises challenge when solving the model numerically as one needs to maintain the invariant-preserving property while achieving convergence. There have not been many attempts to solve the Burgers-Poisson model or its variations numerically, and only a few of them meet both of the requirements. In [15], the numerical solution of the Burgers-Poisson Equation (8) is studied by using both finite difference and variational iteration methods. The stability and consistency condition is provided, but the invariant-preserving property and convergence analysis are not explored. In [16,17], both exact and approximate explicit solutions of fractional-order Burgers-Poisson equation are founded by using homotopy perturbation method and also the Adomian decomposition method in the latter work. Numerical solutions and exact solutions are compared to show the efficiency of the presented methods, but convergence and stability analysis is not provided. In [4,18], the Local Discontinuous Galerkin (LDG) method is applied to the inviscous problem and the viscous problem, respectively. The analysis on invariant-preserving and convergence is included in these LDG works. However, the LDG method requires solving a large system of unknowns. Multiple steps are involved when employing the scheme and when interpreting the results. We seek a simpler approach that can be easily applied to the model while still satisfying the invariant-preserving and convergence conditions.
Meeting both requirements is not straightforward, but it is even more challenging to provide rigorous proof on analysis part. In this work, we are able to do both by presenting a collection of FDM schemes solving the system (6) and (7) along with analyses on the convergence and invariant preserving. This is the first instance of uniform error analysis on an FDM operator applied to the system. The operator consists of two finite differences using information from three time levels. Since the model is nonlinear, the coefficient matrices need to be redefined at each time step, but the linearization of the method eliminates the need to use iterations to solve for the unknowns in each time step. The θ parameter gives rise to a family of schemes, allowing us to compare their performances. The error analysis using induction technique in [19] is for the Dirichlet problem, whereas the present work is a periodic problem. This poses a challenge as some tools in the Dirichlet problem may not be available in the periodic case. We overcome this difficulty by combining the L 2 and H 1 analysis and choosing appropriate test functions.
To the best of our knowledge, there has not been any FDM work on the viscous Burgers-Poisson system, let alone providing analyses on the invariant-preserving property and convergence. The presented FDM scheme offers an easier alternative to the previous works while still achieving convergence and invariant-preserving properties. The ability to preserve invariant helps retain accuracy after a long time. This claim is based on the numerical evidence in [18] where the numerical solution obtained from the non-preserving method fails to capture the essence of the exact solution in the long run. A similar comparison will be presented in this work. The simplicity of the FDM method and the robustness of the proposed scheme allow a broader range of applications in computational simulations of the models. For instance, various types of initial data can be tested to learn the behavior of the shallow water waves.
The proposed method follows traditional FDM strategies: at a fixed point in the computational domain, each term in the equations is approximated by a divided difference quotient using information from nearby points. An alternate approach is to consider an average value on each sub-domain instead of value on each computational point. To get around the nonlinearity, some linearizing transform may be applied to the problem prior to the numerical step. See, for example, [20] where the Hopf-Cole transform is applied to a high order Burgers equation, then the 2D high order Spectral Volume (SV) is applied to the resulting equation. Stability analysis in SV can be found in [21,22] where Kannan and Wang conduct stability analyses on several viscous formulations for the higher SV method. When higher-order spatial derivative is involved, e.g., the KdV type equations, the high order SV scheme can also be employed. See [23,24] for examples.
The remaining part of this paper is organized as follows. In Section 2, we lay out the background of the study-case problem and discuss some analytic properties of the solution that are essential to the stability and error analyses. In Section 3, we outline basic settings for FDM framework and propose a collection of θ -schemes to approximate the solution of the viscous Burger-Poisson system. In addition, we also prove the invariant properties of the proposed schemes. In Section 4, we present the error analysis to show that the method has second-order accuracy. In Section 5, we test the proposed scheme on various examples of the inviscous and viscous Burgers-Poisson equations to verify the theoretical results. In Section 6, we discuss the numerical results to obtain some insights into the properties of the proposed scheme. Some possible future works are also discussed. Finally, some concluding remarks are made in Section 7.

2. Analytic Property

This work formulates and analyzes a collection of three-level linearized schemes to solve the viscous Burgers-Poisson system
u t + u u x ϕ x = ϵ u x x ,
ϕ x x ϕ = u , ( x , t ) ( a , b ) × ( 0 , T ) ,
with initial condition
u ( x , 0 ) = u 0 ( x ) , x ( a , b ) ,
and periodic boundary conditions
u ( x + L , t ) = u ( x , t ) , ϕ ( x + L , t ) = ϕ ( x , t ) , t > 0 ,
where L = b a .
The nonlinear term u u x in (9) and other models of similar forms pose a challenge for the design of the scheme. In an early attempt to approximate the term u u x , Guo and Sanz-Serna [25] employ a sum of two finite differences to approximate the term in the KdV equation. Following this idea, there have been several attempts to approximate the term u u x by splitting it into a sum of products of derivatives of u. Each term in the sum is then approximated by using implicit central difference with or without some average values. In the early years, two layers of numerical solution from consecutive time steps are involved in the schemes. See [26,27,28,29,30] for examples. It is also common to use three layers of numerical solutions. Having information from three consecutive time steps in the schemes helps eliminate the needs to solve nonlinear systems of unknowns in each time step. See [31,32,33] for examples. In [34], the authors use the term Rosenua-KdV-RLW to refer to all three equations and apply a convex average value of two implicit finite differences to approximate the nonlinear term. This gives a collection of second-order θ -schemes proven to preserve invariant when θ = 1 / 3 . We adapt their idea to the present problem. In the more recent works, Sun, Wang, and Zhang apply second-order [35] and fourth-order [19] operators to the viscous Burgers’ equation with zero boundary and obtain point-wise convergence analysis. We adapt their technique in the analysis, but some adjustments are needed because of the different types of boundary conditions.
Before we continue to present the scheme, we show that the solution of (9) and (10) with conditions (11) and (12) preserves the momentum and energy.
Theorem 1. 
Let u be a solution of (9)–(12). Define
Q ( t ) = a b u ( x , t ) d x .
If u 0 L 2 ( a , b ) , then
Q ( t ) = Q ( 0 ) ,
for all t > 0 .
Proof. 
From (9), we have u t = u u x + ϕ x + ϵ u x x . Therefore,
d d t Q ( t ) = a b u t ( x , t ) d x = a b u ( x , t ) u x ( x , t ) + ϕ x ( x , t ) + ϵ u x x ( x , t ) d x = 1 2 u 2 ( x , t ) + ϕ ( x , t ) + ϵ u x ( x , t ) a b = 0 ,
because of the periodic boundary condition (12). Therefore, the function Q ( t ) does not change over time. That is,
Q ( t ) = Q ( 0 ) ,
for all t > 0 . □
Theorem 2. 
Let u be a solution of (9)–(12). Define
E ( t ) = a b u 2 ( x , t ) d x .
If u 0 L 2 ( a , b ) , then
E ( t ) E ( 0 ) ,
for all t > 0 . The inequality becomes equality when ϵ = 0 .
Proof. 
Upon differentiating E, we obtain
1 2 d d t E ( t ) = a b u ( x , t ) u t ( x , t ) d x = a b u 2 ( x , t ) u x ( x , t ) + u ( x , t ) ϕ x ( x , t ) + ϵ u ( x , t ) u x x ( x , t ) d x .
For the second term, a use of (10) after taking inner product with ϕ x implies
1 2 d d t E ( t ) = a b u 2 ( x , t ) u x ( x , t ) + ϕ x x ( x , t ) ϕ x ( x , t ) ϕ ( x , t ) ϕ x ( x , t ) + ϵ u ( x , t ) u x x ( x , t ) d x = 1 6 u 3 ( x , t ) + 1 2 ϕ x 2 ( x , t ) 1 2 ϕ 2 ( x , t ) a b + a b ϵ u ( x , t ) u x x ( x , t ) d x = a b ϵ u x 2 ( x , t ) d x 0 .
Therefore, the function E ( t ) does not increase over time, that is,
E ( t ) E ( 0 ) ,
for all t > 0 . If ϵ = 0 , then the proof above shows that E ( 0 ) = 0 which gives E ( t ) = E ( 0 ) . This completes the proof. □

3. Finite Difference Method

3.1. Discretization

We discretize the spatial domain [ a , b ] into the partition x i = a + i h , i = 0 , , M for the step size h = ( b a ) / M . For a time step τ = T / N , we define t n = n τ for n = 0 , , N . Let u i n be an approximation of u ( x i , t n ) . The numerical solution u n = [ u 1 n , , u M n ] at the time t n is taken from the solution space Z h defined as
Z h : = { u Z h u j = u M + j , j = 0 , , M 1 } ,
where Z h is the set of discrete functions defined by
Z h : = { u = [ u 1 , , u M ] } .
For any u , v Z h , we define an inner product:
u , v h = h i = 1 M u i v i
which allows us to define the discrete L 2 norm
u h 2 = u , u h .
We also define the discrete uniform norm
u h , = max i = 1 , , M | u i | ,
for later use in the analysis.
With the set up above, we define finite difference methods for approximating some partial derivatives and some averages of u at ( x i , t n ) as follows:
D τ + u i n = u i n + 1 u i n τ , D τ 0 u i n = u i n + 1 u i n 1 2 τ , u i n + 1 / 2 = u i n + 1 + u i n 2 , u ¯ i n = u i n + 1 + u i n 1 2 , D h + u i n = u i + 1 n u i n h , D h 0 u i n = u i + 1 n u i 1 n 2 h , D h u i n = u i n u i 1 n h .
Note that we can apply these operators to a vector in Z h by acting on each element of the vector.
Using the boundary conditions in the definition of Z h and summation by parts, one can easily prove the following results.
Lemma 1. 
Let u , v Z h . The following relations hold.
D h + u , v h = u , D h v h
D h 0 u , D h 0 u h D h + u , D h + u h
D h 0 u h , D h + u h , .

3.2. Formulation of the FDM

First, we define
Ψ θ ( u , v ) i = 2 θ u i D h 0 v i + ( 1 θ ) D h 0 u v i ,
for any u , v Z h . Using the finite difference framework above, we propose a family of implicit three-level finite difference schemes for solving the Burgers-Poisson system (9)–(10) with conditions (11) and (12) as following: for θ [ 0 , 1 ] , find u , ϕ Z h satisfying
D τ + u i 0 + 1 2 Ψ θ ( u 0 , u 1 / 2 ) i D h 0 ϕ i 0 = ϵ D h + D h u i 1 / 2
D h + D h ϕ i 0 ϕ i 0 = u i 1 / 2
u i 0 = u 0 ( x i ) ,
for i = 1 , , M , and
D τ 0 u i n + 1 2 Ψ θ ( u n , u ¯ n ) i D h 0 ϕ i n = ϵ D h + D h u ¯ i n ,
D h + D h ϕ i n ϕ i n = u ¯ i n ,
for i = 1 , , M , n = 1 , , N 1 .
For the implementation of the three-level scheme, the first two initial steps of the solutions are required. Thus, we use (19)–(21) to compute u 1 . Then, we use (22) and (23) to compute u n , for n = 2 , 3 , , N . Given u n in each step, we use (20) or (23) to solve for ϕ n first. Then, we use ϕ n and u n to solve for u n + 1 using (19) or (22).
In the initial step, the system (20), with i = 1 , , M , can be written in a matrix-vector form
X h ϕ 0 = u 1 / 2 , for i = 1 , , M .
where X h is a circulant tridiagonal matrix with ( 1 / h 2 , 2 / h 2 1 , 1 / h 2 ) on the diagonal positions. It can be shown that X h is strictly diagonally dominant, thus its inverse exists. This allows us to write the system (19), i = 1 , , M , as a matrix-vector form
u 1 + τ θ 4 h A 0 u 1 + τ ( 1 θ ) 8 h B 0 u 1 ( τ Y h ) 1 2 X h 1 u 1 τ ϵ 2 Z h u 1 = u 0 τ θ 4 h A 0 u 0 τ ( 1 θ ) 8 h B 0 u 0 + ( τ Y h ) 1 2 X h 1 u 0 + τ ϵ 2 Z h u 0 .
For n = 1 , 2 , , N 1 , the system (22), i = 1 , , M , can be written as
u n + 1 + τ θ 2 h A n u n + 1 + τ ( 1 θ ) 4 h B n u n + 1 ( 2 τ Y h ) 1 2 X h 1 u n + 1 τ ϵ Z h u n + 1 = u n 1 τ θ 2 h A n u n 1 τ ( 1 θ ) 4 h B n u n 1 + ( 2 τ Y h ) 1 2 X h 1 u n 1 + τ ϵ Z h u n 1 .
Here, the coefficients A n , B n , Y h , and Z h are circulant tridiagonal matrices whose nonzero entries on the ith row are given by ( u i n , 0 , u i n ) , ( u i 1 n , 0 , u i + 1 n ) , ( 1 / 2 h , 0 , 1 / 2 h ) , and ( 1 / h 2 , 2 , 1 / h 2 ) , respectively.

3.3. Stability Analysis

Let u i n be a numerical solution of (9) and (10) obtained from the proposed schemes (19)–(23). We prove that it preserves the invariants in the discrete sense.
Theorem 3. 
Define
Q h n = h i = 1 M u i n + 1 / 2 + θ τ 2 h i = 1 M u i n D h 0 u i n + 1 .
If u n is a solution of (19)–(23), then
Q h n = Q h n 1 = = Q h 0 = h i = 1 M u i 0 + θ τ 4 h i = 1 M u i 0 D h 0 u i 1 ,
for any θ [ 0 , 1 ] .
Proof. 
Multiply (22) by τ h and take summation on i = 1 , , M to arrive at
1 2 h i = 1 M u i n + 1 u i n 1 + θ τ h i = 1 M u i n D h 0 u ¯ i n + ( 1 θ ) 2 τ h i = 1 M D h 0 u i n u ¯ i n τ h i = 1 M D h 0 ϕ i n = ϵ τ h i = 1 M D h + D h u ¯ i n .
Since all terms other than the first two vanish, we obtain
1 2 h i = 1 M u i n + 1 u i n 1 + θ τ h i = 1 M u i n D h 0 u ¯ i n = 0 ,
and hence,
1 2 h i = 1 M u i n + 1 u i n 1 + θ τ 2 h i = 1 M u i n u i + 1 n + 1 u i n u i + 1 n + 1 + u i n u i 1 n 1 u i n u i 1 n 1 = 0 .
After rewriting,
1 2 h i = 1 M u i n + 1 u i n 1 + θ τ 2 h i = 1 M u i n u i + 1 n + 1 u i n u i + 1 n + 1 + u i 1 n u i n 1 u i + 1 n u i n 1 = 0 ,
and thus,
1 2 h i = 1 M u i n + 1 u i n 1 + θ τ 2 h i = 1 M u i n D h 0 u i n + 1 u i n 1 D h 0 u i n = 0 .
This shows that Q h n Q h n 1 = 0 , for n = 1 , , N 1 . Similarly, multiply (19) by τ h and take summation over i to obtain
h i = 1 M u i 1 = h i = 1 M u i 0 θ τ 2 h i = 1 M u i 0 D h 0 u i 1 = 0 .
Substitute this into Q h 0 to find that
Q h 0 = h i = 1 M u i 0 + θ τ 4 h i = 1 M u i 0 D h 0 u i 1 ,
as needed. □
Theorem 4. 
Define
E h n = 1 2 u n + 1 h 2 + 1 2 u n h 2 .
Let u n be a solution of (19) and (23). If θ = 1 3 , then
E h n + 2 τ ϵ k = 1 n D h + u ¯ k h 2 + τ ϵ D h + u 1 / 2 h 2 = u 0 h 2 ,
for any n > 0 .
Proof. 
First, consider the summation
h i = 1 M u i n D h 0 u ¯ i n u ¯ i n + D h 0 u i n u ¯ i n u ¯ i n = h i = 1 M u i n u ¯ i + 1 n u ¯ i n u i n u ¯ i 1 n u ¯ i n + u i + 1 n u ¯ i + 1 n u ¯ i n u i 1 n u ¯ i 1 n u ¯ i n = h i = 1 M u i n u ¯ i + 1 n u ¯ i n u i 1 n u ¯ i 1 n u ¯ i n + h i = 1 M u i n u ¯ i 1 n u ¯ i n + u i + 1 n u ¯ i + 1 n u ¯ i n = 0 .
Using (31), we multiply (22) by 2 τ h u ¯ i n and take summation over i to obtain
1 2 h i = 1 M u i n + 1 2 u i n 1 2 + τ ( 3 θ 1 ) h i = 1 M D h 0 u i n u ¯ i n u ¯ i n 2 τ h i = 1 M D h 0 ϕ i n u ¯ i n + 2 ϵ τ h i = 1 M D h + u i n 2 = 0 .
Next, we multiply (23) by h D h 0 ϕ i n and take the summation over i. Together with Lemma 1, this yields
h i = 1 M u ¯ i n D h 0 ϕ i n = h i = 1 M D h + D h ϕ i n D h 0 ϕ i n h i = 1 M ϕ i n D h 0 ϕ i n = D h + D h ϕ n , D h 0 ϕ n h ϕ n , D h 0 ϕ n h = 0 .
By taking θ = 1 3 , from (32) and (33), we arrive at
1 2 h i = 1 M u i n + 1 2 u i n 1 2 + 2 ϵ τ h i = 1 M D h + u ¯ i n 2 = 0 .
This shows that
E h n E h n 1 + 2 ϵ τ h i = 1 M D h + u ¯ i n 2 = 0 ,
for n = 1 , , N 1 .
Using similar idea, one can show from (19)–(21) that
u 1 h 2 u 0 h 2 + ϵ τ h i = 1 M D h + u i 1 / 2 2 = 0 .
Substitute this into the definition of E h 0 to derive the desired result. □
Remark 1. 
As a consequence of Theorem 4, we obtain
u n h 2 u n 1 h 2 u 0 h 2 .
This, in turns, guarantees the existence and uniqueness of the solution of the schemes (19)–(23).

4. Convergence Analysis

In this section, we study the error analysis of the numerical solution obtained from the proposed scheme. The following results are necessary for the error estimation.
Lemma 2 
(Discrete Sobolev’s inequality [36]). If u n Z h , then there exists a constant α, depending only on L, such that
u n h , α u n h + D h + u n h .
Let v i n and φ i n be the exact solutions at the point ( x i , t n ) . Define e i n = v i n u i n and ε i n = φ i n ϕ i n . From (19)–(21), we have that the truncation errors at the time step t 0 , denoted T 0 and R 0 , satisfy
D τ + e i 0 + 1 2 Ψ θ ( v 0 , v 1 / 2 ) i Ψ θ ( u 0 , u 1 / 2 ) i D h 0 ε i 0 = ϵ D h + D h e i 1 / 2 + T i 0 ,
D h + D h ε i 0 ε i 0 = e i 1 / 2 + R i 0 .
Using Taylor series expansion, one can show there exists c 1 such that
| T i 0 | c 1 ( τ + h 2 ) , and | R i 0 | c 1 h 2 .
On the other hand, we have from (22) and (23) that the truncation errors at the time step t n , n 1 , denoted T n and R n , satisfy
D τ 0 e i n + 1 2 Ψ θ ( v n , v ¯ n ) i Ψ θ ( u n , u ¯ n ) i D h 0 ε i n = ϵ D h + D h e ¯ i n + T i n ,
D h + D h ε i n ε i n = e ¯ i n + R i n .
Using Taylor series expansion, one can show there exists c 2 such that
| T i n | c 2 ( τ 2 + h 2 ) , and | R i n | c 2 h 2 .
The next theorem establishes a relation between the errors e i n and ε i n .
Theorem 5. 
Let e i n and ε i n be solutions of (37)–(40). The following inequalities hold for n = 0 , 1 , , N .
ε n h e ζ h + R n h
D h + ε n h e ζ h + R n h
Here, e ζ = e 1 / 2 when n = 0 . Otherwise, e ζ = e ¯ n .
Proof. 
We have from (38) and (40) that
X h ε n = e ζ + R n .
Since the matrix X h has eigenvalues of the form λ i = 1 + ( 2 / h ) ( 1 cos ( i π M + 1 ) ) , i = 1 , 2 , , M , we have X h 1 h 1 . Therefore,
ε n h X h 1 h e ζ + R n h e ζ h + R n h ,
which proves (41). Using Lemma (1), we have from (38) and (40) that
D h + ε n h 2 = D h + ε n , D h + ε n h = D h + D h ε n , ε n h = ε n + e ζ + R n , ε n h e ζ , ε n h R n , ε n h e ζ h + R n h ε n h .
By (41), we get
D h + ε n h 2 e ζ h + R n h 2
which proves (42) as needed. □
Theorem 6. 
Define
c 3 = max x [ a , b ] , t [ 0 , T ] { | v ( x , t ) | , | v x ( x , t ) | } ,
c 4 = c 3 ϵ θ 4 + c 3 ϵ ( 1 θ ) 8 + c 3 2 ( 1 θ ) 2 4 + max c 3 2 θ 2 2 , 3 ϵ + 1 2 + c 3 ϵ ( 1 θ ) 4 ,
c 5 = 2 ( ϵ + 8 ) c 2 , c 6 = c 3 ϵ ( 1 θ ) 4 + 2 c 3 2 ( 1 θ ) 2 + 1 2 max A 1 , A 2 w h e r e
A 1 = c 3 ϵ θ + 8 c 3 2 θ 2 + 8 θ 2 + 8 ( 1 θ ) 2
A 2 = 3 ϵ + 4 + ϵ ( 1 θ ) + ( 1 θ ) 2 ,
c 7 = c 1 ( 2 ϵ + 6 ) , c 8 = 2 α 2 c 5 ϵ exp 4 c 6 T ϵ .
If ( τ 3 / 2 + h 2 ) min 1 2 α ϵ c 5 , 1 c 8 and τ min 1 , ϵ 2 c 4 , ϵ 4 c 6 , then the solution u n of the scheme (19)–(23) converges in the sense
e n h , C 8 ( τ 3 / 2 + h 2 ) .
Proof. 
Since e 0 = 0 , we have
Ψ θ ( v 0 , v 1 / 2 ) Ψ θ ( u 0 , u 1 / 2 ) = Ψ θ ( v 0 , e 1 / 2 ) + Ψ θ ( e 0 , v 1 / 2 ) Ψ θ ( e 0 , e 1 / 2 ) = Ψ θ ( v 0 , e 1 / 2 ) .
Thus, the error Equation (37) is reduced to
e i 1 τ + 1 4 Ψ θ ( v 0 , e 1 ) i D h 0 ε i 0 = ϵ 2 D h + D h e i 1 + T i 0 .
Take the inner product of the system (43) where i = 1 , , M with ϵ e 1 + 2 τ e 1 to get
e 1 τ , ϵ e 1 + 2 τ e 1 h ϵ 2 D h + D h e 1 , ϵ e 1 + 2 τ e 1 h = T 0 , ϵ e 1 + 2 τ e 1 h + D h 0 ε 0 , ϵ e 1 + 2 τ e 1 h 1 4 Ψ θ ( v 0 , e 1 ) , ϵ e 1 + 2 τ e 1 h .
The left-hand side of (44) can be simplified into
ϵ τ e 1 h 2 + 2 1 τ e 1 h 2 + ϵ τ D h + e 1 h 2 + ϵ 2 2 D h + e 1 h 2 .
Using Lemma 1, Theorem 5, and Cauchy–Schwarz inequality, the first two terms on the right-hand side of (44) yield
T 0 , ϵ e 1 + 2 τ e 1 h + D h 0 ε 0 , ϵ e 1 + 2 τ e 1 h ϵ T 0 h e 1 h + 2 T 0 h 1 τ e 1 h + ϵ 1 2 e 1 h + R 0 h e 1 h + 2 1 2 e 1 h + R 0 h 1 τ e 1 h ϵ 2 T 0 h 2 + ϵ 2 e 1 h 2 + 4 T 0 h + 1 4 1 τ e 1 h + ϵ e 1 h 2 + ϵ 2 R 0 h 2 + 1 2 e 1 h 2 + 1 2 1 τ e 1 h 2 + 4 R 0 h 2 + 1 4 1 τ e 1 h 2 = 3 ϵ 2 + 1 2 e 1 h 2 + 1 τ e 1 h 2 + ϵ 2 + 4 T 0 h 2 + R 0 h 2 .
As for the last term in (44), note that
D h 0 ( u v ) i = 1 2 u i + 1 D h + v i + ( D h 0 u i ) v i + 1 2 u i 1 D h + v i 1 .
Therefore, using Lemma 1, we arrive at
1 4 Ψ θ ( v 0 , e 1 ) , ϵ e 1 + 2 τ e 1 h = θ 2 h i = 1 M v i 0 D h 0 e i 1 ( ϵ e i 1 + 2 τ e i 1 ) 1 θ 4 h i = 1 M 1 2 v i + 1 0 D h + e i 1 + ( D h 0 v i 0 ) e i 1 + 1 2 v i 1 0 D h + e i 1 1 ( ϵ e i 1 + 2 τ e i 1 ) c 3 θ 2 D h + e 1 h + c 3 ( 1 θ ) 4 D h + e 1 h + e 1 h ϵ e 1 h + 2 1 τ e 1 h c 3 ϵ θ 4 + 1 2 c 3 2 θ 2 + c 3 ϵ ( 1 θ ) 8 + c 3 2 ( 1 θ ) 2 4 D h + e 1 h 2 + c 3 ϵ θ 4 + 3 c 3 ϵ ( 1 θ ) 8 + c 3 2 ( 1 θ ) 2 4 e 1 h 2 + 1 2 1 τ e 1 h 2 .
Substituting (45), (46), and (48) into (44), we obtain
ϵ τ ( e 1 h 2 + D h + e 1 h 2 ) c 4 ( e 1 h 2 + D h + e 1 h 2 ) + c 5 2 ( τ + h 2 ) 2 1 c 4 ϵ τ ( e 1 h 2 + D h + e 1 h 2 ) c 5 2 ϵ τ ( τ + h 2 ) 2 .
For c 4 ϵ τ 1 2 , we have
e 1 h 2 + D h + e 1 h 2 c 5 ϵ τ ( τ + h 2 ) 2 .
From this, we get
e 1 ϵ c 5 ( τ 3 / 2 + h 2 ) a n d D h + e 1 ϵ c 5 ( τ 3 / 2 + h 2 ) ,
if τ < 1 . From the hypothesis of the theorem, we have e 1 h + D h + e 1 h 1 α . This shows that e 1 h , 1 . For the time step t n , n > 0 , we use induction on n and proceed in a similar manner. Assume
e k h + D h + e k h 1 α ,
that is, e k h , 1 , for k = 0 , 1 , , n . We shall show that (51) holds for k = n + 1 . First, we take inner product of (39), where i = 1 , , M , with 2 ϵ e ¯ n + 2 D τ 0 e n to get
D τ 0 e n , 2 ϵ e ¯ n + 2 D τ 0 e n h 2 ϵ D h + D h e ¯ n , ϵ e ¯ n + D τ 0 e n h = 2 T n , ϵ e ¯ n + D τ 0 e n h + 2 D h 0 ε n , ϵ e ¯ n + D τ 0 e n h Ψ θ ( v n , v ¯ n ) Ψ θ ( u n , u ¯ n ) , ϵ e ¯ n + D τ 0 e n h .
The left-hand side of (52) can be simplified into
ϵ 2 τ e n + 1 h 2 e n 1 h 2 + 2 D τ 0 e n h 2 + ϵ 2 τ D h + e n + 1 h 2 D h + e n 1 h 2 + 2 ϵ 2 e ¯ n h 2 .
Using Lemma 1 and Theorem 5, the first two terms on the right-hand side of (52) satisfy
2 T n , ϵ e ¯ n + D τ 0 e n h 2 ϵ T n h e ¯ n h + 2 T n h D τ 0 e n h ( ϵ + 2 ) T n h 2 + ϵ e ¯ n h 2 + 1 2 D τ 0 e n h 2
2 D h 0 ε n , ϵ e ¯ n + D τ 0 e n h 2 D h + ε n h ϵ e ¯ n h + D τ 0 e n h 2 e ¯ n h + R n h ϵ e ¯ n h + D τ 0 e n h 3 ϵ + 4 e ¯ n h 2 + ( ϵ + 4 ) R n h 2 + 1 2 D τ 0 e n h 2 .
As for the last term in (52), note that
Ψ θ ( v n , v ¯ n ) Ψ θ ( u n , u ¯ n ) = Ψ θ ( v n , e ¯ n ) + Ψ θ ( e n , v ¯ n ) Ψ θ ( e n , e ¯ n ) .
Using (47) and Lemma 1, we have
Ψ θ ( v n , e ¯ n ) , ϵ e ¯ n + D τ 0 e n h = 2 θ h i = 1 M v i n D h 0 e ¯ i n ( ϵ e ¯ i n + D τ 0 e i n ) ( 1 θ ) h i = 1 M 1 2 v i + 1 n D h + e ¯ i n + ( D h 0 v i n ) e ¯ i n + 1 2 v i 1 n D h + e ¯ i 1 n ( ϵ e ¯ i n + D τ 0 e i n ) 2 c 3 θ D h + e ¯ n h + c 3 ( 1 θ ) D h + e ¯ n h + e ¯ n h ϵ e ¯ n h + D τ 0 e n h c 3 ϵ θ + 8 c 3 2 θ 2 + c 3 ϵ ( 1 θ ) 2 + 4 c 3 2 ( 1 θ ) 2 D h + e ¯ n h 2 + c 3 ϵ θ + 3 c 3 ϵ ( 1 θ ) 2 + 4 c 3 2 ( 1 θ ) 2 e ¯ n h 2 + 1 4 D τ 0 e n h 2 .
Similarly, we have
Ψ θ ( e n , v ¯ n ) , ϵ e ¯ n + D τ 0 e n h c 3 ϵ θ + c 3 ϵ ( 1 θ ) e ¯ n h 2 + c 3 ϵ ( 1 θ ) 2 + 4 c 3 2 ( 1 θ ) 2 D h + e n h 2 + c 3 ϵ θ + 8 c 3 2 θ 2 + c 3 ϵ ( 1 θ ) 2 + 4 c 3 2 ( 1 θ ) 2 e n h 2 + 1 4 D τ 0 e n h 2 .
Using (47), (51), and Lemma 1, we find that
Ψ θ ( e n , e ¯ n ) , ϵ e ¯ n + D τ 0 e n h = 2 θ h i = 1 M e i n D h 0 e ¯ i n ( ϵ e ¯ i n + D τ 0 e i n ) + ( 1 θ ) h i = 1 M 1 2 e i + 1 n D h + e ¯ i n + ( D h 0 e i n ) e ¯ i n + 1 2 e i 1 n D h + e ¯ i 1 n ( ϵ e ¯ i n + D τ 0 e i n ) 2 θ D h + e ¯ n h ϵ e ¯ n h + D τ 0 e n h + ( 1 θ ) D h + e ¯ n h ϵ e ¯ n h + D τ 0 e n h + ( 1 θ ) α e ¯ n h + D h + e ¯ n h 1 α ϵ e ¯ n h + D τ 0 e n h .
Rewriting the above terms to arrive at
Ψ θ ( e n , e ¯ n ) , ϵ e ¯ n + D τ 0 e n h ϵ θ + 8 θ 2 + ϵ ( 1 θ ) + 8 ( 1 θ ) 2 D h + e ¯ n h 2 + ϵ θ + 2 ϵ ( 1 θ ) + ( 1 θ ) 2 e ¯ n h 2 + 1 2 D τ 0 e n h 2 .
Substituting (53)–(58) into (52), we obtain
ϵ 2 τ e n + 1 h 2 e n 1 h 2 + ϵ 2 τ D h + e n + 1 h 2 + D h + e n 1 h 2 c 6 e n + 1 h 2 + 2 e n h 2 + e n 1 h 2 + c 6 D h + e n + 1 h 2 + 2 D h + e n h 2 + D h + e n 1 h 2 + c 7 ( τ 2 + h 2 ) 2 .
Define
S n = ( e n h 2 + D h + e n h 2 ) + ( e n + 1 h 2 + D h + e n + 1 h 2 ) .
One can show that (59) leads to
ϵ 2 τ ( S n S n 1 ) c 6 ( S n + S n 1 ) + c 7 ( τ 2 + h 2 ) 2 1 2 c 6 ϵ τ S n 1 + 2 c 6 ϵ τ S n 1 + 2 c 7 ϵ τ ( τ 2 + h 2 ) 2 .
For 2 c 6 ϵ τ 1 2 , we arrive at
S n 1 + 4 c 6 ϵ τ S n 1 + 4 c 7 ϵ τ ( τ 2 + h 2 ) 2 .
A use of discrete Grönwall inequality shows
S n exp 4 c 6 ϵ n τ S 0 + 4 c 7 ϵ n τ ( τ 2 + h 2 ) 2 exp 4 c 6 T ϵ S 0 + 4 c 7 T ϵ ( τ 2 + h 2 ) 2 .
Take the value of S 0 from (50), we derive
S n exp 4 c 6 T ϵ 2 c 5 ϵ ( τ 3 / 2 + h 2 ) 2 + 4 c 7 T ϵ ( τ 2 + h 2 ) 2 c 8 2 ( 2 α ) 2 ( τ 3 / 2 + h 2 ) 2 .
We have from (62) that
e n + 1 h c 8 2 α ( τ 3 / 2 + h 2 ) and D h + e n + 1 h c 8 2 α ( τ 3 / 2 + h 2 ) .
Using Lemma 2, we get e n + 1 h , c 8 ( τ 3 / 2 + h 2 ) as needed. □
Remark 2. 
1. 
We are losing 1 / 2 power in τ because of the initial approximation step. However, using a predictor–corrector method, one may obtain O ( τ 2 ) in time.
2. 
As a consequence, we obtain the estimates e h and e h , .

5. Numerical Results

In this section, we verified the invariant conservation property and order of convergence through various numerical test problems. We tested the proposed scheme on the inviscous problem using exact solutions found in [3]. As for the viscous problem ( ϵ 0 ) , the test problem was taken from [4].
In Theorem 4, the optimal value of θ is 1 / 3 . The simulations using θ = 1 / 3 was conducted against other values of θ to compare their performances. The errors were measured by the discrete Euclidean norm · h and the discrete uniform norm · h , defined in (13) and (14), respectively. The order of accuracy r with respect to the norm · was computed using the formula
r = log 2 e 1 e 2
where e 1 is the errors at nodal points resulting from the step size twice larger than that of e 2 .

5.1. Accuracy Test for the Inviscous Problem

The simulation was conducted on the steady solution, which is periodic on the interval [ p , p ] , with initial data
u 0 ( x ) = 4 3 cosh ( x / 2 ) cosh ( p / 2 ) 1 .
Using domain p = 2 , final time T = 1 , and τ = h , we obtained an optimal order of convergence as shown in Table 1 and Table 2. The performances for each value of θ are shown in Figure 1 and Figure 2. We see from Figure 1 that all the errors are vanishing for any value of θ . However, as shown in Figure 2, the quantity u n h is stable only when θ = 1 / 3 .

5.2. Accuracy Test for the Viscous Problem

For the case ϵ 0 , we used the non-homogeneous example with ϕ ( x , t ) = sech ( x t ) provided in [4]. The simulation was conducted on the domain [ 20 , 20 ] with the final time T = 1 and τ = h . The errors and orders of accuracy are given in Table 3 and Table 4. Note that the optimal order of convergence can be achieved for the viscous problem as well. In Figure 3, all errors are vanishing for any value of θ .
From the results in Section 5.1 and Section 5.2, we see that the scheme converges uniformly for any value of θ . However, we see in Figure 2 that the quantity u n h is preserved only when θ = 1 / 3 . This agrees with the result from Theorem 4. In the subsequent experiment, we show that the scheme also performs better in a long-time simulation when θ = 1 / 3 .

5.3. Invariant-Preserving Test

To see how well the scheme performs on a long-time simulation, we tested it on the exact solution with cusp:
u ( x , t ) = 4 3 e | x | / 2 1 ,
and observed how the sharp profile changed over time. The simulation was done using M = 640 on the domain [ 20 , 20 ] with time step Δ t = 10 4 . In Figure 4, we see that when θ = 1 / 3 the scheme preserves the shape of numerical solution, but when we used θ = 0 , the numerical solution becomes unstable as time increases. This shows that the invariant-preserving method performs better in the long run.

5.4. Asymptotic Test

We tested the invariant-preserving scheme ( θ = 1 / 3 ) on the initial data
u 0 ( x ) = 0.5 , 0 x 1 , x + 1.5 , 1 x 4 , 2.5 , x 4 .
The solution is expected to converge to a stationary solution. In Figure 5, we observe a stable pattern formation as analyzed in [3]. Here, we used h = 1 / 16 .

6. Discussion

Results from Section 5 verified that the numerical solutions converge to the exact solutions with second order of accuracy with respect to the spatial variable. The convergence can be inferred from the error plots in Figure 1 and Figure 3 while the rate of convergence can be inferred from the numeric evidence in Table 1, Table 2, Table 3 and Table 4. Note that the second-order convergence occurs at any value of θ . However, Figure 2 shows that the invariant is preserved only when θ = 1 / 3 . This behavior agrees with the results we proved in Section 3. The comparison in Section 5.3 confirmed that the invariant-preserving scheme performs better in the long run. This hints that the invariant-preserving property, if any, should be taken into account when one wants to design a numerical method.
The experiment on the asymptotic problem in Section 5.4 ensured that the proposed scheme is robust and can be applied to a broader range of problems. Possible applications include but are not limited to adaption to other types of boundary conditions, changing to various types of initial data, and adding some extra terms to the equation. All of these possibilities allow us to simulate wider ranges of natural phenomena. On the other hand, one can improve the accuracy of presented. In [19], a fourth-order operator is applied to a viscous Burgers’ equation. The same operator can be applied to the Burgers-Poisson system to obtain a fourth-order method as well. Besides this, the idea of the proposed method can also be generalized to higher dimension. While the simplicity of the finite diffidence method makes the generalization of the implementation straightforward, the analysis part may not be so. One may opt for other approach such as the spectral volume (SV) method [20,21,22] which has high order of accuracy and can be readily applied to higher dimensional settings.

7. Conclusions

In this paper, we proposed a family of implicit finite difference θ -schemes to solve the system of Burgers-Poisson equations. The method used information from three time levels and eliminated the need to solve unknowns using iterative nonlinear solvers. When θ = 1 / 3 , we showed that the resulting scheme has a discrete invariant-preserving property. We also proved that the numerical solution converges uniformly and has second order of accuracy with respect to the spatial variable. Finally, the numerical experiments verified that the optimal order of convergence is achieved for any value of θ , but the invariant is stable only when θ = 1 / 3 . All the numerical evidences obtained from the simulations agree with the theoretical results.

Author Contributions

C.D., M.K. and N.P. contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by Chiang Mai University. Nattapol Ploymaklam was supported by the Research Fund for DPST Graduate with First Placement [Grant No.036/2015].

Acknowledgments

We wish to thank anonymous referees for their careful readings of the manuscript and helpful suggestions which significantly improve the paper’s quality. We also would like to thank Amiya K. Pani (IIT Bombay, India) for his valuable comments and suggestions. Nattapol Ploymaklam is supported by Chiang Mai University and by the Research Fund for DPST Graduate with First Placement [Grant No.036/2015], The Institute for the Promotion of Teaching Science and Technology (IPST), Thailand, under the mentoring of Piyapong Niamsup.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Korteweg, D.J.; de Vries, G. On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves. Philos. Mag. 1895, 39, 422–443. [Google Scholar] [CrossRef]
  2. Whitham, G.B. Pure and Applied Mathematics. In Linear and Nonlinear Waves; Wiley-Interscience [John Wiley & Sons]: New York, NY, USA; London, UK; Sydney, Australia, 1974. [Google Scholar]
  3. Fellner, K.; Schmeiser, C. Burgers-Poisson: A nonlinear dispersive model equation. SIAM J. Appl. Math. 2004, 64, 1509–1525. [Google Scholar] [CrossRef] [Green Version]
  4. Ploymaklam, N.; Kumbhar, P.M.; Pani, A.K. A Priori Error Anal. Local Discontinuous Galerkin Method Viscous Burgers-Poisson Syst. Int. J. Numer. Anal. Model. 2017, 14, 784–807. [Google Scholar]
  5. Turgay, N.C.; Hizel, E. Group invariant solutions of Burgers-Poisson equation. Int. Math. Forum 2007, 2, 2701–2710. [Google Scholar] [CrossRef] [Green Version]
  6. Grunert, K.; Nguyen, K.T. On the Burgers-Poisson equation. J. Differ. Equ. 2016, 261, 3220–3246. [Google Scholar] [CrossRef] [Green Version]
  7. Camassa, R.; Holm, D.D. An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 1993, 71, 1661–1664. [Google Scholar] [CrossRef] [Green Version]
  8. Camassa, R.; Holm, D.D.; Hyman, J.M. A new integrable shallow water equation. In Advances in Applied Mechanics; Elsevier: Amsterdam, The Netherlands, 1994; Volume 31, pp. 1–33. [Google Scholar]
  9. Benjamin, T.B. Internal waves of permanent form in fluids of great depth. J. Fluid Mech. 1967, 29, 559–592. [Google Scholar] [CrossRef]
  10. Ono, H. Algebraic solitary waves in stratified fluids. J. Phys. Soc. Jpn. 1975, 39, 1082–1091. [Google Scholar] [CrossRef]
  11. Rosenau, P. A quasi-continuous description of a nonlinear transmission line. Phys. Scr. 1986, 34, 827–829. [Google Scholar] [CrossRef]
  12. Rosenau, P. Dynamics of Dense Discrete Systems: High Order Effects. Prog. Theor. Phys. 1988, 79, 1028–1042. [Google Scholar] [CrossRef] [Green Version]
  13. Peregrine, D.H. Calculations of the development of an undular bore. J. Fluid Mech. 1966, 25, 321–330. [Google Scholar] [CrossRef]
  14. Peregrine, D.H. Long waves on a beach. J. Fluid Mech. 1967, 27, 815–827. [Google Scholar] [CrossRef]
  15. Hizel, E.; Küçükarslan, S. A numerical analysis of the Burgers-Poisson (BP) equation using variational iteration method. In Proceedings of the 3rd WSEAS International Conference on Applied and Theoretical Mechanics, Tenerife, Canary Islands, Spain, 14–16 December 2007. [Google Scholar]
  16. Zeng, C.; Yang, Q.; Zhang, B. Homotopy perturbation method for fractional-order Burgers-Poisson equation. arXiv 2010, arXiv:1003.1828. [Google Scholar]
  17. Nwamba, J.I. Exact and explicit approximate solutions to the multi-order fractional Burgers-Poisson and fractional Burgers-Poisson equations. Appl. Comput. Math. 2013, 2, 78–85. [Google Scholar] [CrossRef]
  18. Liu, H.; Ploymaklam, N. A local discontinuous Galerkin method for the Burgers-Poisson equation. Numer. Math. 2015, 129, 321–351. [Google Scholar] [CrossRef] [Green Version]
  19. Wang, X.; Zhang, Q.; Sun, Z.Z. The pointwise error estimates of two energy-preserving fourth-order compact schemes for viscous Burgers’ equation. Adv. Comput. Math. 2021, 47, 42. [Google Scholar] [CrossRef]
  20. Kannan, R.; Wang, Z.J. A high order spectral volume solution to the Burgers’ equation using the Hopf-Cole transformation. Int. J. Numer. Methods Fluids 2012, 69, 781–801. [Google Scholar] [CrossRef]
  21. Kannan, R.; Wang, Z.J. A study of viscous flux formulations for a p-multigrid spectral volume Navier Stokes solver. J. Sci. Comput. 2009, 41, 165–199. [Google Scholar] [CrossRef]
  22. Kannan, R.; Wang, Z.J. LDG2: A variant of the LDG flux formulation for the spectral volume method. J. Sci. Comput. 2011, 46, 314–328. [Google Scholar] [CrossRef]
  23. Kannan, R. A high order spectral volume formulation for solving equations containing higher spatial derivative terms: Formulation and analysis for third derivative spatial terms using the LDG discretization procedure. Commun. Comput. Phys. 2011, 10, 1257–1279. [Google Scholar] [CrossRef]
  24. Kannan, R. A high order spectral volume formulation for solving equations containing higher spatial derivative terms II: Improving the third derivative spatial discretization using the LDG2 method. Commun. Comput. Phys. 2012, 12, 767–788. [Google Scholar] [CrossRef]
  25. Kuo, P.Y.; Sanz-Serna, J.M. Convergence of methods for the numerical solution of the Korteweg-de Vries equation. IMA J. Numer. Anal. 1981, 1, 215–221. [Google Scholar] [CrossRef]
  26. Zhang, L. A finite difference scheme for generalized regularized long-wave equation. Appl. Math. Comput. 2005, 168, 962–972. [Google Scholar] [CrossRef]
  27. Zuo, J.M.; Zhang, Y.M.; Zhang, T.D.; Chang, F. A new conservative difference scheme for the general Rosenau-RLW equation. Bound. Value Probl. 2010, 2010, 516260. [Google Scholar] [CrossRef] [Green Version]
  28. Pan, X.; Zhang, L. On the convergence of a conservative numerical scheme for the usual Rosenau-RLW equation. Appl. Math. Model. 2012, 36, 3371–3378. [Google Scholar] [CrossRef]
  29. Wang, X.; Sun, Z.Z. A second order convergent difference scheme for the initial-boundary value problem of Korteweg–de Vires equation. Numer. Methods Partial Differ. Equ. 2021, 37, 2873–2894. [Google Scholar] [CrossRef]
  30. Zhang, Q.; Qin, Y.; Wang, X.; Sun, Z.Z. The study of exact and numerical solutions of the generalized viscous Burgers’ equation. Appl. Math. Lett. 2021, 112, 106719. [Google Scholar] [CrossRef]
  31. Hu, J.; Xu, Y.; Hu, B. Conservative Linear Difference Scheme for Rosenau-KdV Equation. Available online: https://www.hindawi.com/journals/amp/2013/423718/ (accessed on 27 September 2021).
  32. Janwised, J.; Wongsaijai, B.; Mouktonglang, T.; Poochinapan, K. A Modified Three-Level Average Linear-Implicit Finite Difference Method for the Rosenau-Burgers Equation. Available online: https://www.hindawi.com/journals/amp/2014/734067/ (accessed on 27 September 2021).
  33. Hu, J.; Xu, Y.; Hu, B.; Xie, X. Two conservative difference schemes for Rosenau-Kawahara equation. Adv. Math. Phys. 2014, 11, 217393. [Google Scholar] [CrossRef] [Green Version]
  34. Wongsaijai, B.; Poochinapan, K. A three-level average implicit finite difference scheme to solve equation obtained by coupling the Rosenau-KdV equation and the Rosenau-RLW equation. Appl. Math. Comput. 2014, 245, 289–304. [Google Scholar] [CrossRef]
  35. Zhang, Q.; Wang, X.; Sun, Z.Z. The pointwise estimates of a conservative difference scheme for Burgers’ equation. Numer. Methods Partial Differ. Equ. 2020, 36, 1611–1628. [Google Scholar] [CrossRef]
  36. Zhou, Y. Applications of Discrete Functional Analysis to the Finite Difference Method; Pergamon Press: Oxford, UK, 1991. [Google Scholar]
Figure 1. Comparison of the uniform errors at t = 1 when using different values of θ for the inviscous problem.
Figure 1. Comparison of the uniform errors at t = 1 when using different values of θ for the inviscous problem.
Computation 09 00115 g001
Figure 2. Values of u n h at t = 0 , 1 , , 100 when using the scheme with different choices of θ with M = 160 on the inviscous problem.
Figure 2. Values of u n h at t = 0 , 1 , , 100 when using the scheme with different choices of θ with M = 160 on the inviscous problem.
Computation 09 00115 g002
Figure 3. Comparison of the uniform errors at t = 1 when using different values of θ for the viscous problem.
Figure 3. Comparison of the uniform errors at t = 1 when using different values of θ for the viscous problem.
Computation 09 00115 g003
Figure 4. Comparison between the invariant-preserving scheme ( θ = 1 / 3 ) and its counterpart ( θ = 0 ). Upper left: t = 5 . Upper right: t = 10 . Lower left: t = 15 . Lower right: t = 20 .
Figure 4. Comparison between the invariant-preserving scheme ( θ = 1 / 3 ) and its counterpart ( θ = 0 ). Upper left: t = 5 . Upper right: t = 10 . Lower left: t = 15 . Lower right: t = 20 .
Computation 09 00115 g004
Figure 5. Asymptotic example: initial data and solutions after 500 and 1000 steps.
Figure 5. Asymptotic example: initial data and solutions after 500 and 1000 steps.
Computation 09 00115 g005
Table 1. Errors and orders showing optimal convergence rates for the inviscous problem, with θ = 0 , 1 3 .
Table 1. Errors and orders showing optimal convergence rates for the inviscous problem, with θ = 0 , 1 3 .
N θ = 0 θ = 1 / 3
e h e h , e h e h ,
ErrorOrderErrorOrderErrorOrderErrorOrder
406.7498 × 10−4 7.8284 × 10−4 4.2413 × 10−4 5.4619 × 10−4
801.7452 × 10−41.952.0982 × 10−41.901.1021 × 10−41.941.4711 × 10−41.89
1604.4369 × 10−51.985.4335 × 10−51.952.8086 × 10−51.973.8179 × 10−51.95
3201.1186 × 10−51.991.3826 × 10−51.977.0886 × 10−61.999.7254 × 10−61.97
6402.8083 × 10−61.993.4874 × 10−61.991.7806 × 10−61.992.4543 × 10−61.99
Table 2. Errors and orders showing optimal convergence rates for the inviscous problem, with θ = 2 3 , 1 .
Table 2. Errors and orders showing optimal convergence rates for the inviscous problem, with θ = 2 3 , 1 .
N θ = 2 / 3 θ = 1
e h e h , e h e h ,
ErrorOrderErrorOrderErrorOrderErrorOrder
401.7901 × 10−4 2.7492 × 10−4 9.8426 × 10−5 7.4600 × 10−5
804.7136 × 10−51.937.6875 × 10−51.842.4617 × 10−52.001.8652 × 10−52.00
1601.2084 × 10−51.962.0333 × 10−51.926.1550 × 10−62.004.6661 × 10−62.00
3203.0585 × 10−61.985.2290 × 10−61.961.5388 × 10−62.001.1665 × 10−62.00
6407.6934 × 10−71.991.3259 × 10−61.983.8470 × 10−72.002.9163 × 10−72.00
Table 3. Errors and orders showing optimal convergence rates for the viscous problem, with θ = 0 , 1 3 .
Table 3. Errors and orders showing optimal convergence rates for the viscous problem, with θ = 0 , 1 3 .
N θ = 0 θ = 1 / 3
e h e h , e h e h ,
ErrorOrderErrorOrderErrorOrderErrorOrder
809.8070 × 10−1 8.8961 × 10−1 1.0900 1.0686
1601.5003 × 10−12.711.6312 × 10−12.451.4306 × 10−12.931.5557 × 10−12.78
3203.0028 × 10−22.323.0737 × 10−22.412.9229 × 10−22.293.1383 × 10−22.31
6407.0535 × 10−32.097.3580 × 10−32.067.0430 × 10−32.057.6141 × 10−32.04
12801.7182 × 10−32.041.8173 × 10−32.021.7445 × 10−32.011.8972 × 10−32.00
Table 4. Errors and orders showing optimal convergence rates for the viscous problem, with θ = 2 3 , 1 .
Table 4. Errors and orders showing optimal convergence rates for the viscous problem, with θ = 2 3 , 1 .
N θ = 2 / 3 θ = 1
e h e h , e h e h ,
ErrorOrderErrorOrderErrorOrderErrorOrder
801.1878 1.2909 1.2501 1.4776
1601.5447 × 10−12.941.7385 × 10−12.891.7512 × 10−12.842.0320 × 10−12.86
3203.3077 × 10−22.223.5948 × 10−22.273.7731 × 10−22.214.1052 × 10−22.31
6408.0712 × 10−32.038.7244 × 10−32.049.2118 × 10−32.039.9053 × 10−32.05
12802.0101 × 10−32.012.1747 × 10−32.002.2928 × 10−32.012.4630 × 10−32.01
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Darayon, C.; Khebchareon, M.; Ploymaklam, N. An Invariant-Preserving Scheme for the Viscous Burgers-Poisson System. Computation 2021, 9, 115. https://doi.org/10.3390/computation9110115

AMA Style

Darayon C, Khebchareon M, Ploymaklam N. An Invariant-Preserving Scheme for the Viscous Burgers-Poisson System. Computation. 2021; 9(11):115. https://doi.org/10.3390/computation9110115

Chicago/Turabian Style

Darayon, Chayapa, Morrakot Khebchareon, and Nattapol Ploymaklam. 2021. "An Invariant-Preserving Scheme for the Viscous Burgers-Poisson System" Computation 9, no. 11: 115. https://doi.org/10.3390/computation9110115

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop