Search arXivSearch

arXiv · 2409.10548

Error estimation for numerical approximations of ODEs via composition techniques. Part I: One-step methods

Abstract

In this study, we introduce a refined method for ascertaining error estimations in numerical simulations of dynamical systems via an innovative application of composition techniques. Our approach involves a dual application of a basic one-step numerical method of order p in this part, and for the class of Backward Difference Formulas schemes in the second part [Deeb A., Dutykh D. and AL Zohbi M. Error estimation for numerical approximations of ODEs via composition techniques. Part II: BDF methods, Submitted, 2024]. This dual application uses complex coefficients, resulting outputs in the complex plane. The methods innovation lies in the demonstration that the real parts of these outputs correspond to approximations of the solutions with an enhanced order of p + 1, while the imaginary parts serve as error estimations of the same order, a novel proof presented herein using Taylor expansion and perturbation technique. The linear stability of the resulted scheme is enhanced compared to the basic one. The performance of the composition in computing the approximation is also compared. Results show that the proposed technique provide higher accuracy with less computational time. This dual composition technique has been rigorously applied to a variety of dynamical problems, showcasing its efficacy in adapting the time step,particularly in situations where numerical schemes do not have theoretical error estimation. Consequently, the technique holds potential for advancing adaptive time-stepping strategies in numerical simulations, an area where accurate local error estimation is crucial yet often challenging to obtain.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ahmad Deeb, Denys Dutykh. 2024-09-02. Error estimation for numerical approximations of ODEs via composition techniques. Part I: One-step methods. https://arxiv.org/abs/2409.10548

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Geometric Duality Between Constraints and Gauge Fields: Mirror Realization and Reduction Geometry on Principal Bundles

A connection and a nonzero parallel adjoint field determine an invariant hyperplane constraint on a principal bundle. Its sign mirror preserves the hyperplane and reverses its coorientation; global gauge realization is controlled by a twisted stabilizer reduction. For regular fields we identify the normalizing gauge extension as a pushout of the torus-normalizer extension, giving exact lift orders and simultaneous-splitting criteria. In singular rank-two block families, reductions on a fixed trivial bundle form an affine second-Chern lattice whose Weyl stabilizers and finite-order lift spectra detect topology invisible to paired curvature. The reduction framework also determines the structure group and second cohomology of the matched-flag diagonalization space of Friedman and Park, and gives a first- and second-Chern criterion for normal matrices with fixed separated spectrum on four-complexes; every integral solution of their three-eigenline equation on $S^2\times S^2$ is realized. For moving reductions, the projected circle curvature differs from the ambient paired curvature by a covariant-derivative term. Full fatness on a closed four-manifold forces a nontrivial sign-mirror obstruction for every circle reduction; hyperbolic self-dual-form bundles also provide circle reductions in the $y$-fat setting of Florit and Ziller. Contact transgression, bundle automorphism twists, and the natural first-jet Spencer operator complete the geometric picture.

math.GM

Ramanujan-Type Series of Signature 2: Analytical Evaluation via Degree-2 Transformations and Associated Harmonic Expansions

We provide an explicit analytical evaluation of the known rational Ramanujan-type series for the theory of signature 2. Focusing on the singular moduli $k_r$ for $r \in \{2, 3, 4, 7\}$, we demonstrate that the underlying elliptic identities can be established through modular transformations of degree 2. In particular, we showcase a family of rational harmonic Ramanujan-type series for $1/π$ involving higher-degree polynomials

math.GM