Skip to main content

Theory and Modern Applications

Invariant preserving schemes for double dispersion equations


We propose and study two finite difference schemes (FDSs) for the double dispersion equations. The first FDS is symplectic, while the second one preserves the discrete momentum exactly. Both FDS conserve the discrete energy approximately with \(O(h^{2}+\tau ^{2})\) global error. The extensive numerical experiments agree well with the theoretical results for single solitary wave as well as for the interaction between two solitary waves.

1 Introduction

The aim of this paper is to develop and analyze two finite difference schemes (FDSs) for the solution of the double dispersion equations (DDEs)

$$ \frac{\partial ^{2} u}{\partial t^{2}}=\Delta u+\beta _{1}\Delta \frac{ \partial ^{2}u}{\partial t^{2}} -\beta _{2}\Delta ^{2} u+\Delta f(u), \quad x \in R, t>0, $$

with initial data

$$ u(x,0)=u_{0}(x), \qquad \frac{\partial u}{\partial t} (x,0)=u_{1}(x),\quad x \in R, $$

and asymptotic boundary conditions \(u(x,t) \rightarrow 0\), \(\Delta u(x,t) \rightarrow 0\) as \(|x|\rightarrow \infty \).

Here the dispersion parameters \(\beta _{1}\), \(\beta _{2}\) satisfy \(\beta _{1}\geq 0\), \(\beta _{2}> 0\). The nonlinear term has the form \(f(u)=\alpha u^{p}\), \(p=2,3,\ldots \) , with α an amplitude parameter.

The DDE appears in a number of mathematical models of physical processes, for example—in the modeling of surface waves in shallow water, in the dislocation theory of crystals, in optics, etc. The derivation of (1) from the full Boussinesq model can be found e.g. in [10], where Eq. (1) is also called the Boussinesq paradigm equation.

The problem (1) with \(\beta _{1}=0\) is referred in the literature as Boussinesq equation. Several numerical methods are used to solve this equation. For example, a Galerkin method is investigated in [8, 23], a finite difference method is applied in [11], spectral and pseudo-spectral methods are reported in [6, 12, 22, 27]. A predictor–corrector method is derived in [2], while a mesh-free method is given in [21]. Numerical analysis of the Boussinesq equation based on structure preserving methods (symplectic and multi-symplectic methods) is reported in [1, 3,4,5, 15, 26].

The DDE (1) with \(\beta _{1} >0\) is studied less numerically. The finite difference method is used in [7, 9, 10, 16, 18] to solve the one-dimensional problem (1). The exact preservation of the global discrete energy and the convergence of the numerical methods are proved in [17,18,19].

The DDE conserves not only the energy, it preserves the mass, the momentum; and it has a Hamiltonian structure—the phase flow of the Hamiltonian systems are symplectic transformations that conserve area.

We believe, that the numerical methods should preserve as much of the essential properties of the original continuous problem as possible. Based on this idea we construct in this paper two new invariant preserving schemes for DDE, called FDS-S and FDS-M. We define discrete invariants of the mass, the momentum and the energy (equivalently the Hamiltonian) and analyze conservation of these quantities in time. The FDS-S is symplectic as the continuous problem is, it retains at the discrete level the symplecticness of the flow. In addition we prove that this scheme satisfies equalities, which connect the discrete momentum on every two consecutive time levels; the same holds true for the discrete energy. Moreover, we show that FDS-S preserves the discrete momentum and the discrete Hamiltonian in time approximately, up to \(O(h^{2}+\tau ^{2})\) global error.

We prove that the second FDS, i.e. FDS-M, preserves exactly the discrete momentum and approximately, up to \(O(h^{2}+\tau ^{2})\) global error, the discrete Hamiltonian. In addition both FDS preserve exactly the discrete mass.

We report and discuss numerical experiments based on two examples—one solitary wave and interaction of two solitary waves. We study on nested grids the convergence of the discrete solution to the exact one, as well as the approximate preservation of the discrete momentum and the discrete energy. The provided numerical tests are in accordance with theoretical results.

The paper is organized in the following way. The necessary preliminary results are reported in Sect. 2. The two FDS are stated in Sect. 3. The theoretical analysis of these FDS is given in Sect. 4. In Sect. 5 we report and discuss numerical experiments on two examples. Our concluding remarks are given in Sect. 6.

2 Preliminaries

DDE (1) can be rewritten as the generalized Hamiltonian system (or Poisson system)

$$ \begin{bmatrix} \frac{\partial u}{\partial t} \\ \frac{\partial v}{\partial t} \end{bmatrix} = J \begin{bmatrix} \frac{\delta H}{\delta u} \\ \frac{\delta H}{\delta v} \end{bmatrix} $$

using auxiliary function v, defined by \(\frac{\partial v}{\partial x}=\frac{\partial u}{\partial t}\). Here

$$ J= \begin{bmatrix} 0& (E-\beta _{1}\Delta )^{-1}\partial _{x} \\ (E-\beta _{1}\Delta )^{-1}\partial _{x}&0 \end{bmatrix} $$

is an anti-symmetric matrix and E is the identity operator. The separable Hamiltonian

$$ H(t):=H\bigl(u(x,t),v(x,t)\bigr)=\frac{1}{2} \int _{\mathbb{R}} \biggl(v^{2}+\beta _{1} \biggl( \frac{\partial v}{\partial x} \biggr)^{2}+u^{2}+\beta _{2} \biggl(\frac{\partial u}{\partial x} \biggr)^{2}+2 F(u) \biggr)\,dx $$

represents the total energy of the system, \(F(u)=\int _{0}^{u} f(s)\,ds\) and \(\frac{\delta H}{\delta u}\), \(\frac{\delta H}{\delta v}\) are the variational derivatives of H with respect to u and v. The Poisson bracket is defined in this case as \(\omega (\mathbf{G_{1}}, \mathbf{G_{2}})=\nabla (\mathbf{G_{1}})^{T} J \nabla (\mathbf{G_{2}})\); see e.g. [14, 20].

The scalar DDE (1)–(2) is equivalent to the system

$$ \textstyle\begin{cases} \frac{\partial u}{\partial t}=\frac{\partial v}{\partial x}, \\ \frac{\partial v}{\partial t}=(E-\beta _{1}\Delta )^{-1} (\frac{ \partial u}{\partial x}-\beta _{2}\frac{\partial ^{3} u}{\partial x ^{3}}+ \frac{\partial f(u)}{\partial x} ), \end{cases} $$

with initial conditions

$$ u(x,0)=u_{0}(x),\qquad v(x,0)=v_{0}(x),\quad \text{where } \partial _{x} v_{0}(x)=u _{1}(x). $$

Given a solution \((u,v)\) of (4) we define the mass \(I(u(x,t))\) and the momentum \(M(u(x,t), v(x,t))\) as

$$\begin{aligned}& I(t):=I\bigl(u(x,t)\bigr)= \int _{\mathbb{R}}u(x,t)\,dx, \end{aligned}$$
$$\begin{aligned}& M(t):=M\bigl(u(x,t),v(x,t)\bigr)= \int _{\mathbb{R}} \bigl(u(x,t)v(x,t)+\beta _{1} u_{x}(x,t) v_{x}(x,t) \bigr)\,dx. \end{aligned}$$

