Abstract
We study the numerical error in solitary wave solutions of nonlinear dispersive wave equations. A number of existing results for discretizations of solitary wave solutions of particular equations indicate that the error grows quadratically in time for numerical methods that do not conserve energy, but grows only linearly for conservative methods. We provide numerical experiments suggesting that this result extends to a very broad class of equations and numerical methods.
Introduction
In this work we study the behavior of numerical approximations of solitary wave solutions of nonlinear wave partial differential equations (PDEs). These solitary waves evolve in time only by translation; this translation symmetry is, in accordance with Noether’s Theorem [50], associated with a particular conserved functional of the PDE. We investigate in a broad setting the phenomenon, already studied for certain equations, that numerical methods that conserve (up to rounding errors) this functional (or the Hamiltonian of the system) exhibit much smaller errors over long times.
This behavior has been demonstrated for numerical approximations of certain solutions of Hamiltonian systems. These solutions are referred to as relative equilibria, and are those whose trajectory lies on a manifold defined by a symmetry group. For such solutions, numerical methods that exactly conserve certain invariants give rise to a leading term in the global error that grows linearly in time [25]. In contrast, for general (nonconservative) numerical solutions approximating relative equilibria, the error growth is typically quadratic (this should be contrasted with more general estimates of numerical error growth, which are typically exponential in time). This behavior has been shown for finitedimensional Hamiltonian systems [12, 14, 15, 25]. For dispersive nonlinear wave equations, it was first observed in the context of solitary wave solutions of the Kortewegde Vries (KdV) equation, by SanzSerna [72] and later by Bona et al. [11]. This behavior was eventually proved for discretizations of the KdV equation by de Frutos and SanzSerna [18].
Similar results were later obtained for solitary wave solutions of the nonlinear Schrödinger equation [24], Peregrine’s regularized long wave (RLW) equation (also known as the Benjamin–Bona–Mahoney (BBM) equation) [7, 49], and the generalized BBM equation [4, 22]. An extension to certain other dispersive wave equations, including the generalized KdV, generalized BBM, and generalized Benjamin–Ono equations, is presented in [4]. The results in [49] are purely experimental, while the remaining results just cited include proofs along with numerical demonstrations.
Most of the PDE results in this direction are specific to solitary wave solutions. The conservative discretizations that yield linear error growth also exhibit modified solitary waves [7, 22]. These are discrete solitary waves that are close to but different from the exact solitary wave solutions. The ability of these modified solitary waves to propagate discretely without changing shape or amplitude means that conservative methods are appealing for longtime simulations of solitary waves and their interactions [23]. The concept of a modified solitary wave also provides, for some systems, an intuitive rough explanation of the observed error growth rates. In a nonconservative method, the solitary wave is approximated by a wave whose amplitude grows or diminishes linearly in time. Since the speed of the solitary wave is (at least to first approximation) a linear function of the amplitude, the error in the speed of the wave also grows linearly in time. This leads to a quadratic error in the location (phase) of the wave. Meanwhile, it was shown in [4, 7, 22] that a conservative scheme yields a modified solitary wave whose amplitude and speed are constant in time (though different from those of the true solitary wave). Hence the phase error grows only linearly.
The foregoing results serve as the motivation for the present study. Here we take an experimental approach, allowing the consideration of several other dispersive wave equations as well as nondispersive hyperbolic systems that possess similar kinds of solutions. In this work we provide strong evidence that the phenomenon of linear error growth in time for conservative numerical solutions extends to a very large class of dispersive wave equations and nonlinear invariants, including invariants that are not quadratic, and even certain solutions of firstorder hyperbolic systems that have no dispersive terms.
We briefly introduce the spatial and temporal discretization methods we will use in Sect. 3. In Sect. 4, we analyze the temporal error growth of solitary wave solutions to several nonlinear dispersive wave equations. Our experimental results include the FornbergWhitham [80], CamassaHolm [13], DegasperisProcesi [19], HolmHone [36], and BBMBBM equations [9, 10]. For each of these models, we apply recentlyconstructed conservative schemes and show experimentally that they yield improved (linear) error growth when compared to nonconservative schemes for the same model. To demonstrate the importance of nonlinearity for the different error growth behaviors of conservative and nonconservative methods, we investigate a linear dispersive wave equation in Sect. 5.2. There, both kinds of methods result in the same asymptotic error growth rate, although the absolute error of the conservative method is smaller. We then go further outside the realm of available results and consider two firstorder nonlinear hyperbolic systems that have been shown to possess solitarywavelike solutions. In Sect. 6 we study the variablecoefficient psystem in one dimension, with periodically varying coefficients. Previous work on this system has noted similarities with dispersive nonlinear wave equations; see [40, 46]. In Sect. 7, we study the twodimensional shallow water equations with varying bathymetry. Finally, we summarize and discuss our results in Sect. 8.
The main contributions of this work are as follows:

1.
We illustrate via computational experiments that the favorable behavior proved for conservative numerical solutions of certain nonlinear dispersive PDEs [4, 7, 18, 24] holds for several other such PDEs.

2.
We show through numerous examples that not only do conservative schemes exhibit a better asymptotic error behavior for large times, but also a much smaller size of the global error even for short times.

3.
We show through a computational example that the condition of mass conservation, assumed in the main theorems of [7, 18], is necessary in practice (see Sect. 5.1).

4.
We demonstrate for the first time that the aforementioned favorable behavior can be observed also in the numerical solution of a system that does not possess solitary wave solutions with simple translation or rotation symmetries (see Sect. 6).

5.
We demonstrate for the first time that dramatically better error growth for conservative methods can be observed also in systems with two spatial dimensions (see Sect. 7).
The source code used to generate the results of this study is available online [67]. The numerical methods studied in this article are implemented in Julia [8] and make use of the open source library SummationByPartsOperators.jl [63], which utilizes FFTW [29] for Fourier collocation methods. We use time integration methods from [58]. The plots are generated using Matplotlib [37].
Relative equilibrium solutions
One framework for understanding the rates of error growth observed in the present work is that of relative equilibrium theory. Here we review very briefly this theory in the context of finitedimensional dynamical systems (where it is most completely developed) and Hamiltonian PDEs.
Relative equilibria are equilibria of a reduced dynamical system obtained by reduction modulo a set of symmetry groups of the original dynamical system. Relative equilibria evolve only along the manifold corresponding to the symmetry groups. In the case of finitedimensional Hamiltonian systems, each symmetry group corresponds to an invariant quantity. A relative equilibrium \(u_0\) of a Hamiltonian system with Hamiltonian \({\mathscr {H}}(u)\) and invariant quantities \({\mathscr {I}}_j(u)\) satisfies [25, Eqn. (36)]
where the values \(\lambda _i\) are Lagrange multipliers. For a relative equilibrium solution of a Hamiltonian system, perturbations in directions that lie on the manifold corresponding to the symmetry group grow linearly in time, while perturbations in other directions grow quadratically [25, Lemma 2.4]. Therefore, if a numerical method conserves the invariants corresponding to the symmetry group, the numerical error will grow only linearly in time [25, Theorem 3.2].
The situation is analogous but more involved for Hamiltonian PDEs like the dispersive wave equations considered in Sect. 4. Each of these equations can be written as a Hamiltonian system
where \({\mathscr {H}}\) is the Hamiltonian, \(\delta \) is the variational derivative, and J is a skewsymmetric operator. Each system possesses an additional invariant \({\mathscr {I}}(u)\), such that
This implies that the symmetry group of translations is associated with the invariant \({\mathscr {I}}\); the relative equilibrium condition (analogous to (1)) is
Using (2) and (3), we find that multiplying (4) on the left by J gives the equation \(\partial _t u  c\partial _x u = 0\), satisfied by translationinvariant solitary waves with speed c. Thus, for each of the equations we consider, solitary wave solutions correspond to relative equilibria, where the symmetry group is generated by translation.
It is possible to show also for these systems that numerical methods whose errors lie entirely within the appropriate manifold yield an error that grows only linearly in time; see e.g.[4, 18, 24] for examples of such analysis. Due to the condition (4), it is sufficient to conserve either \({\mathscr {H}}\) or \({\mathscr {I}}\), in order to obtain linear growth in time of the leading term in the global error [4, 18]. Rigorous results in this vein require a detailed perturbation analysis specific to the PDE in question. We do not pursue such analysis here, and focus instead on an experimental study.
We remark here that the results proving linear error growth for KdV and RLW solitary waves [7, 18] also require the assumption of mass conservation. The necessity of this assumption has not been investigated experimentally, perhaps since “sensible methods exactly conserve the mass" [18]. However, the wellknown orthogonal projection schemes can be used to conserve a nonlinear invariant at the cost of not conserving mass; in Sect. 5.1 we investigate the asymptotic error growth for such schemes.
Discretization methods
Next, we introduce the type of discretization methods employed in this article.
Spatial semidiscretizations
Proving the conservation of invariants of partial differential equations usually requires the product/chain rule and integration by parts. It is often useful to mimic the same procedure at the discrete level by using summation by parts (SBP) operators, which are constructed specifically to satisfy a discrete analogue of integration by parts. A review of the relevant theory can be found in [16, 26, 76]. Many classes of numerical methods can be formulated within the SBP framework, including finite difference [75], finite volume [52, 53], continuous Galerkin [1, 34, 35], discontinuous Galerkin [30], and flux reconstruction methods [69]. A brief review of how to formulate these methods in the SBP framework with application to structurepreserving numerical methods used in this article is given in [68].
Next, we will briefly introduce SBP operators in periodic domains in one space dimension. Extensions to multiple space dimensions can be achieved via tensor products. We consider a grid \(\pmb {x} = (x_1, \dots , x_m)\) where \(x_1 = x_\mathrm {min}\le x_2 \dots \le x_{m} = x_\mathrm {max}\). All nonlinear operations will be performed pointwise, i.e.we use a collocation approach.
Definition 3.1
Given a grid \(\pmb {x}\), a pth order accurate ith derivative matrix is a matrix that satisfies
with the convention \(\pmb {x}^0 = \pmb {1}\) and \(0 \pmb {x}^k = \pmb {0}\). We say is consistent if \(p \ge 0\).
For periodic boundary conditions (under which solutions at \(x_\mathrm {min}\) and \(x_\mathrm {max}\) are identical), integration by parts is basically a statement about the symmetry of a derivative operator with respect to the \(L^2\) scalar product. Discretely, an approximation of this scalar product is represented by a socalled mass matrix .^{Footnote 1}
Definition 3.2
A periodic firstderivative SBP operator consists of a grid \(\pmb {x}\), a consistent firstderivative matrix , and a symmetric and positivedefinite matrix such that
We will often refer to an operator as a (periodic) SBP operator if the other operators (such as the mass matrix ) are clear from the context. We always assume derivative operators are consistent, but we will usually omit this term.
Definition 3.3
A periodic secondderivative SBP operator consists of a grid \(\pmb {x}\), a consistent secondderivative matrix , and a symmetric and positivedefinite matrix such that
Definition 3.4
A periodic fourthderivative SBP operator consists of a grid \(\pmb {x}\), a consistent fourthderivative matrix , and a symmetric and positivedefinite matrix such that
In this work, we use Fourier (pseudospectral) collocation methods [28, 44] because of their efficiency and accuracy for smooth problems. This allows us to ensure, with reasonable grids, that the temporal discretization error dominates the spatial error for all of our 1D numerical tests. Nevertheless, all classes of methods within the SBP framework can be used and analyzed interchangeably to construct conservative semidiscretizations.
Time integration methods
To transfer the semidiscrete conservation results to fullydiscrete schemes, the recent relaxation approach is used [39, 64,65,66, 70]. Related ideas date back to [72, 73] and [20, pp. 265–266] but have been developed widely just recently.
Semidiscretizations reduce an initial boundary value PDE to an initial value ODE
Throughout this work we use superscripts to denote the time step, and here \(u^0\) is the initial condition. To conserve a nonlinear invariant functional J(u) discretely in a onestep method, we require \(J(u^n) = J(u^{n1}) = J(u^0)\). For a Runge–Kutta method
we define the update direction
where we use the abbreviation \(f_i := f(t_n + c_i \varDelta t, y_i)\). Since the new solution \(u^n\) will not be conservative in general, we modify the update formula (10b) by introducing a relaxation parameter \(\gamma ^n\) and use
To guarantee conservation of J, \(\gamma ^n\) is computed as root of
This scalar nonlinear equation can be solved efficiently using algorithms such as the one of [2]. By the general theory on relaxation methods, there is exactly one root \(\gamma ^n = 1 + {\mathscr {O}}(\varDelta t^{p1})\) of (13) [66, Theorem 2.14]. By construction of the relaxation parameter \(\gamma ^n\), the resulting solution \(u^{n+1}_\gamma \) conserves the invariant J. Moreover, the relaxation approach also automatically conserves linear invariants (as long as the semidiscretization conserves them), which is an important prerequisite of analytical results on linear vs. quadratic error growth in time. Finally, the solution (12) has the same local order of accuracy as that given by the original Runge–Kutta method (10).
Nonlinear dispersive wave equations
In this section, we consider several nonlinear dispersive wave equations. Each possesses an additional invariant \({\mathscr {I}}(u)\), and possesses stable solitary wave solutions that satisfy the relative equilibrium condition (4). Each equation also possesses one or more linear invariants, which are preserved by the discretizations we use. Since these invariants do not require any special numerical treatment, we do not discuss them explicitly.
For each equation we give a numerical method that conserves \({\mathscr {I}}(u)\), based on SBP operators applied to a split form of the equation. In each case, \(D_j\) always denotes a periodic jthderivative SBP operator. The matrices used for discretization of a given equation are also assumed to have in common a corresponding diagonal mass matrix M. We will sometimes require an assumption that the derivative matrices \(D_j\) commute; this will be stated explicitly when it is required.
Conservative numerical methods for these equations have been developed and analyzed in [68] using various classes of SBP operators. We will use split forms to preserve local conservation laws, since the chain and product rules cannot hold discretely for many highorder discretizations [62]. These are related to entropyconservative methods in the sense of Tadmor [77]. While certain split forms have been known for some time [71, eq. (6.40)], they are still state of the art and enable the construction of numerical methods with desirable properties [31, 61, 74, 82].
For each equation, after reviewing the Hamiltonian structure and splitform conservative spatial discretization, we present a numerical test of error growth for a solitary wave solution. The solitary wave solutions are obtained via the Petviashvili method [56] using a Fourier collocation method with \(2^{16}\) nodes. The resulting solitary wave profile is interpolated to a grid using fewer nodes and used as initial condition. A conservative semidiscretization is obtained by using Fourier collocation methods in space. This semidiscretization is integrated in time using the fifthorder accurate Runge–Kutta method of Tsitouras [78] with adaptive time stepping based on local error estimates. We show results for both this method without relaxation (nonconservative) and with relaxation in time (conservative). The errors plotted are discrete \(L^2\) errors computed using the discrete norm induced by the mass matrix , which is the identity matrix times the grid spacing for Fourier collocation methods.
Fornberg–Whitham equation
For convenience we define \(S= {\text {I}} \partial _x^2\). Then the FornbergWhitham equation [80]
with periodic boundary conditions can also be written as
where \(S_P^{1}\) is the inverse of the elliptic operator \({\text {I}} \partial _x^2\) with periodic boundary conditions. This equation possesses the Hamiltonian and additional nonlinear invariant
It can be written in the form (2) by taking \(J=\partial _x\). The discrete equivalent of \({\mathscr {I}}(u)\) is conserved by semidiscretizations of the form
where and commute [68].
Camassa–Holm equation
The CamassaHolm equation [13]
with periodic boundary conditions can also be written as
where \(\alpha \in {\mathbb {R}}\) is a parameter determining the split form [68]. This equation possesses the Hamiltonian and an additional nonlinear invariant
It can be written in the form (2) by taking \(J=\frac{1}{2}{S_P^{1}}\partial _x\). The discrete equivalent of \({\mathscr {I}}(u)\) is conserved by semidiscretizations of the form [68]
Degasperis–Procesi equation
The DegasperisProcesi equation [19]
with periodic boundary conditions can also be written as
where \(S_P^{1}\) is the inverse of the elliptic operator \({\text {I}} \partial _x^2\) with periodic boundary conditions. This equation admits (among others) the nonlinear invariants [19]
It can be written in the form (2) by taking \(J = S_P^{1} (4{\text {I}} \partial _x^2) \partial _x\). The discrete equivalent of \({\mathscr {I}}(u)\) is conserved by semidiscretizations of the form [68]
BBM–BBM system
The BBM–BBM system [5, 6, 9, 10]
with periodic boundary conditions can also be written as
This equation admits the nonlinear invariants
and can be written in the form (2) by taking
As mentioned in Sect. 2, we expect to observe linear error growth whenever the numerical method conserves either \({\mathscr {H}}(\eta , u)\) or \({\mathscr {I}}(\eta , u)\). For this example, we demonstrate this by testing methods that conserve each of these quantities separately.
The discrete equivalent \(\frac{1}{2} (\pmb {\eta }^T M \pmb {\eta } + \pmb {u}^T M (\pmb {1} + \pmb {\eta }) \pmb {u})\) of \({\mathscr {H}}(\eta , u)\) is conserved by semidiscretizations of the form
where commute [68].
Conservation of the discrete equivalent of \({\mathscr {I}}(\eta , u)\) can be achieved with the standard Galerkin method [48] or SBP methods using the split form
see Theorem 4.1 below.
Theorem 4.1
If is a periodic firstderivative SBP operator and is a periodic secondderivative SBP operator with diagonal mass matrix, then the semidiscretization (30) conserves the quadratic invariant \({\mathscr {I}}\) (defined in (28)).
Proof
Using [68, Lemma 2.28] and [68, Lemma 2.27] results in
Applying the SBP property (6) additionally and using that is diagonal yields
Finally, similar arguments based on the symmetry of with respect to the mass matrix lead to
\(\square \)
Holm–Hone equation
As our last example in this section, we consider the Holm–Hone equation [36]:
with periodic boundary conditions. It can also be written as
where \((4{\text {I}} 5 \partial _{x,P}^2 + \partial _{x,P}^4)^{1}\) is the inverse of the elliptic operator \(4{\text {I}} 5 \partial _x^2 + \partial _x^4\) with periodic boundary conditions. This equation can be written in the form (2) using the nonlinear invariant [36, 79]
Unlike the previous equations, this one appears to have no second nonlinear invariant; instead the translation symmetry is generated by the linear invariant
The relevant operator appearing in (2) is
Both the discrete equivalent of the linear invariant \({\mathscr {I}}(u)\) and the discrete equivalent of the nonlinear invariant \({\mathscr {H}}(u)\) are conserved by semidiscretizations of the form
where commute [68].
Numerical results
For each of the five equations just studied, we perform a similar numerical experiment. We use a numerically generated smooth solitary wave solution as initial condition in a periodic domain, and apply the corresponding SBP spatial discretization with Fourier collocation methods in space and Tsitouras’ fifthorder RungeKutta method [78] in time, with or without using relaxation to enforce conservation of a nonlinear invariant \({\mathscr {I}}\). Specific parameters for each simulation are shown in Table 1.
In each case, we observe approximately linear error growth for the conservative method and approximately quadratic growth for the nonconservative method, until eventually the error for the nonconservative method saturates when the exact and numerical solutions no longer overlap.
An example of the numerical solutions themselves is shown in Fig. 3, using BBM–BBM. The numerical solutions obtained using the nonconservative method have a visible amplitude error and a significant phase error. In contrast, the conservative method yields numerical solutions that are visually indistinguishable from the reference solution. Results for the other equations are similar.
For the BBM–BBM system, we also conduct numerical experiments using the discretization (30) and applying relaxation to conserve the corresponding functional. The error growth in time using this method is visually indistinguishable from that shown for the method (29). As expected, the error of the associated conservative method grows linearly in time while the error of the nonconservative method grows quadratically.
Additionally, we perform numerical experiments with nonsmooth traveling waves. While these are available in closed form for some of the nonlinear dispersive wave equations studied in this article, their reduced regularity makes it more difficult to approximate them numerically well enough in space. Note that existing analytical results about the error growth in time described in Sect. 2 are based on discretization only in time and assume exactness in space. Thus, the spatial semidiscretization must be wellresolved in order for these results to apply to fully discrete schemes.
Here, we use eighthorder accurate finite difference methods with \(2^{13}\) nodes for peakon solutions of the form \(u(t, x) = c \exp (x  c t)\) with \(c = 1.2\) of the Camassa–Holm equation [13, 45] in the periodic domain \([35, 35]\). The fifthorder Runge–Kutta method uses a local error tolerance of \(10^{7}\). The results visualized in Fig. 4 are in accordance with the expectations: We observe quadratic error growth for nonconservative methods and linear error growth for conservative methods.
Significance of linear invariants
In this section we investigate the importance of conservation of linear invariants. First, we study the behavior of a method that preserves energy but not mass for the KdV equation. Then, we consider a linear PDE in which nonlinear invariants play no role.
Projection methods: nonconservation of mass
Here we consider the propagation of a soliton solution of the KdV equation, using three methods. All three methods use the SBP spatial discretization of [65] with eighthorder accurate finite differences that is mass and energyconserving. The time discretizations are:

