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

DOI10.1016/j.amc.2015.12.021zbMath1410.65228OpenAlexW2228011219MaRDI QIDQ671009

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

functional equationdifferential equationNewton-like iterationresidual form

Mathematics Subject Classification ID

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

Related Items (5)

Non-radial solutions for some semilinear elliptic equations on the disk ⋮ 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 ⋮ An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces ⋮ Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
• Some remarks on the behaviour of the finite element solution in nonsmooth domains
• A numerical verification method for two-coupled elliptic partial differential equations
• Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications
• 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
• On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
• A note on epsilon-inflation
• Numerical verifications of solutions for elliptic equations in nonconvex polygonal domains
• Numerical verification of solutions for nonlinear elliptic problems using an \(L^\infty\) residual method
• A numerical verification of nontrivial solutions for the heat convection problem
• Numerical verification of existence and inclusion of solutions for nonlinear operator equations
• Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
• Determination of the Babuska-Aziz constant for the linear triangular finite element
• Norm bound computation for inverses of linear operators in Hilbert spaces
• Verification methods: Rigorous results using floating-point arithmetic
• On theL²a PrioriError Estimates to the Finite Element Solution of Elliptic Problems with Singular Adjoint Operator
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• On the Existence of Positive Solutions of Semilinear Elliptic Equations

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