The phase flow of the Hamiltonian system (4) is a symplectic transformation that preserves area (see [14]). Besides the symplectic property of (4), it has three invariants—the mass, the momentum, and the energy (which coincides with the Hamiltonian in this paper). In the following theorem we give an exact formulation of this statement.

Theorem 1

(Conservation laws)

For every \(t \ge 0\) the solution \((u,v)\) to the problem (4) satisfies the following identities:

$$\begin{aligned} &I(t)=I(0), \quad \textit{i.e. mass conservation}; \\ &M(t)=M(0), \quad \textit{i.e. momentum conservation}; \\ &H(t)=H(0), \quad \textit{i.e. energy (Hamiltonian) conservation}. \end{aligned}$$

It is well known that the DDE possesses exact solutions of the form of traveling waves \(u(x,t)=\psi (x-ct)\), where c is the velocity of the wave. When these solutions are localized in space, maintain their shape during the evolution, interact with other solutions and emerge from the collision unchanged (except for a phase shift), then these solutions are called ‘solitary waves’ or ‘solitons’. In the case of quadratic nonlinearity (\(f(u)=\alpha u^{2}\)) the solitary waves to (1) are given by

$$ \varphi (x,t;c)= \frac{3(c^{2}-1)}{2\alpha } \mathrm{sech} ^{2} \biggl(- \frac{1}{2}\sqrt{\frac{c^{2}-1}{\beta _{1}c^{2}-\beta _{2}}}(x-ct) \biggr). $$

Note that the pair \((\varphi (x,t;c), -c \varphi (x,t;c))\) is the solitary wave solution to the system (4).

In the following we suppose that \(\beta _{1} >0\) and that the unique exact solution to (1)–(2) exists and is sufficiently smooth in the considered time interval \(t \in [0,T]\). The paper [25] gives conditions on the initial data, under which the solution to (1)–(2) is sufficiently smooth.

By C (with different indices) we denote positive numbers which depend on some norms of the functions u and v but are independent of the discretization steps h and τ.

3 The finite difference schemes

3.1 Mesh and notations

Theoretical analysis of the solitary waves (7) shows that waves decay exponentially to zero as \(|x| \rightarrow \infty \). In view of this and the imposed asymptotic boundary conditions we choose numbers \(L_{1}\) and \(L_{2}\) sufficiently large, so that the exact solution with its derivatives is negligible outside the interval \([-L_{1},L_{2}]\).

For simplicity of the numerical analysis presented in this paper we suppose that the discrete solution to DDE satisfies periodic boundary conditions at \(-L_{1}\) and \(L_{2}\).

In \([-L_{1},L_{2} ]\) we introduce an uniform grid \(x_{i}\), \(i=0,1,\ldots ,N\) with step \(h=(L_{1}+L_{2})/N\). We denote the approximation of the function \(u(x_{i},t)\) at the mesh points \(x_{i}\) by \(U_{i}(t)\) and the approximations of \(v(x_{i},t)\) by \(V_{i}(t)\). We use the following notations: \(\mathbf{{U(t)}}= (U _{1}(t),U_{2}(t),\ldots ,U_{N}(t) )\), \(\mathbf{{V(t)}}= (V _{1}(t),V_{2}(t),\ldots ,V_{N}(t) )\),

$$\begin{aligned} &\partial _{\hat{x}}U_{i}=U_{\hat{x},i} =\frac{U_{i+1}-U_{i-1}}{2h},\qquad \hat{\Delta }_{h} U_{i}=U_{\hat{x}\hat{x},i}=\frac{U_{i+2}-2U_{i}+U _{i-2}}{4h^{2}}, \\ &U_{\hat{x}\hat{x}\hat{x},i} =\frac{U_{i+3}-3U_{i+1}+3U_{i-1}-U_{i-3}}{8h ^{3}}. \end{aligned}$$

Denote by \(\langle V,W \rangle = \sum_{i=1}^{N} h V_{i} W _{i}\) the discrete scalar product of the functions V and W. For periodic functions (\(U_{i}=U_{N+i}\)) the discrete operator \(AU_{i} =- \hat{\Delta }_{h} U_{i}\), \(i=1,2,\ldots ,N\) is self-adjoint and positive definite, thus it has an inverse \(A^{-1}\).

For the discretization in time we consider an uniform mesh \(\{t^{k}=k \tau , k=0, \ldots ,K, K=T/\tau \}\) with time step τ and discrete time differences

$$ U_{t}^{k}=\frac{U^{k+1}-U^{k}}{\tau }, \qquad U_{\bar{t}}^{k}= \frac{U^{k}-U^{k-1}}{\tau }. $$

The discrete approximations to \(u(x_{i},t^{k})\) and \(v(x_{i},t^{k})\) are denoted by \(U_{i}^{k}\) and \(V_{i}^{k}\), respectively. We omit the notation \({}_{i}^{k}\) for the arguments of the mesh functions whenever possible.

3.2 Finite difference scheme FDS-S

Replacing the derivatives in (4) with finite differences of second order of approximation, we obtain the semi-discrete system of 2N ordinary differential equations with respect to the unknowns \(\mathbf{{U(t)}}\) and \(\mathbf{{V(t)}}\):

$$\begin{aligned} \frac{d U_{i}(t)}{dt}= V_{\hat{x},i}, \qquad \frac{d V_{i}(t)}{dt}=(E-\beta _{1}\hat{\Delta }_{h})^{-1} \bigl(U_{ \hat{x},i}-\beta _{2} U_{\hat{x}\hat{x}\hat{x},i} + \bigl(f(U) \bigr) _{\hat{x},i} \bigr). \end{aligned}$$

Note that the new system (8) is also a generalized Hamiltonian system (or Poisson system) with a separable Hamiltonian \(H_{h}( \mathbf{{U}},\mathbf{{V}})\) and a matrix \(J_{h}\) defined by

$$\begin{aligned}& H_{h}(\mathbf{{U}},\mathbf{{V}})=\frac{1}{2} \sum_{i=1}^{N} \bigl(V _{i}^{2}+ \beta _{1} V_{\hat{x},i}^{2}+U_{i}^{2}+ \beta _{2}U_{\hat{x},i} ^{2}+ 2 F(U_{i}) \bigr), \\& J_{h}= \begin{bmatrix} 0& (E-\beta _{1}{\hat{\Delta _{h}}} )^{-1}\partial _{\hat{x}} \\ (E-\beta _{1}{\hat{\Delta _{h}}} )^{-1}\partial _{\hat{x}}&0 \end{bmatrix}. \end{aligned}$$

Applying the staggered Störmer–Verlet method (equivalently the two-stage symplectic Lobatto IIIA–IIIB method, as in [1] for the Boussinesq equation) to (8), we obtain the following fully discrete system FDS-S:

$$ \textstyle\begin{cases} (E-\beta _{1}\hat{\Delta }_{h})\frac{V_{i}^{k+1/2}-V_{i}^{k-1/2}}{ \tau }= U_{\hat{x},i}^{k}-\beta _{2}U_{\hat{x}\hat{x}\hat{x},i}^{k}+ f(U _{i}^{k})_{\hat{x},i}, \\ \frac{U_{i}^{k+1}-U_{i}^{k}}{\tau }=V_{\hat{x},i}^{k+1/2}, \end{cases} $$

