Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem

DOI10.14495/JSIAML.14.92zbMATH Open1501.35320OpenAlexW4286384533WikidataQ113743368 ScholiaQ113743368MaRDI QIDQ5047142FDOQ5047142

Authors: Kenta Kobayashi, Yoshitaka Watanabe 

Publication date: 9 November 2022

Published in: JSIAM Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14495/jsiaml.14.92

Recommendations

• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains
• A computer-assisted analysis of the two dimensional Navier-Stokes equations

zbMATH Keywords

partial differential equationscomputer-assisted proofnumerical verificationnorm estimation

Mathematics Subject Classification ID

PDEs in connection with fluid mechanics (35Q35) Navier-Stokes equations for incompressible viscous fluids (76D05) Computer assisted proofs of proofs-by-exhaustion type (68V05)

Cites Work

• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value 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
• 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
• Numerical verification methods and computer-assisted proofs for partial differential equations

Cited In (3)

• On the sharpness of the Rüssmann estimates
• 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

This page was built for publication: Improvement of infinity norm estimations related to computer-assisted proofs of the Kolmogorov problem

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