On the Lyapunov Function for the Rotating Benard Problem. JAM 2015, 9 (9), 3062-3071. https://doi.org/10.24297/jam.v9i9.2234.