where \(U_{i}^{k}\) and \(V_{i}^{k+1/2}\) are approximations to \(U_{i}\) and \(V_{i}\) at time levels \(t^{k}\) and \(t^{k}+\tau /2\), respectively.

We eliminate the function V from (10); applying the operator \(A=-\hat{\Delta }_{h}\) we get the 3-time level FDS that contains only the function \(U_{i}^{k}\):

$$ (E+\beta _{1} A) U_{\bar{t}t,i}^{k}+A U_{i}^{k}+\beta _{2} A^{2} U_{i} ^{k}+ Af\bigl(U_{i}^{k}\bigr) =0. $$

3.3 Finite difference scheme FDS-M

For the derivation of the new scheme, we keep the linear terms in (10) intact and only change the approximation to the nonlinear term \(f(u)\). We consider the following FDS-M:

$$ \textstyle\begin{cases} (E-\beta _{1}\hat{\Delta }_{h})\frac{V_{i}^{k+1/2}-V_{i}^{k-1/2}}{ \tau }= U_{\hat{x},i}^{k}-\beta _{2}U_{\hat{x}\hat{x}\hat{x},i}^{k}+ ( \frac{F(U_{i+1}^{k})-F(U_{i-1}^{k})}{{U}_{i+1}^{k}-{U}_{i-1} ^{k}} )_{\hat{x},i}, \\ \frac{U_{i}^{k+1}-U_{i}^{k}}{\tau }=V_{\hat{x},i}^{k+1/2}. \end{cases} $$

Eliminating the function V from (12), one can obtain the equivalent FDS for \(U_{i}^{k}\)

$$ (E+\beta _{1} A) U_{\bar{t}t,i}^{k}+A U_{i}^{k}+\beta _{2} A^{2} U_{i} ^{k}+ A \biggl( \frac{F(U_{i+1}^{k})-F(U_{i-1}^{k})}{{U}_{i+1}^{k}- {U}_{i-1}^{k}} \biggr)_{i} =0. $$

3.4 Finite difference scheme FDS-E

For consistency of presentation we also formulate the following well studied scheme (see e.g. [17, 19]):

$$ \textstyle\begin{cases} (E-\beta _{1}\hat{\Delta }_{h})\frac{V_{i}^{k+1/2}-V_{i}^{k-1/2}}{ \tau }= U_{\hat{x},i}^{k}-\beta _{2}U_{\hat{x}\hat{x}\hat{x},i}^{k}+ ( \frac{F(U_{i}^{k+1})-F(U_{i}^{k-1})}{{U}_{i}^{k+1}-{U}_{i} ^{k-1}} )_{\hat{x},i}, \\ \frac{U_{i}^{k+1}-U_{i}^{k}}{\tau } =V_{\hat{x},i}^{k+1/2}. \end{cases} $$

After eliminating the function V from (14) we get the equivalent 3-time level FDS for function \(U_{i}^{k}\)

$$ (E+\beta _{1} A) U_{\bar{t}t,i}^{k}+A U_{i}^{k}+\beta _{2} A^{2} U_{i} ^{k}+ A \biggl( \frac{F(U_{i}^{k+1})-F(U_{i}^{k-1})}{{U}_{i}^{k+1}- {U}_{i}^{k-1}} \biggr)_{i} =0. $$

4 Analysis of finite difference schemes

4.1 Local approximation error, linear stability, implementation

By Taylor series expansion at the point \((x_{i},t^{k})\) it is easy to conclude that both schemes FDS-S (11) and FDS-M (13) approximate the DDE with \(O(h^{2}+ \tau ^{2})\) local error. So the schemes are consistent with the DDE.

The schemes FDS-S and FDS-M have the same linear part. Thus they have the same linear stability requirement.

Theorem 2

The linearized scheme corresponding to (11) (equivalently to (13)) is stable with respect to the initial data and the right-hand side if the steps τ and h satisfy the inequality

$$ \tau < h \sqrt{\frac{4\beta _{1}}{(1+\epsilon )(\beta _{2}+h^{2})}} $$

for some positive number ϵ, independent of h, τ and U.

The proof of this theorem follows by stability theory for FDS from [24] since the operator inequality \(E+\beta _{1} A > \frac{1+ \epsilon }{4} ( A +\beta _{2} A^{2} )\) holds whenever the requirement (15) is satisfied.

Both schemes use nine mesh points of the stencil, thus they are non-compact. The schemes (10) and (12) are completely explicit, i.e. \(V^{k+1/2}\) and \(U^{k+1}\) can be directly evaluated from the corresponding systems if data \(V^{k-1/2}\) and \(U^{k}\) on the previous time level are known.

4.2 Symplecticness

The FDS (10) is symplectic by construction—the staggered Störmer–Verlet method (equivalently the two-stage symplectic Lobatto IIIA-IIIB method) is applied to the separable Hamiltonian system (8); see e.g. [14]. Thus the following result holds.

Theorem 3

The scheme FDS-S (10) is symplectic, i.e. it conserves the discrete symplectic structure \(\omega ^{k}= \mathbf{{d Z^{k}}} J_{h} {\mathbf{{d Z^{k-1}}}}\), \(\mathbf{{Z^{k}}}= (U ^{k},V^{k-\frac{1}{2}})\) at each time level: \(\omega ^{K}=\omega ^{K-1}= \cdots =\omega ^{1} \).

4.3 Conservation of mass

Let us define the discrete mass \(I_{h}^{k}(U)\),

$$ I_{h}^{k}(U):=\sum _{i=1}^{N} h U_{i}^{k}. $$

Note that the discrete mass (16) approximates the exact value of the mass (5) with \(O(h^{2})\) local error.

Theorem 4

All three schemes FDS-S (10), FDS-M (12) and FDS-E (14) conserve the discrete mass in time, i.e. the identity \(I_{h}^{k}(U) = I_{h}^{0}(U)\) is true for all \(k=1,2,\ldots K\).


Under the periodic conditions imposed on the discrete functions U, V and from the second equation of the corresponding systems (10), (12), and (14), the following identity holds:

$$ \frac{1}{\tau } \bigl(I_{h}^{k+1}(U)-I_{h}^{k}(U) \bigr)= \sum_{i=1} ^{N} h \frac{U_{i}^{k+1}-U_{i}^{k}}{\tau } =\sum_{i=1}^{N} h V_{ \hat{x},i}^{k+1/2} =0. $$

Hence \(I_{h}^{k+1}(U)=I_{h}^{k}(U)=\cdots =I_{h}^{0}(U)\) and Theorem 4 is proved. □

4.4 Conservation of the discrete momentum

Now we define the discrete momentum \(M_{h}^{k}\) as

$$ M_{h}^{k}\bigl(U^{k}, V^{k-1/2}\bigr):=\sum_{i=1}^{N} h \bigl(U_{i}^{k} V_{i} ^{k-1/2}+\beta _{1} U_{\hat{x},i}^{k} V_{\hat{x},i}^{k-1/2} \bigr). $$

Note that \(M_{h}^{k}(U^{k}, V^{k-1/2})\) approximates the exact momentum (6) with \(O(h^{2}+ \tau ^{2})\) local error.

Theorem 5

