Journal of Applied Mathematics

Volume 2014 (2014), Article ID 202793, 9 pages

http://dx.doi.org/10.1155/2014/202793

Research Article

An Average Linear Difference Scheme for the Generalized Rosenau-KdV Equation

Maobo Zheng¹ and Jun Zhou²

¹Chengdu Technological University, Chengdu 610031, China

²School of Mathematics and Computer Science, Yangtze Normal University, Chongqing 408100, China

Received 14 June 2013; Accepted 7 January 2014; Published 25 February 2014

Academic Editor: Anjan Biswas

Copyright © 2014 Maobo Zheng and Jun Zhou. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

An average linear finite difference scheme for the numerical solution of the initial-boundary value problem of Generalized Rosenau-KdV equation is proposed. The existence, uniqueness, and conservation for energy of the difference solution are proved by the discrete energy norm method. It is shown that the finite difference scheme is 2nd-order convergent and unconditionally stable. Numerical experiments verify that the theoretical results are right and the numerical method is efficient and reliable.

1. Introduction

KdV equation has been used in very wide applications and undergone research which can be used to describe wave propagation and spread interaction as follows [1–4]:

In the study of the dynamics of dense discrete systems, the case of wave-wave and wave-wall interactions cannot be described using the well-known KdV equation. To overcome this shortcoming of the KdV equation, Rosenau [5, 6] proposed the so-called Rosenau equation:

The existence and the uniqueness of the solution for (2) were proved by Park [7]. But it is difficult to find the analytical solution for (2). Since then, much work has been done on the numerical method for (2) ([8–13] and also the references therein). On the other hand, for the further consideration of the nonlinear wave, the viscous term needs to be included [14]:

This equation is usually called the Rosenau-KdV equation. Zuo [14] discussed the solitary wave solutions and periodic solutions for Rosenau-KdV equation. In [15], a conservative linear finite difference scheme for the numerical solution for an initial-boundary value problem of Rosenau-KdV equation is considered. In this paper, we consider the following Generalized Rosenau-KdV equation:

where is an integer. When , (4) is called usual Rosenau-KdV (3).

In [16, 17], authors discussed the solitary solutions for the Generalized Rosenau-KdV equation with usual solitary ansatz method. The authors also gave the two invariants for the Generalized Rosenau-KdV equation. In particular, in [17], the authors not only studied the two types of soliton solution, one is solitary wave solution and the other is singular soliton. Furthermore, they also used the perturbation theory and the semivariation principle to study the perturbed Generalized Rosenau-KdV equation analytically. In [18], only ansatz method was applied to obtain the topological soliton solution or the shock solution of this equation. Three methods, ansatz method, -expansion method, and the exp-function method, were applied to extract a few more solutions to this equation in [19].

As we all know, most of the time, we need to think of the numerical solution of nonlinear evolution equations. Many scholars in this field have a good work. In [20], the authors simulate the numerical solution of the Klein-Gordon equation by using the spectral method where rational Chebyshev functions are used as basic functions. In [21], the authors study the numerical solution of the two-dimensional Sine-Gordon equation (SGE) using a split-step Chebyshev Spectral Method. In [22], the authors develop a Galerkin spectral technique for computing localized solutions of equation with Sixth-Order Generalized Boussinesq Equation (6GBE). In [15], the authors propose a conservative three-level linear finite difference scheme with second-order convergent for the numerical solution of the initial-boundary value problem of Rosenau-KdV equation.

But the numerical method of the initial-boundary value problem of Generalized Rosenau-KdV equation has not been studied till now. In this paper, we propose an average three-level linear finite difference scheme for (4) with the boundary conditions

and initial condition

The initial-boundary value problem (3)–(5) possesses the following conservative properties [16, 17]:

When , , the initial-boundary value problem (4)–(6) and the Cauchy problem (4) are consistent, so the boundary conditions (5) are reasonable.

Compared to the implicit C-N nonlinear scheme, the scheme in this paper is linear and it can reduce computing cost. We will prove existence, uniqueness, and stability of the numerical solution. The studies show that the convergence of the scheme is 2nd-order rate. The most important point is that the scheme is conservative for energy.

