Palais–Smale condition and global attractor for gradient system

The existence and structure of a global attractor for the gradient system du/dt=−∇f(u) are proved by assuming that ff satisfies the Palais–Smale condition, where u∈Xu∈X, XX is a Hilbert space, ff is a real functional on XX.