(Momentum conservation law)

The solution of the FDS-M (12) conserves the discrete momentum in time, i.e.

$$ M_{h}^{k}\bigl(U^{k}, V^{k-1/2} \bigr)=M_{h}^{1}\bigl(U^{1},V^{1/2} \bigr), \quad k=2,3,\ldots , K. $$


We evaluate the difference R between momentum at time levels \(k+1\) and k and obtain the equality

$$\begin{aligned} R= &\frac{1}{\tau } \bigl(M_{h}^{k+1} \bigl(U^{k+1}, V^{k+1/2}\bigr)-M_{h}^{k} \bigl(U ^{k}, V^{k-1/2}\bigr) \bigr) \\ = &\frac{1}{\tau }\sum_{i=1}^{N} h \bigl( U_{i}^{k+1} (E-\beta _{1}\hat{\Delta }_{h} )V_{i}^{k+1/2} - U_{i}^{k} (E-\beta _{1}\hat{\Delta }_{h} ) V_{i}^{k-1/2} \bigr). \end{aligned}$$

After adding and subtracting the term \(U_{i}^{k} (I-\beta _{1} \hat{\Delta }_{h} ) V_{i}^{k+1/2}\) to the right-hand side of R we get

$$\begin{aligned} R &=\sum_{i=1}^{N} h \bigl( U_{t,i}^{k} (I-\beta _{1}\hat{\Delta } _{h} ) V_{i}^{k+1/2}+U_{i}^{k} (I-\beta _{1}\hat{\Delta } _{h} ) V_{t,i}^{k-1/2} \bigr) \\ &=\sum_{i=1}^{N} h V_{\hat{x},i}^{k+1/2} (I-\beta _{1} \hat{\Delta }_{h} )V_{i}^{k+1/2} \\ &\quad{}+\sum_{i=1}^{N} h U_{i}^{k} \biggl(U_{\hat{x},i}^{k}-\beta _{2}U_{ \hat{x}\hat{x}\hat{x},i}^{k} + \biggl( \frac{F(U_{i+1}^{k})-F(U_{i-1} ^{k})}{{U}_{i+1}^{k}-{U}_{i-1}^{k}} \biggr)_{\hat{x},i} \biggr) \\ & =\sum_{i=1}^{N} hV_{\hat{x},i}^{k+1/2}V_{i}^{k+1/2}+ \beta _{1}\sum_{i=1}^{N} hV_{\hat{x}\hat{x},i}^{k+1/2}V_{\hat{x},i}^{k+1/2}+\sum _{i=1}^{N} hU_{i}^{k} \bigl(U_{\hat{x},i}^{k}-\beta _{2}U_{\hat{x} \hat{x}\hat{x},i}^{k} \bigr) \\ &\quad{}+\sum_{i=1}^{N} hU_{i}^{k} \biggl( \frac{F(U_{i+1}^{k})-F(U_{i-1} ^{k})}{{U}_{i+1}^{k}-{U}_{i-1}^{k}} \biggr)_{\hat{x},i}\\ & =0. \end{aligned}$$

All terms in the previous equality are equal to zero because of the periodicity of the discrete functions. Additionally, the last term in the previous equality is zero because of the following transformations:

$$\begin{aligned} &\sum_{i=1}^{N} hU_{i}^{k} \biggl( \frac{F(U_{i+1}^{k})-F(U_{i-1}^{k})}{ {U}_{i+1}^{k}-{U}_{i-1}^{k}} \biggr)_{\hat{x},i}\\ &\quad =-\sum _{i=1}^{N} h \bigl(U _{i}^{k} \bigr)_{\hat{x},i} \biggl( \frac{F(U_{i+1}^{k})-F(U_{i-1}^{k})}{ {U}_{i+1}^{k}-{U}_{i-1}^{k}} \biggr) \\ &\quad = -\frac{1}{2} \sum_{i=1}^{N} \bigl( {U}_{i+1}^{k}-{U}_{i-1}^{k} \bigr) \frac{F(U_{i+1}^{k})-F(U_{i-1} ^{k})}{{U}_{i+1}^{k}-{U}_{i-1}^{k}}= -\frac{1}{2} \sum_{i=1}^{N} \bigl( F\bigl(U_{i+1}^{k}\bigr)-F\bigl(U_{i-1}^{k} \bigr) \bigr)=0. \end{aligned}$$

Thus \(M_{h}^{k+1}(U^{k+1}, V^{k+1/2})=M_{h}^{k}(U^{k}, V^{k-1/2})\) for every \(k=1,2,\ldots \) , which completes the proof of Theorem 5. □

The preservation of the discrete momentum \(M_{h}^{k}\) by the scheme FDS-S (10) is examined in the next theorem.

Theorem 6

(Discrete identity for momentum)

The solution of FDS-S (10) satisfies the following discrete identities between every two consecutive time levels \(k+1\) and k:

$$ M_{h}^{k+1}\bigl(U^{k+1}, V^{k+1/2}\bigr)-M_{h}^{k}\bigl(U^{k}, V^{k-1/2}\bigr)=-\tau \sum_{i=1}^{N} h U_{\hat{x},i}^{k} f\bigl(U_{i}^{k}\bigr),\quad k=1,2,\ldots ,K-1. $$


$$ \bigl\vert M_{h}^{K}\bigl(U^{K}, V^{K-1/2}\bigr)-M_{h}^{1}\bigl(U^{1}, V^{1/2}\bigr) \bigr\vert \le C_{1} h^{2} T. $$


We study the difference \(M_{h}^{k+1}(U^{k+1}, V^{k+1/2})-M_{h}^{k}(U ^{k}, V^{k-1/2})\) on the solution of (10). The treatment of all the terms but the nonlinear one is the same as in the proof of Theorem 5. We have

$$ M_{h}^{k+1}\bigl(U^{k+1}, V^{k+1/2}\bigr)-M_{h}^{k}\bigl(U^{k}, V^{k-1/2}\bigr)=-\tau \sum_{i=1}^{N} h U_{\hat{x},i}^{k} f\bigl(U_{i}^{k}\bigr), $$

which proves (18).

We add the term \(\tau \sum_{i=1}^{N} h U_{\hat{x},i}^{k} ( \frac{F(U _{i+1}^{k})-F(U_{i-1}^{k})}{{U}_{i+1}^{k}-{U}_{i-1}^{k}} )=0\) to the right-hand side of (20) and estimate the expression \(R^{k}\)

$$\begin{aligned} R^{k}&:=M_{h}^{k+1} \bigl(U^{k+1}, V^{k+1/2}\bigr)-M_{h}^{k} \bigl(U^{k}, V^{k-1/2}\bigr) \\ &=\tau \sum_{i=1}^{N} h U_{\hat{x},i}^{k} \biggl( \frac{F(U_{i+1} ^{k})-F(U_{i-1}^{k})}{{U}_{i+1}^{k}-{U}_{i-1}^{k}} - f \bigl(U_{i}^{k}\bigr) \biggr). \end{aligned}$$

Using the definition of the nonlinearity functions f and F, we get

