Numerical verification of existence and inclusion of solutions for nonlinear operator equations
DOI10.1016/0377-0427(94)00090-NzbMATH Open0871.65045MaRDI QIDQ1900759FDOQ1900759
Authors: Shin'ichi Oishi 
Publication date: 23 October 1995
Published in: Journal of Computational and Applied Mathematics (Search for Journal in Brave)
Recommendations
- Numerical verifications of solutions for nonlinear elliptic equations
- scientific article; zbMATH DE number 440800
- scientific article; zbMATH DE number 804656
- Numerical verification of solutions for nonlinear hyperbolic equations
- scientific article; zbMATH DE number 852355
- scientific article; zbMATH DE number 1639664
- scientific article
- Numerical verifications of solutions for elliptic equations with strong nonlinearity
- scientific article; zbMATH DE number 619560
- Numerical verification of solutions for nonlinear parabolic problems
Banach spaceperiodic solutionDuffing equationNewton's methodfinite methodinclusion of solutionsabstract nonlinear operator equationscomputer-assisted existence proofself-validating numericsUrabe-Galerkin's method
Nonlinear ordinary differential equations and systems (34A34) Periodic solutions to ordinary differential equations (34C25) Iterative procedures involving nonlinear operators (47J25) Numerical solutions to equations with nonlinear operators (65J15) Finite element, Rayleigh-Ritz, Galerkin and collocation methods for ordinary differential equations (65L60) Numerical methods for initial value problems involving ordinary differential equations (65L05)
Cites Work
- Galerkin's procedure for nonlinear periodic systems
- A numerical approach to the proof of existence of solutions for elliptic problems
- Einige abstrakte Begriffe in der numerischen Mathematik (Anwendungen der Halbordnung).(Some abstract notions in the numerical mathematic. (Applications et semiorder))
- Title not available (Why is that?)
- Computer-assisted existence proofs for two-point boundary value problems
- Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality—
- Title not available (Why is that?)
- Title not available (Why is that?)
- A geometric method for the numerical solution of nonlinear equations and its application to nonlinear oscillations
- Sur la méthode de Galerkin-Urabe pour les systèmes différentiels périodiques
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Numerical investigation of subharmonic solutions to Duffing's equation
Cited In (22)
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- Title not available (Why is that?)
- Validated integration of semilinear parabolic PDEs
- Computable error bounds for approximate periodic solutions of autonomous delay differential equations
- Norm bound computation for inverses of linear operators in Hilbert spaces
- Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators
- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- 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
- Numerical inclusion of exact periodic solutions for time delay Duffing equation
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- 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
- Some improvements of invertibility verifications for second-order linear elliptic operators
- A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
- Numerical verification method for nonlinear differential equations
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
This page was built for publication: Numerical verification of existence and inclusion of solutions for nonlinear operator equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1900759)
