Numerical verification of existence and inclusion of solutions for nonlinear operator equations
type: Item
instance of: scholarly article
title: Numerical verification of existence and inclusion of solutions for nonlinear operator equations
zbMATH Open document ID: 0871.65045
DOI: 10.1016/0377-0427(94)00090-N
author: Shin'ichi Oishi
published in: Journal of Computational and Applied Mathematics
publication date: 1995-10-23T00:00:00Z
Mathematics Subject Classification ID: 65J15
Mathematics Subject Classification ID: 65L05
Mathematics Subject Classification ID: 65L60
Mathematics Subject Classification ID: 47J25
Mathematics Subject Classification ID: 34A34
Mathematics Subject Classification ID: 34C25
zbMATH DE Number: 808369
zbMATH Keywords: finite method
zbMATH Keywords: abstract nonlinear operator equations
zbMATH Keywords: self-validating numerics
zbMATH Keywords: computer-assisted existence proof
zbMATH Keywords: Newton's method
zbMATH Keywords: Urabe-Galerkin's method
zbMATH Keywords: Banach space
zbMATH Keywords: inclusion of solutions
zbMATH Keywords: periodic solution
zbMATH Keywords: Duffing equation
MaRDI profile type: Publication
cites work: Sur la méthode de Galerkin-Urabe pour les systèmes différentiels périodiques
cites work: Q5341132
cites work: Einige abstrakte Begriffe in der numerischen Mathematik (Anwendungen der Halbordnung).(Some abstract notions in the numerical mathematic. (Applications et semiorder))
cites work: Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality—
cites work: Q5791786
cites work: Q3340032
cites work: A Posteriori Error Bounds for Two-Point Boundary Value Problems
cites work: Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
cites work: A numerical approach to the proof of existence of solutions for elliptic problems
cites work: Computer-assisted existence proofs for two-point boundary value problems
cites work: Q3806710
cites work: A geometric method for the numerical solution of nonlinear equations and its application to nonlinear oscillations
cites work: Q4147564
cites work: Q4178427
cites work: Galerkin's procedure for nonlinear periodic systems
cites work: Numerical investigation of subharmonic solutions to Duffing's equation
cites work: Q5677843
Recommended article: Numerical verifications of solutions for nonlinear elliptic equations
Recommended article: Q3140971
Recommended article: Q4851662
Recommended article: Numerical verification of solutions for nonlinear hyperbolic equations
Recommended article: Q4868550
Recommended article: Q2738490
Recommended article: Q3349281
Recommended article: Numerical verifications of solutions for elliptic equations with strong nonlinearity
Recommended article: Q4302480
Recommended article: Numerical Verification of Solutions for Nonlinear Parabolic Problems
description: scientific article; zbMATH DE number 808369