$$\begin{aligned} S_{i}^{k} &:=\frac{F(U_{i+1}^{k})-F(U_{i-1}^{k})}{{U}_{i+1}^{k}-{U} _{i-1}^{k}} - f \bigl(U_{i}^{k}\bigr) \\ &=\frac{\alpha }{p+1} \bigl( \bigl(U_{i+1}^{k} \bigr)^{p} + \bigl(U_{i+1}^{k}\bigr)^{p-1} U_{i-1}^{k} +\cdots + \bigl(U_{i-1}^{k} \bigr)^{p} -(p+1) \bigl(U_{i}^{k} \bigr)^{p} \bigr). \end{aligned}$$

Applying a Taylor series expansion about the point \(x_{i}\), we obtain the estimate

$$ \bigl\vert S_{i}^{k} \bigr\vert \le h^{2} \frac{\alpha }{p+1} C_{2,i}, $$

where the constant \(C_{2,i}\) depends on the values of the function u and its first and second derivatives, i.e. \(C_{2,i}=C_{2,i} (\max_{\xi \in (x_{i-1},x_{i+1})} \{ \vert u(\xi ,t^{k}) \vert , \vert \frac{\partial u(\xi ,t^{k})}{\partial x} \vert , \vert \frac{ \partial ^{2} u(\xi ,t^{k})}{\partial x^{2}} \vert \} )\). We substitute the estimate (23) into (21) to get

$$ \bigl\vert R^{k} \bigr\vert \le \tau h^{2} \frac{\alpha }{p+1} \sum_{i=1}^{N} h \bigl\vert U_{ \hat{x},i}^{k} \bigr\vert C_{2,i} \le \tau h^{2} \frac{2\alpha }{p+1} C_{3}. $$

We add equalities (21) for \(k=1,2,\ldots ,K-1\), apply (24), and obtain

$$\begin{aligned} &M_{h}^{K}\bigl(U^{K}, V^{K-1/2}\bigr) -M_{h}^{1}\bigl(U^{1}, V^{1/2}\bigr) = \sum_{k=1} ^{K-1} R^{k}, \\ &\begin{aligned} \bigl\vert M_{h}^{K}\bigl(U^{K}, V^{K-1/2}\bigr)-M_{h}^{1}\bigl(U^{1}, V^{1/2}\bigr) \bigr\vert &\le \sum_{k=1}^{K-1} \bigl\vert R^{k} \bigr\vert \le \sum_{k=1}^{K-1} \tau h^{2} \frac{2 \alpha }{p+1} C_{4} , \\ & \le K\tau h^{2} \frac{2\alpha }{p+1} C_{4} \le h^{2} T C_{1}, \end{aligned} \end{aligned}$$

which completes the proof of the estimate (19) and of Theorem 6. □

In conclusion to this subsection, we see that the FDS-M (12) conserves the discrete momentum exactly in time, which fully corresponds to the conservation of the exact momentum (6).

The scheme FDS-S (10) does not strictly conserve the discrete momentum \(M_{h}^{k}\) but it preserves the discrete momentum approximately with \(O(h^{2})\) global error.

Remark 1

Following the lines of the proof of Theorem 6, we can prove that the solution to the FDS-E conserves the discrete momentum approximately with \(O(h^{2})\) global error.

4.5 Conservation of the discrete Hamiltonian (energy)

Following the results from [17, 19] we define the linear part of the discrete Hamiltonian \(H_{h,L}^{k}\) as

$$\begin{aligned} H_{h,L}^{k} \bigl(U^{k}, {V}^{k+1/2} \bigr) :=&\frac{1}{2} \bigl\Vert V^{k+1/2} \bigr\Vert ^{2}+ \biggl(\frac{\beta _{1}}{2}-\frac{\tau ^{2}}{8} \biggr) \bigl\Vert V_{\hat{x}} ^{k+1/2} \bigr\Vert ^{2}-\frac{\beta _{2}\tau ^{2}}{8} \bigl\Vert V_{\hat{x}\hat{x}}^{k+1/2} \bigr\Vert ^{2} \\ &{}+\frac{1}{8} \bigl\Vert {U}^{k+1}+U^{k} \bigr\Vert ^{2}+\frac{\beta _{2}}{8} \bigl\Vert {U}_{ \hat{x}}^{k+1}+U_{\hat{x}}^{k} \bigr\Vert ^{2}. \end{aligned}$$

By incorporating the nonlinearity we consider the full discrete Hamiltonian

$$ H_{h}^{k} \bigl(U^{k},{V}^{k+1/2} \bigr):= H_{h,L}^{k} \bigl(U^{k}, {V}^{k+1/2} \bigr)+ \frac{1}{2}\bigl\langle F\bigl(U^{k+1}\bigr)+F \bigl(U^{k}\bigr),1 \bigr\rangle . $$

Note that the discrete Hamiltonian \(H_{h}^{k} \) approximates the exact Hamiltonian \(H(U,V)\) given in (3) with \(O(h^{2}+\tau ^{2})\) local error.

For completeness of the presentation we state the following theorem (see [17, 19]).

Theorem 7

(Conservation of the discrete Hamiltonian)

The solution to the FDS-E (14) conserves the full discrete energy \(H_{h}^{k}\) in time, i.e.

$$ H_{h}^{k} \bigl(U^{k},{V}^{k+1/2} \bigr)= H_{h}^{0} \bigl(U^{0}, {V}^{1/2} \bigr), \quad k=1,2,\ldots , K. $$

In the next theorem we study the preservation of the discrete Hamiltonian (26) over the solutions of FDS-S and FDS-M.

Theorem 8

  1. (i)

    The solution to the FDS-S (10) satisfies the following identities at each time level \(k=1,2, \ldots ,K\):

    $$\begin{aligned} H_{h,L}^{k} \bigl(U^{k},{V}^{k+1/2} \bigr)=H_{h,L}^{k-1} \bigl(U ^{k-1},{V}^{k-1/2} \bigr) +0.5 \bigl\langle f\bigl({U}^{k}\bigr),U^{k+1}-U^{k-1} \bigr\rangle . \end{aligned}$$

    Moreover, it conserves approximately with \(O(\tau ^{2})\) global error the discrete Hamiltonian \(H_{h}^{0} (U^{0},{V}^{1/2} )\), i.e.

    $$ \bigl\vert H_{h}^{K} \bigl(U^{K},{V}^{K+1/2} \bigr)-H_{h}^{0} \bigl(U ^{0},{V}^{1/2} \bigr) \bigr\vert \le \tau ^{2}T C_{5}. $$
  2. (ii)

    The solution to the FDS-M (12) satisfies the following identities at each time level \(k=1,2, \ldots ,K\):

    $$\begin{aligned} H_{h,L}^{k} \bigl(U^{k},{V}^{k+1/2} \bigr) &=H_{h,L}^{k-1} \bigl(U ^{k-1},{V}^{k-1/2} \bigr) \\ &\quad{}+ \sum_{i=1}^{N} h \frac{F(U_{i+1}^{k})-F(U_{i-1}^{k})}{{U}_{i+1} ^{k}-{U}_{i-1}^{k}} \bigl(U_{i}^{k+1}-U_{i}^{k-1} \bigr). \end{aligned}$$

    Moreover, it preserves approximately with \(O(h^{2}+\tau ^{2})\) global error the discrete Hamiltonian \(H_{h}^{0} (U^{0},{V}^{1/2} )\), i.e.

    $$ \bigl\vert H_{h}^{K} \bigl(U^{K},{V}^{K+1/2} \bigr)-H_{h}^{0} \bigl(U ^{0},{V}^{1/2} \bigr) \bigr\vert \le \bigl(h^{2}+\tau ^{2}\bigr) T C_{6}. $$


Applying \(A^{-1}\) to (11) we get

$$ A^{-1}(E+\beta _{1} A)U_{\bar{t}t}^{k}+ (E+ \beta _{2}A )U ^{k}+ f\bigl(U^{k}\bigr)=0. $$

We multiply the last equality by \(\frac{U_{i}^{k+1}-{U}_{i}^{k-1}}{2}=\frac{ \tau (U_{t,i}^{k}+U_{\bar{t},i}^{k})}{2}\), substitute the following expressions:

$$ U_{\bar{t}t}=\frac{U_{t}-U_{\bar{t}}}{\tau }, \qquad U^{k}=\frac{{U}^{k+1}+{U}^{k-1}}{2}- \frac{\tau }{2} \bigl(U_{t}^{k}-U _{\bar{t}}^{k} \bigr) $$

and sum these equalities for \(i=1\) to \(i=N\). We obtain

$$\begin{aligned} &\frac{1}{2}\biggl\langle \biggl(A^{-1}+\beta _{1} E- \frac{\tau ^{2}}{4}E-\frac{ \beta _{2}\tau ^{2}A}{4}\biggr) U_{t}^{k},U_{t}^{k} \biggr\rangle + \frac{1}{8} \bigl\Vert {U}^{k+1}+U^{k} \bigr\Vert ^{2} \\ &\quad{}+\frac{\beta _{2}}{8}\bigl\langle A \bigl({U}^{k+1}+U^{k} \bigr),{U}^{k+1}+U ^{k} \bigr\rangle \\ &\quad{}-\frac{1}{2}\biggl\langle \biggl(A^{-1} +\beta _{1} E-\frac{\tau ^{2}}{4}E-\frac{ \beta _{2}\tau ^{2}A}{4}\biggr) U_{t}^{k-1},U_{t}^{k-1} \biggr\rangle - \frac{1}{8} \bigl\Vert {U}^{k}+U^{k-1} \bigr\Vert ^{2} \\ &\quad{}-\frac{\beta _{2}}{8}\bigl\langle A \bigl({U}^{k}+U^{k-1} \bigr),{U}^{k}+U ^{k-1}\bigr\rangle + \frac{1}{2}\bigl\langle f\bigl(U^{k}\bigr),{U^{k+1}-{U}^{k-1}} \bigr\rangle =0. \end{aligned}$$

Using definition (25) and the relations \((A^{-1}U_{t},U _{t} )= (V^{k+1/2},V^{k+1/2} )\), \(U_{t}^{k}=V_{ \hat{x}}^{k+1/2}\), we get the identity (28).

In view of the equalities (27) and (28), one has to estimate from above the expression \(R^{k}\)

$$\begin{aligned} R^{k} &:= H_{h}^{k} \bigl(U^{k},{V}^{k+1/2} \bigr)-H_{h}^{k-1} \bigl(U ^{k-1},{V}^{k-1/2} \bigr) \\ &= \frac{1}{2}\bigl\langle f\bigl(U^{k}\bigr),{U^{k+1}-{U}^{k-1}} \bigr\rangle - \frac{1}{2}\bigl\langle F\bigl(U^{k+1}\bigr)-F \bigl(U^{k-1}\bigr),1 \bigr\rangle . \end{aligned}$$

We reorganize \(R^{k}\) using the definitions of functions f and F to get

$$\begin{aligned} R^{k}& =\frac{1}{2}\frac{\alpha }{p+1} \bigl\langle {U^{k+1}-{U}^{k-1}}, \\ &\quad (p+1) \bigl(U^{k}\bigr)^{p}- \bigl(U^{k+1} \bigr)^{p}- \bigl(U^{k+1}\bigr)^{p-1} U^{k-1} -\cdots - \bigl(U ^{k-1}\bigr)^{p} \bigr\rangle . \end{aligned}$$

The right-hand side term in the previous equality is very similar to the term \(S_{i}^{k}\) in (22), which was studied thoroughly in the proof of Theorem 6. Therefore we get the similar to (23) estimate

$$\begin{aligned} \bigl\vert R^{k} \bigr\vert & \le \frac{1}{2}\frac{\alpha }{p+1} \tau ^{2} \bigl\langle \bigl\vert U^{k+1}- {U}^{k-1} \bigr\vert ,1 \bigr\rangle \le \tau ^{3} \bigl( \bigl\Vert U_{t}^{k} \bigr\Vert _{L_{1,h}} + \bigl\Vert U_{ \bar{t}}^{k} \bigr\Vert _{L_{1,h}} \bigr) C_{7} < C_{8} \tau ^{3}, \end{aligned}$$

i.e. the error \(H_{h}^{k} (U^{k},{V}^{k+1/2} )-H_{h}^{k-1} (U^{k-1},{V}^{k-1/2} )\) between two consecutive values of the Hamiltonian is estimated from above by \(O(\tau ^{3})\).

We proceed as in the proof of Theorem 6, i.e. we sum the equalities (29) for \(k=1\) to K to obtain the difference between the Hamiltonian at the last time K and the Hamiltonian at the initial moment \(H_{h}^{K} (U^{K},{V}^{K+1/2} )-H_{h}^{0} (U^{0},{V}^{1/2} )\). Summing the errors between two consecutive levels obtained in (30), we get the overall error of order \(O(K \tau ^{3}) = O(T \tau ^{2})\) and complete the proof of statement (i).

The proof of statement (ii) goes the same way as the proof of Theorem 8(i) and therefore we omit it. □

We conclude that schemes FDS-S and FDS-M both conserve the discrete Hamiltonian approximately with \(O(h^{2}+\tau ^{2})\) global error.

5 Numerical results and discussion

In this section we present numerical results about the properties of the schemes FDS-S and FDS-M. Nested grids are used to estimate the accuracy and the convergence of the numerical solution to the exact one, as well as the behavior of the discrete momentum and the discrete energy. We analyze numerically the preservation of the discrete energy, computed by Eq. (26), and the discrete momentum, evaluated by (17).

In all computations the discrete mass (16) is preserved with \(O(10^{-14})\) error. Therefore the results about the mass conservation are not included in the tables.

All numerical results are obtained in the case of quadratic nonlinearity \((f(u)=\alpha u^{2})\). The proposed schemes are tested on two problems typical for the DDE:

Problem 1

(Propagation of a solitary wave)

Let the parameters of the problem (4) be \(\alpha =3\), \(\beta _{1}=1.5\), \(\beta _{2}=0.5\), \(c=2\), and the initial conditions be

$$ u(x,0)=\varphi (x,0;c), \qquad v \biggl(x,\frac{\tau }{2} \biggr)=-c\varphi \biggl(x,\frac{\tau }{2};c \biggr). $$

Here \(\varphi (x,t;c)\) is the exact solitary wave solution given by (7). The propagation of the numerical solution in time (obtained by FDS-S) is plotted on Fig. 1.

Figure 1
figure 1

The propagation of one solitary wave

