Abstract
We consider the planar pendulum with support point oscillating in the vertical direction; the upside-down position of the pendulum corresponds to an equilibrium point for the projection of the motion on the pendulum phase space. By using the Lindstedt series method recently developed in literature starting from the pioneering work by Eliasson, we show that such an equilibrium point is stable for a full measure subset of the stability region of the linearized system inside the two-dimensional space of parameters, by proving the persistence of invariant KAM tori for the two-dimensional Hamiltonian system describing the model.