conservation laws and demonstrate the use of Lyapunov functions in this type of