Functional inequalities on abstract Hilbert spaces and applications