Bài viết sử dụng phương pháp hàm Lyapunov đưa ra điều kiện đủ để hệ phương trình vi phân phi tuyến ổn định mũ bằng cách xác định tựa hàm Lyapunov. Ngoài ra, trong trường hợp phương trình vi phân phi tuyến có điểm cân bằng ổn định, thì chỉ ra được công thức xác định hàm Lyapunov trong lân cận compact của điểm cân bằng.