A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid

DOI10.1016/j.cam.2008.03.034zbMath1153.76022OpenAlexW2038341512MaRDI QIDQ2378271

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

zbMATH Keywords

local uniquenessNewton operatorinfinite-dimensional fixed-point theorem

Mathematics Subject Classification ID

Navier-Stokes equations for incompressible viscous fluids (76D05) Navier-Stokes equations (35Q30) Basic methods in fluid mechanics (76M99)

Related Items (12)

An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid ⋮ Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem ⋮ Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Bénard problem ⋮ Unimodal patterns appearing in the Kolmogorov flows at large Reynolds numbers ⋮ Numerical verification for solutions to partial differential equations ⋮ Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse ⋮ Fast interval matrix multiplication ⋮ Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ 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 ⋮ A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations

Cites Work

• Bifurcation diagrams in Kolmogorov's problem of viscous incompressible fluid on 2-D flat tori
• 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 numerical method to verify the elliptic eigenvalue problems including a uniqueness property
• 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
• 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
• Unnamed Item
• Unnamed Item

This page was built for publication: A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid