{"id":"arxiv/2610.22986","url":"https://arxiv.org/abs/2610.22986","tags":["math.DS"],"score":0,"title":"Rigorous verification of period-doubling bifurcations in maps","domain":"math.DS","source":"arxiv","authors":["Olivier Hénot","Jean-Philippe Lessard"],"reviews":0,"subject":"math.DS","summary":"We present a computer-assisted approach for proving period-doubling bifurcations in one-parameter families of maps $x \\mapsto f(x,λ)$ on $\\mathbb{R}^n$. We solve a square augmented system, called the period-doubling map, whose unknowns are the fixed point, the parameter, the right eigenvector attached to the eigenvalue $-1$, the left eigenvector with its eigenvalue, and the vector which describes the center manifold to second order. A contraction argument gives a solution close to a numerical approximation, at which the Jacobian is invertible. The determinant of this Jacobian factors into a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-16","reactions":{}}