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

DOI10.14495/JSIAML.14.92MaRDI QIDQ5047142zbMATH OpenOpenAlexWikidataFDO

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

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)

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

Cites work

• 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
• A numerical verification of nontrivial solutions for the heat convection problem
• 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
• Explicit \(H_ 2\)-estimates and pointwise bounds for solutions of second- order elliptic boundary value problems
• 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)