A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
DOI10.1016/J.AMC.2015.12.021zbMATH Open1410.65228OpenAlexW2228011219MaRDI QIDQ671009FDOQ671009
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
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
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)
Cites Work
- Title not available (Why is that?)
- On the Existence of Positive Solutions of Semilinear Elliptic Equations
- Numerical verification of existence and inclusion of solutions for nonlinear operator equations
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- A note on epsilon-inflation
- A numerical verification of nontrivial solutions for the heat convection problem
- Existence and enclosure results for continua of solutions of parameter- dependent nonlinear boundary value problems
- Verification methods: rigorous results using floating-point arithmetic
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- 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
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Determination of the Babuska-Aziz constant for the linear triangular finite element
- Norm bound computation for inverses of linear operators in Hilbert spaces
- On theL2a 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
- 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
Cited In (9)
- Title not available (Why is that?)
- 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
- Numerical verification method for nonlinear differential equations
- Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
Uses Software
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)
