Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem

DOI10.1016/J.CAM.2021.113603MaRDI QIDQ2029666zbMATH OpenOpenAlexWikidataFDO

Authors Shuting Cai, Yoshitaka Watanabe

Publication date 3 June 2021

Published in Journal of Computational and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cam.2021.113603

zbMATH Keywords

computer-assisted methodKolmogorov problemsymmetry-breaking bifurcation point

Mathematics Subject Classification ID

Bifurcations in context of PDEs (35B32) A priori estimates in context of PDEs (35B45) Navier-Stokes equations (35Q30) Numerical bifurcation problems (65P30) Computer assisted proofs of proofs-by-exhaustion type (68V05) Navier-Stokes equations for incompressible viscous fluids (76D05)

Recommendations

• Computer assisted proof to symmetry-breaking bifurcation phenomena in nonlinear vibration
• The Computation of Symmetry-Breaking Bifurcation Points
• scientific article; zbMATH DE number 992826
• Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
• scientific article; zbMATH DE number 67112
• Computer-assisted proof of loss of ergodicity by symmetry breaking in expanding coupled maps
• Computer assisted proof of chaos in the Rössler equations and in the Hénon map
• Computational methods for bifurcation problems with symmetries - with special attention to steady state and Hopf bifurcation points
• Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs
• Numerical computation of symmetry-breaking bifurcation points

Cites work

• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
• An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
• An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
• Bifurcation diagrams in Kolmogorov's problem of viscous incompressible fluid on 2-D flat tori
• 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
• Example of the generation of a secondary stationary or periodic flow when there is loss of stability of the laminar flow of a viscous incompressible fluid
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
• The Computation of Symmetry-Breaking Bifurcation Points
• Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions

Cited in

(1)

• scientific article; zbMATH DE number 67112 (Why is no real title available?)

Describes a project that uses

Uses Software

• INTLAB

This page was built for publication: Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2029666)