Numerical verification of existence and inclusion of solutions for nonlinear operator equations
DOI10.1016/0377-0427(94)00090-NzbMath0871.65045MaRDI QIDQ1900759
Publication date: 23 October 1995
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
Newton's method; periodic solution; Banach space; Duffing equation; abstract nonlinear operator equations; finite method; inclusion of solutions; computer-assisted existence proof; self-validating numerics; Urabe-Galerkin's method
47J25: Iterative procedures involving nonlinear operators
34C25: Periodic solutions to ordinary differential equations
34A34: Nonlinear ordinary differential equations and systems
65L05: Numerical methods for initial value problems involving ordinary differential equations
65J15: Numerical solutions to equations with nonlinear operators
65L60: Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations
Related Items
Cites Work
- Computer-assisted existence proofs for two-point boundary value problems
- A geometric method for the numerical solution of nonlinear equations and its application to nonlinear oscillations
- Galerkin's procedure for nonlinear periodic systems
- Numerical investigation of subharmonic solutions to Duffing's equation
- Einige abstrakte Begriffe in der numerischen Mathematik (Anwendungen der Halbordnung).(Some abstract notions in the numerical mathematic. (Applications et semiorder))
- Sur la méthode de Galerkin-Urabe pour les systèmes différentiels périodiques
- Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
- A numerical approach to the proof of existence of solutions for elliptic problems
- Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality—
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item