Verification of Bifurcation Diagrams for Polynomial-Like Equations
The results of our recent paper [P. Korman, Y. Li, T. Ouyang, Computing the location and the direction of bifurcation, Math. Res. Lett. 12 (2005) 933–944] appear to be sufficient to justify computer-generated bifurcation diagram for any autonomous two-point Dirichlet problem. Here we apply our results to polynomial-like nonlinearities.
& Ouyang, T.
(2008). Verification of Bifurcation Diagrams for Polynomial-Like Equations. Journal of Computational and Applied Mathematics, 212, 2, 187-193.