Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE
(2009.13597)Abstract
We use computer-assisted proof techniques to prove that a branch of non-trivial equilibrium solutions in the Kuramoto-Sivashinsky partial differential equation undergoes a Hopf bifurcation. Furthermore, we obtain an essentially constructive proof of the family of time-periodic solutions near the Hopf bifurcation. To this end, near the Hopf point we rewrite the time periodic problem for the Kuramoto-Sivashinsky equation in a desingularized formulation. We then apply a parametrized Newton-Kantorovich approach to validate a solution branch of time-periodic orbits. By construction, this solution branch includes the Hopf bifurcation point.
We're not able to analyze this paper right now due to high demand.
Please check back later (sorry!).
Generate a summary of this paper on our Pro plan:
We ran into a problem analyzing this paper.