{"id":"arxiv/2609.27305","url":"https://arxiv.org/abs/2609.27305","tags":["math.DS"],"score":0,"title":"A strict amplitude lower bound for the van der Pol equation and extensions to symmetric Liénard systems","domain":"math.DS","source":"arxiv","authors":["Changjian Liu","Ziwei Zhuang"],"reviews":0,"subject":"math.DS","summary":"We prove that the amplitude of the unique limit cycle of the van der Pol equation $\\ddot{x}+μ(x^2-1)\\dot{x}+x=0$ is strictly greater than $2$ for every $μ>0$. The proof combines orbit comparison in the relaxation oscillation regime, trigonometric comparison curves in the weakly nonlinear regime, and polynomial energy estimates in the intermediate regime. The polynomial sign conditions arising in the latter two regimes are certified using exact rational arithmetic and Bernstein coefficients. The orbit comparison method also applies to a class of symmetric Liénard systems. Under suitable…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-23","reactions":{}}