Palese, L. R. R. On the Lyapunov Function for the Rotating Benard Problem. JAM 2015, 9, 3062-3071.