Table 1 and Table 2 show the numerical results for the scheme FDS-S and for the scheme FDS-M, respectively. The numerical parameters of the FDS are \(x\in [-80,80]\), \(T=20\), \(t\in [0,T]\). The maximal differences \(\psi _{h}\) between the exact solution (7) and the numerical solutions are given in the column Error \(\psi _{h}\). The order of convergence is calculated by \(\kappa =\log _{2} (\frac{\psi _{h}}{\psi _{h/2}} )\).

Table 1 Error, energy and momentum for Problem 1 using FDS-S
Table 2 Error, energy and momentum for Problem 1 using FDS-M

In the columns Energy the discrete energy at the final time \(H_{h}^{K}\) and the absolute value of the difference between the initial energy \(H_{h}^{0}\) and the final energy \(H_{h}^{K}\), \(|H_{h}^{0}-H _{h}^{K}|\) are given.

Similarly we give the discrete momentum at the final time \(M_{h}^{K}\) and the error between the values of the momentum at the initial and the final time, \(|M_{h}^{0}-M_{h}^{K}|\), in the last two columns.

The numerical results show that the computed solution is very close to the exact one with a maximal error \(\psi _{h}\) of order 10−5 for the smallest steps \(h=\tau =0.00625\). The presented experiments show second order of convergence for both schemes.

Problem 2

(Interaction of two solitary waves)

In this example we simulate interaction of two solitary waves running in opposite directions with different velocities, \(c_{1}=1.1\) and \(c_{2}=-1.3\). The initial data of problem (4) are

$$\begin{aligned} &u(x,0)= \varphi (x+30,0;c_{1})+\varphi (x-40,0;c_{2}), \\ &v \biggl(x,\frac{\tau }{2} \biggr)= -c_{1}\varphi \biggl(x+30, \frac{ \tau }{2};c_{1} \biggr)-c_{2}\varphi \biggl(x-40, \frac{\tau }{2};c _{2} \biggr), \end{aligned}$$

and \(\alpha =3\), \(\beta _{1}=1.5\), \(\beta _{2}=0.5\). The snapshots of the numerical solution (obtained by FDS-M) at different evolution times are plotted on Fig. 2.

Figure 2
figure 2

The interaction of two solitary waves

Table 3 and Table 4 show the numerical results for the scheme FDS-S and for the scheme FDS-M, for \(x\in [-160,160]\) and \(T=80\). There is no exact solution to Problem 2, therefore the error \(\psi _{h}\) and the order of convergence κ are evaluated by the following expressions:

$$ \psi _{h/4}=\frac{ ( \Vert U_{[h]}-U_{[h/2]} \Vert )^{2}}{ \Vert U_{[h]}-U _{[h/2]} \Vert - \Vert U_{[h/2]}-U_{[h/4]} \Vert }, \qquad \kappa =\log _{2} \biggl(\frac{ \Vert U_{[h]}-U_{[h/2]} \Vert }{ \Vert U_{[h/2]}-U_{[h/4]} \Vert } \biggr). $$

The remaining quantities in Table 3 and Table 4 are the same as in Table 1 and Table 2.

Table 3 Error, energy and momentum for Problem 2 using FDS-S
Table 4 Error, energy and momentum for Problem 2 using FDS-M

The results about the error and the order of convergence are similar to those in Problem 1. The maximal error \(\psi _{h}\) is of order 10−5 for FDS-S and 10−4 for FDS-M with steps \(h=\tau =0.00625\). The energy is preserved approximately up to 10−10 for FDS-S and up to 10−9 for FDS-M.

The calculations given in Table 1 through Table 4 demonstrate the second rate of convergence \(O(h^{2}+\tau ^{2})\) of the discrete solution obtained by FDS-S or by FDS-M to the exact solution.

The scheme FDS-M conserves the discrete momentum with \(O( 10^{-10})\) accuracy for solution of Problem 1 and up to \(O( 10^{-13})\) for the solution of Problem 2.

The discrete energy is preserved with error \(O(10^{-8})\) for Problem 1 at final time \(T=20\) and with error \(O(10^{-10})\) for Problem 2 at final time \(T=80\).

Moreover, the analysis of the errors \(|M_{h}^{0}-M_{h}^{K}|\) and \(|H_{h}^{0}-H_{h}^{K}|\) on nested meshes shows that these errors decrease four times between meshes with step \(h=\tau \) and \(\frac{h}{2}=\frac{\tau }{2} \). Thus the results in Theorem 6 and Theorem 8 for approximate conservation of the discrete momentum and the discrete energy with \(O(h^{2}+\tau ^{2})\) global error are confirmed numerically.

Remark 2

As a first step in the construction of our symplectic FDS-S we approximate the continuous Hamiltonian system (4) by the semi-discrete in space Hamiltonian system (8). The discrete mass

$$ {\tilde{I_{h}^{t}}} (\mathbf{{U}})=\sum _{i=1}^{N} h U_{i}(t) $$

and the semi-discrete Hamiltonian (9) are invariants of (8). It is well-known, that linear first integrals and some quadratic first integrals of a special form are exactly preserved by the Störmer–Verlet method (see e.g. [13, Theorems 3.3 and 3.5]), while, in general, quadratic first integrals are not exactly preserved by the same method (see [13, Example 3.4]).

In our case the discrete mass is a linear first integral and, hence, it is exactly preserved (see Theorem 4). The semi-discrete Hamiltonian (9) is not a quadratic invariant of the mentioned above special form; moreover, it is nonlinear w.r.t. \(U_{i}\) due to the nonlinearity \(F(U_{i})\). Thus, one should not expect the exact preservation of the Hamiltonian (9). However, we prove in Theorem 8 that it is approximately preserved with a \(O(\tau ^{2})\) global error.

A natural approximation to the continuous momentum (6) on the semi-discrete level is

$$ \tilde{M_{h}}(\mathbf{{U,V}}) (t)=\sum _{i=1}^{N} h \bigl\{ U_{i}(t)V _{i}(t)+\beta _{1} U_{\hat{x},i}(t)V_{\hat{x},i}(t) \bigr\} . $$

Direct calculations show that \(\tilde{M_{h}}\) is not an invariant of the system (8) due to the necessity to approximate the nonlinear term \(\partial _{x}f(u)\) in (4). Hence, we do not expect that the semi-discrete momentum (31) will be exactly preserved after applying a symplectic integration method to (8). However, we prove in Theorem 6 that the solution to the symplectic scheme FDS-S approximately preserves the discrete momentum (17) with \(O(h^{2})\) global error.

6 Conclusion

Two new finite difference schemes for double dispersion equations are introduced and studied. The schemes give second order of approximation to the exact solution at the final time T. The linear stability requirement is not restrictive—it is \(\tau =O(h)\) (see (15)). The algorithm for evaluation of the numerical solution is explicit.

The scheme FDS-S preserves exactly the symplectic structure of the discrete solution and the discrete mass and conserves approximately with \(O(h^{2}+\tau ^{2})\) global error the discrete momentum and the discrete energy. The scheme FDS-M preserves exactly the discrete momentum and the discrete mass and approximately with \(O(h^{2}+\tau ^{2})\) global error the discrete energy.

Note that the discrete mass is preserved exactly by both FDS. Moreover, the schemes show good long time behavior.

