
We present a method for the complete analysis of the dynamics of dissipative Partial Differential Equations (PDEs) undergoing a pitchfork bifurcation. We apply our technique to the Kuramoto--Sivashinsky PDE on the line to obtain a computer-assisted proof of the creation of two symmetric branches of non-symmetric fixed points and heteroclinic connections between the symmetric fixed point and the new ones. The range of parameters is given explicitly and is large enough to allow for the rigorous continuation of the fixed points and heteroclinic connections created during the bifurcation.
Galerkin projection, FOS: Mathematics, Pitchfork bifurcation, dissipative PDEs, computer–assisted proof, rigorous numerics, heteroclinic connection, Dynamical Systems (math.DS), Mathematics - Dynamical Systems
Galerkin projection, FOS: Mathematics, Pitchfork bifurcation, dissipative PDEs, computer–assisted proof, rigorous numerics, heteroclinic connection, Dynamical Systems (math.DS), Mathematics - Dynamical Systems
| citations This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 0 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