An IMEX RK method of [38] that conserves mass but not energy.

The corresponding relaxation method that conserves both mass and energy.

The corresponding orthogonal projection method that conserves energy but not mass.
For details on orthogonal projection, we refer to [33, Section IV.4]. A similar comparison was conducted in [65]; here we conduct a more detailed study of the error growth for the projection scheme.
Results are shown in Fig. 5. The first two methods behave as expected, in accordance with theoretical results in [18]. The projection method initially performs similar to the relaxation method. However, its error grows quadratically after some time and eventually leads to a much more inaccurate solution, in accordance with the theory of [18]. Interestingly, the large global error in total mass at late times is exhibited not primarily in a change in mass of the soliton, but in a gradual downward drift of the ambient value of u, as shown in Fig. 6. We observed a similar behavior of orthogonal projection methods also for other nonlinear dispersive wave equations such as the BBM equation.
A linear dispersive equation
As alluded to in the introduction, nonlinearity is an important condition to observe different behaviors of the error growth in time. To demonstrate that, we consider the linear dispersive equation
with periodic boundary conditions. The functionals
are invariants of solutions of (39), which are conserved by semidiscretizations of the form
Theorem 5.1
If is a periodic firstderivative SBP operator and is a periodic secondderivative SBP operator, then the semidiscretization (41) conserves the invariants (40) of (39).
Proof
Using [68, Lemma 2.28] and [68, Lemma 2.27] results in
Using the symmetry of with respect to the mass matrix and applying the SBP property (6) results in
\(\square \)
Numerical result for the analytical solution
in the domain \([x_\mathrm {min}, x_\mathrm {max}] = [1, 1]\) are shown in Fig. 7. The spatial semidiscretization using a Fourier pseudospectral method with \(N = 2^6\) nodes is integrated in time with the fifthorder accurate Runge–Kutta method of [78] and a tolerance of \(10^{5}\). While the conservative method has a significantly reduced amplitude error, the phase error of the conservative and nonconservative methods are visually indistinguishable. Consequently, the error growth rate in time for both methods is linear. This is in accordance with analytical results available for other linear equations such as hyperbolic systems with constant coefficients in periodic domains; for these equations, the error can also be bounded in time if nonperiodic domains are used and the boundary conditions are imposed appropriately [43, 51, 54, 55].
The variablecoefficient psystem
The examples in Sect. 4 all involve dispersive nonlinear wave equations with constant coefficients. The results there are in line with the results available in the literature, all of which involve similar dispersive nonlinear wave equations. We now turn to a very different kind of example that demonstrates the generality of the behavior in question. Specifically, we study a system of nonlinear firstorder hyperbolic conservation laws with spatiallyvarying coefficients. This system has no dispersive terms, and in a strict sense has no traveling wave solutions. It has been observed to possess solutions (known as “stegotons") that are similar to solitary waves, although they change shape periodically in time; see [46].
Specifically, we investigate the behavior of numerical solutions to the firstorder system
where u is the velocity, \(\varrho \) the prescribed density, \(\varepsilon \) the strain, and
the stress [46]. Here we have used notation corresponding to elasticity, but the same system arises in Lagrangian gas dynamics and is referred to as the psystem. The energy
is conserved for strong solutions of (45). Generically, solutions of this system give rise to discontinuities (shocks) and a theory of weak solutions must be invoked. If \(\varrho (x)\) and \(\sigma (\varepsilon ,x)\) do not depend explicitly on x then the system has no traveling wave solutions. However, with appropriate initial data and periodic variation of the PDE coefficients, solutions appear to be regular for all time and the energy (47) is conserved [40].
A straightforward application of an SBP operator in a periodic domain results in the semidiscretization
where \(\pmb {\sigma }\) and the division by \(\pmb {\varrho }\) are evaluated pointwise.
Theorem 6.1
Let be a periodic SBP firstderivative operator with diagonal mass matrix . Then the semidiscretization (48) conserves the total mass of \(\varepsilon \), the total mass of \(\varrho u\), and the total energy \(\eta = \int E\).
Proof
For a periodic SBP operator, the rate of change of the total masses is
Furthermore,
where \(\Sigma = \int _0^\varepsilon \sigma (s, x) \hbox {d}s\). Hence,
where we have used that the mass matrix is diagonal. \(\square \)
We use smooth coefficients given by
in the domain [0, 20]. To study the error growth in time, we construct a stegoton solution numerically using Clawpack [17, 41, 42, 47] as follows. We start with a zero initial condition and a left boundary condition given by
where \(t_0=\frac{t2.5}{2.5}\). This corresponds to a moving wall that generates a pulse that eventually becomes a train of stegotons. We solve this problem to a late time (so that the stegotons are well separated) on a highlyrefined grid, and then isolate the first resulting stegoton. For more details see [67].
Next, we use the numerically constructed singlestegoton solution as initial condition. We apply an energyconservative Fourier pseudospectral semidiscretization (48) with \(2^8\) nodes. We solve the resulting ODE system using the fifthorder Runge–Kutta method of [78] with adaptive time stepping and a tolerance of \(10^{6}\). The error growth is shown in Fig. 8 for solutions obtained with relaxation (conservative) and without relaxation (nonconservative). After an initial transient period, the error of the nonconservative scheme grows quadratically while the corresponding conservative method results in approximately linear error growth. The error of the nonconservative method starts to saturate at \(t \approx 10^4\) since the numerical and reference waves do not overlap anymore, as can be seen in Fig. 9. The numerical solutions obtained using the nonconservative method have a clearly visible phase error. In addition, the shape of the numerical solutions is deformed, in particular for u. In contrast, the phase error of the conservative method is negligible. Nevertheless, the shape of the numerical solutions has changed a bit over these very longtime simulations, and small oscillations have appeared in the tails of the solitary wave.
Although existing theory such as that reviewed in Sect. 2 cannot be applied to this system, it is perhaps not unreasonable to expect the behavior we have observed. Although stegotons are not translation invariant, they appear to be solutions of the form
where \({\tilde{u}}\) is periodic in its second argument; i.e.
where \(\varOmega =1\) is the period of the material coefficients \(\varrho (x), K(x)\). This “periodic translation invariance" may fulfill the same role as simple translation invariance. Note also that the system considered here behaves, with a certain extreme choice of coefficients, like the discrete Toda lattice [46]; for the latter system, it is known that symplectic numerical integrators exhibit linear error growth [33, pp. 413–414].
The shallow water equations
We now turn to the shallow water equations in two space dimensions. Like the last example, this is a firstorder hyperbolic system whose solutions generically develop shock discontinuities. As with the last example, the constantcoefficient equations have no traveling wave solutions; however, for appropriate initial data and varying bathymetry, numerical experiments suggest that solitary wave solutions exist [57]. Nevertheless, this example differs in important ways from all the preceding ones and from all the results available in the literature on error growth for dispersive nonlinear waves. It is a twodimensional system, and its solitary wave solutions have a twodimensional structure (localized in x and periodic in y). Aside from the theoretical complication this involves, it also imposes a practical challenge. Since the exact form of the solitary wave solutions is not known, we will need to compute an approximate solitary wave initial condition, as we did in Sect. 6. However, in this case we cannot exhaustively resolve the solution and we expect that resulting initial condition is close to, but still different from, a solitary wave.
The shallow water equations in two space dimensions with variable bathymetry b(x, y) are,
where h(x, y, t) is the water height and \(v_x(x,y,t), v_y(x,y,t)\) are the x and ycomponents of velocity, respectively. The conserved energy is
A twoparameter family of wellbalanced, energyconservative semidiscretizations of the shallow water equations with variable bathymetry was presented in [59, 60]. The semidiscretization
is a member of this family and was presented earlier in [32, 81], see also [27] for related methods.
In the following, we use the gravitational constant \(g = 9.8\) and the smooth bottom topography
in the domain \([0, 20] \times [0.5, 0.5]\) with periodic boundary conditions. Results in [57] and additional computations we have conducted indicate that a wide range of initial conditions lead to solitary waves that propagate along the x coordinate direction, transverse to the variation in bathymetry. These solitary waves have a nontrivial structure in both spatial dimensions.
To study the error growth in time, we construct a solitary wave solution as follows. Based on [57], we start with an initial condition given by
where \(\eta ^*=0.75\) and \(A=5\times 10^{2}\). After propagating the initial condition up to a final time of \(t=340\), we obtain a train of solitary waves, from which we isolate the largest wave. For more details see [67]. Next, we use the numerically constructed wave as initial condition for an energyconservative Fourier pseudospectral discretization (54) with \(2^{10}\) nodes in x and \(2^{6}\) nodes in y. We solve the resulting ODE using the fifthorder RungeKutta method of [78] with adaptive time stepping and a tolerance of \(10^{6}\). The error growth is shown in Fig. 10. In contrast to the examples considered previously, the error growth rates of both methods are sublinear. In agreement with previous results, the error of the conservative method still grows significantly slower, resulting in an error at the final time (after 15 periods) that is approximately an order of magnitude smaller.
Snapshots of the numerical solutions at the final time are shown in Figs. 11 and 12. The conservative method advects the profiles of the perturbations well, resulting in a numerical solution that is visually nearly indistinguishable from the initial profile. In contrast, the nonconservative method results in a slightly visible phase error. In addition, signs of nonlinear instabilities in the form of highfrequency oscillations start to manifest in the ymomentum and in reduced form also in the xmomentum and the total water height.
Possible reasons for error growth rates that are not linear/quadratic stem from differences relative to the other equations studied so far: this system is twodimensional, there are no known exact solitary wave solutions, and the computed initial solitary wave is still affected by small numerical errors due to the cost of fully resolving the wave in two dimensions. Additionally, the spatial resolution may not be sufficient, so spatial discretization errors may be significant in these simulations.
Although these numerical results presented for the shallow water equations do not match the linear/quadratic error growth rates of the other examples discussed previously, they still show the usefulness of conservative methods. In the current implementation, the CPU time of the conservative and nonconservative method are comparable while the accuracy differs by an order of magnitude. To obtain similarly accurate solutions using the nonconservative method would require an increased space/time resolution and hence more computational resources.
Summary and conclusions
We have studied the error growth in time of numerical solitary wave solutions of several systems of PDEs, focusing on the difference in behavior between conservative and nonconservative methods. In all cases, the general pattern is the same: conservative methods exhibit linear error growth, while nonconservative methods exhibit quadratic error growth. As one might expect based on this, the magnitude of the error itself is also much smaller for conservative methods.
We have shown that this phenomenon extends to a wide range of dispersive nonlinear wave equations, and that this behavior seems to arise when any nonlinear invariant is conserved, even if it is not quadratic (see Sect. 4.4). Furthermore, we have shown that this behavior extends to other classes of equations, including the psystem example in Sect. 6. This is remarkable in that the equations in question are nondispersive and the solutions are not traveling waves in the usual sense. Nevertheless, a similar advantage is obtained by using a conservative discretization.
This suggests that conservative methods may be much more efficient for solving wave problems that possess one or more conserved functionals. Efficiency depends also on the cost of the method, which we have not focused on here. In most previous works related to this phenomenon, energy conservation was achieved through the use of fullyimplicit Runge–Kutta time integration. With the relaxation Runge–Kutta approach, we can instead employ essentially explicit relaxation Runge–Kutta methods for nonstiff spatial discretizations, and diagonally implicit or linearly implicit (Rosenbrock) methods for stiff problems. These incur only a very small additional cost per time step (in order to solve a scalar algebraic equation). For the methods we have compared here, at least, the conservative approach using relaxation is much more efficient (in terms of computational cost for a given level of error) than the corresponding nonconservative method.
We expect that, for the nonlinear dispersive wave equations studied, a rigorous theoretical explanation of our results could be obtained by perturbation analysis similar to what has been done for other similar PDEs. It is much less clear how to obtain a theoretical justification for the results regarding variablecoefficient firstorder hyperbolic PDEs. A first step in this direction might be a study focused on finitedimensional nonautonomous Hamiltonian systems.
It is natural to ask whether the behavior studied here can be observed for more general solutions (not consisting of a single traveling wave). Some theoretical results are available for other classes of solutions; e.g. for multisoliton solutions of KdV [3] and quasiperiodic solutions of KdV [21]. An extension of the current study to more general solutions is the subject of ongoing work, and initial tests suggest a complex variety of behaviors. Nevertheless, these tests indicate that conservative methods are consistently much more accurate than their nonconservative counterparts.
Notes
The name mass matrix is common in the finite element literature. In classical articles on finite difference SBP operators, this matrix is often called a norm matrix.
References
Abgrall, R., Nordström, J., Öffner, P., Tokareva, S.: Analysis of the SBPSAT stabilization for finite element methods part I: Linear problems. J. Sci. Comput. 85(2), 1–29 (2020). https://doi.org/10.1007/s1091502001349z. arxiv:1912.08108 [math.NA]
Alefeld, G., Potra, F.A., Shi, Y.: Algorithm 748: Enclosing zeros of continuous functions. ACM Trans. Math. Softw. (TOMS) 21(3), 327–344 (1995). https://doi.org/10.1145/210089.210111
Álvarez, J., Durán, A.: Error propagation when approximating multisolitons: The KdV equation as a case study. Applied Mathematics and Computation 217(4), 1522–1539 (2010). https://doi.org/10.1016/j.amc.2009.06.033
Álvarez, J., Durán, A.: On the preservation of invariants in the simulation of solitary waves in some nonlinear dispersive equations. Commun. Nonlinear Sci. Numer. Simul. 17(2), 637–649 (2012). https://doi.org/10.1016/j.cnsns.2011.06.019
Antonopoulos, D.C., Dougalis, V.A., Mitsotakis, D.E.: Initialboundaryvalue problems for the BonaSmith family of Boussinesq systems. Adv. Differ. Equations 14(1/2), 27–53 (2009)
Antonopoulos, D.C., Dougalis, V.A., Mitsotakis, D.E.: Numerical solution of Boussinesq systems of the BonaSmith family. Appl. Numer. Math. 60(4), 314–336 (2010). https://doi.org/10.1016/j.apnum.2009.03.002
Araújo, A., Durán, A.: Error propagation in the numerical integration of solitary waves. The regularized long wave equation. Appl. Numer. Math. 36(2–3), 197–217 (2001). https://doi.org/10.1016/S01689274(99)001488
Bezanson, J., Edelman, A., Karpinski, S., Shah, V.B.: Julia, : A fresh approach to numerical computing. SIAM Rev. 59(1), 65–98 (2017). https://doi.org/10.1137/141000671. arxiv:1411.1607 [cs.MS]
Bona, J.L., Chen, M., Saut, J.C.: Boussinesq equations and other systems for smallamplitude long waves in nonlinear dispersive media. I: derivation and linear theory. J. Nonlinear Sci. 12(4),(2002). https://doi.org/10.1007/s0033200204664
Bona, J.L., Chen, M., Saut, J.C.: Boussinesq equations and other systems for smallamplitude long waves in nonlinear dispersive media: II. The nonlinear theory. Nonlinearity 17(3), 925 (2004). https://doi.org/10.1088/09517715/17/3/010
Bona, J.L., Dougalis, V.A., Karakashian, O.A.: Fully discrete Galerkin methods for the Kortewegde Vries equation. Comput. Math. Appl. 12(7), 859–884 (1986). https://doi.org/10.1016/08981221(86)900313
Calvo, M., Laburta, M., Montijano, J.I., Rández, L.: Error growth in the numerical integration of periodic orbits. Math. Comput. Simul. 81(12), 2646–2661 (2011). https://doi.org/10.1016/j.matcom.2011.05.007
Camassa, R., Holm, D.D.: An integrable shallow water equation with peaked solitons. Phys. Rev. Lett. 71(11), 1661 (1993). https://doi.org/10.1103/PhysRevLett.71.1661
Cano, B., SanzSerna, J.: Error growth in the numerical integration of periodic orbits by multistep methods, with application to reversible systems. IMA J. Numer. Anal. 18(1), 57–75 (1998). https://doi.org/10.1093/imanum/18.1.57
Cano, B., SanzSerna, J.M.: Error growth in the numerical integration of periodic orbits, with application to Hamiltonian and reversible systems. SIAM J. Numer. Anal. 34(4), 1391–1417 (1997). https://doi.org/10.1137/S0036142995281152
Chen, T., Shu, C.W.: Review of entropy stable discontinuous Galerkin methods for systems of conservation laws on unstructured simplex meshes. CSIAM Trans. Appl. Math. 1(1), 1–52 (2020). https://doi.org/10.4208/csiamam.20200003
Clawpack Development Team: Clawpack software, version 5.6.1 (2019). https://doi.org/10.5281/zenodo.3528429. http://www.clawpack.org
De Frutos, J., SanzSerna, J.M.: Accuracy and conservation properties in numerical integration: the case of the Kortewegde Vries equation. Numer. Math. 75(4), 421–445 (1997). https://doi.org/10.1007/s002110050247
Degasperis, A., Holm, D.D., Hone, A.N.: A new integrable equation with peakon solutions. Theor. Math. Phys. 133(2), 1463–1474 (2002). https://doi.org/10.1023/A:1021186408422
Dekker, K., Verwer, J.G.: Stability of RungeKutta methods for stiff nonlinear differential equations, CWI Monographs, vol. 2. NorthHolland, Amsterdam (1984)
Durán, A.: Time behaviour of the error when simulating finiteband periodic waves. The case of the KdV equation. J. Comput. Phys. 227(3), 2130–2153 (2008). https://doi.org/10.1016/j.jcp.2007.10.016
Durán, A., LópezMarcos, M.: Numerical behaviour of stable and unstable solitary waves. Appl. Numer. Math. 42(1–3), 95–116 (2002). https://doi.org/10.1016/S01689274(01)001441
Durán, A., LópezMarcos, M.: Conservative numerical methods for solitary wave interactions. Journal of Physics A: Mathematical and General 36(28), 7761 (2003). https://doi.org/10.1088/03054470/36/28/306
Durán, A., SanzSerna, J.: The numerical integration of relative equilibrium solutions. The nonlinear Schrödinger equation. IMA J. Numer. Anal. 20(2), 235–261 (2000). https://doi.org/10.1093/imanum/20.2.235
Durán, A., SanzSerna, J.M.: The numerical integration of relative equilibrium solutions. Geometric theory. Nonlinearity 11(6), 1547 (1998). https://doi.org/10.1088/09517715/11/6/008
Fernández, D.C.D.R., Hicken, J.E., Zingg, D.W.: Review of summationbyparts operators with simultaneous approximation terms for the numerical solution of partial differential equations. Comput. Fluids 95, 171–196 (2014). https://doi.org/10.1016/j.compfluid.2014.02.016
Fjordholm, U.S., Mishra, S., Tadmor, E.: Wellbalanced and energy stable schemes for the shallow water equations with discontinuous topography. J. Comput. Phys. 230(14), 5587–5609 (2011). https://doi.org/10.1016/j.jcp.2011.03.042
Fornberg, B.: On a Fourier method for the integration of hyperbolic equations. SIAM J. Numer. Anal. 12(4), 509–528 (1975). https://doi.org/10.1137/0712040
Frigo, M., Johnson, S.G.: The design and implementation of FFTW3. Proc. IEEE 93(2), 216–231 (2005). https://doi.org/10.1109/JPROC.2004.840301
Gassner, G.J.: A skewsymmetric discontinuous Galerkin spectral element discretization and its relation to SBPSAT finite difference methods. SIAM J. Sci. Comput. 35(3), A1233–A1253 (2013). https://doi.org/10.1137/120890144
Gassner, G.J., Winters, A.R., Kopriva, D.A.: Split form nodal discontinuous Galerkin schemes with summationbyparts property for the compressible Euler equations. J. Comput. Phys. 327, 39–66 (2016). https://doi.org/10.1016/j.jcp.2016.09.013
Gassner, G.J., Winters, A.R., Kopriva, D.A.: A well balanced and entropy conservative discontinuous Galerkin spectral element method for the shallow water equations. Appl. Math. Comput. 272, 291–308 (2016). https://doi.org/10.1016/j.amc.2015.07.014
Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration: StructurePreserving Algorithms for Ordinary Differential Equations, vol. 31. Springer, New York (2013)
Hicken, J.E.: Entropystable, highorder summationbyparts discretizations without interface penalties. J. Sci. Comput. 82(2), 50 (2020). https://doi.org/10.1007/s10915020011548
Hicken, J.E., Fernández, D.C.D.R., Zingg, D.W.: Multidimensional summationbyparts operators: general theory and application to simplex elements. SIAM J. Sci. Comput. 38(4), A1935–A1958 (2016). https://doi.org/10.1137/15M1038360
Holm, D.D., Hone, A.N.: Nonintegrability of a fifthorder equation with integrable twobody dynamics. Theor. Math. Phys. 137(1), 1459–1471 (2003). https://doi.org/10.1023/A:1026060924520
Hunter, J.D.: Matplotlib: A 2D graphics environment. Comput. Sci. Eng. 9(3), 90–95 (2007). https://doi.org/10.1109/MCSE.2007.55
Kennedy, C.A., Carpenter, M.H.: Additive RungeKutta schemes for convectiondiffusionreaction equations. Appl. Numer. Math. 44(1–2), 139–181 (2003). https://doi.org/10.1016/S01689274(02)001381
Ketcheson, D.I.: Relaxation RungeKutta methods: conservation and stability for innerproduct norms. SIAM J. Numer. Anal. 57(6), 2850–2870 (2019). https://doi.org/10.1137/19M1263662. arxiv:1905.09847 [math.NA]
Ketcheson, D.I., LeVeque, R.J.: Shock dynamics in layered periodic media. Commun. Math. Sci. 10(3), 859–874 (2012). https://doi.org/10.4310/CMS.2012.v10.n3.a7.. arxiv:1105.2892 [mathph]
Ketcheson, D.I., Mandli, K., Ahmadia, A.J., Alghamdi, A., Quezada de Luna, M., Parsani, M., Knepley, M.G., Emmett, M.: Pyclaw: Accessible, extensible, scalable tools for wave propagation problems. SIAM J. Sci. Comput. 34(4), C210–C231 (2012). https://doi.org/10.1137/110856976
Ketcheson, D.I., Parsani, M., LeVeque, R.J.: Highorder wave propagation algorithms for hyperbolic systems. SIAM J. Sci. Comput. 35(1), A351–A377 (2013). https://doi.org/10.1137/110830320
Kopriva, D.A., Nordström, J., Gassner, G.J.: Error boundedness of discontinuous Galerkin spectral element approximations of hyperbolic problems. J. Sci. Comput. 72(1), 314–330 (2017). https://doi.org/10.1007/s1091501703582
Kreiss, H.O., Oliger, J.: Comparison of accurate methods for the integration of hyperbolic equations. Tellus 24(3), 199–215 (1972). https://doi.org/10.3402/tellusa.v24i3.10634
Lenells, J.: Traveling wave solutions of the CamassaHolm equation. J. Differ> Equations 217(2), 393–430 (2005). https://doi.org/10.1016/j.jde.2004.09.007
LeVeque, R.J., Yong, D.H.: Solitary waves in layered nonlinear media. SIAM J. Appl. Math. 63(5), 1539–1560 (2003). https://doi.org/10.1137/S0036139902408151
Mandli, K.T., Ahmadia, A.J., Berger, M., Calhoun, D., George, D.L., Hadjimichael, Y., Ketcheson, D.I., Lemoine, G.I., LeVeque, R.J.: Clawpack: building an open source ecosystem for solving hyperbolic PDEs. PeerJ Comput. Sci. 2, e68 (2016). https://doi.org/10.7717/peerjcs.68
Mitsotakis, D., Ranocha, H., Ketcheson, D.I., Süli, E.: A conservative fullydiscrete numerical method for the regularized shallow water wave equations. SIAM J. Sci. Comput. 42,(2021). https://doi.org/10.1137/20M1364606. arXiv:2009.09641 [math.NA]
Momoniat, E.: A modified equation approach to selecting a nonstandard finite difference scheme applied to the regularized long wave equation. Abstr. Appl. Anal. 2014 (2014). https://doi.org/10.1155/2014/754543
Noether, E.: Invariante Variationsprobleme. Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen. Math. Phys. Klasse 1918, 235–257 (1918). http://eudml.org/doc/59024
Nordström, J.: Error bounded schemes for timedependent hyperbolic problems. SIAM J. Sci. Comput. 30(1), 46–59 (2007). https://doi.org/10.1137/060654943
Nordström, J., Björck, M.: Finite volume approximations and strict stability for hyperbolic problems. Appl. Numer. Math. 38(3), 237–255 (2001). https://doi.org/10.1016/S01689274(01)000277
Nordström, J., Forsberg, K., Adamsson, C., Eliasson, P.: Finite volume methods, unstructured meshes and strict stability for hyperbolic problems. Appl. Numer. Math. 45(4), 453–473 (2003). https://doi.org/10.1016/S01689274(02)002398
Öffner, P.: Error boundedness of correction procedure via reconstruction/flux reconstruction (2018). arxiv:1806.01575 [math.NA]
Öffner, P., Ranocha, H.: Error boundedness of discontinuous Galerkin methods with variable coefficients. J. Sci. Comput. 79(3), 1572–1607 (2019). https://doi.org/10.1007/s10915018009021. arxiv:1806.02018 [math.NA]
Petviashvili, V.: Equation of an extraordinary soliton (ion acoustic wave packet dispersion in plasma). Sov. J. Plasma Phys. 2, 257 (1976)
Quezada de Luna, M., Ketcheson, D.I.: Solitary water waves created by variations in bathymetry. J. Fluid Mech. 917, A45 (2021)
Rackauckas, C., Nie, Q.: DifferentialEquations.jl  A performant and featurerich ecosystem for solving differential equations in Julia. J. Open Res. Softw. 5(1), 15 (2017). https://doi.org/10.5334/jors.151
Ranocha, H.: Shallow water equations: Splitform, entropy stable, wellbalanced, and positivity preserving numerical methods. GEM Int. J. Geomath. 8(1), 85–133 (2017). https://doi.org/10.1007/s1313701600899. arxiv:1609.08029 [math.NA]
Ranocha, H.: Generalised summationbyparts operators and entropy stability of numerical methods for hyperbolic balance laws. Ph.D. thesis, TU Braunschweig (2018)
Ranocha, H.: Generalised summationbyparts operators and variable coefficients. J. Comput. Phys. 362, 20–48 (2018). https://doi.org/10.1016/j.jcp.2018.02.021. arxiv:1705.10541 [math.NA]
Ranocha, H.: Mimetic properties of difference operators: Product and chain rules as for functions of bounded variation and entropy stability of second derivatives. BIT Numer. Math. 59(2), 547–563 (2019). https://doi.org/10.1007/s1054301807367. arxiv:1805.09126 [math.NA]
Ranocha, H.: SummationByPartsOperators.jl: A Julia library of provably stable semidiscretization techniques with mimetic properties. J. Open Source Softw. 6(64), 3454 (2021). https://doi.org/10.21105/joss.03454. https://github.com/ranocha/SummationByPartsOperators.jl
Ranocha, H., Dalcin, L., Parsani, M.: Fullydiscrete explicit locally entropystable schemes for the compressible Euler and Navier–Stokes equations. Comput. Math. Appl. 80(5), 1343–1359 (2020). https://doi.org/10.1016/j.camwa.2020.06.016. arxiv:2003.08831 [math.NA]
Ranocha, H., Ketcheson, D.I.: Relaxation RungeKutta methods for Hamiltonian problems. J. Sci. Comput. 84(1),(2020). https://doi.org/10.1007/s1091502001277y. arxiv:2001.04826 [math.NA]
Ranocha, H., Lóczi, L., Ketcheson, D.I.: General relaxation methods for initialvalue problems with application to multistep schemes. Numer. Math. 146, 875–906 (2020). https://doi.org/10.1007/s00211020011584. arxiv:2003.03012 [math.NA]
Ranocha, H., Quezada de Luna, M., Ketcheson, D.I.: Dispersivewaveerrorgrowthnotebooks. On the rate of error growth in time for numerical solutions of nonlinear dispersive wave equations (2021). https://doi.org/10.5281/zenodo.4540467. https://github.com/ranocha/Dispersivewaveerrorgrowthnotebooks
Ranocha, H., Mitsotakis, D., Ketcheson, D.I.: A broad class of conservative numerical methods for dispersive wave equations. Commun. Comput. Phys. 29(4), 979–1029 (2021). https://doi.org/10.4208/cicp.OA20200119. arxiv:2006.14802 [math.NA]
Ranocha, H., Öffner, P., Sonar, T.: Summationbyparts operators for correction procedure via reconstruction. J. Comput. Phys. 311, 299–328 (2016). https://doi.org/10.1016/j.jcp.2016.02.009. arxiv:1511.02052 [math.NA]
Ranocha, H., Sayyari, M., Dalcin, L., Parsani, M., Ketcheson, D.I.: Relaxation RungeKutta methods: Fullydiscrete explicit entropystable schemes for the compressible Euler and NavierStokes equations. SIAM J. Sci. Comput. 42(2), A612–A638 (2020). https://doi.org/10.1137/19M1263480. arxiv:1905.09129 [math.NA]
Richtmyer, R.D., Morton, K.W.: Difference Methods for BoundaryValue Problems. Wiley, New York, London, Sydney (1967)
SanzSerna, J.M.: An explicit finitedifference scheme with exact conservation properties. J. Comput. Phys. 47(2), 199–210 (1982). https://doi.org/10.1016/00219991(82)900742
SanzSerna, J.M., Manoranjan, V.: A method for the integration in time of certain partial differential equations. J. Comput. Phys. 52(2), 273–289 (1983). https://doi.org/10.1016/00219991(83)900311
Shima, N., Kuya, Y., Tamaki, Y., Kawai, S.: Preventing spurious pressure oscillations in split convective form discretization for compressible flows. J. Comput. Phys. (2020). https://doi.org/10.1016/j.jcp.2020.110060
Strand, B.: Summation by parts for finite difference approximations for \(d/dx\). J. Comput. Phys. 110(1), 47–67 (1994). https://doi.org/10.1006/jcph.1994.1005
Svärd, M., Nordström, J.: Review of summationbyparts schemes for initialboundaryvalue problems. J. Comput. Phys. 268, 17–38 (2014). https://doi.org/10.1016/j.jcp.2014.02.031
Tadmor, E.: The numerical viscosity of entropy stable schemes for systems of conservation laws. I. Math. Comput. 49(179), 91–103 (1987). https://doi.org/10.1090/S00255718198708902553
Tsitouras, C.: RungeKutta pairs of order 5 (4) satisfying only the first column simplifying assumption. Comput. Math. Appl. 62(2), 770–775 (2011). https://doi.org/10.1016/j.camwa.2011.06.002
Wang, G., Yong, X., Huang, Y., Tian, J.: Symmetry, pulson solution, and conservation laws of the Holm–Hone equation. Adv. Math. Phys. 2019,(2019). https://doi.org/10.1155/2019/4364108
Whitham, G.B.: Variational methods and applications to water waves. Proc. R. Soc. Lond. Ser. A Math. Phys. Sci. 299(1456), 6–25 (1967). https://doi.org/10.1098/rspa.1967.0119
Wintermeyer, N., Winters, A.R., Gassner, G.J., Kopriva, D.A.: An entropy stable nodal discontinuous Galerkin method for the two dimensional shallow water equations on unstructured curvilinear meshes with discontinuous bathymetry. J. Comput. Phys. 340, 200–242 (2017). https://doi.org/10.1016/j.jcp.2017.03.036
Winters, A.R., Moura, R.C., Mengaldo, G., Gassner, G.J., Walch, S., Peiro, J., Sherwin, S.J.: A comparative study on polynomial dealiasing and split form discontinuous Galerkin schemes for underresolved turbulence computations. J. Comput. Phys. 372, 1–21 (2018). https://doi.org/10.1016/j.jcp.2018.06.016
Acknowledgements
We thank Prof. Ángel Durán for his insightful and very detailed comments on an early draft that helped us to improve this work, and for helping us learn the theory of relative equilibrium solutions. Research reported in this publication was supported by the King Abdullah University of Science and Technology (KAUST). Funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy EXC 2044390685587, Mathematics Münster: DynamicsGeometryStructure.
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Data availability
The source code and datasets generated and analyzed for this study are available in [67].
Additional information
This article is part of the section “Computational Approaches” edited by Siddhartha Mishra.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Ranocha, H., de Luna, M.Q. & Ketcheson, D.I. On the rate of error growth in time for numerical solutions of nonlinear dispersive wave equations. Partial Differ. Equ. Appl. 2, 76 (2021). https://doi.org/10.1007/s42985021001263
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s42985021001263
Keywords
 Invariant conservation
 Summation by parts
 Spectral collocation methods
 Relaxation schemes
 Error growth rate
Mathematics Subject Classification
 65M12
 65M70
 65M06
 65M60
 65M20
 35Q35