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

研究成果: ジャーナルへの寄稿記事

1 引用 (Scopus)

抄録

Some computer-assisted proofs of nontrivial steady-state solutions for the Kolmogorov flows are presented. The method is based on the infinite-dimensional fixed-point theorem using a Newton-like operator with a numerical verification algorithm that automatically generates a set that includes the exact nontrivial solution. When discussing the numerical results, we consider the effects of rounding errors in the floating point computations. This is a continuation of our study that was presented in Watanabe (2009).

元の言語英語
ページ(範囲)157-170
ページ数14
ジャーナルJournal of Computational and Applied Mathematics
302
DOI
出版物ステータス出版済み - 8 15 2016

Fingerprint

Computer-assisted Proof
Numerical Verification
Rounding error
Floating point
Steady-state Solution
Nontrivial Solution
Viscous Fluid
Incompressible Fluid
Continuation
Fixed point theorem
Mathematical operators
Numerical Results
Fluids
Operator

All Science Journal Classification (ASJC) codes

  • Computational Mathematics
  • Applied Mathematics

これを引用

@article{b9a436b78599411db11beb0aa8c3a374,
title = "An efficient numerical verification method for the Kolmogorov problem of incompressible viscous fluid",
abstract = "Some computer-assisted proofs of nontrivial steady-state solutions for the Kolmogorov flows are presented. The method is based on the infinite-dimensional fixed-point theorem using a Newton-like operator with a numerical verification algorithm that automatically generates a set that includes the exact nontrivial solution. When discussing the numerical results, we consider the effects of rounding errors in the floating point computations. This is a continuation of our study that was presented in Watanabe (2009).",
author = "Yoshitaka Watanabe",
year = "2016",
month = "8",
day = "15",
doi = "10.1016/j.cam.2016.01.055",
language = "English",
volume = "302",
pages = "157--170",
journal = "Journal of Computational and Applied Mathematics",
issn = "0377-0427",
publisher = "Elsevier",

}

TY - JOUR

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

AU - Watanabe, Yoshitaka

PY - 2016/8/15

Y1 - 2016/8/15

N2 - Some computer-assisted proofs of nontrivial steady-state solutions for the Kolmogorov flows are presented. The method is based on the infinite-dimensional fixed-point theorem using a Newton-like operator with a numerical verification algorithm that automatically generates a set that includes the exact nontrivial solution. When discussing the numerical results, we consider the effects of rounding errors in the floating point computations. This is a continuation of our study that was presented in Watanabe (2009).

AB - Some computer-assisted proofs of nontrivial steady-state solutions for the Kolmogorov flows are presented. The method is based on the infinite-dimensional fixed-point theorem using a Newton-like operator with a numerical verification algorithm that automatically generates a set that includes the exact nontrivial solution. When discussing the numerical results, we consider the effects of rounding errors in the floating point computations. This is a continuation of our study that was presented in Watanabe (2009).

UR - http://www.scopus.com/inward/record.url?scp=84959358640&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84959358640&partnerID=8YFLogxK

U2 - 10.1016/j.cam.2016.01.055

DO - 10.1016/j.cam.2016.01.055

M3 - Article

AN - SCOPUS:84959358640

VL - 302

SP - 157

EP - 170

JO - Journal of Computational and Applied Mathematics

JF - Journal of Computational and Applied Mathematics

SN - 0377-0427

ER -