The rest of this paper is organized as follows. In Section 2, we propose a three-level average implicit linear finite difference scheme for Generalized Rosenau-KdV equation and discuss the discrete conservative properties for energy. In Section 3, we prove that the scheme is uniquely solvable. In Section 4, we prove that the finite difference scheme is 2nd-order convergent and unconditionally stable. In Section 5, we give some numerical simulation to verify our theoretical analysis. Finally, in Section 6, we get our conclusion.

2. Difference Scheme and Some Properties of Its Solution

In this section, we first give some notation which will be used in this paper and propose an average linear difference scheme for the problem of (4)–(6).

As usual, denote , , , , where and let be the uniform, the spatial, and the temporal step size, respectively. Let , . Throughout this paper, we will denote as a generic constant independent of and that varies in the context.

We define the difference operators, inner product, and norms that will be used in this paper as follows:

Since , the following finite difference scheme for the problem (4)–(6) is considered:

Lemma 1 (see [23]). For any two mesh functions, , one has

Then we have

Furthermore, if , then

Lemma 2. Suppose that ; then the solution of the initial-boundary value problem (4)–(6) satisfies

Proof. It follows from the conservative law (8) that we get

Using part integration method, Hölder inequality, and Schwartz inequality, we get

Hence, . According to Sobolev’s inequality, we have .

Theorem 3. Supposing , then the scheme (10)–(12) is conservative for discrete energy; that is,

Proof. Computing the inner product of (10) with (i.e., ), we have

where

By the definition of , it follows from the first term of (20) that

By the definition of , (14), and Lemma 1, it follows from the second and the third term of (20) that

According to the boundary condition (12) and (14) of Lemma 1, it follows from the forth term that

According to (13) and (14), we have

Substituting (22)–(25) into (20), we have

By the definition of , (19) holds. It implies that the difference scheme is conservative for energy.

In order to prove the boundedness of the numerical solution, we introduce the following lemma [23].

Lemma 4 (Discrete Sobolev’s inequality). There exist two constants and such that

Theorem 5. Suppose ; then the solution of (10)–(12) satisfies , , which yield .

Proof. It follows from (19) that

By Lemma 1 and Schwartz inequality, we get

According to Lemma 4, we have .

3. Solvability

Theorem 6. There exists which satisfies the difference scheme (10)–(12).

Proof. By mathematical induction, it is obvious that is uniquely determined by the initial condition (11). We can choose a second-order method to compute (such as C-N scheme [10, 15]). It implies that are uniquely determined. Now assuming are uniquely solvable, consider in (10) which satisfies

Computing the inner product of (30) with , by (23) and (24), we obtain

where ,

It follows from (31) that

That is, there uniquely exists trivial solution satisfying (30). Therefore, in (10) is uniquely solvable.

This completes the proof of Theorem 6.

4. The Convergence and Stability of the Scheme

As usual, in order to prove the convergence and stability of the average linear difference scheme, we need to introduce the Discrete Gronwall inequality [23].

Lemma 7. Suppose , are nonnegative mesh functions and is nondecreasing. If and

then

Now, we discuss the convergence of the scheme (10)–(12); let be the analytical solution of problem (3)–(5); then the truncation error of the scheme (10)–(12) is

Using Taylor expansion, we know that holds if .

Theorem 8. Supposing , , then the solution of the scheme (10)–(12) converges to the solution of problem (3)–(5) and the rate of convergence is by the norm.

Proof. Subtracting (10) from (36) and letting , we have

Computing the inner product of (37) with and using

Similar to (22) and (24), we get

where

Therefore, we get

According to Lemma 2, Theorem 5, and Schwartz inequality, we have

Similarly,

Furthermore,

Substituting (42)–(44) into (41), we get

Similar to the proof of (29)

It follows from (45) that

Let ; it follows from (47) that

If is sufficiently small which satisfies , we get

Summing up (49) from 0 to , we get

Choose a second-order method to compute (such as C-N scheme) and notice that

From the discrete initial conditions, we know that ; then we have

Therefore,

According to Lemma 7, we get

It implies

It follows from (29) that

