A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations

DOI10.1080/01630563.2011.594348zbMath1232.47059OpenAlexW1986291209MaRDI QIDQ3114589

Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao

Publication date: 19 February 2012

Published in: Numerical Functional Analysis and Optimization (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01630563.2011.594348

zbMATH Keywords

local uniquenessnumerical verificationfixed-point equationcomputer-assisted proofself-validated computing

Mathematics Subject Classification ID

Fixed-point theorems (47H10) Applications of operator theory in numerical analysis (47N40)

Related Items (3)

An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ Equilibrium validation in models for pattern formation based on Sobolev embeddings ⋮ Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems

Cites Work

• Unnamed Item
• Unnamed Item
• Bifurcation diagrams in Kolmogorov's problem of viscous incompressible fluid on 2-D flat tori
• A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
• A posteriori and constructive a priori error bounds for finite element solutions of the Stokes equations
• 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
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• Example of the generation of a secondary stationary or periodic flow when there is loss of stability of the laminar flow of a viscous incompressible fluid

This page was built for publication: A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations