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 methodperiodic solutionBanach spaceDuffing equationabstract nonlinear operator equationsfinite methodinclusion of solutionscomputer-assisted existence proofself-validating numericsUrabe-Galerkin's method

Mathematics Subject Classification ID

Iterative procedures involving nonlinear operators (47J25) Periodic solutions to ordinary differential equations (34C25) Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Numerical solutions to equations with nonlinear operators (65J15) Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations (65L60)

Related Items

A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives, Computable error bounds for approximate periodic solutions of autonomous delay differential equations, Norm bound computation for inverses of linear operators in Hilbert spaces, Some improvements of invertibility verifications for second-order linear elliptic operators, Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces, Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems, A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator, An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces, A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration, Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation, NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS, Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators, Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space, Numerical inclusion of exact periodic solutions for time delay Duffing equation, A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems, Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems, Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains, A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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