Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation

摘要

A numerical verification method to confirm the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation is presented. Using certain systems of equations corresponding to a double turning point, we derive a sufficient condition for its existence whose satisfaction can be verified computationally. We describe verification procedures and give a numerical example as a demonstration.