Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
From MaRDI portal
Publication:2060646
DOI10.1016/j.cnsns.2021.106079zbMath1479.35069arXiv2105.04148OpenAlexW3208293390WikidataQ114196501 ScholiaQ114196501MaRDI QIDQ2060646
Publication date: 13 December 2021
Published in: Communications in Nonlinear Science and Numerical Simulation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2105.04148
Reaction-diffusion equations (35K57) Bifurcations in context of PDEs (35B32) Initial-boundary value problems for second-order parabolic systems (35K51)
Related Items (2)
Estimation of the boundary of the limit cycle of Brusselator oscillators by the renormalization group method ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions
Cites Work
- Unnamed Item
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Bifurcation analysis of nonlinear reaction diffusion equations I. Evolution equations and the steady state solutions
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- A Hopf bifurcation in the planar Navier-Stokes equations
- Computer-assisted proofs in PDE: a survey
- Mesa-type patterns in the one-dimensional Brusselator and their stability
- Brussellator Isolas
- Pattern formation in the one-dimensional Gray - Scott model
- The chemical basis of morphogenesis
- Global bifurcation in the Brusselator system
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
- Traveling wave solutions for the FPU chain: a constructive approach
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- Consolidated Ada reference manual. Language and standard libraries. International standard ISO/ IEC 8652/1995(E) with technical corrigendum 1
This page was built for publication: Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
