Abstract
In this paper we consider a spatial discretization scheme with an adaptive grid for the Nagumo PDE and establish the existence of travelling waves. In particular, we consider the time dependent spatial mesh adaptation method that aims to equidistribute the arclength of the solution under consideration. We assume that this equidistribution is strictly enforced, which leads to the non-local problem with infinite range interactions that we derived in Hupkes and Van Vleck (J Dyn Differ Eqn, 2021). Using the Fredholm theory developed in Hupkes and Van Vleck (J Dyn Differ Eqn, 2021) we setup a fixed point procedure that enables the travelling PDE waves to be lifted to our spatially discrete setting.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Our goal in this paper is to complete the program initiated in [28, 29] to analyze the impact of adaptive discretization schemes on scalar bistable reaction–diffusion PDEs of the form
In particular, for any discretization distance \(h >0\) and any \(j \in {\mathbb {Z}}\), we write \(x_{jh}(t)\) for the time-dependent location of the relevant gridpoint and \(U_{jh}(t)\) for the associated approximation for \(u\big (x_{jh}(t), t\big )\). We then study the system
in which x(t) is defined implicitly by demanding that
and imposing the boundary constraint
This means that mesh locations are determined dynamically in time so that there is equidistribution of a finite difference approximation of the arclength of the solution of (1.2). We show that this system has solutions of the form
which can be interpreted as travelling waves. For concreteness, we will use the cubic nonlinearity
throughout this introduction to explain the main ideas.
Travelling waves The pair \((\Phi ,c)\) that we construct will be close to the travelling wave \((\Phi _*, c_*)\) for the PDE (1.1). Using (1.6), this pair must satisfy the travelling wave ODE
Such solutions provide a mechanism through which the fitter biological species (corresponding to the deepest well of the potential \(- \int g_{\mathrm {cub}}\)) can become dominant throughout a spatial domain. For this reason they are sometimes referred to as invasion waves.
It is well-known that these waves play an important role in the global dynamics of (1.1). For example, using the comparison principle one can show that these waves are nonlinearly stable under a large class of perturbations [15] and that they determine the spreading speed of localized structures [42]. In addition, they have been used extensively as building blocks to construct general time dependent solutions of reaction–diffusion systems. For example, planar versions of (1.1) support (sharp) travelling corners [5, 17], expansion waves [36], scattering waves [4] and modulated waves [10] that connect periodic travelling waves of nearby frequencies.
Uniform spatial discretizations In order to set the stage, let us return to the lattice differential equation (LDE)
which can be used to describe the uniformly discretized approximants \(U_{j}(t) \sim u(jh , t)\). Mathematically speaking, the transition from (1.1) to (1.8) breaks the continuous translational symmetry of the underlying space. Indeed, (1.8) merely admits the discrete group of symmetries \(j \mapsto j + k\) with \(k \in {\mathbb {Z}}\). As a consequence, travelling wave solutions
can no longer be seen as equilibria in an appropriate comoving frame. Instead, they must be treated as periodic solutions modulo the discrete shift symmetry discussed above. The resulting challenges occur frequently in similar discrete settings and general techniques have been developed to overcome them [3, 8, 16].
Direct substitution of (1.9) into (1.8) yields the travelling wave equation
to which we again append the boundary conditions
Due to the presence of the shifted arguments such equations are known as functional differential equations of mixed type (MFDEs). Note that the unbounded second derivative operator in (1.7) has been replaced by a bounded second-difference operator. In addition, the transition \(c \rightarrow 0\) is now singular since it changes the structure of the equation. As a consequence, there is a fundamental difference between standing and moving wave solutions to (1.8).
In the anti-continuum regime \(h \gg 1\), the second-difference operator can be treated as a small perturbation to the remaining ODE. An elegant construction pioneered by Keener [31] allows one to construct standing waves for \(a \ne \frac{1}{2}\) that satisfy the boundary conditions (1.11) and block the two stable background states \(\Phi \equiv 0\) and \( \Phi \equiv 1\) from invading the domain. In particular, the shape of the potential \(-\int g_{\mathrm {cub}}\) no longer determines the sign of the wave speed. This phenomenon is often referred to as pinning or propagation failure and has attracted a considerable amount of attention [1, 9, 11, 12, 19, 24].
In the intermediate \(h \sim 1\) regime the shifted terms cannot be handled so easily and one needs to understand the full MFDE. Such equations are ill-posed as initial value problems and hence must be handled delicately. Several important tools have been developed to accomplish this, such as Fredholm theory [32] and exponential dichotomies [18, 34, 37, 38]; see [23] for a detailed overview.
Using a global homotopy argument together with the comparison principle, Mallet-Paret [33] constructed a branch of solutions \(\big (\Phi (a), c(a)\big )\) to (1.10) with (1.11), in which c(a) is unique and \(\Phi (a)\) is unique up to translation when \(c(a) \ne 0\). For the uniform spatial discretization of the FitzHugh-Nagumo PDE [28, Eq. (1.3)], a generalization of Lin’s method can be used to establish a version of the exchange Lemma for MFDEs and construct stable travelling pulses [25, 26]. Further results in this area can be found in [6, 7, 31, 33, 43] and the survey [23].
Finally, in the continuum regime \(0 < h \ll 1\) it is natural to treat the second-difference operator in (1.10) as a perturbation to the second-derivative in (1.7). Johann [30] developed a version of the implicit function theorem that can handle such singular perturbations in some settings. In addition, the spectral convergence approach developed by Bates and his coauthors in [2] can be used to study the impact of this transition directly on the linear operators involved. We used the main ideas behind this technique in [29] to provide the key linear result that underpins the nonlinear analysis in this paper.
Uniform spatial-temporal discretizations The so-called backward differentiation formula (BDF) are a family of six schemes that can be used for discretizing the temporal derivative in (1.8). These are well-known multistep methods that are appropriate for parabolic PDEs due to their numerical stability properties. As an illustration, we note that the two lowest order schemes prescribe the substitutions
in which \(\Delta t > 0\) denotes the timestep and \(t = n \Delta t\). The first scheme is also known as the backward Euler method and has the advantage that it preserves the comparison principle, unlike the five other members of the family.
In [27] we constructed fully discretized travelling wave solutions
for the coupled map lattices arising from these discretization schemes. The relevant travelling wave equations for the two lowest order schemes can be obtained by making the replacements
in the MFDE (1.10). In the first case we leveraged the comparison principle to obtain global results. We established that the c(a) relation can become multi-valued, which clearly distinguishes the fully-discrete regime from its spatially-discrete counterpart. The same behaviour occurs for the five other BDF methods, but here we only have results for small \(\Delta t > 0\). We remark that related phenomena have been observed in monostable KPP systems [35] in the presence of inhomogeneities.
These non-uniqueness results should be seen as part of the program that was initiated in [12,13,14] to study the impact of temporal and full discretization schemes on various reaction–diffusion systems. Indeed, these papers studied versions of (1.1) with various smooth and piecewise linear bistable nonlinearities. The authors used adhoc techniques to obtain rigorous, formal and first order information concerning the change in the dynamics of traveling wave solutions. In addition, in [8] the authors considered the forward-Euler scheme and used Poincaré return-maps and topological arguments to obtain the existence of fully-discretized waves.
Computational frame In [28] we showed that the dynamics of the coupled system (1.2)–(1.4) can be reduced to an equivalent system of the form
in which \({\mathcal {G}}\) is a (convoluted) nonlinear expression that we describe explicitly in Sect. 2. In order to appreciate this equation, it is insightful to transform (1.1) into a new coordinate system \((\theta , t)\) by demanding \(\theta _x = \sqrt{1 + u_x^2}\). Indeed, in these new arclength coordinates the transformed functions
can be shown [28, §1] to satisfy the nonlocal PDE
in which we use the notation \([\int _- f](\theta ) = \int _{-\infty }^\tau f(\theta ') \, d \theta '\). This coincides with the system that arises by taking the formal \(h \downarrow 0\) limit in (1.15).
In [29] we constructed a solution to (1.17) by stretching the PDE waveprofile \(\Phi _*\) into its arclength parametrized form \(\Psi _*\) and writing
Motivated by this observation, the main goal of this paper is to find solutions to (1.15) of the form
that bifurcate from the pair \((\Psi _*, c_*)\). In particular, we study the travelling wave system
posed in terms of the computational coordinate \(\tau = jh + ct \) rather than the physical coordinate \(\xi = x_j(t) + ct\) appearing in (1.5). We note that the discrete term jh now plays the role of \(\theta \).
To appreciate the advantage of this indirect approach, we note that any attempt to use \(\xi \) will lead to an equation for the waveprofile \(\Phi \) with shifts that depend on the waveprofile \(\Phi \) itself. In particular, the resulting wave equation is a state-dependent MFDE with infinite range interactions. At the moment, even state-dependent delay equations with a finite number of shifts are technically very challenging to analyze, requiring special care in the linearization procedure [41]. Indeed, linearizations typically involve higher order (continuous) derivatives, making it very hard to close fixed-point arguments.
Physical frame It turns out that there is a close relation between the two wave Ansatzes (1.5) and (1.19). In order to see this, let us assume for the moment that we have found a triplet \((\Phi , c , x)\) for which x and the function U defined in (1.5) satisfy (1.2) together with (1.3)–(1.4). Let us also assume that for each \(\vartheta \in {\mathbb {R}}\) there is a unique increasing sequence \(y_{jh;\vartheta }\) with \(y_{0;\vartheta } = \vartheta \) for which
holds for all \(j \in {\mathbb {Z}}\). This can be arranged by imposing a-priori Lipschitz bounds on \(\Phi \) and \(\Phi '\) and picking \(h > 0\) to be sufficiently small. Finally, let us assume for definiteness that \(c > 0\) and that the wave outruns the grid in the sense that \({\dot{x}}_0(t) + c> \epsilon > 0\).
A direct consequence of this inequality is that
for some \(T > 0\), which implies
The uniqueness property discussed above hence implies that
for all \(j \in {\mathbb {Z}}\). Since
we see that in fact
for all \(j \in {\mathbb {Z}}\). Taking the limit \(j \rightarrow - \infty \), the boundary conditions (1.4) imply that \(c T = h\). Exploiting the well-posedness of our dynamics in forward and backward time, we conclude that
holds for all \(j \in {\mathbb {Z}}\) and \(t \in {\mathbb {R}}\). Writing \(\Xi (\vartheta ) = x_0(\vartheta / c)\), we hence find
which implies that
for all \(j \in {\mathbb {Z}}\) and \(t \in {\mathbb {R}}\). Upon introducing the function
this allows us to obtain the representation
In fact, we show that for arbitrary solutions U to (1.15) for which \(U(t_0)\) is close to \(\Psi _*(h{\mathbb {Z}} + \vartheta )\), we indeed have the pointwise inequalities \(\left| {\dot{x}}(t_0)\right| < \left| c \right| \) whenever c is sufficiently close to \(c_*\). This can be used to show that the coordinate transformation (1.30) can be inverted, allowing us to reconstruct the profile \(\Phi (\xi )\) from \(\Psi (\tau )\).
Fixed-point setup In order to construct our travelling waves, we write \(\Psi = \Psi _* + v\) and decompose (1.20) into the form
using the linear operators \({\mathcal {L}}_h\) that were introduced in [29]. In the limit \(h \downarrow 0\), these operators reduce formally to the operator \({\mathcal {L}}_*\) associated to the linearization (1.17) around the wave (1.18). The singular nature of the transition between (1.15) and (1.17) is fully encoded in the transition between \({\mathcal {L}}_*\) and \({\mathcal {L}}_h\), which was studied at length in [29]. As a result, our analysis in this paper can be seen as the construction of a regular fixed point problem. However, there are two main challenges that need to be overcome.
The first complication is that \({\mathcal {L}}_h\) is not the ‘exact’ linearization of \({\mathcal {G}}\), which is far too complicated to handle. Instead, we recover our operator \({\mathcal {L}}_h\) after several simplification steps, which each introduce h-dependent errors that need to kept under control. In order to achieve this, we reapply the approximation framework developed in [28] in order to systematically bound the global errors that arise by modifying the individual factors of the products that appear in the definition of \({\mathcal {G}}\).
The second obstacle is that the nonlinearity \({\mathcal {G}}\) acts on sequences \(U: h{\mathbb {Z}}\rightarrow {\mathbb {R}}\), while the fixed-point problem (1.32) is formulated in terms of functions \(v \in L^2\). Since the relevant transitions between supremum and \(L^2\)-based norms cost a factor of \(h^{-1/2}\), special care must be taken to construct appropriate function spaces that allow uniform bounds for \(h \downarrow 0\). This is particularly dangerous for the terms that are quadratic in the second differences of U, which correspond roughly to the \(\int _- \gamma ^{-4} w_{\theta \theta }^2\) term in (1.17).
In fact, we need to exploit the special structure of \({\mathcal {G}}\) and take a discrete derivative of (1.32) in order to close our problem. We hence need to obtain estimates on the discrete derivative of the nonlinear residual \({\mathcal {G}}_{\mathrm {nl}}\), which requires an elaborate bookkeeping system.
Outlook We view our work here as a first step towards understanding the impact of adaptive discretization schemes on travelling waves and other patterns that exist for all time. In particular, we believe that the waves constructed here can be seen as a slow manifold for the dynamics of the full system (1.2) with the non-instantaneous gridpoint behaviour
prescribed by the MMPDE5 scheme [22] with \(\alpha =1\). Here \(\sigma > 0\) is a tunable speed parameter, which we effectively set to zero by passing to (1.3).
Using the Fredholm theory developed in [29] for the operators \({\mathcal {L}}_h\) one should be able to leverage the ideas in [40] to effectively track the fast grid-dynamics in the \(0 < \sigma \ll 1\) regime. A further step in the program would be to also handle temporal discretizations, inspired by the approach developed in [27] that we described above. Finally, we feel that it is important to understand the stability of the discretized waves under the full dynamics of the numerical scheme. To achieve this, one could follow the approach in [39] to transfer information from the operators \({\mathcal {L}}_h\) to the linearization around the actual adaptive travelling waves constructed in this paper.
To illustrate the feasability of this program, we used the MMPDELab package [20] to numerically compute the solution of the discretized system (1.2) coupled to the moving mesh scheme (1.33); see Figs. 1 and 2. Upon initializing the problem with the exact wave solution to the PDE (1.1), the system quickly converged to a modified state whereby both the location of the gridpoints and the associated solution values displayed wave-like behaviour.
We are specially interested here in the pinning phenomenon. Indeed, numerical observations indicate that the set of detuning parameters a for which \(c(a) = 0\) shrinks dramatically when using adaptive discretizations. Understanding this in a rigorous fashion would give considerable insight into the theoretical benefits of adaptive grids compared to the practical benefits of increased performance. Preliminary results in this direction can be found in [21].
Let us emphasize that the application range of our techniques does not appear to be restricted to the scalar problem (1.1) or the specific grid-update scheme (1.33) that we use. Indeed, using the framework developed in [39], it should be possible to perform a similar analysis for the FitzHugh-Nagumo equation PDE and other multi-component reaction–diffusion problems. In addition, any numerical scheme based on the arclength monitor function will share (1.3) as the instantaneous equidistribution limit.
Overview This paper is organized as follows. After formulating our main results in Sect. 2, we introduce our notational framework and recap the key contributions from [28, 29] in Sect. 3. In Sect. 4 we simplify the nonlinear functions that appear as factors in the product structure of \({\mathcal {G}}\) and obtain estimates on all the resulting errors. These estimates are used in Sect. 5 to compute tractable expressions for the linearization of \({\mathcal {G}}\) and its discrete derivative \({\mathcal {G}}^+\) around \(\Psi _*\) and obtain bounds on the residuals. We conclude in Sect. 6 by combining all these ingredients with the theory developed in [29]. In particular, we develop an appropriate fixed-point argument to construct our desired travelling waves.
In order to develop the main story in a reasonably streamlined fashion that focuses on the key ideas, we have chosen to transfer many of the tedious underlying estimates and algebraic manipulations to the appendices. In order to keep this paper as self-contained as possible, these appendices also summarize some of the fundamental auxiliary bounds that were obtained in [28, 29].
2 Main Results
The main results of this paper concern adaptive-grid discretizations of the scalar PDE
Throughout the paper, we assume that the nonlinearity g satisfies the following standard bistability condition.
-
(Hg)
The nonlinearity \(g: {\mathbb {R}}\rightarrow {\mathbb {R}}\) is \(C^3\)-smooth and has a bistable structure, in the sense that there exists a constant \(0< a < 1\) such that we have
$$\begin{aligned} g(0) = g(a) = g(1) = 0, \qquad g'(0)< 0, \qquad g'(1) < 0, \end{aligned}$$(2.2)together with
$$\begin{aligned} g(u) < 0 \hbox { for } u \in (0, a) \cup (1, \infty ), \qquad g(u) > 0 \hbox { for } u \in (-\infty ,-1) \cup (a, 1). \end{aligned}$$(2.3)
It is well-known that the PDE (2.1) admits a travelling wave solution that connects the two stable equilibria of g [15]. The key requirement in our next assumption is that this wave is not stationary, which can be arranged by demanding \(\int _0^1 g(u) \, du \ne 0\).
- (H\(\Phi _*\)):
-
There exists a wave speed \(c_* \ne 0\) and a profile \(\Phi _* \in C^5({\mathbb {R}}, {\mathbb {R}})\) that satisfies the limits
$$\begin{aligned} \lim _{\xi \rightarrow - \infty } \Phi _*(\xi ) = 0, \qquad \lim _{\xi \rightarrow + \infty } \Phi _*(\xi ) = 1 \end{aligned}$$(2.4)and yields a solution to the PDE (2.1) upon writing
$$\begin{aligned} u(x,t) = \Phi _*( x + c_* t). \end{aligned}$$(2.5)
In [28] we derived an effective equation for the dynamics of the sequence \(U(t): h {\mathbb {Z}}\rightarrow {\mathbb {R}}\) featuring in the adaptive scheme (1.2)–(1.4) for (2.1) that no longer explictly depends on the location of the gridpoints. In order to formulate this reduced equation, we recall the discrete derivatives
together with the first-order differences
and the second order analogues
This allows us to introduce the auxiliary functions
which using the notation
allows us to recall the definitions
and subsequently write
These ingredients allow us to formulate the effective reduced system [28, Eq. (2.25)] for the dynamics of (1.2)–(1.4) as
which will be the main system that we analyze in this paper.
We recall the arclength parametrization \(\xi _*(\tau )\) defined by the identity
together with the stretched waveprofile \(\Psi _*: {\mathbb {R}}\rightarrow {\mathbb {R}}\) given by
The main result of this paper states that for sufficiently small \(h > 0\), the reduced problem (2.13) admits a travelling wave solution
with \((\Psi _h, c_h) \approx (\Psi _*, c_*)\) in an appropriate sense. These waves are locally unique up to translation. We note that items (iv) and (v) use the notation \(\partial ^+_h v = h^{-1} [v(\cdot + h) -v(\cdot ) ]\) for functions v. In addition, we use the shorthands \(L^2 = L^2({\mathbb {R}};{\mathbb {R}})\) and \(H^1 = H^1({\mathbb {R}}; {\mathbb {R}})\), together with the Heaviside sequence \(H_{jh} = {\mathbf {1}}_{j \ge 0}\).
Theorem 2.1
(see Sect. 6) Suppose that (Hg) and (H\(\Phi _*\)) are satisfied. Then there exists a constant \(\delta _h > 0\) together with pairs
defined for \(0 < h \le \delta _h\), such that the following properties are satisfied.
-
(i)
For every \(0 < h \le \delta _h\) we have the limits
$$\begin{aligned} \lim _{\xi \rightarrow - \infty } \Psi _h(\xi ) = 0, \qquad \qquad \lim _{\xi \rightarrow + \infty } \Psi _h(\xi ) = 1. \end{aligned}$$(2.18) -
(ii)
For every \(0 < h \le \delta _h\) we have the strict inequality
$$\begin{aligned} \sup _{\tau \in {\mathbb {R}}} \left| \Psi _h( \tau + h) - \Psi _h(\tau ) \right| < h. \end{aligned}$$(2.19) -
(iii)
For every \(0 < h \le \delta _h\), the function \(U: {\mathbb {R}}\rightarrow \ell ^\infty (h{\mathbb {Z}}; {\mathbb {R}})\) defined by
$$\begin{aligned} U_{jh}(t) = \Psi _h(jh + c_h t) \end{aligned}$$(2.20)satisfies the inclusion
$$\begin{aligned} t \mapsto U(t) - H \in C^1\big ({\mathbb {R}}; \ell ^2(h{\mathbb {Z}}; {\mathbb {R}}) \big ). \end{aligned}$$(2.21)In addition, the identity (2.13) and the strict inequality \(\left\| \partial ^+ U(t) \right\| _\infty < 1\) both hold for all \(t \in {\mathbb {R}}\).
-
(iv)
We have \(\Psi _h - \Psi _* \in H^1\) for every \(0 < h \le \delta _h\) and the limit
$$\begin{aligned} \begin{array}{lcl} \left| c_h - c_* \right| + \left\| \Psi _h - \Psi _* \right\| _{H^1} + \left\| \partial ^+_h \big [ \Psi _h - \Psi _* \big ] \right\| _{H^1} \\ \quad + \left\| \partial ^+_h \partial ^+_h \partial ^+_h \big [ \Psi _h - \Psi _* ]\right\| _{L^2} \rightarrow 0 \end{array} \end{aligned}$$(2.22)holds as \(h \downarrow 0\).
-
(v)
Pick any \(0 < h \le \delta _h\) and consider a pair \(({\widetilde{\Psi }} , {\tilde{c}}) \in L^\infty \times {\mathbb {R}}\) that has \({\widetilde{\Psi }} - \Psi _* \in H^1\) with
$$\begin{aligned} \left| {\tilde{c}} - c_*\right| + \left\| {\widetilde{\Psi }} - \Psi _* \right\| _{H^1} + \left\| \partial ^+_h \big [{\widetilde{\Psi }} - \Psi _* \big ] \right\| _{H^1}\nonumber \\ + \left\| \partial ^+_h \partial ^+_h \partial ^+_h \big [{\widetilde{\Psi }} - \Psi _* \big ] \right\| _{L^2} < h^{3/4}. \end{aligned}$$(2.23)Then the function \({\widetilde{U}}: {\mathbb {R}}\rightarrow \ell ^\infty (h{\mathbb {Z}}; {\mathbb {R}})\) defined by
$$\begin{aligned} {\widetilde{U}}_{jh}(t) = {\widetilde{\Psi }}_h\big (jh + {\tilde{c}} t\big ) \end{aligned}$$(2.24)satisfies the inclusion
$$\begin{aligned} t \mapsto {\widetilde{U}}(t) - H \in C^0\big ({\mathbb {R}}; \ell ^2(h{\mathbb {Z}}; {\mathbb {R}}) \big ), \end{aligned}$$(2.25)together with the strict inequality \(\left\| \partial ^+ {\widetilde{U}}\right\| _\infty < 1\) for all \( t \in {\mathbb {R}}\). In addition, if \({\widetilde{U}}\) is a solution to the system (2.13) for all \(t \in {\mathbb {R}}\), then we must have
$$\begin{aligned} \big ({\widetilde{\Psi }}(\cdot ),{\tilde{c}} \big ) = \big (\Psi _h(\cdot + \vartheta ), c_h \big ) \end{aligned}$$(2.26)for some \(\vartheta \in {\mathbb {R}}\).
We emphasize that the location of the gridpoints for the waves (2.16) can be determined by using
see [28, Thm. 2.3]. In fact, our final result shows how these waves in the computational coordinates can be interpreted as wave-like objects in the original physical coordinates.
Corollary 2.2
(see Sect. 6) Consider the setting of Theorem 2.1. Then there exists a constant \(0<{\widetilde{\delta }}_h < \delta _h\) so that for all \(0 < h \le {\widetilde{\delta }}_h\) there exist pairs
that satisfy the following properties.
-
(i)
Upon writing
$$\begin{aligned} \begin{array}{lcl} x_{jh}(t) &{} = &{} jh + \Xi _h(jh + c_h t ), \\ U_{jh}(t) &{} = &{} \Psi _h(jh + c_h t) , \end{array} \end{aligned}$$(2.29)the adaptive grid equations (1.2)–(1.4) are satisfied for all \(t \in {\mathbb {R}}\).
-
(ii)
For every \(t \in {\mathbb {R}}\) and \(j \in {\mathbb {Z}}\), the functions defined in (2.29) satisfy the relation
$$\begin{aligned} U_{jh}(t) = \Phi _h\big (x_{jh}(t) + c_h t \big ). \end{aligned}$$(2.30)
We remark that if (2.16) and (2.30) both hold, simple substitutions yield the identity
In particular, the main assertion in Corollary 2.2 is that the perturbed coordinate transformation
is invertible for sufficiently small \(h > 0\), allowing us to transfer the waves back to the original physical framework.
3 Setup and Notation
In this section we recall several crucial results and notational conventions introduced in the prequel papers [28, 29]. This will ensure that the current paper can be read reasonably independently. As a preparation, we recall the sequence spaces
that were introduced in [28, §3.3], together with the higher order norms
and their counterparts
For a single fixed \(h > 0\) all these norms are naturally equivalent to the \(\ell ^2_h\)-norm or the \(\ell ^\infty _h\)-norm. The point here is that the \(h^{-1}\) factor in the definition of \(\partial ^+\) introduces a natural scaling that will allow us to formulate h-independent bounds.
In addition, we pick a reference function \(U_{\mathrm {ref};*} \in C^2({\mathbb {R}}, [0,1])\) that satisfies the properties
For any \(\kappa > 0\), this allows us to write
and introduce the subset
which is open in \(\ell ^2_h\) on account of the continuity of the difference operator and the supremum norm. We can now recall the affine subset [28, §3.4]
that captures the admissable states of the waves that we are interested in and provides adequate control on the necessary difference operators.
Indeed, for each \(U \in \Omega _{h;\kappa }\) we have the crucial bound \(\left\| \partial ^+U\right\| _{\ell ^\infty _h} \le 1 - \kappa \), which ensures that our grid points are well-defined. In addition, the norms \(\left\| \partial ^+ U\right\| _{\ell ^{2,1}_h}\), \(\left\| U\right\| _{\ell ^{\infty ;2}_h}\) and \(\left\| g(U)\right\| _{\ell ^2_h}\) are all bounded uniformly in \(h > 0\). Finally, it is possible to pick \(\epsilon _0 > 0\) and \(\kappa > 0\) in such a way that for any \(0< h < 1\) and any \(v \in H^1\) that has
we have the inclusion
for all \(\vartheta \in [0,h]\). These statements all follow from [28, Prop. 3.1-3.3]. Note that none of these estimates involve third-differences, which will always be tracked separately throughout the paper. Indeed, in Sect. 6 we explain how their special structure plays a crucial role in the proof of our main result.
3.1 Linear Operators
In [29] we analyzed several important linear operators that will turn out to be closely related to our travelling wave system (1.20). To set the stage, we recall the sequences
which are well defined for any \(U \in \Omega _{h;\kappa }\). Following [29, §5], we introduce the linear operators \(M_U: \ell ^2_h \rightarrow \ell ^2_h\) that act as
together with their twisted counterparts \(L_U: \ell ^2_h \rightarrow \ell ^2_h\) defined by
always taking \(U \in \Omega _{h;\kappa }\).
A special role is reserved for the discrete derivative \(\partial ^+M_U\), which we approximate by the linear operator
Based on the computations in [29, Prop. 5.5], this decomposition uses the expressions
that feature at most second differences of V, together with
which contains third differences that needs to be treated carefully. Several crucial bounds for these operators are collected in Proposition C.1.
We are now ready to recall the linear operator \({\mathcal {L}}_h: H^1 \rightarrow L^2\) that acts as
where we are slightly abusing notation. Indeed, recalling the discrete evaluation operator
that ‘samples’ a function f on the grid \(\vartheta + h {\mathbb {Z}}\), the identity \({\mathcal {L}}_h v = f\) should be interpreted as the statement that
holds for each \(\vartheta \in [0,h]\). We remark that the right-hand side above is continuous in \(\ell ^2_h\) as a function of \(\vartheta \) as a consequence of (A.6) and the continuity of the translation operator on \(H^1\).
The key purpose of [29] was to construct a quasi-inverse for the operator \({\mathcal {L}}_h\). Indeed, [29, Thm. 2.3] establishes the existence of two linear maps
defined for small \(h >0\), so that for each \(f \in L^2\) the pair
is the unique solution to the problem
up to a normalization condition that can be used to fix the phase of our constructed wave. The crucial point is that we obtain h-uniform bounds
which will provide the required control on the second and third differences of our travelling wave.
We remark that these difference operators cannot be replaced by the corresponding derivatives, which forces us to develop a rather delicate fixed point argument in Sect. 6. In addition, we note that the spectral convergence framework used to obtain (3.22) relies strongly on the inner product structure of \(L^2\), which explains why we do not have \(L^\infty \)-based estimates (yet). This is the reason that we go to great lengths throughout the paper to work with \(\ell ^2_h\)-bounds as much as possible. Indeed, the results in Sect. A show that these mix well with \(L^2\)-functions, unlike supremum bounds.
3.2 Error Functions
The errors that need to be controlled during our reduction steps arise from various sources that we briefly discuss here. As preparation, we recall the translation operators
and the sums and products
These allow us to recall the function
from [28, Eq. (7.28)], which measures the smoothness of U in some sense. Indeed, it becomes small whenever third differences of U can be controlled, which is the case when taking \(U = \Psi _*\).
In a similar vein, we introduce the error functions
which can be used to ‘shift’ function evaluations back and forth between neighbouring lattice sites. We note in general that overlined symbols will be used for expressions related to \({\mathcal {G}}^+\), which naturally involve higher order differences than those related to \({\mathcal {G}}\). Indeed, the nonlinearities in our problem will be controlled by the product
together with
Observe here that the supremum norms are always at least one order smaller than the highest \(\ell ^2\)-based norms. In addition, there are no squares of third-differences or products involving only supremum bounds. These facts will turn out to be crucial when passing between sequences and functions in order to apply the estimates (3.22) in Sect. 6.
Our final error functions are given by
together with its approximate first difference
The relation between these two functions is explored in Proposition C.2. We view both expressions as a measure for the difference between U and the stretched travelling wave \(\Psi _*\). Indeed, upon introducing the notation
we recall from [29, Eq. (3.4)] that \(\Psi _*\) satisfies the ODE
which resembles the continuum limit of (3.29). This can be differentiated to yield
the natural limit of (3.30).
Together with the smoothness term \({\mathcal {E}}_{\mathrm {sm}}\), the functions (3.29) and (3.30) can be used to define our final remainder terms
These are small when taking \(U = \Psi _*\) and describe the additional error contributions generated in this paper that cannot be absorbed by the terms in [28].
3.3 Initial Approximants for \({\mathcal {G}}\) and \({\mathcal {G}}^+\)
The expression (2.12) for \({\mathcal {G}}(U)\) is too convoluted for practical use, featuring third differences and double sums. It hence needs to be simplified, at the cost of introducing error terms. An initial step in this direction was performed in [28, Eq. (6.10)], where we decomposed \({\mathcal {G}}(U)\) into a number of products featuring nonlinearities from the set
which were all defined in [28, §6] and contain at most second differences. A similar decomposition was obtained for \({\mathcal {G}}^+(U) = \partial ^+ {\mathcal {G}}(U)\) in [28, Eq. (6.16)], but now with nonlinearities from the set
together with an explicit third-difference term. In addition, for each of the nonlinearities \(f \in \overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}\) we (implicitly) defined an approximation \(f_{\mathrm {apx}}(U)\) and an approximate linearization \(f_{\mathrm {lin};U}[V]\) in [28, §8].
In fact, the full definitions of the nonlinearities \(f \in \overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}\) turn out to be irrelevant for our purposes here, so there is no need to repeat them from [28, §6]. However, we do need to manipulate their approximations, which we therefore evaluate in full here by substituting the relevant expressions from [28, §7] into the definitions [28, Eq. (8.1)-(8.4)]. This yields the approximants
together with the approximate linearizations
respectively
The corresponding expressions for the two remaining second-difference operators can be copied from [28, Eq. (7.22)] and read
The expressions above were used in [28, §8.1] to define an initial approximant
for \({\mathcal {G}}(U)\), featuring the four components
for \(\# \in \{C, D\}\). In addition, we introduced the approximate linearization
by writing
and applying the analogous product-rule procedure to obtain \({\mathcal {G}}_{\#; \mathrm {lin};U;I}[V]\) for \(\# \in \{B, C, D\}\); see [28, Eq. (8.6)-(8.7)] and Sects. E.1–E.3. Treating \({\mathcal {G}}^+\) in a similar spirit, we defined initial approximants
in which we have introduced the expressions
together with
for \(\# \in \{C, D\}\). With the sole exception of
all the approximate linearizations in (3.45) can be found by applying the product-rule procedure underpinning (3.44) to the expressions (3.46)–(3.47); see [28, §8.2] and Sects. F.1–F.3.
One of our main aims in [28] was to develop a framework to control the errors that arise by these types of approximations. In particular, we needed to track the propagation of errors on the individual factors of (2.12) through the full sums and exponents. The bounds in [28, Lems. 8.1-8.3] provide a constant \(K=K(\kappa ) >0\) so that these errors satisfy
for all \(U \in \Omega _{h;\kappa }\). In addition, the nonlinear residuals
can be estimated as
for any \(U \in \Omega _{h;\kappa }\) and any \(V \in \ell ^2_h\) for which \(U + V \in \Omega _{h;\kappa }\).
These initial approximants for \({\mathcal {G}}\) and \({\mathcal {G}}^+\) are already much easier to work with than (2.12) and enabled us to establish the well-posedness of our reduced system (2.13) in [28]. However, they are still unwieldy on account of the shifts and the sums. In addition, several simplifications can be made that only become apparent when looking at the full combinations (3.41), (3.43) and (3.45). This will be the main focus of Sects. 4–5.
Convention Throughout the remainder of this paper, we use the convention that primed constants (such as \(C_1'\), \(C_2'\) etc) that appear in proofs are positive and depend only on \(\kappa \) and the nonlinearity g, unless explicitly stated otherwise.
4 Component Estimates
The first important task in this paper is to build a bridge between the linear theory described in Sect. 3.1 and the approximation framework outlined in Sect. 3.3. This requires us to refine the approximants introduced in the latter section. We carry out the first step of this procedure here, focusing our attention on the nonlinearities introduced in (3.35)–(3.36).
In particular, for any \(f \in \overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}\) we introduce the further decompositions
The expressions with the label ‘\(\mathrm {expl}\)’ are the actual explicit simplifications that will play a key role in our further computations. The label ‘\(\mathrm {sh}\)’ is used for terms which are always small, which we will be able to absorb into the error terms \({\mathcal {E}}_{\mathrm {sh}}\) and \(\overline{{\mathcal {E}}}_{\mathrm {sh}}\) defined in (3.26). Finally, the label ‘\(\mathrm {rem}\)’ is used for remainder terms that are small when using \(U = \Psi _*\).
The explicit decompositions (4.1) are provided in Sect. D. Our main contribution here is to summarize the errors that arise in a structured fashion that resembles the main spirit of the framework developed in [28, §7]. This will allow us to replace all the occurrences of \(f_{\mathrm {apx}}\) and \(f_{\mathrm {lin};U}\) in Sect. 3.3 by their refinements \(f_{\mathrm {apx};\mathrm {expl}}\) and \(f_{\mathrm {lin};U;\mathrm {expl}}\), leading to a second round of approximations \({\mathcal {G}}_{\mathrm {apx};II}\), \({\mathcal {G}}^+_{\mathrm {apx};II}\), \({\mathcal {G}}_{\mathrm {lin};U;II}\) and \({\mathcal {G}}^+_{\mathrm {lin};U;II}\).
In order to achieve this, we define a preferred exponent set
for each \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\), together with its counterpart
for each \(f \in \overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}\). This is done in such a way that we can write
for a set of bounded multi-linear maps
each defined for \(1 \le i \le N\), where we have the inclusions
for all \(1 \le j \le k_i\). Stated more informally, the \(\ell ^2_h\) norm of \({\mathcal {G}}_{\mathrm {apx};I}(U)\) can be bounded in terms of products of \(\ell ^q_2\)-norms of nonlinearities \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\), where each q is taken from the preferred set of exponents. This is the direct analogue of [28, Cor. 6.4].
A short inspection of the products (3.42), (3.46) and (3.47) readily shows that there is some freedom as to which factors should be measured in \(\ell ^2_h\). In fact, it is possible to put an \(\ell ^2_h\) norm on any chosen factor, at the price of possibly having to flip the exponent of a companion factor that has \(2 \in Q_{f; \mathrm {pref}}\) from two to infinity.
This freedom is essential to obtain sharp estimates and hence requires us to deviate from the preferred exponents from time to time. The main focus of [28, §5,§7-8] was to develop a bookkeeping framework to keep track of this procedure. We build on this investment here and follow the spirit of [28, §5.2] to define further exponent sets
for each \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}} \cup \overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}\). The first of these contains all values of q for which \(f_{\mathrm {apx}}\) maps into \(\ell ^q_h\). On the other hand, the set \(Q_{f;\mathrm {lin}}\) contains all q for which we need to evaluate the \(\ell ^q_h\)-norm of \(f_{\mathrm {lin};U;\mathrm {expl}}\) and \(f_{\mathrm {lin};U;\mathrm {sh}}\), while \(Q_{f;\mathrm {lin};\mathrm {rem}}\) contains these exponents for \(f_{\mathrm {lin};U;\mathrm {rem}}\).
In order to illustrate these points, let us consider the example
which appears (after dropping a shift for notational clarity) as a factor in the component \({\mathcal {G}}_{B;\mathrm {lin};U;I}\) that needs to be evaluated in the supremum norm; see (E.17). Our goal is to simplify this expression by writing
noting that \({\mathcal {D}}^{\diamond _-;+}_{\mathrm {apx}}\) is not simplified further; see Sect. D. Exploiting the fact that \({\mathcal {Y}}_{2;\mathrm {apx};\mathrm {sh}} = 0\), a short computation readily yields the decomposition
where we have introduced the terms
We note here that the preferred exponent sets are defined in (D.12), (D.19) and (D.30) and given by
Recalling the remainder function introduced in (3.34), we may readily use these preferred exponents to compute
Here we use property (4.33) below with \(q =\infty \) (see (D.36)) together with the a-priori bounds (4.21). For the second term we can use the same properties, but now with \(q = 2\) (see (D.36)). In particular, we obtain
Note that this required us to swap the first two exponents, which is made possible by the demand \(\infty \in Q_f\) for each \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\); see Proposition 4.1.
This swap is also required for the final term, which can be controlled by
Indeed, simply using \(\ell ^\infty _h\) on the middle factor would lead to a contribution proportional to \(\left\| V\right\| _{\ell ^\infty _h}\); see the third line of (D.32). Such a term would lead to problems in Sect. 6 and hence is not contained in \({\mathcal {E}}_{\mathrm {rem};U}\). This scenario is covered in our structural results below by using options (b) from both Proposition 4.2 and 4.3. We feel that this relatively small example already clearly illustrates the benefits of utilizing an abstract bookkeeping scheme instead of direct estimates.
4.1 Summary of Estimates
In order to state our results, we introduce the expressions
together with
and finally
These expressions are all related to the size of the \(f_{\mathrm {apx}}\) functions and play a very similar role as the quantities \(S_{\mathrm {full}}\) and \(S_{2;\mathrm {fix}}\) that were defined in [28, §7]. In particular, the ‘full’ terms correspond to all the exponents that we need to use, while the ‘fix’ expressions reflect the contributions that are only allowed to be evaluated in \(\ell ^2_h\); see (4.26).
In addition, we recall the quantities
that are associated to the approximate linearizations \(f_{\mathrm {lin}}\). Here \(T_{\infty ;\mathrm {opt}}\) represents the contributions where the use of the supremum norm is optional, in the sense that they could also be measured in \(\ell ^2_h\). The remaining contributions are all reflected in \(T_{\mathrm {safe}}\). We emphasize that the main point of our bookkeeping scheme is to ensure that products of the form \(S_{\#;\mathrm {full}} T_{\infty ;\mathrm {opt}}\) are never needed, where \(\# \in \{ \mathrm {sh},\mathrm {rem},\mathrm {diff} \}\).
Our main results summarize the structure that the decompositions described in Sect. D will adhere to. Propositions 4.1 and 4.2 state that the approximants \(f_{\mathrm {apx};\#}\) are all uniformly bounded and that the full linear approximants \(f_{\mathrm {lin};U}\) share the structure and estimates of the nonlinearities in the sets \({\mathcal {S}}_{\mathrm {nl}} \cup \overline{{\mathcal {S}}}_{\mathrm {nl}}\) analyzed in [28]. These can be interpreted as the counterparts of [28, Cor. 7.6 and 7.8]. On the other hand, Propositions 4.3-4.4 should be seen as the equivalents of [28, Cor. 7.7], while Propositions 4.5-4.6 are the equivalents of [28, Cor. 7.9].
Proposition 4.1
(see Sect. D) For every \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\) we have \(\infty \in Q_f\) together with
In addition, there exists \(K > 0\) so that for each \(q \in Q_f\), the bound
holds for all \(h > 0\) and \(U \in \Omega _{h;\kappa }\). The same properties hold upon replacing \(({\mathcal {S}}_{\mathrm {nl};\mathrm {short}}, Q_{f;\mathrm {pref}})\) by \((\overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}, {\overline{Q}}_{f;\mathrm {pref}})\).
Proposition 4.2
(see Sect. D) Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). For any \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\), any \(\# \in \{\mathrm {expl},\mathrm {sh},\mathrm {rem}\}\) and any \(q \in Q_{f;\mathrm {pref}}\), at least one of the following two properties hold true.
-
(a)
There exists \(K > 0\) so that
$$\begin{aligned} \left\| f_{\mathrm {lin};U;\#}[V]\right\| _{\ell ^q_h} \le K T_{\mathrm {safe}}(V) \end{aligned}$$(4.22)holds for every \(h> 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\).
-
(b)
We have \(q = \infty \) and there exists \(K > 0\) so that the bounds
$$\begin{aligned} \begin{array}{lcl} \left\| f_{\mathrm {lin};U;\#}[V]\right\| _{\ell ^2_h} &{} \le &{} K T_{\mathrm {safe}}(V), \\ \left\| f_{\mathrm {lin};U;\#}[V]\right\| _{\ell ^\infty _h} &{} \le &{} K T_{\infty ;\mathrm {opt}}(V) \end{array} \end{aligned}$$(4.23)hold for every \(h> 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\).
The same properties hold upon making the replacement
Proposition 4.3
(see Sect. D) Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). Then there exists \(K > 0\) so that for every \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\), \(q \in Q_{f;\mathrm {pref}}\) and \(\# \in \{\mathrm {sh}, \mathrm {rem}\}\), we have
for any \(h > 0\) and \(U \in \Omega _{h;\kappa }\).
In addition, if \(2 \in Q_{f;\mathrm {pref}}\) then for every \(\# \in \{\mathrm {sh}, \mathrm {rem}\}\) at least one of the following two properties hold true.
-
(a)
There exists \(K > 0\) so that
$$\begin{aligned} \begin{array}{lcl} \left\| f_{\mathrm {apx};\#}(U)\right\| _{\ell ^2_h}\le & {} K S_{\#;2;\mathrm {fix}}(U) \end{array} \end{aligned}$$(4.26)holds for every \(h > 0\) and \(U \in \Omega _{h;\kappa }\).
-
(b)
There exists \(K>0\) so that
$$\begin{aligned} \begin{array}{lcl} \left\| f_{\mathrm {apx};\#}(U)\right\| _{\ell ^\infty _h} &{} \le &{} K S_{\#;\mathrm {full}}(U) \\ \end{array} \end{aligned}$$(4.27)holds for every \(h > 0\) and \(U \in \Omega _{h;\kappa }\).
The same properties hold upon making the replacement
Proposition 4.4
(see Sect. D) Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). Then there exists \(K > 0\) so that for every \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\), \(q \in Q_{f;\mathrm {pref}}\) and \(\# \in \{\mathrm {expl},\mathrm {sh}, \mathrm {rem}\}\), we have
for any \(h > 0\) and any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\).
In addition, if \(2 \in Q_{f;\mathrm {pref}}\), then for every \(\# \in \{\mathrm {expl},\mathrm {sh}, \mathrm {rem}\}\) at least one of the following two properties hold true.
-
(a)
There exists \(K > 0\) so that
$$\begin{aligned} \begin{array}{lcl} \left\| f_{\mathrm {apx};\#}(U^{(2)} ) - f_{\mathrm {apx};\#}(U^{(1)} ) \right\| _{\ell ^2_h}\le & {} K S_{\mathrm {diff};2;\mathrm {fix}}(U^{(1)} , U^{(2)}) \end{array} \end{aligned}$$(4.30)holds for every \(h > 0\) and any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\).
-
(b)
There exists \(K>0\) so that
$$\begin{aligned} \begin{array}{lcl} \left\| f_{\mathrm {apx};\#}(U^{(2)} ) - f_{\mathrm {apx};\#}(U^{(1)} ) \right\| _{\ell ^\infty _h} &{} \le &{} K S_{\mathrm {diff};\mathrm {full}}(U^{(1)} , U^{(2)}) \\ \end{array} \end{aligned}$$(4.31)holds for every \(h > 0\) and any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\).
Proposition 4.5
(see Sect. D) Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). Consider any \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\) and any \(\# \in \{\mathrm {sh}, \mathrm {rem}\}\). Then if \(2 \in Q_{f;\mathrm {pref}}\), there exists a constant \(K > 0 \) so that
holds for all \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) for which \(U + V \in \Omega _{h;\kappa }\).
Otherwise, there exists \(q \in \{2, \infty \}\) together with a constant \(K > 0\) so that
holds for all \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) for which \(U + V \in \Omega _{h;\kappa }\). The same properties hold upon making the replacement
Proposition 4.6
(see Sect. D)
Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). Consider any \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\) and any \(\# \in \{\mathrm {expl},\mathrm {sh}, \mathrm {rem}\}\). Then if \(2 \in Q_{f;\mathrm {pref}}\), there exists a constant \(K > 0 \) so that
holds for all \(h > 0\), any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\).
Otherwise, there exists \(q \in \{2, \infty \}\) together with a constant \(K > 0\) so that
holds for all \(h > 0\), any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\).
4.2 Refined Approximants for \({\mathcal {G}}\) and \({\mathcal {G}}^+\)
We now introduce the expressions
for \(\# \in \{A, B, C, D\}\) respectively \(\#' \in \{A'b, A'c, B', C', D'\}\) by inspecting the definitions of their predecessors labelled by I in Sect. 3.3 (see (3.42), (3.43) and (3.46)) and making the replacements
for each \(f \in {\mathcal {S}}_{\mathrm {nl};\mathrm {short}}\cup \overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}\). The full explicit forms can be found in Sects. E–F, but are not important for our purposes here. We leave the expressions for \(A'a\) intact and simply write
Our interest here is in the refined approximants
and the corresponding linearizations
In particular, the results below describe the residuals that arise when replacing the initial approximants defined in (3.41), (3.43) and (3.45) by these refined versions. Since our bookkeeping framework has the same overall structure as in [28], we can reuse the analysis developed there in a streamlined fashion.
Lemma 4.7
Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) together with sequences
defined for every \(h > 0\) and \(U \in \Omega _{h;\kappa }\), so that the following properties hold true.
-
(i)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the identities
$$\begin{aligned} {\mathcal {G}}_{\mathrm {apx};I}(U)= & {} {\mathcal {G}}_{\mathrm {apx};II}(U) + {\mathcal {G}}_{\mathrm {apx};\mathrm {sh};a}(U) + {\mathcal {G}}_{\mathrm {apx};\mathrm {rem};a}(U), \nonumber \\ {\mathcal {G}}^+_{\mathrm {apx};I}(U)= & {} {\mathcal {G}}^+_{\mathrm {apx};II}(U) + {\mathcal {G}}^+_{\mathrm {apx};\mathrm {sh};a}(U) + {\mathcal {G}}^+_{\mathrm {apx};\mathrm {rem};a}(U). \end{aligned}$$(4.43) -
(ii)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}_{\mathrm {apx};\mathrm {sh};a}(U) \right\| _{\ell ^2_h}\le & {} K S_{\mathrm {sh};\mathrm {full}}(U),\nonumber \\ \left\| {\mathcal {G}}_{\mathrm {apx};\mathrm {rem};a}(U) \right\| _{\ell ^2_h}\le & {} K S_{\mathrm {rem};\mathrm {full}}(U) , \end{aligned}$$(4.44)together with
$$\begin{aligned} \left\| {\mathcal {G}}^+_{\mathrm {apx};\mathrm {sh};a}(U) \right\| _{\ell ^2_h}\le & {} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) , \nonumber \\ \left\| {\mathcal {G}}^+_{\mathrm {apx};\mathrm {rem};a}(U) \right\| _{\ell ^2_h}\le & {} K {\overline{S}}_{\mathrm {rem};\mathrm {full}}(U) . \end{aligned}$$(4.45)
Proof
Restricting ourselves to \({\mathcal {G}}\), we consider a single term of the sum (4.4). Dropping the index i, we introduce the corresponding expression
Recalling the general identity
and its extensions, we write
for \(\# \in \{\mathrm {sh}, \mathrm {rem}\}\) and observe that
We now use (4.21) together with Proposition 4.3 to derive the bound
The desired estimates now follow from the fact that \({\mathcal {G}}_{\mathrm {apx};I}(U) - {\mathcal {G}}_{\mathrm {apx};II}(U)\) can be written as a sum of expressions of the form (4.46). \(\square \)
Lemma 4.8
Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) together with linear maps
and their counterparts
defined for all \(h > 0\) and \(U \in \Omega _{h;\kappa }\), so that the following properties hold true.
-
(i)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the identities
$$\begin{aligned} {\mathcal {G}}_{\mathrm {lin};U;I}[V]= & {} {\mathcal {G}}_{\mathrm {lin};U;II}[V] + {\mathcal {G}}_{\mathrm {lin};U;\mathrm {sh};a}[V] + {\mathcal {G}}_{\mathrm {lin};U;\mathrm {rem};a}[V] , \nonumber \\ {\mathcal {G}}^+_{\mathrm {lin};U;I}[V]= & {} {\mathcal {G}}^+_{\mathrm {lin};U;II}[V] + {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {sh};a}[V] + {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {rem};a}[V] . \end{aligned}$$(4.53) -
(ii)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}_{\mathrm {lin};U;\mathrm {sh};a}[V] \right\| _{\ell ^2_h}\le & {} K {\mathcal {E}}_{\mathrm {sh};U}(V) , \nonumber \\ \left\| {\mathcal {G}}_{\mathrm {lin};U;\mathrm {rem};a}[V] \right\| _{\ell ^2_h}\le & {} K {\mathcal {E}}_{\mathrm {rem};U}(V) , \end{aligned}$$(4.54)together with
$$\begin{aligned} \left\| {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {sh};a}[V] \right\| _{\ell ^2_h}\le & {} K \overline{{\mathcal {E}}}_{\mathrm {sh};U}(V) , \nonumber \\ \left\| {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {rem};a}[V] \right\| _{\ell ^2_h}\le & {} K \overline{{\mathcal {E}}}_{\mathrm {rem};U}(V) . \end{aligned}$$(4.55) -
(iii)
For every \(h > 0\), any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\), we have the bound
$$\begin{aligned} \begin{array}{lcl} \left\| {\mathcal {G}}_{\mathrm {lin};U^{(2)};\mathrm {rem};a}[V] - {\mathcal {G}}_{\mathrm {lin};U^{(1)};\mathrm {rem};a}[V] \right\| _{\ell ^2_h} &{} \le &{} K {\mathcal {E}}_{\mathrm {prod}}(U^{(2)} - U^{(1)} , V) . \\ \end{array} \end{aligned}$$(4.56)
Proof
Restricting ourselves to \({\mathcal {G}}\), we again consider a single term of the sum (4.4). Dropping the index i, we introduce the two corresponding expressions
Writing
for \(\# \in \{\mathrm {sh}, \mathrm {rem}\}\), we see that
Following the same reasoning used to obtain [28, Eq. (8.15)], we may use Propositions 4.2 and 4.3 to derive the bound
Indeed, contributions of type \(T_{\infty ;\mathrm {opt}}(V) S_{\#;\mathrm {full}}(U)\) can be avoided by deviating from the preferred exponents judiciously.
In addition, following the arguments used to derive [28, Eq. (8.12)], we may use Proposition 4.5 to obtain the bound
Writing
we easily see that
Arguing as above, Proposition 4.6 yields
while Propositions 4.2 and 4.4 imply
Finally, we write
We note that \(\Delta _{a}\) consists of sums of expressions that arise from \(\Delta _{b;i}\) and \(\Delta _{b;ii}\) after replacing \(f_{1;\mathrm {lin};U^{(i)};\mathrm {rem}}\) by \(f_{1;\mathrm {lin};U^{(i)}}\) and each occurrence of \(f_{j;\mathrm {apx};\mathrm {expl}}\) by an element of the set
We can hence again use Propositions 4.2, 4.4 and 4.6 to conclude that \(\left\| \Delta _a\right\| _{\ell ^2_h}\) can be bounded by terms that have already appeared above. The desired bounds now follow from the fact that \({\mathcal {G}}_{\mathrm {lin};U;I}[V] - {\mathcal {G}}_{\mathrm {lin};U;II}[V]\) can be written as a sum of expressions of the form \({\mathcal {I}}_{\pi ;a} + {\mathcal {I}}_{\pi ;b}\), together with their obvious permutations. \(\square \)
5 Estimates for \({\mathcal {G}}\) and \({\mathcal {G}}^+\)
In this section we exploit the component estimates from Sect. 4 to analyze the function \({\mathcal {G}}\) defined in (2.12), together with its first difference \({\mathcal {G}}^+\). In particular, recalling the operator \(L_U\) defined in (3.12), we introduce our final approximants
and write
together with
Using the discrete calculus outlined in Sect. A, one may readily verify the identities
Our main result quantifies the approximation errors in terms of the functions \({\mathcal {E}}_{\mathrm {sh};U}\), \({\mathcal {E}}_{\mathrm {rem};U}\) and \({\mathcal {E}}_{\mathrm {prod}}\) and their counterparts \(\overline{{\mathcal {E}}}_{\mathrm {sh};U}\), \(\overline{{\mathcal {E}}}_{\mathrm {rem};U}\) and \(\overline{{\mathcal {E}}}_{\mathrm {prod};U}\) defined in (3.26), (3.27), (3.28) and (3.34). For convenience, we also reference the quantities (4.16)–(4.17).
Proposition 5.1
Suppose that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). Then there exists \(K > 0\) so that the following properties hold.
-
(i)
For every \(h > 0\) and \(U \in \Omega _{h; \kappa }\) we have
$$\begin{aligned} \left\| {\mathcal {G}}(U) - {\mathcal {G}}_{\mathrm {apx}}(U) \right\| _{\ell ^2_h}\le & {} K\big [ h + \left\| {\mathcal {E}}_{\mathrm {tw}}(U)\right\| _{\ell ^2_h} + \left\| {\mathcal {E}}_{\mathrm {tw}}(U)\right\| _{\ell ^\infty _h} \big ], \nonumber \\= & {} K S_{\mathrm {sh};\mathrm {full}} + K S_{\mathrm {rem};\mathrm {full}} \nonumber \\ \left\| {\mathcal {G}}^+(U) - {\mathcal {G}}^+_{\mathrm {apx}}(U) \right\| _{\ell ^2_h}\le & {} K h \big [ 1 + \left\| \partial ^+ \partial ^+ \partial ^+ U\right\| _{\ell ^2_h} + \left\| \partial ^+ \partial ^+ \partial ^+ U\right\| _{\ell ^\infty _h} \big ] \nonumber \\&\qquad + K \big [ \left\| {\mathcal {E}}_{\mathrm {tw}}(U)\right\| _{\ell ^2_h} + \left\| {\mathcal {E}}_{\mathrm {tw}}(U)\right\| _{\ell ^\infty _h} + \left\| \partial ^+ {\mathcal {E}}_{\mathrm {tw}}(U)\right\| _{\ell ^2_h} \big ] \nonumber \\= & {} K {\overline{S}}_{\mathrm {sh};\mathrm {full}} + K {\overline{S}}_{\mathrm {rem};\mathrm {full}}. \end{aligned}$$(5.5) -
(ii)
For any \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) for which \(U + V \in \Omega _{h;\kappa }\), we have the estimates
$$\begin{aligned} \left\| {\mathcal {G}}_{\mathrm {nl};U}(V) \right\| _{\ell ^2_h}\le & {} K {\mathcal {E}}_{\mathrm {prod}}( V, V) + K {\mathcal {E}}_{\mathrm {sh};U}(V) + K {\mathcal {E}}_{\mathrm {rem};U}(V), \nonumber \\ \left\| {\mathcal {G}}^+_{\mathrm {nl};U}(V) \right\| _{\ell ^2_h}\le & {} K \overline{{\mathcal {E}}}_{\mathrm {prod};U}( V, V) + K h \overline{{\mathcal {E}}}_{\mathrm {sh};U}(V) + K \overline{{\mathcal {E}}}_{\mathrm {rem};U}(V) . \end{aligned}$$(5.6) -
(iii)
Consider any \(h > 0\), \(U \in \Omega _{h;\kappa }\) and any pair \((V^{(1)}, V^{(2)} ) \in \ell ^2_h \times \ell ^2_h\) for which the inclusions \(U + V^{(1)} \in \Omega _{h;\kappa }\) and \(U + V^{(2)} \in \Omega _{h;\kappa }\) both hold. Then we have the Lipschitz estimate
$$\begin{aligned} \left\| {\mathcal {G}}_{\mathrm {nl};U}(V^{(2)}) - {\mathcal {G}}_{\mathrm {nl};U}(V^{(1)}) \right\| _{\ell ^2_h}\le & {} K {\mathcal {E}}_{\mathrm {prod}}(V^{(1)}, V^{(2)} - V^{(1)} ) + K {\mathcal {E}}_{\mathrm {prod}}(V^{(2)}, V^{(2)} - V^{(1)} ) \nonumber \\&+ K {\mathcal {E}}_{\mathrm {sh};U} ( V^{(2)} - V^{(1)} ) + K {\mathcal {E}}_{\mathrm {rem};U}(V^{(2)} - V^{(1)} ) . \end{aligned}$$(5.7)
5.1 Refinement Strategy
We recall the refined approximants \({\mathcal {G}}_{\mathrm {apx};II}(U)\) and \({\mathcal {G}}_{\mathrm {lin};U;II}[V]\) that we defined in Sect. 4.2. The main task in this section is to track the errors that accumulate as we reduce these expressions even further to our relatively simple approximants (5.1). In contrast to the abstract approach in Sect. 4, we achieve this in a direct fashion through several explicit computations. Indeed, in Sects. E–F we obtain the following representations.
Proposition 5.2
(see Sects. E–F) Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) together with sequences
defined for every \(h > 0\) and \(U \in \Omega _{h;\kappa }\), so that the following properties hold true.
-
(i)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the identities
$$\begin{aligned} {\mathcal {G}}_{\mathrm {apx};II}(U)= & {} {\mathcal {G}}_{\mathrm {apx}}(U) + {\mathcal {G}}_{\mathrm {apx};\mathrm {sh};b}(U) + {\mathcal {G}}_{\mathrm {apx};\mathrm {rem};b}(U), \nonumber \\ {\mathcal {G}}^+_{\mathrm {apx};II}(U)= & {} {\mathcal {G}}^+_{\mathrm {apx}}(U) + {\mathcal {G}}^+_{\mathrm {apx};\mathrm {sh};b}(U) + {\mathcal {G}}^+_{\mathrm {apx};\mathrm {rem};b}(U). \end{aligned}$$(5.9) -
(ii)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}_{\mathrm {apx};\mathrm {sh};b}(U) \right\| _{\ell ^2_h}\le & {} K S_{\mathrm {sh};\mathrm {full}}(U) \nonumber \\ \left\| {\mathcal {G}}_{\mathrm {apx};\mathrm {rem};b}(U) \right\| _{\ell ^2_h}\le & {} K S_{\mathrm {rem};\mathrm {full}}(U) , \end{aligned}$$(5.10)together with
$$\begin{aligned} \left\| {\mathcal {G}}^+_{\mathrm {apx};\mathrm {sh};b}(U) \right\| _{\ell ^2_h}\le & {} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) , \nonumber \\ \left\| {\mathcal {G}}^+_{\mathrm {apx};\mathrm {rem};b}(U) \right\| _{\ell ^2_h}\le & {} K {\overline{S}}_{\mathrm {rem};\mathrm {full}}(U) . \end{aligned}$$(5.11)
Proposition 5.3
(see Sects. E–F) Assume that (Hg) is satisfied and fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) together with linear maps
and their counterparts
defined for all \(h > 0\) and \(U \in \Omega _{h;\kappa }\), so that the following properties hold true.
-
(i)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the identities
$$\begin{aligned} {\mathcal {G}}_{\mathrm {lin};U;II}[V]= & {} {\mathcal {G}}_{\mathrm {lin};U}[V] + {\mathcal {G}}_{\mathrm {lin};U;\mathrm {sh};b}[V] + {\mathcal {G}}_{\mathrm {lin};U;\mathrm {rem};b}[V] , \nonumber \\ {\mathcal {G}}^+_{\mathrm {lin};U;II}[V]= & {} {\mathcal {G}}^+_{\mathrm {lin};U}[V] + {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {sh};b}[V] + {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {rem};b}[V] . \end{aligned}$$(5.14) -
(ii)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}_{\mathrm {lin};U;\mathrm {sh};b}[V] \right\| _{\ell ^2_h}\le & {} K {\mathcal {E}}_{\mathrm {sh};U}(V) , \nonumber \\ \left\| {\mathcal {G}}_{\mathrm {lin};U;\mathrm {rem};b}[V] \right\| _{\ell ^2_h}\le & {} K {\mathcal {E}}_{\mathrm {rem};U}(V) , \end{aligned}$$(5.15)together with
$$\begin{aligned} \left\| {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {sh};b}[V] \right\| _{\ell ^2_h}\le & {} K \overline{{\mathcal {E}}}_{\mathrm {sh};U}(V) , \nonumber \\ \left\| {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {rem};b}[V] \right\| _{\ell ^2_h}\le & {} K \overline{{\mathcal {E}}}_{\mathrm {rem};U}(V) . \end{aligned}$$(5.16) -
(iii)
For every \(h > 0\), any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\), we have the bound
$$\begin{aligned} \begin{array}{lcl} \left\| {\mathcal {G}}_{\mathrm {lin};U^{(2)};\mathrm {rem};b}[V] - {\mathcal {G}}_{\mathrm {lin};U^{(1)};\mathrm {rem};b}[V] \right\| _{\ell ^2_h} &{} \le &{} K {\mathcal {E}}_{\mathrm {prod}}(U^{(2)} - U^{(1)} , V) . \\ \end{array} \end{aligned}$$(5.17)
Recalling the initial nonlinear residuals (3.50) together with the expressions (4.42), (4.51) and (4.52), we have hence obtained the decompositions
We now turn towards the Lipschitz bounds for \({\mathcal {G}}_{\mathrm {nl}}\).
Corollary 5.4
Assume that (Hg) is satisfied and pick \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that the estimate
holds for all \(h > 0\), all \(V \in \ell ^2_h\) and all pairs \((U^{(1)}, U^{(2)} ) \in \Omega _{h;\kappa }^2\).
Proof
This is a direct restatement of [29, Cor. 5.3]. \(\square \)
Lemma 5.5
Assume that (Hg) is satisfied and pick \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that the estimate
holds for all \(h > 0\), all \(U \in \Omega _{h;\kappa }\) and all pairs \((V^{(1)}, V^{(2)} ) \in \ell ^2_h \times \ell ^2_h\) for which the inclusions \(U + V^{(1)} \in \Omega _{h;\kappa }\) and \(U + V^{(2)} \in \Omega _{h;\kappa }\) both hold.
Proof
By definition, we have
In particular, we get
For convenience, we write
In view of (5.18), we find
The desired bound now follows from (3.51), Lemma’s 4.7-4.8, Propositions 5.2-5.3 and Corollary 5.4. \(\square \)
Proof
In view of the expression (5.18), the statements follow from (3.49), (3.51), Lemma’s 4.7–4.8, Propositions 5.2–5.3 and Lemma 5.5. \(\square \)
6 Travelling Waves
Formally substituting the travelling wave Ansatz (2.20) into the reduced system (2.13) leads to the nonlocal differential equation
In this section we set out to construct solutions to this equation for small \(h > 0\) that can be written as
for pairs \(({\tilde{c}}, v)\) that tend to zero as \(h \downarrow 0\). Care must be taken to ensure that the expression \({\mathcal {G}}(\Psi )\) is well-defined, but based on our preparations we are able to provide a relatively streamlined fixed-point argument here, which allows us to prove the results stated in Sect. 2.
In order to control the size of the perturbation \(({\tilde{c}}, v) \in {\mathbb {R}}\times H^1\), we introduce the norms
for \(h > 0\) and write \({\mathcal {Z}}_h\) for the set \({\mathbb {R}}\times H^1\) equipped with this new norm. Observe that for fixed h this norm is equivalent to the usual one on \({\mathbb {R}}\times H^1\).
Recalling the discussion at the start of Sect. 3, we pick \(0< \kappa < \frac{1}{12}\) and \(\epsilon _0 > 0\) in such a way that the inclusion
holds for all \(0< h < 1\), all \(\vartheta \in [0, h]\) and all \(v \in H^1\) that satisfy (3.8). In order to accommodate this and control the third-differences of v, we pick two parameters \(\delta > 0\) and \(\delta _v^+ > 0\) and introduce the set
Since \(\partial ^+_h\) is bounded on \(H^1\) and \(L^2\) for each fixed h, we note that this is a closed subset of \({\mathcal {Z}}_h\).
Substituting (6.2) into (6.1), we obtain
which should be interpreted in a sense similar to that of (3.18).
Upon introducing the nonlinearity
and inspecting the definitions (3.16) and (5.1), we can rewrite (6.6) as
Recalling the two solution operators (3.19), we now introduce the map \({\mathcal {W}}_h: {\mathcal {Z}}_{h;\delta ,\delta _v^+} \rightarrow {\mathcal {Z}}_h\) that acts as
which allows us to recast (6.8) as the fixed point problem
In order to show that \({\mathcal {W}}_h\) is a contraction mapping on \({\mathcal {Z}}_{h;\delta ,\delta _v^+}\), we study the two expressions \({\mathcal {H}}_h\) and \(c_* \Psi _*' - {\mathcal {G}}(\Psi _*)\) separately in our first results. The sampling bounds from Sect. A play a key role here, as they enable us to extract \(L^2\)-based bounds on \({\mathcal {G}}_{\mathrm {nl};\Psi _*}\) from the sequence estimates obtained in Sect. 5.
Notice that the control (6.15) on \(\left\| v\right\| _{\ell ^{2;2}_h}\) would not have been possible using only bounds on (6.3), since \(L^2\)-norms cannot directly be turned into \(\ell ^2_h\)-norms. This would prevent us from bounding the terms that are quadratic in these second differences. In fact, this is the reason that we needed to obtain such detailed bounds on \({\mathcal {G}}^+\) in this series of papers. Indeed, the additional third-differences only appear in a linear fashion, which does allow us to easily pass between sequences and functions; see (A.18).
Lemma 6.1
Suppose that (Hg) and (H\(\Phi _*\)) are satisfied. There exists \(K >0\) so that for any pair \((\delta , \delta _v^+) \in (0, 1)^2\) and any \(0< h < 1\) the estimates
hold for each \(({\tilde{c}},v) \in {\mathcal {Z}}_{h;\delta ,\delta _v^+}\), while the estimate
holds for each set of pairs \(({\tilde{c}}^{(1)},v^{(1)}) \in {\mathcal {Z}}_{h;\delta ,\delta _v^+}\) and \(({\tilde{c}}^{(2)},v^{(2)}) \in {\mathcal {Z}}_{h;\delta ,\delta _v^+}\).
Proof
The first term in \({\mathcal {H}}_h\) can be handled by the elementary estimates
together with
Using Corollary A.1 we see that
for all \(({\tilde{c}},v) \in {\mathcal {Z}}_{h;\delta ,\delta ^+}\). For any \(\vartheta \in {\mathbb {R}}\), we may hence exploit Propositions C.3 and 5.1 to obtain the estimate
together with
A second application of Corollary A.1 yields the bound
For any \(\vartheta \in {\mathbb {R}}\), we may hence use Propositions C.3 and 5.1 to find
We now apply Lemma A.2 to obtain
Using (A.6) we note that
Applying Lemma A.2 once more, we obtain
The desired bounds follow readily from these estimates. \(\square \)
Lemma 6.2
Suppose that (Hg) and (H\(\Phi _*\)) are satisfied. There exists \(K > 0\) so that for each \(0< h < 1\) we have the bounds
Proof
Applying Lemma A.2 together with Propositions C.3 and 5.1, we find
We now compute
together with
Applying (A.8) we see that
together with
as desired. \(\square \)
Utilizing the linear theory from [29] that we outlined in Sect. 3.1, we are now in a position to study the full nonlinear term \({\mathcal {W}}_h\). Our main result subsequently follows in a relatively standard fashion from the uniqueness properties of the contraction mapping theorem.
Lemma 6.3
Suppose that (Hg) and (H\(\Phi _*\)) are satisfied. Then for each sufficiently small \(h > 0\), the fixed point problem (6.10) posed on the set \({\mathcal {Z}}_{h; h^{3/4}, h^{3/4} }\) has a unique solution.
Proof
Using the estimates (3.22) together with the a-priori bounds \((h, \delta , \delta _v^+) \in (0, 1)^3\), we obtain the inequalities
together with
Picking
we see that \(\delta = \delta _v^+ \le h^{1/2} \epsilon _0\) for all sufficiently small \(h > 0\). In addition, we find
together with
The result hence follows from the contraction mapping theorem. \(\square \)
Proof of Theorem 2.1
We write \(({\tilde{c}}_h, v_h)\) for the unique solution to the fixed point problem (6.10) that is provided by Lemma 6.3. This allows us to define
For fixed \(h > 0\), we claim that the map
is continous. Indeed, this follows from the smoothness of \(\Psi _*\) together with (A.6) and the fact that the translation operator is continuous on \(H^1\). Since the map
is continuous on a subset of \(\ell ^2_h\) that contains \(\mathrm {ev}_{\vartheta } v_h\) for all \(\vartheta \in [0, h]\), we conclude that
is continuous. The travelling wave equation (6.1) now implies the inclusion (2.21).
In a similar fashion, the inclusion (2.25) follows from (A.6) and the continuity of the translation operator on \(H^1\). The remaining statements are a direct consequence of Lemma 6.3. \(\square \)
We now turn to the proof of Corollary 2.2, which asserts the existence of a waveprofile \(\Phi _h\) in the original physical coordinates. The key tool for our purpose here is [28, Prop. 4.2], which states that the gridpoints associated to a solution U of (2.13) satisfy
Here the sequence \({\mathcal {M}}\) can be written as
see [28, Eq. (6.31) and (6.33)] where this function was referred to as \({\mathcal {Y}}\). Notice the strong resemblance with the structure of (3.42). Indeed, we see that
see also [28, Eq. (6.9)] for comparison. In view of the identities
from [28, Eq. (7.29)], (D.1), (5.1) and (D.11), it makes sense to formally factor out \(\partial ^0 U\) and introduce the approximant
This allows us to extract a crucial lower bound for the speed of the gridpoints.
Proof of Corollary 2.2
Upon defining
the identity (2.27) implies that (i) is satisfied. Using [28, Prop. 4.2] we see that
Notice that the terms appearing in (6.39) also all appear in (3.42) after making the replacement \({\mathcal {Z}}^- \mapsto {\mathcal {Y}}_1\). The reduction \({\mathcal {Z}}^- \mapsto {\mathcal {Z}}^-_{\mathrm {apx}}\) leads to error terms that are covered by the theory in [28]. Since \({\mathcal {Z}}^-_{\mathrm {apx}}\) does not need to be reduced further, we can follow all the computations in the present paper to obtain the error bound
which is the natural analogue of (5.5). Substituting \(U = \Psi _h\) and applying the Lipschitz bounds (C.6), we find
Using Proposition C.3, we obtain
and hence
In a similar fashion, we may exploit (B.4) to conclude
and hence
Together, these observations yield the pointwise bound
Assuming for clarity that \(c_* > 0\), this implies the pointwise inequality
Since \(\left| c_h - c_*\right| \le h^{3/4}\), we find
Since \(\gamma _{\Psi _*}\) is strictly bounded away from zero, uniformly in h, we conclude that
for all sufficiently small \(h > 0\) and all \(\tau \in {\mathbb {R}}\). This shows that the coordinate transformation (2.32) is invertible, as desired. \(\square \)
Data Availability
The datasets generated during the current study are available from the corresponding author on reasonable request.
References
Barashenkov, I., Oxtoby, O., Pelinovsky, D.: Translationally invariant discrete kinks from one-dimensional maps. Phys. Rev. E 72, 035602 (2005)
Bates, P.W., Chen, X., Chmaj, A.: Traveling waves of bistable dynamics on a lattice. SIAM J. Math. Anal. 35, 520–546 (2003)
Benzoni-Gavage, S., Huot, P., Rousset, F.: Nonlinear stability of semidiscrete shock waves. SIAM J. Math. Anal. 35, 639–707 (2003)
Berestycki, H., Hamel, F., Matano, H.: Bistable traveling waves around an obstacle. Commun. Pure Appl. Math. 62(6), 729–788 (2009)
Bonnet, A., Hamel, F.: Existence of nonplanar solutions of a simple model of premixed Bunsen flames. SIAM J. Math. Anal. 31, 80–118 (1999)
Brucal-Hallare, M., Van Vleck, E.S.: Traveling wavefronts in an antidiffusion lattice Nagumo model. SIAM J. Appl. Dyn. Syst. 10, 921–959 (2011)
Chen, X., Guo, J.S., Wu, C.C.: Traveling waves in discrete periodic media for bistable dynamics. Arch. Ration. Mech. Anal. 189, 189–236 (2008)
Chow, S.N., Mallet-Paret, J., Shen, W.: Traveling waves in lattice dynamical systems. J. Differ. Equ. 149, 248–291 (1998)
Dmitriev, S.V., Kevrekidis, P.G., Yoshikawa, N.: Discrete Klein–Gordon models with static kinks free of the Peierls–Nabarro potential. J. Phys. A. 38, 7617–7627 (2005)
Doelman, A., Sandstede, B., Scheel, A., Schneider, G.: The dynamics of modulated wave trains. Memoirs of the American Mathematical Society 199 (2009)
Elmer, C.E.: Finding stationary fronts for a discrete Nagumo and wave equation; construction. Physica D 218, 11–23 (2006)
Elmer, C.E., Van Vleck, E.S.: Anisotropy, propagation failure, and wave speedup in traveling waves of discretizations of a Nagumo PDE. J. Comput. Phys. 185(2), 562–582 (2003)
Elmer, C.E., Van Vleck, E.S.: Existence of monotone traveling fronts for BDF discretizations of bistable reaction-diffusion equations. Dyn. Contin. Discrete Impuls. Syst. Ser. A Math. Anal. 10(1–3), 389–402. Second International Conference on Dynamics of Continuous, Discrete and Impulsive Systems (London, ON, 2001) (2003)
Elmer, C.E., Van Vleck, E.S.: Dynamics of monotone travelling fronts for discretizations of Nagumo PDEs. Nonlinearity 18, 1605–1628 (2005)
Fife, P.C., McLeod, J.B.: The approach of solutions of nonlinear diffusion equations to travelling front solutions. Arch. Ration. Mech. Anal. 65(4), 335–361 (1977)
Friesecke, G., Pego, R.L.: Solitary waves on Fermi-Pasta-Ulam lattices. III. Howland-type Floquet theory. Nonlinearity 17(1), 207–227 (2004)
Haragus, M., Scheel, A.: Corner defects in almost planar interface propagation. In: Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 23, pp. 283–329. Elsevier (2006)
Härterich, J., Sandstede, B., Scheel, A.: Exponential dichotomies for linear non-autonomous functional differential equations of mixed type. Indiana Univ. Math. J. 51, 1081–1109 (2002)
Hoffman, A., Mallet-Paret, J.: Universality of crystallographic pinning. J. Dyn. Differ. Equ. 22, 79–119 (2010)
Huang, W.: An Introduction to MMPDElab (github.com/weizhanghuang/MMPDElab) (2020)
Huang, W., Hupkes, H.J., Lozada-Cruz, G., Van Vleck, E.S.: Propagation failure for traveling waves of reaction–diffusion equations under moving mesh discretization. In preparation
Huang, W., Russell, R.D.: Adaptive mesh movement in 1D. In: Adaptive Moving Mesh Methods, pp. 27–135. Springer (2011)
Hupkes, H.J., Morelli, L., Schouten-Straatman, W.M., Van Vleck, E.S.: Traveling waves and pattern formation for spatially discrete bistable reaction–diffusion equations. Springer Proc. Math. Stat. Diff. Equ. Discrete Dyn. Syst. Appl. 312, 55–112 (2020)
Hupkes, H.J., Pelinovsky, D., Sandstede, B.: Propagation failure in the discrete Nagumo equation. Proc. Am. Math. Soc. 139(10), 3537–3551 (2011)
Hupkes, H.J., Sandstede, B.: Travelling pulse solutions for the discrete FitzHugh-Nagumo system. SIAM J. Appl. Dyn. Syst. 9, 827–882 (2010)
Hupkes, H.J., Sandstede, B.: Stability of pulse solutions for the discrete FitzHugh-Nagumo system. Trans. AMS 365, 251–301 (2013)
Hupkes, H.J., Van Vleck, E.S.: Travelling waves for complete discretizations of reaction diffusion systems. J. Dyn. Differ. Eqn. 28(3), 955–1006 (2016)
Hupkes, H.J., Van Vleck, E.S.: Travelling waves for adaptive grid discretizations of reaction diffusion systems I: well-posedness. J. Dyn. Differ. Eqn. (2021) (in press)
Hupkes, H.J., Van Vleck, E.S.: Travelling waves for adaptive grid discretizations of reaction diffusion systems II: linear theory. J. Dyn. Differ. Eqn. (2021) (in press)
Johann, A.: An application for an implicit function theorem of Craven and Nashed: continuum limits of lattice differential equations. J. Math. Anal. Appl. 367(2), 389–400 (2010)
Keener, J.P.: Propagation and its failure in coupled systems of discrete excitable cells. SIAM J. Appl. Math. 47, 556–572 (1987)
Mallet-Paret, J.: The Fredholm alternative for functional differential equations of mixed type. J. Dyn. Differ. Equ. 11, 1–48 (1999)
Mallet-Paret, J.: The global structure of traveling waves in spatially discrete dynamical systems. J. Dyn. Differ. Equ. 11, 49–128 (1999)
Mallet-Paret, J., Verduyn-Lunel, S.M.: Exponential dichotomies and Wiener-Hopf factorizations for mixed-type functional differential equations. J. Differ. Equ. (to appear)
Nolen, J., Roquejoffre, J.-M., Ryzhik, L., Zlatoš, A.: Existence and non-existence of fisher-KPP transition fronts. Arch. Ration. Mech. Anal. 203(1), 217–246 (2012)
Roussier, V.: Stability of radially symmetric travelling waves in reaction–diffusion equations. In: Annales de l’Institut Henri Poincare (C) Non Linear Analysis, vol. 21, pp. 341–379. Elsevier (2004)
Rustichini, A.: Functional differential equations of mixed type: the linear autonomous case. J. Dyn. Differ. Equ. 11, 121–143 (1989)
Rustichini, A.: Hopf bifurcation for functional-differential equations of mixed type. J. Dyn. Differ. Equ. 11, 145–177 (1989)
Schouten, W., Hupkes, H.J.: Nonlinear stability of pulse solutions for the discrete FitzHugh-Nagumo equation with infinite-range interactions. Discrete Contin. Dyn. Syst. 39(9), 5017–5083 (2019)
Schouten-Straatman, W., Hupkes, H.J.: Travelling waves for spatially discrete systems of FitzHugh-Nagumo type with periodic coefficients. SIAM J. Math. Anal. 51(4), 3492–3532 (2019)
Walther, H.-O.: Linearized stability for semiflows generated by a class of neutral equations, with applications to state-dependent delays. J. Dyn. Differ. Equ. 22(3), 439–462 (2010)
Weinberger, H.F.: Genetic wave propagation, convex sets, and semi-infinite programming. In: Constructive Approaches to Mathematical Models (Proc. Conf. in honor of R. J. Duffin, Pittsburgh, Pa., 1978), pp. 293–317. Academic Press, New York (1979)
Zinner, B.: Stability of traveling wavefronts for the discrete Nagumo equation. J. Differ. Equ. 96, 1–27 (1992)
Acknowledgements
Hupkes acknowledges support from the Netherlands Organization for Scientific Research (NWO) (Grant 639.032.612). Van Vleck acknowledges support from the NSF (DMS-1419047 and DMS-1714195). Both authors wish to thank W. Huang for helpful discussions during the conception and writing of this paper and two anonymous referees for providing valuable feedback.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Discrete Calculus
In this appendix we collect several useful identities and bounds from [28, 29] related to the interplay between discrete and continuous calculus. In particular, we state a discrete version of the product rule, provide two summation-by-parts identities and show how taking discrete samples of functions in \(L^2\) and \(H^1\) affects the various norms.
Recalling the notation introduced at the start of Sects. 3.1 and 3.2, a short computation yields the basic identities
together with the product rules
which hold for \(a,b \in \ell ^\infty _h\). As in [28, §3.1], these can subsequently be used to derive the second-order product rule
Recalling the discrete summation operators (2.10), one can read-off the identities
for \(a \in \ell ^1(h{\mathbb {Z}};{\mathbb {R}})\). In addition, the discrete summation-by-parts identities
hold whenever \(a,b \in \ell ^2_h\); see [28, Eq. (3.13) and (3.15)].
Turning to sampling issues, we repeat the useful estimates [28, Eq. (A.6), (A.4)] which state that
for any \(u \in H^1\). On the other hand, for any \(q \in \{2, \infty \}\) and \(u \in W^{1,q}\), we have
for any \(h > 0\); see [28, Eq. (A.3), (A.13)]. For any \(q \in \{2, \infty \}\) and \(h > 0\) we also obtain the error estimate
whenever \(u \in W^{2;q}\) (see [29, Lem. 4.1]), together with
whenever \(u \in W^{3;q}\) (see [29, Cor. 4.2]) and finally
whenever \(u \in W^{4;q}\) (see [29, Cor. 4.3]).
We now recall the sampling operator \(\mathrm {ev}_{\vartheta }\) defined in (3.17). Our final two results here show how to pass back and forth between discrete and continuous estimates.
Corollary A.1
[28, Cor. A.3] There exists \(K > 0\) so that for any \(\vartheta \in {\mathbb {R}}\), any \(v \in H^1\) and any \(0< h < 1\), we have the bounds
together with
Lemma A.2
[28, Lem. A.4] Consider any \(f \in C({\mathbb {R}}; {\mathbb {R}})\) and any \(g \in H^1\). Then the following properties hold for all \(h > 0\).
-
(i)
If the bound
$$\begin{aligned} \left\| \mathrm {ev}_{\vartheta } f\right\| _{\ell ^2_h} \le \left\| g\right\| _\infty \end{aligned}$$(A.13)holds for all \(\vartheta \in [0, h]\), then \(f \in L^2\) with
$$\begin{aligned} \left\| f\right\| _{L^2} \le \left\| g\right\| _\infty . \end{aligned}$$(A.14) -
(ii)
If the bound
$$\begin{aligned} \left\| \mathrm {ev}_{\vartheta } f\right\| _{\ell ^2_h} \le \left\| \mathrm {ev}_{\vartheta } g \right\| _{\ell ^{2;2}_h} \end{aligned}$$(A.15)holds for all \(\vartheta \in (0, h)\), then \(f \in L^2\) with
$$\begin{aligned} \left\| f\right\| _{L^2} \le \left\| g\right\| _{H^1} + \left\| \partial ^+_h \partial ^+_h g\right\| _{L^2} . \end{aligned}$$(A.16) -
(iii)
If the bound
$$\begin{aligned} \left\| \mathrm {ev}_{\vartheta } f\right\| _{\ell ^2_h} \le \left\| \mathrm {ev}_{\vartheta } g \right\| _{\ell ^{2;3}_h} \end{aligned}$$(A.17)holds for all \(\vartheta \in [0, h]\), then \(f \in L^2\) with
$$\begin{aligned} \left\| f\right\| _{L^2} \le \left\| g\right\| _{H^1} + \left\| \partial ^+_h g\right\| _{H^1} + \left\| \partial ^+_h \partial ^+_h \partial ^+_h g \right\| _{L^2} . \end{aligned}$$(A.18)
The Gridspace Function \(\gamma _U\)
The gridpoint spacing function
plays an important role throughout this paper and was analyzed at length in the prequels [28, 29]. We recall some of these results here and also obtain several novel bounds related to the sums that are evaluated in Sects. E and F. Recalling the definitions (3.24) for sums and products, we first state some useful identities pertaining to powers of \(\gamma _U\).
Lemma B.1
[28, Lem. C.2] Consider any \(U \in \ell ^\infty (h{\mathbb {Z}}; {\mathbb {R}})\) for which \(\left\| \partial ^+ U\right\| _\infty < 1\). Then we have the identities
Turning to estimates, we first note that
holds for any \(U^{(a)}, U^{(b)} \in \Omega _{h;\kappa }\); see [28, Eq. (C.4)]. This can be used [28, Cor. D.2] to obtain the Lipschitz bound
for \(q \in \{2, \infty \}\), where K depends on \(\kappa \) but not on h. In addition, it can be exploited to establish the following approximation errors for various expressions involving \(\gamma _U\).
Lemma B.2
[28, Lem. D.4] Fix \(0< \kappa < \frac{1}{12}\). Then there exists \(K > 0\) so that for any \(h > 0\) and any \(U \in \Omega _{h; \kappa }\), we have the pointwise estimates
Lemma B.3
Fix \(0< \kappa < \frac{1}{12}\). Then there exists \(K > 0\) so that for any \(h > 0\) and any \(U \in \Omega _{h; \kappa }\), we have the pointwise estimate
Proof
Using \(\partial ^+ \partial ^0 U = S^+ \partial ^{(2)} U\) and the definition (3.10) for \(\gamma _U\), we compute
in which
The estimates (B.5) now yield the bounds
which establishes (B.6). \(\square \)
We now continue the discussion from [28, §D] and consider discrete versions of the integral identities
Instead of computing the corresponding sums exactly, we obtain useful approximation that are O(h)-accurate.
Lemma B.4
Fix \(0< \kappa < \frac{1}{12}\). Then there exists \(K > 0\) so that for any \(h > 0\) and any \(U \in \Omega _{h; \kappa }\), the two linear expressions
satisfy the pointwise estimate
for all \(V \in \ell ^2_h\).
Proof
Using (A.4) we first observe that
The summation-by-parts identity (A.5) allows us to compute
Upon writing
we use the identity
together with (B.6) to obtain
We now write
which gives
In particular, (B.6) yields
We now transfer the \(S^+\) using the summation-by-parts identity (A.5) to obtain
We hence see that
Using the fact that
the desired estimate follows. \(\square \)
Lemma B.5
Fix \(0< \kappa < \frac{1}{12}\). Then there exists \(K > 0\) so that for any \(h > 0\) and any \(U \in \Omega _{h; \kappa }\), we have the pointwise estimate
Proof
Since \([\gamma _U]_{jh} \rightarrow 1\) as \(j \rightarrow - \infty \), we have
In particular, writing
we may use the estimates (B.5) to obtain
Using the second summation-by-parts identity in (A.5), we can transfer the \(S^+\) to obtain
In particular, writing
we see that
Using Lemma B.3 we see that
from which the desired estimate follows. \(\square \)
Operator Bounds
Our goal here is to establish several crucial bounds on the linear operators and error functions introduced in Sects. 3.1–3.2. The errors that arise when approximating \(\partial ^+ M_U\) and \(\partial ^+ {\mathcal {E}}_{\mathrm {tw}}\) by \(M^+_{U;\mathrm {apx}}\) and \({\mathcal {E}}^+_{\mathrm {tw};\mathrm {apx}}\) are of special importance.
Proposition C.1
[29, Prop. 5.1] Assume that (Hg) is satisfied and fix \(\kappa >0\). There exists \(K > 0\) so that for any \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the a-priori bounds
together with the estimate
In addition, for any \(h>0\), any pair \((U^{(1)}, U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\), we have the Lipschitz bound
Proposition C.2
Assume that (Hg) and (H\(\Phi _*\)) are satisfied and fix \(0< \kappa < \frac{1}{12}\). There exists \(K > 0\) so that for any \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the a-priori bounds
together with the estimate
while for any \(U^{(1)} \in \Omega _{h;\kappa }\) and \(U^{(2)} \in \Omega _{h;\kappa }\) we have the Lipschitz bounds
Proof
The bounds in (C.4) and (C.6) follow directly from \(\left\| h \partial ^-\right\| _{{\mathcal {L}}(\ell ^2_h, \ell ^2_h)} \le 2\), the Lipschitz bounds (B.4), the estimate
from [28, Eq. (3.43)] and the pointwise inequality
In order to establish (C.5), we compute
and notice that
Upon estimating
we can use (B.5) together with (B.6) to obtain the desired bound. \(\square \)
Proposition C.3
Assume that (Hg) and (H\(\Phi _*\)) are satisfied. Then there exists \(K > 0\) so that for any \(h > 0\) we have the estimates
Proof
We have \(\Psi _* \in W^{3;q}\) for \(q \in \{2, \infty \}\), which allows us to apply (A.7) and (A.6) to obtain
This yields the first bound.
Since the functions
are both uniformly bounded away from zero, we have the pointwise estimate
Exploiting the fact that \(\Psi _*'\), \(\Psi _*''\), , \(\gamma _*^{-1}\) \(\gamma _{\Psi _*}^{-1}\), \(\partial ^0 \Psi _*\) and \(\partial ^{(2)} \Psi _*\) are all uniformly bounded, we now see that
for \(q \in \{2, \infty \}\).
Since \(\Psi _* \in W^{3,2} \cap W^{3, \infty }\), we may apply (A.8) and (A.9) to obtain
for \(q \in \{2, \infty \}\). The travelling wave equation (3.32) allows us to write
which using (C.17) yields the second bound.
Using the fact that \(\Psi _* \in W^{4,2} \cap W^{4, \infty }\), which allows us to apply (A.10), we may argue in a similar fashion as above to conclude
for \(q \in \{2, \infty \}\). The differentiated travelling wave equation (3.33) allows us to write
Using (C.19) together with (C.5) we may hence conclude
which yields the third bound. \(\square \)
Decompositions for \(f \in \overline{{\mathcal {S}}}_{\mathrm {nl};\mathrm {short}}\)
Our goal here is to provide the explicit decompositions (4.1) for the nonlinearities (3.35) and (3.36). In addition, we validate the bookkeeping claims made in Propositions 4.1-4.6, providing the underpinning for the estimates in Sect. 4.2. For efficiency purposes, we combine our treatment of nonlinearities that admit similar bounds.
1.1 Decompositions for \({\mathcal {Y}}_1\) and \({\mathcal {X}}_A\)
Recalling the definitions
from (3.37) and (3.39), we realize the splittings (4.1) by writing
together with
In addition, for both nonlinearities \(f \in \{{\mathcal {Y}}_1 , {\mathcal {X}}_A\}\) we introduce the exponent sets
Lemma D.1
Fix \(0< \kappa < \frac{1}{12}\) and pick \(f \in \{ {\mathcal {Y}}_1, {\mathcal {X}}_A \}\). Then there exists a constant \(K > 0\) so that the bounds
hold for all \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\).
Proof
The bounds follow from inspection. \(\square \)
Lemma D.2
Fix \(0< \kappa < \frac{1}{12}\) and pick \(f \in \{ {\mathcal {Y}}_1, {\mathcal {X}}_A \}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bound
$$\begin{aligned} \begin{array}{lcl} \left\| f_{\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^2_h} + \left\| f_{\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^\infty _h} &{} \le &{} K . \\ \end{array} \end{aligned}$$(D.6) -
(ii)
For any \(h > 0\) and any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }\), we have the bounds
$$\begin{aligned} \left\| f_{\mathrm {apx};\mathrm {expl}}(U^{(1)}) - f_{\mathrm {apx};\mathrm {expl}}(U^{(2)}) \right\| _{\ell ^2_h}\le & {} K \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^2_h} \nonumber \\\le & {} K S_{\mathrm {diff};\mathrm {full}}\big ( U^{(1)} , U^{(2)} \big ) , \nonumber \\ \left\| f_{\mathrm {apx};\mathrm {expl}}(U^{(1)}) - f_{\mathrm {apx};\mathrm {expl}}(U^{(2)}) \right\| _{\ell ^\infty _h}\le & {} K \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^\infty _h} \nonumber \\\le & {} K S_{\mathrm {diff};\mathrm {full}}\big ( U^{(1)} , U^{(2)} \big ) . \end{aligned}$$(D.7)
Proof
These estimates follow by inspection. \(\square \)
Lemma D.3
Fix \(0< \kappa < \frac{1}{12}\) and pick \(f \in \{ {\mathcal {Y}}_1, {\mathcal {X}}_A \}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\), any pair \(U\in \Omega _{h;\kappa }\) and any \(V \in \ell ^2_h\), we have the bound
$$\begin{aligned} \left\| f_{\mathrm {lin};U;\mathrm {rem}}[V] \right\| _{\ell ^2_h}\le & {} K \left\| {\mathcal {E}}_{\mathrm {sm}}(U) \right\| _{\ell ^2_h} \left\| \partial ^+V\right\| _{\ell ^2_h} \nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {rem};U}(V) . \end{aligned}$$(D.8) -
(ii)
For any \(h > 0\), any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\), we have the bounds
$$\begin{aligned} \left\| f_{\mathrm {lin};U^{(1)};\mathrm {expl}}[V] - f_{\mathrm {lin};U^{(2)};\mathrm {expl}}[V] \right\| _{\ell ^2_h}= & {} 0 , \nonumber \\ \left\| f_{\mathrm {lin};U^{(1)};\mathrm {rem}}[V] - f_{\mathrm {lin};U^{(2)};\mathrm {rem}}[V] \right\| _{\ell ^2_h}\le & {} K \left\| \partial ^+ V\right\| _{\ell ^2_h} \Big [ \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^2_h} \nonumber \\&+ \left\| \partial ^{(2)} U^{(1)} - \partial ^{(2)} U^{(2)} \right\| _{\ell ^2_h} \Big ]\nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {prod}}(U^{(2)} - U^{(1)} , V) . \end{aligned}$$(D.9)
Proof
Recalling the Lipschitz bound (C.6), the estimates follow by inspection. \(\square \)
1.2 Decomposition for \({\mathcal {Y}}_2\)
Recalling the definitions
from (3.37) and (3.39) and \({\mathcal {E}}_{\mathrm {tw}}\) from (3.29), we realize the splittings (4.1) by writing
In addition, we introduce the sets
together with
Lemma D.4
Fix \(0< \kappa < \frac{1}{12}\) and write \(f = {\mathcal {Y}}_2\). Then there exists a constant \(K > 0\) so that the bound
holds for all \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\).
Proof
This follows from Proposition C.1. \(\square \)
Lemma D.5
Fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bound
$$\begin{aligned} \begin{array}{lcl} \left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^2_h} + \left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^\infty _h} +\left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {rem}}(U) \right\| _{\ell ^2_h}\\ + \left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {rem}}(U) \right\| _{\ell ^\infty _h} &{} \le &{} K . \\ \end{array} \end{aligned}$$(D.15) -
(ii)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\), we have the bounds
$$\begin{aligned} \left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {rem}}(U) \right\| _{\ell ^2_h}\le & {} \left\| {\mathcal {E}}_{\mathrm {tw}}(U) \right\| _{\ell ^2_h} \le S_{\mathrm {rem};\mathrm {full}}(U) , \nonumber \\ \left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {rem}}(U) \right\| _{\ell ^\infty _h}\le & {} \left\| {\mathcal {E}}_{\mathrm {tw}}(U) \right\| _{\ell ^\infty _h} \le S_{\mathrm {rem};\mathrm {full}}(U) . \end{aligned}$$(D.16) -
(iii)
For any \(h > 0\) and any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }\), we have the bounds
$$\begin{aligned} \left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {expl}}(U^{(1)}) - {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {expl}}(U^{(2)}) \right\| _{\ell ^2_h}\le & {} K \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^2_h} \nonumber \\\le & {} K S_{\mathrm {diff};2;\mathrm {fix}}\big ( U^{(1)} , U^{(2)} \big ), \nonumber \\ \left\| {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {rem}}(U^{(1)}) - {\mathcal {Y}}_{2;\mathrm {apx};\mathrm {rem}}(U^{(2)}) \right\| _{\ell ^2_h}\le & {} K \left\| U^{(1)} - U^{(2)}\right\| _{\ell ^{2;2}_h} \nonumber \\\le & {} K S_{\mathrm {diff};2;\mathrm {fix}}\big ( U^{(1)} , U^{(2)} \big ) . \end{aligned}$$(D.17)
Proof
Recalling (C.6), these bounds follow by inspection. \(\square \)
Lemma D.6
Fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that we have the bound
for any \(h > 0\), any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\).
Proof
This bound follows directly from (B.4) and [29, Prop 5.1].
\(\square \)
1.3 Decomposition for \({\mathcal {D}}^{\diamond _0;+}\) and \({\mathcal {D}}^{\diamond _-;+}\)
For both functions \(f \in \{ {\mathcal {D}}^{\diamond _0;+}, {\mathcal {D}}^{\diamond _-;+} \}\) we write \(f_{\mathrm {apx};\mathrm {sh}}(U) = f_{\mathrm {apx};\mathrm {rem}}(U) = 0\) and \(f_{\mathrm {lin};\mathrm {sh}}(U) = f_{\mathrm {lin};\mathrm {rem}}(U) =0 \) and introduce the exponent sets
Besides the Lipschitz estimates below, all the estimates we require here can be found in [28, Prop. 7.3].
Lemma D.7
Fix \(0< \kappa < \frac{1}{12}\) and pick \(f \in \{ {\mathcal {D}}^{\diamond _0;+}, {\mathcal {D}}^{\diamond _-;+} \}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\) and any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }\), we have the bounds
$$\begin{aligned} \left\| f_{\mathrm {apx};\mathrm {expl}}(U^{(1)}) - f_{\mathrm {apx};\mathrm {expl}}(U^{(2)}) \right\| _{\ell ^2_h}\le & {} K \big [ \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^2_h} \nonumber \\&+ \left\| \partial ^{(2)} U^{(1)} - \partial ^{(2)} U^{(2)}\right\| _{\ell ^2_h} \big ] \nonumber \\\le & {} K S_{\mathrm {diff};2;\mathrm {fix}}\big ( U^{(1)} , U^{(2)} \big ) . \end{aligned}$$(D.20) -
(ii)
For any \(h > 0\), any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\), we have the bound
$$\begin{aligned} \left\| f_{\mathrm {lin};U^{(1)};\mathrm {expl}} [V] - f_{\mathrm {lin};U^{(2)};\mathrm {expl}} [V] \right\| _{\ell ^2_h}\le & {} K \big [ \left\| \partial ^+ V\right\| _{\ell ^2_h} \nonumber \\&+ \left\| \partial ^+ \partial ^+ V\right\| _{\ell ^2_h} \big ] \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^\infty _h} \nonumber \\&+ K \left\| \partial ^+ V\right\| _{\ell ^\infty _h} \left\| \partial ^+ \partial ^+ U^{(1)} - \partial ^+ \partial ^+ U^{(2)}\right\| _{\ell ^2_h} \nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {prod}}(U^{(2)} - U^{(1)} , V) . \end{aligned}$$(D.21)
Proof
These bounds follow by inspecting the definitions (3.40). \(\square \)
1.4 Decompositions for \({\mathcal {X}}_B\), \({\mathcal {X}}_C\) and \({\mathcal {X}}_D\)
Recalling the definitions
from (3.37) together with
from (3.38), we realize the splittings (4.1) by writing
together with
for the explicit terms. The shift terms are given by
together with
while the remainder terms are given by
together with
In addition, for any \(f\in \{ {\mathcal {X}}_B, {\mathcal {X}}_C, {\mathcal {X}}_D \}\) we introduce the exponent sets
together with
Lemma D.8
Fix \(0< \kappa < \frac{1}{12}\) and pick \(f\in \{ {\mathcal {X}}_B, {\mathcal {X}}_C, {\mathcal {X}}_D \}\). Then there exists a constant \(K > 0\) so that the bounds
hold for all \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\).
Proof
These bounds follow by inspection. \(\square \)
Lemma D.9
Fix \(0< \kappa < \frac{1}{12}\) and pick \(f\in \{ {\mathcal {X}}_B, {\mathcal {X}}_C, {\mathcal {X}}_D \}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bound
$$\begin{aligned} \begin{array}{lcl} \left\| f_{\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^\infty _h} +\left\| f_{\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^\infty _h} &{} \le &{} K . \\ \end{array} \end{aligned}$$(D.33) -
(ii)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\), we have the bound
$$\begin{aligned} \begin{array}{lclcl} \left\| f_{\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^\infty _h} &{}\le &{} K h &{} \le &{} K S_{\mathrm {sh};\mathrm {full}}(U) . \\ \end{array} \end{aligned}$$(D.34) -
(iii)
For any \(h > 0\) and any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }\), we have the bounds
$$\begin{aligned} \left\| f_{\mathrm {apx};\mathrm {expl}}(U^{(1)}) - f_{\mathrm {apx};\mathrm {expl}}(U^{(2)}) \right\| _{\ell ^\infty _h}\le & {} K \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^\infty _h} \nonumber \\\le & {} K S_{\mathrm {diff};\mathrm {full}}\big ( U^{(1)} , U^{(2)} \big ) , \nonumber \\ \left\| f_{\mathrm {apx};\mathrm {sh}}(U^{(1)}) - f_{\mathrm {apx};\mathrm {sh}}(U^{(2)}) \right\| _{\ell ^\infty _h}\le & {} K \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^\infty _h} \nonumber \\\le & {} K S_{\mathrm {diff};\mathrm {full}}\big ( U^{(1)} , U^{(2)} \big ) . \end{aligned}$$(D.35)
Proof
These bounds follow from the discrete derivative expressions in Lemma B.1 and the Lipschitz bounds for \(\gamma _U\) in (B.4). \(\square \)
Lemma D.10
Fix \(0< \kappa < \frac{1}{12}\) and pick \(f\in \{ {\mathcal {X}}_B, {\mathcal {X}}_C, {\mathcal {X}}_D \}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\), any pair \(U\in \Omega _{h;\kappa }\) and any \(V \in \ell ^2_h\), we have the bounds
$$\begin{aligned} \left\| f_{\mathrm {lin};U;\mathrm {sh}}[V] \right\| _{\ell ^2_h}\le & {} K h \big [ \left\| \partial ^+V\right\| _{\ell ^2_h} + \left\| \partial ^+ \partial ^+ V\right\| _{\ell ^2_h} \big ] \nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {sh};U}(V) , \nonumber \\ \left\| f_{\mathrm {lin};U;\mathrm {rem}}[V] \right\| _{\ell ^\infty _h}\le & {} K \left\| {\mathcal {E}}_{\mathrm {sm}}(U) \right\| _{\ell ^2_h} \left\| \partial ^+V\right\| _{\ell ^2_h} \nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {rem};U}(V) . \end{aligned}$$(D.36) -
(ii)
For any \(h > 0\), any pair \((U^{(1)} , U^{(2)}) \in \Omega _{h;\kappa }^2\) and any \(V \in \ell ^2_h\), we have the bounds
$$\begin{aligned} \left\| f_{\mathrm {lin};U^{(1)};\mathrm {expl}}[V] - f_{\mathrm {lin};U^{(2)};\mathrm {expl}}[V] \right\| _{\ell ^2_h}\le & {} K \left\| \partial ^+ U^{(2)} - \partial ^+ U^{(1)} \right\| _{\ell ^\infty _h} \left\| \partial ^+V\right\| _{\ell ^2_h} \nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {prod}}(U^{(2)} - U^{(1)} , V) , \nonumber \\ \left\| f_{\mathrm {lin};U^{(1)};\mathrm {sh}}[V] - f_{\mathrm {lin};U^{(2)};\mathrm {sh}}[V] \right\| _{\ell ^2_h}\le & {} K \left\| \partial ^+ U^{(2)} - \partial ^+ U^{(1)} \right\| _{\ell ^\infty _h} \left\| \partial ^+V\right\| _{\ell ^2_h}\nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {prod}}(U^{(2)} - U^{(1)} , V) ,\nonumber \\ \left\| f_{\mathrm {lin};U^{(1)};\mathrm {rem}}[V] - f_{\mathrm {lin};U^{(2)};\mathrm {rem}}[V] \right\| _{\ell ^\infty _h}\le & {} K \left\| \partial ^+ V\right\| _{\ell ^2_h} \Big [ \left\| U^{(1)} - U^{(2)}\right\| _{\ell ^{2,2}_h} \nonumber \\&\qquad + \left\| \partial ^+ U^{(1)} - \partial ^+ U^{(2)}\right\| _{\ell ^\infty _h} \Big ]\nonumber \\\le & {} K {\mathcal {E}}_{\mathrm {prod}}(U^{(2)} - U^{(1)} , V). \end{aligned}$$(D.37)
Proof
Recalling the Lipschitz bounds (C.6), these estimates follow from inspection. \(\square \)
1.5 Decomposition for \({\mathcal {Y}}_1^+\)
Recalling the definitions
from (3.37) and (3.39), we realize the splittings (4.1) by writing
together with
Notice that we have eliminated the \(T^+[\partial ^{(2)} U]\) term in the explicit expressions, while keeping the \(T^+[\partial ^{(2)} V]\) dependency. This inconsistency is deliberate as it will help us to make a useful substitution in the sequel.
In addition, we introduce the sets
together with
Lemma D.11
Fix \(0< \kappa < \frac{1}{12}\) and write \(f = {\mathcal {Y}}_1^+\). Then there exists a constant \(K > 0\) so that the bounds
hold for all \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\).
Proof
These bounds follow by inspection. \(\square \)
Lemma D.12
Fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bound
$$\begin{aligned} \left\| {\mathcal {Y}}^+_{1;\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^2_h} + \left\| {\mathcal {Y}}^+_{1;\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^\infty _h} +\left\| {\mathcal {Y}}^+_{1;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^2_h}\nonumber \\ +\left\| {\mathcal {Y}}^+_{1;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^\infty _h}\le & {} K . \end{aligned}$$(D.44) -
(ii)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\), we have the bound
$$\begin{aligned} \left\| {\mathcal {Y}}^+_{1;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^2_h}\le & {} K h [ 1 + \left\| \partial ^+ \partial ^+ \partial ^+ U \right\| _{\ell ^2_h} ] \nonumber \\\le & {} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) , \nonumber \\ \left\| {\mathcal {Y}}^+_{1;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^\infty _h}\le & {} K h [ 1 + \left\| \partial ^+ \partial ^+ \partial ^+ U \right\| _{\ell ^\infty _h} ] \nonumber \\\le & {} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) . \end{aligned}$$(D.45)
Proof
These bounds follow from the discrete derivative identities in Lemma B.1. \(\square \)
Lemma D.13
Fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that we have the bounds
for any \(h > 0\), any pair \(U\in \Omega _{h;\kappa }\) and any \(V \in \ell ^2_h\).
Proof
These estimates follow by inspection. \(\square \)
1.6 Decomposition for \({\mathcal {Y}}_{2b}^+\)
Recalling the definitions
from (3.37) and (3.39), we realize the first splitting in (4.1) by writing
The second splitting (4.1) is obtained implicitly by recalling the definition (3.15) and writing
In addition, we introduce the sets
Lemma D.14
Fix \(0< \kappa < \frac{1}{12}\) and write \(f = {\mathcal {Y}}_{2b}^+\). Then there exists a constant \(K > 0\) so that the bound
holds for all \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\).
Proof
The bound follows by inspection. \(\square \)
Lemma D.15
Fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that the following properties are true.
-
(i)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bound
$$\begin{aligned} \begin{array}{lcl} \left\| {\mathcal {Y}}^+_{2b;\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^2_h} +\left\| {\mathcal {Y}}^+_{2b;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^2_h} + \left\| {\mathcal {Y}}^+_{2b;\mathrm {apx};\mathrm {expl}}(U) \right\| _{\ell ^\infty _h}\\ +\left\| {\mathcal {Y}}^+_{2b;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^\infty _h} &{} \le &{} K . \\ \end{array} \end{aligned}$$(D.52) -
(ii)
For any \(h > 0\) and \(U \in \Omega _{h;\kappa }\), we have the bound
$$\begin{aligned} \begin{array}{lclcl} \left\| {\mathcal {Y}}^+_{2b;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^2_h} &{}\le &{} K h [ 1 + \left\| \partial ^+ \partial ^+ \partial ^+ U \right\| _{\ell ^2_h} ] &{} \le &{} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) , \\ \left\| {\mathcal {Y}}^+_{2b;\mathrm {apx};\mathrm {sh}}(U) \right\| _{\ell ^\infty _h} &{}\le &{} K h [ 1 + \left\| \partial ^+ \partial ^+ \partial ^+ U \right\| _{\ell ^\infty _h} ] &{} \le &{} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) . \\ \end{array} \end{aligned}$$(D.53)
Proof
Recalling (3.30), the bounds follow by inspection. \(\square \)
Lemma D.16
Fix \(0< \kappa < \frac{1}{12}\). There exists a constant \(K > 0\) so that we have the bound
for any \(h > 0\), any pair \(U\in \Omega _{h;\kappa }\) and any \(V \in \ell ^2_h\).
Proof
Recalling (3.14), we make the decomposition
by writing
Introducing the function
and recalling (3.13), we see that
In particular, we obtain
In view of Proposition C.1, the desired bound now follows by inspection. \(\square \)
Proof of Propositions 4.1–4.6
The statements can be readily verified by inspecting the results in Sects. D.1–D.6. \(\square \)
Reductions for \({\mathcal {G}}\)
Our goal here is to construct the functions \({\mathcal {G}}_{\mathrm {apx};\mathrm {sh};b}\), \({\mathcal {G}}_{\mathrm {apx};\mathrm {rem};b}\), \({\mathcal {G}}_{\mathrm {lin};U;\mathrm {sh};b}\) and \({\mathcal {G}}_{\mathrm {lin};U;\mathrm {rem};b}\) and demonstrate that they satisfy the corresponding bounds in Propositions 5.2–5.3. We proceed in a relatively direct fashion, treating each of the components in (3.42) separately and subsequently combining the results.
1.1 Simplifications for \({\mathcal {G}}_A\)
We recall the definition
Substituting the relevant expressions from Sect. D we find
We now make the decomposition
by introducing
together with
We also recall the definition
Substituting the relevant expressions from Sect. D, we find
We now make the decomposition
by introducing
together with
We summarize our results by writing
and obtaining the following bound.
Lemma E.1
Assume that (Hg) is satisfied and pick \(0< \kappa < \frac{1}{12}\). Then there exists a constant \(K > 0\) so that the following properties hold true.
-
(i)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\), we have the identities
$$\begin{aligned} {\mathcal {G}}_{A;\mathrm {apx};II}(U)= & {} {\mathcal {G}}_{A;\mathrm {apx}}(U) + {\mathcal {G}}_{A;\mathrm {apx};\mathrm {sh};b}(U) , \nonumber \\ {\mathcal {G}}_{A;\mathrm {lin};U;II}[V]= & {} {\mathcal {G}}_{A;\mathrm {lin};U}[V] + {\mathcal {G}}_{A;\mathrm {lin};U;\mathrm {sh};b}[V] . \end{aligned}$$(E.12) -
(ii)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the bounds
$$\begin{aligned} \begin{array}{lclcl} \left\| {\mathcal {G}}_{A;\mathrm {apx};\mathrm {sh};b}(U) \right\| _{\ell ^2_h} &{} \le &{} Kh &{} = &{} K S_{\mathrm {sh};\mathrm {full}} (U) , \\ \left\| {\mathcal {G}}_{A;\mathrm {lin};U;\mathrm {sh};b}[V] \right\| _{\ell ^2_h} &{} \le &{} K h \left\| V\right\| _{\ell ^{2;2}_h} &{} \le &{} K {\mathcal {E}}_{\mathrm {sh};U}(V) . \end{array} \end{aligned}$$(E.13)
Proof
In view of Proposition C.1, the bounds follow by inspection. \(\square \)
1.2 Simplifications for \({\mathcal {G}}_B\)
We recall the definition
Substituting the relevant expressions from §D we find
In view of Lemma B.5, we introduce the expressions
We also recall the definition
Substituting the relevant expressions from Sect. D, we find
A little algebra yields
In view of Lemma’s B.4 and B.5, we introduce the expressions
After a short computation, we find
We summarize our results by writing
and obtaining the following bounds.
Lemma E.2
Assume that (Hg) is satisfied and pick \(0< \kappa < \frac{1}{12}\). Then there exists a constant \(K > 0\) so that the following properties hold true.
-
(i)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\), we have the identities
$$\begin{aligned} {\mathcal {G}}_{B;\mathrm {apx};II}(U)= & {} {\mathcal {G}}_{B;\mathrm {apx}}(U) + {\mathcal {G}}_{B;\mathrm {apx};\mathrm {sh};b}(U) , \nonumber \\ {\mathcal {G}}_{B;\mathrm {lin};U;II}[V]= & {} {\mathcal {G}}_{B;\mathrm {lin};U}[V] + {\mathcal {G}}_{B;\mathrm {lin};U;\mathrm {sh};b}[V] . \end{aligned}$$(E.23) -
(ii)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the bounds
$$\begin{aligned} \begin{array}{lclcl} \left\| {\mathcal {G}}_{B;\mathrm {apx};\mathrm {sh};b}(U) \right\| _{\ell ^2_h} &{} \le &{} Kh &{} = &{} K S_{\mathrm {sh};\mathrm {full}} (U) , \\ \left\| {\mathcal {G}}_{B;\mathrm {lin};U;\mathrm {sh};b}[V] \right\| _{\ell ^2_h} &{} \le &{} K h \big [ \left\| \partial ^+ V\right\| _{\ell ^2_h} + \left\| \partial ^+ \partial ^+ V\right\| _{\ell ^2_h} \big ] &{} \le &{} K {\mathcal {E}}_{\mathrm {sh};U}(V) . \end{array} \end{aligned}$$(E.24)
Proof
The estimates follow from Lemma’s B.4 and B.5. \(\square \)
1.3 Simplifications for \({\mathcal {G}}_{C}\) and \({\mathcal {G}}_D\)
We recall the definition
for \(\#\in \{C, D \}\). Inspecting (D.25), we see that
We also recall the definition
for \(\#\in \{C, D\}\). Using (D.25) once more, we hence see
1.4 Final Decomposition
Recalling the definitions (5.1), we observe that
together with
Proof
(Proof of Propositions 5.2-5.3 for \({\mathcal {G}}\)) Upon writing
together with \({\mathcal {G}}_{\mathrm {apx};\mathrm {rem};b} = {\mathcal {G}}_{\mathrm {lin};U;\mathrm {rem};b}=0 \), the statements follow from Lemma’s E.1 and E.2. \(\square \)
Reductions for \({\mathcal {G}}^+\)
Our goal here is to construct the functions \({\mathcal {G}}^+_{\mathrm {apx};\mathrm {sh};b}\), \({\mathcal {G}}^+_{\mathrm {apx};\mathrm {rem};b}\), \({\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {sh};b}\) and \({\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {rem};b}\) and demonstrate that they satisfy the corresponding bounds in Propositions 5.2-5.3. As in the previous section, we treat each of the components in (3.46) and (3.47) separately and subsequently combine the results.
1.1 Simplifications for \({\mathcal {G}}^+_{A'b}\)
We recall the definition
Substituting the relevant expressions from Sect. D, we find
We now make the decomposition
by introducing
together with
We also recall the definition
Substituting the relevant expressions from Sect. D, we find
We conclude by writing
and obtaining the following bound.
Lemma F.1
Assume that (Hg) is satisfied and pick \(0< \kappa < \frac{1}{12}\). Then there exists a constant \(K > 0\) so that the following properties hold true.
-
(i)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\), we have the identity
$$\begin{aligned} {\mathcal {G}}^+_{A'b;\mathrm {apx};II}(U)= & {} {\mathcal {G}}^+_{A'b;\mathrm {apx}}(U) + {\mathcal {G}}^+_{A'b;\mathrm {apx};\mathrm {sh};b}(U) . \end{aligned}$$(F.9) -
(ii)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bound
$$\begin{aligned} \begin{array}{lclcl} \left\| {\mathcal {G}}^+_{A'b;\mathrm {apx};\mathrm {sh};b}(U) \right\| _{\ell ^2_h}\le & {} K h \left\| \partial ^+ \partial ^+ \partial ^+ U \right\| _{\ell ^2_h}\le & {} K {\overline{S}}_{\mathrm {sh};\mathrm {full}} (U) . \end{array} \end{aligned}$$(F.10)
Proof
The results follow by inspection. \(\square \)
1.2 Simplifications for \({\mathcal {G}}^+_{A'c}\)
We recall the definition
Substituting the relevant expressions from Sect. D, we find
We now make the decomposition
by introducing
together with
In addition, we make the splitting
by writing
together with
We also recall the definition
Substituting the relevant expressions from Sect. D, we find
We now make the decomposition
by introducing
together with
We summarize our results by writing
and obtaining the following bounds.
Lemma F.2
Assume that (Hg) is satisfied and pick \(0< \kappa < \frac{1}{12}\). Then there exists a constant \(K > 0\) so that the following properties hold true.
-
(i)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\), we have the identities
$$\begin{aligned} {\mathcal {G}}^+_{A'c;\mathrm {apx};II}(U)= & {} {\mathcal {G}}^+_{A'c;\mathrm {apx}}(U) + {\mathcal {G}}^+_{A'c;\mathrm {apx};\mathrm {sh};b}(U) + {\mathcal {G}}^+_{A'c;\mathrm {apx};\mathrm {sh};c}(U) , \nonumber \\ {\mathcal {G}}^+_{A'c;\mathrm {lin};U;II}[V]= & {} {\mathcal {G}}^+_{A'c;\mathrm {lin};U}[V] + {\mathcal {G}}^+_{A;\mathrm {lin};U;\mathrm {sh};b}[V] . \end{aligned}$$(F.25) -
(ii)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bounds
$$\begin{aligned} \begin{array}{lclcl} \left\| {\mathcal {G}}^+_{A'c;\mathrm {apx};\mathrm {sh};b}(U) \right\| _{\ell ^2_h} &{} \le &{} Kh &{} \le &{} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) , \\ \left\| {\mathcal {G}}^+_{A'c;\mathrm {apx};\mathrm {sh};c}(U) \right\| _{\ell ^2_h} &{} \le &{} Kh \left\| \partial ^+ \partial ^{(2)} U\right\| _{\ell ^2_h} &{} \le &{} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) . \\ \end{array} \end{aligned}$$(F.26) -
(iii)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}^+_{A'c;\mathrm {lin};U;\mathrm {sh};b}[V] \right\| _{\ell ^2_h}\le & {} K h \left\| V\right\| _{\ell ^{2;3}_h} + K h \left\| \partial ^+ \partial ^+ \partial ^+ U\right\| _{\ell ^\infty _h} \left\| \partial ^+ V\right\| _{\ell ^2_h} \nonumber \\\le & {} K h \overline{{\mathcal {E}}}_{\mathrm {sh};U}[V] . \end{aligned}$$(F.27)
Proof
Recalling Proposition C.1, the bounds follow by inspection. \(\square \)
1.3 Simplifications for \({\mathcal {G}}^+_{B'}\)
We recall the definition
Substituting the relevant expressions from Sect. D, we find
In view of Lemma B.5, we introduce the expressions
In addition, we make the splitting
by writing
together with
We also recall the definition
Substituting the relevant expressions from Sect. D, we find
A little algebra yields
In view of Lemma’s B.5 and B.4, we introduce the expressions
A short computation yields
We now make the decomposition
by writing
together with
We summarize our results by writing
and obtaining the following bounds.
Lemma F.3
Assume that (Hg) is satisfied and pick \(0< \kappa < \frac{1}{12}\). Then there exists a constant \(K > 0\) so that the following properties hold true.
-
(a)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\), we have the identities
$$\begin{aligned} {\mathcal {G}}^+_{B';\mathrm {apx};II}(U)= & {} {\mathcal {G}}^+_{B';\mathrm {apx}}(U) + {\mathcal {G}}^+_{B';\mathrm {apx};\mathrm {sh};b}(U) + {\mathcal {G}}^+_{B';\mathrm {apx};\mathrm {sh};c}(U) , \nonumber \\ {\mathcal {G}}^+_{B';\mathrm {lin};U;II}[V]= & {} {\mathcal {G}}^+_{B';\mathrm {lin};U}[V] + {\mathcal {G}}^+_{B';\mathrm {lin};U;\mathrm {sh};b}[V] + {\mathcal {G}}^+_{B';\mathrm {lin};U;\mathrm {sh};c}[V] . \end{aligned}$$(F.43) -
(ii)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bounds
$$\begin{aligned} \begin{array}{lclcl} \left\| {\mathcal {G}}^+_{B';\mathrm {apx};\mathrm {sh};b}(U) \right\| _{\ell ^2_h} &{} \le &{} Kh &{} \le &{} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) , \\ \left\| {\mathcal {G}}^+_{B';\mathrm {apx};\mathrm {sh};c}(U) \right\| _{\ell ^2_h} &{} \le &{} Kh \left\| \partial ^+ \partial ^{(2)} U\right\| _{\ell ^2_h} &{} \le &{} K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) . \\ \end{array} \end{aligned}$$(F.44) -
(iii)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}^+_{B';\mathrm {lin};U;\mathrm {sh};b}[V] \right\| _{\ell ^2_h}\le & {} K h \big [ \left\| \partial ^+V\right\| _{\ell ^2_h} + \left\| \partial ^+ \partial ^+ V\right\| _{\ell ^2_h} \big ] \nonumber \\\le & {} K h \overline{{\mathcal {E}}}_{\mathrm {sh};U}(V) , \nonumber \\ \left\| {\mathcal {G}}^+_{B';\mathrm {lin};U;\mathrm {sh};c}[V] \right\| _{\ell ^2_h}\le & {} K h \left\| V\right\| _{\ell ^{2;2}_h} + K h \left\| \partial ^+ \partial ^+ \partial ^+ U\right\| _{\ell ^2_h} \left\| V\right\| _{\ell ^{2;2}_h} \nonumber \\\le & {} K h \overline{{\mathcal {E}}}_{\mathrm {sh};U}(V) . \end{aligned}$$(F.45)
Proof
Recalling Lemma’s B.4 and B.5, the bounds in (ii) and the first bound in (iii) follow by inspection. The final bound in (iii) follows from Proposition C.1. \(\square \)
1.4 Final Decomposition
Arguing as in Sect. E.3 we see that
so these can be neglected. Leaving the remaining component \({\mathcal {G}}^+_{A'a}\) intact, we recall (3.46), (3.48) and (4.39) to write
This allows us to define the total
Substituting the relevant expressions from Sects. F.1–F.3 we obtain
In order to suppress the final term, we introduce the expressions
Moving on to the linear approximants, we define the function
As a first step towards evaluating this expression, we substitute the relevant identities from Sects. F.1–F.3 to compute
In a similar fashion, we find
In particular, we see that
Comparing this expression with (5.4), we set out to suppress the final term by introducing the functions
Lemma F.4
Assume that (Hg) is satisfied, pick \(0< \kappa < \frac{1}{12}\) and recall the definitions (5.4). There exists a constant \(K > 0\) so that the following properties hold true.
-
(i)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\), we have the identities
$$\begin{aligned} {\mathcal {G}}^+_{\mathrm {apx};III}(U)= & {} {\mathcal {G}}^+_{\mathrm {apx}}(U) + {\mathcal {G}}^+_{\mathrm {apx};\mathrm {sh};b;i}(U) + {\mathcal {G}}^+_{\mathrm {apx};\mathrm {rem};b;i}(U) , \nonumber \\ {\mathcal {G}}^+_{\mathrm {lin};U;III}[V]= & {} {\mathcal {G}}^+_{\mathrm {lin};U}[V] + {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {sh};b;i}[V] + {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {rem};b;i}[V] . \end{aligned}$$(F.56) -
(ii)
For every \(h > 0\) and \(U \in \Omega _{h;\kappa }\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}^+_{\mathrm {apx};\mathrm {sh};b;i}(U) \right\| _{\ell ^2_h}\le & {} Kh \le K {\overline{S}}_{\mathrm {sh};\mathrm {full}}(U) , \nonumber \\ \left\| {\mathcal {G}}^+_{\mathrm {apx};\mathrm {rem};b;i}(U) \right\| _{\ell ^2_h}\le & {} K \left\| \partial ^+ [{\mathcal {E}}_{\mathrm {tw}}(U) ] \right\| _{\ell ^2_h} \le K {\overline{S}}_{\mathrm {rem};\mathrm {full}}(U) . \end{aligned}$$(F.57) -
(iii)
For every \(h > 0\), \(U \in \Omega _{h;\kappa }\) and \(V \in \ell ^2_h\) we have the bounds
$$\begin{aligned} \left\| {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {sh};b;i}[V] \right\| _{\ell ^2_h}\le & {} K h \left\| \partial ^+V\right\| _{\ell ^2_h} \nonumber \\\le & {} K \overline{{\mathcal {E}}}_{\mathrm {sh};U}(V) , \nonumber \\ \left\| {\mathcal {G}}^+_{\mathrm {lin};U;\mathrm {rem};b;i}[V] \right\| _{\ell ^2_h}\le & {} K \left\| \partial ^+ [{\mathcal {E}}_{\mathrm {tw}}(U) ] \right\| _{\ell ^\infty _h} \left\| \partial ^+ V\right\| _{\ell ^{2}_h} \nonumber \\\le & {} K \overline{{\mathcal {E}}}_{\mathrm {rem};U}(V) . \end{aligned}$$(F.58)
Proof
Recalling (C.5), the bounds follow by inspection. \(\square \)
Proof
(Proof of Proposition 5.2–5.3 for \({\mathcal {G}}^+\)) Upon introducing the full remainder functions
together with their counterparts
the desired estimates follow directly from Lemma’s F.1–F.4. \(\square \)
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
Hupkes, H.J., Van Vleck, E.S. Travelling Waves for Adaptive Grid Discretizations of Reaction Diffusion Systems III: Nonlinear Theory. J Dyn Diff Equat 35, 2743–2811 (2023). https://doi.org/10.1007/s10884-022-10143-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-022-10143-4