A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
From MaRDI portal
Publication:2378271
DOI10.1016/J.CAM.2008.03.034zbMATH Open1153.76022OpenAlexW2038341512MaRDI QIDQ2378271FDOQ2378271
Authors: Yoshitaka Watanabe 
Publication date: 7 January 2009
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.2008.03.034
Recommendations
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
Navier-Stokes equations (35Q30) Navier-Stokes equations for incompressible viscous fluids (76D05) Basic methods in fluid mechanics (76M99)
Cites Work
- On the solution of interval linear systems
- A numerical verification method for the existence of weak solutions for nonlinear boundary value problems
- Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
- Some computer assisted proofs for solutions of the heat convection problems
- A numerical verification of nontrivial solutions for the heat convection problem
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Bifurcation diagrams in Kolmogorov's problem of viscous incompressible fluid on 2-D flat tori
- A numerical method to verify the elliptic eigenvalue problems including a uniqueness property
Cited In (18)
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Spontaneous periodic orbits in the Navier-Stokes flow
- An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis
- Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
- Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem
- Computer-assisted proofs in PDE: a survey
- Fast interval matrix multiplication
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
- A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
- Qualitative analysis of dynamics in Kolmogorov's problem on a flow of a viscous incompressible fluid
- Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers
- Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem
- Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation
- A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
- Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
- Numerical verification for solutions to partial differential equations
This page was built for publication: A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2378271)
