A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
DOI10.1007/S11075-008-9180-0zbMATH Open1147.65057OpenAlexW2014759361MaRDI QIDQ2483052FDOQ2483052
Authors: Sayed Mahmoud, Xiaojun Chen 
Publication date: 5 May 2008
Published in: Numerical Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11075-008-9180-0
Recommendations
- Implicit Runge–Kutta Methods for Lipschitz Continuous Ordinary Differential Equations
- Suitability of Runge-Kutta methods
- A verified method for solving piecewise smooth initial value problems
- Fast solution of fully implicit Runge-Kutta and discontinuous Galerkin in time for numerical PDEs. II: Nonlinearities and DAEs
- Integration of stiff mechanical systems by Runge-Kutta methods
Ordinary differential equations with impulses (34A37) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06) Error bounds for numerical methods for ordinary differential equations (65L70) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)
Cites Work
- Rigorous global search: continuous problems
- Optimization and nonsmooth analysis
- Large-Amplitude Periodic Oscillations in Suspension Bridges: Some New Connections with Nonlinear Analysis
- Interval Methods for Systems of Equations
- Title not available (Why is that?)
- Smoothing Methods and Semismooth Methods for Nondifferentiable Operator Equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- A Test for Existence of Solutions to Nonlinear Systems
- Inexact simplified Newton iterations for implicit Runge-Kutta methods
- A verification method for solutions of nonsmooth equations
- Expansion and estimation of the range of nonlinear functions
- Numerical validation of solutions of complementarity problems: the nonlinear case
- Efficiently Implementable Algebraically Stable Runge–Kutta Methods
- Interval Slopes for Rational Functions and Associated Centered Forms
- Interval extensions and interval iterations
- Implicit Runge–Kutta Methods for Lipschitz Continuous Ordinary Differential Equations
Cited In (4)
- An efficient pseudo-spectral method for nonsmooth dynamical systems
- Implicit-Runge-Kutta-based methods for fast, precise, and scalable uncertainty propagation
- Implicit Runge–Kutta Methods for Lipschitz Continuous Ordinary Differential Equations
- A verified method for solving piecewise smooth initial value problems
Uses Software
This page was built for publication: A verified inexact implicit Runge-Kutta method for nonsmooth ODEs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2483052)