By Lemma 4, we have

This completes the proof of Theorem 8.

In order to prove the stability of the difference scheme, we import the initial-boundary problem

where are smooth enough.

We propose the difference scheme of the problem (58)

where .

Similar to the proof of Theorem 8, we can prove the stability Theorem 9.

Theorem 9. Supposing is the solution of the scheme (10)–(12) and is the solution of the scheme (59), denote . If the mesh steps are small enough, we can get the stability result

5. Numerical Validation

In this section, we conduct some numerical experiments to verify theoretical results obtained in the previous sections. We take , and consider the two cases , respectively.

According to [16, 17], when , the soliton solution is as follows:

and the initial condition is

When , the soliton solution is

and initial condition is

Since the three-level implicit finite difference scheme cannot start by itself, we need to select other two-level schemes (such as the C-N Scheme) to get . Then, reusing initial value , we apply the average implicit linear three-level difference scheme (10)–(12) for the problem (4)–(6) to work out . Iterative method is not required for the linear scheme, so it saves computing time.

First of all, we simulate the wave graph of the numerical solution to the average linear implicit scheme (10)–(12). The wave graph comparison of numerical solution between different time step and space step at various times is given in Figures 1, 2, 3, and 4 for and . The figures show that the height of the wave graph at different time is almost identical. It implies that the energy is conservative.

Figure 1: Wave graph of at various times when and .

Figure 2: Wave graph of at various times when and .

Figure 3: Wave graph of at various times when and .

Figure 4: Wave graph of at various times when and .

Secondly, we conduct numerical simulations in different time step and space step for and , respectively, when time is 40 s. We list some results in Tables 1 and 2 for and , respectively. All results show that the numerical solution is 2nd-order convergent and unconditionally stable. Meanwhile, we also list the conservative invariants at different time in Tables 3 and 4 for and . These results testify that the studied scheme is conservative for energy.

Table 1: The errors estimated in the sense of for at .

0.25
0.25

—

0.125
0.125

3.94134

0.0625
0.0625

3.98441

0.03125
0.03125

3.99521

Table 2: The errors estimated in the sense of for at .

0.25
0.25

—

0.125
0.125

3.94009

0.0625
0.0625

3.98299

0.03125
0.03125

3.99494

Table 3: The energy of different time in different time step and space step for .

(, )
 s
 s
 s
 s

(0.25, 0.25)
1.682528993311382
1.682528993311723
1.682528993311437
1.682528993311429

(0.125, 0.125)
1.682543082559648
1.682543082567992
1.682543082564207
1.682543082565549

(0.0625, 0.0625)
1.682546611032036
1.682546611133070
1.682546611138651
1.682546611129625

(0.03125, 0.03125)
1.682547494622366
1.682547493895496
1.682547493110830
1.682547493646520

Table 4: The energy of different time in different time step and space step for .

(, )
 s
 s
 s
 s

(0.25, 0.25)
3.110674902410195
3.110674902410293
3.110674902409525
3.110674902410005

(0.125, 0.125)
3.110702938793859
3.110702938807032
3.110702938804688
3.110702938809395

(0.0625, 0.0625)
3.110709964290841
3.110709964308914
3.110709964158443
3.110709964168867

(0.03125, 0.03125)
3.110711721444649
3.110711720432934
3.110711717170060
3.110711718996421

6. Conclusions

In brief, we first proposed an average linear implicit scheme for the Generalized Rosenau-KdV equation, which has a wide range of applications in various areas of scientific researches. The solvability, convergence, energy conservation, and stability with of the discrete solutions were analyzed in detail. Numerical simulations were carried out to testify that the theoretical analyses are right and our scheme is accurate and reliable.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

Y. Cui and D. K. Mao, “Numerical method satisfying the first two conservation laws for the Korteweg-de Vries equation,” Journal of Computational Physics, vol. 227, no. 1, pp. 376–399, 2007.

S. Zhu and J. Zhao, “The alternating segment explicit-implicit scheme for the dispersive equation,” Applied Mathematics Letters, vol. 14, no. 6, pp. 657–662, 2001.

