Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
DOI10.1016/J.CAM.2021.113603zbMath1468.35105OpenAlexW3154574334WikidataQ113878738 ScholiaQ113878738MaRDI QIDQ2029666
Yoshitaka Watanabe, Shuting Cai
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
Navier-Stokes equations for incompressible viscous fluids (76D05) Navier-Stokes equations (35Q30) A priori estimates in context of PDEs (35B45) Bifurcations in context of PDEs (35B32) Numerical bifurcation problems (65P30) Computer assisted proofs of proofs-by-exhaustion type (68V05)
Uses Software
Cites Work
- Unnamed Item
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Computer assisted proofs of bifurcating solutions for nonlinear heat convection problems
- Bifurcation diagrams in Kolmogorov's problem of viscous incompressible fluid on 2-D flat tori
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- A symmetry-breaking bifurcation theorem and some related theorems applicable to maps having unbounded derivatives
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- The Computation of Symmetry-Breaking Bifurcation Points
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- 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
This page was built for publication: Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
