A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration
From MaRDI portal
Publication:671009
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
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
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
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 theL2a 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
