Перша теорема Ляпунова
Перша теорема Ляпунова стверджує що необхідною і достатньою умовою для того щоб всі власні числа матриці мали від'ємні дійсні частини є наявність розв'язку наступного рівняння:
де - це матриця і - додатноозначена квадратична форма.