An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
The initial value problem (IVP) \(y'(t)= f(y)\), \(y(t_0)\in Y_0\) is considered where \(Y_0\) is an interval vector over \(\mathbb{R}^n\) and \([t_0, T]\) is the domain for solutions. Given a grid \(t_0< t_1<\cdots< t_m= T\) with a step-size \(h_j= t_{j+1}- t_j\) \((j= 0,\dots, m-1)\) an algorithm is proposed with the following statement which is to be applied recursively: If an enclosure \(Y_j\) of the problem at \(t_j\) is given, a step-size \(h_j\) and an interval vector \(\widetilde Y_j\) is determined such that the problem \(y'(t)= f(y)\), \(y(t_j)= y_j\) has a unique solution \(y(t)\) with \(y(t)\in\widetilde Y_j\) for \(t_j< t< t_{j+1}\) and all \(y_j\in Y_j\). The algorithm uses higher-order enclosures of the differential equation and aims to produce as large step-sizes as possibles.
- Generalized Hukuhara differentiability of interval-valued functions and interval differential equations
- Some recent advances in validated methods for IVPs for ODEs
- Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations
- Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
- Domain theoretic second-order Euler's method for solving initial value problems
- Properties of boundary-layer flow solutions for non-Newtonian fluids with non-linear terms of first and second-order derivatives
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Validated solutions of initial value problems for parametric ODEs
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Verified Solution of Nonlinear Dynamic Models in Epidemiology
- Interval observer design based on nonlinear hybridization and practical stability analysis
- A topological approach to the algorithmic computation of the Conley index for Poincaré maps
- Status of the differential transformation method
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Determination of inner and outer bounds of reachable sets through subpavings
- Multi-criteria interval optimization of conditions for complex chemical reactions on the basis of a kinetic model
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Boundary value problems for interval-valued differential equations on unbounded domains
- Recursive solution of initial value problems with temporal discretization
- Towards an automatic uncertainty compiler
- Verified solution method for population epidemiology models with uncertainty
- A mechanism for growth of topological entropy
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Towards global bilevel dynamic optimization
- Verified integration of linear \(n\)th order ODEs using large steps
- Probability bounds analysis for nonlinear population ecology models
- Computing reachable sets for uncertain nonlinear monotone systems
- Rigorous parameter reconstruction for differential equations with noisy data
This page was built for publication: An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1597634)
