Bifurcation of critical points for continuous families of C^2 functionals of Fredholm type

Given a continuous family of C2 functionals of Fredholm type, we show that the non-vanishing of the spectral flow for the family of Hessians along a known (trivial) branch of critical points not only entails bifurcation of nontrivial critical points but also allows to estimate the number of bifurcation points along the branch. We use this result for several parameter bifurcation, estimating the number of connected components of the complement of the set of bifurcation points in the parameter space and apply our results to bifurcation of periodic orbits of Hamiltonian systems. By means of a comparison principle for the spectral flow, we obtain lower bounds for the number of bifurcation points of periodic orbits on a given interval in terms of the coefficients of the linearization.