Table of Contents
Fetching ...

Numerical solutions of ordinary differential equations using Spline-Integral Operator

Gustavo H. O. Salgado, João P. R. Romanelli

TL;DR

The paper addresses IVP truncation errors by introducing the Spline-Integral Operator (SIO), which blends a spline-based approximation $S_m(t_0,t,w)$ with the integral form $y(t)=y_0+ \int_{t_0}^t f(\tau,y(\tau))\,d\tau$. Using a fixed-point iteration to determine $w$ in $G_h(w)=y_0+\int_{t_0}^{t_0+h} f(t,S_m(t_0,t,w))\,dt$, the method is an implicit one-step scheme whose order is $m+1$ when the spline contains derivatives up to order $m-1$. Theoretical results establish contraction and convergence, yield an $\mathcal{O}(h^{m+1})$ accuracy for the $G_h$-approximation and $\mathcal{O}(h^{m+2})$ for the fixed point, and provide a stability region analysis via a linear test equation, showing that SIO(2) matches the implicit trapezoidal method and that higher $m$ improve stability. Numerical experiments with $m=3$ (SIO$(4)$) compare favorably to Taylor methods of the same order, using both analytic and Gauss-quadrature-based integration, and demonstrate robustness with respect to the integral evaluation technique. Overall, the SIO framework offers a high-order, implicit ODE solver that leverages spline-based approximations and fixed-point theory to achieve accurate, stable solutions with flexible computational options.

Abstract

In this work, we introduce a novel numerical method for solving initial value problems associated with a given differential. Our approach utilizes a spline approximation of the theoretical solution alongside the integral formulation of the analytical solution. Furthermore, we offer a rigorous proof of the method's order and provide a comprehensive stability analysis. Additionally, we showcase the effectiveness method through some examples, comparing with Taylor's methods of same order.

Numerical solutions of ordinary differential equations using Spline-Integral Operator

TL;DR

The paper addresses IVP truncation errors by introducing the Spline-Integral Operator (SIO), which blends a spline-based approximation with the integral form . Using a fixed-point iteration to determine in , the method is an implicit one-step scheme whose order is when the spline contains derivatives up to order . Theoretical results establish contraction and convergence, yield an accuracy for the -approximation and for the fixed point, and provide a stability region analysis via a linear test equation, showing that SIO(2) matches the implicit trapezoidal method and that higher improve stability. Numerical experiments with (SIO) compare favorably to Taylor methods of the same order, using both analytic and Gauss-quadrature-based integration, and demonstrate robustness with respect to the integral evaluation technique. Overall, the SIO framework offers a high-order, implicit ODE solver that leverages spline-based approximations and fixed-point theory to achieve accurate, stable solutions with flexible computational options.

Abstract

In this work, we introduce a novel numerical method for solving initial value problems associated with a given differential. Our approach utilizes a spline approximation of the theoretical solution alongside the integral formulation of the analytical solution. Furthermore, we offer a rigorous proof of the method's order and provide a comprehensive stability analysis. Additionally, we showcase the effectiveness method through some examples, comparing with Taylor's methods of same order.
Paper Structure (6 sections, 4 theorems, 33 equations, 2 figures, 3 tables)

This paper contains 6 sections, 4 theorems, 33 equations, 2 figures, 3 tables.

Key Result

Proposition 2.1

Let the rectangle where $f(t,y)$ is continuous. If the theoretical solution $y(t)$ of IVP eq:ivp has $m-1$ continuous derivatives at $t=t_0$, then there exist $h$ and $w$ such that $(t,S_m(t_0,t,w))\subset\mathcal{R}$ for all $|t-t_0|\leq |h|$.

Figures (2)

  • Figure 1: Stability region of SIO($m$+1) method for $m\in\{2,\dots,7\}$.
  • Figure 2: Stability regions of SIO(3) and SIO(8) compared with stability regions of Taylor's methods of order less than 6.

Theorems & Definitions (11)

  • Remark 2.1
  • Remark 2.2
  • Proposition 2.1
  • Remark 2.3
  • Definition 2.1
  • Theorem 2.2
  • Remark 2.4
  • Proposition 3.1
  • Proposition 4.1
  • Remark 5.1
  • ...and 1 more