функционал Ляпунова–Красовского