Numerical verification of existence and inclusion of solutions for nonlinear operator equations

DOI10.1016/0377-0427(94)00090-NzbMath0871.65045MaRDI QIDQ1900759

Shin'ichi Oishi

Publication date: 23 October 1995

Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Computable error bounds for approximate periodic solutions of autonomous delay differential equations, A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

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