Stability theory of nonlinear systems 중 원점이 asymptotically stable한 시스템에 대해 domain이 n-dimensional real space이고 Lyapunov function V가 V(x) -> infinity as ||x|| -> infinity를 추가적으로 만족하면 x = 0 은 globally asymptotically stable하다는 이론이 있는데 이거 증명하느라 돌겠네... 내가 가진 해석학적 역량 총 동원해서 하루 종일 증명 중... 책에서는 겁나 간단하다는 듯 이전 정리의 증명과 비슷하게 증명할 수 있다고 하고 넘어가는데 그게 간단한 과정이라는 것을 의미하지는 않았는 듯 ㅋㅋ