Liapunov functions for autonomous systems of second order.