A $K$-theoretical invariant and bifurcation for a parameterized family of functionals

For a family of functionals defined on a Hilbert manifold and smoothly depending on a compact finite dimensional manifold, we give a sufficient condition on the parameter space in such a way the family bifurcate from the trivial branch.