Numerical verification of existence and inclusion of solutions for nonlinear operator equations
From MaRDI portal
Publication:1900759
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)
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; zbMATH DE number 4200737
- Numerical verifications of solutions for elliptic equations with strong nonlinearity
- scientific article; zbMATH DE number 619560
- Numerical verification of solutions for nonlinear parabolic problems
Cites work
- scientific article; zbMATH DE number 3874497 (Why is no real title available?)
- scientific article; zbMATH DE number 4076496 (Why is no real title available?)
- scientific article; zbMATH DE number 3578310 (Why is no real title available?)
- scientific article; zbMATH DE number 3614110 (Why is no real title available?)
- scientific article; zbMATH DE number 3213901 (Why is no real title available?)
- scientific article; zbMATH DE number 3413098 (Why is no real title available?)
- scientific article; zbMATH DE number 3052543 (Why is no real title available?)
- A Posteriori Error Bounds for Two-Point Boundary Value Problems
- A geometric method for the numerical solution of nonlinear equations and its application to nonlinear oscillations
- A numerical approach to the proof of existence of solutions for elliptic problems
- Computer-assisted existence proofs for two-point boundary value problems
- Einige abstrakte Begriffe in der numerischen Mathematik (Anwendungen der Halbordnung).(Some abstract notions in the numerical mathematic. (Applications et semiorder))
- Evaluation of the Least Constant in Sobolev’s Inequality for $H^1 (0,s)$
- Galerkin's procedure for nonlinear periodic systems
- Numerical investigation of subharmonic solutions to Duffing's equation
- Simultaneous computation of functions, partial derivatives and estimates of rounding errors —Complexity and practicality—
- Sur la méthode de Galerkin-Urabe pour les systèmes différentiels périodiques
Cited in
(22)- A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations
- Validated integration of semilinear parabolic PDEs
- Numerical verification method for nonlinear differential equations
- Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation
- Norm bound computation for inverses of linear operators in Hilbert spaces
- 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
- Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
- Computable error bounds for approximate periodic solutions of autonomous delay differential equations
- scientific article; zbMATH DE number 51579 (Why is no real title available?)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
- 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
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part
- Some remarks on the rigorous estimation of inverse linear elliptic operators
- 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
- Numerical inclusion of exact periodic solutions for time delay Duffing equation
- Some lower bound estimates for resolvents of a compact operator on an infinite-dimensional Hilbert space
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems
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)
