کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4642247 | 1341336 | 2009 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات کاربردی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid](/preview/png/4642247.png)
چکیده انگلیسی
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.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computational and Applied Mathematics - Volume 223, Issue 2, 15 January 2009, Pages 953–966
Journal: Journal of Computational and Applied Mathematics - Volume 223, Issue 2, 15 January 2009, Pages 953–966
نویسندگان
Yoshitaka Watanabe,