Open Research Index

Rigorous verification of period-doubling bifurcations in maps

Olivier Hénot, Jean-Philippe Lessard

arXivarxiv/2610.22986Oct 16, 2026math.DSscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.22986
curl -X POST /api/v1/records/arxiv/2610.22986/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.22986/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'