{"id":"arxiv/2608.26447","url":"https://arxiv.org/abs/2608.26447","tags":["math.OC"],"score":0,"title":"Stability Analysis and Data-driven Verification via Recurrent Lyapunov Functions","domain":"math.OC","source":"arxiv","authors":["Roy Siegelmann","Fernando Paganini","Enrique Mallada"],"reviews":0,"subject":"math.OC","summary":"Lyapunov's direct method is a cornerstone of stability and control, but it hinges on finding a Lyapunov function, a task demanding ingenuity or computation. A key difficulty is that every sub-level set of the function must be forward invariant, coupling its geometry to the system's trajectories. We relax this by replacing invariance with recurrence: a set is recurrent if every trajectory starting in it returns within a finite time. This yields the notion of a Recurrent Lyapunov Function (RLF), whose sub-level sets need only be recurrent. We show that, under mild conditions, RLFs guarantee…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-26","reactions":{}}