A. R. Bahadır, “Exponential finite-difference method applied to Korteweg-de Vries equation for small times,” Applied Mathematics and Computation, vol. 160, no. 3, pp. 675–682, 2005.

S. Özer and S. Kutluay, “An analytical-numerical method for solving the Korteweg-de Vries equation,” Applied Mathematics and Computation, vol. 164, no. 3, pp. 789–797, 2005.

P. Rosenau, “A quasi-continuous description of a nonlinear transmission line,” Physica Scripta, vol. 34, pp. 827–829, 1986.

P. Rosenau, “Dynamics of dense discrete systems,” Progress of Theoretical Physics, vol. 79, pp. 1028–1042, 1988.

M. A. Park, “On the Rosenau equation,” Matemática Aplicada e Computacional, vol. 9, no. 2, pp. 145–152, 1990.

S. K. Chung and S. N. Ha, “Finite element Galerkin solutions for the Rosenau equation,” Applicable Analysis, vol. 54, no. 1-2, pp. 39–56, 1994.

K. Omrani, F. Abidi, T. Achouri, and N. Khiari, “A new conservative finite difference scheme for the Rosenau equation,” Applied Mathematics and Computation, vol. 201, no. 1-2, pp. 35–43, 2008.

S. K. Chung, “Finite difference approximate solutions for the Rosenau equation,” Applicable Analysis, vol. 69, no. 1-2, pp. 149–156, 1998.

S. K. Chung and A. K. Pani, “Numerical methods for the Rosenau equation,” Applicable Analysis, vol. 77, no. 3-4, pp. 351–369, 2001.

S. A. V. Manickam, A. K. Pani, and S. K. Chung, “A second-order splitting combined with orthogonal cubic spline collocation method for the Rosenau equation,” Numerical Methods for Partial Differential Equations, vol. 14, no. 6, pp. 695–716, 1998.

Y. D. Kim and H. Y. Lee, “The convergence of finite element Galerkin solution for the Roseneau equation,” The Korean Journal of Computational & Applied Mathematics, vol. 5, no. 1, pp. 171–180, 1998.

J. M. Zuo, “Solitons and periodic solutions for the Rosenau-KdV and Rosenau-Kawahara equations,” Applied Mathematics and Computation, vol. 215, no. 2, pp. 835–840, 2009.

J. Hu, Y. Xu, and B. Hu, “Conservative linear difference scheme for Rosenau-KdV equation,” Advances in Mathematical Physics, vol. 2013, Article ID 423718, 7 pages, 2013.

A. Esfahani, “Solitary wave solutions for generalized Rosenau-KdV equation,” Communications in Theoretical Physics, vol. 55, no. 3, pp. 396–398, 2011.

P. Razborova, H. Triki, and A. Biswas, “Perturbation of dispersive shallow water waves,” Ocean Engineering, vol. 63, pp. 1–7, 2013.

G. Ebadi, A. Mojaver, H. Triki, A. Yildirim, and A. Biswas, “Topological solitons and other solutions of the Rosenau-KdV equation with power law nonlinearity,” Romanian Journal of Physics, vol. 58, no. 1-2, pp. 3–14, 2013.

A. Saha, “Topological 1-soliton solutions for the generalized Rosenau-KdV equation,” Fundamental Journal of Mathematical Physics, vol. 2, no. 1, pp. 19–23, 2012.

A. Chowdhury and A. Biswas, “Singular solitons and numerical analysis of -four equation,” Mathematical Sciences, vol. 6, article 42, 2012.

P. Suarez, S. Johnson, and A. Biswas, “Chebyshev split-step scheme for the sine-Gordon equation in dimensions,” International Journal of Nonlinear Sciences and Numerical Simulation, vol. 14, no. 1, pp. 69–75, 2013.

M. A. Christou, “Christov-galerkin expansion for localized solutions in model equations with higher order dispersion,” in Proceedings of the 33rd International Conference on Applications of Mathematics in Engineering and Economics, M. D. Todorov, Ed., CP946, pp. 91–98, June 2007.

Y. L. Zhou, Applications of Discrete Functional Analysis to the Finite Difference Method, International Academic Publishers, Beijing, China, 1991.