On necessary and sufficient conditions for numerical verification of double turning points (Q1889957)

The authors describe the numerical verification of a double turning point of a nonlinear system using an extended system. To verify the existence of a double turning point, one has to prove that one of the solutions of the extended system corresponds to the double turning point. For this, the authors propose an extended system with an additional condition. As an example, for a finite dimensional problem, the authors verify the existence and local uniqueness of a double turning point numerically using the extended system and a verification method based on the Banach fixed-point theorem.