Abstract
An explicit error inhibiting block one-step method was developed by Ditkowski and Gottlieb in 2017. It is motivated by a class of one-step methods described in Shampine and Watts (Math Comp 23:731–740, 1969), which takes initial s step values to generate the next s step values at each step. The error inhibiting method shares the form of the diagonally implicit multistage integration method of type 3 introduced in Butcher (Appl Numer Math 11:347–363, 1993). With the explicit error inhibiting scheme, the convergence of the global error is one order higher than that of the local truncation error, while in general the global error decays with the same order as the local truncation error. In this work, we improve the explicit error inhibiting block one-step method in order to further enhance the convergence and accuracy of the method. The main idea is to adopt the radial basis functions as a reconstruction basis replacing the polynomial basis. The numerical results confirm that the proposed method is efficient in providing enhanced order of accuracy.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
1 Introduction
General linear methods have been extensively studied for solving differential equations. Among the large family of general linear methods the diagonally implicit multistage integration methods (DIMSIMs) in [1] are the special cases, which exhibits considerable potential for efficient implementation, providing the global error of the same order as the local truncation error. In [2], it was demonstrated that finite difference methods for PDEs can be constructed such that their convergence rates, or the order of their global errors, are higher than the order of the truncation errors. Following this idea, Ditkowski and Gottlieb devised the error inhibiting strategy in [3] by inhibiting the lowest order term in the truncation error from accumulating over time and thus showed that the global error of the scheme is one order higher than the local truncation error. The key idea of this method is to construct a coefficient matrix that has the null space where the local truncation error resides.
In this work, we further improved the original error inhibiting method by using the radial basis function (RBF) approximations. The main idea of the proposed method is to replace the polynomial basis with the RBF basis for the reconstruction of the solution. With a new RBF basis, a free parameter, known as the shape parameter, is introduced. By exploiting the new parameter, the error could be further reduced resulting in a higher order of convergence than the original method. The main advantage is that the proposed method does not need any other additional conditions rather than the given conditions, so it is efficient to implement.
The next section will review the explicit error inhibiting block one-step method. In Sect. 3, we will explain the RBF method. In Sect. 4, we show how the new method can be derived followed by Sect. 5 where numerical results are provided verifying that the convergence rate of the proposed method is increased by one order. A brief conclusion and an outline of our future research are presented in Sect. 6.
2 Error Inhibiting Block One-Step Method
Consider the initial value problem for the first-order ODE below
where we assume f(t, u) is uniformly Lipschitz continuous in u and continuous in t. We choose a value h for the step size and set t n = nh a discrete sequence in the time domain. Denote the numerical approximation of the solution u(t n) by v n.
Define the solution vector U n by
where \(u_{n+\frac {j}{s}} = u(t_{n+jh/s})\) is the exact solution at \(t = t_n+\frac {jh}{s}\) for j = 0, ⋯ , s − 1. The corresponding approximation vector V n is defined as
In [3], the scheme is formulated as
where the operator Q is represented by the following
and \(A, B \in \mathbb {R}^{s \times s}\). There are 4 sufficient conditions imposed on the matrices A and B in order to be error inhibiting:
-
1.
rank(A) = 1.
-
2.
The only non-zero eigenvalue of A is 1 and its corresponding eigenvector is
$$\displaystyle \begin{aligned}{}[1, \cdots, 1]^T. \end{aligned}$$ -
3.
A can be diagonalized.
-
4.
The matrices A and B are constructed such that when the local truncation error is multiplied by the discrete solution operator, we have
$$\displaystyle \begin{aligned} ||Q \tau_{\nu}|| \leqslant O(h) \cdot ||\tau_{\nu}||. \end{aligned}$$This is accomplished by requiring that the leading order term of the local truncation error is in the eigenspace of A associated with the zero eigenvalue.
We derive those matrices of A and B with symbolic computation. As an example of the derivation of the error inhibiting method, we consider the construction of the scheme with s = 2. The solution vector is then
and the corresponding approximation vector is given by
In order to satisfy those conditions listed above we first select
which can be diagonalized as
Then conditions 1, 2 and 3 are satisfied. Further suppose that
Then
where f n+1∕2 = f(t n+1∕2, v n+1∕2) and f n = f(t n, v n). The components of V n+1 are
We write each difference equation in the form of error normalized by the step size and then insert the exact solutions to the ODE into the difference equation. Expanding u n+3∕2, u n+1 and u n+1∕2 around t = t n in Taylor series gives the local truncation error
where
Vanishing the coefficients of the constant term and the term h in (7) and (8), and equating the quotient of the coefficient of the terms h 2 in (7) and (8) to \(\frac {\upsilon }{\upsilon -1}\), the condition 4 is satisfied. Finally we have the desired scheme as in [3]
and correspondingly the local truncation error is 2nd order convergent as expected
3 RBF Interpolation
Now we briefly explain the RBF interpolation in one dimension. Suppose that for a domain \(\Omega \subset \mathbb {R}\), a data set \(\{ (x_i, u_i) \}^N_{i=0}\) is given where u i is the value of the unknown function u(x) at x = x i ∈ Ω. We use the RBFs \(\phi : \Omega \to \mathbb {R}\) defined by ϕ(x) = ϕ(|x − x i|, 𝜖 i), where |x − x i| is the distance between x and x i and 𝜖 i is the shape parameter. The reconstruction of a function, u(x), is then made by a linear combination of RBFs
where λ i are the expansion coefficients to be determined. Using the interpolation condition \(I^R_N u(x_i) = u_i,~i = 0, \dotsb , N\), we could find the expansion coefficients λ i by solving the linear system
We choose the multiquadric RBF with all the shape parameters equal. Then the interpolation matrix, A, becomes a symmetric matrix with all diagonal entries 1,
Consider the case of 3 equally spaced nodes x 0, x 1, x 2 with x 0 < x 1 < x 2. Let h be the grid spacing. Then the linear system becomes
By the closed-form expression for the RBF interpolant in [4],
where A i(x), a 3 × 3 matrix, is obtained by replacing the ith row of A with the row vector
Differentiating the interpolant, we obtain the first-order derivative
We then estimate the derivative of u at x = x 1 as we do in polynomial interpolation for the central difference formula:
By employing the Taylor expansion of the quotient on the right-hand side of (17), we have
The main feature of the RBF method is that it contains a free parameter, 𝜖, which we could make use of to further inhibit the errors. In the following section, we will show that using the parameter 𝜖 coupled with h p terms, where \(p \geqslant 2\), we can increase the order of local truncation error and further promote the order of global error by adopting the error inhibiting scheme.
4 Construction of the Improved Error Inhibiting Scheme
Following the main feature of the RBF method explained in the preceding section, we try to establish a similar explicit block one-step scheme that provides a higher order of convergence by adding one more block of the shape parameters 𝜖 1 and 𝜖 2 coupled with h p term. With p = 3, we have
We measure the one-step error normalized by the step size as in Sect. 2. Expanding u n+3∕2, u n+1 and u n+1∕2 around t = t n in Taylor series again yields the local truncation error
where
Annihilating the first two terms in (20) and (21), and equating the quotient of the coefficient of the terms h 3 in (20) and (21) to \(\frac {\upsilon }{\upsilon -1}\), we have the scheme
We can easily check that the scheme (22) satisfies those four conditions in Sect. 2. Further annihilating the coefficients of the term h 2, we get the optimal values of 𝜖 1 and 𝜖 2:
Our new scheme has the truncation error
Note that in our new scheme, we need the value of \(u^{(3)}_n\) at each step. This higher derivative can be computed by repeated differentiation of the function f on the right-hand side of (1) twice. However, we choose to estimate the third-order derivative. For \(u^{\prime }_n\), we use the given condition from (1), i.e. u′(t) = f(t, u(t)). For the third-order derivative \(u^{(3)}_n\), we employ the second-order central difference formula for f″(t, u(t)) at t = t n as
where f n+1∕2, f n and f n−1∕2 are given values. For this computation, no additional conditions are necessary. The truncation error is still third order accurate, O(h 3), as in (25), so by the error inhibiting strategy we end up with a global error that is O(h 4), which will soon be confirmed in the following section.
We conclude this section with a comparison of three methods. For DIMSIM of type 3,
two steps v n and v n+1 are employed to update the step v n+1 and obtain the step v n+2. For error inhibiting scheme,
two steps v n and v n+1∕2 are involved to generate the next two steps v n+1 and v n+3∕2. For our method (if we utilize (26) and substitute (23), (24) for respective 𝜖 1 and 𝜖 2 in (22) to avoid the denominator zero),
we make use of previous three steps v n−1∕2, v n and v n+1∕2 to evolve the next two steps v n+1 and v n+3∕2. As for the cost, it seems that the error inhibiting method is more computationally expensive than some other methods because of the stability condition, which will be investigated in our future work.
5 Numerical Results
We start with the nonlinear first-order differential equation used in [3]
The exact solution of the example is u(t) = 1∕(t + 1). The left figure of Fig. 1 shows each global error at the time t = 1 versus N in logarithmic scale for the type-3 DIMSIM (blue), the original error inhibiting scheme (red) and our proposed method (green). As seen in the figure, our proposed method is the most accurate among those three methods and yields high order convergence which is 4th order. Table 1 shows the convergence with N for (27). The type-3 DIMSIM yields the 2nd order accuracy, the original error inhibiting scheme yields the 3rd order accuracy and our proposed method yields the 4th order accuracy.
Next we proceed to a problem in [5] where the solution changes rapidly between [−2, 2]
The exact solution is u(t) = 1∕(t 4 + 1). The right figure of Fig. 1 shows each global error at the final time t = 0 versus N in logarithmic scale for the type-3 DIMSIM (blue), the original error inhibiting method (red) and our proposed method (green). We verify again that our proposed method is indeed the most accurate and yields the highest order of convergence. Table 2 shows the convergence with N for (28). Although the type-3 DIMSIM does not reveal the 2nd order accuracy in the beginning, it eventually exhibits the order of accuracy as expected. The original error inhibiting scheme is 3rd order accurate and our proposed method 4th order accurate.
6 Conclusions
In this note, we modified and improved the original error inhibiting block one-step method proposed in [3] by means of the RBF basis, where a free parameter is introduced. By exploiting the parameter with the given conditions of ODEs, the local truncation error is further reduced resulting in higher order of the global error. It is numerically demonstrated that, with the proposed method, the local truncation error is of the 3rd order and the global error of the 4th order. As mentioned in Sect. 4, we will investigate the stability of the error inhibiting method and our proposed method as well as relaxing the fourth constraint in error inhibiting method in our future research.
References
Butcher, J.C: Diagonally-implicit multi-stage integration method. Appl. Numer. Math. 11, 347–363 (1993)
Ditkowski, A.: High order finite difference schemes for the heat equation whose convergence rates are higher than their truncation errors. In: Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2014, pp. 167–178. Springer, Salt Lake City (2014)
Ditkowski, A., Gottlieb. S.: Error inhibiting block one-step schemes for ordinary differential equations. J. Sci. Comput. 73, 691–711 (2017)
Fornberg, B., Weight, G., Larsson, E.: Some observations regarding interpolants in the limit of flat radial basis functions. Comput. Math. Appl. 47, 37–55 (2004)
Sauer, T.: Numerical Analysis, 2nd edn. Pearson, New York (2012)
Shampine, L.F., Watts, H.A.: Block implicit one-step methods. Math. Comp. 23, 731–740 (1969)
Acknowledgements
The authors thank Adi Ditkowski for introducing the error inhibiting method to us and communicating with us on the subject. The research is partially supported by Ajou University.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), 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 license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license 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.
Copyright information
© 2020 The Author(s)
About this paper
Cite this paper
Gu, J., Jung, JH. (2020). An Adaptive Error Inhibiting Block One-Step Method for Ordinary Differential Equations. In: Sherwin, S.J., Moxey, D., Peiró, J., Vincent, P.E., Schwab, C. (eds) Spectral and High Order Methods for Partial Differential Equations ICOSAHOM 2018. Lecture Notes in Computational Science and Engineering, vol 134. Springer, Cham. https://doi.org/10.1007/978-3-030-39647-3_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-39647-3_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-39646-6
Online ISBN: 978-3-030-39647-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)