Show that the Lyapunov function L constructed in Proposition 2 of the Nov. 2 slides has the property that it is differentiable along each orbit of g6, and that imam) = Mm) Kw) [0, 00) such that E\" (0) = A, and E as in proposition 1. Then there is a 0 function L : W > [0, 1] such that L_1(0) = A, and L is strictly decreasing to 0 along the forward orbit of any point of W\\/\\. b Proof: Let M > 0 be an upper bound for 6. Dene L(x) = K [00 e_'(q5;(x)) dt where K = 1/ jam Me'r dt. > Since 6 is continuous and bounded, L is well-dened and continuous. b Ifs > 0,then L(x) Low = K15\" e_t[(r(X)) whom dr 2 0 since the term in square brackets is nonnegative everywhere. b This also shows that the difference above is 0 if and only if (q5r(x)) (S+,(x)) = 0 for every t 2 0. The latter would require that E be constant along this forward orbit, which holds 4:} x e A. I]