A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration

DOI10.1016/J.AMC.2015.12.021MaRDI QIDQ671009zbMATH OpenOpenAlexFDO

Authors Yoshitaka Watanabe, Mitsuhiro T. Nakao

Publication date 20 March 2019

Published in Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.amc.2015.12.021

zbMATH Keywords

differential equationfunctional equationNewton-like iterationresidual form

Mathematics Subject Classification ID

Singular perturbations in context of PDEs (35B25) Boundary value problems for higher-order elliptic equations (35J40) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91) General theory of partial differential operators (47F05) Numerical solutions to equations with nonlinear operators (65J15)

Recommendations

• scientific article; zbMATH DE number 619560
• scientific article; zbMATH DE number 4178671
• scientific article; zbMATH DE number 440800
• A numerical verification method for solutions of singularly perturbed problems with nonlinearity
• Numerical verification method for nonlinear differential equations
• An iterative method for solving nonlinear functional equations
• A Newton-like iterative process for the numerical solution of Fredholm nonlinear integral equations
• scientific article; zbMATH DE number 1639664
• scientific article; zbMATH DE number 5785599
• Numerical verification of existence and inclusion of solutions for nonlinear operator equations

Cites work

• scientific article; zbMATH DE number 4138299 (Why is no real title available?)
• scientific article; zbMATH DE number 3933857 (Why is no real title available?)
• scientific article; zbMATH DE number 3596197 (Why is no real title available?)
• scientific article; zbMATH DE number 524105 (Why is no real title available?)
• scientific article; zbMATH DE number 714516 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• A note on epsilon-inflation
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• A numerical verification method for two-coupled elliptic partial differential equations
• A numerical verification of nontrivial solutions for the heat convection problem
• Determination of the Babuska-Aziz constant for the linear triangular finite element
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
• Norm bound computation for inverses of linear operators in Hilbert spaces
• Numerical verification of existence and inclusion of solutions for nonlinear operator equations
• Numerical verification of solutions for nonlinear elliptic problems using an L^ residual method
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• On the Existence of Positive Solutions of Semilinear Elliptic Equations
• On the best constant in the error bound for the H₀^1-projection into piecewise polynomial spaces
• On theL²a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator
• Some remarks on the behaviour of the finite element solution in nonsmooth domains
• Verification methods: rigorous results using floating-point arithmetic
• Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse

Cited in

(9)

• scientific article; zbMATH DE number 524101 (Why is no real title available?)
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• Non-radial solutions for some semilinear elliptic equations on the disk
• 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
• Some improvements of invertibility verifications for second-order linear elliptic operators
• Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
• Numerical verification method for nonlinear differential equations
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q671009)