The two new schemes are also compared to the early studied scheme FDS-E, which preserves exactly the discrete energy and the discrete mass.

This way we are given a variety of FDS, such that each one of them preserves two of the discrete invariants exactly and approximately with global error \(O(h^{2}+\tau ^{2})\) the remaining invariants.


  1. Aydin, A., Karasözen, B.: Symplectic and multisymplectic Lobato methods for the ‘good’ Boussinesq equation. J. Math. Phys. 49, 083509 (2008)

    Article  MathSciNet  Google Scholar 

  2. Bratsos, A.: A second order numerical scheme for the solution of the one-dimensional Boussinesq equation. Numer. Algorithms 46, 45–58 (2007)

    Article  MathSciNet  Google Scholar 

  3. Brugnano, L., Gurioli, G., Zhang, C.: Spectrally accurate energy-preserving methods for the numerical solution of the “good” Boussinesq equation. Numer. Methods Partial Differ. Equ. 35(4), 1343–1362 (2019)

    Article  Google Scholar 

  4. Cai, J., Wang, Y.: Local structure-preserving algorithms for the “good” Boussinesq equation. J. Comput. Phys. 239, 72–89 (2013)

    Article  MathSciNet  Google Scholar 

  5. Chen, M., Kong, L., Hong, Y.: Efficient structure-preserving schemes for good Boussinesq equation. Math. Methods Appl. Sci. 41(5), 1743–1752 (2018)

    Article  MathSciNet  Google Scholar 

  6. Cheng, K., Feng, W., Gottlieb, S., Wang, C.: A Fourier pseudo-spectral method for the ‘good’ Boussinesq equation with second order temporal accuracy. Numer. Methods Partial Differ. Equ. 31, 202–224 (2014)

    Article  Google Scholar 

  7. Chertock, A., Christov, C.I., Kurganov, A.: Central-upwind schemes for the Boussinesq paradigm equation. In: Computational Science and High Performance Computing IV, NNFM, vol. 113, pp. 267–281 (2011)

    Chapter  Google Scholar 

  8. Christou, M., Christov, C.I.: Fourier–Galerkin method for 2D solitons of Boussinesq equation. Math. Comput. Simul. 74, 82–92 (2007)

    Article  MathSciNet  Google Scholar 

  9. Christov, C.: Conservative difference scheme for Boussinesq model of surface water. In: Proc. ICFD 5, pp. 343–349. Oxford University Press, London (1996)

    Google Scholar 

  10. Christov, C.I.: An energy-consistent dispersive shallow-water model. Wave Motion 34, 161–174 (2001)

    Article  MathSciNet  Google Scholar 

  11. Christov, C.I., Velarde, M.: Inelastic iteration for Boussinesq solutions. Int. J. Bifurc. Chaos 4, 1095–1112 (1994)

    Article  Google Scholar 

  12. De Frutos, J., Ortega, T., Sanz-Serna, J.M.: Pseudospectral method for the “good” Boussinesq equation. Math. Comput. 57, 109–122 (1991)

    MathSciNet  MATH  Google Scholar 

  13. Hairer, E., Lubich, C., Wanner, G.: Geometric numerical integration illustrated by the Störmer–Verlet method. Acta Numer. 12, 399–450 (2003)

    Article  MathSciNet  Google Scholar 

  14. Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration (Structure-Preserving Algorithms for Ordinary Differential Equations). Springer, Berlin (2006)

    MATH  Google Scholar 

  15. Huang, L., Zeng, W., Qin, M.: A new multisymplectic scheme for nonlinear ‘good’ Bousinesq equation. J. Comput. Math. 21(6), 703–714 (2003)

    MathSciNet  MATH  Google Scholar 

  16. Kolkovska, N.: Two families of finite difference schemes for a multidimensional Boussinesq equation. AIP Conf. Proc. 1301, 395–403 (2010)

    Article  MathSciNet  Google Scholar 

  17. Kolkovska, N.: Convergence of finite difference schemes for a multidimensional Boussinesq equation. In: Numerical Methods and Applications. NMA 2010, LNCS, vol. 6046, pp. 469–476 (2011)

    Google Scholar 

  18. Kolkovska, N.: Four level conservative finite difference schemes for Boussinesq paradigm equation. AIP Conf. Proc. 1561, 68–74 (2013)

    Article  Google Scholar 

  19. Kolkovska, N., Dimova, M.: A new conservative finite difference scheme for Boussinesq paradigm equation. Cent. Eur. J. Math. 10(3), 1159–1171 (2012)

    Article  MathSciNet  Google Scholar 

  20. McLachlan, R.: Symplectic integration of Hamiltonian wave equations. Numer. Math. 66, 465–492 (1994)

    Article  MathSciNet  Google Scholar 

  21. Mehdi, D., Rezvan, S.: A meshless based numerical technique for traveling solitary wave solution of Boussinesq equation. Appl. Math. Model. 36, 1939–1956 (2012)

    Article  MathSciNet  Google Scholar 

  22. Ortega, T., Sanz-Serna, J.M.: Nonlinear stability and convergence of finite-difference methods for the “good” Boussinesq equation. Numer. Math. 58(2), 215–229 (1990)

    Article  MathSciNet  Google Scholar 

  23. Pani, A., Saranga, H.: Finite element Galerkin method for the “good” Boussinesq equation. Nonlinear Anal., Theory Methods Appl. 29, 937–956 (1997)

    Article  MathSciNet  Google Scholar 

  24. Samarsky, A.: The Theory of Difference Schemes. Dekker, New York (2001)

    Book  Google Scholar 

  25. Wang, S., Chen, G.: Cauchy problem of the generalized double dispersion equation. Nonlinear Anal., Theory Methods Appl. 64, 159–173 (2006)

    Article  MathSciNet  Google Scholar 

  26. Yan, J., Zhang, Z.: New energy-preserving schemes using Hamiltonian boundary value and Fourier pseudospectral methods for the numerical solution of the “good” Boussinesq equation. Comput. Phys. Commun. 201, 33–43 (2016)

    Article  MathSciNet  Google Scholar 

  27. Zhang, C., Huang, J., Wang, C., Yue, X.: On the operator splitting and integral equation preconditioned deferred correction methods for the “good” Boussinesq equation. J. Sci. Comput. 75, 687–712 (2018)

    Article  MathSciNet  Google Scholar 

Download references


The authors would like to thank the referees and the editor for their valuable comments and suggestions. The second author’s contribution is a part of her PhD thesis conducted at the Institute of Mathematics and Informatics of the Bulgarian Academy of Sciences.

Availability of data and materials

Not applicable.


The second author is supported by the Bulgarian National Science Fund under Grant KΠ-06-H22/2 from 2018. The first author is supported by the Bulgarian Science Fund under Grant DNTS/Russia 02/7.

Author information

Authors and Affiliations



Both authors contributed equally to all parts of the manuscript. Both authors read and approved the final manuscript.

Corresponding author

Correspondence to Natalia Kolkovska.

Ethics declarations

Competing interests

The authors declare that they have no competing interests.

Additional information

Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (, which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kolkovska, N., Vucheva, V. Invariant preserving schemes for double dispersion equations. Adv Differ Equ 2019, 216 (2019).

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI:

PACS Codes