An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid

DOI10.1016/J.CAM.2016.01.055zbMath1334.35213OpenAlexW2271836394MaRDI QIDQ268320

Yoshitaka Watanabe

Publication date: 14 April 2016

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.2016.01.055

zbMATH Keywords

fixed-point theoremcomputer-assisted proofKolmogorov flows

Mathematics Subject Classification ID

Error bounds for boundary value problems involving PDEs (65N15) Navier-Stokes equations (35Q30) Existence, uniqueness, and regularity theory for incompressible viscous fluids (76D03)

Related Items (4)

Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem ⋮ Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Computer-assisted proofs of the existence of a symmetry-breaking bifurcation point for the Kolmogorov problem

Uses Software

• INTLAB

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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
• 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
• A note on epsilon-inflation
• 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 computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• Verification methods: Rigorous results using floating-point arithmetic
• A Theorem for Numerical Verification on Local Uniqueness of Solutions to Fixed-Point Equations
• A numerical approach to the proof of existence of solutions for elliptic problems
• The local structure of turbulence in incompressible viscous fluid for very large Reynolds numbers
• Introduction to Interval Analysis
• 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

This page was built for publication: An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid