از تابع لیاپانوف جهت اثبات پایداری