Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4642247 | Journal of Computational and Applied Mathematics | 2009 | 14 Pages |
Abstract
A computer-assisted proof of non-trivial steady-state solutions for the Kolmogorov flows is described. The method is based on the infinite-dimensional fixed-point theorem using Newton-like operator. This paper also proposes a numerical verification algorithm which generates automatically on a computer a set including the exact non-trivial solution with local uniqueness. All discussed numerical results take into account the effects of rounding errors in the floating point computations.
Related Topics
Physical Sciences and Engineering
Mathematics
Applied Mathematics
Authors
Yoshitaka Watanabe,